Map exact current anchored claims to existing independent evidence

Replace with exact three-claim WIRE audit

Add matched solve-versus-prove evidence

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