Established in scope
Higgs determinant argument does not supply the upstream carrier map
In the question: Historical: common source, state and event selection
Audit of the specified archived origin chain and elementary bundle controls; no refutation of an actually supplied equivariant bosonic operator, P2 postulate, or conditional Lean theorem.
Read the exact result, assumptions and evidence
Result
The archived determinant argument uses X=-2P3+3P2 and an explicitly rank-two weak block before the later rank-two conclusion. H0(O(1))=C² alone determines neither rank E+ nor its operator kernel; the same determinant line occurs at different ranks and different h0. The Lean Higgs theorem explicitly assumes its linear identification with binary forms.
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
- PROOF.txt lines 52–82
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-source-origin-audit-20261016/PROOF.txt
f91443b115994302aa3b10d2a6b44131e13c3998b13d47b34aeaa59e25c86315
finding:higgs-determinant-does-not-discharge-carrier-map