43 sections found. Current publication documents are listed before historical material.
E8 audit and bootstrap
Reading [formula in source] against today's compiler atoms, the secondary-branching atlas and the [formula in source] anchor power sums [formula in source] , 25 of the 27 rungs are load-bearing numbers (machine-checked):
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_3_e8_audit_bootstrap/sections/009-section-further-audit-lemmas-machine-verified-this-round.tex · lines 293 to 389
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.
E8 audit and bootstrap
at (0.35,58) [formula in source] — E-series / atlas branchings (UV); at (0.35,40) [formula in source] ; at (0.35,30) [formula in source] \,(Coxeter rung, [formula in source] ); at (0.35,24) [formula in source] — [formula in source] , [formula in source] , [formula in source] ; at (0.35,15) [formula in source] (IR atoms); at (0.35,8) [formula in source] \,(flavor selector, end); at (0,60.5) [formula in source] start;
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_3_e8_audit_bootstrap/sections/010-section-three-views-of-one-spine.tex · lines 1 to 48
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- 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 file citation v91_spine_tetrahedron.py
literal source filename/path in TeX
E8 audit and bootstrap
The old cascade's ``fundamental relations near [formula in source] '' connect directly to the current note — one is identical, two are early forms of current refinements:
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_3_e8_audit_bootstrap/sections/010-section-three-views-of-one-spine.tex · lines 49 to 73
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.
E8 audit and bootstrap
The old cascade also carried calibrated absolute scales: per block, one unit [formula in source] was fixed on a single reference and every other scale in the block followed fit-free from the ratio law [formula in source] (Paper V1.06, App. C). These block assignments are the place where the proton mass, the EW masses and the CMB temperature lived. The honest question is: has the new compiler re-derived each of these,
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_3_e8_audit_bootstrap/sections/010-section-three-views-of-one-spine.tex · lines 74 to 112
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v49_readout_rigidity.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 tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v71_simple_r_bridge.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v86_nstar_reheating.py
literal short identifier uniquely resolves in local script registry
E8 audit and bootstrap
The flavor selector [formula in source] is the terminal orbit of the [formula in source] cascade; the compiler is the cascade's IR endpoint. The atlas branching blocks ( [formula in source] ) are the cascade's UV head ( [formula in source] ); the secondary atlas and the orbit cascade are the same spine read top-down vs.\ as subalgebras. The anchor power sums sit on doubled-exponent rungs: [formula in source] ( [formu
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_3_e8_audit_bootstrap/sections/010-section-three-views-of-one-spine.tex · lines 113 to 145
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.
E8 audit and bootstrap
The question, and the honest answer. The theory rests on two inputs, [formula in source] and [formula in source] . The old theory had a Möbius seam and the seed was the start of the [formula in source] cascade. Run it backwards: can the cascade/ [formula in source] return [formula in source] and [formula in source] , closing a self-consistent loop? Answer: the discrete content is a closed, overdetermined fixed point
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_3_e8_audit_bootstrap/sections/010-section-three-views-of-one-spine.tex · lines 146 to 156
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.
E8 audit and bootstrap
Two independent structural conditions, both pure Lie-theory, force [formula in source] once [formula in source] is the closure object and [formula in source] is the four-puncture family geometry:
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_3_e8_audit_bootstrap/sections/010-section-three-views-of-one-spine.tex · lines 157 to 254
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
E8 audit and bootstrap
The boundary normalisation is [formula in source] . Its integer is exactly the carrier Coxeter number, which the loop above equals to the [formula in source] rank: [formula in source] where [formula in source] is Euler's totient (the number of primitive residues mod [formula in source] [formula in source] the [formula in source] exponents) — so the `` [formula in source] '' has five concordant readings. The tree seed
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_3_e8_audit_bootstrap/sections/010-section-three-views-of-one-spine.tex · lines 255 to 276
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.
E8 audit and bootstrap
What the loop does not remove is [formula in source] . In the old theory this is exactly the Möbius datum: the orientable double cover of the Möbius fibre is a cylinder with two boundaries plus one [formula in source] seam [formula in source] ; Gauss–Bonnet gives [formula in source] (hence [formula in source] ), and the [formula in source] identification is the sheet `` [formula in source] '' of [formula in source] .
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_3_e8_audit_bootstrap/sections/010-section-three-views-of-one-spine.tex · lines 277 to 401
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
E8 audit and bootstrap
The previous section identified the seam's boundary [formula in source] -sphere with the celestial sphere of null directions ( [formula in source] , clock [formula in source] order- [formula in source] M\"obius map v180_clock_is_mobius.py). Taking that identification seriously and reading the seam through the celestial-holography lens (the celestial-chiral-algebra construction of Bittleston–Homans–Sharma on ALE space
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_3_e8_audit_bootstrap/sections/011-section-the-celestial-and-twistor-continuum-route-label-.tex · lines 1 to 363
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
E8 audit and bootstrap
Step 16 — the back-reacted [formula in source] : closed form, integral periods, forced charge [formula in source] / . The M1 milestone preregistered in Step 15 is now executed, with the preregistered SUCCESS criterion met and neither KILL fired. The residue [formula in source] -form of the family is derived, not assumed: on [formula in source] all three ambient representatives satisfy [formula in source] and pull bac
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_3_e8_audit_bootstrap/sections/012-source.tex · lines 1 to 374
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
E8 audit and bootstrap
Step 26 — the twist-state kill: the ninth side-blind test, and the free-plus-twist class is exhausted / . Step 22 left one named door: marks decorating the state (defect/twist insertions). That door is now decided negative, exactly as preregistered (KILL) — the ninth side-blind test on the v512 scoreboard ( [formula in source] ). Every well-defined mark-decorated state functional in the free-plus-twist class is RP-bl
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_3_e8_audit_bootstrap/sections/013-section-honest-status-bootstrap-not-creation-from-nothin.tex · lines 1 to 312
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
E8 audit and bootstrap
What is genuinely shown : [formula in source] is an overdetermined fixed point of the [formula in source] closure (two independent Lie-theory conditions); the integer `` [formula in source] '' in [formula in source] is the carrier Coxeter [formula in source] [formula in source] rank; the discrete data closes a loop. The earlier landscape scan confirms [formula in source] is the unique value at which all hierarchies/f
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_3_e8_audit_bootstrap/sections/013-section-honest-status-bootstrap-not-creation-from-nothin.tex · lines 313 to 348
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v506_seam_clock_rigidity.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v499_p2_weights_deligne_bg.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v507_seam_bit_origin.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 AnchorLadder.lean
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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v510_seam_bit_freedom.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v512_seam_tau_flag.py
literal short identifier uniquely resolves in local script registry
- explicit lean symbol CarrierRankUniqueness.lean
exact texttt symbol under explicit Lean/theorem context
- 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 v216_marks_gauss_bonnet.py
literal short identifier uniquely resolves in local script registry
- explicit file citation PascalLadder.lean
literal source filename/path in TeX
- cross reference join PascalLadder.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
- explicit file citation v108_pascal_ladder.py
literal source filename/path in TeX
E8 audit and bootstrap
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_3_e8_audit_bootstrap/sections/013-section-honest-status-bootstrap-not-creation-from-nothin.tex · lines 349 to 351
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.
E8 audit and bootstrap
This is the complete current ledger of what is not fully closed, graded by how hard the gap is.
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_3_e8_audit_bootstrap/sections/014-section-the-honest-open-items-list.tex · lines 1 to 69
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v69_d4_q_geometry.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v9_neutrino_texture.py
literal source filename/path in TeX
- explicit script identifier v371_ftransfer_pole.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v375_observatory_registry.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
- 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
- explicit script identifier v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v370_grav_spin2_unitarity.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 script identifier v358_grav_entropy_equilibrium.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v304_idg_nonlocal_ghost.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v380_grav_kms_hessian.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v71_simple_r_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
- explicit script identifier v359_grav_nonlinear_einstein.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v49_readout_rigidity.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
E8 audit and bootstrap
All seven maximal slices of [formula in source] were scanned for the unassigned quantities. The rule was a meaningful (low-complexity) compiler/slice expression matching to [formula in source] ; matches that need a free fitted factor are reported as misses.
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_3_e8_audit_bootstrap/sections/014-section-the-honest-open-items-list.tex · lines 70 to 119
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.
E8 audit and bootstrap
The one scan lead worth following is [formula in source] . Splitting [formula in source] the [formula in source] branching [formula in source] decomposes exactly as:
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_3_e8_audit_bootstrap/sections/014-section-the-honest-open-items-list.tex · lines 120 to 157
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.
E8 audit and bootstrap
The audit/bridge identities of this document (marked , ) are re-derived from [formula in source] 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] (load-bearing). v4_flavor_matrix.py — the spectral selector [formula in source] , minors [
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_3_e8_audit_bootstrap/sections/014-section-the-honest-open-items-list.tex · lines 158 to 173
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join YukawaTrilinearForm.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join YukawaPrimitive.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 CalderonInterface.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v5_e8_cascade.py
literal source filename/path in TeX
- explicit file citation v6_bootstrap.py
literal source filename/path in TeX
- explicit file citation v4_flavor_matrix.py
literal source filename/path in TeX
- explicit file citation README.md
literal source filename/path in TeX
- explicit file citation run_all.py
literal source filename/path in TeX
- explicit file citation v1_e8_glue.py
literal source filename/path in TeX
- cross reference join CarrierRankUniqueness.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
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.