FA-84921 / Fantasy sports scoring / Open access
Made field goal bands exclude their upper edge · case 01
A 39-yard make earns 4 points and a 49-yard make earns 5.
ROOT CAUSE
The band tests use strict less-than against inclusive band maxima.
THE FAILURE
The band tests use strict less-than against inclusive band maxima.
Unsuccessful approach: Fixing only the 39-yard edge leaves 49-yard kicks in the 50+ band.
Case contract
Score a kicker. Kick distance is the line-of-scrimmage yardline plus 17 (10 yards of end zone and a 7-yard hold). Made FG: <=39 yards 3, 40-49 4, 50+ 5. Missed FG: <=39 -2, 40-49 -1, 50+ 0. Blocked FG and blocked PAT score 0. PAT made +1, missed -1. Return [points, longest made FG distance or 0].
Why this case matters
Kicker distance bands and miss penalties are a classic source of scoring disputes.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(kicks):
pts = 0
longest = 0
for k in kicks:
if k['type'] == 'pat':
if k['result'] == 'made':
pts += 1
elif k['result'] == 'missed':
pts -= 1
continue
dist = k['yardline'] + 17
if k['result'] == 'made':
pts += 3 if dist < 39 else 4 if dist < 49 else 5
longest = max(longest, dist)
elif k['result'] == 'missed':
pts += -2 if dist <= 39 else -1 if dist <= 49 else 0
return [pts, longest]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: made distance bands',
[[{'result': 'made', 'type': 'pat', 'yardline': 15}, {'result': 'made', 'type': 'fg', 'yardline': 22},
{'result': 'made', 'type': 'fg', 'yardline': 23}, {'result': 'missed', 'type': 'fg', 'yardline': 34}]],
[8, 40]),
('partial repair probe: made distance bands',
[[{'result': 'blocked', 'type': 'fg', 'yardline': 30}, {'result': 'missed', 'type': 'pat', 'yardline': 15},
{'result': 'made', 'type': 'pat', 'yardline': 15}, {'result': 'made', 'type': 'fg', 'yardline': 32},
{'result': 'made', 'type': 'pat', 'yardline': 15}, {'result': 'made', 'type': 'pat', 'yardline': 15}]],
[6, 49]),
('second regression',
[[{'result': 'made', 'type': 'fg', 'yardline': 22}, {'result': 'made', 'type': 'fg', 'yardline': 34},
{'result': 'blocked', 'type': 'fg', 'yardline': 22}, {'result': 'made', 'type': 'pat', 'yardline': 15},
{'result': 'missed', 'type': 'fg', 'yardline': 45}, {'result': 'made', 'type': 'fg', 'yardline': 18}]],
[12, 51]),
('normal control 1',
[[{'result': 'blocked', 'type': 'pat', 'yardline': 15}, {'result': 'made', 'type': 'fg', 'yardline': 34},
{'result': 'made', 'type': 'fg', 'yardline': 34}, {'result': 'blocked', 'type': 'fg', 'yardline': 34},
{'result': 'made', 'type': 'fg', 'yardline': 34}]],
[15, 51]),
('normal control 2',
[[{'result': 'made', 'type': 'fg', 'yardline': 23}, {'result': 'made', 'type': 'fg', 'yardline': 23}]],
[8, 40]),
('normal control 3',
[[{'result': 'made', 'type': 'fg', 'yardline': 33}, {'result': 'missed', 'type': 'fg', 'yardline': 22},
{'result': 'missed', 'type': 'fg', 'yardline': 34},
{'result': 'missed', 'type': 'fg', 'yardline': 32}]],
[2, 50]),
('normal control 4',
[[{'result': 'blocked', 'type': 'fg', 'yardline': 34}, {'result': 'made', 'type': 'pat', 'yardline': 15},
{'result': 'made', 'type': 'pat', 'yardline': 15}, {'result': 'made', 'type': 'fg', 'yardline': 33},
{'result': 'blocked', 'type': 'fg', 'yardline': 22},
{'result': 'missed', 'type': 'fg', 'yardline': 22}]],
[5, 50])],
[('regression: made distance bands',
[[{'result': 'blocked', 'type': 'pat', 'yardline': 15}, {'result': 'made', 'type': 'fg', 'yardline': 22}]],
[3, 39]),
('partial repair probe: made distance bands', [[{'result': 'made', 'type': 'fg', 'yardline': 32}]],
[4, 49]),
('second regression',
[[{'result': 'made', 'type': 'fg', 'yardline': 23}, {'result': 'made', 'type': 'pat', 'yardline': 15},
{'result': 'made', 'type': 'fg', 'yardline': 23}, {'result': 'made', 'type': 'pat', 'yardline': 15},
{'result': 'made', 'type': 'fg', 'yardline': 22}]],
[13, 40]),
('normal control 1',
[[{'result': 'missed', 'type': 'fg', 'yardline': 32}, {'result': 'made', 'type': 'fg', 'yardline': 39}]],
[4, 56]),
('normal control 2',
[[{'result': 'blocked', 'type': 'fg', 'yardline': 22}, {'result': 'made', 'type': 'fg', 'yardline': 23},
{'result': 'made', 'type': 'pat', 'yardline': 15}, {'result': 'blocked', 'type': 'pat', 'yardline': 15},
{'result': 'missed', 'type': 'pat', 'yardline': 15},
{'result': 'made', 'type': 'pat', 'yardline': 15}]],
[5, 40]),
('normal control 3', [[{'result': 'made', 'type': 'fg', 'yardline': 34}]], [5, 51]),
('normal control 4',
[[{'result': 'made', 'type': 'pat', 'yardline': 15}, {'result': 'missed', 'type': 'fg', 'yardline': 23},
{'result': 'made', 'type': 'pat', 'yardline': 15},
{'result': 'blocked', 'type': 'pat', 'yardline': 15}]],
[1, 0])],
[('regression: made distance bands',
[[{'result': 'missed', 'type': 'pat', 'yardline': 15}, {'result': 'blocked', 'type': 'fg', 'yardline': 33},
{'result': 'made', 'type': 'fg', 'yardline': 22}, {'result': 'blocked', 'type': 'fg', 'yardline': 34}]],
[2, 39]),
('partial repair probe: made distance bands',
[[{'result': 'made', 'type': 'fg', 'yardline': 32}, {'result': 'blocked', 'type': 'fg', 'yardline': 22},
{'result': 'made', 'type': 'fg', 'yardline': 32}]],
[8, 49]),
('second regression', [[{'result': 'made', 'type': 'fg', 'yardline': 32}]], [4, 49]),
('normal control 1',
[[{'result': 'made', 'type': 'pat', 'yardline': 15}, {'result': 'blocked', 'type': 'fg', 'yardline': 33},
{'result': 'missed', 'type': 'fg', 'yardline': 23}, {'result': 'made', 'type': 'pat', 'yardline': 15}]],
[1, 0]),
('normal control 2',
[[{'result': 'blocked', 'type': 'fg', 'yardline': 22}, {'result': 'missed', 'type': 'fg', 'yardline': 34},
{'result': 'blocked', 'type': 'fg', 'yardline': 33}, {'result': 'blocked', 'type': 'fg', 'yardline': 32},
{'result': 'made', 'type': 'pat', 'yardline': 15}]],
[1, 0]),
('normal control 3',
[[{'result': 'made', 'type': 'pat', 'yardline': 15},
{'result': 'blocked', 'type': 'pat', 'yardline': 15}]],
[1, 0]),
('normal control 4', [[{'result': 'made', 'type': 'pat', 'yardline': 15}]], [1, 0])],
[('regression: made distance bands',
[[{'result': 'blocked', 'type': 'fg', 'yardline': 34}, {'result': 'made', 'type': 'fg', 'yardline': 32},
{'result': 'made', 'type': 'fg', 'yardline': 33}]],
[9, 50]),
('partial repair probe: made distance bands',
[[{'result': 'made', 'type': 'fg', 'yardline': 32}, {'result': 'made', 'type': 'pat', 'yardline': 15},
{'result': 'missed', 'type': 'fg', 'yardline': 34},
{'result': 'missed', 'type': 'fg', 'yardline': 28}]],
[4, 49]),
('second regression',
[[{'result': 'missed', 'type': 'fg', 'yardline': 22}, {'result': 'missed', 'type': 'pat', 'yardline': 15},
{'result': 'made', 'type': 'fg', 'yardline': 22}]],
[0, 39]),
('normal control 1',
[[{'result': 'missed', 'type': 'fg', 'yardline': 33}, {'result': 'made', 'type': 'pat', 'yardline': 15},
{'result': 'missed', 'type': 'pat', 'yardline': 15},
{'result': 'missed', 'type': 'pat', 'yardline': 15}]],
[-1, 0]),
('normal control 2',
[[{'result': 'made', 'type': 'pat', 'yardline': 15}, {'result': 'missed', 'type': 'fg', 'yardline': 34},
{'result': 'made', 'type': 'fg', 'yardline': 33}, {'result': 'made', 'type': 'pat', 'yardline': 15}]],
[7, 50]),
('normal control 3',
[[{'result': 'made', 'type': 'fg', 'yardline': 33}, {'result': 'blocked', 'type': 'fg', 'yardline': 34}]],
[5, 50]),
('normal control 4',
[[{'result': 'blocked', 'type': 'fg', 'yardline': 32},
{'result': 'missed', 'type': 'fg', 'yardline': 32}]],
[-1, 0])],
[('regression: made distance bands',
[[{'result': 'missed', 'type': 'fg', 'yardline': 22}, {'result': 'made', 'type': 'fg', 'yardline': 33},
{'result': 'missed', 'type': 'pat', 'yardline': 15}, {'result': 'made', 'type': 'fg', 'yardline': 32}]],
[6, 50]),
('partial repair probe: made distance bands',
[[{'result': 'missed', 'type': 'pat', 'yardline': 15}, {'result': 'made', 'type': 'pat', 'yardline': 15},
{'result': 'made', 'type': 'fg', 'yardline': 32}]],
[4, 49]),
('second regression',
[[{'result': 'missed', 'type': 'pat', 'yardline': 15}, {'result': 'made', 'type': 'fg', 'yardline': 33},
{'result': 'made', 'type': 'fg', 'yardline': 33}, {'result': 'missed', 'type': 'fg', 'yardline': 22},
{'result': 'made', 'type': 'fg', 'yardline': 32}]],
[11, 50]),
('normal control 1', [[{'result': 'blocked', 'type': 'pat', 'yardline': 15}]], [0, 0]),
('normal control 2',
[[{'result': 'made', 'type': 'pat', 'yardline': 15}, {'result': 'missed', 'type': 'fg', 'yardline': 14},
{'result': 'missed', 'type': 'fg', 'yardline': 23}]],
[-2, 0]),
('normal control 3',
[[{'result': 'blocked', 'type': 'fg', 'yardline': 32}, {'result': 'made', 'type': 'fg', 'yardline': 33}]],
[5, 50]),
('normal control 4',
[[{'result': 'blocked', 'type': 'fg', 'yardline': 33}, {'result': 'made', 'type': 'fg', 'yardline': 15}]],
[3, 32])]]
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: made distance bands | [9, 40] | [8, 40] | Failed |
| partial repair probe: made distance bands | [7, 49] | [6, 49] | Failed |
| second regression | [13, 51] | [12, 51] | Failed |
| normal control 1 | [15, 51] | [15, 51] | Passed |
| normal control 2 | [8, 40] | [8, 40] | Passed |
| normal control 3 | [2, 50] | [2, 50] | Passed |
| normal control 4 | [5, 50] | [5, 50] | Passed |
SHA-256 / f39f80acc8265b9cfcf22927daa7e2420e9738b510b0b3560512939b62ad89bf
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(kicks):
pts = 0
longest = 0
for k in kicks:
if k['type'] == 'pat':
if k['result'] == 'made':
pts += 1
elif k['result'] == 'missed':
pts -= 1
continue
dist = k['yardline'] + 17
if k['result'] == 'made':
pts += 3 if dist <= 39 else 4 if dist < 49 else 5
longest = max(longest, dist)
elif k['result'] == 'missed':
pts += -2 if dist <= 39 else -1 if dist <= 49 else 0
return [pts, longest]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: made distance bands',
[[{'result': 'made', 'type': 'pat', 'yardline': 15}, {'result': 'made', 'type': 'fg', 'yardline': 22},
{'result': 'made', 'type': 'fg', 'yardline': 23}, {'result': 'missed', 'type': 'fg', 'yardline': 34}]],
[8, 40]),
('partial repair probe: made distance bands',
[[{'result': 'blocked', 'type': 'fg', 'yardline': 30}, {'result': 'missed', 'type': 'pat', 'yardline': 15},
{'result': 'made', 'type': 'pat', 'yardline': 15}, {'result': 'made', 'type': 'fg', 'yardline': 32},
{'result': 'made', 'type': 'pat', 'yardline': 15}, {'result': 'made', 'type': 'pat', 'yardline': 15}]],
[6, 49]),
('second regression',
[[{'result': 'made', 'type': 'fg', 'yardline': 22}, {'result': 'made', 'type': 'fg', 'yardline': 34},
{'result': 'blocked', 'type': 'fg', 'yardline': 22}, {'result': 'made', 'type': 'pat', 'yardline': 15},
{'result': 'missed', 'type': 'fg', 'yardline': 45}, {'result': 'made', 'type': 'fg', 'yardline': 18}]],
[12, 51]),
('normal control 1',
[[{'result': 'blocked', 'type': 'pat', 'yardline': 15}, {'result': 'made', 'type': 'fg', 'yardline': 34},
{'result': 'made', 'type': 'fg', 'yardline': 34}, {'result': 'blocked', 'type': 'fg', 'yardline': 34},
{'result': 'made', 'type': 'fg', 'yardline': 34}]],
[15, 51]),
('normal control 2',
[[{'result': 'made', 'type': 'fg', 'yardline': 23}, {'result': 'made', 'type': 'fg', 'yardline': 23}]],
[8, 40]),
('normal control 3',
[[{'result': 'made', 'type': 'fg', 'yardline': 33}, {'result': 'missed', 'type': 'fg', 'yardline': 22},
{'result': 'missed', 'type': 'fg', 'yardline': 34},
{'result': 'missed', 'type': 'fg', 'yardline': 32}]],
[2, 50]),
('normal control 4',
[[{'result': 'blocked', 'type': 'fg', 'yardline': 34}, {'result': 'made', 'type': 'pat', 'yardline': 15},
{'result': 'made', 'type': 'pat', 'yardline': 15}, {'result': 'made', 'type': 'fg', 'yardline': 33},
{'result': 'blocked', 'type': 'fg', 'yardline': 22},
{'result': 'missed', 'type': 'fg', 'yardline': 22}]],
[5, 50])],
[('regression: made distance bands',
[[{'result': 'blocked', 'type': 'pat', 'yardline': 15}, {'result': 'made', 'type': 'fg', 'yardline': 22}]],
[3, 39]),
('partial repair probe: made distance bands', [[{'result': 'made', 'type': 'fg', 'yardline': 32}]],
[4, 49]),
('second regression',
[[{'result': 'made', 'type': 'fg', 'yardline': 23}, {'result': 'made', 'type': 'pat', 'yardline': 15},
{'result': 'made', 'type': 'fg', 'yardline': 23}, {'result': 'made', 'type': 'pat', 'yardline': 15},
{'result': 'made', 'type': 'fg', 'yardline': 22}]],
[13, 40]),
('normal control 1',
[[{'result': 'missed', 'type': 'fg', 'yardline': 32}, {'result': 'made', 'type': 'fg', 'yardline': 39}]],
[4, 56]),
('normal control 2',
[[{'result': 'blocked', 'type': 'fg', 'yardline': 22}, {'result': 'made', 'type': 'fg', 'yardline': 23},
{'result': 'made', 'type': 'pat', 'yardline': 15}, {'result': 'blocked', 'type': 'pat', 'yardline': 15},
{'result': 'missed', 'type': 'pat', 'yardline': 15},
{'result': 'made', 'type': 'pat', 'yardline': 15}]],
[5, 40]),
('normal control 3', [[{'result': 'made', 'type': 'fg', 'yardline': 34}]], [5, 51]),
('normal control 4',
[[{'result': 'made', 'type': 'pat', 'yardline': 15}, {'result': 'missed', 'type': 'fg', 'yardline': 23},
{'result': 'made', 'type': 'pat', 'yardline': 15},
{'result': 'blocked', 'type': 'pat', 'yardline': 15}]],
[1, 0])],
[('regression: made distance bands',
[[{'result': 'missed', 'type': 'pat', 'yardline': 15}, {'result': 'blocked', 'type': 'fg', 'yardline': 33},
{'result': 'made', 'type': 'fg', 'yardline': 22}, {'result': 'blocked', 'type': 'fg', 'yardline': 34}]],
[2, 39]),
('partial repair probe: made distance bands',
[[{'result': 'made', 'type': 'fg', 'yardline': 32}, {'result': 'blocked', 'type': 'fg', 'yardline': 22},
{'result': 'made', 'type': 'fg', 'yardline': 32}]],
[8, 49]),
('second regression', [[{'result': 'made', 'type': 'fg', 'yardline': 32}]], [4, 49]),
('normal control 1',
[[{'result': 'made', 'type': 'pat', 'yardline': 15}, {'result': 'blocked', 'type': 'fg', 'yardline': 33},
{'result': 'missed', 'type': 'fg', 'yardline': 23}, {'result': 'made', 'type': 'pat', 'yardline': 15}]],
[1, 0]),
('normal control 2',
[[{'result': 'blocked', 'type': 'fg', 'yardline': 22}, {'result': 'missed', 'type': 'fg', 'yardline': 34},
{'result': 'blocked', 'type': 'fg', 'yardline': 33}, {'result': 'blocked', 'type': 'fg', 'yardline': 32},
{'result': 'made', 'type': 'pat', 'yardline': 15}]],
[1, 0]),
('normal control 3',
[[{'result': 'made', 'type': 'pat', 'yardline': 15},
{'result': 'blocked', 'type': 'pat', 'yardline': 15}]],
[1, 0]),
('normal control 4', [[{'result': 'made', 'type': 'pat', 'yardline': 15}]], [1, 0])],
[('regression: made distance bands',
[[{'result': 'blocked', 'type': 'fg', 'yardline': 34}, {'result': 'made', 'type': 'fg', 'yardline': 32},
{'result': 'made', 'type': 'fg', 'yardline': 33}]],
[9, 50]),
('partial repair probe: made distance bands',
[[{'result': 'made', 'type': 'fg', 'yardline': 32}, {'result': 'made', 'type': 'pat', 'yardline': 15},
{'result': 'missed', 'type': 'fg', 'yardline': 34},
{'result': 'missed', 'type': 'fg', 'yardline': 28}]],
[4, 49]),
('second regression',
[[{'result': 'missed', 'type': 'fg', 'yardline': 22}, {'result': 'missed', 'type': 'pat', 'yardline': 15},
{'result': 'made', 'type': 'fg', 'yardline': 22}]],
[0, 39]),
('normal control 1',
[[{'result': 'missed', 'type': 'fg', 'yardline': 33}, {'result': 'made', 'type': 'pat', 'yardline': 15},
{'result': 'missed', 'type': 'pat', 'yardline': 15},
{'result': 'missed', 'type': 'pat', 'yardline': 15}]],
[-1, 0]),
('normal control 2',
[[{'result': 'made', 'type': 'pat', 'yardline': 15}, {'result': 'missed', 'type': 'fg', 'yardline': 34},
{'result': 'made', 'type': 'fg', 'yardline': 33}, {'result': 'made', 'type': 'pat', 'yardline': 15}]],
[7, 50]),
('normal control 3',
[[{'result': 'made', 'type': 'fg', 'yardline': 33}, {'result': 'blocked', 'type': 'fg', 'yardline': 34}]],
[5, 50]),
('normal control 4',
[[{'result': 'blocked', 'type': 'fg', 'yardline': 32},
{'result': 'missed', 'type': 'fg', 'yardline': 32}]],
[-1, 0])],
[('regression: made distance bands',
[[{'result': 'missed', 'type': 'fg', 'yardline': 22}, {'result': 'made', 'type': 'fg', 'yardline': 33},
{'result': 'missed', 'type': 'pat', 'yardline': 15}, {'result': 'made', 'type': 'fg', 'yardline': 32}]],
[6, 50]),
('partial repair probe: made distance bands',
[[{'result': 'missed', 'type': 'pat', 'yardline': 15}, {'result': 'made', 'type': 'pat', 'yardline': 15},
{'result': 'made', 'type': 'fg', 'yardline': 32}]],
[4, 49]),
('second regression',
[[{'result': 'missed', 'type': 'pat', 'yardline': 15}, {'result': 'made', 'type': 'fg', 'yardline': 33},
{'result': 'made', 'type': 'fg', 'yardline': 33}, {'result': 'missed', 'type': 'fg', 'yardline': 22},
{'result': 'made', 'type': 'fg', 'yardline': 32}]],
[11, 50]),
('normal control 1', [[{'result': 'blocked', 'type': 'pat', 'yardline': 15}]], [0, 0]),
('normal control 2',
[[{'result': 'made', 'type': 'pat', 'yardline': 15}, {'result': 'missed', 'type': 'fg', 'yardline': 14},
{'result': 'missed', 'type': 'fg', 'yardline': 23}]],
[-2, 0]),
('normal control 3',
[[{'result': 'blocked', 'type': 'fg', 'yardline': 32}, {'result': 'made', 'type': 'fg', 'yardline': 33}]],
[5, 50]),
('normal control 4',
[[{'result': 'blocked', 'type': 'fg', 'yardline': 33}, {'result': 'made', 'type': 'fg', 'yardline': 15}]],
[3, 32])]]
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: made distance bands | [8, 40] | [8, 40] | Passed |
| partial repair probe: made distance bands | [7, 49] | [6, 49] | Failed |
| second regression | [12, 51] | [12, 51] | Passed |
| normal control 1 | [15, 51] | [15, 51] | Passed |
| normal control 2 | [8, 40] | [8, 40] | Passed |
| normal control 3 | [2, 50] | [2, 50] | Passed |
| normal control 4 | [5, 50] | [5, 50] | Passed |
SHA-256 / 3120c33fb9cf15f59bca0411d987a2390db6d57f843d463c8a562d4b515681b5
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:35.695673+00:00.
Case digest / 5fdea98e8d2c3af592f4d2cdb7371ca3a0b0fd1517fc2b5253426d2dbab817d4