H2: the moduli computation, set up explicitly
Standard Model and flavor structure
H2 (Theorem 4 of the parabolic note) is reduced to: the [formula in source] -equivariant stable parabolic structure on [formula in source] realises the spectral-selector branch. We set up the finite computation and verify the selector.
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/011-subsection-seam-response-grammar-gravity-is-the-inverse-.tex · lines 200 to 306
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v49_readout_rigidity.py
literal short identifier uniquely resolves in local script registry
- 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 file citation v27_wall_representative.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 AnchorLadder.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
- explicit file citation v491_p2_partition_corollary.py
literal source filename/path in TeX
- explicit script identifier v69_d4_q_geometry.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v70_q_integer_lift.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v53_compiler_core.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v19_monodromy_moduli.py
literal source filename/path in TeX
- explicit file citation v49_readout_rigidity.py
literal source filename/path in TeX
- explicit file citation v69_d4_q_geometry.py
literal source filename/path in TeX
- explicit file citation v70_q_integer_lift.py
literal source filename/path in TeX
- explicit file citation v499_p2_weights_deligne_bg.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v26_flavor_frontier_unification.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
- explicit script identifier v71_simple_r_bridge.py
literal short identifier uniquely resolves in local script registry