Manuscript X-Enter-ST@1 · X-Enter-ST.tex · section · f76acc1f

The convolution input contract

Stage A: the inherited host and the frozen coefficient › The convolution input contract · lines 368–383

Back to manuscript

The bound is a source-coordinate bound, not a new physical length or time calibration. The symbol in (eq:gap) is a rod coordinate on the analytical completion; it is not asserted to be a global Cartesian function on the cone.

The positive charge is fixed during an orbit comparison. The variable being read is . An output may depend on frozen calibration data such as , or an encoding scale while being independent of . The orbit theorem forbids informativeness about , not the reporting of fixed metadata.

Nearby in this section