pub struct M0007AgentsConsolidate;Trait Implementations§
Source§impl Migration for M0007AgentsConsolidate
impl Migration for M0007AgentsConsolidate
Source§fn verify(&self, ctx: &MigrationContext) -> VerifyOutcome
fn verify(&self, ctx: &MigrationContext) -> VerifyOutcome
Phase 1 doctor check — the incident this spec was written about
(SPEC_MIGRATION_SYSTEM_HARDENING_2026_08_03 §1, F1/F2): a marker
said “done” while db_agents was suspected empty.
The decision is NOT re-derived here: it is Phase 0b’s
consolidate_looks_incomplete (backend/storage/agents_consolidate.rs),
the same rule the marker gate and m0000_bootstrap already use — one
definition of “incomplete”, so the three cannot drift (reagent P2 on
#3058). This only adds the counts as evidence, through a read-only
connection.
fn id(&self) -> &'static str
fn scope(&self) -> MigrationScope
fn description(&self) -> &'static str
fn up(&self, ctx: &MigrationContext) -> Result<(), MigrationError>
Auto Trait Implementations§
impl Freeze for M0007AgentsConsolidate
impl RefUnwindSafe for M0007AgentsConsolidate
impl Send for M0007AgentsConsolidate
impl Sync for M0007AgentsConsolidate
impl Unpin for M0007AgentsConsolidate
impl UnsafeUnpin for M0007AgentsConsolidate
impl UnwindSafe for M0007AgentsConsolidate
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Convert
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Convert
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait.§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.§impl<T> DowncastSync for T
impl<T> DowncastSync for T
impl<A, B, T> HttpServerConnExec<A, B> for Twhere
B: Body,
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more