For the Mathematician

Straight to the formal objects: theorem statements, what's actually proved versus assumed, and how the 12 verified corrections propagate.

1. 1
   Mathematics Library

   Every labeled theorem, proposition, lemma, corollary, definition — with formal statements.
2. 2
   Theorem N.1

   The flagship corrected result: the stable-universe packing bound, N≤7 → N≤22.
3. 3
   Lemma A.1 / A.2

   The actual proof that the Born-rule exponent must be 2.
4. 4
   Dependency Graph

   How each correction's blast radius was traced through companion locations.
5. 5
   Existence of W* (open)

   No topology or metric is ever constructed on the space of worlds — still unresolved.