{"abstract":"Ground service is sold to military addresses that only the postal network delivers.","category":"Shipping rate zone lookup","checks":8,"contract":"Military states AA/AE/AP are served only by POSTAL (\"MILITARY\") else \"NO_SERVICE\". HI must be ZIP3 967-968 (zone 14); AK must be 995-999 with 995-996 zone 17 and 997-999 zone 18; PR and VI must be 006-009 (zone 22). A state/ZIP3 conflict is \"MISMATCH\". Other states return base_zone.","evaluation_group":"w2-shipping-zone-noncontiguous","failed_approach":"Inverting the service test refuses postal and accepts private carriers.","family":"w2-shipping-zone-noncontiguous-military-service","id":"FA-95646","implementations":{"attempt":{"sha256":"cd0b6ad88c6a88942a2ab1e18f7130e05061ea0b539e59e01a9d16505af122ea","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(zip5, state, base_zone, service):\n    z3 = int(zip5[:3])\n    if state in ('AA', 'AE', 'AP'):\n        return 'MILITARY' if service != 'POSTAL' else 'NO_SERVICE'\n    if state == 'HI':\n        return 14 if 967 <= z3 <= 968 else 'MISMATCH'\n    if state == 'AK':\n        if not 995 <= z3 <= 999:\n            return 'MISMATCH'\n        return 17 if z3 <= 996 else 18\n    if state in ('PR', 'VI'):\n        return 22 if 6 <= z3 <= 9 else 'MISMATCH'\n    return base_zone\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['military ground', ['96201', 'AP', 5, 'GROUND'], 'NO_SERVICE'], ['military postal', ['09001', 'AE', 5, 'POSTAL'], 'MILITARY'], ['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['anchorage', ['99501', 'AK', 8, 'GROUND'], 17], ['ak remote', ['99701', 'AK', 8, 'GROUND'], 18], ['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['generated mix 3', ['96701', 'HI', 2, 'AIR'], 14], ['generated mix 11', ['00801', 'VI', 5, 'GROUND'], 22]], [['generated mix 38', ['09001', 'AE', 6, 'AIR'], 'NO_SERVICE'], ['generated mix 15', ['09001', 'AE', 2, 'POSTAL'], 'MILITARY'], ['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['anchorage', ['99501', 'AK', 8, 'GROUND'], 17], ['ak remote', ['99701', 'AK', 8, 'GROUND'], 18], ['virgin islands', ['00801', 'VI', 8, 'GROUND'], 22], ['generated mix 5', ['99701', 'AK', 3, 'AIR'], 18], ['generated mix 13', ['34001', 'AA', 4, 'AIR'], 'NO_SERVICE']], [['generated mix 14', ['34001', 'AA', 6, 'AIR'], 'NO_SERVICE'], ['generated mix 36', ['34001', 'AA', 7, 'GROUND'], 'NO_SERVICE'], ['ak 996', ['99601', 'AK', 8, 'GROUND'], 17], ['san juan', ['00901', 'PR', 8, 'GROUND'], 22], ['contiguous', ['10001', 'NY', 5, 'GROUND'], 5], ['military ground', ['96201', 'AP', 5, 'GROUND'], 'NO_SERVICE'], ['generated mix 17', ['10001', 'NY', 2, 'POSTAL'], 2], ['generated mix 25', ['99601', 'AK', 6, 'POSTAL'], 17]], [['generated mix 59', ['09001', 'AE', 5, 'AIR'], 'NO_SERVICE'], ['virgin islands', ['00801', 'VI', 8, 'GROUND'], 22], ['military postal', ['09001', 'AE', 5, 'POSTAL'], 'MILITARY'], ['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['hawaii mismatch', ['96901', 'HI', 8, 'GROUND'], 'MISMATCH'], ['generated mix 27', ['96201', 'AP', 6, 'POSTAL'], 'MILITARY'], ['generated mix 35', ['00601', 'PR', 2, 'GROUND'], 22], ['generated mix 43', ['96201', 'AP', 6, 'GROUND'], 'NO_SERVICE']], [['generated mix 36', ['34001', 'AA', 7, 'GROUND'], 'NO_SERVICE'], ['military ground', ['96201', 'AP', 5, 'GROUND'], 'NO_SERVICE'], ['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['anchorage', ['99501', 'AK', 8, 'GROUND'], 17], ['ak remote', ['99701', 'AK', 8, 'GROUND'], 18], ['virgin islands', ['00801', 'VI', 8, 'GROUND'], 22], ['generated mix 40', ['99601', 'AK', 7, 'POSTAL'], 17], ['generated mix 48', ['00901', 'PR', 2, 'POSTAL'], 22]]]\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":"e0b19b46361f7d580201445980179cfbf3e93e2e45d3fd6ed6948184efb76bf5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(zip5, state, base_zone, service):\n    z3 = int(zip5[:3])\n    if state in ('AA', 'AE', 'AP'):\n        return 'MILITARY'\n    if state == 'HI':\n        return 14 if 967 <= z3 <= 968 else 'MISMATCH'\n    if state == 'AK':\n        if not 995 <= z3 <= 999:\n            return 'MISMATCH'\n        return 17 if z3 <= 996 else 18\n    if state in ('PR', 'VI'):\n        return 22 if 6 <= z3 <= 9 else 'MISMATCH'\n    return base_zone\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['military ground', ['96201', 'AP', 5, 'GROUND'], 'NO_SERVICE'], ['military postal', ['09001', 'AE', 5, 'POSTAL'], 'MILITARY'], ['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['anchorage', ['99501', 'AK', 8, 'GROUND'], 17], ['ak remote', ['99701', 'AK', 8, 'GROUND'], 18], ['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['generated mix 3', ['96701', 'HI', 2, 'AIR'], 14], ['generated mix 11', ['00801', 'VI', 5, 'GROUND'], 22]], [['generated mix 38', ['09001', 'AE', 6, 'AIR'], 'NO_SERVICE'], ['generated mix 15', ['09001', 'AE', 2, 'POSTAL'], 'MILITARY'], ['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['anchorage', ['99501', 'AK', 8, 'GROUND'], 17], ['ak remote', ['99701', 'AK', 8, 'GROUND'], 18], ['virgin islands', ['00801', 'VI', 8, 'GROUND'], 22], ['generated mix 5', ['99701', 'AK', 3, 'AIR'], 18], ['generated mix 13', ['34001', 'AA', 4, 'AIR'], 'NO_SERVICE']], [['generated mix 14', ['34001', 'AA', 6, 'AIR'], 'NO_SERVICE'], ['generated mix 36', ['34001', 'AA', 7, 'GROUND'], 'NO_SERVICE'], ['ak 996', ['99601', 'AK', 8, 'GROUND'], 17], ['san juan', ['00901', 'PR', 8, 'GROUND'], 22], ['contiguous', ['10001', 'NY', 5, 'GROUND'], 5], ['military ground', ['96201', 'AP', 5, 'GROUND'], 'NO_SERVICE'], ['generated mix 17', ['10001', 'NY', 2, 'POSTAL'], 2], ['generated mix 25', ['99601', 'AK', 6, 'POSTAL'], 17]], [['generated mix 59', ['09001', 'AE', 5, 'AIR'], 'NO_SERVICE'], ['virgin islands', ['00801', 'VI', 8, 'GROUND'], 22], ['military postal', ['09001', 'AE', 5, 'POSTAL'], 'MILITARY'], ['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['hawaii mismatch', ['96901', 'HI', 8, 'GROUND'], 'MISMATCH'], ['generated mix 27', ['96201', 'AP', 6, 'POSTAL'], 'MILITARY'], ['generated mix 35', ['00601', 'PR', 2, 'GROUND'], 22], ['generated mix 43', ['96201', 'AP', 6, 'GROUND'], 'NO_SERVICE']], [['generated mix 36', ['34001', 'AA', 7, 'GROUND'], 'NO_SERVICE'], ['military ground', ['96201', 'AP', 5, 'GROUND'], 'NO_SERVICE'], ['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['anchorage', ['99501', 'AK', 8, 'GROUND'], 17], ['ak remote', ['99701', 'AK', 8, 'GROUND'], 18], ['virgin islands', ['00801', 'VI', 8, 'GROUND'], 22], ['generated mix 40', ['99601', 'AK', 7, 'POSTAL'], 17], ['generated mix 48', ['00901', 'PR', 2, 'POSTAL'], 22]]]\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":"beee29e1bb458f30f28dea738e7b860268c8a4da4d0b23b4528b0cfb5da0c4a8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(zip5, state, base_zone, service):\n    z3 = int(zip5[:3])\n    if state in ('AA', 'AE', 'AP'):\n        return 'MILITARY' if service == 'POSTAL' else 'NO_SERVICE'\n    if state == 'HI':\n        return 14 if 967 <= z3 <= 968 else 'MISMATCH'\n    if state == 'AK':\n        if not 995 <= z3 <= 999:\n            return 'MISMATCH'\n        return 17 if z3 <= 996 else 18\n    if state in ('PR', 'VI'):\n        return 22 if 6 <= z3 <= 9 else 'MISMATCH'\n    return base_zone\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['military ground', ['96201', 'AP', 5, 'GROUND'], 'NO_SERVICE'], ['military postal', ['09001', 'AE', 5, 'POSTAL'], 'MILITARY'], ['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['anchorage', ['99501', 'AK', 8, 'GROUND'], 17], ['ak remote', ['99701', 'AK', 8, 'GROUND'], 18], ['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['generated mix 3', ['96701', 'HI', 2, 'AIR'], 14], ['generated mix 11', ['00801', 'VI', 5, 'GROUND'], 22]], [['generated mix 38', ['09001', 'AE', 6, 'AIR'], 'NO_SERVICE'], ['generated mix 15', ['09001', 'AE', 2, 'POSTAL'], 'MILITARY'], ['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['anchorage', ['99501', 'AK', 8, 'GROUND'], 17], ['ak remote', ['99701', 'AK', 8, 'GROUND'], 18], ['virgin islands', ['00801', 'VI', 8, 'GROUND'], 22], ['generated mix 5', ['99701', 'AK', 3, 'AIR'], 18], ['generated mix 13', ['34001', 'AA', 4, 'AIR'], 'NO_SERVICE']], [['generated mix 14', ['34001', 'AA', 6, 'AIR'], 'NO_SERVICE'], ['generated mix 36', ['34001', 'AA', 7, 'GROUND'], 'NO_SERVICE'], ['ak 996', ['99601', 'AK', 8, 'GROUND'], 17], ['san juan', ['00901', 'PR', 8, 'GROUND'], 22], ['contiguous', ['10001', 'NY', 5, 'GROUND'], 5], ['military ground', ['96201', 'AP', 5, 'GROUND'], 'NO_SERVICE'], ['generated mix 17', ['10001', 'NY', 2, 'POSTAL'], 2], ['generated mix 25', ['99601', 'AK', 6, 'POSTAL'], 17]], [['generated mix 59', ['09001', 'AE', 5, 'AIR'], 'NO_SERVICE'], ['virgin islands', ['00801', 'VI', 8, 'GROUND'], 22], ['military postal', ['09001', 'AE', 5, 'POSTAL'], 'MILITARY'], ['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['hawaii mismatch', ['96901', 'HI', 8, 'GROUND'], 'MISMATCH'], ['generated mix 27', ['96201', 'AP', 6, 'POSTAL'], 'MILITARY'], ['generated mix 35', ['00601', 'PR', 2, 'GROUND'], 22], ['generated mix 43', ['96201', 'AP', 6, 'GROUND'], 'NO_SERVICE']], [['generated mix 36', ['34001', 'AA', 7, 'GROUND'], 'NO_SERVICE'], ['military ground', ['96201', 'AP', 5, 'GROUND'], 'NO_SERVICE'], ['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['anchorage', ['99501', 'AK', 8, 'GROUND'], 17], ['ak remote', ['99701', 'AK', 8, 'GROUND'], 18], ['virgin islands', ['00801', 'VI', 8, 'GROUND'], 22], ['generated mix 40', ['99601', 'AK', 7, 'POSTAL'], 17], ['generated mix 48', ['00901', 'PR', 2, 'POSTAL'], 22]]]\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 ZIP3 ranges and zone numbers. 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-shipping-zone-noncontiguous-military-service","generated_at":"2026-09-29T14:52:15.540191+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Noncontiguous and military destinations have their own zones and service restrictions.","repair":"Return MILITARY only for POSTAL service and NO_SERVICE otherwise.","root_cause":"Military destinations are accepted for any service.","sha256":"77f8a9f30962aba1f34f38f16fb560953502ea00b9ccb0b764f326a1000f8b11","title":"Destination zones: private carrier quoted to APO · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.342,"exit_code":1,"observations":[{"actual":"MILITARY","check":"military ground","expected":"NO_SERVICE","passed":false},{"actual":"NO_SERVICE","check":"military postal","expected":"MILITARY","passed":false},{"actual":14,"check":"honolulu","expected":14,"passed":true},{"actual":17,"check":"anchorage","expected":17,"passed":true},{"actual":18,"check":"ak remote","expected":18,"passed":true},{"actual":"NO_SERVICE","check":"americas military","expected":"MILITARY","passed":false},{"actual":14,"check":"generated mix 3","expected":14,"passed":true},{"actual":22,"check":"generated mix 11","expected":22,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"military ground\", \"actual\": \"MILITARY\", \"expected\": \"NO_SERVICE\", \"passed\": false}, {\"check\": \"military postal\", \"actual\": \"NO_SERVICE\", \"expected\": \"MILITARY\", \"passed\": false}, {\"check\": \"honolulu\", \"actual\": 14, \"expected\": 14, \"passed\": true}, {\"check\": \"anchorage\", \"actual\": 17, \"expected\": 17, \"passed\": true}, {\"check\": \"ak remote\", \"actual\": 18, \"expected\": 18, \"passed\": true}, {\"check\": \"americas military\", \"actual\": \"NO_SERVICE\", \"expected\": \"MILITARY\", \"passed\": false}, {\"check\": \"generated mix 3\", \"actual\": 14, \"expected\": 14, \"passed\": true}, {\"check\": \"generated mix 11\", \"actual\": 22, \"expected\": 22, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":36.981,"exit_code":1,"observations":[{"actual":"MILITARY","check":"military ground","expected":"NO_SERVICE","passed":false},{"actual":"MILITARY","check":"military postal","expected":"MILITARY","passed":true},{"actual":14,"check":"honolulu","expected":14,"passed":true},{"actual":17,"check":"anchorage","expected":17,"passed":true},{"actual":18,"check":"ak remote","expected":18,"passed":true},{"actual":"MILITARY","check":"americas military","expected":"MILITARY","passed":true},{"actual":14,"check":"generated mix 3","expected":14,"passed":true},{"actual":22,"check":"generated mix 11","expected":22,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"military ground\", \"actual\": \"MILITARY\", \"expected\": \"NO_SERVICE\", \"passed\": false}, {\"check\": \"military postal\", \"actual\": \"MILITARY\", \"expected\": \"MILITARY\", \"passed\": true}, {\"check\": \"honolulu\", \"actual\": 14, \"expected\": 14, \"passed\": true}, {\"check\": \"anchorage\", \"actual\": 17, \"expected\": 17, \"passed\": true}, {\"check\": \"ak remote\", \"actual\": 18, \"expected\": 18, \"passed\": true}, {\"check\": \"americas military\", \"actual\": \"MILITARY\", \"expected\": \"MILITARY\", \"passed\": true}, {\"check\": \"generated mix 3\", \"actual\": 14, \"expected\": 14, \"passed\": true}, {\"check\": \"generated mix 11\", \"actual\": 22, \"expected\": 22, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":37.838,"exit_code":0,"observations":[{"actual":"NO_SERVICE","check":"military ground","expected":"NO_SERVICE","passed":true},{"actual":"MILITARY","check":"military postal","expected":"MILITARY","passed":true},{"actual":14,"check":"honolulu","expected":14,"passed":true},{"actual":17,"check":"anchorage","expected":17,"passed":true},{"actual":18,"check":"ak remote","expected":18,"passed":true},{"actual":"MILITARY","check":"americas military","expected":"MILITARY","passed":true},{"actual":14,"check":"generated mix 3","expected":14,"passed":true},{"actual":22,"check":"generated mix 11","expected":22,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"military ground\", \"actual\": \"NO_SERVICE\", \"expected\": \"NO_SERVICE\", \"passed\": true}, {\"check\": \"military postal\", \"actual\": \"MILITARY\", \"expected\": \"MILITARY\", \"passed\": true}, {\"check\": \"honolulu\", \"actual\": 14, \"expected\": 14, \"passed\": true}, {\"check\": \"anchorage\", \"actual\": 17, \"expected\": 17, \"passed\": true}, {\"check\": \"ak remote\", \"actual\": 18, \"expected\": 18, \"passed\": true}, {\"check\": \"americas military\", \"actual\": \"MILITARY\", \"expected\": \"MILITARY\", \"passed\": true}, {\"check\": \"generated mix 3\", \"actual\": 14, \"expected\": 14, \"passed\": true}, {\"check\": \"generated mix 11\", \"actual\": 22, \"expected\": 22, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}