Struct TemporalEdgeResolver 

pub struct TemporalEdgeResolver<C> { /* private fields */ }

Invalidates conflicting edges instead of deleting them, preserving history.

The production impl. A new edge conflicts with a current edge when they share subject and relation and the relation is RelationCardinality::SingleValued (one live object at a time). Conflicting edges are closed (added to EdgeResolution::close); the new edge opens as current. Multi-valued relations never conflict, so every edge coexists.

Winner is decided by recency alone — a newer fact supersedes an older one regardless of confidence, matching the row-level supersession model where “a newer fact won” is purely temporal. Confidence rides on the edge for the read path but never gates invalidation.

A restatement — the same single-valued fact observed again later — folds into the current edge rather than opening a parallel one: the resolution’s open adopts the existing edge’s valid_from (the edge’s identity), so the commit’s MERGE matches it and appends this source’s pid. valid_from thus means “when the fact first became true,” not “when it was last restated.”

Implementations

impl<C: EdgeCatalog> TemporalEdgeResolver<C>

pub fn new(catalog: C, policy: CardinalityPolicy) -> Self

Builds a temporal resolver over catalog with the cardinality policy.

Trait Implementations

impl<C: Clone> Clone for TemporalEdgeResolver<C>

fn clone(&self) -> TemporalEdgeResolver<C>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<C: Debug> Debug for TemporalEdgeResolver<C>

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

Formats the value using the given formatter.

impl<C: EdgeCatalog> EdgeResolver for TemporalEdgeResolver<C>

async fn resolve( &self, scope: &Scope, edge: Edge, ) -> Result<EdgeResolution, EdgeError>

Resolves edge within scope against existing edges.