Definition: Finite embedded fixed-wire instrument network

An admitted network consists of the following data.

1. A finite directed acyclic graph, with typed quantum or classical wire ports and explicitly named input and output interfaces.

2. A spacetime event $z_v$ for every vertex. Every directed wire edge has future-causal endpoints and is represented geometrically by the straight segment between them.

3. For every payload vertex, a complete finite-dimensional instrument on its entire declared input interface, with the entire output interface specified. Locally controlled payloads may read declared classical input wires. Their output types and wire routing do not depend on the outcomes.

4. Explicit allocation, preparation, consumption, and terminal interfaces. A default experiment has a product preparation on its declared initial registers and no undeclared shared resource.

5. Labelled report acquisitions. Each label names the local payload readout which first exposes that report. A report used downstream has a declared physical wire. A tuple retained only for statistical bookkeeping is not thereby a communication wire.

6. All retained quantum, classical, apparatus, and environmental storage segments which belong to the chosen physical realization.

7. A nonempty compact declared support $K$ containing the physical network support $F$, and a specified class of matched payload modifications.

The skeleton consists of all these data except the variable payload maps. In particular, skeleton data include register types, routing, acquisitions, and allowed modification locations.