{"abstract":"The adapter reports an incorrect bin energy proxy while other fields remain valid.","category":"Astronomical coordinate conventions","checks":6,"contract":"A spectral coordinate adapter uses positive wavelength L and supplied speed c. Frequency=c/L. A finite wavelength bin has endpoints lo<hi; its frequency endpoints reverse order. Density F_lambda transforms by L**2/c at the sample center. No relativistic or unit inference is performed. Output fields are defined by: frequency = d['c']/d['L']; frequency_edges = [d['c']/d['hi'],d['c']/d['lo']]; frequency_density = d['F']*d['L']**2/d['c']; frequency_bandwidth = d['c']/d['lo']-d['c']/d['hi']; local_frequency_step = -d['c']*d['dL']/d['L']**2; bin_energy_proxy = d['F']*d['dL']","contract_signature":"d","evaluation_group":"astro-spectral-reciprocal-density","failed_approach":"A partial convention repair still uses d['F']*d['dL']*d['c']/d['L']**2","family":"s3-astronomical-coordinate-conventions-spectral-reciprocal-density-bin_energy_proxy","id":"FA-55586","implementations":{"attempt":{"sha256":"7082c0a4d3106e4d579a7ce0ed10b25380869474a4c1d0ee053c15eba657344b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'frequency': d['c']/d['L'], 'frequency_edges': [d['c']/d['hi'],d['c']/d['lo']], 'frequency_density': d['F']*d['L']**2/d['c'], 'frequency_bandwidth': d['c']/d['lo']-d['c']/d['hi'], 'local_frequency_step': -d['c']*d['dL']/d['L']**2, 'bin_energy_proxy': d['F']*d['dL']*d['c']/d['L']**2}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'L': 4, 'c': 120, 'lo': 2, 'hi': 6, 'F': 3, 'dL': 2}, {'frequency': 30.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': 0.4, 'frequency_bandwidth': 40.0, 'local_frequency_step': -15.0, 'bin_energy_proxy': 6}), ({'L': 4, 'c': 120, 'lo': 2, 'hi': 6, 'F': 0, 'dL': 2}, {'frequency': 30.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': 0.0, 'frequency_bandwidth': 40.0, 'local_frequency_step': -15.0, 'bin_energy_proxy': 0}), ({'L': 4, 'c': 120, 'lo': 1, 'hi': 2, 'F': 3, 'dL': 2}, {'frequency': 30.0, 'frequency_edges': [60.0, 120.0], 'frequency_density': 0.4, 'frequency_bandwidth': 60.0, 'local_frequency_step': -15.0, 'bin_energy_proxy': 6}), ({'L': 4, 'c': 60, 'lo': 2, 'hi': 6, 'F': 3, 'dL': 2}, {'frequency': 15.0, 'frequency_edges': [10.0, 30.0], 'frequency_density': 0.8, 'frequency_bandwidth': 20.0, 'local_frequency_step': -7.5, 'bin_energy_proxy': 6}), ({'L': 4, 'c': 120, 'lo': 2, 'hi': 6, 'F': -2, 'dL': 2}, {'frequency': 30.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': -0.26666666666666666, 'frequency_bandwidth': 40.0, 'local_frequency_step': -15.0, 'bin_energy_proxy': -4}), ({'L': 4, 'c': 120, 'lo': 4, 'hi': 8, 'F': 3, 'dL': 1}, {'frequency': 30.0, 'frequency_edges': [15.0, 30.0], 'frequency_density': 0.4, 'frequency_bandwidth': 15.0, 'local_frequency_step': -7.5, 'bin_energy_proxy': 3})], 2: [({'L': 5, 'c': 120, 'lo': 2, 'hi': 6, 'F': 3, 'dL': 2}, {'frequency': 24.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': 0.625, 'frequency_bandwidth': 40.0, 'local_frequency_step': -9.6, 'bin_energy_proxy': 6}), ({'L': 5, 'c': 120, 'lo': 2, 'hi': 6, 'F': 0, 'dL': 2}, {'frequency': 24.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': 0.0, 'frequency_bandwidth': 40.0, 'local_frequency_step': -9.6, 'bin_energy_proxy': 0}), ({'L': 5, 'c': 120, 'lo': 1, 'hi': 2, 'F': 3, 'dL': 2}, {'frequency': 24.0, 'frequency_edges': [60.0, 120.0], 'frequency_density': 0.625, 'frequency_bandwidth': 60.0, 'local_frequency_step': -9.6, 'bin_energy_proxy': 6}), ({'L': 5, 'c': 60, 'lo': 2, 'hi': 6, 'F': 3, 'dL': 2}, {'frequency': 12.0, 'frequency_edges': [10.0, 30.0], 'frequency_density': 1.25, 'frequency_bandwidth': 20.0, 'local_frequency_step': -4.8, 'bin_energy_proxy': 6}), ({'L': 5, 'c': 120, 'lo': 2, 'hi': 6, 'F': -2, 'dL': 2}, {'frequency': 24.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': -0.4166666666666667, 'frequency_bandwidth': 40.0, 'local_frequency_step': -9.6, 'bin_energy_proxy': -4}), ({'L': 5, 'c': 120, 'lo': 4, 'hi': 8, 'F': 3, 'dL': 1}, {'frequency': 24.0, 'frequency_edges': [15.0, 30.0], 'frequency_density': 0.625, 'frequency_bandwidth': 15.0, 'local_frequency_step': -4.8, 'bin_energy_proxy': 3})], 3: [({'L': 6, 'c': 120, 'lo': 2, 'hi': 6, 'F': 3, 'dL': 2}, {'frequency': 20.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': 0.9, 'frequency_bandwidth': 40.0, 'local_frequency_step': -6.666666666666667, 'bin_energy_proxy': 6}), ({'L': 6, 'c': 120, 'lo': 2, 'hi': 6, 'F': 0, 'dL': 2}, {'frequency': 20.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': 0.0, 'frequency_bandwidth': 40.0, 'local_frequency_step': -6.666666666666667, 'bin_energy_proxy': 0}), ({'L': 6, 'c': 120, 'lo': 1, 'hi': 2, 'F': 3, 'dL': 2}, {'frequency': 20.0, 'frequency_edges': [60.0, 120.0], 'frequency_density': 0.9, 'frequency_bandwidth': 60.0, 'local_frequency_step': -6.666666666666667, 'bin_energy_proxy': 6}), ({'L': 6, 'c': 60, 'lo': 2, 'hi': 6, 'F': 3, 'dL': 2}, {'frequency': 10.0, 'frequency_edges': [10.0, 30.0], 'frequency_density': 1.8, 'frequency_bandwidth': 20.0, 'local_frequency_step': -3.3333333333333335, 'bin_energy_proxy': 6}), ({'L': 6, 'c': 120, 'lo': 2, 'hi': 6, 'F': -2, 'dL': 2}, {'frequency': 20.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': -0.6, 'frequency_bandwidth': 40.0, 'local_frequency_step': -6.666666666666667, 'bin_energy_proxy': -4}), ({'L': 6, 'c': 120, 'lo': 4, 'hi': 8, 'F': 3, 'dL': 1}, {'frequency': 20.0, 'frequency_edges': [15.0, 30.0], 'frequency_density': 0.9, 'frequency_bandwidth': 15.0, 'local_frequency_step': -3.3333333333333335, 'bin_energy_proxy': 3})], 4: [({'L': 7, 'c': 120, 'lo': 2, 'hi': 6, 'F': 3, 'dL': 2}, {'frequency': 17.142857142857142, 'frequency_edges': [20.0, 60.0], 'frequency_density': 1.225, 'frequency_bandwidth': 40.0, 'local_frequency_step': -4.8979591836734695, 'bin_energy_proxy': 6}), ({'L': 7, 'c': 120, 'lo': 2, 'hi': 6, 'F': 0, 'dL': 2}, {'frequency': 17.142857142857142, 'frequency_edges': [20.0, 60.0], 'frequency_density': 0.0, 'frequency_bandwidth': 40.0, 'local_frequency_step': -4.8979591836734695, 'bin_energy_proxy': 0}), ({'L': 7, 'c': 120, 'lo': 1, 'hi': 2, 'F': 3, 'dL': 2}, {'frequency': 17.142857142857142, 'frequency_edges': [60.0, 120.0], 'frequency_density': 1.225, 'frequency_bandwidth': 60.0, 'local_frequency_step': -4.8979591836734695, 'bin_energy_proxy': 6}), ({'L': 7, 'c': 60, 'lo': 2, 'hi': 6, 'F': 3, 'dL': 2}, {'frequency': 8.571428571428571, 'frequency_edges': [10.0, 30.0], 'frequency_density': 2.45, 'frequency_bandwidth': 20.0, 'local_frequency_step': -2.4489795918367347, 'bin_energy_proxy': 6}), ({'L': 7, 'c': 120, 'lo': 2, 'hi': 6, 'F': -2, 'dL': 2}, {'frequency': 17.142857142857142, 'frequency_edges': [20.0, 60.0], 'frequency_density': -0.8166666666666667, 'frequency_bandwidth': 40.0, 'local_frequency_step': -4.8979591836734695, 'bin_energy_proxy': -4}), ({'L': 7, 'c': 120, 'lo': 4, 'hi': 8, 'F': 3, 'dL': 1}, {'frequency': 17.142857142857142, 'frequency_edges': [15.0, 30.0], 'frequency_density': 1.225, 'frequency_bandwidth': 15.0, 'local_frequency_step': -2.4489795918367347, 'bin_energy_proxy': 3})], 5: [({'L': 8, 'c': 120, 'lo': 2, 'hi': 6, 'F': 3, 'dL': 2}, {'frequency': 15.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': 1.6, 'frequency_bandwidth': 40.0, 'local_frequency_step': -3.75, 'bin_energy_proxy': 6}), ({'L': 8, 'c': 120, 'lo': 2, 'hi': 6, 'F': 0, 'dL': 2}, {'frequency': 15.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': 0.0, 'frequency_bandwidth': 40.0, 'local_frequency_step': -3.75, 'bin_energy_proxy': 0}), ({'L': 8, 'c': 120, 'lo': 1, 'hi': 2, 'F': 3, 'dL': 2}, {'frequency': 15.0, 'frequency_edges': [60.0, 120.0], 'frequency_density': 1.6, 'frequency_bandwidth': 60.0, 'local_frequency_step': -3.75, 'bin_energy_proxy': 6}), ({'L': 8, 'c': 60, 'lo': 2, 'hi': 6, 'F': 3, 'dL': 2}, {'frequency': 7.5, 'frequency_edges': [10.0, 30.0], 'frequency_density': 3.2, 'frequency_bandwidth': 20.0, 'local_frequency_step': -1.875, 'bin_energy_proxy': 6}), ({'L': 8, 'c': 120, 'lo': 2, 'hi': 6, 'F': -2, 'dL': 2}, {'frequency': 15.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': -1.0666666666666667, 'frequency_bandwidth': 40.0, 'local_frequency_step': -3.75, 'bin_energy_proxy': -4}), ({'L': 8, 'c': 120, 'lo': 4, 'hi': 8, 'F': 3, 'dL': 1}, {'frequency': 15.0, 'frequency_edges': [15.0, 30.0], 'frequency_density': 1.6, 'frequency_bandwidth': 15.0, 'local_frequency_step': -1.875, 'bin_energy_proxy': 3})]}\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":"af91c65895cc44ab9a8ac9c9530f52674f4437bb916532f63db22332386a4166","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'frequency': d['c']/d['L'], 'frequency_edges': [d['c']/d['hi'],d['c']/d['lo']], 'frequency_density': d['F']*d['L']**2/d['c'], 'frequency_bandwidth': d['c']/d['lo']-d['c']/d['hi'], 'local_frequency_step': -d['c']*d['dL']/d['L']**2, 'bin_energy_proxy': d['F']*d['L']**2/d['c']*d['dL']}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'L': 4, 'c': 120, 'lo': 2, 'hi': 6, 'F': 3, 'dL': 2}, {'frequency': 30.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': 0.4, 'frequency_bandwidth': 40.0, 'local_frequency_step': -15.0, 'bin_energy_proxy': 6}), ({'L': 4, 'c': 120, 'lo': 2, 'hi': 6, 'F': 0, 'dL': 2}, {'frequency': 30.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': 0.0, 'frequency_bandwidth': 40.0, 'local_frequency_step': -15.0, 'bin_energy_proxy': 0}), ({'L': 4, 'c': 120, 'lo': 1, 'hi': 2, 'F': 3, 'dL': 2}, {'frequency': 30.0, 'frequency_edges': [60.0, 120.0], 'frequency_density': 0.4, 'frequency_bandwidth': 60.0, 'local_frequency_step': -15.0, 'bin_energy_proxy': 6}), ({'L': 4, 'c': 60, 'lo': 2, 'hi': 6, 'F': 3, 'dL': 2}, {'frequency': 15.0, 'frequency_edges': [10.0, 30.0], 'frequency_density': 0.8, 'frequency_bandwidth': 20.0, 'local_frequency_step': -7.5, 'bin_energy_proxy': 6}), ({'L': 4, 'c': 120, 'lo': 2, 'hi': 6, 'F': -2, 'dL': 2}, {'frequency': 30.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': -0.26666666666666666, 'frequency_bandwidth': 40.0, 'local_frequency_step': -15.0, 'bin_energy_proxy': -4}), ({'L': 4, 'c': 120, 'lo': 4, 'hi': 8, 'F': 3, 'dL': 1}, {'frequency': 30.0, 'frequency_edges': [15.0, 30.0], 'frequency_density': 0.4, 'frequency_bandwidth': 15.0, 'local_frequency_step': -7.5, 'bin_energy_proxy': 3})], 2: [({'L': 5, 'c': 120, 'lo': 2, 'hi': 6, 'F': 3, 'dL': 2}, {'frequency': 24.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': 0.625, 'frequency_bandwidth': 40.0, 'local_frequency_step': -9.6, 'bin_energy_proxy': 6}), ({'L': 5, 'c': 120, 'lo': 2, 'hi': 6, 'F': 0, 'dL': 2}, {'frequency': 24.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': 0.0, 'frequency_bandwidth': 40.0, 'local_frequency_step': -9.6, 'bin_energy_proxy': 0}), ({'L': 5, 'c': 120, 'lo': 1, 'hi': 2, 'F': 3, 'dL': 2}, {'frequency': 24.0, 'frequency_edges': [60.0, 120.0], 'frequency_density': 0.625, 'frequency_bandwidth': 60.0, 'local_frequency_step': -9.6, 'bin_energy_proxy': 6}), ({'L': 5, 'c': 60, 'lo': 2, 'hi': 6, 'F': 3, 'dL': 2}, {'frequency': 12.0, 'frequency_edges': [10.0, 30.0], 'frequency_density': 1.25, 'frequency_bandwidth': 20.0, 'local_frequency_step': -4.8, 'bin_energy_proxy': 6}), ({'L': 5, 'c': 120, 'lo': 2, 'hi': 6, 'F': -2, 'dL': 2}, {'frequency': 24.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': -0.4166666666666667, 'frequency_bandwidth': 40.0, 'local_frequency_step': -9.6, 'bin_energy_proxy': -4}), ({'L': 5, 'c': 120, 'lo': 4, 'hi': 8, 'F': 3, 'dL': 1}, {'frequency': 24.0, 'frequency_edges': [15.0, 30.0], 'frequency_density': 0.625, 'frequency_bandwidth': 15.0, 'local_frequency_step': -4.8, 'bin_energy_proxy': 3})], 3: [({'L': 6, 'c': 120, 'lo': 2, 'hi': 6, 'F': 3, 'dL': 2}, {'frequency': 20.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': 0.9, 'frequency_bandwidth': 40.0, 'local_frequency_step': -6.666666666666667, 'bin_energy_proxy': 6}), ({'L': 6, 'c': 120, 'lo': 2, 'hi': 6, 'F': 0, 'dL': 2}, {'frequency': 20.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': 0.0, 'frequency_bandwidth': 40.0, 'local_frequency_step': -6.666666666666667, 'bin_energy_proxy': 0}), ({'L': 6, 'c': 120, 'lo': 1, 'hi': 2, 'F': 3, 'dL': 2}, {'frequency': 20.0, 'frequency_edges': [60.0, 120.0], 'frequency_density': 0.9, 'frequency_bandwidth': 60.0, 'local_frequency_step': -6.666666666666667, 'bin_energy_proxy': 6}), ({'L': 6, 'c': 60, 'lo': 2, 'hi': 6, 'F': 3, 'dL': 2}, {'frequency': 10.0, 'frequency_edges': [10.0, 30.0], 'frequency_density': 1.8, 'frequency_bandwidth': 20.0, 'local_frequency_step': -3.3333333333333335, 'bin_energy_proxy': 6}), ({'L': 6, 'c': 120, 'lo': 2, 'hi': 6, 'F': -2, 'dL': 2}, {'frequency': 20.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': -0.6, 'frequency_bandwidth': 40.0, 'local_frequency_step': -6.666666666666667, 'bin_energy_proxy': -4}), ({'L': 6, 'c': 120, 'lo': 4, 'hi': 8, 'F': 3, 'dL': 1}, {'frequency': 20.0, 'frequency_edges': [15.0, 30.0], 'frequency_density': 0.9, 'frequency_bandwidth': 15.0, 'local_frequency_step': -3.3333333333333335, 'bin_energy_proxy': 3})], 4: [({'L': 7, 'c': 120, 'lo': 2, 'hi': 6, 'F': 3, 'dL': 2}, {'frequency': 17.142857142857142, 'frequency_edges': [20.0, 60.0], 'frequency_density': 1.225, 'frequency_bandwidth': 40.0, 'local_frequency_step': -4.8979591836734695, 'bin_energy_proxy': 6}), ({'L': 7, 'c': 120, 'lo': 2, 'hi': 6, 'F': 0, 'dL': 2}, {'frequency': 17.142857142857142, 'frequency_edges': [20.0, 60.0], 'frequency_density': 0.0, 'frequency_bandwidth': 40.0, 'local_frequency_step': -4.8979591836734695, 'bin_energy_proxy': 0}), ({'L': 7, 'c': 120, 'lo': 1, 'hi': 2, 'F': 3, 'dL': 2}, {'frequency': 17.142857142857142, 'frequency_edges': [60.0, 120.0], 'frequency_density': 1.225, 'frequency_bandwidth': 60.0, 'local_frequency_step': -4.8979591836734695, 'bin_energy_proxy': 6}), ({'L': 7, 'c': 60, 'lo': 2, 'hi': 6, 'F': 3, 'dL': 2}, {'frequency': 8.571428571428571, 'frequency_edges': [10.0, 30.0], 'frequency_density': 2.45, 'frequency_bandwidth': 20.0, 'local_frequency_step': -2.4489795918367347, 'bin_energy_proxy': 6}), ({'L': 7, 'c': 120, 'lo': 2, 'hi': 6, 'F': -2, 'dL': 2}, {'frequency': 17.142857142857142, 'frequency_edges': [20.0, 60.0], 'frequency_density': -0.8166666666666667, 'frequency_bandwidth': 40.0, 'local_frequency_step': -4.8979591836734695, 'bin_energy_proxy': -4}), ({'L': 7, 'c': 120, 'lo': 4, 'hi': 8, 'F': 3, 'dL': 1}, {'frequency': 17.142857142857142, 'frequency_edges': [15.0, 30.0], 'frequency_density': 1.225, 'frequency_bandwidth': 15.0, 'local_frequency_step': -2.4489795918367347, 'bin_energy_proxy': 3})], 5: [({'L': 8, 'c': 120, 'lo': 2, 'hi': 6, 'F': 3, 'dL': 2}, {'frequency': 15.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': 1.6, 'frequency_bandwidth': 40.0, 'local_frequency_step': -3.75, 'bin_energy_proxy': 6}), ({'L': 8, 'c': 120, 'lo': 2, 'hi': 6, 'F': 0, 'dL': 2}, {'frequency': 15.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': 0.0, 'frequency_bandwidth': 40.0, 'local_frequency_step': -3.75, 'bin_energy_proxy': 0}), ({'L': 8, 'c': 120, 'lo': 1, 'hi': 2, 'F': 3, 'dL': 2}, {'frequency': 15.0, 'frequency_edges': [60.0, 120.0], 'frequency_density': 1.6, 'frequency_bandwidth': 60.0, 'local_frequency_step': -3.75, 'bin_energy_proxy': 6}), ({'L': 8, 'c': 60, 'lo': 2, 'hi': 6, 'F': 3, 'dL': 2}, {'frequency': 7.5, 'frequency_edges': [10.0, 30.0], 'frequency_density': 3.2, 'frequency_bandwidth': 20.0, 'local_frequency_step': -1.875, 'bin_energy_proxy': 6}), ({'L': 8, 'c': 120, 'lo': 2, 'hi': 6, 'F': -2, 'dL': 2}, {'frequency': 15.0, 'frequency_edges': [20.0, 60.0], 'frequency_density': -1.0666666666666667, 'frequency_bandwidth': 40.0, 'local_frequency_step': -3.75, 'bin_energy_proxy': -4}), ({'L': 8, 'c': 120, 'lo': 4, 'hi': 8, 'F': 3, 'dL': 1}, {'frequency': 15.0, 'frequency_edges': [15.0, 30.0], 'frequency_density': 1.6, 'frequency_bandwidth': 15.0, 'local_frequency_step': -1.875, 'bin_energy_proxy': 3})]}\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-spectral-reciprocal-density-bin_energy_proxy","generated_at":"2026-09-29T14:45:59.215138+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.","root_cause":"Spectral bin integration mixes a frequency density with a wavelength width. Faulty expression: d['F']*d['L']**2/d['c']*d['dL']","sha256":"d1af6f7a47e1ad2341631277b1b0c131b96d8a57709ef2bb7ea2364f62e55a61","title":"Spectral reciprocal density: Spectral bin integration mixes a frequency density with a wavelength width · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":43.044,"exit_code":1,"observations":[{"actual":{"bin_energy_proxy":45.0,"frequency":30.0,"frequency_bandwidth":40.0,"frequency_density":0.4,"frequency_edges":[20.0,60.0],"local_frequency_step":-15.0},"check":"astronomical fixture 0","expected":{"bin_energy_proxy":6,"frequency":30.0,"frequency_bandwidth":40.0,"frequency_density":0.4,"frequency_edges":[20.0,60.0],"local_frequency_step":-15.0},"passed":false},{"actual":{"bin_energy_proxy":0.0,"frequency":30.0,"frequency_bandwidth":40.0,"frequency_density":0.0,"frequency_edges":[20.0,60.0],"local_frequency_step":-15.0},"check":"astronomical fixture 1","expected":{"bin_energy_proxy":0,"frequency":30.0,"frequency_bandwidth":40.0,"frequency_density":0.0,"frequency_edges":[20.0,60.0],"local_frequency_step":-15.0},"passed":true},{"actual":{"bin_energy_proxy":45.0,"frequency":30.0,"frequency_bandwidth":60.0,"frequency_density":0.4,"frequency_edges":[60.0,120.0],"local_frequency_step":-15.0},"check":"astronomical fixture 2","expected":{"bin_energy_proxy":6,"frequency":30.0,"frequency_bandwidth":60.0,"frequency_density":0.4,"frequency_edges":[60.0,120.0],"local_frequency_step":-15.0},"passed":false},{"actual":{"bin_energy_proxy":22.5,"frequency":15.0,"frequency_bandwidth":20.0,"frequency_density":0.8,"frequency_edges":[10.0,30.0],"local_frequency_step":-7.5},"check":"astronomical fixture 3","expected":{"bin_energy_proxy":6,"frequency":15.0,"frequency_bandwidth":20.0,"frequency_density":0.8,"frequency_edges":[10.0,30.0],"local_frequency_step":-7.5},"passed":false},{"actual":{"bin_energy_proxy":-30.0,"frequency":30.0,"frequency_bandwidth":40.0,"frequency_density":-0.26666666666666666,"frequency_edges":[20.0,60.0],"local_frequency_step":-15.0},"check":"astronomical fixture 4","expected":{"bin_energy_proxy":-4,"frequency":30.0,"frequency_bandwidth":40.0,"frequency_density":-0.26666666666666666,"frequency_edges":[20.0,60.0],"local_frequency_step":-15.0},"passed":false},{"actual":{"bin_energy_proxy":22.5,"frequency":30.0,"frequency_bandwidth":15.0,"frequency_density":0.4,"frequency_edges":[15.0,30.0],"local_frequency_step":-7.5},"check":"astronomical fixture 5","expected":{"bin_energy_proxy":3,"frequency":30.0,"frequency_bandwidth":15.0,"frequency_density":0.4,"frequency_edges":[15.0,30.0],"local_frequency_step":-7.5},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"astronomical fixture 0\", \"actual\": {\"frequency\": 30.0, \"frequency_edges\": [20.0, 60.0], \"frequency_density\": 0.4, \"frequency_bandwidth\": 40.0, \"local_frequency_step\": -15.0, \"bin_energy_proxy\": 45.0}, \"expected\": {\"frequency\": 30.0, \"frequency_edges\": [20.0, 60.0], \"frequency_density\": 0.4, \"frequency_bandwidth\": 40.0, \"local_frequency_step\": -15.0, \"bin_energy_proxy\": 6}, \"passed\": false}, {\"check\": \"astronomical fixture 1\", \"actual\": {\"frequency\": 30.0, \"frequency_edges\": [20.0, 60.0], \"frequency_density\": 0.0, \"frequency_bandwidth\": 40.0, \"local_frequency_step\": -15.0, \"bin_energy_proxy\": 0.0}, \"expected\": {\"frequency\": 30.0, \"frequency_edges\": [20.0, 60.0], \"frequency_density\": 0.0, \"frequency_bandwidth\": 40.0, \"local_frequency_step\": -15.0, \"bin_energy_proxy\": 0}, \"passed\": true}, {\"check\": \"astronomical fixture 2\", \"actual\": {\"frequency\": 30.0, \"frequency_edges\": [60.0, 120.0], \"frequency_density\": 0.4, \"frequency_bandwidth\": 60.0, \"local_frequency_step\": -15.0, \"bin_energy_proxy\": 45.0}, \"expected\": {\"frequency\": 30.0, \"frequency_edges\": [60.0, 120.0], \"frequency_density\": 0.4, \"frequency_bandwidth\": 60.0, \"local_frequency_step\": -15.0, \"bin_energy_proxy\": 6}, \"passed\": false}, {\"check\": \"astronomical fixture 3\", \"actual\": {\"frequency\": 15.0, \"frequency_edges\": [10.0, 30.0], \"frequency_density\": 0.8, \"frequency_bandwidth\": 20.0, \"local_frequency_step\": -7.5, \"bin_energy_proxy\": 22.5}, \"expected\": {\"frequency\": 15.0, \"frequency_edges\": [10.0, 30.0], \"frequency_density\": 0.8, \"frequency_bandwidth\": 20.0, \"local_frequency_step\": -7.5, \"bin_energy_proxy\": 6}, \"passed\": false}, {\"check\": \"astronomical fixture 4\", \"actual\": {\"frequency\": 30.0, \"frequency_edges\": [20.0, 60.0], \"frequency_density\": -0.26666666666666666, \"frequency_bandwidth\": 40.0, \"local_frequency_step\": -15.0, \"bin_energy_proxy\": -30.0}, \"expected\": {\"frequency\": 30.0, \"frequency_edges\": [20.0, 60.0], \"frequency_density\": -0.26666666666666666, \"frequency_bandwidth\": 40.0, \"local_frequency_step\": -15.0, \"bin_energy_proxy\": -4}, \"passed\": false}, {\"check\": \"astronomical fixture 5\", \"actual\": {\"frequency\": 30.0, \"frequency_edges\": [15.0, 30.0], \"frequency_density\": 0.4, \"frequency_bandwidth\": 15.0, \"local_frequency_step\": -7.5, \"bin_energy_proxy\": 22.5}, \"expected\": {\"frequency\": 30.0, \"frequency_edges\": [15.0, 30.0], \"frequency_density\": 0.4, \"frequency_bandwidth\": 15.0, \"local_frequency_step\": -7.5, \"bin_energy_proxy\": 3}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.784,"exit_code":1,"observations":[{"actual":{"bin_energy_proxy":0.8,"frequency":30.0,"frequency_bandwidth":40.0,"frequency_density":0.4,"frequency_edges":[20.0,60.0],"local_frequency_step":-15.0},"check":"astronomical fixture 0","expected":{"bin_energy_proxy":6,"frequency":30.0,"frequency_bandwidth":40.0,"frequency_density":0.4,"frequency_edges":[20.0,60.0],"local_frequency_step":-15.0},"passed":false},{"actual":{"bin_energy_proxy":0.0,"frequency":30.0,"frequency_bandwidth":40.0,"frequency_density":0.0,"frequency_edges":[20.0,60.0],"local_frequency_step":-15.0},"check":"astronomical fixture 1","expected":{"bin_energy_proxy":0,"frequency":30.0,"frequency_bandwidth":40.0,"frequency_density":0.0,"frequency_edges":[20.0,60.0],"local_frequency_step":-15.0},"passed":true},{"actual":{"bin_energy_proxy":0.8,"frequency":30.0,"frequency_bandwidth":60.0,"frequency_density":0.4,"frequency_edges":[60.0,120.0],"local_frequency_step":-15.0},"check":"astronomical fixture 2","expected":{"bin_energy_proxy":6,"frequency":30.0,"frequency_bandwidth":60.0,"frequency_density":0.4,"frequency_edges":[60.0,120.0],"local_frequency_step":-15.0},"passed":false},{"actual":{"bin_energy_proxy":1.6,"frequency":15.0,"frequency_bandwidth":20.0,"frequency_density":0.8,"frequency_edges":[10.0,30.0],"local_frequency_step":-7.5},"check":"astronomical fixture 3","expected":{"bin_energy_proxy":6,"frequency":15.0,"frequency_bandwidth":20.0,"frequency_density":0.8,"frequency_edges":[10.0,30.0],"local_frequency_step":-7.5},"passed":false},{"actual":{"bin_energy_proxy":-0.5333333333333333,"frequency":30.0,"frequency_bandwidth":40.0,"frequency_density":-0.26666666666666666,"frequency_edges":[20.0,60.0],"local_frequency_step":-15.0},"check":"astronomical fixture 4","expected":{"bin_energy_proxy":-4,"frequency":30.0,"frequency_bandwidth":40.0,"frequency_density":-0.26666666666666666,"frequency_edges":[20.0,60.0],"local_frequency_step":-15.0},"passed":false},{"actual":{"bin_energy_proxy":0.4,"frequency":30.0,"frequency_bandwidth":15.0,"frequency_density":0.4,"frequency_edges":[15.0,30.0],"local_frequency_step":-7.5},"check":"astronomical fixture 5","expected":{"bin_energy_proxy":3,"frequency":30.0,"frequency_bandwidth":15.0,"frequency_density":0.4,"frequency_edges":[15.0,30.0],"local_frequency_step":-7.5},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"astronomical fixture 0\", \"actual\": {\"frequency\": 30.0, \"frequency_edges\": [20.0, 60.0], \"frequency_density\": 0.4, \"frequency_bandwidth\": 40.0, \"local_frequency_step\": -15.0, \"bin_energy_proxy\": 0.8}, \"expected\": {\"frequency\": 30.0, \"frequency_edges\": [20.0, 60.0], \"frequency_density\": 0.4, \"frequency_bandwidth\": 40.0, \"local_frequency_step\": -15.0, \"bin_energy_proxy\": 6}, \"passed\": false}, {\"check\": \"astronomical fixture 1\", \"actual\": {\"frequency\": 30.0, \"frequency_edges\": [20.0, 60.0], \"frequency_density\": 0.0, \"frequency_bandwidth\": 40.0, \"local_frequency_step\": -15.0, \"bin_energy_proxy\": 0.0}, \"expected\": {\"frequency\": 30.0, \"frequency_edges\": [20.0, 60.0], \"frequency_density\": 0.0, \"frequency_bandwidth\": 40.0, \"local_frequency_step\": -15.0, \"bin_energy_proxy\": 0}, \"passed\": true}, {\"check\": \"astronomical fixture 2\", \"actual\": {\"frequency\": 30.0, \"frequency_edges\": [60.0, 120.0], \"frequency_density\": 0.4, \"frequency_bandwidth\": 60.0, \"local_frequency_step\": -15.0, \"bin_energy_proxy\": 0.8}, \"expected\": {\"frequency\": 30.0, \"frequency_edges\": [60.0, 120.0], \"frequency_density\": 0.4, \"frequency_bandwidth\": 60.0, \"local_frequency_step\": -15.0, \"bin_energy_proxy\": 6}, \"passed\": false}, {\"check\": \"astronomical fixture 3\", \"actual\": {\"frequency\": 15.0, \"frequency_edges\": [10.0, 30.0], \"frequency_density\": 0.8, \"frequency_bandwidth\": 20.0, \"local_frequency_step\": -7.5, \"bin_energy_proxy\": 1.6}, \"expected\": {\"frequency\": 15.0, \"frequency_edges\": [10.0, 30.0], \"frequency_density\": 0.8, \"frequency_bandwidth\": 20.0, \"local_frequency_step\": -7.5, \"bin_energy_proxy\": 6}, \"passed\": false}, {\"check\": \"astronomical fixture 4\", \"actual\": {\"frequency\": 30.0, \"frequency_edges\": [20.0, 60.0], \"frequency_density\": -0.26666666666666666, \"frequency_bandwidth\": 40.0, \"local_frequency_step\": -15.0, \"bin_energy_proxy\": -0.5333333333333333}, \"expected\": {\"frequency\": 30.0, \"frequency_edges\": [20.0, 60.0], \"frequency_density\": -0.26666666666666666, \"frequency_bandwidth\": 40.0, \"local_frequency_step\": -15.0, \"bin_energy_proxy\": -4}, \"passed\": false}, {\"check\": \"astronomical fixture 5\", \"actual\": {\"frequency\": 30.0, \"frequency_edges\": [15.0, 30.0], \"frequency_density\": 0.4, \"frequency_bandwidth\": 15.0, \"local_frequency_step\": -7.5, \"bin_energy_proxy\": 0.4}, \"expected\": {\"frequency\": 30.0, \"frequency_edges\": [15.0, 30.0], \"frequency_density\": 0.4, \"frequency_bandwidth\": 15.0, \"local_frequency_step\": -7.5, \"bin_energy_proxy\": 3}, \"passed\": false}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}