Qualify the combined direct source remainder
Combine the checked calibration, clipped-clock and rotation-product remainders with the checked point-value and derivative enclosures. Explicitly transfer the resulting ideal bound to displaced numerical source values and arbitrary supplied rows, retaining all 27 parameter columns.
Four chain-rule controls cross two query positions (packet interior and exact endpoint) with two gain domains (narrow and broad). Each uses a separate exact-rational noncommuting rotation chain at three or four parameter points, nonzero mount and calibration, a nonorthogonal initial mounting matrix, both packet phases, and deliberately shifted numerical values and rows. A fifth control checks the otherwise unused 27th column, domain/shape rejections and finite stream ownership.
Separate finite allowance
- Five identities; 52 bound calls: 18 source append calls and 34 reference transfers.
- 18 packet steps; five valid source initializations.
- 486 rational reference calls, counting derivative helpers and nested values separately; five input/allowance rejections.
- One worker and one numerical thread; 120 seconds, checked cooperatively.
- No retries, trajectory evaluations, aircraft reads, fits, LPs, protected ESA data, process signals or allowance expansion.
Freeze sources, catalog, tests, compiler and environment before launch. Every control and reservation must pass. These checks qualify the tested mathematical source/bridge paths; the complete native installation, full-history usefulness, prediction widths, recording-scale bounds and observational confidence remain separate requirements. Preserve completed studies unchanged.