Manuscript VII-E-ST@1 · VII-E-ST.tex · assumption · d28d9c5d
Assumption: Complete spectator blindness
Continuations, deferred readout, and spectator blindness › The first spectator theorem · lines 686–695
VII-E-ST@1#ass:blind
Adding inaccessible spectator names does not alter: the chosen rule or channel, exact guards, capacity checks, certificates, successor labels, controller updates, or transport of original names. Spectator storage and any required spectator location history are reserved separately. The controller does not inspect spectator outcomes or spectator cardinality.