This paper develops a foundational framework for governed analytical objects, lawful transformation, and certification. A particle is one typed value at one anchor point. An atom member is a homogeneous typed partial function that binds particles over one anchor within one universe. An atom is the stable governed measure family whose laws determine which anchored members share one analytical identity: revenue names an atom, while transaction revenue and customer-month revenue may be different members of that atom. A universe supplies a governed population and an existence law; a governed member adds eligibility, observed support, an observation-process contract, operator-subfamily state, contract-inheritance boundaries, evidence, and lineage. The Theory separates value operations from structural lifts and distinguishes result-frame evaluation, local member-contract certification, same-atom member closure, and new-atom synthesis. It separates the status of the broad framework from the status of its proved kernel: the companion Contract Calculus proves three nested finite fragments (G0–G2) covering deterministic evaluation, sufficient-state staging, boundary soundness, the existence of evaluable but non-closing plans, finite populations with eligibility, support, and coverage, and declared relation expansion with fan-out refusal. Version 3.1 integrates capability-resolved boundaries, canonical member identity with member equivalence and diagram commutation, bind consistency, projection coherence with transformer factorization, the contradicted-premise constraint, ask denotation by identity tuples, and compact-core corrections. The fragment chain of Appendix A is unchanged. Version 3.0 circulated only as an internal integration pass and was not separately published; Version 3.1 is the published revision of Version 1.0. The central distinction: producing a value is not the same as producing a member of an atom, and producing a member of one atom is not the same as synthesizing another atom.
Huayin Wang (Sun,) studied this question.