References

IXFreeTwo

Landmark IX-Free-2: Degree-four descent and overlap agreement for one sharp ordered word. Supplied manuscript, IX-Free-2.tex. Entering relative construction of the truncated partial product, degree-four descent, charge separation, simultaneous gluing, wordwise coherence, reversal, and F9a.

IXFree

Landmark IX-Free: Actual-functional binary factorization of one sharp ordered word. Supplied manuscript, IX-Free.tex. Source of the canonical graph outputs, degree-two maps, and analytical-premise boundaries. Its former degree-four and overlap stop is superseded, for the declared sector, by IX-Free-2.

IXC

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

IXA

N. Cheung. Landmark IX-A: An off-shell admission domain and boundary-sensitive topology for sharp Cauchy relational insertions. Companion reported in the supplied sources. Carrier, charge, sharp adjoint, nonconvergence, and conditional switch statements are used only through their explicit inherited restatements.

IXB

Landmark IX-B: Derivative-stable triangle calibration and counterterm constraints for sharp Cauchy insertions. Companion reported as IX-B-v2.tex. Used through the inherited numerical calibration and descendant premise.

VIIC

Landmark VII-C: A mixed-Wick obstruction to a normal-topology boundary extension for sharp Cauchy harmonic insertions. Companion reported in the supplied sources. Its obstruction is retained only under its original joint hypotheses.

VIID

Finite part of the regulated Cauchy-reflection triangle: A strong numerical distributional limit for the VII-C family. Companion reported in the supplied sources. Used only through the stated analytical premise.

DF

M. Dütsch and K. Fredenhagen. Causal perturbation theory in terms of retarded products, and a proof of the Action Ward Identity. Reviews in Mathematical Physics 16 (2004), 1291–1348. arXiv:hep-th/0403213. Background on the separate causal construction and its higher retarded-product obligations; no automatic sharp carrier extension is invoked.

FR

K. Fredenhagen and K. Rejzner. Perturbative algebraic quantum field theory. arXiv:1208.1428v2, 2013. Sections 4–7 on functional support, Green operators, free quantization, time ordering, and renormalization. Used for background, not as an existence theorem for the present nonlocal sharp sector.