Skip to main content

Module v2

Module v2 

Source
Expand description

EDD v2: YAML-Only, probar-First Simulation Framework

Key changes from EDD v1:

  • YAML-ONLY: No JavaScript/HTML/custom code
  • probar-FIRST: Foundation of testing pyramid
  • 95% mutation coverage (hard requirement)
  • Replayable simulations (WASM/TUI/.mp4)

Structs§

EquationEvaluation
Equation evaluation record
FalsificationConfig
Falsification configuration
FalsificationCriterionV2
Single falsification criterion
FalsificationEvalResult
Result of falsification evaluation
FalsificationEvaluator
Evaluate falsification criteria against simulation results
ReplayExporter
Export replay to different formats
ReplayFile
Replay file format for shareable simulations
ReplayOutputs
Available replay outputs
ReplayRecorder
Replay recorder for capturing simulation state
ReplayStep
Single step in replay timeline
SchemaValidator
Schema validator for experiments and EMCs
SimulationConfig
Simulation configuration - all from YAML
YamlExperiment
EDD v2 Experiment loaded from YAML only

Enums§

SchemaValidationError
Schema validation errors
YamlLoadError
Errors for YAML loading

Functions§

load_yaml_experiment
Load experiment from YAML file
validate_emc_yaml
Validate EMC YAML with embedded schema (convenience function)
validate_experiment_yaml
Validate experiment YAML with embedded schema (convenience function)