Expose rigorous d=8 code and raw evidence to the judge reader

Add rigorous claim-by-claim reproduction evidence

Update logbook: Repro - Steady-State Behavior of Constant-Stepsize Stochastic Approximation