FA-85011 / Fantasy sports scoring / Open access
Median ending in .005 truncated before comparison · case 01
A team exactly 0.005 below a half-hundredth median is recorded as a median tie.
ROOT CAUSE
The doubled median is halved with integer division, discarding the half hundredth before comparing.
VERIFIED REPAIR
Compare doubled scores against the doubled median.
Unsuccessful approach: Fixing only the win branch still truncates the loss comparison and creates phantom ties.
Case contract
Weekly fantasy scores are integer hundredths. Each head-to-head pair records a win/loss or a tie on equal scores (an odd team out has no head-to-head game). Every team also plays the league median: the middle score for an odd team count or the mean of the two middle scores for an even count; above the median is a win, below a loss, equal a tie. Return team -> [wins, losses, ties].
Why this case matters
Median-scoring leagues award a second result each week; the median definition and half-point comparisons decide playoff races.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(pairs, scores):
rec = {t: [0, 0, 0] for t in scores}
for a, b in pairs:
if scores[a] > scores[b]:
rec[a][0] += 1; rec[b][1] += 1
elif scores[a] < scores[b]:
rec[a][1] += 1; rec[b][0] += 1
else:
rec[a][2] += 1; rec[b][2] += 1
vals = sorted(scores.values())
n = len(vals)
twice_median = vals[n // 2] * 2 if n % 2 else vals[n // 2 - 1] + vals[n // 2]
for t, s in scores.items():
if s > twice_median // 2:
rec[t][0] += 1
elif s < twice_median // 2:
rec[t][1] += 1
else:
rec[t][2] += 1
return rec
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: half-point median comparison',
[[['T0', 'T2'], ['T5', 'T4'], ['T1', 'T3']],
{'T0': 12000, 'T1': 10110, 'T2': 10110, 'T3': 10111, 'T4': 12000, 'T5': 9025}],
{'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0], 'T4': [2, 0, 0], 'T5': [0, 2, 0]}),
('partial repair probe: half-point median comparison',
[[['T6', 'T4'], ['T2', 'T0'], ['T7', 'T1'], ['T3', 'T5']],
{'T0': 10111, 'T1': 12000, 'T2': 12000, 'T3': 10111, 'T4': 10110, 'T5': 9025, 'T6': 9025, 'T7': 9025}],
{'T0': [1, 1, 0],
'T1': [2, 0, 0],
'T2': [2, 0, 0],
'T3': [2, 0, 0],
'T4': [1, 1, 0],
'T5': [0, 2, 0],
'T6': [0, 2, 0],
'T7': [0, 2, 0]}),
('second regression', [[['T3', 'T2'], ['T0', 'T1']], {'T0': 10110, 'T1': 8850, 'T2': 10111, 'T3': 12000}],
{'T0': [1, 1, 0], 'T1': [0, 2, 0], 'T2': [1, 1, 0], 'T3': [2, 0, 0]}),
('normal control 1',
[[['T3', 'T1'], ['T0', 'T5'], ['T6', 'T4']],
{'T0': 10111, 'T1': 10110, 'T2': 9025, 'T3': 12893, 'T4': 8850, 'T5': 11240, 'T6': 10110}],
{'T0': [1, 1, 0],
'T1': [0, 1, 1],
'T2': [0, 1, 0],
'T3': [2, 0, 0],
'T4': [0, 2, 0],
'T5': [2, 0, 0],
'T6': [1, 0, 1]}),
('normal control 2',
[[['T3', 'T5'], ['T1', 'T0'], ['T2', 'T4']],
{'T0': 12000, 'T1': 12000, 'T2': 9025, 'T3': 9025, 'T4': 8850, 'T5': 10443}],
{'T0': [1, 0, 1], 'T1': [1, 0, 1], 'T2': [1, 1, 0], 'T3': [0, 2, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0]}),
('normal control 3',
[[['T0', 'T2'], ['T4', 'T3']], {'T0': 10596, 'T1': 10111, 'T2': 9025, 'T3': 10110, 'T4': 12000}],
{'T0': [2, 0, 0], 'T1': [0, 0, 1], 'T2': [0, 2, 0], 'T3': [0, 2, 0], 'T4': [2, 0, 0]}),
('normal control 4',
[[['T7', 'T1'], ['T5', 'T0'], ['T3', 'T4'], ['T6', 'T2']],
{'T0': 11240, 'T1': 13637, 'T2': 9025, 'T3': 11240, 'T4': 9025, 'T5': 9025, 'T6': 10111, 'T7': 9093}],
{'T0': [2, 0, 0],
'T1': [2, 0, 0],
'T2': [0, 2, 0],
'T3': [2, 0, 0],
'T4': [0, 2, 0],
'T5': [0, 2, 0],
'T6': [2, 0, 0],
'T7': [0, 2, 0]})],
[('regression: half-point median comparison',
[[['T4', 'T3'], ['T1', 'T2'], ['T0', 'T5']],
{'T0': 10110, 'T1': 9134, 'T2': 10111, 'T3': 11240, 'T4': 12000, 'T5': 8850}],
{'T0': [1, 1, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [1, 1, 0], 'T4': [2, 0, 0], 'T5': [0, 2, 0]}),
('partial repair probe: half-point median comparison',
[[['T2', 'T3'], ['T5', 'T1'], ['T4', 'T0']],
{'T0': 9856, 'T1': 10110, 'T2': 12000, 'T3': 10111, 'T4': 9025, 'T5': 11240}],
{'T0': [1, 1, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [1, 1, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0]}),
('second regression',
[[['T4', 'T3'], ['T1', 'T5'], ['T0', 'T2']],
{'T0': 10173, 'T1': 9025, 'T2': 12000, 'T3': 9025, 'T4': 10110, 'T5': 10111}],
{'T0': [1, 1, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0], 'T4': [1, 1, 0], 'T5': [2, 0, 0]}),
('normal control 1',
[[['T4', 'T2'], ['T3', 'T0']], {'T0': 12000, 'T1': 11240, 'T2': 8850, 'T3': 10110, 'T4': 9025}],
{'T0': [2, 0, 0], 'T1': [1, 0, 0], 'T2': [0, 2, 0], 'T3': [0, 1, 1], 'T4': [1, 1, 0]}),
('normal control 2',
[[['T4', 'T2'], ['T6', 'T3'], ['T5', 'T1'], ['T7', 'T0']],
{'T0': 9025, 'T1': 10110, 'T2': 12000, 'T3': 12000, 'T4': 8850, 'T5': 8850, 'T6': 8076, 'T7': 10111}],
{'T0': [0, 2, 0],
'T1': [2, 0, 0],
'T2': [2, 0, 0],
'T3': [2, 0, 0],
'T4': [0, 2, 0],
'T5': [0, 2, 0],
'T6': [0, 2, 0],
'T7': [2, 0, 0]}),
('normal control 3',
[[['T2', 'T3'], ['T4', 'T0']], {'T0': 11240, 'T1': 10110, 'T2': 11240, 'T3': 10111, 'T4': 8850}],
{'T0': [2, 0, 0], 'T1': [0, 1, 0], 'T2': [2, 0, 0], 'T3': [0, 1, 1], 'T4': [0, 2, 0]}),
('normal control 4',
[[['T5', 'T3'], ['T1', 'T7'], ['T6', 'T0'], ['T4', 'T2']],
{'T0': 9025, 'T1': 9025, 'T2': 10110, 'T3': 12000, 'T4': 11240, 'T5': 9025, 'T6': 12000, 'T7': 9025}],
{'T0': [0, 2, 0],
'T1': [0, 1, 1],
'T2': [1, 1, 0],
'T3': [2, 0, 0],
'T4': [2, 0, 0],
'T5': [0, 2, 0],
'T6': [2, 0, 0],
'T7': [0, 1, 1]})],
[('regression: half-point median comparison',
[[['T3', 'T4'], ['T0', 'T1'], ['T2', 'T7'], ['T6', 'T5']],
{'T0': 11240, 'T1': 8850, 'T2': 10110, 'T3': 12000, 'T4': 10111, 'T5': 11240, 'T6': 9025, 'T7': 8850}],
{'T0': [2, 0, 0],
'T1': [0, 2, 0],
'T2': [1, 1, 0],
'T3': [2, 0, 0],
'T4': [1, 1, 0],
'T5': [2, 0, 0],
'T6': [0, 2, 0],
'T7': [0, 2, 0]}),
('partial repair probe: half-point median comparison',
[[['T2', 'T0'], ['T4', 'T3'], ['T1', 'T7'], ['T5', 'T6']],
{'T0': 10110, 'T1': 10111, 'T2': 11240, 'T3': 10111, 'T4': 9025, 'T5': 8850, 'T6': 11240, 'T7': 8850}],
{'T0': [0, 2, 0],
'T1': [2, 0, 0],
'T2': [2, 0, 0],
'T3': [2, 0, 0],
'T4': [0, 2, 0],
'T5': [0, 2, 0],
'T6': [2, 0, 0],
'T7': [0, 2, 0]}),
('second regression',
[[['T1', 'T5'], ['T2', 'T0'], ['T3', 'T4']],
{'T0': 10111, 'T1': 12000, 'T2': 12000, 'T3': 9025, 'T4': 10110, 'T5': 9025}],
{'T0': [1, 1, 0], 'T1': [2, 0, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0], 'T4': [1, 1, 0], 'T5': [0, 2, 0]}),
('normal control 1', [[['T1', 'T3'], ['T0', 'T2']], {'T0': 11240, 'T1': 10111, 'T2': 10111, 'T3': 10111}],
{'T0': [2, 0, 0], 'T1': [0, 0, 2], 'T2': [0, 1, 1], 'T3': [0, 0, 2]}),
('normal control 2',
[[['T0', 'T4'], ['T5', 'T3'], ['T2', 'T1']],
{'T0': 9025, 'T1': 9025, 'T2': 9025, 'T3': 8850, 'T4': 9025, 'T5': 9025}],
{'T0': [0, 0, 2], 'T1': [0, 0, 2], 'T2': [0, 0, 2], 'T3': [0, 2, 0], 'T4': [0, 0, 2], 'T5': [1, 0, 1]}),
('normal control 3',
[[['T0', 'T2'], ['T1', 'T3'], ['T5', 'T4']],
{'T0': 9756, 'T1': 8850, 'T2': 10111, 'T3': 9025, 'T4': 9025, 'T5': 10111, 'T6': 10110}],
{'T0': [0, 1, 1],
'T1': [0, 2, 0],
'T2': [2, 0, 0],
'T3': [1, 1, 0],
'T4': [0, 2, 0],
'T5': [2, 0, 0],
'T6': [1, 0, 0]}),
('normal control 4', [[['T1', 'T2'], ['T3', 'T0']], {'T0': 13308, 'T1': 8850, 'T2': 9025, 'T3': 11240}],
{'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [1, 1, 0], 'T3': [1, 1, 0]})],
[('regression: half-point median comparison',
[[['T3', 'T1'], ['T0', 'T2']], {'T0': 9025, 'T1': 11240, 'T2': 10111, 'T3': 10110}],
{'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0]}),
('partial repair probe: half-point median comparison',
[[['T0', 'T1'], ['T2', 'T5'], ['T3', 'T4']],
{'T0': 10110, 'T1': 9025, 'T2': 12000, 'T3': 10110, 'T4': 10111, 'T5': 10111}],
{'T0': [1, 1, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0], 'T4': [2, 0, 0], 'T5': [1, 1, 0]}),
('second regression',
[[['T1', 'T6'], ['T5', 'T3'], ['T2', 'T0'], ['T7', 'T4']],
{'T0': 7882, 'T1': 10111, 'T2': 9025, 'T3': 9025, 'T4': 10110, 'T5': 10111, 'T6': 11240, 'T7': 11240}],
{'T0': [0, 2, 0],
'T1': [1, 1, 0],
'T2': [1, 1, 0],
'T3': [0, 2, 0],
'T4': [0, 2, 0],
'T5': [2, 0, 0],
'T6': [2, 0, 0],
'T7': [2, 0, 0]}),
('normal control 1',
[[['T4', 'T0'], ['T2', 'T3'], ['T1', 'T5']],
{'T0': 9025, 'T1': 9025, 'T2': 12000, 'T3': 7758, 'T4': 10111, 'T5': 10110}],
{'T0': [0, 2, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0], 'T4': [2, 0, 0], 'T5': [2, 0, 0]}),
('normal control 2', [[['T0', 'T3'], ['T2', 'T1']], {'T0': 13198, 'T1': 11240, 'T2': 10111, 'T3': 8850}],
{'T0': [2, 0, 0], 'T1': [2, 0, 0], 'T2': [0, 2, 0], 'T3': [0, 2, 0]}),
('normal control 3',
[[['T4', 'T5'], ['T2', 'T3'], ['T0', 'T6']],
{'T0': 10110, 'T1': 13452, 'T2': 11406, 'T3': 9025, 'T4': 12000, 'T5': 10110, 'T6': 10111}],
{'T0': [0, 2, 0],
'T1': [1, 0, 0],
'T2': [2, 0, 0],
'T3': [0, 2, 0],
'T4': [2, 0, 0],
'T5': [0, 2, 0],
'T6': [1, 0, 1]}),
('normal control 4',
[[['T3', 'T4'], ['T6', 'T0'], ['T5', 'T1']],
{'T0': 11240, 'T1': 10110, 'T2': 8850, 'T3': 9461, 'T4': 10111, 'T5': 9025, 'T6': 10111}],
{'T0': [2, 0, 0],
'T1': [1, 0, 1],
'T2': [0, 1, 0],
'T3': [0, 2, 0],
'T4': [2, 0, 0],
'T5': [0, 2, 0],
'T6': [1, 1, 0]})],
[('regression: half-point median comparison',
[[['T2', 'T3'], ['T0', 'T4'], ['T5', 'T1']],
{'T0': 10111, 'T1': 10110, 'T2': 8850, 'T3': 12000, 'T4': 9025, 'T5': 10111}],
{'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0]}),
('partial repair probe: half-point median comparison',
[[['T2', 'T3'], ['T5', 'T4'], ['T0', 'T7'], ['T6', 'T1']],
{'T0': 7808, 'T1': 11240, 'T2': 9025, 'T3': 10111, 'T4': 11240, 'T5': 10110, 'T6': 10535, 'T7': 9044}],
{'T0': [0, 2, 0],
'T1': [2, 0, 0],
'T2': [0, 2, 0],
'T3': [2, 0, 0],
'T4': [2, 0, 0],
'T5': [0, 2, 0],
'T6': [1, 1, 0],
'T7': [1, 1, 0]}),
('second regression', [[['T1', 'T3'], ['T2', 'T0']], {'T0': 8850, 'T1': 10111, 'T2': 10110, 'T3': 10111}],
{'T0': [0, 2, 0], 'T1': [1, 0, 1], 'T2': [1, 1, 0], 'T3': [1, 0, 1]}),
('normal control 1',
[[['T4', 'T1'], ['T3', 'T0'], ['T2', 'T6']],
{'T0': 11240, 'T1': 10111, 'T2': 9203, 'T3': 10110, 'T4': 11240, 'T5': 10111, 'T6': 11240}],
{'T0': [2, 0, 0],
'T1': [0, 1, 1],
'T2': [0, 2, 0],
'T3': [0, 2, 0],
'T4': [2, 0, 0],
'T5': [0, 0, 1],
'T6': [2, 0, 0]}),
('normal control 2',
[[['T6', 'T4'], ['T3', 'T2'], ['T7', 'T0'], ['T5', 'T1']],
{'T0': 9025, 'T1': 8850, 'T2': 7003, 'T3': 9025, 'T4': 9025, 'T5': 12000, 'T6': 12000, 'T7': 8850}],
{'T0': [1, 0, 1],
'T1': [0, 2, 0],
'T2': [0, 2, 0],
'T3': [1, 0, 1],
'T4': [0, 1, 1],
'T5': [2, 0, 0],
'T6': [2, 0, 0],
'T7': [0, 2, 0]}),
('normal control 3',
[[['T3', 'T1'], ['T5', 'T0'], ['T6', 'T4']],
{'T0': 10111, 'T1': 8850, 'T2': 8850, 'T3': 9025, 'T4': 11240, 'T5': 11240, 'T6': 10110}],
{'T0': [1, 1, 0],
'T1': [0, 2, 0],
'T2': [0, 1, 0],
'T3': [1, 1, 0],
'T4': [2, 0, 0],
'T5': [2, 0, 0],
'T6': [0, 1, 1]}),
('normal control 4',
[[['T2', 'T0'], ['T3', 'T4']], {'T0': 11619, 'T1': 11240, 'T2': 10110, 'T3': 10110, 'T4': 7893}],
{'T0': [2, 0, 0], 'T1': [1, 0, 0], 'T2': [0, 1, 1], 'T3': [1, 0, 1], 'T4': [0, 2, 0]})]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: half-point median comparison | {'T0': [2, 0, 0], 'T1': [0, 1, 1], 'T2': [0, 1, 1], 'T3': [2, 0, 0], 'T4': [2, 0, 0], 'T5': [0, 2, 0]} | {'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0], 'T4': [2, 0, 0], 'T5': [0, 2, 0]} | Failed |
| partial repair probe: half-point median comparison | {'T0': [1, 1, 0], 'T1': [2, 0, 0], 'T2': [2, 0, 0], 'T3': [2, 0, 0], 'T4': [1, 0, 1], 'T5': [0, 2, 0], 'T6': [0, 2, 0], 'T7': [0, 2, 0]} | {'T0': [1, 1, 0], 'T1': [2, 0, 0], 'T2': [2, 0, 0], 'T3': [2, 0, 0], 'T4': [1, 1, 0], 'T5': [0, 2, 0], 'T6': [0, 2, 0], 'T7': [0, 2, 0]} | Failed |
| second regression | {'T0': [1, 0, 1], 'T1': [0, 2, 0], 'T2': [1, 1, 0], 'T3': [2, 0, 0]} | {'T0': [1, 1, 0], 'T1': [0, 2, 0], 'T2': [1, 1, 0], 'T3': [2, 0, 0]} | Failed |
| normal control 1 | {'T0': [1, 1, 0], 'T1': [0, 1, 1], 'T2': [0, 1, 0], 'T3': [2, 0, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0], 'T6': [1, 0, 1]} | {'T0': [1, 1, 0], 'T1': [0, 1, 1], 'T2': [0, 1, 0], 'T3': [2, 0, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0], 'T6': [1, 0, 1]} | Passed |
| normal control 2 | {'T0': [1, 0, 1], 'T1': [1, 0, 1], 'T2': [1, 1, 0], 'T3': [0, 2, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0]} | {'T0': [1, 0, 1], 'T1': [1, 0, 1], 'T2': [1, 1, 0], 'T3': [0, 2, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0]} | Passed |
| normal control 3 | {'T0': [2, 0, 0], 'T1': [0, 0, 1], 'T2': [0, 2, 0], 'T3': [0, 2, 0], 'T4': [2, 0, 0]} | {'T0': [2, 0, 0], 'T1': [0, 0, 1], 'T2': [0, 2, 0], 'T3': [0, 2, 0], 'T4': [2, 0, 0]} | Passed |
| normal control 4 | {'T0': [2, 0, 0], 'T1': [2, 0, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0], 'T4': [0, 2, 0], 'T5': [0, 2, 0], 'T6': [2, 0, 0], 'T7': [0, 2, 0]} | {'T0': [2, 0, 0], 'T1': [2, 0, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0], 'T4': [0, 2, 0], 'T5': [0, 2, 0], 'T6': [2, 0, 0], 'T7': [0, 2, 0]} | Passed |
SHA-256 / 03006828497b82a08e71889f39fb52d7cb0c4ae5b040015edb1d5e8add772114
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(pairs, scores):
rec = {t: [0, 0, 0] for t in scores}
for a, b in pairs:
if scores[a] > scores[b]:
rec[a][0] += 1; rec[b][1] += 1
elif scores[a] < scores[b]:
rec[a][1] += 1; rec[b][0] += 1
else:
rec[a][2] += 1; rec[b][2] += 1
vals = sorted(scores.values())
n = len(vals)
twice_median = vals[n // 2] * 2 if n % 2 else vals[n // 2 - 1] + vals[n // 2]
for t, s in scores.items():
if 2 * s > twice_median:
rec[t][0] += 1
elif s < twice_median // 2:
rec[t][1] += 1
else:
rec[t][2] += 1
return rec
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: half-point median comparison',
[[['T0', 'T2'], ['T5', 'T4'], ['T1', 'T3']],
{'T0': 12000, 'T1': 10110, 'T2': 10110, 'T3': 10111, 'T4': 12000, 'T5': 9025}],
{'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0], 'T4': [2, 0, 0], 'T5': [0, 2, 0]}),
('partial repair probe: half-point median comparison',
[[['T6', 'T4'], ['T2', 'T0'], ['T7', 'T1'], ['T3', 'T5']],
{'T0': 10111, 'T1': 12000, 'T2': 12000, 'T3': 10111, 'T4': 10110, 'T5': 9025, 'T6': 9025, 'T7': 9025}],
{'T0': [1, 1, 0],
'T1': [2, 0, 0],
'T2': [2, 0, 0],
'T3': [2, 0, 0],
'T4': [1, 1, 0],
'T5': [0, 2, 0],
'T6': [0, 2, 0],
'T7': [0, 2, 0]}),
('second regression', [[['T3', 'T2'], ['T0', 'T1']], {'T0': 10110, 'T1': 8850, 'T2': 10111, 'T3': 12000}],
{'T0': [1, 1, 0], 'T1': [0, 2, 0], 'T2': [1, 1, 0], 'T3': [2, 0, 0]}),
('normal control 1',
[[['T3', 'T1'], ['T0', 'T5'], ['T6', 'T4']],
{'T0': 10111, 'T1': 10110, 'T2': 9025, 'T3': 12893, 'T4': 8850, 'T5': 11240, 'T6': 10110}],
{'T0': [1, 1, 0],
'T1': [0, 1, 1],
'T2': [0, 1, 0],
'T3': [2, 0, 0],
'T4': [0, 2, 0],
'T5': [2, 0, 0],
'T6': [1, 0, 1]}),
('normal control 2',
[[['T3', 'T5'], ['T1', 'T0'], ['T2', 'T4']],
{'T0': 12000, 'T1': 12000, 'T2': 9025, 'T3': 9025, 'T4': 8850, 'T5': 10443}],
{'T0': [1, 0, 1], 'T1': [1, 0, 1], 'T2': [1, 1, 0], 'T3': [0, 2, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0]}),
('normal control 3',
[[['T0', 'T2'], ['T4', 'T3']], {'T0': 10596, 'T1': 10111, 'T2': 9025, 'T3': 10110, 'T4': 12000}],
{'T0': [2, 0, 0], 'T1': [0, 0, 1], 'T2': [0, 2, 0], 'T3': [0, 2, 0], 'T4': [2, 0, 0]}),
('normal control 4',
[[['T7', 'T1'], ['T5', 'T0'], ['T3', 'T4'], ['T6', 'T2']],
{'T0': 11240, 'T1': 13637, 'T2': 9025, 'T3': 11240, 'T4': 9025, 'T5': 9025, 'T6': 10111, 'T7': 9093}],
{'T0': [2, 0, 0],
'T1': [2, 0, 0],
'T2': [0, 2, 0],
'T3': [2, 0, 0],
'T4': [0, 2, 0],
'T5': [0, 2, 0],
'T6': [2, 0, 0],
'T7': [0, 2, 0]})],
[('regression: half-point median comparison',
[[['T4', 'T3'], ['T1', 'T2'], ['T0', 'T5']],
{'T0': 10110, 'T1': 9134, 'T2': 10111, 'T3': 11240, 'T4': 12000, 'T5': 8850}],
{'T0': [1, 1, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [1, 1, 0], 'T4': [2, 0, 0], 'T5': [0, 2, 0]}),
('partial repair probe: half-point median comparison',
[[['T2', 'T3'], ['T5', 'T1'], ['T4', 'T0']],
{'T0': 9856, 'T1': 10110, 'T2': 12000, 'T3': 10111, 'T4': 9025, 'T5': 11240}],
{'T0': [1, 1, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [1, 1, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0]}),
('second regression',
[[['T4', 'T3'], ['T1', 'T5'], ['T0', 'T2']],
{'T0': 10173, 'T1': 9025, 'T2': 12000, 'T3': 9025, 'T4': 10110, 'T5': 10111}],
{'T0': [1, 1, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0], 'T4': [1, 1, 0], 'T5': [2, 0, 0]}),
('normal control 1',
[[['T4', 'T2'], ['T3', 'T0']], {'T0': 12000, 'T1': 11240, 'T2': 8850, 'T3': 10110, 'T4': 9025}],
{'T0': [2, 0, 0], 'T1': [1, 0, 0], 'T2': [0, 2, 0], 'T3': [0, 1, 1], 'T4': [1, 1, 0]}),
('normal control 2',
[[['T4', 'T2'], ['T6', 'T3'], ['T5', 'T1'], ['T7', 'T0']],
{'T0': 9025, 'T1': 10110, 'T2': 12000, 'T3': 12000, 'T4': 8850, 'T5': 8850, 'T6': 8076, 'T7': 10111}],
{'T0': [0, 2, 0],
'T1': [2, 0, 0],
'T2': [2, 0, 0],
'T3': [2, 0, 0],
'T4': [0, 2, 0],
'T5': [0, 2, 0],
'T6': [0, 2, 0],
'T7': [2, 0, 0]}),
('normal control 3',
[[['T2', 'T3'], ['T4', 'T0']], {'T0': 11240, 'T1': 10110, 'T2': 11240, 'T3': 10111, 'T4': 8850}],
{'T0': [2, 0, 0], 'T1': [0, 1, 0], 'T2': [2, 0, 0], 'T3': [0, 1, 1], 'T4': [0, 2, 0]}),
('normal control 4',
[[['T5', 'T3'], ['T1', 'T7'], ['T6', 'T0'], ['T4', 'T2']],
{'T0': 9025, 'T1': 9025, 'T2': 10110, 'T3': 12000, 'T4': 11240, 'T5': 9025, 'T6': 12000, 'T7': 9025}],
{'T0': [0, 2, 0],
'T1': [0, 1, 1],
'T2': [1, 1, 0],
'T3': [2, 0, 0],
'T4': [2, 0, 0],
'T5': [0, 2, 0],
'T6': [2, 0, 0],
'T7': [0, 1, 1]})],
[('regression: half-point median comparison',
[[['T3', 'T4'], ['T0', 'T1'], ['T2', 'T7'], ['T6', 'T5']],
{'T0': 11240, 'T1': 8850, 'T2': 10110, 'T3': 12000, 'T4': 10111, 'T5': 11240, 'T6': 9025, 'T7': 8850}],
{'T0': [2, 0, 0],
'T1': [0, 2, 0],
'T2': [1, 1, 0],
'T3': [2, 0, 0],
'T4': [1, 1, 0],
'T5': [2, 0, 0],
'T6': [0, 2, 0],
'T7': [0, 2, 0]}),
('partial repair probe: half-point median comparison',
[[['T2', 'T0'], ['T4', 'T3'], ['T1', 'T7'], ['T5', 'T6']],
{'T0': 10110, 'T1': 10111, 'T2': 11240, 'T3': 10111, 'T4': 9025, 'T5': 8850, 'T6': 11240, 'T7': 8850}],
{'T0': [0, 2, 0],
'T1': [2, 0, 0],
'T2': [2, 0, 0],
'T3': [2, 0, 0],
'T4': [0, 2, 0],
'T5': [0, 2, 0],
'T6': [2, 0, 0],
'T7': [0, 2, 0]}),
('second regression',
[[['T1', 'T5'], ['T2', 'T0'], ['T3', 'T4']],
{'T0': 10111, 'T1': 12000, 'T2': 12000, 'T3': 9025, 'T4': 10110, 'T5': 9025}],
{'T0': [1, 1, 0], 'T1': [2, 0, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0], 'T4': [1, 1, 0], 'T5': [0, 2, 0]}),
('normal control 1', [[['T1', 'T3'], ['T0', 'T2']], {'T0': 11240, 'T1': 10111, 'T2': 10111, 'T3': 10111}],
{'T0': [2, 0, 0], 'T1': [0, 0, 2], 'T2': [0, 1, 1], 'T3': [0, 0, 2]}),
('normal control 2',
[[['T0', 'T4'], ['T5', 'T3'], ['T2', 'T1']],
{'T0': 9025, 'T1': 9025, 'T2': 9025, 'T3': 8850, 'T4': 9025, 'T5': 9025}],
{'T0': [0, 0, 2], 'T1': [0, 0, 2], 'T2': [0, 0, 2], 'T3': [0, 2, 0], 'T4': [0, 0, 2], 'T5': [1, 0, 1]}),
('normal control 3',
[[['T0', 'T2'], ['T1', 'T3'], ['T5', 'T4']],
{'T0': 9756, 'T1': 8850, 'T2': 10111, 'T3': 9025, 'T4': 9025, 'T5': 10111, 'T6': 10110}],
{'T0': [0, 1, 1],
'T1': [0, 2, 0],
'T2': [2, 0, 0],
'T3': [1, 1, 0],
'T4': [0, 2, 0],
'T5': [2, 0, 0],
'T6': [1, 0, 0]}),
('normal control 4', [[['T1', 'T2'], ['T3', 'T0']], {'T0': 13308, 'T1': 8850, 'T2': 9025, 'T3': 11240}],
{'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [1, 1, 0], 'T3': [1, 1, 0]})],
[('regression: half-point median comparison',
[[['T3', 'T1'], ['T0', 'T2']], {'T0': 9025, 'T1': 11240, 'T2': 10111, 'T3': 10110}],
{'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0]}),
('partial repair probe: half-point median comparison',
[[['T0', 'T1'], ['T2', 'T5'], ['T3', 'T4']],
{'T0': 10110, 'T1': 9025, 'T2': 12000, 'T3': 10110, 'T4': 10111, 'T5': 10111}],
{'T0': [1, 1, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0], 'T4': [2, 0, 0], 'T5': [1, 1, 0]}),
('second regression',
[[['T1', 'T6'], ['T5', 'T3'], ['T2', 'T0'], ['T7', 'T4']],
{'T0': 7882, 'T1': 10111, 'T2': 9025, 'T3': 9025, 'T4': 10110, 'T5': 10111, 'T6': 11240, 'T7': 11240}],
{'T0': [0, 2, 0],
'T1': [1, 1, 0],
'T2': [1, 1, 0],
'T3': [0, 2, 0],
'T4': [0, 2, 0],
'T5': [2, 0, 0],
'T6': [2, 0, 0],
'T7': [2, 0, 0]}),
('normal control 1',
[[['T4', 'T0'], ['T2', 'T3'], ['T1', 'T5']],
{'T0': 9025, 'T1': 9025, 'T2': 12000, 'T3': 7758, 'T4': 10111, 'T5': 10110}],
{'T0': [0, 2, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0], 'T4': [2, 0, 0], 'T5': [2, 0, 0]}),
('normal control 2', [[['T0', 'T3'], ['T2', 'T1']], {'T0': 13198, 'T1': 11240, 'T2': 10111, 'T3': 8850}],
{'T0': [2, 0, 0], 'T1': [2, 0, 0], 'T2': [0, 2, 0], 'T3': [0, 2, 0]}),
('normal control 3',
[[['T4', 'T5'], ['T2', 'T3'], ['T0', 'T6']],
{'T0': 10110, 'T1': 13452, 'T2': 11406, 'T3': 9025, 'T4': 12000, 'T5': 10110, 'T6': 10111}],
{'T0': [0, 2, 0],
'T1': [1, 0, 0],
'T2': [2, 0, 0],
'T3': [0, 2, 0],
'T4': [2, 0, 0],
'T5': [0, 2, 0],
'T6': [1, 0, 1]}),
('normal control 4',
[[['T3', 'T4'], ['T6', 'T0'], ['T5', 'T1']],
{'T0': 11240, 'T1': 10110, 'T2': 8850, 'T3': 9461, 'T4': 10111, 'T5': 9025, 'T6': 10111}],
{'T0': [2, 0, 0],
'T1': [1, 0, 1],
'T2': [0, 1, 0],
'T3': [0, 2, 0],
'T4': [2, 0, 0],
'T5': [0, 2, 0],
'T6': [1, 1, 0]})],
[('regression: half-point median comparison',
[[['T2', 'T3'], ['T0', 'T4'], ['T5', 'T1']],
{'T0': 10111, 'T1': 10110, 'T2': 8850, 'T3': 12000, 'T4': 9025, 'T5': 10111}],
{'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0]}),
('partial repair probe: half-point median comparison',
[[['T2', 'T3'], ['T5', 'T4'], ['T0', 'T7'], ['T6', 'T1']],
{'T0': 7808, 'T1': 11240, 'T2': 9025, 'T3': 10111, 'T4': 11240, 'T5': 10110, 'T6': 10535, 'T7': 9044}],
{'T0': [0, 2, 0],
'T1': [2, 0, 0],
'T2': [0, 2, 0],
'T3': [2, 0, 0],
'T4': [2, 0, 0],
'T5': [0, 2, 0],
'T6': [1, 1, 0],
'T7': [1, 1, 0]}),
('second regression', [[['T1', 'T3'], ['T2', 'T0']], {'T0': 8850, 'T1': 10111, 'T2': 10110, 'T3': 10111}],
{'T0': [0, 2, 0], 'T1': [1, 0, 1], 'T2': [1, 1, 0], 'T3': [1, 0, 1]}),
('normal control 1',
[[['T4', 'T1'], ['T3', 'T0'], ['T2', 'T6']],
{'T0': 11240, 'T1': 10111, 'T2': 9203, 'T3': 10110, 'T4': 11240, 'T5': 10111, 'T6': 11240}],
{'T0': [2, 0, 0],
'T1': [0, 1, 1],
'T2': [0, 2, 0],
'T3': [0, 2, 0],
'T4': [2, 0, 0],
'T5': [0, 0, 1],
'T6': [2, 0, 0]}),
('normal control 2',
[[['T6', 'T4'], ['T3', 'T2'], ['T7', 'T0'], ['T5', 'T1']],
{'T0': 9025, 'T1': 8850, 'T2': 7003, 'T3': 9025, 'T4': 9025, 'T5': 12000, 'T6': 12000, 'T7': 8850}],
{'T0': [1, 0, 1],
'T1': [0, 2, 0],
'T2': [0, 2, 0],
'T3': [1, 0, 1],
'T4': [0, 1, 1],
'T5': [2, 0, 0],
'T6': [2, 0, 0],
'T7': [0, 2, 0]}),
('normal control 3',
[[['T3', 'T1'], ['T5', 'T0'], ['T6', 'T4']],
{'T0': 10111, 'T1': 8850, 'T2': 8850, 'T3': 9025, 'T4': 11240, 'T5': 11240, 'T6': 10110}],
{'T0': [1, 1, 0],
'T1': [0, 2, 0],
'T2': [0, 1, 0],
'T3': [1, 1, 0],
'T4': [2, 0, 0],
'T5': [2, 0, 0],
'T6': [0, 1, 1]}),
('normal control 4',
[[['T2', 'T0'], ['T3', 'T4']], {'T0': 11619, 'T1': 11240, 'T2': 10110, 'T3': 10110, 'T4': 7893}],
{'T0': [2, 0, 0], 'T1': [1, 0, 0], 'T2': [0, 1, 1], 'T3': [1, 0, 1], 'T4': [0, 2, 0]})]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: half-point median comparison | {'T0': [2, 0, 0], 'T1': [0, 1, 1], 'T2': [0, 1, 1], 'T3': [2, 0, 0], 'T4': [2, 0, 0], 'T5': [0, 2, 0]} | {'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0], 'T4': [2, 0, 0], 'T5': [0, 2, 0]} | Failed |
| partial repair probe: half-point median comparison | {'T0': [1, 1, 0], 'T1': [2, 0, 0], 'T2': [2, 0, 0], 'T3': [2, 0, 0], 'T4': [1, 0, 1], 'T5': [0, 2, 0], 'T6': [0, 2, 0], 'T7': [0, 2, 0]} | {'T0': [1, 1, 0], 'T1': [2, 0, 0], 'T2': [2, 0, 0], 'T3': [2, 0, 0], 'T4': [1, 1, 0], 'T5': [0, 2, 0], 'T6': [0, 2, 0], 'T7': [0, 2, 0]} | Failed |
| second regression | {'T0': [1, 0, 1], 'T1': [0, 2, 0], 'T2': [1, 1, 0], 'T3': [2, 0, 0]} | {'T0': [1, 1, 0], 'T1': [0, 2, 0], 'T2': [1, 1, 0], 'T3': [2, 0, 0]} | Failed |
| normal control 1 | {'T0': [1, 1, 0], 'T1': [0, 1, 1], 'T2': [0, 1, 0], 'T3': [2, 0, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0], 'T6': [1, 0, 1]} | {'T0': [1, 1, 0], 'T1': [0, 1, 1], 'T2': [0, 1, 0], 'T3': [2, 0, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0], 'T6': [1, 0, 1]} | Passed |
| normal control 2 | {'T0': [1, 0, 1], 'T1': [1, 0, 1], 'T2': [1, 1, 0], 'T3': [0, 2, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0]} | {'T0': [1, 0, 1], 'T1': [1, 0, 1], 'T2': [1, 1, 0], 'T3': [0, 2, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0]} | Passed |
| normal control 3 | {'T0': [2, 0, 0], 'T1': [0, 0, 1], 'T2': [0, 2, 0], 'T3': [0, 2, 0], 'T4': [2, 0, 0]} | {'T0': [2, 0, 0], 'T1': [0, 0, 1], 'T2': [0, 2, 0], 'T3': [0, 2, 0], 'T4': [2, 0, 0]} | Passed |
| normal control 4 | {'T0': [2, 0, 0], 'T1': [2, 0, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0], 'T4': [0, 2, 0], 'T5': [0, 2, 0], 'T6': [2, 0, 0], 'T7': [0, 2, 0]} | {'T0': [2, 0, 0], 'T1': [2, 0, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0], 'T4': [0, 2, 0], 'T5': [0, 2, 0], 'T6': [2, 0, 0], 'T7': [0, 2, 0]} | Passed |
SHA-256 / 742424c53a8d0b6d6e75330cbe1a427b631b4fbf278d8426996471e2c12a78a2
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(pairs, scores):
rec = {t: [0, 0, 0] for t in scores}
for a, b in pairs:
if scores[a] > scores[b]:
rec[a][0] += 1; rec[b][1] += 1
elif scores[a] < scores[b]:
rec[a][1] += 1; rec[b][0] += 1
else:
rec[a][2] += 1; rec[b][2] += 1
vals = sorted(scores.values())
n = len(vals)
twice_median = vals[n // 2] * 2 if n % 2 else vals[n // 2 - 1] + vals[n // 2]
for t, s in scores.items():
if 2 * s > twice_median:
rec[t][0] += 1
elif 2 * s < twice_median:
rec[t][1] += 1
else:
rec[t][2] += 1
return rec
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: half-point median comparison',
[[['T0', 'T2'], ['T5', 'T4'], ['T1', 'T3']],
{'T0': 12000, 'T1': 10110, 'T2': 10110, 'T3': 10111, 'T4': 12000, 'T5': 9025}],
{'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0], 'T4': [2, 0, 0], 'T5': [0, 2, 0]}),
('partial repair probe: half-point median comparison',
[[['T6', 'T4'], ['T2', 'T0'], ['T7', 'T1'], ['T3', 'T5']],
{'T0': 10111, 'T1': 12000, 'T2': 12000, 'T3': 10111, 'T4': 10110, 'T5': 9025, 'T6': 9025, 'T7': 9025}],
{'T0': [1, 1, 0],
'T1': [2, 0, 0],
'T2': [2, 0, 0],
'T3': [2, 0, 0],
'T4': [1, 1, 0],
'T5': [0, 2, 0],
'T6': [0, 2, 0],
'T7': [0, 2, 0]}),
('second regression', [[['T3', 'T2'], ['T0', 'T1']], {'T0': 10110, 'T1': 8850, 'T2': 10111, 'T3': 12000}],
{'T0': [1, 1, 0], 'T1': [0, 2, 0], 'T2': [1, 1, 0], 'T3': [2, 0, 0]}),
('normal control 1',
[[['T3', 'T1'], ['T0', 'T5'], ['T6', 'T4']],
{'T0': 10111, 'T1': 10110, 'T2': 9025, 'T3': 12893, 'T4': 8850, 'T5': 11240, 'T6': 10110}],
{'T0': [1, 1, 0],
'T1': [0, 1, 1],
'T2': [0, 1, 0],
'T3': [2, 0, 0],
'T4': [0, 2, 0],
'T5': [2, 0, 0],
'T6': [1, 0, 1]}),
('normal control 2',
[[['T3', 'T5'], ['T1', 'T0'], ['T2', 'T4']],
{'T0': 12000, 'T1': 12000, 'T2': 9025, 'T3': 9025, 'T4': 8850, 'T5': 10443}],
{'T0': [1, 0, 1], 'T1': [1, 0, 1], 'T2': [1, 1, 0], 'T3': [0, 2, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0]}),
('normal control 3',
[[['T0', 'T2'], ['T4', 'T3']], {'T0': 10596, 'T1': 10111, 'T2': 9025, 'T3': 10110, 'T4': 12000}],
{'T0': [2, 0, 0], 'T1': [0, 0, 1], 'T2': [0, 2, 0], 'T3': [0, 2, 0], 'T4': [2, 0, 0]}),
('normal control 4',
[[['T7', 'T1'], ['T5', 'T0'], ['T3', 'T4'], ['T6', 'T2']],
{'T0': 11240, 'T1': 13637, 'T2': 9025, 'T3': 11240, 'T4': 9025, 'T5': 9025, 'T6': 10111, 'T7': 9093}],
{'T0': [2, 0, 0],
'T1': [2, 0, 0],
'T2': [0, 2, 0],
'T3': [2, 0, 0],
'T4': [0, 2, 0],
'T5': [0, 2, 0],
'T6': [2, 0, 0],
'T7': [0, 2, 0]})],
[('regression: half-point median comparison',
[[['T4', 'T3'], ['T1', 'T2'], ['T0', 'T5']],
{'T0': 10110, 'T1': 9134, 'T2': 10111, 'T3': 11240, 'T4': 12000, 'T5': 8850}],
{'T0': [1, 1, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [1, 1, 0], 'T4': [2, 0, 0], 'T5': [0, 2, 0]}),
('partial repair probe: half-point median comparison',
[[['T2', 'T3'], ['T5', 'T1'], ['T4', 'T0']],
{'T0': 9856, 'T1': 10110, 'T2': 12000, 'T3': 10111, 'T4': 9025, 'T5': 11240}],
{'T0': [1, 1, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [1, 1, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0]}),
('second regression',
[[['T4', 'T3'], ['T1', 'T5'], ['T0', 'T2']],
{'T0': 10173, 'T1': 9025, 'T2': 12000, 'T3': 9025, 'T4': 10110, 'T5': 10111}],
{'T0': [1, 1, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0], 'T4': [1, 1, 0], 'T5': [2, 0, 0]}),
('normal control 1',
[[['T4', 'T2'], ['T3', 'T0']], {'T0': 12000, 'T1': 11240, 'T2': 8850, 'T3': 10110, 'T4': 9025}],
{'T0': [2, 0, 0], 'T1': [1, 0, 0], 'T2': [0, 2, 0], 'T3': [0, 1, 1], 'T4': [1, 1, 0]}),
('normal control 2',
[[['T4', 'T2'], ['T6', 'T3'], ['T5', 'T1'], ['T7', 'T0']],
{'T0': 9025, 'T1': 10110, 'T2': 12000, 'T3': 12000, 'T4': 8850, 'T5': 8850, 'T6': 8076, 'T7': 10111}],
{'T0': [0, 2, 0],
'T1': [2, 0, 0],
'T2': [2, 0, 0],
'T3': [2, 0, 0],
'T4': [0, 2, 0],
'T5': [0, 2, 0],
'T6': [0, 2, 0],
'T7': [2, 0, 0]}),
('normal control 3',
[[['T2', 'T3'], ['T4', 'T0']], {'T0': 11240, 'T1': 10110, 'T2': 11240, 'T3': 10111, 'T4': 8850}],
{'T0': [2, 0, 0], 'T1': [0, 1, 0], 'T2': [2, 0, 0], 'T3': [0, 1, 1], 'T4': [0, 2, 0]}),
('normal control 4',
[[['T5', 'T3'], ['T1', 'T7'], ['T6', 'T0'], ['T4', 'T2']],
{'T0': 9025, 'T1': 9025, 'T2': 10110, 'T3': 12000, 'T4': 11240, 'T5': 9025, 'T6': 12000, 'T7': 9025}],
{'T0': [0, 2, 0],
'T1': [0, 1, 1],
'T2': [1, 1, 0],
'T3': [2, 0, 0],
'T4': [2, 0, 0],
'T5': [0, 2, 0],
'T6': [2, 0, 0],
'T7': [0, 1, 1]})],
[('regression: half-point median comparison',
[[['T3', 'T4'], ['T0', 'T1'], ['T2', 'T7'], ['T6', 'T5']],
{'T0': 11240, 'T1': 8850, 'T2': 10110, 'T3': 12000, 'T4': 10111, 'T5': 11240, 'T6': 9025, 'T7': 8850}],
{'T0': [2, 0, 0],
'T1': [0, 2, 0],
'T2': [1, 1, 0],
'T3': [2, 0, 0],
'T4': [1, 1, 0],
'T5': [2, 0, 0],
'T6': [0, 2, 0],
'T7': [0, 2, 0]}),
('partial repair probe: half-point median comparison',
[[['T2', 'T0'], ['T4', 'T3'], ['T1', 'T7'], ['T5', 'T6']],
{'T0': 10110, 'T1': 10111, 'T2': 11240, 'T3': 10111, 'T4': 9025, 'T5': 8850, 'T6': 11240, 'T7': 8850}],
{'T0': [0, 2, 0],
'T1': [2, 0, 0],
'T2': [2, 0, 0],
'T3': [2, 0, 0],
'T4': [0, 2, 0],
'T5': [0, 2, 0],
'T6': [2, 0, 0],
'T7': [0, 2, 0]}),
('second regression',
[[['T1', 'T5'], ['T2', 'T0'], ['T3', 'T4']],
{'T0': 10111, 'T1': 12000, 'T2': 12000, 'T3': 9025, 'T4': 10110, 'T5': 9025}],
{'T0': [1, 1, 0], 'T1': [2, 0, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0], 'T4': [1, 1, 0], 'T5': [0, 2, 0]}),
('normal control 1', [[['T1', 'T3'], ['T0', 'T2']], {'T0': 11240, 'T1': 10111, 'T2': 10111, 'T3': 10111}],
{'T0': [2, 0, 0], 'T1': [0, 0, 2], 'T2': [0, 1, 1], 'T3': [0, 0, 2]}),
('normal control 2',
[[['T0', 'T4'], ['T5', 'T3'], ['T2', 'T1']],
{'T0': 9025, 'T1': 9025, 'T2': 9025, 'T3': 8850, 'T4': 9025, 'T5': 9025}],
{'T0': [0, 0, 2], 'T1': [0, 0, 2], 'T2': [0, 0, 2], 'T3': [0, 2, 0], 'T4': [0, 0, 2], 'T5': [1, 0, 1]}),
('normal control 3',
[[['T0', 'T2'], ['T1', 'T3'], ['T5', 'T4']],
{'T0': 9756, 'T1': 8850, 'T2': 10111, 'T3': 9025, 'T4': 9025, 'T5': 10111, 'T6': 10110}],
{'T0': [0, 1, 1],
'T1': [0, 2, 0],
'T2': [2, 0, 0],
'T3': [1, 1, 0],
'T4': [0, 2, 0],
'T5': [2, 0, 0],
'T6': [1, 0, 0]}),
('normal control 4', [[['T1', 'T2'], ['T3', 'T0']], {'T0': 13308, 'T1': 8850, 'T2': 9025, 'T3': 11240}],
{'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [1, 1, 0], 'T3': [1, 1, 0]})],
[('regression: half-point median comparison',
[[['T3', 'T1'], ['T0', 'T2']], {'T0': 9025, 'T1': 11240, 'T2': 10111, 'T3': 10110}],
{'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0]}),
('partial repair probe: half-point median comparison',
[[['T0', 'T1'], ['T2', 'T5'], ['T3', 'T4']],
{'T0': 10110, 'T1': 9025, 'T2': 12000, 'T3': 10110, 'T4': 10111, 'T5': 10111}],
{'T0': [1, 1, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0], 'T4': [2, 0, 0], 'T5': [1, 1, 0]}),
('second regression',
[[['T1', 'T6'], ['T5', 'T3'], ['T2', 'T0'], ['T7', 'T4']],
{'T0': 7882, 'T1': 10111, 'T2': 9025, 'T3': 9025, 'T4': 10110, 'T5': 10111, 'T6': 11240, 'T7': 11240}],
{'T0': [0, 2, 0],
'T1': [1, 1, 0],
'T2': [1, 1, 0],
'T3': [0, 2, 0],
'T4': [0, 2, 0],
'T5': [2, 0, 0],
'T6': [2, 0, 0],
'T7': [2, 0, 0]}),
('normal control 1',
[[['T4', 'T0'], ['T2', 'T3'], ['T1', 'T5']],
{'T0': 9025, 'T1': 9025, 'T2': 12000, 'T3': 7758, 'T4': 10111, 'T5': 10110}],
{'T0': [0, 2, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0], 'T4': [2, 0, 0], 'T5': [2, 0, 0]}),
('normal control 2', [[['T0', 'T3'], ['T2', 'T1']], {'T0': 13198, 'T1': 11240, 'T2': 10111, 'T3': 8850}],
{'T0': [2, 0, 0], 'T1': [2, 0, 0], 'T2': [0, 2, 0], 'T3': [0, 2, 0]}),
('normal control 3',
[[['T4', 'T5'], ['T2', 'T3'], ['T0', 'T6']],
{'T0': 10110, 'T1': 13452, 'T2': 11406, 'T3': 9025, 'T4': 12000, 'T5': 10110, 'T6': 10111}],
{'T0': [0, 2, 0],
'T1': [1, 0, 0],
'T2': [2, 0, 0],
'T3': [0, 2, 0],
'T4': [2, 0, 0],
'T5': [0, 2, 0],
'T6': [1, 0, 1]}),
('normal control 4',
[[['T3', 'T4'], ['T6', 'T0'], ['T5', 'T1']],
{'T0': 11240, 'T1': 10110, 'T2': 8850, 'T3': 9461, 'T4': 10111, 'T5': 9025, 'T6': 10111}],
{'T0': [2, 0, 0],
'T1': [1, 0, 1],
'T2': [0, 1, 0],
'T3': [0, 2, 0],
'T4': [2, 0, 0],
'T5': [0, 2, 0],
'T6': [1, 1, 0]})],
[('regression: half-point median comparison',
[[['T2', 'T3'], ['T0', 'T4'], ['T5', 'T1']],
{'T0': 10111, 'T1': 10110, 'T2': 8850, 'T3': 12000, 'T4': 9025, 'T5': 10111}],
{'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0]}),
('partial repair probe: half-point median comparison',
[[['T2', 'T3'], ['T5', 'T4'], ['T0', 'T7'], ['T6', 'T1']],
{'T0': 7808, 'T1': 11240, 'T2': 9025, 'T3': 10111, 'T4': 11240, 'T5': 10110, 'T6': 10535, 'T7': 9044}],
{'T0': [0, 2, 0],
'T1': [2, 0, 0],
'T2': [0, 2, 0],
'T3': [2, 0, 0],
'T4': [2, 0, 0],
'T5': [0, 2, 0],
'T6': [1, 1, 0],
'T7': [1, 1, 0]}),
('second regression', [[['T1', 'T3'], ['T2', 'T0']], {'T0': 8850, 'T1': 10111, 'T2': 10110, 'T3': 10111}],
{'T0': [0, 2, 0], 'T1': [1, 0, 1], 'T2': [1, 1, 0], 'T3': [1, 0, 1]}),
('normal control 1',
[[['T4', 'T1'], ['T3', 'T0'], ['T2', 'T6']],
{'T0': 11240, 'T1': 10111, 'T2': 9203, 'T3': 10110, 'T4': 11240, 'T5': 10111, 'T6': 11240}],
{'T0': [2, 0, 0],
'T1': [0, 1, 1],
'T2': [0, 2, 0],
'T3': [0, 2, 0],
'T4': [2, 0, 0],
'T5': [0, 0, 1],
'T6': [2, 0, 0]}),
('normal control 2',
[[['T6', 'T4'], ['T3', 'T2'], ['T7', 'T0'], ['T5', 'T1']],
{'T0': 9025, 'T1': 8850, 'T2': 7003, 'T3': 9025, 'T4': 9025, 'T5': 12000, 'T6': 12000, 'T7': 8850}],
{'T0': [1, 0, 1],
'T1': [0, 2, 0],
'T2': [0, 2, 0],
'T3': [1, 0, 1],
'T4': [0, 1, 1],
'T5': [2, 0, 0],
'T6': [2, 0, 0],
'T7': [0, 2, 0]}),
('normal control 3',
[[['T3', 'T1'], ['T5', 'T0'], ['T6', 'T4']],
{'T0': 10111, 'T1': 8850, 'T2': 8850, 'T3': 9025, 'T4': 11240, 'T5': 11240, 'T6': 10110}],
{'T0': [1, 1, 0],
'T1': [0, 2, 0],
'T2': [0, 1, 0],
'T3': [1, 1, 0],
'T4': [2, 0, 0],
'T5': [2, 0, 0],
'T6': [0, 1, 1]}),
('normal control 4',
[[['T2', 'T0'], ['T3', 'T4']], {'T0': 11619, 'T1': 11240, 'T2': 10110, 'T3': 10110, 'T4': 7893}],
{'T0': [2, 0, 0], 'T1': [1, 0, 0], 'T2': [0, 1, 1], 'T3': [1, 0, 1], 'T4': [0, 2, 0]})]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: half-point median comparison | {'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0], 'T4': [2, 0, 0], 'T5': [0, 2, 0]} | {'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0], 'T4': [2, 0, 0], 'T5': [0, 2, 0]} | Passed |
| partial repair probe: half-point median comparison | {'T0': [1, 1, 0], 'T1': [2, 0, 0], 'T2': [2, 0, 0], 'T3': [2, 0, 0], 'T4': [1, 1, 0], 'T5': [0, 2, 0], 'T6': [0, 2, 0], 'T7': [0, 2, 0]} | {'T0': [1, 1, 0], 'T1': [2, 0, 0], 'T2': [2, 0, 0], 'T3': [2, 0, 0], 'T4': [1, 1, 0], 'T5': [0, 2, 0], 'T6': [0, 2, 0], 'T7': [0, 2, 0]} | Passed |
| second regression | {'T0': [1, 1, 0], 'T1': [0, 2, 0], 'T2': [1, 1, 0], 'T3': [2, 0, 0]} | {'T0': [1, 1, 0], 'T1': [0, 2, 0], 'T2': [1, 1, 0], 'T3': [2, 0, 0]} | Passed |
| normal control 1 | {'T0': [1, 1, 0], 'T1': [0, 1, 1], 'T2': [0, 1, 0], 'T3': [2, 0, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0], 'T6': [1, 0, 1]} | {'T0': [1, 1, 0], 'T1': [0, 1, 1], 'T2': [0, 1, 0], 'T3': [2, 0, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0], 'T6': [1, 0, 1]} | Passed |
| normal control 2 | {'T0': [1, 0, 1], 'T1': [1, 0, 1], 'T2': [1, 1, 0], 'T3': [0, 2, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0]} | {'T0': [1, 0, 1], 'T1': [1, 0, 1], 'T2': [1, 1, 0], 'T3': [0, 2, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0]} | Passed |
| normal control 3 | {'T0': [2, 0, 0], 'T1': [0, 0, 1], 'T2': [0, 2, 0], 'T3': [0, 2, 0], 'T4': [2, 0, 0]} | {'T0': [2, 0, 0], 'T1': [0, 0, 1], 'T2': [0, 2, 0], 'T3': [0, 2, 0], 'T4': [2, 0, 0]} | Passed |
| normal control 4 | {'T0': [2, 0, 0], 'T1': [2, 0, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0], 'T4': [0, 2, 0], 'T5': [0, 2, 0], 'T6': [2, 0, 0], 'T7': [0, 2, 0]} | {'T0': [2, 0, 0], 'T1': [2, 0, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0], 'T4': [0, 2, 0], 'T5': [0, 2, 0], 'T6': [2, 0, 0], 'T7': [0, 2, 0]} | Passed |
SHA-256 / 552a619be7bd8d348324e2c070afd4739b274893f98f0d25d60e5e01628d8700
Verification & scope
A deterministic toy scoring contract stipulated for this example; it is not the rulebook of any real fantasy platform. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.
Observations recorded using Python 3.12.14 at 2026-09-29T14:50:36.525148+00:00.
Case digest / 59a5af0cba73e7f95de2eef63eb9fca48a09eb7afea2f9e4547a30a7709ad1d1