28 sections found. Current publication documents are listed before historical material.
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
M. Takesaki, Tomita's Theory of Modular Hilbert Algebras and its Applications, Lecture Notes in Math.\ 128, Springer (1970). J. J. Bisognano, E. H. Wichmann, On the duality condition for a Hermitian scalar field / for quantum fields, J. Math.\ Phys.\ 16 (1975) 985–1007; 17 (1976) 303–321. K. Osterwalder, R. Schrader, Axioms for Euclidean Green's functions I, II, Comm.\ Math.\ Phys.\ 31 (1973) 83–112; 42 (1975) 281–30
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 20 to 42
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.
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
I. B. Frenkel, V. G. Kac, Basic representations of affine Lie algebras and dual resonance models, Invent.\ Math.\ 62 (1980) 23–66; G. Segal, Unitary representations of some infinite-dimensional groups, Comm.\ Math.\ Phys.\ 80 (1981) 301–342. T. J. Osborne, A. Stottmeister, Conformal field theory from lattice fermions, Comm.\ Math.\ Phys.\ 398 (2023) 219–289, arXiv:2107.13834, doi:10.1007/s00220-022-04521-8. (This is
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 43 to 71
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.
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.
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.
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
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.
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
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.
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.
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
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.
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.