Split out from the 2026-06-13 checkpoint (#238).
The prover count disagrees across surfaces:
- GitHub repo description: "48 prover backends"
.machine_readable/ROADMAP.a2ml: "105".machine_readable/6a2/STATE.a2ml + echidnabot notes: "113"docs/wiki/Home.md: "128"
docs/PROVER_COUNT.md is the canonical source (R5a guardrail). Reconcile each surface to canonical. These are owner-managed per CLAUDE.md (historical per-file drift is not reconciled in routine PRs), so this is an owner-driven pass. Easiest first step: fix the GitHub repo description.
Tracker: #238
Split out from the 2026-06-13 checkpoint (#238).
The prover count disagrees across surfaces:
.machine_readable/ROADMAP.a2ml: "105".machine_readable/6a2/STATE.a2ml+ echidnabot notes: "113"docs/wiki/Home.md: "128"docs/PROVER_COUNT.mdis the canonical source (R5a guardrail). Reconcile each surface to canonical. These are owner-managed perCLAUDE.md(historical per-file drift is not reconciled in routine PRs), so this is an owner-driven pass. Easiest first step: fix the GitHub repo description.Tracker: #238