FA-84976 / Fantasy sports scoring / Open access
Same player started in two slots · case 01
A player swapped into a second slot counts twice in the total.
ROOT CAUSE
The duplicate-occupancy check is missing.
THE FAILURE
The duplicate-occupancy check is missing.
Unsuccessful approach: Checking the original lineup misses players added by earlier swaps and blocks players already swapped out.
Case contract
Apply lineup swaps [time, slot, incoming player] in time order (submission order on equal times). A swap is rejected if either the outgoing or incoming player's game has kicked off at or before the swap time, or if the incoming player already occupies another slot. Return the final lineup, the sorted indices of rejected swaps and the lineup's total points.
Why this case matters
Game-time lineup locks decide whether late swaps count; wrong lock semantics let users bench players after they score.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(lineup, swaps, kickoffs, points):
cur = dict(lineup)
rejected = []
order = sorted(range(len(swaps)), key=lambda i: (swaps[i][0], i))
for i in order:
t, slot, new = swaps[i]
old = cur[slot]
if kickoffs[old] <= t or kickoffs[new] <= t:
rejected.append(i)
continue
cur[slot] = new
total = sum(points[p] for p in cur.values())
return {'final': cur, 'rejected': sorted(rejected), 'total': total}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: duplicate starter check',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[300, 'S3', 'p0'], [150, 'S3', 'p0'], [150, 'S2', 'p5'], [250, 'S1', 'p0']],
{'p0': 300, 'p1': 100, 'p2': 300, 'p3': 200, 'p4': 300, 'p5': 100, 'p6': 300},
{'p0': 28, 'p1': 14, 'p2': 22, 'p3': 29, 'p4': 7, 'p5': 25, 'p6': 26}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1, 2, 3], 'total': 64}),
('partial repair probe: duplicate starter check',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[200, 'S1', 'p5'], [150, 'S3', 'p3'], [50, 'S3', 'p1'], [50, 'S3', 'p3'], [150, 'S3', 'p2']],
{'p0': 200, 'p1': 100, 'p2': 100, 'p3': 200, 'p4': 300, 'p5': 300, 'p6': 300},
{'p0': 8, 'p1': 8, 'p2': 20, 'p3': 23, 'p4': 30, 'p5': 29, 'p6': 30}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p3'}, 'rejected': [0, 1, 2, 4], 'total': 39}),
('second regression',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[100, 'S3', 'p4'], [200, 'S1', 'p1'], [150, 'S3', 'p5'], [300, 'S3', 'p4'], [300, 'S2', 'p3']],
{'p0': 300, 'p1': 300, 'p2': 300, 'p3': 300, 'p4': 300, 'p5': 300, 'p6': 200},
{'p0': 3, 'p1': 2, 'p2': 25, 'p3': 9, 'p4': 19, 'p5': 18, 'p6': 0}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p5'}, 'rejected': [1, 3, 4], 'total': 23}),
('normal control 1',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[300, 'S1', 'p6'], [200, 'S1', 'p3']],
{'p0': 300, 'p1': 100, 'p2': 300, 'p3': 200, 'p4': 300, 'p5': 300, 'p6': 200},
{'p0': 2, 'p1': 8, 'p2': 15, 'p3': 1, 'p4': 22, 'p5': 24, 'p6': 30}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 25}),
('normal control 2',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[300, 'S2', 'p5'], [250, 'S2', 'p3']],
{'p0': 300, 'p1': 200, 'p2': 200, 'p3': 100, 'p4': 100, 'p5': 200, 'p6': 100},
{'p0': 29, 'p1': 20, 'p2': 0, 'p3': 29, 'p4': 22, 'p5': 26, 'p6': 28}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 49}),
('normal control 3',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[200, 'S3', 'p2'], [300, 'S2', 'p2']],
{'p0': 300, 'p1': 200, 'p2': 100, 'p3': 300, 'p4': 100, 'p5': 100, 'p6': 100},
{'p0': 1, 'p1': 4, 'p2': 18, 'p3': 20, 'p4': 26, 'p5': 18, 'p6': 18}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 23}),
('normal control 4',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[250, 'S2', 'p2']],
{'p0': 200, 'p1': 200, 'p2': 200, 'p3': 300, 'p4': 200, 'p5': 300, 'p6': 200},
{'p0': 5, 'p1': 19, 'p2': 26, 'p3': 1, 'p4': 22, 'p5': 6, 'p6': 3}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0], 'total': 50})],
[('regression: duplicate starter check',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[150, 'S1', 'p2']],
{'p0': 300, 'p1': 300, 'p2': 200, 'p3': 100, 'p4': 100, 'p5': 300, 'p6': 200},
{'p0': 26, 'p1': 10, 'p2': 5, 'p3': 15, 'p4': 26, 'p5': 12, 'p6': 4}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0], 'total': 41}),
('partial repair probe: duplicate starter check',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[250, 'S1', 'p0'], [150, 'S3', 'p4'], [300, 'S3', 'p4'], [50, 'S2', 'p4'], [150, 'S2', 'p3']],
{'p0': 300, 'p1': 100, 'p2': 200, 'p3': 100, 'p4': 200, 'p5': 200, 'p6': 100},
{'p0': 7, 'p1': 21, 'p2': 20, 'p3': 25, 'p4': 14, 'p5': 11, 'p6': 8}],
{'final': {'S1': 'p0', 'S2': 'p4', 'S3': 'p2'}, 'rejected': [0, 1, 2, 4], 'total': 41}),
('second regression',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[200, 'S1', 'p6'], [300, 'S3', 'p0'], [150, 'S2', 'p1'], [50, 'S3', 'p5']],
{'p0': 200, 'p1': 200, 'p2': 200, 'p3': 200, 'p4': 300, 'p5': 200, 'p6': 100},
{'p0': 30, 'p1': 24, 'p2': 1, 'p3': 20, 'p4': 18, 'p5': 30, 'p6': 22}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p5'}, 'rejected': [0, 1, 2], 'total': 84}),
('normal control 1',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[250, 'S3', 'p0'], [50, 'S3', 'p4'], [100, 'S2', 'p5']],
{'p0': 200, 'p1': 200, 'p2': 100, 'p3': 200, 'p4': 200, 'p5': 200, 'p6': 200},
{'p0': 11, 'p1': 7, 'p2': 23, 'p3': 28, 'p4': 17, 'p5': 24, 'p6': 20}],
{'final': {'S1': 'p0', 'S2': 'p5', 'S3': 'p4'}, 'rejected': [0], 'total': 52}),
('normal control 2',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[250, 'S3', 'p5']],
{'p0': 300, 'p1': 300, 'p2': 100, 'p3': 200, 'p4': 300, 'p5': 200, 'p6': 100},
{'p0': 8, 'p1': 21, 'p2': 24, 'p3': 17, 'p4': 4, 'p5': 14, 'p6': 14}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0], 'total': 53}),
('normal control 3',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[150, 'S1', 'p1']],
{'p0': 100, 'p1': 300, 'p2': 200, 'p3': 100, 'p4': 100, 'p5': 100, 'p6': 300},
{'p0': 23, 'p1': 24, 'p2': 11, 'p3': 17, 'p4': 4, 'p5': 0, 'p6': 7}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0], 'total': 58}),
('normal control 4',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[300, 'S3', 'p6']],
{'p0': 100, 'p1': 200, 'p2': 300, 'p3': 200, 'p4': 100, 'p5': 100, 'p6': 200},
{'p0': 17, 'p1': 12, 'p2': 6, 'p3': 11, 'p4': 2, 'p5': 7, 'p6': 21}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0], 'total': 35})],
[('regression: duplicate starter check',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[200, 'S3', 'p2'], [300, 'S1', 'p6'], [50, 'S1', 'p0'], [100, 'S3', 'p2']],
{'p0': 100, 'p1': 200, 'p2': 300, 'p3': 100, 'p4': 300, 'p5': 200, 'p6': 200},
{'p0': 8, 'p1': 8, 'p2': 29, 'p3': 17, 'p4': 11, 'p5': 21, 'p6': 3}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1, 2, 3], 'total': 45}),
('partial repair probe: duplicate starter check',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[100, 'S3', 'p2'], [300, 'S1', 'p2'], [50, 'S3', 'p4'], [200, 'S3', 'p4'], [200, 'S3', 'p0']],
{'p0': 200, 'p1': 300, 'p2': 200, 'p3': 300, 'p4': 200, 'p5': 100, 'p6': 300},
{'p0': 25, 'p1': 13, 'p2': 25, 'p3': 7, 'p4': 7, 'p5': 2, 'p6': 0}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [1, 3, 4], 'total': 63}),
('second regression',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[50, 'S3', 'p4'], [50, 'S3', 'p0'], [300, 'S3', 'p2'], [300, 'S2', 'p0']],
{'p0': 300, 'p1': 100, 'p2': 300, 'p3': 200, 'p4': 200, 'p5': 300, 'p6': 100},
{'p0': 8, 'p1': 3, 'p2': 29, 'p3': 24, 'p4': 29, 'p5': 24, 'p6': 16}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p4'}, 'rejected': [1, 2, 3], 'total': 40}),
('normal control 1',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[200, 'S3', 'p5']],
{'p0': 100, 'p1': 200, 'p2': 200, 'p3': 300, 'p4': 200, 'p5': 200, 'p6': 100},
{'p0': 15, 'p1': 29, 'p2': 1, 'p3': 23, 'p4': 13, 'p5': 19, 'p6': 13}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0], 'total': 45}),
('normal control 2',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[200, 'S3', 'p3'], [300, 'S2', 'p0'], [300, 'S2', 'p1']],
{'p0': 100, 'p1': 200, 'p2': 300, 'p3': 300, 'p4': 100, 'p5': 300, 'p6': 100},
{'p0': 7, 'p1': 29, 'p2': 10, 'p3': 19, 'p4': 29, 'p5': 13, 'p6': 16}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p3'}, 'rejected': [1, 2], 'total': 55}),
('normal control 3',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[150, 'S1', 'p6'], [250, 'S2', 'p2'], [300, 'S2', 'p3'], [50, 'S2', 'p4'], [200, 'S1', 'p1']],
{'p0': 200, 'p1': 100, 'p2': 100, 'p3': 300, 'p4': 200, 'p5': 100, 'p6': 300},
{'p0': 17, 'p1': 15, 'p2': 10, 'p3': 13, 'p4': 15, 'p5': 0, 'p6': 21}],
{'final': {'S1': 'p6', 'S2': 'p4', 'S3': 'p2'}, 'rejected': [1, 2, 4], 'total': 46}),
('normal control 4',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[250, 'S3', 'p5'], [300, 'S3', 'p6'], [200, 'S3', 'p6']],
{'p0': 100, 'p1': 300, 'p2': 200, 'p3': 100, 'p4': 200, 'p5': 100, 'p6': 100},
{'p0': 14, 'p1': 0, 'p2': 6, 'p3': 5, 'p4': 15, 'p5': 4, 'p6': 12}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1, 2], 'total': 20})],
[('regression: duplicate starter check',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[50, 'S3', 'p2'], [250, 'S3', 'p3'], [100, 'S2', 'p4']],
{'p0': 100, 'p1': 200, 'p2': 200, 'p3': 100, 'p4': 100, 'p5': 200, 'p6': 200},
{'p0': 20, 'p1': 25, 'p2': 17, 'p3': 10, 'p4': 30, 'p5': 9, 'p6': 26}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1, 2], 'total': 62}),
('partial repair probe: duplicate starter check',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[250, 'S1', 'p2'], [50, 'S1', 'p3'], [100, 'S2', 'p3']],
{'p0': 300, 'p1': 300, 'p2': 100, 'p3': 300, 'p4': 200, 'p5': 100, 'p6': 100},
{'p0': 7, 'p1': 18, 'p2': 21, 'p3': 22, 'p4': 9, 'p5': 0, 'p6': 25}],
{'final': {'S1': 'p3', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 2], 'total': 61}),
('second regression',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[250, 'S1', 'p0'], [200, 'S3', 'p1'], [100, 'S3', 'p0'], [200, 'S2', 'p2'], [150, 'S2', 'p2']],
{'p0': 100, 'p1': 300, 'p2': 300, 'p3': 200, 'p4': 300, 'p5': 200, 'p6': 100},
{'p0': 26, 'p1': 21, 'p2': 5, 'p3': 12, 'p4': 17, 'p5': 2, 'p6': 29}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1, 2, 3, 4], 'total': 52}),
('normal control 1',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[250, 'S3', 'p5'], [200, 'S2', 'p4']],
{'p0': 300, 'p1': 200, 'p2': 300, 'p3': 200, 'p4': 200, 'p5': 300, 'p6': 100},
{'p0': 22, 'p1': 7, 'p2': 0, 'p3': 6, 'p4': 15, 'p5': 4, 'p6': 18}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p5'}, 'rejected': [1], 'total': 33}),
('normal control 2',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[300, 'S3', 'p6'], [250, 'S3', 'p3']],
{'p0': 100, 'p1': 100, 'p2': 200, 'p3': 200, 'p4': 100, 'p5': 200, 'p6': 100},
{'p0': 26, 'p1': 25, 'p2': 3, 'p3': 6, 'p4': 8, 'p5': 13, 'p6': 21}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 54}),
('normal control 3',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[50, 'S3', 'p3'], [150, 'S2', 'p3'], [50, 'S3', 'p5']],
{'p0': 200, 'p1': 100, 'p2': 300, 'p3': 200, 'p4': 100, 'p5': 100, 'p6': 200},
{'p0': 12, 'p1': 12, 'p2': 1, 'p3': 9, 'p4': 27, 'p5': 24, 'p6': 4}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p5'}, 'rejected': [1], 'total': 48}),
('normal control 4',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[100, 'S2', 'p4']],
{'p0': 200, 'p1': 200, 'p2': 300, 'p3': 200, 'p4': 300, 'p5': 200, 'p6': 100},
{'p0': 28, 'p1': 1, 'p2': 13, 'p3': 29, 'p4': 24, 'p5': 3, 'p6': 18}],
{'final': {'S1': 'p0', 'S2': 'p4', 'S3': 'p2'}, 'rejected': [], 'total': 65})],
[('regression: duplicate starter check',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[100, 'S2', 'p0'], [150, 'S2', 'p2']],
{'p0': 200, 'p1': 300, 'p2': 100, 'p3': 100, 'p4': 300, 'p5': 200, 'p6': 200},
{'p0': 0, 'p1': 26, 'p2': 8, 'p3': 1, 'p4': 0, 'p5': 9, 'p6': 2}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 34}),
('partial repair probe: duplicate starter check',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[50, 'S3', 'p3'], [50, 'S3', 'p0'], [50, 'S3', 'p3'], [200, 'S3', 'p4'], [300, 'S1', 'p5']],
{'p0': 100, 'p1': 300, 'p2': 200, 'p3': 100, 'p4': 300, 'p5': 200, 'p6': 100},
{'p0': 21, 'p1': 1, 'p2': 14, 'p3': 9, 'p4': 19, 'p5': 4, 'p6': 24}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p3'}, 'rejected': [1, 2, 3, 4], 'total': 31}),
('second regression',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[50, 'S3', 'p0'], [100, 'S1', 'p1']],
{'p0': 100, 'p1': 300, 'p2': 200, 'p3': 300, 'p4': 100, 'p5': 300, 'p6': 200},
{'p0': 18, 'p1': 26, 'p2': 11, 'p3': 19, 'p4': 24, 'p5': 12, 'p6': 3}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 55}),
('normal control 1',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[250, 'S1', 'p6'], [200, 'S2', 'p3']],
{'p0': 100, 'p1': 300, 'p2': 200, 'p3': 300, 'p4': 200, 'p5': 200, 'p6': 100},
{'p0': 27, 'p1': 23, 'p2': 30, 'p3': 21, 'p4': 30, 'p5': 7, 'p6': 9}],
{'final': {'S1': 'p0', 'S2': 'p3', 'S3': 'p2'}, 'rejected': [0], 'total': 78}),
('normal control 2',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[200, 'S2', 'p6'], [150, 'S1', 'p4']],
{'p0': 100, 'p1': 300, 'p2': 300, 'p3': 300, 'p4': 300, 'p5': 300, 'p6': 200},
{'p0': 25, 'p1': 15, 'p2': 25, 'p3': 25, 'p4': 27, 'p5': 0, 'p6': 17}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 65}),
('normal control 3',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[250, 'S3', 'p3'], [300, 'S1', 'p0']],
{'p0': 200, 'p1': 300, 'p2': 100, 'p3': 300, 'p4': 300, 'p5': 100, 'p6': 100},
{'p0': 23, 'p1': 3, 'p2': 11, 'p3': 9, 'p4': 7, 'p5': 22, 'p6': 15}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 37}),
('normal control 4',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[50, 'S1', 'p6'], [150, 'S1', 'p1'], [100, 'S1', 'p0'], [250, 'S1', 'p4'], [100, 'S3', 'p6']],
{'p0': 100, 'p1': 100, 'p2': 300, 'p3': 200, 'p4': 300, 'p5': 100, 'p6': 100},
{'p0': 4, 'p1': 0, 'p2': 20, 'p3': 10, 'p4': 12, 'p5': 21, 'p6': 11}],
{'final': {'S1': 'p6', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [1, 2, 3, 4], 'total': 31})]]
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: duplicate starter check | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p0'}, 'rejected': [0, 2], 'total': 70} | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1, 2, 3], 'total': 64} | Failed |
| partial repair probe: duplicate starter check | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p3'}, 'rejected': [0, 4], 'total': 39} | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p3'}, 'rejected': [0, 1, 2, 4], 'total': 39} | Failed |
| second regression | {'final': {'S1': 'p1', 'S2': 'p1', 'S3': 'p5'}, 'rejected': [3, 4], 'total': 22} | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p5'}, 'rejected': [1, 3, 4], 'total': 23} | Failed |
| normal control 1 | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 25} | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 25} | Passed |
| normal control 2 | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 49} | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 49} | Passed |
| normal control 3 | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 23} | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 23} | Passed |
| normal control 4 | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0], 'total': 50} | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0], 'total': 50} | Passed |
SHA-256 / bc1a7fd99f20c6b91727da1fbae2846c90e92374cd858e618f59987dba1ac277
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(lineup, swaps, kickoffs, points):
cur = dict(lineup)
rejected = []
order = sorted(range(len(swaps)), key=lambda i: (swaps[i][0], i))
for i in order:
t, slot, new = swaps[i]
old = cur[slot]
if kickoffs[old] <= t or kickoffs[new] <= t:
rejected.append(i)
continue
if new in lineup.values():
rejected.append(i)
continue
cur[slot] = new
total = sum(points[p] for p in cur.values())
return {'final': cur, 'rejected': sorted(rejected), 'total': total}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('regression: duplicate starter check',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[300, 'S3', 'p0'], [150, 'S3', 'p0'], [150, 'S2', 'p5'], [250, 'S1', 'p0']],
{'p0': 300, 'p1': 100, 'p2': 300, 'p3': 200, 'p4': 300, 'p5': 100, 'p6': 300},
{'p0': 28, 'p1': 14, 'p2': 22, 'p3': 29, 'p4': 7, 'p5': 25, 'p6': 26}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1, 2, 3], 'total': 64}),
('partial repair probe: duplicate starter check',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[200, 'S1', 'p5'], [150, 'S3', 'p3'], [50, 'S3', 'p1'], [50, 'S3', 'p3'], [150, 'S3', 'p2']],
{'p0': 200, 'p1': 100, 'p2': 100, 'p3': 200, 'p4': 300, 'p5': 300, 'p6': 300},
{'p0': 8, 'p1': 8, 'p2': 20, 'p3': 23, 'p4': 30, 'p5': 29, 'p6': 30}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p3'}, 'rejected': [0, 1, 2, 4], 'total': 39}),
('second regression',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[100, 'S3', 'p4'], [200, 'S1', 'p1'], [150, 'S3', 'p5'], [300, 'S3', 'p4'], [300, 'S2', 'p3']],
{'p0': 300, 'p1': 300, 'p2': 300, 'p3': 300, 'p4': 300, 'p5': 300, 'p6': 200},
{'p0': 3, 'p1': 2, 'p2': 25, 'p3': 9, 'p4': 19, 'p5': 18, 'p6': 0}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p5'}, 'rejected': [1, 3, 4], 'total': 23}),
('normal control 1',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[300, 'S1', 'p6'], [200, 'S1', 'p3']],
{'p0': 300, 'p1': 100, 'p2': 300, 'p3': 200, 'p4': 300, 'p5': 300, 'p6': 200},
{'p0': 2, 'p1': 8, 'p2': 15, 'p3': 1, 'p4': 22, 'p5': 24, 'p6': 30}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 25}),
('normal control 2',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[300, 'S2', 'p5'], [250, 'S2', 'p3']],
{'p0': 300, 'p1': 200, 'p2': 200, 'p3': 100, 'p4': 100, 'p5': 200, 'p6': 100},
{'p0': 29, 'p1': 20, 'p2': 0, 'p3': 29, 'p4': 22, 'p5': 26, 'p6': 28}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 49}),
('normal control 3',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[200, 'S3', 'p2'], [300, 'S2', 'p2']],
{'p0': 300, 'p1': 200, 'p2': 100, 'p3': 300, 'p4': 100, 'p5': 100, 'p6': 100},
{'p0': 1, 'p1': 4, 'p2': 18, 'p3': 20, 'p4': 26, 'p5': 18, 'p6': 18}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 23}),
('normal control 4',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[250, 'S2', 'p2']],
{'p0': 200, 'p1': 200, 'p2': 200, 'p3': 300, 'p4': 200, 'p5': 300, 'p6': 200},
{'p0': 5, 'p1': 19, 'p2': 26, 'p3': 1, 'p4': 22, 'p5': 6, 'p6': 3}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0], 'total': 50})],
[('regression: duplicate starter check',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[150, 'S1', 'p2']],
{'p0': 300, 'p1': 300, 'p2': 200, 'p3': 100, 'p4': 100, 'p5': 300, 'p6': 200},
{'p0': 26, 'p1': 10, 'p2': 5, 'p3': 15, 'p4': 26, 'p5': 12, 'p6': 4}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0], 'total': 41}),
('partial repair probe: duplicate starter check',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[250, 'S1', 'p0'], [150, 'S3', 'p4'], [300, 'S3', 'p4'], [50, 'S2', 'p4'], [150, 'S2', 'p3']],
{'p0': 300, 'p1': 100, 'p2': 200, 'p3': 100, 'p4': 200, 'p5': 200, 'p6': 100},
{'p0': 7, 'p1': 21, 'p2': 20, 'p3': 25, 'p4': 14, 'p5': 11, 'p6': 8}],
{'final': {'S1': 'p0', 'S2': 'p4', 'S3': 'p2'}, 'rejected': [0, 1, 2, 4], 'total': 41}),
('second regression',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[200, 'S1', 'p6'], [300, 'S3', 'p0'], [150, 'S2', 'p1'], [50, 'S3', 'p5']],
{'p0': 200, 'p1': 200, 'p2': 200, 'p3': 200, 'p4': 300, 'p5': 200, 'p6': 100},
{'p0': 30, 'p1': 24, 'p2': 1, 'p3': 20, 'p4': 18, 'p5': 30, 'p6': 22}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p5'}, 'rejected': [0, 1, 2], 'total': 84}),
('normal control 1',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[250, 'S3', 'p0'], [50, 'S3', 'p4'], [100, 'S2', 'p5']],
{'p0': 200, 'p1': 200, 'p2': 100, 'p3': 200, 'p4': 200, 'p5': 200, 'p6': 200},
{'p0': 11, 'p1': 7, 'p2': 23, 'p3': 28, 'p4': 17, 'p5': 24, 'p6': 20}],
{'final': {'S1': 'p0', 'S2': 'p5', 'S3': 'p4'}, 'rejected': [0], 'total': 52}),
('normal control 2',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[250, 'S3', 'p5']],
{'p0': 300, 'p1': 300, 'p2': 100, 'p3': 200, 'p4': 300, 'p5': 200, 'p6': 100},
{'p0': 8, 'p1': 21, 'p2': 24, 'p3': 17, 'p4': 4, 'p5': 14, 'p6': 14}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0], 'total': 53}),
('normal control 3',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[150, 'S1', 'p1']],
{'p0': 100, 'p1': 300, 'p2': 200, 'p3': 100, 'p4': 100, 'p5': 100, 'p6': 300},
{'p0': 23, 'p1': 24, 'p2': 11, 'p3': 17, 'p4': 4, 'p5': 0, 'p6': 7}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0], 'total': 58}),
('normal control 4',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[300, 'S3', 'p6']],
{'p0': 100, 'p1': 200, 'p2': 300, 'p3': 200, 'p4': 100, 'p5': 100, 'p6': 200},
{'p0': 17, 'p1': 12, 'p2': 6, 'p3': 11, 'p4': 2, 'p5': 7, 'p6': 21}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0], 'total': 35})],
[('regression: duplicate starter check',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[200, 'S3', 'p2'], [300, 'S1', 'p6'], [50, 'S1', 'p0'], [100, 'S3', 'p2']],
{'p0': 100, 'p1': 200, 'p2': 300, 'p3': 100, 'p4': 300, 'p5': 200, 'p6': 200},
{'p0': 8, 'p1': 8, 'p2': 29, 'p3': 17, 'p4': 11, 'p5': 21, 'p6': 3}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1, 2, 3], 'total': 45}),
('partial repair probe: duplicate starter check',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[100, 'S3', 'p2'], [300, 'S1', 'p2'], [50, 'S3', 'p4'], [200, 'S3', 'p4'], [200, 'S3', 'p0']],
{'p0': 200, 'p1': 300, 'p2': 200, 'p3': 300, 'p4': 200, 'p5': 100, 'p6': 300},
{'p0': 25, 'p1': 13, 'p2': 25, 'p3': 7, 'p4': 7, 'p5': 2, 'p6': 0}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [1, 3, 4], 'total': 63}),
('second regression',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[50, 'S3', 'p4'], [50, 'S3', 'p0'], [300, 'S3', 'p2'], [300, 'S2', 'p0']],
{'p0': 300, 'p1': 100, 'p2': 300, 'p3': 200, 'p4': 200, 'p5': 300, 'p6': 100},
{'p0': 8, 'p1': 3, 'p2': 29, 'p3': 24, 'p4': 29, 'p5': 24, 'p6': 16}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p4'}, 'rejected': [1, 2, 3], 'total': 40}),
('normal control 1',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[200, 'S3', 'p5']],
{'p0': 100, 'p1': 200, 'p2': 200, 'p3': 300, 'p4': 200, 'p5': 200, 'p6': 100},
{'p0': 15, 'p1': 29, 'p2': 1, 'p3': 23, 'p4': 13, 'p5': 19, 'p6': 13}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0], 'total': 45}),
('normal control 2',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[200, 'S3', 'p3'], [300, 'S2', 'p0'], [300, 'S2', 'p1']],
{'p0': 100, 'p1': 200, 'p2': 300, 'p3': 300, 'p4': 100, 'p5': 300, 'p6': 100},
{'p0': 7, 'p1': 29, 'p2': 10, 'p3': 19, 'p4': 29, 'p5': 13, 'p6': 16}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p3'}, 'rejected': [1, 2], 'total': 55}),
('normal control 3',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[150, 'S1', 'p6'], [250, 'S2', 'p2'], [300, 'S2', 'p3'], [50, 'S2', 'p4'], [200, 'S1', 'p1']],
{'p0': 200, 'p1': 100, 'p2': 100, 'p3': 300, 'p4': 200, 'p5': 100, 'p6': 300},
{'p0': 17, 'p1': 15, 'p2': 10, 'p3': 13, 'p4': 15, 'p5': 0, 'p6': 21}],
{'final': {'S1': 'p6', 'S2': 'p4', 'S3': 'p2'}, 'rejected': [1, 2, 4], 'total': 46}),
('normal control 4',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[250, 'S3', 'p5'], [300, 'S3', 'p6'], [200, 'S3', 'p6']],
{'p0': 100, 'p1': 300, 'p2': 200, 'p3': 100, 'p4': 200, 'p5': 100, 'p6': 100},
{'p0': 14, 'p1': 0, 'p2': 6, 'p3': 5, 'p4': 15, 'p5': 4, 'p6': 12}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1, 2], 'total': 20})],
[('regression: duplicate starter check',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[50, 'S3', 'p2'], [250, 'S3', 'p3'], [100, 'S2', 'p4']],
{'p0': 100, 'p1': 200, 'p2': 200, 'p3': 100, 'p4': 100, 'p5': 200, 'p6': 200},
{'p0': 20, 'p1': 25, 'p2': 17, 'p3': 10, 'p4': 30, 'p5': 9, 'p6': 26}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1, 2], 'total': 62}),
('partial repair probe: duplicate starter check',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[250, 'S1', 'p2'], [50, 'S1', 'p3'], [100, 'S2', 'p3']],
{'p0': 300, 'p1': 300, 'p2': 100, 'p3': 300, 'p4': 200, 'p5': 100, 'p6': 100},
{'p0': 7, 'p1': 18, 'p2': 21, 'p3': 22, 'p4': 9, 'p5': 0, 'p6': 25}],
{'final': {'S1': 'p3', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 2], 'total': 61}),
('second regression',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[250, 'S1', 'p0'], [200, 'S3', 'p1'], [100, 'S3', 'p0'], [200, 'S2', 'p2'], [150, 'S2', 'p2']],
{'p0': 100, 'p1': 300, 'p2': 300, 'p3': 200, 'p4': 300, 'p5': 200, 'p6': 100},
{'p0': 26, 'p1': 21, 'p2': 5, 'p3': 12, 'p4': 17, 'p5': 2, 'p6': 29}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1, 2, 3, 4], 'total': 52}),
('normal control 1',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[250, 'S3', 'p5'], [200, 'S2', 'p4']],
{'p0': 300, 'p1': 200, 'p2': 300, 'p3': 200, 'p4': 200, 'p5': 300, 'p6': 100},
{'p0': 22, 'p1': 7, 'p2': 0, 'p3': 6, 'p4': 15, 'p5': 4, 'p6': 18}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p5'}, 'rejected': [1], 'total': 33}),
('normal control 2',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[300, 'S3', 'p6'], [250, 'S3', 'p3']],
{'p0': 100, 'p1': 100, 'p2': 200, 'p3': 200, 'p4': 100, 'p5': 200, 'p6': 100},
{'p0': 26, 'p1': 25, 'p2': 3, 'p3': 6, 'p4': 8, 'p5': 13, 'p6': 21}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 54}),
('normal control 3',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[50, 'S3', 'p3'], [150, 'S2', 'p3'], [50, 'S3', 'p5']],
{'p0': 200, 'p1': 100, 'p2': 300, 'p3': 200, 'p4': 100, 'p5': 100, 'p6': 200},
{'p0': 12, 'p1': 12, 'p2': 1, 'p3': 9, 'p4': 27, 'p5': 24, 'p6': 4}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p5'}, 'rejected': [1], 'total': 48}),
('normal control 4',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[100, 'S2', 'p4']],
{'p0': 200, 'p1': 200, 'p2': 300, 'p3': 200, 'p4': 300, 'p5': 200, 'p6': 100},
{'p0': 28, 'p1': 1, 'p2': 13, 'p3': 29, 'p4': 24, 'p5': 3, 'p6': 18}],
{'final': {'S1': 'p0', 'S2': 'p4', 'S3': 'p2'}, 'rejected': [], 'total': 65})],
[('regression: duplicate starter check',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[100, 'S2', 'p0'], [150, 'S2', 'p2']],
{'p0': 200, 'p1': 300, 'p2': 100, 'p3': 100, 'p4': 300, 'p5': 200, 'p6': 200},
{'p0': 0, 'p1': 26, 'p2': 8, 'p3': 1, 'p4': 0, 'p5': 9, 'p6': 2}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 34}),
('partial repair probe: duplicate starter check',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[50, 'S3', 'p3'], [50, 'S3', 'p0'], [50, 'S3', 'p3'], [200, 'S3', 'p4'], [300, 'S1', 'p5']],
{'p0': 100, 'p1': 300, 'p2': 200, 'p3': 100, 'p4': 300, 'p5': 200, 'p6': 100},
{'p0': 21, 'p1': 1, 'p2': 14, 'p3': 9, 'p4': 19, 'p5': 4, 'p6': 24}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p3'}, 'rejected': [1, 2, 3, 4], 'total': 31}),
('second regression',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[50, 'S3', 'p0'], [100, 'S1', 'p1']],
{'p0': 100, 'p1': 300, 'p2': 200, 'p3': 300, 'p4': 100, 'p5': 300, 'p6': 200},
{'p0': 18, 'p1': 26, 'p2': 11, 'p3': 19, 'p4': 24, 'p5': 12, 'p6': 3}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 55}),
('normal control 1',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[250, 'S1', 'p6'], [200, 'S2', 'p3']],
{'p0': 100, 'p1': 300, 'p2': 200, 'p3': 300, 'p4': 200, 'p5': 200, 'p6': 100},
{'p0': 27, 'p1': 23, 'p2': 30, 'p3': 21, 'p4': 30, 'p5': 7, 'p6': 9}],
{'final': {'S1': 'p0', 'S2': 'p3', 'S3': 'p2'}, 'rejected': [0], 'total': 78}),
('normal control 2',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[200, 'S2', 'p6'], [150, 'S1', 'p4']],
{'p0': 100, 'p1': 300, 'p2': 300, 'p3': 300, 'p4': 300, 'p5': 300, 'p6': 200},
{'p0': 25, 'p1': 15, 'p2': 25, 'p3': 25, 'p4': 27, 'p5': 0, 'p6': 17}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 65}),
('normal control 3',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, [[250, 'S3', 'p3'], [300, 'S1', 'p0']],
{'p0': 200, 'p1': 300, 'p2': 100, 'p3': 300, 'p4': 300, 'p5': 100, 'p6': 100},
{'p0': 23, 'p1': 3, 'p2': 11, 'p3': 9, 'p4': 7, 'p5': 22, 'p6': 15}],
{'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 37}),
('normal control 4',
[{'S1': 'p0', 'S2': 'p1', 'S3': 'p2'},
[[50, 'S1', 'p6'], [150, 'S1', 'p1'], [100, 'S1', 'p0'], [250, 'S1', 'p4'], [100, 'S3', 'p6']],
{'p0': 100, 'p1': 100, 'p2': 300, 'p3': 200, 'p4': 300, 'p5': 100, 'p6': 100},
{'p0': 4, 'p1': 0, 'p2': 20, 'p3': 10, 'p4': 12, 'p5': 21, 'p6': 11}],
{'final': {'S1': 'p6', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [1, 2, 3, 4], 'total': 31})]]
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: duplicate starter check | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1, 2, 3], 'total': 64} | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1, 2, 3], 'total': 64} | Passed |
| partial repair probe: duplicate starter check | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p3'}, 'rejected': [0, 2, 4], 'total': 39} | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p3'}, 'rejected': [0, 1, 2, 4], 'total': 39} | Failed |
| second regression | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p5'}, 'rejected': [1, 3, 4], 'total': 23} | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p5'}, 'rejected': [1, 3, 4], 'total': 23} | Passed |
| normal control 1 | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 25} | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 25} | Passed |
| normal control 2 | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 49} | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 49} | Passed |
| normal control 3 | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 23} | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0, 1], 'total': 23} | Passed |
| normal control 4 | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0], 'total': 50} | {'final': {'S1': 'p0', 'S2': 'p1', 'S3': 'p2'}, 'rejected': [0], 'total': 50} | Passed |
SHA-256 / 1fde04023dabe915d3a4d5f698888f38e65eebea6d1d7e0cf89ba240181c0798
HELD IN THE MEMBER ARCHIVE
The verified repair and its recorded checks are member-only.
This mechanism has 7 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.
Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.
Member access is invitation-based. Sign in with your invited account to inspect the repair.
Sign in to the archive ↗Verification & scope
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.000024+00:00.
Case digest / a7dbf90c7a03c0378b9c2d914c77bace0f2e3be7cb771008dc78d137dcc1c366