436f9ff5

By: lcnbr <im@lcnbr.ch>

align Tymbolica interop with fixed Symbolica main

Pin native GammaLoop, isolated Tydenso, Hakari, standalone templates, and revision guards to official Symbolica main 4f1323185fe5e0c0f8c864ab89edd1905e7adef1, with Numerica and Graphica at the same source. Advance the shared payload and Typst checkout together to pushed Tymbolica 32ae00483b4845161401afac8be755cc336cb2bb. Rebuild the Tydenso compressed plugin and inflater; the deterministic manual remains byte-identical.

The new upstream revision fixes the accepted negative-zero algebraic root-isolation hang. The Tymbolica reproducer and formerly hanging Typst solver documents now pass, without a local arithmetic workaround or weakened assertions. Do not replace the separate Python community runtime in this release.

Validation: final locked native workspace check and strict Clippy with all targets pass; docs-builder check passes. Tydenso formatting, Wasm check, strict Clippy, all 28 native payload-boundary tests, and full just --unstable tydenso::check pass. The latter verifies exact dependency provenance, isolated Wasm features, every example and test, the expected-invalid gamma-order fixture, semantic HTML with seven mphantom nodes, SVG, and deterministic manual parity. Compressed Tydenso is 3,922,305 bytes; inflater is 28,205 bytes. No API or test changes in this alignment.

User requests:
everything should use latest symbolica main

push with that known regression

fetch latest symbolica main, It fixed that algebraic solve bug
GitHub
Time to Start Worker time Duration Time to finish Idle
Config 10s 8s 8s 18s 10s
Eval 19s 1m33s 1m33s 1m52s 1s
Build 1m54s 8h00m47s - - 18s
Test 32m11s 31m24s - - 1m15s
Deploy - - - - 3h10m17s
Suite 10s 8h33m53s - - 3h12m03s

Timeline

Config Eval Build Test Failed Retried Compressed gap
0s1m2m3m4m5m6m7m8m9m10m11m12m13m14m15m16m17m18m19m20m21m22m23m24m25m26m27m28m29m30m31m32m33m34m35m36m37m38m39m40m41m42m43m44m45m46m47m48m49m50m51m52m53m54m55m56m57m58m59m1h0m1h1m1h2m1h3m1h4m1h5m1h6m1h7m1h8m1h9m1h10m1h11m1h12m1h13m1h14m1h15m1h16m1h17m1h18m1h19m1h20m1h21m1h22m1h23m1h24m1h25m1h26m1h27m1h28m1h29m1h30m1h31m1h32m1h33m1h34m1h35m1h36m1h37m1h38m1h39m1h40m1h41m1h42m1h43m1h44m1h45m1h46m1h47m1h48m1h49m1h50m1h51m1h52m1h53m1h54m1h55m1h56m1h57m1h58m1h59m2h0m