Expand description
Equation Model Card (EMC) - Mandatory documentation for EDD simulations.
The EMC bridges mathematics and code, ensuring every simulation is grounded in peer-reviewed theory. No simulation can run without a complete EMC.
§EMC Schema (9 Required Sections)
- Identity: Name, UUID, version
- Governing Equation: LaTeX, analytical derivation
- Variables: All parameters with units and constraints
- Verification Tests: Analytical solutions for TDD
- Domain Constraints: Valid operating ranges
- Falsification Criteria: How to disprove the model
- References: Peer-reviewed citations
- Implementation Notes: Numerical considerations
- Lineage: Parent equations, derivations
Re-exports§
pub use super::equation::Citation as EmcCitation;
Structs§
- Domain
Constraint - Domain constraint specifying valid operating ranges.
- EmcBuilder
- Builder for
EquationModelCard. - Equation
Model Card - Equation Model Card - Complete documentation for a governing equation.
- Falsification
Criterion - Falsification criterion defining how to disprove the model.
- Implementation
Note - Implementation notes for numerical considerations.
- Verification
Test - A verification test case with known analytical solution.
Enums§
- Note
Importance - Importance level for implementation notes.
- Violation
Behavior - Behavior when a domain constraint is violated.