Hypothesis: C4: Local completeness

A compatible family of finite discrete experiments with convergent declared supports in a fixed compact set and total-variation-convergent complete outcome laws determines an experiment in $\mathcal{X}$. Membership and identifications use the stated operational realization, not support alone.