FAILURE MAP
← Case archive

FA-55926 / Astronomical coordinate conventions / Open access

Multiorder sky cell encoding: Multiorder order-band origin is confused with all-sky pixel count · case 01

The adapter reports an incorrect band start while other fields remain valid.

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

ROOT CAUSE

Multiorder order-band origin is confused with all-sky pixel count. Faulty expression: 12*4**d['order']

VERIFIED REPAIR

Preserve the declared model convention at this site: 4*4**d['order']

Unsuccessful approach: A partial convention repair still uses 4**d['order']

Case contract

A bounded multiorder sky cell uses uniq=4*4**order+pixel, where pixel is the global nested pixel index with 0<=pixel<12*4**order. Coarsening one level preserves face by integer division of pixel by four. Cell area is normalized to whole-sky area one. Output fields are defined by: uniq = 4*4**d['order']+d['pixel']; band_start = 4*4**d['order']; cell_area = 1/(12*4**d['order']); cell_mass = d['density']/(12*4**d['order']); child_uniq = 4*4**(d['order']+1)+4*d['pixel']+d['sub']; order_stop = 16*4**d['order']

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 {'uniq': 4*4**d['order']+d['pixel'], 'band_start': 12*4**d['order'], 'cell_area': 1/(12*4**d['order']), 'cell_mass': d['density']/(12*4**d['order']), 'child_uniq': 4*4**(d['order']+1)+4*d['pixel']+d['sub'], 'order_stop': 16*4**d['order']}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'order': 2, 'pixel': 17, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 81, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 326, 'order_stop': 256}), ({'order': 0, 'pixel': 0, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 4, 'band_start': 4, 'cell_area': 0.08333333333333333, 'cell_mass': 0.6666666666666666, 'child_uniq': 18, 'order_stop': 16}), ({'order': 1, 'pixel': 5, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 21, 'band_start': 16, 'cell_area': 0.020833333333333332, 'cell_mass': 0.16666666666666666, 'child_uniq': 86, 'order_stop': 64}), ({'order': 2, 'pixel': 17, 'area': 1, 'density': 0, 'sub': 2}, {'uniq': 81, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.0, 'child_uniq': 326, 'order_stop': 256}), ({'order': 2, 'pixel': 17, 'area': 1, 'density': 8, 'sub': 0}, {'uniq': 81, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 324, 'order_stop': 256}), ({'order': 3, 'pixel': 100, 'area': 1, 'density': -2, 'sub': 2}, {'uniq': 356, 'band_start': 256, 'cell_area': 0.0013020833333333333, 'cell_mass': -0.0026041666666666665, 'child_uniq': 1426, 'order_stop': 1024})], 2: [({'order': 2, 'pixel': 18, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 82, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 330, 'order_stop': 256}), ({'order': 0, 'pixel': 1, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 5, 'band_start': 4, 'cell_area': 0.08333333333333333, 'cell_mass': 0.6666666666666666, 'child_uniq': 22, 'order_stop': 16}), ({'order': 1, 'pixel': 6, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 22, 'band_start': 16, 'cell_area': 0.020833333333333332, 'cell_mass': 0.16666666666666666, 'child_uniq': 90, 'order_stop': 64}), ({'order': 2, 'pixel': 18, 'area': 1, 'density': 0, 'sub': 2}, {'uniq': 82, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.0, 'child_uniq': 330, 'order_stop': 256}), ({'order': 2, 'pixel': 18, 'area': 1, 'density': 8, 'sub': 0}, {'uniq': 82, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 328, 'order_stop': 256}), ({'order': 3, 'pixel': 101, 'area': 1, 'density': -2, 'sub': 2}, {'uniq': 357, 'band_start': 256, 'cell_area': 0.0013020833333333333, 'cell_mass': -0.0026041666666666665, 'child_uniq': 1430, 'order_stop': 1024})], 3: [({'order': 2, 'pixel': 19, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 83, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 334, 'order_stop': 256}), ({'order': 0, 'pixel': 2, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 6, 'band_start': 4, 'cell_area': 0.08333333333333333, 'cell_mass': 0.6666666666666666, 'child_uniq': 26, 'order_stop': 16}), ({'order': 1, 'pixel': 7, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 23, 'band_start': 16, 'cell_area': 0.020833333333333332, 'cell_mass': 0.16666666666666666, 'child_uniq': 94, 'order_stop': 64}), ({'order': 2, 'pixel': 19, 'area': 1, 'density': 0, 'sub': 2}, {'uniq': 83, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.0, 'child_uniq': 334, 'order_stop': 256}), ({'order': 2, 'pixel': 19, 'area': 1, 'density': 8, 'sub': 0}, {'uniq': 83, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 332, 'order_stop': 256}), ({'order': 3, 'pixel': 102, 'area': 1, 'density': -2, 'sub': 2}, {'uniq': 358, 'band_start': 256, 'cell_area': 0.0013020833333333333, 'cell_mass': -0.0026041666666666665, 'child_uniq': 1434, 'order_stop': 1024})], 4: [({'order': 2, 'pixel': 20, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 84, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 338, 'order_stop': 256}), ({'order': 0, 'pixel': 3, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 7, 'band_start': 4, 'cell_area': 0.08333333333333333, 'cell_mass': 0.6666666666666666, 'child_uniq': 30, 'order_stop': 16}), ({'order': 1, 'pixel': 8, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 24, 'band_start': 16, 'cell_area': 0.020833333333333332, 'cell_mass': 0.16666666666666666, 'child_uniq': 98, 'order_stop': 64}), ({'order': 2, 'pixel': 20, 'area': 1, 'density': 0, 'sub': 2}, {'uniq': 84, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.0, 'child_uniq': 338, 'order_stop': 256}), ({'order': 2, 'pixel': 20, 'area': 1, 'density': 8, 'sub': 0}, {'uniq': 84, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 336, 'order_stop': 256}), ({'order': 3, 'pixel': 103, 'area': 1, 'density': -2, 'sub': 2}, {'uniq': 359, 'band_start': 256, 'cell_area': 0.0013020833333333333, 'cell_mass': -0.0026041666666666665, 'child_uniq': 1438, 'order_stop': 1024})], 5: [({'order': 2, 'pixel': 21, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 85, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 342, 'order_stop': 256}), ({'order': 0, 'pixel': 4, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 8, 'band_start': 4, 'cell_area': 0.08333333333333333, 'cell_mass': 0.6666666666666666, 'child_uniq': 34, 'order_stop': 16}), ({'order': 1, 'pixel': 9, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 25, 'band_start': 16, 'cell_area': 0.020833333333333332, 'cell_mass': 0.16666666666666666, 'child_uniq': 102, 'order_stop': 64}), ({'order': 2, 'pixel': 21, 'area': 1, 'density': 0, 'sub': 2}, {'uniq': 85, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.0, 'child_uniq': 342, 'order_stop': 256}), ({'order': 2, 'pixel': 21, 'area': 1, 'density': 8, 'sub': 0}, {'uniq': 85, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 340, 'order_stop': 256}), ({'order': 3, 'pixel': 104, 'area': 1, 'density': -2, 'sub': 2}, {'uniq': 360, 'band_start': 256, 'cell_area': 0.0013020833333333333, 'cell_mass': -0.0026041666666666665, 'child_uniq': 1442, 'order_stop': 1024})]}
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{'band_start': 192, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 326, 'order_stop': 256, 'uniq': 81}{'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 326, 'order_stop': 256, 'uniq': 81}Failed
astronomical fixture 1{'band_start': 12, 'cell_area': 0.08333333333333333, 'cell_mass': 0.6666666666666666, 'child_uniq': 18, 'order_stop': 16, 'uniq': 4}{'band_start': 4, 'cell_area': 0.08333333333333333, 'cell_mass': 0.6666666666666666, 'child_uniq': 18, 'order_stop': 16, 'uniq': 4}Failed
astronomical fixture 2{'band_start': 48, 'cell_area': 0.020833333333333332, 'cell_mass': 0.16666666666666666, 'child_uniq': 86, 'order_stop': 64, 'uniq': 21}{'band_start': 16, 'cell_area': 0.020833333333333332, 'cell_mass': 0.16666666666666666, 'child_uniq': 86, 'order_stop': 64, 'uniq': 21}Failed
astronomical fixture 3{'band_start': 192, 'cell_area': 0.005208333333333333, 'cell_mass': 0.0, 'child_uniq': 326, 'order_stop': 256, 'uniq': 81}{'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.0, 'child_uniq': 326, 'order_stop': 256, 'uniq': 81}Failed
astronomical fixture 4{'band_start': 192, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 324, 'order_stop': 256, 'uniq': 81}{'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 324, 'order_stop': 256, 'uniq': 81}Failed
astronomical fixture 5{'band_start': 768, 'cell_area': 0.0013020833333333333, 'cell_mass': -0.0026041666666666665, 'child_uniq': 1426, 'order_stop': 1024, 'uniq': 356}{'band_start': 256, 'cell_area': 0.0013020833333333333, 'cell_mass': -0.0026041666666666665, 'child_uniq': 1426, 'order_stop': 1024, 'uniq': 356}Failed

SHA-256 / 7d8734277b2d8c4b1469d87441f9d35ea75c60ac921cb225814fe913bbe63493

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(d):
    return {'uniq': 4*4**d['order']+d['pixel'], 'band_start': 4**d['order'], 'cell_area': 1/(12*4**d['order']), 'cell_mass': d['density']/(12*4**d['order']), 'child_uniq': 4*4**(d['order']+1)+4*d['pixel']+d['sub'], 'order_stop': 16*4**d['order']}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'order': 2, 'pixel': 17, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 81, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 326, 'order_stop': 256}), ({'order': 0, 'pixel': 0, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 4, 'band_start': 4, 'cell_area': 0.08333333333333333, 'cell_mass': 0.6666666666666666, 'child_uniq': 18, 'order_stop': 16}), ({'order': 1, 'pixel': 5, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 21, 'band_start': 16, 'cell_area': 0.020833333333333332, 'cell_mass': 0.16666666666666666, 'child_uniq': 86, 'order_stop': 64}), ({'order': 2, 'pixel': 17, 'area': 1, 'density': 0, 'sub': 2}, {'uniq': 81, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.0, 'child_uniq': 326, 'order_stop': 256}), ({'order': 2, 'pixel': 17, 'area': 1, 'density': 8, 'sub': 0}, {'uniq': 81, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 324, 'order_stop': 256}), ({'order': 3, 'pixel': 100, 'area': 1, 'density': -2, 'sub': 2}, {'uniq': 356, 'band_start': 256, 'cell_area': 0.0013020833333333333, 'cell_mass': -0.0026041666666666665, 'child_uniq': 1426, 'order_stop': 1024})], 2: [({'order': 2, 'pixel': 18, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 82, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 330, 'order_stop': 256}), ({'order': 0, 'pixel': 1, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 5, 'band_start': 4, 'cell_area': 0.08333333333333333, 'cell_mass': 0.6666666666666666, 'child_uniq': 22, 'order_stop': 16}), ({'order': 1, 'pixel': 6, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 22, 'band_start': 16, 'cell_area': 0.020833333333333332, 'cell_mass': 0.16666666666666666, 'child_uniq': 90, 'order_stop': 64}), ({'order': 2, 'pixel': 18, 'area': 1, 'density': 0, 'sub': 2}, {'uniq': 82, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.0, 'child_uniq': 330, 'order_stop': 256}), ({'order': 2, 'pixel': 18, 'area': 1, 'density': 8, 'sub': 0}, {'uniq': 82, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 328, 'order_stop': 256}), ({'order': 3, 'pixel': 101, 'area': 1, 'density': -2, 'sub': 2}, {'uniq': 357, 'band_start': 256, 'cell_area': 0.0013020833333333333, 'cell_mass': -0.0026041666666666665, 'child_uniq': 1430, 'order_stop': 1024})], 3: [({'order': 2, 'pixel': 19, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 83, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 334, 'order_stop': 256}), ({'order': 0, 'pixel': 2, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 6, 'band_start': 4, 'cell_area': 0.08333333333333333, 'cell_mass': 0.6666666666666666, 'child_uniq': 26, 'order_stop': 16}), ({'order': 1, 'pixel': 7, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 23, 'band_start': 16, 'cell_area': 0.020833333333333332, 'cell_mass': 0.16666666666666666, 'child_uniq': 94, 'order_stop': 64}), ({'order': 2, 'pixel': 19, 'area': 1, 'density': 0, 'sub': 2}, {'uniq': 83, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.0, 'child_uniq': 334, 'order_stop': 256}), ({'order': 2, 'pixel': 19, 'area': 1, 'density': 8, 'sub': 0}, {'uniq': 83, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 332, 'order_stop': 256}), ({'order': 3, 'pixel': 102, 'area': 1, 'density': -2, 'sub': 2}, {'uniq': 358, 'band_start': 256, 'cell_area': 0.0013020833333333333, 'cell_mass': -0.0026041666666666665, 'child_uniq': 1434, 'order_stop': 1024})], 4: [({'order': 2, 'pixel': 20, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 84, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 338, 'order_stop': 256}), ({'order': 0, 'pixel': 3, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 7, 'band_start': 4, 'cell_area': 0.08333333333333333, 'cell_mass': 0.6666666666666666, 'child_uniq': 30, 'order_stop': 16}), ({'order': 1, 'pixel': 8, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 24, 'band_start': 16, 'cell_area': 0.020833333333333332, 'cell_mass': 0.16666666666666666, 'child_uniq': 98, 'order_stop': 64}), ({'order': 2, 'pixel': 20, 'area': 1, 'density': 0, 'sub': 2}, {'uniq': 84, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.0, 'child_uniq': 338, 'order_stop': 256}), ({'order': 2, 'pixel': 20, 'area': 1, 'density': 8, 'sub': 0}, {'uniq': 84, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 336, 'order_stop': 256}), ({'order': 3, 'pixel': 103, 'area': 1, 'density': -2, 'sub': 2}, {'uniq': 359, 'band_start': 256, 'cell_area': 0.0013020833333333333, 'cell_mass': -0.0026041666666666665, 'child_uniq': 1438, 'order_stop': 1024})], 5: [({'order': 2, 'pixel': 21, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 85, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 342, 'order_stop': 256}), ({'order': 0, 'pixel': 4, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 8, 'band_start': 4, 'cell_area': 0.08333333333333333, 'cell_mass': 0.6666666666666666, 'child_uniq': 34, 'order_stop': 16}), ({'order': 1, 'pixel': 9, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 25, 'band_start': 16, 'cell_area': 0.020833333333333332, 'cell_mass': 0.16666666666666666, 'child_uniq': 102, 'order_stop': 64}), ({'order': 2, 'pixel': 21, 'area': 1, 'density': 0, 'sub': 2}, {'uniq': 85, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.0, 'child_uniq': 342, 'order_stop': 256}), ({'order': 2, 'pixel': 21, 'area': 1, 'density': 8, 'sub': 0}, {'uniq': 85, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 340, 'order_stop': 256}), ({'order': 3, 'pixel': 104, 'area': 1, 'density': -2, 'sub': 2}, {'uniq': 360, 'band_start': 256, 'cell_area': 0.0013020833333333333, 'cell_mass': -0.0026041666666666665, 'child_uniq': 1442, 'order_stop': 1024})]}
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{'band_start': 16, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 326, 'order_stop': 256, 'uniq': 81}{'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 326, 'order_stop': 256, 'uniq': 81}Failed
astronomical fixture 1{'band_start': 1, 'cell_area': 0.08333333333333333, 'cell_mass': 0.6666666666666666, 'child_uniq': 18, 'order_stop': 16, 'uniq': 4}{'band_start': 4, 'cell_area': 0.08333333333333333, 'cell_mass': 0.6666666666666666, 'child_uniq': 18, 'order_stop': 16, 'uniq': 4}Failed
astronomical fixture 2{'band_start': 4, 'cell_area': 0.020833333333333332, 'cell_mass': 0.16666666666666666, 'child_uniq': 86, 'order_stop': 64, 'uniq': 21}{'band_start': 16, 'cell_area': 0.020833333333333332, 'cell_mass': 0.16666666666666666, 'child_uniq': 86, 'order_stop': 64, 'uniq': 21}Failed
astronomical fixture 3{'band_start': 16, 'cell_area': 0.005208333333333333, 'cell_mass': 0.0, 'child_uniq': 326, 'order_stop': 256, 'uniq': 81}{'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.0, 'child_uniq': 326, 'order_stop': 256, 'uniq': 81}Failed
astronomical fixture 4{'band_start': 16, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 324, 'order_stop': 256, 'uniq': 81}{'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 324, 'order_stop': 256, 'uniq': 81}Failed
astronomical fixture 5{'band_start': 64, 'cell_area': 0.0013020833333333333, 'cell_mass': -0.0026041666666666665, 'child_uniq': 1426, 'order_stop': 1024, 'uniq': 356}{'band_start': 256, 'cell_area': 0.0013020833333333333, 'cell_mass': -0.0026041666666666665, 'child_uniq': 1426, 'order_stop': 1024, 'uniq': 356}Failed

SHA-256 / 10f2e3cd8133282685c99926012b83caec9003e2d2fd4d54b09d02255d17ed32

3 / The verified repair

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

N = 1
observations = []
def solve(d):
    return {'uniq': 4*4**d['order']+d['pixel'], 'band_start': 4*4**d['order'], 'cell_area': 1/(12*4**d['order']), 'cell_mass': d['density']/(12*4**d['order']), 'child_uniq': 4*4**(d['order']+1)+4*d['pixel']+d['sub'], 'order_stop': 16*4**d['order']}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'order': 2, 'pixel': 17, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 81, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 326, 'order_stop': 256}), ({'order': 0, 'pixel': 0, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 4, 'band_start': 4, 'cell_area': 0.08333333333333333, 'cell_mass': 0.6666666666666666, 'child_uniq': 18, 'order_stop': 16}), ({'order': 1, 'pixel': 5, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 21, 'band_start': 16, 'cell_area': 0.020833333333333332, 'cell_mass': 0.16666666666666666, 'child_uniq': 86, 'order_stop': 64}), ({'order': 2, 'pixel': 17, 'area': 1, 'density': 0, 'sub': 2}, {'uniq': 81, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.0, 'child_uniq': 326, 'order_stop': 256}), ({'order': 2, 'pixel': 17, 'area': 1, 'density': 8, 'sub': 0}, {'uniq': 81, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 324, 'order_stop': 256}), ({'order': 3, 'pixel': 100, 'area': 1, 'density': -2, 'sub': 2}, {'uniq': 356, 'band_start': 256, 'cell_area': 0.0013020833333333333, 'cell_mass': -0.0026041666666666665, 'child_uniq': 1426, 'order_stop': 1024})], 2: [({'order': 2, 'pixel': 18, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 82, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 330, 'order_stop': 256}), ({'order': 0, 'pixel': 1, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 5, 'band_start': 4, 'cell_area': 0.08333333333333333, 'cell_mass': 0.6666666666666666, 'child_uniq': 22, 'order_stop': 16}), ({'order': 1, 'pixel': 6, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 22, 'band_start': 16, 'cell_area': 0.020833333333333332, 'cell_mass': 0.16666666666666666, 'child_uniq': 90, 'order_stop': 64}), ({'order': 2, 'pixel': 18, 'area': 1, 'density': 0, 'sub': 2}, {'uniq': 82, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.0, 'child_uniq': 330, 'order_stop': 256}), ({'order': 2, 'pixel': 18, 'area': 1, 'density': 8, 'sub': 0}, {'uniq': 82, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 328, 'order_stop': 256}), ({'order': 3, 'pixel': 101, 'area': 1, 'density': -2, 'sub': 2}, {'uniq': 357, 'band_start': 256, 'cell_area': 0.0013020833333333333, 'cell_mass': -0.0026041666666666665, 'child_uniq': 1430, 'order_stop': 1024})], 3: [({'order': 2, 'pixel': 19, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 83, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 334, 'order_stop': 256}), ({'order': 0, 'pixel': 2, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 6, 'band_start': 4, 'cell_area': 0.08333333333333333, 'cell_mass': 0.6666666666666666, 'child_uniq': 26, 'order_stop': 16}), ({'order': 1, 'pixel': 7, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 23, 'band_start': 16, 'cell_area': 0.020833333333333332, 'cell_mass': 0.16666666666666666, 'child_uniq': 94, 'order_stop': 64}), ({'order': 2, 'pixel': 19, 'area': 1, 'density': 0, 'sub': 2}, {'uniq': 83, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.0, 'child_uniq': 334, 'order_stop': 256}), ({'order': 2, 'pixel': 19, 'area': 1, 'density': 8, 'sub': 0}, {'uniq': 83, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 332, 'order_stop': 256}), ({'order': 3, 'pixel': 102, 'area': 1, 'density': -2, 'sub': 2}, {'uniq': 358, 'band_start': 256, 'cell_area': 0.0013020833333333333, 'cell_mass': -0.0026041666666666665, 'child_uniq': 1434, 'order_stop': 1024})], 4: [({'order': 2, 'pixel': 20, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 84, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 338, 'order_stop': 256}), ({'order': 0, 'pixel': 3, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 7, 'band_start': 4, 'cell_area': 0.08333333333333333, 'cell_mass': 0.6666666666666666, 'child_uniq': 30, 'order_stop': 16}), ({'order': 1, 'pixel': 8, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 24, 'band_start': 16, 'cell_area': 0.020833333333333332, 'cell_mass': 0.16666666666666666, 'child_uniq': 98, 'order_stop': 64}), ({'order': 2, 'pixel': 20, 'area': 1, 'density': 0, 'sub': 2}, {'uniq': 84, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.0, 'child_uniq': 338, 'order_stop': 256}), ({'order': 2, 'pixel': 20, 'area': 1, 'density': 8, 'sub': 0}, {'uniq': 84, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 336, 'order_stop': 256}), ({'order': 3, 'pixel': 103, 'area': 1, 'density': -2, 'sub': 2}, {'uniq': 359, 'band_start': 256, 'cell_area': 0.0013020833333333333, 'cell_mass': -0.0026041666666666665, 'child_uniq': 1438, 'order_stop': 1024})], 5: [({'order': 2, 'pixel': 21, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 85, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 342, 'order_stop': 256}), ({'order': 0, 'pixel': 4, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 8, 'band_start': 4, 'cell_area': 0.08333333333333333, 'cell_mass': 0.6666666666666666, 'child_uniq': 34, 'order_stop': 16}), ({'order': 1, 'pixel': 9, 'area': 1, 'density': 8, 'sub': 2}, {'uniq': 25, 'band_start': 16, 'cell_area': 0.020833333333333332, 'cell_mass': 0.16666666666666666, 'child_uniq': 102, 'order_stop': 64}), ({'order': 2, 'pixel': 21, 'area': 1, 'density': 0, 'sub': 2}, {'uniq': 85, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.0, 'child_uniq': 342, 'order_stop': 256}), ({'order': 2, 'pixel': 21, 'area': 1, 'density': 8, 'sub': 0}, {'uniq': 85, 'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 340, 'order_stop': 256}), ({'order': 3, 'pixel': 104, 'area': 1, 'density': -2, 'sub': 2}, {'uniq': 360, 'band_start': 256, 'cell_area': 0.0013020833333333333, 'cell_mass': -0.0026041666666666665, 'child_uniq': 1442, 'order_stop': 1024})]}
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{'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 326, 'order_stop': 256, 'uniq': 81}{'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 326, 'order_stop': 256, 'uniq': 81}Passed
astronomical fixture 1{'band_start': 4, 'cell_area': 0.08333333333333333, 'cell_mass': 0.6666666666666666, 'child_uniq': 18, 'order_stop': 16, 'uniq': 4}{'band_start': 4, 'cell_area': 0.08333333333333333, 'cell_mass': 0.6666666666666666, 'child_uniq': 18, 'order_stop': 16, 'uniq': 4}Passed
astronomical fixture 2{'band_start': 16, 'cell_area': 0.020833333333333332, 'cell_mass': 0.16666666666666666, 'child_uniq': 86, 'order_stop': 64, 'uniq': 21}{'band_start': 16, 'cell_area': 0.020833333333333332, 'cell_mass': 0.16666666666666666, 'child_uniq': 86, 'order_stop': 64, 'uniq': 21}Passed
astronomical fixture 3{'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.0, 'child_uniq': 326, 'order_stop': 256, 'uniq': 81}{'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.0, 'child_uniq': 326, 'order_stop': 256, 'uniq': 81}Passed
astronomical fixture 4{'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 324, 'order_stop': 256, 'uniq': 81}{'band_start': 64, 'cell_area': 0.005208333333333333, 'cell_mass': 0.041666666666666664, 'child_uniq': 324, 'order_stop': 256, 'uniq': 81}Passed
astronomical fixture 5{'band_start': 256, 'cell_area': 0.0013020833333333333, 'cell_mass': -0.0026041666666666665, 'child_uniq': 1426, 'order_stop': 1024, 'uniq': 356}{'band_start': 256, 'cell_area': 0.0013020833333333333, 'cell_mass': -0.0026041666666666665, 'child_uniq': 1426, 'order_stop': 1024, 'uniq': 356}Passed

SHA-256 / 033700d75052a2539ad9fc73ecf706dc5f31469c8915c302c253a97b858c7922

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

Case digest / 572c3bbc4c4c355ac4232ebcd94173b07ba7227368626e2ea1f3cc53022146cd