Front matter / support
Research contracts
The address table acquires its structure — on word-length integers frozen in v18/ v20, long before today's readings (the red-team firewall). (i) The lepton words are the atoms : [formula in source] in mass order (longest word [formula in source] lightest lepton). (ii) Addresses [formula in source] division by the hexagon : [formula in source] with [formula in source] itself an atom: [formula in source] , [formula in
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_research_contracts/sections/006-source.tex · lines 1 to 290
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v134_dual_anchor.py
literal source filename/path in TeX
- explicit script identifier v134_dual_anchor.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_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v18_quark_yukawa.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v75_upoint_to_vgeo.py
literal source filename/path in TeX
- cross reference join YukawaPrimitive.lean
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 v34_h2_bridge_attempt.py
literal source filename/path in TeX
- explicit script identifier v69_d4_q_geometry.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
- explicit script identifier v118_hexagon_family_dictionary.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
- explicit file citation v49_readout_rigidity.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
- 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_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v122_margin_theorem.py
literal source filename/path in TeX
- explicit script identifier v117_monodromy_weyl_a3.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v40_harmonic_metric.py
literal source filename/path in TeX
- explicit script identifier v20_lepton_c_derivation.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
- explicit file citation v71_simple_r_bridge.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v70_q_integer_lift.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
- explicit file citation v142_frame_integrality.py
literal source filename/path in TeX
- explicit script identifier v139_selector_triangle.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v33_explicit_flat_bundle.py
literal source filename/path in TeX
- explicit script identifier v71_simple_r_bridge.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v95_centered_diamond.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v39_uwall_selectors.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 v119_review_validation_2.py
literal source filename/path in TeX
- explicit file citation v136_dual_normal_selector.py
literal source filename/path in TeX
- explicit file citation v45_family_exterior.py
literal source filename/path in TeX
- explicit file citation v120_address_table.py
literal source filename/path in TeX
- explicit file citation v121_address_pinning.py
literal source filename/path in TeX
- explicit script identifier v41_leg_assignment.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_extension.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
- 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
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v44_carrier_exterior.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 v135_det_surface.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 v4_flavor_matrix.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v42_exterior_leg.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v145_pairing_atoms.py
literal source filename/path in TeX
- explicit script identifier v98_discriminant_dictionary.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v43_exterior_bridge.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 file citation v42_exterior_leg.py
literal source filename/path in TeX
- explicit script identifier v46_grand_mass_volume.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
- explicit script identifier v68_seeley_dewitt_residual.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v119_review_validation_2.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v49_readout_rigidity.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v149_cusp_normal.py
literal source filename/path in TeX
- explicit file citation v139_selector_triangle.py
literal source filename/path in TeX