Expand description
Unified Demo Engine Trait
Per specification SIMULAR-DEMO-001: All demos MUST implement DemoEngine.
This trait ensures:
- YAML-first configuration (single source of truth)
- Deterministic replay (same seed → same output)
- Renderer independence (TUI/WASM produce identical state sequences)
- Metamorphic testing support
- Falsification criteria evaluation
§Peer-Reviewed Foundation
- Chen et al. (2018): Metamorphic testing
- Lavoie & Hendren (2015): Deterministic replay
- Faulk et al. (2020): Property-based testing for scientific code
Structs§
- Criterion
Result - Result of evaluating a falsification criterion.
- Demo
Meta - Demo metadata from YAML configuration.
- Falsification
Criterion - A single falsification criterion.
- Metamorphic
Relation - A metamorphic relation for testing without oracles.
- MrResult
- Result of verifying a metamorphic relation.
Enums§
- Demo
Error - Errors that can occur in demo operations.
- Severity
- Severity levels for falsification criteria.
Traits§
- Demo
Engine - MANDATORY trait for ALL demos (EDD-compliant).
- Deterministic
Replay - Helper trait for demos that support deterministic replay.
- Renderer
Independent - Helper trait for demos with renderer-independent core logic.