Manuscript XI-C@1 · XI-C.tex · section · acec1422

Decision and the qualified XI-D handoff

Decision and the qualified XI-D handoff · lines 1255–1319

Gate	Result
Signed graviton inverse	$- P E_{0}^{R}$ , coefficient fixed
Joint fixed-width microcausal bound	Proved
Classical one-graviton contraction	Constructed
Cubic classical output domain	$P_{mc}^{(3)}$ , explicitly named
Intermediate metric and auxiliary response	Actual sourced solutions
Double-retarded normalization above ramp	Proved
Nonzero XI-A witness	Proved; jet not repaired
Causal support	Proved as inclusions
Actual insertion in XI-B's off-shell finite-generator domain	Not admitted; singular-kernel mismatch proved
Output in unchanged quantum algebra	Unresolved
Classical first-order background identity	Retained
Restricted classical second-order defect	Proved with sign convention
Quantum first/second-order composite identity	Not constructed here
Mixed loop	Named, unresolved
Cubic Einstein contraction	Omitted by scope, not proved zero
Interacting differential or BRST class	Not constructed
Sharp limit	Not taken

The literal frozen-algebra target ends at Unresolved, not Constructed. The reason is concrete: its singular polynomial inputs and output need an admission theorem beyond XI-B's finite linear-generator algebra. A wavefront bound establishes eligibility for an appropriate extension; it is not that extension.

The classical retarded problem, by contrast, is completely constructed. It has one normalized graviton line, a nonzero de Donder dressing for the named source, and an explicit background order boundary.

XI-D receives:

the cubic classical tree symbol and the sign $R_{γ, tree} = - T$ for the actual bare insertion;
the compact kernel bounds and causal support;
the double-retarded source-divergence normalization;
the restricted candidate and its forward defect $- A_{1} [L_{ξ} γ]$ , or the equivalent positive backward defect;
the demonstrated need for quantum composite admission;
the statement that $s_{0}$ is a free differential, not an interacting differential.

It does not receive an admitted quantum cubic coefficient, a Hadamard bisolution, a closed insertion, a loop extension, or a sharp limit. Supplying any of those would be an additional construction rather than a reinterpretation of the causal inverse.