FA-85221 / Fantasy sports scoring / Open access
Late substitutes earn clean sheets · case 01
A defender who played 10 minutes gets 4 clean-sheet points.
ROOT CAUSE
The clean-sheet rule has no minutes requirement.
VERIFIED REPAIR
Require 60+ minutes for a clean sheet.
Unsuccessful approach: A 45-minute requirement still rewards second-half substitutes.
Case contract
Score an association-football fantasy player. 0 minutes scores 0 (even cards shown on the bench). Appearance 1, or 2 for 60+ minutes. Goals GK/DEF 6, MID 5, FWD 4; assist 3. Clean sheet (0 conceded while on pitch, 60+ minutes) GK/DEF 4, MID 1. GK/DEF lose 1 per 2 goals conceded (floor). GK +1 per 3 saves. Penalty save 5, penalty miss -2, own goal -2. A red card is -3 and replaces any yellow (-1).
Why this case matters
Position-dependent values and minute thresholds are the heart of football fantasy scoring.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(p):
if p['minutes'] == 0:
return 0
pos = p['pos']
pts = 2 if p['minutes'] >= 60 else 1
pts += p['goals'] * {'GK': 6, 'DEF': 6, 'MID': 5, 'FWD': 4}[pos]
pts += p['assists'] * 3
if p['conceded'] == 0:
pts += {'GK': 4, 'DEF': 4, 'MID': 1, 'FWD': 0}[pos]
if pos in ('GK', 'DEF'):
pts -= p['conceded'] // 2
if pos == 'GK':
pts += p['saves'] // 3
pts += p['pen_saved'] * 5 - p['pen_missed'] * 2 - p['own_goals'] * 2
if p['red']:
pts -= 3
elif p['yellow']:
pts -= 1
return pts
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: clean sheet minutes',
[{'assists': 0,
'conceded': 0,
'goals': 1,
'minutes': 59,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
6),
('partial repair probe: clean sheet minutes',
[{'assists': 1,
'conceded': 0,
'goals': 0,
'minutes': 45,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 1,
'yellow': False}],
2),
('second regression',
[{'assists': 1,
'conceded': 0,
'goals': 2,
'minutes': 46,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
14),
('normal control 1',
[{'assists': 0,
'conceded': 0,
'goals': 1,
'minutes': 1,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
1),
('normal control 2',
[{'assists': 2,
'conceded': 2,
'goals': 1,
'minutes': 1,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': True}],
9),
('normal control 3',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
0),
('normal control 4',
[{'assists': 0,
'conceded': 2,
'goals': 1,
'minutes': 45,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': True}],
4)],
[('regression: clean sheet minutes',
[{'assists': 2,
'conceded': 0,
'goals': 0,
'minutes': 1,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
3),
('partial repair probe: clean sheet minutes',
[{'assists': 2,
'conceded': 0,
'goals': 0,
'minutes': 59,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 2,
'yellow': False}],
3),
('second regression',
[{'assists': 1,
'conceded': 0,
'goals': 0,
'minutes': 1,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': True,
'saves': 7,
'yellow': True}],
1),
('normal control 1',
[{'assists': 2,
'conceded': 1,
'goals': 0,
'minutes': 46,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
7),
('normal control 2',
[{'assists': 0,
'conceded': 2,
'goals': 1,
'minutes': 1,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': True}],
3),
('normal control 3',
[{'assists': 1,
'conceded': 3,
'goals': 2,
'minutes': 46,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
10),
('normal control 4',
[{'assists': 1,
'conceded': 0,
'goals': 0,
'minutes': 90,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
9)],
[('regression: clean sheet minutes',
[{'assists': 2,
'conceded': 0,
'goals': 0,
'minutes': 45,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 4,
'yellow': True}],
7),
('partial repair probe: clean sheet minutes',
[{'assists': 1,
'conceded': 0,
'goals': 0,
'minutes': 59,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 4,
'yellow': False}],
3),
('second regression',
[{'assists': 1,
'conceded': 0,
'goals': 0,
'minutes': 45,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
0),
('normal control 1',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': True,
'saves': 0,
'yellow': False}],
0),
('normal control 2',
[{'assists': 0,
'conceded': 4,
'goals': 0,
'minutes': 46,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
-1),
('normal control 3',
[{'assists': 2,
'conceded': 1,
'goals': 0,
'minutes': 46,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': True,
'saves': 0,
'yellow': True}],
4),
('normal control 4',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
0)],
[('regression: clean sheet minutes',
[{'assists': 2,
'conceded': 0,
'goals': 0,
'minutes': 45,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
5),
('partial repair probe: clean sheet minutes',
[{'assists': 1,
'conceded': 0,
'goals': 1,
'minutes': 45,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 0,
'yellow': False}],
8),
('second regression',
[{'assists': 1,
'conceded': 0,
'goals': 0,
'minutes': 59,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': True}],
1),
('normal control 1',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 0,
'yellow': True}],
0),
('normal control 2',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
0),
('normal control 3',
[{'assists': 1,
'conceded': 1,
'goals': 0,
'minutes': 45,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
2),
('normal control 4',
[{'assists': 0,
'conceded': 3,
'goals': 2,
'minutes': 59,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
8)],
[('regression: clean sheet minutes',
[{'assists': 2,
'conceded': 0,
'goals': 0,
'minutes': 1,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 3,
'yellow': False}],
8),
('partial repair probe: clean sheet minutes',
[{'assists': 2,
'conceded': 0,
'goals': 1,
'minutes': 46,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
10),
('second regression',
[{'assists': 2,
'conceded': 0,
'goals': 0,
'minutes': 59,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': True,
'saves': 2,
'yellow': True}],
4),
('normal control 1',
[{'assists': 0,
'conceded': 2,
'goals': 0,
'minutes': 61,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': True}],
-3),
('normal control 2',
[{'assists': 2,
'conceded': 3,
'goals': 0,
'minutes': 61,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': True}],
2),
('normal control 3',
[{'assists': 1,
'conceded': 0,
'goals': 2,
'minutes': 61,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': True,
'saves': 0,
'yellow': False}],
13),
('normal control 4',
[{'assists': 2,
'conceded': 4,
'goals': 0,
'minutes': 61,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
6)]]
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: clean sheet minutes | 7 | 6 | Failed |
| partial repair probe: clean sheet minutes | 6 | 2 | Failed |
| second regression | 15 | 14 | Failed |
| normal control 1 | 1 | 1 | Passed |
| normal control 2 | 9 | 9 | Passed |
| normal control 3 | 0 | 0 | Passed |
| normal control 4 | 4 | 4 | Passed |
SHA-256 / 01d409169ed36e1c06f6b723b39a33d9b0dc02ac2285cc112db3535965fabf04
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(p):
if p['minutes'] == 0:
return 0
pos = p['pos']
pts = 2 if p['minutes'] >= 60 else 1
pts += p['goals'] * {'GK': 6, 'DEF': 6, 'MID': 5, 'FWD': 4}[pos]
pts += p['assists'] * 3
if p['conceded'] == 0 and p['minutes'] >= 45:
pts += {'GK': 4, 'DEF': 4, 'MID': 1, 'FWD': 0}[pos]
if pos in ('GK', 'DEF'):
pts -= p['conceded'] // 2
if pos == 'GK':
pts += p['saves'] // 3
pts += p['pen_saved'] * 5 - p['pen_missed'] * 2 - p['own_goals'] * 2
if p['red']:
pts -= 3
elif p['yellow']:
pts -= 1
return pts
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: clean sheet minutes',
[{'assists': 0,
'conceded': 0,
'goals': 1,
'minutes': 59,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
6),
('partial repair probe: clean sheet minutes',
[{'assists': 1,
'conceded': 0,
'goals': 0,
'minutes': 45,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 1,
'yellow': False}],
2),
('second regression',
[{'assists': 1,
'conceded': 0,
'goals': 2,
'minutes': 46,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
14),
('normal control 1',
[{'assists': 0,
'conceded': 0,
'goals': 1,
'minutes': 1,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
1),
('normal control 2',
[{'assists': 2,
'conceded': 2,
'goals': 1,
'minutes': 1,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': True}],
9),
('normal control 3',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
0),
('normal control 4',
[{'assists': 0,
'conceded': 2,
'goals': 1,
'minutes': 45,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': True}],
4)],
[('regression: clean sheet minutes',
[{'assists': 2,
'conceded': 0,
'goals': 0,
'minutes': 1,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
3),
('partial repair probe: clean sheet minutes',
[{'assists': 2,
'conceded': 0,
'goals': 0,
'minutes': 59,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 2,
'yellow': False}],
3),
('second regression',
[{'assists': 1,
'conceded': 0,
'goals': 0,
'minutes': 1,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': True,
'saves': 7,
'yellow': True}],
1),
('normal control 1',
[{'assists': 2,
'conceded': 1,
'goals': 0,
'minutes': 46,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
7),
('normal control 2',
[{'assists': 0,
'conceded': 2,
'goals': 1,
'minutes': 1,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': True}],
3),
('normal control 3',
[{'assists': 1,
'conceded': 3,
'goals': 2,
'minutes': 46,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
10),
('normal control 4',
[{'assists': 1,
'conceded': 0,
'goals': 0,
'minutes': 90,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
9)],
[('regression: clean sheet minutes',
[{'assists': 2,
'conceded': 0,
'goals': 0,
'minutes': 45,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 4,
'yellow': True}],
7),
('partial repair probe: clean sheet minutes',
[{'assists': 1,
'conceded': 0,
'goals': 0,
'minutes': 59,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 4,
'yellow': False}],
3),
('second regression',
[{'assists': 1,
'conceded': 0,
'goals': 0,
'minutes': 45,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
0),
('normal control 1',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': True,
'saves': 0,
'yellow': False}],
0),
('normal control 2',
[{'assists': 0,
'conceded': 4,
'goals': 0,
'minutes': 46,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
-1),
('normal control 3',
[{'assists': 2,
'conceded': 1,
'goals': 0,
'minutes': 46,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': True,
'saves': 0,
'yellow': True}],
4),
('normal control 4',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
0)],
[('regression: clean sheet minutes',
[{'assists': 2,
'conceded': 0,
'goals': 0,
'minutes': 45,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
5),
('partial repair probe: clean sheet minutes',
[{'assists': 1,
'conceded': 0,
'goals': 1,
'minutes': 45,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 0,
'yellow': False}],
8),
('second regression',
[{'assists': 1,
'conceded': 0,
'goals': 0,
'minutes': 59,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': True}],
1),
('normal control 1',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 0,
'yellow': True}],
0),
('normal control 2',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
0),
('normal control 3',
[{'assists': 1,
'conceded': 1,
'goals': 0,
'minutes': 45,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
2),
('normal control 4',
[{'assists': 0,
'conceded': 3,
'goals': 2,
'minutes': 59,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
8)],
[('regression: clean sheet minutes',
[{'assists': 2,
'conceded': 0,
'goals': 0,
'minutes': 1,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 3,
'yellow': False}],
8),
('partial repair probe: clean sheet minutes',
[{'assists': 2,
'conceded': 0,
'goals': 1,
'minutes': 46,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
10),
('second regression',
[{'assists': 2,
'conceded': 0,
'goals': 0,
'minutes': 59,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': True,
'saves': 2,
'yellow': True}],
4),
('normal control 1',
[{'assists': 0,
'conceded': 2,
'goals': 0,
'minutes': 61,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': True}],
-3),
('normal control 2',
[{'assists': 2,
'conceded': 3,
'goals': 0,
'minutes': 61,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': True}],
2),
('normal control 3',
[{'assists': 1,
'conceded': 0,
'goals': 2,
'minutes': 61,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': True,
'saves': 0,
'yellow': False}],
13),
('normal control 4',
[{'assists': 2,
'conceded': 4,
'goals': 0,
'minutes': 61,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
6)]]
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: clean sheet minutes | 7 | 6 | Failed |
| partial repair probe: clean sheet minutes | 6 | 2 | Failed |
| second regression | 15 | 14 | Failed |
| normal control 1 | 1 | 1 | Passed |
| normal control 2 | 9 | 9 | Passed |
| normal control 3 | 0 | 0 | Passed |
| normal control 4 | 4 | 4 | Passed |
SHA-256 / ff5d53088234a3800f4084da8a14cff2c0c8f02e58ac127bf4a3485ea74955b5
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(p):
if p['minutes'] == 0:
return 0
pos = p['pos']
pts = 2 if p['minutes'] >= 60 else 1
pts += p['goals'] * {'GK': 6, 'DEF': 6, 'MID': 5, 'FWD': 4}[pos]
pts += p['assists'] * 3
if p['conceded'] == 0 and p['minutes'] >= 60:
pts += {'GK': 4, 'DEF': 4, 'MID': 1, 'FWD': 0}[pos]
if pos in ('GK', 'DEF'):
pts -= p['conceded'] // 2
if pos == 'GK':
pts += p['saves'] // 3
pts += p['pen_saved'] * 5 - p['pen_missed'] * 2 - p['own_goals'] * 2
if p['red']:
pts -= 3
elif p['yellow']:
pts -= 1
return pts
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: clean sheet minutes',
[{'assists': 0,
'conceded': 0,
'goals': 1,
'minutes': 59,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
6),
('partial repair probe: clean sheet minutes',
[{'assists': 1,
'conceded': 0,
'goals': 0,
'minutes': 45,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 1,
'yellow': False}],
2),
('second regression',
[{'assists': 1,
'conceded': 0,
'goals': 2,
'minutes': 46,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
14),
('normal control 1',
[{'assists': 0,
'conceded': 0,
'goals': 1,
'minutes': 1,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
1),
('normal control 2',
[{'assists': 2,
'conceded': 2,
'goals': 1,
'minutes': 1,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': True}],
9),
('normal control 3',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
0),
('normal control 4',
[{'assists': 0,
'conceded': 2,
'goals': 1,
'minutes': 45,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': True}],
4)],
[('regression: clean sheet minutes',
[{'assists': 2,
'conceded': 0,
'goals': 0,
'minutes': 1,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
3),
('partial repair probe: clean sheet minutes',
[{'assists': 2,
'conceded': 0,
'goals': 0,
'minutes': 59,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 2,
'yellow': False}],
3),
('second regression',
[{'assists': 1,
'conceded': 0,
'goals': 0,
'minutes': 1,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': True,
'saves': 7,
'yellow': True}],
1),
('normal control 1',
[{'assists': 2,
'conceded': 1,
'goals': 0,
'minutes': 46,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
7),
('normal control 2',
[{'assists': 0,
'conceded': 2,
'goals': 1,
'minutes': 1,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': True}],
3),
('normal control 3',
[{'assists': 1,
'conceded': 3,
'goals': 2,
'minutes': 46,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
10),
('normal control 4',
[{'assists': 1,
'conceded': 0,
'goals': 0,
'minutes': 90,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
9)],
[('regression: clean sheet minutes',
[{'assists': 2,
'conceded': 0,
'goals': 0,
'minutes': 45,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 4,
'yellow': True}],
7),
('partial repair probe: clean sheet minutes',
[{'assists': 1,
'conceded': 0,
'goals': 0,
'minutes': 59,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 4,
'yellow': False}],
3),
('second regression',
[{'assists': 1,
'conceded': 0,
'goals': 0,
'minutes': 45,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
0),
('normal control 1',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': True,
'saves': 0,
'yellow': False}],
0),
('normal control 2',
[{'assists': 0,
'conceded': 4,
'goals': 0,
'minutes': 46,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
-1),
('normal control 3',
[{'assists': 2,
'conceded': 1,
'goals': 0,
'minutes': 46,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': True,
'saves': 0,
'yellow': True}],
4),
('normal control 4',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
0)],
[('regression: clean sheet minutes',
[{'assists': 2,
'conceded': 0,
'goals': 0,
'minutes': 45,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
5),
('partial repair probe: clean sheet minutes',
[{'assists': 1,
'conceded': 0,
'goals': 1,
'minutes': 45,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 0,
'yellow': False}],
8),
('second regression',
[{'assists': 1,
'conceded': 0,
'goals': 0,
'minutes': 59,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': True}],
1),
('normal control 1',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 0,
'yellow': True}],
0),
('normal control 2',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
0),
('normal control 3',
[{'assists': 1,
'conceded': 1,
'goals': 0,
'minutes': 45,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
2),
('normal control 4',
[{'assists': 0,
'conceded': 3,
'goals': 2,
'minutes': 59,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
8)],
[('regression: clean sheet minutes',
[{'assists': 2,
'conceded': 0,
'goals': 0,
'minutes': 1,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 3,
'yellow': False}],
8),
('partial repair probe: clean sheet minutes',
[{'assists': 2,
'conceded': 0,
'goals': 1,
'minutes': 46,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
10),
('second regression',
[{'assists': 2,
'conceded': 0,
'goals': 0,
'minutes': 59,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': True,
'saves': 2,
'yellow': True}],
4),
('normal control 1',
[{'assists': 0,
'conceded': 2,
'goals': 0,
'minutes': 61,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': True}],
-3),
('normal control 2',
[{'assists': 2,
'conceded': 3,
'goals': 0,
'minutes': 61,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': True}],
2),
('normal control 3',
[{'assists': 1,
'conceded': 0,
'goals': 2,
'minutes': 61,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': True,
'saves': 0,
'yellow': False}],
13),
('normal control 4',
[{'assists': 2,
'conceded': 4,
'goals': 0,
'minutes': 61,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
6)]]
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: clean sheet minutes | 6 | 6 | Passed |
| partial repair probe: clean sheet minutes | 2 | 2 | Passed |
| second regression | 14 | 14 | Passed |
| normal control 1 | 1 | 1 | Passed |
| normal control 2 | 9 | 9 | Passed |
| normal control 3 | 0 | 0 | Passed |
| normal control 4 | 4 | 4 | Passed |
SHA-256 / 28809f580cbb348b55012f4239161db94ac82d81477623a0d4517ec4376d9643
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:38.425940+00:00.
Case digest / 50ba9a1acf2afb497126e316730cb49df1df066c5b4fbbc05b5253e402433eef