Manuscript X-Enter-ST@1 · X-Enter-ST.tex · remark · f76acc1f
Remark: What is assumed and what is proved
Stage A: the inherited host and the frozen coefficient › The convolution input contract · lines 384–393
Positivity in (eq:gap) is an inherited classical input, as it is in X-Enter. It is not inferred here from the word “convolution,” and no new kernel formula is invented to establish it.
All readout theorems below are proved from the explicit contract above. Thus their dependence on the unreconstructed classical source is visible and minimal.