Fix Claim 2 (RAND, claimed 27/128 constant + adversarial); add Claim 4 (Alg 1 under MIV error) and Claim 5 (EF1/MMS/PROPX impossibility)

809ce34

verified

DineshAI commited on 12 days ago