pub enum MemOrigin {
ExplicitToml,
RuntimeCreated {
at: SystemTime,
by_tool: &'static str,
},
}Expand description
Provenance record attached to every writable-mem registration.
MEM_NAME_COLLISION reads the colliding registration’s
MemOrigin and renders it into details.source so agents can
distinguish “collision with an explicit workspace mem” from
“collision with a previously-runtime-created mem” without a
follow-up round trip. The enum is kept internal to memstead-git-branch with a
render_source rendering helper that produces the agent-facing
string — no public serde derivation yet; the render path is the
only supported serialization surface until a caller needs structured
consumption.
Variants§
ExplicitToml
Loaded from the workspace’s .memstead/workspace.toml mems = [...]
entry.
RuntimeCreated
Registered after Engine::init via
Engine::register_mem_runtime — the path lifecycle tools
take. at captures when the runtime registration
happened (rendered as an RFC-3339 timestamp on the error
surface); by_tool names the MCP tool that produced the
registration (today always "memstead_mem_create", but kept
extensible).
Implementations§
Source§impl MemOrigin
impl MemOrigin
Sourcepub fn render_source(&self) -> String
pub fn render_source(&self) -> String
Agent-facing string rendering consumed by
MEM_NAME_COLLISION.details.source. The string is short,
declarative, and identifies the registration site so agents can
correlate the collision with something they can observe
(.memstead/workspace.toml entry, timestamp).
The workspace config file lives at .memstead/workspace.toml.
The error message points at the current path so an agent
following the hint finds it.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for MemOrigin
impl RefUnwindSafe for MemOrigin
impl Send for MemOrigin
impl Sync for MemOrigin
impl Unpin for MemOrigin
impl UnsafeUnpin for MemOrigin
impl UnwindSafe for MemOrigin
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,
Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>, which can then be
downcast into Box<dyn ConcreteType> where ConcreteType implements Trait.Source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Rc<Trait> (where Trait: Downcast) to Rc<Any>, which can then be further
downcast into Rc<ConcreteType> where ConcreteType implements Trait.Source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.Source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.Source§impl<T> DowncastSend for T
impl<T> DowncastSend for T
Source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
impl<T> Fruit for T
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