{"abstract":"The adapter reports an incorrect vacuum frequency while other fields remain valid.","category":"Astronomical coordinate conventions","checks":6,"contract":"The supplied index n=a/b is a positive rational greater than zero. This finite constant-index adapter maps air wavelength to vacuum by multiplication n. Frequency belongs to vacuum wavelength; flux densities change inversely with wavelength-bin Jacobian. It does not model dispersion of refractive index. Output fields are defined by: vacuum_wavelength = d['L']*d['a']/d['b']; air_wavelength = d['L']*d['b']/d['a']; vacuum_width = d['width']*d['a']/d['b']; vacuum_density = d['F']*d['b']/d['a']; vacuum_frequency = d['c']*d['b']/(d['L']*d['a']); line_displacement = d['L']*(d['a']-d['b'])/d['b']","evaluation_group":"astro-air-vacuum-line-coordinate","failed_approach":"A partial convention repair still uses d['c']*d['a']/(d['L']*d['b'])","family":"s3-astronomical-coordinate-conventions-air-vacuum-line-coordinate-vacuum_frequency","id":"FA-55641","implementations":{"attempt":{"sha256":"96e7009f0490b59950e71134bd9127f98701024ee0e9bec132db54cfd54c69c6","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'vacuum_wavelength': d['L']*d['a']/d['b'], 'air_wavelength': d['L']*d['b']/d['a'], 'vacuum_width': d['width']*d['a']/d['b'], 'vacuum_density': d['F']*d['b']/d['a'], 'vacuum_frequency': d['c']*d['a']/(d['L']*d['b']), 'line_displacement': d['L']*(d['a']-d['b'])/d['b']}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'L': 10, 'a': 3, 'b': 2, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 15.0, 'air_wavelength': 6.666666666666667, 'vacuum_width': 6.0, 'vacuum_density': 4.0, 'vacuum_frequency': 8.0, 'line_displacement': 5.0}), ({'L': 10, 'a': 1, 'b': 1, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 10.0, 'air_wavelength': 10.0, 'vacuum_width': 4.0, 'vacuum_density': 6.0, 'vacuum_frequency': 12.0, 'line_displacement': 0.0}), ({'L': 10, 'a': 3, 'b': 2, 'width': 0, 'F': 6, 'c': 120}, {'vacuum_wavelength': 15.0, 'air_wavelength': 6.666666666666667, 'vacuum_width': 0.0, 'vacuum_density': 4.0, 'vacuum_frequency': 8.0, 'line_displacement': 5.0}), ({'L': 10, 'a': 3, 'b': 2, 'width': 4, 'F': 0, 'c': 120}, {'vacuum_wavelength': 15.0, 'air_wavelength': 6.666666666666667, 'vacuum_width': 6.0, 'vacuum_density': 0.0, 'vacuum_frequency': 8.0, 'line_displacement': 5.0}), ({'L': 10, 'a': 4, 'b': 3, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 13.333333333333334, 'air_wavelength': 7.5, 'vacuum_width': 5.333333333333333, 'vacuum_density': 4.5, 'vacuum_frequency': 9.0, 'line_displacement': 3.3333333333333335}), ({'L': 10, 'a': 3, 'b': 2, 'width': 4, 'F': -2, 'c': 120}, {'vacuum_wavelength': 15.0, 'air_wavelength': 6.666666666666667, 'vacuum_width': 6.0, 'vacuum_density': -1.3333333333333333, 'vacuum_frequency': 8.0, 'line_displacement': 5.0})], 2: [({'L': 11, 'a': 3, 'b': 2, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 16.5, 'air_wavelength': 7.333333333333333, 'vacuum_width': 6.0, 'vacuum_density': 4.0, 'vacuum_frequency': 7.2727272727272725, 'line_displacement': 5.5}), ({'L': 11, 'a': 1, 'b': 1, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 11.0, 'air_wavelength': 11.0, 'vacuum_width': 4.0, 'vacuum_density': 6.0, 'vacuum_frequency': 10.909090909090908, 'line_displacement': 0.0}), ({'L': 11, 'a': 3, 'b': 2, 'width': 0, 'F': 6, 'c': 120}, {'vacuum_wavelength': 16.5, 'air_wavelength': 7.333333333333333, 'vacuum_width': 0.0, 'vacuum_density': 4.0, 'vacuum_frequency': 7.2727272727272725, 'line_displacement': 5.5}), ({'L': 11, 'a': 3, 'b': 2, 'width': 4, 'F': 0, 'c': 120}, {'vacuum_wavelength': 16.5, 'air_wavelength': 7.333333333333333, 'vacuum_width': 6.0, 'vacuum_density': 0.0, 'vacuum_frequency': 7.2727272727272725, 'line_displacement': 5.5}), ({'L': 11, 'a': 4, 'b': 3, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 14.666666666666666, 'air_wavelength': 8.25, 'vacuum_width': 5.333333333333333, 'vacuum_density': 4.5, 'vacuum_frequency': 8.181818181818182, 'line_displacement': 3.6666666666666665}), ({'L': 11, 'a': 3, 'b': 2, 'width': 4, 'F': -2, 'c': 120}, {'vacuum_wavelength': 16.5, 'air_wavelength': 7.333333333333333, 'vacuum_width': 6.0, 'vacuum_density': -1.3333333333333333, 'vacuum_frequency': 7.2727272727272725, 'line_displacement': 5.5})], 3: [({'L': 12, 'a': 3, 'b': 2, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 18.0, 'air_wavelength': 8.0, 'vacuum_width': 6.0, 'vacuum_density': 4.0, 'vacuum_frequency': 6.666666666666667, 'line_displacement': 6.0}), ({'L': 12, 'a': 1, 'b': 1, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 12.0, 'air_wavelength': 12.0, 'vacuum_width': 4.0, 'vacuum_density': 6.0, 'vacuum_frequency': 10.0, 'line_displacement': 0.0}), ({'L': 12, 'a': 3, 'b': 2, 'width': 0, 'F': 6, 'c': 120}, {'vacuum_wavelength': 18.0, 'air_wavelength': 8.0, 'vacuum_width': 0.0, 'vacuum_density': 4.0, 'vacuum_frequency': 6.666666666666667, 'line_displacement': 6.0}), ({'L': 12, 'a': 3, 'b': 2, 'width': 4, 'F': 0, 'c': 120}, {'vacuum_wavelength': 18.0, 'air_wavelength': 8.0, 'vacuum_width': 6.0, 'vacuum_density': 0.0, 'vacuum_frequency': 6.666666666666667, 'line_displacement': 6.0}), ({'L': 12, 'a': 4, 'b': 3, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 16.0, 'air_wavelength': 9.0, 'vacuum_width': 5.333333333333333, 'vacuum_density': 4.5, 'vacuum_frequency': 7.5, 'line_displacement': 4.0}), ({'L': 12, 'a': 3, 'b': 2, 'width': 4, 'F': -2, 'c': 120}, {'vacuum_wavelength': 18.0, 'air_wavelength': 8.0, 'vacuum_width': 6.0, 'vacuum_density': -1.3333333333333333, 'vacuum_frequency': 6.666666666666667, 'line_displacement': 6.0})], 4: [({'L': 13, 'a': 3, 'b': 2, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 19.5, 'air_wavelength': 8.666666666666666, 'vacuum_width': 6.0, 'vacuum_density': 4.0, 'vacuum_frequency': 6.153846153846154, 'line_displacement': 6.5}), ({'L': 13, 'a': 1, 'b': 1, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 13.0, 'air_wavelength': 13.0, 'vacuum_width': 4.0, 'vacuum_density': 6.0, 'vacuum_frequency': 9.23076923076923, 'line_displacement': 0.0}), ({'L': 13, 'a': 3, 'b': 2, 'width': 0, 'F': 6, 'c': 120}, {'vacuum_wavelength': 19.5, 'air_wavelength': 8.666666666666666, 'vacuum_width': 0.0, 'vacuum_density': 4.0, 'vacuum_frequency': 6.153846153846154, 'line_displacement': 6.5}), ({'L': 13, 'a': 3, 'b': 2, 'width': 4, 'F': 0, 'c': 120}, {'vacuum_wavelength': 19.5, 'air_wavelength': 8.666666666666666, 'vacuum_width': 6.0, 'vacuum_density': 0.0, 'vacuum_frequency': 6.153846153846154, 'line_displacement': 6.5}), ({'L': 13, 'a': 4, 'b': 3, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 17.333333333333332, 'air_wavelength': 9.75, 'vacuum_width': 5.333333333333333, 'vacuum_density': 4.5, 'vacuum_frequency': 6.923076923076923, 'line_displacement': 4.333333333333333}), ({'L': 13, 'a': 3, 'b': 2, 'width': 4, 'F': -2, 'c': 120}, {'vacuum_wavelength': 19.5, 'air_wavelength': 8.666666666666666, 'vacuum_width': 6.0, 'vacuum_density': -1.3333333333333333, 'vacuum_frequency': 6.153846153846154, 'line_displacement': 6.5})], 5: [({'L': 14, 'a': 3, 'b': 2, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 21.0, 'air_wavelength': 9.333333333333334, 'vacuum_width': 6.0, 'vacuum_density': 4.0, 'vacuum_frequency': 5.714285714285714, 'line_displacement': 7.0}), ({'L': 14, 'a': 1, 'b': 1, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 14.0, 'air_wavelength': 14.0, 'vacuum_width': 4.0, 'vacuum_density': 6.0, 'vacuum_frequency': 8.571428571428571, 'line_displacement': 0.0}), ({'L': 14, 'a': 3, 'b': 2, 'width': 0, 'F': 6, 'c': 120}, {'vacuum_wavelength': 21.0, 'air_wavelength': 9.333333333333334, 'vacuum_width': 0.0, 'vacuum_density': 4.0, 'vacuum_frequency': 5.714285714285714, 'line_displacement': 7.0}), ({'L': 14, 'a': 3, 'b': 2, 'width': 4, 'F': 0, 'c': 120}, {'vacuum_wavelength': 21.0, 'air_wavelength': 9.333333333333334, 'vacuum_width': 6.0, 'vacuum_density': 0.0, 'vacuum_frequency': 5.714285714285714, 'line_displacement': 7.0}), ({'L': 14, 'a': 4, 'b': 3, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 18.666666666666668, 'air_wavelength': 10.5, 'vacuum_width': 5.333333333333333, 'vacuum_density': 4.5, 'vacuum_frequency': 6.428571428571429, 'line_displacement': 4.666666666666667}), ({'L': 14, 'a': 3, 'b': 2, 'width': 4, 'F': -2, 'c': 120}, {'vacuum_wavelength': 21.0, 'air_wavelength': 9.333333333333334, 'vacuum_width': 6.0, 'vacuum_density': -1.3333333333333333, 'vacuum_frequency': 5.714285714285714, 'line_displacement': 7.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":"79b65acaa22ae61c648c3f7706c7d967bd7225348a6de7b5206b0e959d0d6a92","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'vacuum_wavelength': d['L']*d['a']/d['b'], 'air_wavelength': d['L']*d['b']/d['a'], 'vacuum_width': d['width']*d['a']/d['b'], 'vacuum_density': d['F']*d['b']/d['a'], 'vacuum_frequency': d['c']/d['L'], 'line_displacement': d['L']*(d['a']-d['b'])/d['b']}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'L': 10, 'a': 3, 'b': 2, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 15.0, 'air_wavelength': 6.666666666666667, 'vacuum_width': 6.0, 'vacuum_density': 4.0, 'vacuum_frequency': 8.0, 'line_displacement': 5.0}), ({'L': 10, 'a': 1, 'b': 1, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 10.0, 'air_wavelength': 10.0, 'vacuum_width': 4.0, 'vacuum_density': 6.0, 'vacuum_frequency': 12.0, 'line_displacement': 0.0}), ({'L': 10, 'a': 3, 'b': 2, 'width': 0, 'F': 6, 'c': 120}, {'vacuum_wavelength': 15.0, 'air_wavelength': 6.666666666666667, 'vacuum_width': 0.0, 'vacuum_density': 4.0, 'vacuum_frequency': 8.0, 'line_displacement': 5.0}), ({'L': 10, 'a': 3, 'b': 2, 'width': 4, 'F': 0, 'c': 120}, {'vacuum_wavelength': 15.0, 'air_wavelength': 6.666666666666667, 'vacuum_width': 6.0, 'vacuum_density': 0.0, 'vacuum_frequency': 8.0, 'line_displacement': 5.0}), ({'L': 10, 'a': 4, 'b': 3, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 13.333333333333334, 'air_wavelength': 7.5, 'vacuum_width': 5.333333333333333, 'vacuum_density': 4.5, 'vacuum_frequency': 9.0, 'line_displacement': 3.3333333333333335}), ({'L': 10, 'a': 3, 'b': 2, 'width': 4, 'F': -2, 'c': 120}, {'vacuum_wavelength': 15.0, 'air_wavelength': 6.666666666666667, 'vacuum_width': 6.0, 'vacuum_density': -1.3333333333333333, 'vacuum_frequency': 8.0, 'line_displacement': 5.0})], 2: [({'L': 11, 'a': 3, 'b': 2, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 16.5, 'air_wavelength': 7.333333333333333, 'vacuum_width': 6.0, 'vacuum_density': 4.0, 'vacuum_frequency': 7.2727272727272725, 'line_displacement': 5.5}), ({'L': 11, 'a': 1, 'b': 1, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 11.0, 'air_wavelength': 11.0, 'vacuum_width': 4.0, 'vacuum_density': 6.0, 'vacuum_frequency': 10.909090909090908, 'line_displacement': 0.0}), ({'L': 11, 'a': 3, 'b': 2, 'width': 0, 'F': 6, 'c': 120}, {'vacuum_wavelength': 16.5, 'air_wavelength': 7.333333333333333, 'vacuum_width': 0.0, 'vacuum_density': 4.0, 'vacuum_frequency': 7.2727272727272725, 'line_displacement': 5.5}), ({'L': 11, 'a': 3, 'b': 2, 'width': 4, 'F': 0, 'c': 120}, {'vacuum_wavelength': 16.5, 'air_wavelength': 7.333333333333333, 'vacuum_width': 6.0, 'vacuum_density': 0.0, 'vacuum_frequency': 7.2727272727272725, 'line_displacement': 5.5}), ({'L': 11, 'a': 4, 'b': 3, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 14.666666666666666, 'air_wavelength': 8.25, 'vacuum_width': 5.333333333333333, 'vacuum_density': 4.5, 'vacuum_frequency': 8.181818181818182, 'line_displacement': 3.6666666666666665}), ({'L': 11, 'a': 3, 'b': 2, 'width': 4, 'F': -2, 'c': 120}, {'vacuum_wavelength': 16.5, 'air_wavelength': 7.333333333333333, 'vacuum_width': 6.0, 'vacuum_density': -1.3333333333333333, 'vacuum_frequency': 7.2727272727272725, 'line_displacement': 5.5})], 3: [({'L': 12, 'a': 3, 'b': 2, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 18.0, 'air_wavelength': 8.0, 'vacuum_width': 6.0, 'vacuum_density': 4.0, 'vacuum_frequency': 6.666666666666667, 'line_displacement': 6.0}), ({'L': 12, 'a': 1, 'b': 1, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 12.0, 'air_wavelength': 12.0, 'vacuum_width': 4.0, 'vacuum_density': 6.0, 'vacuum_frequency': 10.0, 'line_displacement': 0.0}), ({'L': 12, 'a': 3, 'b': 2, 'width': 0, 'F': 6, 'c': 120}, {'vacuum_wavelength': 18.0, 'air_wavelength': 8.0, 'vacuum_width': 0.0, 'vacuum_density': 4.0, 'vacuum_frequency': 6.666666666666667, 'line_displacement': 6.0}), ({'L': 12, 'a': 3, 'b': 2, 'width': 4, 'F': 0, 'c': 120}, {'vacuum_wavelength': 18.0, 'air_wavelength': 8.0, 'vacuum_width': 6.0, 'vacuum_density': 0.0, 'vacuum_frequency': 6.666666666666667, 'line_displacement': 6.0}), ({'L': 12, 'a': 4, 'b': 3, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 16.0, 'air_wavelength': 9.0, 'vacuum_width': 5.333333333333333, 'vacuum_density': 4.5, 'vacuum_frequency': 7.5, 'line_displacement': 4.0}), ({'L': 12, 'a': 3, 'b': 2, 'width': 4, 'F': -2, 'c': 120}, {'vacuum_wavelength': 18.0, 'air_wavelength': 8.0, 'vacuum_width': 6.0, 'vacuum_density': -1.3333333333333333, 'vacuum_frequency': 6.666666666666667, 'line_displacement': 6.0})], 4: [({'L': 13, 'a': 3, 'b': 2, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 19.5, 'air_wavelength': 8.666666666666666, 'vacuum_width': 6.0, 'vacuum_density': 4.0, 'vacuum_frequency': 6.153846153846154, 'line_displacement': 6.5}), ({'L': 13, 'a': 1, 'b': 1, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 13.0, 'air_wavelength': 13.0, 'vacuum_width': 4.0, 'vacuum_density': 6.0, 'vacuum_frequency': 9.23076923076923, 'line_displacement': 0.0}), ({'L': 13, 'a': 3, 'b': 2, 'width': 0, 'F': 6, 'c': 120}, {'vacuum_wavelength': 19.5, 'air_wavelength': 8.666666666666666, 'vacuum_width': 0.0, 'vacuum_density': 4.0, 'vacuum_frequency': 6.153846153846154, 'line_displacement': 6.5}), ({'L': 13, 'a': 3, 'b': 2, 'width': 4, 'F': 0, 'c': 120}, {'vacuum_wavelength': 19.5, 'air_wavelength': 8.666666666666666, 'vacuum_width': 6.0, 'vacuum_density': 0.0, 'vacuum_frequency': 6.153846153846154, 'line_displacement': 6.5}), ({'L': 13, 'a': 4, 'b': 3, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 17.333333333333332, 'air_wavelength': 9.75, 'vacuum_width': 5.333333333333333, 'vacuum_density': 4.5, 'vacuum_frequency': 6.923076923076923, 'line_displacement': 4.333333333333333}), ({'L': 13, 'a': 3, 'b': 2, 'width': 4, 'F': -2, 'c': 120}, {'vacuum_wavelength': 19.5, 'air_wavelength': 8.666666666666666, 'vacuum_width': 6.0, 'vacuum_density': -1.3333333333333333, 'vacuum_frequency': 6.153846153846154, 'line_displacement': 6.5})], 5: [({'L': 14, 'a': 3, 'b': 2, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 21.0, 'air_wavelength': 9.333333333333334, 'vacuum_width': 6.0, 'vacuum_density': 4.0, 'vacuum_frequency': 5.714285714285714, 'line_displacement': 7.0}), ({'L': 14, 'a': 1, 'b': 1, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 14.0, 'air_wavelength': 14.0, 'vacuum_width': 4.0, 'vacuum_density': 6.0, 'vacuum_frequency': 8.571428571428571, 'line_displacement': 0.0}), ({'L': 14, 'a': 3, 'b': 2, 'width': 0, 'F': 6, 'c': 120}, {'vacuum_wavelength': 21.0, 'air_wavelength': 9.333333333333334, 'vacuum_width': 0.0, 'vacuum_density': 4.0, 'vacuum_frequency': 5.714285714285714, 'line_displacement': 7.0}), ({'L': 14, 'a': 3, 'b': 2, 'width': 4, 'F': 0, 'c': 120}, {'vacuum_wavelength': 21.0, 'air_wavelength': 9.333333333333334, 'vacuum_width': 6.0, 'vacuum_density': 0.0, 'vacuum_frequency': 5.714285714285714, 'line_displacement': 7.0}), ({'L': 14, 'a': 4, 'b': 3, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 18.666666666666668, 'air_wavelength': 10.5, 'vacuum_width': 5.333333333333333, 'vacuum_density': 4.5, 'vacuum_frequency': 6.428571428571429, 'line_displacement': 4.666666666666667}), ({'L': 14, 'a': 3, 'b': 2, 'width': 4, 'F': -2, 'c': 120}, {'vacuum_wavelength': 21.0, 'air_wavelength': 9.333333333333334, 'vacuum_width': 6.0, 'vacuum_density': -1.3333333333333333, 'vacuum_frequency': 5.714285714285714, 'line_displacement': 7.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":"d19e90b5b28614b7bbabebc50aaa83259754a46a93c2b374ed944154ca5c4a28","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'vacuum_wavelength': d['L']*d['a']/d['b'], 'air_wavelength': d['L']*d['b']/d['a'], 'vacuum_width': d['width']*d['a']/d['b'], 'vacuum_density': d['F']*d['b']/d['a'], 'vacuum_frequency': d['c']*d['b']/(d['L']*d['a']), 'line_displacement': d['L']*(d['a']-d['b'])/d['b']}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'L': 10, 'a': 3, 'b': 2, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 15.0, 'air_wavelength': 6.666666666666667, 'vacuum_width': 6.0, 'vacuum_density': 4.0, 'vacuum_frequency': 8.0, 'line_displacement': 5.0}), ({'L': 10, 'a': 1, 'b': 1, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 10.0, 'air_wavelength': 10.0, 'vacuum_width': 4.0, 'vacuum_density': 6.0, 'vacuum_frequency': 12.0, 'line_displacement': 0.0}), ({'L': 10, 'a': 3, 'b': 2, 'width': 0, 'F': 6, 'c': 120}, {'vacuum_wavelength': 15.0, 'air_wavelength': 6.666666666666667, 'vacuum_width': 0.0, 'vacuum_density': 4.0, 'vacuum_frequency': 8.0, 'line_displacement': 5.0}), ({'L': 10, 'a': 3, 'b': 2, 'width': 4, 'F': 0, 'c': 120}, {'vacuum_wavelength': 15.0, 'air_wavelength': 6.666666666666667, 'vacuum_width': 6.0, 'vacuum_density': 0.0, 'vacuum_frequency': 8.0, 'line_displacement': 5.0}), ({'L': 10, 'a': 4, 'b': 3, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 13.333333333333334, 'air_wavelength': 7.5, 'vacuum_width': 5.333333333333333, 'vacuum_density': 4.5, 'vacuum_frequency': 9.0, 'line_displacement': 3.3333333333333335}), ({'L': 10, 'a': 3, 'b': 2, 'width': 4, 'F': -2, 'c': 120}, {'vacuum_wavelength': 15.0, 'air_wavelength': 6.666666666666667, 'vacuum_width': 6.0, 'vacuum_density': -1.3333333333333333, 'vacuum_frequency': 8.0, 'line_displacement': 5.0})], 2: [({'L': 11, 'a': 3, 'b': 2, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 16.5, 'air_wavelength': 7.333333333333333, 'vacuum_width': 6.0, 'vacuum_density': 4.0, 'vacuum_frequency': 7.2727272727272725, 'line_displacement': 5.5}), ({'L': 11, 'a': 1, 'b': 1, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 11.0, 'air_wavelength': 11.0, 'vacuum_width': 4.0, 'vacuum_density': 6.0, 'vacuum_frequency': 10.909090909090908, 'line_displacement': 0.0}), ({'L': 11, 'a': 3, 'b': 2, 'width': 0, 'F': 6, 'c': 120}, {'vacuum_wavelength': 16.5, 'air_wavelength': 7.333333333333333, 'vacuum_width': 0.0, 'vacuum_density': 4.0, 'vacuum_frequency': 7.2727272727272725, 'line_displacement': 5.5}), ({'L': 11, 'a': 3, 'b': 2, 'width': 4, 'F': 0, 'c': 120}, {'vacuum_wavelength': 16.5, 'air_wavelength': 7.333333333333333, 'vacuum_width': 6.0, 'vacuum_density': 0.0, 'vacuum_frequency': 7.2727272727272725, 'line_displacement': 5.5}), ({'L': 11, 'a': 4, 'b': 3, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 14.666666666666666, 'air_wavelength': 8.25, 'vacuum_width': 5.333333333333333, 'vacuum_density': 4.5, 'vacuum_frequency': 8.181818181818182, 'line_displacement': 3.6666666666666665}), ({'L': 11, 'a': 3, 'b': 2, 'width': 4, 'F': -2, 'c': 120}, {'vacuum_wavelength': 16.5, 'air_wavelength': 7.333333333333333, 'vacuum_width': 6.0, 'vacuum_density': -1.3333333333333333, 'vacuum_frequency': 7.2727272727272725, 'line_displacement': 5.5})], 3: [({'L': 12, 'a': 3, 'b': 2, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 18.0, 'air_wavelength': 8.0, 'vacuum_width': 6.0, 'vacuum_density': 4.0, 'vacuum_frequency': 6.666666666666667, 'line_displacement': 6.0}), ({'L': 12, 'a': 1, 'b': 1, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 12.0, 'air_wavelength': 12.0, 'vacuum_width': 4.0, 'vacuum_density': 6.0, 'vacuum_frequency': 10.0, 'line_displacement': 0.0}), ({'L': 12, 'a': 3, 'b': 2, 'width': 0, 'F': 6, 'c': 120}, {'vacuum_wavelength': 18.0, 'air_wavelength': 8.0, 'vacuum_width': 0.0, 'vacuum_density': 4.0, 'vacuum_frequency': 6.666666666666667, 'line_displacement': 6.0}), ({'L': 12, 'a': 3, 'b': 2, 'width': 4, 'F': 0, 'c': 120}, {'vacuum_wavelength': 18.0, 'air_wavelength': 8.0, 'vacuum_width': 6.0, 'vacuum_density': 0.0, 'vacuum_frequency': 6.666666666666667, 'line_displacement': 6.0}), ({'L': 12, 'a': 4, 'b': 3, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 16.0, 'air_wavelength': 9.0, 'vacuum_width': 5.333333333333333, 'vacuum_density': 4.5, 'vacuum_frequency': 7.5, 'line_displacement': 4.0}), ({'L': 12, 'a': 3, 'b': 2, 'width': 4, 'F': -2, 'c': 120}, {'vacuum_wavelength': 18.0, 'air_wavelength': 8.0, 'vacuum_width': 6.0, 'vacuum_density': -1.3333333333333333, 'vacuum_frequency': 6.666666666666667, 'line_displacement': 6.0})], 4: [({'L': 13, 'a': 3, 'b': 2, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 19.5, 'air_wavelength': 8.666666666666666, 'vacuum_width': 6.0, 'vacuum_density': 4.0, 'vacuum_frequency': 6.153846153846154, 'line_displacement': 6.5}), ({'L': 13, 'a': 1, 'b': 1, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 13.0, 'air_wavelength': 13.0, 'vacuum_width': 4.0, 'vacuum_density': 6.0, 'vacuum_frequency': 9.23076923076923, 'line_displacement': 0.0}), ({'L': 13, 'a': 3, 'b': 2, 'width': 0, 'F': 6, 'c': 120}, {'vacuum_wavelength': 19.5, 'air_wavelength': 8.666666666666666, 'vacuum_width': 0.0, 'vacuum_density': 4.0, 'vacuum_frequency': 6.153846153846154, 'line_displacement': 6.5}), ({'L': 13, 'a': 3, 'b': 2, 'width': 4, 'F': 0, 'c': 120}, {'vacuum_wavelength': 19.5, 'air_wavelength': 8.666666666666666, 'vacuum_width': 6.0, 'vacuum_density': 0.0, 'vacuum_frequency': 6.153846153846154, 'line_displacement': 6.5}), ({'L': 13, 'a': 4, 'b': 3, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 17.333333333333332, 'air_wavelength': 9.75, 'vacuum_width': 5.333333333333333, 'vacuum_density': 4.5, 'vacuum_frequency': 6.923076923076923, 'line_displacement': 4.333333333333333}), ({'L': 13, 'a': 3, 'b': 2, 'width': 4, 'F': -2, 'c': 120}, {'vacuum_wavelength': 19.5, 'air_wavelength': 8.666666666666666, 'vacuum_width': 6.0, 'vacuum_density': -1.3333333333333333, 'vacuum_frequency': 6.153846153846154, 'line_displacement': 6.5})], 5: [({'L': 14, 'a': 3, 'b': 2, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 21.0, 'air_wavelength': 9.333333333333334, 'vacuum_width': 6.0, 'vacuum_density': 4.0, 'vacuum_frequency': 5.714285714285714, 'line_displacement': 7.0}), ({'L': 14, 'a': 1, 'b': 1, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 14.0, 'air_wavelength': 14.0, 'vacuum_width': 4.0, 'vacuum_density': 6.0, 'vacuum_frequency': 8.571428571428571, 'line_displacement': 0.0}), ({'L': 14, 'a': 3, 'b': 2, 'width': 0, 'F': 6, 'c': 120}, {'vacuum_wavelength': 21.0, 'air_wavelength': 9.333333333333334, 'vacuum_width': 0.0, 'vacuum_density': 4.0, 'vacuum_frequency': 5.714285714285714, 'line_displacement': 7.0}), ({'L': 14, 'a': 3, 'b': 2, 'width': 4, 'F': 0, 'c': 120}, {'vacuum_wavelength': 21.0, 'air_wavelength': 9.333333333333334, 'vacuum_width': 6.0, 'vacuum_density': 0.0, 'vacuum_frequency': 5.714285714285714, 'line_displacement': 7.0}), ({'L': 14, 'a': 4, 'b': 3, 'width': 4, 'F': 6, 'c': 120}, {'vacuum_wavelength': 18.666666666666668, 'air_wavelength': 10.5, 'vacuum_width': 5.333333333333333, 'vacuum_density': 4.5, 'vacuum_frequency': 6.428571428571429, 'line_displacement': 4.666666666666667}), ({'L': 14, 'a': 3, 'b': 2, 'width': 4, 'F': -2, 'c': 120}, {'vacuum_wavelength': 21.0, 'air_wavelength': 9.333333333333334, 'vacuum_width': 6.0, 'vacuum_density': -1.3333333333333333, 'vacuum_frequency': 5.714285714285714, 'line_displacement': 7.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-air-vacuum-line-coordinate-vacuum_frequency","generated_at":"2026-09-29T14:45:59.813488+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['c']*d['b']/(d['L']*d['a'])","root_cause":"Frequency is computed from air wavelength without refractive-index conversion. Faulty expression: d['c']/d['L']","sha256":"7c3e85f1cc2cbcec5f3cdd3cd8c251c0e5b85f1110b2a94e145bed414b991c13","title":"Air vacuum line coordinate: Frequency is computed from air wavelength without refractive-index conversion · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.452,"exit_code":1,"observations":[{"actual":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":4.0,"vacuum_frequency":18.0,"vacuum_wavelength":15.0,"vacuum_width":6.0},"check":"astronomical fixture 0","expected":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":4.0,"vacuum_frequency":8.0,"vacuum_wavelength":15.0,"vacuum_width":6.0},"passed":false},{"actual":{"air_wavelength":10.0,"line_displacement":0.0,"vacuum_density":6.0,"vacuum_frequency":12.0,"vacuum_wavelength":10.0,"vacuum_width":4.0},"check":"astronomical fixture 1","expected":{"air_wavelength":10.0,"line_displacement":0.0,"vacuum_density":6.0,"vacuum_frequency":12.0,"vacuum_wavelength":10.0,"vacuum_width":4.0},"passed":true},{"actual":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":4.0,"vacuum_frequency":18.0,"vacuum_wavelength":15.0,"vacuum_width":0.0},"check":"astronomical fixture 2","expected":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":4.0,"vacuum_frequency":8.0,"vacuum_wavelength":15.0,"vacuum_width":0.0},"passed":false},{"actual":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":0.0,"vacuum_frequency":18.0,"vacuum_wavelength":15.0,"vacuum_width":6.0},"check":"astronomical fixture 3","expected":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":0.0,"vacuum_frequency":8.0,"vacuum_wavelength":15.0,"vacuum_width":6.0},"passed":false},{"actual":{"air_wavelength":7.5,"line_displacement":3.3333333333333335,"vacuum_density":4.5,"vacuum_frequency":16.0,"vacuum_wavelength":13.333333333333334,"vacuum_width":5.333333333333333},"check":"astronomical fixture 4","expected":{"air_wavelength":7.5,"line_displacement":3.3333333333333335,"vacuum_density":4.5,"vacuum_frequency":9.0,"vacuum_wavelength":13.333333333333334,"vacuum_width":5.333333333333333},"passed":false},{"actual":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":-1.3333333333333333,"vacuum_frequency":18.0,"vacuum_wavelength":15.0,"vacuum_width":6.0},"check":"astronomical fixture 5","expected":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":-1.3333333333333333,"vacuum_frequency":8.0,"vacuum_wavelength":15.0,"vacuum_width":6.0},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"astronomical fixture 0\", \"actual\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 6.0, \"vacuum_density\": 4.0, \"vacuum_frequency\": 18.0, \"line_displacement\": 5.0}, \"expected\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 6.0, \"vacuum_density\": 4.0, \"vacuum_frequency\": 8.0, \"line_displacement\": 5.0}, \"passed\": false}, {\"check\": \"astronomical fixture 1\", \"actual\": {\"vacuum_wavelength\": 10.0, \"air_wavelength\": 10.0, \"vacuum_width\": 4.0, \"vacuum_density\": 6.0, \"vacuum_frequency\": 12.0, \"line_displacement\": 0.0}, \"expected\": {\"vacuum_wavelength\": 10.0, \"air_wavelength\": 10.0, \"vacuum_width\": 4.0, \"vacuum_density\": 6.0, \"vacuum_frequency\": 12.0, \"line_displacement\": 0.0}, \"passed\": true}, {\"check\": \"astronomical fixture 2\", \"actual\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 0.0, \"vacuum_density\": 4.0, \"vacuum_frequency\": 18.0, \"line_displacement\": 5.0}, \"expected\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 0.0, \"vacuum_density\": 4.0, \"vacuum_frequency\": 8.0, \"line_displacement\": 5.0}, \"passed\": false}, {\"check\": \"astronomical fixture 3\", \"actual\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 6.0, \"vacuum_density\": 0.0, \"vacuum_frequency\": 18.0, \"line_displacement\": 5.0}, \"expected\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 6.0, \"vacuum_density\": 0.0, \"vacuum_frequency\": 8.0, \"line_displacement\": 5.0}, \"passed\": false}, {\"check\": \"astronomical fixture 4\", \"actual\": {\"vacuum_wavelength\": 13.333333333333334, \"air_wavelength\": 7.5, \"vacuum_width\": 5.333333333333333, \"vacuum_density\": 4.5, \"vacuum_frequency\": 16.0, \"line_displacement\": 3.3333333333333335}, \"expected\": {\"vacuum_wavelength\": 13.333333333333334, \"air_wavelength\": 7.5, \"vacuum_width\": 5.333333333333333, \"vacuum_density\": 4.5, \"vacuum_frequency\": 9.0, \"line_displacement\": 3.3333333333333335}, \"passed\": false}, {\"check\": \"astronomical fixture 5\", \"actual\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 6.0, \"vacuum_density\": -1.3333333333333333, \"vacuum_frequency\": 18.0, \"line_displacement\": 5.0}, \"expected\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 6.0, \"vacuum_density\": -1.3333333333333333, \"vacuum_frequency\": 8.0, \"line_displacement\": 5.0}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.083,"exit_code":1,"observations":[{"actual":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":4.0,"vacuum_frequency":12.0,"vacuum_wavelength":15.0,"vacuum_width":6.0},"check":"astronomical fixture 0","expected":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":4.0,"vacuum_frequency":8.0,"vacuum_wavelength":15.0,"vacuum_width":6.0},"passed":false},{"actual":{"air_wavelength":10.0,"line_displacement":0.0,"vacuum_density":6.0,"vacuum_frequency":12.0,"vacuum_wavelength":10.0,"vacuum_width":4.0},"check":"astronomical fixture 1","expected":{"air_wavelength":10.0,"line_displacement":0.0,"vacuum_density":6.0,"vacuum_frequency":12.0,"vacuum_wavelength":10.0,"vacuum_width":4.0},"passed":true},{"actual":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":4.0,"vacuum_frequency":12.0,"vacuum_wavelength":15.0,"vacuum_width":0.0},"check":"astronomical fixture 2","expected":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":4.0,"vacuum_frequency":8.0,"vacuum_wavelength":15.0,"vacuum_width":0.0},"passed":false},{"actual":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":0.0,"vacuum_frequency":12.0,"vacuum_wavelength":15.0,"vacuum_width":6.0},"check":"astronomical fixture 3","expected":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":0.0,"vacuum_frequency":8.0,"vacuum_wavelength":15.0,"vacuum_width":6.0},"passed":false},{"actual":{"air_wavelength":7.5,"line_displacement":3.3333333333333335,"vacuum_density":4.5,"vacuum_frequency":12.0,"vacuum_wavelength":13.333333333333334,"vacuum_width":5.333333333333333},"check":"astronomical fixture 4","expected":{"air_wavelength":7.5,"line_displacement":3.3333333333333335,"vacuum_density":4.5,"vacuum_frequency":9.0,"vacuum_wavelength":13.333333333333334,"vacuum_width":5.333333333333333},"passed":false},{"actual":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":-1.3333333333333333,"vacuum_frequency":12.0,"vacuum_wavelength":15.0,"vacuum_width":6.0},"check":"astronomical fixture 5","expected":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":-1.3333333333333333,"vacuum_frequency":8.0,"vacuum_wavelength":15.0,"vacuum_width":6.0},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"astronomical fixture 0\", \"actual\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 6.0, \"vacuum_density\": 4.0, \"vacuum_frequency\": 12.0, \"line_displacement\": 5.0}, \"expected\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 6.0, \"vacuum_density\": 4.0, \"vacuum_frequency\": 8.0, \"line_displacement\": 5.0}, \"passed\": false}, {\"check\": \"astronomical fixture 1\", \"actual\": {\"vacuum_wavelength\": 10.0, \"air_wavelength\": 10.0, \"vacuum_width\": 4.0, \"vacuum_density\": 6.0, \"vacuum_frequency\": 12.0, \"line_displacement\": 0.0}, \"expected\": {\"vacuum_wavelength\": 10.0, \"air_wavelength\": 10.0, \"vacuum_width\": 4.0, \"vacuum_density\": 6.0, \"vacuum_frequency\": 12.0, \"line_displacement\": 0.0}, \"passed\": true}, {\"check\": \"astronomical fixture 2\", \"actual\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 0.0, \"vacuum_density\": 4.0, \"vacuum_frequency\": 12.0, \"line_displacement\": 5.0}, \"expected\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 0.0, \"vacuum_density\": 4.0, \"vacuum_frequency\": 8.0, \"line_displacement\": 5.0}, \"passed\": false}, {\"check\": \"astronomical fixture 3\", \"actual\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 6.0, \"vacuum_density\": 0.0, \"vacuum_frequency\": 12.0, \"line_displacement\": 5.0}, \"expected\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 6.0, \"vacuum_density\": 0.0, \"vacuum_frequency\": 8.0, \"line_displacement\": 5.0}, \"passed\": false}, {\"check\": \"astronomical fixture 4\", \"actual\": {\"vacuum_wavelength\": 13.333333333333334, \"air_wavelength\": 7.5, \"vacuum_width\": 5.333333333333333, \"vacuum_density\": 4.5, \"vacuum_frequency\": 12.0, \"line_displacement\": 3.3333333333333335}, \"expected\": {\"vacuum_wavelength\": 13.333333333333334, \"air_wavelength\": 7.5, \"vacuum_width\": 5.333333333333333, \"vacuum_density\": 4.5, \"vacuum_frequency\": 9.0, \"line_displacement\": 3.3333333333333335}, \"passed\": false}, {\"check\": \"astronomical fixture 5\", \"actual\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 6.0, \"vacuum_density\": -1.3333333333333333, \"vacuum_frequency\": 12.0, \"line_displacement\": 5.0}, \"expected\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 6.0, \"vacuum_density\": -1.3333333333333333, \"vacuum_frequency\": 8.0, \"line_displacement\": 5.0}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.273,"exit_code":0,"observations":[{"actual":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":4.0,"vacuum_frequency":8.0,"vacuum_wavelength":15.0,"vacuum_width":6.0},"check":"astronomical fixture 0","expected":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":4.0,"vacuum_frequency":8.0,"vacuum_wavelength":15.0,"vacuum_width":6.0},"passed":true},{"actual":{"air_wavelength":10.0,"line_displacement":0.0,"vacuum_density":6.0,"vacuum_frequency":12.0,"vacuum_wavelength":10.0,"vacuum_width":4.0},"check":"astronomical fixture 1","expected":{"air_wavelength":10.0,"line_displacement":0.0,"vacuum_density":6.0,"vacuum_frequency":12.0,"vacuum_wavelength":10.0,"vacuum_width":4.0},"passed":true},{"actual":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":4.0,"vacuum_frequency":8.0,"vacuum_wavelength":15.0,"vacuum_width":0.0},"check":"astronomical fixture 2","expected":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":4.0,"vacuum_frequency":8.0,"vacuum_wavelength":15.0,"vacuum_width":0.0},"passed":true},{"actual":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":0.0,"vacuum_frequency":8.0,"vacuum_wavelength":15.0,"vacuum_width":6.0},"check":"astronomical fixture 3","expected":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":0.0,"vacuum_frequency":8.0,"vacuum_wavelength":15.0,"vacuum_width":6.0},"passed":true},{"actual":{"air_wavelength":7.5,"line_displacement":3.3333333333333335,"vacuum_density":4.5,"vacuum_frequency":9.0,"vacuum_wavelength":13.333333333333334,"vacuum_width":5.333333333333333},"check":"astronomical fixture 4","expected":{"air_wavelength":7.5,"line_displacement":3.3333333333333335,"vacuum_density":4.5,"vacuum_frequency":9.0,"vacuum_wavelength":13.333333333333334,"vacuum_width":5.333333333333333},"passed":true},{"actual":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":-1.3333333333333333,"vacuum_frequency":8.0,"vacuum_wavelength":15.0,"vacuum_width":6.0},"check":"astronomical fixture 5","expected":{"air_wavelength":6.666666666666667,"line_displacement":5.0,"vacuum_density":-1.3333333333333333,"vacuum_frequency":8.0,"vacuum_wavelength":15.0,"vacuum_width":6.0},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"astronomical fixture 0\", \"actual\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 6.0, \"vacuum_density\": 4.0, \"vacuum_frequency\": 8.0, \"line_displacement\": 5.0}, \"expected\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 6.0, \"vacuum_density\": 4.0, \"vacuum_frequency\": 8.0, \"line_displacement\": 5.0}, \"passed\": true}, {\"check\": \"astronomical fixture 1\", \"actual\": {\"vacuum_wavelength\": 10.0, \"air_wavelength\": 10.0, \"vacuum_width\": 4.0, \"vacuum_density\": 6.0, \"vacuum_frequency\": 12.0, \"line_displacement\": 0.0}, \"expected\": {\"vacuum_wavelength\": 10.0, \"air_wavelength\": 10.0, \"vacuum_width\": 4.0, \"vacuum_density\": 6.0, \"vacuum_frequency\": 12.0, \"line_displacement\": 0.0}, \"passed\": true}, {\"check\": \"astronomical fixture 2\", \"actual\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 0.0, \"vacuum_density\": 4.0, \"vacuum_frequency\": 8.0, \"line_displacement\": 5.0}, \"expected\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 0.0, \"vacuum_density\": 4.0, \"vacuum_frequency\": 8.0, \"line_displacement\": 5.0}, \"passed\": true}, {\"check\": \"astronomical fixture 3\", \"actual\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 6.0, \"vacuum_density\": 0.0, \"vacuum_frequency\": 8.0, \"line_displacement\": 5.0}, \"expected\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 6.0, \"vacuum_density\": 0.0, \"vacuum_frequency\": 8.0, \"line_displacement\": 5.0}, \"passed\": true}, {\"check\": \"astronomical fixture 4\", \"actual\": {\"vacuum_wavelength\": 13.333333333333334, \"air_wavelength\": 7.5, \"vacuum_width\": 5.333333333333333, \"vacuum_density\": 4.5, \"vacuum_frequency\": 9.0, \"line_displacement\": 3.3333333333333335}, \"expected\": {\"vacuum_wavelength\": 13.333333333333334, \"air_wavelength\": 7.5, \"vacuum_width\": 5.333333333333333, \"vacuum_density\": 4.5, \"vacuum_frequency\": 9.0, \"line_displacement\": 3.3333333333333335}, \"passed\": true}, {\"check\": \"astronomical fixture 5\", \"actual\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 6.0, \"vacuum_density\": -1.3333333333333333, \"vacuum_frequency\": 8.0, \"line_displacement\": 5.0}, \"expected\": {\"vacuum_wavelength\": 15.0, \"air_wavelength\": 6.666666666666667, \"vacuum_width\": 6.0, \"vacuum_density\": -1.3333333333333333, \"vacuum_frequency\": 8.0, \"line_displacement\": 5.0}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}