Canonical event

Authors submit Lean formalization of Hamilton-Perelman geometrization proof

Original public milestone: Authors submit Lean formalization of Hamilton-Perelman geometrization proof. Evidence-only proposal; no claim of global canonical novelty, independent replication or realized downstream effects.