Module orbit_engine 

OrbitalEngine: DemoEngine Implementation for Orbit Demos

Per specification SIMULAR-DEMO-002: This module provides the unified DemoEngine implementation for orbital mechanics simulations.

Architecture

YAML Config → OrbitalEngine → DemoEngine trait
                   ↓
             OrbitalState (serializable, PartialEq)
                   ↓
             TUI / WASM (identical states)

Key Invariant

Given same YAML config and seed, TUI and WASM produce identical state sequences.

Structs

CentralBodyConfig

Central body configuration.

FalsificationConfig

Falsification configuration.

IntegratorConfig

Integrator configuration.

JidokaConfig

Jidoka configuration.

OrbitConfig

Complete orbit configuration from YAML.

OrbitalEngine

Unified orbital engine implementing DemoEngine.

OrbitalState

Orbital state snapshot.

OrbitalStepResult

Step result for orbital simulation.

OrbiterConfig

Orbiter configuration.

ReproducibilityConfig

Reproducibility configuration.

ScenarioConfig

Scenario configuration.

SimulationConfig

Simulation type configuration.

YamlCriterion

Falsification criterion from YAML.

YamlMR

Metamorphic relation from YAML.