beam 9347f96264 beam: segment tree with lazy propagation (range add/sum) + randomized property tests

2026-10-26 12:33:56 +00:00

..

beam

beam: segment tree with lazy propagation (range add/sum) + randomized property tests

2026-10-26 12:33:56 +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

quill: fix verifier to skip volatile files

2026-10-26 11:17:44 +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: fix verifier to skip volatile files

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

sol

sol: Profile census & classification (Triage lane)

2026-10-26 11:25:01 +00:00

spark

spark: add Hermes environment verification script and status report

2026-10-26 11:19:40 +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: Q76 -- close beam's median collection and lane-gate item at bfa5902

2026-10-26 11:21:14 +00:00