References

IXC

Landmark IX-C: Actual-functional factorization and coefficientwise coherence for one sharp ordered word. Supplied source, IX-C.tex. Used for the explicitly reported carrier, calibration, first-stage, one-edge, descent, and obstruction-boundary statements.

IXA

N. Cheung. Landmark IX-A: An off-shell admission domain and boundary-sensitive topology for sharp Cauchy relational insertions. Companion identified in IX-C as IX-A.tex. Statements used here are reported through IX-C and restated in Assumption ass:carrier; the companion proof is not independently certified.

IXB

Landmark IX-B: Derivative-stable triangle calibration and counterterm constraints for sharp Cauchy insertions. Companion identified in IX-C as IX-B-v2.tex. Statements used here are reported through IX-C and restated in Assumption ass:calibration.

VIID

Finite part of the regulated Cauchy-reflection triangle: A strong numerical distributional limit for the VII-C family. Companion identified in IX-C as VII-D.tex. Used only through the explicitly restated analytical premise.

VIIC

Landmark VII-C: A mixed-Wick obstruction to a normal-topology boundary extension for sharp Cauchy harmonic insertions. Companion identified in IX-C as VII-C.tex. Its conditional obstruction boundary is retained as reported in the supplied source.

Hormander

L. Hörmander. The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis. Springer. Standard distribution kernel and wavefront product, pullback, and pushforward calculus.

Demanet

L. Demanet. Waves and Imaging. MIT course notes for 18.325, draft December 20, 2016. Chapter 8, especially Section 8.1, on operations on wavefront sets.

Melrose

R. B. Melrose. Differential Analysis. MIT lecture notes for 18.155 and 18.156. Background on distributions, kernels, and wavefront sets.