The Fine-Structure Constant

5.1 — What α_em is

Symbol note. In this section, e is the electron charge and ε₀ the vacuum permittivity — not ε the break. Context disambiguates throughout.

α_em = e²/(4πε₀ℏc) ≈ 1/137.036.

It is the coupling strength of the break to the connection. How strongly the electron (ε as localised excitation) interacts with the electromagnetic gauge field A_μ (AP15). How much of the original unity leaks through at the point where the splinter meets the fabric it left.

It is one of the six faces of the multidimensional residual (AP06 section 10.5). Paired with α/β (the substrate stiffnesses) in Pair 2. Constrained by c through the leakage (AP06 Theorem 3.1). Chained to G through m_e through κ.

α_em is structurally determined. It is not a free parameter. The substrate stiffness Λ_sub ≈ 2.15 × 10⁴⁶ determines c. c constrains the leakage. The leakage is ε. ε is the electron. The electron’s coupling to the connection is α_em. One chain. One knob. The value follows from the structure.

5.2 — Why it cannot be derived from within

Two things must be distinguished. “Determined” means: the value is fixed by the structure; it is not a free parameter; it could not be otherwise. “Derivable from within” means: there exists a finite chain of deductions from {S, B, R, C} that terminates in α_em = [number]. α_em is determined but not derivable from within.

You cannot derive the coupling of the now from inside the now. You can only measure it. Deriving is record-writing. To derive α_em from within the argument would require writing a record of the now — but the now is precisely what exists before any record is written.

This is not a failure of the argument. It is a prediction.

The argument predicts that α_em is structurally determined but empirically known — the value is fixed by the axioms, there is no other value it could have, but the number itself can only be obtained by looking outward, at what the break left behind. The value can be checked from outside via the fixed-point equation (AP24 section 5.4–5.5). The number can be checked. It cannot be proved from within.

Every other quantity treated in this dependency chain is derivable from {S, B, R, C}: the number of dimensions, the field equations, the Born rule, the uncertainty principle, the spin-statistics theorem, the gauge symmetries, the photon. These are the structure looking at itself. You can derive them because they are inside the record. α_em is the structure looking outward.

5.3 — The formal status

The argument derives:

(i) α_em exists and is nonzero (AP15: ε couples to the connection; AP06 Theorem 3.1: leakage is nonzero for finite c).

(ii) α_em is not a free parameter (AP06 section 10.5: six faces, three pairs, three constraint equations; section 10.7: the constraint path c → α_em → ε → G).

(iii) α_em < 1 (AP06 section 2.4: for the physical value of c, α is less than unity; the coupling is sub-maximal).

(iv) α_em is paired with α/β in the six-face structure (AP06 section 10.5, AP08 section 5).

The argument does not derive:

(v) The numerical value 1/137.036.

And the argument explains why it does not: the coupling of the now to its own field is the one quantity that requires measurement. It is the empirical face. The full analysis of α_em’s structural status — including its necessary irrationality and unprovability from within — is in AP24.

KS-4 remains LIVE — HARD. Not because the argument has failed to close it. Because it is structurally the kind of thing that stays live. It is the architecture’s empirical contract: this is the number you check us against.