Struct TspEngine 

pub struct TspEngine { /* private fields */ }

Unified TSP engine implementing DemoEngine.

This provides a proper DemoEngine implementation that:

• Loads from YAML
• Produces deterministic states
• Supports TUI/WASM parity verification

Trait Implementations

impl Clone for TspEngine

fn clone(&self) -> TspEngine

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TspEngine

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

Formats the value using the given formatter.

impl DemoEngine for TspEngine

type Config = TspConfig

Configuration type loaded from YAML.

type State = TspState

State snapshot for replay/audit.

type StepResult = TspStepResult

Result of a single step.

fn from_yaml(yaml: &str) -> Result<Self, DemoError>

Create engine from YAML configuration string.

fn from_config(config: Self::Config) -> Self

Create engine from config struct.

fn config(&self) -> &Self::Config

Get the current configuration.

fn reset(&mut self)

Reset to initial state (same seed = same result).

fn reset_with_seed(&mut self, seed: u64)

Reset with a new seed.

fn step(&mut self) -> Self::StepResult

Execute one step (deterministic given state + seed).

fn is_complete(&self) -> bool

Check if simulation is complete/converged.

fn state(&self) -> Self::State

Get current state snapshot (for replay verification).

fn restore(&mut self, state: &Self::State)

Restore from a state snapshot.

fn step_count(&self) -> u64

Get current step number.

fn seed(&self) -> u64

Get seed for reproducibility.

fn meta(&self) -> &DemoMeta

Get demo metadata.

fn falsification_criteria(&self) -> Vec<FalsificationCriterion>

Get falsification criteria from config.

fn evaluate_criteria(&self) -> Vec<CriterionResult>

Evaluate all criteria against current state.

fn metamorphic_relations(&self) -> Vec<MetamorphicRelation>

Get metamorphic relations for this demo.

fn verify_mr(&self, mr: &MetamorphicRelation) -> MrResult

Verify a specific metamorphic relation.

fn run(&mut self, n: usize) -> Vec<Self::StepResult>

Execute N steps.

fn is_verified(&self) -> bool

Check if all criteria pass.

fn verify_all_mrs(&self) -> Vec<MrResult>

Verify all metamorphic relations.