Repair claim 5 with native benchmark execution

Map exact current anchored claims to existing independent evidence

Replace with exact three-claim WIRE audit

Update logbook: Repro - Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving

initial commit