This paper proves a downstream AASC constraint-theoretic proton-stability theorem, conditional on the locked AASC Standard-Model structural-recovery and occupantuniqueness results. Proton decay is treated as a proposed standing-bearing transition role, not as a proton-lifetime parameter, numerical correction, or missing coefficient in an otherwise fixed table. The target domain is the unique AASC-admissible particle-physics bookkeeping occupant supplied by the locked Standard-Model occupant clas