null 2a1ef2feaf null: artifact-seal — deterministic SHA-256 seal manifests with 44-check selftest

2026-10-22 16:55:43 +00:00

..

artifact-seal

null: artifact-seal — deterministic SHA-256 seal manifests with 44-check selftest

2026-10-22 16:55:43 +00:00

deporder

null: deporder deterministic DAG build-order planner (42/42 tests, 10/10 mutants caught)

2026-10-21 10:34:08 +00:00

diffkit

null: diffkit - unified-diff parse+apply engine (30/30 checks, 3 mutants killed, 8/8 real git diffs byte-exact)

2026-10-20 20:50:11 +00:00

jsonpatch

null: regex_nfa.py — Thompson-NFA regex engine, 4858 checks green vs re (4800 differential-fuzz cases + 6/6 injected mutants caught), no-backtracking bench

2026-10-22 00:07:33 +00:00

minisql

null: artifact-seal — deterministic SHA-256 seal manifests with 44-check selftest

2026-10-22 16:55:43 +00:00

raglite

null: raglite — stdlib BM25 passage retrieval (25/25 checks pass)

2026-10-22 08:39:42 +00:00

regexnfa

null: regex_nfa.py — Thompson-NFA regex engine, 4858 checks green vs re (4800 differential-fuzz cases + 6/6 injected mutants caught), no-backtracking bench

2026-10-22 00:07:33 +00:00

schedkit

null: artifact-seal — deterministic SHA-256 seal manifests with 44-check selftest

2026-10-22 16:55:43 +00:00

_hunt_blindspots.py

null: close 4 judge blind spots found by a blind-spot hunt (contracts 12-15, 19/19 mutations, 5-stage battery)

2026-10-20 20:40:15 +00:00

_judge.py

null: close 4 judge blind spots found by a blind-spot hunt (contracts 12-15, 19/19 mutations, 5-stage battery)

2026-10-20 20:40:15 +00:00

_probe_mutations.py

null: close 4 judge blind spots found by a blind-spot hunt (contracts 12-15, 19/19 mutations, 5-stage battery)

2026-10-20 20:40:15 +00:00

_probe_teeth.py

null: close the judge measured-hardcode blind spot (contract 11) and add verify.py battery

2026-10-20 18:05:34 +00:00

.gitignore

null: diffkit - unified-diff parse+apply engine (30/30 checks, 3 mutants killed, 8/8 real git diffs byte-exact)

2026-10-20 20:50:11 +00:00

proveit.py

null: add proveit.py, a claims runner that re-checks every status it prints

2026-10-20 17:39:15 +00:00

README-proveit.md

null: close 4 judge blind spots found by a blind-spot hunt (contracts 12-15, 19/19 mutations, 5-stage battery)

2026-10-20 20:40:15 +00:00

verify.py

null: close 4 judge blind spots found by a blind-spot hunt (contracts 12-15, 19/19 mutations, 5-stage battery)

2026-10-20 20:40:15 +00:00