fedcourts.ai

The public site for FedCourtsAI. Static, built with Astro, hosted on Cloudflare Pages.

How it fits together

• Content is Markdown/MDX under src/pages/. Edit it in the GitHub UI, open a PR, and Cloudflare Pages attaches a preview URL to the branch.
• Data is never hand-edited. scripts/fetch-ledger.mjs runs before every build (prebuild), downloads the fedcourtsai repo tarball, counts what is in data/cases, copies the committed metrics/ roll-ups, and writes src/data/ledger.json (gitignored). Components read from that file.
• Freshness comes from .github/workflows/rebuild.yml, which calls the Cloudflare deploy hook daily. It never commits here.

Components available in MDX

Component	What it renders
<Stats />	The headline counters with a ledger stamp
<LedgerStat key="…" label="…" note="…" />	One figure from ledger.counts (events_open, events_resolved, events_with_predictions, predictions, predictions_frozen, evaluations, leaderboard_events_scored, leaderboard_predictors_ranked)
<LedgerTable limit={n} onlyOpen onlyResolved />	The ledger table, newest first
<Stamp />	"ledger <sha> · <time>" pointing at the exact commit read

Import them at the top of a page: import Stats from "../components/Stats.astro";

One-time setup

1. Create the repo (public), push this tree, protect main (require PR, block force-push and deletion).
2. Cloudflare Pages → Create → connect to Git → this repo. Framework preset Astro, build command npm run build, output directory dist, environment variable NODE_VERSION=22. Set the production branch to main; preview deployments for all other branches.
3. In the Pages project, Settings → Builds → Deploy hooks → Add. Copy the URL into a repo secret named CLOUDFLARE_DEPLOY_HOOK_URL.
4. Add the custom domain fedcourts.ai (and www redirect) in Pages.
5. Cloudflare Web Analytics: enable it for the site and paste the beacon <script> into src/layouts/Base.astro where the comment marks the spot.

Local build (optional)

npm install
npm run build      # runs the fetch first
npm run preview

npm run dev needs src/data/ledger.json to exist; run npm run fetch once first.