Struct Disjointness 

pub struct Disjointness<K> { /* private fields */ }

Exact separation across two or more declared populations.

K is the scientific identity. A raw source ID checks draw separation; a canonicalized problem value can check a stronger semantic equivalence. Retained populations are pairwise compared. One optional streaming population can be checked against sealed retained populations without retaining an unbounded history.

Implementations

impl<K> Disjointness<K>

where K: Eq + Hash,

pub fn new( scheme: IdentityScheme, populations: impl IntoIterator<Item = impl Into<PopulationSpec>>, ) -> Result<Self>

pub fn observe( &mut self, population: &str, identities: impl IntoIterator<Item = K>, ) -> Result<DisjointnessReceipt>

Atomically compare and record one batch of canonical identities. A contaminated batch leaves the ledger unchanged.

pub fn assert_disjoint(&self) -> Result<DisjointnessReceipt>

Require at least one observed identity in every declared population.

pub fn receipt(&self) -> DisjointnessReceipt