TFPT document library
Find the argument. Follow its sources.
Read a compact guide, open a particular document, or trace a topic to the LaTeX module and verification sources that discuss it.
Reading editions
Compact reading guide
The introduction’s core chapters, with its computational reference appendix and dated history available separately.
OpenVerification catalog
The complete registered module index as a separate reference volume. Descriptions retain their stated scope.
OpenComplete document set
The original complete PDFs, research contracts and publication history remain available under their established names.
OpenOne source registry
The registry inventories 985 authored LaTeX source files, 116 document entry points and 6693 section records. It connects physical source locations, topics, Python checks, ledger claims, and explicit Lean or Wolfram references. Historical and generated material is identified separately.
A citation identifies a source; it does not establish that source’s mathematical or physical conclusion. Suggested topic matches are navigation hints. Original statements, assumptions and the status ledger remain authoritative.
Navigate by topic
Topic suggestions help locate relevant sections. Consult each registry record for explicit evidence links and its original scope.
Active documents and editable sources
Research changelog
documents/changelog/main.tex
371 section records · entry point changelog.tex
TFPT — Introduction and reading guide
documents/introduction/main.tex
403 section records · entry point introduction.tex
E8 and the Gaussian code
documents/note_e8_gaussian_code/main.tex
17 section records · entry point note_e8_gaussian_code.tex
Origin Theory
documents/origin_theory/main.tex
28 section records · entry point origin_theory.tex
Architecture, E8 and the electromagnetic fixed point
documents/tfpt_1_architecture_e8/main.tex
76 section records · entry point tfpt_1_architecture_e8.tex
Standard Model and flavor structure
documents/tfpt_2_standard_model/main.tex
65 section records · entry point tfpt_2_standard_model.tex
E8 audit and bootstrap
documents/tfpt_3_e8_audit_bootstrap/main.tex
43 section records · entry point tfpt_3_e8_audit_bootstrap.tex
Frontier and open physical interfaces
documents/tfpt_4_frontier/main.tex
26 section records · entry point tfpt_4_frontier.tex
Red-team audit
documents/tfpt_5_redteam/main.tex
16 section records · entry point tfpt_5_redteam.tex
Horizon readouts
documents/tfpt_horizon_readouts/main.tex
24 section records · entry point tfpt_horizon_readouts.tex
Research contracts
documents/tfpt_research_contracts/main.tex
157 section records · entry point tfpt_research_contracts.tex
Verification safeguards
documents/tfpt_safeguards/main.tex
16 section records · entry point tfpt_safeguards.tex
Verification reference catalog
verification_catalog.tex
6 section records · entry point verification_catalog.tex