Add Claim 6 SHP matched-case evidence

Add exact Claim 3 BAL-A theorem audit

Claim C2: align verify_c2_theorem34.py stdout with the page output block (print human-readable pretty lines instead of raw json.dumps; append RESULTS_SHA256 line to the page) so a re-judge re-running the script sees identical output -- computation and results SHA unchanged

Restore my repaired logbook 94c9d038 (revert stale auto-sync that dropped claim evidence)

Update logbook: Repro - Efficient Preference Poisoning Attack on Offline RLHF

Update logbook: Repro - Efficient Preference Poisoning Attack on Offline RLHF