Skip to main content

Module traits

Module traits 

Source
Expand description

Core EDD traits for simulation compliance.

This module defines the mandatory traits that every EDD-compliant simulation must implement:

  • Reproducible: Deterministic seeding and RNG state management
  • YamlConfigurable: Configuration from YAML experiment specs
  • EddSimulation: Supertrait combining all EDD requirements

§EDD-03: Deterministic Reproducibility

Claim: Identical seeds produce bitwise-identical results. Rejection Criteria: Any non-determinism in simulation output.

§References

  • [9] Hill, D.R.C. (2023). Numerical Reproducibility of Parallel Stochastic Simulation
  • [10] Hinsen, K. (2015). Reproducibility in Computational Neuroscience

Structs§

ConfigError
Error type for configuration operations.
TestResult
Result of a single verification test.
ValidationResult
Result of validating configuration against EMC.
VerificationResult
Result of verifying implementation against EMC test cases.

Traits§

EddSimulation
Core EDD trait bundle.
Reproducible
Reproducibility trait for deterministic simulation.
YamlConfigurable
YAML configuration trait for EDD simulations.