Struct IntegrityValidator 

pub struct IntegrityValidator {
    pub verbose: bool,
}

Validates data integrity for VSA operations

Fields

verbose: bool

Enable verbose logging

Implementations

impl IntegrityValidator

pub fn new() -> Self

pub fn verbose(self) -> Self

pub fn validate_sparse(&self, v: &SparseVec) -> IntegrityReport

Validate sparse vector invariants

Checks:

• No overlap between pos and neg indices
• Indices are sorted
• No duplicate indices

pub fn validate_bind_invariants( &self, a: &SparseVec, b: &SparseVec, ) -> IntegrityReport

Validate algebraic invariants for bind operation

Checks:

• Commutativity: A ⊙ B = B ⊙ A

pub fn validate_bundle_invariants( &self, a: &SparseVec, b: &SparseVec, ) -> IntegrityReport

Validate bundle operation properties

pub fn detect_differences( &self, expected: &SparseVec, actual: &SparseVec, ) -> IntegrityReport

Detect potential corruption by comparing two vectors

Trait Implementations

impl Default for IntegrityValidator

fn default() -> Self

Returns the “default value” for a type.