FA-83851 / Sports scoring and tiebreakers / Open access

Advantage shown before both players reach forty · case 01

A 40-15 score is rendered as an advantage instead of the numeric score.

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

ROOT CAUSE

The deuce/advantage band is entered when either player has three points instead of both.

VERIFIED REPAIR

Enter the deuce band only when both players have at least three points.

Unsuccessful approach: Lowering the second player threshold to two points still renders 40-30 as advantage.

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 >= 4 or b >= 4) and abs(a - b) >= 2:
            return 'game A' if a > b else 'game B'
    if a >= 3 or 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: deuce band', ('BBB',), '0-40'),
  ('regression: deuce band', ('AAABB',), '40-30'),
  ('variant scenario 1', ('BABBBAB',), 'game B'),
  ('variant scenario 2', ('',), '0-0')],
 [('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: deuce band', ('AAA',), '40-0'),
  ('regression: deuce band', ('AAABB',), '40-30'),
  ('variant scenario 1', ('A',), '15-0'),
  ('variant scenario 2', ('',), '0-0')],
 [('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: deuce band', ('BAAA',), '40-15'),
  ('regression: deuce band', ('ABABA',), '40-30'),
  ('variant scenario 1', ('AAABBAB',), 'game A'),
  ('variant scenario 2', ('AAABBBABA',), 'advantage 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: deuce band', ('BBABA',), '30-40'),
  ('regression: deuce band', ('BAABA',), '40-30'),
  ('variant scenario 1', ('ABAAx',), 'invalid point x'),
  ('variant scenario 2', ('',), '0-0')],
 [('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: deuce band', ('AABA',), '40-15'),
  ('regression: deuce band', ('AABAB',), '40-30'),
  ('variant scenario 1', ('BAAABBAA',), 'game A'),
  ('variant scenario 2', ('AAAABBBAABBAA',), 'game A')]]
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: deuce band	`advantage B`	`0-40`	Failed
regression: deuce band	`advantage A`	`40-30`	Failed
variant scenario 1	`game B`	`game B`	Passed
variant scenario 2	`0-0`	`0-0`	Passed

SHA-256 / eb0f0da9d69186d6ba1ba174740d6dc4881ff5caaea60cca38307d92afbdec2e

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 >= 4 or b >= 4) and abs(a - b) >= 2:
            return 'game A' if a > b else 'game B'
    if a >= 3 and b >= 2:
        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: deuce band', ('BBB',), '0-40'),
  ('regression: deuce band', ('AAABB',), '40-30'),
  ('variant scenario 1', ('BABBBAB',), 'game B'),
  ('variant scenario 2', ('',), '0-0')],
 [('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: deuce band', ('AAA',), '40-0'),
  ('regression: deuce band', ('AAABB',), '40-30'),
  ('variant scenario 1', ('A',), '15-0'),
  ('variant scenario 2', ('',), '0-0')],
 [('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: deuce band', ('BAAA',), '40-15'),
  ('regression: deuce band', ('ABABA',), '40-30'),
  ('variant scenario 1', ('AAABBAB',), 'game A'),
  ('variant scenario 2', ('AAABBBABA',), 'advantage 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: deuce band', ('BBABA',), '30-40'),
  ('regression: deuce band', ('BAABA',), '40-30'),
  ('variant scenario 1', ('ABAAx',), 'invalid point x'),
  ('variant scenario 2', ('',), '0-0')],
 [('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: deuce band', ('AABA',), '40-15'),
  ('regression: deuce band', ('AABAB',), '40-30'),
  ('variant scenario 1', ('BAAABBAA',), 'game A'),
  ('variant scenario 2', ('AAAABBBAABBAA',), 'game A')]]
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: deuce band	`0-40`	`0-40`	Passed
regression: deuce band	`advantage A`	`40-30`	Failed
variant scenario 1	`game B`	`game B`	Passed
variant scenario 2	`0-0`	`0-0`	Passed

SHA-256 / 77102e084a072b487d2970024094aa91f4df35149623ae15a0e8adfdaa162193

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: deuce band', ('BBB',), '0-40'),
  ('regression: deuce band', ('AAABB',), '40-30'),
  ('variant scenario 1', ('BABBBAB',), 'game B'),
  ('variant scenario 2', ('',), '0-0')],
 [('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: deuce band', ('AAA',), '40-0'),
  ('regression: deuce band', ('AAABB',), '40-30'),
  ('variant scenario 1', ('A',), '15-0'),
  ('variant scenario 2', ('',), '0-0')],
 [('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: deuce band', ('BAAA',), '40-15'),
  ('regression: deuce band', ('ABABA',), '40-30'),
  ('variant scenario 1', ('AAABBAB',), 'game A'),
  ('variant scenario 2', ('AAABBBABA',), 'advantage 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: deuce band', ('BBABA',), '30-40'),
  ('regression: deuce band', ('BAABA',), '40-30'),
  ('variant scenario 1', ('ABAAx',), 'invalid point x'),
  ('variant scenario 2', ('',), '0-0')],
 [('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: deuce band', ('AABA',), '40-15'),
  ('regression: deuce band', ('AABAB',), '40-30'),
  ('variant scenario 1', ('BAAABBAA',), 'game A'),
  ('variant scenario 2', ('AAAABBBAABBAA',), 'game A')]]
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: deuce band	`0-40`	`0-40`	Passed
regression: deuce band	`40-30`	`40-30`	Passed
variant scenario 1	`game B`	`game B`	Passed
variant scenario 2	`0-0`	`0-0`	Passed

SHA-256 / ce9c56956e554003d6478180f46d37906dc317b3cd47fb068134a340eb616d66

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

Case digest / 6890a0048b93a234b0b8c0bb51b1dcfc6f51c60fd4ac747f2c6935d8a2dc16cf