List of all items

Structs

• cli::Args
• config::Angle
• config::DomainsConfig
• config::Duration
• config::FalsificationConfig
• config::IntegratorConfig
• config::Length
• config::Mass
• config::MonteCarloConfig
• config::OptimizationConfig
• config::PhysicsConfig
• config::ReplayConfig
• config::ReproducibilityConfig
• config::SimConfig
• config::SimConfigBuilder
• config::SimulationMeta
• config::TimestepConfig
• config::TuiConfig
• config::Velocity
• config::VisualizationConfig
• config::WebConfig
• demos::CriterionStatus
• demos::FalsificationStatus
• demos::engine::CriterionResult
• demos::engine::DemoMeta
• demos::engine::FalsificationCriterion
• demos::engine::MetamorphicRelation
• demos::engine::MrResult
• demos::harmonic_oscillator::HarmonicOscillatorDemo
• demos::kepler_orbit::KeplerOrbitDemo
• demos::kepler_orbit::Vec2
• demos::kingmans_hockey::KingmanHockeyDemo
• demos::littles_law_factory::LittlesLawFactoryDemo
• demos::monte_carlo_pi::MonteCarloPlDemo
• demos::orbit_engine::CentralBodyConfig
• demos::orbit_engine::FalsificationConfig
• demos::orbit_engine::IntegratorConfig
• demos::orbit_engine::JidokaConfig
• demos::orbit_engine::OrbitConfig
• demos::orbit_engine::OrbitalEngine
• demos::orbit_engine::OrbitalState
• demos::orbit_engine::OrbitalStepResult
• demos::orbit_engine::OrbiterConfig
• demos::orbit_engine::ReproducibilityConfig
• demos::orbit_engine::ScenarioConfig
• demos::orbit_engine::SimulationConfig
• demos::orbit_engine::YamlCriterion
• demos::orbit_engine::YamlMR
• demos::tsp_engine::SimulationConfig
• demos::tsp_engine::TspConfig
• demos::tsp_engine::TspEngine
• demos::tsp_engine::TspState
• demos::tsp_engine::TspStepResult
• demos::tsp_grasp::City
• demos::tsp_grasp::TspGraspDemo
• demos::tsp_instance::Coords
• demos::tsp_instance::TspAlgorithmConfig
• demos::tsp_instance::TspCity
• demos::tsp_instance::TspInstanceYaml
• demos::tsp_instance::TspMeta
• demos::tsp_instance::TspParams
• discovery::StackDiscovery
• discovery::Version
• domains::ml::AnomalyDetector
• domains::ml::RollingStats
• domains::ml::TrainingConfig
• domains::ml::TrainingMetrics
• domains::ml::TrainingSimulation
• domains::ml::TrainingState
• domains::ml::TrainingTrajectory
• domains::ml::jidoka::AnomalyPattern
• domains::ml::jidoka::JidokaMLFeedback
• domains::ml::jidoka::RulePatch
• domains::ml::multi_turn::MultiTurnEvaluation
• domains::ml::multi_turn::MultiTurnSimulation
• domains::ml::multi_turn::ParetoAnalysis
• domains::ml::multi_turn::ParetoPoint
• domains::ml::multi_turn::Turn
• domains::ml::multi_turn::TurnMetrics
• domains::ml::prediction::InferenceConfig
• domains::ml::prediction::PredictionSimulation
• domains::ml::prediction::PredictionState
• domains::monte_carlo::MonteCarloEngine
• domains::monte_carlo::MonteCarloResult
• domains::monte_carlo::SimulationTask
• domains::monte_carlo::WorkStealingMonteCarlo
• domains::optimization::BayesianOptimizer
• domains::optimization::GaussianProcess
• domains::optimization::OptimizationResult
• domains::optimization::OptimizerConfig
• domains::physics::CentralForceField
• domains::physics::EulerIntegrator
• domains::physics::GravityField
• domains::physics::PhysicsEngine
• domains::physics::RK4Integrator
• domains::physics::VerletIntegrator
• edd::audit::AuditLogReplayer
• edd::audit::Decision
• edd::audit::EquationEval
• edd::audit::GeneratedTestCase
• edd::audit::ReplayState
• edd::audit::StepEntry
• edd::audit::TspStateSnapshot
• edd::equation::Citation
• edd::equation::EquationVariable
• edd::equation::VariableConstraints
• edd::experiment::ExperimentHypothesis
• edd::experiment::ExperimentSpec
• edd::experiment::ExperimentSpecBuilder
• edd::experiment::FalsificationCriterion
• edd::falsifiable::ExperimentSeed
• edd::falsifiable::FalsificationResult
• edd::falsifiable::ParamSpace
• edd::falsifiable::Trajectory
• edd::gui_coverage::GuiCoverage
• edd::gui_coverage::Interaction
• edd::loader::AnalyticalDerivationYaml
• edd::loader::AuthorYaml
• edd::loader::CitationYaml
• edd::loader::DomainValidityYaml
• edd::loader::DurationYaml
• edd::loader::EmcIdentityYaml
• edd::loader::EmcReferenceYaml
• edd::loader::EmcYaml
• edd::loader::ExperimentFalsificationYaml
• edd::loader::ExperimentMetadataYaml
• edd::loader::ExperimentYaml
• edd::loader::FalsificationCriteriaYaml
• edd::loader::FalsificationCriterionYaml
• edd::loader::GoverningEquationYaml
• edd::loader::HypothesisYaml
• edd::loader::JidokaYaml
• edd::loader::LimitationYaml
• edd::loader::ParameterConstraintYaml
• edd::loader::ReproducibilityYaml
• edd::loader::SimulationYaml
• edd::loader::VariableYaml
• edd::loader::VerificationTestYaml
• edd::loader::VerificationTestsYaml
• edd::model_card::DomainConstraint
• edd::model_card::EmcBuilder
• edd::model_card::EquationModelCard
• edd::model_card::FalsificationCriterion
• edd::model_card::ImplementationNote
• edd::model_card::VerificationTest
• edd::operations::BullwhipEffect
• edd::operations::KingmanFormula
• edd::operations::LittlesLaw
• edd::operations::SquareRootLaw
• edd::prover::ProofResult
• edd::report::ReportGenerator
• edd::runner::EddComplianceChecklist
• edd::runner::EmcComplianceReport
• edd::runner::EmcRegistry
• edd::runner::ExecutionMetrics
• edd::runner::ExperimentResult
• edd::runner::ExperimentRunner
• edd::runner::FalsificationCriterionResult
• edd::runner::FalsificationSummary
• edd::runner::ReproducibilitySummary
• edd::runner::RunnerConfig
• edd::runner::VerificationSummary
• edd::runner::VerificationTestSummary
• edd::tps::TpsMetrics
• edd::tps::TpsTestResult
• edd::traits::ConfigError
• edd::traits::TestResult
• edd::traits::ValidationResult
• edd::traits::VerificationResult
• edd::v2::EquationEvaluation
• edd::v2::FalsificationConfig
• edd::v2::FalsificationCriterionV2
• edd::v2::FalsificationEvalResult
• edd::v2::FalsificationEvaluator
• edd::v2::ReplayExporter
• edd::v2::ReplayFile
• edd::v2::ReplayOutputs
• edd::v2::ReplayRecorder
• edd::v2::ReplayStep
• edd::v2::SchemaValidator
• edd::v2::SimulationConfig
• edd::v2::YamlExperiment
• edd::validation::ConvergenceAnalysis
• edd::validation::EddComplianceSummary
• edd::validation::EddValidator
• edd::validation::EddViolation
• engine::SimEngine
• engine::SimTime
• engine::clock::SimClock
• engine::jidoka::AbortConditions
• engine::jidoka::JidokaConfig
• engine::jidoka::JidokaGuard
• engine::jidoka::PreflightJidoka
• engine::jidoka::SelfHealingJidoka
• engine::jidoka::SeverityClassifier
• engine::rng::RngState
• engine::rng::SimRng
• engine::scheduler::EventScheduler
• engine::scheduler::ScheduledEvent
• engine::state::SimState
• engine::state::Vec3
• falsification::EnergyConservationHypothesis
• falsification::FalsificationCriteria
• falsification::NullificationReport
• falsification::NullificationResult
• falsification::NullificationTest
• falsification::Observations
• falsification::Predictions
• falsification::ReportSummary
• orbit::SimulationResult
• orbit::heijunka::FrameResult
• orbit::heijunka::HeijunkaConfig
• orbit::heijunka::HeijunkaScheduler
• orbit::heijunka::HeijunkaStatus
• orbit::jidoka::JidokaStatus
• orbit::jidoka::OrbitJidokaConfig
• orbit::jidoka::OrbitJidokaGuard
• orbit::metamorphic::MetamorphicResult
• orbit::physics::AdaptiveIntegrator
• orbit::physics::NBodyState
• orbit::physics::OrbitBody
• orbit::physics::YoshidaIntegrator
• orbit::render::BodyAppearance
• orbit::render::Camera
• orbit::render::Color
• orbit::render::OrbitTrail
• orbit::render::RenderConfig
• orbit::scenarios::BodyConfig
• orbit::scenarios::HohmannConfig
• orbit::scenarios::KeplerConfig
• orbit::scenarios::LagrangeConfig
• orbit::scenarios::NBodyConfig
• orbit::units::Acceleration3D
• orbit::units::OrbitMass
• orbit::units::OrbitTime
• orbit::units::Position3D
• orbit::units::Velocity3D
• renderers::keyframes::KeyframeRecorder
• renderers::keyframes::KeyframesExport
• renderers::svg::SvgConfig
• renderers::svg::SvgRenderer
• renderers::tui::DemoRenderer
• renderers::tui::RenderFrame
• renderers::wasm::CriterionResultJson
• renderers::wasm::WasmRunner
• renderers::wasm::WasmState
• replay::Checkpoint
• replay::CheckpointHeader
• replay::CheckpointManager
• replay::EventHeader
• replay::EventJournal
• replay::JournalEntry
• replay::SchemaMigrator
• replay::SplitEventJournal
• replay::StreamingCheckpointManager
• replay::TimeScrubber
• replay::VersionedEntry
• scenarios::bouncing_balls::Ball
• scenarios::bouncing_balls::BouncingBallsConfig
• scenarios::bouncing_balls::BouncingBallsState
• scenarios::climate::ClimateConfig
• scenarios::climate::ClimateScenario
• scenarios::climate::ClimateState
• scenarios::climate::ForcingScenario
• scenarios::epidemic::SEIRConfig
• scenarios::epidemic::SEIRScenario
• scenarios::epidemic::SEIRState
• scenarios::epidemic::SIRConfig
• scenarios::epidemic::SIRScenario
• scenarios::epidemic::SIRState
• scenarios::epidemic::StochasticSIR
• scenarios::pendulum::PendulumConfig
• scenarios::pendulum::PendulumForceField
• scenarios::pendulum::PendulumScenario
• scenarios::portfolio::AssetConfig
• scenarios::portfolio::PathResult
• scenarios::portfolio::PortfolioConfig
• scenarios::portfolio::PortfolioScenario
• scenarios::portfolio::VaRResult
• scenarios::rocket::AtmosphericModel
• scenarios::rocket::RocketConfig
• scenarios::rocket::RocketForceField
• scenarios::rocket::RocketScenario
• scenarios::rocket::StageConfig
• scenarios::satellite::OrbitalElements
• scenarios::satellite::SatelliteConfig
• scenarios::satellite::SatelliteScenario
• visualization::DataPoint
• visualization::ExportConfig
• visualization::Exporter
• visualization::SimMetrics
• visualization::StreamingExporter
• visualization::TimeSeries
• visualization::Trajectory
• visualization::TrajectoryFrame
• visualization::TrajectoryMetadata

Enums

• cli::Command
• cli::RenderFormat
• config::CompressionAlgorithm
• config::IntegratorType
• config::OptimizationAlgorithm
• config::PhysicsEngine
• config::TimestepMode
• config::VarianceReductionMethod
• demos::IntegratorType
• demos::engine::DemoError
• demos::engine::Severity
• demos::tsp_grasp::ConstructionMethod
• demos::tsp_instance::TspInstanceError
• discovery::StackComponent
• domains::ml::TrainEvent
• domains::ml::TrainingAnomaly
• domains::ml::jidoka::AnomalyType
• domains::ml::jidoka::RuleType
• domains::monte_carlo::VarianceReduction
• domains::optimization::AcquisitionFunction
• edd::audit::ReplaySpeed
• edd::audit::TspStepType
• edd::equation::EquationClass
• edd::experiment::FalsificationAction
• edd::gui_coverage::InteractionKind
• edd::model_card::NoteImportance
• edd::model_card::ViolationBehavior
• edd::prover::ProofError
• edd::report::ReportFormat
• edd::runner::ExperimentDomain
• edd::tps::TpsTestCase
• edd::v2::SchemaValidationError
• edd::v2::YamlLoadError
• edd::validation::TpsGrade
• edd::validation::ViolationSeverity
• engine::jidoka::JidokaResponse
• engine::jidoka::JidokaViolation
• engine::jidoka::JidokaWarning
• engine::jidoka::RulePatch
• engine::jidoka::TrainingAnomaly
• engine::jidoka::ViolationSeverity
• engine::rng::RngRestoreError
• engine::state::SimEvent
• error::SimError
• falsification::ComparisonOp
• falsification::NHSTResult
• orbit::heijunka::QualityLevel
• orbit::jidoka::JidokaResponse
• orbit::jidoka::OrbitJidokaViolation
• orbit::render::RenderCommand
• orbit::scenarios::LagrangePoint
• orbit::scenarios::ScenarioType
• renderers::keyframes::KeyframeValue
• scenarios::rocket::StageSeparation
• visualization::ExportFormat
• visualization::ParquetCompression
• visualization::VideoFormat

Traits

• demos::EddDemo
• demos::engine::DemoEngine
• demos::engine::DeterministicReplay
• demos::engine::RendererIndependent
• domains::physics::ForceField
• domains::physics::Integrator
• edd::audit::SimulationAuditLog
• edd::equation::GoverningEquation
• edd::falsifiable::FalsifiableSimulation
• edd::prover::Z3Provable
• edd::traits::EddSimulation
• edd::traits::Reproducible
• edd::traits::YamlConfigurable
• falsification::FalsifiableHypothesis
• renderers::tui::RenderableDemo

Macros

• gui_coverage

Functions

• cli::print_emc_report
• cli::print_emc_validation_results
• cli::print_experiment_result
• cli::print_help
• cli::print_version
• cli::run_cli
• cli::validate_emc_schema
• edd::audit::hash_state
• edd::audit::verify_rng_consistency
• edd::style::css_variables
• edd::style::hex_to_rgb
• edd::tps::validate_bullwhip_effect
• edd::tps::validate_cell_layout
• edd::tps::validate_kanban_vs_dbr
• edd::tps::validate_kingmans_curve
• edd::tps::validate_littles_law
• edd::tps::validate_push_vs_pull
• edd::tps::validate_shojinka
• edd::tps::validate_smed_setup
• edd::tps::validate_square_root_law
• edd::v2::load_yaml_experiment
• edd::v2::validate_emc_yaml
• edd::v2::validate_experiment_yaml
• edd::validation::richardson_extrapolation
• falsification::ml_hypotheses::accuracy_baseline
• falsification::ml_hypotheses::gradient_bounded
• falsification::ml_hypotheses::latency_sla
• falsification::ml_hypotheses::loss_stability
• falsification::ml_hypotheses::params_finite
• falsification::ml_hypotheses::prediction_determinism
• falsification::ml_hypotheses::statistical_significance
• falsification::ml_hypotheses::training_determinism
• falsification::stats::chi_square_test
• falsification::stats::mean
• falsification::stats::normal_cdf_pub
• falsification::stats::one_sample_t_test
• falsification::stats::std_dev
• falsification::stats::std_error
• falsification::stats::two_sample_t_test
• falsification::stats::variance
• orbit::metamorphic::run_all_metamorphic_tests
• orbit::metamorphic::test_angular_momentum_conservation
• orbit::metamorphic::test_deterministic_replay
• orbit::metamorphic::test_energy_conservation
• orbit::metamorphic::test_rotation_invariance
• orbit::metamorphic::test_time_reversal
• orbit::render::render_state
• orbit::run_simulation
• renderers::svg::color_to_hex

Type Aliases

• edd::validation::EddResult
• error::SimResult
• renderers::keyframes::ElementKeyframes

Constants

• edd::style::ACCENT
• edd::style::ACCENT_ERROR
• edd::style::ACCENT_WARN
• edd::style::BG_PRIMARY
• edd::style::BG_SECONDARY
• edd::style::BG_TERTIARY
• edd::style::BORDER
• edd::style::CITY_NODE
• edd::style::FONT_MONO
• edd::style::FONT_SIZE_BASE
• edd::style::FONT_SIZE_SMALL
• edd::style::PROBAR
• edd::style::TEXT_PRIMARY
• edd::style::TEXT_SECONDARY
• edd::style::TOUR_PATH
• orbit::units::AU
• orbit::units::EARTH_MASS
• orbit::units::G
• orbit::units::SOLAR_MASS
• scenarios::climate::DEFAULT_CLIMATE_SENSITIVITY
• scenarios::climate::PREINDUSTRIAL_CO2
• scenarios::climate::SOLAR_CONSTANT
• scenarios::climate::STEFAN_BOLTZMANN
• scenarios::satellite::EARTH_MU
• scenarios::satellite::EARTH_RADIUS