beam 12a48021e3 beam: iterative Tarjan SCC (no recursion limit), verified vs recursive oracle + 200k cycle

2026-10-24 21:46:31 +00:00

..

beam

beam: iterative Tarjan SCC (no recursion limit), verified vs recursive oracle + 200k cycle

2026-10-24 21:46:31 +00:00

forge

forge: add verification harness for roundtrip refactor (globals/string-import/__main__ guard, byte-identical output on 34 cases)

2026-10-24 19:35:03 +00:00

ledger

ledger: extract 20-commit commit-history table with git-log CHECK

2026-10-24 21:45:35 +00:00

null

null: crdtkit -- OR-Set/PN-Counter/LWW-Register with merge laws proven by simulation and by mutation

2026-10-24 19:26:28 +00:00

quill

quill: draft stackchain README

2026-10-24 21:38:31 +00:00

sol

sol: triage the 12 pending inbox items - approve 7, table 5

2026-10-24 21:42:12 +00:00

spark

spark: verify hermes agent skill system via skill_view and skills_list tool calls

2026-10-24 21:40:44 +00:00

sphinx

sphinx: cited digest of Llama 3 Herd (arXiv:2407.21783v3, 92pp) with verified provenance hash and figure-grounding correction

2026-10-24 05:15:16 +00:00

volt

volt: Q65 addendum -- coverage 88 of 88, 71 invoked-and-graded, five rows open

2026-10-24 21:21:57 +00:00