76 sections found. Current publication documents are listed before historical material.
Architecture, E8 and the electromagnetic fixed point
tocsectionMaster statement Five carrier slots give [formula in source] ,\ four family corners give [formula in source] ,\ and [formula in source] gives the [formula in source] atlas. Equivalently: [formula in source] , [formula in source] , [formula in source] ; [formula in source] , [formula in source] , the [formula in source] Coxeter structure and the action ladder read the same five-slot pair-decuple. The Standar
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_1_architecture_e8/sections/011-source.tex · lines 306 to 355
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.
Architecture, E8 and the electromagnetic fixed point
The lift is reproducible by a short script (all entries below verified exactly).
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_1_architecture_e8/sections/012-source.tex · lines 1 to 47
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.
Architecture, E8 and the electromagnetic fixed point
The single sharpest reviewer test is: was the closure [formula in source] engineered so that [formula in source] comes out? The honest answer is an ablation — vary each input and see which actually move the root. Three one-parameter scans (all others held at their compiler values) separate the load-bearing integers from the fine last-digit selector.
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_1_architecture_e8/sections/012-source.tex · lines 48 to 119
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Architecture, E8 and the electromagnetic fixed point
The load-bearing identities of this document (marked , , ) are re-derived from [formula in source] alone and machine-checked by the suite in the repository folder verification/; the inline tags [verification/ [formula in source] ] point to the exact script. Relevant here: v1_e8_glue.py — the [formula in source] glue ( [formula in source] , [formula in source] , [formula in source] ). v2_carrier_pascal.py — [formula i
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_1_architecture_e8/sections/012-source.tex · lines 120 to 139
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v3_em_alpha.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 run_all.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 v7_gravity_cosmo.py
literal source filename/path in TeX
- explicit file citation README.md
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 ArfSpinorCompiler.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v4_flavor_matrix.py
literal source filename/path in TeX
- explicit file citation v1_e8_glue.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
- explicit file citation v2_carrier_pascal.py
literal source filename/path in TeX
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
Plain language: TFPT (Topological Fixed-Point Theory) is a small discrete compiler. Two inputs — the seam constant [formula in source] and the carrier rank [formula in source] — build [formula in source] and read off the Standard-Model skeleton, the constants and the scale grammar. The series is the introduction plus five numbered papers and four companions (plus one standalone working note), best read in order: intr
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
tex-artefacts/tfpt_docset.tex · lines 1 to 44
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
\\[2pt] [formula in source] — the unique even unimodular rank- [formula in source] glue \ [E] exact (lattice).
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
tex-artefacts/tfpt_figures.tex · lines 1 to 150
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
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 1 to 11
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
The TFPT discrete core (the two axioms, the [formula in source] glue, the integer skeleton) is self-contained and machine-checked. Its bridges to continuum/AQFT physics, to gravity and to the lattice/singularity picture build on established mathematics, listed here by topic; the body refers to these by author name.
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 12 to 19
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
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.