null 845401ab88 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

..

_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

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