ONE BLACK · PROOF GUIDE

One-cell perturbation

Each stage isolates the candidate perturbation cells handled by one proof branch. Colors distinguish finite cases, inductive families, and scattering outcomes.

GitHub Repository
Stage 01

Untouched Placements & Asymptotic Spatial Immunity

theorem separated_reaches : p ∉ support → separatedFromSupport p = true → ReachesP104 (blacken p entry)
Certified case map
Hover over a cell to inspect its role
Blank-orbit reads Untouched placements
The P104 tail continues indefinitely toward the lower left.
Read the proof · Lean Proof