Capacity restriction and its monotonicity

A total capacity sum is also not sufficient for local allocation. A register needed in one region must fit its local capacity, unless an explicitly permitted distributed placement implements the construction. All forcing results below concern a single laboratory of capacity $N$, with the coherent gates of Assumption ass:class.