Manuscript I-B-VP-0@1 · I-B-VP-0-v1.tex · section · 8a9d0682

Supported Green replacement does not replace the state

Companion interfaces and reporting discipline › Supported Green replacement does not replace the state · lines 1110–1147

Back to manuscript

In an angularly small chart

I-B-G defines an additional-arrival threshold and proves

Replacing an intrinsic retarded or advanced scalar operation by a completion operation requires its signed pair window, a local parallel frame, and the independent retained-shadow and compact-reserve conditions CheungIBG (:transfer, :transfer-contract). The ST scalar sheets retain these support obligations CheungXAST,CheungXBST,CheungXCST.

This theorem does not transfer a symmetric covariance or a vacuum state. In particular, it does not imply that the current must vanish in a short laboratory window. The current is a local observable of a globally specified spectral state, not a retarded signal with a newly assigned emission event.

XI-E's named polynomial Hadamard domain CheungXIE (:domain, :star) has its own flat-background multiplet and product. It does not select the present positive state or construct a conical interacting algebra. Conversely, evaluating the one-point current does not transfer that multiplet or establish interacting gauge closure.

Displayed formulas in this passage

  • unlabeled · line 1113

  • unlabeled · line 1119