Check every source before a complete prediction run
The source-derivative screen passes, and the saved ancestry audit verifies that all 48 original model/processing/yaw regions descend from their training regions. Every physical box narrows, so the exact-domain acceleration proof needs an explicit subdomain transfer. The new immutable restriction retains the parent's verified acceleration bounds and caps and checks all inherited constraints.
Before an expensive prediction comparison, apply that transfer and the existing initial-source nonlinear-cap certificate to every one of the 48 declared domains. Keep the source, reference, first 51 coordinates, all 78 enclosing coordinates and every necessary parent inequality. Reject changed frames, expanded domains, missing rows, altered columns and future-dependent inputs.
This is a source/setup check, not trajectory integration. An unsupported cap remains unsupported; do not enlarge it or skip that region. All 48 cases must pass before the full comparison is prepared for launch. The joint prediction adapter also requires its own bounded known-answer qualification.
Separate finite allowance
- 48 fixed identities; no retries or optimizer starts.
- At most 48 source/reference setups and 48 subdomain audits.
- Verify at most 288 exact parent support certificates before use; no LP proposals or new support optimization.
- At most 48 source-cap bound calculations, with zero packet-propagation steps.
- Four single-thread workers; cooperative 180-second overall limit.
- No full native predictions, source-stream appends, aircraft originals or protected ESA observations.
Freeze sources, environment and saved generated inputs before launch. Save every domain/certificate outcome and its charges. These controls test safe reuse of training information and source support. They do not establish useful complete prediction widths, observational coverage or new aircraft findings.