Struct Contradiction 

pub struct Contradiction {
    pub id: ContradictionId,
    pub left_ref: String,
    pub right_ref: String,
    pub contradiction_type: ContradictionType,
    pub status: ContradictionStatus,
    pub interpretation: Option<String>,
    pub created_at: SystemTime,
    pub updated_at: SystemTime,
}

First-class contradiction record.

Fields

id: ContradictionId

Stable contradiction ID.

left_ref: String

Left memory/principle/reference.

right_ref: String

Right memory/principle/reference.

contradiction_type: ContradictionType

Conflict kind.

status: ContradictionStatus

Current lifecycle status.

interpretation: Option<String>

Interpretation or resolution note.

created_at: SystemTime

Creation timestamp.

updated_at: SystemTime

Last update timestamp.

Implementations

impl Contradiction

pub fn new( id: ContradictionId, left_ref: impl Into<String>, right_ref: impl Into<String>, contradiction_type: ContradictionType, created_at: SystemTime, ) -> ContradictionResult<Self>

Construct a new unresolved contradiction.

pub fn interpret( &mut self, interpretation: impl Into<String>, updated_at: SystemTime, ) -> ContradictionResult<()>

Mark this contradiction interpreted but still open.

pub fn resolve( &mut self, resolution: impl Into<String>, updated_at: SystemTime, ) -> ContradictionResult<()>

Mark this contradiction resolved.

pub const fn is_open(&self) -> bool

Whether the contradiction should still be treated as open.

Trait Implementations

impl Clone for Contradiction

fn clone(&self) -> Contradiction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Contradiction

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

Formats the value using the given formatter.

impl PartialEq for Contradiction

fn eq(&self, other: &Contradiction) -> 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 Eq for Contradiction

impl StructuralPartialEq for Contradiction