Add SVG and PNG downloads for rendered records

Refresh leaderboard on accepted submissions

Remove recovery labels from public UI

Separate reference rendering tolerance from record metrics

Keep dataset mirror private by default

Make dataset the canonical benchmark source

Fix deterministic verifier metrics and exact triintri records

Fix schema docs startup error

Allow no-record submissions through n100

Document open local verifier command

Remove public bundled benchmark database

Keep benchmark database out of public Space repo

Remove remaining integrity gate references

Strip stale integrity fields from stored records

Remove integrity gate and rely on private database access

Make dataset hydration non-fatal

Harden verifier and record metric validation

Fix submit verification report contrast

Add record dates, recent markers, previous bests, and integrity stamps

Prefill submit form with triincir sample JSON

Keep trivial records on exact reference metrics

Use exact reference values for trivial records

Simplify JSON submission workflow

Bold leaderboard leaders and simplify class labels

Fix submit page panel routing and duplicate ids

Fix home route, leaderboard class breakdown, and submit page

Add hash target fallback for nav panels

Fix nav route switching for leaderboard and submit

Compact leaderboard with author detail modals

Use panel router for submit entry

Make submit entry a real route

Remove leaderboard explainer copy

Simplify family cards on home page

Fix submit docs startup string

Improve submission docs and JSON examples

Fix leaderboard routing and remove Gradio footer links

Refine chrome hiding selectors

Hide Gradio menu and add packing favicon

Speed initial records load and hide Gradio chrome

Place custom navigation at top

Fix navigation and refresh verified records

Fix Home tab routing from family pages

Explain monotone upper-bound provenance

Recover records and clarify attribution policy

Fix submit redesign Gradio compatibility

Redesign JSON submission workflow

Rename Families tab to Home and reset home route

Normalize recovery navigation and status

Normalize recovery navigation and status

Put primary navigation in top tab bar