pub enum Derive {
Encoded(Vec<u8>),
Declined,
Rejected(ValidationError),
}Expand description
Build a family’s Plan through its build_*_plan builder, run the
LedgerValidator gate on the
projected ledger trace, and fold preamble + plan_to_bytes(&plan, &at)
into the full payload.
The derivation outcome — a tri-state so a routine decline is never conflated with a would-be-bug validator reject (ADR-030).
Variants§
Encoded(Vec<u8>)
The family encoded as executable command bytes.
Declined
No producer/builder for this shape (a routine no-path; the strategy skips).
Rejected(ValidationError)
A Plan was built but the ledger validator rejected it — a latent bug.
Always fatal (ADR-030): never swallowed into a decline or a None.
Trait Implementations§
impl Eq for Derive
impl StructuralPartialEq for Derive
Auto Trait Implementations§
impl Freeze for Derive
impl RefUnwindSafe for Derive
impl Send for Derive
impl Sync for Derive
impl Unpin for Derive
impl UnsafeUnpin for Derive
impl UnwindSafe for Derive
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<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> 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