pub enum RedundancyScope {
View,
Machine,
}Expand description
Which redundancy-reduction rules apply (ADR-078 §7, Amendment 3).
View is the rendered-view scope (auto/table): the caller has opted
into a display form that is never chained on programmatically, so
full_id — the caller’s stable chaining handle — is safe to drop along
with the other reductions.
Machine is the machine-contract scope (Agent json): this is the
default MCP response shape, the one a caller chains $prev and strict
verb parameters (memory.feedback(target_id=...), gtd.assign (context_entity_id=...), etc.) from. It applies the namespace elision
and the properties dedup, but never drops full_id, and the
properties dedup itself exempts full_id/ROUND_TRIP_FULL_UUID_FIELDS
keys — a caller reading a strict identifier out of properties must see
the same canonical value there as at the top level. Dropping any of
those would return a value the strict verbs that consume it reject.
Variants§
Trait Implementations§
Source§impl Clone for RedundancyScope
impl Clone for RedundancyScope
impl Copy for RedundancyScope
Source§impl Debug for RedundancyScope
impl Debug for RedundancyScope
impl Eq for RedundancyScope
Source§impl PartialEq for RedundancyScope
impl PartialEq for RedundancyScope
impl StructuralPartialEq for RedundancyScope
Auto Trait Implementations§
impl Freeze for RedundancyScope
impl RefUnwindSafe for RedundancyScope
impl Send for RedundancyScope
impl Sync for RedundancyScope
impl Unpin for RedundancyScope
impl UnsafeUnpin for RedundancyScope
impl UnwindSafe for RedundancyScope
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
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§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
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> ⓘ
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> ⓘ
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