FA-84036 / Sports scoring and tiebreakers / Open access
Head-to-head compares goals instead of points · case 01
A team that lost a head-to-head match on points is ranked above its rival by goals.
ROOT CAUSE
The head-to-head accumulator adds goal difference instead of match points.
VERIFIED REPAIR
Accumulate head-to-head points (3/1/0).
Unsuccessful approach: Accumulating head-to-head goals scored still ignores the points criterion.
Case contract
Round-robin football table. results rows are [home, home_goals, away, away_goals]. A win is 3 points, a draw 1. Rank by points, then goal difference, then goals scored, then head-to-head points among the teams still level on all three (only matches between those teams), then team name. Return rows [team, played, points, goal_difference, goals_for].
Why this case matters
League tables drive promotion, relegation and seeding; the tiebreaker cascade order matters.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(results, teams):
table = {t: {'p': 0, 'pts': 0, 'gd': 0, 'gf': 0} for t in teams}
for h, hg, a, ag in results:
for team, f, g in ((h, hg, ag), (a, ag, hg)):
row = table[team]
row['p'] += 1
row['gf'] += f
row['gd'] += f - g
row['pts'] += 3 if f > g else (1 if f == g else 0)
def key3(t):
r = table[t]
return (r['pts'], r['gd'], r['gf'])
def h2h(t):
group = [u for u in teams if key3(u) == key3(t)]
pts = 0
for h, hg, a, ag in results:
if h in group and a in group and t in (h, a):
f, g = (hg, ag) if t == h else (ag, hg)
pts += f - g
return pts
order = sorted(teams, key=lambda t: (-key3(t)[0], -key3(t)[1], -key3(t)[2], -h2h(t), t))
return [[t, table[t]['p'], table[t]['pts'], table[t]['gd'], table[t]['gf']] for t in order]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
def run(args):
try:
return solve(*args)
except Exception as exc:
return 'raised ' + type(exc).__name__
cases = [[('control single win',
([['Ashby', 2, 'Brent', 0]], ['Ashby', 'Brent']),
[['Ashby', 1, 3, 2, 2], ['Brent', 1, 0, -2, 0]]),
('boundary draw',
([['Ashby', 1, 'Brent', 1]], ['Brent', 'Ashby']),
[['Ashby', 1, 1, 0, 1], ['Brent', 1, 1, 0, 1]]),
('boundary goals scored before name',
([['Ashby', 1, 'Corby', 1], ['Brent', 2, 'Corby', 2]], ['Ashby', 'Brent', 'Corby']),
[['Corby', 2, 2, 0, 3], ['Brent', 1, 1, 0, 2], ['Ashby', 1, 1, 0, 1]]),
('boundary head to head decides',
([['Brent', 2, 'Ashby', 1], ['Ashby', 2, 'Dover', 1], ['Corby', 2, 'Brent', 1]],
['Ashby', 'Brent', 'Corby', 'Dover']),
[['Corby', 1, 3, 1, 2], ['Brent', 2, 3, 0, 3], ['Ashby', 2, 3, 0, 3], ['Dover', 1, 0, -1, 1]]),
('control no matches', ([], ['Corby', 'Ashby']), [['Ashby', 0, 0, 0, 0], ['Corby', 0, 0, 0, 0]]),
('regression: head to head metric',
([['Epsom', 1, 'Brent', 1],
['Corby', 0, 'Epsom', 0],
['Corby', 1, 'Brent', 1],
['Brent', 1, 'Dover', 1],
['Ashby', 0, 'Brent', 1],
['Ashby', 0, 'Dover', 0]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Brent', 4, 6, 1, 4],
['Corby', 2, 2, 0, 1],
['Epsom', 2, 2, 0, 1],
['Dover', 2, 2, 0, 1],
['Ashby', 2, 1, -1, 0]]),
('variant scenario 1',
([['Brent', 0, 'Epsom', 0], ['Brent', 0, 'Epsom', 0], ['Ashby', 1, 'Epsom', 0]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Ashby', 1, 3, 1, 1],
['Brent', 2, 2, 0, 0],
['Epsom', 3, 2, -1, 0],
['Corby', 0, 0, 0, 0],
['Dover', 0, 0, 0, 0]]),
('variant scenario 2',
([['Epsom', 3, 'Ashby', 1],
['Brent', 0, 'Epsom', 1],
['Dover', 1, 'Epsom', 2],
['Dover', 2, 'Ashby', 1],
['Brent', 3, 'Ashby', 0],
['Ashby', 0, 'Brent', 1]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Epsom', 3, 9, 4, 6],
['Brent', 3, 6, 3, 4],
['Dover', 2, 3, 0, 3],
['Corby', 0, 0, 0, 0],
['Ashby', 4, 0, -7, 2]])],
[('control single win',
([['Ashby', 2, 'Brent', 0]], ['Ashby', 'Brent']),
[['Ashby', 1, 3, 2, 2], ['Brent', 1, 0, -2, 0]]),
('boundary draw',
([['Ashby', 1, 'Brent', 1]], ['Brent', 'Ashby']),
[['Ashby', 1, 1, 0, 1], ['Brent', 1, 1, 0, 1]]),
('boundary goals scored before name',
([['Ashby', 1, 'Corby', 1], ['Brent', 2, 'Corby', 2]], ['Ashby', 'Brent', 'Corby']),
[['Corby', 2, 2, 0, 3], ['Brent', 1, 1, 0, 2], ['Ashby', 1, 1, 0, 1]]),
('boundary head to head decides',
([['Brent', 2, 'Ashby', 1], ['Ashby', 2, 'Dover', 1], ['Corby', 2, 'Brent', 1]],
['Ashby', 'Brent', 'Corby', 'Dover']),
[['Corby', 1, 3, 1, 2], ['Brent', 2, 3, 0, 3], ['Ashby', 2, 3, 0, 3], ['Dover', 1, 0, -1, 1]]),
('control no matches', ([], ['Corby', 'Ashby']), [['Ashby', 0, 0, 0, 0], ['Corby', 0, 0, 0, 0]]),
('regression: head to head metric',
([['Brent', 1, 'Ashby', 1],
['Dover', 1, 'Epsom', 1],
['Corby', 0, 'Brent', 1],
['Corby', 1, 'Brent', 1]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Brent', 3, 5, 1, 3],
['Dover', 1, 1, 0, 1],
['Epsom', 1, 1, 0, 1],
['Ashby', 1, 1, 0, 1],
['Corby', 2, 1, -1, 1]]),
('regression: head to head metric',
([['Dover', 0, 'Epsom', 0], ['Brent', 0, 'Corby', 0], ['Epsom', 0, 'Ashby', 0]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Epsom', 2, 2, 0, 0],
['Brent', 1, 1, 0, 0],
['Corby', 1, 1, 0, 0],
['Ashby', 1, 1, 0, 0],
['Dover', 1, 1, 0, 0]]),
('variant scenario 1',
([['Corby', 1, 'Ashby', 0],
['Ashby', 0, 'Corby', 0],
['Brent', 0, 'Ashby', 0],
['Corby', 1, 'Brent', 1],
['Corby', 0, 'Brent', 1],
['Brent', 1, 'Corby', 0]],
['Ashby', 'Brent', 'Corby']),
[['Brent', 4, 8, 2, 3], ['Corby', 5, 5, -1, 2], ['Ashby', 3, 2, -1, 0]]),
('variant scenario 2',
([['Brent', 0, 'Corby', 1],
['Brent', 1, 'Ashby', 0],
['Brent', 1, 'Corby', 1],
['Corby', 0, 'Brent', 0]],
['Ashby', 'Brent', 'Corby']),
[['Corby', 3, 5, 1, 2], ['Brent', 4, 5, 0, 2], ['Ashby', 1, 0, -1, 0]])],
[('control single win',
([['Ashby', 2, 'Brent', 0]], ['Ashby', 'Brent']),
[['Ashby', 1, 3, 2, 2], ['Brent', 1, 0, -2, 0]]),
('boundary draw',
([['Ashby', 1, 'Brent', 1]], ['Brent', 'Ashby']),
[['Ashby', 1, 1, 0, 1], ['Brent', 1, 1, 0, 1]]),
('boundary goals scored before name',
([['Ashby', 1, 'Corby', 1], ['Brent', 2, 'Corby', 2]], ['Ashby', 'Brent', 'Corby']),
[['Corby', 2, 2, 0, 3], ['Brent', 1, 1, 0, 2], ['Ashby', 1, 1, 0, 1]]),
('boundary head to head decides',
([['Brent', 2, 'Ashby', 1], ['Ashby', 2, 'Dover', 1], ['Corby', 2, 'Brent', 1]],
['Ashby', 'Brent', 'Corby', 'Dover']),
[['Corby', 1, 3, 1, 2], ['Brent', 2, 3, 0, 3], ['Ashby', 2, 3, 0, 3], ['Dover', 1, 0, -1, 1]]),
('control no matches', ([], ['Corby', 'Ashby']), [['Ashby', 0, 0, 0, 0], ['Corby', 0, 0, 0, 0]]),
('regression: head to head metric',
([['Corby', 0, 'Ashby', 0], ['Epsom', 1, 'Dover', 0], ['Epsom', 0, 'Brent', 0]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Epsom', 2, 4, 1, 1],
['Ashby', 1, 1, 0, 0],
['Corby', 1, 1, 0, 0],
['Brent', 1, 1, 0, 0],
['Dover', 1, 0, -1, 0]]),
('variant scenario 1',
([['Brent', 2, 'Ashby', 1],
['Brent', 0, 'Ashby', 0],
['Corby', 1, 'Dover', 1],
['Dover', 0, 'Brent', 2],
['Dover', 0, 'Ashby', 0],
['Brent', 1, 'Corby', 1]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Brent', 4, 8, 3, 5],
['Corby', 2, 2, 0, 2],
['Ashby', 3, 2, -1, 1],
['Dover', 3, 2, -2, 1],
['Epsom', 0, 0, 0, 0]]),
('variant scenario 2',
([['Dover', 1, 'Ashby', 1],
['Corby', 0, 'Brent', 0],
['Ashby', 1, 'Dover', 1],
['Dover', 1, 'Brent', 1],
['Ashby', 0, 'Dover', 0]],
['Ashby', 'Brent', 'Corby', 'Dover']),
[['Dover', 4, 4, 0, 3], ['Ashby', 3, 3, 0, 2], ['Brent', 2, 2, 0, 1], ['Corby', 1, 1, 0, 0]])],
[('control single win',
([['Ashby', 2, 'Brent', 0]], ['Ashby', 'Brent']),
[['Ashby', 1, 3, 2, 2], ['Brent', 1, 0, -2, 0]]),
('boundary draw',
([['Ashby', 1, 'Brent', 1]], ['Brent', 'Ashby']),
[['Ashby', 1, 1, 0, 1], ['Brent', 1, 1, 0, 1]]),
('boundary goals scored before name',
([['Ashby', 1, 'Corby', 1], ['Brent', 2, 'Corby', 2]], ['Ashby', 'Brent', 'Corby']),
[['Corby', 2, 2, 0, 3], ['Brent', 1, 1, 0, 2], ['Ashby', 1, 1, 0, 1]]),
('boundary head to head decides',
([['Brent', 2, 'Ashby', 1], ['Ashby', 2, 'Dover', 1], ['Corby', 2, 'Brent', 1]],
['Ashby', 'Brent', 'Corby', 'Dover']),
[['Corby', 1, 3, 1, 2], ['Brent', 2, 3, 0, 3], ['Ashby', 2, 3, 0, 3], ['Dover', 1, 0, -1, 1]]),
('control no matches', ([], ['Corby', 'Ashby']), [['Ashby', 0, 0, 0, 0], ['Corby', 0, 0, 0, 0]]),
('regression: head to head metric',
([['Brent', 1, 'Dover', 0], ['Ashby', 0, 'Epsom', 0], ['Brent', 0, 'Corby', 0]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Brent', 2, 4, 1, 1],
['Ashby', 1, 1, 0, 0],
['Epsom', 1, 1, 0, 0],
['Corby', 1, 1, 0, 0],
['Dover', 1, 0, -1, 0]]),
('variant scenario 1',
([['Epsom', 0, 'Dover', 1],
['Epsom', 0, 'Corby', 1],
['Epsom', 1, 'Dover', 0],
['Ashby', 0, 'Corby', 1],
['Corby', 0, 'Brent', 0]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Corby', 3, 7, 2, 2],
['Dover', 2, 3, 0, 1],
['Epsom', 3, 3, -1, 1],
['Brent', 1, 1, 0, 0],
['Ashby', 1, 0, -1, 0]]),
('variant scenario 2',
([['Ashby', 2, 'Brent', 1],
['Ashby', 1, 'Corby', 3],
['Brent', 3, 'Ashby', 2],
['Brent', 3, 'Corby', 2],
['Corby', 1, 'Ashby', 3],
['Corby', 3, 'Brent', 2]],
['Ashby', 'Brent', 'Corby']),
[['Brent', 4, 6, 0, 9], ['Corby', 4, 6, 0, 9], ['Ashby', 4, 6, 0, 8]])],
[('control single win',
([['Ashby', 2, 'Brent', 0]], ['Ashby', 'Brent']),
[['Ashby', 1, 3, 2, 2], ['Brent', 1, 0, -2, 0]]),
('boundary draw',
([['Ashby', 1, 'Brent', 1]], ['Brent', 'Ashby']),
[['Ashby', 1, 1, 0, 1], ['Brent', 1, 1, 0, 1]]),
('boundary goals scored before name',
([['Ashby', 1, 'Corby', 1], ['Brent', 2, 'Corby', 2]], ['Ashby', 'Brent', 'Corby']),
[['Corby', 2, 2, 0, 3], ['Brent', 1, 1, 0, 2], ['Ashby', 1, 1, 0, 1]]),
('boundary head to head decides',
([['Brent', 2, 'Ashby', 1], ['Ashby', 2, 'Dover', 1], ['Corby', 2, 'Brent', 1]],
['Ashby', 'Brent', 'Corby', 'Dover']),
[['Corby', 1, 3, 1, 2], ['Brent', 2, 3, 0, 3], ['Ashby', 2, 3, 0, 3], ['Dover', 1, 0, -1, 1]]),
('control no matches', ([], ['Corby', 'Ashby']), [['Ashby', 0, 0, 0, 0], ['Corby', 0, 0, 0, 0]]),
('regression: head to head metric',
([['Ashby', 0, 'Corby', 0],
['Ashby', 0, 'Corby', 1],
['Brent', 0, 'Epsom', 0],
['Dover', 0, 'Corby', 0],
['Ashby', 1, 'Corby', 1]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Corby', 4, 6, 1, 2],
['Ashby', 3, 2, -1, 1],
['Brent', 1, 1, 0, 0],
['Epsom', 1, 1, 0, 0],
['Dover', 1, 1, 0, 0]]),
('variant scenario 1',
([['Brent', 1, 'Ashby', 1],
['Corby', 0, 'Brent', 0],
['Epsom', 0, 'Brent', 0],
['Corby', 3, 'Ashby', 1],
['Brent', 0, 'Epsom', 3],
['Brent', 0, 'Dover', 0]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Epsom', 2, 4, 3, 3],
['Corby', 2, 4, 2, 3],
['Brent', 5, 4, -3, 1],
['Dover', 1, 1, 0, 0],
['Ashby', 2, 1, -2, 2]]),
('variant scenario 2',
([['Ashby', 1, 'Brent', 1], ['Corby', 0, 'Ashby', 1], ['Corby', 1, 'Brent', 0]],
['Ashby', 'Brent', 'Corby']),
[['Ashby', 2, 4, 1, 2], ['Corby', 2, 3, 0, 1], ['Brent', 2, 1, -1, 1]])]]
for label, args, expected in cases[N - 1]:
check(label, run(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 |
|---|---|---|---|
| control single win | [['Ashby', 1, 3, 2, 2], ['Brent', 1, 0, -2, 0]] | [['Ashby', 1, 3, 2, 2], ['Brent', 1, 0, -2, 0]] | Passed |
| boundary draw | [['Ashby', 1, 1, 0, 1], ['Brent', 1, 1, 0, 1]] | [['Ashby', 1, 1, 0, 1], ['Brent', 1, 1, 0, 1]] | Passed |
| boundary goals scored before name | [['Corby', 2, 2, 0, 3], ['Brent', 1, 1, 0, 2], ['Ashby', 1, 1, 0, 1]] | [['Corby', 2, 2, 0, 3], ['Brent', 1, 1, 0, 2], ['Ashby', 1, 1, 0, 1]] | Passed |
| boundary head to head decides | [['Corby', 1, 3, 1, 2], ['Brent', 2, 3, 0, 3], ['Ashby', 2, 3, 0, 3], ['Dover', 1, 0, -1, 1]] | [['Corby', 1, 3, 1, 2], ['Brent', 2, 3, 0, 3], ['Ashby', 2, 3, 0, 3], ['Dover', 1, 0, -1, 1]] | Passed |
| control no matches | [['Ashby', 0, 0, 0, 0], ['Corby', 0, 0, 0, 0]] | [['Ashby', 0, 0, 0, 0], ['Corby', 0, 0, 0, 0]] | Passed |
| regression: head to head metric | [['Brent', 4, 6, 1, 4], ['Corby', 2, 2, 0, 1], ['Dover', 2, 2, 0, 1], ['Epsom', 2, 2, 0, 1], ['Ashby', 2, 1, -1, 0]] | [['Brent', 4, 6, 1, 4], ['Corby', 2, 2, 0, 1], ['Epsom', 2, 2, 0, 1], ['Dover', 2, 2, 0, 1], ['Ashby', 2, 1, -1, 0]] | Failed |
| variant scenario 1 | [['Ashby', 1, 3, 1, 1], ['Brent', 2, 2, 0, 0], ['Epsom', 3, 2, -1, 0], ['Corby', 0, 0, 0, 0], ['Dover', 0, 0, 0, 0]] | [['Ashby', 1, 3, 1, 1], ['Brent', 2, 2, 0, 0], ['Epsom', 3, 2, -1, 0], ['Corby', 0, 0, 0, 0], ['Dover', 0, 0, 0, 0]] | Passed |
| variant scenario 2 | [['Epsom', 3, 9, 4, 6], ['Brent', 3, 6, 3, 4], ['Dover', 2, 3, 0, 3], ['Corby', 0, 0, 0, 0], ['Ashby', 4, 0, -7, 2]] | [['Epsom', 3, 9, 4, 6], ['Brent', 3, 6, 3, 4], ['Dover', 2, 3, 0, 3], ['Corby', 0, 0, 0, 0], ['Ashby', 4, 0, -7, 2]] | Passed |
SHA-256 / 8754a1b6b099f2a4bcc40d470c70a2d10937ca7bcc850acf24b2336f307ca496
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(results, teams):
table = {t: {'p': 0, 'pts': 0, 'gd': 0, 'gf': 0} for t in teams}
for h, hg, a, ag in results:
for team, f, g in ((h, hg, ag), (a, ag, hg)):
row = table[team]
row['p'] += 1
row['gf'] += f
row['gd'] += f - g
row['pts'] += 3 if f > g else (1 if f == g else 0)
def key3(t):
r = table[t]
return (r['pts'], r['gd'], r['gf'])
def h2h(t):
group = [u for u in teams if key3(u) == key3(t)]
pts = 0
for h, hg, a, ag in results:
if h in group and a in group and t in (h, a):
f, g = (hg, ag) if t == h else (ag, hg)
pts += f
return pts
order = sorted(teams, key=lambda t: (-key3(t)[0], -key3(t)[1], -key3(t)[2], -h2h(t), t))
return [[t, table[t]['p'], table[t]['pts'], table[t]['gd'], table[t]['gf']] for t in order]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
def run(args):
try:
return solve(*args)
except Exception as exc:
return 'raised ' + type(exc).__name__
cases = [[('control single win',
([['Ashby', 2, 'Brent', 0]], ['Ashby', 'Brent']),
[['Ashby', 1, 3, 2, 2], ['Brent', 1, 0, -2, 0]]),
('boundary draw',
([['Ashby', 1, 'Brent', 1]], ['Brent', 'Ashby']),
[['Ashby', 1, 1, 0, 1], ['Brent', 1, 1, 0, 1]]),
('boundary goals scored before name',
([['Ashby', 1, 'Corby', 1], ['Brent', 2, 'Corby', 2]], ['Ashby', 'Brent', 'Corby']),
[['Corby', 2, 2, 0, 3], ['Brent', 1, 1, 0, 2], ['Ashby', 1, 1, 0, 1]]),
('boundary head to head decides',
([['Brent', 2, 'Ashby', 1], ['Ashby', 2, 'Dover', 1], ['Corby', 2, 'Brent', 1]],
['Ashby', 'Brent', 'Corby', 'Dover']),
[['Corby', 1, 3, 1, 2], ['Brent', 2, 3, 0, 3], ['Ashby', 2, 3, 0, 3], ['Dover', 1, 0, -1, 1]]),
('control no matches', ([], ['Corby', 'Ashby']), [['Ashby', 0, 0, 0, 0], ['Corby', 0, 0, 0, 0]]),
('regression: head to head metric',
([['Epsom', 1, 'Brent', 1],
['Corby', 0, 'Epsom', 0],
['Corby', 1, 'Brent', 1],
['Brent', 1, 'Dover', 1],
['Ashby', 0, 'Brent', 1],
['Ashby', 0, 'Dover', 0]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Brent', 4, 6, 1, 4],
['Corby', 2, 2, 0, 1],
['Epsom', 2, 2, 0, 1],
['Dover', 2, 2, 0, 1],
['Ashby', 2, 1, -1, 0]]),
('variant scenario 1',
([['Brent', 0, 'Epsom', 0], ['Brent', 0, 'Epsom', 0], ['Ashby', 1, 'Epsom', 0]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Ashby', 1, 3, 1, 1],
['Brent', 2, 2, 0, 0],
['Epsom', 3, 2, -1, 0],
['Corby', 0, 0, 0, 0],
['Dover', 0, 0, 0, 0]]),
('variant scenario 2',
([['Epsom', 3, 'Ashby', 1],
['Brent', 0, 'Epsom', 1],
['Dover', 1, 'Epsom', 2],
['Dover', 2, 'Ashby', 1],
['Brent', 3, 'Ashby', 0],
['Ashby', 0, 'Brent', 1]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Epsom', 3, 9, 4, 6],
['Brent', 3, 6, 3, 4],
['Dover', 2, 3, 0, 3],
['Corby', 0, 0, 0, 0],
['Ashby', 4, 0, -7, 2]])],
[('control single win',
([['Ashby', 2, 'Brent', 0]], ['Ashby', 'Brent']),
[['Ashby', 1, 3, 2, 2], ['Brent', 1, 0, -2, 0]]),
('boundary draw',
([['Ashby', 1, 'Brent', 1]], ['Brent', 'Ashby']),
[['Ashby', 1, 1, 0, 1], ['Brent', 1, 1, 0, 1]]),
('boundary goals scored before name',
([['Ashby', 1, 'Corby', 1], ['Brent', 2, 'Corby', 2]], ['Ashby', 'Brent', 'Corby']),
[['Corby', 2, 2, 0, 3], ['Brent', 1, 1, 0, 2], ['Ashby', 1, 1, 0, 1]]),
('boundary head to head decides',
([['Brent', 2, 'Ashby', 1], ['Ashby', 2, 'Dover', 1], ['Corby', 2, 'Brent', 1]],
['Ashby', 'Brent', 'Corby', 'Dover']),
[['Corby', 1, 3, 1, 2], ['Brent', 2, 3, 0, 3], ['Ashby', 2, 3, 0, 3], ['Dover', 1, 0, -1, 1]]),
('control no matches', ([], ['Corby', 'Ashby']), [['Ashby', 0, 0, 0, 0], ['Corby', 0, 0, 0, 0]]),
('regression: head to head metric',
([['Brent', 1, 'Ashby', 1],
['Dover', 1, 'Epsom', 1],
['Corby', 0, 'Brent', 1],
['Corby', 1, 'Brent', 1]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Brent', 3, 5, 1, 3],
['Dover', 1, 1, 0, 1],
['Epsom', 1, 1, 0, 1],
['Ashby', 1, 1, 0, 1],
['Corby', 2, 1, -1, 1]]),
('regression: head to head metric',
([['Dover', 0, 'Epsom', 0], ['Brent', 0, 'Corby', 0], ['Epsom', 0, 'Ashby', 0]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Epsom', 2, 2, 0, 0],
['Brent', 1, 1, 0, 0],
['Corby', 1, 1, 0, 0],
['Ashby', 1, 1, 0, 0],
['Dover', 1, 1, 0, 0]]),
('variant scenario 1',
([['Corby', 1, 'Ashby', 0],
['Ashby', 0, 'Corby', 0],
['Brent', 0, 'Ashby', 0],
['Corby', 1, 'Brent', 1],
['Corby', 0, 'Brent', 1],
['Brent', 1, 'Corby', 0]],
['Ashby', 'Brent', 'Corby']),
[['Brent', 4, 8, 2, 3], ['Corby', 5, 5, -1, 2], ['Ashby', 3, 2, -1, 0]]),
('variant scenario 2',
([['Brent', 0, 'Corby', 1],
['Brent', 1, 'Ashby', 0],
['Brent', 1, 'Corby', 1],
['Corby', 0, 'Brent', 0]],
['Ashby', 'Brent', 'Corby']),
[['Corby', 3, 5, 1, 2], ['Brent', 4, 5, 0, 2], ['Ashby', 1, 0, -1, 0]])],
[('control single win',
([['Ashby', 2, 'Brent', 0]], ['Ashby', 'Brent']),
[['Ashby', 1, 3, 2, 2], ['Brent', 1, 0, -2, 0]]),
('boundary draw',
([['Ashby', 1, 'Brent', 1]], ['Brent', 'Ashby']),
[['Ashby', 1, 1, 0, 1], ['Brent', 1, 1, 0, 1]]),
('boundary goals scored before name',
([['Ashby', 1, 'Corby', 1], ['Brent', 2, 'Corby', 2]], ['Ashby', 'Brent', 'Corby']),
[['Corby', 2, 2, 0, 3], ['Brent', 1, 1, 0, 2], ['Ashby', 1, 1, 0, 1]]),
('boundary head to head decides',
([['Brent', 2, 'Ashby', 1], ['Ashby', 2, 'Dover', 1], ['Corby', 2, 'Brent', 1]],
['Ashby', 'Brent', 'Corby', 'Dover']),
[['Corby', 1, 3, 1, 2], ['Brent', 2, 3, 0, 3], ['Ashby', 2, 3, 0, 3], ['Dover', 1, 0, -1, 1]]),
('control no matches', ([], ['Corby', 'Ashby']), [['Ashby', 0, 0, 0, 0], ['Corby', 0, 0, 0, 0]]),
('regression: head to head metric',
([['Corby', 0, 'Ashby', 0], ['Epsom', 1, 'Dover', 0], ['Epsom', 0, 'Brent', 0]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Epsom', 2, 4, 1, 1],
['Ashby', 1, 1, 0, 0],
['Corby', 1, 1, 0, 0],
['Brent', 1, 1, 0, 0],
['Dover', 1, 0, -1, 0]]),
('variant scenario 1',
([['Brent', 2, 'Ashby', 1],
['Brent', 0, 'Ashby', 0],
['Corby', 1, 'Dover', 1],
['Dover', 0, 'Brent', 2],
['Dover', 0, 'Ashby', 0],
['Brent', 1, 'Corby', 1]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Brent', 4, 8, 3, 5],
['Corby', 2, 2, 0, 2],
['Ashby', 3, 2, -1, 1],
['Dover', 3, 2, -2, 1],
['Epsom', 0, 0, 0, 0]]),
('variant scenario 2',
([['Dover', 1, 'Ashby', 1],
['Corby', 0, 'Brent', 0],
['Ashby', 1, 'Dover', 1],
['Dover', 1, 'Brent', 1],
['Ashby', 0, 'Dover', 0]],
['Ashby', 'Brent', 'Corby', 'Dover']),
[['Dover', 4, 4, 0, 3], ['Ashby', 3, 3, 0, 2], ['Brent', 2, 2, 0, 1], ['Corby', 1, 1, 0, 0]])],
[('control single win',
([['Ashby', 2, 'Brent', 0]], ['Ashby', 'Brent']),
[['Ashby', 1, 3, 2, 2], ['Brent', 1, 0, -2, 0]]),
('boundary draw',
([['Ashby', 1, 'Brent', 1]], ['Brent', 'Ashby']),
[['Ashby', 1, 1, 0, 1], ['Brent', 1, 1, 0, 1]]),
('boundary goals scored before name',
([['Ashby', 1, 'Corby', 1], ['Brent', 2, 'Corby', 2]], ['Ashby', 'Brent', 'Corby']),
[['Corby', 2, 2, 0, 3], ['Brent', 1, 1, 0, 2], ['Ashby', 1, 1, 0, 1]]),
('boundary head to head decides',
([['Brent', 2, 'Ashby', 1], ['Ashby', 2, 'Dover', 1], ['Corby', 2, 'Brent', 1]],
['Ashby', 'Brent', 'Corby', 'Dover']),
[['Corby', 1, 3, 1, 2], ['Brent', 2, 3, 0, 3], ['Ashby', 2, 3, 0, 3], ['Dover', 1, 0, -1, 1]]),
('control no matches', ([], ['Corby', 'Ashby']), [['Ashby', 0, 0, 0, 0], ['Corby', 0, 0, 0, 0]]),
('regression: head to head metric',
([['Brent', 1, 'Dover', 0], ['Ashby', 0, 'Epsom', 0], ['Brent', 0, 'Corby', 0]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Brent', 2, 4, 1, 1],
['Ashby', 1, 1, 0, 0],
['Epsom', 1, 1, 0, 0],
['Corby', 1, 1, 0, 0],
['Dover', 1, 0, -1, 0]]),
('variant scenario 1',
([['Epsom', 0, 'Dover', 1],
['Epsom', 0, 'Corby', 1],
['Epsom', 1, 'Dover', 0],
['Ashby', 0, 'Corby', 1],
['Corby', 0, 'Brent', 0]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Corby', 3, 7, 2, 2],
['Dover', 2, 3, 0, 1],
['Epsom', 3, 3, -1, 1],
['Brent', 1, 1, 0, 0],
['Ashby', 1, 0, -1, 0]]),
('variant scenario 2',
([['Ashby', 2, 'Brent', 1],
['Ashby', 1, 'Corby', 3],
['Brent', 3, 'Ashby', 2],
['Brent', 3, 'Corby', 2],
['Corby', 1, 'Ashby', 3],
['Corby', 3, 'Brent', 2]],
['Ashby', 'Brent', 'Corby']),
[['Brent', 4, 6, 0, 9], ['Corby', 4, 6, 0, 9], ['Ashby', 4, 6, 0, 8]])],
[('control single win',
([['Ashby', 2, 'Brent', 0]], ['Ashby', 'Brent']),
[['Ashby', 1, 3, 2, 2], ['Brent', 1, 0, -2, 0]]),
('boundary draw',
([['Ashby', 1, 'Brent', 1]], ['Brent', 'Ashby']),
[['Ashby', 1, 1, 0, 1], ['Brent', 1, 1, 0, 1]]),
('boundary goals scored before name',
([['Ashby', 1, 'Corby', 1], ['Brent', 2, 'Corby', 2]], ['Ashby', 'Brent', 'Corby']),
[['Corby', 2, 2, 0, 3], ['Brent', 1, 1, 0, 2], ['Ashby', 1, 1, 0, 1]]),
('boundary head to head decides',
([['Brent', 2, 'Ashby', 1], ['Ashby', 2, 'Dover', 1], ['Corby', 2, 'Brent', 1]],
['Ashby', 'Brent', 'Corby', 'Dover']),
[['Corby', 1, 3, 1, 2], ['Brent', 2, 3, 0, 3], ['Ashby', 2, 3, 0, 3], ['Dover', 1, 0, -1, 1]]),
('control no matches', ([], ['Corby', 'Ashby']), [['Ashby', 0, 0, 0, 0], ['Corby', 0, 0, 0, 0]]),
('regression: head to head metric',
([['Ashby', 0, 'Corby', 0],
['Ashby', 0, 'Corby', 1],
['Brent', 0, 'Epsom', 0],
['Dover', 0, 'Corby', 0],
['Ashby', 1, 'Corby', 1]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Corby', 4, 6, 1, 2],
['Ashby', 3, 2, -1, 1],
['Brent', 1, 1, 0, 0],
['Epsom', 1, 1, 0, 0],
['Dover', 1, 1, 0, 0]]),
('variant scenario 1',
([['Brent', 1, 'Ashby', 1],
['Corby', 0, 'Brent', 0],
['Epsom', 0, 'Brent', 0],
['Corby', 3, 'Ashby', 1],
['Brent', 0, 'Epsom', 3],
['Brent', 0, 'Dover', 0]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Epsom', 2, 4, 3, 3],
['Corby', 2, 4, 2, 3],
['Brent', 5, 4, -3, 1],
['Dover', 1, 1, 0, 0],
['Ashby', 2, 1, -2, 2]]),
('variant scenario 2',
([['Ashby', 1, 'Brent', 1], ['Corby', 0, 'Ashby', 1], ['Corby', 1, 'Brent', 0]],
['Ashby', 'Brent', 'Corby']),
[['Ashby', 2, 4, 1, 2], ['Corby', 2, 3, 0, 1], ['Brent', 2, 1, -1, 1]])]]
for label, args, expected in cases[N - 1]:
check(label, run(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 |
|---|---|---|---|
| control single win | [['Ashby', 1, 3, 2, 2], ['Brent', 1, 0, -2, 0]] | [['Ashby', 1, 3, 2, 2], ['Brent', 1, 0, -2, 0]] | Passed |
| boundary draw | [['Ashby', 1, 1, 0, 1], ['Brent', 1, 1, 0, 1]] | [['Ashby', 1, 1, 0, 1], ['Brent', 1, 1, 0, 1]] | Passed |
| boundary goals scored before name | [['Corby', 2, 2, 0, 3], ['Brent', 1, 1, 0, 2], ['Ashby', 1, 1, 0, 1]] | [['Corby', 2, 2, 0, 3], ['Brent', 1, 1, 0, 2], ['Ashby', 1, 1, 0, 1]] | Passed |
| boundary head to head decides | [['Corby', 1, 3, 1, 2], ['Brent', 2, 3, 0, 3], ['Ashby', 2, 3, 0, 3], ['Dover', 1, 0, -1, 1]] | [['Corby', 1, 3, 1, 2], ['Brent', 2, 3, 0, 3], ['Ashby', 2, 3, 0, 3], ['Dover', 1, 0, -1, 1]] | Passed |
| control no matches | [['Ashby', 0, 0, 0, 0], ['Corby', 0, 0, 0, 0]] | [['Ashby', 0, 0, 0, 0], ['Corby', 0, 0, 0, 0]] | Passed |
| regression: head to head metric | [['Brent', 4, 6, 1, 4], ['Corby', 2, 2, 0, 1], ['Dover', 2, 2, 0, 1], ['Epsom', 2, 2, 0, 1], ['Ashby', 2, 1, -1, 0]] | [['Brent', 4, 6, 1, 4], ['Corby', 2, 2, 0, 1], ['Epsom', 2, 2, 0, 1], ['Dover', 2, 2, 0, 1], ['Ashby', 2, 1, -1, 0]] | Failed |
| variant scenario 1 | [['Ashby', 1, 3, 1, 1], ['Brent', 2, 2, 0, 0], ['Epsom', 3, 2, -1, 0], ['Corby', 0, 0, 0, 0], ['Dover', 0, 0, 0, 0]] | [['Ashby', 1, 3, 1, 1], ['Brent', 2, 2, 0, 0], ['Epsom', 3, 2, -1, 0], ['Corby', 0, 0, 0, 0], ['Dover', 0, 0, 0, 0]] | Passed |
| variant scenario 2 | [['Epsom', 3, 9, 4, 6], ['Brent', 3, 6, 3, 4], ['Dover', 2, 3, 0, 3], ['Corby', 0, 0, 0, 0], ['Ashby', 4, 0, -7, 2]] | [['Epsom', 3, 9, 4, 6], ['Brent', 3, 6, 3, 4], ['Dover', 2, 3, 0, 3], ['Corby', 0, 0, 0, 0], ['Ashby', 4, 0, -7, 2]] | Passed |
SHA-256 / 1397290bc9f742ac47b373f4d76f43eeec6d203a33fb299cca17d134cf92fe4d
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(results, teams):
table = {t: {'p': 0, 'pts': 0, 'gd': 0, 'gf': 0} for t in teams}
for h, hg, a, ag in results:
for team, f, g in ((h, hg, ag), (a, ag, hg)):
row = table[team]
row['p'] += 1
row['gf'] += f
row['gd'] += f - g
row['pts'] += 3 if f > g else (1 if f == g else 0)
def key3(t):
r = table[t]
return (r['pts'], r['gd'], r['gf'])
def h2h(t):
group = [u for u in teams if key3(u) == key3(t)]
pts = 0
for h, hg, a, ag in results:
if h in group and a in group and t in (h, a):
f, g = (hg, ag) if t == h else (ag, hg)
pts += 3 if f > g else (1 if f == g else 0)
return pts
order = sorted(teams, key=lambda t: (-key3(t)[0], -key3(t)[1], -key3(t)[2], -h2h(t), t))
return [[t, table[t]['p'], table[t]['pts'], table[t]['gd'], table[t]['gf']] for t in order]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
def run(args):
try:
return solve(*args)
except Exception as exc:
return 'raised ' + type(exc).__name__
cases = [[('control single win',
([['Ashby', 2, 'Brent', 0]], ['Ashby', 'Brent']),
[['Ashby', 1, 3, 2, 2], ['Brent', 1, 0, -2, 0]]),
('boundary draw',
([['Ashby', 1, 'Brent', 1]], ['Brent', 'Ashby']),
[['Ashby', 1, 1, 0, 1], ['Brent', 1, 1, 0, 1]]),
('boundary goals scored before name',
([['Ashby', 1, 'Corby', 1], ['Brent', 2, 'Corby', 2]], ['Ashby', 'Brent', 'Corby']),
[['Corby', 2, 2, 0, 3], ['Brent', 1, 1, 0, 2], ['Ashby', 1, 1, 0, 1]]),
('boundary head to head decides',
([['Brent', 2, 'Ashby', 1], ['Ashby', 2, 'Dover', 1], ['Corby', 2, 'Brent', 1]],
['Ashby', 'Brent', 'Corby', 'Dover']),
[['Corby', 1, 3, 1, 2], ['Brent', 2, 3, 0, 3], ['Ashby', 2, 3, 0, 3], ['Dover', 1, 0, -1, 1]]),
('control no matches', ([], ['Corby', 'Ashby']), [['Ashby', 0, 0, 0, 0], ['Corby', 0, 0, 0, 0]]),
('regression: head to head metric',
([['Epsom', 1, 'Brent', 1],
['Corby', 0, 'Epsom', 0],
['Corby', 1, 'Brent', 1],
['Brent', 1, 'Dover', 1],
['Ashby', 0, 'Brent', 1],
['Ashby', 0, 'Dover', 0]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Brent', 4, 6, 1, 4],
['Corby', 2, 2, 0, 1],
['Epsom', 2, 2, 0, 1],
['Dover', 2, 2, 0, 1],
['Ashby', 2, 1, -1, 0]]),
('variant scenario 1',
([['Brent', 0, 'Epsom', 0], ['Brent', 0, 'Epsom', 0], ['Ashby', 1, 'Epsom', 0]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Ashby', 1, 3, 1, 1],
['Brent', 2, 2, 0, 0],
['Epsom', 3, 2, -1, 0],
['Corby', 0, 0, 0, 0],
['Dover', 0, 0, 0, 0]]),
('variant scenario 2',
([['Epsom', 3, 'Ashby', 1],
['Brent', 0, 'Epsom', 1],
['Dover', 1, 'Epsom', 2],
['Dover', 2, 'Ashby', 1],
['Brent', 3, 'Ashby', 0],
['Ashby', 0, 'Brent', 1]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Epsom', 3, 9, 4, 6],
['Brent', 3, 6, 3, 4],
['Dover', 2, 3, 0, 3],
['Corby', 0, 0, 0, 0],
['Ashby', 4, 0, -7, 2]])],
[('control single win',
([['Ashby', 2, 'Brent', 0]], ['Ashby', 'Brent']),
[['Ashby', 1, 3, 2, 2], ['Brent', 1, 0, -2, 0]]),
('boundary draw',
([['Ashby', 1, 'Brent', 1]], ['Brent', 'Ashby']),
[['Ashby', 1, 1, 0, 1], ['Brent', 1, 1, 0, 1]]),
('boundary goals scored before name',
([['Ashby', 1, 'Corby', 1], ['Brent', 2, 'Corby', 2]], ['Ashby', 'Brent', 'Corby']),
[['Corby', 2, 2, 0, 3], ['Brent', 1, 1, 0, 2], ['Ashby', 1, 1, 0, 1]]),
('boundary head to head decides',
([['Brent', 2, 'Ashby', 1], ['Ashby', 2, 'Dover', 1], ['Corby', 2, 'Brent', 1]],
['Ashby', 'Brent', 'Corby', 'Dover']),
[['Corby', 1, 3, 1, 2], ['Brent', 2, 3, 0, 3], ['Ashby', 2, 3, 0, 3], ['Dover', 1, 0, -1, 1]]),
('control no matches', ([], ['Corby', 'Ashby']), [['Ashby', 0, 0, 0, 0], ['Corby', 0, 0, 0, 0]]),
('regression: head to head metric',
([['Brent', 1, 'Ashby', 1],
['Dover', 1, 'Epsom', 1],
['Corby', 0, 'Brent', 1],
['Corby', 1, 'Brent', 1]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Brent', 3, 5, 1, 3],
['Dover', 1, 1, 0, 1],
['Epsom', 1, 1, 0, 1],
['Ashby', 1, 1, 0, 1],
['Corby', 2, 1, -1, 1]]),
('regression: head to head metric',
([['Dover', 0, 'Epsom', 0], ['Brent', 0, 'Corby', 0], ['Epsom', 0, 'Ashby', 0]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Epsom', 2, 2, 0, 0],
['Brent', 1, 1, 0, 0],
['Corby', 1, 1, 0, 0],
['Ashby', 1, 1, 0, 0],
['Dover', 1, 1, 0, 0]]),
('variant scenario 1',
([['Corby', 1, 'Ashby', 0],
['Ashby', 0, 'Corby', 0],
['Brent', 0, 'Ashby', 0],
['Corby', 1, 'Brent', 1],
['Corby', 0, 'Brent', 1],
['Brent', 1, 'Corby', 0]],
['Ashby', 'Brent', 'Corby']),
[['Brent', 4, 8, 2, 3], ['Corby', 5, 5, -1, 2], ['Ashby', 3, 2, -1, 0]]),
('variant scenario 2',
([['Brent', 0, 'Corby', 1],
['Brent', 1, 'Ashby', 0],
['Brent', 1, 'Corby', 1],
['Corby', 0, 'Brent', 0]],
['Ashby', 'Brent', 'Corby']),
[['Corby', 3, 5, 1, 2], ['Brent', 4, 5, 0, 2], ['Ashby', 1, 0, -1, 0]])],
[('control single win',
([['Ashby', 2, 'Brent', 0]], ['Ashby', 'Brent']),
[['Ashby', 1, 3, 2, 2], ['Brent', 1, 0, -2, 0]]),
('boundary draw',
([['Ashby', 1, 'Brent', 1]], ['Brent', 'Ashby']),
[['Ashby', 1, 1, 0, 1], ['Brent', 1, 1, 0, 1]]),
('boundary goals scored before name',
([['Ashby', 1, 'Corby', 1], ['Brent', 2, 'Corby', 2]], ['Ashby', 'Brent', 'Corby']),
[['Corby', 2, 2, 0, 3], ['Brent', 1, 1, 0, 2], ['Ashby', 1, 1, 0, 1]]),
('boundary head to head decides',
([['Brent', 2, 'Ashby', 1], ['Ashby', 2, 'Dover', 1], ['Corby', 2, 'Brent', 1]],
['Ashby', 'Brent', 'Corby', 'Dover']),
[['Corby', 1, 3, 1, 2], ['Brent', 2, 3, 0, 3], ['Ashby', 2, 3, 0, 3], ['Dover', 1, 0, -1, 1]]),
('control no matches', ([], ['Corby', 'Ashby']), [['Ashby', 0, 0, 0, 0], ['Corby', 0, 0, 0, 0]]),
('regression: head to head metric',
([['Corby', 0, 'Ashby', 0], ['Epsom', 1, 'Dover', 0], ['Epsom', 0, 'Brent', 0]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Epsom', 2, 4, 1, 1],
['Ashby', 1, 1, 0, 0],
['Corby', 1, 1, 0, 0],
['Brent', 1, 1, 0, 0],
['Dover', 1, 0, -1, 0]]),
('variant scenario 1',
([['Brent', 2, 'Ashby', 1],
['Brent', 0, 'Ashby', 0],
['Corby', 1, 'Dover', 1],
['Dover', 0, 'Brent', 2],
['Dover', 0, 'Ashby', 0],
['Brent', 1, 'Corby', 1]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Brent', 4, 8, 3, 5],
['Corby', 2, 2, 0, 2],
['Ashby', 3, 2, -1, 1],
['Dover', 3, 2, -2, 1],
['Epsom', 0, 0, 0, 0]]),
('variant scenario 2',
([['Dover', 1, 'Ashby', 1],
['Corby', 0, 'Brent', 0],
['Ashby', 1, 'Dover', 1],
['Dover', 1, 'Brent', 1],
['Ashby', 0, 'Dover', 0]],
['Ashby', 'Brent', 'Corby', 'Dover']),
[['Dover', 4, 4, 0, 3], ['Ashby', 3, 3, 0, 2], ['Brent', 2, 2, 0, 1], ['Corby', 1, 1, 0, 0]])],
[('control single win',
([['Ashby', 2, 'Brent', 0]], ['Ashby', 'Brent']),
[['Ashby', 1, 3, 2, 2], ['Brent', 1, 0, -2, 0]]),
('boundary draw',
([['Ashby', 1, 'Brent', 1]], ['Brent', 'Ashby']),
[['Ashby', 1, 1, 0, 1], ['Brent', 1, 1, 0, 1]]),
('boundary goals scored before name',
([['Ashby', 1, 'Corby', 1], ['Brent', 2, 'Corby', 2]], ['Ashby', 'Brent', 'Corby']),
[['Corby', 2, 2, 0, 3], ['Brent', 1, 1, 0, 2], ['Ashby', 1, 1, 0, 1]]),
('boundary head to head decides',
([['Brent', 2, 'Ashby', 1], ['Ashby', 2, 'Dover', 1], ['Corby', 2, 'Brent', 1]],
['Ashby', 'Brent', 'Corby', 'Dover']),
[['Corby', 1, 3, 1, 2], ['Brent', 2, 3, 0, 3], ['Ashby', 2, 3, 0, 3], ['Dover', 1, 0, -1, 1]]),
('control no matches', ([], ['Corby', 'Ashby']), [['Ashby', 0, 0, 0, 0], ['Corby', 0, 0, 0, 0]]),
('regression: head to head metric',
([['Brent', 1, 'Dover', 0], ['Ashby', 0, 'Epsom', 0], ['Brent', 0, 'Corby', 0]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Brent', 2, 4, 1, 1],
['Ashby', 1, 1, 0, 0],
['Epsom', 1, 1, 0, 0],
['Corby', 1, 1, 0, 0],
['Dover', 1, 0, -1, 0]]),
('variant scenario 1',
([['Epsom', 0, 'Dover', 1],
['Epsom', 0, 'Corby', 1],
['Epsom', 1, 'Dover', 0],
['Ashby', 0, 'Corby', 1],
['Corby', 0, 'Brent', 0]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Corby', 3, 7, 2, 2],
['Dover', 2, 3, 0, 1],
['Epsom', 3, 3, -1, 1],
['Brent', 1, 1, 0, 0],
['Ashby', 1, 0, -1, 0]]),
('variant scenario 2',
([['Ashby', 2, 'Brent', 1],
['Ashby', 1, 'Corby', 3],
['Brent', 3, 'Ashby', 2],
['Brent', 3, 'Corby', 2],
['Corby', 1, 'Ashby', 3],
['Corby', 3, 'Brent', 2]],
['Ashby', 'Brent', 'Corby']),
[['Brent', 4, 6, 0, 9], ['Corby', 4, 6, 0, 9], ['Ashby', 4, 6, 0, 8]])],
[('control single win',
([['Ashby', 2, 'Brent', 0]], ['Ashby', 'Brent']),
[['Ashby', 1, 3, 2, 2], ['Brent', 1, 0, -2, 0]]),
('boundary draw',
([['Ashby', 1, 'Brent', 1]], ['Brent', 'Ashby']),
[['Ashby', 1, 1, 0, 1], ['Brent', 1, 1, 0, 1]]),
('boundary goals scored before name',
([['Ashby', 1, 'Corby', 1], ['Brent', 2, 'Corby', 2]], ['Ashby', 'Brent', 'Corby']),
[['Corby', 2, 2, 0, 3], ['Brent', 1, 1, 0, 2], ['Ashby', 1, 1, 0, 1]]),
('boundary head to head decides',
([['Brent', 2, 'Ashby', 1], ['Ashby', 2, 'Dover', 1], ['Corby', 2, 'Brent', 1]],
['Ashby', 'Brent', 'Corby', 'Dover']),
[['Corby', 1, 3, 1, 2], ['Brent', 2, 3, 0, 3], ['Ashby', 2, 3, 0, 3], ['Dover', 1, 0, -1, 1]]),
('control no matches', ([], ['Corby', 'Ashby']), [['Ashby', 0, 0, 0, 0], ['Corby', 0, 0, 0, 0]]),
('regression: head to head metric',
([['Ashby', 0, 'Corby', 0],
['Ashby', 0, 'Corby', 1],
['Brent', 0, 'Epsom', 0],
['Dover', 0, 'Corby', 0],
['Ashby', 1, 'Corby', 1]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Corby', 4, 6, 1, 2],
['Ashby', 3, 2, -1, 1],
['Brent', 1, 1, 0, 0],
['Epsom', 1, 1, 0, 0],
['Dover', 1, 1, 0, 0]]),
('variant scenario 1',
([['Brent', 1, 'Ashby', 1],
['Corby', 0, 'Brent', 0],
['Epsom', 0, 'Brent', 0],
['Corby', 3, 'Ashby', 1],
['Brent', 0, 'Epsom', 3],
['Brent', 0, 'Dover', 0]],
['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
[['Epsom', 2, 4, 3, 3],
['Corby', 2, 4, 2, 3],
['Brent', 5, 4, -3, 1],
['Dover', 1, 1, 0, 0],
['Ashby', 2, 1, -2, 2]]),
('variant scenario 2',
([['Ashby', 1, 'Brent', 1], ['Corby', 0, 'Ashby', 1], ['Corby', 1, 'Brent', 0]],
['Ashby', 'Brent', 'Corby']),
[['Ashby', 2, 4, 1, 2], ['Corby', 2, 3, 0, 1], ['Brent', 2, 1, -1, 1]])]]
for label, args, expected in cases[N - 1]:
check(label, run(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 |
|---|---|---|---|
| control single win | [['Ashby', 1, 3, 2, 2], ['Brent', 1, 0, -2, 0]] | [['Ashby', 1, 3, 2, 2], ['Brent', 1, 0, -2, 0]] | Passed |
| boundary draw | [['Ashby', 1, 1, 0, 1], ['Brent', 1, 1, 0, 1]] | [['Ashby', 1, 1, 0, 1], ['Brent', 1, 1, 0, 1]] | Passed |
| boundary goals scored before name | [['Corby', 2, 2, 0, 3], ['Brent', 1, 1, 0, 2], ['Ashby', 1, 1, 0, 1]] | [['Corby', 2, 2, 0, 3], ['Brent', 1, 1, 0, 2], ['Ashby', 1, 1, 0, 1]] | Passed |
| boundary head to head decides | [['Corby', 1, 3, 1, 2], ['Brent', 2, 3, 0, 3], ['Ashby', 2, 3, 0, 3], ['Dover', 1, 0, -1, 1]] | [['Corby', 1, 3, 1, 2], ['Brent', 2, 3, 0, 3], ['Ashby', 2, 3, 0, 3], ['Dover', 1, 0, -1, 1]] | Passed |
| control no matches | [['Ashby', 0, 0, 0, 0], ['Corby', 0, 0, 0, 0]] | [['Ashby', 0, 0, 0, 0], ['Corby', 0, 0, 0, 0]] | Passed |
| regression: head to head metric | [['Brent', 4, 6, 1, 4], ['Corby', 2, 2, 0, 1], ['Epsom', 2, 2, 0, 1], ['Dover', 2, 2, 0, 1], ['Ashby', 2, 1, -1, 0]] | [['Brent', 4, 6, 1, 4], ['Corby', 2, 2, 0, 1], ['Epsom', 2, 2, 0, 1], ['Dover', 2, 2, 0, 1], ['Ashby', 2, 1, -1, 0]] | Passed |
| variant scenario 1 | [['Ashby', 1, 3, 1, 1], ['Brent', 2, 2, 0, 0], ['Epsom', 3, 2, -1, 0], ['Corby', 0, 0, 0, 0], ['Dover', 0, 0, 0, 0]] | [['Ashby', 1, 3, 1, 1], ['Brent', 2, 2, 0, 0], ['Epsom', 3, 2, -1, 0], ['Corby', 0, 0, 0, 0], ['Dover', 0, 0, 0, 0]] | Passed |
| variant scenario 2 | [['Epsom', 3, 9, 4, 6], ['Brent', 3, 6, 3, 4], ['Dover', 2, 3, 0, 3], ['Corby', 0, 0, 0, 0], ['Ashby', 4, 0, -7, 2]] | [['Epsom', 3, 9, 4, 6], ['Brent', 3, 6, 3, 4], ['Dover', 2, 3, 0, 3], ['Corby', 0, 0, 0, 0], ['Ashby', 4, 0, -7, 2]] | Passed |
SHA-256 / 999143f2e405da64aae85906cb210cd9e426205ffd7b5fcc17601454c50e7569
Verification & scope
Stipulated, bounded toy contract stated in the contract field; not a claim of conformance with any governing body rulebook or operator house rules. 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:27.169618+00:00.
Case digest / badf5db16b26eb1ccef7af47ee522a37b300a0383f4fd357b1d86182517d5bce