Missing future certificates under serial execution
12/12 newly frozen future queries passed.
| Query | Seconds | Older future available |
|---|---|---|
| serial-future-transform-full-0-0-4 | 40.193 | Yes |
| serial-future-transform-full-0-0-5 | 43.851 | Yes |
| serial-future-transform-full-0-0-6 | 48.016 | Yes |
| serial-future-transform-full-0-0-7 | 52.406 | Yes |
| serial-future-transform-full-0-1-0 | 86.598 | Yes |
| serial-future-transform-full-0-1-1 | 62.906 | Yes |
| serial-future-transform-full-0-1-2 | 55.021 | Yes |
| serial-future-transform-full-0-1-3 | 61.838 | Yes |
| serial-future-transform-full-1-1-4 | 67.758 | Yes |
| serial-future-transform-full-1-1-5 | 52.962 | No |
| serial-future-transform-full-1-1-6 | 54.055 | No |
| serial-future-transform-full-1-1-7 | 51.136 | Yes |
Elapsed 689.12 seconds; charged 12/12 bounds and 172800/172,800 logical steps. One worker and one thread; the 120-second per-bound limit is unchanged. No training bound was recalculated.
The original algorithm, measurements, domains and references remain. Earlier timeouts keep their original labels. These certificates need a separate saved-only complete-cover comparison before the fixed width target can be assessed. They establish no aircraft confidence level.