The compact status formula: three honest layers
TFPT — Introduction and reading guide
[formula in source] TFPT v \ closes the discrete compiler; the discrete Standard-Model structure (charges, families, flavor operators) is derived under the axioms, while [formula in source] D existence, chiral measure, mirror gap, couplings and neutrino dynamics remain open. It closes the EM fixed point, the admissible gapped IR sector and the [formula in source] spectral-action shadow. It does not yet certify a stri
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/introduction/sections/002-section-the-dependency-dag-and-the-proof-ledger.tex · lines 60 to 94
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v368_seam_s3_inflow.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v68_seeley_dewitt_residual.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v56_unique_attractor.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 SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v76_gmetric_reduction.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v376_seam_s3_centralcharge.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v14_carrier_uniqueness.py
literal source filename/path in TeX
- explicit file citation v60_lambda_metrology_branch.py
literal source filename/path in TeX
- cross reference join SpectralGapAttractor.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v77_e8_conformal_net.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 v6_bootstrap.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 v367_seam_s3_lattice.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 v75_upoint_to_vgeo.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 SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v78_vgeo_floor.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v379_seam_s3_rp.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join CarrierRankUniqueness.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