FAILURE MAP
← Case archive

FA-55546 / Astronomical coordinate conventions / Open access

Aberration correction provenance: Diurnal aberration is skipped merely because annual aberration was applied · case 01

The adapter reports an incorrect diurnal only once while other fields remain valid.

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

ROOT CAUSE

Diurnal aberration is skipped merely because annual aberration was applied. Faulty expression: d['x']+d['d']

VERIFIED REPAIR

Preserve the declared model convention at this site: d['x'] if d['diurnal_done'] else d['x']+d['d']

Unsuccessful approach: A partial convention repair still uses d['x'] if d['annual_done'] else d['x']+d['d']

Case contract

Reduced astrometric place pipeline uses supplied additive corrections annual a, diurnal d, and deflection g. Catalog place x is uncorrected; geocentric apparent includes a+g; topocentric apparent additionally includes d. Inverse adapters must remove only corrections already included. No correction is physically calculated. Output fields are defined by: geocentric_apparent = d['x']+d['a']+d['g']; topocentric_apparent = d['x']+d['a']+d['g']+d['d']; annual_only_once = d['x'] if d['annual_done'] else d['x']+d['a']; diurnal_only_once = d['x'] if d['diurnal_done'] else d['x']+d['d']; catalog_from_geocentric = d['x']-d['a']-d['g']; geocentric_from_topocentric = d['x']-d['d']

Why this case matters

Catalog, detector, sky-coordinate, and spectroscopy adapters must preserve the association between numeric coordinates and their declared reference conventions.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    return {'geocentric_apparent': d['x']+d['a']+d['g'], 'topocentric_apparent': d['x']+d['a']+d['g']+d['d'], 'annual_only_once': d['x'] if d['annual_done'] else d['x']+d['a'], 'diurnal_only_once': d['x']+d['d'], 'catalog_from_geocentric': d['x']-d['a']-d['g'], 'geocentric_from_topocentric': d['x']-d['d']}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'x': 10, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 16, 'topocentric_apparent': 19, 'annual_only_once': 12, 'diurnal_only_once': 13, 'catalog_from_geocentric': 4, 'geocentric_from_topocentric': 7}), ({'x': 10, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': False}, {'geocentric_apparent': 16, 'topocentric_apparent': 19, 'annual_only_once': 10, 'diurnal_only_once': 13, 'catalog_from_geocentric': 4, 'geocentric_from_topocentric': 7}), ({'x': 10, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': True}, {'geocentric_apparent': 16, 'topocentric_apparent': 19, 'annual_only_once': 12, 'diurnal_only_once': 10, 'catalog_from_geocentric': 4, 'geocentric_from_topocentric': 7}), ({'x': 10, 'a': 0, 'd': 0, 'g': 0, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 10, 'topocentric_apparent': 10, 'annual_only_once': 10, 'diurnal_only_once': 10, 'catalog_from_geocentric': 10, 'geocentric_from_topocentric': 10}), ({'x': 10, 'a': -2, 'd': -1, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 12, 'topocentric_apparent': 11, 'annual_only_once': 8, 'diurnal_only_once': 9, 'catalog_from_geocentric': 8, 'geocentric_from_topocentric': 11}), ({'x': 10, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': True}, {'geocentric_apparent': 16, 'topocentric_apparent': 19, 'annual_only_once': 10, 'diurnal_only_once': 10, 'catalog_from_geocentric': 4, 'geocentric_from_topocentric': 7})], 2: [({'x': 11, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 17, 'topocentric_apparent': 20, 'annual_only_once': 13, 'diurnal_only_once': 14, 'catalog_from_geocentric': 5, 'geocentric_from_topocentric': 8}), ({'x': 11, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': False}, {'geocentric_apparent': 17, 'topocentric_apparent': 20, 'annual_only_once': 11, 'diurnal_only_once': 14, 'catalog_from_geocentric': 5, 'geocentric_from_topocentric': 8}), ({'x': 11, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': True}, {'geocentric_apparent': 17, 'topocentric_apparent': 20, 'annual_only_once': 13, 'diurnal_only_once': 11, 'catalog_from_geocentric': 5, 'geocentric_from_topocentric': 8}), ({'x': 11, 'a': 0, 'd': 0, 'g': 0, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 11, 'topocentric_apparent': 11, 'annual_only_once': 11, 'diurnal_only_once': 11, 'catalog_from_geocentric': 11, 'geocentric_from_topocentric': 11}), ({'x': 11, 'a': -2, 'd': -1, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 13, 'topocentric_apparent': 12, 'annual_only_once': 9, 'diurnal_only_once': 10, 'catalog_from_geocentric': 9, 'geocentric_from_topocentric': 12}), ({'x': 11, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': True}, {'geocentric_apparent': 17, 'topocentric_apparent': 20, 'annual_only_once': 11, 'diurnal_only_once': 11, 'catalog_from_geocentric': 5, 'geocentric_from_topocentric': 8})], 3: [({'x': 12, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 18, 'topocentric_apparent': 21, 'annual_only_once': 14, 'diurnal_only_once': 15, 'catalog_from_geocentric': 6, 'geocentric_from_topocentric': 9}), ({'x': 12, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': False}, {'geocentric_apparent': 18, 'topocentric_apparent': 21, 'annual_only_once': 12, 'diurnal_only_once': 15, 'catalog_from_geocentric': 6, 'geocentric_from_topocentric': 9}), ({'x': 12, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': True}, {'geocentric_apparent': 18, 'topocentric_apparent': 21, 'annual_only_once': 14, 'diurnal_only_once': 12, 'catalog_from_geocentric': 6, 'geocentric_from_topocentric': 9}), ({'x': 12, 'a': 0, 'd': 0, 'g': 0, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 12, 'topocentric_apparent': 12, 'annual_only_once': 12, 'diurnal_only_once': 12, 'catalog_from_geocentric': 12, 'geocentric_from_topocentric': 12}), ({'x': 12, 'a': -2, 'd': -1, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 14, 'topocentric_apparent': 13, 'annual_only_once': 10, 'diurnal_only_once': 11, 'catalog_from_geocentric': 10, 'geocentric_from_topocentric': 13}), ({'x': 12, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': True}, {'geocentric_apparent': 18, 'topocentric_apparent': 21, 'annual_only_once': 12, 'diurnal_only_once': 12, 'catalog_from_geocentric': 6, 'geocentric_from_topocentric': 9})], 4: [({'x': 13, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 19, 'topocentric_apparent': 22, 'annual_only_once': 15, 'diurnal_only_once': 16, 'catalog_from_geocentric': 7, 'geocentric_from_topocentric': 10}), ({'x': 13, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': False}, {'geocentric_apparent': 19, 'topocentric_apparent': 22, 'annual_only_once': 13, 'diurnal_only_once': 16, 'catalog_from_geocentric': 7, 'geocentric_from_topocentric': 10}), ({'x': 13, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': True}, {'geocentric_apparent': 19, 'topocentric_apparent': 22, 'annual_only_once': 15, 'diurnal_only_once': 13, 'catalog_from_geocentric': 7, 'geocentric_from_topocentric': 10}), ({'x': 13, 'a': 0, 'd': 0, 'g': 0, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 13, 'topocentric_apparent': 13, 'annual_only_once': 13, 'diurnal_only_once': 13, 'catalog_from_geocentric': 13, 'geocentric_from_topocentric': 13}), ({'x': 13, 'a': -2, 'd': -1, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 15, 'topocentric_apparent': 14, 'annual_only_once': 11, 'diurnal_only_once': 12, 'catalog_from_geocentric': 11, 'geocentric_from_topocentric': 14}), ({'x': 13, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': True}, {'geocentric_apparent': 19, 'topocentric_apparent': 22, 'annual_only_once': 13, 'diurnal_only_once': 13, 'catalog_from_geocentric': 7, 'geocentric_from_topocentric': 10})], 5: [({'x': 14, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 20, 'topocentric_apparent': 23, 'annual_only_once': 16, 'diurnal_only_once': 17, 'catalog_from_geocentric': 8, 'geocentric_from_topocentric': 11}), ({'x': 14, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': False}, {'geocentric_apparent': 20, 'topocentric_apparent': 23, 'annual_only_once': 14, 'diurnal_only_once': 17, 'catalog_from_geocentric': 8, 'geocentric_from_topocentric': 11}), ({'x': 14, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': True}, {'geocentric_apparent': 20, 'topocentric_apparent': 23, 'annual_only_once': 16, 'diurnal_only_once': 14, 'catalog_from_geocentric': 8, 'geocentric_from_topocentric': 11}), ({'x': 14, 'a': 0, 'd': 0, 'g': 0, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 14, 'topocentric_apparent': 14, 'annual_only_once': 14, 'diurnal_only_once': 14, 'catalog_from_geocentric': 14, 'geocentric_from_topocentric': 14}), ({'x': 14, 'a': -2, 'd': -1, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 16, 'topocentric_apparent': 15, 'annual_only_once': 12, 'diurnal_only_once': 13, 'catalog_from_geocentric': 12, 'geocentric_from_topocentric': 15}), ({'x': 14, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': True}, {'geocentric_apparent': 20, 'topocentric_apparent': 23, 'annual_only_once': 14, 'diurnal_only_once': 14, 'catalog_from_geocentric': 8, 'geocentric_from_topocentric': 11})]}
for i, (record, expected) in enumerate(fixtures[N]):
    check('astronomical fixture %s' % i, solve(record), 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
astronomical fixture 0{'annual_only_once': 12, 'catalog_from_geocentric': 4, 'diurnal_only_once': 13, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}{'annual_only_once': 12, 'catalog_from_geocentric': 4, 'diurnal_only_once': 13, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}Passed
astronomical fixture 1{'annual_only_once': 10, 'catalog_from_geocentric': 4, 'diurnal_only_once': 13, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}{'annual_only_once': 10, 'catalog_from_geocentric': 4, 'diurnal_only_once': 13, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}Passed
astronomical fixture 2{'annual_only_once': 12, 'catalog_from_geocentric': 4, 'diurnal_only_once': 13, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}{'annual_only_once': 12, 'catalog_from_geocentric': 4, 'diurnal_only_once': 10, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}Failed
astronomical fixture 3{'annual_only_once': 10, 'catalog_from_geocentric': 10, 'diurnal_only_once': 10, 'geocentric_apparent': 10, 'geocentric_from_topocentric': 10, 'topocentric_apparent': 10}{'annual_only_once': 10, 'catalog_from_geocentric': 10, 'diurnal_only_once': 10, 'geocentric_apparent': 10, 'geocentric_from_topocentric': 10, 'topocentric_apparent': 10}Passed
astronomical fixture 4{'annual_only_once': 8, 'catalog_from_geocentric': 8, 'diurnal_only_once': 9, 'geocentric_apparent': 12, 'geocentric_from_topocentric': 11, 'topocentric_apparent': 11}{'annual_only_once': 8, 'catalog_from_geocentric': 8, 'diurnal_only_once': 9, 'geocentric_apparent': 12, 'geocentric_from_topocentric': 11, 'topocentric_apparent': 11}Passed
astronomical fixture 5{'annual_only_once': 10, 'catalog_from_geocentric': 4, 'diurnal_only_once': 13, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}{'annual_only_once': 10, 'catalog_from_geocentric': 4, 'diurnal_only_once': 10, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}Failed

SHA-256 / 5f442af72a96fb1201b3a2275de7586e6354dcbb9b35a2f713c2ab9652853609

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    return {'geocentric_apparent': d['x']+d['a']+d['g'], 'topocentric_apparent': d['x']+d['a']+d['g']+d['d'], 'annual_only_once': d['x'] if d['annual_done'] else d['x']+d['a'], 'diurnal_only_once': d['x'] if d['annual_done'] else d['x']+d['d'], 'catalog_from_geocentric': d['x']-d['a']-d['g'], 'geocentric_from_topocentric': d['x']-d['d']}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'x': 10, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 16, 'topocentric_apparent': 19, 'annual_only_once': 12, 'diurnal_only_once': 13, 'catalog_from_geocentric': 4, 'geocentric_from_topocentric': 7}), ({'x': 10, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': False}, {'geocentric_apparent': 16, 'topocentric_apparent': 19, 'annual_only_once': 10, 'diurnal_only_once': 13, 'catalog_from_geocentric': 4, 'geocentric_from_topocentric': 7}), ({'x': 10, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': True}, {'geocentric_apparent': 16, 'topocentric_apparent': 19, 'annual_only_once': 12, 'diurnal_only_once': 10, 'catalog_from_geocentric': 4, 'geocentric_from_topocentric': 7}), ({'x': 10, 'a': 0, 'd': 0, 'g': 0, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 10, 'topocentric_apparent': 10, 'annual_only_once': 10, 'diurnal_only_once': 10, 'catalog_from_geocentric': 10, 'geocentric_from_topocentric': 10}), ({'x': 10, 'a': -2, 'd': -1, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 12, 'topocentric_apparent': 11, 'annual_only_once': 8, 'diurnal_only_once': 9, 'catalog_from_geocentric': 8, 'geocentric_from_topocentric': 11}), ({'x': 10, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': True}, {'geocentric_apparent': 16, 'topocentric_apparent': 19, 'annual_only_once': 10, 'diurnal_only_once': 10, 'catalog_from_geocentric': 4, 'geocentric_from_topocentric': 7})], 2: [({'x': 11, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 17, 'topocentric_apparent': 20, 'annual_only_once': 13, 'diurnal_only_once': 14, 'catalog_from_geocentric': 5, 'geocentric_from_topocentric': 8}), ({'x': 11, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': False}, {'geocentric_apparent': 17, 'topocentric_apparent': 20, 'annual_only_once': 11, 'diurnal_only_once': 14, 'catalog_from_geocentric': 5, 'geocentric_from_topocentric': 8}), ({'x': 11, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': True}, {'geocentric_apparent': 17, 'topocentric_apparent': 20, 'annual_only_once': 13, 'diurnal_only_once': 11, 'catalog_from_geocentric': 5, 'geocentric_from_topocentric': 8}), ({'x': 11, 'a': 0, 'd': 0, 'g': 0, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 11, 'topocentric_apparent': 11, 'annual_only_once': 11, 'diurnal_only_once': 11, 'catalog_from_geocentric': 11, 'geocentric_from_topocentric': 11}), ({'x': 11, 'a': -2, 'd': -1, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 13, 'topocentric_apparent': 12, 'annual_only_once': 9, 'diurnal_only_once': 10, 'catalog_from_geocentric': 9, 'geocentric_from_topocentric': 12}), ({'x': 11, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': True}, {'geocentric_apparent': 17, 'topocentric_apparent': 20, 'annual_only_once': 11, 'diurnal_only_once': 11, 'catalog_from_geocentric': 5, 'geocentric_from_topocentric': 8})], 3: [({'x': 12, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 18, 'topocentric_apparent': 21, 'annual_only_once': 14, 'diurnal_only_once': 15, 'catalog_from_geocentric': 6, 'geocentric_from_topocentric': 9}), ({'x': 12, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': False}, {'geocentric_apparent': 18, 'topocentric_apparent': 21, 'annual_only_once': 12, 'diurnal_only_once': 15, 'catalog_from_geocentric': 6, 'geocentric_from_topocentric': 9}), ({'x': 12, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': True}, {'geocentric_apparent': 18, 'topocentric_apparent': 21, 'annual_only_once': 14, 'diurnal_only_once': 12, 'catalog_from_geocentric': 6, 'geocentric_from_topocentric': 9}), ({'x': 12, 'a': 0, 'd': 0, 'g': 0, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 12, 'topocentric_apparent': 12, 'annual_only_once': 12, 'diurnal_only_once': 12, 'catalog_from_geocentric': 12, 'geocentric_from_topocentric': 12}), ({'x': 12, 'a': -2, 'd': -1, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 14, 'topocentric_apparent': 13, 'annual_only_once': 10, 'diurnal_only_once': 11, 'catalog_from_geocentric': 10, 'geocentric_from_topocentric': 13}), ({'x': 12, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': True}, {'geocentric_apparent': 18, 'topocentric_apparent': 21, 'annual_only_once': 12, 'diurnal_only_once': 12, 'catalog_from_geocentric': 6, 'geocentric_from_topocentric': 9})], 4: [({'x': 13, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 19, 'topocentric_apparent': 22, 'annual_only_once': 15, 'diurnal_only_once': 16, 'catalog_from_geocentric': 7, 'geocentric_from_topocentric': 10}), ({'x': 13, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': False}, {'geocentric_apparent': 19, 'topocentric_apparent': 22, 'annual_only_once': 13, 'diurnal_only_once': 16, 'catalog_from_geocentric': 7, 'geocentric_from_topocentric': 10}), ({'x': 13, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': True}, {'geocentric_apparent': 19, 'topocentric_apparent': 22, 'annual_only_once': 15, 'diurnal_only_once': 13, 'catalog_from_geocentric': 7, 'geocentric_from_topocentric': 10}), ({'x': 13, 'a': 0, 'd': 0, 'g': 0, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 13, 'topocentric_apparent': 13, 'annual_only_once': 13, 'diurnal_only_once': 13, 'catalog_from_geocentric': 13, 'geocentric_from_topocentric': 13}), ({'x': 13, 'a': -2, 'd': -1, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 15, 'topocentric_apparent': 14, 'annual_only_once': 11, 'diurnal_only_once': 12, 'catalog_from_geocentric': 11, 'geocentric_from_topocentric': 14}), ({'x': 13, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': True}, {'geocentric_apparent': 19, 'topocentric_apparent': 22, 'annual_only_once': 13, 'diurnal_only_once': 13, 'catalog_from_geocentric': 7, 'geocentric_from_topocentric': 10})], 5: [({'x': 14, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 20, 'topocentric_apparent': 23, 'annual_only_once': 16, 'diurnal_only_once': 17, 'catalog_from_geocentric': 8, 'geocentric_from_topocentric': 11}), ({'x': 14, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': False}, {'geocentric_apparent': 20, 'topocentric_apparent': 23, 'annual_only_once': 14, 'diurnal_only_once': 17, 'catalog_from_geocentric': 8, 'geocentric_from_topocentric': 11}), ({'x': 14, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': True}, {'geocentric_apparent': 20, 'topocentric_apparent': 23, 'annual_only_once': 16, 'diurnal_only_once': 14, 'catalog_from_geocentric': 8, 'geocentric_from_topocentric': 11}), ({'x': 14, 'a': 0, 'd': 0, 'g': 0, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 14, 'topocentric_apparent': 14, 'annual_only_once': 14, 'diurnal_only_once': 14, 'catalog_from_geocentric': 14, 'geocentric_from_topocentric': 14}), ({'x': 14, 'a': -2, 'd': -1, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 16, 'topocentric_apparent': 15, 'annual_only_once': 12, 'diurnal_only_once': 13, 'catalog_from_geocentric': 12, 'geocentric_from_topocentric': 15}), ({'x': 14, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': True}, {'geocentric_apparent': 20, 'topocentric_apparent': 23, 'annual_only_once': 14, 'diurnal_only_once': 14, 'catalog_from_geocentric': 8, 'geocentric_from_topocentric': 11})]}
for i, (record, expected) in enumerate(fixtures[N]):
    check('astronomical fixture %s' % i, solve(record), 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
astronomical fixture 0{'annual_only_once': 12, 'catalog_from_geocentric': 4, 'diurnal_only_once': 13, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}{'annual_only_once': 12, 'catalog_from_geocentric': 4, 'diurnal_only_once': 13, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}Passed
astronomical fixture 1{'annual_only_once': 10, 'catalog_from_geocentric': 4, 'diurnal_only_once': 10, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}{'annual_only_once': 10, 'catalog_from_geocentric': 4, 'diurnal_only_once': 13, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}Failed
astronomical fixture 2{'annual_only_once': 12, 'catalog_from_geocentric': 4, 'diurnal_only_once': 13, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}{'annual_only_once': 12, 'catalog_from_geocentric': 4, 'diurnal_only_once': 10, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}Failed
astronomical fixture 3{'annual_only_once': 10, 'catalog_from_geocentric': 10, 'diurnal_only_once': 10, 'geocentric_apparent': 10, 'geocentric_from_topocentric': 10, 'topocentric_apparent': 10}{'annual_only_once': 10, 'catalog_from_geocentric': 10, 'diurnal_only_once': 10, 'geocentric_apparent': 10, 'geocentric_from_topocentric': 10, 'topocentric_apparent': 10}Passed
astronomical fixture 4{'annual_only_once': 8, 'catalog_from_geocentric': 8, 'diurnal_only_once': 9, 'geocentric_apparent': 12, 'geocentric_from_topocentric': 11, 'topocentric_apparent': 11}{'annual_only_once': 8, 'catalog_from_geocentric': 8, 'diurnal_only_once': 9, 'geocentric_apparent': 12, 'geocentric_from_topocentric': 11, 'topocentric_apparent': 11}Passed
astronomical fixture 5{'annual_only_once': 10, 'catalog_from_geocentric': 4, 'diurnal_only_once': 10, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}{'annual_only_once': 10, 'catalog_from_geocentric': 4, 'diurnal_only_once': 10, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}Passed

SHA-256 / 25225c193c45c9a7a909c3e1f016a2f3b7c876af1b4e9b6115be53eae8968602

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    return {'geocentric_apparent': d['x']+d['a']+d['g'], 'topocentric_apparent': d['x']+d['a']+d['g']+d['d'], 'annual_only_once': d['x'] if d['annual_done'] else d['x']+d['a'], 'diurnal_only_once': d['x'] if d['diurnal_done'] else d['x']+d['d'], 'catalog_from_geocentric': d['x']-d['a']-d['g'], 'geocentric_from_topocentric': d['x']-d['d']}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'x': 10, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 16, 'topocentric_apparent': 19, 'annual_only_once': 12, 'diurnal_only_once': 13, 'catalog_from_geocentric': 4, 'geocentric_from_topocentric': 7}), ({'x': 10, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': False}, {'geocentric_apparent': 16, 'topocentric_apparent': 19, 'annual_only_once': 10, 'diurnal_only_once': 13, 'catalog_from_geocentric': 4, 'geocentric_from_topocentric': 7}), ({'x': 10, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': True}, {'geocentric_apparent': 16, 'topocentric_apparent': 19, 'annual_only_once': 12, 'diurnal_only_once': 10, 'catalog_from_geocentric': 4, 'geocentric_from_topocentric': 7}), ({'x': 10, 'a': 0, 'd': 0, 'g': 0, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 10, 'topocentric_apparent': 10, 'annual_only_once': 10, 'diurnal_only_once': 10, 'catalog_from_geocentric': 10, 'geocentric_from_topocentric': 10}), ({'x': 10, 'a': -2, 'd': -1, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 12, 'topocentric_apparent': 11, 'annual_only_once': 8, 'diurnal_only_once': 9, 'catalog_from_geocentric': 8, 'geocentric_from_topocentric': 11}), ({'x': 10, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': True}, {'geocentric_apparent': 16, 'topocentric_apparent': 19, 'annual_only_once': 10, 'diurnal_only_once': 10, 'catalog_from_geocentric': 4, 'geocentric_from_topocentric': 7})], 2: [({'x': 11, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 17, 'topocentric_apparent': 20, 'annual_only_once': 13, 'diurnal_only_once': 14, 'catalog_from_geocentric': 5, 'geocentric_from_topocentric': 8}), ({'x': 11, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': False}, {'geocentric_apparent': 17, 'topocentric_apparent': 20, 'annual_only_once': 11, 'diurnal_only_once': 14, 'catalog_from_geocentric': 5, 'geocentric_from_topocentric': 8}), ({'x': 11, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': True}, {'geocentric_apparent': 17, 'topocentric_apparent': 20, 'annual_only_once': 13, 'diurnal_only_once': 11, 'catalog_from_geocentric': 5, 'geocentric_from_topocentric': 8}), ({'x': 11, 'a': 0, 'd': 0, 'g': 0, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 11, 'topocentric_apparent': 11, 'annual_only_once': 11, 'diurnal_only_once': 11, 'catalog_from_geocentric': 11, 'geocentric_from_topocentric': 11}), ({'x': 11, 'a': -2, 'd': -1, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 13, 'topocentric_apparent': 12, 'annual_only_once': 9, 'diurnal_only_once': 10, 'catalog_from_geocentric': 9, 'geocentric_from_topocentric': 12}), ({'x': 11, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': True}, {'geocentric_apparent': 17, 'topocentric_apparent': 20, 'annual_only_once': 11, 'diurnal_only_once': 11, 'catalog_from_geocentric': 5, 'geocentric_from_topocentric': 8})], 3: [({'x': 12, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 18, 'topocentric_apparent': 21, 'annual_only_once': 14, 'diurnal_only_once': 15, 'catalog_from_geocentric': 6, 'geocentric_from_topocentric': 9}), ({'x': 12, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': False}, {'geocentric_apparent': 18, 'topocentric_apparent': 21, 'annual_only_once': 12, 'diurnal_only_once': 15, 'catalog_from_geocentric': 6, 'geocentric_from_topocentric': 9}), ({'x': 12, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': True}, {'geocentric_apparent': 18, 'topocentric_apparent': 21, 'annual_only_once': 14, 'diurnal_only_once': 12, 'catalog_from_geocentric': 6, 'geocentric_from_topocentric': 9}), ({'x': 12, 'a': 0, 'd': 0, 'g': 0, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 12, 'topocentric_apparent': 12, 'annual_only_once': 12, 'diurnal_only_once': 12, 'catalog_from_geocentric': 12, 'geocentric_from_topocentric': 12}), ({'x': 12, 'a': -2, 'd': -1, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 14, 'topocentric_apparent': 13, 'annual_only_once': 10, 'diurnal_only_once': 11, 'catalog_from_geocentric': 10, 'geocentric_from_topocentric': 13}), ({'x': 12, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': True}, {'geocentric_apparent': 18, 'topocentric_apparent': 21, 'annual_only_once': 12, 'diurnal_only_once': 12, 'catalog_from_geocentric': 6, 'geocentric_from_topocentric': 9})], 4: [({'x': 13, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 19, 'topocentric_apparent': 22, 'annual_only_once': 15, 'diurnal_only_once': 16, 'catalog_from_geocentric': 7, 'geocentric_from_topocentric': 10}), ({'x': 13, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': False}, {'geocentric_apparent': 19, 'topocentric_apparent': 22, 'annual_only_once': 13, 'diurnal_only_once': 16, 'catalog_from_geocentric': 7, 'geocentric_from_topocentric': 10}), ({'x': 13, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': True}, {'geocentric_apparent': 19, 'topocentric_apparent': 22, 'annual_only_once': 15, 'diurnal_only_once': 13, 'catalog_from_geocentric': 7, 'geocentric_from_topocentric': 10}), ({'x': 13, 'a': 0, 'd': 0, 'g': 0, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 13, 'topocentric_apparent': 13, 'annual_only_once': 13, 'diurnal_only_once': 13, 'catalog_from_geocentric': 13, 'geocentric_from_topocentric': 13}), ({'x': 13, 'a': -2, 'd': -1, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 15, 'topocentric_apparent': 14, 'annual_only_once': 11, 'diurnal_only_once': 12, 'catalog_from_geocentric': 11, 'geocentric_from_topocentric': 14}), ({'x': 13, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': True}, {'geocentric_apparent': 19, 'topocentric_apparent': 22, 'annual_only_once': 13, 'diurnal_only_once': 13, 'catalog_from_geocentric': 7, 'geocentric_from_topocentric': 10})], 5: [({'x': 14, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 20, 'topocentric_apparent': 23, 'annual_only_once': 16, 'diurnal_only_once': 17, 'catalog_from_geocentric': 8, 'geocentric_from_topocentric': 11}), ({'x': 14, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': False}, {'geocentric_apparent': 20, 'topocentric_apparent': 23, 'annual_only_once': 14, 'diurnal_only_once': 17, 'catalog_from_geocentric': 8, 'geocentric_from_topocentric': 11}), ({'x': 14, 'a': 2, 'd': 3, 'g': 4, 'annual_done': False, 'diurnal_done': True}, {'geocentric_apparent': 20, 'topocentric_apparent': 23, 'annual_only_once': 16, 'diurnal_only_once': 14, 'catalog_from_geocentric': 8, 'geocentric_from_topocentric': 11}), ({'x': 14, 'a': 0, 'd': 0, 'g': 0, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 14, 'topocentric_apparent': 14, 'annual_only_once': 14, 'diurnal_only_once': 14, 'catalog_from_geocentric': 14, 'geocentric_from_topocentric': 14}), ({'x': 14, 'a': -2, 'd': -1, 'g': 4, 'annual_done': False, 'diurnal_done': False}, {'geocentric_apparent': 16, 'topocentric_apparent': 15, 'annual_only_once': 12, 'diurnal_only_once': 13, 'catalog_from_geocentric': 12, 'geocentric_from_topocentric': 15}), ({'x': 14, 'a': 2, 'd': 3, 'g': 4, 'annual_done': True, 'diurnal_done': True}, {'geocentric_apparent': 20, 'topocentric_apparent': 23, 'annual_only_once': 14, 'diurnal_only_once': 14, 'catalog_from_geocentric': 8, 'geocentric_from_topocentric': 11})]}
for i, (record, expected) in enumerate(fixtures[N]):
    check('astronomical fixture %s' % i, solve(record), 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
astronomical fixture 0{'annual_only_once': 12, 'catalog_from_geocentric': 4, 'diurnal_only_once': 13, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}{'annual_only_once': 12, 'catalog_from_geocentric': 4, 'diurnal_only_once': 13, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}Passed
astronomical fixture 1{'annual_only_once': 10, 'catalog_from_geocentric': 4, 'diurnal_only_once': 13, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}{'annual_only_once': 10, 'catalog_from_geocentric': 4, 'diurnal_only_once': 13, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}Passed
astronomical fixture 2{'annual_only_once': 12, 'catalog_from_geocentric': 4, 'diurnal_only_once': 10, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}{'annual_only_once': 12, 'catalog_from_geocentric': 4, 'diurnal_only_once': 10, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}Passed
astronomical fixture 3{'annual_only_once': 10, 'catalog_from_geocentric': 10, 'diurnal_only_once': 10, 'geocentric_apparent': 10, 'geocentric_from_topocentric': 10, 'topocentric_apparent': 10}{'annual_only_once': 10, 'catalog_from_geocentric': 10, 'diurnal_only_once': 10, 'geocentric_apparent': 10, 'geocentric_from_topocentric': 10, 'topocentric_apparent': 10}Passed
astronomical fixture 4{'annual_only_once': 8, 'catalog_from_geocentric': 8, 'diurnal_only_once': 9, 'geocentric_apparent': 12, 'geocentric_from_topocentric': 11, 'topocentric_apparent': 11}{'annual_only_once': 8, 'catalog_from_geocentric': 8, 'diurnal_only_once': 9, 'geocentric_apparent': 12, 'geocentric_from_topocentric': 11, 'topocentric_apparent': 11}Passed
astronomical fixture 5{'annual_only_once': 10, 'catalog_from_geocentric': 4, 'diurnal_only_once': 10, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}{'annual_only_once': 10, 'catalog_from_geocentric': 4, 'diurnal_only_once': 10, 'geocentric_apparent': 16, 'geocentric_from_topocentric': 7, 'topocentric_apparent': 19}Passed

SHA-256 / 43f12ccc8e5632080a2f7a1267e2ecb0b09cb4e88e976f063d20f415739b8971

Verification & scope

Explicitly stipulated finite algebraic adapter; no standards conformance, physical accuracy, or production-library claim. Inputs are the documented finite valid model domain. 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:45:58.823288+00:00.

Case digest / a064bde71db84ba250c546e5fb12860e55779d814864d2f296a507617b2be04f