stella-ops.org/git.stella-ops.org
1
0
Fork 0
Code Issues Pull Requests Actions 16 Releases Wiki Activity
Files
main
git.stella-ops.org/bench/reachability-benchmark/website
History
StellaOps Bot 909d9b6220
Some checks failed
AOC Guard CI / aoc-guard (push) Has been cancelled
Details
AOC Guard CI / aoc-verify (push) Has been cancelled
Details
Docs CI / lint-and-preview (push) Has been cancelled
Details
Policy Lint & Smoke / policy-lint (push) Has been cancelled
Details
up
2025-12-01 21:16:22 +02:00
..
index.html
up
2025-12-01 21:16:22 +02:00
README.md
up
2025-12-01 21:16:22 +02:00

README.md

Reachability Benchmark Website

Static, offline-ready page for the public benchmark (task BENCH-WEBSITE-513-015).

Files

  • index.html — single-page site (no external assets) with:
    • Quick start steps
    • Download pointers (cases, schemas, truth, baselines)
    • Determinism checklist
    • Leaderboard panel that reads leaderboard.json if present

Usage

  1. Generate leaderboard locally:
ci/run-ci.sh    # or run rb_compare manually
cp out/leaderboard.json website/
  1. Serve the website/ folder with any static file server (or open index.html directly).

No external fonts or network calls are used; works fully offline.