Struct ForgeResolver 

pub struct ForgeResolver { /* private fields */ }

Stateful FORGE resolver with an intent library index.

Implementations

impl ForgeResolver

pub fn new(library: IntentLibrary, lift_options: LiftOptions) -> Self

Builds a resolver from an existing intent library and lift options.

pub fn new_with_verifiers( library: IntentLibrary, lift_options: LiftOptions, verify_catalog: VerifyCatalog, ) -> Self

Builds a resolver from an existing intent library, lift options, and semantic verifier catalog.

pub fn library(&self) -> &IntentLibrary

Returns the intent library backing this resolver.

pub fn library_mut(&mut self) -> &mut IntentLibrary

Returns a mutable handle to the intent library backing this resolver.

pub fn verify_catalog(&self) -> &VerifyCatalog

Returns the semantic verifier catalog backing this resolver.

pub fn verify_catalog_mut(&mut self) -> &mut VerifyCatalog

Returns a mutable semantic verifier catalog handle.

pub fn resolve( &mut self, cx: &mut Cx, target: &dyn EvalFabric, prose: &str, policy: PromotePolicy, ) -> Result<CompiledIntent>

Resolves prose to a compiled intent, reusing a golden source hit.

A golden hit returns directly and does not call the lift fabric. A miss lifts a structurally checked candidate, stores it in the named index, and leaves it in Candidate state until semantic verification or human approval exists.

Trait Implementations

impl Clone for ForgeResolver

fn clone(&self) -> ForgeResolver

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ForgeResolver

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

Formats the value using the given formatter.

impl Default for ForgeResolver

fn default() -> Self

Returns the “default value” for a type.