Conditional result
Discrete classes are not a selected common connection
In the question: Seam connection and family action
Applies to connecting discrete/topological classes to a concretely acting common carrier; it does not claim that the holonomy class asserted by the original theorem is undefined.
Read the exact result, assumptions and evidence
Result
The theorem lists [nabla_F*] and Chern classes in its singleton. The audited lift formula constructs the carrier action only once A_E is supplied; the original connection on the common carrier and Phi therefore remain to be specified as a source step.
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 128–171
Source checked at this snapshot
Original location and fingerprint
documents/archive--tfpt-45--source_extracts--02_carrier_source/sections/009-source.tex
27114e2ce775346dac11c53ecb77871453f3ecf226fe40951f8b3099bdea6b05
- PROOF.md lines 34–56
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-boundary-lift-selection-20260922/PROOF.md
2429cb31655e4d0711ba895825d740fe18f6a4e39677a987b61a5cd97c21addd
- PROOF.md lines 168–170
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-boundary-lift-selection-20260922/PROOF.md
2429cb31655e4d0711ba895825d740fe18f6a4e39677a987b61a5cd97c21addd
finding:joint-discrete-data-vs-connection