FA-84841 / Fantasy sports scoring / Open access
Negative rushing yards floored to a full lost point · case 01
A back with -7 rushing yards is charged a whole point although he never lost a full 10 yards.
ROOT CAUSE
Yard units use Python floor division, which rounds -0.7 units down to -1 instead of truncating toward zero.
THE FAILURE
Yard units use Python floor division, which rounds -0.7 units down to -1 instead of truncating toward zero.
Unsuccessful approach: Dividing the absolute value but dropping the sign turns lost yardage into positive points.
Case contract
Score a skill-player stat line in integer hundredths. Passing yards earn 1 point per full 25 yards, rushing and receiving yards 1 point per full 10 yards, each category truncated toward zero separately. Pass TD 4, interception -2, rush/receiving TD 6, fumble lost -2 (fumbles recovered by the own team are free), two-point conversion 2, each first down 0.25. Receptions are worth 0/0.5/1 for std/half/ppr, and a TE earns an extra 0.5 per reception on top. 300+ passing, 100+ rushing and 100+ receiving yards each add a 3 point bonus. The display string rounds to tenths half away from zero and never shows -0.0.
Why this case matters
Fantasy football points drive weekly matchups and payouts; small unit or boundary mistakes flip results that users dispute.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(stats, fmt, pos):
def unit(y, per):
return y // per
rec_val = {'std': 0, 'half': 50, 'ppr': 100}[fmt]
if pos == 'TE':
rec_val += 50
pts = 0
pts += unit(stats['pass_yds'], 25) * 100
pts += stats['pass_td'] * 400
pts -= stats['int'] * 200
pts += unit(stats['rush_yds'], 10) * 100
pts += stats['rush_td'] * 600
pts += stats['rec'] * rec_val
pts += unit(stats['rec_yds'], 10) * 100
pts += stats['rec_td'] * 600
pts -= stats['fum_lost'] * 200
pts += stats['two_pt'] * 200
pts += stats['first_downs'] * 25
if stats['pass_yds'] >= 300:
pts += 300
if stats['rush_yds'] >= 100:
pts += 300
if stats['rec_yds'] >= 100:
pts += 300
t = (abs(pts) + 5) // 10
sign = '-' if pts < 0 and t else ''
return {'hundredths': pts, 'display': '%s%d.%d' % (sign, t // 10, t % 10)}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: negative yardage truncation',
[{'first_downs': 1,
'fum': 1,
'fum_lost': 0,
'int': 3,
'pass_td': 1,
'pass_yds': 288,
'rec': 7,
'rec_td': 0,
'rec_yds': 20,
'rush_td': 1,
'rush_yds': -7,
'two_pt': 0},
'std', 'QB'],
{'display': '17.3', 'hundredths': 1725}),
('partial repair probe: negative yardage truncation',
[{'first_downs': 7,
'fum': 0,
'fum_lost': 0,
'int': 0,
'pass_td': 0,
'pass_yds': 235,
'rec': 2,
'rec_td': 2,
'rec_yds': 4,
'rush_td': 2,
'rush_yds': -10,
'two_pt': 1},
'std', 'QB'],
{'display': '35.8', 'hundredths': 3575}),
('second regression',
[{'first_downs': 4,
'fum': 2,
'fum_lost': 2,
'int': 1,
'pass_td': 0,
'pass_yds': 6,
'rec': 0,
'rec_td': 0,
'rec_yds': 0,
'rush_td': 0,
'rush_yds': -4,
'two_pt': 0},
'ppr', 'WR'],
{'display': '-5.0', 'hundredths': -500}),
('normal control 1',
[{'first_downs': 4,
'fum': 1,
'fum_lost': 0,
'int': 2,
'pass_td': 2,
'pass_yds': 311,
'rec': 7,
'rec_td': 2,
'rec_yds': 140,
'rush_td': 1,
'rush_yds': 64,
'two_pt': 1},
'std', 'RB'],
{'display': '63.0', 'hundredths': 6300}),
('normal control 2',
[{'first_downs': 1,
'fum': 3,
'fum_lost': 0,
'int': 3,
'pass_td': 2,
'pass_yds': 239,
'rec': 2,
'rec_td': 2,
'rec_yds': 141,
'rush_td': 0,
'rush_yds': 107,
'two_pt': 1},
'std', 'WR'],
{'display': '55.3', 'hundredths': 5525}),
('normal control 3',
[{'first_downs': 1,
'fum': 2,
'fum_lost': 2,
'int': 3,
'pass_td': 2,
'pass_yds': 347,
'rec': 11,
'rec_td': 1,
'rec_yds': 19,
'rush_td': 1,
'rush_yds': 108,
'two_pt': 0},
'half', 'RB'],
{'display': '45.8', 'hundredths': 4575}),
('normal control 4',
[{'first_downs': 1,
'fum': 3,
'fum_lost': 3,
'int': 1,
'pass_td': 3,
'pass_yds': 46,
'rec': 1,
'rec_td': 2,
'rec_yds': 110,
'rush_td': 1,
'rush_yds': 118,
'two_pt': 0},
'std', 'TE'],
{'display': '51.8', 'hundredths': 5175})],
[('regression: negative yardage truncation',
[{'first_downs': 1,
'fum': 2,
'fum_lost': 1,
'int': 3,
'pass_td': 3,
'pass_yds': -3,
'rec': 1,
'rec_td': 1,
'rec_yds': 7,
'rush_td': 0,
'rush_yds': 100,
'two_pt': 0},
'std', 'RB'],
{'display': '23.3', 'hundredths': 2325}),
('partial repair probe: negative yardage truncation',
[{'first_downs': 3,
'fum': 2,
'fum_lost': 2,
'int': 2,
'pass_td': 4,
'pass_yds': -3,
'rec': 3,
'rec_td': 1,
'rec_yds': 99,
'rush_td': 1,
'rush_yds': -10,
'two_pt': 1},
'half', 'WR'],
{'display': '32.3', 'hundredths': 3225}),
('second regression',
[{'first_downs': 3,
'fum': 2,
'fum_lost': 0,
'int': 1,
'pass_td': 0,
'pass_yds': 86,
'rec': 10,
'rec_td': 1,
'rec_yds': 19,
'rush_td': 1,
'rush_yds': -7,
'two_pt': 1},
'half', 'WR'],
{'display': '21.8', 'hundredths': 2175}),
('normal control 1',
[{'first_downs': 5,
'fum': 0,
'fum_lost': 0,
'int': 0,
'pass_td': 2,
'pass_yds': 107,
'rec': 4,
'rec_td': 1,
'rec_yds': 99,
'rush_td': 1,
'rush_yds': 106,
'two_pt': 1},
'std', 'WR'],
{'display': '49.3', 'hundredths': 4925}),
('normal control 2',
[{'first_downs': 9,
'fum': 2,
'fum_lost': 2,
'int': 0,
'pass_td': 0,
'pass_yds': 20,
'rec': 0,
'rec_td': 0,
'rec_yds': 0,
'rush_td': 0,
'rush_yds': 9,
'two_pt': 0},
'std', 'WR'],
{'display': '-1.8', 'hundredths': -175}),
('normal control 3',
[{'first_downs': 9,
'fum': 1,
'fum_lost': 1,
'int': 1,
'pass_td': 0,
'pass_yds': 198,
'rec': 7,
'rec_td': 1,
'rec_yds': 20,
'rush_td': 1,
'rush_yds': 51,
'two_pt': 1},
'std', 'WR'],
{'display': '26.3', 'hundredths': 2625}),
('normal control 4',
[{'first_downs': 7,
'fum': 3,
'fum_lost': 2,
'int': 1,
'pass_td': 4,
'pass_yds': 300,
'rec': 11,
'rec_td': 1,
'rec_yds': 114,
'rush_td': 1,
'rush_yds': 10,
'two_pt': 0},
'ppr', 'WR'],
{'display': '64.8', 'hundredths': 6475})],
[('regression: negative yardage truncation',
[{'first_downs': 9,
'fum': 2,
'fum_lost': 0,
'int': 2,
'pass_td': 3,
'pass_yds': -3,
'rec': 10,
'rec_td': 0,
'rec_yds': 86,
'rush_td': 2,
'rush_yds': 51,
'two_pt': 1},
'ppr', 'TE'],
{'display': '52.3', 'hundredths': 5225}),
('partial repair probe: negative yardage truncation',
[{'first_downs': 1,
'fum': 2,
'fum_lost': 1,
'int': 0,
'pass_td': 0,
'pass_yds': 15,
'rec': 0,
'rec_td': 0,
'rec_yds': 0,
'rush_td': 0,
'rush_yds': -14,
'two_pt': 0},
'std', 'TE'],
{'display': '-2.8', 'hundredths': -275}),
('second regression',
[{'first_downs': 4,
'fum': 1,
'fum_lost': 1,
'int': 1,
'pass_td': 3,
'pass_yds': 298,
'rec': 0,
'rec_td': 1,
'rec_yds': 99,
'rush_td': 1,
'rush_yds': -7,
'two_pt': 1},
'std', 'QB'],
{'display': '43.0', 'hundredths': 4300}),
('normal control 1',
[{'first_downs': 4,
'fum': 2,
'fum_lost': 2,
'int': 1,
'pass_td': 0,
'pass_yds': 325,
'rec': 10,
'rec_td': 1,
'rec_yds': 99,
'rush_td': 0,
'rush_yds': 159,
'two_pt': 0},
'ppr', 'QB'],
{'display': '54.0', 'hundredths': 5400}),
('normal control 2',
[{'first_downs': 3,
'fum': 1,
'fum_lost': 1,
'int': 2,
'pass_td': 2,
'pass_yds': 63,
'rec': 0,
'rec_td': 0,
'rec_yds': 60,
'rush_td': 2,
'rush_yds': 146,
'two_pt': 1},
'ppr', 'WR'],
{'display': '41.8', 'hundredths': 4175}),
('normal control 3',
[{'first_downs': 3,
'fum': 2,
'fum_lost': 1,
'int': 3,
'pass_td': 0,
'pass_yds': 2,
'rec': 0,
'rec_td': 0,
'rec_yds': 0,
'rush_td': 0,
'rush_yds': 0,
'two_pt': 0},
'ppr', 'RB'],
{'display': '-7.3', 'hundredths': -725}),
('normal control 4',
[{'first_downs': 3,
'fum': 1,
'fum_lost': 0,
'int': 1,
'pass_td': 0,
'pass_yds': 325,
'rec': 10,
'rec_td': 2,
'rec_yds': 84,
'rush_td': 0,
'rush_yds': 35,
'two_pt': 1},
'std', 'TE'],
{'display': '44.8', 'hundredths': 4475})],
[('regression: negative yardage truncation',
[{'first_downs': 9,
'fum': 2,
'fum_lost': 2,
'int': 1,
'pass_td': 0,
'pass_yds': 16,
'rec': 0,
'rec_td': 0,
'rec_yds': 0,
'rush_td': 0,
'rush_yds': -7,
'two_pt': 0},
'half', 'QB'],
{'display': '-3.8', 'hundredths': -375}),
('partial repair probe: negative yardage truncation',
[{'first_downs': 9,
'fum': 2,
'fum_lost': 0,
'int': 2,
'pass_td': 4,
'pass_yds': 57,
'rec': 10,
'rec_td': 1,
'rec_yds': 45,
'rush_td': 0,
'rush_yds': -10,
'two_pt': 0},
'ppr', 'WR'],
{'display': '35.3', 'hundredths': 3525}),
('second regression',
[{'first_downs': 0,
'fum': 2,
'fum_lost': 1,
'int': 1,
'pass_td': 0,
'pass_yds': -10,
'rec': 0,
'rec_td': 0,
'rec_yds': 0,
'rush_td': 0,
'rush_yds': -7,
'two_pt': 0},
'std', 'WR'],
{'display': '-4.0', 'hundredths': -400}),
('normal control 1',
[{'first_downs': 8,
'fum': 1,
'fum_lost': 1,
'int': 2,
'pass_td': 3,
'pass_yds': 228,
'rec': 4,
'rec_td': 1,
'rec_yds': 106,
'rush_td': 2,
'rush_yds': 77,
'two_pt': 1},
'half', 'QB'],
{'display': '59.0', 'hundredths': 5900}),
('normal control 2',
[{'first_downs': 9,
'fum': 1,
'fum_lost': 1,
'int': 3,
'pass_td': 3,
'pass_yds': 25,
'rec': 9,
'rec_td': 2,
'rec_yds': 99,
'rush_td': 0,
'rush_yds': 139,
'two_pt': 0},
'ppr', 'TE'],
{'display': '57.8', 'hundredths': 5775}),
('normal control 3',
[{'first_downs': 0,
'fum': 2,
'fum_lost': 2,
'int': 2,
'pass_td': 0,
'pass_yds': 37,
'rec': 0,
'rec_td': 0,
'rec_yds': 0,
'rush_td': 0,
'rush_yds': 2,
'two_pt': 0},
'std', 'RB'],
{'display': '-7.0', 'hundredths': -700}),
('normal control 4',
[{'first_downs': 7,
'fum': 3,
'fum_lost': 2,
'int': 2,
'pass_td': 4,
'pass_yds': 299,
'rec': 4,
'rec_td': 1,
'rec_yds': 51,
'rush_td': 1,
'rush_yds': 158,
'two_pt': 1},
'half', 'TE'],
{'display': '61.8', 'hundredths': 6175})],
[('regression: negative yardage truncation',
[{'first_downs': 5,
'fum': 2,
'fum_lost': 1,
'int': 1,
'pass_td': 0,
'pass_yds': 8,
'rec': 0,
'rec_td': 0,
'rec_yds': 0,
'rush_td': 0,
'rush_yds': -8,
'two_pt': 0},
'std', 'RB'],
{'display': '-2.8', 'hundredths': -275}),
('partial repair probe: negative yardage truncation',
[{'first_downs': 3,
'fum': 0,
'fum_lost': 0,
'int': 0,
'pass_td': 0,
'pass_yds': 64,
'rec': 11,
'rec_td': 0,
'rec_yds': 7,
'rush_td': 0,
'rush_yds': -10,
'two_pt': 0},
'half', 'TE'],
{'display': '12.8', 'hundredths': 1275}),
('second regression',
[{'first_downs': 7,
'fum': 3,
'fum_lost': 2,
'int': 0,
'pass_td': 1,
'pass_yds': -3,
'rec': 3,
'rec_td': 2,
'rec_yds': 7,
'rush_td': 1,
'rush_yds': 99,
'two_pt': 0},
'ppr', 'WR'],
{'display': '31.8', 'hundredths': 3175}),
('normal control 1',
[{'first_downs': 8,
'fum': 2,
'fum_lost': 1,
'int': 2,
'pass_td': 0,
'pass_yds': 21,
'rec': 0,
'rec_td': 0,
'rec_yds': 0,
'rush_td': 0,
'rush_yds': 1,
'two_pt': 0},
'ppr', 'TE'],
{'display': '-4.0', 'hundredths': -400}),
('normal control 2',
[{'first_downs': 4,
'fum': 3,
'fum_lost': 1,
'int': 2,
'pass_td': 3,
'pass_yds': 331,
'rec': 0,
'rec_td': 0,
'rec_yds': 20,
'rush_td': 1,
'rush_yds': 0,
'two_pt': 0},
'ppr', 'TE'],
{'display': '31.0', 'hundredths': 3100}),
('normal control 3',
[{'first_downs': 2,
'fum': 2,
'fum_lost': 2,
'int': 3,
'pass_td': 2,
'pass_yds': 52,
'rec': 4,
'rec_td': 0,
'rec_yds': 99,
'rush_td': 1,
'rush_yds': 100,
'two_pt': 0},
'half', 'QB'],
{'display': '30.5', 'hundredths': 3050}),
('normal control 4',
[{'first_downs': 5,
'fum': 1,
'fum_lost': 0,
'int': 1,
'pass_td': 0,
'pass_yds': 85,
'rec': 5,
'rec_td': 0,
'rec_yds': 19,
'rush_td': 0,
'rush_yds': 47,
'two_pt': 0},
'half', 'WR'],
{'display': '9.8', 'hundredths': 975})]]
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: negative yardage truncation | {'display': '16.3', 'hundredths': 1625} | {'display': '17.3', 'hundredths': 1725} | Failed |
| partial repair probe: negative yardage truncation | {'display': '35.8', 'hundredths': 3575} | {'display': '35.8', 'hundredths': 3575} | Passed |
| second regression | {'display': '-6.0', 'hundredths': -600} | {'display': '-5.0', 'hundredths': -500} | Failed |
| normal control 1 | {'display': '63.0', 'hundredths': 6300} | {'display': '63.0', 'hundredths': 6300} | Passed |
| normal control 2 | {'display': '55.3', 'hundredths': 5525} | {'display': '55.3', 'hundredths': 5525} | Passed |
| normal control 3 | {'display': '45.8', 'hundredths': 4575} | {'display': '45.8', 'hundredths': 4575} | Passed |
| normal control 4 | {'display': '51.8', 'hundredths': 5175} | {'display': '51.8', 'hundredths': 5175} | Passed |
SHA-256 / 3e7646fd3b4a336b2e11f5da9a7ed46fc3e67291736e10f3c58af38674062d77
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(stats, fmt, pos):
def unit(y, per):
return abs(y) // per
rec_val = {'std': 0, 'half': 50, 'ppr': 100}[fmt]
if pos == 'TE':
rec_val += 50
pts = 0
pts += unit(stats['pass_yds'], 25) * 100
pts += stats['pass_td'] * 400
pts -= stats['int'] * 200
pts += unit(stats['rush_yds'], 10) * 100
pts += stats['rush_td'] * 600
pts += stats['rec'] * rec_val
pts += unit(stats['rec_yds'], 10) * 100
pts += stats['rec_td'] * 600
pts -= stats['fum_lost'] * 200
pts += stats['two_pt'] * 200
pts += stats['first_downs'] * 25
if stats['pass_yds'] >= 300:
pts += 300
if stats['rush_yds'] >= 100:
pts += 300
if stats['rec_yds'] >= 100:
pts += 300
t = (abs(pts) + 5) // 10
sign = '-' if pts < 0 and t else ''
return {'hundredths': pts, 'display': '%s%d.%d' % (sign, t // 10, t % 10)}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: negative yardage truncation',
[{'first_downs': 1,
'fum': 1,
'fum_lost': 0,
'int': 3,
'pass_td': 1,
'pass_yds': 288,
'rec': 7,
'rec_td': 0,
'rec_yds': 20,
'rush_td': 1,
'rush_yds': -7,
'two_pt': 0},
'std', 'QB'],
{'display': '17.3', 'hundredths': 1725}),
('partial repair probe: negative yardage truncation',
[{'first_downs': 7,
'fum': 0,
'fum_lost': 0,
'int': 0,
'pass_td': 0,
'pass_yds': 235,
'rec': 2,
'rec_td': 2,
'rec_yds': 4,
'rush_td': 2,
'rush_yds': -10,
'two_pt': 1},
'std', 'QB'],
{'display': '35.8', 'hundredths': 3575}),
('second regression',
[{'first_downs': 4,
'fum': 2,
'fum_lost': 2,
'int': 1,
'pass_td': 0,
'pass_yds': 6,
'rec': 0,
'rec_td': 0,
'rec_yds': 0,
'rush_td': 0,
'rush_yds': -4,
'two_pt': 0},
'ppr', 'WR'],
{'display': '-5.0', 'hundredths': -500}),
('normal control 1',
[{'first_downs': 4,
'fum': 1,
'fum_lost': 0,
'int': 2,
'pass_td': 2,
'pass_yds': 311,
'rec': 7,
'rec_td': 2,
'rec_yds': 140,
'rush_td': 1,
'rush_yds': 64,
'two_pt': 1},
'std', 'RB'],
{'display': '63.0', 'hundredths': 6300}),
('normal control 2',
[{'first_downs': 1,
'fum': 3,
'fum_lost': 0,
'int': 3,
'pass_td': 2,
'pass_yds': 239,
'rec': 2,
'rec_td': 2,
'rec_yds': 141,
'rush_td': 0,
'rush_yds': 107,
'two_pt': 1},
'std', 'WR'],
{'display': '55.3', 'hundredths': 5525}),
('normal control 3',
[{'first_downs': 1,
'fum': 2,
'fum_lost': 2,
'int': 3,
'pass_td': 2,
'pass_yds': 347,
'rec': 11,
'rec_td': 1,
'rec_yds': 19,
'rush_td': 1,
'rush_yds': 108,
'two_pt': 0},
'half', 'RB'],
{'display': '45.8', 'hundredths': 4575}),
('normal control 4',
[{'first_downs': 1,
'fum': 3,
'fum_lost': 3,
'int': 1,
'pass_td': 3,
'pass_yds': 46,
'rec': 1,
'rec_td': 2,
'rec_yds': 110,
'rush_td': 1,
'rush_yds': 118,
'two_pt': 0},
'std', 'TE'],
{'display': '51.8', 'hundredths': 5175})],
[('regression: negative yardage truncation',
[{'first_downs': 1,
'fum': 2,
'fum_lost': 1,
'int': 3,
'pass_td': 3,
'pass_yds': -3,
'rec': 1,
'rec_td': 1,
'rec_yds': 7,
'rush_td': 0,
'rush_yds': 100,
'two_pt': 0},
'std', 'RB'],
{'display': '23.3', 'hundredths': 2325}),
('partial repair probe: negative yardage truncation',
[{'first_downs': 3,
'fum': 2,
'fum_lost': 2,
'int': 2,
'pass_td': 4,
'pass_yds': -3,
'rec': 3,
'rec_td': 1,
'rec_yds': 99,
'rush_td': 1,
'rush_yds': -10,
'two_pt': 1},
'half', 'WR'],
{'display': '32.3', 'hundredths': 3225}),
('second regression',
[{'first_downs': 3,
'fum': 2,
'fum_lost': 0,
'int': 1,
'pass_td': 0,
'pass_yds': 86,
'rec': 10,
'rec_td': 1,
'rec_yds': 19,
'rush_td': 1,
'rush_yds': -7,
'two_pt': 1},
'half', 'WR'],
{'display': '21.8', 'hundredths': 2175}),
('normal control 1',
[{'first_downs': 5,
'fum': 0,
'fum_lost': 0,
'int': 0,
'pass_td': 2,
'pass_yds': 107,
'rec': 4,
'rec_td': 1,
'rec_yds': 99,
'rush_td': 1,
'rush_yds': 106,
'two_pt': 1},
'std', 'WR'],
{'display': '49.3', 'hundredths': 4925}),
('normal control 2',
[{'first_downs': 9,
'fum': 2,
'fum_lost': 2,
'int': 0,
'pass_td': 0,
'pass_yds': 20,
'rec': 0,
'rec_td': 0,
'rec_yds': 0,
'rush_td': 0,
'rush_yds': 9,
'two_pt': 0},
'std', 'WR'],
{'display': '-1.8', 'hundredths': -175}),
('normal control 3',
[{'first_downs': 9,
'fum': 1,
'fum_lost': 1,
'int': 1,
'pass_td': 0,
'pass_yds': 198,
'rec': 7,
'rec_td': 1,
'rec_yds': 20,
'rush_td': 1,
'rush_yds': 51,
'two_pt': 1},
'std', 'WR'],
{'display': '26.3', 'hundredths': 2625}),
('normal control 4',
[{'first_downs': 7,
'fum': 3,
'fum_lost': 2,
'int': 1,
'pass_td': 4,
'pass_yds': 300,
'rec': 11,
'rec_td': 1,
'rec_yds': 114,
'rush_td': 1,
'rush_yds': 10,
'two_pt': 0},
'ppr', 'WR'],
{'display': '64.8', 'hundredths': 6475})],
[('regression: negative yardage truncation',
[{'first_downs': 9,
'fum': 2,
'fum_lost': 0,
'int': 2,
'pass_td': 3,
'pass_yds': -3,
'rec': 10,
'rec_td': 0,
'rec_yds': 86,
'rush_td': 2,
'rush_yds': 51,
'two_pt': 1},
'ppr', 'TE'],
{'display': '52.3', 'hundredths': 5225}),
('partial repair probe: negative yardage truncation',
[{'first_downs': 1,
'fum': 2,
'fum_lost': 1,
'int': 0,
'pass_td': 0,
'pass_yds': 15,
'rec': 0,
'rec_td': 0,
'rec_yds': 0,
'rush_td': 0,
'rush_yds': -14,
'two_pt': 0},
'std', 'TE'],
{'display': '-2.8', 'hundredths': -275}),
('second regression',
[{'first_downs': 4,
'fum': 1,
'fum_lost': 1,
'int': 1,
'pass_td': 3,
'pass_yds': 298,
'rec': 0,
'rec_td': 1,
'rec_yds': 99,
'rush_td': 1,
'rush_yds': -7,
'two_pt': 1},
'std', 'QB'],
{'display': '43.0', 'hundredths': 4300}),
('normal control 1',
[{'first_downs': 4,
'fum': 2,
'fum_lost': 2,
'int': 1,
'pass_td': 0,
'pass_yds': 325,
'rec': 10,
'rec_td': 1,
'rec_yds': 99,
'rush_td': 0,
'rush_yds': 159,
'two_pt': 0},
'ppr', 'QB'],
{'display': '54.0', 'hundredths': 5400}),
('normal control 2',
[{'first_downs': 3,
'fum': 1,
'fum_lost': 1,
'int': 2,
'pass_td': 2,
'pass_yds': 63,
'rec': 0,
'rec_td': 0,
'rec_yds': 60,
'rush_td': 2,
'rush_yds': 146,
'two_pt': 1},
'ppr', 'WR'],
{'display': '41.8', 'hundredths': 4175}),
('normal control 3',
[{'first_downs': 3,
'fum': 2,
'fum_lost': 1,
'int': 3,
'pass_td': 0,
'pass_yds': 2,
'rec': 0,
'rec_td': 0,
'rec_yds': 0,
'rush_td': 0,
'rush_yds': 0,
'two_pt': 0},
'ppr', 'RB'],
{'display': '-7.3', 'hundredths': -725}),
('normal control 4',
[{'first_downs': 3,
'fum': 1,
'fum_lost': 0,
'int': 1,
'pass_td': 0,
'pass_yds': 325,
'rec': 10,
'rec_td': 2,
'rec_yds': 84,
'rush_td': 0,
'rush_yds': 35,
'two_pt': 1},
'std', 'TE'],
{'display': '44.8', 'hundredths': 4475})],
[('regression: negative yardage truncation',
[{'first_downs': 9,
'fum': 2,
'fum_lost': 2,
'int': 1,
'pass_td': 0,
'pass_yds': 16,
'rec': 0,
'rec_td': 0,
'rec_yds': 0,
'rush_td': 0,
'rush_yds': -7,
'two_pt': 0},
'half', 'QB'],
{'display': '-3.8', 'hundredths': -375}),
('partial repair probe: negative yardage truncation',
[{'first_downs': 9,
'fum': 2,
'fum_lost': 0,
'int': 2,
'pass_td': 4,
'pass_yds': 57,
'rec': 10,
'rec_td': 1,
'rec_yds': 45,
'rush_td': 0,
'rush_yds': -10,
'two_pt': 0},
'ppr', 'WR'],
{'display': '35.3', 'hundredths': 3525}),
('second regression',
[{'first_downs': 0,
'fum': 2,
'fum_lost': 1,
'int': 1,
'pass_td': 0,
'pass_yds': -10,
'rec': 0,
'rec_td': 0,
'rec_yds': 0,
'rush_td': 0,
'rush_yds': -7,
'two_pt': 0},
'std', 'WR'],
{'display': '-4.0', 'hundredths': -400}),
('normal control 1',
[{'first_downs': 8,
'fum': 1,
'fum_lost': 1,
'int': 2,
'pass_td': 3,
'pass_yds': 228,
'rec': 4,
'rec_td': 1,
'rec_yds': 106,
'rush_td': 2,
'rush_yds': 77,
'two_pt': 1},
'half', 'QB'],
{'display': '59.0', 'hundredths': 5900}),
('normal control 2',
[{'first_downs': 9,
'fum': 1,
'fum_lost': 1,
'int': 3,
'pass_td': 3,
'pass_yds': 25,
'rec': 9,
'rec_td': 2,
'rec_yds': 99,
'rush_td': 0,
'rush_yds': 139,
'two_pt': 0},
'ppr', 'TE'],
{'display': '57.8', 'hundredths': 5775}),
('normal control 3',
[{'first_downs': 0,
'fum': 2,
'fum_lost': 2,
'int': 2,
'pass_td': 0,
'pass_yds': 37,
'rec': 0,
'rec_td': 0,
'rec_yds': 0,
'rush_td': 0,
'rush_yds': 2,
'two_pt': 0},
'std', 'RB'],
{'display': '-7.0', 'hundredths': -700}),
('normal control 4',
[{'first_downs': 7,
'fum': 3,
'fum_lost': 2,
'int': 2,
'pass_td': 4,
'pass_yds': 299,
'rec': 4,
'rec_td': 1,
'rec_yds': 51,
'rush_td': 1,
'rush_yds': 158,
'two_pt': 1},
'half', 'TE'],
{'display': '61.8', 'hundredths': 6175})],
[('regression: negative yardage truncation',
[{'first_downs': 5,
'fum': 2,
'fum_lost': 1,
'int': 1,
'pass_td': 0,
'pass_yds': 8,
'rec': 0,
'rec_td': 0,
'rec_yds': 0,
'rush_td': 0,
'rush_yds': -8,
'two_pt': 0},
'std', 'RB'],
{'display': '-2.8', 'hundredths': -275}),
('partial repair probe: negative yardage truncation',
[{'first_downs': 3,
'fum': 0,
'fum_lost': 0,
'int': 0,
'pass_td': 0,
'pass_yds': 64,
'rec': 11,
'rec_td': 0,
'rec_yds': 7,
'rush_td': 0,
'rush_yds': -10,
'two_pt': 0},
'half', 'TE'],
{'display': '12.8', 'hundredths': 1275}),
('second regression',
[{'first_downs': 7,
'fum': 3,
'fum_lost': 2,
'int': 0,
'pass_td': 1,
'pass_yds': -3,
'rec': 3,
'rec_td': 2,
'rec_yds': 7,
'rush_td': 1,
'rush_yds': 99,
'two_pt': 0},
'ppr', 'WR'],
{'display': '31.8', 'hundredths': 3175}),
('normal control 1',
[{'first_downs': 8,
'fum': 2,
'fum_lost': 1,
'int': 2,
'pass_td': 0,
'pass_yds': 21,
'rec': 0,
'rec_td': 0,
'rec_yds': 0,
'rush_td': 0,
'rush_yds': 1,
'two_pt': 0},
'ppr', 'TE'],
{'display': '-4.0', 'hundredths': -400}),
('normal control 2',
[{'first_downs': 4,
'fum': 3,
'fum_lost': 1,
'int': 2,
'pass_td': 3,
'pass_yds': 331,
'rec': 0,
'rec_td': 0,
'rec_yds': 20,
'rush_td': 1,
'rush_yds': 0,
'two_pt': 0},
'ppr', 'TE'],
{'display': '31.0', 'hundredths': 3100}),
('normal control 3',
[{'first_downs': 2,
'fum': 2,
'fum_lost': 2,
'int': 3,
'pass_td': 2,
'pass_yds': 52,
'rec': 4,
'rec_td': 0,
'rec_yds': 99,
'rush_td': 1,
'rush_yds': 100,
'two_pt': 0},
'half', 'QB'],
{'display': '30.5', 'hundredths': 3050}),
('normal control 4',
[{'first_downs': 5,
'fum': 1,
'fum_lost': 0,
'int': 1,
'pass_td': 0,
'pass_yds': 85,
'rec': 5,
'rec_td': 0,
'rec_yds': 19,
'rush_td': 0,
'rush_yds': 47,
'two_pt': 0},
'half', 'WR'],
{'display': '9.8', 'hundredths': 975})]]
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: negative yardage truncation | {'display': '17.3', 'hundredths': 1725} | {'display': '17.3', 'hundredths': 1725} | Passed |
| partial repair probe: negative yardage truncation | {'display': '37.8', 'hundredths': 3775} | {'display': '35.8', 'hundredths': 3575} | Failed |
| second regression | {'display': '-5.0', 'hundredths': -500} | {'display': '-5.0', 'hundredths': -500} | Passed |
| normal control 1 | {'display': '63.0', 'hundredths': 6300} | {'display': '63.0', 'hundredths': 6300} | Passed |
| normal control 2 | {'display': '55.3', 'hundredths': 5525} | {'display': '55.3', 'hundredths': 5525} | Passed |
| normal control 3 | {'display': '45.8', 'hundredths': 4575} | {'display': '45.8', 'hundredths': 4575} | Passed |
| normal control 4 | {'display': '51.8', 'hundredths': 5175} | {'display': '51.8', 'hundredths': 5175} | Passed |
SHA-256 / a8e74a2528832abebfa4e894ce55ad6c686e16c4ed6f1c48150a0a8c04c26be0
HELD IN THE MEMBER ARCHIVE
The verified repair and its recorded checks are member-only.
This mechanism has 7 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.
Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.
Member access is invitation-based. Sign in with your invited account to inspect the repair.
Sign in to the archive ↗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:34.769707+00:00.
Case digest / 338ac109880da4395a8666b47851f346ffde493133e6f680efddb8381005c77e