Unified Rigidity Theorem for PSC/UGP Universes

We show that three independently developed rigidity mechanisms jointly select the same canonical physical branch under an explicit and audited premise bundle. Layer I/II PSC theory-space selection narrows the space of 4D renormalizable gauge theories to the Standard Model gauge structure and three generations; this is supported by a finite exhaustive enumeration over 34, 560 candidate universes across 12 gauge groups including Pati-Salam and E₆ (TE2. 2 extended scan: SM ranks #1, only 0. 03 all survivors are SM-like, all BSM candidates decisively eliminated). UGP arithmetic and seed rigidity is fully machine-checked in ugp-lean: the RSUC theorem isolates the Lepton Seed (1, 73, 823) as the unique MDL-minimal survivor of the two-stage sieve (0 sorrys, 0 custom axioms). Dynamical basin structure places the Lepton Seed and its mirror in the canonical basin A across all tested configurations, while off-residual seeds fall in basins B/C; this is frozen and SHA-256 certified. A new Lean bridge library, unified-rigidity-lean, formalizes the common admissibility framework and proves unified\ᵣigidity\ₜheorem under the explicit premise bundle recorded in its assumption ledger. Every claim is strictly typed: theorem-extracted, bridge, computational/certified, or residual/open. The result is a conditional synthesis theorem under an explicit premise bundle; every assumption is typed and audited. The formal PSC step is now unconditional: the Residual Classification (RCC) is established as a theorem (PSC. RCCInfiniteFamilies, zero sorry) ; the all-n UGP extension is now proved (asymptotic\ₛparsity\ᵤniversal, zero sorry) ; the neutrino mass-squared splitting ratio m²₂1/ m²₃1 is predicted to 0. 4 Any construction of a PSC-admissible theory outside the SM signature, a non-Lepton-Seed UGP survivor satisfying the full sieve, or a canonical-seed trajectory failing the predicted basin would falsify the result.