Both internal placements of K 5

XIVC

N. Cheung, Landmark XIV-C: The joint two-line extension of one selected binary pair. Supplied manuscript XIV-C.tex. Retained characteristic stratum, positive relation, and contact rigidity.

XIIIC

N. Cheung, Landmark XIII-C: The joint two-line extension of one selected binary pair, on the unchanged carrier. Supplied manuscript XIII-C.tex. Four successor obligations and primitive collision extensions.

XIIIB

N. Cheung, Landmark XIII-B: One binary causal datum for the displayed coefficient, on the unchanged carrier. Supplied manuscript XIII-B.tex. Tree datum, retarded convention, ordered values, and properness boundary.

XIIE

N. Cheung, Landmark XII-E: Assembly of the second-order relational coefficient after admission of the density-weighted cubic insertion. Supplied manuscript XII-E.tex. Slot sign, roots, and existing completion kernels.

XIIC

N. Cheung, Landmark XII-C: One declared cubic weighting: actual Euler source, changed Noether identity, and the coupled-jet question. Supplied manuscript XII-C.tex. Fixed density representative and actual source.

XVA

N. Cheung, Landmark XV-A: The free quantum BV carrier for the ramp Einstein–scalar multiplet. Supplied manuscript XV-A.tex. Recorded free-carrier prerequisite and comparison boundary only; not an analytic input to the coefficient.

Hormander

L. Hörmander, The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis, second edition, Springer, 1990. Fourier distributions, tensor products, pullbacks, and wavefront calculus.

Wunsch

J. Wunsch, Microlocal analysis and evolution equations: Lecture notes from the 2008 CMI/ETH Summer School, arXiv:0812.3181v3, 2023. Section 8: individual conormal and Lagrangian conventions. No general transition theorem is imported from these notes.

BGP

C. Bär, N. Ginoux, and F. Pfäffle, Wave Equations on Lorentzian Manifolds and Quantization, ESI Lectures in Mathematics and Physics, European Mathematical Society, 2007, arXiv:0806.1036. Causal Green operators and support conventions. The internal multiplier used here is computed explicitly.

FR

K. Fredenhagen and K. Rejzner, Perturbative algebraic quantum field theory, arXiv:1208.1428v2, 2013. Functional products and their domain distinctions. No renormalized product for the present nonlocal pair is imported.

BF

R. Brunetti and K. Fredenhagen, “Microlocal analysis and interacting quantum field theories: Renormalization on physical backgrounds,” Communications in Mathematical Physics 208 (2000), 623–661, arXiv:math-ph/9903028. Recorded extension framework only; not applied to the missing characteristic target.

Dang

N. V. Dang, “The extension of distributions on manifolds, a microlocal approach,” Annales Henri Poincaré 17 (2016), 819–859, arXiv:1412.2808. Recorded microlocal extension framework only; no characteristic prescription is imported.