alice-physics 2.2.0

# Orbital mechanics and celestial dynamics (ORBIT) coverage of ALICE-Physics,
# against an external reference frame.
#
# What this table is: every capability that the standard textbooks (Vallado,
# Fundamentals of Astrodynamics and Applications; Curtis, Orbital Mechanics for
# Engineering Students; Murray-Dermott, Solar System Dynamics; Battin, An
# Introduction to the Mathematics and Methods of Astrodynamics), reference
# implementations (REBOUND integrators and tools, GMAT and Orekit force models,
# propagators and frames) and standard benchmarks (Kepler orbit closure,
# figure-eight and Pythagorean three-body problems, J2 nodal precession,
# Trojan libration about L4, Hohmann delta-v) expect of a code for the
# two-body problem, N-body gravity, perturbations, the restricted three-body
# problem and the motion of spacecraft, one [[item]] per capability, with what
# the crate has today. The rows are written by hand: the axes and the items come
# from the reference frame, not from the modules that exist, so a missing
# capability is visible instead of absent.
#
# Boundary with the other tables (one capability goes in one table only):
#   - the atmosphere itself (density, temperature, wind): the environment table;
#     here only drag on an orbit as a perturbation (COV-ORBIT-052)
#   - numerical integration of free rigid-body rotation (gyroscopic term,
#     quaternion integration): the rigid-body table; here only attitude as a
#     spacecraft function (gravity-gradient torque, actuators, parameter sets)
#   - general relativity itself: the relativity table; here only the
#     relativistic correction as an orbit perturbation (COV-ORBIT-055, COV-ORBIT-104)
#   - generic ODE integrators, generic Verlet and generic root finding: the
#     numerical-foundation table (COV-NUM-045, 047, 037); the leapfrog of the
#     gravitational N-body law and the Newton iteration of Kepler's equation
#     are counted here as field capabilities
#   - tree codes and fast multipole methods for long-range sums: the particle
#     table (COV-PART-029); not repeated here
#   - attitude determination and control (estimation, sensors): the sensing and
#     control table
#
# Astrophysics axis (second wave, low priority for the crate's uses): collisionless
# N-body, cosmology, stellar structure and accretion discs. Every row is missing.
# The tree code and fast multipole sums stay in the particle table (COV-PART-029);
# the direct softened sum and leapfrog rows above (COV-ORBIT-027, 028, 034) are
# what a small-N benchmark would run on. Fix128 keeps 64 integer bits (up to
# 2^63, about 9.2e18), so astronomical quantities in SI units are out of range:
# the Sun's GM (about 1.327e20 m^3/s^2), one astronomical unit squared (about
# 2.2e22 m^2), the solar mass (about 2.0e30 kg), one megaparsec (about 3.1e22 m)
# (values to be checked against the source). The same limit is why the
# geomagnetic dipole is missing in the geophysics table. These rows assume
# dimensionless (N-body or Hubble) units; the rows say where that matters.
#
# status (exactly one of):
#   implemented+oracle     implemented, and at least one non-ignored test checks
#                          it against an independent reference
#   implemented-no-oracle  implemented, no such test
#   partial                implemented with a restriction that the source states;
#                          `limitation` quotes it, and the source carries a
#                          `LIMITATION(<id>)` comment at that place
#   missing                not implemented
#   out-of-scope           not a capability of this field (reason in `evidence`)
#
# This axis is separate from the test ignore reasons (`known defect: ...`,
# `src gap: ...`, `diagnostic`, `runtime`). A capability that exists with a
# recorded defect keeps its status and cites the known-defect test in
# `evidence`; it is not `missing`.
#
# keys: id (COV-ORBIT-NNN) / axis / item / source (book, chapter, paper or
# reference-implementation feature; no quoted text) / status / evidence
# (`src/...rs::symbol`, `tests/...rs::test_fn`) / oracle_candidate / limitation
# (verbatim quote of the source, required for `partial`).
#
# Reference values marked "参照値要確認" are to be checked against the original
# publication before any test uses them. Lines marked "(推測)" were judged from
# a search that found nothing and are to be confirmed. Book chapter numbers
# have not been checked against the editions.
#
# Checked by scripts/coverage_check.py (tests: scripts/test_coverage_check.py).

[[item]]
id = "COV-ORBIT-001"
axis = "two-body"
item = "Kepler's equation, elliptic (M = E - e sin E)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §2.2; Curtis, Orbital Mechanics for Engineering Students ch.3"
status = "implemented+oracle"
evidence = "src/kepler.rs::solve_kepler / tests/analytic_kepler.rs::kepler_matches_vallado_example_2_1 / tests/analytic_kepler.rs::kepler_matches_meeus_example_30a / tests/analytic_kepler.rs::kepler_agrees_with_independent_f64_solver"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-002"
axis = "two-body"
item = "hyperbolic Kepler equation (M = e sinh F - F)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §2.2; Curtis, Orbital Mechanics for Engineering Students ch.3.5"
status = "missing"
evidence = "src/kepler.rs で e ≥ 1 を拒否すると module doc に明記 / tests/analytic_kepler.rs::kepler_rejects_eccentricity_outside_unit_interval"
oracle_candidate = "Vallado の双曲線例題 (参照値要確認)"
limitation = ""

[[item]]
id = "COV-ORBIT-003"
axis = "two-body"
item = "parabolic orbit (Barker's equation)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §2.2; Battin, An Introduction to the Mathematics and Methods of Astrodynamics ch.4"
status = "missing"
evidence = "src/kepler.rs (拒否)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-004"
axis = "two-body"
item = "anomaly conversions (true / eccentric / mean)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §2.2; Curtis, Orbital Mechanics for Engineering Students ch.3"
status = "implemented+oracle"
evidence = "src/kepler.rs::true_from_mean_anomaly src/kepler.rs::mean_from_true_anomaly / tests/analytic_kepler.rs::anomaly_conversions_are_inverse (往復) / tests/analytic_kepler.rs::elements_to_state_matches_vallado_example_2_6 (ν を経由して公表値と突合)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-005"
axis = "two-body"
item = "Kepler's third law: period and mean motion"
source = "Vallado, Fundamentals of Astrodynamics and Applications §1.3; Curtis, Orbital Mechanics for Engineering Students ch.2"
status = "implemented+oracle"
evidence = "src/kepler.rs::orbital_period src/kepler.rs::mean_motion / tests/analytic_kepler.rs::orbital_period_is_keplers_third_law"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-006"
axis = "two-body"
item = "vis-viva speed"
source = "Vallado, Fundamentals of Astrodynamics and Applications §1.3; Curtis, Orbital Mechanics for Engineering Students ch.2"
status = "implemented+oracle"
evidence = "src/kepler.rs::vis_viva_speed / tests/analytic_kepler.rs::energy_angular_momentum_and_vis_viva_along_orbit / tests/analytic_kepler.rs::circular_orbit_speed_is_sqrt_mu_over_r"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-007"
axis = "two-body"
item = "specific orbital energy and angular momentum"
source = "Vallado, Fundamentals of Astrodynamics and Applications §1.3; Curtis, Orbital Mechanics for Engineering Students ch.2"
status = "implemented+oracle"
evidence = "src/kepler.rs::specific_orbital_energy src/kepler.rs::specific_angular_momentum / tests/analytic_kepler.rs::energy_angular_momentum_and_vis_viva_along_orbit"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-008"
axis = "two-body"
item = "escape speed, hyperbolic excess speed and C3"
source = "Curtis, Orbital Mechanics for Engineering Students ch.2.9; Vallado, Fundamentals of Astrodynamics and Applications §1.3"
status = "missing"
evidence = "専用関数は無い (src/ で escape / C3 の grep 0 件、推測) 双曲線軌道そのものが src/kepler.rs で範囲外"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-009"
axis = "two-body"
item = "periapsis / apoapsis radius and flight-path angle"
source = "Vallado, Fundamentals of Astrodynamics and Applications §2.3; Curtis, Orbital Mechanics for Engineering Students ch.2"
status = "missing"
evidence = "関数は semi_latus_rectum (src/kepler.rs::semi_latus_rectum) のみ 近点・遠点半径・経路角の API は無い (推測)"
oracle_candidate = "a(1±e) と tan γ = e sin ν / (1 + e cos ν) の閉形式"
limitation = ""

[[item]]
id = "COV-ORBIT-010"
axis = "elements"
item = "classical elements to state vector (COE2RV), elliptic"
source = "Vallado, Fundamentals of Astrodynamics and Applications §2.6 Algorithm 10"
status = "implemented+oracle"
evidence = "src/kepler.rs::to_state / tests/analytic_kepler.rs::elements_to_state_matches_vallado_example_2_6"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-011"
axis = "elements"
item = "state <-> elements in any consistent unit system (SI metres for Earth orbits)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §2.6; Orekit KeplerianOrbit (SI units)"
status = "partial"
evidence = "Fix128 の整数部 64 bit が |r × v|² を制限 km・s か正準単位なら成立 src/kepler.rs::from_state"
oracle_candidate = "SI m の LEO で from_state が overflow せず round trip する test (現状は拒否でなく巻き戻る可能性、推測)"
limitation = "src/kepler.rs 'SI metres overflow `|h|²` already in low Earth orbit'"

[[item]]
id = "COV-ORBIT-012"
axis = "elements"
item = "state vector to classical elements (RV2COE) with circular / equatorial conventions"
source = "Vallado, Fundamentals of Astrodynamics and Applications §2.6 Algorithm 9"
status = "implemented+oracle"
evidence = "src/kepler.rs::from_state / tests/analytic_kepler.rs::elements_state_round_trip / tests/analytic_kepler.rs::circular_inclined_orbit_uses_argument_of_latitude / tests/analytic_kepler.rs::prograde_equatorial_orbit_uses_longitude_of_periapsis / tests/analytic_kepler.rs::retrograde_equatorial_orbit_measures_about_negative_z / tests/analytic_kepler.rs::circular_equatorial_orbit_uses_true_longitude"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-013"
axis = "elements"
item = "elements of hyperbolic / parabolic states"
source = "Vallado, Fundamentals of Astrodynamics and Applications §2.6; Curtis, Orbital Mechanics for Engineering Students ch.4"
status = "missing"
evidence = "src/kepler.rs::KeplerError で拒否 / tests/analytic_kepler.rs::degenerate_states_are_rejected"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-014"
axis = "elements"
item = "equinoctial / modified equinoctial elements"
source = "Vallado, Fundamentals of Astrodynamics and Applications §2.4; Orekit EquinoctialOrbit; GMAT ModEquinoctial"
status = "missing"
evidence = "src/ で equinoctial の grep 0 件 (推測)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-015"
axis = "elements"
item = "Delaunay variables and mean <-> osculating conversion (Brouwer / Kozai)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §9.7; Battin, An Introduction to the Mathematics and Methods of Astrodynamics ch.10"
status = "missing"
evidence = "src/ で delaunay / brouwer / osculating の grep 0 件 (推測)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-016"
axis = "elements"
item = "two-line element sets and SGP4 / SDP4"
source = "Vallado, Fundamentals of Astrodynamics and Applications §9.12; Orekit TLEPropagator"
status = "missing"
evidence = "src/ で tle / sgp4 の grep 0 件 (推測)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-017"
axis = "propagation"
item = "analytic two-body propagation through Kepler's equation (elliptic)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §2.3 KEPLER; Curtis, Orbital Mechanics for Engineering Students ch.3"
status = "implemented+oracle"
evidence = "src/kepler.rs::propagate src/kepler.rs::state_at / tests/analytic_kepler.rs::propagation_over_one_period_returns_to_start / tests/analytic_kepler.rs::propagation_matches_f64_reference / tests/analytic_kepler.rs::circular_orbit_quarter_period_advances_quarter_turn"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-018"
axis = "propagation"
item = "universal-variable propagation with Stumpff functions (all conics)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §2.3 Algorithm 8; Curtis, Orbital Mechanics for Engineering Students ch.3.7"
status = "missing"
evidence = "src/ で stumpff / universal の grep 0 件 (推測) 楕円以外は拒否 (行 COV-ORBIT-002)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-019"
axis = "propagation"
item = "Lagrange f and g coefficients"
source = "Vallado, Fundamentals of Astrodynamics and Applications §2.3; Curtis, Orbital Mechanics for Engineering Students ch.2.11"
status = "missing"
evidence = "src/kepler.rs::propagate は要素を経由する f・g の API は無い (推測)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-020"
axis = "propagation"
item = "Cowell numerical propagation of one orbit with caller-supplied perturbing accelerations"
source = "Vallado, Fundamentals of Astrodynamics and Applications §8.3; GMAT Propagator; Orekit NumericalPropagator / ForceModel"
status = "missing"
evidence = "摂動加速度を受ける口が無い src/nbody.rs::VelocityVerlet は DirectSum の相互重力だけを積分する 汎用 ODE は COV-NUM-045 (num.toml)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-021"
axis = "propagation"
item = "Encke's method"
source = "Vallado, Fundamentals of Astrodynamics and Applications §8.4; Battin, An Introduction to the Mathematics and Methods of Astrodynamics ch.10"
status = "missing"
evidence = "src/ で encke の grep 0 件 (推測)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-022"
axis = "propagation"
item = "state transition matrix and variational equations"
source = "Vallado, Fundamentals of Astrodynamics and Applications §10.5; Orekit PartialDerivatives / MatricesHarvester"
status = "missing"
evidence = "src/ で state transition / STM の grep 0 件 (推測)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-023"
axis = "propagation"
item = "mean-element propagation with the secular J2 drift applied"
source = "Vallado, Fundamentals of Astrodynamics and Applications §9.6 (secular rates); Orekit J2 secular / Eckstein-Hechler"
status = "missing"
evidence = "src/kepler.rs::j2_raan_rate の doc に propagate は drift を適用しないと明記 rate 関数は行 COV-ORBIT-046"
oracle_candidate = "J2 rate を Ω と ω に dt 倍で足すだけ (S) 太陽同期軌道で 1 年後に節が 1 周"
limitation = ""

[[item]]
id = "COV-ORBIT-024"
axis = "targeting"
item = "Lambert's problem, single revolution"
source = "Vallado, Fundamentals of Astrodynamics and Applications §7.6; Curtis, Orbital Mechanics for Engineering Students ch.5.3; Izzo 2015"
status = "missing"
evidence = "src/ で lambert の grep 0 件"
oracle_candidate = "Vallado Example 7-5 / Curtis Example 5.2 (参照値要確認)"
limitation = ""

[[item]]
id = "COV-ORBIT-025"
axis = "targeting"
item = "Lambert's problem, multi-revolution"
source = "Vallado, Fundamentals of Astrodynamics and Applications §7.6; Izzo 2015"
status = "missing"
evidence = "src/ で lambert の grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-026"
axis = "targeting"
item = "initial orbit determination (Gibbs / Herrick-Gibbs / Gauss angles-only)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §7.3-7.5; Curtis, Orbital Mechanics for Engineering Students ch.5"
status = "missing"
evidence = "src/ で gibbs / gauss angles の grep 0 件 (推測) 分割: 子の行 COV-ORBIT-129〜130 この行の status は子のうち最も実装の少ないもの (missing) に合わせて手で保つ (検査器は親子を見ない)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-027"
axis = "n-body law"
item = "direct-sum Newtonian mutual gravity"
source = "REBOUND gravity=basic; Aarseth, Gravitational N-Body Simulations ch.1"
status = "implemented+oracle"
evidence = "src/nbody.rs::DirectSum src/nbody.rs::accelerations / tests/analytic_nbody.rs::two_body_acceleration_is_inverse_square / tests/analytic_nbody.rs::accelerations_superpose"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-028"
axis = "n-body law"
item = "Plummer softening with its consistent potential"
source = "Aarseth ch.2; REBOUND softening"
status = "implemented+oracle"
evidence = "src/nbody.rs / tests/analytic_nbody.rs::plummer_softened_force_and_potential"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-029"
axis = "n-body law"
item = "massless test particles (feel, do not pull)"
source = "REBOUND N_active / testparticle_type"
status = "implemented+oracle"
evidence = "src/nbody.rs::NBodyError / tests/analytic_nbody.rs::accelerations_superpose (質量 0 の探査体)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-030"
axis = "n-body law"
item = "energy and linear momentum of the system"
source = "REBOUND reb_simulation_energy / com"
status = "implemented+oracle"
evidence = "src/nbody.rs::potential_energy src/nbody.rs::kinetic_energy src/nbody.rs::total_momentum / tests/analytic_nbody.rs::energy_error_is_bounded_and_momentum_is_conserved"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-031"
axis = "n-body law"
item = "total angular momentum and centre-of-mass position / velocity"
source = "REBOUND reb_simulation_angular_momentum / move_to_com"
status = "missing"
evidence = "運動量 (src/nbody.rs::total_momentum) のみ 角運動量・重心の API は無い"
oracle_candidate = "figure-eight と 2 体円軌道で L が保存 (S)"
limitation = ""

[[item]]
id = "COV-ORBIT-032"
axis = "n-body law"
item = "N-body gravity among PhysicsWorld bodies (world step as the drift)"
source = "REBOUND additional forces on a host simulation; Aarseth ch.1"
status = "partial"
evidence = "src/nbody.rs::step_world / tests/analytic_nbody.rs::step_world_follows_the_leapfrog_closed_form / tests/analytic_nbody.rs::kick_bodies_ignores_non_dynamic_bodies / tests/analytic_nbody.rs::step_world_keeps_slow_bodies_awake 静的な惑星を引力源にするには force の Point 場 (行 COV-ORBIT-086)"
oracle_candidate = ""
limitation = "src/nbody.rs::kick_bodies 'Static and kinematic bodies neither feel nor exert the attraction (they have no finite mass)'"

[[item]]
id = "COV-ORBIT-033"
axis = "n-body law"
item = "gravitational N-body with general relativistic / post-Newtonian terms (EIH)"
source = "REBOUND REBOUNDx gr / gr_full; Einstein-Infeld-Hoffmann"
status = "missing"
evidence = "src/ で post-newton / schwarzschild の grep 0 件 本体は相対論の表、ここは軌道の補正項の受け口 (行 COV-ORBIT-055)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-034"
axis = "n-body integration"
item = "kick-drift-kick leapfrog (second order, symplectic)"
source = "Hairer-Lubich-Wanner, Geometric Numerical Integration ch.I.3; REBOUND LEAPFROG"
status = "implemented+oracle"
evidence = "src/nbody.rs::VelocityVerlet / tests/analytic_nbody.rs::circular_two_body_matches_leapfrog_closed_form / tests/analytic_nbody.rs::leapfrog_is_second_order / tests/analytic_nbody.rs::integration_is_bit_reproducible 汎用部品としての Verlet は COV-NUM-047 (num.toml)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-035"
axis = "n-body integration"
item = "bounded long-term energy error (no secular drift)"
source = "Hairer-Lubich-Wanner ch.IX; Rein-Tamayo 2015"
status = "implemented+oracle"
evidence = "tests/analytic_nbody.rs::energy_error_is_bounded_and_momentum_is_conserved"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-036"
axis = "n-body integration"
item = "time reversibility"
source = "Hairer-Lubich-Wanner ch.V; Rein-Tamayo 2015"
status = "implemented-no-oracle"
evidence = "src/nbody.rs::VelocityVerlet に記述 dt を反転して初期状態へ戻る test は無い"
oracle_candidate = "N 歩進めて -dt で N 歩戻し、初期状態との差が丸めの床 (S)"
limitation = ""

[[item]]
id = "COV-ORBIT-037"
axis = "n-body integration"
item = "first-order frame-head kick (symplectic Euler) through world force fields"
source = "Hairer-Lubich-Wanner ch.VI.3 (symplectic Euler)"
status = "implemented+oracle"
evidence = "src/nbody.rs::kick_bodies / tests/analytic_nbody.rs::frame_head_kick_is_first_order"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-038"
axis = "n-body integration"
item = "Wisdom-Holman mixed-variable symplectic map (Kepler drift + interaction kick)"
source = "Wisdom-Holman 1991; REBOUND WHFast; Rein-Tamayo 2015"
status = "missing"
evidence = "src/ で wisdom / whfast の grep 0 件 Kepler drift には src/kepler.rs::propagate が使える (楕円のみ)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-039"
axis = "n-body integration"
item = "higher-order symplectic composition (Yoshida 4th / 6th, SABA)"
source = "Yoshida 1990; REBOUND SABA / WHFast corrector"
status = "missing"
evidence = "src/ で yoshida / forest-ruth の grep 0 件 (推測)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-040"
axis = "n-body integration"
item = "high-accuracy adaptive integrator (IAS15 / Bulirsch-Stoer / RKF78)"
source = "Rein-Spiegel 2015; REBOUND IAS15 / BS; GMAT RungeKutta89 / PrinceDormand78"
status = "missing"
evidence = "src/ で ias15 / bulirsch / rkf の grep 0 件 (aeroelasticity の RK は分野内の閉形式 ODE)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-041"
axis = "n-body integration"
item = "point-mass close encounters (no softening)"
source = "Aarseth ch.5; REBOUND collision / MERCURIUS"
status = "partial"
evidence = "src/nbody.rs dt は固定 / tests/analytic_nbody.rs::coincident_bodies 一致点は対をとばす 範囲は src/nbody.rs"
oracle_candidate = "Pythagorean 3 体 (行 COV-ORBIT-098) の接近で固定 dt の誤差を測る"
limitation = "src/nbody.rs 'Close encounters with `ε = 0` are otherwise exact and need a `dt` that resolves them.'"

[[item]]
id = "COV-ORBIT-042"
axis = "n-body integration"
item = "adaptive and individual (block) time steps"
source = "Aarseth ch.2 (Hermite, block steps); Makino 1991"
status = "missing"
evidence = "dt は呼び手が固定で渡す (VelocityVerlet::step の引数) 自動刻みは無い"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-043"
axis = "n-body integration"
item = "two-body regularisation (Kustaanheimo-Stiefel / Burdet-Sundman) and chain regularisation"
source = "Stiefel-Scheifele, Linear and Regular Celestial Mechanics; Mikkola-Aarseth 1993"
status = "missing"
evidence = "src/ で kustaanheimo / regulari の grep に軌道の該当なし (FEM の正則化のみ) 分割: 子の行 COV-ORBIT-131〜132 この行の status は子のうち最も実装の少ないもの (missing) に合わせて手で保つ (検査器は親子を見ない)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-044"
axis = "n-body integration"
item = "hybrid integrator switching on close encounters (MERCURY / MERCURIUS)"
source = "Chambers 1999; REBOUND MERCURIUS / TRACE"
status = "missing"
evidence = "src/ で hybrid / mercurius の grep 0 件 (推測)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-045"
axis = "n-body integration"
item = "collisions and mergers of bodies (momentum-conserving merge)"
source = "REBOUND collision_resolve merge"
status = "missing"
evidence = "DirectSum は接近を扱わない (src/nbody.rs::DirectSum) world の接触は剛体の撃力で、合体は無い"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-046"
axis = "perturbation"
item = "secular J2 rates of the node and the argument of periapsis"
source = "Vallado, Fundamentals of Astrodynamics and Applications §9.6; Curtis, Orbital Mechanics for Engineering Students ch.4.7"
status = "implemented+oracle"
evidence = "src/kepler.rs::j2_raan_rate src/kepler.rs::j2_arg_periapsis_rate / tests/analytic_kepler.rs::j2_node_rate_of_sun_synchronous_orbit / tests/analytic_kepler.rs::j2_rate_signs_and_critical_inclination"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-047"
axis = "perturbation"
item = "secular J2 rate of the mean anomaly (anomalistic mean motion)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §9.6"
status = "missing"
evidence = "Ω と ω の rate のみ (src/kepler.rs::j2_raan_rate)"
oracle_candidate = "dM/dt = n[1 + (3/4)J2(R/p)²√(1-e²)(3cos²i-1)] の閉形式 (S)"
limitation = ""

[[item]]
id = "COV-ORBIT-048"
axis = "perturbation"
item = "short-periodic J2 terms"
source = "Vallado, Fundamentals of Astrodynamics and Applications §9.7 (Brouwer); Orekit Brouwer-Lyddane"
status = "missing"
evidence = "src/kepler.rs::j2_raan_rate に short-periodic は扱わないと明記"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-049"
axis = "perturbation"
item = "J2 perturbing acceleration vector (for numerical propagation)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §8.6; GMAT GravityField degree 2; Orekit HolmesFeatherstoneAttractionModel"
status = "missing"
evidence = "加速度ベクトルとしての J2 は無い (rate の閉形式のみ)"
oracle_candidate = "円軌道を数値積分して節の歳差が j2_raan_rate に一致 (行 COV-ORBIT-099)"
limitation = ""

[[item]]
id = "COV-ORBIT-050"
axis = "perturbation"
item = "higher zonal harmonics (J3, J4, ...)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §8.6; GMAT GravityField"
status = "missing"
evidence = "src/kepler.rs::j2_raan_rate に higher zonal は扱わないと明記"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-051"
axis = "perturbation"
item = "tesseral and sectoral spherical-harmonic gravity field (EGM / GGM)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §8.6; Orekit HolmesFeatherstone; GMAT EGM96"
status = "missing"
evidence = "src/ で legendre / spherical harmonic の grep に該当なし (推測)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-052"
axis = "perturbation"
item = "atmospheric drag on an orbit (density at orbital altitude, ballistic coefficient, co-rotating atmosphere)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §8.6.2; GMAT JacchiaRoberts / MSISE; Orekit DragForce"
status = "missing"
evidence = "大気の法則 (src/atmosphere.rs) は 0〜20 km の ISA のみ (src/atmosphere.rs) force の Drag (src/force.rs::ForceField) は速度比例の線形抗力 大気モデル本体は環境の表、ここは軌道上の抗力の受け口"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-053"
axis = "perturbation"
item = "solar radiation pressure with shadow (cylindrical / conical)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §8.6.4; Orekit SolarRadiationPressure; GMAT SRP"
status = "missing"
evidence = "src/ で solar / radiation pressure / eclipse の grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-054"
axis = "perturbation"
item = "third-body point-mass perturbation (Sun / Moon on a satellite)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §8.6.3; Orekit ThirdBodyAttraction; GMAT PointMasses"
status = "implemented-no-oracle"
evidence = "慣性系の全 N 体としては DirectSum に第三体を加えれば入る (src/nbody.rs::DirectSum) 地心系の摂動加速度 (間接項) の API・天体暦は無い 突合 test は無い"
oracle_candidate = "地球-月-衛星で月の摂動による節の歳差を閉形式と比較 (参照値要確認)"
limitation = ""

[[item]]
id = "COV-ORBIT-055"
axis = "perturbation"
item = "relativistic correction to the orbit (Schwarzschild 1PN acceleration)"
source = "IERS Conventions 2010 ch.10; REBOUND REBOUNDx gr"
status = "missing"
evidence = "src/ で schwarzschild / post-newton の grep 0 件 本体は相対論の表、ここは補正項の受け口のみ"
oracle_candidate = "水星の近日点移動 (行 COV-ORBIT-104)"
limitation = ""

[[item]]
id = "COV-ORBIT-056"
axis = "perturbation"
item = "solid-body and ocean tides, tidal dissipation"
source = "IERS Conventions 2010 ch.6; Murray-Dermott, Solar System Dynamics ch.4; REBOUND REBOUNDx tides"
status = "missing"
evidence = "src/ で tidal / tide の grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-057"
axis = "perturbation"
item = "variation of parameters (Lagrange / Gauss planetary equations)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §9.3; Battin, An Introduction to the Mathematics and Methods of Astrodynamics ch.10"
status = "missing"
evidence = "src/ で gauss planetary / variation of parameters の grep 0 件 (推測)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-058"
axis = "restricted three-body"
item = "circular restricted three-body equations in the rotating frame"
source = "Murray-Dermott, Solar System Dynamics ch.3; Szebehely, Theory of Orbits"
status = "missing"
evidence = "src/ で restricted / cr3bp の grep 0 件 回転座標系の見かけの力も無い (行 COV-ORBIT-082)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-059"
axis = "restricted three-body"
item = "Lagrange points L1-L5"
source = "Murray-Dermott, Solar System Dynamics ch.3.6; Curtis, Orbital Mechanics for Engineering Students ch.2.12"
status = "missing"
evidence = "src/ で lagrange point の grep 0 件"
oracle_candidate = "L4・L5 は正三角形、L1-L3 は 5 次方程式の根 (S)"
limitation = ""

[[item]]
id = "COV-ORBIT-060"
axis = "restricted three-body"
item = "Jacobi integral and zero-velocity curves"
source = "Murray-Dermott, Solar System Dynamics ch.3.3; Curtis, Orbital Mechanics for Engineering Students ch.2.12"
status = "missing"
evidence = "src/ で jacobi の grep に軌道の該当なし (線形ソルバの Jacobi 法のみ)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-061"
axis = "restricted three-body"
item = "linear stability of L4 / L5 (Routh criterion)"
source = "Murray-Dermott, Solar System Dynamics ch.3.8"
status = "missing"
evidence = "該当機能なし"
oracle_candidate = "質量比 μ < 0.0385 で安定 既存の DirectSum で回せる (行 COV-ORBIT-100)"
limitation = ""

[[item]]
id = "COV-ORBIT-062"
axis = "restricted three-body"
item = "Hill radius and Laplace sphere of influence"
source = "Murray-Dermott, Solar System Dynamics ch.3.4; Curtis, Orbital Mechanics for Engineering Students ch.8.5"
status = "missing"
evidence = "src/ で hill radius / sphere of influence の grep 0 件"
oracle_candidate = "閉形式 r_H = a(m/3M)^(1/3) (S)"
limitation = ""

[[item]]
id = "COV-ORBIT-063"
axis = "restricted three-body"
item = "periodic orbits about collinear points (Lyapunov / halo)"
source = "Richardson 1980; Szebehely"
status = "missing"
evidence = "該当機能なし (行 COV-ORBIT-058 が前提)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-064"
axis = "maneuver"
item = "Hohmann transfer delta-v and time of flight"
source = "Vallado, Fundamentals of Astrodynamics and Applications §6.3; Curtis, Orbital Mechanics for Engineering Students ch.6.3"
status = "missing"
evidence = "src/ で hohmann の grep 0 件"
oracle_candidate = "LEO→GEO の Δv 閉形式 (参照値要確認、行 COV-ORBIT-101)"
limitation = ""

[[item]]
id = "COV-ORBIT-065"
axis = "maneuver"
item = "bi-elliptic transfer"
source = "Vallado, Fundamentals of Astrodynamics and Applications §6.3; Curtis, Orbital Mechanics for Engineering Students ch.6.4"
status = "missing"
evidence = "src/ で bi-elliptic の grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-066"
axis = "maneuver"
item = "plane change and combined plane change"
source = "Vallado, Fundamentals of Astrodynamics and Applications §6.4; Curtis, Orbital Mechanics for Engineering Students ch.6.8"
status = "missing"
evidence = "src/ で plane change の grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-067"
axis = "maneuver"
item = "impulsive delta-v applied to a state and the resulting elements"
source = "Vallado, Fundamentals of Astrodynamics and Applications §6.2; GMAT ImpulsiveBurn"
status = "implemented+oracle"
evidence = "src/kepler.rs::OrbitalElements::from_state / tests/analytic_impulsive_burn_vis_viva.rs::prograde_tangential_burn_raises_apoapsis_periapsis_matches_vis_viva + retrograde_tangential_burn_lowers_periapsis_matches_vis_viva (円軌道に接線 Δv、新半長径・離心率を vis-viva 閉形式に突合、vis_viva_speed でも遠点速度を独立確認)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-068"
axis = "maneuver"
item = "Tsiolkovsky rocket equation and propellant mass"
source = "Curtis, Orbital Mechanics for Engineering Students ch.11; GMAT ChemicalThruster"
status = "missing"
evidence = "src/ で tsiolkovsky / rocket の grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-069"
axis = "maneuver"
item = "finite burn with continuous thrust and mass depletion"
source = "Vallado, Fundamentals of Astrodynamics and Applications §6.8; GMAT FiniteBurn; Orekit ConstantThrustManeuver"
status = "missing"
evidence = "src/ で thrust は src/rotor.rs (回転翼) のみ 質量が減る body は無い (推測)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-070"
axis = "maneuver"
item = "low-thrust spiral transfer (Edelbaum)"
source = "Edelbaum 1961; Conway, Spacecraft Trajectory Optimization"
status = "missing"
evidence = "該当機能なし"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-071"
axis = "maneuver"
item = "relative motion and rendezvous (Clohessy-Wiltshire / Hill equations)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §6.8; Curtis, Orbital Mechanics for Engineering Students ch.7"
status = "missing"
evidence = "src/ で clohessy / hill equation の grep 0 件"
oracle_candidate = "CW の閉形式解と 2 体の差分を突合 (S、既存の DirectSum で回せる)"
limitation = ""

[[item]]
id = "COV-ORBIT-072"
axis = "maneuver"
item = "patched conics and gravity assist"
source = "Curtis, Orbital Mechanics for Engineering Students ch.8; Vallado, Fundamentals of Astrodynamics and Applications §12"
status = "missing"
evidence = "双曲線軌道が範囲外 (行 COV-ORBIT-002)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-073"
axis = "attitude"
item = "torque-free attitude motion of a spacecraft (Euler's equations with the gyroscopic term)"
source = "Wie, Space Vehicle Dynamics and Control ch.6; Hughes, Spacecraft Attitude Dynamics ch.4"
status = "missing"
evidence = "剛体の自由回転の数値積分は剛体の表 (COV-RIGID-005 / 006、rigid.toml) 基準 commit に ω × Iω の項は無い ここは宇宙機の姿勢としての機能のみ"
oracle_candidate = "軸対称体の章動角速度の閉形式 (行 COV-ORBIT-106)"
limitation = ""

[[item]]
id = "COV-ORBIT-074"
axis = "attitude"
item = "gravity-gradient torque"
source = "Wie ch.6.3; Hughes ch.8"
status = "missing"
evidence = "src/ で gravity gradient の grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-075"
axis = "attitude"
item = "environmental disturbance torques (aerodynamic, solar-pressure, magnetic)"
source = "Wertz, Spacecraft Attitude Determination and Control ch.17"
status = "missing"
evidence = "src/ で該当なし (force の Magnetic 場は物体に力を掛ける近似で姿勢トルクではない) 分割: 子の行 COV-ORBIT-133〜135 この行の status は子のうち最も実装の少ないもの (missing) に合わせて手で保つ (検査器は親子を見ない)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-076"
axis = "attitude"
item = "momentum-exchange actuators (reaction wheels, control moment gyros)"
source = "Wie ch.7; Markley-Crassidis, Fundamentals of Spacecraft Attitude Determination and Control ch.4"
status = "missing"
evidence = "src/ で reaction wheel / momentum wheel の grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-077"
axis = "attitude"
item = "attitude parameter sets (Euler angles, MRP, direction cosine matrix) and their kinematics"
source = "Schaub-Junkins, Analytical Mechanics of Space Systems ch.3"
status = "missing"
evidence = "四元数は math 層にある (剛体の表) Euler 角・MRP・DCM の変換 API は無い (推測)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-078"
axis = "attitude"
item = "spin stabilisation with energy dissipation (major-axis rule)"
source = "Hughes ch.5; Wie ch.6.4 (Explorer 1)"
status = "missing"
evidence = "該当機能なし"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-079"
axis = "frames-time"
item = "inertial / Earth-fixed frame transformation (Earth rotation angle, GMST)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §3.7; IERS Conventions 2010 ch.5; Orekit FramesFactory"
status = "missing"
evidence = "要素は呼び手の慣性系で表す (src/kepler.rs::StateVector の doc) 地球固定系の変換は無い"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-080"
axis = "frames-time"
item = "precession, nutation and polar motion"
source = "Vallado, Fundamentals of Astrodynamics and Applications §3.7; IERS Conventions 2010 ch.5"
status = "missing"
evidence = "src/ で precession / nutation の grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-081"
axis = "frames-time"
item = "local orbital frames (RSW / RTN, NTW, perifocal) as an API"
source = "Vallado, Fundamentals of Astrodynamics and Applications §3.3; GMAT LocalAlignedConstrained"
status = "missing"
evidence = "perifocal は to_state の内部計算のみ (src/kepler.rs::to_state)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-082"
axis = "frames-time"
item = "rotating-frame fictitious forces (Coriolis, centrifugal) for a world fixed to a spinning planet"
source = "Vallado, Fundamentals of Astrodynamics and Applications §3.6; Murray-Dermott, Solar System Dynamics ch.3.2"
status = "missing"
evidence = "src/ で coriolis / centrifugal の grep に軌道の該当なし (6dof hook の慣性主軸の回転のみ)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-083"
axis = "frames-time"
item = "geodetic latitude / longitude / altitude on a reference ellipsoid"
source = "Vallado, Fundamentals of Astrodynamics and Applications §3.2; WGS 84; Orekit OneAxisEllipsoid"
status = "missing"
evidence = "src/ で geodetic / wgs の grep 0 件 球面世界は球のみ (行 COV-ORBIT-089)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-084"
axis = "frames-time"
item = "time scales and epochs (UTC / TAI / TT / TDB, Julian date)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §3.5; IERS Conventions 2010 ch.10; Orekit TimeScalesFactory"
status = "missing"
evidence = "src/ で julian / utc / tdb の grep に該当なし 時刻は呼び手の dt のみ"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-085"
axis = "frames-time"
item = "ephemerides of the Sun, Moon and planets (analytic or JPL DE)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §5.1; Orekit CelestialBodyFactory; GMAT DE405"
status = "missing"
evidence = "src/ で ephemer の grep 0 件 この crate は天体定数を持たない (@{K}#this crate carries no body constants@)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-086"
axis = "surface gravity"
item = "inverse-square attractor field on world bodies (fixed centre, force cap near the centre)"
source = "Newton's law of gravitation; Godot Area3D gravity_point"
status = "implemented+oracle"
evidence = "src/force.rs::ForceField src/force.rs::compute_force / tests/audit_force.rs::point_field_is_inverse_square_toward_or_away_from_the_center / tests/audit_force.rs::point_field_is_clamped_at_max_force_near_the_center"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-087"
axis = "surface gravity"
item = "mass-independent central gravitational acceleration mu / r^2 on world bodies"
source = "equivalence principle; Godot Area3D gravity_point (acceleration, independent of mass)"
status = "missing"
evidence = "Point 場は力で、加速度は strength·inv_mass/r² (src/force.rs::force_field_velocity) 質量の違う body に同じ μ/r² を掛ける API は無い (body ごとに strength を変えれば可)"
oracle_candidate = "質量 1 と 1000 の body が同じ自由落下 (S)"
limitation = ""

[[item]]
id = "COV-ORBIT-088"
axis = "surface gravity"
item = "constant-magnitude gravity toward a planet centre"
source = "Godot Area3D gravity_point with gravity_point_unit_distance = 0 (constant magnitude)"
status = "implemented+oracle"
evidence = "src/spherical_terrain.rs::central_gravity / tests/analytic_spherical_terrain.rs::central_gravity_points_at_the_centre_with_constant_magnitude / tests/analytic_spherical_terrain.rs::apply_central_gravity_integrates_toward_the_centre"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-089"
axis = "surface gravity"
item = "spherical height-field ground as a distance field"
source = "Quilez, distance functions (displaced sphere); planetary height-field terrain"
status = "implemented+oracle"
evidence = "src/spherical_terrain.rs::SphericalHeightField / tests/analytic_spherical_terrain.rs::constant_height_is_the_radial_offset_with_a_radial_normal / tests/analytic_spherical_terrain.rs::declared_slope_bounds_the_lipschitz_constant_above_the_reference_sphere"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-090"
axis = "surface gravity"
item = "walking on a sphere world: local up from gravity, great-circle motion, settling at every latitude"
source = "Godot CharacterBody3D up_direction under point gravity"
status = "implemented+oracle"
evidence = "src/sdf_character.rs::step_on_sphere src/sdf_character.rs::apply_central_gravity / tests/analytic_spherical_terrain.rs::arc_step_travels_speed_times_time_along_the_great_circle / tests/analytic_spherical_terrain.rs::central_gravity_settles_on_the_sphere_at_every_latitude"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-091"
axis = "surface gravity"
item = "gravity that weakens with altitude, g(h) = g0 (R / (R + h))^2, for surface walkers"
source = "Vallado, Fundamentals of Astrodynamics and Applications §1.2"
status = "missing"
evidence = "central_gravity は大きさ一定 (src/spherical_terrain.rs::central_gravity)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-092"
axis = "surface gravity"
item = "oblate-planet surface gravity (latitude dependence, Somigliana) including centrifugal term"
source = "WGS 84 normal gravity; Heiskanen-Moritz, Physical Geodesy ch.2"
status = "missing"
evidence = "球のみ、自転の遠心項も無い"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-093"
axis = "surface gravity"
item = "gravity of extended / irregular bodies (uniform-sphere interior, polyhedron, mascons)"
source = "Werner-Scheeres 1997 (polyhedron); shell theorem"
status = "missing"
evidence = "点質量と Plummer 球 (行 COV-ORBIT-028) のみ 一様球の内部 g ∝ r や多面体重力は無い 分割: 子の行 COV-ORBIT-136〜138 この行の status は子のうち最も実装の少ないもの (missing) に合わせて手で保つ (検査器は親子を見ない)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-094"
axis = "benchmark"
item = "Kepler orbit closure after one period (analytic propagation)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §2.3"
status = "implemented+oracle"
evidence = "tests/analytic_kepler.rs::propagation_over_one_period_returns_to_start"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-095"
axis = "benchmark"
item = "circular two-body orbit integrated by the N-body integrator against the leapfrog closed form"
source = "Hairer-Lubich-Wanner ch.I"
status = "implemented+oracle"
evidence = "tests/analytic_nbody.rs::circular_two_body_matches_leapfrog_closed_form"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-096"
axis = "benchmark"
item = "eccentric two-body orbit integrated numerically against Kepler propagation (periapsis precession of the integrator)"
source = "REBOUND test problems; Rein-Tamayo 2015"
status = "missing"
evidence = "nbody の test は円軌道のみ kepler::propagate との突合は無い"
oracle_candidate = "e = 0.5 で leapfrog の近点移動率を h² の閉形式と比較 (S、既存 2 module で回せる)"
limitation = ""

[[item]]
id = "COV-ORBIT-097"
axis = "benchmark"
item = "figure-eight three-body choreography"
source = "Chenciner-Montgomery 2000; Simó initial conditions"
status = "implemented+oracle"
evidence = "tests/analytic_nbody.rs::figure_eight_three_body_orbit_is_periodic"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-098"
axis = "benchmark"
item = "Pythagorean three-body problem (Burrau)"
source = "Burrau 1913; Szebehely-Peters 1967"
status = "missing"
evidence = "該当 test 無し 固定 dt の leapfrog では接近の解像が要る (行 COV-ORBIT-041)"
oracle_candidate = "最終的に連星 + 放出の配置 (参照値要確認、M: 自動刻みか非常に小さい dt)"
limitation = ""

[[item]]
id = "COV-ORBIT-099"
axis = "benchmark"
item = "numerical J2 nodal precession of a circular orbit"
source = "Vallado, Fundamentals of Astrodynamics and Applications §9.6"
status = "missing"
evidence = "J2 の加速度が無い (行 COV-ORBIT-049)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-100"
axis = "benchmark"
item = "Trojan particle libration about L4"
source = "Murray-Dermott, Solar System Dynamics ch.3.9"
status = "missing"
evidence = "該当 test 無し"
oracle_candidate = "太陽-木星-質量 0 の粒子を DirectSum で積分し L4 周りで留まる (S、既存機能だけで回せる)"
limitation = ""

[[item]]
id = "COV-ORBIT-101"
axis = "benchmark"
item = "Hohmann LEO to GEO delta-v"
source = "Curtis, Orbital Mechanics for Engineering Students Example 6.1; Vallado, Fundamentals of Astrodynamics and Applications Example 6-1"
status = "missing"
evidence = "Hohmann が無い (行 COV-ORBIT-064)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-102"
axis = "benchmark"
item = "Kozai-Lidov oscillation of a hierarchical triple"
source = "Kozai 1962; Lidov 1962; Naoz 2016"
status = "missing"
evidence = "該当 test 無し"
oracle_candidate = "階層 3 体を DirectSum で積分し e と i の交換を四重極近似と比較 (M、長時間)"
limitation = ""

[[item]]
id = "COV-ORBIT-103"
axis = "benchmark"
item = "outer solar system long-term integration (energy error and secular frequencies)"
source = "Wisdom-Holman 1991; REBOUND outer_solar_system example"
status = "missing"
evidence = "該当 test 無し"
oracle_candidate = "木星〜海王星を leapfrog で 10⁵ 年 (参照値要確認、M)"
limitation = ""

[[item]]
id = "COV-ORBIT-104"
axis = "benchmark"
item = "Mercury perihelion advance (relativistic, 43 arcsec / century)"
source = "Einstein 1915; IERS Conventions 2010 ch.10"
status = "missing"
evidence = "相対論補正が無い (行 COV-ORBIT-055)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-105"
axis = "benchmark"
item = "Lambert test cases"
source = "Vallado, Fundamentals of Astrodynamics and Applications Example 7-5; Izzo 2015"
status = "missing"
evidence = "Lambert が無い (行 COV-ORBIT-024)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-106"
axis = "benchmark"
item = "torque-free precession of an axisymmetric spacecraft (nutation rate)"
source = "Wie ch.6.2; Hughes ch.4"
status = "missing"
evidence = "姿勢力学が無い (行 COV-ORBIT-073)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-107"
axis = "output"
item = "osculating elements of a body relative to a primary in an N-body run"
source = "REBOUND reb_orbit / tools_particle_to_orbit"
status = "implemented-no-oracle"
evidence = "相対状態を src/kepler.rs::from_state (μ = G(m₁ + m₂)) に渡せば得られる (楕円のみ) 専用 API と突合 test は無い"
oracle_candidate = "2 体の DirectSum を数周積分し要素が一定 (S)"
limitation = ""

[[item]]
id = "COV-ORBIT-108"
axis = "output"
item = "ground track and sub-satellite point"
source = "Vallado, Fundamentals of Astrodynamics and Applications §11.3; GMAT GroundTrackPlot"
status = "missing"
evidence = "地球固定系の変換が無い (行 COV-ORBIT-079)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-109"
axis = "output"
item = "eclipse, visibility and access windows (line of sight to a ground station)"
source = "Vallado, Fundamentals of Astrodynamics and Applications §5.3; Orekit EventDetector (EclipseDetector / ElevationDetector)"
status = "missing"
evidence = "src/ で eclipse / access の grep 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-110"
axis = "astrophysics"
item = "collisionless N-body of a stellar system (softened gravity at large N, two-body relaxation time, choice of softening)"
source = "Binney-Tremaine, Galactic Dynamics ch.1, ch.3; Aarseth, Gravitational N-Body Simulations"
status = "missing"
evidence = "softening 付きの直接和は COV-ORBIT-027 / 028 (I+O) だが O(N^2) で、無衝突系に要る N を回す長距離和 (tree code) は粒子の表 COV-PART-029 (missing) 緩和時間の診断も無い Fix128 の整数部は 2^63 ≈ 9.2e18 で止まるので SI では書けない量がある (天の川の質量 ≈ 1e42 kg、1 kpc ≈ 3.1e19 m、参照値要確認) ⇒ 無次元化 (G = 1 の N 体単位) が前提"
oracle_candidate = "Plummer 球の平衡 (行 COV-ORBIT-124)"
limitation = ""

[[item]]
id = "COV-ORBIT-111"
axis = "astrophysics"
item = "particle-mesh gravity: mass assignment (CIC / TSC), FFT Poisson solve on a periodic mesh, force interpolation, and the TreePM split"
source = "Hockney-Eastwood, Computer Simulation Using Particles; Springel 2005 (GADGET-2)"
status = "missing"
evidence = "FFT は数値の表 COV-NUM-093 / 094 (missing)、静電の mesh Ewald COV-PART-027 (missing) が同じ算法の電荷版"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-112"
axis = "astrophysics"
item = "cosmological N-body in comoving coordinates (expansion factor, peculiar velocities, Zel'dovich initial conditions)"
source = "Peebles, Large-Scale Structure of the Universe; Efstathiou et al. 1985"
status = "missing"
evidence = "恒星・銀河・宇宙論を扱う module は無い grep: lane_emden / friedmann / cosmolog / accretion / plummer_sphere / galax は src/ で 0 件 Fix128 の整数部は 2^63 ≈ 9.2e18 で止まるので SI では書けない量がある (1 Mpc ≈ 3.1e22 m) ⇒ 共動座標の無次元化が前提"
oracle_candidate = "Zel'dovich の pancake (行 COV-ORBIT-127)"
limitation = ""

[[item]]
id = "COV-ORBIT-113"
axis = "astrophysics"
item = "Friedmann equations: expansion factor a(t) for matter, radiation, curvature and a cosmological constant; Hubble parameter H(z)"
source = "Peacock, Cosmological Physics ch.3; Weinberg, Cosmology ch.1"
status = "missing"
evidence = "恒星・銀河・宇宙論を扱う module は無い grep: lane_emden / friedmann / cosmolog / accretion / plummer_sphere / galax は src/ で 0 件 SI の H0 ≈ 2.2e-18 1/s は Fix128 の分解能 2^-64 ≈ 5.4e-20 に対して有効桁が 2 桁程度 (桁の計算) ⇒ H0 を単位にした無次元の時間が前提"
oracle_candidate = "Einstein-de Sitter の a ∝ t^(2/3) (行 COV-ORBIT-126)"
limitation = ""

[[item]]
id = "COV-ORBIT-114"
axis = "astrophysics"
item = "cosmological distances and times (comoving, luminosity and angular-diameter distance, lookback time, age)"
source = "Hogg 1999 (distance measures); Peacock ch.3"
status = "missing"
evidence = "恒星・銀河・宇宙論を扱う module は無い grep: lane_emden / friedmann / cosmolog / accretion / plummer_sphere / galax は src/ で 0 件 Fix128 の整数部は 2^63 ≈ 9.2e18 で止まるので SI では書けない量がある (1 Gpc ≈ 3.1e25 m)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-115"
axis = "astrophysics"
item = "linear growth of density perturbations (growth factor D(a)) (推測、優先度低)"
source = "Peebles 1980; Heath 1977"
status = "missing"
evidence = "恒星・銀河・宇宙論を扱う module は無い grep: lane_emden / friedmann / cosmolog / accretion / plummer_sphere / galax は src/ で 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-116"
axis = "astrophysics"
item = "Lane-Emden equation of polytropes (closed forms for n = 0, 1, 5; numerical for other n) and the polytropic mass-radius relation"
source = "Chandrasekhar, An Introduction to the Study of Stellar Structure ch.4; Kippenhahn-Weigert-Weiss ch.19"
status = "missing"
evidence = "恒星・銀河・宇宙論を扱う module は無い grep: lane_emden / friedmann / cosmolog / accretion / plummer_sphere / galax は src/ で 0 件 方程式は無次元で Fix128 の範囲に収まるが、物理量に戻すと太陽質量 ≈ 2.0e30 kg が 2^63 を超える (参照値要確認) 汎用の ODE の口は COV-NUM-045 (missing)"
oracle_candidate = "n = 1 の第 1 零点 xi_1 = pi (行 COV-ORBIT-125)"
limitation = ""

[[item]]
id = "COV-ORBIT-117"
axis = "astrophysics"
item = "stellar structure equations (hydrostatic equilibrium, mass continuity, energy generation, radiative and convective transport with an opacity law)"
source = "Kippenhahn-Weigert-Weiss, Stellar Structure and Evolution ch.1-10; MESA instrument papers"
status = "missing"
evidence = "恒星・銀河・宇宙論を扱う module は無い grep: lane_emden / friedmann / cosmolog / accretion / plummer_sphere / galax は src/ で 0 件 Fix128 の整数部は 2^63 ≈ 9.2e18 で止まるので SI では書けない量がある (太陽光度 ≈ 3.8e26 W、太陽質量、参照値要確認) 原子核の反応率は原子核の表の行"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-118"
axis = "astrophysics"
item = "virial theorem, dynamical and Kelvin-Helmholtz timescales, Jeans mass and length"
source = "Binney-Tremaine ch.4; Kippenhahn-Weigert-Weiss ch.3"
status = "missing"
evidence = "恒星・銀河・宇宙論を扱う module は無い grep: lane_emden / friedmann / cosmolog / accretion / plummer_sphere / galax は src/ で 0 件 Fix128 の整数部は 2^63 ≈ 9.2e18 で止まるので SI では書けない量がある (太陽の GM ≈ 1.327e20 m^3/s^2、参照値要確認)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-119"
axis = "astrophysics"
item = "degenerate stars: white-dwarf mass-radius relation and the Chandrasekhar limit"
source = "Chandrasekhar 1931; Shapiro-Teukolsky, Black Holes, White Dwarfs and Neutron Stars ch.3"
status = "missing"
evidence = "恒星・銀河・宇宙論を扱う module は無い grep: lane_emden / friedmann / cosmolog / accretion / plummer_sphere / galax は src/ で 0 件 縮退 Fermi 気体は量子の表 COV-QUANTUM-111 (missing) Fix128 の整数部は 2^63 ≈ 9.2e18 で止まるので SI では書けない量がある"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-120"
axis = "astrophysics"
item = "thin accretion disc: Shakura-Sunyaev alpha-disc steady structure (T proportional to r^(-3/4), disc luminosity) and the Eddington luminosity"
source = "Shakura-Sunyaev 1973; Frank-King-Raine, Accretion Power in Astrophysics ch.5"
status = "missing"
evidence = "恒星・銀河・宇宙論を扱う module は無い grep: lane_emden / friedmann / cosmolog / accretion / plummer_sphere / galax は src/ で 0 件 Fix128 の整数部は 2^63 ≈ 9.2e18 で止まるので SI では書けない量がある"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-121"
axis = "astrophysics"
item = "viscous evolution of an accretion disc (spreading ring, Lynden-Bell-Pringle Green's function)"
source = "Lynden-Bell-Pringle 1974; Pringle 1981"
status = "missing"
evidence = "恒星・銀河・宇宙論を扱う module は無い grep: lane_emden / friedmann / cosmolog / accretion / plummer_sphere / galax は src/ で 0 件"
oracle_candidate = "行 COV-ORBIT-128"
limitation = ""

[[item]]
id = "COV-ORBIT-122"
axis = "astrophysics"
item = "spherical accretion (Bondi) and the sonic point"
source = "Bondi 1952; Frank-King-Raine ch.2"
status = "missing"
evidence = "恒星・銀河・宇宙論を扱う module は無い grep: lane_emden / friedmann / cosmolog / accretion / plummer_sphere / galax は src/ で 0 件"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-123"
axis = "astrophysics"
item = "galactic potentials and rotation curves (Plummer, Hernquist, NFW, exponential disc) and the epicyclic frequency"
source = "Binney-Tremaine ch.2-3; Navarro-Frenk-White 1997"
status = "missing"
evidence = "恒星・銀河・宇宙論を扱う module は無い grep: lane_emden / friedmann / cosmolog / accretion / plummer_sphere / galax は src/ で 0 件 天体の表の重力は点質量・softening・一様球 (COV-ORBIT-093 missing) まで"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-124"
axis = "benchmark"
item = "Plummer sphere in virial equilibrium stays stationary (Lagrangian radii, virial ratio)"
source = "Plummer 1911; Aarseth-Hénon-Wielen 1974 (initial conditions)"
status = "missing"
evidence = "初期条件の生成と診断が無い 小さい N なら既存の直接和 COV-ORBIT-027 / 028 と leapfrog COV-ORBIT-034 で回せる (G = 1 の N 体単位)"
oracle_candidate = "virial 比 2T / |W| = 1 の保持"
limitation = ""

[[item]]
id = "COV-ORBIT-125"
axis = "benchmark"
item = "Lane-Emden first zeros: xi_1 = sqrt(6) for n = 0 and pi for n = 1"
source = "Chandrasekhar ch.4"
status = "missing"
evidence = "Lane-Emden が無い (行 COV-ORBIT-116)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-126"
axis = "benchmark"
item = "Einstein-de Sitter expansion a proportional to t^(2/3) and the age of a flat Lambda-CDM universe (参照値要確認)"
source = "Peacock ch.3"
status = "missing"
evidence = "Friedmann 方程式が無い (行 COV-ORBIT-113)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-127"
axis = "benchmark"
item = "Zel'dovich pancake collapse in a cosmological particle-mesh code"
source = "Zel'dovich 1970; Efstathiou et al. 1985"
status = "missing"
evidence = "宇宙論の N 体が無い (行 COV-ORBIT-112)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-128"
axis = "benchmark"
item = "spreading ring of a viscous disc against the Green's-function solution"
source = "Lynden-Bell-Pringle 1974"
status = "missing"
evidence = "円盤の粘性進化が無い (行 COV-ORBIT-121)"
oracle_candidate = ""
limitation = ""

[[item]]
id = "COV-ORBIT-129"
axis = "targeting"
item = "initial orbit determination from three position vectors (Gibbs, Herrick-Gibbs)"
source = "Vallado §7.3; Curtis ch.5"
status = "missing"
evidence = "COV-ORBIT-026 の子 src/ で gibbs の grep 0 件 (推測)"
oracle_candidate = "既知の軌道の 3 点から元の軌道要素"
limitation = ""

[[item]]
id = "COV-ORBIT-130"
axis = "targeting"
item = "angles-only initial orbit determination (Gauss)"
source = "Vallado §7.5; Curtis ch.5"
status = "missing"
evidence = "COV-ORBIT-026 の子 src/ で gauss angles の grep 0 件 (推測)"
oracle_candidate = "既知の軌道の 3 方向から元の軌道要素 (許容誤差)"
limitation = ""

[[item]]
id = "COV-ORBIT-131"
axis = "n-body integration"
item = "two-body regularisation (Kustaanheimo-Stiefel, Burdet-Sundman)"
source = "Stiefel-Scheifele, Linear and Regular Celestial Mechanics"
status = "missing"
evidence = "COV-ORBIT-043 の子 src/ で kustaanheimo / regulari の grep に軌道の該当なし"
oracle_candidate = "高離心率の 2 体で近点通過の誤差が正則化で下がる"
limitation = ""

[[item]]
id = "COV-ORBIT-132"
axis = "n-body integration"
item = "chain regularisation for close encounters of several bodies"
source = "Mikkola-Aarseth 1993"
status = "missing"
evidence = "COV-ORBIT-043 の子 同上"
oracle_candidate = "3 体の近接遭遇でエネルギー誤差が保たれる"
limitation = ""

[[item]]
id = "COV-ORBIT-133"
axis = "attitude"
item = "aerodynamic disturbance torque on a spacecraft"
source = "Wertz, Spacecraft Attitude Determination and Control ch.17"
status = "missing"
evidence = "COV-ORBIT-075 の子 src/ で該当なし"
oracle_candidate = "圧力中心と重心の差から T = r x F"
limitation = ""

[[item]]
id = "COV-ORBIT-134"
axis = "attitude"
item = "solar radiation pressure torque on a spacecraft"
source = "Wertz, Spacecraft Attitude Determination and Control ch.17"
status = "missing"
evidence = "COV-ORBIT-075 の子 src/ で該当なし"
oracle_candidate = "平板の SRP 力と腕の長さの積"
limitation = ""

[[item]]
id = "COV-ORBIT-135"
axis = "attitude"
item = "magnetic disturbance torque (residual dipole)"
source = "Wertz, Spacecraft Attitude Determination and Control ch.17"
status = "missing"
evidence = "COV-ORBIT-075 の子 src/ で該当なし (force の Magnetic 場は物体に力を掛ける近似で姿勢トルクではない)"
oracle_candidate = "T = m x B"
limitation = ""

[[item]]
id = "COV-ORBIT-136"
axis = "surface gravity"
item = "gravity inside a uniform sphere (g proportional to r, shell theorem)"
source = "shell theorem"
status = "missing"
evidence = "COV-ORBIT-093 の子 点質量と Plummer 球 (行 COV-ORBIT-028) のみ"
oracle_candidate = "g = G M r / R^3"
limitation = ""

[[item]]
id = "COV-ORBIT-137"
axis = "surface gravity"
item = "polyhedron gravity of an irregular body"
source = "Werner-Scheeres 1997"
status = "missing"
evidence = "COV-ORBIT-093 の子 同上"
oracle_candidate = "立方体の重力場を別の求積と突合"
limitation = ""

[[item]]
id = "COV-ORBIT-138"
axis = "surface gravity"
item = "mascon (point-mass ensemble) gravity"
source = "Muller-Sjogren 1968"
status = "missing"
evidence = "COV-ORBIT-093 の子 同上"
oracle_candidate = "遠方で全質量の点質量に一致"
limitation = ""