Skip to main content

MigrationDriftFinding

type_bridge_schema_migration

Enum MigrationDriftFinding

pub enum MigrationDriftFinding {
    AppliedLedger {
        diagnostic: Diagnostic,
    },
    LiveSemantics {
        recorded: ManagedSemanticSchemaFingerprint,
        observed: ManagedSemanticSchemaFingerprint,
    },
    DesiredDivergence {
        head: ManagedSemanticSchemaFingerprint,
        desired: ManagedSemanticSchemaFingerprint,
    },
    PendingMigrations {
        pending: Vec<MigrationId>,
    },
    Capabilities {
        diagnostic: Diagnostic,
    },
}

Expand description

One verified drift finding.

Every variant names the exact authorities that disagree; none carries a proposed repair.

Variants§

AppliedLedger

The applied ledger is not a valid downward-closed prefix/DAG frontier of verified history, or its frontier identifies no single state.

Fields

§diagnostic: Diagnostic

The exact ledger validation failure.

LiveSemantics

The live managed semantics differ from the recorded frontier target.

Fields

§recorded: ManagedSemanticSchemaFingerprint

Semantics the applied frontier’s verified manifests recorded.

§observed: ManagedSemanticSchemaFingerprint

Semantics observed live under the same profile and scope.

DesiredDivergence

The desired schema semantics differ from the selected head target.

Fields

§head: ManagedSemanticSchemaFingerprint

Semantics the selected migration head reaches.

§desired: ManagedSemanticSchemaFingerprint

Semantics the desired schema declares.

PendingMigrations

Verified history extends beyond the applied frontier.

Fields

§pending: Vec<MigrationId>

Dependency-ordered identities not yet applied.

Capabilities

A verified manifest requires capabilities the context cannot meet.

Fields

§diagnostic: Diagnostic

The exact capability negotiation failure.

Trait Implementations§

impl Clone for MigrationDriftFinding

fn clone(&self) -> MigrationDriftFinding

Returns a duplicate of the value. Read more

1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more

impl Debug for MigrationDriftFinding

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

Formats the value using the given formatter. Read more

impl Eq for MigrationDriftFinding

impl PartialEq for MigrationDriftFinding

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

Equality operator ==. Read more

1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more

impl StructuralPartialEq for MigrationDriftFinding

Auto Trait Implementations§

impl Freeze for MigrationDriftFinding

impl RefUnwindSafe for MigrationDriftFinding

impl Send for MigrationDriftFinding

impl Sync for MigrationDriftFinding

impl Unpin for MigrationDriftFinding

impl UnsafeUnpin for MigrationDriftFinding

impl UnwindSafe for MigrationDriftFinding

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Same for T

type Output = T

Should always be Self

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = !

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, !>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.