FAILURE MAP
← Case archive

FA-71601 / Seismic magnitude estimation / Open access

Preferred magnitude selection: local distance limit · case 01

Local events almost never report ML.

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

ROOT CAUSE

The regional distance limit in degrees is compared after converting to km.

VERIFIED REPAIR

Compare delta in degrees with 5.

Unsuccessful approach: Making the limit exclusive drops stations at exactly 5 degrees.

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 * 111.19 <= 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 10 delta 1.0", [{'Ms': 5.4, 'ML': 5.1, 'mb': 5.0}, 10, 1.0], ['ML', 5.1]], ["['ML', 'Ms', 'mb'] depth 70 delta 5.0", [{'Ms': 5.4, 'ML': 5.1, 'mb': 5.0}, 70, 5.0], ['ML', 5.1]]], [["['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 5.0", [{'Ms': 5.4, 'ML': 5.1, 'mb': 5.0}, 70, 5.0], ['ML', 5.1]], ["['ML', 'Md'] depth 10 delta 5.0", [{'ML': -0.4, 'Md': 0.1}, 10, 5.0], ['ML', -0.4]]], [["['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]], ["['ML', 'Md'] depth 70 delta 1.0", [{'ML': 0.0, 'Md': 0.3}, 70, 1.0], ['ML', 0.0]], ["['ML', 'mb'] depth 70 delta 5.0", [{'ML': 3.2, 'mb': 3.9}, 70, 5.0], ['ML', 3.2]]], [["['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 30.0", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 71, 30.0], ['mb', 5.2]], ["['ML', 'Md'] depth 71 delta 5.0", [{'ML': 0.0, 'Md': 0.3}, 71, 5.0], ['ML', 0.0]]], [["['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]], ["['ML', 'Md'] depth 10 delta 1.0", [{'ML': -0.4, 'Md': 0.1}, 10, 1.0], ['ML', -0.4]], ["['ML', 'Md'] depth 300 delta 5.0", [{'ML': -0.4, 'Md': 0.1}, 300, 5.0], ['ML', -0.4]]]]
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 10 delta 1.0['mb', 5.0]['ML', 5.1]Failed
['ML', 'Ms', 'mb'] depth 70 delta 5.0['mb', 5.0]['ML', 5.1]Failed

SHA-256 / 4d01081bb61d53a072e7ec66a543622ddec0ba4857b17aa54e04783d8b74cd6b

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 > 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 10 delta 1.0", [{'Ms': 5.4, 'ML': 5.1, 'mb': 5.0}, 10, 1.0], ['ML', 5.1]], ["['ML', 'Ms', 'mb'] depth 70 delta 5.0", [{'Ms': 5.4, 'ML': 5.1, 'mb': 5.0}, 70, 5.0], ['ML', 5.1]]], [["['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 5.0", [{'Ms': 5.4, 'ML': 5.1, 'mb': 5.0}, 70, 5.0], ['ML', 5.1]], ["['ML', 'Md'] depth 10 delta 5.0", [{'ML': -0.4, 'Md': 0.1}, 10, 5.0], ['ML', -0.4]]], [["['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]], ["['ML', 'Md'] depth 70 delta 1.0", [{'ML': 0.0, 'Md': 0.3}, 70, 1.0], ['ML', 0.0]], ["['ML', 'mb'] depth 70 delta 5.0", [{'ML': 3.2, 'mb': 3.9}, 70, 5.0], ['ML', 3.2]]], [["['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 30.0", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 71, 30.0], ['mb', 5.2]], ["['ML', 'Md'] depth 71 delta 5.0", [{'ML': 0.0, 'Md': 0.3}, 71, 5.0], ['ML', 0.0]]], [["['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]], ["['ML', 'Md'] depth 10 delta 1.0", [{'ML': -0.4, 'Md': 0.1}, 10, 1.0], ['ML', -0.4]], ["['ML', 'Md'] depth 300 delta 5.0", [{'ML': -0.4, 'Md': 0.1}, 300, 5.0], ['ML', -0.4]]]]
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 10 delta 1.0['ML', 5.1]['ML', 5.1]Passed
['ML', 'Ms', 'mb'] depth 70 delta 5.0['mb', 5.0]['ML', 5.1]Failed

SHA-256 / e84798803689bdeb352ef858e0afc2329b6032dcaaacf1f3978a4a3a594ab810

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 10 delta 1.0", [{'Ms': 5.4, 'ML': 5.1, 'mb': 5.0}, 10, 1.0], ['ML', 5.1]], ["['ML', 'Ms', 'mb'] depth 70 delta 5.0", [{'Ms': 5.4, 'ML': 5.1, 'mb': 5.0}, 70, 5.0], ['ML', 5.1]]], [["['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 5.0", [{'Ms': 5.4, 'ML': 5.1, 'mb': 5.0}, 70, 5.0], ['ML', 5.1]], ["['ML', 'Md'] depth 10 delta 5.0", [{'ML': -0.4, 'Md': 0.1}, 10, 5.0], ['ML', -0.4]]], [["['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]], ["['ML', 'Md'] depth 70 delta 1.0", [{'ML': 0.0, 'Md': 0.3}, 70, 1.0], ['ML', 0.0]], ["['ML', 'mb'] depth 70 delta 5.0", [{'ML': 3.2, 'mb': 3.9}, 70, 5.0], ['ML', 3.2]]], [["['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 30.0", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 71, 30.0], ['mb', 5.2]], ["['ML', 'Md'] depth 71 delta 5.0", [{'ML': 0.0, 'Md': 0.3}, 71, 5.0], ['ML', 0.0]]], [["['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]], ["['ML', 'Md'] depth 10 delta 1.0", [{'ML': -0.4, 'Md': 0.1}, 10, 1.0], ['ML', -0.4]], ["['ML', 'Md'] depth 300 delta 5.0", [{'ML': -0.4, 'Md': 0.1}, 300, 5.0], ['ML', -0.4]]]]
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 10 delta 1.0['ML', 5.1]['ML', 5.1]Passed
['ML', 'Ms', 'mb'] depth 70 delta 5.0['ML', 5.1]['ML', 5.1]Passed

SHA-256 / 3c323675524b7d52d26e702536a3140fe6bdf02662db26b6dbf3fc9c026607b3

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.093975+00:00.

Case digest / 3ec15c349d72121ed97eba7057bfd198c2067c7f93334a7aca47c2155db15b9e