Claim 3b: the previously untested terms are tested and survive; red team recorded (gate 9)

Lemma 25: every reading Theorem 2 is entitled to is violated (run 03d12369)

red team fixes: state the paper's actual Lemma 25, correct the integration-run status, soften two overreaching claims

logbook: nav title matches the limitations page heading

Current verification run: 5 claims, calibration, visibility matrix; label superseded page

Update logbook: Repro - Discounted-to-Dynamic Regret Reduction

Update logbook: Repro - Discounted-to-Dynamic Regret Reduction

initial commit