Manuscript VIII-C@3 · VIII-C-v3.tex · section · 3b070436
Composite code domains and separate semantic classes
Finite reversible implementation › Composite code domains and separate semantic classes · lines 1882–1909
VIII-C@3#eq:composite-domain
Let denote a prescribed finitely encoded word, with deterministic canonical code maps. For each command let be its finite domain. Define
The domain includes canonical reports, exact clocks, finite indices, permissions, valid locations, and stage data.
Separately, is the class of matter states for which every supplied token along the decoded word satisfies its current semantic promise. Membership is not a finite circuit test.
Let append all required clean history and work registers. Each command receives a fresh history block. Previous histories remain retained and inaccessible to geometric control. An allocated monotone schedule-stage field separates each command's designated input and output sets.
Displayed formulas in this passage
VIII-C@3#eq:composite-domain · line 1888