Debugging and non-claims

The revision corrects the following points:

• Smooth uniqueness is proved in the relevant unrestricted class, rather than inferred from an ambiguous reading of a localization statement.

• Past compactness is defined explicitly and is not confused with compact support in the open slab.

• The repeated derivative index is $\alpha$, avoiding confusion with the frequency $\lambda$.

• Coordinate forcing is proved spatially noncompact on the nonempty interval $(\epsilon ,T)$; both real and imaginary components are checked.

• “The compact-source theorem does not apply” replaces any wording suggesting that every inherited construction fails.

• The existence of a coordinate solution and of a restricted extension is affirmative, not left as a supposed nonexistence issue.

• The broader smooth-source definition reported by XVI-F-v3 is acknowledged; its retarded use must be matched to the inherited completion.

• The root limitation is a limitation on direct substitution, not a prohibition on valid polarization.

• The current XVI-F-v3 compatibility result replaces the earlier unresolved-residual status.

No claim is made of:

• repair of X-G or XI-G;

• new admission into a microcausal polynomial class;

• construction of a compact class kernel or a quantum retarded coefficient;

• a general distributional operator-domain extension;

• a cutoff-modified witness;

• a sharp-width limit or uniform estimates as $\epsilon \downarrow 0$;

• an interacting BRST/BV construction, loop, state, or ultraviolet subtraction.

The auxiliary extension is a specified smooth-source construction, not a distributional extension theorem. The inverse coefficient $-1$ is not $-4$. A response contraction is not an insertion, and a smooth response is not a class kernel. No successful compiler execution or full-corpus verification is represented.