Manuscript X-B-ii@1 · X-B-ii-v1.tex · section · f1377602

The four items

Closure items, endings, and evidence › The four items · lines 264–287

Back to manuscript

X-B XB constructs one normalized retarded map for the scalar-only field content and records four scope statements without separate proof documents. They are closed here as follows.

  1. Scope. Restate the boxed field content as a proposition about the constructed objects and list the non-goals.

  2. One-contraction boundary. Decide whether the one-contraction check (X-B, eq:contraction-check) is promoted to a family of time-ordered maps. The ending chosen is the explicit non-extension note: the check is proved for its one pair, and it is proved that the tools of the sheet define no second pair.

  3. Normalization sheet. Record the one map, state what its transposed notation means, and settle the status of contact terms relative to the classical normalization.

  4. Branch B. List, without opening, the data an independent quantum-metric branch would require, and the non-relabeling rule.