Predecessor claims are not silently imported

The preparation materials contain excerpts labelled XI-A, XI-B, XI-C, X-G, and XVI-A through later XVI identifiers, with some claims depending on additional versions or unprovided sources. Here they are documentary context, not independently verified premises.

In particular, this paper does not assume that:

• a gauge-fixed free inverse establishes an invariant sourced Einstein jet;

• a classical tree construction establishes a closed time-ordered contraction;

• admission of a Wick insertion establishes admission of its insertion–vertex product;

• one witness contraction determines the complete kernel;

• a source modification changes its free-shell class;

• a selected two-edge sector is the full retained contraction.

Any future use of a predecessor theorem must first match its actual hypotheses, definitions, version, and operation domain.

Registration and a retrieval restatement are not proof checks. Conversely, the absence of registration is not a mathematical nonexistence theorem.