Proposition: Geometry-class exclusion is its own test

Suppose a confidence region $\mathcal{K}$ covers the true complete operational law with probability at least $1-\alpha$. Let ${\mathcal{P}}_{\mathcal{G}}$ include all laws permitted by the declared geometric model and its joint nuisance allowances. Reject that model only if

The probability of rejecting a true member of that declared class is at most $\alpha$. Nonempty intersection establishes consistency, not uniqueness or spacetime emergence.

Proof. If the model is true, its actual law belongs to ${\mathcal{P}}_{\mathcal{G}}$. On the confidence-coverage event it also belongs to $\mathcal{K}$, preventing rejection.