Struct SecurityPredicateRow 

pub struct SecurityPredicateRow {

    pub id: String,
    pub module: String,
    pub function: String,
    pub op_id: String,
    pub operation: SecurityPredicateOperation,
    pub inputs: Vec<String>,
    pub output: String,
    pub soundness: String,
    pub witness_fixture: String,
    pub external_mapping: String,
    pub witness_lhs: Vec<u32>,
    pub witness_rhs: Vec<u32>,
    pub witness_expected: Vec<u32>,
}

One security bitset predicate row parsed from Tier-B TOML.

Fields

id: String

Stable short row id.

module: String

Rust module that owns the public primitive.

function: String

Public function exported by the module.

op_id: String

Stable VyrE op id registered in the harness inventory.

operation: SecurityPredicateOperation

Bitset operation used by this predicate.

inputs: Vec<String>

Ordered input buffer names from the public primitive contract.

output: String

Output buffer name from the public primitive contract.

soundness: String

Declared soundness lattice value for the predicate.

witness_fixture: String

Stable fixture id for the row’s CPU witness vectors.

external_mapping: String

external/dataflow concept this predicate maps onto.

witness_lhs: Vec<u32>

Left-hand witness input words.

witness_rhs: Vec<u32>

Right-hand witness input words.

witness_expected: Vec<u32>

Expected CPU reference output words.

Trait Implementations

impl Clone for SecurityPredicateRow

fn clone(&self) -> SecurityPredicateRow

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SecurityPredicateRow

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

Formats the value using the given formatter.

impl Eq for SecurityPredicateRow

impl PartialEq for SecurityPredicateRow

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SecurityPredicateRow