FA-83236 / Go territory scoring / Open access

The resigning player is recorded as winner · case 01

Resignations invert the result.

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

ROOT CAUSE

The winner field uses the mover.

VERIFIED REPAIR

The opponent of the resigning player wins.

Unsuccessful approach: Deriving the winner from move parity fails when moves do not strictly alternate.

Case contract

Input list of "C:action" tokens. Two consecutive passes by different players end the game ["score", None, index]; any board move clears a pending pass; "resign"/"timeout" end it with the opponent as winner ["resign"/"time", winner, index]. Otherwise ["playing", None, len(moves)].

Why this case matters

Go servers and scoring tools compute this value automatically; a wrong answer changes a game result.

1 / The failure

Exit 1

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

N = 1
observations = []
def solve(x):
    moves = x
    prev_pass = None
    for idx, mv in enumerate(moves):
        who, _, act = mv.partition(':')
        other = 'W' if who == 'B' else 'B'
        if act == 'resign':
            return ['resign', who, idx]
        if act == 'timeout':
            return ['time', other, idx]
        if act == 'pass':
            if prev_pass is not None and prev_pass != who:
                return ['score', None, idx]
            prev_pass = who
        else:
            prev_pass = None
    return ['playing', None, len(moves)]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[['B:pass', 'W:qq', 'B:cc', 'W:resign', 'B:cc', 'B:pass'], ['resign', 'B', 3]], [['B:resign', 'W:pass', 'W:resign', 'B:resign', 'B:qq', 'W:cc'], ['resign', 'W', 0]], [['B:timeout', 'W:pass', 'B:cc', 'B:cc'], ['time', 'W', 0]], [['B:timeout', 'W:pass', 'W:pass', 'W:pass'], ['time', 'W', 0]], [['B:timeout', 'W:cc'], ['time', 'W', 0]], [['B:timeout', 'W:resign'], ['time', 'W', 0]], [['B:pass'], ['playing', None, 1]], [['B:dd', 'W:cc', 'W:resign', 'W:timeout', 'W:pass'], ['resign', 'B', 2]]], [[['B:resign', 'W:pass', 'W:resign', 'B:resign', 'B:qq', 'W:cc'], ['resign', 'W', 0]], [['W:cc', 'B:pass', 'B:dd', 'W:cc', 'B:resign'], ['resign', 'W', 4]], [['B:pass'], ['playing', None, 1]], [['B:resign'], ['resign', 'W', 0]], [['B:resign', 'B:cc', 'W:timeout', 'W:pass', 'B:cc'], ['resign', 'W', 0]], [['B:cc', 'W:pass', 'B:dd', 'B:resign'], ['resign', 'W', 3]], [[], ['playing', None, 0]], [['B:cc', 'B:resign', 'B:qq', 'W:timeout', 'B:pass'], ['resign', 'W', 1]]], [[['B:resign', 'B:cc', 'W:timeout', 'W:pass', 'B:cc'], ['resign', 'W', 0]], [['B:resign', 'W:pass'], ['resign', 'W', 0]], [['B:pass', 'W:cc', 'W:pass', 'B:cc'], ['playing', None, 4]], [['B:pass', 'W:qq'], ['playing', None, 2]], [['B:pass', 'B:dd', 'B:qq'], ['playing', None, 3]], [['W:pass'], ['playing', None, 1]], [['B:qq', 'W:cc', 'B:pass', 'B:cc'], ['playing', None, 4]], [['B:dd', 'W:cc', 'W:resign', 'W:timeout', 'W:pass'], ['resign', 'B', 2]]], [[['B:resign', 'W:pass', 'B:pass', 'W:dd'], ['resign', 'W', 0]], [['B:pass', 'W:qq', 'B:resign', 'W:pass', 'B:resign'], ['resign', 'W', 2]], [['B:dd', 'W:pass', 'B:pass', 'W:cc', 'B:cc'], ['score', None, 2]], [['B:dd', 'W:resign', 'B:dd', 'W:dd'], ['resign', 'B', 1]], [['W:qq', 'W:timeout', 'B:dd', 'W:pass', 'B:cc', 'W:qq'], ['time', 'B', 1]], [['B:dd'], ['playing', None, 1]], [['B:cc'], ['playing', None, 1]], [['B:cc', 'B:resign', 'B:qq', 'W:timeout', 'B:pass'], ['resign', 'W', 1]]], [[['W:cc', 'W:resign'], ['resign', 'B', 1]], [['B:dd', 'B:cc', 'B:cc', 'W:resign'], ['resign', 'B', 3]], [['W:pass', 'B:timeout', 'B:cc', 'W:dd'], ['time', 'W', 1]], [['B:timeout'], ['time', 'W', 0]], [['B:pass', 'W:pass', 'B:pass', 'W:resign', 'B:pass', 'W:dd'], ['score', None, 1]], [['W:timeout', 'W:cc', 'B:cc', 'W:pass', 'B:dd', 'W:qq'], ['time', 'B', 0]], [['B:pass', 'W:resign', 'W:pass'], ['resign', 'B', 1]], [['B:dd', 'W:cc', 'W:resign', 'W:timeout', 'W:pass'], ['resign', 'B', 2]]]]
for i, (args, expected) in enumerate(fixtures[N-1]):
    check("game end case %d" % i, solve(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
game end case 0	`['resign', 'W', 3]`	`['resign', 'B', 3]`	Failed
game end case 1	`['resign', 'B', 0]`	`['resign', 'W', 0]`	Failed
game end case 2	`['time', 'W', 0]`	`['time', 'W', 0]`	Passed
game end case 3	`['time', 'W', 0]`	`['time', 'W', 0]`	Passed
game end case 4	`['time', 'W', 0]`	`['time', 'W', 0]`	Passed
game end case 5	`['time', 'W', 0]`	`['time', 'W', 0]`	Passed
game end case 6	`['playing', None, 1]`	`['playing', None, 1]`	Passed
game end case 7	`['resign', 'W', 2]`	`['resign', 'B', 2]`	Failed

SHA-256 / 8d631f016a06903680a4427481aadfb567f0cc468668aedf049a800741c3de2c

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(x):
    moves = x
    prev_pass = None
    for idx, mv in enumerate(moves):
        who, _, act = mv.partition(':')
        other = 'W' if who == 'B' else 'B'
        if act == 'resign':
            return ['resign', 'W' if idx % 2 == 0 else 'B', idx]
        if act == 'timeout':
            return ['time', other, idx]
        if act == 'pass':
            if prev_pass is not None and prev_pass != who:
                return ['score', None, idx]
            prev_pass = who
        else:
            prev_pass = None
    return ['playing', None, len(moves)]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[['B:pass', 'W:qq', 'B:cc', 'W:resign', 'B:cc', 'B:pass'], ['resign', 'B', 3]], [['B:resign', 'W:pass', 'W:resign', 'B:resign', 'B:qq', 'W:cc'], ['resign', 'W', 0]], [['B:timeout', 'W:pass', 'B:cc', 'B:cc'], ['time', 'W', 0]], [['B:timeout', 'W:pass', 'W:pass', 'W:pass'], ['time', 'W', 0]], [['B:timeout', 'W:cc'], ['time', 'W', 0]], [['B:timeout', 'W:resign'], ['time', 'W', 0]], [['B:pass'], ['playing', None, 1]], [['B:dd', 'W:cc', 'W:resign', 'W:timeout', 'W:pass'], ['resign', 'B', 2]]], [[['B:resign', 'W:pass', 'W:resign', 'B:resign', 'B:qq', 'W:cc'], ['resign', 'W', 0]], [['W:cc', 'B:pass', 'B:dd', 'W:cc', 'B:resign'], ['resign', 'W', 4]], [['B:pass'], ['playing', None, 1]], [['B:resign'], ['resign', 'W', 0]], [['B:resign', 'B:cc', 'W:timeout', 'W:pass', 'B:cc'], ['resign', 'W', 0]], [['B:cc', 'W:pass', 'B:dd', 'B:resign'], ['resign', 'W', 3]], [[], ['playing', None, 0]], [['B:cc', 'B:resign', 'B:qq', 'W:timeout', 'B:pass'], ['resign', 'W', 1]]], [[['B:resign', 'B:cc', 'W:timeout', 'W:pass', 'B:cc'], ['resign', 'W', 0]], [['B:resign', 'W:pass'], ['resign', 'W', 0]], [['B:pass', 'W:cc', 'W:pass', 'B:cc'], ['playing', None, 4]], [['B:pass', 'W:qq'], ['playing', None, 2]], [['B:pass', 'B:dd', 'B:qq'], ['playing', None, 3]], [['W:pass'], ['playing', None, 1]], [['B:qq', 'W:cc', 'B:pass', 'B:cc'], ['playing', None, 4]], [['B:dd', 'W:cc', 'W:resign', 'W:timeout', 'W:pass'], ['resign', 'B', 2]]], [[['B:resign', 'W:pass', 'B:pass', 'W:dd'], ['resign', 'W', 0]], [['B:pass', 'W:qq', 'B:resign', 'W:pass', 'B:resign'], ['resign', 'W', 2]], [['B:dd', 'W:pass', 'B:pass', 'W:cc', 'B:cc'], ['score', None, 2]], [['B:dd', 'W:resign', 'B:dd', 'W:dd'], ['resign', 'B', 1]], [['W:qq', 'W:timeout', 'B:dd', 'W:pass', 'B:cc', 'W:qq'], ['time', 'B', 1]], [['B:dd'], ['playing', None, 1]], [['B:cc'], ['playing', None, 1]], [['B:cc', 'B:resign', 'B:qq', 'W:timeout', 'B:pass'], ['resign', 'W', 1]]], [[['W:cc', 'W:resign'], ['resign', 'B', 1]], [['B:dd', 'B:cc', 'B:cc', 'W:resign'], ['resign', 'B', 3]], [['W:pass', 'B:timeout', 'B:cc', 'W:dd'], ['time', 'W', 1]], [['B:timeout'], ['time', 'W', 0]], [['B:pass', 'W:pass', 'B:pass', 'W:resign', 'B:pass', 'W:dd'], ['score', None, 1]], [['W:timeout', 'W:cc', 'B:cc', 'W:pass', 'B:dd', 'W:qq'], ['time', 'B', 0]], [['B:pass', 'W:resign', 'W:pass'], ['resign', 'B', 1]], [['B:dd', 'W:cc', 'W:resign', 'W:timeout', 'W:pass'], ['resign', 'B', 2]]]]
for i, (args, expected) in enumerate(fixtures[N-1]):
    check("game end case %d" % i, solve(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
game end case 0	`['resign', 'B', 3]`	`['resign', 'B', 3]`	Passed
game end case 1	`['resign', 'W', 0]`	`['resign', 'W', 0]`	Passed
game end case 2	`['time', 'W', 0]`	`['time', 'W', 0]`	Passed
game end case 3	`['time', 'W', 0]`	`['time', 'W', 0]`	Passed
game end case 4	`['time', 'W', 0]`	`['time', 'W', 0]`	Passed
game end case 5	`['time', 'W', 0]`	`['time', 'W', 0]`	Passed
game end case 6	`['playing', None, 1]`	`['playing', None, 1]`	Passed
game end case 7	`['resign', 'W', 2]`	`['resign', 'B', 2]`	Failed

SHA-256 / f5b448216bbf14307486ca7e2b579ea06c4e155f37948526a8f338d9000cc977

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(x):
    moves = x
    prev_pass = None
    for idx, mv in enumerate(moves):
        who, _, act = mv.partition(':')
        other = 'W' if who == 'B' else 'B'
        if act == 'resign':
            return ['resign', other, idx]
        if act == 'timeout':
            return ['time', other, idx]
        if act == 'pass':
            if prev_pass is not None and prev_pass != who:
                return ['score', None, idx]
            prev_pass = who
        else:
            prev_pass = None
    return ['playing', None, len(moves)]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[['B:pass', 'W:qq', 'B:cc', 'W:resign', 'B:cc', 'B:pass'], ['resign', 'B', 3]], [['B:resign', 'W:pass', 'W:resign', 'B:resign', 'B:qq', 'W:cc'], ['resign', 'W', 0]], [['B:timeout', 'W:pass', 'B:cc', 'B:cc'], ['time', 'W', 0]], [['B:timeout', 'W:pass', 'W:pass', 'W:pass'], ['time', 'W', 0]], [['B:timeout', 'W:cc'], ['time', 'W', 0]], [['B:timeout', 'W:resign'], ['time', 'W', 0]], [['B:pass'], ['playing', None, 1]], [['B:dd', 'W:cc', 'W:resign', 'W:timeout', 'W:pass'], ['resign', 'B', 2]]], [[['B:resign', 'W:pass', 'W:resign', 'B:resign', 'B:qq', 'W:cc'], ['resign', 'W', 0]], [['W:cc', 'B:pass', 'B:dd', 'W:cc', 'B:resign'], ['resign', 'W', 4]], [['B:pass'], ['playing', None, 1]], [['B:resign'], ['resign', 'W', 0]], [['B:resign', 'B:cc', 'W:timeout', 'W:pass', 'B:cc'], ['resign', 'W', 0]], [['B:cc', 'W:pass', 'B:dd', 'B:resign'], ['resign', 'W', 3]], [[], ['playing', None, 0]], [['B:cc', 'B:resign', 'B:qq', 'W:timeout', 'B:pass'], ['resign', 'W', 1]]], [[['B:resign', 'B:cc', 'W:timeout', 'W:pass', 'B:cc'], ['resign', 'W', 0]], [['B:resign', 'W:pass'], ['resign', 'W', 0]], [['B:pass', 'W:cc', 'W:pass', 'B:cc'], ['playing', None, 4]], [['B:pass', 'W:qq'], ['playing', None, 2]], [['B:pass', 'B:dd', 'B:qq'], ['playing', None, 3]], [['W:pass'], ['playing', None, 1]], [['B:qq', 'W:cc', 'B:pass', 'B:cc'], ['playing', None, 4]], [['B:dd', 'W:cc', 'W:resign', 'W:timeout', 'W:pass'], ['resign', 'B', 2]]], [[['B:resign', 'W:pass', 'B:pass', 'W:dd'], ['resign', 'W', 0]], [['B:pass', 'W:qq', 'B:resign', 'W:pass', 'B:resign'], ['resign', 'W', 2]], [['B:dd', 'W:pass', 'B:pass', 'W:cc', 'B:cc'], ['score', None, 2]], [['B:dd', 'W:resign', 'B:dd', 'W:dd'], ['resign', 'B', 1]], [['W:qq', 'W:timeout', 'B:dd', 'W:pass', 'B:cc', 'W:qq'], ['time', 'B', 1]], [['B:dd'], ['playing', None, 1]], [['B:cc'], ['playing', None, 1]], [['B:cc', 'B:resign', 'B:qq', 'W:timeout', 'B:pass'], ['resign', 'W', 1]]], [[['W:cc', 'W:resign'], ['resign', 'B', 1]], [['B:dd', 'B:cc', 'B:cc', 'W:resign'], ['resign', 'B', 3]], [['W:pass', 'B:timeout', 'B:cc', 'W:dd'], ['time', 'W', 1]], [['B:timeout'], ['time', 'W', 0]], [['B:pass', 'W:pass', 'B:pass', 'W:resign', 'B:pass', 'W:dd'], ['score', None, 1]], [['W:timeout', 'W:cc', 'B:cc', 'W:pass', 'B:dd', 'W:qq'], ['time', 'B', 0]], [['B:pass', 'W:resign', 'W:pass'], ['resign', 'B', 1]], [['B:dd', 'W:cc', 'W:resign', 'W:timeout', 'W:pass'], ['resign', 'B', 2]]]]
for i, (args, expected) in enumerate(fixtures[N-1]):
    check("game end case %d" % i, solve(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
game end case 0	`['resign', 'B', 3]`	`['resign', 'B', 3]`	Passed
game end case 1	`['resign', 'W', 0]`	`['resign', 'W', 0]`	Passed
game end case 2	`['time', 'W', 0]`	`['time', 'W', 0]`	Passed
game end case 3	`['time', 'W', 0]`	`['time', 'W', 0]`	Passed
game end case 4	`['time', 'W', 0]`	`['time', 'W', 0]`	Passed
game end case 5	`['time', 'W', 0]`	`['time', 'W', 0]`	Passed
game end case 6	`['playing', None, 1]`	`['playing', None, 1]`	Passed
game end case 7	`['resign', 'B', 2]`	`['resign', 'B', 2]`	Passed

SHA-256 / 8f52d82b775a42f40307a21433ed4947fa97f7110a34aee85bfa4f8bb2703fd9

Verification & scope

Small rectangular toy boards given as strings of B, W and dot; a bounded teaching model of one scoring or bookkeeping rule, not a complete rules engine or server implementation. 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:19.700082+00:00.

Case digest / 9091ff35ae42a4e056182a1a5068f260689239de57819b03a4bc2792fa4c1465