Definition: Operational declaration

An operational declaration specifies:

1. a language tag, a finite party or slot set for each experiment, and finite-dimensional input and output Hilbert spaces;

2. admissible preparations and local instruments, including any restrictions on interventions;

3. the accessible output systems and records, with every attempted outcome and failure retained in the declared interface;

4. which auxiliary systems and classical controls participate, and which references are untouched;

5. the operational equivalences, relabellings, and comparison maps;

6. the event labels, their interpretation, and the proposed relation to be extracted;

7. whether the supplied data are exact mathematical maps or probabilities, or finite statistical observations;

8. any family of experiments, refinements, or extensions used to enlarge the event carrier.

A finite party set in one experiment does not require the full experiment family or the event carrier to be finite.