All twelve missing future certificates now pass
All twelve new queries completed inside the unchanged 120-second per-bound limit. They took 40.19–86.60 seconds each and 689.12 seconds in total, using one worker and one numerical thread.
The original direct-source mathematics, full inputs, orientation sectors, references and child-domain proofs remain unchanged. Only missing future queries were calculated; no completed training certificate was repeated. The earlier complete-comparison study retains all its timeout labels.
Ten queries have an older compatible future certificate: the new report keeps its maps and does not widen its approximation allowances. Two have no older future report, so that comparison remains unavailable. They are checked through the qualified source calculation and their original reference/domain proofs.
This fills the missing inputs for a new complete-cover calculation. It does not yet establish that the six-case width target passes. That requires rebuilding the training constraints and independently checking every region's future supports, using all eight regions in each case.
The three-family reuse controls precede the all-region saved-only rebuild. Both have their own finite scope. Recording-length bounds and the observation and arithmetic assumptions remain required before aircraft prediction fits.