Manuscript VIII-ST@1 · VIII-ST.tex · definition · fe979f3b
Definition: Canonical description block
Finite encodings and reversible composition · lines 1712–1734
VIII-ST@1#def:block, VIII-ST@1#eq:bits
Reserve one block of
bits, containing:
24 reports;
the exact signed parameter;
installed and supplied-token indices;
a 16-bit control reserve for schedule stage, source stage, mode, two one-bit permissions, validity, and padding;
six location bits for each of original names.
Fixed identifiers, frame, formulas, and code dictionaries belong to separately charged programme storage. The canonical decoder reconstructs the exact symbolic geometry from the index, parameter, mode, and formulas. Reports are consistency data, not the underlying geometry.
Displayed formulas in this passage
VIII-ST@1#eq:bits · line 1715
Nearby in this section
- section: Finite encodings and reversible composition
- section: Finite encodings and reversible composition
- proposition: Proposition: Exact guard versus report
- section: Finite encodings and reversible composition
- theorem: Theorem: Exact reversible implementation with retained inputs
- section: Finite encodings and reversible composition