#[repr(u8)]pub enum DecouplingRule {
EccAuthoritative = 1,
WorldModelOptional = 2,
ImpulseOnlyWritePath = 3,
NoCausalShortCircuit = 4,
GracefulDegradation = 5,
}Expand description
The five formal decoupling rules (ADR-090).
Variants§
EccAuthoritative = 1
R1 — ECC is the sole authoritative causal reasoner per node.
WorldModelOptional = 2
R2 — World model is optional; sensor+ECC paths run without it.
ImpulseOnlyWritePath = 3
R3 — WM may publish impulses / observations only; never rewrite edges.
NoCausalShortCircuit = 4
R4 — WM must not short-circuit a causal edge (no bypass of link/unlink).
GracefulDegradation = 5
R5 — Absent cluster/WM: local-ECC-only behaviour is unchanged.
Implementations§
Trait Implementations§
Source§impl Clone for DecouplingRule
impl Clone for DecouplingRule
impl Copy for DecouplingRule
Source§impl Debug for DecouplingRule
impl Debug for DecouplingRule
Source§impl<'de> Deserialize<'de> for DecouplingRule
impl<'de> Deserialize<'de> for DecouplingRule
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
impl Eq for DecouplingRule
Source§impl Hash for DecouplingRule
impl Hash for DecouplingRule
Source§impl PartialEq for DecouplingRule
impl PartialEq for DecouplingRule
Source§impl Serialize for DecouplingRule
impl Serialize for DecouplingRule
impl StructuralPartialEq for DecouplingRule
Auto Trait Implementations§
impl Freeze for DecouplingRule
impl RefUnwindSafe for DecouplingRule
impl Send for DecouplingRule
impl Sync for DecouplingRule
impl Unpin for DecouplingRule
impl UnsafeUnpin for DecouplingRule
impl UnwindSafe for DecouplingRule
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
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<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
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