Struct VerifyAccuracyHandler 

pub struct VerifyAccuracyHandler { /* private fields */ }

The verify_accuracy meta-tool (the 6th served tool): re-run the executor at the workbook’s REFERENCE inputs (the manifest tier defaults — verified the oracle was computed there) and return a per-output [ReconcileReport] vs each Tool.oracle within TOL.

This makes the compile-time penny-reconcile RUNTIME-inspectable: a queryable, HONESTLY-framed attestation that the served engine reproduces Excel’s authored values at the reference inputs. It does NOT attest arbitrary inputs — for those the BA downloads the formula workbook via render_workbook (filled / inputs_only), where Excel is the oracle.

Reader-free + stateless: calls the pure pmcp_workbook_runtime::reconcile_reference over the in-memory bundle (no reader, no toolkit-side seeding, no caller-supplied seeds). An optional tool-name filter scopes the report; an unknown filter is an Err listing the available tool names (D-03) — never a silent empty pass.

Implementations

impl VerifyAccuracyHandler

pub const NAME: &str = "verify_accuracy"

The registered tool name — the single source for registration + the H3 binding test + metadata.

pub fn new(bundle: Arc<WorkbookBundle>) -> Self

Build over the shared verified bundle.

Trait Implementations

impl ToolHandler for VerifyAccuracyHandler

fn handle<'life0, 'async_trait>( &'life0 self, args: Value, _extra: RequestHandlerExtra, ) -> Pin<Box<dyn Future<Output = Result<Value>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

Handle a tool call with the given arguments.

fn metadata(&self) -> Option<ToolInfo>

Get tool metadata including description and schema. Returns None to use default empty metadata.

fn handle_output<'life0, 'async_trait>( &'life0 self, args: Value, extra: RequestHandlerExtra, ) -> Pin<Box<dyn Future<Output = Result<ToolOutput, Error>> + Send + 'async_trait>>

where 'life0: 'async_trait, Self: 'async_trait,

Produce the tool’s ToolOutput for a call.