Definition: Supported laboratory

A supported presentation consists of:

1. a regular developing chart and a relatively compact laboratory region with closure disjoint from $\mathcal{W}$;

2. compact spatial collars, finite marked cells, and compactly supported tests used by the declared observations;

3. finite quantum and classical registers, their locations, and every controller variable inspected by an operation;

4. a finite schedule with explicit input and output ports and no undeclared incoming boundary inputs.

Any background exterior labels are fixed metadata. No global Cauchy theorem, Green operator, or intrinsic conical field theory is part of this presentation.