Connect the boundary cover to trajectory bounds

Preserve the completed 64-packet comparison. Its strict partial-fraction adapter does not cover rounded endpoint overshoot and must not be presented as a complete clock implementation.

Prepare a separate successor that accepts the supported native fraction guard, preserves full earlier-packet integration and computes both one-sided branch predictions. Include exact boundaries and neighboring represented queries under both clock directions. Preserve all 27 parameter columns. Correct the inherited state-report endpoint-encoding label without changing the completed evidence.

Before execution, use known-answer boundary tests, then freeze a finite generated native comparison across all models and processing assumptions. The comparison must distinguish endpoint agreement from a rigorous bound on incoming state, residual, derivative and rotation-switch jumps over the full parameter region.

For longer histories, reuse each full-packet prefix across possible final packet branches only after proving that query-clock offset affects the final query and not earlier complete increments. Keep each branch's restricted clock support explicit. Avoid independently reintegrating an entire recording for every possible final packet.

Complete-period ranges, native numerical execution and the combined receiver/IMU error law remain separate gates. No new native evaluations are authorized by this document alone; each numerical study needs its own tested finite freeze.