Profile the installed source on shortened generated histories
The full-source screen is complete: both disc cases produced compatible bounds; all four globe cases reached their per-bound time limits. The completed bounds also show wider horizontal allowances. No completed study will be restarted.
Profile the installed, qualified native candidate on the same two 128-packet zero-removal prefixes used by the earlier runtime diagnostic: specified-field and zero-field globe. Preserve their original clock range and use freshly constructed physical-domain acceleration certificates for the shortened source. Do not transfer the full-history training constraint to a different source.
The profiles locate current function costs. They do not establish long-history scaling, useful prediction ranges or observational coverage. Preserve partial profiles if a bound fails, and distinguish self time from overlapping cumulative costs. Store sanitized function names and selected statistics, not private paths.
Finite allowance
- Two identities, no retries or optimizer starts.
- Two bounds and 1,024 world/source packet steps.
- Separately reserve two setups, 256 compiled source-reference steps and 256 rounded body bounds.
- One worker, four numerical threads.
- 45 seconds per bound, checked cooperatively; 120 seconds overall.
- No full native trajectory, LP, aircraft original or protected ESA data.
Freeze implementation, inputs, compiler and numerical environment. Preserve every charge and profiling failure. Runtime diagnosis and tighter horizontal Taylor bounds remain development work; neither permits an observed fit.