{"abstract":"Puerto Rico 009 and Virgin Islands 008 addresses are flagged mismatched.","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.","contract_signature":"zip5, state, base_zone, service","evaluation_group":"w2-shipping-zone-noncontiguous","failed_approach":"Listing only 006 and 009 still rejects 007 and 008.","family":"w2-shipping-zone-noncontiguous-caribbean-range","id":"FA-95666","implementations":{"attempt":{"sha256":"ce2d01eb4f9ae39c3693a62e6bd948228fae45b81935e5ccef58bb8345685b36","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 z3 in (6, 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 = [[['san juan', ['00901', 'PR', 8, 'GROUND'], 22], ['generated mix 11', ['00801', 'VI', 5, 'GROUND'], 22], ['military postal', ['09001', 'AE', 5, 'POSTAL'], 'MILITARY'], ['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['hawaii mismatch', ['96901', 'HI', 8, 'GROUND'], 'MISMATCH'], ['ak 996', ['99601', 'AK', 8, 'GROUND'], 17], ['military ground', ['96201', 'AP', 5, 'GROUND'], 'NO_SERVICE'], ['generated mix 3', ['96701', 'HI', 2, 'AIR'], 14]], [['generated mix 48', ['00901', 'PR', 2, 'POSTAL'], 22], ['generated mix 79', ['00801', 'VI', 8, 'GROUND'], 22], ['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']], [['san juan', ['00901', 'PR', 8, 'GROUND'], 22], ['generated mix 49', ['00801', 'VI', 4, 'GROUND'], 22], ['ak 996', ['99601', 'AK', 8, 'GROUND'], 17], ['virgin islands', ['00801', 'VI', 8, 'GROUND'], 22], ['military postal', ['09001', 'AE', 5, 'POSTAL'], 'MILITARY'], ['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['generated mix 17', ['10001', 'NY', 2, 'POSTAL'], 2], ['generated mix 25', ['99601', 'AK', 6, 'POSTAL'], 17]], [['generated mix 48', ['00901', 'PR', 2, 'POSTAL'], 22], ['generated mix 26', ['00801', 'VI', 2, 'POSTAL'], 22], ['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 28', ['99901', 'AK', 3, 'GROUND'], 18], ['generated mix 36', ['34001', 'AA', 7, 'GROUND'], 'NO_SERVICE']], [['san juan', ['00901', 'PR', 8, 'GROUND'], 22], ['virgin islands', ['00801', 'VI', 8, 'GROUND'], 22], ['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['anchorage', ['99501', 'AK', 8, 'GROUND'], 17], ['ak remote', ['99701', 'AK', 8, 'GROUND'], 18], ['military postal', ['09001', 'AE', 5, 'POSTAL'], 'MILITARY'], ['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":"64a2bf482bd0b868e67b67cef8eb9c8730110fd720fdc970153577582a8828b3","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 <= 7 else 'MISMATCH'\n    return base_zone\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['san juan', ['00901', 'PR', 8, 'GROUND'], 22], ['generated mix 11', ['00801', 'VI', 5, 'GROUND'], 22], ['military postal', ['09001', 'AE', 5, 'POSTAL'], 'MILITARY'], ['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['hawaii mismatch', ['96901', 'HI', 8, 'GROUND'], 'MISMATCH'], ['ak 996', ['99601', 'AK', 8, 'GROUND'], 17], ['military ground', ['96201', 'AP', 5, 'GROUND'], 'NO_SERVICE'], ['generated mix 3', ['96701', 'HI', 2, 'AIR'], 14]], [['generated mix 48', ['00901', 'PR', 2, 'POSTAL'], 22], ['generated mix 79', ['00801', 'VI', 8, 'GROUND'], 22], ['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']], [['san juan', ['00901', 'PR', 8, 'GROUND'], 22], ['generated mix 49', ['00801', 'VI', 4, 'GROUND'], 22], ['ak 996', ['99601', 'AK', 8, 'GROUND'], 17], ['virgin islands', ['00801', 'VI', 8, 'GROUND'], 22], ['military postal', ['09001', 'AE', 5, 'POSTAL'], 'MILITARY'], ['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['generated mix 17', ['10001', 'NY', 2, 'POSTAL'], 2], ['generated mix 25', ['99601', 'AK', 6, 'POSTAL'], 17]], [['generated mix 48', ['00901', 'PR', 2, 'POSTAL'], 22], ['generated mix 26', ['00801', 'VI', 2, 'POSTAL'], 22], ['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 28', ['99901', 'AK', 3, 'GROUND'], 18], ['generated mix 36', ['34001', 'AA', 7, 'GROUND'], 'NO_SERVICE']], [['san juan', ['00901', 'PR', 8, 'GROUND'], 22], ['virgin islands', ['00801', 'VI', 8, 'GROUND'], 22], ['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['anchorage', ['99501', 'AK', 8, 'GROUND'], 17], ['ak remote', ['99701', 'AK', 8, 'GROUND'], 18], ['military postal', ['09001', 'AE', 5, 'POSTAL'], 'MILITARY'], ['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-caribbean-range","generated_at":"2026-09-29T14:52:15.704158+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.","root_cause":"The Caribbean ZIP3 range stops at 007.","sha256":"4150a37e860566a98e6b03afd99e5d5cefb6c5e3a8c73fccd2b18cd401400ecc","title":"Destination zones: San Juan and USVI rejected · 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":41.37,"exit_code":1,"observations":[{"actual":22,"check":"san juan","expected":22,"passed":true},{"actual":"MISMATCH","check":"generated mix 11","expected":22,"passed":false},{"actual":"MILITARY","check":"military postal","expected":"MILITARY","passed":true},{"actual":"MILITARY","check":"americas military","expected":"MILITARY","passed":true},{"actual":"MISMATCH","check":"hawaii mismatch","expected":"MISMATCH","passed":true},{"actual":17,"check":"ak 996","expected":17,"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\": \"san juan\", \"actual\": 22, \"expected\": 22, \"passed\": true}, {\"check\": \"generated mix 11\", \"actual\": \"MISMATCH\", \"expected\": 22, \"passed\": false}, {\"check\": \"military postal\", \"actual\": \"MILITARY\", \"expected\": \"MILITARY\", \"passed\": true}, {\"check\": \"americas military\", \"actual\": \"MILITARY\", \"expected\": \"MILITARY\", \"passed\": true}, {\"check\": \"hawaii mismatch\", \"actual\": \"MISMATCH\", \"expected\": \"MISMATCH\", \"passed\": true}, {\"check\": \"ak 996\", \"actual\": 17, \"expected\": 17, \"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":38.075,"exit_code":1,"observations":[{"actual":"MISMATCH","check":"san juan","expected":22,"passed":false},{"actual":"MISMATCH","check":"generated mix 11","expected":22,"passed":false},{"actual":"MILITARY","check":"military postal","expected":"MILITARY","passed":true},{"actual":"MILITARY","check":"americas military","expected":"MILITARY","passed":true},{"actual":"MISMATCH","check":"hawaii mismatch","expected":"MISMATCH","passed":true},{"actual":17,"check":"ak 996","expected":17,"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\": \"san juan\", \"actual\": \"MISMATCH\", \"expected\": 22, \"passed\": false}, {\"check\": \"generated mix 11\", \"actual\": \"MISMATCH\", \"expected\": 22, \"passed\": false}, {\"check\": \"military postal\", \"actual\": \"MILITARY\", \"expected\": \"MILITARY\", \"passed\": true}, {\"check\": \"americas military\", \"actual\": \"MILITARY\", \"expected\": \"MILITARY\", \"passed\": true}, {\"check\": \"hawaii mismatch\", \"actual\": \"MISMATCH\", \"expected\": \"MISMATCH\", \"passed\": true}, {\"check\": \"ak 996\", \"actual\": 17, \"expected\": 17, \"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"}},"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."}}