FAILURE MAP
← Case archive

FA-84306 / Sports scoring and tiebreakers / Open access

Decathlon points rounded instead of truncated · case 01

Performances just below a points boundary receive the next point.

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

ROOT CAUSE

The formula result is rounded to the nearest integer.

THE FAILURE

The formula result is rounded to the nearest integer.

Unsuccessful approach: Taking the ceiling awards the extra point even more often.

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) * 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(round(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: points truncation', ('1500m', '5:09.37'), 507),
  ('regression: points truncation', ('400m', '48.73'), 874),
  ('variant scenario 1', ('long_jump', '4.80'), 345),
  ('variant scenario 2', ('100m', '10.72'), 924)],
 [('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: points truncation', ('1500m', '4:30.23'), 743),
  ('variant scenario 1', ('400m', '54.00'), 640),
  ('variant scenario 2', ('100m', '12.08'), 635)],
 [('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: points truncation', ('400m', '52.84'), 688),
  ('variant scenario 1', ('shot_put', '14.30'), 747),
  ('variant scenario 2', ('400m', '57.67'), 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: points truncation', ('400m', '57.13'), 516),
  ('regression: points truncation', ('1500m', '4:24.78'), 779),
  ('variant scenario 1', ('100m', '12.43'), 569),
  ('variant scenario 2', ('long_jump', '2.34'), 5)],
 [('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: points truncation', ('shot_put', '6.39'), 272),
  ('regression: points truncation', ('long_jump', '2.50'), 16),
  ('variant scenario 1', ('high_jump', '2.16'), 953),
  ('variant scenario 2', ('400m', '47.27'), 945)]]
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 fixtureActualExpectedOutcome
control 100m976975Failed
control long jump935935Passed
control shot put790790Passed
control 1500m745745Passed
boundary slower than base00Passed
control high jump813813Passed
regression: points truncation507507Passed
regression: points truncation875874Failed
variant scenario 1345345Passed
variant scenario 2924924Passed

SHA-256 / 6765d93f225effe09f9e75e9ca5af584d500d7277e946af106e6f41d416a2fd7

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 + 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.ceil(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: points truncation', ('1500m', '5:09.37'), 507),
  ('regression: points truncation', ('400m', '48.73'), 874),
  ('variant scenario 1', ('long_jump', '4.80'), 345),
  ('variant scenario 2', ('100m', '10.72'), 924)],
 [('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: points truncation', ('1500m', '4:30.23'), 743),
  ('variant scenario 1', ('400m', '54.00'), 640),
  ('variant scenario 2', ('100m', '12.08'), 635)],
 [('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: points truncation', ('400m', '52.84'), 688),
  ('variant scenario 1', ('shot_put', '14.30'), 747),
  ('variant scenario 2', ('400m', '57.67'), 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: points truncation', ('400m', '57.13'), 516),
  ('regression: points truncation', ('1500m', '4:24.78'), 779),
  ('variant scenario 1', ('100m', '12.43'), 569),
  ('variant scenario 2', ('long_jump', '2.34'), 5)],
 [('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: points truncation', ('shot_put', '6.39'), 272),
  ('regression: points truncation', ('long_jump', '2.50'), 16),
  ('variant scenario 1', ('high_jump', '2.16'), 953),
  ('variant scenario 2', ('400m', '47.27'), 945)]]
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 fixtureActualExpectedOutcome
control 100m976975Failed
control long jump936935Failed
control shot put791790Failed
control 1500m746745Failed
boundary slower than base00Passed
control high jump814813Failed
regression: points truncation508507Failed
regression: points truncation875874Failed
variant scenario 1346345Failed
variant scenario 2925924Failed

SHA-256 / 4941a38a1a98b2cb114be130bf8f000cd7ec06bd90fb742bdf885bfa9bcedb94

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 10 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:29.738981+00:00.

Case digest / dc79cbe61086db806ded5629525a01a9ec91391a00b117e763aae88022fd19e1