Definition: Fixed-wire local experiment

At scale $n$, an admitted experiment has:

1. a finite deterministic schedule of active singleton or generator-pair blocks, with identity completion;

2. finite declared quantum and classical interfaces, deterministic wire routing and allocation interfaces, and complete locally controlled payload instruments;

3. a product default state on all declared initial registers, with no external shared random seed or correlated undeclared resource;

4. a fixed finite tuple of labelled report ports, each acquired by a local readout at its own tick and site;

5. a nonempty compact declared support $K_n$ containing all active input/output block footprints and all retained wire paths and dwell segments between their uses.

The readout acquisition times need not coincide. A report retained solely to calculate the joint law is not an operational communication wire. If used downstream, its physical wire must be declared.

The skeleton consists of everything except the locally controlled payload maps. The complete report law is ${\mu }_n$.