Copied ramp premises

-inputs. The obstructed convolution coefficient and its X-Enter readout do not enter any proof. Neither supplies a cancellation for the ramp observable. VII-A, VI, VII-B, VII-C, IX-E-2, and IX-E-3 are comparison only. The cone condition associated with VII-B can be named as a test; its sharp exclusion is not a premise about (eq:Lambda). No earlier boundary topology or kernel identification is transferred.