FAILURE MAP
← Case archive

FA-55466 / Astronomical coordinate conventions / Open access

Solar disk image basis: Solar radius in detector pixels retains signed plate orientation · case 01

The adapter reports an incorrect disk pixel radius while other fields remain valid.

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

ROOT CAUSE

Solar radius in detector pixels retains signed plate orientation. Faulty expression: abs(d['R']/d['D']*d['a'])

VERIFIED REPAIR

Preserve the declared model convention at this site: abs(d['R']/d['D']/d['a'])

Unsuccessful approach: A partial convention repair still uses d['R']/d['D']/d['a']

Case contract

A solar disk image supplies pixel displacements dx,dy, angular plate scale a, observer distance D, solar radius R, and exact supplied sine/cosine c,s of a position angle. Helioprojective east/north is the image rotation; normalized disk coordinates divide by angular radius R/D. Values are reduced linear-angle units. Output fields are defined by: helioprojective_east = d['a']*(d['c']*d['dx']-d['s']*d['dy']); helioprojective_north = d['a']*(d['s']*d['dx']+d['c']*d['dy']); angular_radius = d['R']/d['D']; normalized_east = d['a']*(d['c']*d['dx']-d['s']*d['dy'])*d['D']/d['R']; normalized_north = d['a']*(d['s']*d['dx']+d['c']*d['dy'])*d['D']/d['R']; disk_pixel_radius = abs(d['R']/d['D']/d['a'])

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 {'helioprojective_east': d['a']*(d['c']*d['dx']-d['s']*d['dy']), 'helioprojective_north': d['a']*(d['s']*d['dx']+d['c']*d['dy']), 'angular_radius': d['R']/d['D'], 'normalized_east': d['a']*(d['c']*d['dx']-d['s']*d['dy'])*d['D']/d['R'], 'normalized_north': d['a']*(d['s']*d['dx']+d['c']*d['dy'])*d['D']/d['R'], 'disk_pixel_radius': abs(d['R']/d['D']*d['a'])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'dx': 3, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 6, 'angular_radius': 0.4, 'normalized_east': -25.0, 'normalized_north': 15.0, 'disk_pixel_radius': 0.2}), ({'dx': 3, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 1, 's': 0}, {'helioprojective_east': 6, 'helioprojective_north': 10, 'angular_radius': 0.4, 'normalized_east': 15.0, 'normalized_north': 25.0, 'disk_pixel_radius': 0.2}), ({'dx': 3, 'dy': 5, 'a': -2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 10, 'helioprojective_north': -6, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -15.0, 'disk_pixel_radius': 0.2}), ({'dx': 0, 'dy': 0, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 0, 'helioprojective_north': 0, 'angular_radius': 0.4, 'normalized_east': 0.0, 'normalized_north': 0.0, 'disk_pixel_radius': 0.2}), ({'dx': 3, 'dy': 5, 'a': 2, 'D': 4, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 6, 'angular_radius': 1.0, 'normalized_east': -10.0, 'normalized_north': 6.0, 'disk_pixel_radius': 0.5}), ({'dx': 3, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': -1}, {'helioprojective_east': 10, 'helioprojective_north': -6, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -15.0, 'disk_pixel_radius': 0.2})], 2: [({'dx': 4, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 8, 'angular_radius': 0.4, 'normalized_east': -25.0, 'normalized_north': 20.0, 'disk_pixel_radius': 0.2}), ({'dx': 4, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 1, 's': 0}, {'helioprojective_east': 8, 'helioprojective_north': 10, 'angular_radius': 0.4, 'normalized_east': 20.0, 'normalized_north': 25.0, 'disk_pixel_radius': 0.2}), ({'dx': 4, 'dy': 5, 'a': -2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 10, 'helioprojective_north': -8, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -20.0, 'disk_pixel_radius': 0.2}), ({'dx': 1, 'dy': 0, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 0, 'helioprojective_north': 2, 'angular_radius': 0.4, 'normalized_east': 0.0, 'normalized_north': 5.0, 'disk_pixel_radius': 0.2}), ({'dx': 4, 'dy': 5, 'a': 2, 'D': 4, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 8, 'angular_radius': 1.0, 'normalized_east': -10.0, 'normalized_north': 8.0, 'disk_pixel_radius': 0.5}), ({'dx': 4, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': -1}, {'helioprojective_east': 10, 'helioprojective_north': -8, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -20.0, 'disk_pixel_radius': 0.2})], 3: [({'dx': 5, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 10, 'angular_radius': 0.4, 'normalized_east': -25.0, 'normalized_north': 25.0, 'disk_pixel_radius': 0.2}), ({'dx': 5, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 1, 's': 0}, {'helioprojective_east': 10, 'helioprojective_north': 10, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': 25.0, 'disk_pixel_radius': 0.2}), ({'dx': 5, 'dy': 5, 'a': -2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 10, 'helioprojective_north': -10, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -25.0, 'disk_pixel_radius': 0.2}), ({'dx': 2, 'dy': 0, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 0, 'helioprojective_north': 4, 'angular_radius': 0.4, 'normalized_east': 0.0, 'normalized_north': 10.0, 'disk_pixel_radius': 0.2}), ({'dx': 5, 'dy': 5, 'a': 2, 'D': 4, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 10, 'angular_radius': 1.0, 'normalized_east': -10.0, 'normalized_north': 10.0, 'disk_pixel_radius': 0.5}), ({'dx': 5, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': -1}, {'helioprojective_east': 10, 'helioprojective_north': -10, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -25.0, 'disk_pixel_radius': 0.2})], 4: [({'dx': 6, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 12, 'angular_radius': 0.4, 'normalized_east': -25.0, 'normalized_north': 30.0, 'disk_pixel_radius': 0.2}), ({'dx': 6, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 1, 's': 0}, {'helioprojective_east': 12, 'helioprojective_north': 10, 'angular_radius': 0.4, 'normalized_east': 30.0, 'normalized_north': 25.0, 'disk_pixel_radius': 0.2}), ({'dx': 6, 'dy': 5, 'a': -2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 10, 'helioprojective_north': -12, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -30.0, 'disk_pixel_radius': 0.2}), ({'dx': 3, 'dy': 0, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 0, 'helioprojective_north': 6, 'angular_radius': 0.4, 'normalized_east': 0.0, 'normalized_north': 15.0, 'disk_pixel_radius': 0.2}), ({'dx': 6, 'dy': 5, 'a': 2, 'D': 4, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 12, 'angular_radius': 1.0, 'normalized_east': -10.0, 'normalized_north': 12.0, 'disk_pixel_radius': 0.5}), ({'dx': 6, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': -1}, {'helioprojective_east': 10, 'helioprojective_north': -12, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -30.0, 'disk_pixel_radius': 0.2})], 5: [({'dx': 7, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 14, 'angular_radius': 0.4, 'normalized_east': -25.0, 'normalized_north': 35.0, 'disk_pixel_radius': 0.2}), ({'dx': 7, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 1, 's': 0}, {'helioprojective_east': 14, 'helioprojective_north': 10, 'angular_radius': 0.4, 'normalized_east': 35.0, 'normalized_north': 25.0, 'disk_pixel_radius': 0.2}), ({'dx': 7, 'dy': 5, 'a': -2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 10, 'helioprojective_north': -14, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -35.0, 'disk_pixel_radius': 0.2}), ({'dx': 4, 'dy': 0, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 0, 'helioprojective_north': 8, 'angular_radius': 0.4, 'normalized_east': 0.0, 'normalized_north': 20.0, 'disk_pixel_radius': 0.2}), ({'dx': 7, 'dy': 5, 'a': 2, 'D': 4, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 14, 'angular_radius': 1.0, 'normalized_east': -10.0, 'normalized_north': 14.0, 'disk_pixel_radius': 0.5}), ({'dx': 7, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': -1}, {'helioprojective_east': 10, 'helioprojective_north': -14, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -35.0, 'disk_pixel_radius': 0.2})]}
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{'angular_radius': 0.4, 'disk_pixel_radius': 0.8, 'helioprojective_east': -10, 'helioprojective_north': 6, 'normalized_east': -25.0, 'normalized_north': 15.0}{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': -10, 'helioprojective_north': 6, 'normalized_east': -25.0, 'normalized_north': 15.0}Failed
astronomical fixture 1{'angular_radius': 0.4, 'disk_pixel_radius': 0.8, 'helioprojective_east': 6, 'helioprojective_north': 10, 'normalized_east': 15.0, 'normalized_north': 25.0}{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': 6, 'helioprojective_north': 10, 'normalized_east': 15.0, 'normalized_north': 25.0}Failed
astronomical fixture 2{'angular_radius': 0.4, 'disk_pixel_radius': 0.8, 'helioprojective_east': 10, 'helioprojective_north': -6, 'normalized_east': 25.0, 'normalized_north': -15.0}{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': 10, 'helioprojective_north': -6, 'normalized_east': 25.0, 'normalized_north': -15.0}Failed
astronomical fixture 3{'angular_radius': 0.4, 'disk_pixel_radius': 0.8, 'helioprojective_east': 0, 'helioprojective_north': 0, 'normalized_east': 0.0, 'normalized_north': 0.0}{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': 0, 'helioprojective_north': 0, 'normalized_east': 0.0, 'normalized_north': 0.0}Failed
astronomical fixture 4{'angular_radius': 1.0, 'disk_pixel_radius': 2.0, 'helioprojective_east': -10, 'helioprojective_north': 6, 'normalized_east': -10.0, 'normalized_north': 6.0}{'angular_radius': 1.0, 'disk_pixel_radius': 0.5, 'helioprojective_east': -10, 'helioprojective_north': 6, 'normalized_east': -10.0, 'normalized_north': 6.0}Failed
astronomical fixture 5{'angular_radius': 0.4, 'disk_pixel_radius': 0.8, 'helioprojective_east': 10, 'helioprojective_north': -6, 'normalized_east': 25.0, 'normalized_north': -15.0}{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': 10, 'helioprojective_north': -6, 'normalized_east': 25.0, 'normalized_north': -15.0}Failed

SHA-256 / 6c200cf14b5adda485d0bf93cdb054846fe880be93198cbeb80b10b4652dbdd8

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(d):
    return {'helioprojective_east': d['a']*(d['c']*d['dx']-d['s']*d['dy']), 'helioprojective_north': d['a']*(d['s']*d['dx']+d['c']*d['dy']), 'angular_radius': d['R']/d['D'], 'normalized_east': d['a']*(d['c']*d['dx']-d['s']*d['dy'])*d['D']/d['R'], 'normalized_north': d['a']*(d['s']*d['dx']+d['c']*d['dy'])*d['D']/d['R'], 'disk_pixel_radius': d['R']/d['D']/d['a']}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'dx': 3, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 6, 'angular_radius': 0.4, 'normalized_east': -25.0, 'normalized_north': 15.0, 'disk_pixel_radius': 0.2}), ({'dx': 3, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 1, 's': 0}, {'helioprojective_east': 6, 'helioprojective_north': 10, 'angular_radius': 0.4, 'normalized_east': 15.0, 'normalized_north': 25.0, 'disk_pixel_radius': 0.2}), ({'dx': 3, 'dy': 5, 'a': -2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 10, 'helioprojective_north': -6, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -15.0, 'disk_pixel_radius': 0.2}), ({'dx': 0, 'dy': 0, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 0, 'helioprojective_north': 0, 'angular_radius': 0.4, 'normalized_east': 0.0, 'normalized_north': 0.0, 'disk_pixel_radius': 0.2}), ({'dx': 3, 'dy': 5, 'a': 2, 'D': 4, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 6, 'angular_radius': 1.0, 'normalized_east': -10.0, 'normalized_north': 6.0, 'disk_pixel_radius': 0.5}), ({'dx': 3, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': -1}, {'helioprojective_east': 10, 'helioprojective_north': -6, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -15.0, 'disk_pixel_radius': 0.2})], 2: [({'dx': 4, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 8, 'angular_radius': 0.4, 'normalized_east': -25.0, 'normalized_north': 20.0, 'disk_pixel_radius': 0.2}), ({'dx': 4, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 1, 's': 0}, {'helioprojective_east': 8, 'helioprojective_north': 10, 'angular_radius': 0.4, 'normalized_east': 20.0, 'normalized_north': 25.0, 'disk_pixel_radius': 0.2}), ({'dx': 4, 'dy': 5, 'a': -2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 10, 'helioprojective_north': -8, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -20.0, 'disk_pixel_radius': 0.2}), ({'dx': 1, 'dy': 0, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 0, 'helioprojective_north': 2, 'angular_radius': 0.4, 'normalized_east': 0.0, 'normalized_north': 5.0, 'disk_pixel_radius': 0.2}), ({'dx': 4, 'dy': 5, 'a': 2, 'D': 4, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 8, 'angular_radius': 1.0, 'normalized_east': -10.0, 'normalized_north': 8.0, 'disk_pixel_radius': 0.5}), ({'dx': 4, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': -1}, {'helioprojective_east': 10, 'helioprojective_north': -8, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -20.0, 'disk_pixel_radius': 0.2})], 3: [({'dx': 5, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 10, 'angular_radius': 0.4, 'normalized_east': -25.0, 'normalized_north': 25.0, 'disk_pixel_radius': 0.2}), ({'dx': 5, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 1, 's': 0}, {'helioprojective_east': 10, 'helioprojective_north': 10, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': 25.0, 'disk_pixel_radius': 0.2}), ({'dx': 5, 'dy': 5, 'a': -2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 10, 'helioprojective_north': -10, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -25.0, 'disk_pixel_radius': 0.2}), ({'dx': 2, 'dy': 0, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 0, 'helioprojective_north': 4, 'angular_radius': 0.4, 'normalized_east': 0.0, 'normalized_north': 10.0, 'disk_pixel_radius': 0.2}), ({'dx': 5, 'dy': 5, 'a': 2, 'D': 4, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 10, 'angular_radius': 1.0, 'normalized_east': -10.0, 'normalized_north': 10.0, 'disk_pixel_radius': 0.5}), ({'dx': 5, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': -1}, {'helioprojective_east': 10, 'helioprojective_north': -10, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -25.0, 'disk_pixel_radius': 0.2})], 4: [({'dx': 6, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 12, 'angular_radius': 0.4, 'normalized_east': -25.0, 'normalized_north': 30.0, 'disk_pixel_radius': 0.2}), ({'dx': 6, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 1, 's': 0}, {'helioprojective_east': 12, 'helioprojective_north': 10, 'angular_radius': 0.4, 'normalized_east': 30.0, 'normalized_north': 25.0, 'disk_pixel_radius': 0.2}), ({'dx': 6, 'dy': 5, 'a': -2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 10, 'helioprojective_north': -12, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -30.0, 'disk_pixel_radius': 0.2}), ({'dx': 3, 'dy': 0, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 0, 'helioprojective_north': 6, 'angular_radius': 0.4, 'normalized_east': 0.0, 'normalized_north': 15.0, 'disk_pixel_radius': 0.2}), ({'dx': 6, 'dy': 5, 'a': 2, 'D': 4, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 12, 'angular_radius': 1.0, 'normalized_east': -10.0, 'normalized_north': 12.0, 'disk_pixel_radius': 0.5}), ({'dx': 6, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': -1}, {'helioprojective_east': 10, 'helioprojective_north': -12, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -30.0, 'disk_pixel_radius': 0.2})], 5: [({'dx': 7, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 14, 'angular_radius': 0.4, 'normalized_east': -25.0, 'normalized_north': 35.0, 'disk_pixel_radius': 0.2}), ({'dx': 7, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 1, 's': 0}, {'helioprojective_east': 14, 'helioprojective_north': 10, 'angular_radius': 0.4, 'normalized_east': 35.0, 'normalized_north': 25.0, 'disk_pixel_radius': 0.2}), ({'dx': 7, 'dy': 5, 'a': -2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 10, 'helioprojective_north': -14, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -35.0, 'disk_pixel_radius': 0.2}), ({'dx': 4, 'dy': 0, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 0, 'helioprojective_north': 8, 'angular_radius': 0.4, 'normalized_east': 0.0, 'normalized_north': 20.0, 'disk_pixel_radius': 0.2}), ({'dx': 7, 'dy': 5, 'a': 2, 'D': 4, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 14, 'angular_radius': 1.0, 'normalized_east': -10.0, 'normalized_north': 14.0, 'disk_pixel_radius': 0.5}), ({'dx': 7, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': -1}, {'helioprojective_east': 10, 'helioprojective_north': -14, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -35.0, 'disk_pixel_radius': 0.2})]}
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{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': -10, 'helioprojective_north': 6, 'normalized_east': -25.0, 'normalized_north': 15.0}{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': -10, 'helioprojective_north': 6, 'normalized_east': -25.0, 'normalized_north': 15.0}Passed
astronomical fixture 1{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': 6, 'helioprojective_north': 10, 'normalized_east': 15.0, 'normalized_north': 25.0}{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': 6, 'helioprojective_north': 10, 'normalized_east': 15.0, 'normalized_north': 25.0}Passed
astronomical fixture 2{'angular_radius': 0.4, 'disk_pixel_radius': -0.2, 'helioprojective_east': 10, 'helioprojective_north': -6, 'normalized_east': 25.0, 'normalized_north': -15.0}{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': 10, 'helioprojective_north': -6, 'normalized_east': 25.0, 'normalized_north': -15.0}Failed
astronomical fixture 3{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': 0, 'helioprojective_north': 0, 'normalized_east': 0.0, 'normalized_north': 0.0}{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': 0, 'helioprojective_north': 0, 'normalized_east': 0.0, 'normalized_north': 0.0}Passed
astronomical fixture 4{'angular_radius': 1.0, 'disk_pixel_radius': 0.5, 'helioprojective_east': -10, 'helioprojective_north': 6, 'normalized_east': -10.0, 'normalized_north': 6.0}{'angular_radius': 1.0, 'disk_pixel_radius': 0.5, 'helioprojective_east': -10, 'helioprojective_north': 6, 'normalized_east': -10.0, 'normalized_north': 6.0}Passed
astronomical fixture 5{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': 10, 'helioprojective_north': -6, 'normalized_east': 25.0, 'normalized_north': -15.0}{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': 10, 'helioprojective_north': -6, 'normalized_east': 25.0, 'normalized_north': -15.0}Passed

SHA-256 / 2face864121ac3aef8cc4f5ecf1bc7384efd3e008cef3b17a166a24fe70d6be1

3 / The verified repair

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

N = 1
observations = []
def solve(d):
    return {'helioprojective_east': d['a']*(d['c']*d['dx']-d['s']*d['dy']), 'helioprojective_north': d['a']*(d['s']*d['dx']+d['c']*d['dy']), 'angular_radius': d['R']/d['D'], 'normalized_east': d['a']*(d['c']*d['dx']-d['s']*d['dy'])*d['D']/d['R'], 'normalized_north': d['a']*(d['s']*d['dx']+d['c']*d['dy'])*d['D']/d['R'], 'disk_pixel_radius': abs(d['R']/d['D']/d['a'])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'dx': 3, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 6, 'angular_radius': 0.4, 'normalized_east': -25.0, 'normalized_north': 15.0, 'disk_pixel_radius': 0.2}), ({'dx': 3, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 1, 's': 0}, {'helioprojective_east': 6, 'helioprojective_north': 10, 'angular_radius': 0.4, 'normalized_east': 15.0, 'normalized_north': 25.0, 'disk_pixel_radius': 0.2}), ({'dx': 3, 'dy': 5, 'a': -2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 10, 'helioprojective_north': -6, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -15.0, 'disk_pixel_radius': 0.2}), ({'dx': 0, 'dy': 0, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 0, 'helioprojective_north': 0, 'angular_radius': 0.4, 'normalized_east': 0.0, 'normalized_north': 0.0, 'disk_pixel_radius': 0.2}), ({'dx': 3, 'dy': 5, 'a': 2, 'D': 4, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 6, 'angular_radius': 1.0, 'normalized_east': -10.0, 'normalized_north': 6.0, 'disk_pixel_radius': 0.5}), ({'dx': 3, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': -1}, {'helioprojective_east': 10, 'helioprojective_north': -6, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -15.0, 'disk_pixel_radius': 0.2})], 2: [({'dx': 4, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 8, 'angular_radius': 0.4, 'normalized_east': -25.0, 'normalized_north': 20.0, 'disk_pixel_radius': 0.2}), ({'dx': 4, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 1, 's': 0}, {'helioprojective_east': 8, 'helioprojective_north': 10, 'angular_radius': 0.4, 'normalized_east': 20.0, 'normalized_north': 25.0, 'disk_pixel_radius': 0.2}), ({'dx': 4, 'dy': 5, 'a': -2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 10, 'helioprojective_north': -8, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -20.0, 'disk_pixel_radius': 0.2}), ({'dx': 1, 'dy': 0, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 0, 'helioprojective_north': 2, 'angular_radius': 0.4, 'normalized_east': 0.0, 'normalized_north': 5.0, 'disk_pixel_radius': 0.2}), ({'dx': 4, 'dy': 5, 'a': 2, 'D': 4, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 8, 'angular_radius': 1.0, 'normalized_east': -10.0, 'normalized_north': 8.0, 'disk_pixel_radius': 0.5}), ({'dx': 4, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': -1}, {'helioprojective_east': 10, 'helioprojective_north': -8, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -20.0, 'disk_pixel_radius': 0.2})], 3: [({'dx': 5, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 10, 'angular_radius': 0.4, 'normalized_east': -25.0, 'normalized_north': 25.0, 'disk_pixel_radius': 0.2}), ({'dx': 5, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 1, 's': 0}, {'helioprojective_east': 10, 'helioprojective_north': 10, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': 25.0, 'disk_pixel_radius': 0.2}), ({'dx': 5, 'dy': 5, 'a': -2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 10, 'helioprojective_north': -10, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -25.0, 'disk_pixel_radius': 0.2}), ({'dx': 2, 'dy': 0, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 0, 'helioprojective_north': 4, 'angular_radius': 0.4, 'normalized_east': 0.0, 'normalized_north': 10.0, 'disk_pixel_radius': 0.2}), ({'dx': 5, 'dy': 5, 'a': 2, 'D': 4, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 10, 'angular_radius': 1.0, 'normalized_east': -10.0, 'normalized_north': 10.0, 'disk_pixel_radius': 0.5}), ({'dx': 5, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': -1}, {'helioprojective_east': 10, 'helioprojective_north': -10, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -25.0, 'disk_pixel_radius': 0.2})], 4: [({'dx': 6, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 12, 'angular_radius': 0.4, 'normalized_east': -25.0, 'normalized_north': 30.0, 'disk_pixel_radius': 0.2}), ({'dx': 6, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 1, 's': 0}, {'helioprojective_east': 12, 'helioprojective_north': 10, 'angular_radius': 0.4, 'normalized_east': 30.0, 'normalized_north': 25.0, 'disk_pixel_radius': 0.2}), ({'dx': 6, 'dy': 5, 'a': -2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 10, 'helioprojective_north': -12, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -30.0, 'disk_pixel_radius': 0.2}), ({'dx': 3, 'dy': 0, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 0, 'helioprojective_north': 6, 'angular_radius': 0.4, 'normalized_east': 0.0, 'normalized_north': 15.0, 'disk_pixel_radius': 0.2}), ({'dx': 6, 'dy': 5, 'a': 2, 'D': 4, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 12, 'angular_radius': 1.0, 'normalized_east': -10.0, 'normalized_north': 12.0, 'disk_pixel_radius': 0.5}), ({'dx': 6, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': -1}, {'helioprojective_east': 10, 'helioprojective_north': -12, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -30.0, 'disk_pixel_radius': 0.2})], 5: [({'dx': 7, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 14, 'angular_radius': 0.4, 'normalized_east': -25.0, 'normalized_north': 35.0, 'disk_pixel_radius': 0.2}), ({'dx': 7, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 1, 's': 0}, {'helioprojective_east': 14, 'helioprojective_north': 10, 'angular_radius': 0.4, 'normalized_east': 35.0, 'normalized_north': 25.0, 'disk_pixel_radius': 0.2}), ({'dx': 7, 'dy': 5, 'a': -2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 10, 'helioprojective_north': -14, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -35.0, 'disk_pixel_radius': 0.2}), ({'dx': 4, 'dy': 0, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': 0, 'helioprojective_north': 8, 'angular_radius': 0.4, 'normalized_east': 0.0, 'normalized_north': 20.0, 'disk_pixel_radius': 0.2}), ({'dx': 7, 'dy': 5, 'a': 2, 'D': 4, 'R': 4, 'c': 0, 's': 1}, {'helioprojective_east': -10, 'helioprojective_north': 14, 'angular_radius': 1.0, 'normalized_east': -10.0, 'normalized_north': 14.0, 'disk_pixel_radius': 0.5}), ({'dx': 7, 'dy': 5, 'a': 2, 'D': 10, 'R': 4, 'c': 0, 's': -1}, {'helioprojective_east': 10, 'helioprojective_north': -14, 'angular_radius': 0.4, 'normalized_east': 25.0, 'normalized_north': -35.0, 'disk_pixel_radius': 0.2})]}
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{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': -10, 'helioprojective_north': 6, 'normalized_east': -25.0, 'normalized_north': 15.0}{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': -10, 'helioprojective_north': 6, 'normalized_east': -25.0, 'normalized_north': 15.0}Passed
astronomical fixture 1{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': 6, 'helioprojective_north': 10, 'normalized_east': 15.0, 'normalized_north': 25.0}{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': 6, 'helioprojective_north': 10, 'normalized_east': 15.0, 'normalized_north': 25.0}Passed
astronomical fixture 2{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': 10, 'helioprojective_north': -6, 'normalized_east': 25.0, 'normalized_north': -15.0}{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': 10, 'helioprojective_north': -6, 'normalized_east': 25.0, 'normalized_north': -15.0}Passed
astronomical fixture 3{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': 0, 'helioprojective_north': 0, 'normalized_east': 0.0, 'normalized_north': 0.0}{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': 0, 'helioprojective_north': 0, 'normalized_east': 0.0, 'normalized_north': 0.0}Passed
astronomical fixture 4{'angular_radius': 1.0, 'disk_pixel_radius': 0.5, 'helioprojective_east': -10, 'helioprojective_north': 6, 'normalized_east': -10.0, 'normalized_north': 6.0}{'angular_radius': 1.0, 'disk_pixel_radius': 0.5, 'helioprojective_east': -10, 'helioprojective_north': 6, 'normalized_east': -10.0, 'normalized_north': 6.0}Passed
astronomical fixture 5{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': 10, 'helioprojective_north': -6, 'normalized_east': 25.0, 'normalized_north': -15.0}{'angular_radius': 0.4, 'disk_pixel_radius': 0.2, 'helioprojective_east': 10, 'helioprojective_north': -6, 'normalized_east': 25.0, 'normalized_north': -15.0}Passed

SHA-256 / fc68834a4d254b0fdd634c2bcb74eefe1614b23e358795704edcd7d0aada6ab9

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.131292+00:00.

Case digest / 45dd095e146686c29ef7824168714b72d8fd8543be2a6c3b71a4f151867914f8