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