FA-85166 / Fantasy sports scoring / Open access
Negative plus/minus scored as positive · case 01
A -3 skater gains 3 points.
ROOT CAUSE
The absolute value of plus/minus is used.
VERIFIED REPAIR
Use the signed plus/minus.
Unsuccessful approach: Clamping at zero hides the penalty for a negative rating.
Case contract
Score a hockey skater in tenths: goal 3, assist 2, plus/minus 1 per unit (negative allowed), shot on goal 0.4, power-play points (goals plus assists) 0.5 extra each, short-handed points 1 extra each, and a single 2 point hat-trick bonus for three or more goals. Shootout goals (so_g) are not goals and score nothing.
Why this case matters
Special-teams extras, plus/minus signs and shootout exclusions are frequent skater scoring defects.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(g):
pts = g['g'] * 30 + g['a'] * 20 + abs(g['pm']) * 10 + g['sog'] * 4
pts += (g['ppg'] + g['ppa']) * 5
pts += (g['shg'] + g['sha']) * 10
if g['g'] >= 3:
pts += 20
return pts
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: plus-minus sign',
[{'a': 3, 'g': 2, 'pm': -3, 'ppa': 1, 'ppg': 1, 'sha': 1, 'shg': 1, 'so_g': 1, 'sog': 2}], 128),
('partial repair probe: plus-minus sign',
[{'a': 3, 'g': 3, 'pm': -3, 'ppa': 0, 'ppg': 2, 'sha': 0, 'shg': 0, 'so_g': 1, 'sog': 9}], 186),
('second regression',
[{'a': 3, 'g': 3, 'pm': -3, 'ppa': 0, 'ppg': 1, 'sha': 0, 'shg': 1, 'so_g': 1, 'sog': 4}], 171),
('normal control 1',
[{'a': 0, 'g': 2, 'pm': 0, 'ppa': 0, 'ppg': 1, 'sha': 1, 'shg': 1, 'so_g': 0, 'sog': 8}], 117),
('normal control 2',
[{'a': 0, 'g': 3, 'pm': 2, 'ppa': 0, 'ppg': 2, 'sha': 1, 'shg': 1, 'so_g': 0, 'sog': 8}], 192),
('normal control 3',
[{'a': 3, 'g': 0, 'pm': 0, 'ppa': 1, 'ppg': 0, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 0}], 65),
('normal control 4',
[{'a': 1, 'g': 6, 'pm': 1, 'ppa': 2, 'ppg': 6, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 11}], 314)],
[('regression: plus-minus sign',
[{'a': 0, 'g': 1, 'pm': -2, 'ppa': 2, 'ppg': 0, 'sha': 0, 'shg': 1, 'so_g': 0, 'sog': 2}], 38),
('partial repair probe: plus-minus sign',
[{'a': 2, 'g': 2, 'pm': -1, 'ppa': 1, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 0, 'sog': 6}], 129),
('second regression',
[{'a': 2, 'g': 1, 'pm': -3, 'ppa': 2, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 0, 'sog': 3}], 72),
('normal control 1',
[{'a': 3, 'g': 6, 'pm': 0, 'ppa': 2, 'ppg': 3, 'sha': 0, 'shg': 1, 'so_g': 1, 'sog': 8}], 327),
('normal control 2',
[{'a': 1, 'g': 2, 'pm': 2, 'ppa': 1, 'ppg': 0, 'sha': 0, 'shg': 0, 'so_g': 1, 'sog': 3}], 117),
('normal control 3',
[{'a': 3, 'g': 4, 'pm': 2, 'ppa': 2, 'ppg': 2, 'sha': 0, 'shg': 2, 'so_g': 1, 'sog': 9}], 296),
('normal control 4',
[{'a': 0, 'g': 3, 'pm': 2, 'ppa': 0, 'ppg': 2, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 9}], 176)],
[('regression: plus-minus sign',
[{'a': 3, 'g': 0, 'pm': -2, 'ppa': 0, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 0, 'sog': 2}], 58),
('partial repair probe: plus-minus sign',
[{'a': 0, 'g': 1, 'pm': -3, 'ppa': 1, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 0, 'sog': 2}], 23),
('second regression',
[{'a': 0, 'g': 0, 'pm': -1, 'ppa': 1, 'ppg': 0, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 4}], 11),
('normal control 1',
[{'a': 1, 'g': 0, 'pm': 1, 'ppa': 2, 'ppg': 0, 'sha': 0, 'shg': 0, 'so_g': 1, 'sog': 2}], 48),
('normal control 2',
[{'a': 0, 'g': 6, 'pm': 2, 'ppa': 0, 'ppg': 1, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 10}], 265),
('normal control 3',
[{'a': 2, 'g': 2, 'pm': 0, 'ppa': 2, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 1, 'sog': 2}], 128),
('normal control 4',
[{'a': 0, 'g': 3, 'pm': 2, 'ppa': 1, 'ppg': 2, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 8}], 177)],
[('regression: plus-minus sign',
[{'a': 1, 'g': 3, 'pm': -3, 'ppa': 0, 'ppg': 1, 'sha': 0, 'shg': 2, 'so_g': 0, 'sog': 3}], 137),
('partial repair probe: plus-minus sign',
[{'a': 1, 'g': 6, 'pm': -1, 'ppa': 0, 'ppg': 1, 'sha': 0, 'shg': 1, 'so_g': 0, 'sog': 7}], 253),
('second regression',
[{'a': 1, 'g': 4, 'pm': -2, 'ppa': 2, 'ppg': 0, 'sha': 1, 'shg': 1, 'so_g': 1, 'sog': 6}], 194),
('normal control 1',
[{'a': 2, 'g': 3, 'pm': 0, 'ppa': 2, 'ppg': 0, 'sha': 1, 'shg': 3, 'so_g': 1, 'sog': 3}], 212),
('normal control 2',
[{'a': 2, 'g': 1, 'pm': 0, 'ppa': 0, 'ppg': 0, 'sha': 0, 'shg': 0, 'so_g': 1, 'sog': 1}], 74),
('normal control 3',
[{'a': 3, 'g': 0, 'pm': 2, 'ppa': 0, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 0, 'sog': 4}], 106),
('normal control 4',
[{'a': 3, 'g': 4, 'pm': 0, 'ppa': 1, 'ppg': 0, 'sha': 0, 'shg': 3, 'so_g': 0, 'sog': 9}], 271)],
[('regression: plus-minus sign',
[{'a': 1, 'g': 6, 'pm': -2, 'ppa': 1, 'ppg': 3, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 6}], 244),
('partial repair probe: plus-minus sign',
[{'a': 0, 'g': 1, 'pm': -3, 'ppa': 2, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 1, 'sog': 5}], 40),
('second regression',
[{'a': 1, 'g': 3, 'pm': -2, 'ppa': 1, 'ppg': 2, 'sha': 0, 'shg': 0, 'so_g': 1, 'sog': 7}], 153),
('normal control 1',
[{'a': 0, 'g': 1, 'pm': 2, 'ppa': 1, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 0, 'sog': 7}], 93),
('normal control 2',
[{'a': 1, 'g': 0, 'pm': 3, 'ppa': 0, 'ppg': 0, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 3}], 62),
('normal control 3',
[{'a': 0, 'g': 1, 'pm': 0, 'ppa': 0, 'ppg': 0, 'sha': 1, 'shg': 1, 'so_g': 0, 'sog': 7}], 78),
('normal control 4',
[{'a': 0, 'g': 6, 'pm': 0, 'ppa': 0, 'ppg': 5, 'sha': 1, 'shg': 0, 'so_g': 1, 'sog': 7}], 263)]]
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 |
|---|---|---|---|
| regression: plus-minus sign | 188 | 128 | Failed |
| partial repair probe: plus-minus sign | 246 | 186 | Failed |
| second regression | 231 | 171 | Failed |
| normal control 1 | 117 | 117 | Passed |
| normal control 2 | 192 | 192 | Passed |
| normal control 3 | 65 | 65 | Passed |
| normal control 4 | 314 | 314 | Passed |
SHA-256 / cfc8cac733daf18bc40b4dc2bee0d5ea93cad70bcb5cc6fb5809b23837a77b1a
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(g):
pts = g['g'] * 30 + g['a'] * 20 + max(g['pm'], 0) * 10 + g['sog'] * 4
pts += (g['ppg'] + g['ppa']) * 5
pts += (g['shg'] + g['sha']) * 10
if g['g'] >= 3:
pts += 20
return pts
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: plus-minus sign',
[{'a': 3, 'g': 2, 'pm': -3, 'ppa': 1, 'ppg': 1, 'sha': 1, 'shg': 1, 'so_g': 1, 'sog': 2}], 128),
('partial repair probe: plus-minus sign',
[{'a': 3, 'g': 3, 'pm': -3, 'ppa': 0, 'ppg': 2, 'sha': 0, 'shg': 0, 'so_g': 1, 'sog': 9}], 186),
('second regression',
[{'a': 3, 'g': 3, 'pm': -3, 'ppa': 0, 'ppg': 1, 'sha': 0, 'shg': 1, 'so_g': 1, 'sog': 4}], 171),
('normal control 1',
[{'a': 0, 'g': 2, 'pm': 0, 'ppa': 0, 'ppg': 1, 'sha': 1, 'shg': 1, 'so_g': 0, 'sog': 8}], 117),
('normal control 2',
[{'a': 0, 'g': 3, 'pm': 2, 'ppa': 0, 'ppg': 2, 'sha': 1, 'shg': 1, 'so_g': 0, 'sog': 8}], 192),
('normal control 3',
[{'a': 3, 'g': 0, 'pm': 0, 'ppa': 1, 'ppg': 0, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 0}], 65),
('normal control 4',
[{'a': 1, 'g': 6, 'pm': 1, 'ppa': 2, 'ppg': 6, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 11}], 314)],
[('regression: plus-minus sign',
[{'a': 0, 'g': 1, 'pm': -2, 'ppa': 2, 'ppg': 0, 'sha': 0, 'shg': 1, 'so_g': 0, 'sog': 2}], 38),
('partial repair probe: plus-minus sign',
[{'a': 2, 'g': 2, 'pm': -1, 'ppa': 1, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 0, 'sog': 6}], 129),
('second regression',
[{'a': 2, 'g': 1, 'pm': -3, 'ppa': 2, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 0, 'sog': 3}], 72),
('normal control 1',
[{'a': 3, 'g': 6, 'pm': 0, 'ppa': 2, 'ppg': 3, 'sha': 0, 'shg': 1, 'so_g': 1, 'sog': 8}], 327),
('normal control 2',
[{'a': 1, 'g': 2, 'pm': 2, 'ppa': 1, 'ppg': 0, 'sha': 0, 'shg': 0, 'so_g': 1, 'sog': 3}], 117),
('normal control 3',
[{'a': 3, 'g': 4, 'pm': 2, 'ppa': 2, 'ppg': 2, 'sha': 0, 'shg': 2, 'so_g': 1, 'sog': 9}], 296),
('normal control 4',
[{'a': 0, 'g': 3, 'pm': 2, 'ppa': 0, 'ppg': 2, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 9}], 176)],
[('regression: plus-minus sign',
[{'a': 3, 'g': 0, 'pm': -2, 'ppa': 0, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 0, 'sog': 2}], 58),
('partial repair probe: plus-minus sign',
[{'a': 0, 'g': 1, 'pm': -3, 'ppa': 1, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 0, 'sog': 2}], 23),
('second regression',
[{'a': 0, 'g': 0, 'pm': -1, 'ppa': 1, 'ppg': 0, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 4}], 11),
('normal control 1',
[{'a': 1, 'g': 0, 'pm': 1, 'ppa': 2, 'ppg': 0, 'sha': 0, 'shg': 0, 'so_g': 1, 'sog': 2}], 48),
('normal control 2',
[{'a': 0, 'g': 6, 'pm': 2, 'ppa': 0, 'ppg': 1, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 10}], 265),
('normal control 3',
[{'a': 2, 'g': 2, 'pm': 0, 'ppa': 2, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 1, 'sog': 2}], 128),
('normal control 4',
[{'a': 0, 'g': 3, 'pm': 2, 'ppa': 1, 'ppg': 2, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 8}], 177)],
[('regression: plus-minus sign',
[{'a': 1, 'g': 3, 'pm': -3, 'ppa': 0, 'ppg': 1, 'sha': 0, 'shg': 2, 'so_g': 0, 'sog': 3}], 137),
('partial repair probe: plus-minus sign',
[{'a': 1, 'g': 6, 'pm': -1, 'ppa': 0, 'ppg': 1, 'sha': 0, 'shg': 1, 'so_g': 0, 'sog': 7}], 253),
('second regression',
[{'a': 1, 'g': 4, 'pm': -2, 'ppa': 2, 'ppg': 0, 'sha': 1, 'shg': 1, 'so_g': 1, 'sog': 6}], 194),
('normal control 1',
[{'a': 2, 'g': 3, 'pm': 0, 'ppa': 2, 'ppg': 0, 'sha': 1, 'shg': 3, 'so_g': 1, 'sog': 3}], 212),
('normal control 2',
[{'a': 2, 'g': 1, 'pm': 0, 'ppa': 0, 'ppg': 0, 'sha': 0, 'shg': 0, 'so_g': 1, 'sog': 1}], 74),
('normal control 3',
[{'a': 3, 'g': 0, 'pm': 2, 'ppa': 0, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 0, 'sog': 4}], 106),
('normal control 4',
[{'a': 3, 'g': 4, 'pm': 0, 'ppa': 1, 'ppg': 0, 'sha': 0, 'shg': 3, 'so_g': 0, 'sog': 9}], 271)],
[('regression: plus-minus sign',
[{'a': 1, 'g': 6, 'pm': -2, 'ppa': 1, 'ppg': 3, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 6}], 244),
('partial repair probe: plus-minus sign',
[{'a': 0, 'g': 1, 'pm': -3, 'ppa': 2, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 1, 'sog': 5}], 40),
('second regression',
[{'a': 1, 'g': 3, 'pm': -2, 'ppa': 1, 'ppg': 2, 'sha': 0, 'shg': 0, 'so_g': 1, 'sog': 7}], 153),
('normal control 1',
[{'a': 0, 'g': 1, 'pm': 2, 'ppa': 1, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 0, 'sog': 7}], 93),
('normal control 2',
[{'a': 1, 'g': 0, 'pm': 3, 'ppa': 0, 'ppg': 0, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 3}], 62),
('normal control 3',
[{'a': 0, 'g': 1, 'pm': 0, 'ppa': 0, 'ppg': 0, 'sha': 1, 'shg': 1, 'so_g': 0, 'sog': 7}], 78),
('normal control 4',
[{'a': 0, 'g': 6, 'pm': 0, 'ppa': 0, 'ppg': 5, 'sha': 1, 'shg': 0, 'so_g': 1, 'sog': 7}], 263)]]
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 |
|---|---|---|---|
| regression: plus-minus sign | 158 | 128 | Failed |
| partial repair probe: plus-minus sign | 216 | 186 | Failed |
| second regression | 201 | 171 | Failed |
| normal control 1 | 117 | 117 | Passed |
| normal control 2 | 192 | 192 | Passed |
| normal control 3 | 65 | 65 | Passed |
| normal control 4 | 314 | 314 | Passed |
SHA-256 / 119a3352e32c8f72a04ee6726f179315522da01848cefa965c1031c6b68a8559
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(g):
pts = g['g'] * 30 + g['a'] * 20 + g['pm'] * 10 + g['sog'] * 4
pts += (g['ppg'] + g['ppa']) * 5
pts += (g['shg'] + g['sha']) * 10
if g['g'] >= 3:
pts += 20
return pts
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: plus-minus sign',
[{'a': 3, 'g': 2, 'pm': -3, 'ppa': 1, 'ppg': 1, 'sha': 1, 'shg': 1, 'so_g': 1, 'sog': 2}], 128),
('partial repair probe: plus-minus sign',
[{'a': 3, 'g': 3, 'pm': -3, 'ppa': 0, 'ppg': 2, 'sha': 0, 'shg': 0, 'so_g': 1, 'sog': 9}], 186),
('second regression',
[{'a': 3, 'g': 3, 'pm': -3, 'ppa': 0, 'ppg': 1, 'sha': 0, 'shg': 1, 'so_g': 1, 'sog': 4}], 171),
('normal control 1',
[{'a': 0, 'g': 2, 'pm': 0, 'ppa': 0, 'ppg': 1, 'sha': 1, 'shg': 1, 'so_g': 0, 'sog': 8}], 117),
('normal control 2',
[{'a': 0, 'g': 3, 'pm': 2, 'ppa': 0, 'ppg': 2, 'sha': 1, 'shg': 1, 'so_g': 0, 'sog': 8}], 192),
('normal control 3',
[{'a': 3, 'g': 0, 'pm': 0, 'ppa': 1, 'ppg': 0, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 0}], 65),
('normal control 4',
[{'a': 1, 'g': 6, 'pm': 1, 'ppa': 2, 'ppg': 6, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 11}], 314)],
[('regression: plus-minus sign',
[{'a': 0, 'g': 1, 'pm': -2, 'ppa': 2, 'ppg': 0, 'sha': 0, 'shg': 1, 'so_g': 0, 'sog': 2}], 38),
('partial repair probe: plus-minus sign',
[{'a': 2, 'g': 2, 'pm': -1, 'ppa': 1, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 0, 'sog': 6}], 129),
('second regression',
[{'a': 2, 'g': 1, 'pm': -3, 'ppa': 2, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 0, 'sog': 3}], 72),
('normal control 1',
[{'a': 3, 'g': 6, 'pm': 0, 'ppa': 2, 'ppg': 3, 'sha': 0, 'shg': 1, 'so_g': 1, 'sog': 8}], 327),
('normal control 2',
[{'a': 1, 'g': 2, 'pm': 2, 'ppa': 1, 'ppg': 0, 'sha': 0, 'shg': 0, 'so_g': 1, 'sog': 3}], 117),
('normal control 3',
[{'a': 3, 'g': 4, 'pm': 2, 'ppa': 2, 'ppg': 2, 'sha': 0, 'shg': 2, 'so_g': 1, 'sog': 9}], 296),
('normal control 4',
[{'a': 0, 'g': 3, 'pm': 2, 'ppa': 0, 'ppg': 2, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 9}], 176)],
[('regression: plus-minus sign',
[{'a': 3, 'g': 0, 'pm': -2, 'ppa': 0, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 0, 'sog': 2}], 58),
('partial repair probe: plus-minus sign',
[{'a': 0, 'g': 1, 'pm': -3, 'ppa': 1, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 0, 'sog': 2}], 23),
('second regression',
[{'a': 0, 'g': 0, 'pm': -1, 'ppa': 1, 'ppg': 0, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 4}], 11),
('normal control 1',
[{'a': 1, 'g': 0, 'pm': 1, 'ppa': 2, 'ppg': 0, 'sha': 0, 'shg': 0, 'so_g': 1, 'sog': 2}], 48),
('normal control 2',
[{'a': 0, 'g': 6, 'pm': 2, 'ppa': 0, 'ppg': 1, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 10}], 265),
('normal control 3',
[{'a': 2, 'g': 2, 'pm': 0, 'ppa': 2, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 1, 'sog': 2}], 128),
('normal control 4',
[{'a': 0, 'g': 3, 'pm': 2, 'ppa': 1, 'ppg': 2, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 8}], 177)],
[('regression: plus-minus sign',
[{'a': 1, 'g': 3, 'pm': -3, 'ppa': 0, 'ppg': 1, 'sha': 0, 'shg': 2, 'so_g': 0, 'sog': 3}], 137),
('partial repair probe: plus-minus sign',
[{'a': 1, 'g': 6, 'pm': -1, 'ppa': 0, 'ppg': 1, 'sha': 0, 'shg': 1, 'so_g': 0, 'sog': 7}], 253),
('second regression',
[{'a': 1, 'g': 4, 'pm': -2, 'ppa': 2, 'ppg': 0, 'sha': 1, 'shg': 1, 'so_g': 1, 'sog': 6}], 194),
('normal control 1',
[{'a': 2, 'g': 3, 'pm': 0, 'ppa': 2, 'ppg': 0, 'sha': 1, 'shg': 3, 'so_g': 1, 'sog': 3}], 212),
('normal control 2',
[{'a': 2, 'g': 1, 'pm': 0, 'ppa': 0, 'ppg': 0, 'sha': 0, 'shg': 0, 'so_g': 1, 'sog': 1}], 74),
('normal control 3',
[{'a': 3, 'g': 0, 'pm': 2, 'ppa': 0, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 0, 'sog': 4}], 106),
('normal control 4',
[{'a': 3, 'g': 4, 'pm': 0, 'ppa': 1, 'ppg': 0, 'sha': 0, 'shg': 3, 'so_g': 0, 'sog': 9}], 271)],
[('regression: plus-minus sign',
[{'a': 1, 'g': 6, 'pm': -2, 'ppa': 1, 'ppg': 3, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 6}], 244),
('partial repair probe: plus-minus sign',
[{'a': 0, 'g': 1, 'pm': -3, 'ppa': 2, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 1, 'sog': 5}], 40),
('second regression',
[{'a': 1, 'g': 3, 'pm': -2, 'ppa': 1, 'ppg': 2, 'sha': 0, 'shg': 0, 'so_g': 1, 'sog': 7}], 153),
('normal control 1',
[{'a': 0, 'g': 1, 'pm': 2, 'ppa': 1, 'ppg': 0, 'sha': 1, 'shg': 0, 'so_g': 0, 'sog': 7}], 93),
('normal control 2',
[{'a': 1, 'g': 0, 'pm': 3, 'ppa': 0, 'ppg': 0, 'sha': 0, 'shg': 0, 'so_g': 0, 'sog': 3}], 62),
('normal control 3',
[{'a': 0, 'g': 1, 'pm': 0, 'ppa': 0, 'ppg': 0, 'sha': 1, 'shg': 1, 'so_g': 0, 'sog': 7}], 78),
('normal control 4',
[{'a': 0, 'g': 6, 'pm': 0, 'ppa': 0, 'ppg': 5, 'sha': 1, 'shg': 0, 'so_g': 1, 'sog': 7}], 263)]]
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 |
|---|---|---|---|
| regression: plus-minus sign | 128 | 128 | Passed |
| partial repair probe: plus-minus sign | 186 | 186 | Passed |
| second regression | 171 | 171 | Passed |
| normal control 1 | 117 | 117 | Passed |
| normal control 2 | 192 | 192 | Passed |
| normal control 3 | 65 | 65 | Passed |
| normal control 4 | 314 | 314 | Passed |
SHA-256 / 4af29bd6daeac2a6493fccac7f5ca365e0ce2223611ea882cd7524d30e77635d
Verification & scope
A deterministic toy scoring contract stipulated for this example; it is not the rulebook of any real fantasy platform. 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:50:37.932492+00:00.
Case digest / 7bdd15bbc6745f56039dab3a8238299b160e7b7fa5c1f694ac800f343f85f088