Struct CortexAuditVerifyTool 

pub struct CortexAuditVerifyTool { /* private fields */ }

MCP tool: cortex_audit_verify.

Schema:

cortex_audit_verify() -> {
  ok:           bool,
  chain_length: int,
  issues:       [string],
}

Calls cortex_ledger::verify_chain over the configured JSONL event-log path. ok is true and issues is empty when the chain verified clean. Any per-row failures are collected into issues as human-readable strings.

The pool is held to satisfy the ToolHandler contract for tools that carry an open store connection; it is not read during the verify pass (the JSONL file is the authoritative audit surface).

Implementations

impl CortexAuditVerifyTool

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

Construct the tool over a shared store connection and the JSONL event-log path.

Trait Implementations

impl Debug for CortexAuditVerifyTool

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

Formats the value using the given formatter.

impl ToolHandler for CortexAuditVerifyTool

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

The JSON-RPC method name this handler responds to.

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

Gate IDs this tool activates.

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

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