FAILURE MAP
← Case archive

FA-56181 / Astronomical coordinate conventions / Open access

Astro frequency comb coordinate: Comb wavelength calibration evaluates the reciprocal before adding mode frequency · case 01

The adapter reports an incorrect mode wavelength while other fields remain valid.

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

ROOT CAUSE

Comb wavelength calibration evaluates the reciprocal before adding mode frequency. Faulty expression: d['c']/(d['m']*d['r'])

VERIFIED REPAIR

Preserve the declared model convention at this site: d['c']/(d['o']+d['m']*d['r'])

Unsuccessful approach: A partial convention repair still uses d['c']/d['o']+d['m']*d['r']

Case contract

An astronomical calibration comb has carrier-envelope offset o, repetition frequency r>0, integer mode m, and filter stride s with first retained mode b. Frequencies f=o+m*r. Detector channel k in the filtered comb corresponds to mode b+k*s; c is a supplied speed constant. Output fields are defined by: mode_frequency = d['o']+d['m']*d['r']; retained_mode = d['b']+d['k']*d['s']; retained_frequency = d['o']+(d['b']+d['k']*d['s'])*d['r']; line_spacing = d['s']*d['r']; mode_wavelength = d['c']/(d['o']+d['m']*d['r']); first_retained_frequency = d['o']+d['b']*d['r']

Why this case matters

Catalog, detector, sky-coordinate, and spectroscopy adapters must preserve the association between numeric coordinates and their declared reference conventions.

1 / The failure

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

N = 1
observations = []
def solve(d):
    return {'mode_frequency': d['o']+d['m']*d['r'], 'retained_mode': d['b']+d['k']*d['s'], 'retained_frequency': d['o']+(d['b']+d['k']*d['s'])*d['r'], 'line_spacing': d['s']*d['r'], 'mode_wavelength': d['c']/(d['m']*d['r']), 'first_retained_frequency': d['o']+d['b']*d['r']}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'o': 3, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 43, 'retained_mode': 17, 'retained_frequency': 173, 'line_spacing': 30, 'mode_wavelength': 2.7906976744186047, 'first_retained_frequency': 23}), ({'o': 3, 'r': 10, 'm': 4, 's': 1, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 43, 'retained_mode': 7, 'retained_frequency': 73, 'line_spacing': 10, 'mode_wavelength': 2.7906976744186047, 'first_retained_frequency': 23}), ({'o': 3, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 0, 'c': 120}, {'mode_frequency': 43, 'retained_mode': 2, 'retained_frequency': 23, 'line_spacing': 30, 'mode_wavelength': 2.7906976744186047, 'first_retained_frequency': 23}), ({'o': 3, 'r': 10, 'm': 4, 's': 3, 'b': 0, 'k': 5, 'c': 120}, {'mode_frequency': 43, 'retained_mode': 15, 'retained_frequency': 153, 'line_spacing': 30, 'mode_wavelength': 2.7906976744186047, 'first_retained_frequency': 3}), ({'o': 3, 'r': 10, 'm': 1, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 13, 'retained_mode': 17, 'retained_frequency': 173, 'line_spacing': 30, 'mode_wavelength': 9.23076923076923, 'first_retained_frequency': 23}), ({'o': 3, 'r': 5, 'm': 4, 's': 2, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 23, 'retained_mode': 12, 'retained_frequency': 63, 'line_spacing': 10, 'mode_wavelength': 5.217391304347826, 'first_retained_frequency': 13})], 2: [({'o': 4, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 44, 'retained_mode': 17, 'retained_frequency': 174, 'line_spacing': 30, 'mode_wavelength': 2.727272727272727, 'first_retained_frequency': 24}), ({'o': 4, 'r': 10, 'm': 4, 's': 1, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 44, 'retained_mode': 7, 'retained_frequency': 74, 'line_spacing': 10, 'mode_wavelength': 2.727272727272727, 'first_retained_frequency': 24}), ({'o': 4, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 0, 'c': 120}, {'mode_frequency': 44, 'retained_mode': 2, 'retained_frequency': 24, 'line_spacing': 30, 'mode_wavelength': 2.727272727272727, 'first_retained_frequency': 24}), ({'o': 4, 'r': 10, 'm': 4, 's': 3, 'b': 0, 'k': 5, 'c': 120}, {'mode_frequency': 44, 'retained_mode': 15, 'retained_frequency': 154, 'line_spacing': 30, 'mode_wavelength': 2.727272727272727, 'first_retained_frequency': 4}), ({'o': 4, 'r': 10, 'm': 1, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 14, 'retained_mode': 17, 'retained_frequency': 174, 'line_spacing': 30, 'mode_wavelength': 8.571428571428571, 'first_retained_frequency': 24}), ({'o': 4, 'r': 5, 'm': 4, 's': 2, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 24, 'retained_mode': 12, 'retained_frequency': 64, 'line_spacing': 10, 'mode_wavelength': 5.0, 'first_retained_frequency': 14})], 3: [({'o': 5, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 45, 'retained_mode': 17, 'retained_frequency': 175, 'line_spacing': 30, 'mode_wavelength': 2.6666666666666665, 'first_retained_frequency': 25}), ({'o': 5, 'r': 10, 'm': 4, 's': 1, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 45, 'retained_mode': 7, 'retained_frequency': 75, 'line_spacing': 10, 'mode_wavelength': 2.6666666666666665, 'first_retained_frequency': 25}), ({'o': 5, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 0, 'c': 120}, {'mode_frequency': 45, 'retained_mode': 2, 'retained_frequency': 25, 'line_spacing': 30, 'mode_wavelength': 2.6666666666666665, 'first_retained_frequency': 25}), ({'o': 5, 'r': 10, 'm': 4, 's': 3, 'b': 0, 'k': 5, 'c': 120}, {'mode_frequency': 45, 'retained_mode': 15, 'retained_frequency': 155, 'line_spacing': 30, 'mode_wavelength': 2.6666666666666665, 'first_retained_frequency': 5}), ({'o': 5, 'r': 10, 'm': 1, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 15, 'retained_mode': 17, 'retained_frequency': 175, 'line_spacing': 30, 'mode_wavelength': 8.0, 'first_retained_frequency': 25}), ({'o': 5, 'r': 5, 'm': 4, 's': 2, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 25, 'retained_mode': 12, 'retained_frequency': 65, 'line_spacing': 10, 'mode_wavelength': 4.8, 'first_retained_frequency': 15})], 4: [({'o': 6, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 46, 'retained_mode': 17, 'retained_frequency': 176, 'line_spacing': 30, 'mode_wavelength': 2.608695652173913, 'first_retained_frequency': 26}), ({'o': 6, 'r': 10, 'm': 4, 's': 1, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 46, 'retained_mode': 7, 'retained_frequency': 76, 'line_spacing': 10, 'mode_wavelength': 2.608695652173913, 'first_retained_frequency': 26}), ({'o': 6, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 0, 'c': 120}, {'mode_frequency': 46, 'retained_mode': 2, 'retained_frequency': 26, 'line_spacing': 30, 'mode_wavelength': 2.608695652173913, 'first_retained_frequency': 26}), ({'o': 6, 'r': 10, 'm': 4, 's': 3, 'b': 0, 'k': 5, 'c': 120}, {'mode_frequency': 46, 'retained_mode': 15, 'retained_frequency': 156, 'line_spacing': 30, 'mode_wavelength': 2.608695652173913, 'first_retained_frequency': 6}), ({'o': 6, 'r': 10, 'm': 1, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 16, 'retained_mode': 17, 'retained_frequency': 176, 'line_spacing': 30, 'mode_wavelength': 7.5, 'first_retained_frequency': 26}), ({'o': 6, 'r': 5, 'm': 4, 's': 2, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 26, 'retained_mode': 12, 'retained_frequency': 66, 'line_spacing': 10, 'mode_wavelength': 4.615384615384615, 'first_retained_frequency': 16})], 5: [({'o': 7, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 47, 'retained_mode': 17, 'retained_frequency': 177, 'line_spacing': 30, 'mode_wavelength': 2.5531914893617023, 'first_retained_frequency': 27}), ({'o': 7, 'r': 10, 'm': 4, 's': 1, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 47, 'retained_mode': 7, 'retained_frequency': 77, 'line_spacing': 10, 'mode_wavelength': 2.5531914893617023, 'first_retained_frequency': 27}), ({'o': 7, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 0, 'c': 120}, {'mode_frequency': 47, 'retained_mode': 2, 'retained_frequency': 27, 'line_spacing': 30, 'mode_wavelength': 2.5531914893617023, 'first_retained_frequency': 27}), ({'o': 7, 'r': 10, 'm': 4, 's': 3, 'b': 0, 'k': 5, 'c': 120}, {'mode_frequency': 47, 'retained_mode': 15, 'retained_frequency': 157, 'line_spacing': 30, 'mode_wavelength': 2.5531914893617023, 'first_retained_frequency': 7}), ({'o': 7, 'r': 10, 'm': 1, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 17, 'retained_mode': 17, 'retained_frequency': 177, 'line_spacing': 30, 'mode_wavelength': 7.0588235294117645, 'first_retained_frequency': 27}), ({'o': 7, 'r': 5, 'm': 4, 's': 2, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 27, 'retained_mode': 12, 'retained_frequency': 67, 'line_spacing': 10, 'mode_wavelength': 4.444444444444445, 'first_retained_frequency': 17})]}
for i, (record, expected) in enumerate(fixtures[N]):
    check('astronomical fixture %s' % i, solve(record), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
astronomical fixture 0{'first_retained_frequency': 23, 'line_spacing': 30, 'mode_frequency': 43, 'mode_wavelength': 3.0, 'retained_frequency': 173, 'retained_mode': 17}{'first_retained_frequency': 23, 'line_spacing': 30, 'mode_frequency': 43, 'mode_wavelength': 2.7906976744186047, 'retained_frequency': 173, 'retained_mode': 17}Failed
astronomical fixture 1{'first_retained_frequency': 23, 'line_spacing': 10, 'mode_frequency': 43, 'mode_wavelength': 3.0, 'retained_frequency': 73, 'retained_mode': 7}{'first_retained_frequency': 23, 'line_spacing': 10, 'mode_frequency': 43, 'mode_wavelength': 2.7906976744186047, 'retained_frequency': 73, 'retained_mode': 7}Failed
astronomical fixture 2{'first_retained_frequency': 23, 'line_spacing': 30, 'mode_frequency': 43, 'mode_wavelength': 3.0, 'retained_frequency': 23, 'retained_mode': 2}{'first_retained_frequency': 23, 'line_spacing': 30, 'mode_frequency': 43, 'mode_wavelength': 2.7906976744186047, 'retained_frequency': 23, 'retained_mode': 2}Failed
astronomical fixture 3{'first_retained_frequency': 3, 'line_spacing': 30, 'mode_frequency': 43, 'mode_wavelength': 3.0, 'retained_frequency': 153, 'retained_mode': 15}{'first_retained_frequency': 3, 'line_spacing': 30, 'mode_frequency': 43, 'mode_wavelength': 2.7906976744186047, 'retained_frequency': 153, 'retained_mode': 15}Failed
astronomical fixture 4{'first_retained_frequency': 23, 'line_spacing': 30, 'mode_frequency': 13, 'mode_wavelength': 12.0, 'retained_frequency': 173, 'retained_mode': 17}{'first_retained_frequency': 23, 'line_spacing': 30, 'mode_frequency': 13, 'mode_wavelength': 9.23076923076923, 'retained_frequency': 173, 'retained_mode': 17}Failed
astronomical fixture 5{'first_retained_frequency': 13, 'line_spacing': 10, 'mode_frequency': 23, 'mode_wavelength': 6.0, 'retained_frequency': 63, 'retained_mode': 12}{'first_retained_frequency': 13, 'line_spacing': 10, 'mode_frequency': 23, 'mode_wavelength': 5.217391304347826, 'retained_frequency': 63, 'retained_mode': 12}Failed

SHA-256 / ea1c7b050432620571d720b9221d8c352ce100bd42f9a87804945625d2ac16d2

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(d):
    return {'mode_frequency': d['o']+d['m']*d['r'], 'retained_mode': d['b']+d['k']*d['s'], 'retained_frequency': d['o']+(d['b']+d['k']*d['s'])*d['r'], 'line_spacing': d['s']*d['r'], 'mode_wavelength': d['c']/d['o']+d['m']*d['r'], 'first_retained_frequency': d['o']+d['b']*d['r']}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'o': 3, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 43, 'retained_mode': 17, 'retained_frequency': 173, 'line_spacing': 30, 'mode_wavelength': 2.7906976744186047, 'first_retained_frequency': 23}), ({'o': 3, 'r': 10, 'm': 4, 's': 1, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 43, 'retained_mode': 7, 'retained_frequency': 73, 'line_spacing': 10, 'mode_wavelength': 2.7906976744186047, 'first_retained_frequency': 23}), ({'o': 3, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 0, 'c': 120}, {'mode_frequency': 43, 'retained_mode': 2, 'retained_frequency': 23, 'line_spacing': 30, 'mode_wavelength': 2.7906976744186047, 'first_retained_frequency': 23}), ({'o': 3, 'r': 10, 'm': 4, 's': 3, 'b': 0, 'k': 5, 'c': 120}, {'mode_frequency': 43, 'retained_mode': 15, 'retained_frequency': 153, 'line_spacing': 30, 'mode_wavelength': 2.7906976744186047, 'first_retained_frequency': 3}), ({'o': 3, 'r': 10, 'm': 1, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 13, 'retained_mode': 17, 'retained_frequency': 173, 'line_spacing': 30, 'mode_wavelength': 9.23076923076923, 'first_retained_frequency': 23}), ({'o': 3, 'r': 5, 'm': 4, 's': 2, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 23, 'retained_mode': 12, 'retained_frequency': 63, 'line_spacing': 10, 'mode_wavelength': 5.217391304347826, 'first_retained_frequency': 13})], 2: [({'o': 4, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 44, 'retained_mode': 17, 'retained_frequency': 174, 'line_spacing': 30, 'mode_wavelength': 2.727272727272727, 'first_retained_frequency': 24}), ({'o': 4, 'r': 10, 'm': 4, 's': 1, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 44, 'retained_mode': 7, 'retained_frequency': 74, 'line_spacing': 10, 'mode_wavelength': 2.727272727272727, 'first_retained_frequency': 24}), ({'o': 4, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 0, 'c': 120}, {'mode_frequency': 44, 'retained_mode': 2, 'retained_frequency': 24, 'line_spacing': 30, 'mode_wavelength': 2.727272727272727, 'first_retained_frequency': 24}), ({'o': 4, 'r': 10, 'm': 4, 's': 3, 'b': 0, 'k': 5, 'c': 120}, {'mode_frequency': 44, 'retained_mode': 15, 'retained_frequency': 154, 'line_spacing': 30, 'mode_wavelength': 2.727272727272727, 'first_retained_frequency': 4}), ({'o': 4, 'r': 10, 'm': 1, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 14, 'retained_mode': 17, 'retained_frequency': 174, 'line_spacing': 30, 'mode_wavelength': 8.571428571428571, 'first_retained_frequency': 24}), ({'o': 4, 'r': 5, 'm': 4, 's': 2, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 24, 'retained_mode': 12, 'retained_frequency': 64, 'line_spacing': 10, 'mode_wavelength': 5.0, 'first_retained_frequency': 14})], 3: [({'o': 5, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 45, 'retained_mode': 17, 'retained_frequency': 175, 'line_spacing': 30, 'mode_wavelength': 2.6666666666666665, 'first_retained_frequency': 25}), ({'o': 5, 'r': 10, 'm': 4, 's': 1, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 45, 'retained_mode': 7, 'retained_frequency': 75, 'line_spacing': 10, 'mode_wavelength': 2.6666666666666665, 'first_retained_frequency': 25}), ({'o': 5, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 0, 'c': 120}, {'mode_frequency': 45, 'retained_mode': 2, 'retained_frequency': 25, 'line_spacing': 30, 'mode_wavelength': 2.6666666666666665, 'first_retained_frequency': 25}), ({'o': 5, 'r': 10, 'm': 4, 's': 3, 'b': 0, 'k': 5, 'c': 120}, {'mode_frequency': 45, 'retained_mode': 15, 'retained_frequency': 155, 'line_spacing': 30, 'mode_wavelength': 2.6666666666666665, 'first_retained_frequency': 5}), ({'o': 5, 'r': 10, 'm': 1, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 15, 'retained_mode': 17, 'retained_frequency': 175, 'line_spacing': 30, 'mode_wavelength': 8.0, 'first_retained_frequency': 25}), ({'o': 5, 'r': 5, 'm': 4, 's': 2, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 25, 'retained_mode': 12, 'retained_frequency': 65, 'line_spacing': 10, 'mode_wavelength': 4.8, 'first_retained_frequency': 15})], 4: [({'o': 6, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 46, 'retained_mode': 17, 'retained_frequency': 176, 'line_spacing': 30, 'mode_wavelength': 2.608695652173913, 'first_retained_frequency': 26}), ({'o': 6, 'r': 10, 'm': 4, 's': 1, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 46, 'retained_mode': 7, 'retained_frequency': 76, 'line_spacing': 10, 'mode_wavelength': 2.608695652173913, 'first_retained_frequency': 26}), ({'o': 6, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 0, 'c': 120}, {'mode_frequency': 46, 'retained_mode': 2, 'retained_frequency': 26, 'line_spacing': 30, 'mode_wavelength': 2.608695652173913, 'first_retained_frequency': 26}), ({'o': 6, 'r': 10, 'm': 4, 's': 3, 'b': 0, 'k': 5, 'c': 120}, {'mode_frequency': 46, 'retained_mode': 15, 'retained_frequency': 156, 'line_spacing': 30, 'mode_wavelength': 2.608695652173913, 'first_retained_frequency': 6}), ({'o': 6, 'r': 10, 'm': 1, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 16, 'retained_mode': 17, 'retained_frequency': 176, 'line_spacing': 30, 'mode_wavelength': 7.5, 'first_retained_frequency': 26}), ({'o': 6, 'r': 5, 'm': 4, 's': 2, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 26, 'retained_mode': 12, 'retained_frequency': 66, 'line_spacing': 10, 'mode_wavelength': 4.615384615384615, 'first_retained_frequency': 16})], 5: [({'o': 7, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 47, 'retained_mode': 17, 'retained_frequency': 177, 'line_spacing': 30, 'mode_wavelength': 2.5531914893617023, 'first_retained_frequency': 27}), ({'o': 7, 'r': 10, 'm': 4, 's': 1, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 47, 'retained_mode': 7, 'retained_frequency': 77, 'line_spacing': 10, 'mode_wavelength': 2.5531914893617023, 'first_retained_frequency': 27}), ({'o': 7, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 0, 'c': 120}, {'mode_frequency': 47, 'retained_mode': 2, 'retained_frequency': 27, 'line_spacing': 30, 'mode_wavelength': 2.5531914893617023, 'first_retained_frequency': 27}), ({'o': 7, 'r': 10, 'm': 4, 's': 3, 'b': 0, 'k': 5, 'c': 120}, {'mode_frequency': 47, 'retained_mode': 15, 'retained_frequency': 157, 'line_spacing': 30, 'mode_wavelength': 2.5531914893617023, 'first_retained_frequency': 7}), ({'o': 7, 'r': 10, 'm': 1, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 17, 'retained_mode': 17, 'retained_frequency': 177, 'line_spacing': 30, 'mode_wavelength': 7.0588235294117645, 'first_retained_frequency': 27}), ({'o': 7, 'r': 5, 'm': 4, 's': 2, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 27, 'retained_mode': 12, 'retained_frequency': 67, 'line_spacing': 10, 'mode_wavelength': 4.444444444444445, 'first_retained_frequency': 17})]}
for i, (record, expected) in enumerate(fixtures[N]):
    check('astronomical fixture %s' % i, solve(record), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
astronomical fixture 0{'first_retained_frequency': 23, 'line_spacing': 30, 'mode_frequency': 43, 'mode_wavelength': 80.0, 'retained_frequency': 173, 'retained_mode': 17}{'first_retained_frequency': 23, 'line_spacing': 30, 'mode_frequency': 43, 'mode_wavelength': 2.7906976744186047, 'retained_frequency': 173, 'retained_mode': 17}Failed
astronomical fixture 1{'first_retained_frequency': 23, 'line_spacing': 10, 'mode_frequency': 43, 'mode_wavelength': 80.0, 'retained_frequency': 73, 'retained_mode': 7}{'first_retained_frequency': 23, 'line_spacing': 10, 'mode_frequency': 43, 'mode_wavelength': 2.7906976744186047, 'retained_frequency': 73, 'retained_mode': 7}Failed
astronomical fixture 2{'first_retained_frequency': 23, 'line_spacing': 30, 'mode_frequency': 43, 'mode_wavelength': 80.0, 'retained_frequency': 23, 'retained_mode': 2}{'first_retained_frequency': 23, 'line_spacing': 30, 'mode_frequency': 43, 'mode_wavelength': 2.7906976744186047, 'retained_frequency': 23, 'retained_mode': 2}Failed
astronomical fixture 3{'first_retained_frequency': 3, 'line_spacing': 30, 'mode_frequency': 43, 'mode_wavelength': 80.0, 'retained_frequency': 153, 'retained_mode': 15}{'first_retained_frequency': 3, 'line_spacing': 30, 'mode_frequency': 43, 'mode_wavelength': 2.7906976744186047, 'retained_frequency': 153, 'retained_mode': 15}Failed
astronomical fixture 4{'first_retained_frequency': 23, 'line_spacing': 30, 'mode_frequency': 13, 'mode_wavelength': 50.0, 'retained_frequency': 173, 'retained_mode': 17}{'first_retained_frequency': 23, 'line_spacing': 30, 'mode_frequency': 13, 'mode_wavelength': 9.23076923076923, 'retained_frequency': 173, 'retained_mode': 17}Failed
astronomical fixture 5{'first_retained_frequency': 13, 'line_spacing': 10, 'mode_frequency': 23, 'mode_wavelength': 60.0, 'retained_frequency': 63, 'retained_mode': 12}{'first_retained_frequency': 13, 'line_spacing': 10, 'mode_frequency': 23, 'mode_wavelength': 5.217391304347826, 'retained_frequency': 63, 'retained_mode': 12}Failed

SHA-256 / b0cbffe79d46b13507c6ecc33c52f8a2a80b359d5706737cffbd0c692ee12900

3 / The verified repair

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

N = 1
observations = []
def solve(d):
    return {'mode_frequency': d['o']+d['m']*d['r'], 'retained_mode': d['b']+d['k']*d['s'], 'retained_frequency': d['o']+(d['b']+d['k']*d['s'])*d['r'], 'line_spacing': d['s']*d['r'], 'mode_wavelength': d['c']/(d['o']+d['m']*d['r']), 'first_retained_frequency': d['o']+d['b']*d['r']}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'o': 3, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 43, 'retained_mode': 17, 'retained_frequency': 173, 'line_spacing': 30, 'mode_wavelength': 2.7906976744186047, 'first_retained_frequency': 23}), ({'o': 3, 'r': 10, 'm': 4, 's': 1, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 43, 'retained_mode': 7, 'retained_frequency': 73, 'line_spacing': 10, 'mode_wavelength': 2.7906976744186047, 'first_retained_frequency': 23}), ({'o': 3, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 0, 'c': 120}, {'mode_frequency': 43, 'retained_mode': 2, 'retained_frequency': 23, 'line_spacing': 30, 'mode_wavelength': 2.7906976744186047, 'first_retained_frequency': 23}), ({'o': 3, 'r': 10, 'm': 4, 's': 3, 'b': 0, 'k': 5, 'c': 120}, {'mode_frequency': 43, 'retained_mode': 15, 'retained_frequency': 153, 'line_spacing': 30, 'mode_wavelength': 2.7906976744186047, 'first_retained_frequency': 3}), ({'o': 3, 'r': 10, 'm': 1, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 13, 'retained_mode': 17, 'retained_frequency': 173, 'line_spacing': 30, 'mode_wavelength': 9.23076923076923, 'first_retained_frequency': 23}), ({'o': 3, 'r': 5, 'm': 4, 's': 2, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 23, 'retained_mode': 12, 'retained_frequency': 63, 'line_spacing': 10, 'mode_wavelength': 5.217391304347826, 'first_retained_frequency': 13})], 2: [({'o': 4, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 44, 'retained_mode': 17, 'retained_frequency': 174, 'line_spacing': 30, 'mode_wavelength': 2.727272727272727, 'first_retained_frequency': 24}), ({'o': 4, 'r': 10, 'm': 4, 's': 1, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 44, 'retained_mode': 7, 'retained_frequency': 74, 'line_spacing': 10, 'mode_wavelength': 2.727272727272727, 'first_retained_frequency': 24}), ({'o': 4, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 0, 'c': 120}, {'mode_frequency': 44, 'retained_mode': 2, 'retained_frequency': 24, 'line_spacing': 30, 'mode_wavelength': 2.727272727272727, 'first_retained_frequency': 24}), ({'o': 4, 'r': 10, 'm': 4, 's': 3, 'b': 0, 'k': 5, 'c': 120}, {'mode_frequency': 44, 'retained_mode': 15, 'retained_frequency': 154, 'line_spacing': 30, 'mode_wavelength': 2.727272727272727, 'first_retained_frequency': 4}), ({'o': 4, 'r': 10, 'm': 1, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 14, 'retained_mode': 17, 'retained_frequency': 174, 'line_spacing': 30, 'mode_wavelength': 8.571428571428571, 'first_retained_frequency': 24}), ({'o': 4, 'r': 5, 'm': 4, 's': 2, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 24, 'retained_mode': 12, 'retained_frequency': 64, 'line_spacing': 10, 'mode_wavelength': 5.0, 'first_retained_frequency': 14})], 3: [({'o': 5, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 45, 'retained_mode': 17, 'retained_frequency': 175, 'line_spacing': 30, 'mode_wavelength': 2.6666666666666665, 'first_retained_frequency': 25}), ({'o': 5, 'r': 10, 'm': 4, 's': 1, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 45, 'retained_mode': 7, 'retained_frequency': 75, 'line_spacing': 10, 'mode_wavelength': 2.6666666666666665, 'first_retained_frequency': 25}), ({'o': 5, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 0, 'c': 120}, {'mode_frequency': 45, 'retained_mode': 2, 'retained_frequency': 25, 'line_spacing': 30, 'mode_wavelength': 2.6666666666666665, 'first_retained_frequency': 25}), ({'o': 5, 'r': 10, 'm': 4, 's': 3, 'b': 0, 'k': 5, 'c': 120}, {'mode_frequency': 45, 'retained_mode': 15, 'retained_frequency': 155, 'line_spacing': 30, 'mode_wavelength': 2.6666666666666665, 'first_retained_frequency': 5}), ({'o': 5, 'r': 10, 'm': 1, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 15, 'retained_mode': 17, 'retained_frequency': 175, 'line_spacing': 30, 'mode_wavelength': 8.0, 'first_retained_frequency': 25}), ({'o': 5, 'r': 5, 'm': 4, 's': 2, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 25, 'retained_mode': 12, 'retained_frequency': 65, 'line_spacing': 10, 'mode_wavelength': 4.8, 'first_retained_frequency': 15})], 4: [({'o': 6, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 46, 'retained_mode': 17, 'retained_frequency': 176, 'line_spacing': 30, 'mode_wavelength': 2.608695652173913, 'first_retained_frequency': 26}), ({'o': 6, 'r': 10, 'm': 4, 's': 1, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 46, 'retained_mode': 7, 'retained_frequency': 76, 'line_spacing': 10, 'mode_wavelength': 2.608695652173913, 'first_retained_frequency': 26}), ({'o': 6, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 0, 'c': 120}, {'mode_frequency': 46, 'retained_mode': 2, 'retained_frequency': 26, 'line_spacing': 30, 'mode_wavelength': 2.608695652173913, 'first_retained_frequency': 26}), ({'o': 6, 'r': 10, 'm': 4, 's': 3, 'b': 0, 'k': 5, 'c': 120}, {'mode_frequency': 46, 'retained_mode': 15, 'retained_frequency': 156, 'line_spacing': 30, 'mode_wavelength': 2.608695652173913, 'first_retained_frequency': 6}), ({'o': 6, 'r': 10, 'm': 1, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 16, 'retained_mode': 17, 'retained_frequency': 176, 'line_spacing': 30, 'mode_wavelength': 7.5, 'first_retained_frequency': 26}), ({'o': 6, 'r': 5, 'm': 4, 's': 2, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 26, 'retained_mode': 12, 'retained_frequency': 66, 'line_spacing': 10, 'mode_wavelength': 4.615384615384615, 'first_retained_frequency': 16})], 5: [({'o': 7, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 47, 'retained_mode': 17, 'retained_frequency': 177, 'line_spacing': 30, 'mode_wavelength': 2.5531914893617023, 'first_retained_frequency': 27}), ({'o': 7, 'r': 10, 'm': 4, 's': 1, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 47, 'retained_mode': 7, 'retained_frequency': 77, 'line_spacing': 10, 'mode_wavelength': 2.5531914893617023, 'first_retained_frequency': 27}), ({'o': 7, 'r': 10, 'm': 4, 's': 3, 'b': 2, 'k': 0, 'c': 120}, {'mode_frequency': 47, 'retained_mode': 2, 'retained_frequency': 27, 'line_spacing': 30, 'mode_wavelength': 2.5531914893617023, 'first_retained_frequency': 27}), ({'o': 7, 'r': 10, 'm': 4, 's': 3, 'b': 0, 'k': 5, 'c': 120}, {'mode_frequency': 47, 'retained_mode': 15, 'retained_frequency': 157, 'line_spacing': 30, 'mode_wavelength': 2.5531914893617023, 'first_retained_frequency': 7}), ({'o': 7, 'r': 10, 'm': 1, 's': 3, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 17, 'retained_mode': 17, 'retained_frequency': 177, 'line_spacing': 30, 'mode_wavelength': 7.0588235294117645, 'first_retained_frequency': 27}), ({'o': 7, 'r': 5, 'm': 4, 's': 2, 'b': 2, 'k': 5, 'c': 120}, {'mode_frequency': 27, 'retained_mode': 12, 'retained_frequency': 67, 'line_spacing': 10, 'mode_wavelength': 4.444444444444445, 'first_retained_frequency': 17})]}
for i, (record, expected) in enumerate(fixtures[N]):
    check('astronomical fixture %s' % i, solve(record), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
astronomical fixture 0{'first_retained_frequency': 23, 'line_spacing': 30, 'mode_frequency': 43, 'mode_wavelength': 2.7906976744186047, 'retained_frequency': 173, 'retained_mode': 17}{'first_retained_frequency': 23, 'line_spacing': 30, 'mode_frequency': 43, 'mode_wavelength': 2.7906976744186047, 'retained_frequency': 173, 'retained_mode': 17}Passed
astronomical fixture 1{'first_retained_frequency': 23, 'line_spacing': 10, 'mode_frequency': 43, 'mode_wavelength': 2.7906976744186047, 'retained_frequency': 73, 'retained_mode': 7}{'first_retained_frequency': 23, 'line_spacing': 10, 'mode_frequency': 43, 'mode_wavelength': 2.7906976744186047, 'retained_frequency': 73, 'retained_mode': 7}Passed
astronomical fixture 2{'first_retained_frequency': 23, 'line_spacing': 30, 'mode_frequency': 43, 'mode_wavelength': 2.7906976744186047, 'retained_frequency': 23, 'retained_mode': 2}{'first_retained_frequency': 23, 'line_spacing': 30, 'mode_frequency': 43, 'mode_wavelength': 2.7906976744186047, 'retained_frequency': 23, 'retained_mode': 2}Passed
astronomical fixture 3{'first_retained_frequency': 3, 'line_spacing': 30, 'mode_frequency': 43, 'mode_wavelength': 2.7906976744186047, 'retained_frequency': 153, 'retained_mode': 15}{'first_retained_frequency': 3, 'line_spacing': 30, 'mode_frequency': 43, 'mode_wavelength': 2.7906976744186047, 'retained_frequency': 153, 'retained_mode': 15}Passed
astronomical fixture 4{'first_retained_frequency': 23, 'line_spacing': 30, 'mode_frequency': 13, 'mode_wavelength': 9.23076923076923, 'retained_frequency': 173, 'retained_mode': 17}{'first_retained_frequency': 23, 'line_spacing': 30, 'mode_frequency': 13, 'mode_wavelength': 9.23076923076923, 'retained_frequency': 173, 'retained_mode': 17}Passed
astronomical fixture 5{'first_retained_frequency': 13, 'line_spacing': 10, 'mode_frequency': 23, 'mode_wavelength': 5.217391304347826, 'retained_frequency': 63, 'retained_mode': 12}{'first_retained_frequency': 13, 'line_spacing': 10, 'mode_frequency': 23, 'mode_wavelength': 5.217391304347826, 'retained_frequency': 63, 'retained_mode': 12}Passed

SHA-256 / 7a6bb0396f499c9ac537ab1d91f0a8754884dd74b258e6de22685817e50b0bd7

Verification & scope

Explicitly stipulated finite algebraic adapter; no standards conformance, physical accuracy, or production-library claim. Inputs are the documented finite valid model domain. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.

Observations recorded using Python 3.12.14 at 2026-09-29T14:46:04.666650+00:00.

Case digest / b56f8f98887a54b51b52031ab99745a9f99672861584f563da9be08dd1375611