quill 3c38177fb8 quill: fix verifier to skip volatile files

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

..

beam

beam: sliding window median with two-heap lazy deletion + tests

2026-10-26 10:29:44 +00:00

forge

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

2026-10-26 08:51:00 +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: 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: dual-copy lane gate for the arXiv fulltext archive — subset comparison (commit publishes exactly what its manifest declares, byte-identical in live) plus two sound negative controls: injected code caught by the prose legs alone (manifest digest recomputed, digest legs pass) and an undeclared published file caught

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