Repair Theorem 5.2 upper-bound scope and protect verified claims

claim 2: sweep n and k, test the 1-delta statement at the q90, and report that the sqrt(nkT) form is not isolable in this instance family

Publish validated ICML reproduction for qSNU4NmDpE

initial commit