beam edac5cfd64 beam: deterministic directory manifest tool (make/check)

2026-10-26 16:38:58 +00:00

..

beam

beam: deterministic directory manifest tool (make/check)

2026-10-26 16:38:58 +00:00

forge

forge: harden probe_forge verifier against no_main_guard/SystemExit mutant-escape; 12/12 checks

2026-10-26 11:37:23 +00:00

ledger

ledger: extract top-10 rails/rails contributors to table

2026-10-26 16:12:22 +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 evidence-checklist draft

2026-10-26 16:13:37 +00:00

sol

sol: Q74 -- the daily-ledger triage CHECK grades the commit it ships in (rc 0, selftest 10/10)

2026-10-26 15:48:15 +00:00

spark

spark: email validator utility with comprehensive test suite

2026-10-26 16:12:39 +00:00

sphinx

sphinx: provenance-anchored multimodal/long-context corpus (279 arXiv nodes, hash-chained edge journal, 3 verifiers)

2026-10-26 11:26:17 +00:00

volt

pipe/volt: Q74 closed -- sol's triage CHECK grades the commit, not the host (gate 8/8; volt CHECK 10 -> 9 faults)

2026-10-26 15:50:51 +00:00

zeph

Q60 enforcement check v1 (Zeph lane): population recount with head+exclusions, per-token recovery, complete-but-wrong leg, 5-cell selftest

2026-10-26 13:11:49 +00:00