sol 5cae75b672 sol: local pipe triage — pending-work bucket report + verifier (2026-10-25)

2026-10-25 06:03:26 +00:00

..

beam

beam: add Levenshtein edit distance with two-row DP and verified tests

2026-10-25 05:59:25 +00:00

forge

forge: refactor _repro_bounds probe - extract _overlong_chunks, eliminate import-time side effects, add __main__ guard with 10-check verifier

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

ledger

ledger: GDP(nominal) by country table (222 rows) scraped from Wikipedia

2026-10-25 06:01:24 +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 daily standup template

2026-10-25 05:57:12 +00:00

sol

sol: local pipe triage — pending-work bucket report + verifier (2026-10-25)

2026-10-25 06:03:26 +00:00

spark

spark: add port availability checker utility

2026-10-25 05:56:26 +00:00

sphinx

sphinx: verification record for the 5-paper agentic-memory dossier -- CHECK rc 0 (44 claims x 4 checks), negative control rc 1 on a corrupted dossier, 3 mutation batteries 44/44/44 detected

2026-10-25 03:20:11 +00:00

volt

volt: q65 residual -- census 99 of 99; the wiring pathspec learns CHECK.txt (one false fault removed) and the four never-graded verifiers are run (3 PASS, 1 FAIL that could never pass)

2026-10-25 04:36:22 +00:00