FAILURE MAP
← Case archive

FA-83086 / Go territory scoring / Open access

Atari report order depends on scan order · case 01

Reports are emitted in row-major discovery order instead of sorted order.

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

ROOT CAUSE

The final sort is missing.

VERIFIED REPAIR

Sort the reported rows.

Unsuccessful approach: Sorting only by colour keeps the scan order inside each colour.

Case contract

Input a board. Report every chain with exactly one distinct liberty as [colour, lib_row, lib_col, chain_size], sorted ascending.

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):
    board = x
    n = len(board)
    m = len(board[0])
    seen = set()
    out = []
    for r in range(n):
        for c in range(m):
            col = board[r][c]
            if col == '.' or (r, c) in seen:
                continue
            seen.add((r, c))
            stack = [(r, c)]
            size = 0
            libs = set()
            while stack:
                i, j = stack.pop()
                size += 1
                for p, q in ((i, j - 1), (i - 1, j), (i, j + 1), (i + 1, j)):
                    if 0 <= p < n and 0 <= q < m:
                        if board[p][q] == '.':
                            libs.add((p, q))
                        elif board[p][q] == col and (p, q) not in seen:
                            seen.add((p, q))
                            stack.append((p, q))
            if len(libs) == 1:
                p, q = min(libs)
                out.append([col, p, q, size])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[['W....', '.....', '.....', '.....', '....B'], []], [['.W.B.', 'W.WB.', '.WB..', 'WB...', 'B....'], [['B', 4, 1, 1], ['W', 2, 0, 1]]], [['BBBB', 'B..B', 'B..B', 'BBBB'], []], [['WWW', 'W.W', 'WWW'], [['W', 1, 1, 8]]], [['B.W', '...', 'W.B'], []], [['.B...', 'B....', '.....', '....W', '...W.'], []], [['BW.', 'BW.', 'BW.'], []], [['BWB.', '..W.', 'B...'], [['B', 0, 3, 1], ['B', 1, 0, 1], ['W', 1, 1, 1]]]], [[['.....', '.BBB.', '.B.B.', '.BBB.', '.....'], []], [['WB.B', 'B.B.', '.B..', 'B...'], []], [['..W', '.W.', 'W..'], []], [['B....B', '......', '..WW..', '..WW..', '......', 'B....B'], []], [['B.WW', 'W..W', 'BWWW', 'BWW.'], [['B', 0, 1, 1], ['W', 1, 1, 1]]], [['WW.B', '..B.', '....', '..WW'], []], [['WBW.', '..BB', '.WBB'], [['B', 1, 1, 1], ['W', 0, 3, 1], ['W', 1, 0, 1]]], [['BBWBB', 'WWB.W', 'B.BWB', 'W.BB.'], [['B', 1, 3, 2], ['B', 2, 1, 1], ['B', 3, 4, 1], ['W', 1, 3, 1], ['W', 1, 3, 1], ['W', 2, 1, 2], ['W', 3, 1, 1]]]], [[['BBWW.', 'W....', '.WW..'], [['B', 1, 1, 2]]], [['B..BB', 'W.B..', '.W.BB'], [['B', 0, 1, 1]]], [['WW..', '.BWB', '...B', 'WBW.'], [['B', 2, 1, 1], ['W', 2, 0, 1]]], [['...', '...', '..B'], []], [['.....', '.....', 'W....', '.....'], []], [['.B..', '....', 'BW.W', '....', 'W..W'], []], [['WBW.', '..BB', '.WBB'], [['B', 1, 1, 1], ['W', 0, 3, 1], ['W', 1, 0, 1]]], [['.WBB.', 'W..BW', 'B.B.B'], [['B', 2, 1, 1], ['B', 2, 3, 1], ['W', 0, 4, 1]]]], [[['WWBB', '.W..', 'WBBB', 'WW.B', 'WBWB'], [['W', 3, 2, 1]]], [['W.B', 'WWW', 'W.W', '.WB', 'WBW'], [['B', 0, 1, 1], ['W', 3, 0, 1]]], [['BBB.', 'W...', 'B.WB', 'WWW.', '.B..'], [['B', 2, 1, 1], ['W', 1, 1, 1]]], [['..WB', '.B.B', '..B.'], []], [['.B.', '..B', 'BB.', 'B.W'], []], [['...', '..B', '...'], []], [['BW.', 'BB.', 'WWB'], [['B', 1, 2, 1], ['B', 1, 2, 3], ['W', 0, 2, 1]]], [['..W', 'WWB', '...', '...', 'W..'], [['B', 2, 2, 1], ['W', 0, 1, 1]]]], [[['B.B', '..B', '.BB', '.B.', '..B'], []], [['WBW.', '..BB', '.WBB'], [['B', 1, 1, 1], ['W', 0, 3, 1], ['W', 1, 0, 1]]], [['.WW..', '..BW.', '.....'], []], [['BW..', '....', '...B', '.W..'], [['B', 1, 0, 1]]], [['.BBWW', 'WW.W.', 'BB.WW', 'B.W..', '.W.BW'], [['W', 3, 4, 1]]], [['BW.', 'BB.', 'WWB'], [['B', 1, 2, 1], ['B', 1, 2, 3], ['W', 0, 2, 1]]], [['BWB.', '..W.', 'B...'], [['B', 0, 3, 1], ['B', 1, 0, 1], ['W', 1, 1, 1]]], [['B.WB', 'WW.W', 'WWBB', 'WB..'], [['B', 0, 1, 1], ['B', 3, 2, 1], ['W', 1, 2, 1]]]]]
for i, (args, expected) in enumerate(fixtures[N-1]):
    check("atari 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 fixtureActualExpectedOutcome
atari case 0[][]Passed
atari case 1[['W', 2, 0, 1], ['B', 4, 1, 1]][['B', 4, 1, 1], ['W', 2, 0, 1]]Failed
atari case 2[][]Passed
atari case 3[['W', 1, 1, 8]][['W', 1, 1, 8]]Passed
atari case 4[][]Passed
atari case 5[][]Passed
atari case 6[][]Passed
atari case 7[['B', 1, 0, 1], ['W', 1, 1, 1], ['B', 0, 3, 1]][['B', 0, 3, 1], ['B', 1, 0, 1], ['W', 1, 1, 1]]Failed

SHA-256 / 4a4913bad6963278cc45b688e3cf502ead339bfc0a7b563de6bfba9f819f3859

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(x):
    board = x
    n = len(board)
    m = len(board[0])
    seen = set()
    out = []
    for r in range(n):
        for c in range(m):
            col = board[r][c]
            if col == '.' or (r, c) in seen:
                continue
            seen.add((r, c))
            stack = [(r, c)]
            size = 0
            libs = set()
            while stack:
                i, j = stack.pop()
                size += 1
                for p, q in ((i, j - 1), (i - 1, j), (i, j + 1), (i + 1, j)):
                    if 0 <= p < n and 0 <= q < m:
                        if board[p][q] == '.':
                            libs.add((p, q))
                        elif board[p][q] == col and (p, q) not in seen:
                            seen.add((p, q))
                            stack.append((p, q))
            if len(libs) == 1:
                p, q = min(libs)
                out.append([col, p, q, size])
    out.sort(key=lambda g: g[0])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[['W....', '.....', '.....', '.....', '....B'], []], [['.W.B.', 'W.WB.', '.WB..', 'WB...', 'B....'], [['B', 4, 1, 1], ['W', 2, 0, 1]]], [['BBBB', 'B..B', 'B..B', 'BBBB'], []], [['WWW', 'W.W', 'WWW'], [['W', 1, 1, 8]]], [['B.W', '...', 'W.B'], []], [['.B...', 'B....', '.....', '....W', '...W.'], []], [['BW.', 'BW.', 'BW.'], []], [['BWB.', '..W.', 'B...'], [['B', 0, 3, 1], ['B', 1, 0, 1], ['W', 1, 1, 1]]]], [[['.....', '.BBB.', '.B.B.', '.BBB.', '.....'], []], [['WB.B', 'B.B.', '.B..', 'B...'], []], [['..W', '.W.', 'W..'], []], [['B....B', '......', '..WW..', '..WW..', '......', 'B....B'], []], [['B.WW', 'W..W', 'BWWW', 'BWW.'], [['B', 0, 1, 1], ['W', 1, 1, 1]]], [['WW.B', '..B.', '....', '..WW'], []], [['WBW.', '..BB', '.WBB'], [['B', 1, 1, 1], ['W', 0, 3, 1], ['W', 1, 0, 1]]], [['BBWBB', 'WWB.W', 'B.BWB', 'W.BB.'], [['B', 1, 3, 2], ['B', 2, 1, 1], ['B', 3, 4, 1], ['W', 1, 3, 1], ['W', 1, 3, 1], ['W', 2, 1, 2], ['W', 3, 1, 1]]]], [[['BBWW.', 'W....', '.WW..'], [['B', 1, 1, 2]]], [['B..BB', 'W.B..', '.W.BB'], [['B', 0, 1, 1]]], [['WW..', '.BWB', '...B', 'WBW.'], [['B', 2, 1, 1], ['W', 2, 0, 1]]], [['...', '...', '..B'], []], [['.....', '.....', 'W....', '.....'], []], [['.B..', '....', 'BW.W', '....', 'W..W'], []], [['WBW.', '..BB', '.WBB'], [['B', 1, 1, 1], ['W', 0, 3, 1], ['W', 1, 0, 1]]], [['.WBB.', 'W..BW', 'B.B.B'], [['B', 2, 1, 1], ['B', 2, 3, 1], ['W', 0, 4, 1]]]], [[['WWBB', '.W..', 'WBBB', 'WW.B', 'WBWB'], [['W', 3, 2, 1]]], [['W.B', 'WWW', 'W.W', '.WB', 'WBW'], [['B', 0, 1, 1], ['W', 3, 0, 1]]], [['BBB.', 'W...', 'B.WB', 'WWW.', '.B..'], [['B', 2, 1, 1], ['W', 1, 1, 1]]], [['..WB', '.B.B', '..B.'], []], [['.B.', '..B', 'BB.', 'B.W'], []], [['...', '..B', '...'], []], [['BW.', 'BB.', 'WWB'], [['B', 1, 2, 1], ['B', 1, 2, 3], ['W', 0, 2, 1]]], [['..W', 'WWB', '...', '...', 'W..'], [['B', 2, 2, 1], ['W', 0, 1, 1]]]], [[['B.B', '..B', '.BB', '.B.', '..B'], []], [['WBW.', '..BB', '.WBB'], [['B', 1, 1, 1], ['W', 0, 3, 1], ['W', 1, 0, 1]]], [['.WW..', '..BW.', '.....'], []], [['BW..', '....', '...B', '.W..'], [['B', 1, 0, 1]]], [['.BBWW', 'WW.W.', 'BB.WW', 'B.W..', '.W.BW'], [['W', 3, 4, 1]]], [['BW.', 'BB.', 'WWB'], [['B', 1, 2, 1], ['B', 1, 2, 3], ['W', 0, 2, 1]]], [['BWB.', '..W.', 'B...'], [['B', 0, 3, 1], ['B', 1, 0, 1], ['W', 1, 1, 1]]], [['B.WB', 'WW.W', 'WWBB', 'WB..'], [['B', 0, 1, 1], ['B', 3, 2, 1], ['W', 1, 2, 1]]]]]
for i, (args, expected) in enumerate(fixtures[N-1]):
    check("atari 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 fixtureActualExpectedOutcome
atari case 0[][]Passed
atari case 1[['B', 4, 1, 1], ['W', 2, 0, 1]][['B', 4, 1, 1], ['W', 2, 0, 1]]Passed
atari case 2[][]Passed
atari case 3[['W', 1, 1, 8]][['W', 1, 1, 8]]Passed
atari case 4[][]Passed
atari case 5[][]Passed
atari case 6[][]Passed
atari case 7[['B', 1, 0, 1], ['B', 0, 3, 1], ['W', 1, 1, 1]][['B', 0, 3, 1], ['B', 1, 0, 1], ['W', 1, 1, 1]]Failed

SHA-256 / 43c580ba9ea4056543695c701f74e77206fb7af1dc1fc1f6df7c34a2850c749d

3 / The verified repair

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

N = 1
observations = []
def solve(x):
    board = x
    n = len(board)
    m = len(board[0])
    seen = set()
    out = []
    for r in range(n):
        for c in range(m):
            col = board[r][c]
            if col == '.' or (r, c) in seen:
                continue
            seen.add((r, c))
            stack = [(r, c)]
            size = 0
            libs = set()
            while stack:
                i, j = stack.pop()
                size += 1
                for p, q in ((i, j - 1), (i - 1, j), (i, j + 1), (i + 1, j)):
                    if 0 <= p < n and 0 <= q < m:
                        if board[p][q] == '.':
                            libs.add((p, q))
                        elif board[p][q] == col and (p, q) not in seen:
                            seen.add((p, q))
                            stack.append((p, q))
            if len(libs) == 1:
                p, q = min(libs)
                out.append([col, p, q, size])
    out.sort()
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[['W....', '.....', '.....', '.....', '....B'], []], [['.W.B.', 'W.WB.', '.WB..', 'WB...', 'B....'], [['B', 4, 1, 1], ['W', 2, 0, 1]]], [['BBBB', 'B..B', 'B..B', 'BBBB'], []], [['WWW', 'W.W', 'WWW'], [['W', 1, 1, 8]]], [['B.W', '...', 'W.B'], []], [['.B...', 'B....', '.....', '....W', '...W.'], []], [['BW.', 'BW.', 'BW.'], []], [['BWB.', '..W.', 'B...'], [['B', 0, 3, 1], ['B', 1, 0, 1], ['W', 1, 1, 1]]]], [[['.....', '.BBB.', '.B.B.', '.BBB.', '.....'], []], [['WB.B', 'B.B.', '.B..', 'B...'], []], [['..W', '.W.', 'W..'], []], [['B....B', '......', '..WW..', '..WW..', '......', 'B....B'], []], [['B.WW', 'W..W', 'BWWW', 'BWW.'], [['B', 0, 1, 1], ['W', 1, 1, 1]]], [['WW.B', '..B.', '....', '..WW'], []], [['WBW.', '..BB', '.WBB'], [['B', 1, 1, 1], ['W', 0, 3, 1], ['W', 1, 0, 1]]], [['BBWBB', 'WWB.W', 'B.BWB', 'W.BB.'], [['B', 1, 3, 2], ['B', 2, 1, 1], ['B', 3, 4, 1], ['W', 1, 3, 1], ['W', 1, 3, 1], ['W', 2, 1, 2], ['W', 3, 1, 1]]]], [[['BBWW.', 'W....', '.WW..'], [['B', 1, 1, 2]]], [['B..BB', 'W.B..', '.W.BB'], [['B', 0, 1, 1]]], [['WW..', '.BWB', '...B', 'WBW.'], [['B', 2, 1, 1], ['W', 2, 0, 1]]], [['...', '...', '..B'], []], [['.....', '.....', 'W....', '.....'], []], [['.B..', '....', 'BW.W', '....', 'W..W'], []], [['WBW.', '..BB', '.WBB'], [['B', 1, 1, 1], ['W', 0, 3, 1], ['W', 1, 0, 1]]], [['.WBB.', 'W..BW', 'B.B.B'], [['B', 2, 1, 1], ['B', 2, 3, 1], ['W', 0, 4, 1]]]], [[['WWBB', '.W..', 'WBBB', 'WW.B', 'WBWB'], [['W', 3, 2, 1]]], [['W.B', 'WWW', 'W.W', '.WB', 'WBW'], [['B', 0, 1, 1], ['W', 3, 0, 1]]], [['BBB.', 'W...', 'B.WB', 'WWW.', '.B..'], [['B', 2, 1, 1], ['W', 1, 1, 1]]], [['..WB', '.B.B', '..B.'], []], [['.B.', '..B', 'BB.', 'B.W'], []], [['...', '..B', '...'], []], [['BW.', 'BB.', 'WWB'], [['B', 1, 2, 1], ['B', 1, 2, 3], ['W', 0, 2, 1]]], [['..W', 'WWB', '...', '...', 'W..'], [['B', 2, 2, 1], ['W', 0, 1, 1]]]], [[['B.B', '..B', '.BB', '.B.', '..B'], []], [['WBW.', '..BB', '.WBB'], [['B', 1, 1, 1], ['W', 0, 3, 1], ['W', 1, 0, 1]]], [['.WW..', '..BW.', '.....'], []], [['BW..', '....', '...B', '.W..'], [['B', 1, 0, 1]]], [['.BBWW', 'WW.W.', 'BB.WW', 'B.W..', '.W.BW'], [['W', 3, 4, 1]]], [['BW.', 'BB.', 'WWB'], [['B', 1, 2, 1], ['B', 1, 2, 3], ['W', 0, 2, 1]]], [['BWB.', '..W.', 'B...'], [['B', 0, 3, 1], ['B', 1, 0, 1], ['W', 1, 1, 1]]], [['B.WB', 'WW.W', 'WWBB', 'WB..'], [['B', 0, 1, 1], ['B', 3, 2, 1], ['W', 1, 2, 1]]]]]
for i, (args, expected) in enumerate(fixtures[N-1]):
    check("atari 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 fixtureActualExpectedOutcome
atari case 0[][]Passed
atari case 1[['B', 4, 1, 1], ['W', 2, 0, 1]][['B', 4, 1, 1], ['W', 2, 0, 1]]Passed
atari case 2[][]Passed
atari case 3[['W', 1, 1, 8]][['W', 1, 1, 8]]Passed
atari case 4[][]Passed
atari case 5[][]Passed
atari case 6[][]Passed
atari case 7[['B', 0, 3, 1], ['B', 1, 0, 1], ['W', 1, 1, 1]][['B', 0, 3, 1], ['B', 1, 0, 1], ['W', 1, 1, 1]]Passed

SHA-256 / efe8f6b0ae73a69ec401e1f058ddf229e70c308837bb5da55e6f00a2ee89d4c6

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

Case digest / 936b4accea177e2ebd6d09f28b4dbd642de93ec0daf21fb784e9894123a1cf56