Manuscript IX-E-2@1 · IX-E-2.tex · bibliography · e70d9077
References
Conclusion · lines 1567–1594
IXE
Landmark IX-E: Binary time ordering and causal subtraction
on the declared sharp comparison sector.
Supplied manuscript IX-E.tex.
Used for the fixed domain, support ordering, first-stage
coefficients, retained-pair obstruction, algebraic relation test,
and conditional subtraction boundary.
Inputs
Internal prerequisite statements supplied for Landmark IX-E-2. The quoted statements from I–V, VI, VII-A–F, VIII-A–C, IX-A, IX-B, IX-D, IX-Free, and IX-Free-2 are imported only in the explicit forms recorded in this manuscript. No unprovided full-source theorem or nonzero old time-ordered map is reconstructed.
NIST
National Institute of Standards and Technology, Digital Library of Mathematical Functions, Sections 1.16 and 1.17(i). Background for distributional differentiation and delta-sequence interpretation. The regulator identities and pairing limits used here are proved directly.