FA-83846 / Sports scoring and tiebreakers / Open access

Tennis game awarded at forty with a two-point lead · case 01

A player leading 40-15 is shown as having won the game one point early.

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

ROOT CAUSE

The game-end test uses a three-point minimum, treating reaching 40 as winning.

VERIFIED REPAIR

Only close the game once a player has at least four points and leads by two.

Unsuccessful approach: Using the combined point count (a + b >= 4) still ends a 40-15 game early.

Case contract

points is a string of rally winners, each character A or B. A game ends at the first point where a player has at least 4 points and leads by at least 2; characters after that point are ignored. Return "game A"/"game B" when finished; otherwise "deuce" when both have at least 3 points and are level, "advantage A"/"advantage B" when both have at least 3 points and differ by one, else "S-R" using the labels 0, 15, 30, 40 in A-B order. A character other than A or B that is reached before the game ends returns "invalid point <c>".

Why this case matters

Live scoreboards and umpire tablets derive the displayed tennis game score from a raw rally log.

1 / The failure

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(points):
    names = ['0', '15', '30', '40']
    a = b = 0
    for p in points:
        if p == 'A':
            a += 1
        elif p == 'B':
            b += 1
        else:
            return 'invalid point ' + p
        if (a >= 3 or b >= 3) and abs(a - b) >= 2:
            return 'game A' if a > b else 'game B'
    if a >= 3 and b >= 3:
        if a == b:
            return 'deuce'
        return 'advantage A' if a > b else 'advantage B'
    return names[a] + '-' + names[b]
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 love-thirty', ('BB',), '0-30'),
  ('boundary first deuce', ('AABBAB',), 'deuce'),
  ('boundary advantage after deuce', ('AAABBBB',), 'advantage B'),
  ('control straight game', ('AAAA',), 'game A'),
  ('boundary win from advantage', ('ABABABAA',), 'game A'),
  ('control empty log', ('',), '0-0'),
  ('regression: game point minimum', ('BBBAAC',), 'invalid point C'),
  ('variant scenario 1', ('',), '0-0'),
  ('variant scenario 2', ('AABBB',), '30-40')],
 [('control love-thirty', ('BB',), '0-30'),
  ('boundary first deuce', ('AABBAB',), 'deuce'),
  ('boundary advantage after deuce', ('AAABBBB',), 'advantage B'),
  ('control straight game', ('AAAA',), 'game A'),
  ('boundary win from advantage', ('ABABABAA',), 'game A'),
  ('control empty log', ('',), '0-0'),
  ('regression: game point minimum', ('BBBA',), '15-40'),
  ('variant scenario 1', ('B',), '0-15'),
  ('variant scenario 2', ('AABAABBAAB',), 'game A')],
 [('control love-thirty', ('BB',), '0-30'),
  ('boundary first deuce', ('AABBAB',), 'deuce'),
  ('boundary advantage after deuce', ('AAABBBB',), 'advantage B'),
  ('control straight game', ('AAAA',), 'game A'),
  ('boundary win from advantage', ('ABABABAA',), 'game A'),
  ('control empty log', ('',), '0-0'),
  ('regression: game point minimum', ('BABBAAA',), 'advantage A'),
  ('variant scenario 1', ('AB',), '15-15'),
  ('variant scenario 2', ('ABBAAABBBABC',), 'game A')],
 [('control love-thirty', ('BB',), '0-30'),
  ('boundary first deuce', ('AABBAB',), 'deuce'),
  ('boundary advantage after deuce', ('AAABBBB',), 'advantage B'),
  ('control straight game', ('AAAA',), 'game A'),
  ('boundary win from advantage', ('ABABABAA',), 'game A'),
  ('control empty log', ('',), '0-0'),
  ('regression: game point minimum', ('AAABB',), '40-30'),
  ('variant scenario 1', ('BABABBAx',), 'game B'),
  ('variant scenario 2', ('AAAABBAAABAABA',), 'game A')],
 [('control love-thirty', ('BB',), '0-30'),
  ('boundary first deuce', ('AABBAB',), 'deuce'),
  ('boundary advantage after deuce', ('AAABBBB',), 'advantage B'),
  ('control straight game', ('AAAA',), 'game A'),
  ('boundary win from advantage', ('ABABABAA',), 'game A'),
  ('control empty log', ('',), '0-0'),
  ('regression: game point minimum', ('BAAABBABBABA',), 'deuce'),
  ('variant scenario 1', ('ABABBAABBBBABBB',), 'game B'),
  ('variant scenario 2', ('B',), '0-15')]]
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 love-thirty	`0-30`	`0-30`	Passed
boundary first deuce	`deuce`	`deuce`	Passed
boundary advantage after deuce	`game A`	`advantage B`	Failed
control straight game	`game A`	`game A`	Passed
boundary win from advantage	`game A`	`game A`	Passed
control empty log	`0-0`	`0-0`	Passed
regression: game point minimum	`game B`	`invalid point C`	Failed
variant scenario 1	`0-0`	`0-0`	Passed
variant scenario 2	`30-40`	`30-40`	Passed

SHA-256 / fe375ed5b170b05bbff9ffd2eb9fceda44cc61a2a8183d056fc1d78083e3606b

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(points):
    names = ['0', '15', '30', '40']
    a = b = 0
    for p in points:
        if p == 'A':
            a += 1
        elif p == 'B':
            b += 1
        else:
            return 'invalid point ' + p
        if (a + b >= 4) and abs(a - b) >= 2:
            return 'game A' if a > b else 'game B'
    if a >= 3 and b >= 3:
        if a == b:
            return 'deuce'
        return 'advantage A' if a > b else 'advantage B'
    return names[a] + '-' + names[b]
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 love-thirty', ('BB',), '0-30'),
  ('boundary first deuce', ('AABBAB',), 'deuce'),
  ('boundary advantage after deuce', ('AAABBBB',), 'advantage B'),
  ('control straight game', ('AAAA',), 'game A'),
  ('boundary win from advantage', ('ABABABAA',), 'game A'),
  ('control empty log', ('',), '0-0'),
  ('regression: game point minimum', ('BBBAAC',), 'invalid point C'),
  ('variant scenario 1', ('',), '0-0'),
  ('variant scenario 2', ('AABBB',), '30-40')],
 [('control love-thirty', ('BB',), '0-30'),
  ('boundary first deuce', ('AABBAB',), 'deuce'),
  ('boundary advantage after deuce', ('AAABBBB',), 'advantage B'),
  ('control straight game', ('AAAA',), 'game A'),
  ('boundary win from advantage', ('ABABABAA',), 'game A'),
  ('control empty log', ('',), '0-0'),
  ('regression: game point minimum', ('BBBA',), '15-40'),
  ('variant scenario 1', ('B',), '0-15'),
  ('variant scenario 2', ('AABAABBAAB',), 'game A')],
 [('control love-thirty', ('BB',), '0-30'),
  ('boundary first deuce', ('AABBAB',), 'deuce'),
  ('boundary advantage after deuce', ('AAABBBB',), 'advantage B'),
  ('control straight game', ('AAAA',), 'game A'),
  ('boundary win from advantage', ('ABABABAA',), 'game A'),
  ('control empty log', ('',), '0-0'),
  ('regression: game point minimum', ('BABBAAA',), 'advantage A'),
  ('variant scenario 1', ('AB',), '15-15'),
  ('variant scenario 2', ('ABBAAABBBABC',), 'game A')],
 [('control love-thirty', ('BB',), '0-30'),
  ('boundary first deuce', ('AABBAB',), 'deuce'),
  ('boundary advantage after deuce', ('AAABBBB',), 'advantage B'),
  ('control straight game', ('AAAA',), 'game A'),
  ('boundary win from advantage', ('ABABABAA',), 'game A'),
  ('control empty log', ('',), '0-0'),
  ('regression: game point minimum', ('AAABB',), '40-30'),
  ('variant scenario 1', ('BABABBAx',), 'game B'),
  ('variant scenario 2', ('AAAABBAAABAABA',), 'game A')],
 [('control love-thirty', ('BB',), '0-30'),
  ('boundary first deuce', ('AABBAB',), 'deuce'),
  ('boundary advantage after deuce', ('AAABBBB',), 'advantage B'),
  ('control straight game', ('AAAA',), 'game A'),
  ('boundary win from advantage', ('ABABABAA',), 'game A'),
  ('control empty log', ('',), '0-0'),
  ('regression: game point minimum', ('BAAABBABBABA',), 'deuce'),
  ('variant scenario 1', ('ABABBAABBBBABBB',), 'game B'),
  ('variant scenario 2', ('B',), '0-15')]]
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 love-thirty	`0-30`	`0-30`	Passed
boundary first deuce	`deuce`	`deuce`	Passed
boundary advantage after deuce	`game A`	`advantage B`	Failed
control straight game	`game A`	`game A`	Passed
boundary win from advantage	`game A`	`game A`	Passed
control empty log	`0-0`	`0-0`	Passed
regression: game point minimum	`game B`	`invalid point C`	Failed
variant scenario 1	`0-0`	`0-0`	Passed
variant scenario 2	`30-40`	`30-40`	Passed

SHA-256 / 278fd3747f259a38dc61df66f2dcf94118fb9aac8a93ba5087f49d6151a8270a

3 / The verified repair

Exit 0

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(points):
    names = ['0', '15', '30', '40']
    a = b = 0
    for p in points:
        if p == 'A':
            a += 1
        elif p == 'B':
            b += 1
        else:
            return 'invalid point ' + p
        if (a >= 4 or b >= 4) and abs(a - b) >= 2:
            return 'game A' if a > b else 'game B'
    if a >= 3 and b >= 3:
        if a == b:
            return 'deuce'
        return 'advantage A' if a > b else 'advantage B'
    return names[a] + '-' + names[b]
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 love-thirty', ('BB',), '0-30'),
  ('boundary first deuce', ('AABBAB',), 'deuce'),
  ('boundary advantage after deuce', ('AAABBBB',), 'advantage B'),
  ('control straight game', ('AAAA',), 'game A'),
  ('boundary win from advantage', ('ABABABAA',), 'game A'),
  ('control empty log', ('',), '0-0'),
  ('regression: game point minimum', ('BBBAAC',), 'invalid point C'),
  ('variant scenario 1', ('',), '0-0'),
  ('variant scenario 2', ('AABBB',), '30-40')],
 [('control love-thirty', ('BB',), '0-30'),
  ('boundary first deuce', ('AABBAB',), 'deuce'),
  ('boundary advantage after deuce', ('AAABBBB',), 'advantage B'),
  ('control straight game', ('AAAA',), 'game A'),
  ('boundary win from advantage', ('ABABABAA',), 'game A'),
  ('control empty log', ('',), '0-0'),
  ('regression: game point minimum', ('BBBA',), '15-40'),
  ('variant scenario 1', ('B',), '0-15'),
  ('variant scenario 2', ('AABAABBAAB',), 'game A')],
 [('control love-thirty', ('BB',), '0-30'),
  ('boundary first deuce', ('AABBAB',), 'deuce'),
  ('boundary advantage after deuce', ('AAABBBB',), 'advantage B'),
  ('control straight game', ('AAAA',), 'game A'),
  ('boundary win from advantage', ('ABABABAA',), 'game A'),
  ('control empty log', ('',), '0-0'),
  ('regression: game point minimum', ('BABBAAA',), 'advantage A'),
  ('variant scenario 1', ('AB',), '15-15'),
  ('variant scenario 2', ('ABBAAABBBABC',), 'game A')],
 [('control love-thirty', ('BB',), '0-30'),
  ('boundary first deuce', ('AABBAB',), 'deuce'),
  ('boundary advantage after deuce', ('AAABBBB',), 'advantage B'),
  ('control straight game', ('AAAA',), 'game A'),
  ('boundary win from advantage', ('ABABABAA',), 'game A'),
  ('control empty log', ('',), '0-0'),
  ('regression: game point minimum', ('AAABB',), '40-30'),
  ('variant scenario 1', ('BABABBAx',), 'game B'),
  ('variant scenario 2', ('AAAABBAAABAABA',), 'game A')],
 [('control love-thirty', ('BB',), '0-30'),
  ('boundary first deuce', ('AABBAB',), 'deuce'),
  ('boundary advantage after deuce', ('AAABBBB',), 'advantage B'),
  ('control straight game', ('AAAA',), 'game A'),
  ('boundary win from advantage', ('ABABABAA',), 'game A'),
  ('control empty log', ('',), '0-0'),
  ('regression: game point minimum', ('BAAABBABBABA',), 'deuce'),
  ('variant scenario 1', ('ABABBAABBBBABBB',), 'game B'),
  ('variant scenario 2', ('B',), '0-15')]]
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 love-thirty	`0-30`	`0-30`	Passed
boundary first deuce	`deuce`	`deuce`	Passed
boundary advantage after deuce	`advantage B`	`advantage B`	Passed
control straight game	`game A`	`game A`	Passed
boundary win from advantage	`game A`	`game A`	Passed
control empty log	`0-0`	`0-0`	Passed
regression: game point minimum	`invalid point C`	`invalid point C`	Passed
variant scenario 1	`0-0`	`0-0`	Passed
variant scenario 2	`30-40`	`30-40`	Passed

SHA-256 / 08e73274ebc6bcd0d033619b1171de07c1f58479e538143cbe1c21650a5ebcfb

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

Case digest / 1c05fd95cee486fb048bac367e7d4f56366057a29a369889e49bd4a5640d3102