Add rigorous claim-by-claim reproduction campaign

Reproduce OPSD O~(sqrt(KT)) regret: slope 0.42, regret/sqrt(KT)~1.0 stable (sublinear), + Lemma 2.1 1-bounded==sleeping bandit (exact)