Struct VerifyOperation 

pub struct VerifyOperation {
    pub trigger: IngestTrigger,
    pub batch_size: u32,
    pub adjudication_cap: u32,
    pub full_resync_every: u32,
}

The verify operation — read-only measurement. Optional: an absent verify block means engine defaults, never a refusal (verify is read-only). Carries no mode.

adjudication_cap and full_resync_every are the tier-3 operations knobs (bundle plan 05-verify-sync-engine, group D): scheduling attributes on the measurement side only — like trigger / batch_size, they never change what the mem claims, so they are excluded from hash_binding (the whole verify block is). Both are additive: an older verify block without them deserializes to the dogfood-tuned defaults.

Fields

trigger: IngestTrigger

What sets a verify running.

batch_size: u32

How many artifacts a single run processes.

adjudication_cap: u32

Per-run tier-3 adjudication cap (D1): the maximum number of hash-drift adjudications a single verify run asserts. Once the cap is reached the run stops adjudicating and queues the remaining drift candidates as queued-for-adjudication findings (the tier-3 backlog the fidelity report renders). Combined with the rotating sample (D2), successive runs adjudicate different windows, so the whole anchor set is covered over a full rotation. 0 disables the cap. Defaults to DEFAULT_ADJUDICATION_CAP.

full_resync_every: u32

Scheduled full-enumeration walk cadence (D3): every N verify runs, a full coverage sweep enumerates the whole source set (S(D)) for enumerable mediums, guaranteeing eventual complete coverage rather than relying on the rotating sample to finish. For a medium the capability matrix marks non-enumerable, the scheduled walk refuses with a typed signal — never a silent skip, never a fabricated full-coverage claim. 0 disables scheduled full walks. Defaults to DEFAULT_FULL_RESYNC_EVERY.

Trait Implementations

impl Clone for VerifyOperation

fn clone(&self) -> VerifyOperation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyOperation

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VerifyOperation

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for VerifyOperation

impl PartialEq for VerifyOperation

fn eq(&self, other: &VerifyOperation) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for VerifyOperation

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for VerifyOperation