Struct tvix_castore::directoryservice::order_validator::RootToLeavesValidator

pub struct RootToLeavesValidator {
    expected_digests: HashSet<B3Digest>,
}

Validates that newly introduced directories are already referenced from the root via existing directories. Commonly used when receiving a directory closure from a store.

Fields

expected_digests: HashSet<B3Digest>

Only used to remember the root node, not for validation

Implementations

impl RootToLeavesValidator

pub fn new_with_root_digest(root_digest: B3Digest) -> Self

Use to validate the root digest of the closure upon receiving the first directory.

pub fn digest_allowed(&self, digest: &B3Digest) -> bool

Checks if a directory is in-order based on its digest.

Particularly useful when receiving directories in canonical protobuf encoding, so that directories not connected to the root can be rejected without parsing.

After parsing, the directory must be passed to add_directory_unchecked to add its children to the list of expected digests.

pub fn add_directory_unchecked(&mut self, directory: &Directory)

Update the order validator’s state with the directory

Trait Implementations

impl Default for RootToLeavesValidator

fn default() -> RootToLeavesValidator

Returns the “default value” for a type.

impl OrderValidator for RootToLeavesValidator

fn add_directory(&mut self, directory: &Directory) -> bool

Update the order validator’s state with the directory Returns whether the directory was accepted