Regrouped native-history qualification
Freeze 24 generated identities: all three physical candidates and both processing cases, each with four controls. Preserve the completed sources; this separately identified candidate changes algebraic bounding only.
- All-column tangent: eight-packet nonzero centers; finite differences of the regrouped point map for every one of 27 normalized parameters, compared with the unchanged native tangent. Keep every column, even weak ones.
- Boundary: dyadic packet periods and an exact internal endpoint, with a timing interval crossing the boundary and three declared parameter probes.
- Broad region: the original 400-packet generated flight and original physical limits, nonzero centers and all 27 coordinates; probe the lower, upper and a fixed interior point. No small fitted box replaces the region.
- Independent stationary pose: analytically generate angular increments that hold the fixed body frame under the declared model/removal and delta-V opposing gravity. Vary the time offset while the known pose remains fixed. This includes nonzero specified-field/removal cases.
The short tangent/boundary fixtures declare smaller timing limits so their entire query intervals remain inside the short packet records. These are software fixtures; broad-region controls retain the original flight limits. No observed-data calibration assumption changes.
Acceptance: centers and independent known poses agree within 1 micrometre per coordinate; all 27 finite-difference tangent columns agree within 20 micrometres per normalized parameter using a fixed 0.002 step; every probe's Taylor error fits its supplied global remainder plus the declared 10 micrometre arithmetic allowance. That allowance is an assumption, not a whole-program numerical certificate. All identities must pass. A failure stops the sequence and blocks dependent comparisons; no retries or threshold changes are allowed within this freeze.
Limits: 78 native calls / 19,632 native packet visits, 348 bound evaluations / 7,536 reserved bound packet steps, and 120 cooperative seconds overall. The six tangent identities reserve 55 bounds and one native call each; every other identity reserves one bound and four native calls. Charge each call and bound before execution. One worker reserves four numerical threads. Preserve each generated input, native output/Jacobian, bound, probe and failure with source/environment hashes. No original-file reads, Earth-model fits, protected ESA evaluations, signals, extensions or reuse of completed allowances.
A pass qualifies this finite mathematical/numerical comparison, not long-record usefulness, global floating-point coverage or actual receiver-error assumptions. A separately frozen usefulness run still precedes any observed prediction work.