Add exact Theorem 5 counterexample and canonical claim pages

Add rigorous claim-by-claim Lion convergence reproduction evidence

Update logbook: Repro - Convergence Analysis of the Lion Optimizer

initial commit