feat: add zero-config local proof check - #56

Merged

hippoley merged 14 commits into

mainfrom

feat/local-check

Sep 26, 2026

Commits on Sep 26, 2026

feat: add one-command local Counterproof check runtime
hippoley
committed
b917c70
feat: expose counterproof check for zero-config local proof
hippoley
committed
48574b8
test: prove counterproof check works against a real local Git branch
hippoley
committed
7107b4f
docs: make counterproof check the instant first-run path
hippoley
committed
2875a27
ci: prove counterproof check works from a clean wheel install
hippoley
committed
05dda5c
audit: mark zero-config local proof check as tested
hippoley
committed
d79e28c
audit: sync local check capability to the public truth table
hippoley
committed
e111463
fix: scope local check to submitted evidence
hippoley
committed
e1781f4
fix: keep local check evidence-scoped
hippoley
committed
9c7e84c
fix: keep local check evidence-scoped
hippoley
committed
61bec53
fix: keep local check evidence-scoped
hippoley
committed
5fd4d4b
test: assert scoped local-check output
hippoley
committed
dde16d0
test: name local-check semantics precisely
hippoley
committed
200814e
fix: satisfy local-check lint
hippoley
committed
20462f8