Manuscript X-A-conv-ST@1 · X-A-conv-ST.tex · section · 8ca47088
Two explicit certificate levels
Support, kernels, and the source-specific chart certificate › Two explicit certificate levels · lines 1299–1313
The original ramp reserve may cover for its own test without covering , the parent convolution supports, or the parent gauge region. Therefore it does not automatically establish (eq:fullcertificate).
No claim is made that the supplied host description by itself proves either certificate for the numerical placement . The supported statements below have these explicit hypotheses. This is a restriction on the interpretation claimed, not a reduction of after finding the defect.