References

IXFree

Landmark IX-Free: Actual-functional binary factorization of one sharp ordered word. Supplied source, IX-Free.tex. Used for the explicitly stated relation kernels, degree-two presentation injectivity, scalar descent, graph existence and admission, degree-two maps, reversal, and fixed-support continuity.

IXC

Landmark IX-C: Actual-functional factorization and coefficientwise coherence for one sharp ordered word. Companion reported in the supplied IX-Free source. Used through the copied first stages, one-edge values, interfaces, and preservation boundaries.

IXA

Landmark IX-A: An off-shell admission domain and boundary-sensitive topology for sharp Cauchy relational insertions. Companion reported in IX-Free. Used through the stated carrier, intrinsic charge, sharp adjoint, and classical closure premises.

Calibration

Landmark IX-B: Derivative-stable triangle calibration and counterterm constraints for sharp Cauchy insertions; and Finite part of the regulated Cauchy-reflection triangle. Companions reported in IX-Free. Used only through the inherited numerical parent-calibration premise, not independently reverified.

VIIC

Landmark VII-C: A mixed-Wick obstruction to a normal-topology boundary extension for sharp Cauchy harmonic insertions. Companion reported in IX-Free. Its original conditional obstruction boundary is retained.

FR

K. Fredenhagen and K. Rejzner. Perturbative algebraic quantum field theory. Lecture notes, arXiv:1208.1428v2, 2013. Section 4, especially the microcausal functional-derivative condition, and Appendix A on wavefront sets. https://arxiv.org/abs/1208.1428

Ivrii

V. Ivrii. Partial Differential Equations. Online textbook, Section 9.1: Wave equation in dimensions three and two. Kirchhoff and Duhamel formulas. https://www.math.toronto.edu/ivrii/PDE-textbook/Chapter9/S9.1.html