Short native bounded-uncertainty controls
22 of 24 cases pass; this gate is not qualified. Two sampled-rate disc cases miss the dense-reference agreement check. Their height-envelope endpoints differ by about 26–32 micrometres. These are uncertainty-envelope comparisons, not aircraft position errors or model votes.
All cases returned, with no optimizer starts, noise draws, original-recording reads or protected-data reads. The fixed source and environment request, compiled source/binary bindings, all charges, all outcomes and the two failed checks are preserved. No tolerance is changed and this completed trial cannot be retried.
Next: separately diagnose the dense and structured numerical calculations. Nonlinear coverage remains unestablished, and no new observed fitting is released.