This appendix traces the argument's dependency structure. Its purpose is to show which claims are modal/structural results, which are downstream identifications defended by fit, and which are empirical or political applications. No claim should be treated as freestanding, but later chapters do not all follow with the same strength from the role-definitions of T, S, and Φ and the modal premises of Chapter 2.

Readers consulting this appendix should treat it as a verification index rather than a summary. The line from definitions to conclusions is given here in compressed form. Each entry includes the section in which the result is established, the *Inputs* it depends on (direct upstream sources only: sections, theorems, definitions, or premises from earlier in the argument from which the result derives), where applicable a *Developed at* line naming downstream sections that take the result up at greater depth (cross-references for readers tracing where a topic recurs, not further inputs to the proof), and *Used downstream* sections that take the result as input. The form of dependence is definitional, derivational, or load-bearing for downstream claims.

## §1: Groundwork

Chapter 1 fixes the vocabulary and role-structure the whole argument runs on: what *Reality* and *Change* name, the five modal statuses, Time, Space, and Substance, *Nature* as the whole they compose, and *Existence*. Chapter 2 then introduces the formal Condition register — Temporality, Spatiality, and Physicality, T/S/Φ — and establishes its modal force. The Chapter 1 definitions are the roots of the map, derived from nothing earlier in the argument.

**1.1 Reality** — Reality is what anything real belongs to, fixed as a *structural-role term*: its reference set by the role it names, not by any posit, and not the physical universe specifically. Three subsections read its structure from either side: [§1.1.1](<1.1.1 Reality Precludes.md>) (Reality precludes) fixes what the structure forecloses (the source of *impossibility*); [§1.1.2](<1.1.2 Reality Permits.md>) (Reality permits) fixes what it opens (the source of *possibility*); [§1.1.3](<1.1.3 Reality Grounds.md>) (Reality grounds) establishes that succession, distinction, and exchange are Reality's constitutive structure, not features it happens to have. Inputs: none (the argument's starting point). Used downstream: the modal statuses read off this structure ([§1.2](<1.2 Modal Status.md>)); the structural-role anchoring of *real possibility* ([§2.6](<2.6 Triconditionality of Nature.md>), [§2.6.12](<2.6.12 Necessity's Nature.md>)); the identity of Reality and Nature ([§3.4](<3.4 Reality and Nature Are One.md>)); the priority question, ◇ primitive ([§4.1.10](<4.1.10 The Source of Possibility.md>)).

**1.2 Modal Status** — Fixes the modal vocabulary the proof runs in and gathers it into one closed grammar. [§1.2.1](<1.2.1 Possibility.md>) (Possibility — ◇P): what could really be the case. [§1.2.2](<1.2.2 Impossibility.md>) (Impossibility — ¬◇P): the negation of possibility, adding no content beyond it. [§1.2.3](<1.2.3 Necessity.md>) (Necessity — □P): what could not really fail to be. [§1.2.4](<1.2.4 Contingency.md>) (Contingency — ◇P ∧ ◇¬P): what could be and could fail. [§1.2.5](<1.2.5 Actuality.md>) (Actuality): the realized member within the possible field. [§1.2.6](<1.2.6 Statuses Together.md>) (The statuses together) closes the grammar, states the contingency-within-necessity thesis, and fixes *de dicto* status-invariance and S5 iteration (defended downstream). Inputs: [§1.1](<1.1 Reality.md>) (Reality permits / precludes). Used downstream: the S5 derivation ([§2.1](<2.1 The S5 Pipeline.md>)); contingency-within-necessity ([§2.8.4](<2.8.4 Necessity Precedes Contingency.md>)); the S5-choice and Plantinga engagements ([§2.1.5](<2.1.5 The S5 Bottleneck.md>), [§2.1.9](<2.1.9 What Necessity Transfer Needs.md>), [§5.1.7](<5.1.7 Modal Ontological Argument.md>)); the quantifier-domain / Barcan commitment ([§4.4.6](<4.4.6 Necessitism.md>)); the formal apparatus (Appendix A).

**1.3 Change (C)** — *One state, then another*: the descriptive minimum, with no causation, persistence, or identity-through-time pre-loaded. Succession and distinction are read off the definition by analysis; **exchange** is the further requirement that separates a genuine change from a bare succession of unconnected states — named here, defended downstream. Change is Cartesian-certain *actuality*; from actuality, possibility follows. Inputs: [§1.1](<1.1 Reality.md>) (Reality). Developed at: [§2.2](<2.2 Cartesian Certainty.md>) (the bilateral performative witness, *Cogito Ergo Muto*); [§4.1.4](<4.1.4 Humean Contingency.md>) (the Humean reading of exchange). Used downstream: ◇C ([§2.2](<2.2 Cartesian Certainty.md>), Cartesian Certainty); the exchange requirement discharged at [§2.4](<2.4 Structural Requirement.md>); Stages 1–2 of the cut-proof convergence (§[§3.1](<3.1 Necessary Possibility of Change.md>)–3.3).

**1.4 Time, Space, and Substance** — Introduces the triad any genuine change requires. [§1.4.1](<1.4.1 Time.md>) (Time) establishes succession through asymmetry, transitivity, and directionality. [§1.4.2](<1.4.2 Space.md>) (Space) establishes distinction through extension, exclusivity, and traversability. [§1.4.3](<1.4.3 Substance.md>) (Substance) establishes exchange through distinctness, substantiality, and persistence. [§1.4.4](<1.4.4 Triconditional Structure.md>) (Triconditional Structure) gathers the three into one structure and names it **Nature**: what any genuine change requires. The definition is box-free: that this triad holds necessarily is withheld here and earned in Chapter 2. The formal Condition register — Temporality, Spatiality, and Physicality, T/S/Φ — is introduced when Chapter 2 asks whether the triad is necessary in every possible reality. Inputs: [§1.3](<1.3 Change.md>) (Change). Used downstream: the formal conjunction □(T∧S∧Φ) ([§2.4](<2.4 Structural Requirement.md>), [§2.5](<2.5 Triconditional Necessity.md>)); the role-implications ([§2.4.6](<2.4.6 Succession Requires Temporality.md>), [§2.4.7](<2.4.7 Distinction Requires Spatiality.md>), [§2.4.8](<2.4.8 Exchange Requires Physicality.md>)); the Necessity of Nature ([§2.8.5](<2.8.5 Necessity of Nature.md>)); the identity of Reality and Nature ([§3.4](<3.4 Reality and Nature Are One.md>)); the nature-alone thesis (Chapter 7); the philosophy-of-physics treatments ([§7.2](<7.2 Time.md>), [§7.3](<7.3 Space.md>), [§7.4](<7.4 Substance.md>)).

**1.5 Existence** — To exist is to stand within Time, Space, and Substance — not over against them. The section surveys the analytic operators the proof deploys (*obtains*, *holds*, *consists in*, *entails*, *supervenes*, *grounds*, *causes*, *bears*, *persists*) and shows that, when applied to real contents, each presupposes the same triad. Chapter 2 formalizes that claim through Temporality, Spatiality, and Physicality. Inputs: [§1.1](<1.1 Reality.md>) (Reality), [§1.4](<1.4 Three Conditions.md>) (Time, Space, Substance; Nature defined at [§1.4.4](<1.4.4 Triconditional Structure.md>)). Developed at: [§2.6](<2.6 Triconditionality of Nature.md>) (the operator survey pressed at load-bearing strength against rival total theories). Used downstream: the operator-scope argument ([§2.6](<2.6 Triconditionality of Nature.md>)); the cognitive line via the bilateral witness ([§2.2](<2.2 Cartesian Certainty.md>)).

## §2: The Argument

**2.1 The Modal Structure: Laying the S5 Pipeline** — Earns S5 rather than assuming it, and seats the opening premise — P1, Modal Bivalence — alongside Modal Constitution. [§2.1.1](<2.1.1 Modal Bivalence.md>) (Bivalence of Modal Status): ∀P: ◇P ∨ ¬◇P; every contentful claim bears exactly one of two modal statuses; the bilateral reading (both statuses load-bearing, not possibility alone) is fixed at [§2.1.2](<2.1.2 Bilateral Frame.md>) (The Bilateral Frame). Lemma 1 (*Bilateral Self-Sustenance of Modal Structure*), developed at [§2.1.3](<2.1.3 Modal Constitution.md>), secures that both poles are necessarily occupied (□∃P: ◇P ∧ □∃P: ¬◇P), so the structure is necessarily filled rather than empty. The S5 axioms (T, S4, B) are derived, not stipulated, at [§2.1.4](<2.1.4 Modal Stability.md>) (Modal Stability), with the second premise, Modal Constitution (that a claim's modal status is fixed by what Reality consists in and so holds the same in every world), seated upstream at [§2.1.3](<2.1.3 Modal Constitution.md>), and inescapability pressed independently at [§2.1.5](<2.1.5 The S5 Bottleneck.md>) (the S5 Bottleneck: Lemma 2, *Parasitic Negation*, with the *Negation Seal* result (R1)), [§2.1.6](<2.1.6 The Transition Closure.md>) (Transition Closure, R2), [§2.1.8](<2.1.8 Candidate-Ground Convergence.md>) (Candidate-Ground Convergence), and [§2.1.9](<2.1.9 What Necessity Transfer Needs.md>) (Plantinga Requires the Modal Structure); [§2.1.7](<2.1.7 Two Readings.md>) (The Two Readings of the Theorem) fixes Modal Invariance. The section's headline result, Necessary Possibility (Theorem 1: ◇P → □◇P, with bilateral companion ¬◇P → □¬◇P), is assembled line by line at [§2.1.10](<2.1.10 Necessary Possibility.md>) (Necessary Possibility). Inputs: [§1.4](<1.4 Three Conditions.md>) (role-definitions, incl. Nature at [§1.4.4](<1.4.4 Triconditional Structure.md>)), [§1.5](<1.5 Existence.md>) (analytic operators), [§1.1](<1.1 Reality.md>) (modal status); the identity between real and Reality. Used downstream: discharged by [§2.2](<2.2 Cartesian Certainty.md>); Modal Invariance ([§2.1.7](<2.1.7 Two Readings.md>)) feeds [§7.6](<7.6 Singularity.md>) (Cycle); the bilateral frame organizes the rest of the proof.

**2.2 Cartesian Certainty (P2)** — ◇C: change is possible, not merely possible but actual, instantiated in the act of reading. The witness is the *Cogito*'s structural shadow: any attempt to doubt that change occurs is itself a change, performed across a real interval by a persistent doubter. The full argument, that change is actual, certain empirically, performatively, and structurally (*Cogito Ergo Muto*), is given at [§2.2.1](<2.2.1 Change Is Actual.md>); the extension from the act of doubting to any ground that could host it is carried at [§2.2.2](<2.2.2 Actuality's Reach.md>) by level-invariance. Fed into the Necessary Possibility Theorem ([§2.1.10](<2.1.10 Necessary Possibility.md>)), ◇C carries to its necessitated form. Inputs: [§1.3](<1.3 Change.md>) (Change), [§2.1.1](<2.1.1 Modal Bivalence.md>) (Modal Bivalence), [§2.1.10](<2.1.10 Necessary Possibility.md>) (the theorem). Used downstream: the necessitation of ◇C at [§2.3](<2.3 Necessary Possibility of Change.md>); the positive witness reinforced against denial at [§2.8.2](<2.8.2 Nature Cannot Be Denied.md>).

**2.3 Necessary Possibility of Change** — Lemma 3 (*Necessary Possibility of Change*): □◇C; the possibility of change is itself necessary, open in every possible world. Stronger than the bare ◇C of [§2.2](<2.2 Cartesian Certainty.md>) and weaker than the full □(T∧S∧Φ) of [§2.5](<2.5 Triconditional Necessity.md>). Reached by feeding ◇C ([§2.2](<2.2 Cartesian Certainty.md>)) through the Necessary Possibility Theorem ([§2.1.10](<2.1.10 Necessary Possibility.md>)). Inputs: [§2.1.10](<2.1.10 Necessary Possibility.md>) (Theorem 1), [§2.2](<2.2 Cartesian Certainty.md>) (Cartesian Certainty). Used downstream: the minor premise of the modus ponens completed at [§2.5](<2.5 Triconditional Necessity.md>); the modal-cluster convergence lines of Chapter 3 (§[§3.1](<3.1 Necessary Possibility of Change.md>), 3.3).

**2.4 The Structural Requirement (P3)** — □(◇C → T∧S∧Φ): at every possible world, if change is possible there, then Temporality, Spatiality, and Physicality are instantiated there, the modal constraint on change identified with the three Conditions of [§1.4](<1.4 Three Conditions.md>). The necessity is derivative (a constitutive requirement, not an imported axiom), reached from four independent directions: Line 1 (Modal), Line 2 (Conceptual/Essence), Line 3 (Grounding), Line 4 (Facthood). The three role-implications are derived individually — [§2.4.6](<2.4.6 Succession Requires Temporality.md>) (succession requires Temporality), [§2.4.7](<2.4.7 Distinction Requires Spatiality.md>) (distinction requires Spatiality), [§2.4.8](<2.4.8 Exchange Requires Physicality.md>) (exchange requires Physicality) — with Lines 3/4 reaching the Conditions with no change premise at §[§2.4.3](<2.4.3 Demand Instantiation.md>)–2.4.4, and the sufficiency/converse tests at [§2.4.10](<2.4.10 Sufficiency of Structure.md>) (Sufficiency of Structure) with its frozen-world ([§2.4.11](<2.4.11 The Frozen-World Test.md>)) and masking ([§2.4.12](<2.4.12 The Masking Test.md>)) closures; the full converse T∧S∧Φ → ◇C is reserved to [§2.6](<2.6 Triconditionality of Nature.md>). Inputs: [§2.3](<2.3 Necessary Possibility of Change.md>) (□◇C), [§1.4](<1.4 Three Conditions.md>) (T/S/Φ Conditions), [§2.2](<2.2 Cartesian Certainty.md>) (the forward conditional from the Cartesian certainty of change). Used downstream: discharged against [§2.3](<2.3 Necessary Possibility of Change.md>) to yield the unconditional necessity at [§2.5](<2.5 Triconditional Necessity.md>); the moral-predicate derivations at [§6.9.1](<6.9.1 Benevolence.md>)–[§6.9.2](<6.9.2 Righteousness.md>) (acting requires the structural conditions of action).

**2.5 Triconditional Necessity** — □(T∧S∧Φ): the three Conditions are necessarily co-instantiated in every possible world, the unconditional necessity of the structural constraint. Reached by modus ponens: □◇C ([§2.3](<2.3 Necessary Possibility of Change.md>)) together with □(◇C → T∧S∧Φ) ([§2.4](<2.4 Structural Requirement.md>)) yields □(T∧S∧Φ); this is the chapter's load-bearing conclusion. The joint result unpacks into three per-Condition necessities (the Necessity of Temporality □T, of Spatiality □S, and of Physicality □Φ), collected as the Necessity of Each Condition result (R3); each is also secured directly by the Parasitic Negation reductios at §[§2.4.6](<2.4.6 Succession Requires Temporality.md>)–2.4.8. Inputs: [§2.3](<2.3 Necessary Possibility of Change.md>) (Necessary Possibility of Change) and [§2.4](<2.4 Structural Requirement.md>) (Structural Requirement) under modus ponens; [§1.4.4](<1.4.4 Triconditional Structure.md>) (Nature). Used downstream: the three-Triconditional identity at [§2.6](<2.6 Triconditionality of Nature.md>); the formal declaration of the Necessity of Nature at [§2.8.5](<2.8.5 Necessity of Nature.md>); the foundation of §§3–9. (The live chapter identifies the constraint at [§2.4](<2.4 Structural Requirement.md>) before necessitating it at [§2.5](<2.5 Triconditional Necessity.md>).)

**2.6 Triconditionality of Nature** — Establishes that T, S, Φ form one structural fact, read along three axes. [§2.6.5](<2.6.5 Mutual Containment.md>) (*Mutual Containment*) establishes the Mutual Containment Result (R4). [§2.6.6](<2.6.6 Modal Identity.md>) (the Modal Identity, Theorem 2) strengthens the forward conditional of [§2.4](<2.4 Structural Requirement.md>) into biconditional closure (◇C ↔ T∧S∧Φ). [§2.6.7](<2.6.7 Triconditional Cross-Entailment.md>) (the Triconditional Cross-Entailment, Theorem 3) states the symmetric triconditional T ↔ (S∧Φ), S ↔ (T∧Φ), Φ ↔ (T∧S). [§2.6.8](<2.6.8 Ontological Identity.md>) (the Ontological Identity, Theorem 4) identifies being in Nature with the triad (Physical). [§2.6.9](<2.6.9 Triunity of Nature.md>) (Triunity of Nature) develops the three-Triconditional view. [§2.6.10](<2.6.10 Triconditional Identity.md>) (the Triconditional Identity, Theorem 5) consolidates the three readings into one Nature. §[§2.6.11](<2.6.11 No Fourth Condition.md>)–2.6.12 establish condition-individuation and the nature of necessity. Inputs: [§1.4](<1.4 Three Conditions.md>), [§2.4](<2.4 Structural Requirement.md>), [§2.5](<2.5 Triconditional Necessity.md>). Used downstream: the Necessity-of-Nature declaration ([§2.8.5](<2.8.5 Necessity of Nature.md>)); Bilateral Symmetry ([§6.1](<6.1 Greatness.md>)); every Triconditional cross-reference in Chapters 6–8.

**2.7 Nothing to Consider: Preclusion of ∅** — Forecloses the contrast class that would make "why something rather than nothing" intelligible. [§2.7.1](<2.7.1 Null State (∅).md>) (*∅*) specifies the Null State. [§2.7.2](<2.7.2 Incoherence of ∅.md>) (Incoherence of ∅) runs the candidate alternatives and shows each collapses; the remaining subsections engage the PSR demand and mark the boundary of what the dissolution proves. Inputs: [§2.1](<2.1 The S5 Pipeline.md>), definition of ∅ (Glossary, Null State). Used downstream: Exclusivity of Nature (Theorem 7, [§2.8.6](<2.8.6 Exclusivity of Nature.md>)); Cycle ([§7.6](<7.6 Singularity.md>)); foreclosure of fine-tuning ([§7.7](<7.7 Cosmic History.md>)); Three-Horn Dilemma ([§6.10](<6.10 No Exit.md>)).

**2.8 The Whole Line** — Derives and consolidates the chapter's headline result. [§2.8.1](<2.8.1 Laws as Constitutive.md>) (Why the Laws Are Constitutive) establishes the structural rather than descriptive status of the necessity. [§2.8.2](<2.8.2 Nature Cannot Be Denied.md>) (Nature Cannot Be Denied) secures Cartesian Certainty's positive witness against denial. [§2.8.3](<2.8.3 Not Physicalism.md>) (Not Physicalism) distinguishes the thesis from physicalism. [§2.8.4](<2.8.4 Necessity Precedes Contingency.md>) (Necessity Precedes Contingency) establishes the priority relation. [§2.8.5](<2.8.5 Necessity of Nature.md>) (Necessity of Nature) declares Theorem 6 (*The Necessity of Nature*) formally, □(T∧S∧Φ). [§2.8.6](<2.8.6 Exclusivity of Nature.md>) (Exclusivity of Nature) declares Theorem 7 (*Exclusivity of Nature*) and develops the Necessary Occupancy Result (R8). Inputs: the premises and lemmas of §[§2.1](<2.1 The S5 Pipeline.md>)–2.5, [§2.6](<2.6 Triconditionality of Nature.md>) (the three readings), [§2.7](<2.7 Nothing to Consider.md>) (Preclusion of ∅). Used downstream: foundation of every claim in §§3–9.

**2.9 Precedents Converge on the Account** — Locates the structural result within the historical metaphysical tradition: each major precedent (Spinoza, Hegel, Aristotle, Whitehead, Heidegger, others as engaged in §5 and [§4.4](<4.4 Modal Variants and Extensions.md>)) was reaching for what the structural argument secures formally. Inputs: [§2.8.5](<2.8.5 Necessity of Nature.md>), §5 and [§4.4](<4.4 Modal Variants and Extensions.md>). Used downstream: framing of Chapter 3's convergence lines and Chapter 6's inversion.

**2.10 Three Logical Strata** — Develops the lemma that the structural argument generates three formally distinct logics: [§2.10.1](<2.10.1 Three Distinct Logics.md>) (Three Formally Distinct Logics), [§2.10.2](<2.10.2 The Stratified Architecture.md>) (The Stratified Architecture), [§2.10.3](<2.10.3 The Metalogical Position.md>) (The Metalogical Position). This is also the site that addresses whether □ itself is primitive or derived from structural incapacity. Inputs: [§2.6](<2.6 Triconditionality of Nature.md>) (the three readings), [§2.8.5](<2.8.5 Necessity of Nature.md>). Used downstream: methodological convergence ([§7.1](<7.1 Convergence of Method.md>)); the metalogical framing of Chapter 4.

## §3: The Convergence

Chapter 3 shows the canonical spine of Chapters 1–2 is overdetermined: re-earned by structurally distinct, separately cuttable lines that draw principally on the Chapter-1 definitions of Change ([§1.3](<1.3 Change.md>)) and the Conditions ([§1.4](<1.4 Three Conditions.md>)), with no S5 and no Chapter-2 result as a load-bearing premise. Two Stage-2 floor-Moves ([§3.2.4](<3. Convergence.md>), [§3.2.5](<3. Convergence.md>)) land on those materials but carry a limb they cannot close there (the anti-Humean exchange limb, defended downstream at [§2.4.8](<2.4.8 Exchange Requires Physicality.md>) / [§4.1.4](<4.1.4 Humean Contingency.md>), and exhaustiveness, deferred to [§2.4](<2.4 Structural Requirement.md>)) downstream in their own hand. Three stages are re-established independently: □◇C ([§3.1](<3.1 Necessary Possibility of Change.md>)), □(T∧S∧Φ) ([§3.2](<3.2 Triconditional Necessity Positive Account.md>)–[§3.3](<3.3 Triconditional Necessity Negative Account.md>)), and R = N ([§3.4](<3.4 Reality and Nature Are One.md>)); [§3.5](<3.5 What the Convergence Shows.md>) counts the convergence whole and turns it into the inversion that opens Chapter 6. Independence here is not premise-disjointness but distinct argument-shape plus separate cuttability: no single failure takes the spine down.

**3.1 Change Is Necessarily Possible: Stage 1** — Re-earns □◇C without S5, from the [§1.3](<1.3 Change.md>) definition of Change alone, by three distinct argument-shapes: the changeless-ground dilemma ([§3.1.1](<3.1.1 The Changeless-Ground Dilemma.md>), A Changeless Ground Refutes Itself), the cross-world invariance argument on the capacity for change ([§3.1.2](<3. Convergence.md>), The Capacity for Change Cannot Switch On), and the performative witness at every thinking world ([§3.1.3](<3. Convergence.md>), Denying Change Enacts It). None cites S5, the Modal Structure ([§2.1](<2.1 The S5 Pipeline.md>)), or Cartesian Certainty toward S5; the node is overdetermined but unevenly: [§3.1.2](<3. Convergence.md>) carries the silent, ungrounded, no-capacity worlds the other two do not reach, so it is the one line the stage cannot spare. Inputs: [§1.3](<1.3 Change.md>) (Change). Used downstream: [§3.2](<3.2 Triconditional Necessity Positive Account.md>)–[§3.3](<3.3 Triconditional Necessity Negative Account.md>) (the climb the rung makes optional); [§3.5.1](<3. Convergence.md>).

**3.2 The Three Conditions Are Necessary: Stage 2** — Builds □(T∧S∧Φ) from minimal materials, each Move landing the node on its own and drawing principally on [§1.3](<1.3 Change.md>) and [§1.4](<1.4 Three Conditions.md>). Construction Moves: [§3.2.1](<3. Convergence.md>) (From facthood: *something is the case*, which also re-establishes ¬◇∅ from Chapter-1 materials), [§3.2.2](<3. Convergence.md>) (From determinacy), [§3.2.3](<3. Convergence.md>) (Structured Content). Structural-floor Moves: [§3.2.4](<3. Convergence.md>) (From bare simples, whose anti-Humean exchange limb lands here but is given its full defense downstream at [§2.4.8](<2.4.8 Exchange Requires Physicality.md>) / [§4.1.4](<4.1.4 Humean Contingency.md>)) and [§3.2.5](<3. Convergence.md>) (The Modal-Vocabulary Line, which defers its exhaustiveness step to [§2.4](<2.4 Structural Requirement.md>)). The null-state backstop is [§3.2.6](<3. Convergence.md>) (The Null-State Reductio), the floor every Move falls back to, established from below rather than borrowed from Chapter 2's reductio. Inputs: [§1.3](<1.3 Change.md>) (Change), [§1.4](<1.4 Three Conditions.md>) (T/S/Φ Conditions). Used downstream: [§3.4](<3.4 Reality and Nature Are One.md>); [§3.5.1](<3. Convergence.md>). (For contrast, the spine's own climb lifts □◇C through [§1.4](<1.4 Three Conditions.md>) under the S5 frame; that modal lift belongs to Chapter 2, and these Moves make it optional.)

**3.3 Denial Re-Enacts the Conditions: Stage 2** — Reaches the same □(T∧S∧Φ) from the opposite direction: every attempt to remove the Conditions re-enacts them. [§3.3.1](<3. Convergence.md>) (The Self-Refutation): a denial is itself a propositional act; [§3.3.2](<3. Convergence.md>) (The Negation Trap): negating them one at a time executes them; [§3.3.3](<3. Convergence.md>) (Against Fictionalism): telling the fiction still builds on them; [§3.3.4](<3. Convergence.md>) (The Conceivability Trap): conceiving their absence instantiates them, and is the keystone closing the act/object escape for ∅; [§3.3.5](<3. Convergence.md>) (From impossibility): even what cannot be still wears the Triconditions. [§3.3.6](<3. Convergence.md>) (Uneven Overdetermination) locates where the overdetermination actually lives across the three limbs. Each Move closes its last escape on the shared ∅-floor ([§3.2.1](<3. Convergence.md>), [§3.2.6](<3. Convergence.md>)), never on the Chapter-2 reductio. Inputs: [§1.3](<1.3 Change.md>), [§1.4](<1.4 Three Conditions.md>), [§3.2](<3.2 Triconditional Necessity Positive Account.md>) (the shared ∅-floor). Used downstream: [§3.4](<3.4 Reality and Nature Are One.md>); [§3.5.1](<3. Convergence.md>).

**3.4 Reality Is Nature: Stage 3** — Closes the book's central identity, □(R = N), borne by a single named line: [§3.4.1](<3. Convergence.md>) (No Outside: maximality) bears it, with [§3.4.2](<3. Convergence.md>) (One Role, One Filler: constitution) and [§3.4.3](<3. Convergence.md>) (No Residue: exhaustion) reinforcing rather than standing wholly independent, and [§3.4.4](<3. Convergence.md>) (Nothing Additional: redundancy) doing its full work downstream in Chapter 7. The contested change-side biconditional is quarantined as a downstream seal at [§3.4.5](<3. Convergence.md>) (Downstream of the Seal), off the critical path. The critical path uses only the Stage-2 result and the [§1.1](<1.1 Reality.md>) definition of Reality — no modal axiom anywhere on it. Inputs: [§3.2](<3.2 Triconditional Necessity Positive Account.md>)–[§3.3](<3.3 Triconditional Necessity Negative Account.md>) (□(T∧S∧Φ)), [§1.1](<1.1 Reality.md>) (Reality). Used downstream: [§3.5](<3.5 What the Convergence Shows.md>); the inversion of Chapter 6; the redundancy weld developed in Chapter 7.

**3.5 What the Convergence Shows** — Steps back to count the convergence whole and name what it shows. [§3.5.1](<3. Convergence.md>) (Overdetermining the Spine) tallies the stages. [§3.5.2](<3. Convergence.md>) (Robustness) says what reaching one conclusion by many separately-cuttable lines buys. [§3.5.3](<3. Convergence.md>) (The Open Seam (□S)) names (and at the type layer now closes) the type-layer seams the climb first earned only at the level of role (□S on the [§2.6.2](<2.6.2 Succession's Two Conditions.md>) cross-entailment, □Φ on the [§2.6.4](<2.6.4 Persistence's Two Conditions.md>) one, both riding □◇C). [§3.5.4](<3. Convergence.md>) (S5 Lives Upstream) locates the S5 arguments that do their work in Chapter 2. [§3.5.5](<3. Convergence.md>) (The S5 Bottleneck Reductio) spends the [§2.1.5](<2.1.5 The S5 Bottleneck.md>) bottleneck as a closing candidate-elimination sweep, establishing Lemma 8 (*No Rival Ground*): any candidate necessary ground is functionally equivalent to, incommensurable with, or a redundant surplus upon T ∧ S ∧ Φ, so □(T ∧ S ∧ Φ) read from above. Inputs: §[§3.1](<3.1 Necessary Possibility of Change.md>)–3.4. Used downstream: [§6.10](<6.10 No Exit.md>); framing of Chapter 6's inversion.

## §4: Metaphysical Rivals

The chapter engages the strongest objections to the proof and to the structural reading. The principle is relocation, not refutation: every rival vocabulary redescribes structure without eliminating it. None of the results of §4 are inputs to Chapters 6–9, but each closes a class of objection that would otherwise reopen the proof.

**4.1 Modal & Semantic Foundations** — Closes deflationary and skeptical programs targeting the modal vocabulary the proof uses. Eleven subsections engage rigid designation, two-dimensionalism, the PSR demand, Humean contingency, the information-theoretic challenge, Quine's modal skepticism, modal conventionalism, metaontological deflationism, Wittgensteinian quietism, the source of possibility, and Pizzi's impossibility of nothingness. Inputs: [§1.1](<1.1 Reality.md>) (Modal Status), [§2.1.1](<2.1.1 Modal Bivalence.md>) (Modal Bivalence), [§2.5](<2.5 Triconditional Necessity.md>) (Triconditional Necessity). Used downstream: [§4.5](<4.5 What the Rivals Carried.md>).

**4.2 Time, Change, and the Changeless** — Closes objections targeting Change and Time directly. Nine subsections engage the Changeless Ground, Shoemaker's frozen-time scenario, emergent time, Platonism, McTaggart's unreality, B-theory, temporary intrinsics, momentariness/stage theory, and existential inertia. Inputs: [§1.3](<1.3 Change.md>) (Change), [§2.1](<2.1 The S5 Pipeline.md>) (Necessary Possibility), §[§2.4.11](<2.4.11 The Frozen-World Test.md>)–2.4.12 (frozen-world / masking). Used downstream: [§4.5](<4.5 What the Rivals Carried.md>), [§6.3.2](<6.3.2 Eternity.md>) (Eternity).

**4.3 Physics and Mind** — Engages alternative metaphysical programs from the philosophy of physics and philosophy of mind. Twelve subsections cover the hard problem of consciousness, eliminativism and illusionism, Russellian monism, cosmopsychism, idealism, the unreasonable effectiveness of mathematics, the mathematical universe hypothesis, non-locality and branching and the particle concept, structural realism, bundle and trope theory, mereological nihilism, and haecceitism. Inputs: [§2.6](<2.6 Triconditionality of Nature.md>), [§3.2.4](<3. Convergence.md>), [§3.2.3](<3. Convergence.md>). Used downstream: [§4.5](<4.5 What the Rivals Carried.md>), [§7.8](<7.8 Life.md>) (Life), Chapter 8.

**4.4 Modal Variants and Extensions** — Engages alternative modal frameworks at strength. Ten subsections engage Lewis's modal realism, linguistic ersatzism, combinatorialism, modal fictionalism, modal expressivism, Williamson's necessitism, Sider's structuralism, the Whiteheadian process alternative, the modal-collapse objection, and Gasking's parody. Inputs: [§2.1.1](<2.1.1 Modal Bivalence.md>) (Modal Bivalence), [§2.1.5](<2.1.5 The S5 Bottleneck.md>) (S5-bracketing), [§3.3.3](<3. Convergence.md>). Used downstream: [§4.5](<4.5 What the Rivals Carried.md>).

**4.5 What the Rivals Carried** — Honest accounting of what survives each engagement. The pattern across §[§4.1](<4.1 Modal and Semantic Foundations.md>)–4.4 and §5: every rival vocabulary relocates structure without eliminating it. Inputs: §[§4.1](<4.1 Modal and Semantic Foundations.md>)–4.4 and §5. Used downstream: framing of Chapter 6.

## §5: Rival Ultimates

Engages the rival candidate ultimates — classical-theistic and non-classical alike — at full strength, deferring the structural inversion to Chapter 6. Four sections organize the engagement: [§5.1](<5.1 Theistic Arguments for a Divine Ground.md>) (Theistic Arguments for a Divine Ground) presses the theistic case (Rasmussen's foundation argument, the cosmological and simultaneous-causation arguments, the arguments from simplicity and fine-tuning, intelligent design, the modal-ontological and modal-grounding arguments, and the transcendental, moral, and wager arguments); [§5.2](<5.2 Doctrines of the Divine Nature.md>) (Doctrines of the Divine Nature) takes up divine simplicity and the via negativa; [§5.3](<5.3 Non-Classical Ultimates.md>) (Non-Classical Ultimates) engages Spinozist pantheism, Neoplatonism, process theology, and Madhyamaka emptiness; and [§5.4](<5.4 What the Rival Ultimates Carried.md>) (What the Rival Ultimates Carried) accounts for what survives each engagement. Inputs: [§2.6](<2.6 Triconditionality of Nature.md>) (the three readings), [§2.7](<2.7 Nothing to Consider.md>) (Preclusion of ∅). Used downstream: [§4.5](<4.5 What the Rivals Carried.md>), framing of Chapter 6.

## §6: Relocating Greatness

The classical theistic attributes are taken one at a time; each is shown to require the structural Conditions it was defined by denying. The chapter runs from [§6.1](<6.1 Greatness.md>) (Supernatural Preclusion, Theorem 8) through twenty-three attribute transfers grouped into seven clusters plus Life ([§6.6](<6.6 Life.md>)), and closes with the Trilemma at [§6.10](<6.10 No Exit.md>). The transfers sort by which of two master results carries them: the *simplicity/differentiation dilemma* ([§6.2.1](<6.2.1 Simplicity.md>)) closes the static attributes (constitution, aseity and modal standing, cognition, intrinsic value), and the *directed-crossing analysis* ([§5.3.3](<5.3.3 Process Theology.md>)) closes the active attributes (agency, reach and contact, moral act). Life stands between the two, and impassibility, static in type, does its work on the active arm.

**6.1 Greatness (Supernatural Preclusion, Theorem 8)** — The classical package of atemporality, aspatiality, immateriality, simplicity, and pure actuality creates a pressure when it retains determinate cognition, agency, causality, or relation. Retaining those predicates incurs role-level conditions; withdrawing all differentiating content creates an ∅-like specification problem. The analysis does not make every classical or apophatic God-concept definitionally identical with ∅. Inputs: [§2.6.7](<2.6.7 Triconditional Cross-Entailment.md>), classical attribute definitions (Glossary). Used downstream: every section in §6; [§6.10](<6.10 No Exit.md>).

**6.2 Constitution** — Groups the constitutive attributes — simplicity ([§6.2.1](<6.2.1 Simplicity.md>)), unity ([§6.2.2](<6.2.2 Unity.md>)), infinity ([§6.2.3](<6.2.3 Infinity.md>)), perfection ([§6.2.4](<6.2.4 Perfection.md>)) — the static predicates fixing what the divine being is held to be in itself, each closed by the simplicity/differentiation dilemma seated at [§6.2.1](<6.2.1 Simplicity.md>). Inputs: [§6.1](<6.1 Greatness.md>). Used downstream: §[§6.3](<6.3 Aseity and Modal Standing.md>)–6.9, [§6.10](<6.10 No Exit.md>).

**6.2.1 Simplicity** — The classical doctrine of divine simplicity, that God is identical with the divine essence, collapses under the Supernatural Preclusion; the resulting simplicity/differentiation dilemma is the chapter's hinge, releasing the attributes to be taken one at a time. Inputs: [§6.1](<6.1 Greatness.md>), [§2.6.6](<2.6.6 Modal Identity.md>) (Modal Identity), [§3.2](<3.2 Triconditional Necessity Positive Account.md>) (Way–Possibility Convertibility). Used downstream: [§6.3.1](<6.3.1 Necessity.md>) (Necessity), [§6.2.2](<6.2.2 Unity.md>) (Unity).

**6.2.2 Unity** — Unity names the structural fact that the modal structure is necessarily one: that there is exactly one structure of conditions within which any possible occupancy and exchange happens, because *two structures* requires a meta-structure that is the genuine one. The Triconditionality of Nature is unique by the structure that makes it the necessary condition of any possible world: any candidate alternative either shares T, S, Φ and is therefore the same Nature, or fails to share them and is therefore not a Nature at all. Inputs: [§6.1](<6.1 Greatness.md>), [§6.2.1](<6.2.1 Simplicity.md>) (Simplicity), [§2.6.10](<2.6.10 Triconditional Identity.md>) (Triconditional Identity). Used downstream: [§6.2.4](<6.2.4 Perfection.md>) (Perfection), [§6.10](<6.10 No Exit.md>).

**6.2.3 Infinity** — Infinity must run *along* a dimension; stripped of magnitude, number, and degree, the relocation to unlimited *esse* forks (via the *ipsum esse* → ∅ result of [§6.2.1](<6.2.1 Simplicity.md>)) into a scale or the Null State, so what is bounded by nothing outside is the structural conditions themselves. Inputs: [§6.1](<6.1 Greatness.md>), [§6.2.1](<6.2.1 Simplicity.md>) (Simplicity), [§2.7](<2.7 Nothing to Consider.md>) (Preclusion of ∅), [§5.3](<5.3 Non-Classical Ultimates.md>) (the actual infinite). Used downstream: [§6.10](<6.10 No Exit.md>).

**6.2.4 Perfection** — Perfection names the structural feature of necessity: what cannot fail to be what it is. Nature is *perfectus* in the etymological sense (*thoroughly made*, *completed*), not by a maker's act on a making but by the modal-structure fact that the conditions of any possible world are the conditions of any possible world. The standard-of-perfection horn and the perfect-creator horn dissolve at the level of Nature: there is no separation of standard and bearer, and the *analogia entis* is a vertical reach within a single structure rather than a relation between two beings of different kinds. The perfect-being engine produces the structural inversions of §[§6.2.1](<6.2.1 Simplicity.md>)–6.9.2 faithfully: each great-making property the engine selects points at a structural feature the engine then attributes to a bearer defined as lacking it. Inputs: [§6.1](<6.1 Greatness.md>) and the attribute transfers §[§6.2.1](<6.2.1 Simplicity.md>)–6.9.2, [§2.6.10](<2.6.10 Triconditional Identity.md>) (Triconditional Identity). Used downstream: [§6.10](<6.10 No Exit.md>).

**6.3 Aseity & Modal Standing** — Groups the modal-standing attributes — necessity ([§6.3.1](<6.3.1 Necessity.md>)), eternity ([§6.3.2](<6.3.2 Eternity.md>)), immutability ([§6.3.3](<6.3.3 Immutability.md>)), impassibility ([§6.3.4](<6.3.4 Impassibility.md>)) — the predicates fixing the divine being's mode of holding; each closed by the simplicity/differentiation dilemma ([§6.2.1](<6.2.1 Simplicity.md>)), with impassibility crossing to the active arm. Inputs: [§6.1](<6.1 Greatness.md>). Used downstream: §[§6.4](<6.4 Cognition.md>)–6.9, [§6.10](<6.10 No Exit.md>).

**6.3.1 Necessity** — The classical God's necessity is the necessity of ∅, not necessity at all. Inputs: [§6.1](<6.1 Greatness.md>), [§2.6.10](<2.6.10 Triconditional Identity.md>) (Triconditional Identity). Used downstream: [§6.3.2](<6.3.2 Eternity.md>) (Eternity), [§6.10](<6.10 No Exit.md>).

**6.3.2 Eternity** — Boethian *tota simul* eternity reinstates the temporal coordination it was meant to negate: either the simultaneity is structural (T reinstated) or it is not (incoherent). Inputs: [§6.1](<6.1 Greatness.md>), [§4.2](<4.2 Time, Change, and the Changeless.md>). Developed at: [§7.2](<7.2 Time.md>) (Time). Used downstream: [§6.3.3](<6.3.3 Immutability.md>) (Immutability), [§6.8.1](<6.8.1 Presence.md>) (Presence).

**6.3.3 Immutability** — Immutability names the structural status of the modal structure: *does not change*, in the only sense that survives the doctrine's pressures, names the necessity of the conditions of any motion. The classical doctrine attaches the predicate to a being lacking all potency to change; the structural reading attaches it to □(T∧S∧Φ), the structure within which directed transitions of substances happen, and assigns the action-language the believer's life rests on (creation, providence, response, incarnation) to Nature in its operational aspect. Inputs: [§6.1](<6.1 Greatness.md>), [§6.3.2](<6.3.2 Eternity.md>) (Temporality), [§2.6.5](<2.6.5 Mutual Containment.md>) (directed transition). Used downstream: [§6.3.4](<6.3.4 Impassibility.md>) (Impassibility), [§6.10](<6.10 No Exit.md>).

**6.3.4 Impassibility** — Impassibility names the structural status of Φ: the substance/persistence condition as the carrier of events. *Not acted upon*, in the only sense that survives the doctrine's pressures, names the structural feature of being-the-carrier-of-events, which is the condition of any reception at all. The believer's God receives prayer, loves creatures, and suffers on the Cross because the carrier of those events is the substance within the necessary frame, and Nature is what is operating as that substance. Inputs: [§6.1](<6.1 Greatness.md>), [§6.3.3](<6.3.3 Immutability.md>) (Immutability), [§2.6.6](<2.6.6 Modal Identity.md>) (Modal Identity). Used downstream: [§6.8.2](<6.8.2 Relatability.md>) (Relatability), [§6.10](<6.10 No Exit.md>).

**6.4 Cognition** — Groups the cognitive attributes — awareness ([§6.4.1](<6.4.1 Awareness.md>)), knowledge ([§6.4.2](<6.4.2 Knowledge.md>)) — closed by the simplicity/differentiation dilemma ([§6.2.1](<6.2.1 Simplicity.md>)): cognition requires an inside, and the conditions for an inside live in Nature. Inputs: [§6.1](<6.1 Greatness.md>). Used downstream: §[§6.5](<6.5 Intrinsic Value.md>)–6.9, [§6.10](<6.10 No Exit.md>).

**6.4.1 Awareness** — Awareness requires temporal flow and structural distinction; an aware being lacking T, S, Φ has nothing to be aware of. Inputs: [§6.1](<6.1 Greatness.md>). Developed at: [§7.8](<7.8 Life.md>) (Life), [§8.2](<8.2 Feeling.md>) (Feeling). Used downstream: [§6.4.2](<6.4.2 Knowledge.md>) (Knowledge).

**6.4.2 Knowledge** — Omniscience either presupposes T (foreknowledge requires temporal coordination) or is non-temporal apprehension (no purchase on temporal facts). Inputs: [§6.1](<6.1 Greatness.md>), [§6.4.1](<6.4.1 Awareness.md>) (Awareness). Used downstream: [§6.7.1](<6.7.1 Power.md>) (Power).

**6.5 Intrinsic Value** — Groups the value attributes — holiness ([§6.5.1](<6.5.1 Holiness.md>)), beatitude ([§6.5.2](<6.5.2 Beatitude.md>)) — closed by the simplicity/differentiation dilemma ([§6.2.1](<6.2.1 Simplicity.md>)). Inputs: [§6.1](<6.1 Greatness.md>). Used downstream: §[§6.6](<6.6 Life.md>)–6.9, [§6.10](<6.10 No Exit.md>).

**6.5.1 Holiness** — Holiness (being set apart, the wholly-other) is a contrastive structural fact: to be set apart is to be marked off *from* a field of other relata (S), across an act of consecration that holds the marking (T, Φ). The classical doctrine raises set-apartness to absolute otherness while denying the divine being any field to be set apart within; read against the structure that hosts it, *holy* names the contrastive distinctness Nature sustains, and the structural result is *Divine Indistinction*: absolute otherness with no field to differ within collapses into no-difference. Inputs: [§6.1](<6.1 Greatness.md>), [§6.2.1](<6.2.1 Simplicity.md>) (Simplicity). Used downstream: [§6.2.2](<6.2.2 Unity.md>) (Unity), [§6.2.4](<6.2.4 Perfection.md>) (Perfection), [§6.10](<6.10 No Exit.md>).

**6.5.2 Beatitude** — Blessedness is the satisfaction of a being that could have wanted; the satisfaction-trilemma (universal love, complete blessedness, invariance) does not compose, and *blessed* (*autarkēs*) names the self-sufficiency of the structure with no outside to lack or want. Inputs: [§6.1](<6.1 Greatness.md>), [§6.3.1](<6.3.1 Necessity.md>) (Necessity/aseity), [§6.3.3](<6.3.3 Immutability.md>) (Immutability), [§6.3.4](<6.3.4 Impassibility.md>) (Impassibility), [§6.2.4](<6.2.4 Perfection.md>) (Perfection). Used downstream: [§6.10](<6.10 No Exit.md>), [§8.1](<8.1 Drive.md>) (Drive).

**6.6 Life** — The classical *living God* requires the self-movement (immanent operation, contemplation, responsiveness) that immutability, pure act, and simplicity deny; *living*, in the only surviving sense, is a carrier (Φ) in directed transition (T) among differentiated states (S), which is Nature in act. Life stands between the static and active arms — billed as a constitutive perfection but inverting as the self-activity of Substance in time. Inputs: [§6.1](<6.1 Greatness.md>), [§6.2.1](<6.2.1 Simplicity.md>) (Simplicity), [§5.2](<5.2 Doctrines of the Divine Nature.md>) (analogical predication), [§5.3.3](<5.3.3 Process Theology.md>) (directed crossing). Used downstream: [§6.10](<6.10 No Exit.md>).

**6.7 Agency** — Groups the active attributes of agency — power ([§6.7.1](<6.7.1 Power.md>)), causality ([§6.7.2](<6.7.2 Causality.md>)), interaction ([§6.7.3](<6.7.3 Interaction.md>)), sovereignty ([§6.7.4](<6.7.4 Sovereignty.md>)) — closed by the directed-crossing analysis ([§5.3.3](<5.3.3 Process Theology.md>)): to act is to cross from a source to a term across S, along T, borne by Φ. Inputs: [§6.1](<6.1 Greatness.md>). Used downstream: §[§6.8](<6.8 Reach and Contact.md>)–6.9, [§6.10](<6.10 No Exit.md>).

**6.7.1 Power** — Omnipotence either operates within the structural medium (Φ reinstated) or operates outside it (nothing to operate on). Inputs: [§6.1](<6.1 Greatness.md>). Developed at: [§7.4](<7.4 Substance.md>) (Substance). Used downstream: [§6.7.2](<6.7.2 Causality.md>) (Causality).

**6.7.2 Causality** — Divine causal action requires temporal succession of intentional states, presupposing T; without T, S, Φ there is no medium of transmission to license causation. Inputs: [§6.1](<6.1 Greatness.md>), [§6.7.1](<6.7.1 Power.md>) (Power). Developed at: [§7.7](<7.7 Cosmic History.md>) (Cosmic History; type/token). Used downstream: [§6.7.3](<6.7.3 Interaction.md>) (Interaction).

**6.7.3 Interaction** — The doctrine of divine interaction requires sequence, bilateral responsiveness, persistent relata, affective tracking, mind-change, physical contact, contingent efficacy, and incarnational unity-of-subject — every feature the classical package (timelessness, immutability, impassibility, simplicity) denies of the divine side and relocates to the creature. *Inter*, mutual driving, cannot be borne by a side that cannot itself be moved; the structural result is *Divine Inertness*, and the interactive structure of reality is what Nature bears in property mode. Inputs: [§6.1](<6.1 Greatness.md>), [§6.3.3](<6.3.3 Immutability.md>) (Immutability), [§6.3.4](<6.3.4 Impassibility.md>) (Impassibility). Developed at: [§8.3](<8.3 Knowledge.md>) (Theorem 9, *Modal Convergence*). Used downstream: [§6.7.4](<6.7.4 Sovereignty.md>) (Sovereignty), [§6.10](<6.10 No Exit.md>).

**6.7.4 Sovereignty** — Sovereignty over Nature requires either being part of Nature (forfeit aseity) or being external to Nature (forfeit purchase on Nature). Inputs: [§6.1](<6.1 Greatness.md>), [§2.7](<2.7 Nothing to Consider.md>). Used downstream: [§6.8.2](<6.8.2 Relatability.md>) (Relatability), [§6.10](<6.10 No Exit.md>).

**6.8 Reach & Contact** — Groups the active attributes of reach — presence ([§6.8.1](<6.8.1 Presence.md>)), relatability ([§6.8.2](<6.8.2 Relatability.md>)), describability ([§6.8.3](<6.8.3 Describability.md>)), revelation ([§6.8.4](<6.8.4 Revelation.md>)) — closed by the directed-crossing analysis ([§5.3.3](<5.3.3 Process Theology.md>)). Inputs: [§6.1](<6.1 Greatness.md>). Used downstream: [§6.9](<6.9 Moral Act.md>), [§6.10](<6.10 No Exit.md>).

**6.8.1 Presence** — Divine presence-everywhere either is spatial (S reinstated) or is metaphor for causal availability (Φ reinstated); either way, the negation of S is forfeit. Inputs: [§6.1](<6.1 Greatness.md>). Developed at: [§7.3](<7.3 Space.md>) (Space). Used downstream: [§6.4.1](<6.4.1 Awareness.md>) (Awareness).

**6.8.2 Relatability** — A being lacking T, S, Φ cannot stand in any relation, including those the tradition makes constitutive of divinity. Inputs: [§6.1](<6.1 Greatness.md>), [§6.3.4](<6.3.4 Impassibility.md>) (Impassibility), [§2.6.8](<2.6.8 Ontological Identity.md>) (Ontological Identity). Used downstream: [§6.8.3](<6.8.3 Describability.md>) (Describability).

**6.8.3 Describability** — Every classical attribute, taken at the tradition's strongest version, either evacuates its content or reinstates what it was meant to negate. Inputs: §[§6.2.1](<6.2.1 Simplicity.md>)–6.8.2. Used downstream: [§6.8.4](<6.8.4 Revelation.md>) (Revelation), [§6.9.1](<6.9.1 Benevolence.md>) (Benevolence), [§6.10](<6.10 No Exit.md>).

**6.8.4 Revelation** — The deliveries the tradition identifies as revelation are temporally local, spatially local, and culturally fingerprinted across Φ; they bear every mark of a from-within-Φ transmission and none distinctive of a from-outside-Φ one, while hiddenness, content-error, and modal contradiction undercut the sufficiency the doctrine claims. What is universal and decisive is not a punctual delivery but the availability of the world to inquiry, a feature of Nature spanning every cross-section of T, S, and Φ; the structural result is *Divine Occultation*. Inputs: [§6.1](<6.1 Greatness.md>), [§6.4.2](<6.4.2 Knowledge.md>) (Knowledge), [§6.8.3](<6.8.3 Describability.md>) (Describability). Developed at: [§8.3](<8.3 Knowledge.md>) (Theorem 9, *Modal Convergence*), [§8.14](<8.14 Spirituality.md>) (Spirituality). Used downstream: [§6.9.1](<6.9.1 Benevolence.md>) (Benevolence), [§6.10](<6.10 No Exit.md>).

**6.9 Moral Act** — Groups the moral attributes — benevolence ([§6.9.1](<6.9.1 Benevolence.md>)), righteousness ([§6.9.2](<6.9.2 Righteousness.md>)) — the manner-of-acting predicates, closed by the directed-crossing analysis ([§5.3.3](<5.3.3 Process Theology.md>)): a manner of acting requires an act, and acting requires T, S, Φ. Inputs: [§6.1](<6.1 Greatness.md>). Used downstream: [§6.10](<6.10 No Exit.md>), [§8.12](<8.12 Morality.md>) (Morality), Chapter 9.

**6.9.1 Benevolence** — The moral predicates the tradition applies to God (*benevolent*, *just*, *merciful*, *loving*, *patient*, *faithful*, *gracious*) are manner-of-acting predicates: adverbial in grammar and requiring an act for the manner to modify. Acting requires the structural conditions of action: a substantive agent (Φ), a target distinct from the actor (S), succession from not-acting to acting (T). Stripping T, S, Φ from divine being strips what the moral predicates run on; the reframings that preserve the predicate-names (analogical, indexed to divine nature, identified with the standard against which alternatives are measured) preserve the verbs at the cost of the structure their content depends on. The Latin compound *bene volens* (well-willing) names, traced honestly, what Nature is when subjects act on subjects to keep each other in being under symmetry-of-extraction. Inputs: [§6.1](<6.1 Greatness.md>), [§6.7.1](<6.7.1 Power.md>) (Power), [§6.7.2](<6.7.2 Causality.md>) (Causality), [§2.4](<2.4 Structural Requirement.md>) (Structural Requirement). Developed at: Theorem 10 / Subsistence (Ch 9 root). Used downstream: [§6.9.2](<6.9.2 Righteousness.md>) (Righteousness), [§6.10](<6.10 No Exit.md>), [§8.12](<8.12 Morality.md>) (Morality), Chapter 9.

**6.9.2 Righteousness** — *Just*, *merciful*, *equitable*, *fair*, *righteous* are manner-of-acting predicates whose adverbial content requires an agent (Φ), a distinct recipient (S), and temporal direction (T); the doctrine strips these and preserves the predicates only by relocating them: across attributes (mercy against justice), across substantive bearers (penal substitution, hereditary guilt), from differential to constant function (universal desert), and from discernment to skepticism-shielded affirmation. Justice is what Nature is when subjects rightly order subject-on-subject action under symmetry-of-extraction; mercy is the restoration-direction within that same field; the structural result for both predicates jointly is *Divine Injustice* in its etymological sense, *out of joint* with the relational field. Inputs: [§6.1](<6.1 Greatness.md>), [§6.3.4](<6.3.4 Impassibility.md>) (Impassibility), [§6.9.1](<6.9.1 Benevolence.md>) (Benevolence), [§2.4](<2.4 Structural Requirement.md>) (Structural Requirement). Developed at: Theorem 10 / Subsistence (Ch 9 root). Used downstream: [§6.2.2](<6.2.2 Unity.md>) (Unity), [§6.10](<6.10 No Exit.md>), [§8.12](<8.12 Morality.md>) (Morality), Chapter 9.

**6.10 No Exit, the Trilemma Closure** — The trilemma closes the field of articulated classical-theist active-ground claims: retain determinate active predicates and incur role-level conditions; revise the deity into an embedded or process-like agent and incur an aseity/ultimacy cost; or withdraw into strict apophasis or essence-priority and relinquish the relevant positive grounding and predicate claims while bearing a determinacy burden. Inputs: §[§6.1](<6.1 Greatness.md>)–6.9.2, [§2.7](<2.7 Nothing to Consider.md>), [§2.8.5](<2.8.5 Necessity of Nature.md>). Used downstream: framing of Chapter 7's constructive thesis; [§8.14](<8.14 Spirituality.md>) (Spirituality).

## §7: Nature Alone

The constructive thesis. Nine sections, all read from outside the loop. The chapter establishes that Nature, understood as □(T∧S∧Φ), is what physics has been describing under independent names. §[§7.2](<7.2 Time.md>)–7.4 and §[§7.6](<7.6 Singularity.md>)–7.8 follow the *What is Disputed / What is Required / What is Predicted / What is Confirmed / What is Concluded* quintet at the subsection level ([§7.5](<7.5 Binding of the Conditions.md>) binds the conditions through Spacetime, Field, Conservation, Symmetry, and Implications); [§7.9](<7.9 Synthesis.md>) carries chapter-end synthesis.

**7.1 Methods Converge** — Logic, metaphysics, mathematics, and physics each instantiate T, S, Φ; the four-mode framing reduces to a metaphysics/physics convergence. Inputs: [§2.8.5](<2.8.5 Necessity of Nature.md>) (Necessity of Nature declaration), [§2.6.10](<2.6.10 Triconditional Identity.md>) (Triconditional Identity). Used downstream: §[§7.2](<7.2 Time.md>)–7.8.

**7.2 Time** — Time enters the standing dispute between tensed and tenseless theories; the dispute names a feature of what T structurally requires. Inputs: [§1.4](<1.4 Three Conditions.md>) (T), [§2.5](<2.5 Triconditional Necessity.md>), [§4.2](<4.2 Time, Change, and the Changeless.md>). Used downstream: [§7.5](<7.5 Binding of the Conditions.md>).

**7.3 Space** — Space enters the absolute/relational dispute; the dispute names a feature of what S structurally requires. Inputs: [§1.4](<1.4 Three Conditions.md>) (S), [§2.5](<2.5 Triconditional Necessity.md>). Used downstream: [§7.5](<7.5 Binding of the Conditions.md>).

**7.4 Substance** — Substance enters the matter/energy dispute; the dispute names a feature of what Φ structurally requires. Inputs: [§1.4](<1.4 Three Conditions.md>) (Φ), [§2.5](<2.5 Triconditional Necessity.md>), [§2.6.8](<2.6.8 Ontological Identity.md>) (Ontological Identity). Used downstream: [§7.5](<7.5 Binding of the Conditions.md>), [§7.8](<7.8 Life.md>).

**7.5 How the Conditions Bind** — T, S, Φ bind into Spacetime, Field, Conservation, and Symmetry, physics' independently settled names for one structure. Inputs: §[§7.2](<7.2 Time.md>)–7.4, [§2.6.7](<2.6.7 Triconditional Cross-Entailment.md>) (Triconditional Cross-Entailment). Used downstream: [§7.6](<7.6 Singularity.md>), [§7.7](<7.7 Cosmic History.md>).

**7.6 Nature's Self-Sustaining Cycle** — The section uses the Preclusion of ∅ and the structural framework to argue against a stable zero-extension terminus. Specific recurrent or bouncing cosmologies remain empirical and abductive proposals, not results of Modal Invariance alone. This section is also the home of the *Triconditional Closure* result (R11): the three per-Condition closures read as one structure, each foreclosing only a domain-external negation while staying silent on the matching inside question. Inputs: [§2.1.7](<2.1.7 Two Readings.md>), [§2.7](<2.7 Nothing to Consider.md>); [§2.1.5](<2.1.5 The S5 Bottleneck.md>), [§2.8.5](<2.8.5 Necessity of Nature.md>). Used downstream: [§7.7](<7.7 Cosmic History.md>).

**7.7 Cosmic History** — History as what unfolds when necessary structure licenses contingent tokens: the type/token distinction at the cosmological scale. Inputs: [§7.6](<7.6 Singularity.md>), [§2.6.7](<2.6.7 Triconditional Cross-Entailment.md>). Used downstream: [§7.8](<7.8 Life.md>), [§6.7.2](<6.7.2 Causality.md>).

**7.8 Life** — Life as recursion of dissipative self-maintenance; consciousness emerges at the depth at which self-modeling includes the modeling itself. Inputs: [§7.7](<7.7 Cosmic History.md>), [§4.3](<4.3 Physics and Mind.md>). Used downstream: [§7.9](<7.9 Synthesis.md>), bridge to Chapter 8, every section in §8.

**7.9 Synthesis** — Chapter-scale closure. The three structural commitments ([§7.2](<7.2 Time.md>), [§7.3](<7.3 Space.md>), [§7.4](<7.4 Substance.md>)) and three dynamic commitments ([§7.5](<7.5 Binding of the Conditions.md>), [§7.6](<7.6 Singularity.md>), [§7.7](<7.7 Cosmic History.md>)) compose into the medium that sustains itself; [§7.8](<7.8 Life.md>) carries the bridge to Chapter 8's modal account of experience. Nature suffices: no external initiator of motion, no external source of extension, no external depositor of substance, no Prime Mover is required to account for what Nature is or what it does. Inputs: §[§7.1](<7.1 Convergence of Method.md>)–7.8. Used downstream: framing of Chapter 8 (every section) and Chapter 9.

## §8: Expanding the Field

Chapter 8 gives a *modal account of experience* conditional on the account of closure-plus-throughput in [§7.8](<7.8 Life.md>), not a fresh deduction from the proof. Audit at the modal-account register, not as strict derivation: the test is whether each section offers a coherent modal account of the relevant aspect of experience, with disagreements at this level not propagating backward to the proof. Each section follows the *What is Disputed / What is Required / What is Predicted / What is Confirmed / What is Concluded* quintet at the subsection level; [§8.15](<8.15 Synthesis.md>) carries chapter-end synthesis.

**8.1 Drive** — Modal Pressure registered from inside as the standing pressure on a self-modeling configuration to act on the alternatives it can model, the baseline forward pressure before differentiation. Inputs: [§7.8](<7.8 Life.md>), [§6.3.3](<6.3.3 Immutability.md>), Modal Pressure (Glossary). Used downstream: §[§8.2](<8.2 Feeling.md>)–8.15, Chapter 9.

**8.2 Feeling** — Valenced registration from inside: the modal field already weighted before deliberation begins. The configuration's representation of how its modal alternatives bear on its own subsistence. Inputs: [§7.8](<7.8 Life.md>), [§8.1](<8.1 Drive.md>). Used downstream: §[§8.3](<8.3 Knowledge.md>)–8.15, Chapter 9.

**8.3 Knowledge** — The held grasp of structure: the form in which the modal field is held. The configuration's accumulated representation of what is possible, weighted by its own stakes in each branch. Theorem 9 (*Modal Convergence*) is established here: where beings stand in modal-convergence relation, every being subsists *for* every other being, and the relation does not reduce to a sum of pairwise asymmetric dependencies, the relational mode the chapter takes meaning ([§8.8](<8.8 Meaning.md>)), language ([§8.10](<8.10 Language.md>)), morality ([§8.12](<8.12 Morality.md>)), and spirituality ([§8.14](<8.14 Spirituality.md>)) to instantiate at their fullest expressions; cross-domain extensions developed in [§7.9](<7.9 Synthesis.md>) and [§8.15](<8.15 Synthesis.md>). Inputs: [§7.9](<7.9 Synthesis.md>), [§6.3.4](<6.3.4 Impassibility.md>), [§8.1](<8.1 Drive.md>), [§8.2](<8.2 Feeling.md>). Used downstream: §[§8.4](<8.4 Reasoning.md>)–8.15, Chapter 9.

**8.4 Reasoning** — The navigation operation on the modal field: self-modeling's constraint-following operation at the depth where holdings can be tested and corrected. Inputs: [§1.5](<1.5 Existence.md>) (Analytic Operators), [§8.3](<8.3 Knowledge.md>). Used downstream: §[§8.5](<8.5 Identity.md>)–8.15, Chapter 9.

**8.5 Identity** — The construction the recursion runs when it folds back to register the I as one of the objects in its own field: self-modeling registering its own self-model. Inputs: [§7.8](<7.8 Life.md>), [§7.9](<7.9 Synthesis.md>), [§8.1](<8.1 Drive.md>), [§8.2](<8.2 Feeling.md>), [§8.3](<8.3 Knowledge.md>), [§8.4](<8.4 Reasoning.md>). Used downstream: §[§8.6](<8.6 Sexuality.md>)–8.15, Chapter 9.

**8.6 Sexuality** — The positive and generative horizon of continuation: what closure-plus-throughput configurations do when they couple to produce successor configurations. Inputs: [§7.8](<7.8 Life.md>), [§8.1](<8.1 Drive.md>), [§8.2](<8.2 Feeling.md>), [§8.5](<8.5 Identity.md>). Used downstream: [§8.7](<8.7 Mortality.md>), [§8.13](<8.13 Art.md>), [§8.15](<8.15 Synthesis.md>).

**8.7 Mortality** — The Null State ([§2.7](<2.7 Nothing to Consider.md>)) registered from inside: the negative horizon of continuation, the I confronting its own non-continuation. The modal alternative the configuration cannot transit through and continue. Inputs: [§2.7](<2.7 Nothing to Consider.md>), [§7.8](<7.8 Life.md>), [§8.1](<8.1 Drive.md>), [§8.2](<8.2 Feeling.md>), [§8.5](<8.5 Identity.md>), [§8.6](<8.6 Sexuality.md>). Used downstream: [§8.8](<8.8 Meaning.md>), [§8.14](<8.14 Spirituality.md>), [§8.15](<8.15 Synthesis.md>).

**8.8 Meaning** — Orientation registered from inside: the weighting operation that tracks knowledge for direction rather than only accuracy. Felt as direction by an I that knows it will end. Inputs: [§8.1](<8.1 Drive.md>), [§8.2](<8.2 Feeling.md>), [§8.3](<8.3 Knowledge.md>), [§8.4](<8.4 Reasoning.md>), [§8.7](<8.7 Mortality.md>). Used downstream: §[§8.9](<8.9 Will.md>)–8.15, Chapter 9.

**8.9 Will** — Drive acting through a modal map deep enough for alternatives to remain live before one becomes actual; the selection-among-alternatives register. Inputs: [§6.7.2](<6.7.2 Causality.md>) (Causality), [§8.1](<8.1 Drive.md>), [§8.3](<8.3 Knowledge.md>), [§8.4](<8.4 Reasoning.md>). Used downstream: §[§8.10](<8.10 Language.md>)–8.15, Chapter 9.

**8.10 Language** — Structured practice by which propositional content crosses the interval between self-modeling persons: the transfer of regions of the modal field between bodies. Inputs: [§6.8.3](<6.8.3 Describability.md>) (Describability), [§8.3](<8.3 Knowledge.md>), [§8.8](<8.8 Meaning.md>), [§8.9](<8.9 Will.md>). Used downstream: §[§8.11](<8.11 Technology.md>)–8.15, Chapter 9.

**8.11 Technology** — The outward turn of self-modeling activity: the configuration's reshaping of its environment to enlarge its modal field; the externalization of the field into matter. Inputs: [§8.3](<8.3 Knowledge.md>), [§8.4](<8.4 Reasoning.md>), [§8.9](<8.9 Will.md>), [§8.10](<8.10 Language.md>). Used downstream: §[§8.12](<8.12 Morality.md>)–8.15, [§9.6](<9.6 Agriculture.md>), [§9.8](<9.8 Housing.md>) (technology is derivational-input for §[§9.6](<9.6 Agriculture.md>) and 9.9, which list [§8.11](<8.11 Technology.md>) in their Inputs lines; only involved-in-practice for §[§9.5](<9.5 Environment.md>) and 9.7, whose derivations run on [§7.8](<7.8 Life.md>)/[§9.2](<9.2 Belonging.md>) and [§8.3](<8.3 Knowledge.md>)/[§8.10](<8.10 Language.md>)/[§9.6](<9.6 Agriculture.md>) respectively).

**8.12 Morality** — The relational register of mutually exposed self-modeling persons under symmetry-of-extraction: the coordination of the field across mutually exposed subjects. Inputs: [§6.9.1](<6.9.1 Benevolence.md>) (Benevolence), [§8.2](<8.2 Feeling.md>), [§8.8](<8.8 Meaning.md>), [§8.9](<8.9 Will.md>). Used downstream: §[§8.13](<8.13 Art.md>)–8.15, Chapter 9.

**8.13 Art** — Transmission of non-propositional orientation through made-object resonance: the externalization and cultivation of field content that propositional language cannot carry. Inputs: [§8.2](<8.2 Feeling.md>), [§8.6](<8.6 Sexuality.md>), [§8.8](<8.8 Meaning.md>), [§8.10](<8.10 Language.md>). Used downstream: [§8.14](<8.14 Spirituality.md>), [§8.15](<8.15 Synthesis.md>).

**8.14 Spirituality** — The phenomena the supernatural was reaching for, recovered on structural terms as finite self-modeling encounter with Nature's excess: the field registering its own dependence on what exceeds any model of it. Inputs: [§6.10](<6.10 No Exit.md>) (No Exit), [§8.3](<8.3 Knowledge.md>), [§8.5](<8.5 Identity.md>), [§8.7](<8.7 Mortality.md>), [§8.8](<8.8 Meaning.md>). Used downstream: [§8.15](<8.15 Synthesis.md>).

**8.15 Synthesis** — Chapter-scale closure pulling §[§8.1](<8.1 Drive.md>)–8.14 together: the experiential registers Ch 7's structural conditions necessitate, handed forward to Ch 9's social and political derivations. Inputs: §[§8.1](<8.1 Drive.md>)–8.14. Used downstream: Chapter 9.

## §9: Maximum Possibility

Chapter 9 is the *collective application of the modal account of experience*: how a society can be leveraged on a bare-minimum modal account of experience. Audit at this register: not as strict derivation, and not as ad hoc political theory. Identifications inherit Ch 8's modal-account machinery scaled to institutional form, under the governing frame of *maximum possibility under necessities met*. The chapter inherits the *Cogito*-evidential mode from [§2.8.2](<2.8.2 Nature Cannot Be Denied.md>) and the generalized first-person evidence of Ch 8; felt fear, felt safety, felt happiness, felt aversion, and felt belonging aggregate across a population as the empirical operation political theory is accountable to. Coercive-distortion caveat: felt-state evidence is reliable only when the reporting channel stays open. Each domain section follows a Predictions / Confirmations / Implications structure at the subsection level.

**Ch 9 root (Mutual Sustenance; Convergent Individualism; Subsistence; Maximal Greatness, R21; Epistemic Floor, R22)** — The root presents a political-structural hypothesis: people exposed to shared institutional conditions may have reason to sustain their maintenance, and a polity can be understood as a relation of subsistence. These claims inherit Chapter 8's conditional experiential and normative register and require empirical and democratic assessment; they are not fresh modal theorems. The Maximal Greatness result (R21; Result of T6 and T7) states the book's namesake inversion at chapter scale: greatness sought by negating the conditions of being specifies the Null State ([§5.1.7](<5.1.7 Modal Ontological Argument.md>); [§6.1](<6.1 Greatness.md>)), while the same superlative, run toward the fullest exercise of those conditions, names maximum possibility as a maintained standing. The Epistemic Floor result (R22) states the Chapter 8–9 bridge explicitly: participation conditions furnish the practical distance from necessity required for informed consent, deliberation, public correction, and agency. Inputs: [§7.8](<7.8 Life.md>), [§8.3](<8.3 Knowledge.md>), [§8.9](<8.9 Will.md>), [§8.12](<8.12 Morality.md>), §[§9.1](<9.1 Rights.md>)–9.12; for R21 also [§2.8.5](<2.8.5 Necessity of Nature.md>) (T6), [§2.8.6](<2.8.6 Exclusivity of Nature.md>) (T7), [§5.1.7](<5.1.7 Modal Ontological Argument.md>), [§6.1](<6.1 Greatness.md>). Used downstream: [§9.13](<9.13 Justice.md>), [§9.14](<9.14 Convergence.md>), Conclusion.

**9.1 Rights** — Structural reciprocity codified: structural recognitions of the conditions persons require to persist as self-modeling beings, derived from [§8.12](<8.12 Morality.md>) combined with §[§8.2](<8.2 Feeling.md>), [§8.5](<8.5 Identity.md>), [§8.9](<8.9 Will.md>). Inputs: [§8.2](<8.2 Feeling.md>), [§8.5](<8.5 Identity.md>), [§8.9](<8.9 Will.md>), [§8.12](<8.12 Morality.md>). Used downstream: §[§9.2](<9.2 Belonging.md>)–9.12, [§9.13](<9.13 Justice.md>).

**9.2 Belonging** — The social form of shared exposure: the body in which persons hold each other in being. Inputs: [§7.8](<7.8 Life.md>), [§8.1](<8.1 Drive.md>), [§8.12](<8.12 Morality.md>). Used downstream: §[§9.3](<9.3 Representation.md>)–9.12, [§9.13](<9.13 Justice.md>).

**9.3 Representation** — The structural form of distributed orientation across persons. Inputs: [§9.1](<9.1 Rights.md>), [§9.2](<9.2 Belonging.md>). Used downstream: [§9.13](<9.13 Justice.md>).

**9.4 Information** — The conditions under which the reporting channel for felt-state evidence stays open: free speech, freedom of association, freedom from retaliation, and protections against manipulative advertising at coercive scale. Inputs: [§8.3](<8.3 Knowledge.md>), [§8.10](<8.10 Language.md>), [§9.1](<9.1 Rights.md>). Used downstream: every following §9 section; [§9.13](<9.13 Justice.md>).

**9.5 Environment** — The underlying conditions persons depend on for throughput. Inputs: [§7.8](<7.8 Life.md>), [§9.2](<9.2 Belonging.md>). Used downstream: [§9.6](<9.6 Agriculture.md>).

**9.6 Agriculture** — Institutional form of throughput-management at scale. Inputs: [§9.5](<9.5 Environment.md>), [§8.10](<8.10 Language.md>), [§8.11](<8.11 Technology.md>). Used downstream: [§9.7](<9.7 Economy.md>).

**9.7 Economy** — Institutional form of distributed exchange among persons; coordination of specialized modal maps. Inputs: [§8.3](<8.3 Knowledge.md>), [§8.10](<8.10 Language.md>), [§9.6](<9.6 Agriculture.md>). Used downstream: [§9.8](<9.8 Housing.md>).

**9.8 Housing** — Institutional form of secure, non-displacing dwelling and the social infrastructure that makes belonging materially available. Inputs: [§9.1](<9.1 Rights.md>), [§9.2](<9.2 Belonging.md>), [§9.7](<9.7 Economy.md>). Used downstream: [§9.9](<9.9 Education.md>)–[§9.13](<9.13 Justice.md>).

**9.9 Education** — Institutional form of transmitting self-modeling capacity across generations; institutional cultivation of modal depth. Inputs: [§8.3](<8.3 Knowledge.md>), [§8.8](<8.8 Meaning.md>), [§8.11](<8.11 Technology.md>), [§9.2](<9.2 Belonging.md>). Used downstream: [§9.13](<9.13 Justice.md>).

**9.10 Healthcare** — Institutional form of maintaining self-modeling capacity. Inputs: [§7.8](<7.8 Life.md>), [§8.1](<8.1 Drive.md>). Used downstream: [§9.13](<9.13 Justice.md>).

**9.11 Defense** — Institutional form of structural protection from external threat. Inputs: [§8.9](<8.9 Will.md>), [§9.1](<9.1 Rights.md>). Used downstream: [§9.12](<9.12 Enforcement.md>).

**9.12 Enforcement** — Institutional form of structural protection from internal threat, derived from [§8.4](<8.4 Reasoning.md>) (Reasoning), [§8.9](<8.9 Will.md>) (Will), and [§8.12](<8.12 Morality.md>) (Morality). Inputs: [§8.4](<8.4 Reasoning.md>), [§8.9](<8.9 Will.md>), [§8.12](<8.12 Morality.md>), [§9.1](<9.1 Rights.md>), [§9.11](<9.11 Defense.md>). Used downstream: [§9.13](<9.13 Justice.md>).

**9.13 Justice** — Institutional form of restoring conditions persons require when violated. Inputs: [§8.9](<8.9 Will.md>), [§8.12](<8.12 Morality.md>), [§9.1](<9.1 Rights.md>), [§9.12](<9.12 Enforcement.md>). Used downstream: [§9.14](<9.14 Convergence.md>).

**9.14 How the Domains Converge (Distributed Correction, R27)** — Per-domain convergences consolidated: every domain in §[§9.1](<9.1 Rights.md>)–9.13 traces back to what structural persistence requires for persons under the conditions maximum possibility requires. The Distributed Correction result (R27) identifies the political function of that convergence: representation, public information, plural institutions, and review enable people affected by an arrangement to correct the shared public model guiding it. Inputs: §[§9.1](<9.1 Rights.md>)–9.13, especially [§9.3](<9.3 Representation.md>) and [§9.4](<9.4 Information.md>). Used downstream: [§9.15](<9.15 Installation.md>).

**9.15 Installing the Framework** — What would have to be installed for the framework to operate in practice. Inputs: [§9.14](<9.14 Convergence.md>). Used downstream: Conclusion.

## Convergence

Every claim in the argument either (i) appears in the role-definitions of §[§1.3](<1.3 Change.md>)–1.4 and the modal premises of §[§2.1](<2.1 The S5 Pipeline.md>)–2.5, (ii) follows by stated derivation from those definitions and premises, (iii) closes a class of objection in Chapter 4 without itself entering Chapters 6–9 as input, or (iv) is a modal account of experience (Chapter 8) or the collective application of that account (Chapter 9), conditional on the account of closure-plus-throughput in [§7.8](<7.8 Life.md>) rather than a fresh deduction from the proof. Accepting the proof of Chapters 1–3 does not commit a reader to every identification downstream; the dependency structure makes clear where fresh assumptions enter.


---

← [Appendix B: Summary of the Formal Proof](<Appendix B Summary of the Formal Proof.md>) | [Appendix D: Empirical Predictions](<Appendix D Empirical Predictions.md>) →
