FAILURE MAP
← Case archive

FA-84031 / Sports scoring and tiebreakers / Open access

Head-to-head mini-table includes matches against other teams · case 01

Level teams are split by overall form instead of their meetings with each other.

Verified by executionVariant 1 · 9 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The head-to-head sum includes every match of the team, not just matches inside the tied group.

THE FAILURE

The head-to-head sum includes every match of the team, not just matches inside the tied group.

Unsuccessful approach: Forming the tied group by points alone brings in teams that goal difference already separated.

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 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 scope',
   ([['Ashby', 1, 'Epsom', 1],
     ['Ashby', 1, 'Dover', 1],
     ['Corby', 0, 'Brent', 0],
     ['Corby', 1, 'Epsom', 1]],
    ['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
   [['Ashby', 2, 2, 0, 2],
    ['Epsom', 2, 2, 0, 2],
    ['Corby', 2, 2, 0, 1],
    ['Dover', 1, 1, 0, 1],
    ['Brent', 1, 1, 0, 0]]),
  ('regression: head to head scope',
   ([['Ashby', 0, 'Brent', 3],
     ['Ashby', 2, 'Corby', 1],
     ['Brent', 3, 'Ashby', 0],
     ['Brent', 1, 'Corby', 3],
     ['Corby', 3, 'Ashby', 0],
     ['Corby', 0, 'Brent', 0]],
    ['Ashby', 'Brent', 'Corby']),
   [['Corby', 4, 7, 4, 7], ['Brent', 4, 7, 4, 7], ['Ashby', 4, 3, -8, 2]]),
  ('variant scenario 1',
   ([['Corby', 1, 'Ashby', 1],
     ['Ashby', 0, 'Corby', 0],
     ['Brent', 0, 'Ashby', 0],
     ['Brent', 1, 'Corby', 0]],
    ['Ashby', 'Brent', 'Corby']),
   [['Brent', 2, 4, 1, 1], ['Ashby', 3, 3, 0, 1], ['Corby', 3, 2, -1, 1]]),
  ('variant scenario 2',
   ([['Ashby', 0, 'Brent', 3],
     ['Ashby', 3, 'Corby', 3],
     ['Brent', 1, 'Ashby', 2],
     ['Brent', 3, 'Corby', 2],
     ['Corby', 1, 'Ashby', 3],
     ['Corby', 3, 'Brent', 3]],
    ['Ashby', 'Brent', 'Corby']),
   [['Brent', 4, 7, 3, 10], ['Ashby', 4, 7, 0, 8], ['Corby', 4, 2, -3, 9]])],
 [('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 scope',
   ([['Brent', 1, 'Corby', 1], ['Corby', 0, 'Dover', 1], ['Epsom', 1, 'Ashby', 1]],
    ['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
   [['Dover', 1, 3, 1, 1],
    ['Ashby', 1, 1, 0, 1],
    ['Epsom', 1, 1, 0, 1],
    ['Brent', 1, 1, 0, 1],
    ['Corby', 2, 1, -1, 1]]),
  ('variant scenario 1',
   ([['Corby', 1, 'Ashby', 0], ['Brent', 1, 'Corby', 0], ['Brent', 0, 'Corby', 1]],
    ['Ashby', 'Brent', 'Corby']),
   [['Corby', 3, 6, 1, 2], ['Brent', 2, 3, 0, 1], ['Ashby', 1, 0, -1, 0]]),
  ('variant scenario 2',
   ([['Ashby', 3, 'Corby', 1], ['Corby', 0, 'Ashby', 0], ['Brent', 0, 'Ashby', 0]],
    ['Ashby', 'Brent', 'Corby']),
   [['Ashby', 3, 5, 2, 3], ['Brent', 1, 1, 0, 0], ['Corby', 2, 1, -2, 1]])],
 [('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 scope',
   ([['Ashby', 0, 'Brent', 1],
     ['Ashby', 0, 'Corby', 0],
     ['Ashby', 1, 'Epsom', 0],
     ['Dover', 0, 'Corby', 1],
     ['Brent', 0, 'Corby', 0],
     ['Brent', 0, 'Epsom', 1]],
    ['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
   [['Corby', 3, 5, 1, 1],
    ['Brent', 3, 4, 0, 1],
    ['Ashby', 3, 4, 0, 1],
    ['Epsom', 2, 3, 0, 1],
    ['Dover', 1, 0, -1, 0]]),
  ('regression: head to head scope',
   ([['Epsom', 0, 'Brent', 0],
     ['Ashby', 1, 'Corby', 1],
     ['Epsom', 1, 'Dover', 1],
     ['Epsom', 0, 'Brent', 1],
     ['Dover', 1, 'Ashby', 1]],
    ['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
   [['Brent', 2, 4, 1, 1],
    ['Ashby', 2, 2, 0, 2],
    ['Dover', 2, 2, 0, 2],
    ['Epsom', 3, 2, -1, 1],
    ['Corby', 1, 1, 0, 1]]),
  ('variant scenario 1',
   ([['Ashby', 2, 'Brent', 2],
     ['Ashby', 3, 'Corby', 0],
     ['Brent', 0, 'Ashby', 0],
     ['Brent', 0, 'Corby', 2],
     ['Corby', 2, 'Ashby', 1],
     ['Corby', 1, 'Brent', 0]],
    ['Ashby', 'Brent', 'Corby']),
   [['Corby', 4, 9, 1, 5], ['Ashby', 4, 5, 2, 6], ['Brent', 4, 2, -3, 2]]),
  ('variant scenario 2',
   ([['Dover', 3, 'Corby', 1],
     ['Ashby', 3, 'Brent', 1],
     ['Ashby', 3, 'Dover', 0],
     ['Corby', 1, 'Epsom', 0],
     ['Dover', 1, 'Brent', 1],
     ['Brent', 1, 'Ashby', 1]],
    ['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
   [['Ashby', 3, 7, 5, 7],
    ['Dover', 3, 4, -1, 4],
    ['Corby', 2, 3, -1, 2],
    ['Brent', 3, 2, -2, 3],
    ['Epsom', 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 scope',
   ([['Epsom', 1, 'Corby', 1],
     ['Epsom', 1, 'Corby', 0],
     ['Ashby', 0, 'Brent', 1],
     ['Corby', 0, 'Ashby', 1],
     ['Dover', 1, 'Ashby', 0],
     ['Dover', 0, 'Corby', 1],
     ['Dover', 1, 'Brent', 0],
     ['Brent', 1, 'Ashby', 0],
     ['Corby', 1, 'Ashby', 0]],
    ['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
   [['Corby', 5, 7, 0, 3],
    ['Dover', 3, 6, 1, 2],
    ['Brent', 3, 6, 1, 2],
    ['Epsom', 2, 4, 1, 2],
    ['Ashby', 5, 3, -3, 1]]),
  ('regression: head to head scope',
   ([['Corby', 1, 'Epsom', 1],
     ['Brent', 1, 'Dover', 1],
     ['Dover', 1, 'Corby', 0],
     ['Brent', 1, 'Ashby', 1]],
    ['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
   [['Dover', 2, 4, 1, 2],
    ['Brent', 2, 2, 0, 2],
    ['Ashby', 1, 1, 0, 1],
    ['Epsom', 1, 1, 0, 1],
    ['Corby', 2, 1, -1, 1]]),
  ('variant scenario 1',
   ([['Ashby', 1, 'Brent', 1],
     ['Corby', 0, 'Ashby', 0],
     ['Brent', 0, 'Ashby', 0],
     ['Corby', 1, 'Ashby', 1],
     ['Brent', 1, 'Dover', 1],
     ['Ashby', 1, 'Corby', 0]],
    ['Ashby', 'Brent', 'Corby', 'Dover']),
   [['Ashby', 5, 7, 1, 3], ['Brent', 3, 3, 0, 2], ['Corby', 3, 2, -1, 1], ['Dover', 1, 1, 0, 1]]),
  ('variant scenario 2',
   ([['Epsom', 1, 'Dover', 0],
     ['Epsom', 1, 'Dover', 0],
     ['Corby', 1, 'Dover', 0],
     ['Dover', 0, 'Epsom', 0],
     ['Ashby', 1, 'Dover', 0],
     ['Dover', 1, 'Ashby', 0],
     ['Corby', 0, 'Brent', 1],
     ['Brent', 1, 'Ashby', 0],
     ['Dover', 1, 'Ashby', 1]],
    ['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
   [['Epsom', 3, 7, 2, 2],
    ['Brent', 2, 6, 2, 2],
    ['Dover', 7, 5, -3, 2],
    ['Ashby', 4, 4, -1, 2],
    ['Corby', 2, 3, 0, 1]])],
 [('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 scope',
   ([['Ashby', 2, 'Brent', 1],
     ['Ashby', 1, 'Corby', 1],
     ['Brent', 1, 'Ashby', 1],
     ['Brent', 1, 'Corby', 0],
     ['Corby', 1, 'Ashby', 0],
     ['Corby', 2, 'Brent', 2]],
    ['Ashby', 'Brent', 'Corby']),
   [['Brent', 4, 5, 0, 5], ['Corby', 4, 5, 0, 4], ['Ashby', 4, 5, 0, 4]]),
  ('variant scenario 1',
   ([['Corby', 1, 'Brent', 1],
     ['Corby', 0, 'Epsom', 0],
     ['Ashby', 1, 'Brent', 0],
     ['Corby', 1, 'Epsom', 0]],
    ['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
   [['Corby', 3, 5, 1, 2],
    ['Ashby', 1, 3, 1, 1],
    ['Brent', 2, 1, -1, 1],
    ['Epsom', 2, 1, -1, 0],
    ['Dover', 0, 0, 0, 0]]),
  ('variant scenario 2',
   ([['Ashby', 2, 'Brent', 3],
     ['Ashby', 3, 'Corby', 1],
     ['Brent', 2, 'Ashby', 1],
     ['Brent', 2, 'Corby', 0],
     ['Corby', 2, 'Ashby', 0],
     ['Corby', 3, 'Brent', 1]],
    ['Ashby', 'Brent', 'Corby']),
   [['Brent', 4, 9, 2, 8], ['Corby', 4, 6, 0, 6], ['Ashby', 4, 3, -2, 6]])]]
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 fixtureActualExpectedOutcome
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], ['Ashby', 2, 3, 0, 3], ['Brent', 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]]Failed
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 scope[['Ashby', 2, 2, 0, 2], ['Epsom', 2, 2, 0, 2], ['Corby', 2, 2, 0, 1], ['Dover', 1, 1, 0, 1], ['Brent', 1, 1, 0, 0]][['Ashby', 2, 2, 0, 2], ['Epsom', 2, 2, 0, 2], ['Corby', 2, 2, 0, 1], ['Dover', 1, 1, 0, 1], ['Brent', 1, 1, 0, 0]]Passed
regression: head to head scope[['Brent', 4, 7, 4, 7], ['Corby', 4, 7, 4, 7], ['Ashby', 4, 3, -8, 2]][['Corby', 4, 7, 4, 7], ['Brent', 4, 7, 4, 7], ['Ashby', 4, 3, -8, 2]]Failed
variant scenario 1[['Brent', 2, 4, 1, 1], ['Ashby', 3, 3, 0, 1], ['Corby', 3, 2, -1, 1]][['Brent', 2, 4, 1, 1], ['Ashby', 3, 3, 0, 1], ['Corby', 3, 2, -1, 1]]Passed
variant scenario 2[['Brent', 4, 7, 3, 10], ['Ashby', 4, 7, 0, 8], ['Corby', 4, 2, -3, 9]][['Brent', 4, 7, 3, 10], ['Ashby', 4, 7, 0, 8], ['Corby', 4, 2, -3, 9]]Passed

SHA-256 / b35814cf692f9751fd1b31a843cd57d68f93fc034037bbc59448fe667c89b920

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)[0] == key3(t)[0]]
        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 scope',
   ([['Ashby', 1, 'Epsom', 1],
     ['Ashby', 1, 'Dover', 1],
     ['Corby', 0, 'Brent', 0],
     ['Corby', 1, 'Epsom', 1]],
    ['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
   [['Ashby', 2, 2, 0, 2],
    ['Epsom', 2, 2, 0, 2],
    ['Corby', 2, 2, 0, 1],
    ['Dover', 1, 1, 0, 1],
    ['Brent', 1, 1, 0, 0]]),
  ('regression: head to head scope',
   ([['Ashby', 0, 'Brent', 3],
     ['Ashby', 2, 'Corby', 1],
     ['Brent', 3, 'Ashby', 0],
     ['Brent', 1, 'Corby', 3],
     ['Corby', 3, 'Ashby', 0],
     ['Corby', 0, 'Brent', 0]],
    ['Ashby', 'Brent', 'Corby']),
   [['Corby', 4, 7, 4, 7], ['Brent', 4, 7, 4, 7], ['Ashby', 4, 3, -8, 2]]),
  ('variant scenario 1',
   ([['Corby', 1, 'Ashby', 1],
     ['Ashby', 0, 'Corby', 0],
     ['Brent', 0, 'Ashby', 0],
     ['Brent', 1, 'Corby', 0]],
    ['Ashby', 'Brent', 'Corby']),
   [['Brent', 2, 4, 1, 1], ['Ashby', 3, 3, 0, 1], ['Corby', 3, 2, -1, 1]]),
  ('variant scenario 2',
   ([['Ashby', 0, 'Brent', 3],
     ['Ashby', 3, 'Corby', 3],
     ['Brent', 1, 'Ashby', 2],
     ['Brent', 3, 'Corby', 2],
     ['Corby', 1, 'Ashby', 3],
     ['Corby', 3, 'Brent', 3]],
    ['Ashby', 'Brent', 'Corby']),
   [['Brent', 4, 7, 3, 10], ['Ashby', 4, 7, 0, 8], ['Corby', 4, 2, -3, 9]])],
 [('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 scope',
   ([['Brent', 1, 'Corby', 1], ['Corby', 0, 'Dover', 1], ['Epsom', 1, 'Ashby', 1]],
    ['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
   [['Dover', 1, 3, 1, 1],
    ['Ashby', 1, 1, 0, 1],
    ['Epsom', 1, 1, 0, 1],
    ['Brent', 1, 1, 0, 1],
    ['Corby', 2, 1, -1, 1]]),
  ('variant scenario 1',
   ([['Corby', 1, 'Ashby', 0], ['Brent', 1, 'Corby', 0], ['Brent', 0, 'Corby', 1]],
    ['Ashby', 'Brent', 'Corby']),
   [['Corby', 3, 6, 1, 2], ['Brent', 2, 3, 0, 1], ['Ashby', 1, 0, -1, 0]]),
  ('variant scenario 2',
   ([['Ashby', 3, 'Corby', 1], ['Corby', 0, 'Ashby', 0], ['Brent', 0, 'Ashby', 0]],
    ['Ashby', 'Brent', 'Corby']),
   [['Ashby', 3, 5, 2, 3], ['Brent', 1, 1, 0, 0], ['Corby', 2, 1, -2, 1]])],
 [('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 scope',
   ([['Ashby', 0, 'Brent', 1],
     ['Ashby', 0, 'Corby', 0],
     ['Ashby', 1, 'Epsom', 0],
     ['Dover', 0, 'Corby', 1],
     ['Brent', 0, 'Corby', 0],
     ['Brent', 0, 'Epsom', 1]],
    ['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
   [['Corby', 3, 5, 1, 1],
    ['Brent', 3, 4, 0, 1],
    ['Ashby', 3, 4, 0, 1],
    ['Epsom', 2, 3, 0, 1],
    ['Dover', 1, 0, -1, 0]]),
  ('regression: head to head scope',
   ([['Epsom', 0, 'Brent', 0],
     ['Ashby', 1, 'Corby', 1],
     ['Epsom', 1, 'Dover', 1],
     ['Epsom', 0, 'Brent', 1],
     ['Dover', 1, 'Ashby', 1]],
    ['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
   [['Brent', 2, 4, 1, 1],
    ['Ashby', 2, 2, 0, 2],
    ['Dover', 2, 2, 0, 2],
    ['Epsom', 3, 2, -1, 1],
    ['Corby', 1, 1, 0, 1]]),
  ('variant scenario 1',
   ([['Ashby', 2, 'Brent', 2],
     ['Ashby', 3, 'Corby', 0],
     ['Brent', 0, 'Ashby', 0],
     ['Brent', 0, 'Corby', 2],
     ['Corby', 2, 'Ashby', 1],
     ['Corby', 1, 'Brent', 0]],
    ['Ashby', 'Brent', 'Corby']),
   [['Corby', 4, 9, 1, 5], ['Ashby', 4, 5, 2, 6], ['Brent', 4, 2, -3, 2]]),
  ('variant scenario 2',
   ([['Dover', 3, 'Corby', 1],
     ['Ashby', 3, 'Brent', 1],
     ['Ashby', 3, 'Dover', 0],
     ['Corby', 1, 'Epsom', 0],
     ['Dover', 1, 'Brent', 1],
     ['Brent', 1, 'Ashby', 1]],
    ['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
   [['Ashby', 3, 7, 5, 7],
    ['Dover', 3, 4, -1, 4],
    ['Corby', 2, 3, -1, 2],
    ['Brent', 3, 2, -2, 3],
    ['Epsom', 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 scope',
   ([['Epsom', 1, 'Corby', 1],
     ['Epsom', 1, 'Corby', 0],
     ['Ashby', 0, 'Brent', 1],
     ['Corby', 0, 'Ashby', 1],
     ['Dover', 1, 'Ashby', 0],
     ['Dover', 0, 'Corby', 1],
     ['Dover', 1, 'Brent', 0],
     ['Brent', 1, 'Ashby', 0],
     ['Corby', 1, 'Ashby', 0]],
    ['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
   [['Corby', 5, 7, 0, 3],
    ['Dover', 3, 6, 1, 2],
    ['Brent', 3, 6, 1, 2],
    ['Epsom', 2, 4, 1, 2],
    ['Ashby', 5, 3, -3, 1]]),
  ('regression: head to head scope',
   ([['Corby', 1, 'Epsom', 1],
     ['Brent', 1, 'Dover', 1],
     ['Dover', 1, 'Corby', 0],
     ['Brent', 1, 'Ashby', 1]],
    ['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
   [['Dover', 2, 4, 1, 2],
    ['Brent', 2, 2, 0, 2],
    ['Ashby', 1, 1, 0, 1],
    ['Epsom', 1, 1, 0, 1],
    ['Corby', 2, 1, -1, 1]]),
  ('variant scenario 1',
   ([['Ashby', 1, 'Brent', 1],
     ['Corby', 0, 'Ashby', 0],
     ['Brent', 0, 'Ashby', 0],
     ['Corby', 1, 'Ashby', 1],
     ['Brent', 1, 'Dover', 1],
     ['Ashby', 1, 'Corby', 0]],
    ['Ashby', 'Brent', 'Corby', 'Dover']),
   [['Ashby', 5, 7, 1, 3], ['Brent', 3, 3, 0, 2], ['Corby', 3, 2, -1, 1], ['Dover', 1, 1, 0, 1]]),
  ('variant scenario 2',
   ([['Epsom', 1, 'Dover', 0],
     ['Epsom', 1, 'Dover', 0],
     ['Corby', 1, 'Dover', 0],
     ['Dover', 0, 'Epsom', 0],
     ['Ashby', 1, 'Dover', 0],
     ['Dover', 1, 'Ashby', 0],
     ['Corby', 0, 'Brent', 1],
     ['Brent', 1, 'Ashby', 0],
     ['Dover', 1, 'Ashby', 1]],
    ['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
   [['Epsom', 3, 7, 2, 2],
    ['Brent', 2, 6, 2, 2],
    ['Dover', 7, 5, -3, 2],
    ['Ashby', 4, 4, -1, 2],
    ['Corby', 2, 3, 0, 1]])],
 [('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 scope',
   ([['Ashby', 2, 'Brent', 1],
     ['Ashby', 1, 'Corby', 1],
     ['Brent', 1, 'Ashby', 1],
     ['Brent', 1, 'Corby', 0],
     ['Corby', 1, 'Ashby', 0],
     ['Corby', 2, 'Brent', 2]],
    ['Ashby', 'Brent', 'Corby']),
   [['Brent', 4, 5, 0, 5], ['Corby', 4, 5, 0, 4], ['Ashby', 4, 5, 0, 4]]),
  ('variant scenario 1',
   ([['Corby', 1, 'Brent', 1],
     ['Corby', 0, 'Epsom', 0],
     ['Ashby', 1, 'Brent', 0],
     ['Corby', 1, 'Epsom', 0]],
    ['Ashby', 'Brent', 'Corby', 'Dover', 'Epsom']),
   [['Corby', 3, 5, 1, 2],
    ['Ashby', 1, 3, 1, 1],
    ['Brent', 2, 1, -1, 1],
    ['Epsom', 2, 1, -1, 0],
    ['Dover', 0, 0, 0, 0]]),
  ('variant scenario 2',
   ([['Ashby', 2, 'Brent', 3],
     ['Ashby', 3, 'Corby', 1],
     ['Brent', 2, 'Ashby', 1],
     ['Brent', 2, 'Corby', 0],
     ['Corby', 2, 'Ashby', 0],
     ['Corby', 3, 'Brent', 1]],
    ['Ashby', 'Brent', 'Corby']),
   [['Brent', 4, 9, 2, 8], ['Corby', 4, 6, 0, 6], ['Ashby', 4, 3, -2, 6]])]]
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 fixtureActualExpectedOutcome
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 scope[['Epsom', 2, 2, 0, 2], ['Ashby', 2, 2, 0, 2], ['Corby', 2, 2, 0, 1], ['Dover', 1, 1, 0, 1], ['Brent', 1, 1, 0, 0]][['Ashby', 2, 2, 0, 2], ['Epsom', 2, 2, 0, 2], ['Corby', 2, 2, 0, 1], ['Dover', 1, 1, 0, 1], ['Brent', 1, 1, 0, 0]]Failed
regression: head to head scope[['Corby', 4, 7, 4, 7], ['Brent', 4, 7, 4, 7], ['Ashby', 4, 3, -8, 2]][['Corby', 4, 7, 4, 7], ['Brent', 4, 7, 4, 7], ['Ashby', 4, 3, -8, 2]]Passed
variant scenario 1[['Brent', 2, 4, 1, 1], ['Ashby', 3, 3, 0, 1], ['Corby', 3, 2, -1, 1]][['Brent', 2, 4, 1, 1], ['Ashby', 3, 3, 0, 1], ['Corby', 3, 2, -1, 1]]Passed
variant scenario 2[['Brent', 4, 7, 3, 10], ['Ashby', 4, 7, 0, 8], ['Corby', 4, 2, -3, 9]][['Brent', 4, 7, 3, 10], ['Ashby', 4, 7, 0, 8], ['Corby', 4, 2, -3, 9]]Passed

SHA-256 / 601711ae4f0c793de44de0d5357539f1b20f010ce3fa6e215dac5cd489df3345

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 9 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

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.171863+00:00.

Case digest / a936b2b64653d8020bc09676fc43a59dca1ceefea9c0449eb90cf94aeb837b00