leaderboard: fix tasks iframe fit (use body.scrollHeight)

leaderboard: fit tasks iframe to content (kill blank space)

leaderboard: fix metrics 'On this page' links on mobile

leaderboard: axis gizmo on task render grids; bump cadgenbench

leaderboard: metrics tab single-scroll + polish on mobile

leaderboard: tighten mobile gallery box to a single scroll

leaderboard: mobile uses the same aligned table as desktop

leaderboard: dedicated mobile card layout for the gallery

leaderboard: fix mobile gallery (GT row wrap + double scroll)

leaderboard: reclaim Gradio chrome + responsive mobile gallery

leaderboard: squeeze header/caption, grow gallery to show more rows

leaderboard: bigger gallery box + scroll affordance

leaderboard: widen gallery chrome reserve to kill residual outer scroll

leaderboard: gallery scroll box sized off screen.availHeight

metrics: tighten Metrics page copy

deploy: bump cadgenbench to b76a55a + ship metrics assets

leaderboard: add Metrics tab/page + report deep-links

fix(oauth): use real HF OAuth on this Docker Space instead of mock login

leaderboard: make the gallery the single scroller

leaderboard: lock GT row via in-iframe scroll capped by max-height

leaderboard: lock GT row + header in a capped gallery scroll box

leaderboard: fixed 4-sample gallery, auto-size iframe, center modal

deploy: bump cadgenbench to 72f6e82 (scale-relative edit-diff tol, viz polish)

deploy: bump cadgenbench to 850281d (unified viz colours)

leaderboard: bump cadgenbench to d514d6a (report thumbnail grid)

leaderboard: backfill tool to grid-ify already-published reports

leaderboard: admin rescore (selected + all) reusing the eval pipeline

leaderboard: backfill tool for edit_diff.png stills in render bucket

leaderboard: bump cadgenbench to 1010043 + legend backfill tool

leaderboard: rebuild Tasks tab as grouped thumbnail grid

leaderboard: download-zip button in merge-path report + backfill tool

leaderboard: rename tabs, relabel fixtures as samples, inline gallery row stats

leaderboard: serve GT report assets via proxy; link them in hosted report

leaderboard: serve renders from the public bucket, not the dataset proxy

leaderboard: show edit-diff turntable in gallery grid for editing fixtures

leaderboard: move Tasks tab after Leaderboard

leaderboard: add Tasks tab to browse benchmark fixtures

Serve rotating WebP turntables + GT generator

stage shards via bucket API instead of volume mount

fix HF Jobs polling namespace

leaderboard: open reports in new tab

stage shard artifacts through HF bucket

test: fix leaderboard smoke test for gallery-default tab + sr-only label

gallery: searchable fixture picker, URL-persisted picks, cached render proxies

admin: stop pending jobs before delete

submit: stream live eval progress to the submitter's status panel

submit: publish merged report + gallery in one commit

submit: retry Hub commits on 429/5xx + persistent status panel

submit: allow missing fixture outputs

gallery: refresh after admin changes