Begin with independently measured effects, transitions and constraints. Seek one model that accounts for them together. A familiar outcome is a reconstruction target, not an input disguised as a prediction.
Closure asks which values of the target quantity remain after imposing the conditions and removing physical duplicates. Zero-dimensional does not mean unique: several isolated solutions can remain. Saturation asks whether proven lower bounds can be attained together; choosing a minimum is an additional step.
For binary A, B and C, demand A=B, B=C and A≠C with certainty. Each pair is separately possible, even with uniform one-variable marginals. Together the demands contradict each other. Adding hidden variables cannot repair the contradiction while retaining all three exact demands.
The present architecture does not fix Yukawa magnitudes, mixing angles, θ_QCD or the cosmological constant. Consistency and topology alone leave these quantities free within the tested packages. An added hypothesis needs its own registration and possible failure.
The register →v0.26 · 28 September 2026