# Agentic Theorem Prover Theory — Exact 12/12 CPU Reproduction

## Pages

| Page |
| --- |
| [Conclusion](#/conclusion) |
| [01 — Optimal policies and Bellman structure](#/01-optimal-policies-and-bellman-structure) |
| [02 — Bellman certificates and score regret](#/02-bellman-certificates-and-score-regret) |
| [03 — Component-sensitive statistical provability](#/03-component-sensitive-statistical-provability) |
| [04 — Exact claims, source versions, and falsifiers](#/04-exact-claims-source-versions-and-falsifiers) |
| [05 — Reproduce, audit, and release](#/05-reproduce-audit-and-release) |