Struct VerifiedMigrationRollbackPlan 

pub struct VerifiedMigrationRollbackPlan { /* private fields */ }

A complete pre-verified rollback plan in reverse-topological order.

Implementations

impl VerifiedMigrationRollbackPlan

pub fn rollbacks(&self) -> &[VerifiedMigrationRollbackManifest]

Return rollback manifests in execution order.

pub fn remaining_applied(&self) -> &[MigrationId]

Return the applied identities that survive the rollback, in order.

pub const fn source_state(&self) -> &ManagedSchemaState

Return the exact managed state the rollback starts from.

pub const fn target_schema(&self) -> &DeclaredSchema

Return the exact declared schema the rollback restores.

pub const fn target_state(&self) -> &ManagedSchemaState

Return the exact managed state the rollback restores.

pub const fn execution_authorized(&self) -> bool

Return whether policy and exact approvals authorize provider execution.

pub fn applied_basis(&self) -> BTreeSet<MigrationId>

Return the complete canonically ordered applied basis this plan assumed.

The basis is the union of the rolled-back identities and the surviving ones; execution compares it against the live applied ledger so a plan built from a stale ledger fails closed before provider I/O.

Trait Implementations

impl Clone for VerifiedMigrationRollbackPlan

fn clone(&self) -> VerifiedMigrationRollbackPlan

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifiedMigrationRollbackPlan

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

Formats the value using the given formatter.

impl Eq for VerifiedMigrationRollbackPlan

impl PartialEq for VerifiedMigrationRollbackPlan

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for VerifiedMigrationRollbackPlan