Struct VerifyCatalog 

pub struct VerifyCatalog { /* private fields */ }

Local catalog binding verifier ids, probes, and cited ground truth.

Implementations

impl VerifyCatalog

pub fn new() -> Self

Builds an empty verifier catalog.

pub fn register_verifier(&mut self, id: Symbol, verifier: Verifier)

Registers or replaces a verifier by stable id.

pub fn verifier(&self, id: &Symbol) -> Option<&Verifier>

Returns a verifier by id.

pub fn register_probe( &mut self, intent: Symbol, probe: VerifyProbe, ) -> Result<ContentId>

Registers a probe for an intent name and returns its content id.

pub fn insert_probe( &mut self, intent: Symbol, id: ContentId, probe: VerifyProbe, )

Inserts a probe with an explicit content id.

pub fn probe_ids_for(&self, intent: &Symbol) -> Vec<ContentId>

Returns probe ids attached to intent.

pub fn insert_evidence(&mut self, cite: impl Into<String>, value: Expr)

Stores cited evidence by Given id, URI, or content-id string.

pub fn insert_content_evidence(&mut self, id: &ContentId, value: Expr)

Stores cited evidence under its canonical content-id string.

pub fn verify_answer( &self, cx: &mut Cx, intent: &CompiledIntent, answer: &Expr, ) -> Result<VerifyReport>

Runs the intent’s required verifiers against a decoded answer.

pub fn verify_probe( &self, cx: &mut Cx, intent: &CompiledIntent, probe: &VerifyProbe, ) -> Result<VerifyReport>

Runs a concrete probe using only the verifiers named by the probe.

pub fn verify_intent_probes( &self, cx: &mut Cx, intent: &CompiledIntent, ) -> Result<VerifyReport>

Runs every probe named by the intent and fails closed when proof is missing or incomplete.

Trait Implementations

impl Clone for VerifyCatalog

fn clone(&self) -> VerifyCatalog

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for VerifyCatalog

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

Formats the value using the given formatter.

impl Default for VerifyCatalog

fn default() -> VerifyCatalog

Returns the “default value” for a type.