Struct EvidenceRecord 

pub struct EvidenceRecord {
    pub test_name: String,
    pub constraint_count: usize,
    pub total_space: u16,
    pub nodes_at_completion: usize,
    pub iterations: usize,
    pub time_us: u64,
    pub memory_bytes: usize,
    pub guard_triggered: GuardTriggered,
    pub saturated: bool,
    pub rewrites: usize,
}

A structured evidence record for a saturation run, serializable to JSONL.

Fields

test_name: String

constraint_count: usize

total_space: u16

nodes_at_completion: usize

iterations: usize

time_us: u64

memory_bytes: usize

guard_triggered: GuardTriggered

saturated: bool

rewrites: usize

Implementations

impl EvidenceRecord

pub fn from_result( test_name: &str, constraint_count: usize, total: u16, result: &SaturationResult, ) -> Self

Create from a solve_layout result.

pub fn to_jsonl(&self) -> String

Serialize to a JSONL line.

Trait Implementations

impl Clone for EvidenceRecord

fn clone(&self) -> EvidenceRecord

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EvidenceRecord

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

Formats the value using the given formatter.