2026-07-19 (editorial — positioning section TFPT in the light of algorithmic physics: Zuse–Schmidhuber–Wolfram added to introduction [formula in source] website mirror; no result, no status change)
Research changelog · TFPT — Introduction and reading guide
introduction.tex — new section ``TFPT in the light of algorithmic physics''. Positions the compiler against the Zuse–Schmidhuber–Wolfram algorithmic-physics lineage: three shared instincts (minimum description length as the selection principle, deterministic resource-bounded generation, compressibility as the aesthetic) and three deliberate divergences (one forced program vs.\ an ensemble of all universes; an algebra
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/008-source.tex · lines 251 to 264
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.