Independent verification: what six fresh-context rounds found in a gauntlet that was already green - #4

Merged

AmazingAng merged 12 commits into

mainfrom

fix/verifier-findings

Aug 10, 2026

Commits on Aug 9, 2026

fix(demo): SPEC revision 4 — findings from independent verification

AmazingAng
and
claude
committed
e677832
fix(demo): REVISION 4b — second verification round, incl. a mutation harness

AmazingAng
and
claude
committed
e210594
fix(demo): REVISION 4c — the lock did not cover the clock read

AmazingAng
and
claude
committed
49afb2b
fix(demo): REVISION 4d — round 4 passed; its accuracy defects fixed

AmazingAng
and
claude
committed
d65acbe
fix(demo): REVISION 4e — round 5 findings; the 4d fix introduced a new false claim

AmazingAng
and
claude
committed
d0b506c
fix(demo): REVISION 4f — round 6; last fix round, verification stops here

AmazingAng
and
claude
committed
66df5cd
evidence: rebind to 66df5cd after six verification rounds

AmazingAng
and
claude
committed
680c67e

Commits on Aug 10, 2026

docs(demo): prune the spec back to a contract

AmazingAng
and
claude
committed
8b88bda
evidence: rebind to 8b88bda after the spec prune

AmazingAng
and
claude
committed
4a9fdc5
skill: add VERIFY, plus two gauntlet rules the experiment produced

AmazingAng
and
claude
committed
8fbe331
skill: move independent verification out of the loop

AmazingAng
and
claude
committed
3504c4a
evidence: the spec prune belongs in the unverified list too

AmazingAng
and
claude
committed
55c8467