FA-83291 / Go territory scoring / Open access

Only stones proposed by black are reported as disputed · case 01

Stones only white marked are omitted from the dispute list.

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

ROOT CAUSE

The dispute uses a one-sided set difference.

VERIFIED REPAIR

Report the symmetric difference.

Unsuccessful approach: Reporting the union lists agreed stones as disputed.

Case contract

Input [black_proposal, white_proposal] as lists of points (any order, duplicates allowed). Equal point sets -> ["agree", sorted points]; otherwise ["dispute", sorted symmetric difference].

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):
    pb, pw = x
    sb = {tuple(p) for p in pb}
    sw = {tuple(p) for p in pw}
    if sb == sw:
        return ['agree', sorted(list(p) for p in sb)]
    return ['dispute', sorted(list(p) for p in sb - sw)]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[[[], [[3, 1], [3, 1]]], ['dispute', [[3, 1]]]], [[[], []], ['agree', []]], [[[], [[0, 3]]], ['dispute', [[0, 3]]]], [[[[2, 2], [0, 0], [3, 3]], [[0, 0], [3, 3], [2, 2]]], ['agree', [[0, 0], [2, 2], [3, 3]]]], [[[[2, 3], [1, 1], [3, 3], [2, 2]], [[2, 3], [1, 1], [3, 3], [2, 2], [2, 3]]], ['agree', [[1, 1], [2, 2], [2, 3], [3, 3]]]], [[[[1, 3], [3, 1], [1, 3], [1, 1]], [[2, 3], [2, 0], [1, 2]]], ['dispute', [[1, 1], [1, 2], [1, 3], [2, 0], [2, 3], [3, 1]]]], [[[[3, 0]], [[3, 0]]], ['agree', [[3, 0]]]], [[[[0, 2], [1, 1]], [[0, 2], [2, 1]]], ['dispute', [[1, 1], [2, 1]]]]], [[[[], []], ['agree', []]], [[[[3, 2], [3, 2], [3, 3], [1, 0]], [[3, 2], [0, 1]]], ['dispute', [[0, 1], [1, 0], [3, 3]]]], [[[[3, 3], [1, 3], [0, 3], [0, 0]], [[3, 3], [1, 3], [0, 3], [0, 0]]], ['agree', [[0, 0], [0, 3], [1, 3], [3, 3]]]], [[[[3, 2], [3, 3]], []], ['dispute', [[3, 2], [3, 3]]]], [[[[2, 2], [1, 3], [2, 2], [0, 0]], [[1, 0], [2, 1], [2, 2]]], ['dispute', [[0, 0], [1, 0], [1, 3], [2, 1]]]], [[[[2, 1], [0, 3]], [[0, 3], [2, 1]]], ['agree', [[0, 3], [2, 1]]]], [[[[2, 1], [2, 3], [0, 2], [3, 1]], [[2, 1], [2, 3], [0, 2], [3, 1], [2, 1]]], ['agree', [[0, 2], [2, 1], [2, 3], [3, 1]]]], [[[[1, 1], [2, 3], [2, 3], [0, 0]], [[1, 1]]], ['dispute', [[0, 0], [2, 3]]]]], [[[[[2, 3], [1, 1], [0, 1]], [[2, 2], [2, 0], [3, 0]]], ['dispute', [[0, 1], [1, 1], [2, 0], [2, 2], [2, 3], [3, 0]]]], [[[[0, 2], [1, 3], [1, 1], [2, 1]], [[1, 1]]], ['dispute', [[0, 2], [1, 3], [2, 1]]]], [[[], []], ['agree', []]], [[[[3, 0]], [[3, 0], [3, 0]]], ['agree', [[3, 0]]]], [[[[1, 0], [0, 1]], [[1, 3]]], ['dispute', [[0, 1], [1, 0], [1, 3]]]], [[[[1, 1], [3, 0]], [[1, 1], [3, 0]]], ['agree', [[1, 1], [3, 0]]]], [[[], []], ['agree', []]], [[[[2, 0], [2, 3], [0, 2], [0, 0]], [[1, 1], [0, 1], [3, 0], [2, 0]]], ['dispute', [[0, 0], [0, 1], [0, 2], [1, 1], [2, 3], [3, 0]]]]], [[[[], []], ['agree', []]], [[[], [[3, 2], [2, 3], [1, 3]]], ['dispute', [[1, 3], [2, 3], [3, 2]]]], [[[[0, 2], [2, 1], [1, 0]], []], ['dispute', [[0, 2], [1, 0], [2, 1]]]], [[[], [[1, 0], [0, 0]]], ['dispute', [[0, 0], [1, 0]]]], [[[], [[3, 3], [0, 2]]], ['dispute', [[0, 2], [3, 3]]]], [[[[3, 0]], [[3, 0], [3, 0]]], ['agree', [[3, 0]]]], [[[[1, 1], [1, 3]], [[1, 1], [1, 3]]], ['agree', [[1, 1], [1, 3]]]], [[[[3, 3], [3, 1], [0, 2], [2, 0]], [[2, 2], [0, 1], [3, 3]]], ['dispute', [[0, 1], [0, 2], [2, 0], [2, 2], [3, 1]]]]], [[[[[3, 3], [3, 1], [0, 2], [2, 0]], [[2, 2], [0, 1], [3, 3]]], ['dispute', [[0, 1], [0, 2], [2, 0], [2, 2], [3, 1]]]], [[[[0, 2], [0, 1]], [[2, 0]]], ['dispute', [[0, 1], [0, 2], [2, 0]]]], [[[[0, 0], [3, 2]], [[3, 2], [0, 0], [0, 0]]], ['agree', [[0, 0], [3, 2]]]], [[[], []], ['agree', []]], [[[[1, 1], [3, 3], [0, 2]], [[3, 3], [0, 2], [1, 1]]], ['agree', [[0, 2], [1, 1], [3, 3]]]], [[[[0, 1]], [[0, 1]]], ['agree', [[0, 1]]]], [[[[2, 3], [2, 0], [2, 2]], [[2, 3], [1, 3], [1, 1], [2, 3]]], ['dispute', [[1, 1], [1, 3], [2, 0], [2, 2]]]], [[[[1, 1]], [[2, 2], [1, 2], [2, 1], [1, 1]]], ['dispute', [[1, 2], [2, 1], [2, 2]]]]]]
for i, (args, expected) in enumerate(fixtures[N-1]):
    check("agreement 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
agreement case 0	`['dispute', []]`	`['dispute', [[3, 1]]]`	Failed
agreement case 1	`['agree', []]`	`['agree', []]`	Passed
agreement case 2	`['dispute', []]`	`['dispute', [[0, 3]]]`	Failed
agreement case 3	`['agree', [[0, 0], [2, 2], [3, 3]]]`	`['agree', [[0, 0], [2, 2], [3, 3]]]`	Passed
agreement case 4	`['agree', [[1, 1], [2, 2], [2, 3], [3, 3]]]`	`['agree', [[1, 1], [2, 2], [2, 3], [3, 3]]]`	Passed
agreement case 5	`['dispute', [[1, 1], [1, 3], [3, 1]]]`	`['dispute', [[1, 1], [1, 2], [1, 3], [2, 0], [2, 3], [3, 1]]]`	Failed
agreement case 6	`['agree', [[3, 0]]]`	`['agree', [[3, 0]]]`	Passed
agreement case 7	`['dispute', [[1, 1]]]`	`['dispute', [[1, 1], [2, 1]]]`	Failed

SHA-256 / 110455d2a97d479daef559e2174d992207b992bea1d0d64d16f5f55e5d11ec02

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(x):
    pb, pw = x
    sb = {tuple(p) for p in pb}
    sw = {tuple(p) for p in pw}
    if sb == sw:
        return ['agree', sorted(list(p) for p in sb)]
    return ['dispute', sorted(list(p) for p in sb | sw)]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[[[], [[3, 1], [3, 1]]], ['dispute', [[3, 1]]]], [[[], []], ['agree', []]], [[[], [[0, 3]]], ['dispute', [[0, 3]]]], [[[[2, 2], [0, 0], [3, 3]], [[0, 0], [3, 3], [2, 2]]], ['agree', [[0, 0], [2, 2], [3, 3]]]], [[[[2, 3], [1, 1], [3, 3], [2, 2]], [[2, 3], [1, 1], [3, 3], [2, 2], [2, 3]]], ['agree', [[1, 1], [2, 2], [2, 3], [3, 3]]]], [[[[1, 3], [3, 1], [1, 3], [1, 1]], [[2, 3], [2, 0], [1, 2]]], ['dispute', [[1, 1], [1, 2], [1, 3], [2, 0], [2, 3], [3, 1]]]], [[[[3, 0]], [[3, 0]]], ['agree', [[3, 0]]]], [[[[0, 2], [1, 1]], [[0, 2], [2, 1]]], ['dispute', [[1, 1], [2, 1]]]]], [[[[], []], ['agree', []]], [[[[3, 2], [3, 2], [3, 3], [1, 0]], [[3, 2], [0, 1]]], ['dispute', [[0, 1], [1, 0], [3, 3]]]], [[[[3, 3], [1, 3], [0, 3], [0, 0]], [[3, 3], [1, 3], [0, 3], [0, 0]]], ['agree', [[0, 0], [0, 3], [1, 3], [3, 3]]]], [[[[3, 2], [3, 3]], []], ['dispute', [[3, 2], [3, 3]]]], [[[[2, 2], [1, 3], [2, 2], [0, 0]], [[1, 0], [2, 1], [2, 2]]], ['dispute', [[0, 0], [1, 0], [1, 3], [2, 1]]]], [[[[2, 1], [0, 3]], [[0, 3], [2, 1]]], ['agree', [[0, 3], [2, 1]]]], [[[[2, 1], [2, 3], [0, 2], [3, 1]], [[2, 1], [2, 3], [0, 2], [3, 1], [2, 1]]], ['agree', [[0, 2], [2, 1], [2, 3], [3, 1]]]], [[[[1, 1], [2, 3], [2, 3], [0, 0]], [[1, 1]]], ['dispute', [[0, 0], [2, 3]]]]], [[[[[2, 3], [1, 1], [0, 1]], [[2, 2], [2, 0], [3, 0]]], ['dispute', [[0, 1], [1, 1], [2, 0], [2, 2], [2, 3], [3, 0]]]], [[[[0, 2], [1, 3], [1, 1], [2, 1]], [[1, 1]]], ['dispute', [[0, 2], [1, 3], [2, 1]]]], [[[], []], ['agree', []]], [[[[3, 0]], [[3, 0], [3, 0]]], ['agree', [[3, 0]]]], [[[[1, 0], [0, 1]], [[1, 3]]], ['dispute', [[0, 1], [1, 0], [1, 3]]]], [[[[1, 1], [3, 0]], [[1, 1], [3, 0]]], ['agree', [[1, 1], [3, 0]]]], [[[], []], ['agree', []]], [[[[2, 0], [2, 3], [0, 2], [0, 0]], [[1, 1], [0, 1], [3, 0], [2, 0]]], ['dispute', [[0, 0], [0, 1], [0, 2], [1, 1], [2, 3], [3, 0]]]]], [[[[], []], ['agree', []]], [[[], [[3, 2], [2, 3], [1, 3]]], ['dispute', [[1, 3], [2, 3], [3, 2]]]], [[[[0, 2], [2, 1], [1, 0]], []], ['dispute', [[0, 2], [1, 0], [2, 1]]]], [[[], [[1, 0], [0, 0]]], ['dispute', [[0, 0], [1, 0]]]], [[[], [[3, 3], [0, 2]]], ['dispute', [[0, 2], [3, 3]]]], [[[[3, 0]], [[3, 0], [3, 0]]], ['agree', [[3, 0]]]], [[[[1, 1], [1, 3]], [[1, 1], [1, 3]]], ['agree', [[1, 1], [1, 3]]]], [[[[3, 3], [3, 1], [0, 2], [2, 0]], [[2, 2], [0, 1], [3, 3]]], ['dispute', [[0, 1], [0, 2], [2, 0], [2, 2], [3, 1]]]]], [[[[[3, 3], [3, 1], [0, 2], [2, 0]], [[2, 2], [0, 1], [3, 3]]], ['dispute', [[0, 1], [0, 2], [2, 0], [2, 2], [3, 1]]]], [[[[0, 2], [0, 1]], [[2, 0]]], ['dispute', [[0, 1], [0, 2], [2, 0]]]], [[[[0, 0], [3, 2]], [[3, 2], [0, 0], [0, 0]]], ['agree', [[0, 0], [3, 2]]]], [[[], []], ['agree', []]], [[[[1, 1], [3, 3], [0, 2]], [[3, 3], [0, 2], [1, 1]]], ['agree', [[0, 2], [1, 1], [3, 3]]]], [[[[0, 1]], [[0, 1]]], ['agree', [[0, 1]]]], [[[[2, 3], [2, 0], [2, 2]], [[2, 3], [1, 3], [1, 1], [2, 3]]], ['dispute', [[1, 1], [1, 3], [2, 0], [2, 2]]]], [[[[1, 1]], [[2, 2], [1, 2], [2, 1], [1, 1]]], ['dispute', [[1, 2], [2, 1], [2, 2]]]]]]
for i, (args, expected) in enumerate(fixtures[N-1]):
    check("agreement 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
agreement case 0	`['dispute', [[3, 1]]]`	`['dispute', [[3, 1]]]`	Passed
agreement case 1	`['agree', []]`	`['agree', []]`	Passed
agreement case 2	`['dispute', [[0, 3]]]`	`['dispute', [[0, 3]]]`	Passed
agreement case 3	`['agree', [[0, 0], [2, 2], [3, 3]]]`	`['agree', [[0, 0], [2, 2], [3, 3]]]`	Passed
agreement case 4	`['agree', [[1, 1], [2, 2], [2, 3], [3, 3]]]`	`['agree', [[1, 1], [2, 2], [2, 3], [3, 3]]]`	Passed
agreement case 5	`['dispute', [[1, 1], [1, 2], [1, 3], [2, 0], [2, 3], [3, 1]]]`	`['dispute', [[1, 1], [1, 2], [1, 3], [2, 0], [2, 3], [3, 1]]]`	Passed
agreement case 6	`['agree', [[3, 0]]]`	`['agree', [[3, 0]]]`	Passed
agreement case 7	`['dispute', [[0, 2], [1, 1], [2, 1]]]`	`['dispute', [[1, 1], [2, 1]]]`	Failed

SHA-256 / a02aa721b2fbf6e7cdcc0cdf1d20a924a50f7c968e2f68f64389a55d963d2338

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(x):
    pb, pw = x
    sb = {tuple(p) for p in pb}
    sw = {tuple(p) for p in pw}
    if sb == sw:
        return ['agree', sorted(list(p) for p in sb)]
    return ['dispute', sorted(list(p) for p in sb ^ sw)]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[[[[], [[3, 1], [3, 1]]], ['dispute', [[3, 1]]]], [[[], []], ['agree', []]], [[[], [[0, 3]]], ['dispute', [[0, 3]]]], [[[[2, 2], [0, 0], [3, 3]], [[0, 0], [3, 3], [2, 2]]], ['agree', [[0, 0], [2, 2], [3, 3]]]], [[[[2, 3], [1, 1], [3, 3], [2, 2]], [[2, 3], [1, 1], [3, 3], [2, 2], [2, 3]]], ['agree', [[1, 1], [2, 2], [2, 3], [3, 3]]]], [[[[1, 3], [3, 1], [1, 3], [1, 1]], [[2, 3], [2, 0], [1, 2]]], ['dispute', [[1, 1], [1, 2], [1, 3], [2, 0], [2, 3], [3, 1]]]], [[[[3, 0]], [[3, 0]]], ['agree', [[3, 0]]]], [[[[0, 2], [1, 1]], [[0, 2], [2, 1]]], ['dispute', [[1, 1], [2, 1]]]]], [[[[], []], ['agree', []]], [[[[3, 2], [3, 2], [3, 3], [1, 0]], [[3, 2], [0, 1]]], ['dispute', [[0, 1], [1, 0], [3, 3]]]], [[[[3, 3], [1, 3], [0, 3], [0, 0]], [[3, 3], [1, 3], [0, 3], [0, 0]]], ['agree', [[0, 0], [0, 3], [1, 3], [3, 3]]]], [[[[3, 2], [3, 3]], []], ['dispute', [[3, 2], [3, 3]]]], [[[[2, 2], [1, 3], [2, 2], [0, 0]], [[1, 0], [2, 1], [2, 2]]], ['dispute', [[0, 0], [1, 0], [1, 3], [2, 1]]]], [[[[2, 1], [0, 3]], [[0, 3], [2, 1]]], ['agree', [[0, 3], [2, 1]]]], [[[[2, 1], [2, 3], [0, 2], [3, 1]], [[2, 1], [2, 3], [0, 2], [3, 1], [2, 1]]], ['agree', [[0, 2], [2, 1], [2, 3], [3, 1]]]], [[[[1, 1], [2, 3], [2, 3], [0, 0]], [[1, 1]]], ['dispute', [[0, 0], [2, 3]]]]], [[[[[2, 3], [1, 1], [0, 1]], [[2, 2], [2, 0], [3, 0]]], ['dispute', [[0, 1], [1, 1], [2, 0], [2, 2], [2, 3], [3, 0]]]], [[[[0, 2], [1, 3], [1, 1], [2, 1]], [[1, 1]]], ['dispute', [[0, 2], [1, 3], [2, 1]]]], [[[], []], ['agree', []]], [[[[3, 0]], [[3, 0], [3, 0]]], ['agree', [[3, 0]]]], [[[[1, 0], [0, 1]], [[1, 3]]], ['dispute', [[0, 1], [1, 0], [1, 3]]]], [[[[1, 1], [3, 0]], [[1, 1], [3, 0]]], ['agree', [[1, 1], [3, 0]]]], [[[], []], ['agree', []]], [[[[2, 0], [2, 3], [0, 2], [0, 0]], [[1, 1], [0, 1], [3, 0], [2, 0]]], ['dispute', [[0, 0], [0, 1], [0, 2], [1, 1], [2, 3], [3, 0]]]]], [[[[], []], ['agree', []]], [[[], [[3, 2], [2, 3], [1, 3]]], ['dispute', [[1, 3], [2, 3], [3, 2]]]], [[[[0, 2], [2, 1], [1, 0]], []], ['dispute', [[0, 2], [1, 0], [2, 1]]]], [[[], [[1, 0], [0, 0]]], ['dispute', [[0, 0], [1, 0]]]], [[[], [[3, 3], [0, 2]]], ['dispute', [[0, 2], [3, 3]]]], [[[[3, 0]], [[3, 0], [3, 0]]], ['agree', [[3, 0]]]], [[[[1, 1], [1, 3]], [[1, 1], [1, 3]]], ['agree', [[1, 1], [1, 3]]]], [[[[3, 3], [3, 1], [0, 2], [2, 0]], [[2, 2], [0, 1], [3, 3]]], ['dispute', [[0, 1], [0, 2], [2, 0], [2, 2], [3, 1]]]]], [[[[[3, 3], [3, 1], [0, 2], [2, 0]], [[2, 2], [0, 1], [3, 3]]], ['dispute', [[0, 1], [0, 2], [2, 0], [2, 2], [3, 1]]]], [[[[0, 2], [0, 1]], [[2, 0]]], ['dispute', [[0, 1], [0, 2], [2, 0]]]], [[[[0, 0], [3, 2]], [[3, 2], [0, 0], [0, 0]]], ['agree', [[0, 0], [3, 2]]]], [[[], []], ['agree', []]], [[[[1, 1], [3, 3], [0, 2]], [[3, 3], [0, 2], [1, 1]]], ['agree', [[0, 2], [1, 1], [3, 3]]]], [[[[0, 1]], [[0, 1]]], ['agree', [[0, 1]]]], [[[[2, 3], [2, 0], [2, 2]], [[2, 3], [1, 3], [1, 1], [2, 3]]], ['dispute', [[1, 1], [1, 3], [2, 0], [2, 2]]]], [[[[1, 1]], [[2, 2], [1, 2], [2, 1], [1, 1]]], ['dispute', [[1, 2], [2, 1], [2, 2]]]]]]
for i, (args, expected) in enumerate(fixtures[N-1]):
    check("agreement 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
agreement case 0	`['dispute', [[3, 1]]]`	`['dispute', [[3, 1]]]`	Passed
agreement case 1	`['agree', []]`	`['agree', []]`	Passed
agreement case 2	`['dispute', [[0, 3]]]`	`['dispute', [[0, 3]]]`	Passed
agreement case 3	`['agree', [[0, 0], [2, 2], [3, 3]]]`	`['agree', [[0, 0], [2, 2], [3, 3]]]`	Passed
agreement case 4	`['agree', [[1, 1], [2, 2], [2, 3], [3, 3]]]`	`['agree', [[1, 1], [2, 2], [2, 3], [3, 3]]]`	Passed
agreement case 5	`['dispute', [[1, 1], [1, 2], [1, 3], [2, 0], [2, 3], [3, 1]]]`	`['dispute', [[1, 1], [1, 2], [1, 3], [2, 0], [2, 3], [3, 1]]]`	Passed
agreement case 6	`['agree', [[3, 0]]]`	`['agree', [[3, 0]]]`	Passed
agreement case 7	`['dispute', [[1, 1], [2, 1]]]`	`['dispute', [[1, 1], [2, 1]]]`	Passed

SHA-256 / fd5708ef454fd03c35ed4b0751f635ecede2ae7a0d137f3b2d1b84aca718a6ee

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

Case digest / 856f46f556a8ca16395d33ccb98eccd11aaa7bbb16bb8b6c095915e06faadb30