pub enum Basis {
Person,
Agent,
}Expand description
Who a claim written through MCP comes from, kept as source.basis.
Variants§
Person
The words are in the person’s latest prompt, as the prompt hook kept it.
Agent
Anything else: the agent’s own reading of the work, a file, a tool’s output or a web page.
Implementations§
Source§impl Basis
impl Basis
Sourcepub fn of(text: &str) -> Self
pub fn of(text: &str) -> Self
The basis of text. Basis::Person only when the words are in the
prompt the hook kept, a file the agent does not write. An agent’s own
word that the person said it does not count.
Sourcepub fn of_typed(text: &str) -> Self
pub fn of_typed(text: &str) -> Self
The basis of text given to a CLI verb: the person’s when
person_present proves them at the terminal, else Basis::of.
Sourcepub fn of_rule() -> Self
pub fn of_rule() -> Self
The basis of a rule a CLI verb writes: the person’s only when
person_present. The prompt check does not raise a rule. The
kept prompt, its bind and the runner’s transcript are all files the
agent’s login can rewrite, and a reason clause in the prompt says
nothing of the pattern and verdict the rule enforces.
Trait Implementations§
impl Copy for Basis
impl Eq for Basis
impl StructuralPartialEq for Basis
Auto Trait Implementations§
impl Freeze for Basis
impl RefUnwindSafe for Basis
impl Send for Basis
impl Sync for Basis
impl Unpin for Basis
impl UnsafeUnpin for Basis
impl UnwindSafe for Basis
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<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<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
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