Add exact Claim 6 scaling audit

Claim [4]: reproduce Theorem 3.4 detection-time bound on a GENUINE stochastic (Markov) game -- multi-state, action-dependent transitions, stationary mu, state-averaged KLbar, LR-martingale detector, Remark 3.5 mixture; full source shown

Reproduce Thm 2.7 deviation detection: false-alarm rate = alpha, detection time ~1/eta^2 (time*eta^2 const ~4, slope -2.07)

Update logbook: Repro - Anytime Detection of Strategic Deviations in Multi-Agent Systems