FAILURE MAP
← Case archive

FA-69646 / Orbital propagation / Open access

Hohmann transfer budget: Time of flight is a full transfer period · case 01

Arrival burns are scheduled at the departure point.

Verified by executionVariant 1 · 7 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

tof uses 2pi instead of pi.

VERIFIED REPAIR

Half the transfer period.

Unsuccessful approach: A quarter period arrives at the minor axis, not apoapsis.

Case contract

Input [r1, r2, mu] circular radii. Transfer a=(r1+r2)/2; burn 1 = |v_peri - v_circ1|, burn 2 = |v_circ2 - v_apo| using vis-viva at each end; time of flight is half the transfer period. Works inward (r2<r1) too. Return [dv1, dv2, total] rounded 6 and tof rounded 3.

Why this case matters

Orbit determination and mission planning chain many small conversions; one wrong branch or unit silently moves a spacecraft by kilometres.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json
import math
N = 1
observations = []
def solve(x):
    r1,r2,mu=x
    at=(r1+r2)/2
    v1=math.sqrt(mu/r1); v2=math.sqrt(mu/r2)
    vp=math.sqrt(mu*(2/r1-1/at)); va=math.sqrt(mu*(2/r2-1/at))
    dv1=abs(vp-v1); dv2=abs(v2-va)
    tof=2*math.pi*math.sqrt(at**3/mu)
    return [round(dv1,6),round(dv2,6),round(dv1+dv2,6),round(tof,3)]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('hohmann transfer budget [6678.0, 42164.0, 398600.4418]', [6678.0, 42164.0, 398600.4418], [2.425769, 1.466839, 3.892608, 18990.052]), ('hohmann transfer budget [42164.0, 6678.0, 398600.4418]', [42164.0, 6678.0, 398600.4418], [1.466839, 2.425769, 3.892608, 18990.052]), ('hohmann transfer budget [7000.0, 7500.0, 398600.4418]', [7000.0, 7500.0, 398600.4418], [0.129002, 0.126795, 0.255797, 3071.765]), ('hohmann transfer budget [1.0, 1.524, 1.0]', [1.0, 1.524, 1.0], [0.098912, 0.088971, 0.187883, 4.454]), ('hohmann transfer budget [1.0, 5.2, 1.0]', [1.0, 5.2, 1.0], [0.295152, 0.189461, 0.484614, 17.147]), ('hohmann transfer budget [6778.0, 6778.0, 398600.4418]', [6778.0, 6778.0, 398600.4418], [0.0, 0.0, 0.0, 2776.728]), ('hohmann transfer budget [10000.0, 7000.0, 398600.4418]', [10000.0, 7000.0, 398600.4418], [0.58409, 0.638791, 1.222881, 3899.504])], [('hohmann transfer budget [42164.0, 6678.0, 398600.4418]', [42164.0, 6678.0, 398600.4418], [1.466839, 2.425769, 3.892608, 18990.052]), ('hohmann transfer budget [1.0, 1.524, 1.0]', [1.0, 1.524, 1.0], [0.098912, 0.088971, 0.187883, 4.454]), ('hohmann transfer budget [1.0, 5.2, 1.0]', [1.0, 5.2, 1.0], [0.295152, 0.189461, 0.484614, 17.147]), ('hohmann transfer budget [6778.0, 6778.0, 398600.4418]', [6778.0, 6778.0, 398600.4418], [0.0, 0.0, 0.0, 2776.728]), ('hohmann transfer budget [10000.0, 7000.0, 398600.4418]', [10000.0, 7000.0, 398600.4418], [0.58409, 0.638791, 1.222881, 3899.504]), ('hohmann transfer budget [7000.0, 8000.0, 398600.4418]', [7000.0, 8000.0, 398600.4418], [0.247477, 0.239347, 0.486825, 3232.011]), ('hohmann transfer budget [8000.0, 7000.0, 398600.4418]', [8000.0, 7000.0, 398600.4418], [0.239347, 0.247477, 0.486825, 3232.011])], [('hohmann transfer budget [7000.0, 7500.0, 398600.4418]', [7000.0, 7500.0, 398600.4418], [0.129002, 0.126795, 0.255797, 3071.765]), ('hohmann transfer budget [10000.0, 7000.0, 398600.4418]', [10000.0, 7000.0, 398600.4418], [0.58409, 0.638791, 1.222881, 3899.504]), ('hohmann transfer budget [7000.0, 8000.0, 398600.4418]', [7000.0, 8000.0, 398600.4418], [0.247477, 0.239347, 0.486825, 3232.011]), ('hohmann transfer budget [8000.0, 7000.0, 398600.4418]', [8000.0, 7000.0, 398600.4418], [0.239347, 0.247477, 0.486825, 3232.011]), ('hohmann transfer budget [1.0, 1.2, 1.0]', [1.0, 1.2, 1.0], [0.044466, 0.042483, 0.086949, 3.624]), ('hohmann transfer budget [1.3, 1.0, 1.0]', [1.3, 1.0, 1.0], [0.059197, 0.063219, 0.122416, 3.874]), ('hohmann transfer budget [6778.0, 7178.0, 398600.4418]', [6778.0, 7178.0, 398600.4418], [0.109121, 0.107568, 0.216689, 2900.53])], [('hohmann transfer budget [1.0, 1.524, 1.0]', [1.0, 1.524, 1.0], [0.098912, 0.088971, 0.187883, 4.454]), ('hohmann transfer budget [1.0, 1.2, 1.0]', [1.0, 1.2, 1.0], [0.044466, 0.042483, 0.086949, 3.624]), ('hohmann transfer budget [1.3, 1.0, 1.0]', [1.3, 1.0, 1.0], [0.059197, 0.063219, 0.122416, 3.874]), ('hohmann transfer budget [6778.0, 7178.0, 398600.4418]', [6778.0, 7178.0, 398600.4418], [0.109121, 0.107568, 0.216689, 2900.53]), ('hohmann transfer budget [6678.0, 42164.0, 398600.4418]', [6678.0, 42164.0, 398600.4418], [2.425769, 1.466839, 3.892608, 18990.052]), ('hohmann transfer budget [42164.0, 6678.0, 398600.4418]', [42164.0, 6678.0, 398600.4418], [1.466839, 2.425769, 3.892608, 18990.052]), ('hohmann transfer budget [7000.0, 7500.0, 398600.4418]', [7000.0, 7500.0, 398600.4418], [0.129002, 0.126795, 0.255797, 3071.765])], [('hohmann transfer budget [1.0, 5.2, 1.0]', [1.0, 5.2, 1.0], [0.295152, 0.189461, 0.484614, 17.147]), ('hohmann transfer budget [6678.0, 42164.0, 398600.4418]', [6678.0, 42164.0, 398600.4418], [2.425769, 1.466839, 3.892608, 18990.052]), ('hohmann transfer budget [42164.0, 6678.0, 398600.4418]', [42164.0, 6678.0, 398600.4418], [1.466839, 2.425769, 3.892608, 18990.052]), ('hohmann transfer budget [7000.0, 7500.0, 398600.4418]', [7000.0, 7500.0, 398600.4418], [0.129002, 0.126795, 0.255797, 3071.765]), ('hohmann transfer budget [1.0, 1.524, 1.0]', [1.0, 1.524, 1.0], [0.098912, 0.088971, 0.187883, 4.454]), ('hohmann transfer budget [6778.0, 6778.0, 398600.4418]', [6778.0, 6778.0, 398600.4418], [0.0, 0.0, 0.0, 2776.728]), ('hohmann transfer budget [10000.0, 7000.0, 398600.4418]', [10000.0, 7000.0, 398600.4418], [0.58409, 0.638791, 1.222881, 3899.504])]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
hohmann transfer budget [6678.0, 42164.0, 398600.4418][2.425769, 1.466839, 3.892608, 37980.104][2.425769, 1.466839, 3.892608, 18990.052]Failed
hohmann transfer budget [42164.0, 6678.0, 398600.4418][1.466839, 2.425769, 3.892608, 37980.104][1.466839, 2.425769, 3.892608, 18990.052]Failed
hohmann transfer budget [7000.0, 7500.0, 398600.4418][0.129002, 0.126795, 0.255797, 6143.53][0.129002, 0.126795, 0.255797, 3071.765]Failed
hohmann transfer budget [1.0, 1.524, 1.0][0.098912, 0.088971, 0.187883, 8.908][0.098912, 0.088971, 0.187883, 4.454]Failed
hohmann transfer budget [1.0, 5.2, 1.0][0.295152, 0.189461, 0.484614, 34.294][0.295152, 0.189461, 0.484614, 17.147]Failed
hohmann transfer budget [6778.0, 6778.0, 398600.4418][0.0, 0.0, 0.0, 5553.456][0.0, 0.0, 0.0, 2776.728]Failed
hohmann transfer budget [10000.0, 7000.0, 398600.4418][0.58409, 0.638791, 1.222881, 7799.008][0.58409, 0.638791, 1.222881, 3899.504]Failed

SHA-256 / f719447fd8c1dc9690a6373679a2336dd96dc28429fa67cb77adece31f77c7ad

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json
import math
N = 1
observations = []
def solve(x):
    r1,r2,mu=x
    at=(r1+r2)/2
    v1=math.sqrt(mu/r1); v2=math.sqrt(mu/r2)
    vp=math.sqrt(mu*(2/r1-1/at)); va=math.sqrt(mu*(2/r2-1/at))
    dv1=abs(vp-v1); dv2=abs(v2-va)
    tof=math.pi*math.sqrt(at**3/mu)/2
    return [round(dv1,6),round(dv2,6),round(dv1+dv2,6),round(tof,3)]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('hohmann transfer budget [6678.0, 42164.0, 398600.4418]', [6678.0, 42164.0, 398600.4418], [2.425769, 1.466839, 3.892608, 18990.052]), ('hohmann transfer budget [42164.0, 6678.0, 398600.4418]', [42164.0, 6678.0, 398600.4418], [1.466839, 2.425769, 3.892608, 18990.052]), ('hohmann transfer budget [7000.0, 7500.0, 398600.4418]', [7000.0, 7500.0, 398600.4418], [0.129002, 0.126795, 0.255797, 3071.765]), ('hohmann transfer budget [1.0, 1.524, 1.0]', [1.0, 1.524, 1.0], [0.098912, 0.088971, 0.187883, 4.454]), ('hohmann transfer budget [1.0, 5.2, 1.0]', [1.0, 5.2, 1.0], [0.295152, 0.189461, 0.484614, 17.147]), ('hohmann transfer budget [6778.0, 6778.0, 398600.4418]', [6778.0, 6778.0, 398600.4418], [0.0, 0.0, 0.0, 2776.728]), ('hohmann transfer budget [10000.0, 7000.0, 398600.4418]', [10000.0, 7000.0, 398600.4418], [0.58409, 0.638791, 1.222881, 3899.504])], [('hohmann transfer budget [42164.0, 6678.0, 398600.4418]', [42164.0, 6678.0, 398600.4418], [1.466839, 2.425769, 3.892608, 18990.052]), ('hohmann transfer budget [1.0, 1.524, 1.0]', [1.0, 1.524, 1.0], [0.098912, 0.088971, 0.187883, 4.454]), ('hohmann transfer budget [1.0, 5.2, 1.0]', [1.0, 5.2, 1.0], [0.295152, 0.189461, 0.484614, 17.147]), ('hohmann transfer budget [6778.0, 6778.0, 398600.4418]', [6778.0, 6778.0, 398600.4418], [0.0, 0.0, 0.0, 2776.728]), ('hohmann transfer budget [10000.0, 7000.0, 398600.4418]', [10000.0, 7000.0, 398600.4418], [0.58409, 0.638791, 1.222881, 3899.504]), ('hohmann transfer budget [7000.0, 8000.0, 398600.4418]', [7000.0, 8000.0, 398600.4418], [0.247477, 0.239347, 0.486825, 3232.011]), ('hohmann transfer budget [8000.0, 7000.0, 398600.4418]', [8000.0, 7000.0, 398600.4418], [0.239347, 0.247477, 0.486825, 3232.011])], [('hohmann transfer budget [7000.0, 7500.0, 398600.4418]', [7000.0, 7500.0, 398600.4418], [0.129002, 0.126795, 0.255797, 3071.765]), ('hohmann transfer budget [10000.0, 7000.0, 398600.4418]', [10000.0, 7000.0, 398600.4418], [0.58409, 0.638791, 1.222881, 3899.504]), ('hohmann transfer budget [7000.0, 8000.0, 398600.4418]', [7000.0, 8000.0, 398600.4418], [0.247477, 0.239347, 0.486825, 3232.011]), ('hohmann transfer budget [8000.0, 7000.0, 398600.4418]', [8000.0, 7000.0, 398600.4418], [0.239347, 0.247477, 0.486825, 3232.011]), ('hohmann transfer budget [1.0, 1.2, 1.0]', [1.0, 1.2, 1.0], [0.044466, 0.042483, 0.086949, 3.624]), ('hohmann transfer budget [1.3, 1.0, 1.0]', [1.3, 1.0, 1.0], [0.059197, 0.063219, 0.122416, 3.874]), ('hohmann transfer budget [6778.0, 7178.0, 398600.4418]', [6778.0, 7178.0, 398600.4418], [0.109121, 0.107568, 0.216689, 2900.53])], [('hohmann transfer budget [1.0, 1.524, 1.0]', [1.0, 1.524, 1.0], [0.098912, 0.088971, 0.187883, 4.454]), ('hohmann transfer budget [1.0, 1.2, 1.0]', [1.0, 1.2, 1.0], [0.044466, 0.042483, 0.086949, 3.624]), ('hohmann transfer budget [1.3, 1.0, 1.0]', [1.3, 1.0, 1.0], [0.059197, 0.063219, 0.122416, 3.874]), ('hohmann transfer budget [6778.0, 7178.0, 398600.4418]', [6778.0, 7178.0, 398600.4418], [0.109121, 0.107568, 0.216689, 2900.53]), ('hohmann transfer budget [6678.0, 42164.0, 398600.4418]', [6678.0, 42164.0, 398600.4418], [2.425769, 1.466839, 3.892608, 18990.052]), ('hohmann transfer budget [42164.0, 6678.0, 398600.4418]', [42164.0, 6678.0, 398600.4418], [1.466839, 2.425769, 3.892608, 18990.052]), ('hohmann transfer budget [7000.0, 7500.0, 398600.4418]', [7000.0, 7500.0, 398600.4418], [0.129002, 0.126795, 0.255797, 3071.765])], [('hohmann transfer budget [1.0, 5.2, 1.0]', [1.0, 5.2, 1.0], [0.295152, 0.189461, 0.484614, 17.147]), ('hohmann transfer budget [6678.0, 42164.0, 398600.4418]', [6678.0, 42164.0, 398600.4418], [2.425769, 1.466839, 3.892608, 18990.052]), ('hohmann transfer budget [42164.0, 6678.0, 398600.4418]', [42164.0, 6678.0, 398600.4418], [1.466839, 2.425769, 3.892608, 18990.052]), ('hohmann transfer budget [7000.0, 7500.0, 398600.4418]', [7000.0, 7500.0, 398600.4418], [0.129002, 0.126795, 0.255797, 3071.765]), ('hohmann transfer budget [1.0, 1.524, 1.0]', [1.0, 1.524, 1.0], [0.098912, 0.088971, 0.187883, 4.454]), ('hohmann transfer budget [6778.0, 6778.0, 398600.4418]', [6778.0, 6778.0, 398600.4418], [0.0, 0.0, 0.0, 2776.728]), ('hohmann transfer budget [10000.0, 7000.0, 398600.4418]', [10000.0, 7000.0, 398600.4418], [0.58409, 0.638791, 1.222881, 3899.504])]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
hohmann transfer budget [6678.0, 42164.0, 398600.4418][2.425769, 1.466839, 3.892608, 9495.026][2.425769, 1.466839, 3.892608, 18990.052]Failed
hohmann transfer budget [42164.0, 6678.0, 398600.4418][1.466839, 2.425769, 3.892608, 9495.026][1.466839, 2.425769, 3.892608, 18990.052]Failed
hohmann transfer budget [7000.0, 7500.0, 398600.4418][0.129002, 0.126795, 0.255797, 1535.883][0.129002, 0.126795, 0.255797, 3071.765]Failed
hohmann transfer budget [1.0, 1.524, 1.0][0.098912, 0.088971, 0.187883, 2.227][0.098912, 0.088971, 0.187883, 4.454]Failed
hohmann transfer budget [1.0, 5.2, 1.0][0.295152, 0.189461, 0.484614, 8.574][0.295152, 0.189461, 0.484614, 17.147]Failed
hohmann transfer budget [6778.0, 6778.0, 398600.4418][0.0, 0.0, 0.0, 1388.364][0.0, 0.0, 0.0, 2776.728]Failed
hohmann transfer budget [10000.0, 7000.0, 398600.4418][0.58409, 0.638791, 1.222881, 1949.752][0.58409, 0.638791, 1.222881, 3899.504]Failed

SHA-256 / b9db01c95711c2537809d76ed47a260f3fa79b97514b88fe0054b3930ae4dbfc

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json
import math
N = 1
observations = []
def solve(x):
    r1,r2,mu=x
    at=(r1+r2)/2
    v1=math.sqrt(mu/r1); v2=math.sqrt(mu/r2)
    vp=math.sqrt(mu*(2/r1-1/at)); va=math.sqrt(mu*(2/r2-1/at))
    dv1=abs(vp-v1); dv2=abs(v2-va)
    tof=math.pi*math.sqrt(at**3/mu)
    return [round(dv1,6),round(dv2,6),round(dv1+dv2,6),round(tof,3)]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('hohmann transfer budget [6678.0, 42164.0, 398600.4418]', [6678.0, 42164.0, 398600.4418], [2.425769, 1.466839, 3.892608, 18990.052]), ('hohmann transfer budget [42164.0, 6678.0, 398600.4418]', [42164.0, 6678.0, 398600.4418], [1.466839, 2.425769, 3.892608, 18990.052]), ('hohmann transfer budget [7000.0, 7500.0, 398600.4418]', [7000.0, 7500.0, 398600.4418], [0.129002, 0.126795, 0.255797, 3071.765]), ('hohmann transfer budget [1.0, 1.524, 1.0]', [1.0, 1.524, 1.0], [0.098912, 0.088971, 0.187883, 4.454]), ('hohmann transfer budget [1.0, 5.2, 1.0]', [1.0, 5.2, 1.0], [0.295152, 0.189461, 0.484614, 17.147]), ('hohmann transfer budget [6778.0, 6778.0, 398600.4418]', [6778.0, 6778.0, 398600.4418], [0.0, 0.0, 0.0, 2776.728]), ('hohmann transfer budget [10000.0, 7000.0, 398600.4418]', [10000.0, 7000.0, 398600.4418], [0.58409, 0.638791, 1.222881, 3899.504])], [('hohmann transfer budget [42164.0, 6678.0, 398600.4418]', [42164.0, 6678.0, 398600.4418], [1.466839, 2.425769, 3.892608, 18990.052]), ('hohmann transfer budget [1.0, 1.524, 1.0]', [1.0, 1.524, 1.0], [0.098912, 0.088971, 0.187883, 4.454]), ('hohmann transfer budget [1.0, 5.2, 1.0]', [1.0, 5.2, 1.0], [0.295152, 0.189461, 0.484614, 17.147]), ('hohmann transfer budget [6778.0, 6778.0, 398600.4418]', [6778.0, 6778.0, 398600.4418], [0.0, 0.0, 0.0, 2776.728]), ('hohmann transfer budget [10000.0, 7000.0, 398600.4418]', [10000.0, 7000.0, 398600.4418], [0.58409, 0.638791, 1.222881, 3899.504]), ('hohmann transfer budget [7000.0, 8000.0, 398600.4418]', [7000.0, 8000.0, 398600.4418], [0.247477, 0.239347, 0.486825, 3232.011]), ('hohmann transfer budget [8000.0, 7000.0, 398600.4418]', [8000.0, 7000.0, 398600.4418], [0.239347, 0.247477, 0.486825, 3232.011])], [('hohmann transfer budget [7000.0, 7500.0, 398600.4418]', [7000.0, 7500.0, 398600.4418], [0.129002, 0.126795, 0.255797, 3071.765]), ('hohmann transfer budget [10000.0, 7000.0, 398600.4418]', [10000.0, 7000.0, 398600.4418], [0.58409, 0.638791, 1.222881, 3899.504]), ('hohmann transfer budget [7000.0, 8000.0, 398600.4418]', [7000.0, 8000.0, 398600.4418], [0.247477, 0.239347, 0.486825, 3232.011]), ('hohmann transfer budget [8000.0, 7000.0, 398600.4418]', [8000.0, 7000.0, 398600.4418], [0.239347, 0.247477, 0.486825, 3232.011]), ('hohmann transfer budget [1.0, 1.2, 1.0]', [1.0, 1.2, 1.0], [0.044466, 0.042483, 0.086949, 3.624]), ('hohmann transfer budget [1.3, 1.0, 1.0]', [1.3, 1.0, 1.0], [0.059197, 0.063219, 0.122416, 3.874]), ('hohmann transfer budget [6778.0, 7178.0, 398600.4418]', [6778.0, 7178.0, 398600.4418], [0.109121, 0.107568, 0.216689, 2900.53])], [('hohmann transfer budget [1.0, 1.524, 1.0]', [1.0, 1.524, 1.0], [0.098912, 0.088971, 0.187883, 4.454]), ('hohmann transfer budget [1.0, 1.2, 1.0]', [1.0, 1.2, 1.0], [0.044466, 0.042483, 0.086949, 3.624]), ('hohmann transfer budget [1.3, 1.0, 1.0]', [1.3, 1.0, 1.0], [0.059197, 0.063219, 0.122416, 3.874]), ('hohmann transfer budget [6778.0, 7178.0, 398600.4418]', [6778.0, 7178.0, 398600.4418], [0.109121, 0.107568, 0.216689, 2900.53]), ('hohmann transfer budget [6678.0, 42164.0, 398600.4418]', [6678.0, 42164.0, 398600.4418], [2.425769, 1.466839, 3.892608, 18990.052]), ('hohmann transfer budget [42164.0, 6678.0, 398600.4418]', [42164.0, 6678.0, 398600.4418], [1.466839, 2.425769, 3.892608, 18990.052]), ('hohmann transfer budget [7000.0, 7500.0, 398600.4418]', [7000.0, 7500.0, 398600.4418], [0.129002, 0.126795, 0.255797, 3071.765])], [('hohmann transfer budget [1.0, 5.2, 1.0]', [1.0, 5.2, 1.0], [0.295152, 0.189461, 0.484614, 17.147]), ('hohmann transfer budget [6678.0, 42164.0, 398600.4418]', [6678.0, 42164.0, 398600.4418], [2.425769, 1.466839, 3.892608, 18990.052]), ('hohmann transfer budget [42164.0, 6678.0, 398600.4418]', [42164.0, 6678.0, 398600.4418], [1.466839, 2.425769, 3.892608, 18990.052]), ('hohmann transfer budget [7000.0, 7500.0, 398600.4418]', [7000.0, 7500.0, 398600.4418], [0.129002, 0.126795, 0.255797, 3071.765]), ('hohmann transfer budget [1.0, 1.524, 1.0]', [1.0, 1.524, 1.0], [0.098912, 0.088971, 0.187883, 4.454]), ('hohmann transfer budget [6778.0, 6778.0, 398600.4418]', [6778.0, 6778.0, 398600.4418], [0.0, 0.0, 0.0, 2776.728]), ('hohmann transfer budget [10000.0, 7000.0, 398600.4418]', [10000.0, 7000.0, 398600.4418], [0.58409, 0.638791, 1.222881, 3899.504])]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
hohmann transfer budget [6678.0, 42164.0, 398600.4418][2.425769, 1.466839, 3.892608, 18990.052][2.425769, 1.466839, 3.892608, 18990.052]Passed
hohmann transfer budget [42164.0, 6678.0, 398600.4418][1.466839, 2.425769, 3.892608, 18990.052][1.466839, 2.425769, 3.892608, 18990.052]Passed
hohmann transfer budget [7000.0, 7500.0, 398600.4418][0.129002, 0.126795, 0.255797, 3071.765][0.129002, 0.126795, 0.255797, 3071.765]Passed
hohmann transfer budget [1.0, 1.524, 1.0][0.098912, 0.088971, 0.187883, 4.454][0.098912, 0.088971, 0.187883, 4.454]Passed
hohmann transfer budget [1.0, 5.2, 1.0][0.295152, 0.189461, 0.484614, 17.147][0.295152, 0.189461, 0.484614, 17.147]Passed
hohmann transfer budget [6778.0, 6778.0, 398600.4418][0.0, 0.0, 0.0, 2776.728][0.0, 0.0, 0.0, 2776.728]Passed
hohmann transfer budget [10000.0, 7000.0, 398600.4418][0.58409, 0.638791, 1.222881, 3899.504][0.58409, 0.638791, 1.222881, 3899.504]Passed

SHA-256 / 15a7ad378045a2d939ee0ad15577ef5cfae0e5aedd02ccb41e7f1c095391cb77

Verification & scope

A deterministic toy two-body model with stipulated constants and conventions; not flight dynamics software or a validated SGP4 implementation. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.

Observations recorded using Python 3.12.14 at 2026-09-29T14:48:13.284734+00:00.

Case digest / dbacdf351de54f327a7973b2de943f51be9c856336e47534fd168a463dcce255