Model specification: Access declaration

The access model is:

1. every local finite-outcome qubit-input/qubit-output instrument is admitted;

2. each party uses its process input/output interface once in a selected experiment;

3. local auxiliary implementations are allowed insofar as they induce the declared instrument maps on that interface;

4. no extra shared ancillary resource is inserted into the signalling tests; correlations already present in $W$ remain allowed;

5. settings are chosen independently of the process resource; the tests use no interparty classical feed-forward outside the declared process;

6. the receiver output used for extraction is its local classical instrument record; sender and other-party records are summed;

7. every outcome, including any declared failure, belongs to the complete outcome alphabet;

8. no postselection on another party's record is used to define influence.

There is no spatial location, distance, speed, or spacetime causal relation in ${\mathsf{A}}_0$.