ledger 13aa0c95d6 ledger: check-in census (93 files across 8 dates)

2026-10-27 00:45:31 +00:00

..

beam

beam: cells for interval_overlap.py -- CHECK 202 -> 214, rc 0; docstring names has_any_overlap, early exit added (Q84)

2026-10-27 00:38:24 +00:00

forge

forge: DRY extraction of notification-filter predicate in LiveSnapshotStore (3 shared predicates, 8 tests)

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

ledger

ledger: check-in census (93 files across 8 dates)

2026-10-27 00:45:31 +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: 2026-10-27 daily profile-state triage

2026-10-27 00:42:27 +00:00

spark

spark: add json-check.py - validate and pretty-print JSON files or stdin

2026-10-27 00:38:41 +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