FA-85241 / Fantasy sports scoring / Open access
Unused substitute receives an appearance point · case 01
A goalkeeper who never left the bench scores 1 point.
ROOT CAUSE
Players with zero minutes are scored like a 1-59 minute appearance.
VERIFIED REPAIR
Return 0 immediately for zero minutes.
Unsuccessful approach: Zeroing only the appearance point still charges bench bookings.
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):
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: unused bench player',
[{'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),
('partial repair probe: unused bench player',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': True}],
0),
('second regression',
[{'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 1',
[{'assists': 1,
'conceded': 3,
'goals': 2,
'minutes': 46,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 3,
'yellow': False}],
14),
('normal control 2',
[{'assists': 1,
'conceded': 3,
'goals': 2,
'minutes': 61,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 5,
'yellow': False}],
17),
('normal control 3',
[{'assists': 2,
'conceded': 1,
'goals': 0,
'minutes': 59,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': True}],
4),
('normal control 4',
[{'assists': 0,
'conceded': 2,
'goals': 0,
'minutes': 60,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 3,
'yellow': False}],
0)],
[('regression: unused bench player',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
0),
('partial repair probe: unused bench player',
[{'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),
('second regression',
[{'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 1',
[{'assists': 0,
'conceded': 0,
'goals': 2,
'minutes': 60,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 4,
'yellow': False}],
17),
('normal control 2',
[{'assists': 2,
'conceded': 0,
'goals': 1,
'minutes': 60,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
10),
('normal control 3',
[{'assists': 2,
'conceded': 4,
'goals': 0,
'minutes': 60,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 5,
'yellow': True}],
4),
('normal control 4',
[{'assists': 1,
'conceded': 4,
'goals': 1,
'minutes': 46,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
5)],
[('regression: unused bench player',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
0),
('partial repair probe: unused bench player',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': True}],
0),
('second regression',
[{'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 1',
[{'assists': 1,
'conceded': 3,
'goals': 0,
'minutes': 45,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
0),
('normal control 2',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 45,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': True,
'saves': 0,
'yellow': True}],
-2),
('normal control 3',
[{'assists': 2,
'conceded': 1,
'goals': 1,
'minutes': 45,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
9),
('normal control 4',
[{'assists': 0,
'conceded': 2,
'goals': 1,
'minutes': 61,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
3)],
[('regression: unused bench player',
[{'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),
('partial repair probe: unused bench player',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': True}],
0),
('second regression',
[{'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 1',
[{'assists': 1,
'conceded': 3,
'goals': 0,
'minutes': 60,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': True}],
3),
('normal control 2',
[{'assists': 2,
'conceded': 1,
'goals': 2,
'minutes': 59,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 3,
'yellow': False}],
18),
('normal control 3',
[{'assists': 2,
'conceded': 0,
'goals': 0,
'minutes': 59,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
7),
('normal control 4',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 90,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 2,
'yellow': False}],
4)],
[('regression: unused bench player',
[{'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),
('partial repair probe: unused bench player',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': True,
'saves': 0,
'yellow': False}],
0),
('second regression',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
0),
('normal control 1',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 59,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 2,
'yellow': False}],
1),
('normal control 2',
[{'assists': 0,
'conceded': 1,
'goals': 2,
'minutes': 61,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
12),
('normal control 3',
[{'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),
('normal control 4',
[{'assists': 2,
'conceded': 2,
'goals': 0,
'minutes': 45,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
5)]]
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: unused bench player | -2 | 0 | Failed |
| partial repair probe: unused bench player | 0 | 0 | Passed |
| second regression | 1 | 0 | Failed |
| normal control 1 | 14 | 14 | Passed |
| normal control 2 | 17 | 17 | Passed |
| normal control 3 | 4 | 4 | Passed |
| normal control 4 | 0 | 0 | Passed |
SHA-256 / 3f576d66166156e25e27a810eaf4e983ad130ca4d4e8fd2660a87e26b22b4d30
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(p):
pos = p['pos']
pts = 2 if p['minutes'] >= 60 else (1 if p['minutes'] else 0)
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: unused bench player',
[{'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),
('partial repair probe: unused bench player',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': True}],
0),
('second regression',
[{'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 1',
[{'assists': 1,
'conceded': 3,
'goals': 2,
'minutes': 46,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 3,
'yellow': False}],
14),
('normal control 2',
[{'assists': 1,
'conceded': 3,
'goals': 2,
'minutes': 61,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 5,
'yellow': False}],
17),
('normal control 3',
[{'assists': 2,
'conceded': 1,
'goals': 0,
'minutes': 59,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': True}],
4),
('normal control 4',
[{'assists': 0,
'conceded': 2,
'goals': 0,
'minutes': 60,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 3,
'yellow': False}],
0)],
[('regression: unused bench player',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
0),
('partial repair probe: unused bench player',
[{'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),
('second regression',
[{'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 1',
[{'assists': 0,
'conceded': 0,
'goals': 2,
'minutes': 60,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 4,
'yellow': False}],
17),
('normal control 2',
[{'assists': 2,
'conceded': 0,
'goals': 1,
'minutes': 60,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
10),
('normal control 3',
[{'assists': 2,
'conceded': 4,
'goals': 0,
'minutes': 60,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 5,
'yellow': True}],
4),
('normal control 4',
[{'assists': 1,
'conceded': 4,
'goals': 1,
'minutes': 46,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
5)],
[('regression: unused bench player',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
0),
('partial repair probe: unused bench player',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': True}],
0),
('second regression',
[{'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 1',
[{'assists': 1,
'conceded': 3,
'goals': 0,
'minutes': 45,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
0),
('normal control 2',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 45,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': True,
'saves': 0,
'yellow': True}],
-2),
('normal control 3',
[{'assists': 2,
'conceded': 1,
'goals': 1,
'minutes': 45,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
9),
('normal control 4',
[{'assists': 0,
'conceded': 2,
'goals': 1,
'minutes': 61,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
3)],
[('regression: unused bench player',
[{'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),
('partial repair probe: unused bench player',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': True}],
0),
('second regression',
[{'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 1',
[{'assists': 1,
'conceded': 3,
'goals': 0,
'minutes': 60,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': True}],
3),
('normal control 2',
[{'assists': 2,
'conceded': 1,
'goals': 2,
'minutes': 59,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 3,
'yellow': False}],
18),
('normal control 3',
[{'assists': 2,
'conceded': 0,
'goals': 0,
'minutes': 59,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
7),
('normal control 4',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 90,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 2,
'yellow': False}],
4)],
[('regression: unused bench player',
[{'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),
('partial repair probe: unused bench player',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': True,
'saves': 0,
'yellow': False}],
0),
('second regression',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
0),
('normal control 1',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 59,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 2,
'yellow': False}],
1),
('normal control 2',
[{'assists': 0,
'conceded': 1,
'goals': 2,
'minutes': 61,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
12),
('normal control 3',
[{'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),
('normal control 4',
[{'assists': 2,
'conceded': 2,
'goals': 0,
'minutes': 45,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
5)]]
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: unused bench player | -3 | 0 | Failed |
| partial repair probe: unused bench player | -1 | 0 | Failed |
| second regression | 0 | 0 | Passed |
| normal control 1 | 14 | 14 | Passed |
| normal control 2 | 17 | 17 | Passed |
| normal control 3 | 4 | 4 | Passed |
| normal control 4 | 0 | 0 | Passed |
SHA-256 / 557969353323d4365313ea8c07dcabc5fc7e5d97635aa22074869e122d7f4858
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: unused bench player',
[{'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),
('partial repair probe: unused bench player',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': True}],
0),
('second regression',
[{'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 1',
[{'assists': 1,
'conceded': 3,
'goals': 2,
'minutes': 46,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 3,
'yellow': False}],
14),
('normal control 2',
[{'assists': 1,
'conceded': 3,
'goals': 2,
'minutes': 61,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 5,
'yellow': False}],
17),
('normal control 3',
[{'assists': 2,
'conceded': 1,
'goals': 0,
'minutes': 59,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': True}],
4),
('normal control 4',
[{'assists': 0,
'conceded': 2,
'goals': 0,
'minutes': 60,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 3,
'yellow': False}],
0)],
[('regression: unused bench player',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
0),
('partial repair probe: unused bench player',
[{'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),
('second regression',
[{'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 1',
[{'assists': 0,
'conceded': 0,
'goals': 2,
'minutes': 60,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 4,
'yellow': False}],
17),
('normal control 2',
[{'assists': 2,
'conceded': 0,
'goals': 1,
'minutes': 60,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
10),
('normal control 3',
[{'assists': 2,
'conceded': 4,
'goals': 0,
'minutes': 60,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 5,
'yellow': True}],
4),
('normal control 4',
[{'assists': 1,
'conceded': 4,
'goals': 1,
'minutes': 46,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
5)],
[('regression: unused bench player',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
0),
('partial repair probe: unused bench player',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': True}],
0),
('second regression',
[{'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 1',
[{'assists': 1,
'conceded': 3,
'goals': 0,
'minutes': 45,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
0),
('normal control 2',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 45,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': True,
'saves': 0,
'yellow': True}],
-2),
('normal control 3',
[{'assists': 2,
'conceded': 1,
'goals': 1,
'minutes': 45,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
9),
('normal control 4',
[{'assists': 0,
'conceded': 2,
'goals': 1,
'minutes': 61,
'own_goals': 1,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
3)],
[('regression: unused bench player',
[{'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),
('partial repair probe: unused bench player',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': True}],
0),
('second regression',
[{'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 1',
[{'assists': 1,
'conceded': 3,
'goals': 0,
'minutes': 60,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': True}],
3),
('normal control 2',
[{'assists': 2,
'conceded': 1,
'goals': 2,
'minutes': 59,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 3,
'yellow': False}],
18),
('normal control 3',
[{'assists': 2,
'conceded': 0,
'goals': 0,
'minutes': 59,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
7),
('normal control 4',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 90,
'own_goals': 0,
'pen_missed': 1,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 2,
'yellow': False}],
4)],
[('regression: unused bench player',
[{'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),
('partial repair probe: unused bench player',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': True,
'saves': 0,
'yellow': False}],
0),
('second regression',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 0,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'FWD',
'red': False,
'saves': 0,
'yellow': False}],
0),
('normal control 1',
[{'assists': 0,
'conceded': 0,
'goals': 0,
'minutes': 59,
'own_goals': 0,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'GK',
'red': False,
'saves': 2,
'yellow': False}],
1),
('normal control 2',
[{'assists': 0,
'conceded': 1,
'goals': 2,
'minutes': 61,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'DEF',
'red': False,
'saves': 0,
'yellow': False}],
12),
('normal control 3',
[{'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),
('normal control 4',
[{'assists': 2,
'conceded': 2,
'goals': 0,
'minutes': 45,
'own_goals': 1,
'pen_missed': 0,
'pen_saved': 0,
'pos': 'MID',
'red': False,
'saves': 0,
'yellow': False}],
5)]]
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: unused bench player | 0 | 0 | Passed |
| partial repair probe: unused bench player | 0 | 0 | Passed |
| second regression | 0 | 0 | Passed |
| normal control 1 | 14 | 14 | Passed |
| normal control 2 | 17 | 17 | Passed |
| normal control 3 | 4 | 4 | Passed |
| normal control 4 | 0 | 0 | Passed |
SHA-256 / 70f7b346953c008939d24186799e67986cfa4eb288f6f219ceb7b8ef34874f5a
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.558552+00:00.
Case digest / 174a482c8a8ec1a51e0deb2d7016890b9e9776a7e842d9d8976aacb1b858b6bd