What role [formula in source] now plays exactly
TFPT — Introduction and reading guide
[formula in source] is no longer the starting point but the output format: Bookkeeping: [formula in source] is the unimodular container in which carrier ( [formula in source] ) and family ( [formula in source] ) fit together consistently. Its numbers [formula in source] are carrier traces, not inputs. Consistency test: unimodularity ( [formula in source] ) is a hard condition; it closes only because the discriminant-
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 191 to 216
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.