Declarations

response scope. The retarded map is a map on smooth configurations, defined locally by finite propagation. It is not a quantum retarded product or an interacting field map.

scope. The cone calculation proves membership of the new compact polynomial kernel in XII-A's domain. It neither enlarges that domain nor removes the predecessor obstruction.

correction. The raw advanced root can extend below the initial surface. A compact ambient collar representative is used only in pairings with the flat, nonnegative-time source coefficients. No sharp cutoff or boundary distribution is introduced.

correction. The forcing convention $L{u}_{\mathrm{D}}={\mathcal{J}}_{\mathrm{D}}$ is distinguished from the action coefficient convention $Lr=-{\mathcal{J}}_{\mathrm{D}}$. The signed variation is proved for the former. A complete second-order relational observable has not been constructed by naming its algebraic companion.

scope. XII-C supplies the action and actual source. XII-A supplies the carrier and ordering maps. XI-B supplies the inverse normalization. XI-G supplies the unreopened old exclusion. The completed root and new cone bound are proved here.

. No successful pdflatex execution, proof-assistant check, independently executed symbolic calculation, independent referee review, or journal acceptance is asserted.