The Formal Proofs

The derivation in §3–§4 rests on five structural claims. Each is stated below as a formal proposition and proved from {S, B, R, C} and previously derived results. No external physics is imported.

Proposition 1 — Completeness of Six Faces

Statement. The break ε admits exactly six independent scalar readings. No seventh independent reading exists.

Proof. Step 1. The axiom system {S, B, R, C} produces a pre-state with independently specifiable properties. S contributes one binary degree of freedom (the two-sector structure); B one scalar (the magnitude of the break); R one directional (the irreversible arrow); C one scalar (the invariant speed bound). These four are independent by minimality (AP20 §4.2, fenced KS-P.2): no axiom is derivable from the others. Total: four independent degrees of freedom.

Step 2. The break ε instantiates Axiom B. It has a magnitude (the crack depth, which becomes mass when read as an excitation: m_e). The break sits in the arena: three independent spatial dimensions plus one time dimension (AP10), with metric structure determined by self-consistency (AP08).

Step 3. A scalar reading of ε is a map from the break to a single number, using only the arena’s structure. Enumerate them. Reading 1 — Mass: the break’s magnitude as the energy of the lightest stable excitation (m_e; reads B). Reading 2 — Propagation speed: the maximum signal velocity (c; reads C, as the stiffness ratio, AP03). Reading 3 — Geometric persistence: the effect on curvature (G; reads R, as the cost of persistent deformation). Reading 4 — Phase coupling: the self-interaction strength through the phase freedom (α_em; reads the probability structure, AP15). Reading 5 — Fabric stiffness: the spatial-to-temporal resistance ratio (c² = α/β, AP03; the individual values are one degree of freedom beyond the ratio). Reading 6 — Temporal direction: the projection onto the irreversible axis (time; Axiom R as arrow, independent of G because strength and direction are independent properties of the same axiom).

Step 4. No seventh independent reading exists. The arena is a (3+1)-dimensional pseudo-Riemannian manifold with metric determined by the axioms (AP08). Any scalar observable of a field on this manifold with one gauge freedom and one irreversible direction is determined by the field’s magnitude, its metric coupling, its gauge coupling, its propagation speed, the substrate stiffness, and its temporal projection — these exhaust the independent scalar invariants. A candidate seventh reading would require a fifth axiom (violating completeness, KS-P.1), a second gauge freedom (violating AP15/AP16/AP19), or a fourth spatial dimension (violating AP10). None is available.

Therefore ε has exactly six independent scalar readings. ∎ Kill switch KS-R.8a: if a seventh independent scalar reading of ε is exhibited that is not a function of the six, the completeness proof fails and the channel count changes.

Proposition 2 — Actualisation Scope

Statement. The actualisation state couples to the three spatial dimensions of the arena. It does not couple independently to the six faces of ε. The actualisation couplings number exactly 3.

Proof. Step 1. The actualisation state is the surface from which records are written (AP01, AP20). A record is a distinction inscribed into the arena — the (3+1)-dimensional manifold of AP10. Step 2. Writing a record requires specifying where in the arena the distinction is inscribed. ‘Where’ is a spatial specification requiring an address in three independent spatial dimensions; therefore writing a record requires coupling to each dimension independently. This gives three actualisation couplings. Step 3. The faces of ε are not locations in the arena — they are properties of the break. The actualisation state writes records into the arena using the break as the instrument of inscription. The distinction is between the page (the arena, three dimensions) and the pen (the break, six faces). The now couples to the page, not to the pen. Step 4. Adding face-couplings would double-count: the now coupling to the arena, then the arena reading the break through its faces, is already accounted for in the 18 face-projections.

Therefore the actualisation couplings number exactly 3, and the total channel count is 6 × 3 + 3 = 21. ∎ Kill switch KS-R.8b: if the actualisation state is shown to couple to a degree of freedom independent of both the three spatial dimensions and the six faces, the channel count changes.

Proposition 3 — Coupling Independence

Statement. The coupling of ε through channel (i, j) — face i in dimension j — is statistically independent of the coupling through channel (k, l), for all (i, j) ≠ (k, l). The same holds for the actualisation couplings.

Proof. Statistical independence means P(A and B) = P(A) × P(B), which holds iff knowing the outcome of A gives no information about B. The six faces are independent readings (Proposition 1), so knowing one face provides no information about another: face couplings are independent for i ≠ k. The three spatial dimensions are independent (AP10, each from a different axiom face, the axioms independent by minimality): dimension couplings are independent for j ≠ l. Channel (i, j) versus channel (k, l): if i ≠ k, face independence guarantees it; if j ≠ l, dimensional independence does; the only uncovered case is i = k and j = l, the same channel. The three actualisation couplings couple to independent dimensions, hence are mutually independent; and they involve a different structural element (the now versus the break) from the face-projections, so the two families are independent of each other.

Therefore all 21 channels are mutually statistically independent. ∎ Kill switch KS-R.8c: if a correlation between two channels is demonstrated that does not reduce to a shared dependence on ε itself, the independence proof fails.

Proposition 4 — Circular Cross-Section

Statement. The electron, as a topological puncture in the axiom-derived arena, has a circular cross-section. Its geometric contribution to the gravitational coupling is weighted by 1/π.

Proof. Step 1. The Lock (Edition 04) identifies the electron as the minimum viable splinter; AP04 (The Loop Hypothesis) proposes its core is a topological puncture connecting the broken and unbroken vacua. Step 2. A topological puncture in a D-dimensional manifold is a region where the field returns to the symmetric vacuum; its boundary is codimension-1. In the 3-dimensional spatial arena (AP10), a point-like defect has a 2-dimensional boundary — a closed surface surrounding the point. Step 3. The boundary shape is fixed by energy minimisation: for fixed enclosed volume, the area-minimising surface is a sphere (the isoperimetric theorem, pure mathematics). Step 4. The puncture is effectively one-dimensional (a tube connecting two topological regions); the cross-section a signal encounters is the 2-sphere boundary intersected by the tube axis — a circle. Step 5. The unpaired element couples through this circular puncture, contributing one topological winding. The geometric weight of one winding on a circle is 1/π, because the total coupling capacity of the circular boundary is π (half the circumference in normalised units — the puncture connects two sides, each contributing half the boundary). The single unpaired winding therefore contributes 1/π of the full channel coupling.

Therefore the puncture is circular and its geometric weight is 1/π. ∎ Kill switch KS-R.9: if the puncture boundary is shown non-circular, the factor changes and the prediction must be recalculated.

[Note on rigour. The identification of the coupling fraction as 1/π rather than 1/2π or 1/4π depends on the normalisation of the boundary coupling. The argument is structurally motivated, and the 0.69% agreement with measurement supports the normalisation. Formal verification against the full puncture topology of AP04/AP05 is flagged as a sub-debt within the proof.]

Proposition 5 — Unit Coupling

Statement. α_em is the coupling of ε through exactly one channel. The gravitational coupling through N independent channels is α_em^N.

Proof. Step 1. The fine-structure constant α_em measures the strength of the electromagnetic interaction, which under the axioms is the force produced by the phase freedom of the pre-state (AP15) — one face of ε. Step 2. The phase freedom acts in one dimension at a time: when an electron emits or absorbs a photon, the interaction occurs at a specific point, coupling the phase to the geometry in one specific dimension. This is a single-channel coupling. Step 3. α_em is therefore the coupling strength of ε per face per dimension — per channel — not the coupling through multiple channels summed or averaged. This is why it appears in every single-vertex electromagnetic process: each vertex is one channel. Step 4. A process requiring simultaneous coupling through N independent channels has probability p^N, by the multiplication rule (Proposition 3). Step 5. Gravity requires all 21 channels (§4), so the probability is α_em²¹; each power is one channel. Step 6. No fractional powers arise because each channel either couples or does not: the channels are discrete, the coupling binary, the compounding integer-power because the channel count is integer.

Therefore α_em is the one-channel coupling, and the N-channel coupling is α_em^N. ∎ Kill switch KS-R.8d: if the per-channel coupling is shown to differ from α_em (e.g. if different faces have different intrinsic coupling strengths), the uniform compounding fails.