Main Technical Development
02 carrier rigidity standard model packet
This section contains the main technical development assigned to this paper by the TFPT 4.5 clean split. Cross-paper background is referenced through dependency and scope boxes; extended backend material is kept in the Technical Companion.
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/archive--tfpt-45--02_carrier_rigidity_standard_model_packet/sections/002-section-seam-winding-as-source-of-the-integer-conditions.tex · lines 194 to 265
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join BoundaryYukawaKernelInterface.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join AuditCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join SeamWindingInterface.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v11_unique_KQ.py
literal short identifier uniquely resolves in local script registry
- cross reference join AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred