FA-63151 / Insurance premium rating / Open access

Workers compensation payroll audit premium: Officer minimum payroll is not enforced · case 01

Part-time officers are rated below the statutory minimum payroll.

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

ROOT CAUSE

Only the maximum is applied to officer payroll.

VERIFIED REPAIR

Clamp officer payroll to both bounds.

Unsuccessful approach: The rewritten conditional never raises low payrolls and drops the maximum.

Case contract

Input rates {class: cents per $100 of payroll}, employees [[class, payroll cents incl. overtime, overtime cents, officer]], officer_min, officer_max. Unknown class -> 'unknown class <code>'. Remove the overtime premium portion (one third of overtime pay), then clamp officer payroll to [officer_min, officer_max]. Sum payroll by class; class premium = payroll*rate/10000 rounded half-up per class; return the total.

Why this case matters

Audited payroll premium is where overtime exclusions and officer limits routinely go wrong.

1 / The failure

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(x):
    by={}
    for cls,pay,ot,officer in x['employees']:
        if cls not in x['rates']: return 'unknown class '+cls
        base=pay-Fraction(ot,3)
        if officer: base=min(x['officer_max'],base)
        by[cls]=by.get(cls,0)+base
    tot=0
    for cls in sorted(by):
        tot+=math.floor(by[cls]*x['rates'][cls]/10000+Fraction(1,2))
    return tot
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['construction crew with overtime', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5403', 3806909, 440206, False], ['5403', 5169784, 475047, False], ['5403', 4327308, 875628, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1724345], ['high-paid officer capped', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['8810', 20000001, 0, True], ['8810', 7473841, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 42842], ['officer with overtime near cap', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['8742', 12200001, 900000, True], ['5183', 2895447, 604577, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 221988], ['part-time officer raised to minimum', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 8392399, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 54684], ['mixed classes', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5403', 4370481, 231136, False], ['8742', 6099309, 257334, False], ['5183', 8272641, 294990, False], ['8810', 4489688, 191785, False], ['8742', 8245285, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1161066], ['unknown class code', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['9999', 7459474, 453667, False], ['8810', 4658471, 375443, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5183', 612208, 50444, False], ['5183', 642893, 43214, False], ['5183', 509283, 67193, False], ['5183', 482245, 69768, False], ['5183', 387181, 38625, False], ['5183', 624757, 46096, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 192991], ['no employees', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5403', 2704921, 47898, False], ['5403', 1854859, 1323, False], ['5403', 2209353, 699, False], ['5403', 1645713, 34941, False], ['8742', 1964735, 0, False], ['8742', 1444407, 0, False], ['8742', 1185321, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1160109]], [['construction crew with overtime', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['5403', 5589785, 749739, False], ['5403', 3004512, 755944, False], ['5403', 8028563, 494683, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2176408], ['high-paid officer capped', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8810', 20000002, 0, True], ['8810', 4938763, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 38959], ['officer with overtime near cap', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8742', 12200002, 900000, True], ['5183', 7556209, 751524, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 504229], ['part-time officer raised to minimum', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 3240624, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 29955], ['mixed classes', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8742', 2948197, 551768, False], ['5403', 2964789, 498187, False], ['8810', 6667557, 0, False], ['8810', 2940792, 0, False], ['8810', 7643712, 449698, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 434350], ['unknown class code', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['9999', 2603447, 0, False], ['8810', 6041352, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['5183', 597562, 61292, False], ['5183', 587325, 8597, False], ['5183', 364731, 61505, False], ['5183', 500399, 11567, False], ['5183', 326057, 33389, False], ['5183', 634518, 31090, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 180016], ['no employees', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['5403', 2905651, 11823, False], ['5403', 2371235, 56064, False], ['5403', 2934717, 85428, False], ['5403', 2781211, 64023, False], ['8742', 1361139, 0, False], ['8742', 2833115, 0, False], ['8742', 1273671, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1515784]], [['construction crew with overtime', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['5403', 4509048, 724931, False], ['5403', 6366252, 824599, False], ['5403', 8964442, 347528, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2633333], ['high-paid officer capped', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8810', 20000003, 0, True], ['8810', 2634381, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 35123], ['officer with overtime near cap', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8742', 12200003, 900000, True], ['5183', 7287070, 735091, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 488093], ['part-time officer raised to minimum', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 4603792, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 36498], ['mixed classes', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8810', 8750822, 0, False], ['8810', 6128102, 0, False], ['5183', 6246828, 0, False], ['5403', 5909616, 322654, False], ['8810', 6168033, 540676, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1227849], ['unknown class code', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['9999', 7327480, 551873, False], ['8810', 3024985, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['5183', 329254, 7253, False], ['5183', 626764, 42759, False], ['5183', 659916, 20264, False], ['5183', 519469, 35559, False], ['5183', 389886, 75669, False], ['5183', 507542, 41718, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 181056], ['no employees', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['5403', 2659221, 68400, False], ['5403', 2971143, 68046, False], ['5403', 2774867, 10245, False], ['5403', 2815711, 38499, False], ['8742', 2701865, 0, False], ['8742', 1164649, 0, False], ['8742', 1162777, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1554069]], [['construction crew with overtime', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5403', 5006217, 551722, False], ['5403', 3676711, 858245, False], ['5403', 7410036, 662511, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2122415], ['high-paid officer capped', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['8810', 20000004, 0, True], ['8810', 5669566, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 44174], ['officer with overtime near cap', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['8742', 12200004, 900000, True], ['5183', 4588140, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 337914], ['part-time officer raised to minimum', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 6091797, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 43641], ['mixed classes', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5403', 8534301, 165838, False], ['8742', 5684815, 239232, False], ['5403', 8412792, 134991, False], ['8742', 4205248, 0, False], ['8742', 4460925, 281462, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2389543], ['unknown class code', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['9999', 4685853, 0, False], ['8810', 8884824, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5183', 528372, 84144, False], ['5183', 611261, 67360, False], ['5183', 530047, 86400, False], ['5183', 594062, 70397, False], ['5183', 692753, 26987, False], ['5183', 474056, 25708, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 202585], ['no employees', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5403', 2422889, 9399, False], ['5403', 2602627, 61761, False], ['5403', 2502883, 72387, False], ['5403', 1907625, 52560, False], ['8742', 2723881, 0, False], ['8742', 2789151, 0, False], ['8742', 1671629, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1325762]], [['construction crew with overtime', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5403', 4325810, 386365, False], ['5403', 8069112, 702120, False], ['5403', 8542896, 764368, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2814348], ['high-paid officer capped', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['8810', 20000005, 0, True], ['8810', 3023598, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 39061], ['officer with overtime near cap', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['8742', 12200005, 900000, True], ['5183', 6746427, 347672, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 462909], ['part-time officer raised to minimum', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 2883302, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 28240], ['mixed classes', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5183', 6265553, 0, False], ['5403', 8393440, 217802, False], ['5403', 6148670, 0, False], ['5183', 3719409, 873745, False], ['8742', 6249488, 662920, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2626219], ['unknown class code', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['9999', 2588874, 0, False], ['8810', 4808227, 215758, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5183', 607059, 78097, False], ['5183', 557045, 41904, False], ['5183', 398784, 78900, False], ['5183', 578083, 69965, False], ['5183', 306975, 36499, False], ['5183', 592062, 59356, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 178608], ['no employees', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5403', 2366515, 69267, False], ['5403', 2032839, 11376, False], ['5403', 1111359, 84174, False], ['5403', 1758487, 71022, False], ['8742', 1374745, 0, False], ['8742', 2478437, 0, False], ['8742', 1307151, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1020666]]]
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 fixture	Actual	Expected	Outcome
construction crew with overtime	`1724345`	`1724345`	Passed
high-paid officer capped	`42842`	`42842`	Passed
officer with overtime near cap	`221988`	`221988`	Passed
part-time officer raised to minimum	`46044`	`54684`	Failed
mixed classes	`1161066`	`1161066`	Passed
unknown class code	`unknown class 9999`	`unknown class 9999`	Passed
many small payrolls in one class	`192991`	`192991`	Passed
no employees	`0`	`0`	Passed
odd payrolls in two classes	`1160109`	`1160109`	Passed

SHA-256 / 93619334a7f986b1a3c164428fdbea0dc1a51d1f2617abda231518d1bc4faac3

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(x):
    by={}
    for cls,pay,ot,officer in x['employees']:
        if cls not in x['rates']: return 'unknown class '+cls
        base=pay-Fraction(ot,3)
        if officer: base=max(x['officer_min'],base) if base>x['officer_max'] else base
        by[cls]=by.get(cls,0)+base
    tot=0
    for cls in sorted(by):
        tot+=math.floor(by[cls]*x['rates'][cls]/10000+Fraction(1,2))
    return tot
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['construction crew with overtime', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5403', 3806909, 440206, False], ['5403', 5169784, 475047, False], ['5403', 4327308, 875628, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1724345], ['high-paid officer capped', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['8810', 20000001, 0, True], ['8810', 7473841, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 42842], ['officer with overtime near cap', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['8742', 12200001, 900000, True], ['5183', 2895447, 604577, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 221988], ['part-time officer raised to minimum', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 8392399, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 54684], ['mixed classes', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5403', 4370481, 231136, False], ['8742', 6099309, 257334, False], ['5183', 8272641, 294990, False], ['8810', 4489688, 191785, False], ['8742', 8245285, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1161066], ['unknown class code', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['9999', 7459474, 453667, False], ['8810', 4658471, 375443, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5183', 612208, 50444, False], ['5183', 642893, 43214, False], ['5183', 509283, 67193, False], ['5183', 482245, 69768, False], ['5183', 387181, 38625, False], ['5183', 624757, 46096, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 192991], ['no employees', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5403', 2704921, 47898, False], ['5403', 1854859, 1323, False], ['5403', 2209353, 699, False], ['5403', 1645713, 34941, False], ['8742', 1964735, 0, False], ['8742', 1444407, 0, False], ['8742', 1185321, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1160109]], [['construction crew with overtime', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['5403', 5589785, 749739, False], ['5403', 3004512, 755944, False], ['5403', 8028563, 494683, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2176408], ['high-paid officer capped', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8810', 20000002, 0, True], ['8810', 4938763, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 38959], ['officer with overtime near cap', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8742', 12200002, 900000, True], ['5183', 7556209, 751524, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 504229], ['part-time officer raised to minimum', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 3240624, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 29955], ['mixed classes', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8742', 2948197, 551768, False], ['5403', 2964789, 498187, False], ['8810', 6667557, 0, False], ['8810', 2940792, 0, False], ['8810', 7643712, 449698, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 434350], ['unknown class code', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['9999', 2603447, 0, False], ['8810', 6041352, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['5183', 597562, 61292, False], ['5183', 587325, 8597, False], ['5183', 364731, 61505, False], ['5183', 500399, 11567, False], ['5183', 326057, 33389, False], ['5183', 634518, 31090, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 180016], ['no employees', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['5403', 2905651, 11823, False], ['5403', 2371235, 56064, False], ['5403', 2934717, 85428, False], ['5403', 2781211, 64023, False], ['8742', 1361139, 0, False], ['8742', 2833115, 0, False], ['8742', 1273671, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1515784]], [['construction crew with overtime', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['5403', 4509048, 724931, False], ['5403', 6366252, 824599, False], ['5403', 8964442, 347528, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2633333], ['high-paid officer capped', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8810', 20000003, 0, True], ['8810', 2634381, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 35123], ['officer with overtime near cap', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8742', 12200003, 900000, True], ['5183', 7287070, 735091, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 488093], ['part-time officer raised to minimum', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 4603792, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 36498], ['mixed classes', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8810', 8750822, 0, False], ['8810', 6128102, 0, False], ['5183', 6246828, 0, False], ['5403', 5909616, 322654, False], ['8810', 6168033, 540676, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1227849], ['unknown class code', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['9999', 7327480, 551873, False], ['8810', 3024985, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['5183', 329254, 7253, False], ['5183', 626764, 42759, False], ['5183', 659916, 20264, False], ['5183', 519469, 35559, False], ['5183', 389886, 75669, False], ['5183', 507542, 41718, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 181056], ['no employees', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['5403', 2659221, 68400, False], ['5403', 2971143, 68046, False], ['5403', 2774867, 10245, False], ['5403', 2815711, 38499, False], ['8742', 2701865, 0, False], ['8742', 1164649, 0, False], ['8742', 1162777, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1554069]], [['construction crew with overtime', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5403', 5006217, 551722, False], ['5403', 3676711, 858245, False], ['5403', 7410036, 662511, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2122415], ['high-paid officer capped', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['8810', 20000004, 0, True], ['8810', 5669566, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 44174], ['officer with overtime near cap', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['8742', 12200004, 900000, True], ['5183', 4588140, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 337914], ['part-time officer raised to minimum', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 6091797, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 43641], ['mixed classes', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5403', 8534301, 165838, False], ['8742', 5684815, 239232, False], ['5403', 8412792, 134991, False], ['8742', 4205248, 0, False], ['8742', 4460925, 281462, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2389543], ['unknown class code', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['9999', 4685853, 0, False], ['8810', 8884824, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5183', 528372, 84144, False], ['5183', 611261, 67360, False], ['5183', 530047, 86400, False], ['5183', 594062, 70397, False], ['5183', 692753, 26987, False], ['5183', 474056, 25708, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 202585], ['no employees', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5403', 2422889, 9399, False], ['5403', 2602627, 61761, False], ['5403', 2502883, 72387, False], ['5403', 1907625, 52560, False], ['8742', 2723881, 0, False], ['8742', 2789151, 0, False], ['8742', 1671629, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1325762]], [['construction crew with overtime', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5403', 4325810, 386365, False], ['5403', 8069112, 702120, False], ['5403', 8542896, 764368, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2814348], ['high-paid officer capped', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['8810', 20000005, 0, True], ['8810', 3023598, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 39061], ['officer with overtime near cap', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['8742', 12200005, 900000, True], ['5183', 6746427, 347672, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 462909], ['part-time officer raised to minimum', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 2883302, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 28240], ['mixed classes', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5183', 6265553, 0, False], ['5403', 8393440, 217802, False], ['5403', 6148670, 0, False], ['5183', 3719409, 873745, False], ['8742', 6249488, 662920, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2626219], ['unknown class code', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['9999', 2588874, 0, False], ['8810', 4808227, 215758, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5183', 607059, 78097, False], ['5183', 557045, 41904, False], ['5183', 398784, 78900, False], ['5183', 578083, 69965, False], ['5183', 306975, 36499, False], ['5183', 592062, 59356, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 178608], ['no employees', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5403', 2366515, 69267, False], ['5403', 2032839, 11376, False], ['5403', 1111359, 84174, False], ['5403', 1758487, 71022, False], ['8742', 1374745, 0, False], ['8742', 2478437, 0, False], ['8742', 1307151, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1020666]]]
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 fixture	Actual	Expected	Outcome
construction crew with overtime	`1724345`	`1724345`	Passed
high-paid officer capped	`60442`	`42842`	Failed
officer with overtime near cap	`221988`	`221988`	Passed
part-time officer raised to minimum	`46044`	`54684`	Failed
mixed classes	`1161066`	`1161066`	Passed
unknown class code	`unknown class 9999`	`unknown class 9999`	Passed
many small payrolls in one class	`192991`	`192991`	Passed
no employees	`0`	`0`	Passed
odd payrolls in two classes	`1160109`	`1160109`	Passed

SHA-256 / 563face593bcffb60dc2d0458883c6b502b183f63b025b0df888620702da0c8d

3 / The verified repair

Exit 0

"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(x):
    by={}
    for cls,pay,ot,officer in x['employees']:
        if cls not in x['rates']: return 'unknown class '+cls
        base=pay-Fraction(ot,3)
        if officer: base=max(x['officer_min'],min(x['officer_max'],base))
        by[cls]=by.get(cls,0)+base
    tot=0
    for cls in sorted(by):
        tot+=math.floor(by[cls]*x['rates'][cls]/10000+Fraction(1,2))
    return tot
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['construction crew with overtime', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5403', 3806909, 440206, False], ['5403', 5169784, 475047, False], ['5403', 4327308, 875628, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1724345], ['high-paid officer capped', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['8810', 20000001, 0, True], ['8810', 7473841, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 42842], ['officer with overtime near cap', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['8742', 12200001, 900000, True], ['5183', 2895447, 604577, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 221988], ['part-time officer raised to minimum', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 8392399, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 54684], ['mixed classes', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5403', 4370481, 231136, False], ['8742', 6099309, 257334, False], ['5183', 8272641, 294990, False], ['8810', 4489688, 191785, False], ['8742', 8245285, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1161066], ['unknown class code', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['9999', 7459474, 453667, False], ['8810', 4658471, 375443, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5183', 612208, 50444, False], ['5183', 642893, 43214, False], ['5183', 509283, 67193, False], ['5183', 482245, 69768, False], ['5183', 387181, 38625, False], ['5183', 624757, 46096, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 192991], ['no employees', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 22, '5403': 1357, '8742': 48, '5183': 612}, 'employees': [['5403', 2704921, 47898, False], ['5403', 1854859, 1323, False], ['5403', 2209353, 699, False], ['5403', 1645713, 34941, False], ['8742', 1964735, 0, False], ['8742', 1444407, 0, False], ['8742', 1185321, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1160109]], [['construction crew with overtime', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['5403', 5589785, 749739, False], ['5403', 3004512, 755944, False], ['5403', 8028563, 494683, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2176408], ['high-paid officer capped', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8810', 20000002, 0, True], ['8810', 4938763, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 38959], ['officer with overtime near cap', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8742', 12200002, 900000, True], ['5183', 7556209, 751524, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 504229], ['part-time officer raised to minimum', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 3240624, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 29955], ['mixed classes', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['8742', 2948197, 551768, False], ['5403', 2964789, 498187, False], ['8810', 6667557, 0, False], ['8810', 2940792, 0, False], ['8810', 7643712, 449698, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 434350], ['unknown class code', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['9999', 2603447, 0, False], ['8810', 6041352, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['5183', 597562, 61292, False], ['5183', 587325, 8597, False], ['5183', 364731, 61505, False], ['5183', 500399, 11567, False], ['5183', 326057, 33389, False], ['5183', 634518, 31090, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 180016], ['no employees', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 23, '5403': 1364, '8742': 48, '5183': 612}, 'employees': [['5403', 2905651, 11823, False], ['5403', 2371235, 56064, False], ['5403', 2934717, 85428, False], ['5403', 2781211, 64023, False], ['8742', 1361139, 0, False], ['8742', 2833115, 0, False], ['8742', 1273671, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1515784]], [['construction crew with overtime', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['5403', 4509048, 724931, False], ['5403', 6366252, 824599, False], ['5403', 8964442, 347528, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2633333], ['high-paid officer capped', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8810', 20000003, 0, True], ['8810', 2634381, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 35123], ['officer with overtime near cap', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8742', 12200003, 900000, True], ['5183', 7287070, 735091, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 488093], ['part-time officer raised to minimum', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 4603792, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 36498], ['mixed classes', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['8810', 8750822, 0, False], ['8810', 6128102, 0, False], ['5183', 6246828, 0, False], ['5403', 5909616, 322654, False], ['8810', 6168033, 540676, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1227849], ['unknown class code', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['9999', 7327480, 551873, False], ['8810', 3024985, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['5183', 329254, 7253, False], ['5183', 626764, 42759, False], ['5183', 659916, 20264, False], ['5183', 519469, 35559, False], ['5183', 389886, 75669, False], ['5183', 507542, 41718, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 181056], ['no employees', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 24, '5403': 1371, '8742': 48, '5183': 612}, 'employees': [['5403', 2659221, 68400, False], ['5403', 2971143, 68046, False], ['5403', 2774867, 10245, False], ['5403', 2815711, 38499, False], ['8742', 2701865, 0, False], ['8742', 1164649, 0, False], ['8742', 1162777, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1554069]], [['construction crew with overtime', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5403', 5006217, 551722, False], ['5403', 3676711, 858245, False], ['5403', 7410036, 662511, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2122415], ['high-paid officer capped', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['8810', 20000004, 0, True], ['8810', 5669566, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 44174], ['officer with overtime near cap', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['8742', 12200004, 900000, True], ['5183', 4588140, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 337914], ['part-time officer raised to minimum', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 6091797, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 43641], ['mixed classes', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5403', 8534301, 165838, False], ['8742', 5684815, 239232, False], ['5403', 8412792, 134991, False], ['8742', 4205248, 0, False], ['8742', 4460925, 281462, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2389543], ['unknown class code', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['9999', 4685853, 0, False], ['8810', 8884824, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5183', 528372, 84144, False], ['5183', 611261, 67360, False], ['5183', 530047, 86400, False], ['5183', 594062, 70397, False], ['5183', 692753, 26987, False], ['5183', 474056, 25708, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 202585], ['no employees', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 25, '5403': 1378, '8742': 48, '5183': 612}, 'employees': [['5403', 2422889, 9399, False], ['5403', 2602627, 61761, False], ['5403', 2502883, 72387, False], ['5403', 1907625, 52560, False], ['8742', 2723881, 0, False], ['8742', 2789151, 0, False], ['8742', 1671629, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1325762]], [['construction crew with overtime', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5403', 4325810, 386365, False], ['5403', 8069112, 702120, False], ['5403', 8542896, 764368, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2814348], ['high-paid officer capped', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['8810', 20000005, 0, True], ['8810', 3023598, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 39061], ['officer with overtime near cap', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['8742', 12200005, 900000, True], ['5183', 6746427, 347672, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 462909], ['part-time officer raised to minimum', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['8742', 1200000, 0, True], ['8742', 2883302, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 28240], ['mixed classes', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5183', 6265553, 0, False], ['5403', 8393440, 217802, False], ['5403', 6148670, 0, False], ['5183', 3719409, 873745, False], ['8742', 6249488, 662920, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 2626219], ['unknown class code', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['9999', 2588874, 0, False], ['8810', 4808227, 215758, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 'unknown class 9999'], ['many small payrolls in one class', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5183', 607059, 78097, False], ['5183', 557045, 41904, False], ['5183', 398784, 78900, False], ['5183', 578083, 69965, False], ['5183', 306975, 36499, False], ['5183', 592062, 59356, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 178608], ['no employees', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [], 'officer_min': 3000000, 'officer_max': 12000000}, 0], ['odd payrolls in two classes', {'rates': {'8810': 26, '5403': 1385, '8742': 48, '5183': 612}, 'employees': [['5403', 2366515, 69267, False], ['5403', 2032839, 11376, False], ['5403', 1111359, 84174, False], ['5403', 1758487, 71022, False], ['8742', 1374745, 0, False], ['8742', 2478437, 0, False], ['8742', 1307151, 0, False]], 'officer_min': 3000000, 'officer_max': 12000000}, 1020666]]]
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 fixture	Actual	Expected	Outcome
construction crew with overtime	`1724345`	`1724345`	Passed
high-paid officer capped	`42842`	`42842`	Passed
officer with overtime near cap	`221988`	`221988`	Passed
part-time officer raised to minimum	`54684`	`54684`	Passed
mixed classes	`1161066`	`1161066`	Passed
unknown class code	`unknown class 9999`	`unknown class 9999`	Passed
many small payrolls in one class	`192991`	`192991`	Passed
no employees	`0`	`0`	Passed
odd payrolls in two classes	`1160109`	`1160109`	Passed

SHA-256 / d072397178e71f12511297152aa7afadafdbbffca189690597a27fd2656f006e

Verification & scope

A deterministic bounded teaching model of a stipulated toy rating contract. Amounts are integer cents and factors exact rationals; it makes no claim of conformance with any filed rating plan, bureau manual or jurisdiction. 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:47:11.551295+00:00.

Case digest / 8819601139e5470fbf46daf13a4a77ae8827877824081b6b10bbd0aacb569020