Struct ProofSink 

pub struct ProofSink { /* private fields */ }

Wrapper around an optional ProofEventSink.

When inner is None (the common, non-visualization path), all hot-path calls go through a single branch and generate zero allocations.

Implementations

impl ProofSink

pub fn none() -> Self

Create an inactive sink (no visualization).

pub fn new(s: impl ProofEventSink) -> Self

Create an active sink wrapping s.

pub fn is_active(&self) -> bool

Returns true if a sink is installed (visualization is active).

pub fn emit(&self, event: ProofEvent)

Emit an event. No-op when inactive.

pub fn emit_if(&self, f: impl FnOnce() -> ProofEvent)

Emit the result of f() only when active.

The closure is never called when no sink is installed, so constructing an event in a hot loop (e.g. sumcheck rounds) costs nothing when disabled.

pub fn flush(&self)

Flush the inner sink. Called at the end of a proof session.