This record contains a public formal note deriving D-Architecture from a minimal maintenance invariant, Iₘin. 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
Jae Hoon Jung (2026) studied this question.