9e15b1df

By: ValentinHirschi <valentin.hirschi@gmail.com>

preserve native symbol registration order in exact replay

Restore the captured prefix using Symbolica's existing initializer protocol,
then let its special-function initializer restore native callbacks at the
original IDs. Verify an empty full registry map before loading raw inputs.
The function-map certificate ignores only the explicitly nonportable callback
presence bit; it preserves all symbolic bytes and definition data.

Validation: the 29.9 MB physical GL00 input passes the raw registry/map checks,
builds, and matches all four live evaluator operation counts. Standalone cargo
check, build and clippy pass. GL262 generation is running under the 500 GB
watchdog with H1/CPE5 and evaluator compilation disabled.

User request:
Ok, that's acceptable. I'd like you now to attempt again GL262 generation with a 500GB guard and n_horner=1 and n_CPE rounds = 5.
However, we saw earlier that it crashed in an odd way, so make sure to mod this generation in a way that you'll be able to faithfully reproduce it in a symbolica standaloen example (potentially with a huge expression to read in, and that's ok; it may not be possible to make it minimal, since earlier attempts at simplifying it did prevent reproduction, so now aim for as faithful of a standalone symbolica reproduction so that there is a chance to actually reproduce it this time). When waiting for generation, use a progressive check timer of +1 min, starting at 4 min, so as to not waste tokens.

Total

30m10s

Timeline