2026-09-29 (CLXIII): Executable TFPT explorer and consolidated session synthesis
Research changelog · TFPT — Introduction and reading guide
The new tfpt_explorer package connects the origin principles, algebraic compiler, geometric and topological structures, physical readouts, and their evidence in an executable process with a guided graphical tour. It includes source browsing, verification and experiment discovery, and a Lean bridge that preserves the distinction between formal statements and executable numerical checks. Six recent source documents and
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/001-source.tex · lines 103 to 121
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.