e825dd90

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

expose generation progress and live Python filters

Both generation entry points deliver coalesced stage/count progress and synchronous partial-topology filters on the calling Python thread. Reuse Symbolica Graph through its Python construction API until its Rust constructor is exposed. Preserve callback exceptions and cancellation; document the API and show progress in Marimo.

User requests:
Go for the `progress=` and also support passing a live filter
Partial topology during enumeration
For now, come up with a workaround. No new type
Push the progress change
GitHub
Time to Start Worker time Duration Time to finish Idle
Config 2s 13s 13s 15s 2s
Eval 12s 1m33s 1m33s 1m45s 0s
Build 1m34s 1h26m12s 35m13s 36m47s 41s
Test 6m23s 15m54s 31m52s 38m16s 0s
Deploy - - - - 3h43m51s
Suite 2s 1h43m54s - - 3h44m35s

Timeline

Config Eval Build Test Failed Retried Compressed gap
0s1m2m3m4m5m6m7m8m9m10m11m12m13m14m15m16m17m18m19m20m21m22m23m24m25m26m27m28m29m30m31m32m33m34m35m36m37m38m