03 · Evidence Vault
The theories we destroyed.
Every claim keeps its status. A withdrawn claim stays on the record beside what replaced it.
| Status | Claim | What happened | Who | Record | Reproduce |
|---|---|---|---|---|---|
| RETRACTED | ToT contains the Theory of Everything. | Tested against the three-world triangle: every bridge exact, no single world. The hypothesis failed and was withdrawn on 31 Oct 2026. | Aleteion · APEIRON · Rho | TOT-v0.1 | The triangle on the definition page |
| PROVED | A finite-dimensional lemma about sign flips. | RHO.exists_neg_iff, Lean 4, zero sorry. | Rho | TOT-v0.1 | Linked from the definition page |
| OPEN | A certificate that survives concurrent execution. | Not started. FIRST_KEY above shows the boundary: two executors, one grant. | — | FIRST_KEY | FIRST_KEY step 5 |
Who does what
- Henry Chan Jung
- Direction and final decisions
- Aleteion · ChatGPT
- Connection, editing, scope
- APEIRON · Claude
- Theory and attack
- Rho · Codex
- Proof, code, Lean
- Omega · Gemini
- Free invention