FA-55552 / Astronomical coordinate conventions / Member archive
Aberration correction provenance: Inverse geocentric apparent-place conversion removes a site correction never included · case 02
The adapter reports an incorrect catalog from geocentric while other fields remain valid.
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 fixtureThis sample comes from the broken implementation of a controlled reproducer.
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| astronomical fixture 0 | {"annual_only_once": 13, "catalog_from_geocentric": 2, "diurnal_only_once": 14, "geocentric_apparent": 17, "geocentric_from_topocentric": 8, "topocentric_apparent": 20} | {"annual_only_once": 13, "catalog_from_geocentric": 5, "diurnal_only_once": 14, "geocentric_apparent": 17, "geocentric_from_topocentric": 8, "topocentric_apparent": 20} | 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 ↗