Finite interfaces and normalization

This definition is an output-accounting convention. It is not a theorem that physical inside and outside regions factorize. Gauge constraints, dressing, and observable algebras can obstruct naive subsystem identifications DG.