Struct VerifyResult 

pub struct VerifyResult {
    pub finding_id: String,
    pub verdict: VerifyVerdict,
    pub oracle: Oracle,
    pub vuln_run: VerifyRun,
    pub benign_run: VerifyRun,
    pub attack_provenance: AttackProvenance,
    pub replay_stable: Option<bool>,
    pub error_message: Option<String>,
}

Verifier wire shape. The runner emits one VerifyResult per finding it confirms or rejects.

Fields

finding_id: String

verdict: VerifyVerdict

oracle: Oracle

vuln_run: VerifyRun

Vuln payload run.

benign_run: VerifyRun

Benign-control run. Required for differential rule v1; without it the runner refuses to emit Confirmed.

attack_provenance: AttackProvenance

Source of the payload pair the verifier consumed.

replay_stable: Option<bool>

Stamped true when an optional second run produced an identical verdict. Stays None when the replay-stable check is disabled.

error_message: Option<String>

Free-form diagnostic for Errored verdicts. Empty on a clean Confirmed / NotConfirmed decision.

Implementations

impl VerifyResult

pub fn from_runs( finding_id: String, oracle: Oracle, vuln_run: VerifyRun, benign_run: VerifyRun, attack_provenance: AttackProvenance, ) -> Self

Apply differential rule v1 to a fresh pair of runs.

pub fn errored( finding_id: String, oracle: Oracle, vuln_run: VerifyRun, benign_run: VerifyRun, attack_provenance: AttackProvenance, message: String, ) -> Self

Construct an Errored verdict carrying message. Both runs are recorded for forensics; the caller is responsible for providing the best-effort capture they have.

Trait Implementations

impl Clone for VerifyResult

fn clone(&self) -> VerifyResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyResult

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VerifyResult

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for VerifyResult

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for VerifyResult

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for VerifyResult

impl StructuralPartialEq for VerifyResult