Struct IsomorphismProof 

pub struct IsomorphismProof {
    pub change_description: String,
    pub old_checksum: u64,
    pub new_checksum: u64,
    pub preserved_invariants: Vec<String>,
    pub justification: String,
    pub approved_by: Option<String>,
    pub approved_at: Option<String>,
}

Evidence for an isomorphism proof.

When scheduler behavior changes, this documents why the change preserves correctness despite producing a different trace.

Fields

change_description: String

Description of the change.

old_checksum: u64

Old checksum before the change.

new_checksum: u64

New checksum after the change.

preserved_invariants: Vec<String>

Invariants that are preserved.

justification: String

Justification for why the traces are equivalent.

approved_by: Option<String>

Who approved this change.

approved_at: Option<String>

Timestamp of approval.

Implementations

impl IsomorphismProof

pub fn new( change_description: impl Into<String>, old_checksum: u64, new_checksum: u64, ) -> Self

Create a new proof.

pub fn with_invariant(self, invariant: impl Into<String>) -> Self

Add a preserved invariant.

pub fn with_justification(self, justification: impl Into<String>) -> Self

Add justification.

pub fn to_json(&self) -> String

Export to JSON.

Trait Implementations

impl Clone for IsomorphismProof

fn clone(&self) -> IsomorphismProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IsomorphismProof

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

Formats the value using the given formatter.