Add the missing Claim 5 page: test Lemma 2.1 (0 ties in 11,200 argmax evaluations) and Lemma 2.2 (hull volume non-increasing 12/12 at every gamma); page named to sort inside the 120k judge window

0e5c1d6

verified

ProCreations commited on 12 days ago