Manuscript XVI-J@1 · XVI-J.tex · section · 6c1f306d
Checklist of external interfaces
Conventions, inherited inputs, and the selected sector › Checklist of external interfaces · lines 335–375
The ambient propagator is defined and checked in Section sec:propagator; its signs are not left as an unverified external input.
| Interface | Source and treatment | Used for |
|---|---|---|
| Preparation | Fixed supplied preparation; hypothesis | Smooth source jet and fixed-width statements |
| Source and density | XII-C@1: eq:finite-curvature, eq:ell3, eq:Ccoefficients, thm:actualsource; formulas specified here | Definition and algebra of the selected sector |
| Polarization | Supplied revised XVI-H and revised XVI-I; normalization retained | Factor |
| Root compactness | XII-D@1 root interface; assumed | Compact output support and proper pushforward |
| Root wavefront bound | Same interface; assumed separately | Distributional product at root attachment |
No theorem about admission, the frozen XI-G obstruction, or the entire quantum carrier is needed for the construction below.