FAILURE MAP
← Case archive

FA-55538 / Astronomical coordinate conventions / Member archive

Aberration correction provenance: Topocentric apparent place omits one supplied physical correction · case 03

The adapter reports an incorrect topocentric apparent while other fields remain valid.

Member previewVariant 3 · 3 implementations · 6 checks per implementation

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.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixtureActualExpectedOutcome
astronomical fixture 0{"annual_only_once": 14, "catalog_from_geocentric": 6, "diurnal_only_once": 15, "geocentric_apparent": 18, "geocentric_from_topocentric": 9, "topocentric_apparent": 18}{"annual_only_once": 14, "catalog_from_geocentric": 6, "diurnal_only_once": 15, "geocentric_apparent": 18, "geocentric_from_topocentric": 9, "topocentric_apparent": 21}Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.

Sign in to the archive ↗