FA-84106 / Sports scoring and tiebreakers / Open access
Dash reserved for the leader row only · case 01
A team with zero games behind shows "0.0" or a trailing team ahead on games shows "-".
ROOT CAUSE
The dash is emitted only for the leader, not for any zero gap.
THE FAILURE
The dash is emitted only for the leader, not for any zero gap.
Unsuccessful approach: Showing "-" for all non-positive gaps hides teams that are negative games behind.
Case contract
Division standings. teams rows are [name, wins, losses]. Win percentage is wins / games (0 for no games) shown with three decimals and the leading zero dropped (".500", but "1.000"). Sort by win percentage, then more wins, then name. The leader is the first sorted row; games behind = ((leader_wins - wins) + (losses - leader_losses)) / 2, shown as "-" when zero and otherwise with one decimal (negative values allowed). Return [name, pct, gb] rows.
Why this case matters
Standings pages and playoff-race widgets print win percentage and games behind.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
from fractions import Fraction
N = 1
observations = []
def solve(teams):
def pct(w, l):
return Fraction(w, w + l) if w + l else Fraction(0)
rows = sorted(teams, key=lambda r: (-pct(r[1], r[2]), -r[1], r[0]))
lw, ll = rows[0][1], rows[0][2]
out = []
for name, w, l in rows:
p = '%.3f' % float(pct(w, l))
if p.startswith('0'):
p = p[1:]
gb2 = (lw - w) + (l - ll)
gb = '-' if name == rows[0][0] else '%.1f' % (gb2 / 2)
out.append([name, p, gb])
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
def run(args):
try:
return solve(*args)
except Exception as exc:
return 'raised ' + type(exc).__name__
cases = [[('control two teams',
([['Cats', 10, 5], ['Jets', 8, 7]],),
[['Cats', '.667', '-'], ['Jets', '.533', '2.0']]),
('boundary half game',
([['Cats', 10, 5], ['Jets', 9, 5]],),
[['Cats', '.667', '-'], ['Jets', '.643', '0.5']]),
('boundary perfect record',
([['Suns', 3, 0], ['Jets', 1, 1]],),
[['Suns', '1.000', '-'], ['Jets', '.500', '1.5']]),
('boundary no games played',
([['Suns', 0, 0], ['Bucks', 0, 2]],),
[['Bucks', '.000', '-'], ['Suns', '.000', '-1.0']]),
('control equal pct more wins first',
([['Cats', 2, 2], ['Bucks', 4, 4]],),
[['Bucks', '.500', '-'], ['Cats', '.500', '-']]),
('regression: zero gap dash',
([['Jets', 5, 7], ['Cats', 21, 6], ['Bucks', 8, 0]],),
[['Bucks', '1.000', '-'], ['Cats', '.778', '-3.5'], ['Jets', '.417', '5.0']]),
('regression: zero gap dash',
([['Cats', 0, 0], ['Wolves', 0, 0]],),
[['Cats', '.000', '-'], ['Wolves', '.000', '-']]),
('variant scenario 1',
([['Jets', 9, 15], ['Suns', 4, 1], ['Cats', 2, 8]],),
[['Suns', '.800', '-'], ['Jets', '.375', '4.5'], ['Cats', '.200', '4.5']]),
('variant scenario 2',
([['Jets', 4, 24], ['Suns', 4, 6], ['Wolves', 3, 7], ['Bucks', 1, 4], ['Cats', 25, 2]],),
[['Cats', '.926', '-'],
['Suns', '.400', '12.5'],
['Wolves', '.300', '13.5'],
['Bucks', '.200', '13.0'],
['Jets', '.143', '21.5']])],
[('control two teams',
([['Cats', 10, 5], ['Jets', 8, 7]],),
[['Cats', '.667', '-'], ['Jets', '.533', '2.0']]),
('boundary half game',
([['Cats', 10, 5], ['Jets', 9, 5]],),
[['Cats', '.667', '-'], ['Jets', '.643', '0.5']]),
('boundary perfect record',
([['Suns', 3, 0], ['Jets', 1, 1]],),
[['Suns', '1.000', '-'], ['Jets', '.500', '1.5']]),
('boundary no games played',
([['Suns', 0, 0], ['Bucks', 0, 2]],),
[['Bucks', '.000', '-'], ['Suns', '.000', '-1.0']]),
('control equal pct more wins first',
([['Cats', 2, 2], ['Bucks', 4, 4]],),
[['Bucks', '.500', '-'], ['Cats', '.500', '-']]),
('regression: zero gap dash',
([['Cats', 7, 23], ['Bucks', 14, 46], ['Jets', 0, 0]],),
[['Bucks', '.233', '-'], ['Cats', '.233', '-8.0'], ['Jets', '.000', '-16.0']]),
('regression: zero gap dash',
([['Suns', 2, 2], ['Jets', 4, 4], ['Wolves', 10, 20]],),
[['Jets', '.500', '-'], ['Suns', '.500', '-'], ['Wolves', '.333', '5.0']]),
('variant scenario 1',
([['Suns', 14, 2], ['Jets', 1, 23]],),
[['Suns', '.875', '-'], ['Jets', '.042', '17.0']]),
('variant scenario 2',
([['Cats', 30, 2], ['Jets', 3, 2], ['Bucks', 4, 15], ['Suns', 2, 0], ['Wolves', 17, 5]],),
[['Suns', '1.000', '-'],
['Cats', '.938', '-13.0'],
['Wolves', '.773', '-5.0'],
['Jets', '.600', '0.5'],
['Bucks', '.211', '6.5']])],
[('control two teams',
([['Cats', 10, 5], ['Jets', 8, 7]],),
[['Cats', '.667', '-'], ['Jets', '.533', '2.0']]),
('boundary half game',
([['Cats', 10, 5], ['Jets', 9, 5]],),
[['Cats', '.667', '-'], ['Jets', '.643', '0.5']]),
('boundary perfect record',
([['Suns', 3, 0], ['Jets', 1, 1]],),
[['Suns', '1.000', '-'], ['Jets', '.500', '1.5']]),
('boundary no games played',
([['Suns', 0, 0], ['Bucks', 0, 2]],),
[['Bucks', '.000', '-'], ['Suns', '.000', '-1.0']]),
('control equal pct more wins first',
([['Cats', 2, 2], ['Bucks', 4, 4]],),
[['Bucks', '.500', '-'], ['Cats', '.500', '-']]),
('regression: zero gap dash',
([['Cats', 1, 10], ['Suns', 4, 2], ['Bucks', 3, 1], ['Wolves', 7, 6]],),
[['Bucks', '.750', '-'],
['Suns', '.667', '-'],
['Wolves', '.538', '0.5'],
['Cats', '.091', '5.5']]),
('regression: zero gap dash',
([['Wolves', 0, 0], ['Suns', 3, 17]],),
[['Suns', '.150', '-'], ['Wolves', '.000', '-7.0']]),
('variant scenario 1',
([['Cats', 2, 8], ['Suns', 15, 9]],),
[['Suns', '.625', '-'], ['Cats', '.200', '6.0']]),
('variant scenario 2',
([['Wolves', 21, 17], ['Bucks', 7, 29], ['Jets', 8, 13]],),
[['Wolves', '.553', '-'], ['Jets', '.381', '4.5'], ['Bucks', '.194', '13.0']])],
[('control two teams',
([['Cats', 10, 5], ['Jets', 8, 7]],),
[['Cats', '.667', '-'], ['Jets', '.533', '2.0']]),
('boundary half game',
([['Cats', 10, 5], ['Jets', 9, 5]],),
[['Cats', '.667', '-'], ['Jets', '.643', '0.5']]),
('boundary perfect record',
([['Suns', 3, 0], ['Jets', 1, 1]],),
[['Suns', '1.000', '-'], ['Jets', '.500', '1.5']]),
('boundary no games played',
([['Suns', 0, 0], ['Bucks', 0, 2]],),
[['Bucks', '.000', '-'], ['Suns', '.000', '-1.0']]),
('control equal pct more wins first',
([['Cats', 2, 2], ['Bucks', 4, 4]],),
[['Bucks', '.500', '-'], ['Cats', '.500', '-']]),
('regression: zero gap dash',
([['Cats', 1, 0], ['Suns', 30, 10]],),
[['Cats', '1.000', '-'], ['Suns', '.750', '-9.5']]),
('regression: zero gap dash',
([['Suns', 3, 3], ['Wolves', 6, 6]],),
[['Wolves', '.500', '-'], ['Suns', '.500', '-']]),
('variant scenario 1',
([['Bucks', 4, 18], ['Cats', 8, 36], ['Jets', 11, 7]],),
[['Jets', '.611', '-'], ['Cats', '.182', '16.0'], ['Bucks', '.182', '9.0']]),
('variant scenario 2',
([['Wolves', 5, 15], ['Cats', 4, 14], ['Jets', 9, 16], ['Suns', 8, 14]],),
[['Suns', '.364', '-'],
['Jets', '.360', '0.5'],
['Wolves', '.250', '2.0'],
['Cats', '.222', '2.0']])],
[('control two teams',
([['Cats', 10, 5], ['Jets', 8, 7]],),
[['Cats', '.667', '-'], ['Jets', '.533', '2.0']]),
('boundary half game',
([['Cats', 10, 5], ['Jets', 9, 5]],),
[['Cats', '.667', '-'], ['Jets', '.643', '0.5']]),
('boundary perfect record',
([['Suns', 3, 0], ['Jets', 1, 1]],),
[['Suns', '1.000', '-'], ['Jets', '.500', '1.5']]),
('boundary no games played',
([['Suns', 0, 0], ['Bucks', 0, 2]],),
[['Bucks', '.000', '-'], ['Suns', '.000', '-1.0']]),
('control equal pct more wins first',
([['Cats', 2, 2], ['Bucks', 4, 4]],),
[['Bucks', '.500', '-'], ['Cats', '.500', '-']]),
('regression: zero gap dash',
([['Wolves', 4, 26], ['Suns', 14, 6], ['Bucks', 10, 3]],),
[['Bucks', '.769', '-'], ['Suns', '.700', '-0.5'], ['Wolves', '.133', '14.5']]),
('regression: zero gap dash',
([['Suns', 0, 0], ['Wolves', 0, 0], ['Cats', 1, 4], ['Bucks', 1, 1]],),
[['Bucks', '.500', '-'],
['Cats', '.200', '1.5'],
['Suns', '.000', '-'],
['Wolves', '.000', '-']]),
('variant scenario 1',
([['Bucks', 20, 2], ['Suns', 2, 17], ['Cats', 6, 21]],),
[['Bucks', '.909', '-'], ['Cats', '.222', '16.5'], ['Suns', '.105', '16.5']]),
('variant scenario 2',
([['Bucks', 0, 2], ['Wolves', 7, 12], ['Jets', 26, 9]],),
[['Jets', '.743', '-'], ['Wolves', '.368', '11.0'], ['Bucks', '.000', '9.5']])]]
for label, args, expected in cases[N - 1]:
check(label, run(args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| control two teams | [['Cats', '.667', '-'], ['Jets', '.533', '2.0']] | [['Cats', '.667', '-'], ['Jets', '.533', '2.0']] | Passed |
| boundary half game | [['Cats', '.667', '-'], ['Jets', '.643', '0.5']] | [['Cats', '.667', '-'], ['Jets', '.643', '0.5']] | Passed |
| boundary perfect record | [['Suns', '1.000', '-'], ['Jets', '.500', '1.5']] | [['Suns', '1.000', '-'], ['Jets', '.500', '1.5']] | Passed |
| boundary no games played | [['Bucks', '.000', '-'], ['Suns', '.000', '-1.0']] | [['Bucks', '.000', '-'], ['Suns', '.000', '-1.0']] | Passed |
| control equal pct more wins first | [['Bucks', '.500', '-'], ['Cats', '.500', '0.0']] | [['Bucks', '.500', '-'], ['Cats', '.500', '-']] | Failed |
| regression: zero gap dash | [['Bucks', '1.000', '-'], ['Cats', '.778', '-3.5'], ['Jets', '.417', '5.0']] | [['Bucks', '1.000', '-'], ['Cats', '.778', '-3.5'], ['Jets', '.417', '5.0']] | Passed |
| regression: zero gap dash | [['Cats', '.000', '-'], ['Wolves', '.000', '0.0']] | [['Cats', '.000', '-'], ['Wolves', '.000', '-']] | Failed |
| variant scenario 1 | [['Suns', '.800', '-'], ['Jets', '.375', '4.5'], ['Cats', '.200', '4.5']] | [['Suns', '.800', '-'], ['Jets', '.375', '4.5'], ['Cats', '.200', '4.5']] | Passed |
| variant scenario 2 | [['Cats', '.926', '-'], ['Suns', '.400', '12.5'], ['Wolves', '.300', '13.5'], ['Bucks', '.200', '13.0'], ['Jets', '.143', '21.5']] | [['Cats', '.926', '-'], ['Suns', '.400', '12.5'], ['Wolves', '.300', '13.5'], ['Bucks', '.200', '13.0'], ['Jets', '.143', '21.5']] | Passed |
SHA-256 / 70baba4359e5b16ea5058439bc2ca9d2ed99878cc834f4c1a677ed039c370526
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
from fractions import Fraction
N = 1
observations = []
def solve(teams):
def pct(w, l):
return Fraction(w, w + l) if w + l else Fraction(0)
rows = sorted(teams, key=lambda r: (-pct(r[1], r[2]), -r[1], r[0]))
lw, ll = rows[0][1], rows[0][2]
out = []
for name, w, l in rows:
p = '%.3f' % float(pct(w, l))
if p.startswith('0'):
p = p[1:]
gb2 = (lw - w) + (l - ll)
gb = '-' if gb2 <= 0 else '%.1f' % (gb2 / 2)
out.append([name, p, gb])
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
def run(args):
try:
return solve(*args)
except Exception as exc:
return 'raised ' + type(exc).__name__
cases = [[('control two teams',
([['Cats', 10, 5], ['Jets', 8, 7]],),
[['Cats', '.667', '-'], ['Jets', '.533', '2.0']]),
('boundary half game',
([['Cats', 10, 5], ['Jets', 9, 5]],),
[['Cats', '.667', '-'], ['Jets', '.643', '0.5']]),
('boundary perfect record',
([['Suns', 3, 0], ['Jets', 1, 1]],),
[['Suns', '1.000', '-'], ['Jets', '.500', '1.5']]),
('boundary no games played',
([['Suns', 0, 0], ['Bucks', 0, 2]],),
[['Bucks', '.000', '-'], ['Suns', '.000', '-1.0']]),
('control equal pct more wins first',
([['Cats', 2, 2], ['Bucks', 4, 4]],),
[['Bucks', '.500', '-'], ['Cats', '.500', '-']]),
('regression: zero gap dash',
([['Jets', 5, 7], ['Cats', 21, 6], ['Bucks', 8, 0]],),
[['Bucks', '1.000', '-'], ['Cats', '.778', '-3.5'], ['Jets', '.417', '5.0']]),
('regression: zero gap dash',
([['Cats', 0, 0], ['Wolves', 0, 0]],),
[['Cats', '.000', '-'], ['Wolves', '.000', '-']]),
('variant scenario 1',
([['Jets', 9, 15], ['Suns', 4, 1], ['Cats', 2, 8]],),
[['Suns', '.800', '-'], ['Jets', '.375', '4.5'], ['Cats', '.200', '4.5']]),
('variant scenario 2',
([['Jets', 4, 24], ['Suns', 4, 6], ['Wolves', 3, 7], ['Bucks', 1, 4], ['Cats', 25, 2]],),
[['Cats', '.926', '-'],
['Suns', '.400', '12.5'],
['Wolves', '.300', '13.5'],
['Bucks', '.200', '13.0'],
['Jets', '.143', '21.5']])],
[('control two teams',
([['Cats', 10, 5], ['Jets', 8, 7]],),
[['Cats', '.667', '-'], ['Jets', '.533', '2.0']]),
('boundary half game',
([['Cats', 10, 5], ['Jets', 9, 5]],),
[['Cats', '.667', '-'], ['Jets', '.643', '0.5']]),
('boundary perfect record',
([['Suns', 3, 0], ['Jets', 1, 1]],),
[['Suns', '1.000', '-'], ['Jets', '.500', '1.5']]),
('boundary no games played',
([['Suns', 0, 0], ['Bucks', 0, 2]],),
[['Bucks', '.000', '-'], ['Suns', '.000', '-1.0']]),
('control equal pct more wins first',
([['Cats', 2, 2], ['Bucks', 4, 4]],),
[['Bucks', '.500', '-'], ['Cats', '.500', '-']]),
('regression: zero gap dash',
([['Cats', 7, 23], ['Bucks', 14, 46], ['Jets', 0, 0]],),
[['Bucks', '.233', '-'], ['Cats', '.233', '-8.0'], ['Jets', '.000', '-16.0']]),
('regression: zero gap dash',
([['Suns', 2, 2], ['Jets', 4, 4], ['Wolves', 10, 20]],),
[['Jets', '.500', '-'], ['Suns', '.500', '-'], ['Wolves', '.333', '5.0']]),
('variant scenario 1',
([['Suns', 14, 2], ['Jets', 1, 23]],),
[['Suns', '.875', '-'], ['Jets', '.042', '17.0']]),
('variant scenario 2',
([['Cats', 30, 2], ['Jets', 3, 2], ['Bucks', 4, 15], ['Suns', 2, 0], ['Wolves', 17, 5]],),
[['Suns', '1.000', '-'],
['Cats', '.938', '-13.0'],
['Wolves', '.773', '-5.0'],
['Jets', '.600', '0.5'],
['Bucks', '.211', '6.5']])],
[('control two teams',
([['Cats', 10, 5], ['Jets', 8, 7]],),
[['Cats', '.667', '-'], ['Jets', '.533', '2.0']]),
('boundary half game',
([['Cats', 10, 5], ['Jets', 9, 5]],),
[['Cats', '.667', '-'], ['Jets', '.643', '0.5']]),
('boundary perfect record',
([['Suns', 3, 0], ['Jets', 1, 1]],),
[['Suns', '1.000', '-'], ['Jets', '.500', '1.5']]),
('boundary no games played',
([['Suns', 0, 0], ['Bucks', 0, 2]],),
[['Bucks', '.000', '-'], ['Suns', '.000', '-1.0']]),
('control equal pct more wins first',
([['Cats', 2, 2], ['Bucks', 4, 4]],),
[['Bucks', '.500', '-'], ['Cats', '.500', '-']]),
('regression: zero gap dash',
([['Cats', 1, 10], ['Suns', 4, 2], ['Bucks', 3, 1], ['Wolves', 7, 6]],),
[['Bucks', '.750', '-'],
['Suns', '.667', '-'],
['Wolves', '.538', '0.5'],
['Cats', '.091', '5.5']]),
('regression: zero gap dash',
([['Wolves', 0, 0], ['Suns', 3, 17]],),
[['Suns', '.150', '-'], ['Wolves', '.000', '-7.0']]),
('variant scenario 1',
([['Cats', 2, 8], ['Suns', 15, 9]],),
[['Suns', '.625', '-'], ['Cats', '.200', '6.0']]),
('variant scenario 2',
([['Wolves', 21, 17], ['Bucks', 7, 29], ['Jets', 8, 13]],),
[['Wolves', '.553', '-'], ['Jets', '.381', '4.5'], ['Bucks', '.194', '13.0']])],
[('control two teams',
([['Cats', 10, 5], ['Jets', 8, 7]],),
[['Cats', '.667', '-'], ['Jets', '.533', '2.0']]),
('boundary half game',
([['Cats', 10, 5], ['Jets', 9, 5]],),
[['Cats', '.667', '-'], ['Jets', '.643', '0.5']]),
('boundary perfect record',
([['Suns', 3, 0], ['Jets', 1, 1]],),
[['Suns', '1.000', '-'], ['Jets', '.500', '1.5']]),
('boundary no games played',
([['Suns', 0, 0], ['Bucks', 0, 2]],),
[['Bucks', '.000', '-'], ['Suns', '.000', '-1.0']]),
('control equal pct more wins first',
([['Cats', 2, 2], ['Bucks', 4, 4]],),
[['Bucks', '.500', '-'], ['Cats', '.500', '-']]),
('regression: zero gap dash',
([['Cats', 1, 0], ['Suns', 30, 10]],),
[['Cats', '1.000', '-'], ['Suns', '.750', '-9.5']]),
('regression: zero gap dash',
([['Suns', 3, 3], ['Wolves', 6, 6]],),
[['Wolves', '.500', '-'], ['Suns', '.500', '-']]),
('variant scenario 1',
([['Bucks', 4, 18], ['Cats', 8, 36], ['Jets', 11, 7]],),
[['Jets', '.611', '-'], ['Cats', '.182', '16.0'], ['Bucks', '.182', '9.0']]),
('variant scenario 2',
([['Wolves', 5, 15], ['Cats', 4, 14], ['Jets', 9, 16], ['Suns', 8, 14]],),
[['Suns', '.364', '-'],
['Jets', '.360', '0.5'],
['Wolves', '.250', '2.0'],
['Cats', '.222', '2.0']])],
[('control two teams',
([['Cats', 10, 5], ['Jets', 8, 7]],),
[['Cats', '.667', '-'], ['Jets', '.533', '2.0']]),
('boundary half game',
([['Cats', 10, 5], ['Jets', 9, 5]],),
[['Cats', '.667', '-'], ['Jets', '.643', '0.5']]),
('boundary perfect record',
([['Suns', 3, 0], ['Jets', 1, 1]],),
[['Suns', '1.000', '-'], ['Jets', '.500', '1.5']]),
('boundary no games played',
([['Suns', 0, 0], ['Bucks', 0, 2]],),
[['Bucks', '.000', '-'], ['Suns', '.000', '-1.0']]),
('control equal pct more wins first',
([['Cats', 2, 2], ['Bucks', 4, 4]],),
[['Bucks', '.500', '-'], ['Cats', '.500', '-']]),
('regression: zero gap dash',
([['Wolves', 4, 26], ['Suns', 14, 6], ['Bucks', 10, 3]],),
[['Bucks', '.769', '-'], ['Suns', '.700', '-0.5'], ['Wolves', '.133', '14.5']]),
('regression: zero gap dash',
([['Suns', 0, 0], ['Wolves', 0, 0], ['Cats', 1, 4], ['Bucks', 1, 1]],),
[['Bucks', '.500', '-'],
['Cats', '.200', '1.5'],
['Suns', '.000', '-'],
['Wolves', '.000', '-']]),
('variant scenario 1',
([['Bucks', 20, 2], ['Suns', 2, 17], ['Cats', 6, 21]],),
[['Bucks', '.909', '-'], ['Cats', '.222', '16.5'], ['Suns', '.105', '16.5']]),
('variant scenario 2',
([['Bucks', 0, 2], ['Wolves', 7, 12], ['Jets', 26, 9]],),
[['Jets', '.743', '-'], ['Wolves', '.368', '11.0'], ['Bucks', '.000', '9.5']])]]
for label, args, expected in cases[N - 1]:
check(label, run(args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| control two teams | [['Cats', '.667', '-'], ['Jets', '.533', '2.0']] | [['Cats', '.667', '-'], ['Jets', '.533', '2.0']] | Passed |
| boundary half game | [['Cats', '.667', '-'], ['Jets', '.643', '0.5']] | [['Cats', '.667', '-'], ['Jets', '.643', '0.5']] | Passed |
| boundary perfect record | [['Suns', '1.000', '-'], ['Jets', '.500', '1.5']] | [['Suns', '1.000', '-'], ['Jets', '.500', '1.5']] | Passed |
| boundary no games played | [['Bucks', '.000', '-'], ['Suns', '.000', '-']] | [['Bucks', '.000', '-'], ['Suns', '.000', '-1.0']] | Failed |
| control equal pct more wins first | [['Bucks', '.500', '-'], ['Cats', '.500', '-']] | [['Bucks', '.500', '-'], ['Cats', '.500', '-']] | Passed |
| regression: zero gap dash | [['Bucks', '1.000', '-'], ['Cats', '.778', '-'], ['Jets', '.417', '5.0']] | [['Bucks', '1.000', '-'], ['Cats', '.778', '-3.5'], ['Jets', '.417', '5.0']] | Failed |
| regression: zero gap dash | [['Cats', '.000', '-'], ['Wolves', '.000', '-']] | [['Cats', '.000', '-'], ['Wolves', '.000', '-']] | Passed |
| variant scenario 1 | [['Suns', '.800', '-'], ['Jets', '.375', '4.5'], ['Cats', '.200', '4.5']] | [['Suns', '.800', '-'], ['Jets', '.375', '4.5'], ['Cats', '.200', '4.5']] | Passed |
| variant scenario 2 | [['Cats', '.926', '-'], ['Suns', '.400', '12.5'], ['Wolves', '.300', '13.5'], ['Bucks', '.200', '13.0'], ['Jets', '.143', '21.5']] | [['Cats', '.926', '-'], ['Suns', '.400', '12.5'], ['Wolves', '.300', '13.5'], ['Bucks', '.200', '13.0'], ['Jets', '.143', '21.5']] | Passed |
SHA-256 / 3409c3afbd9d757199eb5f908339ce97953f5fef2471cd2280ab80338c2052fd
HELD IN THE MEMBER ARCHIVE
The verified repair and its recorded checks are member-only.
This mechanism has 9 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.
Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.
Member access is invitation-based. Sign in with your invited account to inspect the repair.
Sign in to the archive ↗Verification & scope
Stipulated, bounded toy contract stated in the contract field; not a claim of conformance with any governing body rulebook or operator house rules. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.
Observations recorded using Python 3.12.14 at 2026-09-29T14:50:27.841762+00:00.
Case digest / 9b3411d7acc2dcc7a594b906344c6f636f8dcaaf79632010da4d25ad7f3029c9