Conditional result
Minimal EM transfer is exact in its stated response contract
finding:alpha-equation-is-fixed-input-closure
For the defined rank-one projector U_Sigma^min and stated parameters, T_Sigma=(1-delta_top exp(-2 alpha))^(-5/4) and the displayed scalar closure equation follow algebraically. This calculation does not independently prove physical selection of that projector, parameter set, or transfer to the Thomson readout.
Scope: Historical minimal-transfer definition with fixed readout; the single line has since been canonically reconstructed on the old circle. Neither this reconstruction nor independently proved root uniqueness is retracted. Original physical P1/EM mapping and renormalized Thomson observable remain separate.
Required premises and original source excerpts
- P1/P2 remain declared starting axioms
This program checks which additional source, state, event, and observable structures follow from accepted TFPT principles; it does not revoke or replace P1/P2.
premise:declared-p1-p2 - Model results remain conditional
Calculations in a fixed E8 net, quotient, family packet, or readout apply only under their stated inputs and do not select those inputs.
premise:fixed-input-models-scoped
- documents/archive--tfpt-45--source_extracts--03_em_flavor_source/sections/001-section-kernel-numerics-and-electromagnetic-closure.tex, lines 95–150
Source SHA256: 5fdbdc1b7d8af7f85e5fc2435f567402b3dbcb96938951e58e633cf42549c7e2
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/original-admissible-source-closure-20261025/DIRECT-DEFECT-CLOSURE.txt, lines 20–109
Source SHA256: 84a79c74da8b18387a3d2d8a9928e4a437a608120b52a46c7ede6392cf1128ff
bounded-excerpt · current-at-snapshot