Complete source derivative component qualification
The first ten-control study preserves nine passing mathematical checks. The mean-value check stopped before evaluation because its charging call omitted the explicit zero packet-step field. Its failure and 25 charged bounds remain recorded; that study is complete and will not restart.
This separate freeze supplies the missing zero field. The physical source, interval arithmetic, independent references and tests are unchanged. Repeat the same ten identities with a new finite allowance. Require every control to complete and pass before native integration is considered.
Separate finite allowance
- Ten identities, at most 26 bounds and 85 logical bound steps, no retries.
- Five source initializations, including expected failures.
- Reserve 41 rational rotation/derivative references before evaluation.
- Four single-thread workers; cooperative 120-second overall limit.
- No trajectory evaluations, LP calculations, observed aircraft data, protected ESA observations or optimizer starts.
The covered cases remain five independent rational rotation checks, zero-motion calibration, a nonzero source prefix, both clock-boundary slopes, the cubic mean-value example and input rejection. Keep all 27 physical columns, fixed working memory and explicit reference-rounding allowances.
Freeze code, tests, inputs, compiler and environment. Preserve both studies. Passing qualifies the component on known answers, not training transfer, native propagation, useful complete prediction widths or observational confidence. Those remain separate gates.