Definition: Peak laboratory occupancy

For a finite decoder programme $\pi$,

The count includes:

• accessible input qubits already delivered;

• working ancillas;

• recovered output until its final return;

• retained syndrome and quantum-record registers.

Inaccessible boundary systems, undelivered streaming inputs, and external references are outside laboratory occupancy. They remain inside the channel specification.