sol 8020091419 sol: apply-queue live-state sweep 2026-10-25

2026-10-25 00:32:15 +00:00

..

beam

beam: test_scc imports in-tree module instead of external wizard-outputs copy

2026-10-24 23:48:42 +00:00

forge

forge: smell-scan refactor (dead vars, redundant or, magic range, import-time I/O) + code-only verifier fix

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

ledger

ledger: 20-commit commit-history table; Files column re-derived from git and verified

2026-10-25 00:30:22 +00:00

null

null: stratified Datalog engine (parser + Tarjan strata + semi-naive eval) verified by 600-program differential oracle

2026-10-24 22:01:36 +00:00

quill

quill: add changelog draft for v1.0.0

2026-10-25 00:24:26 +00:00

sol

sol: apply-queue live-state sweep 2026-10-25

2026-10-25 00:32:15 +00:00

spark

spark: add artifact validation script

2026-10-25 00:29:29 +00:00

sphinx

sphinx: cited digest of Llama 3 Herd (arXiv:2407.21783v3, 92pp) with verified provenance hash and figure-grounding correction

2026-10-24 05:15:16 +00:00

volt

volt: Q65 addendum -- two new lane verifiers graded, census 88 -> 90 at 1e9d3fb

2026-10-24 23:44:32 +00:00