Struct VerifyRequest 

pub struct VerifyRequest {
    pub prefix: Option<String>,
    pub topic: Option<String>,
    pub partition: Option<i32>,
    pub depth: VerifyDepth,
    pub expect_head: Option<ChainHead>,
    pub allow_epoch_restarts: bool,
    pub externally_authenticated_objects: BTreeSet<String>,
}

What to verify, and against what expectation.

Fields

prefix: Option<String>

Key prefix inside the store. None verifies the whole store.

topic: Option<String>

Verify only the partitions of this topic.

partition: Option<i32>

Verify only this partition index.

depth: VerifyDepth

How much of each object to read.

expect_head: Option<ChainHead>

Expected head of the newest manifest, obtained independently of the archive. Tail truncation leaves a shorter but internally perfect chain; nothing inside the archive detects it.

A partition whose tip differs from this head is reported as a break, so a programmatic caller gets one ok to test. An archive with no partition left to check is the one case this cannot report, because the report has no partition to carry the break: check ArchiveVerifyReport::partitions for emptiness as well. The krabka-worm-verify binary leaves this None and compares the tips itself, because it grades a tip mismatch as its own outcome and not as tampering, and because it must also catch the emptied archive.

allow_epoch_restarts: bool

Treat an epoch restart as accepted rather than an attestation hole.

Read by whoever grades the report. The chain walk always records every epoch it finds, and an epoch restart on its own never clears PartitionVerifyReport::ok: a restart is a hole in the attestation, not evidence of a rewrite.

externally_authenticated_objects: BTreeSet<String>

Exact object keys authenticated by another signed boundary.

Restore uses this for diskless WAL objects whose claims live in the signed capture rather than a classic partition manifest. Every other unreferenced object remains an orphan.

Trait Implementations

impl Clone for VerifyRequest

fn clone(&self) -> VerifyRequest

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyRequest

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

Formats the value using the given formatter.

impl Default for VerifyRequest

fn default() -> VerifyRequest

Returns the “default value” for a type.