Struct VerificationPath 

pub struct VerificationPath {
    pub test_id: String,
    pub source_language: Option<Language>,
    pub target_language: Option<Language>,
    pub verdict: Option<Verdict>,
    pub duration_ns: u64,
    pub source_result: Option<ExecutionSummary>,
    pub target_result: Option<ExecutionSummary>,
    pub metadata: HashMap<String, Value>,
    /* private fields */
}

Decision path for a verification execution.

Captures all relevant information for auditing a test verification decision.

Fields

test_id: String

Test case identifier

source_language: Option<Language>

Source language

target_language: Option<Language>

Target language

verdict: Option<Verdict>

Verification verdict

duration_ns: u64

Execution duration in nanoseconds

source_result: Option<ExecutionSummary>

Source execution result summary

target_result: Option<ExecutionSummary>

Target execution result summary

metadata: HashMap<String, Value>

Additional metadata

Implementations

impl VerificationPath

pub fn new(test_id: impl Into<String>) -> Self

Create a new verification path for a test case.

pub fn with_verdict(self, verdict: Verdict) -> Self

Set the verification verdict.

pub fn with_duration(self, duration: Duration) -> Self

Set execution duration.

pub fn with_languages(self, source: Language, target: Language) -> Self

Set source and target languages.

pub fn with_source_result(self, result: &ExecutionResult) -> Self

Set source execution result.

pub fn with_target_result(self, result: &ExecutionResult) -> Self

Set target execution result.

pub fn with_metadata(self, key: impl Into<String>, value: Value) -> Self

Add metadata entry.

pub fn with_contributions(self, contributions: Vec<f32>) -> Self

Set feature contributions (for ML analysis).

pub fn feature_contributions(&self) -> &[f32]

Get feature contributions.

pub fn confidence(&self) -> f32

Get confidence score.

pub fn passed(&self) -> bool

Check if this verification passed.

pub fn to_bytes(&self) -> Vec<u8>

Serialize to bytes for hashing.

pub fn explain(&self) -> String

Generate a text explanation of the verification.

Trait Implementations

impl Clone for VerificationPath

fn clone(&self) -> VerificationPath

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerificationPath

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VerificationPath

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<&VerificationResult> for VerificationPath

fn from(result: &VerificationResult) -> Self

Converts to this type from the input type.

impl Serialize for VerificationPath

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

where __S: Serializer,

Serialize this value into the given Serde serializer.