Upload logbook.json with huggingface_hub

Add exact Theorem 3.3 hard-instance audit

Restore full repaired logbook (revert stale sync) + add Claim 3 lower-bound executed page (Thm 3.3)

Update logbook: Repro - Heavy-Tailed AdaGrad

Correct Claim 1 boundary framing (p=1.2 empirically converges; 4/3 is theoretical) + add Claim 5 (p<=4/3 unresolved proof-gap limitation; AdaGrad-Norm resolves it)

Add Claim 4: AdaGrad-Norm converges for full range p in (1,2] at rate (p-1)/(2p); converges at p=1.2 where coordinatewise AdaGrad fails

Update logbook: Repro - Heavy-Tailed AdaGrad