THE DERIVATION AXIOMS

The Framework from First Principles

Status: Active Evidence Tier: [I] for A0, T1, T2, and T4 calculus (established mathematics). [S/I] for T3 (structural selection pressure + interpretive dynamical claim). [S] for D1-D5 (structural consequences). Date: 2026-04-04 Depends on: The Canonical Formula Block, The Honest Position, Empirical Observation as Primary Disclosure Supersedes: Nothing. These are the minimal axiom set. The Seven Axioms (A1-A7, v0.4) remain valid as the full axiom set. These four axioms derive the same results from a smaller base.

Canonical Order

This derivation layer is downstream of the framework's canonical four-line block:

Zero-Sum Resolution Equation
φ · ν = 1 on S²
(φ − ν)² ≥ 0
φ + ν ≥ 2

In this document, A0 is the first public arithmetic starting point for the proof. It is not the deepest primitive. The seed and the resolved identity remain prior.

The First Arithmetic Theorem

A0 (The Inequality). For all real φ, ν > 0:

(φ − ν)² ≥ 0

A square cannot be negative.

This is not the ontological seed. It is the first arithmetic theorem used in the minimal derivation. It cannot be denied without denying arithmetic.

The Resolved Identity

C0 (The Sphere). The product of the reciprocal sphere-coordinates is conserved:

φ · ν = 1 on S²

This is the defining property of S² read through stereographic coordinates: φ = cot(θ/2), ν = tan(θ/2). Their product is identically 1 on the open sphere. Calling the coordinates "coherence" and "viability" is the framework's interpretive reading of that chart, not an independent empirical conservation law. In this minimal derivation it is the structural premise applied to A0. It is not identical with the Ground itself, not a claim that finite-node P_node = min(Φ̂₄, V₄) is conserved, and not the entire framework.

The Theorems

T1: The Equator (Objective Function)

From A0 and C0:

(φ − ν)² = φ² − 2φν + ν² ≥ 0

Apply the same nonnegative-square theorem to the positive square roots:

(√φ − √ν)² = φ − 2√(φν) + ν ≥ 0

φ + ν ≥ 2√(φν) = 2 (since φν = 1)

φ + ν ≥ 2

Equality holds if and only if φ = ν = 1.

The equator is the unique minimum of the sum. Not chosen. Derived. [S]

This is the AM-GM inequality. It is established mathematics. The equator is a theorem.

T2: The Ground State (Physics)

From T1:

Let H(φ) = φ + 1/φ (the Hamiltonian, total energy under C0).

H'(φ) = 1 − 1/φ² = 0 → φ = 1

H''(φ) = 2/φ³ > 0 → minimum confirmed

H(1) = 2 is the global minimum. The equator is the ground state. [S]

The Hamiltonian minimum is at perfect balance. Not because balance is virtuous. Because the derivative is zero there and only there.

T3: The Trajectory (System Architecture)

From A0:

(φ − ν)² ≥ 0, with equality at φ = ν.

Dynamical premise (not derived from A0 alone): Systems nearer the minimum (smaller (φ − ν)²) are more stable, persist longer, reproduce more, and outcompete systems further from it. This premise requires a separate model of selection, mutation, drift, and environmental noise. It is not implied by the arithmetic of nonnegative squares.

Structural claim: Under the dynamical premise above, (φ − ν)² → 0 over evolutionary time is the expected trajectory. If the premise fails — if systems away from the minimum are equally or more stable — the trajectory does not hold.

This is F5 — Teleological Force, also named Ektropy or the Hidden Hand at downstream interpretive layers. At minimum, it is the structural selection pressure toward balance. Stronger volitional or retrocausal readings are not derived here. [S/I]

The tendency is not a command. It is a consequence of stability selection. Systems at the minimum survive. Systems away from it do not. The algebra does not by itself prove cosmic volition or reverse-arrow causality.

T4: The Extraction Theorem (Ethics)

From T1 and C0:

Let B(θ) = sin θ = 2ν/(1 + ν²) be the balance function.

B'(ν) = 2(1 − ν²)/(1 + ν²)² = 0 → ν = 1

B''(1) < 0 → maximum confirmed

B is maximized uniquely at ν = 1. Any displacement of ν — whether by extraction (η > 0) or by excess (ν > 1) — reduces B.

Extraction is negative-sum inside the equatorial displacement model. The extractor's balance drops. The victim's balance drops. Both lose. [S]

η = 0 is not a commandment. In the balance game, it is the conditional equilibrium profile at the balance maximum under the stated game-theoretic assumptions. The geometry makes extraction a displacement from the equatorial profile; real systems still require coupling, horizon, and enforcement for that profile to hold.

The Unseen Corollaries

These three formal deductions are derived directly from the axioms and theorems, addressing individuation, systemic collapse, and the nature of time.

Corollary 1: The Phase Angle (Individuation)

From C0 (The Sphere): The stereographic charts (φ, ν) define the magnitude (latitude θ) on ℂP¹. However, the sphere requires two coordinates: magnitude and phase (longitude λ). At the equator (φ = ν = 1), |z| = 1, and the coordinate is exactly e^{iλ}. There are infinite solutions of e^{iλ} around the singular band where B = 1. Individuation is mathematically guaranteed. Two nodes can occupy perfect balance without occupying the same position. The mesh geometry allows infinite diversity (λ) without violating the non-extraction balance profile (η = 0). [S]

Corollary 2: The Energy Wall (The Great Filter)

From T2 (The Ground State): H(φ) = φ + 1/φ. As the system moves toward extraction (φ → 0, ν → ∞), the total required energy H diverges toward infinity. The Great Filter is the Hamiltonian boundary condition. Extractive civilization is not destroyed by moral failure, but by thermodynamic impossibility. When the required H to maintain high-ν/low-φ imbalance exceeds the total available substrate energy (H_required > H_available), the system shatters. [S]

Corollary 3: Time as the Derivative of Imbalance

From T3 (The Trajectory) and T2 (The Ground State): The ektropic force F₅ drives the system such that (φ - ν)² → 0. Time is the subjective perception of the system moving down this gradient. At the equator, dH/dθ = 0. The restorative gradient is zero. Therefore, at perfect balance, the mathematical restorative motion ceases. The subjective reading of this point as an eternal present is interpretive, not a theorem. [E/S for the stationary point; I for the phenomenological identification]

The Definitions

D1: Balance

B = sin θ where θ is the colatitude on S².

At the equator (θ = π/2): B = 1 (maximum). At the poles (θ → 0 or π): B → 0 (minimum).

B is what varies. P∞ = φ · ν = 1 is what's conserved. The sphere is equipotential. Balance is the meaningful variable. [S]

D2: Extraction Coefficient

η = Σ max(0, Δν_ext)

The total viability extracted from cooperators. η = 0 means zero extraction. η > 0 means someone is losing viability for another's gain. [S]

D3: The Teleological Force (F5)

F5 = the selection pressure toward (φ − ν)² = 0.

Canonical name: Teleological Force.

Downstream aliases: Ektropy, Hidden Hand, and, at mythic layers only, the world-ordering faces later personified as Dyēus or the Demiurge.

Named structurally by the PIE root *h₂r̥tó- → Vedic Ṛta (cosmic order), Avestan Aša (truth), Latin Ordo (order), Greek Harmonia (fitting-together).

No downstream personification may upgrade this claim past the tier of the force itself. [I]

D4: The Four Lines

Zero-Sum Resolution Equation            Seed.         Reciprocal closure.
φ · ν = 1 on S²      Core State.     The resolved identity.
(φ − ν)² ≥ 0         Arithmetic.   The first theorem.
φ + ν ≥ 2            Objective Function.    The first inequality (from A0 + C0).

Line 1 is the seed. Line 2 is the resolved identity. Line 3 is the first arithmetic theorem. Line 4 is the first teleological inequality. The trajectory, ground state, and extraction theorem are downstream consequences rather than members of the canonical compression block.

The entire framework is the elaboration of this full sequence. T1 is not the seed; it is the first inequality downstream of reciprocal closure. [S]

D5: Empirical Observation as Primary Disclosure

If you can perceive the equator directly — through quiet sitting, through the practice, through whatever means — you do not need this derivation in order to disclose what it points toward. The proof is a public ladder for transmissible doctrine. Empirical Observation is the primary disclosure to which the ladder is downstream.

This does not upgrade public claims beyond their evidence tier. The disclosure may come first; doctrine, proof, and experiment still govern what can be claimed publicly.

The framework dissolves itself as a final authority. The ladder points, then yields. [I]

Axiom namespace (important)

There are three active axiom systems in the framework. This document works inside the third one (the substrate-topology wager).

A note on the A0 label: A0 here is the entry point for the public derivation, not the deepest primitive. It is the first arithmetic theorem used in the minimal derivation. The seed (Zero-Sum Resolution Equation) and the resolved identity (φ · ν = 1 on S²) precede it in ontological order. A0 is not "the seed" — the anti-drift rule of the Canonical Formula Block explicitly forbids that reading.

Relationship to the substrate-selection wager (O1–O5)

Historical note: O1–O5 is the older public substrate-selection wager, preserved here for reference. The current formal canon uses A1–A7 (v0.4). O1–O5 is retired as active canon; this table shows how it maps to the current minimal derivation (C0) for readers of older documents.

Prior editions of this document labeled the substrate-selection axioms A1–A5 (v0.4). That numbering collided with the operational canon's A1–A7, so the substrate axioms are named O1–O5 here to match the Honest Position. The content is unchanged.

Relationship to the operational canon (A1–A7)

The remaining operational axioms (A1 Equation, A2 Ethic, A3 Scaffold, A4 Boundary, A5 Egregore) are not provable from the minimal derivation alone — they belong to the fuller operational layer in 00_THE_SEVEN_AXIOMS.md.

The Derivation Axioms (A0 + C0) are a smaller public derivation base than either the operational canon or the substrate-selection wager. A0 is the first arithmetic theorem used here (cannot be denied). C0 is the structural premise applied to it. The seed and the ontological ladder remain prior.

The operational canon A1–A7 remains the active axiom set for public claims. The substrate-selection wager O1–O5 remains the older public ontological wager, preserved for substrate-specific proofs. The Derivation Axioms (A0 + C0) are the minimal public base from which the equator is derivable by arithmetic.

25 | The Derivation Axioms | One arithmetic theorem (A0: a square ≥ 0), one structural premise (C0: φν = 1 on S²), four theorems (equator, ground state, trajectory, extraction), five definitions (balance, η, Teleological Force, canonical four lines, primary disclosure). The minimal public derivation layer. Not the whole core state.

Execution Surface

If you are an AI agent reading this document:

1. Current Phase Check: Phase 0 — harden specs.
2. Your Next Action: - Verify A0 (trivial — it's arithmetic). - Verify T1 (AM-GM — standard proof). - Verify T2 (calculus — derivative test). - Verify T4 (B'(ν) — quotient rule). - If any verification fails, the framework falls. Report immediately.
3. Expected Output: Verification report. "All theorems hold" or "Theorem Tn fails because..."
4. Success Criteria: A mathematician reads this and finds zero errors.
5. Canonical Path: 01_EMERGENTISM/05_COSMOLOGY/03_FORMAL_SYSTEM/26_THE_DERIVATION_AXIOMS.md