Struct Evidence 

pub struct Evidence { /* private fields */ }

Immutable observation recorded by discovery or execution code.

Lineage

An evidence record is EvidenceOrigin::Direct by default. A producer that computes a record from exact source records attaches lineage with Self::derived_from. Lineage is runtime truth held in the live knowledge store: the origin is deliberately excluded from the serialized wire, so the serialized form of every record — direct or derived — is byte-identical to the historical contract. Durable lineage export is a future versioned surface, not this record’s wire.

Examples

use termivar_core::{
    ConfidenceScore, EntityId, Evidence, EvidenceKind, EvidenceSource,
    EvidenceValue, KnowledgePredicate,
};

let evidence = Evidence::new(
    EntityId::new("endpoint:https://example.test")?,
    EvidenceKind::Http,
    KnowledgePredicate::new("http.header", "server")?,
    EvidenceValue::Text("nginx".into()),
    EvidenceSource::new("discovery.headers", "server-header")?,
    ConfidenceScore::from_percent(85)?,
);

assert_eq!(evidence.reliability().basis_points(), 8_500);

Implementations

impl Evidence

pub fn new( subject: EntityId, kind: EvidenceKind, predicate: KnowledgePredicate, value: EvidenceValue, source: EvidenceSource, reliability: ConfidenceScore, ) -> Self

Records evidence with an explicit source reliability and a generated ID.

pub fn with_id( id: EvidenceId, subject: EntityId, kind: EvidenceKind, predicate: KnowledgePredicate, value: EvidenceValue, source: EvidenceSource, reliability: ConfidenceScore, ) -> Self

Records evidence with a host-assigned stable identity.

Reusing the ID for different evidence remains an identity conflict in the knowledge store. Producers that also need a stable observation timestamp should use Self::with_id_at.

pub fn with_id_at( id: EvidenceId, subject: EntityId, kind: EvidenceKind, predicate: KnowledgePredicate, value: EvidenceValue, source: EvidenceSource, reliability: ConfidenceScore, observed_at_ms: u64, ) -> Self

Records evidence with host-assigned identity and observation time.

Supplying both fields allows a deterministic producer to recreate an exactly equal evidence record for idempotent insertion.

pub fn derived_from(self, derivation: EvidenceDerivation) -> Self

Marks this record as derived from exact parent evidence record(s).

Structural validity of the lineage is enforced when the EvidenceDerivation is constructed; contextual validity (parent existence, subject agreement, self-reference, and cycles) is enforced atomically by the knowledge store on insertion.

pub fn id(&self) -> &EvidenceId

Returns the evidence identifier.

pub fn subject(&self) -> &EntityId

Returns the entity this observation describes.

pub fn kind(&self) -> &EvidenceKind

Returns the broad evidence category.

pub fn predicate(&self) -> &KnowledgePredicate

Returns the namespaced predicate.

pub fn value(&self) -> &EvidenceValue

Returns the typed observation value.

pub fn source(&self) -> &EvidenceSource

Returns the observation provenance.

pub fn reliability(&self) -> ConfidenceScore

Returns the source reliability score.

pub fn observed_at_ms(&self) -> u64

Returns the observation timestamp in Unix milliseconds.

For a derived record this is the derivation instant, not an independent re-observation of the underlying subject.

pub fn origin(&self) -> &EvidenceOrigin

Returns whether this record is direct or derived, with exact lineage.

Trait Implementations

impl Clone for Evidence

fn clone(&self) -> Evidence

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Evidence

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Evidence

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Evidence

impl PartialEq for Evidence

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Evidence

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 Evidence