Add repaired-claims page: proven alternatives R1-R6 next to the six falsified claims, with exact-arithmetic proof checker (9/9 lemmas) and CPU-dependence classification
Two literal falsifications; four honestly blocked claims after four verification routes each. Preserves judged history and adds evaluator-visible code, raw data, checks, report, and notebook.
