The contractor preserves feasible possibilities

All 24 frozen identities pass. Exact signed intervals are enclosed, known contradictions are reported, and weak constraints leave the original region unchanged. The coupled controls retain all 768 exactly checked feasible points and all seven unidentified coordinates; the other feasible controls add 16 retained points. All 27 coordinates remain present.

This is a necessary-constraint calculation. It does not establish measurement noise or a nonlinear approximation bound. A region can be narrowed only when those input allowances are independently supported over its entire original box. The next generated native test will measure how much useful information survives that requirement, rather than choosing a narrow box around an answer.

The study completed in 1.58 seconds with zero native evaluations, archive reads or fits. Its freeze and unused allowance are sealed.

Results · Frozen limits · Roadmap.