Planetary Prediction Engine (PPE)
- A Planetary Prediction Engine (PPE) is a modular system for precisely predicting the states, observables, and environmental responses of planetary systems over various timescales, encompassing dynamical modeling, high-resolution N-body propagation, and machine-learning surrogates.
- PPE applications include precise Solar System ephemerides, planetary system formation and evolution, atmospheric physics, event prediction, and instrument-aware synthetic observation generation, as demonstrated by systems like EPM2011, PEP, and VPLanet.
- PPE accuracy and reliability rest on robust uncertainty quantification, validated observation assimilation, unified modeling workflows, and modular components like relativistic ephemerides, high-throughput ensemble propagation, and machine-learning surrogates, ensuring credible output reproducibility and adherence to a suitable prediction domain, but requires careful management.
A Planetary Prediction Engine (PPE) is a modular computational system for predicting planetary-system states, observables, environmental responses, and event outcomes across timescales ranging from orbital periods to gigayears. The term encompasses several complementary capabilities: precision Solar-System ephemerides and astrometric estimation; planetary-system formation and evolution; orbital, tidal, atmospheric, and interior evolution; high-resolution N-body propagation; planetary-environment and space-weather forecasting; radiative-transfer-based observation prediction; and machine-learning surrogates for rapid inference. A general PPE is therefore not a single algorithm but an integrated hierarchy of dynamical models, observation operators, statistical estimators, event registries, uncertainty systems, and interoperable services.
1. Scope, functions, and conceptual architecture
A PPE can be understood as a sequence of transformations between physical states, observations, forecasts, and decisions:
Its scope depends on the selected physical modules. At minimum, a general system may represent:
- planetary and stellar positions, velocities, rotations, and reference frames;
- orbital elements, resonances, migration, tides, and close encounters;
- protoplanetary disks, planetesimals, embryos, planetary interiors, and atmospheres;
- stellar irradiation, XUV activity, atmospheric escape, and climate;
- planetary surfaces, atmospheres, ionospheres, magnetospheres, and cometary environments;
- synthetic spectra, detector noise, visibility, and instrument sensitivity;
- transient events such as impacts, meteor showers, CME arrivals, auroral responses, and comet-tail crossings;
- parameter uncertainty, model-form uncertainty, observational likelihoods, and provenance.
Several published systems illustrate distinct PPE subsystems. EPM2011 and PEP provide architectures for high-precision ephemeris generation and global astrometric estimation (Pitjeva, 2013, Chandler et al., 2021). VPLanet provides runtime-selectable coupled evolution modules for planetary systems and stars (Barnes et al., 2019). The Generation III Bern model combines disk evolution, planet formation, N-body dynamics, planetary structure, atmospheric escape, and long-term evolution (Emsenhuber et al., 2020). GPLUM supplies a scalable gravitational-accretion core for high-resolution planetesimal dynamics (Ishigaki et al., 2020). Other systems specialize in stellar-tide evolution (Penev et al., 2014), photoevaporative mass loss (Ketzer et al., 2022), exoplanet and Solar-System observation synthesis (1803.02008), planetary space weather and event alerts (André et al., 2017, Cecconi et al., 2018), and high-throughput orbital propagation (Masat et al., 2023).
A PPE therefore has two broad operating modes. Forward prediction evolves specified initial states under physical models. Inference and decision support assimilate observations, estimate uncertain parameters, calculate observables, rank targets, and issue predictions or alerts. The distinction is important: a validated forward simulator is not automatically an inference system, and a machine-learning predictor is not automatically a complete dynamical model.
2. Dynamical cores and ephemeris generation
Solar-System ephemerides
High-precision planetary prediction requires a relativistic many-body dynamical model, numerical integration, heterogeneous observation assimilation, reference-frame realization, and time-scale conversion. EPM2011 integrates the Sun, major planets, Moon, 301 massive asteroids, and 21 large trans-Neptunian objects, while representing unresolved asteroid and TNO populations with rings. Its dynamical equations include Newtonian mutual gravity, first post-Newtonian terms, solar oblateness, asteroid-ring perturbations, TNO-ring perturbations, and coupled lunar orbital and physical-libration dynamics (Pitjeva, 2013).
The EPM2011 integration was performed in a barycentric relativistic coordinate system using TDB as the independent variable over 1800–2200. Approximately positional measurements from 1913–2011 were fitted, including optical astrometry, radar, spacecraft ranging, spacecraft VLBI, planetary-satellite observations, and lunar laser ranging. The ephemeris was oriented to the ICRF using 213 spacecraft VLBI observations. Its architecture implies the processing chain
A PPE must distinguish barycentric, heliocentric, geocentric, spacecraft-relative, and body-fixed coordinates. Adding TNOs changes the Solar-System barycenter; consequently, raw barycentric coordinates from different ephemerides cannot be compared without identical body models and barycenter definitions. Relative coordinates are generally required for meaningful comparison.
The EPM architecture also requires consistent UTC, TAI, TT, and TDB handling, leap-second management, relativistic signal-time corrections, Earth orientation, station coordinates, media delays, spacecraft calibration, and reference-catalogue transformations. Its comparison with JPL DE424 showed heliocentric Earth differences of order hundreds of metres over 1950–2050, Earth ranging-relevant differences not exceeding approximately $6$ m, and Mars differences below approximately $150$ m in distance, $0.7$ mas in right ascension, and $0.5$ mas in declination. These are cross-ephemeris consistency results rather than absolute-error measurements.
Global estimation and observable modeling
PEP extends the ephemeris architecture into a general astrometric data-analysis system. It computes numerical ephemerides, forms theoretical observables, calculates pre-fit and post-fit residuals, and estimates physical and nuisance parameters using iterated, linearized, weighted least squares (Chandler et al., 2021). Its supported observables include optical astrometry, occultation timing, radar, laser ranging, spacecraft ranging, VLBI, and pulsar timing.
For data vector , model , and covariance matrix , the pre-fit residual is
0
The design matrix is
1
and the normal equations are
2
The parameter adjustment is
3
PEP also implements Partial Pre-Reduction of the Normal Equations, which eliminates nuisance parameters through a Schur complement while retaining estimates and covariance statistics for scientifically relevant parameters. This is applicable to large PPE solutions containing station, spacecraft, clock, calibration, atmospheric, topographic, and reference-frame parameters.
The PEP comparison with TEMPO2/“empo” for 1,065 pulse time-of-arrival measurements of PSR J1909-3744 found an abstract-level RMS difference of approximately 4 ns when both analyses used JPL DE421 and largely matched timing assumptions. This demonstrates software consistency under a shared planetary ephemeris; it does not independently establish DE421 accuracy or general nanosecond-level planetary prediction.
Ensemble propagation and high-performance computation
For mission design and planetary protection, a PPE often needs to propagate thousands of independent initial conditions. The Picard–Chebyshev method represents a trajectory over a finite segment using Chebyshev nodes and iteratively corrects a warm-started Keplerian approximation. The augmented formulation treats many trajectories as one matrix system, allowing shared force evaluations, matrix operations, convergence logic, and GPU execution (Masat et al., 2023).
The method is appropriate for massless, mutually noninteracting trajectory ensembles. In the reported Solar Orbiter-like Venus-resonance case, 13,509 initial conditions were propagated using 200 Chebyshev nodes over approximately 5 orbital periods. A CUDA implementation required 6 s on a GTX 1050, compared with 7 s for the independent C baseline. The reported relative Picard tolerance was 8, and corresponding C and CUDA results differed by less than 9.
The Picard iteration error is a convergence diagnostic, not a complete global integration-error certificate. A production PPE requires adaptive segmentation, close-approach detection, force-model validation, event localization, and fallback methods for discontinuities, collisions, atmospheric entry, or strongly nonlinear encounters.
GPLUM addresses a different dynamical regime: the gravitational and collisional evolution of large planetesimal populations. Its particle–particle particle–tree method combines fourth-order Hermite integration for near-field interactions with Barnes–Hut tree forces for distant particles. Individual cut-off radii depend on particle Hill radius, local velocity dispersion, particle mass, and semimajor axis (Ishigaki et al., 2020). The code reports strong scaling beyond 1,000 cores for 0, with speed-ups of approximately 1–2 relative to shared-cutoff P3T implementations depending on the mass distribution.
GPLUM is principally a dynamical-accretion engine. Gas thermodynamics, planetary envelopes, migration prescriptions, atmospheric evolution, and long-term post-disk dynamics must be supplied by other modules.
3. Formation, evolution, and coupled planetary physics
Planet formation and population synthesis
The Generation III Bern model is an end-to-end core-accretion framework that couples stellar irradiation, gas and planetesimal disks, embryo growth, gas accretion, migration, full N-body interactions, planetary structure, atmospheric escape, and long-term evolution (Emsenhuber et al., 2020). Its output includes masses, orbital elements, radii, luminosities, magnitudes, accretion histories, and atmospheric-loss rates.
The formation calculation begins with gas and solids disks and typically inserts embryos with initial mass 3, distributed uniformly in 4 subject to a minimum separation of ten mutual Hill radii. Gas evolution includes viscous diffusion, internal and external photoevaporation, stellar irradiation, and planetary gas accretion. Planetesimal dynamics include aerodynamic damping, planetary stirring, self-stirring, accretion, and approximate ejection. Planetary interiors are solved with one-dimensional hydrostatic structure equations and SCvH H/He equations of state, reduced grain opacity, and separate solid-core prescriptions.
During formation, the system uses Mercury hybrid symplectic N-body integration with Bulirsch–Stoer treatment of close encounters. Type-I and Type-II migration, eccentricity damping, inclination damping, collisions, envelope accretion, and impact-energy deposition are coupled to the disk and planetary structure. Standard production calculations evolve formation to 5 Myr, after which planets are generally evolved independently to 6 Gyr with atmospheric escape, cooling, contraction, and stellar tides.
The model finds that terrestrial giant-impact behavior requires a sufficiently dense embryo population, approximately 100 lunar-mass embryos in the full population-synthesis disk. It also finds that Jupiter-mass planets must accrete their cores shortly before gas-disk dispersal to avoid excessive Type-I migration. These results are conditional on the initial embryo distribution, fixed planetesimal size, migration prescription, gas-supply treatment, and core-accretion paradigm.
MESS provides a complementary Monte Carlo architecture for generating synthetic planet populations, assigning orbital and physical properties, propagating them to observation epochs, applying instrument-specific selection effects, and estimating detection rates (Bonavita et al., 2011). It supports semi-empirical populations and theoretical populations imported from formation models, including Bern and disk-instability calculations. Its outputs include masses, radii, temperatures, luminosities, projected separations, contrasts, RV signals, astrometric signals, and detectability classifications.
Orbital, rotational, and tidal evolution
VPLanet organizes evolution through runtime-selectable modules assigned to individual bodies. Its function-pointer structure associates each primary variable with one or more physical processes whose derivatives are evaluated and summed (Barnes et al., 2019). The code includes modules for atmospheric escape, circumbinary dynamics, secular orbital evolution, rotational evolution, equilibrium tides, galactic perturbations, climate and ice sheets, radiogenic heating, N-body dynamics, stellar evolution, and rocky thermal interiors.
Its numerical architecture uses fourth-order Runge–Kutta integration with dynamical timestepping. Candidate timescales are calculated from individual derivatives rather than only their sum, preventing cancellation between competing processes from hiding a rapidly varying contribution. The framework also supports nested and asynchronous integration, such as climate calculations on orbital timescales coupled to ice-flow and long-term orbital evolution.
POET specializes in circular, aligned planetary orbits evolving under stellar tides (Penev et al., 2014). Its physical state includes semimajor axis, stellar envelope and core spins, moments of inertia, magnetic braking, core–envelope coupling, stellar evolution, and frequency-dependent tidal dissipation. The semimajor-axis evolution follows
7
so stellar expansion can strongly accelerate orbital decay. A super-synchronous star drives outward migration, whereas a sub-synchronous star drives inward migration. Magnetic braking can cause a synchronized system to continue evolving because the stellar wind removes angular momentum.
POET uses event-aware evolution modes for disk locking, fast-planet decay, slow-planet outward migration, planet-locked evolution, and post-engulfment stellar spin-down. It terminates planets at the smaller of the Roche-disruption boundary and stellar-radius boundary. The release does not evolve eccentricity, inclination, planetary tides, planetary spin, planetary radius evolution, or tidal structural feedback.
PLATYPOS provides a related atmospheric-evolution subsystem for close-in low-mass planets with Earth-like rocky cores and primordial H/He envelopes (Ketzer et al., 2022). It couples planetary radius and cooling models with energy-limited, radiation/recombination-limited, or hydro-based atmospheric escape and evolving stellar XUV activity. Its central evolution equation is
8
The code can classify outcomes as atmospheric retention, marginal survival, complete evaporation, or a bare-core endpoint. Its predictions are highly sensitive to the stellar activity track, XUV-to-EUV conversion, heating efficiency, XUV absorption radius, initial envelope fraction, structure model, and escape prescription.
Climate, interiors, and habitability
VPLanet’s POISE module solves a one-dimensional seasonal energy-balance model coupled to orbital and rotational forcing. It predicts surface temperature, ice coverage, seasonal extremes, snowball transitions, and climate response to obliquity and eccentricity. ThermInt models mantle and core thermal evolution, tidal heating, melt production, magnetic-field generation, and dynamo lifetime. RadHeat provides radioactive heating histories. These modules allow a PPE to connect:
9
with
$6$0
The models are approximate and domain-limited. POISE is Earth-tuned and assumes constant atmospheric mass; it should not be coupled directly to AtmEsc. ThermInt is calibrated primarily to Earth-like rocky planets. DistOrb is unreliable near mean-motion resonances and at large eccentricity or mutual inclination. EqTide uses simplified CPL and CTL prescriptions with uncertain $6$1, $6$2, and $6$3.
4. Observation operators, environmental prediction, and machine-learning surrogates
Radiative transfer and synthetic observations
The Planetary Spectrum Generator functions as a PPE observation operator: it maps a target state, orbital geometry, atmosphere, surface, star, and instrument into predicted radiances, fluxes, spectra, and noise (1803.02008). It supports planets, moons, comets, asteroids, trans-Neptunian objects, Kuiper-belt objects, and confirmed exoplanets, with observations from ground-based and space-based telescopes, orbiters, and landers.
Its workflow includes geometry calculation, atmospheric and climatological-state selection, continuum and surface modeling, radiative transfer, instrument convolution, and noise synthesis. PUMAS handles hydrostatic planetary atmospheres using line-by-line or correlated-$6$4 calculations, while CEM handles cometary nucleus, dust, LTE emission, and non-LTE fluorescence. PSG includes surface reflectance, aerosol scattering, telluric transmission, coronagraph throughput, interferometric configurations, detector noise, and telescope and zodiacal backgrounds.
The system can therefore be embedded in a sequential PPE cycle:
$6$5
PSG does not itself provide dynamical weather forecasting, atmospheric data assimilation, autonomous scheduling, or a general uncertainty framework. Its principal PPE role is the instrument-aware forward mapping from physical state to measurement.
Planetary space weather and event prediction
The Planetary Space Weather Services architecture extends space-weather prediction beyond Earth to planetary environments and spacecraft throughout the Solar System (André et al., 2017). Its toolkits cover general planetary space weather, Mars, comets, outer planets, and an event diary.
The principal services include:
- one-dimensional MHD solar-wind propagation using OMNI and ACE boundary conditions;
- CDPP propagation of CMEs, SIRs, and CIRs to planets, comets, and spacecraft;
- meteor-shower prediction at terrestrial planets and giant planets;
- cometary-tail-crossing prediction;
- lunar-impact and giant-planet-fireball detection;
- TRANSPLANET ionospheric modeling;
- Mars radiation-environment modeling;
- Jupiter and Saturn magnetodisc models;
- Jupiter thermosphere and ionosphere modeling;
- event alerts.
VOEvent supplies the event and prediction dissemination layer (Cecconi et al., 2018). In the PSWS architecture, automated detection pipelines, observatories, forecasting services, and human operators act as authors; redundant broker networks distribute messages; and scientific systems, observatories, mission planners, and spacecraft operators act as subscribers. Each event receives an immutable IVOA identifier, normally represented by the ivorn attribute. Revisions are issued as new VOEvents referencing earlier messages rather than overwriting them.
VOEvent messages contain <who>, <what>, <wherewhen>, <how>, <why>, and <description> elements. Planetary adaptation requires target-only locations, body-fixed and Solar-System reference frames, and time ranges. Until the VOEvent schema supports these semantics directly, Solar-System-specific parameters can be placed in grouped fields within <what>. VESPA, EPNcore, TAP, and ADQL provide persistence and historical discovery, while VTP and broker networks provide rapid dissemination.
Machine-learning surrogates and classifiers
CAT-PUMA predicts CME-driven interplanetary shock arrival times at Earth using support-vector regression and 12 CME and solar-wind features (Liu et al., 2018). It was trained on 182 known geo-effective events, using an RBF kernel and a selected hyperparameter pair of $6$6 and $6$7 for the reported final split. The test-set results were approximately $6$8, MAE $6$9 h, RMSE $150$0 h, and 20 of 37 events with errors below $150$1 h.
CAT-PUMA is conditional on an Earth-directed CME. It does not predict hit or miss, three-dimensional direction, magnetic-field structure, geomagnetic indices, or impact severity. In a PPE it is best used alongside CME detection, 3-D reconstruction, physical propagation, geomagnetic-response models, uncertainty ensembles, and alert generation.
PPDONet is a Deep Operator Network that maps disk viscosity $150$2, disk aspect ratio $150$3, and planet–star mass ratio $150$4 to steady-state two-dimensional disk surface density, radial velocity, and azimuthal velocity fields (Mao et al., 2023). It was trained on 768 FARGO3D simulations and predicts one disk–planet system in less than one second on a laptop. Its representative gap-density error is approximately $150$5 within the training domain.
PPDONet is an interpolator over locally isothermal, constant-$150$6, constant-$150$7, single-planet, fixed-orbit simulations. It does not model time-dependent disk evolution, multiple planets, migration, dust, chemistry, radiative transfer, or calibrated predictive uncertainty. Its outputs can nevertheless serve as a fast quasi-steady closure inside formation, migration, inverse-modeling, or population-synthesis workflows.
The Earth-like planet predictor applies a Random Forest to Bern-model system architectures to rank stars likely to host an Earth-like planet (Davoult et al., 9 Apr 2025). Its ELP definition is $150$8 and $150$9 K. The classifier uses detectable system architecture, innermost detectable-planet period and mass, and stellar mass. Reported precision reaches 0.99 at selected thresholds, but the result is conditional on Bern-model architectures, simplified RV selection, and a single train/test methodology without an independent validation set. It predicts system-level likelihood, not the mass, orbit, or exact location of an unseen planet.
5. Uncertainty, validation, interoperability, and operational deployment
Uncertainty representation
A general PPE must distinguish several uncertainty classes:
- initial-condition and parameter uncertainty;
- observational noise and correlated systematics;
- ephemeris and reference-frame uncertainty;
- numerical integration error;
- model-form uncertainty;
- stochasticity from collisions, encounters, or population sampling;
- extrapolation beyond the calibrated domain.
Posterior samples are generally preferable to independent one-sigma errors when parameters are correlated or orbital posteriors are multimodal. Ensemble propagation can estimate state distributions, while covariance propagation, sigma-point methods, finite differences, or variational equations can provide lower-cost alternatives.
The prediction layer should expose uncertainty in times, positions, observables, event probabilities, and model outputs. For machine-learning surrogates, out-of-distribution detection and calibration are essential because low interpolation error within a training manifold does not imply physical validity outside it. For event systems, uncertainty should be attached to predicted time intervals, locations, thresholds, confidence indices, source observations, and model versions.
Validation hierarchy
Validation should be layered:
- Software validation: unit tests, regression tests, deterministic reproducibility, numerical convergence, and cross-platform comparisons.
- Dynamical validation: conservation of mass, angular momentum, and energy where appropriate; comparison with analytic solutions; reference-propagator comparisons; and close-encounter tests.
- Observation validation: comparison of predicted observables with withheld data, spacecraft tracking, transit times, spectra, solar-wind measurements, or planetary-environment observations.
- Statistical validation: calibration of predictive intervals, likelihood-based tests, false-positive and false-negative rates, population recovery, and prospective evaluation.
- Operational validation: latency, failure recovery, provenance, alert delivery, versioning, and user acceptance.
Several supplied systems emphasize the difference between internal convergence and physical accuracy. The $0.7$0 Picard tolerance in GPU propagation is not a global error bound. PEP’s $0.7$1-ns software difference does not validate the shared planetary ephemeris. CAT-PUMA’s selected random holdout split may provide an optimistic estimate because repeated test-set selection was used. PPDONet’s small interpolation error is valid only within its simulation manifold. These distinctions are central to PPE credibility.
Interoperability and provenance
A service-oriented PPE benefits from standards that separate model execution, event distribution, data discovery, and visualization. The PSWS architecture identifies:
- EPN-TAP and EPNcore for planetary-data and model-service discovery;
- TAP and ADQL for querying persistent event and model catalogues;
- VOEvent 2.0 and VTP for event and prediction dissemination;
- SAMP for communication between analysis and visualization applications;
- VESPA for durable metadata and links to original event documents;
- AMDA, 3DView, Aladin, APIS, PVOL, and CDPP services for data analysis and visualization.
Every prediction should retain input dataset identifiers, coordinate and time systems, model and software versions, parameter configurations, execution time, random seeds where applicable, numerical tolerances, quality-control status, and links to source observations. Prediction revisions should form a versioned lineage rather than destructive updates.
Operational constraints
An operational PPE requires repeatable model runs, archived inputs and outputs, service monitoring, failure handling, latency targets, versioned models, alert thresholds, user subscriptions, validation reports, and documentation. A loosely coupled architecture allows models such as MHD propagation, TRANSPLANET, PSG, CAT-PUMA, PPDONet, VPLanet, or GPLUM to be deployed independently and composed through explicit interfaces.
The principal engineering risks are inconsistent time scales and coordinate frames, hidden model assumptions, incomplete uncertainty propagation, schema limitations for planetary coordinates, excessive computational cost, insufficient event handling, and the use of calibrated models outside their domains. A PPE should therefore expose validity ranges and regime warnings as first-class outputs rather than presenting every result as an equally reliable prediction.
6. Generalized PPE architecture and limitations
A comprehensive PPE can be organized into the following layers:
- Data-ingestion layer: observations, ephemerides, stellar and planetary catalogues, spacecraft telemetry, solar-wind measurements, images, spectra, and external model products.
- State and event registry: versioned physical states, observations, predicted events, confirmed events, rejected events, model runs, provenance, uncertainty, and quality metadata.
- Dynamical layer: relativistic planetary ephemerides, N-body propagation, secular dynamics, tidal evolution, formation and migration, and high-throughput ensemble propagation.
- Environmental layer: stellar irradiation, atmospheric escape, climate, interiors, magnetospheres, ionospheres, thermospheres, cometary comae, and space weather.
- Observation layer: radiative transfer, surface and atmospheric spectra, visibility, instrument response, noise, detection completeness, and synthetic data.
- Inference layer: weighted least squares, Bayesian or sequential estimation, population synthesis, machine-learning surrogates, sensitivity analysis, and uncertainty calibration.
- Decision layer: target ranking, observing schedules, threshold evaluation, hazard assessment, spacecraft operations, and alert generation.
- Interoperability layer: APIs, EPN-TAP, TAP, ADQL, VOEvent, VTP, SAMP, provenance, archival services, and visualization.
The most complete architectural templates are complementary rather than interchangeable. EPM2011 and PEP provide high-precision dynamics, observation modeling, and estimation. VPLanet and the Bern model provide coupled planetary-system evolution. GPLUM resolves high-resolution planetesimal dynamics. POET and PLATYPOS provide specialized stellar-tide and photoevaporation kernels. PSG supplies an observation operator. PSWS and VOEvent provide event propagation, model orchestration, alerts, and community interoperability. CAT-PUMA, PPDONet, and the Earth-like planet predictor demonstrate fast surrogate or classification layers. The GPU Picard–Chebyshev method provides large-scale ensemble propagation.
No single component supplies all capabilities required by a general PPE. The principal missing elements across the systems are unified uncertainty quantification, calibrated model discrepancy, robust data assimilation, dynamical regime switching, high-fidelity multi-planet interactions, atmospheric and interior model generality, explicit event handling, operational monitoring, and standardized APIs.
A PPE should consequently preserve the modularity demonstrated by VPLanet, the end-to-end physical coupling of the Bern model, the precision and estimator discipline of EPM2011 and PEP, the scalable dynamical treatment of GPLUM and augmented Picard–Chebyshev propagation, the observation-operator role of PSG, and the event-oriented interoperability of PSWS and VOEvent. Its outputs should include not only predicted states and observables, but also model identity, validity domain, uncertainty decomposition, provenance, convergence diagnostics, event history, and extrapolation warnings.
The defining property of a planetary prediction engine is therefore not merely the ability to integrate an orbit. It is the controlled composition of physical models, observations, uncertainty, observables, events, and decisions into a reproducible prediction system whose assumptions and limitations remain explicit.