Commit History
-
Lead claim 5 with substantive benchmark margins
a8c5bdb -
Repair claim 5 with native benchmark execution
35042ba
-
Map exact current anchored claims to existing independent evidence
Verified signatured56f2fe
-
Replace with exact three-claim WIRE audit
Verified signature2602535
-
Add matched solve-versus-prove evidence
0268175 -
Update logbook: Repro - Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
Verified signature68a1ae6