43649e2e

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 2s 11s 11s 14s 2s
Eval 11s 57s 57s 1m09s 0s
Build 1m06s 4h42m04s - - 6s
Test 13m28s 31m07s - - 0s
Deploy - - - - 0s
Suite 2s 5h14m21s - - 8s

Timeline

Config Eval Build Test Failed Retried
0s1m2m3m4m5m6m7m8m9m10m11m12m13m14m15m16m17m18m19m20m21m22m23m24m25m26m27m28m29m30m31m32m33m34m35m36m37m38m39m40m41m42m43m44m45m46m47m48m49m50m51m52m53m54m55m56m57m58m59m1h0m1h1m1h2m1h3m1h4m1h5m1h6m1h7m