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 managementYamlConfigurable: Configuration from YAML experiment specsEddSimulation: 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§
- Config
Error - Error type for configuration operations.
- Test
Result - Result of a single verification test.
- Validation
Result - Result of validating configuration against EMC.
- Verification
Result - Result of verifying implementation against EMC test cases.
Traits§
- EddSimulation
- Core EDD trait bundle.
- Reproducible
- Reproducibility trait for deterministic simulation.
- Yaml
Configurable - YAML configuration trait for EDD simulations.