leaderboard: format submitted_at as `YYYY-MM-DD HH:MM UTC`; lock tables read-only

submit: serialize cadgenbench evaluate to dodge cpu-upgrade contention

debug: add /debug/render-bench route for one-shot Chromium timing

submit+app: gate Submit on HF OAuth; populate hf_username from profile

submit+app: toast-based feedback (validating / queued / refreshed)

leaderboard+app: combined CSV download with validation_status discriminator

app: Citation + Validation Guidelines accordions, validation link in About

app: render reports inline via iframe srcdoc (private-Space safe)

app+leaderboard: link submission_name to a Space-side report proxy

app+leaderboard: detail panel polish (rename link columns, fix broken report links)

app: row-click detail panel below the leaderboard tables

leaderboard: markdown link columns for agent_url, submission, report

app: split Leaderboard into Validated + Unvalidated tables

app: move theme= from Blocks.launch() to Blocks() ctor (Gradio 5 API)

app+requirements: pin Gradio 5 + gradio_leaderboard, auto-refresh now works

app: fix leaderboard auto-refresh via @gr .render(key=...)

app: drive auto-refresh via gr.Timer().tick instead of every= on Dataframe

app: auto-refresh leaderboard + bootstrap logging

app: drop history-narrative prose from Submit tab

submit: drop the agree checkbox, meta.json is the only consent gate

submit: drop dead form fields, meta.json is the only source

submit: move handle_submit into its own module + add validation pipeline

refactor: split leaderboard read path into its own module

docs: rewrite Space README + About tab as declarative current state

docs: refresh stale status strings after org transfer

ui: render validity_rate as percentage in the leaderboard table

schema: rename model -> submission_name; seed with 3 baseline rows

step 5: leaderboard reads from submissions dataset on hub

step 3: gradio leaderboard scaffold