{"abstract":"B[] passes become invalid moves.","category":"Go territory scoring","checks":8,"contract":"Input [size, text]. \"\" is a pass; \"tt\" is also a pass on boards up to 19x19. Otherwise exactly two lower-case letters: first = column, second = row, both from the top-left. Return [row, col], \"pass\" or \"invalid\".","evaluation_group":"w2-go-territory-scoring-sgf-point","failed_approach":"Tying the empty-value pass to the 19x19 limit rejects passes on larger boards.","family":"w2-go-territory-scoring-sgf-point-empty-value-pass","id":"FA-83006","implementations":{"attempt":{"sha256":"4f9e77d073ab2e48feb056030184d40f03a77098d33a1b434345abb97dc1110f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    size, text = x\n    if text == '' and size <= 19:\n        return 'pass'\n    if text == 'tt' and size <= 19:\n        return 'pass'\n    if len(text) != 2:\n        return 'invalid'\n    col = ord(text[0]) - ord('a')\n    row = ord(text[1]) - ord('a')\n    if not (0 <= col < size and 0 <= row < size):\n        return 'invalid'\n    return [row, col]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[[9, ''], 'pass'], [[9, 'Aa'], 'invalid'], [[9, 'aA'], 'invalid'], [[9, 'u'], 'invalid'], [[9, 'abc'], 'invalid'], [[9, 'ia'], [0, 8]], [[9, 'ai'], [8, 0]], [[21, ''], 'pass']], [[[9, 'ta'], 'invalid'], [[9, 'at'], 'invalid'], [[9, 'pd'], 'invalid'], [[9, 'dp'], 'invalid'], [[9, 'ia'], [0, 8]], [[9, 'ja'], 'invalid'], [[21, ''], 'pass'], [[25, ''], 'pass']], [[[13, 'dd'], [3, 3]], [[13, 'aa'], [0, 0]], [[13, 'ss'], 'invalid'], [[13, 'tt'], 'pass'], [[13, ''], 'pass'], [[13, 'ab'], [1, 0]], [[13, 'ba'], [0, 1]], [[21, ''], 'pass']], [[[13, 'jj'], [9, 9]], [[13, 'Aa'], 'invalid'], [[13, 'aA'], 'invalid'], [[13, 'u'], 'invalid'], [[13, 'abc'], 'invalid'], [[13, 'ia'], [0, 8]], [[25, ''], 'pass'], [[25, ''], 'pass']], [[[13, 'ta'], 'invalid'], [[13, 'at'], 'invalid'], [[13, 'pd'], 'invalid'], [[13, 'dp'], 'invalid'], [[13, 'ma'], [0, 12]], [[13, 'na'], 'invalid'], [[19, ''], 'pass'], [[21, ''], 'pass']]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"sgf point 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":"c563782314f5ee7f7f5c98927c3f0e24ad0f496ed9eba98ee667ebdf369200db","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    size, text = x\n    if text == 'tt' and size <= 19:\n        return 'pass'\n    if len(text) != 2:\n        return 'invalid'\n    col = ord(text[0]) - ord('a')\n    row = ord(text[1]) - ord('a')\n    if not (0 <= col < size and 0 <= row < size):\n        return 'invalid'\n    return [row, col]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[[9, ''], 'pass'], [[9, 'Aa'], 'invalid'], [[9, 'aA'], 'invalid'], [[9, 'u'], 'invalid'], [[9, 'abc'], 'invalid'], [[9, 'ia'], [0, 8]], [[9, 'ai'], [8, 0]], [[21, ''], 'pass']], [[[9, 'ta'], 'invalid'], [[9, 'at'], 'invalid'], [[9, 'pd'], 'invalid'], [[9, 'dp'], 'invalid'], [[9, 'ia'], [0, 8]], [[9, 'ja'], 'invalid'], [[21, ''], 'pass'], [[25, ''], 'pass']], [[[13, 'dd'], [3, 3]], [[13, 'aa'], [0, 0]], [[13, 'ss'], 'invalid'], [[13, 'tt'], 'pass'], [[13, ''], 'pass'], [[13, 'ab'], [1, 0]], [[13, 'ba'], [0, 1]], [[21, ''], 'pass']], [[[13, 'jj'], [9, 9]], [[13, 'Aa'], 'invalid'], [[13, 'aA'], 'invalid'], [[13, 'u'], 'invalid'], [[13, 'abc'], 'invalid'], [[13, 'ia'], [0, 8]], [[25, ''], 'pass'], [[25, ''], 'pass']], [[[13, 'ta'], 'invalid'], [[13, 'at'], 'invalid'], [[13, 'pd'], 'invalid'], [[13, 'dp'], 'invalid'], [[13, 'ma'], [0, 12]], [[13, 'na'], 'invalid'], [[19, ''], 'pass'], [[21, ''], 'pass']]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"sgf point 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"},"fixed":{"sha256":"7a44720becfe6f76e8611fd7ef83ede1031237510df34e321d71859a73135701","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    size, text = x\n    if text == '':\n        return 'pass'\n    if text == 'tt' and size <= 19:\n        return 'pass'\n    if len(text) != 2:\n        return 'invalid'\n    col = ord(text[0]) - ord('a')\n    row = ord(text[1]) - ord('a')\n    if not (0 <= col < size and 0 <= row < size):\n        return 'invalid'\n    return [row, col]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[[9, ''], 'pass'], [[9, 'Aa'], 'invalid'], [[9, 'aA'], 'invalid'], [[9, 'u'], 'invalid'], [[9, 'abc'], 'invalid'], [[9, 'ia'], [0, 8]], [[9, 'ai'], [8, 0]], [[21, ''], 'pass']], [[[9, 'ta'], 'invalid'], [[9, 'at'], 'invalid'], [[9, 'pd'], 'invalid'], [[9, 'dp'], 'invalid'], [[9, 'ia'], [0, 8]], [[9, 'ja'], 'invalid'], [[21, ''], 'pass'], [[25, ''], 'pass']], [[[13, 'dd'], [3, 3]], [[13, 'aa'], [0, 0]], [[13, 'ss'], 'invalid'], [[13, 'tt'], 'pass'], [[13, ''], 'pass'], [[13, 'ab'], [1, 0]], [[13, 'ba'], [0, 1]], [[21, ''], 'pass']], [[[13, 'jj'], [9, 9]], [[13, 'Aa'], 'invalid'], [[13, 'aA'], 'invalid'], [[13, 'u'], 'invalid'], [[13, 'abc'], 'invalid'], [[13, 'ia'], [0, 8]], [[25, ''], 'pass'], [[25, ''], 'pass']], [[[13, 'ta'], 'invalid'], [[13, 'at'], 'invalid'], [[13, 'pd'], 'invalid'], [[13, 'dp'], 'invalid'], [[13, 'ma'], [0, 12]], [[13, 'na'], 'invalid'], [[19, ''], 'pass'], [[21, ''], 'pass']]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"sgf point 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-sgf-point-empty-value-pass","generated_at":"2026-09-29T14:50:17.321613+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.","repair":"An empty value is always a pass.","root_cause":"Only tt is recognised as a pass.","sha256":"23554fefcad1359e03a49bf80487d4aca14ebed1bddae5029ecac6170fcf2833","title":"An empty SGF move value is rejected · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.513,"exit_code":1,"observations":[{"actual":"pass","check":"sgf point case 0","expected":"pass","passed":true},{"actual":"invalid","check":"sgf point case 1","expected":"invalid","passed":true},{"actual":"invalid","check":"sgf point case 2","expected":"invalid","passed":true},{"actual":"invalid","check":"sgf point case 3","expected":"invalid","passed":true},{"actual":"invalid","check":"sgf point case 4","expected":"invalid","passed":true},{"actual":[0,8],"check":"sgf point case 5","expected":[0,8],"passed":true},{"actual":[8,0],"check":"sgf point case 6","expected":[8,0],"passed":true},{"actual":"invalid","check":"sgf point case 7","expected":"pass","passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"sgf point case 0\", \"actual\": \"pass\", \"expected\": \"pass\", \"passed\": true}, {\"check\": \"sgf point case 1\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"sgf point case 2\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"sgf point case 3\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"sgf point case 4\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"sgf point case 5\", \"actual\": [0, 8], \"expected\": [0, 8], \"passed\": true}, {\"check\": \"sgf point case 6\", \"actual\": [8, 0], \"expected\": [8, 0], \"passed\": true}, {\"check\": \"sgf point case 7\", \"actual\": \"invalid\", \"expected\": \"pass\", \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.842,"exit_code":1,"observations":[{"actual":"invalid","check":"sgf point case 0","expected":"pass","passed":false},{"actual":"invalid","check":"sgf point case 1","expected":"invalid","passed":true},{"actual":"invalid","check":"sgf point case 2","expected":"invalid","passed":true},{"actual":"invalid","check":"sgf point case 3","expected":"invalid","passed":true},{"actual":"invalid","check":"sgf point case 4","expected":"invalid","passed":true},{"actual":[0,8],"check":"sgf point case 5","expected":[0,8],"passed":true},{"actual":[8,0],"check":"sgf point case 6","expected":[8,0],"passed":true},{"actual":"invalid","check":"sgf point case 7","expected":"pass","passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"sgf point case 0\", \"actual\": \"invalid\", \"expected\": \"pass\", \"passed\": false}, {\"check\": \"sgf point case 1\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"sgf point case 2\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"sgf point case 3\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"sgf point case 4\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"sgf point case 5\", \"actual\": [0, 8], \"expected\": [0, 8], \"passed\": true}, {\"check\": \"sgf point case 6\", \"actual\": [8, 0], \"expected\": [8, 0], \"passed\": true}, {\"check\": \"sgf point case 7\", \"actual\": \"invalid\", \"expected\": \"pass\", \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.27,"exit_code":0,"observations":[{"actual":"pass","check":"sgf point case 0","expected":"pass","passed":true},{"actual":"invalid","check":"sgf point case 1","expected":"invalid","passed":true},{"actual":"invalid","check":"sgf point case 2","expected":"invalid","passed":true},{"actual":"invalid","check":"sgf point case 3","expected":"invalid","passed":true},{"actual":"invalid","check":"sgf point case 4","expected":"invalid","passed":true},{"actual":[0,8],"check":"sgf point case 5","expected":[0,8],"passed":true},{"actual":[8,0],"check":"sgf point case 6","expected":[8,0],"passed":true},{"actual":"pass","check":"sgf point case 7","expected":"pass","passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"sgf point case 0\", \"actual\": \"pass\", \"expected\": \"pass\", \"passed\": true}, {\"check\": \"sgf point case 1\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"sgf point case 2\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"sgf point case 3\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"sgf point case 4\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"sgf point case 5\", \"actual\": [0, 8], \"expected\": [0, 8], \"passed\": true}, {\"check\": \"sgf point case 6\", \"actual\": [8, 0], \"expected\": [8, 0], \"passed\": true}, {\"check\": \"sgf point case 7\", \"actual\": \"pass\", \"expected\": \"pass\", \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}