FAILURE MAP
← Case archive

FA-85016 / Fantasy sports scoring / Open access

Median taken from unsorted score order · case 01

The median changes when teams are listed in a different order.

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

ROOT CAUSE

The score list is indexed at the middle without sorting.

VERIFIED REPAIR

Sort all scores, keeping duplicates, before selecting the middle.

Unsuccessful approach: Deduplicating scores before sorting shifts the median whenever two teams tie.

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 = list(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: median sort',
   [[['T4', 'T2'], ['T3', 'T1']], {'T0': 9025, 'T1': 9025, 'T2': 10808, 'T3': 10111, 'T4': 10110}],
   {'T0': [0, 1, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [2, 0, 0], 'T4': [0, 1, 1]}),
  ('partial repair probe: median sort',
   [[['T3', 'T2'], ['T0', 'T4']], {'T0': 11240, 'T1': 12000, 'T2': 11240, 'T3': 10111, 'T4': 9025}],
   {'T0': [1, 0, 1], 'T1': [1, 0, 0], 'T2': [1, 0, 1], 'T3': [0, 2, 0], 'T4': [0, 2, 0]}),
  ('second regression',
   [[['T2', 'T6'], ['T1', 'T7'], ['T3', 'T5'], ['T4', 'T0']],
    {'T0': 12000, 'T1': 9025, 'T2': 10111, 'T3': 10449, 'T4': 11240, 'T5': 12000, 'T6': 8850, 'T7': 10111}],
   {'T0': [2, 0, 0],
    'T1': [0, 2, 0],
    'T2': [1, 1, 0],
    'T3': [1, 1, 0],
    'T4': [1, 1, 0],
    'T5': [2, 0, 0],
    'T6': [0, 2, 0],
    'T7': [1, 1, 0]}),
  ('normal control 1',
   [[['T2', 'T4'], ['T3', 'T6'], ['T5', 'T0']],
    {'T0': 10111, 'T1': 8850, 'T2': 11240, 'T3': 9025, 'T4': 9025, 'T5': 9008, 'T6': 9025}],
   {'T0': [2, 0, 0],
    'T1': [0, 1, 0],
    'T2': [2, 0, 0],
    'T3': [0, 0, 2],
    'T4': [0, 1, 1],
    'T5': [0, 2, 0],
    'T6': [0, 0, 2]}),
  ('normal control 2', [[['T3', 'T0'], ['T1', 'T2']], {'T0': 10111, 'T1': 9025, 'T2': 10110, 'T3': 8850}],
   {'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0]}),
  ('normal control 3',
   [[['T2', 'T3'], ['T1', 'T0'], ['T5', 'T4']],
    {'T0': 9025, 'T1': 12000, 'T2': 11240, 'T3': 11240, 'T4': 11240, 'T5': 9025}],
   {'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [0, 0, 2], 'T3': [0, 0, 2], 'T4': [1, 0, 1], 'T5': [0, 2, 0]}),
  ('normal control 4',
   [[['T7', 'T1'], ['T3', 'T4'], ['T2', 'T5'], ['T6', 'T0']],
    {'T0': 9025, 'T1': 9025, 'T2': 12000, 'T3': 9025, 'T4': 11240, 'T5': 10110, 'T6': 12000, 'T7': 12000}],
   {'T0': [0, 2, 0],
    'T1': [0, 2, 0],
    'T2': [2, 0, 0],
    'T3': [0, 2, 0],
    'T4': [2, 0, 0],
    'T5': [0, 2, 0],
    'T6': [2, 0, 0],
    'T7': [2, 0, 0]})],
 [('regression: median sort',
   [[['T1', 'T2'], ['T3', 'T0']], {'T0': 12000, 'T1': 8487, 'T2': 8497, 'T3': 12887, 'T4': 13388}],
   {'T0': [0, 1, 1], 'T1': [0, 2, 0], 'T2': [1, 1, 0], 'T3': [2, 0, 0], 'T4': [1, 0, 0]}),
  ('partial repair probe: median sort',
   [[['T2', 'T3'], ['T1', 'T4']], {'T0': 9025, 'T1': 9025, 'T2': 9025, 'T3': 12000, 'T4': 10111}],
   {'T0': [0, 0, 1], 'T1': [0, 1, 1], 'T2': [0, 1, 1], 'T3': [2, 0, 0], 'T4': [2, 0, 0]}),
  ('second regression', [[['T0', 'T2'], ['T1', 'T3']], {'T0': 9025, 'T1': 11240, 'T2': 13854, 'T3': 8850}],
   {'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0]}),
  ('normal control 1', [[['T3', 'T2'], ['T0', 'T1']], {'T0': 8850, 'T1': 12000, 'T2': 9025, 'T3': 11240}],
   {'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0]}),
  ('normal control 2', [[['T3', 'T2'], ['T1', 'T0']], {'T0': 8850, 'T1': 11240, 'T2': 10110, 'T3': 12000}],
   {'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0]}),
  ('normal control 3',
   [[['T2', 'T4'], ['T3', 'T1'], ['T0', 'T5']],
    {'T0': 12000, 'T1': 13373, 'T2': 9025, 'T3': 12347, 'T4': 8850, 'T5': 7460}],
   {'T0': [2, 0, 0], 'T1': [2, 0, 0], 'T2': [1, 1, 0], 'T3': [1, 1, 0], 'T4': [0, 2, 0], 'T5': [0, 2, 0]}),
  ('normal control 4',
   [[['T4', 'T0'], ['T5', 'T3'], ['T6', 'T7'], ['T2', 'T1']],
    {'T0': 12000, 'T1': 12000, 'T2': 9025, 'T3': 13166, 'T4': 8850, 'T5': 9025, 'T6': 12000, 'T7': 9025}],
   {'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: median sort',
   [[['T3', 'T1'], ['T2', 'T0']], {'T0': 12000, 'T1': 8850, 'T2': 8850, 'T3': 10111}],
   {'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0]}),
  ('partial repair probe: median sort',
   [[['T4', 'T3'], ['T2', 'T0'], ['T1', 'T6']],
    {'T0': 8850, 'T1': 9025, 'T2': 8850, 'T3': 9025, 'T4': 9025, 'T5': 11240, 'T6': 12000}],
   {'T0': [0, 1, 1],
    'T1': [0, 1, 1],
    'T2': [0, 1, 1],
    'T3': [0, 0, 2],
    'T4': [0, 0, 2],
    'T5': [1, 0, 0],
    'T6': [2, 0, 0]}),
  ('second regression',
   [[['T2', 'T5'], ['T0', 'T4'], ['T3', 'T1']],
    {'T0': 10111, 'T1': 11240, 'T2': 9025, 'T3': 10110, 'T4': 8850, 'T5': 10111}],
   {'T0': [2, 0, 0], 'T1': [2, 0, 0], 'T2': [0, 2, 0], 'T3': [0, 2, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0]}),
  ('normal control 1', [[['T0', 'T3'], ['T1', 'T2']], {'T0': 10110, 'T1': 11240, 'T2': 9025, 'T3': 12000}],
   {'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0]}),
  ('normal control 2',
   [[['T4', 'T1'], ['T2', 'T3']], {'T0': 11240, 'T1': 10904, 'T2': 10110, 'T3': 8850, 'T4': 9025}],
   {'T0': [1, 0, 0], 'T1': [2, 0, 0], 'T2': [1, 0, 1], 'T3': [0, 2, 0], 'T4': [0, 2, 0]}),
  ('normal control 3',
   [[['T3', 'T2'], ['T1', 'T0']], {'T0': 7992, 'T1': 12000, 'T2': 10111, 'T3': 12581, 'T4': 8850}],
   {'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [0, 1, 1], 'T3': [2, 0, 0], 'T4': [0, 1, 0]}),
  ('normal control 4',
   [[['T4', 'T3'], ['T0', 'T1'], ['T5', 'T2']],
    {'T0': 11240, 'T1': 8850, 'T2': 11240, 'T3': 8850, 'T4': 8850, 'T5': 11240}],
   {'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [1, 0, 1], 'T3': [0, 1, 1], 'T4': [0, 1, 1], 'T5': [1, 0, 1]})],
 [('regression: median sort',
   [[['T7', 'T6'], ['T1', 'T2'], ['T4', 'T3'], ['T5', 'T0']],
    {'T0': 11240, 'T1': 10891, 'T2': 8314, 'T3': 12000, 'T4': 11240, 'T5': 10110, 'T6': 9025, 'T7': 12647}],
   {'T0': [2, 0, 0],
    'T1': [1, 1, 0],
    'T2': [0, 2, 0],
    'T3': [2, 0, 0],
    'T4': [1, 1, 0],
    'T5': [0, 2, 0],
    'T6': [0, 2, 0],
    'T7': [2, 0, 0]}),
  ('partial repair probe: median sort',
   [[['T3', 'T5'], ['T2', 'T4'], ['T1', 'T0']],
    {'T0': 12000, 'T1': 10110, 'T2': 11240, 'T3': 11240, 'T4': 10111, 'T5': 12000}],
   {'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [1, 0, 1], 'T3': [0, 1, 1], 'T4': [0, 2, 0], 'T5': [2, 0, 0]}),
  ('second regression',
   [[['T4', 'T5'], ['T1', 'T2'], ['T3', 'T0']],
    {'T0': 11240, 'T1': 9025, 'T2': 8850, 'T3': 9025, 'T4': 8850, 'T5': 9025}],
   {'T0': [2, 0, 0], 'T1': [1, 0, 1], 'T2': [0, 2, 0], 'T3': [0, 1, 1], 'T4': [0, 2, 0], 'T5': [1, 0, 1]}),
  ('normal control 1',
   [[['T3', 'T2'], ['T0', 'T4']], {'T0': 8850, 'T1': 10110, 'T2': 9025, 'T3': 10110, 'T4': 9025}],
   {'T0': [0, 2, 0], 'T1': [1, 0, 0], 'T2': [0, 1, 1], 'T3': [2, 0, 0], 'T4': [1, 0, 1]}),
  ('normal control 2',
   [[['T1', 'T5'], ['T7', 'T3'], ['T0', 'T4'], ['T2', 'T6']],
    {'T0': 10111, 'T1': 10170, 'T2': 11854, 'T3': 9025, 'T4': 12000, 'T5': 9025, 'T6': 11240, 'T7': 11240}],
   {'T0': [0, 2, 0],
    'T1': [1, 1, 0],
    'T2': [2, 0, 0],
    'T3': [0, 2, 0],
    'T4': [2, 0, 0],
    'T5': [0, 2, 0],
    'T6': [1, 1, 0],
    'T7': [2, 0, 0]}),
  ('normal control 3',
   [[['T1', 'T2'], ['T5', 'T3'], ['T4', 'T0']],
    {'T0': 9025, 'T1': 9025, 'T2': 9025, 'T3': 9025, 'T4': 9025, 'T5': 9025}],
   {'T0': [0, 0, 2], 'T1': [0, 0, 2], 'T2': [0, 0, 2], 'T3': [0, 0, 2], 'T4': [0, 0, 2], 'T5': [0, 0, 2]}),
  ('normal control 4',
   [[['T2', 'T0'], ['T5', 'T3'], ['T1', 'T4']],
    {'T0': 12531, 'T1': 12000, 'T2': 11240, 'T3': 11240, 'T4': 10110, 'T5': 10111}],
   {'T0': [2, 0, 0], 'T1': [2, 0, 0], 'T2': [0, 1, 1], 'T3': [1, 0, 1], 'T4': [0, 2, 0], 'T5': [0, 2, 0]})],
 [('regression: median sort',
   [[['T4', 'T3'], ['T5', 'T1'], ['T0', 'T6']],
    {'T0': 9025, 'T1': 8850, 'T2': 8850, 'T3': 10111, 'T4': 9025, 'T5': 8850, 'T6': 12000}],
   {'T0': [0, 1, 1],
    'T1': [0, 1, 1],
    'T2': [0, 1, 0],
    'T3': [2, 0, 0],
    'T4': [0, 1, 1],
    'T5': [0, 1, 1],
    'T6': [2, 0, 0]}),
  ('partial repair probe: median sort',
   [[['T4', 'T1'], ['T0', 'T2'], ['T6', 'T3'], ['T7', 'T5']],
    {'T0': 12000, 'T1': 9025, 'T2': 8434, 'T3': 9025, 'T4': 12551, 'T5': 8850, 'T6': 10111, 'T7': 9025}],
   {'T0': [2, 0, 0],
    'T1': [0, 1, 1],
    'T2': [0, 2, 0],
    'T3': [0, 1, 1],
    'T4': [2, 0, 0],
    'T5': [0, 2, 0],
    'T6': [2, 0, 0],
    'T7': [1, 0, 1]}),
  ('second regression', [[['T0', 'T1'], ['T2', 'T3']], {'T0': 9025, 'T1': 9025, 'T2': 8351, 'T3': 12290}],
   {'T0': [0, 0, 2], 'T1': [0, 0, 2], 'T2': [0, 2, 0], 'T3': [2, 0, 0]}),
  ('normal control 1',
   [[['T0', 'T1'], ['T4', 'T3']], {'T0': 9025, 'T1': 10110, 'T2': 10110, 'T3': 9025, 'T4': 10111}],
   {'T0': [0, 2, 0], 'T1': [1, 0, 1], 'T2': [0, 0, 1], 'T3': [0, 2, 0], 'T4': [2, 0, 0]}),
  ('normal control 2',
   [[['T7', 'T1'], ['T2', 'T4'], ['T5', 'T6'], ['T3', 'T0']],
    {'T0': 10111, 'T1': 9025, 'T2': 8850, 'T3': 9025, 'T4': 9025, 'T5': 9025, 'T6': 9025, 'T7': 10111}],
   {'T0': [2, 0, 0],
    'T1': [0, 1, 1],
    'T2': [0, 2, 0],
    'T3': [0, 1, 1],
    'T4': [1, 0, 1],
    'T5': [0, 0, 2],
    'T6': [0, 0, 2],
    'T7': [2, 0, 0]}),
  ('normal control 3',
   [[['T2', 'T4'], ['T3', 'T0']], {'T0': 12000, 'T1': 7188, 'T2': 9025, 'T3': 12000, 'T4': 9025}],
   {'T0': [1, 0, 1], 'T1': [0, 1, 0], 'T2': [0, 0, 2], 'T3': [1, 0, 1], 'T4': [0, 0, 2]}),
  ('normal control 4',
   [[['T2', 'T6'], ['T0', 'T3'], ['T4', 'T5']],
    {'T0': 9025, 'T1': 9025, 'T2': 9025, 'T3': 9025, 'T4': 9025, 'T5': 12000, 'T6': 8850}],
   {'T0': [0, 0, 2],
    'T1': [0, 0, 1],
    'T2': [1, 0, 1],
    'T3': [0, 0, 2],
    'T4': [0, 1, 1],
    'T5': [2, 0, 0],
    'T6': [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 fixtureActualExpectedOutcome
regression: median sort{'T0': [0, 1, 0], 'T1': [0, 2, 0], 'T2': [1, 0, 1], 'T3': [1, 1, 0], 'T4': [0, 2, 0]}{'T0': [0, 1, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [2, 0, 0], 'T4': [0, 1, 1]}Failed
partial repair probe: median sort{'T0': [1, 0, 1], 'T1': [1, 0, 0], 'T2': [1, 0, 1], 'T3': [0, 2, 0], 'T4': [0, 2, 0]}{'T0': [1, 0, 1], 'T1': [1, 0, 0], 'T2': [1, 0, 1], 'T3': [0, 2, 0], 'T4': [0, 2, 0]}Passed
second regression{'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [1, 1, 0], 'T3': [0, 2, 0], 'T4': [1, 1, 0], 'T5': [2, 0, 0], 'T6': [0, 2, 0], 'T7': [1, 1, 0]}{'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [1, 1, 0], 'T3': [1, 1, 0], 'T4': [1, 1, 0], 'T5': [2, 0, 0], 'T6': [0, 2, 0], 'T7': [1, 1, 0]}Failed
normal control 1{'T0': [2, 0, 0], 'T1': [0, 1, 0], 'T2': [2, 0, 0], 'T3': [0, 0, 2], 'T4': [0, 1, 1], 'T5': [0, 2, 0], 'T6': [0, 0, 2]}{'T0': [2, 0, 0], 'T1': [0, 1, 0], 'T2': [2, 0, 0], 'T3': [0, 0, 2], 'T4': [0, 1, 1], 'T5': [0, 2, 0], 'T6': [0, 0, 2]}Passed
normal control 2{'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0]}{'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0]}Passed
normal control 3{'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [0, 0, 2], 'T3': [0, 0, 2], 'T4': [1, 0, 1], 'T5': [0, 2, 0]}{'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [0, 0, 2], 'T3': [0, 0, 2], 'T4': [1, 0, 1], 'T5': [0, 2, 0]}Passed
normal control 4{'T0': [0, 2, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0], 'T4': [2, 0, 0], 'T5': [0, 2, 0], 'T6': [2, 0, 0], 'T7': [2, 0, 0]}{'T0': [0, 2, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0], 'T4': [2, 0, 0], 'T5': [0, 2, 0], 'T6': [2, 0, 0], 'T7': [2, 0, 0]}Passed

SHA-256 / 3254575913674d9bc26b5bf78fa77625eb3ce7316ad89268c81fa89b363e73b7

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(set(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: median sort',
   [[['T4', 'T2'], ['T3', 'T1']], {'T0': 9025, 'T1': 9025, 'T2': 10808, 'T3': 10111, 'T4': 10110}],
   {'T0': [0, 1, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [2, 0, 0], 'T4': [0, 1, 1]}),
  ('partial repair probe: median sort',
   [[['T3', 'T2'], ['T0', 'T4']], {'T0': 11240, 'T1': 12000, 'T2': 11240, 'T3': 10111, 'T4': 9025}],
   {'T0': [1, 0, 1], 'T1': [1, 0, 0], 'T2': [1, 0, 1], 'T3': [0, 2, 0], 'T4': [0, 2, 0]}),
  ('second regression',
   [[['T2', 'T6'], ['T1', 'T7'], ['T3', 'T5'], ['T4', 'T0']],
    {'T0': 12000, 'T1': 9025, 'T2': 10111, 'T3': 10449, 'T4': 11240, 'T5': 12000, 'T6': 8850, 'T7': 10111}],
   {'T0': [2, 0, 0],
    'T1': [0, 2, 0],
    'T2': [1, 1, 0],
    'T3': [1, 1, 0],
    'T4': [1, 1, 0],
    'T5': [2, 0, 0],
    'T6': [0, 2, 0],
    'T7': [1, 1, 0]}),
  ('normal control 1',
   [[['T2', 'T4'], ['T3', 'T6'], ['T5', 'T0']],
    {'T0': 10111, 'T1': 8850, 'T2': 11240, 'T3': 9025, 'T4': 9025, 'T5': 9008, 'T6': 9025}],
   {'T0': [2, 0, 0],
    'T1': [0, 1, 0],
    'T2': [2, 0, 0],
    'T3': [0, 0, 2],
    'T4': [0, 1, 1],
    'T5': [0, 2, 0],
    'T6': [0, 0, 2]}),
  ('normal control 2', [[['T3', 'T0'], ['T1', 'T2']], {'T0': 10111, 'T1': 9025, 'T2': 10110, 'T3': 8850}],
   {'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0]}),
  ('normal control 3',
   [[['T2', 'T3'], ['T1', 'T0'], ['T5', 'T4']],
    {'T0': 9025, 'T1': 12000, 'T2': 11240, 'T3': 11240, 'T4': 11240, 'T5': 9025}],
   {'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [0, 0, 2], 'T3': [0, 0, 2], 'T4': [1, 0, 1], 'T5': [0, 2, 0]}),
  ('normal control 4',
   [[['T7', 'T1'], ['T3', 'T4'], ['T2', 'T5'], ['T6', 'T0']],
    {'T0': 9025, 'T1': 9025, 'T2': 12000, 'T3': 9025, 'T4': 11240, 'T5': 10110, 'T6': 12000, 'T7': 12000}],
   {'T0': [0, 2, 0],
    'T1': [0, 2, 0],
    'T2': [2, 0, 0],
    'T3': [0, 2, 0],
    'T4': [2, 0, 0],
    'T5': [0, 2, 0],
    'T6': [2, 0, 0],
    'T7': [2, 0, 0]})],
 [('regression: median sort',
   [[['T1', 'T2'], ['T3', 'T0']], {'T0': 12000, 'T1': 8487, 'T2': 8497, 'T3': 12887, 'T4': 13388}],
   {'T0': [0, 1, 1], 'T1': [0, 2, 0], 'T2': [1, 1, 0], 'T3': [2, 0, 0], 'T4': [1, 0, 0]}),
  ('partial repair probe: median sort',
   [[['T2', 'T3'], ['T1', 'T4']], {'T0': 9025, 'T1': 9025, 'T2': 9025, 'T3': 12000, 'T4': 10111}],
   {'T0': [0, 0, 1], 'T1': [0, 1, 1], 'T2': [0, 1, 1], 'T3': [2, 0, 0], 'T4': [2, 0, 0]}),
  ('second regression', [[['T0', 'T2'], ['T1', 'T3']], {'T0': 9025, 'T1': 11240, 'T2': 13854, 'T3': 8850}],
   {'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0]}),
  ('normal control 1', [[['T3', 'T2'], ['T0', 'T1']], {'T0': 8850, 'T1': 12000, 'T2': 9025, 'T3': 11240}],
   {'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0]}),
  ('normal control 2', [[['T3', 'T2'], ['T1', 'T0']], {'T0': 8850, 'T1': 11240, 'T2': 10110, 'T3': 12000}],
   {'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0]}),
  ('normal control 3',
   [[['T2', 'T4'], ['T3', 'T1'], ['T0', 'T5']],
    {'T0': 12000, 'T1': 13373, 'T2': 9025, 'T3': 12347, 'T4': 8850, 'T5': 7460}],
   {'T0': [2, 0, 0], 'T1': [2, 0, 0], 'T2': [1, 1, 0], 'T3': [1, 1, 0], 'T4': [0, 2, 0], 'T5': [0, 2, 0]}),
  ('normal control 4',
   [[['T4', 'T0'], ['T5', 'T3'], ['T6', 'T7'], ['T2', 'T1']],
    {'T0': 12000, 'T1': 12000, 'T2': 9025, 'T3': 13166, 'T4': 8850, 'T5': 9025, 'T6': 12000, 'T7': 9025}],
   {'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: median sort',
   [[['T3', 'T1'], ['T2', 'T0']], {'T0': 12000, 'T1': 8850, 'T2': 8850, 'T3': 10111}],
   {'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0]}),
  ('partial repair probe: median sort',
   [[['T4', 'T3'], ['T2', 'T0'], ['T1', 'T6']],
    {'T0': 8850, 'T1': 9025, 'T2': 8850, 'T3': 9025, 'T4': 9025, 'T5': 11240, 'T6': 12000}],
   {'T0': [0, 1, 1],
    'T1': [0, 1, 1],
    'T2': [0, 1, 1],
    'T3': [0, 0, 2],
    'T4': [0, 0, 2],
    'T5': [1, 0, 0],
    'T6': [2, 0, 0]}),
  ('second regression',
   [[['T2', 'T5'], ['T0', 'T4'], ['T3', 'T1']],
    {'T0': 10111, 'T1': 11240, 'T2': 9025, 'T3': 10110, 'T4': 8850, 'T5': 10111}],
   {'T0': [2, 0, 0], 'T1': [2, 0, 0], 'T2': [0, 2, 0], 'T3': [0, 2, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0]}),
  ('normal control 1', [[['T0', 'T3'], ['T1', 'T2']], {'T0': 10110, 'T1': 11240, 'T2': 9025, 'T3': 12000}],
   {'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0]}),
  ('normal control 2',
   [[['T4', 'T1'], ['T2', 'T3']], {'T0': 11240, 'T1': 10904, 'T2': 10110, 'T3': 8850, 'T4': 9025}],
   {'T0': [1, 0, 0], 'T1': [2, 0, 0], 'T2': [1, 0, 1], 'T3': [0, 2, 0], 'T4': [0, 2, 0]}),
  ('normal control 3',
   [[['T3', 'T2'], ['T1', 'T0']], {'T0': 7992, 'T1': 12000, 'T2': 10111, 'T3': 12581, 'T4': 8850}],
   {'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [0, 1, 1], 'T3': [2, 0, 0], 'T4': [0, 1, 0]}),
  ('normal control 4',
   [[['T4', 'T3'], ['T0', 'T1'], ['T5', 'T2']],
    {'T0': 11240, 'T1': 8850, 'T2': 11240, 'T3': 8850, 'T4': 8850, 'T5': 11240}],
   {'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [1, 0, 1], 'T3': [0, 1, 1], 'T4': [0, 1, 1], 'T5': [1, 0, 1]})],
 [('regression: median sort',
   [[['T7', 'T6'], ['T1', 'T2'], ['T4', 'T3'], ['T5', 'T0']],
    {'T0': 11240, 'T1': 10891, 'T2': 8314, 'T3': 12000, 'T4': 11240, 'T5': 10110, 'T6': 9025, 'T7': 12647}],
   {'T0': [2, 0, 0],
    'T1': [1, 1, 0],
    'T2': [0, 2, 0],
    'T3': [2, 0, 0],
    'T4': [1, 1, 0],
    'T5': [0, 2, 0],
    'T6': [0, 2, 0],
    'T7': [2, 0, 0]}),
  ('partial repair probe: median sort',
   [[['T3', 'T5'], ['T2', 'T4'], ['T1', 'T0']],
    {'T0': 12000, 'T1': 10110, 'T2': 11240, 'T3': 11240, 'T4': 10111, 'T5': 12000}],
   {'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [1, 0, 1], 'T3': [0, 1, 1], 'T4': [0, 2, 0], 'T5': [2, 0, 0]}),
  ('second regression',
   [[['T4', 'T5'], ['T1', 'T2'], ['T3', 'T0']],
    {'T0': 11240, 'T1': 9025, 'T2': 8850, 'T3': 9025, 'T4': 8850, 'T5': 9025}],
   {'T0': [2, 0, 0], 'T1': [1, 0, 1], 'T2': [0, 2, 0], 'T3': [0, 1, 1], 'T4': [0, 2, 0], 'T5': [1, 0, 1]}),
  ('normal control 1',
   [[['T3', 'T2'], ['T0', 'T4']], {'T0': 8850, 'T1': 10110, 'T2': 9025, 'T3': 10110, 'T4': 9025}],
   {'T0': [0, 2, 0], 'T1': [1, 0, 0], 'T2': [0, 1, 1], 'T3': [2, 0, 0], 'T4': [1, 0, 1]}),
  ('normal control 2',
   [[['T1', 'T5'], ['T7', 'T3'], ['T0', 'T4'], ['T2', 'T6']],
    {'T0': 10111, 'T1': 10170, 'T2': 11854, 'T3': 9025, 'T4': 12000, 'T5': 9025, 'T6': 11240, 'T7': 11240}],
   {'T0': [0, 2, 0],
    'T1': [1, 1, 0],
    'T2': [2, 0, 0],
    'T3': [0, 2, 0],
    'T4': [2, 0, 0],
    'T5': [0, 2, 0],
    'T6': [1, 1, 0],
    'T7': [2, 0, 0]}),
  ('normal control 3',
   [[['T1', 'T2'], ['T5', 'T3'], ['T4', 'T0']],
    {'T0': 9025, 'T1': 9025, 'T2': 9025, 'T3': 9025, 'T4': 9025, 'T5': 9025}],
   {'T0': [0, 0, 2], 'T1': [0, 0, 2], 'T2': [0, 0, 2], 'T3': [0, 0, 2], 'T4': [0, 0, 2], 'T5': [0, 0, 2]}),
  ('normal control 4',
   [[['T2', 'T0'], ['T5', 'T3'], ['T1', 'T4']],
    {'T0': 12531, 'T1': 12000, 'T2': 11240, 'T3': 11240, 'T4': 10110, 'T5': 10111}],
   {'T0': [2, 0, 0], 'T1': [2, 0, 0], 'T2': [0, 1, 1], 'T3': [1, 0, 1], 'T4': [0, 2, 0], 'T5': [0, 2, 0]})],
 [('regression: median sort',
   [[['T4', 'T3'], ['T5', 'T1'], ['T0', 'T6']],
    {'T0': 9025, 'T1': 8850, 'T2': 8850, 'T3': 10111, 'T4': 9025, 'T5': 8850, 'T6': 12000}],
   {'T0': [0, 1, 1],
    'T1': [0, 1, 1],
    'T2': [0, 1, 0],
    'T3': [2, 0, 0],
    'T4': [0, 1, 1],
    'T5': [0, 1, 1],
    'T6': [2, 0, 0]}),
  ('partial repair probe: median sort',
   [[['T4', 'T1'], ['T0', 'T2'], ['T6', 'T3'], ['T7', 'T5']],
    {'T0': 12000, 'T1': 9025, 'T2': 8434, 'T3': 9025, 'T4': 12551, 'T5': 8850, 'T6': 10111, 'T7': 9025}],
   {'T0': [2, 0, 0],
    'T1': [0, 1, 1],
    'T2': [0, 2, 0],
    'T3': [0, 1, 1],
    'T4': [2, 0, 0],
    'T5': [0, 2, 0],
    'T6': [2, 0, 0],
    'T7': [1, 0, 1]}),
  ('second regression', [[['T0', 'T1'], ['T2', 'T3']], {'T0': 9025, 'T1': 9025, 'T2': 8351, 'T3': 12290}],
   {'T0': [0, 0, 2], 'T1': [0, 0, 2], 'T2': [0, 2, 0], 'T3': [2, 0, 0]}),
  ('normal control 1',
   [[['T0', 'T1'], ['T4', 'T3']], {'T0': 9025, 'T1': 10110, 'T2': 10110, 'T3': 9025, 'T4': 10111}],
   {'T0': [0, 2, 0], 'T1': [1, 0, 1], 'T2': [0, 0, 1], 'T3': [0, 2, 0], 'T4': [2, 0, 0]}),
  ('normal control 2',
   [[['T7', 'T1'], ['T2', 'T4'], ['T5', 'T6'], ['T3', 'T0']],
    {'T0': 10111, 'T1': 9025, 'T2': 8850, 'T3': 9025, 'T4': 9025, 'T5': 9025, 'T6': 9025, 'T7': 10111}],
   {'T0': [2, 0, 0],
    'T1': [0, 1, 1],
    'T2': [0, 2, 0],
    'T3': [0, 1, 1],
    'T4': [1, 0, 1],
    'T5': [0, 0, 2],
    'T6': [0, 0, 2],
    'T7': [2, 0, 0]}),
  ('normal control 3',
   [[['T2', 'T4'], ['T3', 'T0']], {'T0': 12000, 'T1': 7188, 'T2': 9025, 'T3': 12000, 'T4': 9025}],
   {'T0': [1, 0, 1], 'T1': [0, 1, 0], 'T2': [0, 0, 2], 'T3': [1, 0, 1], 'T4': [0, 0, 2]}),
  ('normal control 4',
   [[['T2', 'T6'], ['T0', 'T3'], ['T4', 'T5']],
    {'T0': 9025, 'T1': 9025, 'T2': 9025, 'T3': 9025, 'T4': 9025, 'T5': 12000, 'T6': 8850}],
   {'T0': [0, 0, 2],
    'T1': [0, 0, 1],
    'T2': [1, 0, 1],
    'T3': [0, 0, 2],
    'T4': [0, 1, 1],
    'T5': [2, 0, 0],
    'T6': [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 fixtureActualExpectedOutcome
regression: median sort{'T0': [0, 1, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [2, 0, 0], 'T4': [0, 2, 0]}{'T0': [0, 1, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [2, 0, 0], 'T4': [0, 1, 1]}Failed
partial repair probe: median sort{'T0': [2, 0, 0], 'T1': [1, 0, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0], 'T4': [0, 2, 0]}{'T0': [1, 0, 1], 'T1': [1, 0, 0], 'T2': [1, 0, 1], 'T3': [0, 2, 0], 'T4': [0, 2, 0]}Failed
second regression{'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [1, 1, 0], 'T3': [1, 1, 0], 'T4': [1, 1, 0], 'T5': [2, 0, 0], 'T6': [0, 2, 0], 'T7': [1, 1, 0]}{'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [1, 1, 0], 'T3': [1, 1, 0], 'T4': [1, 1, 0], 'T5': [2, 0, 0], 'T6': [0, 2, 0], 'T7': [1, 1, 0]}Passed
normal control 1{'T0': [2, 0, 0], 'T1': [0, 1, 0], 'T2': [2, 0, 0], 'T3': [0, 0, 2], 'T4': [0, 1, 1], 'T5': [0, 2, 0], 'T6': [0, 0, 2]}{'T0': [2, 0, 0], 'T1': [0, 1, 0], 'T2': [2, 0, 0], 'T3': [0, 0, 2], 'T4': [0, 1, 1], 'T5': [0, 2, 0], 'T6': [0, 0, 2]}Passed
normal control 2{'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0]}{'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0]}Passed
normal control 3{'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [0, 0, 2], 'T3': [0, 0, 2], 'T4': [1, 0, 1], 'T5': [0, 2, 0]}{'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [0, 0, 2], 'T3': [0, 0, 2], 'T4': [1, 0, 1], 'T5': [0, 2, 0]}Passed
normal control 4{'T0': [0, 2, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0], 'T4': [2, 0, 0], 'T5': [0, 2, 0], 'T6': [2, 0, 0], 'T7': [2, 0, 0]}{'T0': [0, 2, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0], 'T4': [2, 0, 0], 'T5': [0, 2, 0], 'T6': [2, 0, 0], 'T7': [2, 0, 0]}Passed

SHA-256 / 25f8efff3631061119c8671859cdd3691cb2fa109f3ab28332847900837e9f01

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: median sort',
   [[['T4', 'T2'], ['T3', 'T1']], {'T0': 9025, 'T1': 9025, 'T2': 10808, 'T3': 10111, 'T4': 10110}],
   {'T0': [0, 1, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [2, 0, 0], 'T4': [0, 1, 1]}),
  ('partial repair probe: median sort',
   [[['T3', 'T2'], ['T0', 'T4']], {'T0': 11240, 'T1': 12000, 'T2': 11240, 'T3': 10111, 'T4': 9025}],
   {'T0': [1, 0, 1], 'T1': [1, 0, 0], 'T2': [1, 0, 1], 'T3': [0, 2, 0], 'T4': [0, 2, 0]}),
  ('second regression',
   [[['T2', 'T6'], ['T1', 'T7'], ['T3', 'T5'], ['T4', 'T0']],
    {'T0': 12000, 'T1': 9025, 'T2': 10111, 'T3': 10449, 'T4': 11240, 'T5': 12000, 'T6': 8850, 'T7': 10111}],
   {'T0': [2, 0, 0],
    'T1': [0, 2, 0],
    'T2': [1, 1, 0],
    'T3': [1, 1, 0],
    'T4': [1, 1, 0],
    'T5': [2, 0, 0],
    'T6': [0, 2, 0],
    'T7': [1, 1, 0]}),
  ('normal control 1',
   [[['T2', 'T4'], ['T3', 'T6'], ['T5', 'T0']],
    {'T0': 10111, 'T1': 8850, 'T2': 11240, 'T3': 9025, 'T4': 9025, 'T5': 9008, 'T6': 9025}],
   {'T0': [2, 0, 0],
    'T1': [0, 1, 0],
    'T2': [2, 0, 0],
    'T3': [0, 0, 2],
    'T4': [0, 1, 1],
    'T5': [0, 2, 0],
    'T6': [0, 0, 2]}),
  ('normal control 2', [[['T3', 'T0'], ['T1', 'T2']], {'T0': 10111, 'T1': 9025, 'T2': 10110, 'T3': 8850}],
   {'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0]}),
  ('normal control 3',
   [[['T2', 'T3'], ['T1', 'T0'], ['T5', 'T4']],
    {'T0': 9025, 'T1': 12000, 'T2': 11240, 'T3': 11240, 'T4': 11240, 'T5': 9025}],
   {'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [0, 0, 2], 'T3': [0, 0, 2], 'T4': [1, 0, 1], 'T5': [0, 2, 0]}),
  ('normal control 4',
   [[['T7', 'T1'], ['T3', 'T4'], ['T2', 'T5'], ['T6', 'T0']],
    {'T0': 9025, 'T1': 9025, 'T2': 12000, 'T3': 9025, 'T4': 11240, 'T5': 10110, 'T6': 12000, 'T7': 12000}],
   {'T0': [0, 2, 0],
    'T1': [0, 2, 0],
    'T2': [2, 0, 0],
    'T3': [0, 2, 0],
    'T4': [2, 0, 0],
    'T5': [0, 2, 0],
    'T6': [2, 0, 0],
    'T7': [2, 0, 0]})],
 [('regression: median sort',
   [[['T1', 'T2'], ['T3', 'T0']], {'T0': 12000, 'T1': 8487, 'T2': 8497, 'T3': 12887, 'T4': 13388}],
   {'T0': [0, 1, 1], 'T1': [0, 2, 0], 'T2': [1, 1, 0], 'T3': [2, 0, 0], 'T4': [1, 0, 0]}),
  ('partial repair probe: median sort',
   [[['T2', 'T3'], ['T1', 'T4']], {'T0': 9025, 'T1': 9025, 'T2': 9025, 'T3': 12000, 'T4': 10111}],
   {'T0': [0, 0, 1], 'T1': [0, 1, 1], 'T2': [0, 1, 1], 'T3': [2, 0, 0], 'T4': [2, 0, 0]}),
  ('second regression', [[['T0', 'T2'], ['T1', 'T3']], {'T0': 9025, 'T1': 11240, 'T2': 13854, 'T3': 8850}],
   {'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0]}),
  ('normal control 1', [[['T3', 'T2'], ['T0', 'T1']], {'T0': 8850, 'T1': 12000, 'T2': 9025, 'T3': 11240}],
   {'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0]}),
  ('normal control 2', [[['T3', 'T2'], ['T1', 'T0']], {'T0': 8850, 'T1': 11240, 'T2': 10110, 'T3': 12000}],
   {'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0]}),
  ('normal control 3',
   [[['T2', 'T4'], ['T3', 'T1'], ['T0', 'T5']],
    {'T0': 12000, 'T1': 13373, 'T2': 9025, 'T3': 12347, 'T4': 8850, 'T5': 7460}],
   {'T0': [2, 0, 0], 'T1': [2, 0, 0], 'T2': [1, 1, 0], 'T3': [1, 1, 0], 'T4': [0, 2, 0], 'T5': [0, 2, 0]}),
  ('normal control 4',
   [[['T4', 'T0'], ['T5', 'T3'], ['T6', 'T7'], ['T2', 'T1']],
    {'T0': 12000, 'T1': 12000, 'T2': 9025, 'T3': 13166, 'T4': 8850, 'T5': 9025, 'T6': 12000, 'T7': 9025}],
   {'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: median sort',
   [[['T3', 'T1'], ['T2', 'T0']], {'T0': 12000, 'T1': 8850, 'T2': 8850, 'T3': 10111}],
   {'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0]}),
  ('partial repair probe: median sort',
   [[['T4', 'T3'], ['T2', 'T0'], ['T1', 'T6']],
    {'T0': 8850, 'T1': 9025, 'T2': 8850, 'T3': 9025, 'T4': 9025, 'T5': 11240, 'T6': 12000}],
   {'T0': [0, 1, 1],
    'T1': [0, 1, 1],
    'T2': [0, 1, 1],
    'T3': [0, 0, 2],
    'T4': [0, 0, 2],
    'T5': [1, 0, 0],
    'T6': [2, 0, 0]}),
  ('second regression',
   [[['T2', 'T5'], ['T0', 'T4'], ['T3', 'T1']],
    {'T0': 10111, 'T1': 11240, 'T2': 9025, 'T3': 10110, 'T4': 8850, 'T5': 10111}],
   {'T0': [2, 0, 0], 'T1': [2, 0, 0], 'T2': [0, 2, 0], 'T3': [0, 2, 0], 'T4': [0, 2, 0], 'T5': [2, 0, 0]}),
  ('normal control 1', [[['T0', 'T3'], ['T1', 'T2']], {'T0': 10110, 'T1': 11240, 'T2': 9025, 'T3': 12000}],
   {'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [0, 2, 0], 'T3': [2, 0, 0]}),
  ('normal control 2',
   [[['T4', 'T1'], ['T2', 'T3']], {'T0': 11240, 'T1': 10904, 'T2': 10110, 'T3': 8850, 'T4': 9025}],
   {'T0': [1, 0, 0], 'T1': [2, 0, 0], 'T2': [1, 0, 1], 'T3': [0, 2, 0], 'T4': [0, 2, 0]}),
  ('normal control 3',
   [[['T3', 'T2'], ['T1', 'T0']], {'T0': 7992, 'T1': 12000, 'T2': 10111, 'T3': 12581, 'T4': 8850}],
   {'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [0, 1, 1], 'T3': [2, 0, 0], 'T4': [0, 1, 0]}),
  ('normal control 4',
   [[['T4', 'T3'], ['T0', 'T1'], ['T5', 'T2']],
    {'T0': 11240, 'T1': 8850, 'T2': 11240, 'T3': 8850, 'T4': 8850, 'T5': 11240}],
   {'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [1, 0, 1], 'T3': [0, 1, 1], 'T4': [0, 1, 1], 'T5': [1, 0, 1]})],
 [('regression: median sort',
   [[['T7', 'T6'], ['T1', 'T2'], ['T4', 'T3'], ['T5', 'T0']],
    {'T0': 11240, 'T1': 10891, 'T2': 8314, 'T3': 12000, 'T4': 11240, 'T5': 10110, 'T6': 9025, 'T7': 12647}],
   {'T0': [2, 0, 0],
    'T1': [1, 1, 0],
    'T2': [0, 2, 0],
    'T3': [2, 0, 0],
    'T4': [1, 1, 0],
    'T5': [0, 2, 0],
    'T6': [0, 2, 0],
    'T7': [2, 0, 0]}),
  ('partial repair probe: median sort',
   [[['T3', 'T5'], ['T2', 'T4'], ['T1', 'T0']],
    {'T0': 12000, 'T1': 10110, 'T2': 11240, 'T3': 11240, 'T4': 10111, 'T5': 12000}],
   {'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [1, 0, 1], 'T3': [0, 1, 1], 'T4': [0, 2, 0], 'T5': [2, 0, 0]}),
  ('second regression',
   [[['T4', 'T5'], ['T1', 'T2'], ['T3', 'T0']],
    {'T0': 11240, 'T1': 9025, 'T2': 8850, 'T3': 9025, 'T4': 8850, 'T5': 9025}],
   {'T0': [2, 0, 0], 'T1': [1, 0, 1], 'T2': [0, 2, 0], 'T3': [0, 1, 1], 'T4': [0, 2, 0], 'T5': [1, 0, 1]}),
  ('normal control 1',
   [[['T3', 'T2'], ['T0', 'T4']], {'T0': 8850, 'T1': 10110, 'T2': 9025, 'T3': 10110, 'T4': 9025}],
   {'T0': [0, 2, 0], 'T1': [1, 0, 0], 'T2': [0, 1, 1], 'T3': [2, 0, 0], 'T4': [1, 0, 1]}),
  ('normal control 2',
   [[['T1', 'T5'], ['T7', 'T3'], ['T0', 'T4'], ['T2', 'T6']],
    {'T0': 10111, 'T1': 10170, 'T2': 11854, 'T3': 9025, 'T4': 12000, 'T5': 9025, 'T6': 11240, 'T7': 11240}],
   {'T0': [0, 2, 0],
    'T1': [1, 1, 0],
    'T2': [2, 0, 0],
    'T3': [0, 2, 0],
    'T4': [2, 0, 0],
    'T5': [0, 2, 0],
    'T6': [1, 1, 0],
    'T7': [2, 0, 0]}),
  ('normal control 3',
   [[['T1', 'T2'], ['T5', 'T3'], ['T4', 'T0']],
    {'T0': 9025, 'T1': 9025, 'T2': 9025, 'T3': 9025, 'T4': 9025, 'T5': 9025}],
   {'T0': [0, 0, 2], 'T1': [0, 0, 2], 'T2': [0, 0, 2], 'T3': [0, 0, 2], 'T4': [0, 0, 2], 'T5': [0, 0, 2]}),
  ('normal control 4',
   [[['T2', 'T0'], ['T5', 'T3'], ['T1', 'T4']],
    {'T0': 12531, 'T1': 12000, 'T2': 11240, 'T3': 11240, 'T4': 10110, 'T5': 10111}],
   {'T0': [2, 0, 0], 'T1': [2, 0, 0], 'T2': [0, 1, 1], 'T3': [1, 0, 1], 'T4': [0, 2, 0], 'T5': [0, 2, 0]})],
 [('regression: median sort',
   [[['T4', 'T3'], ['T5', 'T1'], ['T0', 'T6']],
    {'T0': 9025, 'T1': 8850, 'T2': 8850, 'T3': 10111, 'T4': 9025, 'T5': 8850, 'T6': 12000}],
   {'T0': [0, 1, 1],
    'T1': [0, 1, 1],
    'T2': [0, 1, 0],
    'T3': [2, 0, 0],
    'T4': [0, 1, 1],
    'T5': [0, 1, 1],
    'T6': [2, 0, 0]}),
  ('partial repair probe: median sort',
   [[['T4', 'T1'], ['T0', 'T2'], ['T6', 'T3'], ['T7', 'T5']],
    {'T0': 12000, 'T1': 9025, 'T2': 8434, 'T3': 9025, 'T4': 12551, 'T5': 8850, 'T6': 10111, 'T7': 9025}],
   {'T0': [2, 0, 0],
    'T1': [0, 1, 1],
    'T2': [0, 2, 0],
    'T3': [0, 1, 1],
    'T4': [2, 0, 0],
    'T5': [0, 2, 0],
    'T6': [2, 0, 0],
    'T7': [1, 0, 1]}),
  ('second regression', [[['T0', 'T1'], ['T2', 'T3']], {'T0': 9025, 'T1': 9025, 'T2': 8351, 'T3': 12290}],
   {'T0': [0, 0, 2], 'T1': [0, 0, 2], 'T2': [0, 2, 0], 'T3': [2, 0, 0]}),
  ('normal control 1',
   [[['T0', 'T1'], ['T4', 'T3']], {'T0': 9025, 'T1': 10110, 'T2': 10110, 'T3': 9025, 'T4': 10111}],
   {'T0': [0, 2, 0], 'T1': [1, 0, 1], 'T2': [0, 0, 1], 'T3': [0, 2, 0], 'T4': [2, 0, 0]}),
  ('normal control 2',
   [[['T7', 'T1'], ['T2', 'T4'], ['T5', 'T6'], ['T3', 'T0']],
    {'T0': 10111, 'T1': 9025, 'T2': 8850, 'T3': 9025, 'T4': 9025, 'T5': 9025, 'T6': 9025, 'T7': 10111}],
   {'T0': [2, 0, 0],
    'T1': [0, 1, 1],
    'T2': [0, 2, 0],
    'T3': [0, 1, 1],
    'T4': [1, 0, 1],
    'T5': [0, 0, 2],
    'T6': [0, 0, 2],
    'T7': [2, 0, 0]}),
  ('normal control 3',
   [[['T2', 'T4'], ['T3', 'T0']], {'T0': 12000, 'T1': 7188, 'T2': 9025, 'T3': 12000, 'T4': 9025}],
   {'T0': [1, 0, 1], 'T1': [0, 1, 0], 'T2': [0, 0, 2], 'T3': [1, 0, 1], 'T4': [0, 0, 2]}),
  ('normal control 4',
   [[['T2', 'T6'], ['T0', 'T3'], ['T4', 'T5']],
    {'T0': 9025, 'T1': 9025, 'T2': 9025, 'T3': 9025, 'T4': 9025, 'T5': 12000, 'T6': 8850}],
   {'T0': [0, 0, 2],
    'T1': [0, 0, 1],
    'T2': [1, 0, 1],
    'T3': [0, 0, 2],
    'T4': [0, 1, 1],
    'T5': [2, 0, 0],
    'T6': [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 fixtureActualExpectedOutcome
regression: median sort{'T0': [0, 1, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [2, 0, 0], 'T4': [0, 1, 1]}{'T0': [0, 1, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [2, 0, 0], 'T4': [0, 1, 1]}Passed
partial repair probe: median sort{'T0': [1, 0, 1], 'T1': [1, 0, 0], 'T2': [1, 0, 1], 'T3': [0, 2, 0], 'T4': [0, 2, 0]}{'T0': [1, 0, 1], 'T1': [1, 0, 0], 'T2': [1, 0, 1], 'T3': [0, 2, 0], 'T4': [0, 2, 0]}Passed
second regression{'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [1, 1, 0], 'T3': [1, 1, 0], 'T4': [1, 1, 0], 'T5': [2, 0, 0], 'T6': [0, 2, 0], 'T7': [1, 1, 0]}{'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [1, 1, 0], 'T3': [1, 1, 0], 'T4': [1, 1, 0], 'T5': [2, 0, 0], 'T6': [0, 2, 0], 'T7': [1, 1, 0]}Passed
normal control 1{'T0': [2, 0, 0], 'T1': [0, 1, 0], 'T2': [2, 0, 0], 'T3': [0, 0, 2], 'T4': [0, 1, 1], 'T5': [0, 2, 0], 'T6': [0, 0, 2]}{'T0': [2, 0, 0], 'T1': [0, 1, 0], 'T2': [2, 0, 0], 'T3': [0, 0, 2], 'T4': [0, 1, 1], 'T5': [0, 2, 0], 'T6': [0, 0, 2]}Passed
normal control 2{'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0]}{'T0': [2, 0, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0]}Passed
normal control 3{'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [0, 0, 2], 'T3': [0, 0, 2], 'T4': [1, 0, 1], 'T5': [0, 2, 0]}{'T0': [0, 2, 0], 'T1': [2, 0, 0], 'T2': [0, 0, 2], 'T3': [0, 0, 2], 'T4': [1, 0, 1], 'T5': [0, 2, 0]}Passed
normal control 4{'T0': [0, 2, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0], 'T4': [2, 0, 0], 'T5': [0, 2, 0], 'T6': [2, 0, 0], 'T7': [2, 0, 0]}{'T0': [0, 2, 0], 'T1': [0, 2, 0], 'T2': [2, 0, 0], 'T3': [0, 2, 0], 'T4': [2, 0, 0], 'T5': [0, 2, 0], 'T6': [2, 0, 0], 'T7': [2, 0, 0]}Passed

SHA-256 / beadacc73d3d8f523cbc2ce6c9a24196b399b1d13eb9bf556557e23588e87401

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

Case digest / a0b07074e2dd2679f84f8682bc7b6508bb1d574e0bd5a935f25f00661e216b1b