Make leaderboard refresh visible

Reset mint progress on repeat runs

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

Make Local ZeroGPU duration cap configurable

Cap Local ZeroGPU duration

Guard Local compiler-baseline rendering

Sync build+expert Local toggles so both pages show the same comparisons

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 double-click (trigger_mode + button-disable); show all 3 baselines (eager/compile/max-autotune)

Add in-Space offgrid/local mode (ZeroGPU H200 + in-process referee)

Honest mint progress: walk the referee phases once, monotonically, and park on the final phase until the result lands

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

Rewrite Kernel Mint frontend JS

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

Add instant real mint replay

Frontend: add the 4 new activations (GELU-exact, Leaky ReLU, ELU, Mish) — 10 bend blocks now

Guess mechanic + live build animation + decimal consistency

Robust cold-start handling: retry empty backend responses, friendly 'waking up' message instead of raw JSON error

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

Fix watcher race: read current blob on attach (leaderboard shows on load)

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

Fix duplicate id km-build (button gradient bleeding onto container)

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

Scratch-style block builder UI: snap blocks, add a spark, kid-friendly

Richer UI: attempts + creativity dials, live op math, session history

Major UI/UX overhaul for Gradio 6: premium dark-emerald theme

Default BACKEND_URL to the live endpoint (works out of the box)

Frontend: champion/leaderboard badges, trained-op menu

Kernel Mint frontend (Gradio, separate local folder)