Manuscript IX-C-ST@1 · IX-C-ST.tex · section · 892f50c4
Finite evaluation records and a normed comparison
Shared finite clock, certificates, and regular transport › Finite evaluation records and a normed comparison · lines 888–893
The complete-instrument distinction agrees with the VII-E, VII-F, and VIII comparison records STInterfaces. A finite table does not determine a residual source functional.