repro-bundle/v1/scripts/07_final_summary.py

"""Print final summary."""
import json

m = json.load(open(r"X:\hf_challenge\repro_bI9moH3UZw\_publish_manifest_bI9moH3UZw.json"))
print("=" * 70)
print("FINAL SUMMARY - ICML 2026 Paper #15836 Reproduction (Agent 16 of 20)")
print("=" * 70)
print()
print("Paper:      High-Dimensional Learning Dynamics of Quantized Models with STE")
print("Authors:    Yuma Ichikawa, Shuhei Kashiwamura, Ayaka Sakata")
print("arXiv:      2510.10693")
print("OpenReview: bI9moH3UZw")
print()
print("Repro folder:    X:\\hf_challenge\\repro_bI9moH3UZw")
print("HF bucket:        https://huggingface.co/buckets/amkkk/quantized-ste-dynamics-repro-artifacts#repro-bundle:v1")
print("Trackio logbook:  X:\\hf_challenge\\repro_bI9moH3UZw\\.trackio (will publish to Space)")
print()
print("PUBLISH SCHEDULE:")
print("  Task name:      " + m["task_name"])
print("  Target time:    " + m["start"] + "  (58h delay)")
print("  Slug:           " + m["slug"])
print("  Wrapper:        " + m["wrapper"])
print("  Log file:       " + m["log_file"])
print()
print("PAGES (pinned cells marked with *):")
print("  * 00-scorecard                  [PINNED: Scorecard - 3/3 VERIFIED]")
print("    claim-1-ode-limit              [ODE convergence study]")
print("    claim-2-plateau-sharp-drop     [Figures 2+3 reproduction]")
print("    claim-3-fixed-point-deviation  [Figure 5+6 + Thm V.8]")
print("    methods                        [source audit + code modules]")
print("  * conclusion                    [PINNED: Executive summary + scope&cost]")
print("                                  [artifact cell -> HF bucket]")
print()
print("PER-CLAIM VERDICTS:")
print()
print("  Claim 1: STE dynamics converge to a deterministic ODE in the high-d limit.")
print("    VERDICT: VERIFIED")
print("    Decisive evidence: d=3000 STE final eps_g=0.5005 vs ODE 0.5000 (rel err 1e-3).")
print("                     Late-traj (tau>=20) RMS shrinks 0.019 -> 0.0072 with d.")
print()
print("  Claim 2: Plateau + sharp drop in eps_g, plateau length depends on omega.")
print("    VERDICT: VERIFIED")
print("    Decisive evidence: Figures 2+3 reproduced at d=900, 5 seeds, tau_max=1200.")
print("                     Plateau length range 8-16 tau (2x with omega).")
print("                     Drop sharpness max|d_eps/d_tau| grows 8x with omega.")
print("                     STE-ODE RMS <= 0.011.")
print()
print("  Claim 3: Fixed-point analysis quantifies asymptotic deviation from unquantized.")
print("    VERDICT: VERIFIED")
print("    Decisive evidence: Thm V.8 closed-form matches STE to <= 0.002 at every omega.")
print("                     Interior-p correction sigma2_psi*Delta^2*p*(1-p) observed exactly")
print("                     (omega=1.5: theory 0.5, STE 0.499).")
print()
print("COMPUTE: 1x NVIDIA RTX 5070 (12 GB), local Windows, ~53 min total, $0 cloud.")
print("Independence: No official code. Re-implemented from Thm V.3, Prop V.2, Prop VI.1, Thm V.8.")
print("Unit tests: 7/7 PASS.")
print()
print("I did NOT call lb.publish() myself. The scheduled task will publish at the target time.")
print("=" * 70)