Manuscript X-D@3 · X-D-v3.tex · section · b7774529
The four assumptions, copied
VII-C checklist: copied hypotheses and failed match › The four assumptions, copied · lines 1215–1258
The cross-references in the original wording refer to VII-C's fixed product and normal-topology stages . No such stage is being substituted for .
{}1.14
| Item | VII-C requires | X-D constructs |
|---|---|---|
| (E1) | Its de Donder multiplet polynomial domain, with the fixed Wick matrix | The free scalar algebra only. The backgrounds remain classical; no block is present. |
| (E2) | Admission of , retaining the exact sharp insertion on all smooth configurations | Smooth compact scalar tests at fixed backgrounds. No VII-C mixed quantum kernel is admitted. |
| (E3) | Compact-mollified sharp kernels converging in the specified normal topology of | Ramp coefficient tests converging in . They are neither those kernels nor those approximants. |
| (E4) | Hypocontinuous extension and continuous extraction of the fully contracted triple coefficient | The word involving quantum is not formed. No extension of that coefficient is asserted. |
This is failure to match the required construction, not a claim that the scalar Wick product fails continuity. The assumptions are not established as a package on this sheet, and the mandatory objects needed for VII-C's contradiction are absent.