FA-84331 / Sports scoring and tiebreakers / Open access
Two-to-nil with a drawn card labelled unanimous · case 01
A win with one judge scoring a draw is announced as unanimous or split.
ROOT CAUSE
The majority-decision branch is missing.
VERIFIED REPAIR
Label 2-0-1 results as majority decisions.
Unsuccessful approach: Labelling a drawn third card as a split decision confuses dissent with a draw.
Case contract
Ten-point-must decision. cards is three judge cards, each a list of [a_points, b_points] per round; deductions is [a_deducted, b_deducted] applied to every judge's totals. Each judge favours the higher total or scores a draw. Two or more judges for one fighter: "unanimous decision" if the other two agree, "split decision" if one judge favours the opponent, "majority decision" if one judge scores a draw. Otherwise: three draws "unanimous draw", two draws "majority draw", else "split draw". Return [result, winner or None, ["a-b" totals per judge]].
Why this case matters
Fight-result feeds classify decisions from judges' cards after deductions.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(cards, deductions):
verdicts = []
strs = []
for card in cards:
ta = sum(r[0] for r in card) - deductions[0]
tb = sum(r[1] for r in card) - deductions[1]
verdicts.append('A' if ta > tb else ('B' if tb > ta else 'D'))
strs.append('%d-%d' % (ta, tb))
a = verdicts.count('A')
b = verdicts.count('B')
d = verdicts.count('D')
if a >= 2 or b >= 2:
w = 'A' if a >= 2 else 'B'
loser_votes = b if w == 'A' else a
if loser_votes == 1:
kind = 'split decision'
else:
kind = 'unanimous decision'
return [kind, w, strs]
if d == 3:
kind = 'unanimous draw'
elif d == 2:
kind = 'majority draw'
else:
kind = 'split draw'
return [kind, None, strs]
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 unanimous',
([[[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]]],
[0, 0]),
['unanimous decision', 'A', ['30-27', '30-27', '30-27']]),
('boundary split decision',
([[[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [9, 10]]],
[0, 0]),
['split decision', 'A', ['29-28', '29-28', '28-29']]),
('boundary deduction creates draw',
([[[10, 9], [10, 9]], [[10, 9], [10, 9]], [[10, 9], [9, 10]]], [2, 0]),
['majority draw', None, ['18-18', '18-18', '17-19']]),
('control split draw',
([[[10, 9]], [[9, 10]], [[10, 10]]], [0, 0]),
['split draw', None, ['10-9', '9-10', '10-10']]),
('control unanimous draw',
([[[10, 10]], [[10, 10]], [[10, 10]]], [0, 0]),
['unanimous draw', None, ['10-10', '10-10', '10-10']]),
('regression: majority decision label',
([[[10, 10], [10, 9], [9, 10], [10, 10], [10, 8], [10, 10], [9, 10], [10, 9], [10, 10], [8, 10]],
[[10, 8], [10, 10], [10, 8], [10, 9], [8, 10], [8, 10], [8, 10], [9, 10], [8, 10], [9, 10]],
[[8, 10], [10, 9], [10, 8], [8, 10], [8, 10], [8, 10], [10, 10], [8, 10], [10, 8], [8, 10]]],
[0, 0]),
['majority decision', 'B', ['96-96', '90-95', '88-95']]),
('variant scenario 1',
([[[9, 10], [10, 8], [10, 8], [8, 10], [10, 9], [10, 10], [10, 8], [10, 9], [10, 8], [10, 10]],
[[8, 10], [10, 10], [8, 10], [8, 10], [9, 10], [10, 10], [10, 10], [10, 10], [10, 9], [8, 10]],
[[10, 10], [10, 8], [8, 10], [10, 10], [10, 9], [10, 10], [9, 10], [10, 9], [10, 8], [9, 10]]],
[1, 1]),
['split decision', 'A', ['96-89', '90-98', '95-93']]),
('variant scenario 2',
([[[10, 8],
[10, 9],
[10, 10],
[8, 10],
[10, 8],
[10, 9],
[8, 10],
[10, 9],
[10, 8],
[10, 10],
[10, 10],
[8, 10]],
[[10, 8],
[10, 10],
[10, 9],
[8, 10],
[9, 10],
[10, 10],
[10, 9],
[9, 10],
[10, 9],
[10, 9],
[10, 9],
[10, 10]],
[[10, 8],
[10, 10],
[10, 8],
[9, 10],
[10, 10],
[10, 9],
[8, 10],
[10, 8],
[10, 10],
[10, 9],
[8, 10],
[9, 10]]],
[2, 1]),
['unanimous decision', 'A', ['112-110', '114-112', '112-111']])],
[('control unanimous',
([[[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]]],
[0, 0]),
['unanimous decision', 'A', ['30-27', '30-27', '30-27']]),
('boundary split decision',
([[[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [9, 10]]],
[0, 0]),
['split decision', 'A', ['29-28', '29-28', '28-29']]),
('boundary deduction creates draw',
([[[10, 9], [10, 9]], [[10, 9], [10, 9]], [[10, 9], [9, 10]]], [2, 0]),
['majority draw', None, ['18-18', '18-18', '17-19']]),
('control split draw',
([[[10, 9]], [[9, 10]], [[10, 10]]], [0, 0]),
['split draw', None, ['10-9', '9-10', '10-10']]),
('control unanimous draw',
([[[10, 10]], [[10, 10]], [[10, 10]]], [0, 0]),
['unanimous draw', None, ['10-10', '10-10', '10-10']]),
('regression: majority decision label',
([[[10, 10], [10, 8], [10, 9], [9, 10], [10, 8], [10, 9], [10, 9], [9, 10], [10, 10], [9, 10]],
[[10, 9], [10, 8], [10, 9], [9, 10], [10, 9], [10, 9], [10, 10], [8, 10], [9, 10], [9, 10]],
[[10, 10], [10, 9], [8, 10], [8, 10], [8, 10], [8, 10], [10, 8], [10, 10], [10, 8], [10, 8]]],
[0, 1]),
['majority decision', 'A', ['97-92', '95-93', '92-92']]),
('variant scenario 1',
([[[8, 10],
[8, 10],
[10, 10],
[10, 9],
[9, 10],
[10, 9],
[8, 10],
[10, 9],
[10, 9],
[8, 10],
[10, 8],
[8, 10]],
[[10, 9],
[10, 10],
[10, 8],
[8, 10],
[10, 9],
[10, 10],
[10, 9],
[10, 10],
[10, 10],
[10, 8],
[8, 10],
[10, 9]],
[[10, 8],
[10, 10],
[10, 10],
[10, 9],
[10, 9],
[9, 10],
[10, 9],
[10, 9],
[8, 10],
[10, 8],
[10, 9],
[8, 10]]],
[0, 0]),
['split decision', 'A', ['109-114', '116-112', '115-111']]),
('variant scenario 2',
([[[10, 9], [8, 10], [10, 8], [8, 10], [10, 9], [10, 8]],
[[10, 9], [10, 8], [10, 9], [9, 10], [10, 8], [10, 9]],
[[9, 10], [8, 10], [9, 10], [10, 9], [8, 10], [10, 8]]],
[0, 1]),
['split decision', 'A', ['56-53', '59-52', '54-56']])],
[('control unanimous',
([[[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]]],
[0, 0]),
['unanimous decision', 'A', ['30-27', '30-27', '30-27']]),
('boundary split decision',
([[[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [9, 10]]],
[0, 0]),
['split decision', 'A', ['29-28', '29-28', '28-29']]),
('boundary deduction creates draw',
([[[10, 9], [10, 9]], [[10, 9], [10, 9]], [[10, 9], [9, 10]]], [2, 0]),
['majority draw', None, ['18-18', '18-18', '17-19']]),
('control split draw',
([[[10, 9]], [[9, 10]], [[10, 10]]], [0, 0]),
['split draw', None, ['10-9', '9-10', '10-10']]),
('control unanimous draw',
([[[10, 10]], [[10, 10]], [[10, 10]]], [0, 0]),
['unanimous draw', None, ['10-10', '10-10', '10-10']]),
('regression: majority decision label',
([[[10, 10], [10, 10], [8, 10], [10, 9], [8, 10], [10, 10]],
[[8, 10], [10, 9], [9, 10], [10, 9], [10, 8], [9, 10]],
[[8, 10], [10, 9], [8, 10], [9, 10], [8, 10], [10, 10]]],
[0, 0]),
['majority decision', 'B', ['56-59', '56-56', '53-59']]),
('variant scenario 1',
([[[10, 9], [10, 10], [9, 10], [10, 9], [9, 10], [8, 10], [10, 8], [10, 8], [8, 10], [10, 10]],
[[10, 8], [9, 10], [8, 10], [10, 9], [10, 9], [10, 10], [10, 9], [10, 9], [8, 10], [8, 10]],
[[8, 10], [8, 10], [8, 10], [9, 10], [10, 8], [10, 8], [10, 8], [10, 9], [10, 10], [9, 10]]],
[0, 1]),
['majority draw', None, ['94-93', '93-93', '92-92']]),
('variant scenario 2',
([[[10, 9], [10, 10], [8, 10], [10, 8], [8, 10], [10, 9]],
[[8, 10], [10, 8], [9, 10], [10, 10], [8, 10], [10, 8]],
[[10, 9], [10, 8], [10, 10], [10, 10], [10, 8], [10, 8]]],
[0, 0]),
['split draw', None, ['56-56', '55-56', '60-53']])],
[('control unanimous',
([[[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]]],
[0, 0]),
['unanimous decision', 'A', ['30-27', '30-27', '30-27']]),
('boundary split decision',
([[[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [9, 10]]],
[0, 0]),
['split decision', 'A', ['29-28', '29-28', '28-29']]),
('boundary deduction creates draw',
([[[10, 9], [10, 9]], [[10, 9], [10, 9]], [[10, 9], [9, 10]]], [2, 0]),
['majority draw', None, ['18-18', '18-18', '17-19']]),
('control split draw',
([[[10, 9]], [[9, 10]], [[10, 10]]], [0, 0]),
['split draw', None, ['10-9', '9-10', '10-10']]),
('control unanimous draw',
([[[10, 10]], [[10, 10]], [[10, 10]]], [0, 0]),
['unanimous draw', None, ['10-10', '10-10', '10-10']]),
('regression: majority decision label',
([[[8, 10], [8, 10], [10, 10], [10, 9]],
[[10, 10], [10, 10], [10, 10], [10, 10]],
[[9, 10], [10, 9], [8, 10], [8, 10]]],
[0, 0]),
['majority decision', 'B', ['36-39', '40-40', '35-39']]),
('variant scenario 1',
([[[10, 9], [10, 10], [10, 8], [8, 10]],
[[9, 10], [10, 9], [9, 10], [8, 10]],
[[8, 10], [10, 10], [10, 10], [10, 9]]],
[0, 1]),
['split draw', None, ['38-36', '36-38', '38-38']]),
('variant scenario 2',
([[[10, 8], [9, 10], [9, 10], [10, 8], [10, 8], [10, 9], [10, 8], [10, 8], [9, 10], [10, 8]],
[[8, 10], [8, 10], [10, 10], [10, 9], [10, 10], [10, 9], [9, 10], [10, 8], [8, 10], [10, 10]],
[[10, 9],
[10, 10],
[10, 8],
[10, 10],
[10, 10],
[9, 10],
[10, 10],
[10, 8],
[10, 10],
[8, 10]]],
[2, 1]),
['split decision', 'A', ['95-86', '91-95', '95-94']])],
[('control unanimous',
([[[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]]],
[0, 0]),
['unanimous decision', 'A', ['30-27', '30-27', '30-27']]),
('boundary split decision',
([[[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [9, 10]]],
[0, 0]),
['split decision', 'A', ['29-28', '29-28', '28-29']]),
('boundary deduction creates draw',
([[[10, 9], [10, 9]], [[10, 9], [10, 9]], [[10, 9], [9, 10]]], [2, 0]),
['majority draw', None, ['18-18', '18-18', '17-19']]),
('control split draw',
([[[10, 9]], [[9, 10]], [[10, 10]]], [0, 0]),
['split draw', None, ['10-9', '9-10', '10-10']]),
('control unanimous draw',
([[[10, 10]], [[10, 10]], [[10, 10]]], [0, 0]),
['unanimous draw', None, ['10-10', '10-10', '10-10']]),
('regression: majority decision label',
([[[10, 10], [10, 9], [10, 8], [10, 8]],
[[10, 8], [10, 10], [10, 10], [9, 10]],
[[10, 9], [9, 10], [10, 8], [8, 10]]],
[0, 0]),
['majority decision', 'A', ['40-35', '39-38', '37-37']]),
('variant scenario 1',
([[[10, 8], [10, 9], [8, 10], [10, 10]],
[[10, 9], [10, 10], [10, 9], [8, 10]],
[[10, 8], [8, 10], [10, 10], [10, 10]]],
[0, 0]),
['majority draw', None, ['38-37', '38-38', '38-38']]),
('variant scenario 2',
([[[10, 8], [10, 8], [10, 9], [8, 10]],
[[9, 10], [10, 8], [10, 9], [10, 8]],
[[10, 9], [10, 10], [8, 10], [10, 9]]],
[0, 0]),
['majority decision', 'A', ['38-35', '39-35', '38-38']])]]
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 unanimous | ['unanimous decision', 'A', ['30-27', '30-27', '30-27']] | ['unanimous decision', 'A', ['30-27', '30-27', '30-27']] | Passed |
| boundary split decision | ['split decision', 'A', ['29-28', '29-28', '28-29']] | ['split decision', 'A', ['29-28', '29-28', '28-29']] | Passed |
| boundary deduction creates draw | ['majority draw', None, ['18-18', '18-18', '17-19']] | ['majority draw', None, ['18-18', '18-18', '17-19']] | Passed |
| control split draw | ['split draw', None, ['10-9', '9-10', '10-10']] | ['split draw', None, ['10-9', '9-10', '10-10']] | Passed |
| control unanimous draw | ['unanimous draw', None, ['10-10', '10-10', '10-10']] | ['unanimous draw', None, ['10-10', '10-10', '10-10']] | Passed |
| regression: majority decision label | ['unanimous decision', 'B', ['96-96', '90-95', '88-95']] | ['majority decision', 'B', ['96-96', '90-95', '88-95']] | Failed |
| variant scenario 1 | ['split decision', 'A', ['96-89', '90-98', '95-93']] | ['split decision', 'A', ['96-89', '90-98', '95-93']] | Passed |
| variant scenario 2 | ['unanimous decision', 'A', ['112-110', '114-112', '112-111']] | ['unanimous decision', 'A', ['112-110', '114-112', '112-111']] | Passed |
SHA-256 / f6e41fa28f52011e43253a4e876be2fb90ed756aeeb275f391a1af3769fec1c6
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(cards, deductions):
verdicts = []
strs = []
for card in cards:
ta = sum(r[0] for r in card) - deductions[0]
tb = sum(r[1] for r in card) - deductions[1]
verdicts.append('A' if ta > tb else ('B' if tb > ta else 'D'))
strs.append('%d-%d' % (ta, tb))
a = verdicts.count('A')
b = verdicts.count('B')
d = verdicts.count('D')
if a >= 2 or b >= 2:
w = 'A' if a >= 2 else 'B'
loser_votes = b if w == 'A' else a
if loser_votes == 1:
kind = 'split decision'
elif d == 1:
kind = 'split decision'
else:
kind = 'unanimous decision'
return [kind, w, strs]
if d == 3:
kind = 'unanimous draw'
elif d == 2:
kind = 'majority draw'
else:
kind = 'split draw'
return [kind, None, strs]
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 unanimous',
([[[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]]],
[0, 0]),
['unanimous decision', 'A', ['30-27', '30-27', '30-27']]),
('boundary split decision',
([[[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [9, 10]]],
[0, 0]),
['split decision', 'A', ['29-28', '29-28', '28-29']]),
('boundary deduction creates draw',
([[[10, 9], [10, 9]], [[10, 9], [10, 9]], [[10, 9], [9, 10]]], [2, 0]),
['majority draw', None, ['18-18', '18-18', '17-19']]),
('control split draw',
([[[10, 9]], [[9, 10]], [[10, 10]]], [0, 0]),
['split draw', None, ['10-9', '9-10', '10-10']]),
('control unanimous draw',
([[[10, 10]], [[10, 10]], [[10, 10]]], [0, 0]),
['unanimous draw', None, ['10-10', '10-10', '10-10']]),
('regression: majority decision label',
([[[10, 10], [10, 9], [9, 10], [10, 10], [10, 8], [10, 10], [9, 10], [10, 9], [10, 10], [8, 10]],
[[10, 8], [10, 10], [10, 8], [10, 9], [8, 10], [8, 10], [8, 10], [9, 10], [8, 10], [9, 10]],
[[8, 10], [10, 9], [10, 8], [8, 10], [8, 10], [8, 10], [10, 10], [8, 10], [10, 8], [8, 10]]],
[0, 0]),
['majority decision', 'B', ['96-96', '90-95', '88-95']]),
('variant scenario 1',
([[[9, 10], [10, 8], [10, 8], [8, 10], [10, 9], [10, 10], [10, 8], [10, 9], [10, 8], [10, 10]],
[[8, 10], [10, 10], [8, 10], [8, 10], [9, 10], [10, 10], [10, 10], [10, 10], [10, 9], [8, 10]],
[[10, 10], [10, 8], [8, 10], [10, 10], [10, 9], [10, 10], [9, 10], [10, 9], [10, 8], [9, 10]]],
[1, 1]),
['split decision', 'A', ['96-89', '90-98', '95-93']]),
('variant scenario 2',
([[[10, 8],
[10, 9],
[10, 10],
[8, 10],
[10, 8],
[10, 9],
[8, 10],
[10, 9],
[10, 8],
[10, 10],
[10, 10],
[8, 10]],
[[10, 8],
[10, 10],
[10, 9],
[8, 10],
[9, 10],
[10, 10],
[10, 9],
[9, 10],
[10, 9],
[10, 9],
[10, 9],
[10, 10]],
[[10, 8],
[10, 10],
[10, 8],
[9, 10],
[10, 10],
[10, 9],
[8, 10],
[10, 8],
[10, 10],
[10, 9],
[8, 10],
[9, 10]]],
[2, 1]),
['unanimous decision', 'A', ['112-110', '114-112', '112-111']])],
[('control unanimous',
([[[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]]],
[0, 0]),
['unanimous decision', 'A', ['30-27', '30-27', '30-27']]),
('boundary split decision',
([[[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [9, 10]]],
[0, 0]),
['split decision', 'A', ['29-28', '29-28', '28-29']]),
('boundary deduction creates draw',
([[[10, 9], [10, 9]], [[10, 9], [10, 9]], [[10, 9], [9, 10]]], [2, 0]),
['majority draw', None, ['18-18', '18-18', '17-19']]),
('control split draw',
([[[10, 9]], [[9, 10]], [[10, 10]]], [0, 0]),
['split draw', None, ['10-9', '9-10', '10-10']]),
('control unanimous draw',
([[[10, 10]], [[10, 10]], [[10, 10]]], [0, 0]),
['unanimous draw', None, ['10-10', '10-10', '10-10']]),
('regression: majority decision label',
([[[10, 10], [10, 8], [10, 9], [9, 10], [10, 8], [10, 9], [10, 9], [9, 10], [10, 10], [9, 10]],
[[10, 9], [10, 8], [10, 9], [9, 10], [10, 9], [10, 9], [10, 10], [8, 10], [9, 10], [9, 10]],
[[10, 10], [10, 9], [8, 10], [8, 10], [8, 10], [8, 10], [10, 8], [10, 10], [10, 8], [10, 8]]],
[0, 1]),
['majority decision', 'A', ['97-92', '95-93', '92-92']]),
('variant scenario 1',
([[[8, 10],
[8, 10],
[10, 10],
[10, 9],
[9, 10],
[10, 9],
[8, 10],
[10, 9],
[10, 9],
[8, 10],
[10, 8],
[8, 10]],
[[10, 9],
[10, 10],
[10, 8],
[8, 10],
[10, 9],
[10, 10],
[10, 9],
[10, 10],
[10, 10],
[10, 8],
[8, 10],
[10, 9]],
[[10, 8],
[10, 10],
[10, 10],
[10, 9],
[10, 9],
[9, 10],
[10, 9],
[10, 9],
[8, 10],
[10, 8],
[10, 9],
[8, 10]]],
[0, 0]),
['split decision', 'A', ['109-114', '116-112', '115-111']]),
('variant scenario 2',
([[[10, 9], [8, 10], [10, 8], [8, 10], [10, 9], [10, 8]],
[[10, 9], [10, 8], [10, 9], [9, 10], [10, 8], [10, 9]],
[[9, 10], [8, 10], [9, 10], [10, 9], [8, 10], [10, 8]]],
[0, 1]),
['split decision', 'A', ['56-53', '59-52', '54-56']])],
[('control unanimous',
([[[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]]],
[0, 0]),
['unanimous decision', 'A', ['30-27', '30-27', '30-27']]),
('boundary split decision',
([[[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [9, 10]]],
[0, 0]),
['split decision', 'A', ['29-28', '29-28', '28-29']]),
('boundary deduction creates draw',
([[[10, 9], [10, 9]], [[10, 9], [10, 9]], [[10, 9], [9, 10]]], [2, 0]),
['majority draw', None, ['18-18', '18-18', '17-19']]),
('control split draw',
([[[10, 9]], [[9, 10]], [[10, 10]]], [0, 0]),
['split draw', None, ['10-9', '9-10', '10-10']]),
('control unanimous draw',
([[[10, 10]], [[10, 10]], [[10, 10]]], [0, 0]),
['unanimous draw', None, ['10-10', '10-10', '10-10']]),
('regression: majority decision label',
([[[10, 10], [10, 10], [8, 10], [10, 9], [8, 10], [10, 10]],
[[8, 10], [10, 9], [9, 10], [10, 9], [10, 8], [9, 10]],
[[8, 10], [10, 9], [8, 10], [9, 10], [8, 10], [10, 10]]],
[0, 0]),
['majority decision', 'B', ['56-59', '56-56', '53-59']]),
('variant scenario 1',
([[[10, 9], [10, 10], [9, 10], [10, 9], [9, 10], [8, 10], [10, 8], [10, 8], [8, 10], [10, 10]],
[[10, 8], [9, 10], [8, 10], [10, 9], [10, 9], [10, 10], [10, 9], [10, 9], [8, 10], [8, 10]],
[[8, 10], [8, 10], [8, 10], [9, 10], [10, 8], [10, 8], [10, 8], [10, 9], [10, 10], [9, 10]]],
[0, 1]),
['majority draw', None, ['94-93', '93-93', '92-92']]),
('variant scenario 2',
([[[10, 9], [10, 10], [8, 10], [10, 8], [8, 10], [10, 9]],
[[8, 10], [10, 8], [9, 10], [10, 10], [8, 10], [10, 8]],
[[10, 9], [10, 8], [10, 10], [10, 10], [10, 8], [10, 8]]],
[0, 0]),
['split draw', None, ['56-56', '55-56', '60-53']])],
[('control unanimous',
([[[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]]],
[0, 0]),
['unanimous decision', 'A', ['30-27', '30-27', '30-27']]),
('boundary split decision',
([[[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [9, 10]]],
[0, 0]),
['split decision', 'A', ['29-28', '29-28', '28-29']]),
('boundary deduction creates draw',
([[[10, 9], [10, 9]], [[10, 9], [10, 9]], [[10, 9], [9, 10]]], [2, 0]),
['majority draw', None, ['18-18', '18-18', '17-19']]),
('control split draw',
([[[10, 9]], [[9, 10]], [[10, 10]]], [0, 0]),
['split draw', None, ['10-9', '9-10', '10-10']]),
('control unanimous draw',
([[[10, 10]], [[10, 10]], [[10, 10]]], [0, 0]),
['unanimous draw', None, ['10-10', '10-10', '10-10']]),
('regression: majority decision label',
([[[8, 10], [8, 10], [10, 10], [10, 9]],
[[10, 10], [10, 10], [10, 10], [10, 10]],
[[9, 10], [10, 9], [8, 10], [8, 10]]],
[0, 0]),
['majority decision', 'B', ['36-39', '40-40', '35-39']]),
('variant scenario 1',
([[[10, 9], [10, 10], [10, 8], [8, 10]],
[[9, 10], [10, 9], [9, 10], [8, 10]],
[[8, 10], [10, 10], [10, 10], [10, 9]]],
[0, 1]),
['split draw', None, ['38-36', '36-38', '38-38']]),
('variant scenario 2',
([[[10, 8], [9, 10], [9, 10], [10, 8], [10, 8], [10, 9], [10, 8], [10, 8], [9, 10], [10, 8]],
[[8, 10], [8, 10], [10, 10], [10, 9], [10, 10], [10, 9], [9, 10], [10, 8], [8, 10], [10, 10]],
[[10, 9],
[10, 10],
[10, 8],
[10, 10],
[10, 10],
[9, 10],
[10, 10],
[10, 8],
[10, 10],
[8, 10]]],
[2, 1]),
['split decision', 'A', ['95-86', '91-95', '95-94']])],
[('control unanimous',
([[[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]]],
[0, 0]),
['unanimous decision', 'A', ['30-27', '30-27', '30-27']]),
('boundary split decision',
([[[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [9, 10]]],
[0, 0]),
['split decision', 'A', ['29-28', '29-28', '28-29']]),
('boundary deduction creates draw',
([[[10, 9], [10, 9]], [[10, 9], [10, 9]], [[10, 9], [9, 10]]], [2, 0]),
['majority draw', None, ['18-18', '18-18', '17-19']]),
('control split draw',
([[[10, 9]], [[9, 10]], [[10, 10]]], [0, 0]),
['split draw', None, ['10-9', '9-10', '10-10']]),
('control unanimous draw',
([[[10, 10]], [[10, 10]], [[10, 10]]], [0, 0]),
['unanimous draw', None, ['10-10', '10-10', '10-10']]),
('regression: majority decision label',
([[[10, 10], [10, 9], [10, 8], [10, 8]],
[[10, 8], [10, 10], [10, 10], [9, 10]],
[[10, 9], [9, 10], [10, 8], [8, 10]]],
[0, 0]),
['majority decision', 'A', ['40-35', '39-38', '37-37']]),
('variant scenario 1',
([[[10, 8], [10, 9], [8, 10], [10, 10]],
[[10, 9], [10, 10], [10, 9], [8, 10]],
[[10, 8], [8, 10], [10, 10], [10, 10]]],
[0, 0]),
['majority draw', None, ['38-37', '38-38', '38-38']]),
('variant scenario 2',
([[[10, 8], [10, 8], [10, 9], [8, 10]],
[[9, 10], [10, 8], [10, 9], [10, 8]],
[[10, 9], [10, 10], [8, 10], [10, 9]]],
[0, 0]),
['majority decision', 'A', ['38-35', '39-35', '38-38']])]]
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 unanimous | ['unanimous decision', 'A', ['30-27', '30-27', '30-27']] | ['unanimous decision', 'A', ['30-27', '30-27', '30-27']] | Passed |
| boundary split decision | ['split decision', 'A', ['29-28', '29-28', '28-29']] | ['split decision', 'A', ['29-28', '29-28', '28-29']] | Passed |
| boundary deduction creates draw | ['majority draw', None, ['18-18', '18-18', '17-19']] | ['majority draw', None, ['18-18', '18-18', '17-19']] | Passed |
| control split draw | ['split draw', None, ['10-9', '9-10', '10-10']] | ['split draw', None, ['10-9', '9-10', '10-10']] | Passed |
| control unanimous draw | ['unanimous draw', None, ['10-10', '10-10', '10-10']] | ['unanimous draw', None, ['10-10', '10-10', '10-10']] | Passed |
| regression: majority decision label | ['split decision', 'B', ['96-96', '90-95', '88-95']] | ['majority decision', 'B', ['96-96', '90-95', '88-95']] | Failed |
| variant scenario 1 | ['split decision', 'A', ['96-89', '90-98', '95-93']] | ['split decision', 'A', ['96-89', '90-98', '95-93']] | Passed |
| variant scenario 2 | ['unanimous decision', 'A', ['112-110', '114-112', '112-111']] | ['unanimous decision', 'A', ['112-110', '114-112', '112-111']] | Passed |
SHA-256 / 21f7592966a67ac18a1124090394360872bf58fa2aee147ef7a1e67e92523082
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(cards, deductions):
verdicts = []
strs = []
for card in cards:
ta = sum(r[0] for r in card) - deductions[0]
tb = sum(r[1] for r in card) - deductions[1]
verdicts.append('A' if ta > tb else ('B' if tb > ta else 'D'))
strs.append('%d-%d' % (ta, tb))
a = verdicts.count('A')
b = verdicts.count('B')
d = verdicts.count('D')
if a >= 2 or b >= 2:
w = 'A' if a >= 2 else 'B'
loser_votes = b if w == 'A' else a
if loser_votes == 1:
kind = 'split decision'
elif d == 1:
kind = 'majority decision'
else:
kind = 'unanimous decision'
return [kind, w, strs]
if d == 3:
kind = 'unanimous draw'
elif d == 2:
kind = 'majority draw'
else:
kind = 'split draw'
return [kind, None, strs]
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 unanimous',
([[[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]]],
[0, 0]),
['unanimous decision', 'A', ['30-27', '30-27', '30-27']]),
('boundary split decision',
([[[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [9, 10]]],
[0, 0]),
['split decision', 'A', ['29-28', '29-28', '28-29']]),
('boundary deduction creates draw',
([[[10, 9], [10, 9]], [[10, 9], [10, 9]], [[10, 9], [9, 10]]], [2, 0]),
['majority draw', None, ['18-18', '18-18', '17-19']]),
('control split draw',
([[[10, 9]], [[9, 10]], [[10, 10]]], [0, 0]),
['split draw', None, ['10-9', '9-10', '10-10']]),
('control unanimous draw',
([[[10, 10]], [[10, 10]], [[10, 10]]], [0, 0]),
['unanimous draw', None, ['10-10', '10-10', '10-10']]),
('regression: majority decision label',
([[[10, 10], [10, 9], [9, 10], [10, 10], [10, 8], [10, 10], [9, 10], [10, 9], [10, 10], [8, 10]],
[[10, 8], [10, 10], [10, 8], [10, 9], [8, 10], [8, 10], [8, 10], [9, 10], [8, 10], [9, 10]],
[[8, 10], [10, 9], [10, 8], [8, 10], [8, 10], [8, 10], [10, 10], [8, 10], [10, 8], [8, 10]]],
[0, 0]),
['majority decision', 'B', ['96-96', '90-95', '88-95']]),
('variant scenario 1',
([[[9, 10], [10, 8], [10, 8], [8, 10], [10, 9], [10, 10], [10, 8], [10, 9], [10, 8], [10, 10]],
[[8, 10], [10, 10], [8, 10], [8, 10], [9, 10], [10, 10], [10, 10], [10, 10], [10, 9], [8, 10]],
[[10, 10], [10, 8], [8, 10], [10, 10], [10, 9], [10, 10], [9, 10], [10, 9], [10, 8], [9, 10]]],
[1, 1]),
['split decision', 'A', ['96-89', '90-98', '95-93']]),
('variant scenario 2',
([[[10, 8],
[10, 9],
[10, 10],
[8, 10],
[10, 8],
[10, 9],
[8, 10],
[10, 9],
[10, 8],
[10, 10],
[10, 10],
[8, 10]],
[[10, 8],
[10, 10],
[10, 9],
[8, 10],
[9, 10],
[10, 10],
[10, 9],
[9, 10],
[10, 9],
[10, 9],
[10, 9],
[10, 10]],
[[10, 8],
[10, 10],
[10, 8],
[9, 10],
[10, 10],
[10, 9],
[8, 10],
[10, 8],
[10, 10],
[10, 9],
[8, 10],
[9, 10]]],
[2, 1]),
['unanimous decision', 'A', ['112-110', '114-112', '112-111']])],
[('control unanimous',
([[[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]]],
[0, 0]),
['unanimous decision', 'A', ['30-27', '30-27', '30-27']]),
('boundary split decision',
([[[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [9, 10]]],
[0, 0]),
['split decision', 'A', ['29-28', '29-28', '28-29']]),
('boundary deduction creates draw',
([[[10, 9], [10, 9]], [[10, 9], [10, 9]], [[10, 9], [9, 10]]], [2, 0]),
['majority draw', None, ['18-18', '18-18', '17-19']]),
('control split draw',
([[[10, 9]], [[9, 10]], [[10, 10]]], [0, 0]),
['split draw', None, ['10-9', '9-10', '10-10']]),
('control unanimous draw',
([[[10, 10]], [[10, 10]], [[10, 10]]], [0, 0]),
['unanimous draw', None, ['10-10', '10-10', '10-10']]),
('regression: majority decision label',
([[[10, 10], [10, 8], [10, 9], [9, 10], [10, 8], [10, 9], [10, 9], [9, 10], [10, 10], [9, 10]],
[[10, 9], [10, 8], [10, 9], [9, 10], [10, 9], [10, 9], [10, 10], [8, 10], [9, 10], [9, 10]],
[[10, 10], [10, 9], [8, 10], [8, 10], [8, 10], [8, 10], [10, 8], [10, 10], [10, 8], [10, 8]]],
[0, 1]),
['majority decision', 'A', ['97-92', '95-93', '92-92']]),
('variant scenario 1',
([[[8, 10],
[8, 10],
[10, 10],
[10, 9],
[9, 10],
[10, 9],
[8, 10],
[10, 9],
[10, 9],
[8, 10],
[10, 8],
[8, 10]],
[[10, 9],
[10, 10],
[10, 8],
[8, 10],
[10, 9],
[10, 10],
[10, 9],
[10, 10],
[10, 10],
[10, 8],
[8, 10],
[10, 9]],
[[10, 8],
[10, 10],
[10, 10],
[10, 9],
[10, 9],
[9, 10],
[10, 9],
[10, 9],
[8, 10],
[10, 8],
[10, 9],
[8, 10]]],
[0, 0]),
['split decision', 'A', ['109-114', '116-112', '115-111']]),
('variant scenario 2',
([[[10, 9], [8, 10], [10, 8], [8, 10], [10, 9], [10, 8]],
[[10, 9], [10, 8], [10, 9], [9, 10], [10, 8], [10, 9]],
[[9, 10], [8, 10], [9, 10], [10, 9], [8, 10], [10, 8]]],
[0, 1]),
['split decision', 'A', ['56-53', '59-52', '54-56']])],
[('control unanimous',
([[[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]]],
[0, 0]),
['unanimous decision', 'A', ['30-27', '30-27', '30-27']]),
('boundary split decision',
([[[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [9, 10]]],
[0, 0]),
['split decision', 'A', ['29-28', '29-28', '28-29']]),
('boundary deduction creates draw',
([[[10, 9], [10, 9]], [[10, 9], [10, 9]], [[10, 9], [9, 10]]], [2, 0]),
['majority draw', None, ['18-18', '18-18', '17-19']]),
('control split draw',
([[[10, 9]], [[9, 10]], [[10, 10]]], [0, 0]),
['split draw', None, ['10-9', '9-10', '10-10']]),
('control unanimous draw',
([[[10, 10]], [[10, 10]], [[10, 10]]], [0, 0]),
['unanimous draw', None, ['10-10', '10-10', '10-10']]),
('regression: majority decision label',
([[[10, 10], [10, 10], [8, 10], [10, 9], [8, 10], [10, 10]],
[[8, 10], [10, 9], [9, 10], [10, 9], [10, 8], [9, 10]],
[[8, 10], [10, 9], [8, 10], [9, 10], [8, 10], [10, 10]]],
[0, 0]),
['majority decision', 'B', ['56-59', '56-56', '53-59']]),
('variant scenario 1',
([[[10, 9], [10, 10], [9, 10], [10, 9], [9, 10], [8, 10], [10, 8], [10, 8], [8, 10], [10, 10]],
[[10, 8], [9, 10], [8, 10], [10, 9], [10, 9], [10, 10], [10, 9], [10, 9], [8, 10], [8, 10]],
[[8, 10], [8, 10], [8, 10], [9, 10], [10, 8], [10, 8], [10, 8], [10, 9], [10, 10], [9, 10]]],
[0, 1]),
['majority draw', None, ['94-93', '93-93', '92-92']]),
('variant scenario 2',
([[[10, 9], [10, 10], [8, 10], [10, 8], [8, 10], [10, 9]],
[[8, 10], [10, 8], [9, 10], [10, 10], [8, 10], [10, 8]],
[[10, 9], [10, 8], [10, 10], [10, 10], [10, 8], [10, 8]]],
[0, 0]),
['split draw', None, ['56-56', '55-56', '60-53']])],
[('control unanimous',
([[[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]]],
[0, 0]),
['unanimous decision', 'A', ['30-27', '30-27', '30-27']]),
('boundary split decision',
([[[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [9, 10]]],
[0, 0]),
['split decision', 'A', ['29-28', '29-28', '28-29']]),
('boundary deduction creates draw',
([[[10, 9], [10, 9]], [[10, 9], [10, 9]], [[10, 9], [9, 10]]], [2, 0]),
['majority draw', None, ['18-18', '18-18', '17-19']]),
('control split draw',
([[[10, 9]], [[9, 10]], [[10, 10]]], [0, 0]),
['split draw', None, ['10-9', '9-10', '10-10']]),
('control unanimous draw',
([[[10, 10]], [[10, 10]], [[10, 10]]], [0, 0]),
['unanimous draw', None, ['10-10', '10-10', '10-10']]),
('regression: majority decision label',
([[[8, 10], [8, 10], [10, 10], [10, 9]],
[[10, 10], [10, 10], [10, 10], [10, 10]],
[[9, 10], [10, 9], [8, 10], [8, 10]]],
[0, 0]),
['majority decision', 'B', ['36-39', '40-40', '35-39']]),
('variant scenario 1',
([[[10, 9], [10, 10], [10, 8], [8, 10]],
[[9, 10], [10, 9], [9, 10], [8, 10]],
[[8, 10], [10, 10], [10, 10], [10, 9]]],
[0, 1]),
['split draw', None, ['38-36', '36-38', '38-38']]),
('variant scenario 2',
([[[10, 8], [9, 10], [9, 10], [10, 8], [10, 8], [10, 9], [10, 8], [10, 8], [9, 10], [10, 8]],
[[8, 10], [8, 10], [10, 10], [10, 9], [10, 10], [10, 9], [9, 10], [10, 8], [8, 10], [10, 10]],
[[10, 9],
[10, 10],
[10, 8],
[10, 10],
[10, 10],
[9, 10],
[10, 10],
[10, 8],
[10, 10],
[8, 10]]],
[2, 1]),
['split decision', 'A', ['95-86', '91-95', '95-94']])],
[('control unanimous',
([[[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]], [[10, 9], [10, 9], [10, 9]]],
[0, 0]),
['unanimous decision', 'A', ['30-27', '30-27', '30-27']]),
('boundary split decision',
([[[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [10, 9]], [[10, 9], [9, 10], [9, 10]]],
[0, 0]),
['split decision', 'A', ['29-28', '29-28', '28-29']]),
('boundary deduction creates draw',
([[[10, 9], [10, 9]], [[10, 9], [10, 9]], [[10, 9], [9, 10]]], [2, 0]),
['majority draw', None, ['18-18', '18-18', '17-19']]),
('control split draw',
([[[10, 9]], [[9, 10]], [[10, 10]]], [0, 0]),
['split draw', None, ['10-9', '9-10', '10-10']]),
('control unanimous draw',
([[[10, 10]], [[10, 10]], [[10, 10]]], [0, 0]),
['unanimous draw', None, ['10-10', '10-10', '10-10']]),
('regression: majority decision label',
([[[10, 10], [10, 9], [10, 8], [10, 8]],
[[10, 8], [10, 10], [10, 10], [9, 10]],
[[10, 9], [9, 10], [10, 8], [8, 10]]],
[0, 0]),
['majority decision', 'A', ['40-35', '39-38', '37-37']]),
('variant scenario 1',
([[[10, 8], [10, 9], [8, 10], [10, 10]],
[[10, 9], [10, 10], [10, 9], [8, 10]],
[[10, 8], [8, 10], [10, 10], [10, 10]]],
[0, 0]),
['majority draw', None, ['38-37', '38-38', '38-38']]),
('variant scenario 2',
([[[10, 8], [10, 8], [10, 9], [8, 10]],
[[9, 10], [10, 8], [10, 9], [10, 8]],
[[10, 9], [10, 10], [8, 10], [10, 9]]],
[0, 0]),
['majority decision', 'A', ['38-35', '39-35', '38-38']])]]
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 unanimous | ['unanimous decision', 'A', ['30-27', '30-27', '30-27']] | ['unanimous decision', 'A', ['30-27', '30-27', '30-27']] | Passed |
| boundary split decision | ['split decision', 'A', ['29-28', '29-28', '28-29']] | ['split decision', 'A', ['29-28', '29-28', '28-29']] | Passed |
| boundary deduction creates draw | ['majority draw', None, ['18-18', '18-18', '17-19']] | ['majority draw', None, ['18-18', '18-18', '17-19']] | Passed |
| control split draw | ['split draw', None, ['10-9', '9-10', '10-10']] | ['split draw', None, ['10-9', '9-10', '10-10']] | Passed |
| control unanimous draw | ['unanimous draw', None, ['10-10', '10-10', '10-10']] | ['unanimous draw', None, ['10-10', '10-10', '10-10']] | Passed |
| regression: majority decision label | ['majority decision', 'B', ['96-96', '90-95', '88-95']] | ['majority decision', 'B', ['96-96', '90-95', '88-95']] | Passed |
| variant scenario 1 | ['split decision', 'A', ['96-89', '90-98', '95-93']] | ['split decision', 'A', ['96-89', '90-98', '95-93']] | Passed |
| variant scenario 2 | ['unanimous decision', 'A', ['112-110', '114-112', '112-111']] | ['unanimous decision', 'A', ['112-110', '114-112', '112-111']] | Passed |
SHA-256 / 47512a792b5f02574214c2dcf820cf0bc447efe337d578d94c1df90a088b2bdb
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:29.847834+00:00.
Case digest / cd020ba9a943b2290c2179f94603e9157d256ea0bda4a1aa7f8bf7019ad02bbe