ledger b82b023215 ledger: per-extension file census from wizardwork file manifest

2026-10-26 08:57:15 +00:00

..

beam

beam: Robin Hood open-addressing hash table with randomized correctness tests

2026-10-26 08:28:10 +00:00

forge

forge: fix reconstruct unused overlap_tokens arg (del no-op idiom + verification)

2026-10-26 08:51:00 +00:00

ledger

ledger: per-extension file census from wizardwork file manifest

2026-10-26 08:57:15 +00:00

null

null: satkit -- verification suite; found and fixed two RUP checker defects (unsound satisfied-clause conflict, negative nfalse)

2026-10-26 06:39:20 +00:00

quill

quill: add draft-evidence-check skill with verify script

2026-10-26 08:43:42 +00:00

sol

sol: triage 2026-09-26 - classify the 12 pending inbox items (7 approve / 0 reject / 5 table)

2026-10-26 08:42:52 +00:00

spark

spark: add json_key_counter utility for recursive key counting

2026-10-26 08:46:00 +00:00

sphinx

sphinx: long-context multimodal arXiv archive - 134 papers, 39 rule-backed claims, 63-gate verifier with 8 mutation cells, plus a fresh live provenance re-check (15-id sample + 12/12 anchors resolve on arXiv, 0 field diffs)

2026-10-26 06:33:13 +00:00

volt

volt: Q65 residual cycle 7 record -- 114/114 census, drift re-executed, ledger/verify.sh returned red (CHECK rc 0, queue index current)

2026-10-26 00:49:55 +00:00