Manuscript VII-J@1 · VII-J.tex · section · d8c01b04
Composing relations through an update
Localization and the exact physical-containment theorem › Composing relations through an update · lines 739–746
A change in register number is allowed if allocation and discard are channels with stated local supports. A newly prepared independent factor has no model-input predecessors. A state-dependent remapping must include its controller.