Enum VerifiedMigrationApplyStep 

pub enum VerifiedMigrationApplyStep {
    Assertion {
        step: MigrationStep,
        validated: Box<ValidatedMigrationAssertionPlan>,
    },
    SchemaDelta {
        step: MigrationStep,
        lowering: Box<SchemaLoweringPlan>,
    },
    Backfill {
        step: MigrationStep,
    },
}

One trusted step aligned to its independently verified execution evidence.

Variants

Assertion

A state-preserving typed assertion retained at its exact manifest position.

Fields

step: MigrationStep

The constructor-validated binding-neutral migration step.

validated: Box<ValidatedMigrationAssertionPlan>

Schema-aware validation rederived against the exact replayed source state.

SchemaDelta

A state-changing schema step with freshly derived provider lowering.

Fields

step: MigrationStep

The constructor-validated binding-neutral migration step.

lowering: Box<SchemaLoweringPlan>

The exact lowering derived from the replayed source and target catalogs.

Backfill

A closed data backfill bound to the exact replayed intermediate schema.

Fields

step: MigrationStep

The constructor-validated binding-neutral migration step.

Implementations

impl VerifiedMigrationApplyStep

pub const fn step(&self) -> &MigrationStep

Return the exact binding-neutral manifest step.

pub fn validated_assertion(&self) -> Option<&ValidatedMigrationAssertionPlan>

Return schema-aware execution evidence only for an assertion step.

pub fn lowering(&self) -> Option<&SchemaLoweringPlan>

Return provider lowering only for a schema-delta step.

Trait Implementations

impl Clone for VerifiedMigrationApplyStep

fn clone(&self) -> VerifiedMigrationApplyStep

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifiedMigrationApplyStep

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

Formats the value using the given formatter.

impl Eq for VerifiedMigrationApplyStep

impl PartialEq for VerifiedMigrationApplyStep

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for VerifiedMigrationApplyStep