Skip to main content

CortexRunTool

Struct CortexRunTool 

Source
pub struct CortexRunTool {
    pub pool: Arc<Mutex<Pool>>,
    pub event_log: PathBuf,
}
Expand description

cortex_run MCP tool handler.

Builds an auditable context pack from the live store, dispatches the task through the resolved LLM adapter, and persists the AgentResponse event to the JSONL ledger and SQLite mirror using the local-development unsigned path (ADR 0026 §2, same policy as cortex run default).

When the composed policy rejects or quarantines the run (e.g. RemoteUnsigned mode without operator break-glass), the ledger write is skipped and session_indexed is false.

rusqlite::Connection is Send but not Sync; the Mutex provides the Sync bound required by ToolHandler while keeping the connection single-threaded at the call site (the stdio loop is single-threaded).

Fields§

§pool: Arc<Mutex<Pool>>

SQLite connection guarded by a mutex so the struct satisfies Sync.

§event_log: PathBuf

Path to the JSONL event-log file written on each successful run.

Implementations§

Source§

impl CortexRunTool

Source

pub fn new(pool: Arc<Mutex<Pool>>, event_log: PathBuf) -> Self

Construct with a shared store pool and event-log path.

Trait Implementations§

Source§

impl Debug for CortexRunTool

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl ToolHandler for CortexRunTool

Source§

fn name(&self) -> &'static str

The JSON-RPC method name this handler responds to. Read more
Source§

fn gate_set(&self) -> &'static [GateId]

Gate IDs this tool activates. Read more
Source§

fn call(&self, params: Value) -> Result<Value, ToolError>

Execute the tool with the given JSON params, returning a JSON result. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more