Manuscript XVI-O1-ST@5 · XVI-O1-ST-v5.tex · section · dd45e0d1
Complete destructive report instruments
Complete destructive report instruments · lines 510–529
XVI-O1-ST@5#eq:instrument
Fix a finite dictionary within declared representation and resource bounds. Let , , have calibrated orthonormal basis . Let contain all surviving laboratory registers, and install finite words carrying scope, package, evidence, status, and coefficient codes.
Put
The record retains even when two words coincide. Unused labels and failures have explicit words.
Displayed formulas in this passage
XVI-O1-ST@5#eq:instrument · line 521