Module validation 

EDD Validator - Compliance checking for Equation-Driven Development.

The validator ensures all simulations and experiments comply with the four pillars of EDD:

1. Prove It: Simulation must have a governing equation (EMC)
2. Fail It: Simulation must have failing tests derived from equations
3. Seed It: Experiment must have explicit seed
4. Falsify It: Experiment must have falsification criteria

EDD Violation Codes

• EDD-01: Missing Equation Model Card
• EDD-02: Missing governing equation
• EDD-03: Missing citation
• EDD-04: Missing verification tests
• EDD-05: Missing explicit seed
• EDD-06: Missing falsification criteria
• EDD-07: Verification test failed
• EDD-08: Conservation laws violated (runtime monitoring)
• EDD-09: Cross-platform reproducibility failed
• EDD-10: Implementation without failing test (TDD violation)

Structs

ConvergenceAnalysis

Result of Richardson extrapolation analysis.

EddComplianceSummary

Summary of EDD compliance status.

EddValidator

EDD Validator for checking compliance with the four pillars.

EddViolation

EDD violation codes and messages.

Enums

TpsGrade

TPS-aligned quality grades from Section 9.2 of EDD spec.

ViolationSeverity

Severity levels for violations.

Functions

richardson_extrapolation

Compute convergence order using Richardson extrapolation.

Type Aliases

EddResult

Result type for EDD validation.