{"abstract":"Events at exactly 70 km prefer mb over Ms.","category":"Seismic magnitude estimation","checks":8,"contract":"mags maps type to value (any value including 0 or negative is valid when the key is present). Choose in order: Mw; if depth > 70 km then mb; Ms if Ms >= 5.5; ML if delta <= 5 degrees; mb; Md; else None. Return [type, value].","evaluation_group":"w2-seismic_magnitude_estimation-preferred-magnitude","failed_approach":"Moving the rule to 100 km lets Ms win for 71-100 km events.","family":"w2-seismic_magnitude_estimation-preferred-magnitude-deep-event-threshold","id":"FA-71591","implementations":{"attempt":{"sha256":"a544ca8614969f0f53151f11e33274a81af12d9cdde694e768e25b01b03610b9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(mags, depth_km, delta_deg):\n    if \"Mw\" in mags:\n        return [\"Mw\", mags[\"Mw\"]]\n    if depth_km > 100 and \"mb\" in mags:\n        return [\"mb\", mags[\"mb\"]]\n    if \"Ms\" in mags and mags[\"Ms\"] >= 5.5:\n        return [\"Ms\", mags[\"Ms\"]]\n    if delta_deg <= 5 and \"ML\" in mags:\n        return [\"ML\", mags[\"ML\"]]\n    for t in (\"mb\", \"Md\"):\n        if t in mags:\n            return [t, mags[t]]\n    return None\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[\"['Ms', 'Mw', 'mb'] depth 10 delta 1.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 10, 1.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 10 delta 5.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 10, 5.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 10 delta 5.5\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 10, 5.5], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 10 delta 30.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 10, 30.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 70 delta 1.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 70, 1.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 70 delta 5.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 70, 5.0], ['Mw', 6.1]], [\"['ML', 'Ms', 'mb'] depth 70 delta 1.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 70, 1.0], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 71 delta 5.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 71, 5.0], ['mb', 5.2]]], [[\"['Ms', 'Mw', 'mb'] depth 70 delta 30.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 70, 30.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 71 delta 1.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 71, 1.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 71 delta 5.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 71, 5.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 71 delta 5.5\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 71, 5.5], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 71 delta 30.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 71, 30.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 300 delta 1.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 300, 1.0], ['Mw', 6.1]], [\"['ML', 'Ms', 'mb'] depth 70 delta 30.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 70, 30.0], ['Ms', 5.5]], [\"['Ms', 'mb'] depth 71 delta 1.0\", [{'Ms': 6.8, 'mb': 6.1}, 71, 1.0], ['mb', 6.1]]], [[\"['Ms', 'Mw', 'mb'] depth 300 delta 5.5\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 300, 5.5], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 300 delta 30.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 300, 30.0], ['Mw', 6.1]], [\"['ML', 'Ms', 'mb'] depth 10 delta 1.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 10, 1.0], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 10 delta 5.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 10, 5.0], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 10 delta 5.5\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 10, 5.5], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 10 delta 30.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 10, 30.0], ['Ms', 5.5]], [\"['Ms', 'mb'] depth 70 delta 1.0\", [{'Ms': 6.8, 'mb': 6.1}, 70, 1.0], ['Ms', 6.8]], [\"['ML', 'mb'] depth 71 delta 5.0\", [{'ML': 3.2, 'mb': 3.9}, 71, 5.0], ['mb', 3.9]]], [[\"['ML', 'Ms', 'mb'] depth 70 delta 5.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 70, 5.0], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 70 delta 5.5\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 70, 5.5], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 70 delta 30.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 70, 30.0], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 71 delta 1.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 71, 1.0], ['mb', 5.2]], [\"['ML', 'Ms', 'mb'] depth 71 delta 5.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 71, 5.0], ['mb', 5.2]], [\"['ML', 'Ms', 'mb'] depth 71 delta 5.5\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 71, 5.5], ['mb', 5.2]], [\"['ML', 'Ms', 'mb'] depth 71 delta 1.0\", [{'Ms': 5.4, 'ML': 5.1, 'mb': 5.0}, 71, 1.0], ['mb', 5.0]], [\"['Ms', 'mb'] depth 70 delta 30.0\", [{'Ms': 6.8, 'mb': 6.1}, 70, 30.0], ['Ms', 6.8]]], [[\"['ML', 'Ms', 'mb'] depth 70 delta 1.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 70, 1.0], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 300 delta 1.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 300, 1.0], ['mb', 5.2]], [\"['ML', 'Ms', 'mb'] depth 300 delta 5.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 300, 5.0], ['mb', 5.2]], [\"['ML', 'Ms', 'mb'] depth 300 delta 5.5\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 300, 5.5], ['mb', 5.2]], [\"['ML', 'Ms', 'mb'] depth 300 delta 30.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 300, 30.0], ['mb', 5.2]], [\"['ML', 'Ms', 'mb'] depth 10 delta 1.0\", [{'Ms': 5.4, 'ML': 5.1, 'mb': 5.0}, 10, 1.0], ['ML', 5.1]], [\"['ML', 'Ms', 'mb'] depth 10 delta 5.0\", [{'Ms': 5.4, 'ML': 5.1, 'mb': 5.0}, 10, 5.0], ['ML', 5.1]], [\"['Ms', 'mb'] depth 71 delta 30.0\", [{'Ms': 6.8, 'mb': 6.1}, 71, 30.0], ['mb', 6.1]]]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, solve(*args), 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":"465f7b66ce4c594753c0b31e855e7eda458de087cddda9899fb64559842d4526","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(mags, depth_km, delta_deg):\n    if \"Mw\" in mags:\n        return [\"Mw\", mags[\"Mw\"]]\n    if depth_km >= 70 and \"mb\" in mags:\n        return [\"mb\", mags[\"mb\"]]\n    if \"Ms\" in mags and mags[\"Ms\"] >= 5.5:\n        return [\"Ms\", mags[\"Ms\"]]\n    if delta_deg <= 5 and \"ML\" in mags:\n        return [\"ML\", mags[\"ML\"]]\n    for t in (\"mb\", \"Md\"):\n        if t in mags:\n            return [t, mags[t]]\n    return None\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[\"['Ms', 'Mw', 'mb'] depth 10 delta 1.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 10, 1.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 10 delta 5.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 10, 5.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 10 delta 5.5\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 10, 5.5], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 10 delta 30.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 10, 30.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 70 delta 1.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 70, 1.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 70 delta 5.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 70, 5.0], ['Mw', 6.1]], [\"['ML', 'Ms', 'mb'] depth 70 delta 1.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 70, 1.0], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 71 delta 5.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 71, 5.0], ['mb', 5.2]]], [[\"['Ms', 'Mw', 'mb'] depth 70 delta 30.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 70, 30.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 71 delta 1.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 71, 1.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 71 delta 5.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 71, 5.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 71 delta 5.5\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 71, 5.5], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 71 delta 30.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 71, 30.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 300 delta 1.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 300, 1.0], ['Mw', 6.1]], [\"['ML', 'Ms', 'mb'] depth 70 delta 30.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 70, 30.0], ['Ms', 5.5]], [\"['Ms', 'mb'] depth 71 delta 1.0\", [{'Ms': 6.8, 'mb': 6.1}, 71, 1.0], ['mb', 6.1]]], [[\"['Ms', 'Mw', 'mb'] depth 300 delta 5.5\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 300, 5.5], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 300 delta 30.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 300, 30.0], ['Mw', 6.1]], [\"['ML', 'Ms', 'mb'] depth 10 delta 1.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 10, 1.0], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 10 delta 5.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 10, 5.0], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 10 delta 5.5\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 10, 5.5], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 10 delta 30.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 10, 30.0], ['Ms', 5.5]], [\"['Ms', 'mb'] depth 70 delta 1.0\", [{'Ms': 6.8, 'mb': 6.1}, 70, 1.0], ['Ms', 6.8]], [\"['ML', 'mb'] depth 71 delta 5.0\", [{'ML': 3.2, 'mb': 3.9}, 71, 5.0], ['mb', 3.9]]], [[\"['ML', 'Ms', 'mb'] depth 70 delta 5.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 70, 5.0], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 70 delta 5.5\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 70, 5.5], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 70 delta 30.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 70, 30.0], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 71 delta 1.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 71, 1.0], ['mb', 5.2]], [\"['ML', 'Ms', 'mb'] depth 71 delta 5.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 71, 5.0], ['mb', 5.2]], [\"['ML', 'Ms', 'mb'] depth 71 delta 5.5\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 71, 5.5], ['mb', 5.2]], [\"['ML', 'Ms', 'mb'] depth 71 delta 1.0\", [{'Ms': 5.4, 'ML': 5.1, 'mb': 5.0}, 71, 1.0], ['mb', 5.0]], [\"['Ms', 'mb'] depth 70 delta 30.0\", [{'Ms': 6.8, 'mb': 6.1}, 70, 30.0], ['Ms', 6.8]]], [[\"['ML', 'Ms', 'mb'] depth 70 delta 1.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 70, 1.0], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 300 delta 1.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 300, 1.0], ['mb', 5.2]], [\"['ML', 'Ms', 'mb'] depth 300 delta 5.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 300, 5.0], ['mb', 5.2]], [\"['ML', 'Ms', 'mb'] depth 300 delta 5.5\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 300, 5.5], ['mb', 5.2]], [\"['ML', 'Ms', 'mb'] depth 300 delta 30.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 300, 30.0], ['mb', 5.2]], [\"['ML', 'Ms', 'mb'] depth 10 delta 1.0\", [{'Ms': 5.4, 'ML': 5.1, 'mb': 5.0}, 10, 1.0], ['ML', 5.1]], [\"['ML', 'Ms', 'mb'] depth 10 delta 5.0\", [{'Ms': 5.4, 'ML': 5.1, 'mb': 5.0}, 10, 5.0], ['ML', 5.1]], [\"['Ms', 'mb'] depth 71 delta 30.0\", [{'Ms': 6.8, 'mb': 6.1}, 71, 30.0], ['mb', 6.1]]]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, solve(*args), 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":"c8088ef58e60b15de0bf66eacf42e95de855b1ea60917579757beffabd331224","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(mags, depth_km, delta_deg):\n    if \"Mw\" in mags:\n        return [\"Mw\", mags[\"Mw\"]]\n    if depth_km > 70 and \"mb\" in mags:\n        return [\"mb\", mags[\"mb\"]]\n    if \"Ms\" in mags and mags[\"Ms\"] >= 5.5:\n        return [\"Ms\", mags[\"Ms\"]]\n    if delta_deg <= 5 and \"ML\" in mags:\n        return [\"ML\", mags[\"ML\"]]\n    for t in (\"mb\", \"Md\"):\n        if t in mags:\n            return [t, mags[t]]\n    return None\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[\"['Ms', 'Mw', 'mb'] depth 10 delta 1.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 10, 1.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 10 delta 5.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 10, 5.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 10 delta 5.5\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 10, 5.5], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 10 delta 30.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 10, 30.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 70 delta 1.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 70, 1.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 70 delta 5.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 70, 5.0], ['Mw', 6.1]], [\"['ML', 'Ms', 'mb'] depth 70 delta 1.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 70, 1.0], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 71 delta 5.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 71, 5.0], ['mb', 5.2]]], [[\"['Ms', 'Mw', 'mb'] depth 70 delta 30.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 70, 30.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 71 delta 1.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 71, 1.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 71 delta 5.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 71, 5.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 71 delta 5.5\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 71, 5.5], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 71 delta 30.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 71, 30.0], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 300 delta 1.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 300, 1.0], ['Mw', 6.1]], [\"['ML', 'Ms', 'mb'] depth 70 delta 30.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 70, 30.0], ['Ms', 5.5]], [\"['Ms', 'mb'] depth 71 delta 1.0\", [{'Ms': 6.8, 'mb': 6.1}, 71, 1.0], ['mb', 6.1]]], [[\"['Ms', 'Mw', 'mb'] depth 300 delta 5.5\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 300, 5.5], ['Mw', 6.1]], [\"['Ms', 'Mw', 'mb'] depth 300 delta 30.0\", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 300, 30.0], ['Mw', 6.1]], [\"['ML', 'Ms', 'mb'] depth 10 delta 1.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 10, 1.0], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 10 delta 5.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 10, 5.0], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 10 delta 5.5\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 10, 5.5], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 10 delta 30.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 10, 30.0], ['Ms', 5.5]], [\"['Ms', 'mb'] depth 70 delta 1.0\", [{'Ms': 6.8, 'mb': 6.1}, 70, 1.0], ['Ms', 6.8]], [\"['ML', 'mb'] depth 71 delta 5.0\", [{'ML': 3.2, 'mb': 3.9}, 71, 5.0], ['mb', 3.9]]], [[\"['ML', 'Ms', 'mb'] depth 70 delta 5.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 70, 5.0], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 70 delta 5.5\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 70, 5.5], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 70 delta 30.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 70, 30.0], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 71 delta 1.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 71, 1.0], ['mb', 5.2]], [\"['ML', 'Ms', 'mb'] depth 71 delta 5.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 71, 5.0], ['mb', 5.2]], [\"['ML', 'Ms', 'mb'] depth 71 delta 5.5\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 71, 5.5], ['mb', 5.2]], [\"['ML', 'Ms', 'mb'] depth 71 delta 1.0\", [{'Ms': 5.4, 'ML': 5.1, 'mb': 5.0}, 71, 1.0], ['mb', 5.0]], [\"['Ms', 'mb'] depth 70 delta 30.0\", [{'Ms': 6.8, 'mb': 6.1}, 70, 30.0], ['Ms', 6.8]]], [[\"['ML', 'Ms', 'mb'] depth 70 delta 1.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 70, 1.0], ['Ms', 5.5]], [\"['ML', 'Ms', 'mb'] depth 300 delta 1.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 300, 1.0], ['mb', 5.2]], [\"['ML', 'Ms', 'mb'] depth 300 delta 5.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 300, 5.0], ['mb', 5.2]], [\"['ML', 'Ms', 'mb'] depth 300 delta 5.5\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 300, 5.5], ['mb', 5.2]], [\"['ML', 'Ms', 'mb'] depth 300 delta 30.0\", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 300, 30.0], ['mb', 5.2]], [\"['ML', 'Ms', 'mb'] depth 10 delta 1.0\", [{'Ms': 5.4, 'ML': 5.1, 'mb': 5.0}, 10, 1.0], ['ML', 5.1]], [\"['ML', 'Ms', 'mb'] depth 10 delta 5.0\", [{'Ms': 5.4, 'ML': 5.1, 'mb': 5.0}, 10, 5.0], ['ML', 5.1]], [\"['Ms', 'mb'] depth 71 delta 30.0\", [{'Ms': 6.8, 'mb': 6.1}, 71, 30.0], ['mb', 6.1]]]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, solve(*args), 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":"Stipulated deterministic teaching model of a seismological magnitude procedure; constants and tables are fixed by the contract and no claim of agency or standards conformance is made. 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":"w2-seismic_magnitude_estimation-preferred-magnitude-deep-event-threshold","generated_at":"2026-09-29T14:48:31.008308+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Catalogues publish one preferred magnitude chosen by a fixed authority ladder.","repair":"Prefer mb only below 70 km depth.","root_cause":"The deep-event rule includes 70 km.","sha256":"9dfdc063ad24db2decc4a61f29119a367f5e01cde9ca0f5546c53a0bdbb8ff7b","title":"Preferred magnitude selection: deep event threshold · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.197,"exit_code":1,"observations":[{"actual":["Mw",6.1],"check":"['Ms', 'Mw', 'mb'] depth 10 delta 1.0","expected":["Mw",6.1],"passed":true},{"actual":["Mw",6.1],"check":"['Ms', 'Mw', 'mb'] depth 10 delta 5.0","expected":["Mw",6.1],"passed":true},{"actual":["Mw",6.1],"check":"['Ms', 'Mw', 'mb'] depth 10 delta 5.5","expected":["Mw",6.1],"passed":true},{"actual":["Mw",6.1],"check":"['Ms', 'Mw', 'mb'] depth 10 delta 30.0","expected":["Mw",6.1],"passed":true},{"actual":["Mw",6.1],"check":"['Ms', 'Mw', 'mb'] depth 70 delta 1.0","expected":["Mw",6.1],"passed":true},{"actual":["Mw",6.1],"check":"['Ms', 'Mw', 'mb'] depth 70 delta 5.0","expected":["Mw",6.1],"passed":true},{"actual":["Ms",5.5],"check":"['ML', 'Ms', 'mb'] depth 70 delta 1.0","expected":["Ms",5.5],"passed":true},{"actual":["Ms",5.5],"check":"['ML', 'Ms', 'mb'] depth 71 delta 5.0","expected":["mb",5.2],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"['Ms', 'Mw', 'mb'] depth 10 delta 1.0\", \"actual\": [\"Mw\", 6.1], \"expected\": [\"Mw\", 6.1], \"passed\": true}, {\"check\": \"['Ms', 'Mw', 'mb'] depth 10 delta 5.0\", \"actual\": [\"Mw\", 6.1], \"expected\": [\"Mw\", 6.1], \"passed\": true}, {\"check\": \"['Ms', 'Mw', 'mb'] depth 10 delta 5.5\", \"actual\": [\"Mw\", 6.1], \"expected\": [\"Mw\", 6.1], \"passed\": true}, {\"check\": \"['Ms', 'Mw', 'mb'] depth 10 delta 30.0\", \"actual\": [\"Mw\", 6.1], \"expected\": [\"Mw\", 6.1], \"passed\": true}, {\"check\": \"['Ms', 'Mw', 'mb'] depth 70 delta 1.0\", \"actual\": [\"Mw\", 6.1], \"expected\": [\"Mw\", 6.1], \"passed\": true}, {\"check\": \"['Ms', 'Mw', 'mb'] depth 70 delta 5.0\", \"actual\": [\"Mw\", 6.1], \"expected\": [\"Mw\", 6.1], \"passed\": true}, {\"check\": \"['ML', 'Ms', 'mb'] depth 70 delta 1.0\", \"actual\": [\"Ms\", 5.5], \"expected\": [\"Ms\", 5.5], \"passed\": true}, {\"check\": \"['ML', 'Ms', 'mb'] depth 71 delta 5.0\", \"actual\": [\"Ms\", 5.5], \"expected\": [\"mb\", 5.2], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.619,"exit_code":1,"observations":[{"actual":["Mw",6.1],"check":"['Ms', 'Mw', 'mb'] depth 10 delta 1.0","expected":["Mw",6.1],"passed":true},{"actual":["Mw",6.1],"check":"['Ms', 'Mw', 'mb'] depth 10 delta 5.0","expected":["Mw",6.1],"passed":true},{"actual":["Mw",6.1],"check":"['Ms', 'Mw', 'mb'] depth 10 delta 5.5","expected":["Mw",6.1],"passed":true},{"actual":["Mw",6.1],"check":"['Ms', 'Mw', 'mb'] depth 10 delta 30.0","expected":["Mw",6.1],"passed":true},{"actual":["Mw",6.1],"check":"['Ms', 'Mw', 'mb'] depth 70 delta 1.0","expected":["Mw",6.1],"passed":true},{"actual":["Mw",6.1],"check":"['Ms', 'Mw', 'mb'] depth 70 delta 5.0","expected":["Mw",6.1],"passed":true},{"actual":["mb",5.2],"check":"['ML', 'Ms', 'mb'] depth 70 delta 1.0","expected":["Ms",5.5],"passed":false},{"actual":["mb",5.2],"check":"['ML', 'Ms', 'mb'] depth 71 delta 5.0","expected":["mb",5.2],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"['Ms', 'Mw', 'mb'] depth 10 delta 1.0\", \"actual\": [\"Mw\", 6.1], \"expected\": [\"Mw\", 6.1], \"passed\": true}, {\"check\": \"['Ms', 'Mw', 'mb'] depth 10 delta 5.0\", \"actual\": [\"Mw\", 6.1], \"expected\": [\"Mw\", 6.1], \"passed\": true}, {\"check\": \"['Ms', 'Mw', 'mb'] depth 10 delta 5.5\", \"actual\": [\"Mw\", 6.1], \"expected\": [\"Mw\", 6.1], \"passed\": true}, {\"check\": \"['Ms', 'Mw', 'mb'] depth 10 delta 30.0\", \"actual\": [\"Mw\", 6.1], \"expected\": [\"Mw\", 6.1], \"passed\": true}, {\"check\": \"['Ms', 'Mw', 'mb'] depth 70 delta 1.0\", \"actual\": [\"Mw\", 6.1], \"expected\": [\"Mw\", 6.1], \"passed\": true}, {\"check\": \"['Ms', 'Mw', 'mb'] depth 70 delta 5.0\", \"actual\": [\"Mw\", 6.1], \"expected\": [\"Mw\", 6.1], \"passed\": true}, {\"check\": \"['ML', 'Ms', 'mb'] depth 70 delta 1.0\", \"actual\": [\"mb\", 5.2], \"expected\": [\"Ms\", 5.5], \"passed\": false}, {\"check\": \"['ML', 'Ms', 'mb'] depth 71 delta 5.0\", \"actual\": [\"mb\", 5.2], \"expected\": [\"mb\", 5.2], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.284,"exit_code":0,"observations":[{"actual":["Mw",6.1],"check":"['Ms', 'Mw', 'mb'] depth 10 delta 1.0","expected":["Mw",6.1],"passed":true},{"actual":["Mw",6.1],"check":"['Ms', 'Mw', 'mb'] depth 10 delta 5.0","expected":["Mw",6.1],"passed":true},{"actual":["Mw",6.1],"check":"['Ms', 'Mw', 'mb'] depth 10 delta 5.5","expected":["Mw",6.1],"passed":true},{"actual":["Mw",6.1],"check":"['Ms', 'Mw', 'mb'] depth 10 delta 30.0","expected":["Mw",6.1],"passed":true},{"actual":["Mw",6.1],"check":"['Ms', 'Mw', 'mb'] depth 70 delta 1.0","expected":["Mw",6.1],"passed":true},{"actual":["Mw",6.1],"check":"['Ms', 'Mw', 'mb'] depth 70 delta 5.0","expected":["Mw",6.1],"passed":true},{"actual":["Ms",5.5],"check":"['ML', 'Ms', 'mb'] depth 70 delta 1.0","expected":["Ms",5.5],"passed":true},{"actual":["mb",5.2],"check":"['ML', 'Ms', 'mb'] depth 71 delta 5.0","expected":["mb",5.2],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"['Ms', 'Mw', 'mb'] depth 10 delta 1.0\", \"actual\": [\"Mw\", 6.1], \"expected\": [\"Mw\", 6.1], \"passed\": true}, {\"check\": \"['Ms', 'Mw', 'mb'] depth 10 delta 5.0\", \"actual\": [\"Mw\", 6.1], \"expected\": [\"Mw\", 6.1], \"passed\": true}, {\"check\": \"['Ms', 'Mw', 'mb'] depth 10 delta 5.5\", \"actual\": [\"Mw\", 6.1], \"expected\": [\"Mw\", 6.1], \"passed\": true}, {\"check\": \"['Ms', 'Mw', 'mb'] depth 10 delta 30.0\", \"actual\": [\"Mw\", 6.1], \"expected\": [\"Mw\", 6.1], \"passed\": true}, {\"check\": \"['Ms', 'Mw', 'mb'] depth 70 delta 1.0\", \"actual\": [\"Mw\", 6.1], \"expected\": [\"Mw\", 6.1], \"passed\": true}, {\"check\": \"['Ms', 'Mw', 'mb'] depth 70 delta 5.0\", \"actual\": [\"Mw\", 6.1], \"expected\": [\"Mw\", 6.1], \"passed\": true}, {\"check\": \"['ML', 'Ms', 'mb'] depth 70 delta 1.0\", \"actual\": [\"Ms\", 5.5], \"expected\": [\"Ms\", 5.5], \"passed\": true}, {\"check\": \"['ML', 'Ms', 'mb'] depth 71 delta 5.0\", \"actual\": [\"mb\", 5.2], \"expected\": [\"mb\", 5.2], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}