Struct EvidenceDerivation 

pub struct EvidenceDerivation { /* private fields */ }

The exact immutable evidence record(s) a derived record was computed from.

This is derivation lineage, not producer provenance, case correlation, or reasoning support: it names the precise transformation inputs. Parents are stored canonicalized (sorted, de-duplicated) so acceptance never depends on input order and an equivalent lineage is a single stable value. Structural validity (non-empty, bounded, canonical) is enforced here; contextual validity that requires the knowledge store (parent existence, self-reference, cycles, subject agreement) is enforced atomically at insertion time.

Implementations

impl EvidenceDerivation

pub fn new( parents: impl IntoIterator<Item = EvidenceId>, algorithm: DerivationAlgorithm, ) -> Result<Self, ReasoningModelError>

Creates a validated derivation from one or more parent evidence IDs.

Duplicate parents are canonicalized to a single occurrence; the bound is applied to the distinct set. An empty parent set is rejected — a record with no parents is direct evidence, never a zero-parent derivation.

pub fn parents(&self) -> &[EvidenceId]

Returns the canonical (sorted, de-duplicated) parent evidence IDs.

pub fn algorithm(&self) -> &DerivationAlgorithm

Returns the transformation identity that produced the child.

pub fn references_parent(&self, id: &EvidenceId) -> bool

Returns whether the given evidence ID is a parent of this derivation.

Trait Implementations

impl Clone for EvidenceDerivation

fn clone(&self) -> EvidenceDerivation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EvidenceDerivation

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EvidenceDerivation

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for EvidenceDerivation

impl PartialEq for EvidenceDerivation

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for EvidenceDerivation

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 EvidenceDerivation