{"abstract":"The adapter reports an incorrect cell mass while other fields remain valid.","category":"Astronomical coordinate conventions","checks":6,"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']","evaluation_group":"astro-multiorder-sky-cell-encoding","failed_approach":"A partial convention repair still uses d['density']/(12*2**d['order'])","family":"s3-astronomical-coordinate-conventions-multiorder-sky-cell-encoding-cell_mass","id":"FA-55936","implementations":{"attempt":{"sha256":"f220b1bef08ef07a493855a9e79460173848022eba57ac50f329b3df8fa9f635","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    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*2**d['order']), 'child_uniq': 4*4**(d['order']+1)+4*d['pixel']+d['sub'], 'order_stop': 16*4**d['order']}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {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})]}\nfor i, (record, expected) in enumerate(fixtures[N]):\n    check('astronomical fixture %s' % i, solve(record), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"75b0837fc93b45ad7eb5ae5d9e12683717926457c0806d062cb0dc7c6152554b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    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'], 'child_uniq': 4*4**(d['order']+1)+4*d['pixel']+d['sub'], 'order_stop': 16*4**d['order']}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {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})]}\nfor i, (record, expected) in enumerate(fixtures[N]):\n    check('astronomical fixture %s' % i, solve(record), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"033700d75052a2539ad9fc73ecf706dc5f31469c8915c302c253a97b858c7922","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    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']}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {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})]}\nfor i, (record, expected) in enumerate(fixtures[N]):\n    check('astronomical fixture %s' % i, solve(record), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-astronomical-coordinate-conventions-multiorder-sky-cell-encoding-cell_mass","generated_at":"2026-09-29T14:46:02.437595+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Catalog, detector, sky-coordinate, and spectroscopy adapters must preserve the association between numeric coordinates and their declared reference conventions.","repair":"Preserve the declared model convention at this site: d['density']/(12*4**d['order'])","root_cause":"Sky probability density is exported as cell probability without area conversion. Faulty expression: d['density']","sha256":"ec23e4182891d699bb3270d1d778f64dd7a849201f2daab6f68d2b71ebe74f6d","title":"Multiorder sky cell encoding: Sky probability density is exported as cell probability without area conversion · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.439,"exit_code":1,"observations":[{"actual":{"band_start":64,"cell_area":0.005208333333333333,"cell_mass":0.16666666666666666,"child_uniq":326,"order_stop":256,"uniq":81},"check":"astronomical fixture 0","expected":{"band_start":64,"cell_area":0.005208333333333333,"cell_mass":0.041666666666666664,"child_uniq":326,"order_stop":256,"uniq":81},"passed":false},{"actual":{"band_start":4,"cell_area":0.08333333333333333,"cell_mass":0.6666666666666666,"child_uniq":18,"order_stop":16,"uniq":4},"check":"astronomical fixture 1","expected":{"band_start":4,"cell_area":0.08333333333333333,"cell_mass":0.6666666666666666,"child_uniq":18,"order_stop":16,"uniq":4},"passed":true},{"actual":{"band_start":16,"cell_area":0.020833333333333332,"cell_mass":0.3333333333333333,"child_uniq":86,"order_stop":64,"uniq":21},"check":"astronomical fixture 2","expected":{"band_start":16,"cell_area":0.020833333333333332,"cell_mass":0.16666666666666666,"child_uniq":86,"order_stop":64,"uniq":21},"passed":false},{"actual":{"band_start":64,"cell_area":0.005208333333333333,"cell_mass":0.0,"child_uniq":326,"order_stop":256,"uniq":81},"check":"astronomical fixture 3","expected":{"band_start":64,"cell_area":0.005208333333333333,"cell_mass":0.0,"child_uniq":326,"order_stop":256,"uniq":81},"passed":true},{"actual":{"band_start":64,"cell_area":0.005208333333333333,"cell_mass":0.16666666666666666,"child_uniq":324,"order_stop":256,"uniq":81},"check":"astronomical fixture 4","expected":{"band_start":64,"cell_area":0.005208333333333333,"cell_mass":0.041666666666666664,"child_uniq":324,"order_stop":256,"uniq":81},"passed":false},{"actual":{"band_start":256,"cell_area":0.0013020833333333333,"cell_mass":-0.020833333333333332,"child_uniq":1426,"order_stop":1024,"uniq":356},"check":"astronomical fixture 5","expected":{"band_start":256,"cell_area":0.0013020833333333333,"cell_mass":-0.0026041666666666665,"child_uniq":1426,"order_stop":1024,"uniq":356},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"astronomical fixture 0\", \"actual\": {\"uniq\": 81, \"band_start\": 64, \"cell_area\": 0.005208333333333333, \"cell_mass\": 0.16666666666666666, \"child_uniq\": 326, \"order_stop\": 256}, \"expected\": {\"uniq\": 81, \"band_start\": 64, \"cell_area\": 0.005208333333333333, \"cell_mass\": 0.041666666666666664, \"child_uniq\": 326, \"order_stop\": 256}, \"passed\": false}, {\"check\": \"astronomical fixture 1\", \"actual\": {\"uniq\": 4, \"band_start\": 4, \"cell_area\": 0.08333333333333333, \"cell_mass\": 0.6666666666666666, \"child_uniq\": 18, \"order_stop\": 16}, \"expected\": {\"uniq\": 4, \"band_start\": 4, \"cell_area\": 0.08333333333333333, \"cell_mass\": 0.6666666666666666, \"child_uniq\": 18, \"order_stop\": 16}, \"passed\": true}, {\"check\": \"astronomical fixture 2\", \"actual\": {\"uniq\": 21, \"band_start\": 16, \"cell_area\": 0.020833333333333332, \"cell_mass\": 0.3333333333333333, \"child_uniq\": 86, \"order_stop\": 64}, \"expected\": {\"uniq\": 21, \"band_start\": 16, \"cell_area\": 0.020833333333333332, \"cell_mass\": 0.16666666666666666, \"child_uniq\": 86, \"order_stop\": 64}, \"passed\": false}, {\"check\": \"astronomical fixture 3\", \"actual\": {\"uniq\": 81, \"band_start\": 64, \"cell_area\": 0.005208333333333333, \"cell_mass\": 0.0, \"child_uniq\": 326, \"order_stop\": 256}, \"expected\": {\"uniq\": 81, \"band_start\": 64, \"cell_area\": 0.005208333333333333, \"cell_mass\": 0.0, \"child_uniq\": 326, \"order_stop\": 256}, \"passed\": true}, {\"check\": \"astronomical fixture 4\", \"actual\": {\"uniq\": 81, \"band_start\": 64, \"cell_area\": 0.005208333333333333, \"cell_mass\": 0.16666666666666666, \"child_uniq\": 324, \"order_stop\": 256}, \"expected\": {\"uniq\": 81, \"band_start\": 64, \"cell_area\": 0.005208333333333333, \"cell_mass\": 0.041666666666666664, \"child_uniq\": 324, \"order_stop\": 256}, \"passed\": false}, {\"check\": \"astronomical fixture 5\", \"actual\": {\"uniq\": 356, \"band_start\": 256, \"cell_area\": 0.0013020833333333333, \"cell_mass\": -0.020833333333333332, \"child_uniq\": 1426, \"order_stop\": 1024}, \"expected\": {\"uniq\": 356, \"band_start\": 256, \"cell_area\": 0.0013020833333333333, \"cell_mass\": -0.0026041666666666665, \"child_uniq\": 1426, \"order_stop\": 1024}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.672,"exit_code":1,"observations":[{"actual":{"band_start":64,"cell_area":0.005208333333333333,"cell_mass":8,"child_uniq":326,"order_stop":256,"uniq":81},"check":"astronomical fixture 0","expected":{"band_start":64,"cell_area":0.005208333333333333,"cell_mass":0.041666666666666664,"child_uniq":326,"order_stop":256,"uniq":81},"passed":false},{"actual":{"band_start":4,"cell_area":0.08333333333333333,"cell_mass":8,"child_uniq":18,"order_stop":16,"uniq":4},"check":"astronomical fixture 1","expected":{"band_start":4,"cell_area":0.08333333333333333,"cell_mass":0.6666666666666666,"child_uniq":18,"order_stop":16,"uniq":4},"passed":false},{"actual":{"band_start":16,"cell_area":0.020833333333333332,"cell_mass":8,"child_uniq":86,"order_stop":64,"uniq":21},"check":"astronomical fixture 2","expected":{"band_start":16,"cell_area":0.020833333333333332,"cell_mass":0.16666666666666666,"child_uniq":86,"order_stop":64,"uniq":21},"passed":false},{"actual":{"band_start":64,"cell_area":0.005208333333333333,"cell_mass":0,"child_uniq":326,"order_stop":256,"uniq":81},"check":"astronomical fixture 3","expected":{"band_start":64,"cell_area":0.005208333333333333,"cell_mass":0.0,"child_uniq":326,"order_stop":256,"uniq":81},"passed":true},{"actual":{"band_start":64,"cell_area":0.005208333333333333,"cell_mass":8,"child_uniq":324,"order_stop":256,"uniq":81},"check":"astronomical fixture 4","expected":{"band_start":64,"cell_area":0.005208333333333333,"cell_mass":0.041666666666666664,"child_uniq":324,"order_stop":256,"uniq":81},"passed":false},{"actual":{"band_start":256,"cell_area":0.0013020833333333333,"cell_mass":-2,"child_uniq":1426,"order_stop":1024,"uniq":356},"check":"astronomical fixture 5","expected":{"band_start":256,"cell_area":0.0013020833333333333,"cell_mass":-0.0026041666666666665,"child_uniq":1426,"order_stop":1024,"uniq":356},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"astronomical fixture 0\", \"actual\": {\"uniq\": 81, \"band_start\": 64, \"cell_area\": 0.005208333333333333, \"cell_mass\": 8, \"child_uniq\": 326, \"order_stop\": 256}, \"expected\": {\"uniq\": 81, \"band_start\": 64, \"cell_area\": 0.005208333333333333, \"cell_mass\": 0.041666666666666664, \"child_uniq\": 326, \"order_stop\": 256}, \"passed\": false}, {\"check\": \"astronomical fixture 1\", \"actual\": {\"uniq\": 4, \"band_start\": 4, \"cell_area\": 0.08333333333333333, \"cell_mass\": 8, \"child_uniq\": 18, \"order_stop\": 16}, \"expected\": {\"uniq\": 4, \"band_start\": 4, \"cell_area\": 0.08333333333333333, \"cell_mass\": 0.6666666666666666, \"child_uniq\": 18, \"order_stop\": 16}, \"passed\": false}, {\"check\": \"astronomical fixture 2\", \"actual\": {\"uniq\": 21, \"band_start\": 16, \"cell_area\": 0.020833333333333332, \"cell_mass\": 8, \"child_uniq\": 86, \"order_stop\": 64}, \"expected\": {\"uniq\": 21, \"band_start\": 16, \"cell_area\": 0.020833333333333332, \"cell_mass\": 0.16666666666666666, \"child_uniq\": 86, \"order_stop\": 64}, \"passed\": false}, {\"check\": \"astronomical fixture 3\", \"actual\": {\"uniq\": 81, \"band_start\": 64, \"cell_area\": 0.005208333333333333, \"cell_mass\": 0, \"child_uniq\": 326, \"order_stop\": 256}, \"expected\": {\"uniq\": 81, \"band_start\": 64, \"cell_area\": 0.005208333333333333, \"cell_mass\": 0.0, \"child_uniq\": 326, \"order_stop\": 256}, \"passed\": true}, {\"check\": \"astronomical fixture 4\", \"actual\": {\"uniq\": 81, \"band_start\": 64, \"cell_area\": 0.005208333333333333, \"cell_mass\": 8, \"child_uniq\": 324, \"order_stop\": 256}, \"expected\": {\"uniq\": 81, \"band_start\": 64, \"cell_area\": 0.005208333333333333, \"cell_mass\": 0.041666666666666664, \"child_uniq\": 324, \"order_stop\": 256}, \"passed\": false}, {\"check\": \"astronomical fixture 5\", \"actual\": {\"uniq\": 356, \"band_start\": 256, \"cell_area\": 0.0013020833333333333, \"cell_mass\": -2, \"child_uniq\": 1426, \"order_stop\": 1024}, \"expected\": {\"uniq\": 356, \"band_start\": 256, \"cell_area\": 0.0013020833333333333, \"cell_mass\": -0.0026041666666666665, \"child_uniq\": 1426, \"order_stop\": 1024}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":37.926,"exit_code":0,"observations":[{"actual":{"band_start":64,"cell_area":0.005208333333333333,"cell_mass":0.041666666666666664,"child_uniq":326,"order_stop":256,"uniq":81},"check":"astronomical fixture 0","expected":{"band_start":64,"cell_area":0.005208333333333333,"cell_mass":0.041666666666666664,"child_uniq":326,"order_stop":256,"uniq":81},"passed":true},{"actual":{"band_start":4,"cell_area":0.08333333333333333,"cell_mass":0.6666666666666666,"child_uniq":18,"order_stop":16,"uniq":4},"check":"astronomical fixture 1","expected":{"band_start":4,"cell_area":0.08333333333333333,"cell_mass":0.6666666666666666,"child_uniq":18,"order_stop":16,"uniq":4},"passed":true},{"actual":{"band_start":16,"cell_area":0.020833333333333332,"cell_mass":0.16666666666666666,"child_uniq":86,"order_stop":64,"uniq":21},"check":"astronomical fixture 2","expected":{"band_start":16,"cell_area":0.020833333333333332,"cell_mass":0.16666666666666666,"child_uniq":86,"order_stop":64,"uniq":21},"passed":true},{"actual":{"band_start":64,"cell_area":0.005208333333333333,"cell_mass":0.0,"child_uniq":326,"order_stop":256,"uniq":81},"check":"astronomical fixture 3","expected":{"band_start":64,"cell_area":0.005208333333333333,"cell_mass":0.0,"child_uniq":326,"order_stop":256,"uniq":81},"passed":true},{"actual":{"band_start":64,"cell_area":0.005208333333333333,"cell_mass":0.041666666666666664,"child_uniq":324,"order_stop":256,"uniq":81},"check":"astronomical fixture 4","expected":{"band_start":64,"cell_area":0.005208333333333333,"cell_mass":0.041666666666666664,"child_uniq":324,"order_stop":256,"uniq":81},"passed":true},{"actual":{"band_start":256,"cell_area":0.0013020833333333333,"cell_mass":-0.0026041666666666665,"child_uniq":1426,"order_stop":1024,"uniq":356},"check":"astronomical fixture 5","expected":{"band_start":256,"cell_area":0.0013020833333333333,"cell_mass":-0.0026041666666666665,"child_uniq":1426,"order_stop":1024,"uniq":356},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"astronomical fixture 0\", \"actual\": {\"uniq\": 81, \"band_start\": 64, \"cell_area\": 0.005208333333333333, \"cell_mass\": 0.041666666666666664, \"child_uniq\": 326, \"order_stop\": 256}, \"expected\": {\"uniq\": 81, \"band_start\": 64, \"cell_area\": 0.005208333333333333, \"cell_mass\": 0.041666666666666664, \"child_uniq\": 326, \"order_stop\": 256}, \"passed\": true}, {\"check\": \"astronomical fixture 1\", \"actual\": {\"uniq\": 4, \"band_start\": 4, \"cell_area\": 0.08333333333333333, \"cell_mass\": 0.6666666666666666, \"child_uniq\": 18, \"order_stop\": 16}, \"expected\": {\"uniq\": 4, \"band_start\": 4, \"cell_area\": 0.08333333333333333, \"cell_mass\": 0.6666666666666666, \"child_uniq\": 18, \"order_stop\": 16}, \"passed\": true}, {\"check\": \"astronomical fixture 2\", \"actual\": {\"uniq\": 21, \"band_start\": 16, \"cell_area\": 0.020833333333333332, \"cell_mass\": 0.16666666666666666, \"child_uniq\": 86, \"order_stop\": 64}, \"expected\": {\"uniq\": 21, \"band_start\": 16, \"cell_area\": 0.020833333333333332, \"cell_mass\": 0.16666666666666666, \"child_uniq\": 86, \"order_stop\": 64}, \"passed\": true}, {\"check\": \"astronomical fixture 3\", \"actual\": {\"uniq\": 81, \"band_start\": 64, \"cell_area\": 0.005208333333333333, \"cell_mass\": 0.0, \"child_uniq\": 326, \"order_stop\": 256}, \"expected\": {\"uniq\": 81, \"band_start\": 64, \"cell_area\": 0.005208333333333333, \"cell_mass\": 0.0, \"child_uniq\": 326, \"order_stop\": 256}, \"passed\": true}, {\"check\": \"astronomical fixture 4\", \"actual\": {\"uniq\": 81, \"band_start\": 64, \"cell_area\": 0.005208333333333333, \"cell_mass\": 0.041666666666666664, \"child_uniq\": 324, \"order_stop\": 256}, \"expected\": {\"uniq\": 81, \"band_start\": 64, \"cell_area\": 0.005208333333333333, \"cell_mass\": 0.041666666666666664, \"child_uniq\": 324, \"order_stop\": 256}, \"passed\": true}, {\"check\": \"astronomical fixture 5\", \"actual\": {\"uniq\": 356, \"band_start\": 256, \"cell_area\": 0.0013020833333333333, \"cell_mass\": -0.0026041666666666665, \"child_uniq\": 1426, \"order_stop\": 1024}, \"expected\": {\"uniq\": 356, \"band_start\": 256, \"cell_area\": 0.0013020833333333333, \"cell_mass\": -0.0026041666666666665, \"child_uniq\": 1426, \"order_stop\": 1024}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}