The Logical Architecture of Persistence - Minimal Assumptions, Derived Necessities, Formal Proofs, and the Regime Structure of Persistent Identity | Synapse