Struct SolverConfig 

pub struct SolverConfig {
    pub environment_mode: EnvironmentMode,
    pub random_seed: Option<u64>,
    pub move_thread_count: MoveThreadCount,
    pub termination: Option<TerminationConfig>,
    pub score_director: Option<DirectorConfig>,
    pub phases: Vec<PhaseConfig>,
    pub candidate_trace: Option<CandidateTraceConfig>,
}

Fields

environment_mode: EnvironmentMode

random_seed: Option<u64>

move_thread_count: MoveThreadCount

termination: Option<TerminationConfig>

score_director: Option<DirectorConfig>

phases: Vec<PhaseConfig>

candidate_trace: Option<CandidateTraceConfig>

Optional bounded candidate-pull trace for cross-runtime diagnostics.

This is deliberately opt-in: recording a trace retains one owned identity per engine-consumed candidate. A non-zero cap is required so diagnostic runs cannot accidentally retain an unbounded neighborhood.

Implementations

impl SolverConfig

pub fn new() -> Self

pub fn load(path: impl AsRef<Path>) -> Result<Self, ConfigError>

Loads configuration from a TOML file.

Errors

Returns error if file doesn’t exist or contains invalid TOML.

pub fn from_toml_file(path: impl AsRef<Path>) -> Result<Self, ConfigError>

Loads configuration from a TOML file.

pub fn from_toml_str(s: &str) -> Result<Self, ConfigError>

Parses configuration from a TOML string.

pub fn from_yaml_file(path: impl AsRef<Path>) -> Result<Self, ConfigError>

Loads configuration from a YAML file.

pub fn from_yaml_str(s: &str) -> Result<Self, ConfigError>

Parses configuration from a YAML string.

pub fn with_termination_seconds(self, seconds: u64) -> Self

pub fn with_random_seed(self, seed: u64) -> Self

pub fn with_phase(self, phase: PhaseConfig) -> Self

pub fn canonical_toml(&self) -> String

Returns a deterministic, complete representation of this effective configuration for diagnostic provenance.

The representation is intentionally produced by the same serde model used to load solver configuration. Consumers compare this exact value together with the resolved phase plan in the candidate trace header.

pub fn canonical_phase_toml(phase: &PhaseConfig) -> String

Returns the canonical solver-document representation of one phase.

Runtime provenance uses this rather than debug formatting so every configured selector, acceptor, forager, target, and termination field participates in the candidate-trace plan digest.

pub fn time_limit(&self) -> Option<Duration>

Returns the termination time limit, if configured.

Convenience method that delegates to termination.time_limit().

Examples

use solverforge_config::SolverConfig;
use std::time::Duration;

let config = SolverConfig::from_toml_str(r#"
    [termination]
    seconds_spent_limit = 30
"#).unwrap();

assert_eq!(config.time_limit(), Some(Duration::from_secs(30)));

Trait Implementations

impl Clone for SolverConfig

fn clone(&self) -> SolverConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SolverConfig

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

Formats the value using the given formatter.

impl Default for SolverConfig

fn default() -> SolverConfig

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for SolverConfig

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for SolverConfig

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.