Enum Verifier 

pub enum Verifier {
    Assertion {
        predicate: Expr,
    },
    Judge {
        seat: String,
        packet: Box<BridgePacket>,
        reply_to: Option<Box<BridgePacket>>,
        target: String,
        min_votes: u32,
    },
    Evidence {
        cites: Vec<String>,
    },
}

Semantic verifier registered for a compiled intent.

Variants

Assertion

Deterministic predicate evaluated over the decoded answer expression.

Fields

predicate: Expr

Predicate expression. Supported predicates are forge/equals, forge/number-between, and forge/field-number-between.

Judge

Judge vote represented as a checked BRIDGE packet.

Fields

seat: String

Seat that authored the judge packet.

packet: Box<BridgePacket>

Checked BRIDGE packet carrying one or more bridge/Vote parts.

reply_to: Option<Box<BridgePacket>>

Optional parent packet used for BRIDGE reply legality.

target: String

Vote target that must reach quorum.

min_votes: u32

Minimum positive votes required for this verifier to pass.

Evidence

Retrieval or ground-truth check against cited evidence.

Fields

cites: Vec<String>

Given ids, URIs, or content-id strings that must exist in the verifier catalog.

Trait Implementations

impl Clone for Verifier

fn clone(&self) -> Verifier

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Verifier

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

Formats the value using the given formatter.

impl Eq for Verifier

impl PartialEq for Verifier

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Verifier