Find the original argument.

Search the paper sections, open their original context and follow the checks they actually cite. The knowledge atlas explains the result; this library locates its source.

Matching source sections

26 sections found. Current publication documents are listed before historical material.

Lattices and quadratic forms.

origin theory · tfpt research contracts · tfpt 1 architecture e8 · tfpt 2 standard model · tfpt research contracts · tfpt 1 architecture e8 · input 4 origin theory · Origin Theory · Architecture, E8 and the electromagnetic fixed point · Standard Model and flavor structure · Frontier and open physical interfaces · Horizon readouts · Research contracts · input 4 origin theory

J. H. Conway, N. J. A. Sloane, Sphere Packings, Lattices and Groups, 3rd ed., Grundlehren der math.\ Wiss.\ 290, Springer (1999). C. L. Siegel, \"Uber die analytische Theorie der quadratischen Formen (the Minkowski–Siegel mass formula), Ann.\ of Math.\ 36 (1935) 527–606.

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Origin Theory Read the paper: Architecture, E8 and the electromagnetic fixed point Read the paper: Standard Model and flavor structure Read the paper: Frontier and open physical interfaces Read the paper: Horizon readouts Read the paper: Research contracts

Source location and explicit evidence links

tex-artefacts/tfpt_references.tex · lines 72 to 79

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

No explicit verification citation is attached to this section in the registry.

Singularities and geometry.

E. Brieskorn, Beispiele zur Differentialtopologie von Singularit\"aten, Invent.\ Math.\ 2 (1966) 1–14. J. Milnor, Singular Points of Complex Hypersurfaces, Ann.\ of Math.\ Studies 61, Princeton Univ.\ Press (1968).

Opening source excerpt. Formulas and the full argument remain in the original document.

Source location and explicit evidence links

tex-artefacts/tfpt_references.tex · lines 80 to 87

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

No explicit verification citation is attached to this section in the registry.

Spectral geometry, gravity and thermal time.

A. H. Chamseddine, A. Connes, The spectral action principle, Comm.\ Math.\ Phys.\ 186 (1997) 731–750. A. Connes, C. Rovelli, Von Neumann algebra automorphisms and time–thermodynamics relation in general covariant quantum theories, Class.\ Quantum Grav.\ 11 (1994) 2899–2918. R. M. Wald, Black hole entropy is the Noether charge, Phys.\ Rev.\ D 48 (1993) R3427–R3431. H. Casini, M. Huerta, R. C. Myers, Towards a derivati

Opening source excerpt. Formulas and the full argument remain in the original document.

Source location and explicit evidence links

tex-artefacts/tfpt_references.tex · lines 88 to 100

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

No explicit verification citation is attached to this section in the registry.

Front matter / support

origin theory · tfpt research contracts · tfpt 1 architecture e8 · tfpt 2 standard model · tfpt research contracts · tfpt 1 architecture e8 · input 4 origin theory · input 5 tfpt 3 e8 audit bootstrap · TFPT — Introduction and reading guide · Origin Theory · Architecture, E8 and the electromagnetic fixed point · Standard Model and flavor structure · E8 audit and bootstrap · Frontier and open physical interfaces · Red-team audit · Horizon readouts · Research contracts · input 4 origin theory · input 5 tfpt 3 e8 audit bootstrap

Two inputs, one compiler. From the boundary constant [formula in source] (axiom P1) and the five-slot carrier [formula in source] (axiom P2) — jointly the elementary symmetric data of one anchor [formula in source] — the discrete compiler [formula in source] is built, and the Standard-Model skeleton (gauge group, three families, hypercharges, the flavor matrix), the dimensionless constants ( [formula in source] ) and

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: TFPT — Introduction and reading guide Read the paper: Origin Theory Read the paper: Architecture, E8 and the electromagnetic fixed point Read the paper: Standard Model and flavor structure Read the paper: E8 audit and bootstrap Read the paper: Frontier and open physical interfaces Read the paper: Red-team audit Read the paper: Horizon readouts Read the paper: Research contracts

Source location and explicit evidence links

tex-artefacts/tfpt_status.tex · lines 1 to 84

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v330_qgamb_admissible_measure.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
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
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 v358_grav_entropy_equilibrium.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 script identifier v60_lambda_metrology_branch.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 status_ledger.csv
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v335_seam_equiv_unify.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v473_entropic_action_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_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 v469_seam_crossedproduct_route.py
literal short identifier uniquely resolves in local script registry
cross reference join SeamEdgeChern.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v369_qgamb_redundancy.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v368_seam_s3_inflow.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v379_seam_s3_rp.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v359_grav_nonlinear_einstein.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 v76_gmetric_reduction.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 v153_no_unit_theorem.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 SeamResidualAxiom.lean
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 v378_seam_s3_modular.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v725_phys_vgeo_torsor_audit.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v336_continuum_limit.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 SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v377_seam_s3_e8character.py
literal short identifier uniquely resolves in local script registry

Front matter / support

origin theory · tfpt research contracts · tfpt 1 architecture e8 · tfpt 2 standard model · tfpt research contracts · tfpt 1 architecture e8 · input 4 origin theory · input 5 tfpt 3 e8 audit bootstrap · TFPT — Introduction and reading guide · Origin Theory · Architecture, E8 and the electromagnetic fixed point · Standard Model and flavor structure · E8 audit and bootstrap · Frontier and open physical interfaces · Red-team audit · Horizon readouts · Research contracts · Verification safeguards · input 4 origin theory · input 5 tfpt 3 e8 audit bootstrap · Verification reference catalog

positioning,arrows.meta,fit,backgrounds,calc,shapes.geometric,shapes.misc

Opening source excerpt. Formulas and the full argument remain in the original document.

Source location and explicit evidence links

tex-artefacts/tfpt_style.tex · lines 1 to 145

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit file citation status_ledger.csv
literal source filename/path in TeX

Front matter / support

origin theory · tfpt research contracts · tfpt 1 architecture e8 · tfpt 2 standard model · tfpt research contracts · tfpt 1 architecture e8 · input 4 origin theory · input 5 tfpt 3 e8 audit bootstrap · TFPT — Introduction and reading guide · Origin Theory · Architecture, E8 and the electromagnetic fixed point · Standard Model and flavor structure · E8 audit and bootstrap · Frontier and open physical interfaces · Red-team audit · Horizon readouts · Research contracts · Verification safeguards · input 4 origin theory · input 5 tfpt 3 e8 audit bootstrap · Verification reference catalog

Opening source excerpt. Formulas and the full argument remain in the original document.

Source location and explicit evidence links

tex-artefacts/version.tex · lines 1 to 22

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

No explicit verification citation is attached to this section in the registry.

What this source index covers

The public registry includes 116 document views, 6,693 section records and 985 physical LaTeX sources. Active publication documents, research material and archives retain their recorded roles. This is source navigation, not a new semantic review or proof run.

Complete structured registry How source relations are recorded Knowledge and evidence coverage