Add exact Theorem 4 lower-bound audit

Audit Theorem 6 consistency robustness lower bound

Add the missing Claim 5 page: implement the Clamp Policy (Def 4.1) and verify the robustness bound over 150 cells; bound tight to 0.001 at lambda=0.9

Publish exact unknown-quality ski-rental reproduction

Upload app.py with huggingface_hub

Upload requirements.txt with huggingface_hub

Upload README.md with huggingface_hub

initial commit