Hypothesis: C3: Locality-compatible operational realization

There is a class $\mathcal{X}$ of limit experiments with declared compact operation and readout supports, satisfying:

1. Every experiment has a realizing family of finite discrete experiments whose complete outcome laws converge in total variation and whose operation footprints approach the declared supports.

2. Realization is compatible with finite disjoint composition and with the declared recorded continuations.

3. If two limit experiments differ only by a modification in a compact set $K^{\prime }$, they admit matched realizing families: the schedule and unchanged background are common, all discrete modification footprints approach $K^{\prime }$, and their initial snapshots agree outside the declared discrete initial modifications. Common readouts have common discrete realizations.

The same clauses may be required with an untouched reference as an additional operational interface.