Fix: every optimizer formula shows the full path from loss to update

[NeoVand]

The problem

Several optimizer cards showed only the last line of their algorithm — Adam's card had m̂ and ŝ appearing from nowhere, AdamW/RAdam/Sophia/Prodigy never mentioned ∇ℒ at all. The formula couldn't be eyeballed on its own; it expected the reader to carry state definitions over from other cards. The role of the formula is to show how you get from the loss to the change in the parameters — several didn't.

The fix

Every card formula now walks the complete pipeline — the state feeds from ∇ℒ, then the parameter update — repeating the EMA pattern deliberately so each card is self-contained:

• Adam: m ← β₁m + (1−β₁)∇ℒ, s ← β₂s + (1−β₂)(∇ℒ)², θ ← θ − γ·m̂/(√ŝ+ε) (the hats are narrated in the prose directly beside it)
• AdamW: the same two feeds, so the one change — +λθ — pops visually
• RAdam: feeds + the rectified step; the ρ∞ bookkeeping moves to prose, which now names the rectification factor r_t
• Sophia: the loss enters twice — m from ∇ℒ and h from diag(H)
• Prodigy: the d-weighted feeds, the growing distance estimate, the step — four clauses, fully traceable
• AdaDelta: the missing s-feed now opens the chain (the loss used to appear only mid-formula)

The Formulas panel speaks the same language: the core updateRuleLatex strings are synced — Prodigy's still carried the old v/sₜ₊₁ notation from before the vocabulary unification, Sophia's and AdamW's panel strings were missing their feeds too, and the tight (1{-}β) minus is normalized everywhere.

Plus a real bug found along the way: the panel's fit-to-width silently clipped rows mid-formula once its 11.5px font floor was hit (the long Gaussian-Mixture model row already triggered this on main). The floor is now 10px — the complete rules fit on laptop widths — and past the floor the viewport scrolls rather than truncating an equation.

Verified

• All fifteen cards contain ∇ℒ (Sophia also H) with zero horizontal overflow at desktop width — checked programmatically via the rendered KaTeX
• Formulas soft-wrap cleanly on mobile (Prodigy's four clauses break into three tidy lines at 375px)
• The panel renders Prodigy's complete rule at 10.2px, uncut, measured live
• 194 tests green, svelte-check clean; formula strings only — no behavior changes (golden-trajectory tests untouched)

🤖 Generated with Claude Code

[cloudflare-workers-and-pages]

Deploying gradient-lab with    Cloudflare Pages

Latest commit:	d6a2b94
Status:	✅  Deploy successful!
Preview URL:	https://64ad844a.gradient-lab.pages.dev
Branch Preview URL:	https://fix-card-formulas-complete.gradient-lab.pages.dev

View logs

[NeoVand]

Update per review: multi-clause formulas no longer rely on KaTeX's soft-wrap (which could break mid-clause on narrow screens). Every 3+-clause rule — Adam, AdamW, RAdam, Sophia, Prodigy, AdaDelta, Lion — is now an aligned block, one clause per row, in both the cards and the Formulas panel. A row either fits or scrolls; an equation never tears. Side benefit: the stacked Update row is narrower, so the panel's fit-to-width recovered from its font floor — Prodigy renders at 12.1px, fully uncut, and mobile shows all seven stacked cards with zero overflow.