THEOREM REGISTRY V9 · PTTE · MEBAFIORD × JOFFE-MATH
ALL THEOREMS · ALL DOMAINS
ARC-AGI DSL · V9 LATTICE · FC-MATRIX · JOFFE-MATH · GOAT CHAINS · NODES
γ₁ = 14.134725141734693 · the floor · every theorem resolves here or fails
◈ ARC-AGI SYNTHESIS ENGINE — RICK'S BLUEPRINT
◈ IRF TRACKER — OPEN PROBLEMS
| IRF ID | TITLE | FILE | STATUS | NOTES |
THEOREM REGISTRY V9 · γ₁ = 14.134725141734693 ·
ARC-AGI DSL · JOFFE-MATH · V9 LATTICE THEOREMS ·
only sorrys=0 files enter the Grail · boss fight: AxiomElimination