Neutrinos
Standard Model and flavor structure
The neutrino sector is the Majorana branch of the same construction: [formula in source] . @p3.6cmp5.2cmc@ Quantity & Origin & Value \\ [formula in source] & [formula in source] (UV), closure [formula in source] & [formula in source] \\ [formula in source] & primary (freeze): [formula in source] (seed, [formula in source] ); two derived variants in the named box & [formula in source] (NuFIT 6.0 [formula in source] )
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/006-section-neutrinos.tex · lines 1 to 262
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v3_em_alpha.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v88_cp_phase_audit.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 v338_theta13_budget.py
literal source filename/path in TeX
- explicit file citation v263_mnu_from_df.py
literal source filename/path in TeX
- explicit file citation v482_seesaw_rung_decision.py
literal source filename/path in TeX
- cross reference join BoundaryPolarization.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v253_kappa_scalaron_ps.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v482_seesaw_rung_decision.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v488_majorana_clebsch_door.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 v2_carrier_pascal.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v355_e8_unmapped_bandwidth.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- 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 HiggsSchemeCohomologyShadow.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v252_full_finite_triple.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v272_nu_mass_scale.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1024_parent_internal_boundaries.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v320_galois_cp_relation.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v50_q_geometry.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v328_theta13_pressure.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v478_entropic_continuum_legs.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v272_nu_mass_scale.py
literal source filename/path in TeX
- explicit script identifier v393_corrections_numeric.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v16_solar_dual_anchor.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 file citation v481_seesaw_carrier_ladder.py
literal source filename/path in TeX
- explicit file citation v488_majorana_clebsch_door.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 v986_nu_scalaron_rung.py
literal source filename/path in TeX
- explicit script identifier v481_seesaw_carrier_ladder.py
literal short identifier uniquely resolves in local script registry
- 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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v86_nstar_reheating.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v270_pmns_jarlskog_assembly.py
literal source filename/path in TeX
- explicit script identifier v233_cp_triality_phase.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v184_etaB_anchored_boltzmann.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 v249_ps_unification.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v468_dm2_ratio_jarlskog.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v306_seed_crossval.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v231_cp_mu6_phases.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1003_nu_structural_nulls.py
literal source filename/path in TeX
- explicit script identifier v470_alpha_inflow_level.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v1001_nu_pentagon_chain.py
literal source filename/path in TeX
- explicit file citation nu_texture_census_probe.py
literal source filename/path in TeX
- explicit script identifier v247_e8_branching_no126.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 v248_ps_algebra.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v270_pmns_jarlskog_assembly.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v406_pmns_phase_origin.py
literal source filename/path in TeX
- explicit script identifier v405_seam_equiv_omega.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 v467_thirdgen_mixing_pattern.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 tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v263_mnu_from_df.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v467_thirdgen_mixing_pattern.py
literal source filename/path in TeX
- explicit script identifier v185_axion_relic_solver.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v153_no_unit_theorem.py
literal short identifier uniquely resolves in local script registry
- cross reference join YukawaStageDExistence.lean
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 script identifier v268_theta13_carrier_trace.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v245_spectral_matter_content.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- 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 AuditCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v468_dm2_ratio_jarlskog.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 v268_theta13_carrier_trace.py
literal source filename/path in TeX
- explicit script identifier v354_e8_reverse_audit.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join ArfSpinorCompiler.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v10_projection_involution.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v9_neutrino_texture.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v725_phys_vgeo_torsor_audit.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- 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