Manuscript I-B-G@2 · I-B-G-v2.tex · section · 3b4d700f
Complete destructive reporting
A finite Enter catalogue of supplied evaluations › Complete destructive reporting · lines 2143–2152
This is the finite instrument of I-B CheungIB (:instrument), used in X-B-ST and compared with En09-A CheungXBST,CheungEn09. It reports installed data; it does not calculate an unknown kernel by destructive readout. A finite-register input state in this theorem is not a state of the continuum field.