Original commit b2bb6261a92895c93392dac18ff716d51625d4b0
feat: serve leaderboard data from a private Hugging Face bucket
- add a server-only Hugging Face bucket client with manifest, schema,
checksum, and payload validation
- cache ranking, details, and manifest responses with stale-data
fallbacks and request deduplication
- adapt bucket catalog and leaderboard payloads to shared UI types
- migrate ranking, details, and tools routes from embedded fixtures
to SvelteKit server load data
- remove the obsolete static leaderboard dataset
- localize bucket labels, dataset availability messages, error pages,
and run dates
- add a global navigation loader with page fade transitions and
reduced-motion support
- add localized 404/500 pages and a static fallback error document
- add favicon, Apple touch icon, PWA icons, and web manifest
- improve select, sheet, and empty-state behavior for dynamic data
- document private bucket configuration and runtime environment variables
- add pro…
