{"abstract":"Points exactly on +180 get a non-existent zone 61.","category":"Map projection transforms","checks":8,"contract":"Input [lon, lat]. zone = floor((lon+180)/6)+1, with lon=180 mapped to zone 60. Exceptions: lat in [56, 64) and lon in [3, 12) is zone 32; lat in [72, 84] uses zone 31 for lon in [0, 9), 33 for [9, 21), 35 for [21, 33) and 37 for [33, 42). Band letters \"CDEFGHJKLMNPQRSTUVWX\" (no I or O) cover 8 degrees each from -80; band X also covers up to 84 inclusive. Outside [-80, 84] the band is None. Return [zone, band].","evaluation_group":"w2-map-projection-transforms-utm-zone-band","failed_approach":"Wrapping the overflow to zone 1 moves lon=180 to the far side of the grid instead of the last zone.","family":"w2-map-projection-transforms-utm-zone-band-antimeridian-zone-cap","id":"FA-69991","implementations":{"attempt":{"sha256":"96a16c6a6cc14916592c93e2a5c23f093cb6b5ea5d79474e4436cbe1912af944","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    lon, lat = x\n    zone = int(math.floor((lon + 180.0) / 6.0)) + 1\n    if zone > 60:\n        zone = 1\n    if 56.0 <= lat < 64.0 and 3.0 <= lon < 12.0:\n        zone = 32\n    if 72.0 <= lat <= 84.0 and 0.0 <= lon < 42.0:\n        if lon < 9.0:\n            zone = 31\n        elif lon < 21.0:\n            zone = 33\n        elif lon < 33.0:\n            zone = 35\n        else:\n            zone = 37\n    letters = 'CDEFGHJKLMNPQRSTUVWX'\n    if lat < -80.0 or lat > 84.0:\n        band = None\n    else:\n        band = letters[min(int((lat + 80.0) // 8), 19)]\n    return [zone, band]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('control #0', [-63.1, 21.44], [20, 'Q']), ('control #1', [-175.96, 80.22], [1, 'X']), ('control #2', [115.33, 82.84], [50, 'X']), ('control #3', [-84.72, -46.68], [16, 'G']), ('control #4', [-159.4, -47.6], [4, 'G']), ('control #5', [-170.34, 33.06], [2, 'S']), ('boundary #12', [180.0, 10.0], [60, 'P']), ('boundary #38', [180.0, -45.0], [60, 'G'])], [('control #3', [-84.72, -46.68], [16, 'G']), ('control #4', [-159.4, -47.6], [4, 'G']), ('control #5', [-170.34, 33.06], [2, 'S']), ('control #6', [-48.09, 53.12], [22, 'U']), ('control #7', [93.32, -22.41], [46, 'K']), ('control #8', [-119.29, -22.68], [11, 'K']), ('boundary #12', [180.0, 10.0], [60, 'P']), ('boundary #38', [180.0, -45.0], [60, 'G'])], [('control #6', [-48.09, 53.12], [22, 'U']), ('control #7', [93.32, -22.41], [46, 'K']), ('control #8', [-119.29, -22.68], [11, 'K']), ('control #9', [-168.15, 26.03], [2, 'R']), ('control #10', [-111.05, -54.91], [12, 'F']), ('control #11', [139.05, -8.2], [54, 'L']), ('boundary #12', [180.0, 10.0], [60, 'P']), ('boundary #38', [180.0, -45.0], [60, 'G'])], [('control #9', [-168.15, 26.03], [2, 'R']), ('control #10', [-111.05, -54.91], [12, 'F']), ('control #11', [139.05, -8.2], [54, 'L']), ('boundary #12', [180.0, 10.0], [60, 'P']), ('boundary #13', [-180.0, -10.0], [1, 'L']), ('regression #14', [5.0, 60.0], [32, 'V']), ('boundary #15', [3.0, 56.0], [32, 'V']), ('boundary #38', [180.0, -45.0], [60, 'G'])], [('boundary #12', [180.0, 10.0], [60, 'P']), ('boundary #13', [-180.0, -10.0], [1, 'L']), ('regression #14', [5.0, 60.0], [32, 'V']), ('boundary #15', [3.0, 56.0], [32, 'V']), ('boundary #16', [2.99, 60.0], [31, 'V']), ('boundary #17', [11.99, 63.99], [32, 'V']), ('boundary #18', [8.0, 64.0], [32, 'W']), ('boundary #38', [180.0, -45.0], [60, 'G'])]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, 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":"cf3864b125a8a0e3cedce2040d973cd907b291d17a782e79c8d3481c7f519d2c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    lon, lat = x\n    zone = int(math.floor((lon + 180.0) / 6.0)) + 1\n    if zone > 61:\n        zone = 60\n    if 56.0 <= lat < 64.0 and 3.0 <= lon < 12.0:\n        zone = 32\n    if 72.0 <= lat <= 84.0 and 0.0 <= lon < 42.0:\n        if lon < 9.0:\n            zone = 31\n        elif lon < 21.0:\n            zone = 33\n        elif lon < 33.0:\n            zone = 35\n        else:\n            zone = 37\n    letters = 'CDEFGHJKLMNPQRSTUVWX'\n    if lat < -80.0 or lat > 84.0:\n        band = None\n    else:\n        band = letters[min(int((lat + 80.0) // 8), 19)]\n    return [zone, band]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('control #0', [-63.1, 21.44], [20, 'Q']), ('control #1', [-175.96, 80.22], [1, 'X']), ('control #2', [115.33, 82.84], [50, 'X']), ('control #3', [-84.72, -46.68], [16, 'G']), ('control #4', [-159.4, -47.6], [4, 'G']), ('control #5', [-170.34, 33.06], [2, 'S']), ('boundary #12', [180.0, 10.0], [60, 'P']), ('boundary #38', [180.0, -45.0], [60, 'G'])], [('control #3', [-84.72, -46.68], [16, 'G']), ('control #4', [-159.4, -47.6], [4, 'G']), ('control #5', [-170.34, 33.06], [2, 'S']), ('control #6', [-48.09, 53.12], [22, 'U']), ('control #7', [93.32, -22.41], [46, 'K']), ('control #8', [-119.29, -22.68], [11, 'K']), ('boundary #12', [180.0, 10.0], [60, 'P']), ('boundary #38', [180.0, -45.0], [60, 'G'])], [('control #6', [-48.09, 53.12], [22, 'U']), ('control #7', [93.32, -22.41], [46, 'K']), ('control #8', [-119.29, -22.68], [11, 'K']), ('control #9', [-168.15, 26.03], [2, 'R']), ('control #10', [-111.05, -54.91], [12, 'F']), ('control #11', [139.05, -8.2], [54, 'L']), ('boundary #12', [180.0, 10.0], [60, 'P']), ('boundary #38', [180.0, -45.0], [60, 'G'])], [('control #9', [-168.15, 26.03], [2, 'R']), ('control #10', [-111.05, -54.91], [12, 'F']), ('control #11', [139.05, -8.2], [54, 'L']), ('boundary #12', [180.0, 10.0], [60, 'P']), ('boundary #13', [-180.0, -10.0], [1, 'L']), ('regression #14', [5.0, 60.0], [32, 'V']), ('boundary #15', [3.0, 56.0], [32, 'V']), ('boundary #38', [180.0, -45.0], [60, 'G'])], [('boundary #12', [180.0, 10.0], [60, 'P']), ('boundary #13', [-180.0, -10.0], [1, 'L']), ('regression #14', [5.0, 60.0], [32, 'V']), ('boundary #15', [3.0, 56.0], [32, 'V']), ('boundary #16', [2.99, 60.0], [31, 'V']), ('boundary #17', [11.99, 63.99], [32, 'V']), ('boundary #18', [8.0, 64.0], [32, 'W']), ('boundary #38', [180.0, -45.0], [60, 'G'])]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, 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":"4d5fff41ffa71b6cba1c24dd2f086ec20098773671ddbbda26f27b7ff681b7bf","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    lon, lat = x\n    zone = int(math.floor((lon + 180.0) / 6.0)) + 1\n    if zone > 60:\n        zone = 60\n    if 56.0 <= lat < 64.0 and 3.0 <= lon < 12.0:\n        zone = 32\n    if 72.0 <= lat <= 84.0 and 0.0 <= lon < 42.0:\n        if lon < 9.0:\n            zone = 31\n        elif lon < 21.0:\n            zone = 33\n        elif lon < 33.0:\n            zone = 35\n        else:\n            zone = 37\n    letters = 'CDEFGHJKLMNPQRSTUVWX'\n    if lat < -80.0 or lat > 84.0:\n        band = None\n    else:\n        band = letters[min(int((lat + 80.0) // 8), 19)]\n    return [zone, band]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('control #0', [-63.1, 21.44], [20, 'Q']), ('control #1', [-175.96, 80.22], [1, 'X']), ('control #2', [115.33, 82.84], [50, 'X']), ('control #3', [-84.72, -46.68], [16, 'G']), ('control #4', [-159.4, -47.6], [4, 'G']), ('control #5', [-170.34, 33.06], [2, 'S']), ('boundary #12', [180.0, 10.0], [60, 'P']), ('boundary #38', [180.0, -45.0], [60, 'G'])], [('control #3', [-84.72, -46.68], [16, 'G']), ('control #4', [-159.4, -47.6], [4, 'G']), ('control #5', [-170.34, 33.06], [2, 'S']), ('control #6', [-48.09, 53.12], [22, 'U']), ('control #7', [93.32, -22.41], [46, 'K']), ('control #8', [-119.29, -22.68], [11, 'K']), ('boundary #12', [180.0, 10.0], [60, 'P']), ('boundary #38', [180.0, -45.0], [60, 'G'])], [('control #6', [-48.09, 53.12], [22, 'U']), ('control #7', [93.32, -22.41], [46, 'K']), ('control #8', [-119.29, -22.68], [11, 'K']), ('control #9', [-168.15, 26.03], [2, 'R']), ('control #10', [-111.05, -54.91], [12, 'F']), ('control #11', [139.05, -8.2], [54, 'L']), ('boundary #12', [180.0, 10.0], [60, 'P']), ('boundary #38', [180.0, -45.0], [60, 'G'])], [('control #9', [-168.15, 26.03], [2, 'R']), ('control #10', [-111.05, -54.91], [12, 'F']), ('control #11', [139.05, -8.2], [54, 'L']), ('boundary #12', [180.0, 10.0], [60, 'P']), ('boundary #13', [-180.0, -10.0], [1, 'L']), ('regression #14', [5.0, 60.0], [32, 'V']), ('boundary #15', [3.0, 56.0], [32, 'V']), ('boundary #38', [180.0, -45.0], [60, 'G'])], [('boundary #12', [180.0, 10.0], [60, 'P']), ('boundary #13', [-180.0, -10.0], [1, 'L']), ('regression #14', [5.0, 60.0], [32, 'V']), ('boundary #15', [3.0, 56.0], [32, 'V']), ('boundary #16', [2.99, 60.0], [31, 'V']), ('boundary #17', [11.99, 63.99], [32, 'V']), ('boundary #18', [8.0, 64.0], [32, 'W']), ('boundary #38', [180.0, -45.0], [60, 'G'])]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, 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":"Stipulated deterministic toy contract on a bounded input domain; results are rounded as stated and no conformance with any published standard or library is claimed. 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-map-projection-transforms-utm-zone-band-antimeridian-zone-cap","generated_at":"2026-09-29T14:48:16.444990+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Grid references, MGRS labels and CRS selection rely on the zone and band, including the Norway and Svalbard exceptions.","repair":"At the antimeridian zone cap step restore `if zone > 60:     zone = 60`, leaving the rest of the model unchanged.","root_cause":"The cap only triggers above 61, so lon=180 yields zone 61.","sha256":"0485c6ddc732865454d85f80401823dfe0eaf51e87e28606ed4abcd90bae1197","title":"UTM zone and latitude band lookup: antimeridian zone cap · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.767,"exit_code":1,"observations":[{"actual":[20,"Q"],"check":"control #0","expected":[20,"Q"],"passed":true},{"actual":[1,"X"],"check":"control #1","expected":[1,"X"],"passed":true},{"actual":[50,"X"],"check":"control #2","expected":[50,"X"],"passed":true},{"actual":[16,"G"],"check":"control #3","expected":[16,"G"],"passed":true},{"actual":[4,"G"],"check":"control #4","expected":[4,"G"],"passed":true},{"actual":[2,"S"],"check":"control #5","expected":[2,"S"],"passed":true},{"actual":[1,"P"],"check":"boundary #12","expected":[60,"P"],"passed":false},{"actual":[1,"G"],"check":"boundary #38","expected":[60,"G"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control #0\", \"actual\": [20, \"Q\"], \"expected\": [20, \"Q\"], \"passed\": true}, {\"check\": \"control #1\", \"actual\": [1, \"X\"], \"expected\": [1, \"X\"], \"passed\": true}, {\"check\": \"control #2\", \"actual\": [50, \"X\"], \"expected\": [50, \"X\"], \"passed\": true}, {\"check\": \"control #3\", \"actual\": [16, \"G\"], \"expected\": [16, \"G\"], \"passed\": true}, {\"check\": \"control #4\", \"actual\": [4, \"G\"], \"expected\": [4, \"G\"], \"passed\": true}, {\"check\": \"control #5\", \"actual\": [2, \"S\"], \"expected\": [2, \"S\"], \"passed\": true}, {\"check\": \"boundary #12\", \"actual\": [1, \"P\"], \"expected\": [60, \"P\"], \"passed\": false}, {\"check\": \"boundary #38\", \"actual\": [1, \"G\"], \"expected\": [60, \"G\"], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.326,"exit_code":1,"observations":[{"actual":[20,"Q"],"check":"control #0","expected":[20,"Q"],"passed":true},{"actual":[1,"X"],"check":"control #1","expected":[1,"X"],"passed":true},{"actual":[50,"X"],"check":"control #2","expected":[50,"X"],"passed":true},{"actual":[16,"G"],"check":"control #3","expected":[16,"G"],"passed":true},{"actual":[4,"G"],"check":"control #4","expected":[4,"G"],"passed":true},{"actual":[2,"S"],"check":"control #5","expected":[2,"S"],"passed":true},{"actual":[61,"P"],"check":"boundary #12","expected":[60,"P"],"passed":false},{"actual":[61,"G"],"check":"boundary #38","expected":[60,"G"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control #0\", \"actual\": [20, \"Q\"], \"expected\": [20, \"Q\"], \"passed\": true}, {\"check\": \"control #1\", \"actual\": [1, \"X\"], \"expected\": [1, \"X\"], \"passed\": true}, {\"check\": \"control #2\", \"actual\": [50, \"X\"], \"expected\": [50, \"X\"], \"passed\": true}, {\"check\": \"control #3\", \"actual\": [16, \"G\"], \"expected\": [16, \"G\"], \"passed\": true}, {\"check\": \"control #4\", \"actual\": [4, \"G\"], \"expected\": [4, \"G\"], \"passed\": true}, {\"check\": \"control #5\", \"actual\": [2, \"S\"], \"expected\": [2, \"S\"], \"passed\": true}, {\"check\": \"boundary #12\", \"actual\": [61, \"P\"], \"expected\": [60, \"P\"], \"passed\": false}, {\"check\": \"boundary #38\", \"actual\": [61, \"G\"], \"expected\": [60, \"G\"], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":38.363,"exit_code":0,"observations":[{"actual":[20,"Q"],"check":"control #0","expected":[20,"Q"],"passed":true},{"actual":[1,"X"],"check":"control #1","expected":[1,"X"],"passed":true},{"actual":[50,"X"],"check":"control #2","expected":[50,"X"],"passed":true},{"actual":[16,"G"],"check":"control #3","expected":[16,"G"],"passed":true},{"actual":[4,"G"],"check":"control #4","expected":[4,"G"],"passed":true},{"actual":[2,"S"],"check":"control #5","expected":[2,"S"],"passed":true},{"actual":[60,"P"],"check":"boundary #12","expected":[60,"P"],"passed":true},{"actual":[60,"G"],"check":"boundary #38","expected":[60,"G"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control #0\", \"actual\": [20, \"Q\"], \"expected\": [20, \"Q\"], \"passed\": true}, {\"check\": \"control #1\", \"actual\": [1, \"X\"], \"expected\": [1, \"X\"], \"passed\": true}, {\"check\": \"control #2\", \"actual\": [50, \"X\"], \"expected\": [50, \"X\"], \"passed\": true}, {\"check\": \"control #3\", \"actual\": [16, \"G\"], \"expected\": [16, \"G\"], \"passed\": true}, {\"check\": \"control #4\", \"actual\": [4, \"G\"], \"expected\": [4, \"G\"], \"passed\": true}, {\"check\": \"control #5\", \"actual\": [2, \"S\"], \"expected\": [2, \"S\"], \"passed\": true}, {\"check\": \"boundary #12\", \"actual\": [60, \"P\"], \"expected\": [60, \"P\"], \"passed\": true}, {\"check\": \"boundary #38\", \"actual\": [60, \"G\"], \"expected\": [60, \"G\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}