Front matter / support
technical companion
The Stage 2 statement thm:cmb_seam_phase_realization carries three named obligations that must be discharged before the conjecture can be promoted to a theorem-level deterministic sky prediction: Canonical seam-state lift. The closed-branch determinant-line phase [formula in source] must be lifted to a determinate element of the spectral basis [formula in source] of [formula in source] on a finite-mode truncation, in
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/archive--tfpt-45--source_extracts--technical_companion_source/sections/002-source.tex · lines 1 to 383
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v2_carrier_pascal.py
literal short identifier uniquely resolves in local script registry
- cross reference join ArfSpinorCompiler.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred