enum MutationSourceWitness {
Observed {
entry: Arc<SourceObservationEntry>,
epoch: VerifiedSourceEpoch,
},
Exact {
binding: SourceBinding,
stamp: VerifiedReadStamp,
contract_fingerprint: String,
policy_witness: String,
},
}Expand description
Source authority retained through one purpose mutation commit boundary.
Variants§
Observed
Native observation plus the accepted source epoch.
Fields
§
entry: Arc<SourceObservationEntry>Exact source binding and observer continuity retained by this admission.
§
epoch: VerifiedSourceEpochExact durable generation and policy epoch accepted before mutation.
Exact
Exact-per-call compatibility witness when no observer can be admitted.
Fields
§
binding: SourceBindingCanonical source, database, and configuration identity.
§
stamp: VerifiedReadStampDurable generation and project identity accepted before mutation.
Auto Trait Implementations§
impl Freeze for MutationSourceWitness
impl RefUnwindSafe for MutationSourceWitness
impl Send for MutationSourceWitness
impl Sync for MutationSourceWitness
impl Unpin for MutationSourceWitness
impl UnsafeUnpin for MutationSourceWitness
impl UnwindSafe for MutationSourceWitness
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> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§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