Enum ProofEvent 

#[non_exhaustive]
pub enum ProofEvent {
    CircuitCompiled {
        total_layers: usize,
        input_shape: (usize, usize),
        output_shape: (usize, usize),
        nodes: Vec<CircuitNodeMeta>,
        has_simd: bool,
        simd_num_blocks: usize,
    },
    LayerActivation {
        layer_idx: usize,
        node_id: usize,
        kind: LayerKind,
        output_shape: (usize, usize),
        output_sample: Vec<u32>,
        stats: ActivationStats,
    },
    AttentionHeatmap {
        layer_idx: usize,
        head_idx: usize,
        num_heads: usize,
        seq_len: usize,
        scores: Vec<f32>,
    },
    ProofStart {
        model_name: Option<String>,
        backend: String,
        num_layers: usize,
        input_shape: (usize, usize),
        output_shape: (usize, usize),
    },
    LayerStart {
        layer_idx: usize,
        kind: LayerKind,
        input_shape: (usize, usize),
        output_shape: (usize, usize),
        trace_cost: usize,
        claim_value_approx: f32,
        gpu_device: Option<usize>,
    },
    SumcheckRound {
        layer_idx: usize,
        round: usize,
        total_rounds: usize,
        poly_deg2: Option<RoundPolyViz>,
        poly_deg3: Option<RoundPolyDeg3Viz>,
        claim_value_approx: f32,
    },
    LayerEnd {
        layer_idx: usize,
        kind: LayerProofKind,
        final_claim_value_approx: f32,
        duration_ms: u64,
        rounds_completed: usize,
    },
    ProofComplete {
        duration_ms: u64,
        num_layer_proofs: usize,
        num_weight_openings: usize,
        weight_binding_mode: String,
    },
    WeightOpeningStart {
        weight_node_id: usize,
        eval_point_len: usize,
    },
    WeightOpeningEnd {
        weight_node_id: usize,
        duration_ms: u64,
        commitment_hex: String,
    },
    AggregatedBindingStart {
        num_claims: usize,
        num_matrices: usize,
    },
    AggregatedBindingEnd {
        duration_ms: u64,
        estimated_calldata_felts: usize,
    },
    GpuStatus {
        devices: Vec<GpuSnapshot>,
        matmul_done: usize,
        matmul_total: usize,
        layers_done: usize,
        layers_total: usize,
    },
    StarkProofStart {
        num_activation_layers: usize,
        num_add_layers: usize,
        num_layernorm_layers: usize,
    },
    StarkProofEnd {
        duration_ms: u64,
    },
    Log {
        level: LogLevel,
        message: String,
    },
}

All events that can be emitted during a stwo-ml proof session.

Consumers (e.g. RerunSink) pattern-match this enum to route events to the appropriate Rerun entity paths.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

CircuitCompiled

Emitted once after the LayeredCircuit is compiled from the ComputationGraph.

Fields

total_layers: usize

input_shape: (usize, usize)

output_shape: (usize, usize)

nodes: Vec<CircuitNodeMeta>

has_simd: bool

simd_num_blocks: usize

LayerActivation

Raw layer activation output sampled for visualization.

Fields

layer_idx: usize

node_id: usize

kind: LayerKind

output_shape: (usize, usize)

output_sample: Vec<u32>

Up to max_sample elements from the output tensor (M31 raw values).

stats: ActivationStats

AttentionHeatmap

Attention score matrix for one head (sampled to ≤64×64).

Fields

layer_idx: usize

head_idx: usize

num_heads: usize

seq_len: usize

scores: Vec<f32>

Row-major, length = min(seq_len,64)².

ProofStart

Start of the entire proof session.

Fields

model_name: Option<String>

backend: String

num_layers: usize

input_shape: (usize, usize)

output_shape: (usize, usize)

LayerStart

Beginning of a single layer’s reduction.

Fields

layer_idx: usize

kind: LayerKind

input_shape: (usize, usize)

output_shape: (usize, usize)

trace_cost: usize

Estimated trace cost for this layer.

claim_value_approx: f32

Initial claim value (QM31.a normalized to f32).

gpu_device: Option<usize>

SumcheckRound

One round of sumcheck within a layer.

Fields

layer_idx: usize

round: usize

total_rounds: usize

poly_deg2: Option<RoundPolyViz>

Degree-2 polynomial (MatMul / LogUp rounds).

poly_deg3: Option<RoundPolyDeg3Viz>

Degree-3 polynomial (Mul layer rounds).

claim_value_approx: f32

Reduced claim after this round.

LayerEnd

End of a single layer’s reduction.

Fields

layer_idx: usize

kind: LayerProofKind

final_claim_value_approx: f32

duration_ms: u64

rounds_completed: usize

ProofComplete

The entire proof session completed.

Fields

duration_ms: u64

num_layer_proofs: usize

num_weight_openings: usize

weight_binding_mode: String

WeightOpeningStart

Fields

weight_node_id: usize

eval_point_len: usize

WeightOpeningEnd

Fields

weight_node_id: usize

duration_ms: u64

commitment_hex: String

Hex-encoded commitment (first 8 bytes).

AggregatedBindingStart

Fields

num_claims: usize

num_matrices: usize

AggregatedBindingEnd

Fields

duration_ms: u64

estimated_calldata_felts: usize

GpuStatus

Fields

devices: Vec<GpuSnapshot>

matmul_done: usize

matmul_total: usize

layers_done: usize

layers_total: usize

StarkProofStart

Fields

num_activation_layers: usize

num_add_layers: usize

num_layernorm_layers: usize

StarkProofEnd

Fields

duration_ms: u64

Log

Free-form log entry.

Fields

level: LogLevel

message: String

Trait Implementations

impl Clone for ProofEvent

fn clone(&self) -> ProofEvent

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ProofEvent

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProofEvent

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ProofEvent

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.