Established in scope
The master functional already presupposes its minimal source
In the question: Historical: common source, state and event selection
Audit of this definition, not a disproof of all other selection theorems. Its electromagnetic alpha is not automatically the quarter-phase parameter in the CAR energy test.
Read the exact result, assumptions and evidence
Result
The definition fixes d*_disc and P_adm first. Its barrier is zero for B≅B_min and infinity otherwise. M therefore optimizes continuous xi on the already selected branch; this definition neither classifies B_min nor derives the least charge-one excitation rule.
Required assumptions
- 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.
- Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
Original evidence
- 009-source.tex lines 334–377
Source checked at this snapshot
Original location and fingerprint
documents/archive--tfpt-45--source_extracts--02_carrier_source/sections/009-source.tex
27114e2ce775346dac11c53ecb77871453f3ecf226fe40951f8b3099bdea6b05
finding:master-functional-presupposes-source-selection