ab00e491

By: lcnbr <im@lcnbr.ch>

update Symbolica and activate OEM licensing in the CLI

Update both Cargo workspaces, Hakari, standalone loaders, and revision guards directly to official Symbolica main ba3737137c2a2ccd7bb39f0441837d38ec867e78. Migrate production, test, and benchmark call sites to the new APIs, including grid errors, integer conditions, and underdetermined momentum solutions.

Activate the public crate-bound OEM token only in the gammaloop executable. Keep reusable Rust/Python libraries user-licensed; update the associated guidance. Intermediate 0084bc7c/cb2d9d6a updates are consolidated away.

The final source tree is identical to original739671a9 (Git tree16a6089a16192b6767cbd84f614c2fe0a295e899). Prior validation: native/Wasm checks,31 focused tests, OEM crate-binding probes, CLI completion startup, standalone loader check, formatting, Hakari and Clippy. Existing --help exit status1 and cross-repository Tymbolica pin limitation remain unchanged; artifacts are preserved, not rebuilt.

History-boundary validation: typed-API and printer-foundation checkpoints pass locked Idenso/Spynso native checks. The Tydenso checkpoint passes locked native all-target and Wasm checks, all six examples/four positive Typst test documents, expected invalid gamma rejection, HTML MathML/phantom and SVG checks, and a byte-identical manual rebuild.

User request:
Can we squash, consolidate, and then split this whole stack off of main into functionality-based commits? Roughly, like five or six at max?
GitHub
Time to Start Worker time Duration Time to finish Idle
Config 1s 4s 4s 6s 1s
Eval 1m07s 1m40s 1m40s 2m48s 1m01s
Build 2m47s 7h58m32s - - 9s
Test 27m24s 17m02s - - 0s
Deploy - - - - 14m48s
Suite 1s 8h17m19s - - 16m01s

Timeline

Config Eval Build Test Failed Retried Compressed gap
0s2m3m4m5m6m7m8m9m10m11m12m13m14m15m16m17m18m19m20m21m22m23m24m25m26m27m28m29m30m31m32m33m34m35m36m37m38m39m40m41m42m43m44m45m46m47m48m49m50m51m52m53m54m55m56m57m58m59m1h0m1h1m1h2m1h3m1h4m1h5m1h6m1h7m1h8m1h9m1h10m1h11m1h12m1h13m1h14m1h15m1h16m1h17m1h18m1h19m1h20m1h21m1h22m1h23m1h24m1h25m1h26m1h27m1h28m1h29m1h30m1h31m1h32m1h33m1h34m1h35m1h36m1h37m1h38m1h39m1h40m1h41m1h42m1h43m1h44m