Identified links and capacity

Identified parallel edges are retained because each activation consumes one identified token and creates one identified edge. If active edges were instead an unlabelled set of endpoint pairs, activating a second parallel token would not preserve the scalar count.

A configuration carries:

where $\lambda :L\to V$ labels live names and

Measurement removes names and their tensor factors. It does not remove the region containing them. Permanent capacity retirement is a separate update.