Front matter / support
Standard Model and flavor structure
The ``which sheet does parity select'' question above had a blocker: no independently motivated sector [formula in source] sheet map. The cover supplies one itself. At each branch point the anchor block is rank one, with canonical integer kernels: [formula in source] — at the carrier point the block annihilates the democratic vector itself. Collapse lemma : rank one forces [formula in source] , hence proportional to
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_2_standard_model/sections/005-subsection-closing-the-audit-gates-is-m-41-k-q-derived-o.tex · lines 1 to 160
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v61_cft_bridge.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join GlueUniqueness.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 file citation v72_q_det_from_cusp.py
literal source filename/path in TeX
- cross reference join BoundaryYukawaKernelInterface.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v97_sheet_conjugation_bridge.py
literal source filename/path in TeX
- explicit file citation v92_glue_uniqueness.py
literal source filename/path in TeX
- explicit file citation v50_q_geometry.py
literal source filename/path in TeX
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join TfptCarrier.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v70_q_integer_lift.py
literal source filename/path in TeX
- explicit file citation v96_branch_kernel_selection.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v46_grand_mass_volume.py
literal source filename/path in TeX
- explicit file citation v98_discriminant_dictionary.py
literal source filename/path in TeX
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v69_d4_q_geometry.py
literal source filename/path in TeX
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v11_unique_KQ.py
literal source filename/path in TeX
- cross reference join AuditCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred