F0: Independent reproduction.
Research contracts · tfpt universalraum synthesis 2026-09-12
Obtain and pin the original 17- and 66-family certificates before using their strongest claims as local premises; then audit the non-Slater and cyclotomic irreducibility certificates. Keep the 133-dimensional product extension separate. Success means the same exact ranks, coefficient fields and class definitions, with numerical conditioning reported separately. Unavailable originals mean ``not reproduced'', not ``fal
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
tex-artefacts/toe_universalraum_synthesis_20260912.tex · lines 345 to 352
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.