{"abstract":"The adapter reports an incorrect signed bin while other fields remain valid.","category":"Astronomical coordinate conventions","checks":6,"contract":"An even-length complex radio spectrum has N channels and bandwidth B. Unshifted bin k has signed index k below N/2 and k-N otherwise, including negative Nyquist. After fftshift index j denotes j-N/2. Local oscillator L translates baseband to sky frequency. Output fields are defined by: signed_bin = d['k'] if d['k']<d['N']//2 else d['k']-d['N']; baseband_frequency = (d['k'] if d['k']<d['N']//2 else d['k']-d['N'])*d['B']/d['N']; shifted_frequency = (d['j']-d['N']//2)*d['B']/d['N']; sky_frequency = d['L']+(d['k'] if d['k']<d['N']//2 else d['k']-d['N'])*d['B']/d['N']; shifted_index = (d['k']+d['N']//2)%d['N']; channel_width = d['B']/d['N']","evaluation_group":"astro-radio-fft-channel-labels","failed_approach":"A partial convention repair still uses d['k'] if d['k']<=d['N']//2 else d['k']-d['N']","family":"s3-astronomical-coordinate-conventions-radio-fft-channel-labels-signed_bin","id":"FA-56101","implementations":{"attempt":{"sha256":"d859060cc0b774dfaf94687ab0bb6c17202e5b8aa90ffdf9c4d3074bac7ddc7a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'signed_bin': d['k'] if d['k']<=d['N']//2 else d['k']-d['N'], 'baseband_frequency': (d['k'] if d['k']<d['N']//2 else d['k']-d['N'])*d['B']/d['N'], 'shifted_frequency': (d['j']-d['N']//2)*d['B']/d['N'], 'sky_frequency': d['L']+(d['k'] if d['k']<d['N']//2 else d['k']-d['N'])*d['B']/d['N'], 'shifted_index': (d['k']+d['N']//2)%d['N'], 'channel_width': d['B']/d['N']}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'N': 8, 'B': 16, 'k': 2, 'j': 1, 'L': 100, 'offset': 0}, {'signed_bin': 2, 'baseband_frequency': 4.0, 'shifted_frequency': -6.0, 'sky_frequency': 104.0, 'shifted_index': 6, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 0, 'j': 4, 'L': 100, 'offset': 0}, {'signed_bin': 0, 'baseband_frequency': 0.0, 'shifted_frequency': 0.0, 'sky_frequency': 100.0, 'shifted_index': 4, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 4, 'j': 0, 'L': 100, 'offset': 0}, {'signed_bin': -4, 'baseband_frequency': -8.0, 'shifted_frequency': -8.0, 'sky_frequency': 92.0, 'shifted_index': 0, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 7, 'j': 7, 'L': 100, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -2.0, 'shifted_frequency': 6.0, 'sky_frequency': 98.0, 'shifted_index': 3, 'channel_width': 2.0}), ({'N': 4, 'B': 16, 'k': 3, 'j': 3, 'L': 100, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -4.0, 'shifted_frequency': 4.0, 'sky_frequency': 96.0, 'shifted_index': 1, 'channel_width': 4.0}), ({'N': 8, 'B': 8, 'k': 1, 'j': 1, 'L': 100, 'offset': 0}, {'signed_bin': 1, 'baseband_frequency': 1.0, 'shifted_frequency': -3.0, 'sky_frequency': 101.0, 'shifted_index': 5, 'channel_width': 1.0})], 2: [({'N': 8, 'B': 16, 'k': 2, 'j': 1, 'L': 101, 'offset': 0}, {'signed_bin': 2, 'baseband_frequency': 4.0, 'shifted_frequency': -6.0, 'sky_frequency': 105.0, 'shifted_index': 6, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 0, 'j': 4, 'L': 101, 'offset': 0}, {'signed_bin': 0, 'baseband_frequency': 0.0, 'shifted_frequency': 0.0, 'sky_frequency': 101.0, 'shifted_index': 4, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 4, 'j': 0, 'L': 101, 'offset': 0}, {'signed_bin': -4, 'baseband_frequency': -8.0, 'shifted_frequency': -8.0, 'sky_frequency': 93.0, 'shifted_index': 0, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 7, 'j': 7, 'L': 101, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -2.0, 'shifted_frequency': 6.0, 'sky_frequency': 99.0, 'shifted_index': 3, 'channel_width': 2.0}), ({'N': 4, 'B': 16, 'k': 3, 'j': 3, 'L': 101, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -4.0, 'shifted_frequency': 4.0, 'sky_frequency': 97.0, 'shifted_index': 1, 'channel_width': 4.0}), ({'N': 8, 'B': 8, 'k': 1, 'j': 1, 'L': 101, 'offset': 0}, {'signed_bin': 1, 'baseband_frequency': 1.0, 'shifted_frequency': -3.0, 'sky_frequency': 102.0, 'shifted_index': 5, 'channel_width': 1.0})], 3: [({'N': 8, 'B': 16, 'k': 2, 'j': 1, 'L': 102, 'offset': 0}, {'signed_bin': 2, 'baseband_frequency': 4.0, 'shifted_frequency': -6.0, 'sky_frequency': 106.0, 'shifted_index': 6, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 0, 'j': 4, 'L': 102, 'offset': 0}, {'signed_bin': 0, 'baseband_frequency': 0.0, 'shifted_frequency': 0.0, 'sky_frequency': 102.0, 'shifted_index': 4, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 4, 'j': 0, 'L': 102, 'offset': 0}, {'signed_bin': -4, 'baseband_frequency': -8.0, 'shifted_frequency': -8.0, 'sky_frequency': 94.0, 'shifted_index': 0, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 7, 'j': 7, 'L': 102, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -2.0, 'shifted_frequency': 6.0, 'sky_frequency': 100.0, 'shifted_index': 3, 'channel_width': 2.0}), ({'N': 4, 'B': 16, 'k': 3, 'j': 3, 'L': 102, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -4.0, 'shifted_frequency': 4.0, 'sky_frequency': 98.0, 'shifted_index': 1, 'channel_width': 4.0}), ({'N': 8, 'B': 8, 'k': 1, 'j': 1, 'L': 102, 'offset': 0}, {'signed_bin': 1, 'baseband_frequency': 1.0, 'shifted_frequency': -3.0, 'sky_frequency': 103.0, 'shifted_index': 5, 'channel_width': 1.0})], 4: [({'N': 8, 'B': 16, 'k': 2, 'j': 1, 'L': 103, 'offset': 0}, {'signed_bin': 2, 'baseband_frequency': 4.0, 'shifted_frequency': -6.0, 'sky_frequency': 107.0, 'shifted_index': 6, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 0, 'j': 4, 'L': 103, 'offset': 0}, {'signed_bin': 0, 'baseband_frequency': 0.0, 'shifted_frequency': 0.0, 'sky_frequency': 103.0, 'shifted_index': 4, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 4, 'j': 0, 'L': 103, 'offset': 0}, {'signed_bin': -4, 'baseband_frequency': -8.0, 'shifted_frequency': -8.0, 'sky_frequency': 95.0, 'shifted_index': 0, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 7, 'j': 7, 'L': 103, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -2.0, 'shifted_frequency': 6.0, 'sky_frequency': 101.0, 'shifted_index': 3, 'channel_width': 2.0}), ({'N': 4, 'B': 16, 'k': 3, 'j': 3, 'L': 103, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -4.0, 'shifted_frequency': 4.0, 'sky_frequency': 99.0, 'shifted_index': 1, 'channel_width': 4.0}), ({'N': 8, 'B': 8, 'k': 1, 'j': 1, 'L': 103, 'offset': 0}, {'signed_bin': 1, 'baseband_frequency': 1.0, 'shifted_frequency': -3.0, 'sky_frequency': 104.0, 'shifted_index': 5, 'channel_width': 1.0})], 5: [({'N': 8, 'B': 16, 'k': 2, 'j': 1, 'L': 104, 'offset': 0}, {'signed_bin': 2, 'baseband_frequency': 4.0, 'shifted_frequency': -6.0, 'sky_frequency': 108.0, 'shifted_index': 6, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 0, 'j': 4, 'L': 104, 'offset': 0}, {'signed_bin': 0, 'baseband_frequency': 0.0, 'shifted_frequency': 0.0, 'sky_frequency': 104.0, 'shifted_index': 4, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 4, 'j': 0, 'L': 104, 'offset': 0}, {'signed_bin': -4, 'baseband_frequency': -8.0, 'shifted_frequency': -8.0, 'sky_frequency': 96.0, 'shifted_index': 0, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 7, 'j': 7, 'L': 104, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -2.0, 'shifted_frequency': 6.0, 'sky_frequency': 102.0, 'shifted_index': 3, 'channel_width': 2.0}), ({'N': 4, 'B': 16, 'k': 3, 'j': 3, 'L': 104, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -4.0, 'shifted_frequency': 4.0, 'sky_frequency': 100.0, 'shifted_index': 1, 'channel_width': 4.0}), ({'N': 8, 'B': 8, 'k': 1, 'j': 1, 'L': 104, 'offset': 0}, {'signed_bin': 1, 'baseband_frequency': 1.0, 'shifted_frequency': -3.0, 'sky_frequency': 105.0, 'shifted_index': 5, 'channel_width': 1.0})]}\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":"791d3422169c519bdf34e3dd20b76f0fcb60c38a09b4df6142efdeac7ac69520","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'signed_bin': d['k'], 'baseband_frequency': (d['k'] if d['k']<d['N']//2 else d['k']-d['N'])*d['B']/d['N'], 'shifted_frequency': (d['j']-d['N']//2)*d['B']/d['N'], 'sky_frequency': d['L']+(d['k'] if d['k']<d['N']//2 else d['k']-d['N'])*d['B']/d['N'], 'shifted_index': (d['k']+d['N']//2)%d['N'], 'channel_width': d['B']/d['N']}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'N': 8, 'B': 16, 'k': 2, 'j': 1, 'L': 100, 'offset': 0}, {'signed_bin': 2, 'baseband_frequency': 4.0, 'shifted_frequency': -6.0, 'sky_frequency': 104.0, 'shifted_index': 6, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 0, 'j': 4, 'L': 100, 'offset': 0}, {'signed_bin': 0, 'baseband_frequency': 0.0, 'shifted_frequency': 0.0, 'sky_frequency': 100.0, 'shifted_index': 4, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 4, 'j': 0, 'L': 100, 'offset': 0}, {'signed_bin': -4, 'baseband_frequency': -8.0, 'shifted_frequency': -8.0, 'sky_frequency': 92.0, 'shifted_index': 0, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 7, 'j': 7, 'L': 100, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -2.0, 'shifted_frequency': 6.0, 'sky_frequency': 98.0, 'shifted_index': 3, 'channel_width': 2.0}), ({'N': 4, 'B': 16, 'k': 3, 'j': 3, 'L': 100, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -4.0, 'shifted_frequency': 4.0, 'sky_frequency': 96.0, 'shifted_index': 1, 'channel_width': 4.0}), ({'N': 8, 'B': 8, 'k': 1, 'j': 1, 'L': 100, 'offset': 0}, {'signed_bin': 1, 'baseband_frequency': 1.0, 'shifted_frequency': -3.0, 'sky_frequency': 101.0, 'shifted_index': 5, 'channel_width': 1.0})], 2: [({'N': 8, 'B': 16, 'k': 2, 'j': 1, 'L': 101, 'offset': 0}, {'signed_bin': 2, 'baseband_frequency': 4.0, 'shifted_frequency': -6.0, 'sky_frequency': 105.0, 'shifted_index': 6, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 0, 'j': 4, 'L': 101, 'offset': 0}, {'signed_bin': 0, 'baseband_frequency': 0.0, 'shifted_frequency': 0.0, 'sky_frequency': 101.0, 'shifted_index': 4, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 4, 'j': 0, 'L': 101, 'offset': 0}, {'signed_bin': -4, 'baseband_frequency': -8.0, 'shifted_frequency': -8.0, 'sky_frequency': 93.0, 'shifted_index': 0, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 7, 'j': 7, 'L': 101, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -2.0, 'shifted_frequency': 6.0, 'sky_frequency': 99.0, 'shifted_index': 3, 'channel_width': 2.0}), ({'N': 4, 'B': 16, 'k': 3, 'j': 3, 'L': 101, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -4.0, 'shifted_frequency': 4.0, 'sky_frequency': 97.0, 'shifted_index': 1, 'channel_width': 4.0}), ({'N': 8, 'B': 8, 'k': 1, 'j': 1, 'L': 101, 'offset': 0}, {'signed_bin': 1, 'baseband_frequency': 1.0, 'shifted_frequency': -3.0, 'sky_frequency': 102.0, 'shifted_index': 5, 'channel_width': 1.0})], 3: [({'N': 8, 'B': 16, 'k': 2, 'j': 1, 'L': 102, 'offset': 0}, {'signed_bin': 2, 'baseband_frequency': 4.0, 'shifted_frequency': -6.0, 'sky_frequency': 106.0, 'shifted_index': 6, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 0, 'j': 4, 'L': 102, 'offset': 0}, {'signed_bin': 0, 'baseband_frequency': 0.0, 'shifted_frequency': 0.0, 'sky_frequency': 102.0, 'shifted_index': 4, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 4, 'j': 0, 'L': 102, 'offset': 0}, {'signed_bin': -4, 'baseband_frequency': -8.0, 'shifted_frequency': -8.0, 'sky_frequency': 94.0, 'shifted_index': 0, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 7, 'j': 7, 'L': 102, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -2.0, 'shifted_frequency': 6.0, 'sky_frequency': 100.0, 'shifted_index': 3, 'channel_width': 2.0}), ({'N': 4, 'B': 16, 'k': 3, 'j': 3, 'L': 102, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -4.0, 'shifted_frequency': 4.0, 'sky_frequency': 98.0, 'shifted_index': 1, 'channel_width': 4.0}), ({'N': 8, 'B': 8, 'k': 1, 'j': 1, 'L': 102, 'offset': 0}, {'signed_bin': 1, 'baseband_frequency': 1.0, 'shifted_frequency': -3.0, 'sky_frequency': 103.0, 'shifted_index': 5, 'channel_width': 1.0})], 4: [({'N': 8, 'B': 16, 'k': 2, 'j': 1, 'L': 103, 'offset': 0}, {'signed_bin': 2, 'baseband_frequency': 4.0, 'shifted_frequency': -6.0, 'sky_frequency': 107.0, 'shifted_index': 6, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 0, 'j': 4, 'L': 103, 'offset': 0}, {'signed_bin': 0, 'baseband_frequency': 0.0, 'shifted_frequency': 0.0, 'sky_frequency': 103.0, 'shifted_index': 4, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 4, 'j': 0, 'L': 103, 'offset': 0}, {'signed_bin': -4, 'baseband_frequency': -8.0, 'shifted_frequency': -8.0, 'sky_frequency': 95.0, 'shifted_index': 0, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 7, 'j': 7, 'L': 103, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -2.0, 'shifted_frequency': 6.0, 'sky_frequency': 101.0, 'shifted_index': 3, 'channel_width': 2.0}), ({'N': 4, 'B': 16, 'k': 3, 'j': 3, 'L': 103, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -4.0, 'shifted_frequency': 4.0, 'sky_frequency': 99.0, 'shifted_index': 1, 'channel_width': 4.0}), ({'N': 8, 'B': 8, 'k': 1, 'j': 1, 'L': 103, 'offset': 0}, {'signed_bin': 1, 'baseband_frequency': 1.0, 'shifted_frequency': -3.0, 'sky_frequency': 104.0, 'shifted_index': 5, 'channel_width': 1.0})], 5: [({'N': 8, 'B': 16, 'k': 2, 'j': 1, 'L': 104, 'offset': 0}, {'signed_bin': 2, 'baseband_frequency': 4.0, 'shifted_frequency': -6.0, 'sky_frequency': 108.0, 'shifted_index': 6, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 0, 'j': 4, 'L': 104, 'offset': 0}, {'signed_bin': 0, 'baseband_frequency': 0.0, 'shifted_frequency': 0.0, 'sky_frequency': 104.0, 'shifted_index': 4, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 4, 'j': 0, 'L': 104, 'offset': 0}, {'signed_bin': -4, 'baseband_frequency': -8.0, 'shifted_frequency': -8.0, 'sky_frequency': 96.0, 'shifted_index': 0, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 7, 'j': 7, 'L': 104, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -2.0, 'shifted_frequency': 6.0, 'sky_frequency': 102.0, 'shifted_index': 3, 'channel_width': 2.0}), ({'N': 4, 'B': 16, 'k': 3, 'j': 3, 'L': 104, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -4.0, 'shifted_frequency': 4.0, 'sky_frequency': 100.0, 'shifted_index': 1, 'channel_width': 4.0}), ({'N': 8, 'B': 8, 'k': 1, 'j': 1, 'L': 104, 'offset': 0}, {'signed_bin': 1, 'baseband_frequency': 1.0, 'shifted_frequency': -3.0, 'sky_frequency': 105.0, 'shifted_index': 5, 'channel_width': 1.0})]}\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":"c58d6308919ac487231504e7f1e05bee305b69cffd1fbc7dc4ff40864cb57bac","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'signed_bin': d['k'] if d['k']<d['N']//2 else d['k']-d['N'], 'baseband_frequency': (d['k'] if d['k']<d['N']//2 else d['k']-d['N'])*d['B']/d['N'], 'shifted_frequency': (d['j']-d['N']//2)*d['B']/d['N'], 'sky_frequency': d['L']+(d['k'] if d['k']<d['N']//2 else d['k']-d['N'])*d['B']/d['N'], 'shifted_index': (d['k']+d['N']//2)%d['N'], 'channel_width': d['B']/d['N']}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'N': 8, 'B': 16, 'k': 2, 'j': 1, 'L': 100, 'offset': 0}, {'signed_bin': 2, 'baseband_frequency': 4.0, 'shifted_frequency': -6.0, 'sky_frequency': 104.0, 'shifted_index': 6, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 0, 'j': 4, 'L': 100, 'offset': 0}, {'signed_bin': 0, 'baseband_frequency': 0.0, 'shifted_frequency': 0.0, 'sky_frequency': 100.0, 'shifted_index': 4, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 4, 'j': 0, 'L': 100, 'offset': 0}, {'signed_bin': -4, 'baseband_frequency': -8.0, 'shifted_frequency': -8.0, 'sky_frequency': 92.0, 'shifted_index': 0, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 7, 'j': 7, 'L': 100, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -2.0, 'shifted_frequency': 6.0, 'sky_frequency': 98.0, 'shifted_index': 3, 'channel_width': 2.0}), ({'N': 4, 'B': 16, 'k': 3, 'j': 3, 'L': 100, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -4.0, 'shifted_frequency': 4.0, 'sky_frequency': 96.0, 'shifted_index': 1, 'channel_width': 4.0}), ({'N': 8, 'B': 8, 'k': 1, 'j': 1, 'L': 100, 'offset': 0}, {'signed_bin': 1, 'baseband_frequency': 1.0, 'shifted_frequency': -3.0, 'sky_frequency': 101.0, 'shifted_index': 5, 'channel_width': 1.0})], 2: [({'N': 8, 'B': 16, 'k': 2, 'j': 1, 'L': 101, 'offset': 0}, {'signed_bin': 2, 'baseband_frequency': 4.0, 'shifted_frequency': -6.0, 'sky_frequency': 105.0, 'shifted_index': 6, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 0, 'j': 4, 'L': 101, 'offset': 0}, {'signed_bin': 0, 'baseband_frequency': 0.0, 'shifted_frequency': 0.0, 'sky_frequency': 101.0, 'shifted_index': 4, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 4, 'j': 0, 'L': 101, 'offset': 0}, {'signed_bin': -4, 'baseband_frequency': -8.0, 'shifted_frequency': -8.0, 'sky_frequency': 93.0, 'shifted_index': 0, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 7, 'j': 7, 'L': 101, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -2.0, 'shifted_frequency': 6.0, 'sky_frequency': 99.0, 'shifted_index': 3, 'channel_width': 2.0}), ({'N': 4, 'B': 16, 'k': 3, 'j': 3, 'L': 101, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -4.0, 'shifted_frequency': 4.0, 'sky_frequency': 97.0, 'shifted_index': 1, 'channel_width': 4.0}), ({'N': 8, 'B': 8, 'k': 1, 'j': 1, 'L': 101, 'offset': 0}, {'signed_bin': 1, 'baseband_frequency': 1.0, 'shifted_frequency': -3.0, 'sky_frequency': 102.0, 'shifted_index': 5, 'channel_width': 1.0})], 3: [({'N': 8, 'B': 16, 'k': 2, 'j': 1, 'L': 102, 'offset': 0}, {'signed_bin': 2, 'baseband_frequency': 4.0, 'shifted_frequency': -6.0, 'sky_frequency': 106.0, 'shifted_index': 6, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 0, 'j': 4, 'L': 102, 'offset': 0}, {'signed_bin': 0, 'baseband_frequency': 0.0, 'shifted_frequency': 0.0, 'sky_frequency': 102.0, 'shifted_index': 4, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 4, 'j': 0, 'L': 102, 'offset': 0}, {'signed_bin': -4, 'baseband_frequency': -8.0, 'shifted_frequency': -8.0, 'sky_frequency': 94.0, 'shifted_index': 0, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 7, 'j': 7, 'L': 102, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -2.0, 'shifted_frequency': 6.0, 'sky_frequency': 100.0, 'shifted_index': 3, 'channel_width': 2.0}), ({'N': 4, 'B': 16, 'k': 3, 'j': 3, 'L': 102, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -4.0, 'shifted_frequency': 4.0, 'sky_frequency': 98.0, 'shifted_index': 1, 'channel_width': 4.0}), ({'N': 8, 'B': 8, 'k': 1, 'j': 1, 'L': 102, 'offset': 0}, {'signed_bin': 1, 'baseband_frequency': 1.0, 'shifted_frequency': -3.0, 'sky_frequency': 103.0, 'shifted_index': 5, 'channel_width': 1.0})], 4: [({'N': 8, 'B': 16, 'k': 2, 'j': 1, 'L': 103, 'offset': 0}, {'signed_bin': 2, 'baseband_frequency': 4.0, 'shifted_frequency': -6.0, 'sky_frequency': 107.0, 'shifted_index': 6, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 0, 'j': 4, 'L': 103, 'offset': 0}, {'signed_bin': 0, 'baseband_frequency': 0.0, 'shifted_frequency': 0.0, 'sky_frequency': 103.0, 'shifted_index': 4, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 4, 'j': 0, 'L': 103, 'offset': 0}, {'signed_bin': -4, 'baseband_frequency': -8.0, 'shifted_frequency': -8.0, 'sky_frequency': 95.0, 'shifted_index': 0, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 7, 'j': 7, 'L': 103, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -2.0, 'shifted_frequency': 6.0, 'sky_frequency': 101.0, 'shifted_index': 3, 'channel_width': 2.0}), ({'N': 4, 'B': 16, 'k': 3, 'j': 3, 'L': 103, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -4.0, 'shifted_frequency': 4.0, 'sky_frequency': 99.0, 'shifted_index': 1, 'channel_width': 4.0}), ({'N': 8, 'B': 8, 'k': 1, 'j': 1, 'L': 103, 'offset': 0}, {'signed_bin': 1, 'baseband_frequency': 1.0, 'shifted_frequency': -3.0, 'sky_frequency': 104.0, 'shifted_index': 5, 'channel_width': 1.0})], 5: [({'N': 8, 'B': 16, 'k': 2, 'j': 1, 'L': 104, 'offset': 0}, {'signed_bin': 2, 'baseband_frequency': 4.0, 'shifted_frequency': -6.0, 'sky_frequency': 108.0, 'shifted_index': 6, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 0, 'j': 4, 'L': 104, 'offset': 0}, {'signed_bin': 0, 'baseband_frequency': 0.0, 'shifted_frequency': 0.0, 'sky_frequency': 104.0, 'shifted_index': 4, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 4, 'j': 0, 'L': 104, 'offset': 0}, {'signed_bin': -4, 'baseband_frequency': -8.0, 'shifted_frequency': -8.0, 'sky_frequency': 96.0, 'shifted_index': 0, 'channel_width': 2.0}), ({'N': 8, 'B': 16, 'k': 7, 'j': 7, 'L': 104, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -2.0, 'shifted_frequency': 6.0, 'sky_frequency': 102.0, 'shifted_index': 3, 'channel_width': 2.0}), ({'N': 4, 'B': 16, 'k': 3, 'j': 3, 'L': 104, 'offset': 0}, {'signed_bin': -1, 'baseband_frequency': -4.0, 'shifted_frequency': 4.0, 'sky_frequency': 100.0, 'shifted_index': 1, 'channel_width': 4.0}), ({'N': 8, 'B': 8, 'k': 1, 'j': 1, 'L': 104, 'offset': 0}, {'signed_bin': 1, 'baseband_frequency': 1.0, 'shifted_frequency': -3.0, 'sky_frequency': 105.0, 'shifted_index': 5, 'channel_width': 1.0})]}\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-radio-fft-channel-labels-signed_bin","generated_at":"2026-09-29T14:46:03.986954+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['k'] if d['k']<d['N']//2 else d['k']-d['N']","root_cause":"Complex FFT frequency labeling assigns positive Nyquist to the radio band. Faulty expression: d['k']","sha256":"aa9cabfb3192ce97d60b1adec451b49434c27155e20fbe0bfb877333379a0e3e","title":"Radio fft channel labels: Complex FFT frequency labeling assigns positive Nyquist to the radio band · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.918,"exit_code":1,"observations":[{"actual":{"baseband_frequency":4.0,"channel_width":2.0,"shifted_frequency":-6.0,"shifted_index":6,"signed_bin":2,"sky_frequency":104.0},"check":"astronomical fixture 0","expected":{"baseband_frequency":4.0,"channel_width":2.0,"shifted_frequency":-6.0,"shifted_index":6,"signed_bin":2,"sky_frequency":104.0},"passed":true},{"actual":{"baseband_frequency":0.0,"channel_width":2.0,"shifted_frequency":0.0,"shifted_index":4,"signed_bin":0,"sky_frequency":100.0},"check":"astronomical fixture 1","expected":{"baseband_frequency":0.0,"channel_width":2.0,"shifted_frequency":0.0,"shifted_index":4,"signed_bin":0,"sky_frequency":100.0},"passed":true},{"actual":{"baseband_frequency":-8.0,"channel_width":2.0,"shifted_frequency":-8.0,"shifted_index":0,"signed_bin":4,"sky_frequency":92.0},"check":"astronomical fixture 2","expected":{"baseband_frequency":-8.0,"channel_width":2.0,"shifted_frequency":-8.0,"shifted_index":0,"signed_bin":-4,"sky_frequency":92.0},"passed":false},{"actual":{"baseband_frequency":-2.0,"channel_width":2.0,"shifted_frequency":6.0,"shifted_index":3,"signed_bin":-1,"sky_frequency":98.0},"check":"astronomical fixture 3","expected":{"baseband_frequency":-2.0,"channel_width":2.0,"shifted_frequency":6.0,"shifted_index":3,"signed_bin":-1,"sky_frequency":98.0},"passed":true},{"actual":{"baseband_frequency":-4.0,"channel_width":4.0,"shifted_frequency":4.0,"shifted_index":1,"signed_bin":-1,"sky_frequency":96.0},"check":"astronomical fixture 4","expected":{"baseband_frequency":-4.0,"channel_width":4.0,"shifted_frequency":4.0,"shifted_index":1,"signed_bin":-1,"sky_frequency":96.0},"passed":true},{"actual":{"baseband_frequency":1.0,"channel_width":1.0,"shifted_frequency":-3.0,"shifted_index":5,"signed_bin":1,"sky_frequency":101.0},"check":"astronomical fixture 5","expected":{"baseband_frequency":1.0,"channel_width":1.0,"shifted_frequency":-3.0,"shifted_index":5,"signed_bin":1,"sky_frequency":101.0},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"astronomical fixture 0\", \"actual\": {\"signed_bin\": 2, \"baseband_frequency\": 4.0, \"shifted_frequency\": -6.0, \"sky_frequency\": 104.0, \"shifted_index\": 6, \"channel_width\": 2.0}, \"expected\": {\"signed_bin\": 2, \"baseband_frequency\": 4.0, \"shifted_frequency\": -6.0, \"sky_frequency\": 104.0, \"shifted_index\": 6, \"channel_width\": 2.0}, \"passed\": true}, {\"check\": \"astronomical fixture 1\", \"actual\": {\"signed_bin\": 0, \"baseband_frequency\": 0.0, \"shifted_frequency\": 0.0, \"sky_frequency\": 100.0, \"shifted_index\": 4, \"channel_width\": 2.0}, \"expected\": {\"signed_bin\": 0, \"baseband_frequency\": 0.0, \"shifted_frequency\": 0.0, \"sky_frequency\": 100.0, \"shifted_index\": 4, \"channel_width\": 2.0}, \"passed\": true}, {\"check\": \"astronomical fixture 2\", \"actual\": {\"signed_bin\": 4, \"baseband_frequency\": -8.0, \"shifted_frequency\": -8.0, \"sky_frequency\": 92.0, \"shifted_index\": 0, \"channel_width\": 2.0}, \"expected\": {\"signed_bin\": -4, \"baseband_frequency\": -8.0, \"shifted_frequency\": -8.0, \"sky_frequency\": 92.0, \"shifted_index\": 0, \"channel_width\": 2.0}, \"passed\": false}, {\"check\": \"astronomical fixture 3\", \"actual\": {\"signed_bin\": -1, \"baseband_frequency\": -2.0, \"shifted_frequency\": 6.0, \"sky_frequency\": 98.0, \"shifted_index\": 3, \"channel_width\": 2.0}, \"expected\": {\"signed_bin\": -1, \"baseband_frequency\": -2.0, \"shifted_frequency\": 6.0, \"sky_frequency\": 98.0, \"shifted_index\": 3, \"channel_width\": 2.0}, \"passed\": true}, {\"check\": \"astronomical fixture 4\", \"actual\": {\"signed_bin\": -1, \"baseband_frequency\": -4.0, \"shifted_frequency\": 4.0, \"sky_frequency\": 96.0, \"shifted_index\": 1, \"channel_width\": 4.0}, \"expected\": {\"signed_bin\": -1, \"baseband_frequency\": -4.0, \"shifted_frequency\": 4.0, \"sky_frequency\": 96.0, \"shifted_index\": 1, \"channel_width\": 4.0}, \"passed\": true}, {\"check\": \"astronomical fixture 5\", \"actual\": {\"signed_bin\": 1, \"baseband_frequency\": 1.0, \"shifted_frequency\": -3.0, \"sky_frequency\": 101.0, \"shifted_index\": 5, \"channel_width\": 1.0}, \"expected\": {\"signed_bin\": 1, \"baseband_frequency\": 1.0, \"shifted_frequency\": -3.0, \"sky_frequency\": 101.0, \"shifted_index\": 5, \"channel_width\": 1.0}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.107,"exit_code":1,"observations":[{"actual":{"baseband_frequency":4.0,"channel_width":2.0,"shifted_frequency":-6.0,"shifted_index":6,"signed_bin":2,"sky_frequency":104.0},"check":"astronomical fixture 0","expected":{"baseband_frequency":4.0,"channel_width":2.0,"shifted_frequency":-6.0,"shifted_index":6,"signed_bin":2,"sky_frequency":104.0},"passed":true},{"actual":{"baseband_frequency":0.0,"channel_width":2.0,"shifted_frequency":0.0,"shifted_index":4,"signed_bin":0,"sky_frequency":100.0},"check":"astronomical fixture 1","expected":{"baseband_frequency":0.0,"channel_width":2.0,"shifted_frequency":0.0,"shifted_index":4,"signed_bin":0,"sky_frequency":100.0},"passed":true},{"actual":{"baseband_frequency":-8.0,"channel_width":2.0,"shifted_frequency":-8.0,"shifted_index":0,"signed_bin":4,"sky_frequency":92.0},"check":"astronomical fixture 2","expected":{"baseband_frequency":-8.0,"channel_width":2.0,"shifted_frequency":-8.0,"shifted_index":0,"signed_bin":-4,"sky_frequency":92.0},"passed":false},{"actual":{"baseband_frequency":-2.0,"channel_width":2.0,"shifted_frequency":6.0,"shifted_index":3,"signed_bin":7,"sky_frequency":98.0},"check":"astronomical fixture 3","expected":{"baseband_frequency":-2.0,"channel_width":2.0,"shifted_frequency":6.0,"shifted_index":3,"signed_bin":-1,"sky_frequency":98.0},"passed":false},{"actual":{"baseband_frequency":-4.0,"channel_width":4.0,"shifted_frequency":4.0,"shifted_index":1,"signed_bin":3,"sky_frequency":96.0},"check":"astronomical fixture 4","expected":{"baseband_frequency":-4.0,"channel_width":4.0,"shifted_frequency":4.0,"shifted_index":1,"signed_bin":-1,"sky_frequency":96.0},"passed":false},{"actual":{"baseband_frequency":1.0,"channel_width":1.0,"shifted_frequency":-3.0,"shifted_index":5,"signed_bin":1,"sky_frequency":101.0},"check":"astronomical fixture 5","expected":{"baseband_frequency":1.0,"channel_width":1.0,"shifted_frequency":-3.0,"shifted_index":5,"signed_bin":1,"sky_frequency":101.0},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"astronomical fixture 0\", \"actual\": {\"signed_bin\": 2, \"baseband_frequency\": 4.0, \"shifted_frequency\": -6.0, \"sky_frequency\": 104.0, \"shifted_index\": 6, \"channel_width\": 2.0}, \"expected\": {\"signed_bin\": 2, \"baseband_frequency\": 4.0, \"shifted_frequency\": -6.0, \"sky_frequency\": 104.0, \"shifted_index\": 6, \"channel_width\": 2.0}, \"passed\": true}, {\"check\": \"astronomical fixture 1\", \"actual\": {\"signed_bin\": 0, \"baseband_frequency\": 0.0, \"shifted_frequency\": 0.0, \"sky_frequency\": 100.0, \"shifted_index\": 4, \"channel_width\": 2.0}, \"expected\": {\"signed_bin\": 0, \"baseband_frequency\": 0.0, \"shifted_frequency\": 0.0, \"sky_frequency\": 100.0, \"shifted_index\": 4, \"channel_width\": 2.0}, \"passed\": true}, {\"check\": \"astronomical fixture 2\", \"actual\": {\"signed_bin\": 4, \"baseband_frequency\": -8.0, \"shifted_frequency\": -8.0, \"sky_frequency\": 92.0, \"shifted_index\": 0, \"channel_width\": 2.0}, \"expected\": {\"signed_bin\": -4, \"baseband_frequency\": -8.0, \"shifted_frequency\": -8.0, \"sky_frequency\": 92.0, \"shifted_index\": 0, \"channel_width\": 2.0}, \"passed\": false}, {\"check\": \"astronomical fixture 3\", \"actual\": {\"signed_bin\": 7, \"baseband_frequency\": -2.0, \"shifted_frequency\": 6.0, \"sky_frequency\": 98.0, \"shifted_index\": 3, \"channel_width\": 2.0}, \"expected\": {\"signed_bin\": -1, \"baseband_frequency\": -2.0, \"shifted_frequency\": 6.0, \"sky_frequency\": 98.0, \"shifted_index\": 3, \"channel_width\": 2.0}, \"passed\": false}, {\"check\": \"astronomical fixture 4\", \"actual\": {\"signed_bin\": 3, \"baseband_frequency\": -4.0, \"shifted_frequency\": 4.0, \"sky_frequency\": 96.0, \"shifted_index\": 1, \"channel_width\": 4.0}, \"expected\": {\"signed_bin\": -1, \"baseband_frequency\": -4.0, \"shifted_frequency\": 4.0, \"sky_frequency\": 96.0, \"shifted_index\": 1, \"channel_width\": 4.0}, \"passed\": false}, {\"check\": \"astronomical fixture 5\", \"actual\": {\"signed_bin\": 1, \"baseband_frequency\": 1.0, \"shifted_frequency\": -3.0, \"sky_frequency\": 101.0, \"shifted_index\": 5, \"channel_width\": 1.0}, \"expected\": {\"signed_bin\": 1, \"baseband_frequency\": 1.0, \"shifted_frequency\": -3.0, \"sky_frequency\": 101.0, \"shifted_index\": 5, \"channel_width\": 1.0}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.062,"exit_code":0,"observations":[{"actual":{"baseband_frequency":4.0,"channel_width":2.0,"shifted_frequency":-6.0,"shifted_index":6,"signed_bin":2,"sky_frequency":104.0},"check":"astronomical fixture 0","expected":{"baseband_frequency":4.0,"channel_width":2.0,"shifted_frequency":-6.0,"shifted_index":6,"signed_bin":2,"sky_frequency":104.0},"passed":true},{"actual":{"baseband_frequency":0.0,"channel_width":2.0,"shifted_frequency":0.0,"shifted_index":4,"signed_bin":0,"sky_frequency":100.0},"check":"astronomical fixture 1","expected":{"baseband_frequency":0.0,"channel_width":2.0,"shifted_frequency":0.0,"shifted_index":4,"signed_bin":0,"sky_frequency":100.0},"passed":true},{"actual":{"baseband_frequency":-8.0,"channel_width":2.0,"shifted_frequency":-8.0,"shifted_index":0,"signed_bin":-4,"sky_frequency":92.0},"check":"astronomical fixture 2","expected":{"baseband_frequency":-8.0,"channel_width":2.0,"shifted_frequency":-8.0,"shifted_index":0,"signed_bin":-4,"sky_frequency":92.0},"passed":true},{"actual":{"baseband_frequency":-2.0,"channel_width":2.0,"shifted_frequency":6.0,"shifted_index":3,"signed_bin":-1,"sky_frequency":98.0},"check":"astronomical fixture 3","expected":{"baseband_frequency":-2.0,"channel_width":2.0,"shifted_frequency":6.0,"shifted_index":3,"signed_bin":-1,"sky_frequency":98.0},"passed":true},{"actual":{"baseband_frequency":-4.0,"channel_width":4.0,"shifted_frequency":4.0,"shifted_index":1,"signed_bin":-1,"sky_frequency":96.0},"check":"astronomical fixture 4","expected":{"baseband_frequency":-4.0,"channel_width":4.0,"shifted_frequency":4.0,"shifted_index":1,"signed_bin":-1,"sky_frequency":96.0},"passed":true},{"actual":{"baseband_frequency":1.0,"channel_width":1.0,"shifted_frequency":-3.0,"shifted_index":5,"signed_bin":1,"sky_frequency":101.0},"check":"astronomical fixture 5","expected":{"baseband_frequency":1.0,"channel_width":1.0,"shifted_frequency":-3.0,"shifted_index":5,"signed_bin":1,"sky_frequency":101.0},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"astronomical fixture 0\", \"actual\": {\"signed_bin\": 2, \"baseband_frequency\": 4.0, \"shifted_frequency\": -6.0, \"sky_frequency\": 104.0, \"shifted_index\": 6, \"channel_width\": 2.0}, \"expected\": {\"signed_bin\": 2, \"baseband_frequency\": 4.0, \"shifted_frequency\": -6.0, \"sky_frequency\": 104.0, \"shifted_index\": 6, \"channel_width\": 2.0}, \"passed\": true}, {\"check\": \"astronomical fixture 1\", \"actual\": {\"signed_bin\": 0, \"baseband_frequency\": 0.0, \"shifted_frequency\": 0.0, \"sky_frequency\": 100.0, \"shifted_index\": 4, \"channel_width\": 2.0}, \"expected\": {\"signed_bin\": 0, \"baseband_frequency\": 0.0, \"shifted_frequency\": 0.0, \"sky_frequency\": 100.0, \"shifted_index\": 4, \"channel_width\": 2.0}, \"passed\": true}, {\"check\": \"astronomical fixture 2\", \"actual\": {\"signed_bin\": -4, \"baseband_frequency\": -8.0, \"shifted_frequency\": -8.0, \"sky_frequency\": 92.0, \"shifted_index\": 0, \"channel_width\": 2.0}, \"expected\": {\"signed_bin\": -4, \"baseband_frequency\": -8.0, \"shifted_frequency\": -8.0, \"sky_frequency\": 92.0, \"shifted_index\": 0, \"channel_width\": 2.0}, \"passed\": true}, {\"check\": \"astronomical fixture 3\", \"actual\": {\"signed_bin\": -1, \"baseband_frequency\": -2.0, \"shifted_frequency\": 6.0, \"sky_frequency\": 98.0, \"shifted_index\": 3, \"channel_width\": 2.0}, \"expected\": {\"signed_bin\": -1, \"baseband_frequency\": -2.0, \"shifted_frequency\": 6.0, \"sky_frequency\": 98.0, \"shifted_index\": 3, \"channel_width\": 2.0}, \"passed\": true}, {\"check\": \"astronomical fixture 4\", \"actual\": {\"signed_bin\": -1, \"baseband_frequency\": -4.0, \"shifted_frequency\": 4.0, \"sky_frequency\": 96.0, \"shifted_index\": 1, \"channel_width\": 4.0}, \"expected\": {\"signed_bin\": -1, \"baseband_frequency\": -4.0, \"shifted_frequency\": 4.0, \"sky_frequency\": 96.0, \"shifted_index\": 1, \"channel_width\": 4.0}, \"passed\": true}, {\"check\": \"astronomical fixture 5\", \"actual\": {\"signed_bin\": 1, \"baseband_frequency\": 1.0, \"shifted_frequency\": -3.0, \"sky_frequency\": 101.0, \"shifted_index\": 5, \"channel_width\": 1.0}, \"expected\": {\"signed_bin\": 1, \"baseband_frequency\": 1.0, \"shifted_frequency\": -3.0, \"sky_frequency\": 101.0, \"shifted_index\": 5, \"channel_width\": 1.0}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}