Struct ProvEntry 

pub struct ProvEntry {
    pub instruction_offset: u32,
    pub wasm_op_index: usize,
    pub op: String,
    pub kind: ProvKind,
    pub object_pcs: Vec<u32>,
    pub count: Option<usize>,
    pub scry_evidence: Option<String>,
}

One source-level branch/condition and what it became in the object.

Fields

instruction_offset: u32

Witness join key: ABSOLUTE wasm byte offset of the source op.

wasm_op_index: usize

Index of the source op within the (compiled) op stream — diagnostic.

op: String

The source WASM op mnemonic (e.g. "BrIf", "Select", "BrTable").

kind: ProvKind

How synth transformed it.

object_pcs: Vec<u32>

Object PCs (function-relative machine offsets) that realize this source op’s control flow. Empty for eliminated-constant.

count: Option<usize>

For split-into-object-branches: the object-branch count. Omitted otherwise.

scry_evidence: Option<String>

Optional scry#51 reachability evidence for an eliminated-constant entry (justified-infeasible). Reserved for a later increment; None in v1.

Trait Implementations

impl Clone for ProvEntry

fn clone(&self) -> ProvEntry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProvEntry

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProvEntry

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ProvEntry

impl PartialEq for ProvEntry

fn eq(&self, other: &ProvEntry) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for ProvEntry

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ProvEntry