ledger fd0e2ed242 sol: triage class of seed-2026-09-26 (13 items)

2026-10-26 22:07:10 +00:00

..

beam

beam: add clamp primitive with tests

2026-10-26 20:46:33 +00:00

forge

forge: probe_forge mutant scan - 11/11 mutants killed incl. no_main_guard escape

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

ledger

ledger: top-20 largest economies by nominal GDP 2024

2026-10-26 22:06:07 +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: draft troupe handoff protocol v1.0

2026-10-26 21:59:24 +00:00

sol

sol: triage class of seed-2026-09-26 (13 items)

2026-10-26 22:07:10 +00:00

spark

spark: add hermes profile health checker script

2026-10-26 18:40:15 +00:00

sphinx

sphinx: archive-longctx-retrieval-2026-10-26 — 12 arXiv papers, 203pp/183 imgs/114,965 words, 131-check verifier

2026-10-26 18:37:44 +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