{"abstract":"Results such as W+3.5 are rendered as \"W+-4.5\".","category":"Go territory scoring","checks":8,"contract":"Input [board, komi_tenths]. Area = own stones + empty regions whose orthogonal border touches only that colour. Return [black_area, white_area, result] where result is \"B+x.y\" / \"W+x.y\" after subtracting komi from black, or \"Draw\".","contract_signature":"x","evaluation_group":"w2-go-territory-scoring-tt-area","failed_approach":"Taking abs() of the floored quotient still rounds the whole part away from zero for half-point margins.","family":"w2-go-territory-scoring-tt-area-white-margin-formatting","id":"FA-82856","implementations":{"attempt":{"sha256":"8ac81a4cc185a615aa5f69076394a9fd9cc4144b4fdfd2e985252f680d90f672","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    board, komi = x\n    n = len(board)\n    m = len(board[0])\n    b = sum(row.count('B') for row in board)\n    w = sum(row.count('W') for row in board)\n    seen = set()\n    for r in range(n):\n        for c in range(m):\n            if board[r][c] != '.' or (r, c) in seen:\n                continue\n            stack = [(r, c)]\n            seen.add((r, c))\n            size = 0\n            border = set()\n            while stack:\n                i, j = stack.pop()\n                size += 1\n                for di, dj in ((1, 0), (-1, 0), (0, 1), (0, -1)):\n                    a, d = i + di, j + dj\n                    if 0 <= a < n and 0 <= d < m:\n                        v = board[a][d]\n                        if v == '.':\n                            if (a, d) not in seen:\n                                seen.add((a, d))\n                                stack.append((a, d))\n                        else:\n                            border.add(v)\n            if border == {'B'}:\n                b += size\n            elif border == {'W'}:\n                w += size\n    diff = b * 10 - w * 10 - komi\n    if diff > 0:\n        res = 'B+%d.%d' % (diff // 10, diff % 10)\n    elif diff < 0:\n        res = 'W+%d.%d' % (abs(diff // 10), abs(diff % 10))\n    else:\n        res = 'Draw'\n    return [b, w, res]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[[['...', '...', '...'], 5], [0, 0, 'W+0.5']], [[['.W.B.', 'W.WB.', '.WB..', 'WB...', 'B....'], 0], [16, 8, 'B+8.0']], [[['BBBB', 'B..B', 'B..B', 'BBBB'], 5], [16, 0, 'B+15.5']], [[['WWW', 'W.W', 'WWW'], 65], [0, 9, 'W+15.5']], [[['B.W', '...', 'W.B'], 75], [2, 2, 'W+7.5']], [[['.B...', 'B....', '.....', '....W', '...W.'], 35], [3, 3, 'W+3.5']], [[['BW.', 'BW.', 'BW.'], 60], [3, 6, 'W+9.0']], [[['B....B', '......', '..WW..', '..WW..', '......', 'B....B'], 5], [4, 4, 'W+0.5']]], [[[['..B..', '..B..', 'BBBBB', 'WWWWW', '..W..'], 60], [15, 10, 'W+1.0']], [[['WB.B', 'B.B.', '.B..', 'B...'], -5], [15, 1, 'B+14.5']], [[['..W', '.W.', 'W..'], 0], [0, 9, 'W+9.0']], [[['B....B', '......', '..WW..', '..WW..', '......', 'B....B'], 5], [4, 4, 'W+0.5']], [[['.BBW.', 'B.BBB', '...W.', '.B.WB'], 65], [9, 3, 'W+0.5']], [[['BB.W.', 'BB.WW', 'W..WW', '.W...', '.B...'], 75], [5, 8, 'W+10.5']], [[['B..', '..W', '...', '.WW'], 35], [1, 3, 'W+5.5']], [[['.B.', '.WW', 'BBB', 'WW.'], 65], [4, 4, 'W+6.5']]], [[[['B.W', '...', 'W.B'], 75], [2, 2, 'W+7.5']], [[['..B', '.WB', 'BW.', '...', '.B.', 'BBB'], 70], [7, 2, 'W+2.0']], [[['WBWWB', 'BB.B.', 'WBWB.', 'WBWBB'], -5], [12, 7, 'B+5.5']], [[['...', '...', '.B.', '.WB', '...', 'B..'], 0], [3, 1, 'B+2.0']], [[['.....', '.W...', 'WW...'], 5], [0, 15, 'W+15.5']], [[['.B.', '.WW', 'BBB', 'WW.'], 65], [4, 4, 'W+6.5']], [[['.B.BB', 'WB...', '.....'], 75], [4, 1, 'W+4.5']], [[['....W', 'BBWWB', 'B..W.', 'W..W.', 'W.W..', '.....'], 35], [4, 8, 'W+7.5']]], [[[['..W', '.W.', 'W..'], 0], [0, 9, 'W+9.0']], [[['B.BW.', 'W.B..', 'W..B.', 'B.B.B'], 60], [8, 3, 'W+1.0']], [[['B..', '.B.', '...', '...', 'B..', 'BB.'], 70], [18, 0, 'B+11.0']], [[['BW.B', '.WWW', 'B.BB', 'WBB.', 'BW.W'], -5], [8, 7, 'B+1.5']], [[['......', '..W...', 'WW.WW.', '......', 'WBW...'], 0], [1, 7, 'W+6.0']], [[['W..W', '.B..', 'B.W.', '.W..', '....'], 5], [2, 4, 'W+2.5']], [[['BWBB.', '.B..B', 'BW..B', 'W.BBW', '...BB'], 65], [13, 4, 'B+2.5']], [[['WWB', 'W.W', 'B.W', 'B..', '..B'], 35], [4, 5, 'W+4.5']]], [[[['BB.W.', 'BB.WW', 'W..WW', '.W...', '.B...'], 75], [5, 8, 'W+10.5']], [[['....W', 'BBWWB', 'B..W.', 'W..W.', 'W.W..', '.....'], 35], [4, 8, 'W+7.5']], [[['W..B.', 'BB.BB', 'B..B.', 'BBB..', 'B.BBB'], 60], [19, 1, 'B+12.0']], [[['.BBBW.', 'WBBBB.', '.WBB..', 'BBB...', 'BBW..B', '..BW.W'], 70], [18, 6, 'B+5.0']], [[['W..BBB', 'BWB.W.', '.WWWWW', 'W.WBWW'], -5], [6, 13, 'W+6.5']], [[['W..B', '...B', 'WWWW'], 0], [2, 5, 'W+3.0']], [[['W...', 'WBWB', 'WWBW', 'BBB.'], 5], [6, 6, 'W+0.5']], [[['WWW.W', '..BWW', 'B.BWB', 'W.B..', '.W.WB', 'WW.W.'], 5], [6, 15, 'W+9.5']]]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"area score case %d\" % i, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"6a5f32be44dbeb6c53524abb1136f37452c984432739fc6bc972429deb0706c1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    board, komi = x\n    n = len(board)\n    m = len(board[0])\n    b = sum(row.count('B') for row in board)\n    w = sum(row.count('W') for row in board)\n    seen = set()\n    for r in range(n):\n        for c in range(m):\n            if board[r][c] != '.' or (r, c) in seen:\n                continue\n            stack = [(r, c)]\n            seen.add((r, c))\n            size = 0\n            border = set()\n            while stack:\n                i, j = stack.pop()\n                size += 1\n                for di, dj in ((1, 0), (-1, 0), (0, 1), (0, -1)):\n                    a, d = i + di, j + dj\n                    if 0 <= a < n and 0 <= d < m:\n                        v = board[a][d]\n                        if v == '.':\n                            if (a, d) not in seen:\n                                seen.add((a, d))\n                                stack.append((a, d))\n                        else:\n                            border.add(v)\n            if border == {'B'}:\n                b += size\n            elif border == {'W'}:\n                w += size\n    diff = b * 10 - w * 10 - komi\n    if diff > 0:\n        res = 'B+%d.%d' % (diff // 10, diff % 10)\n    elif diff < 0:\n        res = 'W+%d.%d' % (diff // 10, diff % 10)\n    else:\n        res = 'Draw'\n    return [b, w, res]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[[['...', '...', '...'], 5], [0, 0, 'W+0.5']], [[['.W.B.', 'W.WB.', '.WB..', 'WB...', 'B....'], 0], [16, 8, 'B+8.0']], [[['BBBB', 'B..B', 'B..B', 'BBBB'], 5], [16, 0, 'B+15.5']], [[['WWW', 'W.W', 'WWW'], 65], [0, 9, 'W+15.5']], [[['B.W', '...', 'W.B'], 75], [2, 2, 'W+7.5']], [[['.B...', 'B....', '.....', '....W', '...W.'], 35], [3, 3, 'W+3.5']], [[['BW.', 'BW.', 'BW.'], 60], [3, 6, 'W+9.0']], [[['B....B', '......', '..WW..', '..WW..', '......', 'B....B'], 5], [4, 4, 'W+0.5']]], [[[['..B..', '..B..', 'BBBBB', 'WWWWW', '..W..'], 60], [15, 10, 'W+1.0']], [[['WB.B', 'B.B.', '.B..', 'B...'], -5], [15, 1, 'B+14.5']], [[['..W', '.W.', 'W..'], 0], [0, 9, 'W+9.0']], [[['B....B', '......', '..WW..', '..WW..', '......', 'B....B'], 5], [4, 4, 'W+0.5']], [[['.BBW.', 'B.BBB', '...W.', '.B.WB'], 65], [9, 3, 'W+0.5']], [[['BB.W.', 'BB.WW', 'W..WW', '.W...', '.B...'], 75], [5, 8, 'W+10.5']], [[['B..', '..W', '...', '.WW'], 35], [1, 3, 'W+5.5']], [[['.B.', '.WW', 'BBB', 'WW.'], 65], [4, 4, 'W+6.5']]], [[[['B.W', '...', 'W.B'], 75], [2, 2, 'W+7.5']], [[['..B', '.WB', 'BW.', '...', '.B.', 'BBB'], 70], [7, 2, 'W+2.0']], [[['WBWWB', 'BB.B.', 'WBWB.', 'WBWBB'], -5], [12, 7, 'B+5.5']], [[['...', '...', '.B.', '.WB', '...', 'B..'], 0], [3, 1, 'B+2.0']], [[['.....', '.W...', 'WW...'], 5], [0, 15, 'W+15.5']], [[['.B.', '.WW', 'BBB', 'WW.'], 65], [4, 4, 'W+6.5']], [[['.B.BB', 'WB...', '.....'], 75], [4, 1, 'W+4.5']], [[['....W', 'BBWWB', 'B..W.', 'W..W.', 'W.W..', '.....'], 35], [4, 8, 'W+7.5']]], [[[['..W', '.W.', 'W..'], 0], [0, 9, 'W+9.0']], [[['B.BW.', 'W.B..', 'W..B.', 'B.B.B'], 60], [8, 3, 'W+1.0']], [[['B..', '.B.', '...', '...', 'B..', 'BB.'], 70], [18, 0, 'B+11.0']], [[['BW.B', '.WWW', 'B.BB', 'WBB.', 'BW.W'], -5], [8, 7, 'B+1.5']], [[['......', '..W...', 'WW.WW.', '......', 'WBW...'], 0], [1, 7, 'W+6.0']], [[['W..W', '.B..', 'B.W.', '.W..', '....'], 5], [2, 4, 'W+2.5']], [[['BWBB.', '.B..B', 'BW..B', 'W.BBW', '...BB'], 65], [13, 4, 'B+2.5']], [[['WWB', 'W.W', 'B.W', 'B..', '..B'], 35], [4, 5, 'W+4.5']]], [[[['BB.W.', 'BB.WW', 'W..WW', '.W...', '.B...'], 75], [5, 8, 'W+10.5']], [[['....W', 'BBWWB', 'B..W.', 'W..W.', 'W.W..', '.....'], 35], [4, 8, 'W+7.5']], [[['W..B.', 'BB.BB', 'B..B.', 'BBB..', 'B.BBB'], 60], [19, 1, 'B+12.0']], [[['.BBBW.', 'WBBBB.', '.WBB..', 'BBB...', 'BBW..B', '..BW.W'], 70], [18, 6, 'B+5.0']], [[['W..BBB', 'BWB.W.', '.WWWWW', 'W.WBWW'], -5], [6, 13, 'W+6.5']], [[['W..B', '...B', 'WWWW'], 0], [2, 5, 'W+3.0']], [[['W...', 'WBWB', 'WWBW', 'BBB.'], 5], [6, 6, 'W+0.5']], [[['WWW.W', '..BWW', 'B.BWB', 'W.B..', '.W.WB', 'WW.W.'], 5], [6, 15, 'W+9.5']]]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"area score case %d\" % i, solve(args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-go-territory-scoring-tt-area-white-margin-formatting","generated_at":"2026-09-29T14:50:15.981465+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Go servers and scoring tools compute this value automatically; a wrong answer changes a game result.","root_cause":"The white branch formats the signed difference directly with floor division and modulo.","sha256":"5f3a687a5751ffacebb59ab56b0a7d2d53145d046a9bbab3bfe954a059f642ac","title":"White wins are printed with a negative or overstated margin · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":40.395,"exit_code":1,"observations":[{"actual":[0,0,"W+1.5"],"check":"area score case 0","expected":[0,0,"W+0.5"],"passed":false},{"actual":[16,8,"B+8.0"],"check":"area score case 1","expected":[16,8,"B+8.0"],"passed":true},{"actual":[16,0,"B+15.5"],"check":"area score case 2","expected":[16,0,"B+15.5"],"passed":true},{"actual":[0,9,"W+16.5"],"check":"area score case 3","expected":[0,9,"W+15.5"],"passed":false},{"actual":[2,2,"W+8.5"],"check":"area score case 4","expected":[2,2,"W+7.5"],"passed":false},{"actual":[3,3,"W+4.5"],"check":"area score case 5","expected":[3,3,"W+3.5"],"passed":false},{"actual":[3,6,"W+9.0"],"check":"area score case 6","expected":[3,6,"W+9.0"],"passed":true},{"actual":[4,4,"W+1.5"],"check":"area score case 7","expected":[4,4,"W+0.5"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"area score case 0\", \"actual\": [0, 0, \"W+1.5\"], \"expected\": [0, 0, \"W+0.5\"], \"passed\": false}, {\"check\": \"area score case 1\", \"actual\": [16, 8, \"B+8.0\"], \"expected\": [16, 8, \"B+8.0\"], \"passed\": true}, {\"check\": \"area score case 2\", \"actual\": [16, 0, \"B+15.5\"], \"expected\": [16, 0, \"B+15.5\"], \"passed\": true}, {\"check\": \"area score case 3\", \"actual\": [0, 9, \"W+16.5\"], \"expected\": [0, 9, \"W+15.5\"], \"passed\": false}, {\"check\": \"area score case 4\", \"actual\": [2, 2, \"W+8.5\"], \"expected\": [2, 2, \"W+7.5\"], \"passed\": false}, {\"check\": \"area score case 5\", \"actual\": [3, 3, \"W+4.5\"], \"expected\": [3, 3, \"W+3.5\"], \"passed\": false}, {\"check\": \"area score case 6\", \"actual\": [3, 6, \"W+9.0\"], \"expected\": [3, 6, \"W+9.0\"], \"passed\": true}, {\"check\": \"area score case 7\", \"actual\": [4, 4, \"W+1.5\"], \"expected\": [4, 4, \"W+0.5\"], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.927,"exit_code":1,"observations":[{"actual":[0,0,"W+-1.5"],"check":"area score case 0","expected":[0,0,"W+0.5"],"passed":false},{"actual":[16,8,"B+8.0"],"check":"area score case 1","expected":[16,8,"B+8.0"],"passed":true},{"actual":[16,0,"B+15.5"],"check":"area score case 2","expected":[16,0,"B+15.5"],"passed":true},{"actual":[0,9,"W+-16.5"],"check":"area score case 3","expected":[0,9,"W+15.5"],"passed":false},{"actual":[2,2,"W+-8.5"],"check":"area score case 4","expected":[2,2,"W+7.5"],"passed":false},{"actual":[3,3,"W+-4.5"],"check":"area score case 5","expected":[3,3,"W+3.5"],"passed":false},{"actual":[3,6,"W+-9.0"],"check":"area score case 6","expected":[3,6,"W+9.0"],"passed":false},{"actual":[4,4,"W+-1.5"],"check":"area score case 7","expected":[4,4,"W+0.5"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"area score case 0\", \"actual\": [0, 0, \"W+-1.5\"], \"expected\": [0, 0, \"W+0.5\"], \"passed\": false}, {\"check\": \"area score case 1\", \"actual\": [16, 8, \"B+8.0\"], \"expected\": [16, 8, \"B+8.0\"], \"passed\": true}, {\"check\": \"area score case 2\", \"actual\": [16, 0, \"B+15.5\"], \"expected\": [16, 0, \"B+15.5\"], \"passed\": true}, {\"check\": \"area score case 3\", \"actual\": [0, 9, \"W+-16.5\"], \"expected\": [0, 9, \"W+15.5\"], \"passed\": false}, {\"check\": \"area score case 4\", \"actual\": [2, 2, \"W+-8.5\"], \"expected\": [2, 2, \"W+7.5\"], \"passed\": false}, {\"check\": \"area score case 5\", \"actual\": [3, 3, \"W+-4.5\"], \"expected\": [3, 3, \"W+3.5\"], \"passed\": false}, {\"check\": \"area score case 6\", \"actual\": [3, 6, \"W+-9.0\"], \"expected\": [3, 6, \"W+9.0\"], \"passed\": false}, {\"check\": \"area score case 7\", \"actual\": [4, 4, \"W+-1.5\"], \"expected\": [4, 4, \"W+0.5\"], \"passed\": false}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}