Manuscript En03-A@1 · En03-A.tex · section · 5398614e
Complete control and resource accounting
Typed interfaces and semantic configurations › Complete control and resource accounting · lines 548–554
The controller selects commands, guards, support, and capacity checks. Every state-dependent register, queue, timing signal, applicability predicate, and readable transport history is part of that interface.