Struct MemoryTransitionCandidateV1 

pub struct MemoryTransitionCandidateV1 {
    pub schema_version: String,
    pub candidate_id: String,
    pub source_artifacts: Vec<SourceArtifactV1>,
    pub required_source_spans: Vec<SourceSpanRefV1>,
    pub assertions: Vec<AssertionDraftV1>,
    pub operation: TransitionOperation,
    pub preserved_active_fact_ids: Vec<String>,
}

Candidate proposed by extraction or an operator before canonical admission.

Fields

schema_version: String

candidate_id: String

source_artifacts: Vec<SourceArtifactV1>

required_source_spans: Vec<SourceSpanRefV1>

assertions: Vec<AssertionDraftV1>

operation: TransitionOperation

preserved_active_fact_ids: Vec<String>

Current assertions in affected namespaces that the proposal explicitly retains.

Implementations

impl MemoryTransitionCandidateV1

pub fn new( candidate_id: impl Into<String>, source_artifacts: Vec<SourceArtifactV1>, required_source_spans: Vec<SourceSpanRefV1>, assertions: Vec<AssertionDraftV1>, operation: TransitionOperation, preserved_active_fact_ids: Vec<String>, ) -> Result<Self, String>

pub fn validate(&self) -> Result<(), String>

Trait Implementations

impl Clone for MemoryTransitionCandidateV1

fn clone(&self) -> MemoryTransitionCandidateV1

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MemoryTransitionCandidateV1

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for MemoryTransitionCandidateV1

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for MemoryTransitionCandidateV1

impl PartialEq for MemoryTransitionCandidateV1

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for MemoryTransitionCandidateV1

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for MemoryTransitionCandidateV1