FAILURE MAP
← Case archive

FA-71591 / Seismic magnitude estimation / Open access

Preferred magnitude selection: deep event threshold · case 01

Events at exactly 70 km prefer mb over Ms.

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

ROOT CAUSE

The deep-event rule includes 70 km.

VERIFIED REPAIR

Prefer mb only below 70 km depth.

Unsuccessful approach: Moving the rule to 100 km lets Ms win for 71-100 km events.

Case 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].

Why this case matters

Catalogues publish one preferred magnitude chosen by a fixed authority ladder.

1 / The failure

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

N = 1
observations = []
def solve(mags, depth_km, delta_deg):
    if "Mw" in mags:
        return ["Mw", mags["Mw"]]
    if depth_km >= 70 and "mb" in mags:
        return ["mb", mags["mb"]]
    if "Ms" in mags and mags["Ms"] >= 5.5:
        return ["Ms", mags["Ms"]]
    if delta_deg <= 5 and "ML" in mags:
        return ["ML", mags["ML"]]
    for t in ("mb", "Md"):
        if t in mags:
            return [t, mags[t]]
    return None
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[["['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]]]]
for label, args, expected in fixtures[N - 1]:
    check(label, solve(*args), 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
['Ms', 'Mw', 'mb'] depth 10 delta 1.0['Mw', 6.1]['Mw', 6.1]Passed
['Ms', 'Mw', 'mb'] depth 10 delta 5.0['Mw', 6.1]['Mw', 6.1]Passed
['Ms', 'Mw', 'mb'] depth 10 delta 5.5['Mw', 6.1]['Mw', 6.1]Passed
['Ms', 'Mw', 'mb'] depth 10 delta 30.0['Mw', 6.1]['Mw', 6.1]Passed
['Ms', 'Mw', 'mb'] depth 70 delta 1.0['Mw', 6.1]['Mw', 6.1]Passed
['Ms', 'Mw', 'mb'] depth 70 delta 5.0['Mw', 6.1]['Mw', 6.1]Passed
['ML', 'Ms', 'mb'] depth 70 delta 1.0['mb', 5.2]['Ms', 5.5]Failed
['ML', 'Ms', 'mb'] depth 71 delta 5.0['mb', 5.2]['mb', 5.2]Passed

SHA-256 / 465f7b66ce4c594753c0b31e855e7eda458de087cddda9899fb64559842d4526

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(mags, depth_km, delta_deg):
    if "Mw" in mags:
        return ["Mw", mags["Mw"]]
    if depth_km > 100 and "mb" in mags:
        return ["mb", mags["mb"]]
    if "Ms" in mags and mags["Ms"] >= 5.5:
        return ["Ms", mags["Ms"]]
    if delta_deg <= 5 and "ML" in mags:
        return ["ML", mags["ML"]]
    for t in ("mb", "Md"):
        if t in mags:
            return [t, mags[t]]
    return None
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[["['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]]]]
for label, args, expected in fixtures[N - 1]:
    check(label, solve(*args), 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
['Ms', 'Mw', 'mb'] depth 10 delta 1.0['Mw', 6.1]['Mw', 6.1]Passed
['Ms', 'Mw', 'mb'] depth 10 delta 5.0['Mw', 6.1]['Mw', 6.1]Passed
['Ms', 'Mw', 'mb'] depth 10 delta 5.5['Mw', 6.1]['Mw', 6.1]Passed
['Ms', 'Mw', 'mb'] depth 10 delta 30.0['Mw', 6.1]['Mw', 6.1]Passed
['Ms', 'Mw', 'mb'] depth 70 delta 1.0['Mw', 6.1]['Mw', 6.1]Passed
['Ms', 'Mw', 'mb'] depth 70 delta 5.0['Mw', 6.1]['Mw', 6.1]Passed
['ML', 'Ms', 'mb'] depth 70 delta 1.0['Ms', 5.5]['Ms', 5.5]Passed
['ML', 'Ms', 'mb'] depth 71 delta 5.0['Ms', 5.5]['mb', 5.2]Failed

SHA-256 / a544ca8614969f0f53151f11e33274a81af12d9cdde694e768e25b01b03610b9

3 / The verified repair

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

N = 1
observations = []
def solve(mags, depth_km, delta_deg):
    if "Mw" in mags:
        return ["Mw", mags["Mw"]]
    if depth_km > 70 and "mb" in mags:
        return ["mb", mags["mb"]]
    if "Ms" in mags and mags["Ms"] >= 5.5:
        return ["Ms", mags["Ms"]]
    if delta_deg <= 5 and "ML" in mags:
        return ["ML", mags["ML"]]
    for t in ("mb", "Md"):
        if t in mags:
            return [t, mags[t]]
    return None
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[["['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]]]]
for label, args, expected in fixtures[N - 1]:
    check(label, solve(*args), 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
['Ms', 'Mw', 'mb'] depth 10 delta 1.0['Mw', 6.1]['Mw', 6.1]Passed
['Ms', 'Mw', 'mb'] depth 10 delta 5.0['Mw', 6.1]['Mw', 6.1]Passed
['Ms', 'Mw', 'mb'] depth 10 delta 5.5['Mw', 6.1]['Mw', 6.1]Passed
['Ms', 'Mw', 'mb'] depth 10 delta 30.0['Mw', 6.1]['Mw', 6.1]Passed
['Ms', 'Mw', 'mb'] depth 70 delta 1.0['Mw', 6.1]['Mw', 6.1]Passed
['Ms', 'Mw', 'mb'] depth 70 delta 5.0['Mw', 6.1]['Mw', 6.1]Passed
['ML', 'Ms', 'mb'] depth 70 delta 1.0['Ms', 5.5]['Ms', 5.5]Passed
['ML', 'Ms', 'mb'] depth 71 delta 5.0['mb', 5.2]['mb', 5.2]Passed

SHA-256 / c8088ef58e60b15de0bf66eacf42e95de855b1ea60917579757beffabd331224

Verification & scope

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.

Observations recorded using Python 3.12.14 at 2026-09-29T14:48:31.008308+00:00.

Case digest / 9dfdc063ad24db2decc4a61f29119a367f5e01cde9ca0f5546c53a0bdbb8ff7b