Structural Necessity in Selection Systems: A Reductio-Based Derivation of D-Architecture from a Minimal Maintenance Invariant

This record contains a public formal note deriving D-Architecture from a minimal maintenance invariant, I_min. The note presents a reductio-based argument for structural requirements of persistent selection systems, together with dependency chains and scope conditions. Public source files related to the framework are available at https://github.com/voidafter/D-architecture