{"abstract":"AA addresses are rated as ordinary Florida destinations.","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":"Adding FM (a freely associated state) still omits AA.","family":"w2-shipping-zone-noncontiguous-military-states","id":"FA-95651","implementations":{"attempt":{"sha256":"4fe1b66ed094b189b0991e513968111374417122a82a086353ffd5ca2965caab","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 ('AE', 'AP', 'FM'):\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 = [[['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['generated mix 13', ['34001', 'AA', 4, 'AIR'], '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], ['military ground', ['96201', 'AP', 5, 'GROUND'], 'NO_SERVICE'], ['generated mix 3', ['96701', 'HI', 2, 'AIR'], 14]], [['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['generated mix 80', ['34001', 'AA', 3, 'POSTAL'], 'MILITARY'], ['hawaii mismatch', ['96901', 'HI', 8, 'GROUND'], 'MISMATCH'], ['ak 996', ['99601', 'AK', 8, 'GROUND'], 17], ['san juan', ['00901', 'PR', 8, 'GROUND'], 22], ['contiguous', ['10001', 'NY', 5, 'GROUND'], 5], ['generated mix 6', ['10001', 'NY', 2, 'GROUND'], 2], ['generated mix 14', ['34001', 'AA', 6, 'AIR'], 'NO_SERVICE']], [['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['generated mix 36', ['34001', 'AA', 7, 'GROUND'], 'NO_SERVICE'], ['ak remote', ['99701', 'AK', 8, 'GROUND'], 18], ['virgin islands', ['00801', 'VI', 8, 'GROUND'], 22], ['military postal', ['09001', 'AE', 5, 'POSTAL'], 'MILITARY'], ['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['generated mix 17', ['10001', 'NY', 2, 'POSTAL'], 2], ['generated mix 25', ['99601', 'AK', 6, 'POSTAL'], 17]], [['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['generated mix 14', ['34001', 'AA', 6, 'AIR'], 'NO_SERVICE'], ['contiguous', ['10001', 'NY', 5, 'GROUND'], 5], ['military ground', ['96201', 'AP', 5, 'GROUND'], 'NO_SERVICE'], ['hawaii mismatch', ['96901', 'HI', 8, 'GROUND'], 'MISMATCH'], ['ak 996', ['99601', 'AK', 8, 'GROUND'], 17], ['generated mix 29', ['99901', 'AK', 3, 'AIR'], 18], ['generated mix 37', ['90001', 'CA', 3, 'AIR'], 3]], [['americas military', ['34001', 'AA', 5, '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 39', ['99901', 'AK', 5, 'AIR'], 18], ['generated mix 47', ['34001', 'AA', 6, 'POSTAL'], 'MILITARY'], ['generated mix 55', ['09001', 'AE', 4, 'GROUND'], 'NO_SERVICE']]]\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":"4621e66555b7cb9e20a26772b30e76903a38beaad87b8e836418b7da7725b6e4","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 ('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 = [[['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['generated mix 13', ['34001', 'AA', 4, 'AIR'], '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], ['military ground', ['96201', 'AP', 5, 'GROUND'], 'NO_SERVICE'], ['generated mix 3', ['96701', 'HI', 2, 'AIR'], 14]], [['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['generated mix 80', ['34001', 'AA', 3, 'POSTAL'], 'MILITARY'], ['hawaii mismatch', ['96901', 'HI', 8, 'GROUND'], 'MISMATCH'], ['ak 996', ['99601', 'AK', 8, 'GROUND'], 17], ['san juan', ['00901', 'PR', 8, 'GROUND'], 22], ['contiguous', ['10001', 'NY', 5, 'GROUND'], 5], ['generated mix 6', ['10001', 'NY', 2, 'GROUND'], 2], ['generated mix 14', ['34001', 'AA', 6, 'AIR'], 'NO_SERVICE']], [['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['generated mix 36', ['34001', 'AA', 7, 'GROUND'], 'NO_SERVICE'], ['ak remote', ['99701', 'AK', 8, 'GROUND'], 18], ['virgin islands', ['00801', 'VI', 8, 'GROUND'], 22], ['military postal', ['09001', 'AE', 5, 'POSTAL'], 'MILITARY'], ['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['generated mix 17', ['10001', 'NY', 2, 'POSTAL'], 2], ['generated mix 25', ['99601', 'AK', 6, 'POSTAL'], 17]], [['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['generated mix 14', ['34001', 'AA', 6, 'AIR'], 'NO_SERVICE'], ['contiguous', ['10001', 'NY', 5, 'GROUND'], 5], ['military ground', ['96201', 'AP', 5, 'GROUND'], 'NO_SERVICE'], ['hawaii mismatch', ['96901', 'HI', 8, 'GROUND'], 'MISMATCH'], ['ak 996', ['99601', 'AK', 8, 'GROUND'], 17], ['generated mix 29', ['99901', 'AK', 3, 'AIR'], 18], ['generated mix 37', ['90001', 'CA', 3, 'AIR'], 3]], [['americas military', ['34001', 'AA', 5, '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 39', ['99901', 'AK', 5, 'AIR'], 18], ['generated mix 47', ['34001', 'AA', 6, 'POSTAL'], 'MILITARY'], ['generated mix 55', ['09001', 'AE', 4, 'GROUND'], 'NO_SERVICE']]]\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":"b7f0159e46d773536317d08ebee9cd80d6719b83df38e0b32cde6b1efd691639","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 = [[['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['generated mix 13', ['34001', 'AA', 4, 'AIR'], '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], ['military ground', ['96201', 'AP', 5, 'GROUND'], 'NO_SERVICE'], ['generated mix 3', ['96701', 'HI', 2, 'AIR'], 14]], [['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['generated mix 80', ['34001', 'AA', 3, 'POSTAL'], 'MILITARY'], ['hawaii mismatch', ['96901', 'HI', 8, 'GROUND'], 'MISMATCH'], ['ak 996', ['99601', 'AK', 8, 'GROUND'], 17], ['san juan', ['00901', 'PR', 8, 'GROUND'], 22], ['contiguous', ['10001', 'NY', 5, 'GROUND'], 5], ['generated mix 6', ['10001', 'NY', 2, 'GROUND'], 2], ['generated mix 14', ['34001', 'AA', 6, 'AIR'], 'NO_SERVICE']], [['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['generated mix 36', ['34001', 'AA', 7, 'GROUND'], 'NO_SERVICE'], ['ak remote', ['99701', 'AK', 8, 'GROUND'], 18], ['virgin islands', ['00801', 'VI', 8, 'GROUND'], 22], ['military postal', ['09001', 'AE', 5, 'POSTAL'], 'MILITARY'], ['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['generated mix 17', ['10001', 'NY', 2, 'POSTAL'], 2], ['generated mix 25', ['99601', 'AK', 6, 'POSTAL'], 17]], [['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['generated mix 14', ['34001', 'AA', 6, 'AIR'], 'NO_SERVICE'], ['contiguous', ['10001', 'NY', 5, 'GROUND'], 5], ['military ground', ['96201', 'AP', 5, 'GROUND'], 'NO_SERVICE'], ['hawaii mismatch', ['96901', 'HI', 8, 'GROUND'], 'MISMATCH'], ['ak 996', ['99601', 'AK', 8, 'GROUND'], 17], ['generated mix 29', ['99901', 'AK', 3, 'AIR'], 18], ['generated mix 37', ['90001', 'CA', 3, 'AIR'], 3]], [['americas military', ['34001', 'AA', 5, '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 39', ['99901', 'AK', 5, 'AIR'], 18], ['generated mix 47', ['34001', 'AA', 6, 'POSTAL'], 'MILITARY'], ['generated mix 55', ['09001', 'AE', 4, 'GROUND'], 'NO_SERVICE']]]\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-states","generated_at":"2026-09-29T14:52:15.619358+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":"Treat AA, AE and AP as military.","root_cause":"The military state list omits AA.","sha256":"acc87edb6e3ad3b19e66fd6176b31f36e28a379b522a8b324ce1ff37d58e932a","title":"Destination zones: Americas military code missed · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.832,"exit_code":1,"observations":[{"actual":5,"check":"americas military","expected":"MILITARY","passed":false},{"actual":4,"check":"generated mix 13","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":"NO_SERVICE","check":"military ground","expected":"NO_SERVICE","passed":true},{"actual":14,"check":"generated mix 3","expected":14,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"americas military\", \"actual\": 5, \"expected\": \"MILITARY\", \"passed\": false}, {\"check\": \"generated mix 13\", \"actual\": 4, \"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\": \"military ground\", \"actual\": \"NO_SERVICE\", \"expected\": \"NO_SERVICE\", \"passed\": true}, {\"check\": \"generated mix 3\", \"actual\": 14, \"expected\": 14, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.544,"exit_code":1,"observations":[{"actual":5,"check":"americas military","expected":"MILITARY","passed":false},{"actual":4,"check":"generated mix 13","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":"NO_SERVICE","check":"military ground","expected":"NO_SERVICE","passed":true},{"actual":14,"check":"generated mix 3","expected":14,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"americas military\", \"actual\": 5, \"expected\": \"MILITARY\", \"passed\": false}, {\"check\": \"generated mix 13\", \"actual\": 4, \"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\": \"military ground\", \"actual\": \"NO_SERVICE\", \"expected\": \"NO_SERVICE\", \"passed\": true}, {\"check\": \"generated mix 3\", \"actual\": 14, \"expected\": 14, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":39.661,"exit_code":0,"observations":[{"actual":"MILITARY","check":"americas military","expected":"MILITARY","passed":true},{"actual":"NO_SERVICE","check":"generated mix 13","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":"NO_SERVICE","check":"military ground","expected":"NO_SERVICE","passed":true},{"actual":14,"check":"generated mix 3","expected":14,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"americas military\", \"actual\": \"MILITARY\", \"expected\": \"MILITARY\", \"passed\": true}, {\"check\": \"generated mix 13\", \"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\": \"military ground\", \"actual\": \"NO_SERVICE\", \"expected\": \"NO_SERVICE\", \"passed\": true}, {\"check\": \"generated mix 3\", \"actual\": 14, \"expected\": 14, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}