Trace the remaining eastward allowance on fixed generated sources
The saved endpoint diagnosis identifies sectors 1 and 7 as the specified-field globe's fresh eastward extremes under both processing assumptions. The generated 6.0-second training epoch carries about 77% of the weighted training allowance; the future query is at 7.2 seconds. Trace those fixed cases before changing a bound. These are generated method diagnostics, not aircraft observations.
First require the separate 24-control tracing qualification. Then evaluate eight identities: two sectors, two processing assumptions and two query times. Reuse all 1,600 original packets, each original training-restricted child box, its immutable parent certificate and its numerical reference center. Require exact agreement with each saved training/future bound, including all coefficient matrices, physical bindings and error-remainder arrays.
Record existing intermediate values every 128 packets and at the final used packet, with at most 32 snapshots per bound. Distinguish source, force, rotation, velocity and coordinate allowances. Nested quantities overlap; never add them as independent physical errors. A trace is not a feasible physical trajectory.
Separate finite allowance
- Eight identities and bounds; 102,400 logical bound steps.
- Eight reference/proof setups and 48 exact parent-support verifications.
- Eight source and derivative setups; reserve 12,800 appends and body bounds for each relevant stream; 256 trace snapshots maximum.
- Four workers with one numerical thread each; 120 seconds per bound and 600 seconds overall, checked cooperatively.
- No retries, allowance expansion, process signals, LP proposals, native trajectory oracles, observed fits, aircraft originals or protected ESA data.
Freeze code, source inputs, saved references, compiler and environment before launch. Preserve failures and charges. This diagnostic can identify where a valid bound is loose; it cannot reduce that bound, complete a missing sector union or qualify observational uncertainty. Any replacement method requires its own all-model controls and complete prediction-width comparison.