16 sections found. Current publication documents are listed before historical material.
Verification safeguards
-1.2cm TFPT — Safeguards against Coincidence and Numerology\\[2mm] The verification discipline: how every load-bearing claim is defended against chance, fitting and over-reading
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_safeguards/preamble.tex · lines 1 to 43
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.
Verification safeguards
You are reading the Safeguards companion (S): it collects, in one place and in one language, every mechanism by which TFPT protects a claim against coincidence — the status calculus, the anti-fitting rules, the over-determination accounting, the firewall, the frozen predictions and null model, the two independent proof paths (Wolfram, Lean), the red team, and the honest residual. It introduces no new physics; it make
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_safeguards/sections/001-section-the-risk-and-the-shape-of-the-answer.tex · lines 1 to 30
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.
Verification safeguards
The honest danger for TFPT is not that an individual number is wrong — the arithmetic is usually clean — but closure inflation: that an exact, discrete compiler closure is read, or worded, as a physical closure. Every safeguard below exists to hold that one line. None of them, alone, turns syntax into semantics; together they make the discrete core hard to dismiss as chance and impossible to oversell as a finished Th
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_safeguards/sections/001-section-the-risk-and-the-shape-of-the-answer.tex · lines 31 to 43
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.
Verification safeguards
Every claim carries one of four display markers: \ exact / proven (identity, Lie/lattice theorem, Lean-formalised, or numerical fixed point), \ conditional (physical, under named hypotheses), \ open / axiom / anchor, \ falsifiable kill test. The finer per-claim type (Axiom / Formal / Lattice / Numerical / Identity / Physical) lives in the single source of truth, verification/status_ledger.csv; the papers and the webs
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_safeguards/sections/001-section-the-risk-and-the-shape-of-the-answer.tex · lines 44 to 55
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Verification safeguards
The forward discipline / generator-economy audit ( v305_witness_independence.py, null model v100_numerology_null_mc.py) admits an identity as load-bearing only if it is derivationally necessary, kills alternatives, is ablation-relevant, links modules, or is experimentally testable; admissible invariant classes are bounded in advance. The complementary reverse audit ( E8.REVERSE.AUDIT.01) asks the honest opposite ques
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_safeguards/sections/001-section-the-risk-and-the-shape-of-the-answer.tex · lines 56 to 76
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Verification safeguards
The strongest positive evidence is over-determination, but it must be counted honestly. The framework is a sharp axis ( v427_overdet_witness_map.py, extending the generator-economy audit v305): evidence multiplies only across genuinely disjoint grammars; many readouts from one generator are a compression gain, not independent multiplication. The hard part is classifying TFPT's own witnesses correctly — and applying t
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_safeguards/sections/001-section-the-risk-and-the-shape-of-the-answer.tex · lines 77 to 159
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Verification safeguards
Two safeguards keep the boundary between the closed core and external physics sharp. The firewall. The four frontier transfers — [formula in source] (Koide), [formula in source] ( [formula in source] ), [formula in source] (axion), [formula in source] ( [formula in source] ) — are typed interfaces, a discrete compiler kernel composed with an external continuous solver. A guard ( v187_ftransfer_laws.py) reads the ledg
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_safeguards/sections/001-section-the-risk-and-the-shape-of-the-answer.tex · lines 160 to 178
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Verification safeguards
Predictions are frozen before confrontation, and a match is scored against chance, not admired in isolation. The frozen registry ( v84_frozen_registry.py, REG.FREEZE.01) fixes every dimensionless prediction at [formula in source] digits, re-derived from the two axioms each run (a formula [formula in source] value lock). The null model then runs an exact census of the full declared formula grammar over the [formula in
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_safeguards/sections/001-section-the-risk-and-the-shape-of-the-answer.tex · lines 179 to 215
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Verification safeguards
A single implementation can share a single bug; TFPT therefore re-derives the exact core twice more, independently. An independent Wolfram engine ( GATE.WOLFRAM.01/ GATE.WOLFRAM.02): [formula in source] base checks plus a [formula in source] extension mirror every exact algebraic / identity / lattice result in a different computer-algebra system, ending ALL WOLFRAM CHECKS PASSED. (Numerical ODE/PDE results are Python
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_safeguards/sections/001-section-the-risk-and-the-shape-of-the-answer.tex · lines 216 to 230
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Verification safeguards
The adversarial audit (companion tfpt_5_redteam) does not defend; it attacks. It declares six targets — A (the seam [formula in source] identification), B (the carrier truncation [formula in source] ), C (the [formula in source] area law), D (the ratios [formula in source] reduction), E (whether one scale carries the theory), F (the perturbative 4D-QFT round) — states what survives each, and reduces every survivor to
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_safeguards/sections/001-section-the-risk-and-the-shape-of-the-answer.tex · lines 231 to 240
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.
Verification safeguards
The safeguards are only credible with explicit kill tests (companion ``How to kill TFPT''). Among the frozen ones: a fourth chiral generation (breaks [formula in source] ); a genuinely free fundamental constant that is not an [formula in source] -closure fixed point; a seam denominator [formula in source] ; [formula in source] away from the fixed-point root; a stable [formula in source] far from [formula in source] a
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_safeguards/sections/001-section-the-risk-and-the-shape-of-the-answer.tex · lines 241 to 253
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Verification safeguards
@lYl@ Layer & What it defends against & Artefact \\ Status calculus & a \ claim read as & ledger [formula in source] audit_sync.py \\ No free pattern [formula in source] reverse audit & cherry-picking, decorative identities & v305/ v100/ v431/ E8.REVERSE.AUDIT.01 \\ Over-determination map & rhetorical ``everything multiplies'' (incl.\ our own miscount) & v427/ v428/ v432/ v436 \\ Firewall [formula in source] No-Unit
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_safeguards/sections/001-section-the-risk-and-the-shape-of-the-answer.tex · lines 254 to 274
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v375_observatory_registry.py
literal short identifier uniquely resolves in local script registry
- 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
- 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 v432_overdet_floor.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v427_overdet_witness_map.py
literal short identifier uniquely resolves in local script registry
- explicit file citation audit_sync.py
literal source filename/path in TeX
- explicit script identifier v431_e8_degree_ladder.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v187_ftransfer_laws.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v84_frozen_registry.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v100_numerology_null_mc.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v305_witness_independence.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v428_overdet_reclass.py
literal short identifier uniquely resolves in local script registry
- 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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v436_overdet_floor2.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v384_residual_certification.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 v213_ftransfer_functor.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
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 · 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.