Struct ValidationWitness 

pub struct ValidationWitness<'a> { /* private fields */ }

An opaque proof that a canonical validation split exists in THIS dataset.

Constructible only inside this module and obtainable only from PreparedDataset<Canonical>, so a witness cannot describe a dataset other than the one it was taken from.

Implementations

impl ValidationWitness<'_>

pub fn fingerprint_hex(&self) -> String

Fingerprint over the VALIDATION SPLIT ALONE.

Deliberately NOT the dataset fingerprint. A selection payload records both a dataset fingerprint and a validation fingerprint; if this returned the dataset’s own value the second field would be a duplicate of the first and the rejection tests that distinguish them would collapse into one test.

pub fn dataset_fingerprint_hex(&self) -> String

The whole dataset’s fingerprint — what the access ledger records.

pub fn validation(&self) -> &Split<Validation>

The validation split this witness proves the existence of.

Trait Implementations

impl<'a> Debug for ValidationWitness<'a>

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

Formats the value using the given formatter.