How derivation now works: the derivation map
TFPT — Introduction and reading guide
What can one concretely compute with [formula in source] ? The following map summarises what is now a consequence rather than an assumption.
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/introduction/sections/003-section-the-compiler-why-30-2-cdot3-cdot5.tex · lines 100 to 138
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.