FAILURE MAP
← Case archive

FA-71611 / Seismic magnitude estimation / Open access

Preferred magnitude selection: Mw authority first · case 01

Deep events with a moment magnitude publish mb instead.

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

ROOT CAUSE

The deep-event mb rule is evaluated before the Mw rule.

VERIFIED REPAIR

Check Mw first.

Unsuccessful approach: Limiting Mw to shallow events still demotes deep Mw.

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 depth_km > 70 and "mb" in mags:
        return ["mb", mags["mb"]]
    if "Mw" in mags:
        return ["Mw", mags["Mw"]]
    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]], ["['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 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]], ["['Ms', 'Mw', 'mb'] depth 300 delta 5.0", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 300, 5.0], ['Mw', 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 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', 'Ms', 'mb'] depth 70 delta 1.0", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 70, 1.0], ['Ms', 5.5]], ["['ML', 'Mw'] depth 71 delta 30.0", [{'Mw': 4.0, 'ML': 4.2}, 71, 30.0], ['Mw', 4.0]]], [["['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]], ["['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]]], [["['Ms', 'Mw', 'mb'] depth 300 delta 1.0", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 300, 1.0], ['Mw', 6.1]], ["['Ms', 'Mw', 'mb'] depth 300 delta 5.0", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 300, 5.0], ['Mw', 6.1]], ["['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]]]]
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
['Ms', 'Mw', 'mb'] depth 71 delta 1.0['mb', 5.9]['Mw', 6.1]Failed
['Ms', 'Mw', 'mb'] depth 71 delta 5.0['mb', 5.9]['Mw', 6.1]Failed

SHA-256 / fad362322a4bf39bf1fd092dbe24371fa2dd7dbefa59052119329067f41022af

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 and depth_km <= 70:
        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]], ["['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 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]], ["['Ms', 'Mw', 'mb'] depth 300 delta 5.0", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 300, 5.0], ['Mw', 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 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', 'Ms', 'mb'] depth 70 delta 1.0", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 70, 1.0], ['Ms', 5.5]], ["['ML', 'Mw'] depth 71 delta 30.0", [{'Mw': 4.0, 'ML': 4.2}, 71, 30.0], ['Mw', 4.0]]], [["['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]], ["['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]]], [["['Ms', 'Mw', 'mb'] depth 300 delta 1.0", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 300, 1.0], ['Mw', 6.1]], ["['Ms', 'Mw', 'mb'] depth 300 delta 5.0", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 300, 5.0], ['Mw', 6.1]], ["['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]]]]
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
['Ms', 'Mw', 'mb'] depth 71 delta 1.0['mb', 5.9]['Mw', 6.1]Failed
['Ms', 'Mw', 'mb'] depth 71 delta 5.0['mb', 5.9]['Mw', 6.1]Failed

SHA-256 / 88b4683bdc35ae48444041656b88acb5ac1069f60489a7cdcd5834e81a6630f0

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]], ["['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 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]], ["['Ms', 'Mw', 'mb'] depth 300 delta 5.0", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 300, 5.0], ['Mw', 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 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', 'Ms', 'mb'] depth 70 delta 1.0", [{'Ms': 5.5, 'mb': 5.2, 'ML': 5.4}, 70, 1.0], ['Ms', 5.5]], ["['ML', 'Mw'] depth 71 delta 30.0", [{'Mw': 4.0, 'ML': 4.2}, 71, 30.0], ['Mw', 4.0]]], [["['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]], ["['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]]], [["['Ms', 'Mw', 'mb'] depth 300 delta 1.0", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 300, 1.0], ['Mw', 6.1]], ["['Ms', 'Mw', 'mb'] depth 300 delta 5.0", [{'Mw': 6.1, 'Ms': 6.3, 'mb': 5.9}, 300, 5.0], ['Mw', 6.1]], ["['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]]]]
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
['Ms', 'Mw', 'mb'] depth 71 delta 1.0['Mw', 6.1]['Mw', 6.1]Passed
['Ms', 'Mw', 'mb'] depth 71 delta 5.0['Mw', 6.1]['Mw', 6.1]Passed

SHA-256 / 319097a2a48f8b16e659b55c9eed1f193aa6f8f9040bbb1912ec358bef3a8ec2

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

Case digest / 9f57be8167e263662ffc49d8872dffbdf3a6e6e5242b2fdba301ddb4997cca75