Struct UniversalSolver 

pub struct UniversalSolver {
    pub config: SolverConfig,
}

The universal solver itself. See module docs for the 11-step loop.

Fields

config: SolverConfig

Implementations

impl UniversalSolver

pub fn solve_with_intent_cache( &self, prompt: &str, intent_cache: &mut IntentFormalizationCache, ) -> SymbolicAnswer

impl UniversalSolver

pub const fn new(config: SolverConfig) -> Self

Construct a solver with an explicit configuration.

pub fn solve(&self, prompt: &str) -> SymbolicAnswer

Run the universal loop against a single user impulse and return the projected SymbolicAnswer. Every step is recorded in the in-process append-only log so the user-facing answer is, by construction, a projection of an inspectable trace.

pub fn solve_with_history( &self, prompt: &str, history: &[ConversationTurn], ) -> SymbolicAnswer

Run the universal loop with conversational context. Each prior turn is appended to the event log as prior_turn:user or prior_turn:assistant before the current impulse, so memory-recall handlers can search the log instead of holding implicit state.

pub fn solve_with_probability_store( &self, prompt: &str, probability_store: &ProbabilityStore, ) -> SymbolicAnswer

pub fn solve_with_history_and_probability_store( &self, prompt: &str, history: &[ConversationTurn], probability_store: &ProbabilityStore, ) -> SymbolicAnswer

Trait Implementations

impl Clone for UniversalSolver

fn clone(&self) -> UniversalSolver

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for UniversalSolver

impl Debug for UniversalSolver

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

Formats the value using the given formatter.

impl Default for UniversalSolver

fn default() -> Self

Returns the “default value” for a type.