Enum VerifyOutcome 

pub enum VerifyOutcome {
    NotVerifiable,
    Ok(String),
    Mismatch(String),
    Error(String),
}

Result of an applied migration’s post-condition check (agentmux-srv migrate --verify, SPEC_MIGRATION_SYSTEM_HARDENING_2026_08_03 Phase 1). db_migrations records only that up() returned Ok — never that it wrote what it was meant to. A migration that can state its own effect as a cheap query implements Migration::verify; the rest report NotVerifiable and the doctor pass says so rather than guessing.

Variants

NotVerifiable

The migration declares no checkable post-condition (the default).

Ok(String)

The post-condition holds. The string is the evidence (counts, paths).

Mismatch(String)

Recorded applied, but the effect is not there — the F1/F2 “marker present, wrote nothing” shape the spec was written about.

Error(String)

The check itself could not run (store unreadable, etc.). Treated like a mismatch for exit-code purposes: an unverifiable applied migration is not a passing one.

Implementations

impl VerifyOutcome

pub fn is_failure(&self) -> bool

true for Mismatch and Error — the two outcomes that fail the pass.

pub fn label(&self) -> &'static str

Short status word for CLI / NDJSON output.

pub fn detail(&self) -> &str

The detail string, if any.

Trait Implementations

impl Clone for VerifyOutcome

fn clone(&self) -> VerifyOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyOutcome

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

Formats the value using the given formatter.

impl Eq for VerifyOutcome

impl PartialEq for VerifyOutcome

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for VerifyOutcome