FA-84316 / Sports scoring and tiebreakers / Open access
Middle-distance time minutes not converted to seconds · case 01
A 4:30.00 1500m scores as if it were 34 seconds or loses hundredths.
ROOT CAUSE
The minutes field is added as a raw number instead of multiplied by 60.
VERIFIED REPAIR
Convert minutes to seconds and keep the fractional seconds.
Unsuccessful approach: Multiplying minutes by 60 but truncating the seconds drops hundredths from the time.
Case contract
Combined-events points. Coefficients (A, B, C, kind): 100m (25.4347, 18, 1.81, track), 400m (1.53775, 82, 1.81, track), 1500m (0.03768, 480, 1.85, track), long_jump (0.14354, 220, 1.4, jump), high_jump (0.8465, 75, 1.42, jump), shot_put (51.39, 1.5, 1.05, throw). Track performances are seconds, 1500m as "m:ss.hh"; jumps are given in metres but scored in whole centimetres (rounded); throws in metres. Track points = floor(A * (B - P) ** C), field points = floor(A * (P - B) ** C); a non-positive base scores 0.
Why this case matters
Combined-event scoring tables are implemented from formulas with mixed units and orientations.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import math
N = 1
observations = []
def solve(event, perf):
TABLE = {'100m': (25.4347, 18, 1.81, 'track'), '400m': (1.53775, 82, 1.81, 'track'),
'1500m': (0.03768, 480, 1.85, 'track'), 'long_jump': (0.14354, 220, 1.4, 'jump'),
'high_jump': (0.8465, 75, 1.42, 'jump'), 'shot_put': (51.39, 1.5, 1.05, 'throw')}
A, B, C, kind = TABLE[event]
if kind == 'track':
if ':' in perf:
m, s = perf.split(':')
p = int(m) + float(s)
else:
p = float(perf)
base = B - p
else:
p = float(perf)
if kind == 'jump':
p = round(p * 100)
base = p - B
if base <= 0:
return 0
return int(math.floor(A * base ** C))
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 100m', ('100m', '10.50'), 975),
('control long jump', ('long_jump', '7.50'), 935),
('control shot put', ('shot_put', '15.00'), 790),
('control 1500m', ('1500m', '4:30.00'), 745),
('boundary slower than base', ('100m', '18.50'), 0),
('control high jump', ('high_jump', '2.01'), 813),
('regression: minutes parsing', ('1500m', '4:56.61'), 579),
('variant scenario 1', ('100m', '12.05'), 641),
('variant scenario 2', ('100m', '11.56'), 740)],
[('control 100m', ('100m', '10.50'), 975),
('control long jump', ('long_jump', '7.50'), 935),
('control shot put', ('shot_put', '15.00'), 790),
('control 1500m', ('1500m', '4:30.00'), 745),
('boundary slower than base', ('100m', '18.50'), 0),
('control high jump', ('high_jump', '2.01'), 813),
('regression: minutes parsing', ('1500m', '4:22.46'), 795),
('variant scenario 1', ('100m', '11.69'), 713),
('variant scenario 2', ('shot_put', '10.17'), 496)],
[('control 100m', ('100m', '10.50'), 975),
('control long jump', ('long_jump', '7.50'), 935),
('control shot put', ('shot_put', '15.00'), 790),
('control 1500m', ('1500m', '4:30.00'), 745),
('boundary slower than base', ('100m', '18.50'), 0),
('control high jump', ('high_jump', '2.01'), 813),
('regression: minutes parsing', ('1500m', '4:43.13'), 661),
('variant scenario 1', ('400m', '48.88'), 867),
('variant scenario 2', ('100m', '11.55'), 742)],
[('control 100m', ('100m', '10.50'), 975),
('control long jump', ('long_jump', '7.50'), 935),
('control shot put', ('shot_put', '15.00'), 790),
('control 1500m', ('1500m', '4:30.00'), 745),
('boundary slower than base', ('100m', '18.50'), 0),
('control high jump', ('high_jump', '2.01'), 813),
('regression: minutes parsing', ('1500m', '4:13.72'), 855),
('variant scenario 1', ('high_jump', '1.92'), 731),
('variant scenario 2', ('shot_put', '8.87'), 418)],
[('control 100m', ('100m', '10.50'), 975),
('control long jump', ('long_jump', '7.50'), 935),
('control shot put', ('shot_put', '15.00'), 790),
('control 1500m', ('1500m', '4:30.00'), 745),
('boundary slower than base', ('100m', '18.50'), 0),
('control high jump', ('high_jump', '2.01'), 813),
('regression: minutes parsing', ('1500m', '5:02.42'), 546),
('variant scenario 1', ('400m', '49.41'), 842),
('variant scenario 2', ('shot_put', '3.75'), 120)]]
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 100m | 975 | 975 | Passed |
| control long jump | 935 | 935 | Passed |
| control shot put | 790 | 790 | Passed |
| control 1500m | 3001 | 745 | Failed |
| boundary slower than base | 0 | 0 | Passed |
| control high jump | 813 | 813 | Passed |
| regression: minutes parsing | 2678 | 579 | Failed |
| variant scenario 1 | 641 | 641 | Passed |
| variant scenario 2 | 740 | 740 | Passed |
SHA-256 / 175c70f51e6881e46087acdbf072eebc9b7866dc2bdedbbcc1c4e0f9c52f8d8f
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import math
N = 1
observations = []
def solve(event, perf):
TABLE = {'100m': (25.4347, 18, 1.81, 'track'), '400m': (1.53775, 82, 1.81, 'track'),
'1500m': (0.03768, 480, 1.85, 'track'), 'long_jump': (0.14354, 220, 1.4, 'jump'),
'high_jump': (0.8465, 75, 1.42, 'jump'), 'shot_put': (51.39, 1.5, 1.05, 'throw')}
A, B, C, kind = TABLE[event]
if kind == 'track':
if ':' in perf:
m, s = perf.split(':')
p = int(m) * 60 + int(float(s))
else:
p = float(perf)
base = B - p
else:
p = float(perf)
if kind == 'jump':
p = round(p * 100)
base = p - B
if base <= 0:
return 0
return int(math.floor(A * base ** C))
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 100m', ('100m', '10.50'), 975),
('control long jump', ('long_jump', '7.50'), 935),
('control shot put', ('shot_put', '15.00'), 790),
('control 1500m', ('1500m', '4:30.00'), 745),
('boundary slower than base', ('100m', '18.50'), 0),
('control high jump', ('high_jump', '2.01'), 813),
('regression: minutes parsing', ('1500m', '4:56.61'), 579),
('variant scenario 1', ('100m', '12.05'), 641),
('variant scenario 2', ('100m', '11.56'), 740)],
[('control 100m', ('100m', '10.50'), 975),
('control long jump', ('long_jump', '7.50'), 935),
('control shot put', ('shot_put', '15.00'), 790),
('control 1500m', ('1500m', '4:30.00'), 745),
('boundary slower than base', ('100m', '18.50'), 0),
('control high jump', ('high_jump', '2.01'), 813),
('regression: minutes parsing', ('1500m', '4:22.46'), 795),
('variant scenario 1', ('100m', '11.69'), 713),
('variant scenario 2', ('shot_put', '10.17'), 496)],
[('control 100m', ('100m', '10.50'), 975),
('control long jump', ('long_jump', '7.50'), 935),
('control shot put', ('shot_put', '15.00'), 790),
('control 1500m', ('1500m', '4:30.00'), 745),
('boundary slower than base', ('100m', '18.50'), 0),
('control high jump', ('high_jump', '2.01'), 813),
('regression: minutes parsing', ('1500m', '4:43.13'), 661),
('variant scenario 1', ('400m', '48.88'), 867),
('variant scenario 2', ('100m', '11.55'), 742)],
[('control 100m', ('100m', '10.50'), 975),
('control long jump', ('long_jump', '7.50'), 935),
('control shot put', ('shot_put', '15.00'), 790),
('control 1500m', ('1500m', '4:30.00'), 745),
('boundary slower than base', ('100m', '18.50'), 0),
('control high jump', ('high_jump', '2.01'), 813),
('regression: minutes parsing', ('1500m', '4:13.72'), 855),
('variant scenario 1', ('high_jump', '1.92'), 731),
('variant scenario 2', ('shot_put', '8.87'), 418)],
[('control 100m', ('100m', '10.50'), 975),
('control long jump', ('long_jump', '7.50'), 935),
('control shot put', ('shot_put', '15.00'), 790),
('control 1500m', ('1500m', '4:30.00'), 745),
('boundary slower than base', ('100m', '18.50'), 0),
('control high jump', ('high_jump', '2.01'), 813),
('regression: minutes parsing', ('1500m', '5:02.42'), 546),
('variant scenario 1', ('400m', '49.41'), 842),
('variant scenario 2', ('shot_put', '3.75'), 120)]]
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 100m | 975 | 975 | Passed |
| control long jump | 935 | 935 | Passed |
| control shot put | 790 | 790 | Passed |
| control 1500m | 745 | 745 | Passed |
| boundary slower than base | 0 | 0 | Passed |
| control high jump | 813 | 813 | Passed |
| regression: minutes parsing | 583 | 579 | Failed |
| variant scenario 1 | 641 | 641 | Passed |
| variant scenario 2 | 740 | 740 | Passed |
SHA-256 / fc295f58f7a390aad2c63655153059ace102d0c9d6fdc6a5872ceb799a2626ad
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
import math
N = 1
observations = []
def solve(event, perf):
TABLE = {'100m': (25.4347, 18, 1.81, 'track'), '400m': (1.53775, 82, 1.81, 'track'),
'1500m': (0.03768, 480, 1.85, 'track'), 'long_jump': (0.14354, 220, 1.4, 'jump'),
'high_jump': (0.8465, 75, 1.42, 'jump'), 'shot_put': (51.39, 1.5, 1.05, 'throw')}
A, B, C, kind = TABLE[event]
if kind == 'track':
if ':' in perf:
m, s = perf.split(':')
p = int(m) * 60 + float(s)
else:
p = float(perf)
base = B - p
else:
p = float(perf)
if kind == 'jump':
p = round(p * 100)
base = p - B
if base <= 0:
return 0
return int(math.floor(A * base ** C))
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 100m', ('100m', '10.50'), 975),
('control long jump', ('long_jump', '7.50'), 935),
('control shot put', ('shot_put', '15.00'), 790),
('control 1500m', ('1500m', '4:30.00'), 745),
('boundary slower than base', ('100m', '18.50'), 0),
('control high jump', ('high_jump', '2.01'), 813),
('regression: minutes parsing', ('1500m', '4:56.61'), 579),
('variant scenario 1', ('100m', '12.05'), 641),
('variant scenario 2', ('100m', '11.56'), 740)],
[('control 100m', ('100m', '10.50'), 975),
('control long jump', ('long_jump', '7.50'), 935),
('control shot put', ('shot_put', '15.00'), 790),
('control 1500m', ('1500m', '4:30.00'), 745),
('boundary slower than base', ('100m', '18.50'), 0),
('control high jump', ('high_jump', '2.01'), 813),
('regression: minutes parsing', ('1500m', '4:22.46'), 795),
('variant scenario 1', ('100m', '11.69'), 713),
('variant scenario 2', ('shot_put', '10.17'), 496)],
[('control 100m', ('100m', '10.50'), 975),
('control long jump', ('long_jump', '7.50'), 935),
('control shot put', ('shot_put', '15.00'), 790),
('control 1500m', ('1500m', '4:30.00'), 745),
('boundary slower than base', ('100m', '18.50'), 0),
('control high jump', ('high_jump', '2.01'), 813),
('regression: minutes parsing', ('1500m', '4:43.13'), 661),
('variant scenario 1', ('400m', '48.88'), 867),
('variant scenario 2', ('100m', '11.55'), 742)],
[('control 100m', ('100m', '10.50'), 975),
('control long jump', ('long_jump', '7.50'), 935),
('control shot put', ('shot_put', '15.00'), 790),
('control 1500m', ('1500m', '4:30.00'), 745),
('boundary slower than base', ('100m', '18.50'), 0),
('control high jump', ('high_jump', '2.01'), 813),
('regression: minutes parsing', ('1500m', '4:13.72'), 855),
('variant scenario 1', ('high_jump', '1.92'), 731),
('variant scenario 2', ('shot_put', '8.87'), 418)],
[('control 100m', ('100m', '10.50'), 975),
('control long jump', ('long_jump', '7.50'), 935),
('control shot put', ('shot_put', '15.00'), 790),
('control 1500m', ('1500m', '4:30.00'), 745),
('boundary slower than base', ('100m', '18.50'), 0),
('control high jump', ('high_jump', '2.01'), 813),
('regression: minutes parsing', ('1500m', '5:02.42'), 546),
('variant scenario 1', ('400m', '49.41'), 842),
('variant scenario 2', ('shot_put', '3.75'), 120)]]
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 100m | 975 | 975 | Passed |
| control long jump | 935 | 935 | Passed |
| control shot put | 790 | 790 | Passed |
| control 1500m | 745 | 745 | Passed |
| boundary slower than base | 0 | 0 | Passed |
| control high jump | 813 | 813 | Passed |
| regression: minutes parsing | 579 | 579 | Passed |
| variant scenario 1 | 641 | 641 | Passed |
| variant scenario 2 | 740 | 740 | Passed |
SHA-256 / 788f0d808c36962ea0f9a1e5231da9a609fe0151abe485119e3429834036a151
Verification & scope
Stipulated, bounded toy contract stated in the contract field; not a claim of conformance with any governing body rulebook or operator house rules. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.
Observations recorded using Python 3.12.14 at 2026-09-29T14:50:29.795429+00:00.
Case digest / fa2cf8a0c6b21aa021a05a13865be18492cae45fdc80274f92987f3a9ea24eb0