pub struct SessionCheckpointNodiscoveryTool { /* private fields */ }Expand description
session.checkpoint_nodiscovery — the AHIMSA no-discovery checkpoint.
Stores exactly the caller-supplied handoff fields (commit, branch,
tests_green, next_queue, open_flags, lease_id): no repository discovery,
no filesystem read, no subprocess spawn. Strict mode admits this operation
so continuity survives system stress; the git-capturing
session.checkpoint declares its spawns truthfully and is refused there.
Checkpoint and release are independent tools: failure of either does not
block the other.
Implementations§
Source§impl SessionCheckpointNodiscoveryTool
impl SessionCheckpointNodiscoveryTool
pub fn new(store: Arc<MemoryStore>) -> Self
Sourcepub fn with_search(self, search: Option<Arc<SearchEngine>>) -> Self
pub fn with_search(self, search: Option<Arc<SearchEngine>>) -> Self
Attach the search engine so the checkpoint is indexed at write time.
Trait Implementations§
Source§impl Tool for SessionCheckpointNodiscoveryTool
impl Tool for SessionCheckpointNodiscoveryTool
Source§fn input_schema(&self) -> Value
fn input_schema(&self) -> Value
JSON-Schema-style description of the accepted arguments. Read more
Source§fn description(&self) -> &str
fn description(&self) -> &str
Human-readable description.
Auto Trait Implementations§
impl !Freeze for SessionCheckpointNodiscoveryTool
impl !RefUnwindSafe for SessionCheckpointNodiscoveryTool
impl !UnwindSafe for SessionCheckpointNodiscoveryTool
impl Send for SessionCheckpointNodiscoveryTool
impl Sync for SessionCheckpointNodiscoveryTool
impl Unpin for SessionCheckpointNodiscoveryTool
impl UnsafeUnpin for SessionCheckpointNodiscoveryTool
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
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>
Converts
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>
Converts
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)
Converts
&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)
Converts
&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> ⓘ
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