Manuscript VIII-ST@1 · VIII-ST.tex · section · fe979f3b
State of a description
Guarded flow and a complete five-command history › State of a description · lines 1475–1498
A description configuration contains:
Here is the catalogue index, the exact slice parameter, distinguishes incoming and outgoing zero germs, contains source and schedule stages, and are separate nonnegative permissions. The original-name location table uses only explicitly permitted persistent slots.
For the concrete operational instance, original names occupy a resting collar slot , extruded along the axial direction. No name is assigned to a collapsed outgoing cell or to the defect. The location word is abstract catalogue metadata; actual laboratory positions are supplied independently.
The command clock , an execution counter, geometric time , and the finite destructive-clock label are different objects.
Displayed formulas in this passage
unlabeled · line 1478