Expand description
Equation-Driven Development (EDD) module.
Implements the EDD specification for falsifiable, equation-first simulation.
§The Four Pillars of EDD
- Prove It - Every simulation begins with a mathematically-verified governing equation
- Fail It - TDD with failing tests derived from analytical solutions
- Seed It - Deterministic reproducibility via explicit random seeds
- Falsify It - Active search for conditions that disprove the model
§Operations Science Equations
- Little’s Law:
L = λW(WIP = Throughput × Cycle Time) - Kingman’s Formula: VUT equation for queue wait times
- Square Root Law: Safety stock scaling
- Bullwhip Effect: Variance amplification in supply chains
§References
- [30] Little, J.D.C. (1961). “A Proof for the Queuing Formula: L = λW”
- [31] Kingman, J.F.C. (1961). “The single server queue in heavy traffic”
- [32] Lee, H.L., et al. (1997). “The Bullwhip Effect in Supply Chains”
- [33] Hopp, W.J. & Spearman, M.L. (2004). “To Pull or Not to Pull”
Re-exports§
pub use audit::hash_state;pub use audit::verify_rng_consistency;pub use audit::AuditLogReplayer;pub use audit::Decision;pub use audit::EquationEval;pub use audit::GeneratedTestCase;pub use audit::ReplaySpeed;pub use audit::ReplayState;pub use audit::SimulationAuditLog;pub use audit::StepEntry;pub use audit::TspStateSnapshot;pub use audit::TspStepType;pub use equation::Citation;pub use equation::EquationClass;pub use equation::EquationVariable;pub use equation::GoverningEquation;pub use experiment::ExperimentHypothesis;pub use experiment::ExperimentSpec;pub use experiment::FalsificationAction;pub use experiment::FalsificationCriterion;pub use falsifiable::ExperimentSeed;pub use falsifiable::FalsifiableSimulation;pub use falsifiable::FalsificationResult;pub use falsifiable::ParamSpace;pub use falsifiable::Trajectory;pub use gui_coverage::GuiCoverage;pub use loader::EmcYaml;pub use loader::ExperimentYaml;pub use model_card::DomainConstraint;pub use model_card::EmcBuilder;pub use model_card::EquationModelCard;pub use operations::BullwhipEffect;pub use operations::KingmanFormula;pub use operations::LittlesLaw;pub use operations::SquareRootLaw;pub use prover::ProofError;pub use prover::ProofResult;pub use prover::Z3Provable;pub use report::ReportFormat;pub use report::ReportGenerator;pub use runner::EddComplianceChecklist;pub use runner::EmcComplianceReport;pub use runner::EmcRegistry;pub use runner::ExecutionMetrics;pub use runner::ExperimentDomain;pub use runner::ExperimentResult;pub use runner::ExperimentRunner;pub use runner::FalsificationCriterionResult;pub use runner::FalsificationSummary;pub use runner::ReproducibilitySummary;pub use runner::RunnerConfig;pub use runner::VerificationSummary;pub use runner::VerificationTestSummary;pub use tps::validate_bullwhip_effect;pub use tps::validate_cell_layout;pub use tps::validate_kanban_vs_dbr;pub use tps::validate_kingmans_curve;pub use tps::validate_littles_law;pub use tps::validate_push_vs_pull;pub use tps::validate_shojinka;pub use tps::validate_smed_setup;pub use tps::validate_square_root_law;pub use tps::TpsMetrics;pub use tps::TpsTestCase;pub use tps::TpsTestResult;pub use traits::ConfigError;pub use traits::EddSimulation;pub use traits::Reproducible;pub use traits::TestResult;pub use traits::ValidationResult;pub use traits::VerificationResult;pub use traits::YamlConfigurable;pub use validation::richardson_extrapolation;pub use validation::ConvergenceAnalysis;pub use validation::EddComplianceSummary;pub use validation::EddResult;pub use validation::EddValidator;pub use validation::EddViolation;pub use validation::TpsGrade;pub use validation::ViolationSeverity;
Modules§
- audit
- Turn-by-Turn Audit Logging for EDD Simulations.
- equation
- Governing equation definitions and traits for EDD.
- experiment
- Experiment specification for EDD - YAML-driven declarative experiments.
- falsifiable
- Falsifiable simulation traits for EDD.
- gui_
coverage - GUI/UX Coverage Tracking for E2E Tests (Probar)
- loader
- EMC and Experiment YAML file loader.
- model_
card - Equation Model Card (EMC) - Mandatory documentation for EDD simulations.
- operations
- Operations Science equations for manufacturing and service systems.
- prover
- Z3 SMT Solver integration for formal equation verification.
- report
- Report generation for EDD experiments.
- runner
- Experiment Runner for EDD - YAML-driven simulation execution.
- style
- Shared Style Constants for TUI/WASM Parity
- tps
- Toyota Production System (TPS) Simulation Test Cases.
- traits
- Core EDD traits for simulation compliance.
- v2
- EDD v2: YAML-Only, probar-First Simulation Framework
- validation
- EDD Validator - Compliance checking for Equation-Driven Development.