Trait EddSimulation

Source

pub trait EddSimulation:
    GoverningEquation
    + FalsifiableSimulation
    + Reproducible
    + YamlConfigurable {
    // Required methods
    fn emc(&self) -> &EquationModelCard;
    fn verify_against_emc(&self) -> VerificationResult;

    // Provided methods
    fn simulation_name(&self) -> &str { ... }
    fn simulation_version(&self) -> &str { ... }
}

Expand description

Core EDD trait bundle.

Every simulation in simular MUST implement this trait, which combines:

GoverningEquation: Mathematical foundation
FalsifiableSimulation: Active falsification search
Reproducible: Deterministic seeding
YamlConfigurable: Declarative configuration

§EDD Compliance

Implementing this trait ensures the simulation complies with all four pillars of EDD:

Prove It: Via GoverningEquation (EMC reference)
Fail It: Via FalsifiableSimulation (falsification criteria)
Seed It: Via Reproducible (deterministic RNG)
Falsify It: Via verify_against_emc() (active testing)

§Example

pub struct HarmonicOscillator {
    omega: f64,
    emc: EquationModelCard,
    seed: u64,
}

impl EddSimulation for HarmonicOscillator {
    fn emc(&self) -> &EquationModelCard {
        &self.emc
    }

    fn verify_against_emc(&self) -> VerificationResult {
        // Run EMC verification tests
    }
}