Assumption: Matched gauge spacetime realization

A family has:

1. local physical observable nets and complete localized devices satisfying the one-layer support theorem;

2. an embedding of their complete device and report footprints into a common spacetime, with shrinking footprints;

3. a uniform physical cone upper bound on every dependency path;

4. matched realizing families for local modifications, retaining the same unchanged complete device actions and joint initial restrictions;

5. convergent complete report laws on fixed finite alphabets.

For a referenced conclusion, the corresponding joint reference interfaces and restrictions are included.