pub struct ComposesWithReflectionEntry {
pub namespace: String,
pub min_depth: u32,
}Expand description
v0.7.0 L2-7 (issue #672) — a single entry in the SKILL.md
composes_with_reflections frontmatter list.
Skills declare which reflection namespaces the substrate should
surface when the memory_skill_compositional_context MCP tool is
invoked. Each entry pins a namespace and a min_depth floor: the
substrate filters out reflections shallower than the floor before
applying the per-namespace max_reflection_depth ceiling
(GovernancePolicy::effective_max_reflection_depth). The ceiling is
authoritative — composition cannot bypass the bounded-recursion
guarantee documented on GovernancePolicy::max_reflection_depth.
The struct is round-trip-stable through JSON: registration parses it
out of the YAML frontmatter, embeds it under
metadata.composes_with_reflections (so older clients that don’t
know the field see it as opaque metadata per the v0.7.0 backward-
compat guarantee), and compositional_context reads it back.
Fields§
§namespace: StringThe reflection-bearing namespace (e.g. "foo/observations").
min_depth: u32Minimum reflection_depth (inclusive) a memory must carry to be
surfaced for this entry. 0 admits caller-minted observations
(rare for a reflection-composition flow but legal); typical use
is 1+ to require at least one reflection pass.
Trait Implementations§
Source§impl Clone for ComposesWithReflectionEntry
impl Clone for ComposesWithReflectionEntry
Source§fn clone(&self) -> ComposesWithReflectionEntry
fn clone(&self) -> ComposesWithReflectionEntry
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for ComposesWithReflectionEntry
impl Debug for ComposesWithReflectionEntry
Source§impl<'de> Deserialize<'de> for ComposesWithReflectionEntry
impl<'de> Deserialize<'de> for ComposesWithReflectionEntry
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>,
Source§impl PartialEq for ComposesWithReflectionEntry
impl PartialEq for ComposesWithReflectionEntry
Source§fn eq(&self, other: &ComposesWithReflectionEntry) -> bool
fn eq(&self, other: &ComposesWithReflectionEntry) -> bool
self and other values to be equal, and is used by ==.impl StructuralPartialEq for ComposesWithReflectionEntry
Auto Trait Implementations§
impl Freeze for ComposesWithReflectionEntry
impl RefUnwindSafe for ComposesWithReflectionEntry
impl Send for ComposesWithReflectionEntry
impl Sync for ComposesWithReflectionEntry
impl Unpin for ComposesWithReflectionEntry
impl UnsafeUnpin for ComposesWithReflectionEntry
impl UnwindSafe for ComposesWithReflectionEntry
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
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>,
impl<T> ErasedDestructor for Twhere
T: 'static,
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