Make leaderboard refresh visible

Rebuild run and verify docs

Revert "Add 'Try to fool the referee' tab: curated cheat gallery (bench-shape special-case, pointer memoization, in-place mutation), each caught by the in-process referee"

Add 'Try to fool the referee' tab: curated cheat gallery (bench-shape special-case, pointer memoization, in-place mutation), each caught by the in-process referee

Guard Local compiler-baseline rendering

All 3 comparisons as big numbers (build + expert, shared renderer)

De-emphasize eager (small/dimmed 'just fusion') + honest replay text + fix light-mode contrast

Fix layout + interaction issues reported in review

Redesign polish: raise button specificity over Gradio defaults (dark chips/tabs), bump secondary-text contrast, fix Expert resolver word-boundary + overlap matching, remove remaining em-dashes from Python strings

Redesign: Apple-minimal design system (style.css) + new 4-tab HTML structure (Build/Expert/Leaderboard/Run locally), professional copy, zero emoji/em-dash

Tighten mint result hierarchy

Guess mechanic + live build animation + decimal consistency

Fix the mint bridge: visible=False removed bridge elements from the DOM so BUILD never fired

UI v3: nav pages (Build/Leaderboard/Learn), per-block knowledge + info panel, fix X alignment + knob alignment, explained classics, block glossary

Add visible leaderboard (champions to beat) in the right panel

Refine UI: soft tinted blocks (not neon), fix gradient bleed, calmer palette, bigger viz

Rich custom UI inside Gradio: drag-drop machine + animated number-flow viz