Manuscript VIII-B@3 · VIII-B-v3.tex · assumption · 3aa6baa1
Assumption: Spectator-blind deterministic control
Spinless packets and the matching contract › Control and the sourced-step signature · lines 511–523
VIII-B@3#ass:control
For a fixed named source embedding, equal incoming geometry, controller state, source permission, geometric resource reservation, declared frame, interpolation flag, and accessible source functional select equal applicability results, sourced rules, realizations, certificates, abstract original-name transports, and successor controller states.
Spectator locations and history storage are reserved separately. Their number and state do not change the geometric or sourced update budget.