Commit graph

  • 8692a26916 docs(avm): strengthen float prohibition and documentation requirement Allaun Silverfox 2026-05-26 16:02:05 -05:00
  • 6d73a1b251 docs(avm): strengthen float prohibition and documentation requirement Allaun Silverfox 2026-05-26 16:02:05 -05:00
  • 8d61cdd482 docs(avm): strengthen float prohibition and documentation requirement Allaun Silverfox 2026-05-26 16:02:05 -05:00
  • e08b25c92c docs(avm): strengthen float prohibition and documentation requirement Allaun Silverfox 2026-05-26 16:02:05 -05:00
  • 911bc5233e docs(avm): add stripping policy and bad-code elimination rules Allaun Silverfox 2026-05-26 15:59:41 -05:00
  • 1b6f58c5ce docs(avm): add stripping policy and bad-code elimination rules Allaun Silverfox 2026-05-26 15:59:41 -05:00
  • 7e1326e812 docs(avm): add stripping policy and bad-code elimination rules Allaun Silverfox 2026-05-26 15:59:41 -05:00
  • 51d1fc56d8 docs(avm): add stripping policy and bad-code elimination rules Allaun Silverfox 2026-05-26 15:59:41 -05:00
  • ebd39dc11d docs(avm): redefine AVM as Lean-only ISA with adapter shims/backends Allaun Silverfox 2026-05-26 15:58:25 -05:00
  • 3b4ee97588 docs(avm): redefine AVM as Lean-only ISA with adapter shims/backends Allaun Silverfox 2026-05-26 15:58:25 -05:00
  • 5ba91c2a01 docs(avm): redefine AVM as Lean-only ISA with adapter shims/backends Allaun Silverfox 2026-05-26 15:58:25 -05:00
  • a8b3435c93 docs(avm): redefine AVM as Lean-only ISA with adapter shims/backends Allaun Silverfox 2026-05-26 15:58:25 -05:00
  • 8931175f94 fix(pist): correct repo root + fail-on-raw-disagreement check Allaun Silverfox 2026-05-26 15:50:29 -05:00
  • 64fee9a863 fix(pist): correct repo root + fail-on-raw-disagreement check Allaun Silverfox 2026-05-26 15:50:29 -05:00
  • de2be89666 fix(pist): correct repo root + fail-on-raw-disagreement check Allaun Silverfox 2026-05-26 15:50:29 -05:00
  • ad67d84ed0 fix(pist): correct repo root + fail-on-raw-disagreement check Allaun Silverfox 2026-05-26 15:50:29 -05:00
  • 447e6f2c0e docs: add RRC PIST shape-alignment phase Allaun Silverfox 2026-05-26 15:47:19 -05:00
  • 07c31da663 docs: add RRC PIST shape-alignment phase Allaun Silverfox 2026-05-26 15:47:19 -05:00
  • fd28cace2f docs: add RRC PIST shape-alignment phase Allaun Silverfox 2026-05-26 15:47:19 -05:00
  • 5133216e85 docs: add RRC PIST shape-alignment phase Allaun Silverfox 2026-05-26 15:47:19 -05:00
  • e767561730 feat(pist): add RRC PIST shape-alignment calibration pass Allaun Silverfox 2026-05-26 15:43:45 -05:00
  • 4e91db4052 feat(pist): add RRC PIST shape-alignment calibration pass Allaun Silverfox 2026-05-26 15:43:45 -05:00
  • 7d07dd073f feat(pist): add RRC PIST shape-alignment calibration pass Allaun Silverfox 2026-05-26 15:43:45 -05:00
  • 3bcee0793b feat(pist): add RRC PIST shape-alignment calibration pass Allaun Silverfox 2026-05-26 15:43:45 -05:00
  • 890fcb688a archive: remove duplicate PISTMachine search-space copy Allaun Silverfox 2026-05-26 15:42:48 -05:00
  • 3cd6e1507b archive: remove duplicate PISTMachine search-space copy Allaun Silverfox 2026-05-26 15:42:48 -05:00
  • 92fc07f93e archive: remove duplicate PISTMachine search-space copy Allaun Silverfox 2026-05-26 15:42:48 -05:00
  • 482b28e15e archive: remove duplicate PISTMachine search-space copy Allaun Silverfox 2026-05-26 15:42:48 -05:00
  • 959614f5da feat(pist): add RRC PIST validation report cleaner Allaun Silverfox 2026-05-26 15:38:07 -05:00
  • 846a2ef241 feat(pist): add RRC PIST validation report cleaner Allaun Silverfox 2026-05-26 15:38:07 -05:00
  • 308ce86f27 feat(pist): add RRC PIST validation report cleaner Allaun Silverfox 2026-05-26 15:38:07 -05:00
  • be9c38ec3a feat(pist): add RRC PIST validation report cleaner Allaun Silverfox 2026-05-26 15:38:07 -05:00
  • 4f195992c1 fix(lean): remove stale PISTMachine sorries Allaun Silverfox 2026-05-26 15:31:59 -05:00
  • 3b8f8d2f8c fix(lean): remove stale PISTMachine sorries Allaun Silverfox 2026-05-26 15:31:59 -05:00
  • 689b8130e8 fix(lean): remove stale PISTMachine sorries Allaun Silverfox 2026-05-26 15:31:59 -05:00
  • a7633b1238 fix(lean): remove stale PISTMachine sorries Allaun Silverfox 2026-05-26 15:31:59 -05:00
  • d076fb55b5 docs: add receipt-density verification sequence Allaun Silverfox 2026-05-26 15:19:07 -05:00
  • 34c82705b5 docs: add receipt-density verification sequence Allaun Silverfox 2026-05-26 15:19:07 -05:00
  • e61e46f9b2 docs: add receipt-density verification sequence Allaun Silverfox 2026-05-26 15:19:07 -05:00
  • 467190b048 docs: add receipt-density verification sequence Allaun Silverfox 2026-05-26 15:19:07 -05:00
  • d01ab8bc2e feat(pist): add receipt-density sidecar readback validator Allaun Silverfox 2026-05-26 15:18:11 -05:00
  • 2c9e029923 feat(pist): add receipt-density sidecar readback validator Allaun Silverfox 2026-05-26 15:18:11 -05:00
  • 575b52cb80 feat(pist): add receipt-density sidecar readback validator Allaun Silverfox 2026-05-26 15:18:11 -05:00
  • 47e7bdeb02 feat(pist): add receipt-density sidecar readback validator Allaun Silverfox 2026-05-26 15:18:11 -05:00
  • b7f8946f37 test(pist): add receipt-density injector regression harness Allaun Silverfox 2026-05-26 15:16:40 -05:00
  • 14aac49e96 test(pist): add receipt-density injector regression harness Allaun Silverfox 2026-05-26 15:16:40 -05:00
  • 0275b43405 test(pist): add receipt-density injector regression harness Allaun Silverfox 2026-05-26 15:16:40 -05:00
  • 67d79b8e85 test(pist): add receipt-density injector regression harness Allaun Silverfox 2026-05-26 15:16:40 -05:00
  • 30df68ec2f feat(pist): use shared rds_connect for receipt-density writer Allaun Silverfox 2026-05-26 15:13:35 -05:00
  • 0686b39428 feat(pist): use shared rds_connect for receipt-density writer Allaun Silverfox 2026-05-26 15:13:35 -05:00
  • 5033fcac0e feat(pist): use shared rds_connect for receipt-density writer Allaun Silverfox 2026-05-26 15:13:35 -05:00
  • 6047de0f0f feat(pist): use shared rds_connect for receipt-density writer Allaun Silverfox 2026-05-26 15:13:35 -05:00
  • bdba17b4a4 chore: remove unused import subprocess from v14a (handled by rds_connect) Brandon Schneider 2026-05-26 15:11:11 -05:00
  • fc2ade9681 chore: remove unused import subprocess from v14a (handled by rds_connect) Brandon Schneider 2026-05-26 15:11:11 -05:00
  • 86f8ff0b21 chore: remove unused import subprocess from v14a (handled by rds_connect) Brandon Schneider 2026-05-26 15:11:11 -05:00
  • 7dd5a04597 chore: remove unused import subprocess from v14a (handled by rds_connect) Brandon Schneider 2026-05-26 15:11:11 -05:00
  • ad251e20bc refactor(rds): consolidate 14 psycopg2 connect patterns into shared rds_connect module Brandon Schneider 2026-05-26 15:09:24 -05:00
  • 7eda71868a refactor(rds): consolidate 14 psycopg2 connect patterns into shared rds_connect module Brandon Schneider 2026-05-26 15:09:24 -05:00
  • 02f1c928d7 refactor(rds): consolidate 14 psycopg2 connect patterns into shared rds_connect module Brandon Schneider 2026-05-26 15:09:24 -05:00
  • 465d572ec3 refactor(rds): consolidate 14 psycopg2 connect patterns into shared rds_connect module Brandon Schneider 2026-05-26 15:09:24 -05:00
  • 395255f8c9 docs: add PIST receipt-density backfill guide Allaun Silverfox 2026-05-26 14:46:55 -05:00
  • d18b414ea0 docs: add PIST receipt-density backfill guide Allaun Silverfox 2026-05-26 14:46:55 -05:00
  • 4fccf72456 docs: add PIST receipt-density backfill guide Allaun Silverfox 2026-05-26 14:46:55 -05:00
  • 61c0091213 docs: add PIST receipt-density backfill guide Allaun Silverfox 2026-05-26 14:46:55 -05:00
  • 0352f6b5b4 feat(pist): add RRC receipt-density backfill injector Allaun Silverfox 2026-05-26 14:46:13 -05:00
  • 0409a80929 feat(pist): add RRC receipt-density backfill injector Allaun Silverfox 2026-05-26 14:46:13 -05:00
  • bf2748d61e feat(pist): add RRC receipt-density backfill injector Allaun Silverfox 2026-05-26 14:46:13 -05:00
  • 7f496dd62b feat(pist): add RRC receipt-density backfill injector Allaun Silverfox 2026-05-26 14:46:13 -05:00
  • 4512d0bd51 wiki: link PIST route-repair receipt update from home Allaun Silverfox 2026-05-26 14:38:39 -05:00
  • 11c20c0958 wiki: link PIST route-repair receipt update from home Allaun Silverfox 2026-05-26 14:38:39 -05:00
  • bfecf99b23 wiki: link PIST route-repair receipt update from home Allaun Silverfox 2026-05-26 14:38:39 -05:00
  • 10d566c565 wiki: link PIST route-repair receipt update from home Allaun Silverfox 2026-05-26 14:38:39 -05:00
  • f23e8f1518 wiki: add PIST route-repair receipt update tiddler Allaun Silverfox 2026-05-26 14:36:34 -05:00
  • d78c792fc7 wiki: add PIST route-repair receipt update tiddler Allaun Silverfox 2026-05-26 14:36:34 -05:00
  • b967e504f7 wiki: add PIST route-repair receipt update tiddler Allaun Silverfox 2026-05-26 14:36:34 -05:00
  • d97b3a8606 wiki: add PIST route-repair receipt update tiddler Allaun Silverfox 2026-05-26 14:36:34 -05:00
  • 0407a559e3 docs: add PIST route-repair and receipt update Allaun Silverfox 2026-05-26 14:36:15 -05:00
  • c9ff24e5f0 docs: add PIST route-repair and receipt update Allaun Silverfox 2026-05-26 14:36:15 -05:00
  • a9f72e2437 docs: add PIST route-repair and receipt update Allaun Silverfox 2026-05-26 14:36:15 -05:00
  • 5c77485a6b docs: add PIST route-repair and receipt update Allaun Silverfox 2026-05-26 14:36:15 -05:00
  • 9a28ba54d7 archive: remove duplicate PISTMachine search-space copy Allaun Silverfox 2026-05-26 14:31:44 -05:00
  • 1d0a9dad8f archive: remove duplicate PISTMachine search-space copy Allaun Silverfox 2026-05-26 14:31:44 -05:00
  • a734bb477b archive: remove duplicate PISTMachine search-space copy Allaun Silverfox 2026-05-26 14:31:44 -05:00
  • 4cc46b63cc archive: remove duplicate PISTMachine search-space copy Allaun Silverfox 2026-05-26 14:31:44 -05:00
  • c6d05c005e archive: preserve duplicate PISTMachine search-space copy Allaun Silverfox 2026-05-26 14:30:39 -05:00
  • 19c21dbc35 archive: preserve duplicate PISTMachine search-space copy Allaun Silverfox 2026-05-26 14:30:39 -05:00
  • 9c73dc3a7a archive: preserve duplicate PISTMachine search-space copy Allaun Silverfox 2026-05-26 14:30:39 -05:00
  • bf8edc2fc9 archive: preserve duplicate PISTMachine search-space copy Allaun Silverfox 2026-05-26 14:30:39 -05:00
  • ca8758fdaa fix(lean): remove stale PISTMachine sorries Allaun Silverfox 2026-05-26 14:29:04 -05:00
  • 088307d997 fix(lean): remove stale PISTMachine sorries Allaun Silverfox 2026-05-26 14:29:04 -05:00
  • a89c8630fc fix(lean): remove stale PISTMachine sorries Allaun Silverfox 2026-05-26 14:29:04 -05:00
  • d3547bac9a fix(lean): remove stale PISTMachine sorries Allaun Silverfox 2026-05-26 14:29:04 -05:00
  • 101d1f7348 fix(lean): align SLUQ quaternion theorem with unit witness receipts Allaun Silverfox 2026-05-26 14:25:04 -05:00
  • aeb98c4166 fix(lean): align SLUQ quaternion theorem with unit witness receipts Allaun Silverfox 2026-05-26 14:25:04 -05:00
  • cc0d9aa49a fix(lean): align SLUQ quaternion theorem with unit witness receipts Allaun Silverfox 2026-05-26 14:25:04 -05:00
  • 9fbe665fb2 fix(lean): align SLUQ quaternion theorem with unit witness receipts Allaun Silverfox 2026-05-26 14:25:04 -05:00
  • 3128649b5a fix(lean): prove resonance quaternion unit witness preservation Allaun Silverfox 2026-05-26 14:22:00 -05:00
  • d478fae13c fix(lean): prove resonance quaternion unit witness preservation Allaun Silverfox 2026-05-26 14:22:00 -05:00
  • e7009d7fde fix(lean): prove resonance quaternion unit witness preservation Allaun Silverfox 2026-05-26 14:22:00 -05:00
  • b5af2f9db1 fix(lean): prove resonance quaternion unit witness preservation Allaun Silverfox 2026-05-26 14:22:00 -05:00