Expand description
RerunSink — streams proof events to a Rerun viewer via a background thread.
Events are dispatched through a bounded crossbeam channel (capacity 8192) so the prover hot path never blocks waiting for Rerun I/O. Events are silently dropped if the background thread falls behind.