{"abstract":"Honolulu (968) addresses are rejected as state/ZIP mismatches.","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":"Widening to 969 accepts Guam ZIPs labelled HI.","family":"w2-shipping-zone-noncontiguous-hawaii-range","id":"FA-95661","implementations":{"attempt":{"sha256":"b2d4c14848e8310e7623f878a761e32e53d7060292d3385fce641539eddae1c6","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 <= 969 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 = [[['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['generated mix 57', ['96901', 'HI', 5, 'POSTAL'], 'MISMATCH'], ['military postal', ['09001', 'AE', 5, 'POSTAL'], 'MILITARY'], ['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['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]], [['generated mix 50', ['96813', 'HI', 5, 'GROUND'], 14], ['hawaii mismatch', ['96901', 'HI', 8, 'GROUND'], 'MISMATCH'], ['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['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']], [['generated mix 31', ['96813', 'HI', 6, 'AIR'], 14], ['generated mix 57', ['96901', 'HI', 5, 'POSTAL'], 'MISMATCH'], ['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 16', ['00601', 'PR', 2, 'GROUND'], 22], ['generated mix 24', ['98001', 'AK', 3, 'POSTAL'], 'MISMATCH']], [['generated mix 18', ['96813', 'HI', 3, 'POSTAL'], 14], ['hawaii mismatch', ['96901', 'HI', 8, 'GROUND'], 'MISMATCH'], ['contiguous', ['10001', 'NY', 5, 'GROUND'], 5], ['military ground', ['96201', 'AP', 5, 'GROUND'], 'NO_SERVICE'], ['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['ak 996', ['99601', 'AK', 8, 'GROUND'], 17], ['generated mix 29', ['99901', 'AK', 3, 'AIR'], 18], ['generated mix 37', ['90001', 'CA', 3, 'AIR'], 3]], [['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['generated mix 57', ['96901', 'HI', 5, 'POSTAL'], 'MISMATCH'], ['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['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']]]\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":"abef0eb85f8186e26536613c302d01698782b0fde5cc40c5f5145a9d6566e06b","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 z3 == 967 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 = [[['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['generated mix 57', ['96901', 'HI', 5, 'POSTAL'], 'MISMATCH'], ['military postal', ['09001', 'AE', 5, 'POSTAL'], 'MILITARY'], ['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['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]], [['generated mix 50', ['96813', 'HI', 5, 'GROUND'], 14], ['hawaii mismatch', ['96901', 'HI', 8, 'GROUND'], 'MISMATCH'], ['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['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']], [['generated mix 31', ['96813', 'HI', 6, 'AIR'], 14], ['generated mix 57', ['96901', 'HI', 5, 'POSTAL'], 'MISMATCH'], ['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 16', ['00601', 'PR', 2, 'GROUND'], 22], ['generated mix 24', ['98001', 'AK', 3, 'POSTAL'], 'MISMATCH']], [['generated mix 18', ['96813', 'HI', 3, 'POSTAL'], 14], ['hawaii mismatch', ['96901', 'HI', 8, 'GROUND'], 'MISMATCH'], ['contiguous', ['10001', 'NY', 5, 'GROUND'], 5], ['military ground', ['96201', 'AP', 5, 'GROUND'], 'NO_SERVICE'], ['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['ak 996', ['99601', 'AK', 8, 'GROUND'], 17], ['generated mix 29', ['99901', 'AK', 3, 'AIR'], 18], ['generated mix 37', ['90001', 'CA', 3, 'AIR'], 3]], [['honolulu', ['96813', 'HI', 8, 'GROUND'], 14], ['generated mix 57', ['96901', 'HI', 5, 'POSTAL'], 'MISMATCH'], ['americas military', ['34001', 'AA', 5, 'POSTAL'], 'MILITARY'], ['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']]]\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-hawaii-range","generated_at":"2026-09-29T14:52:15.662400+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":"Only ZIP3 967 is accepted for Hawaii.","sha256":"4dfa9510b16d25f74bcbac69bf2ef729335f478a19f576495be579720330bdf6","title":"Destination zones: Honolulu ZIPs flagged mismatch · 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":39.033,"exit_code":1,"observations":[{"actual":14,"check":"honolulu","expected":14,"passed":true},{"actual":14,"check":"generated mix 57","expected":"MISMATCH","passed":false},{"actual":"MILITARY","check":"military postal","expected":"MILITARY","passed":true},{"actual":"MILITARY","check":"americas military","expected":"MILITARY","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\": \"honolulu\", \"actual\": 14, \"expected\": 14, \"passed\": true}, {\"check\": \"generated mix 57\", \"actual\": 14, \"expected\": \"MISMATCH\", \"passed\": false}, {\"check\": \"military postal\", \"actual\": \"MILITARY\", \"expected\": \"MILITARY\", \"passed\": true}, {\"check\": \"americas military\", \"actual\": \"MILITARY\", \"expected\": \"MILITARY\", \"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.521,"exit_code":1,"observations":[{"actual":"MISMATCH","check":"honolulu","expected":14,"passed":false},{"actual":"MISMATCH","check":"generated mix 57","expected":"MISMATCH","passed":true},{"actual":"MILITARY","check":"military postal","expected":"MILITARY","passed":true},{"actual":"MILITARY","check":"americas military","expected":"MILITARY","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\": \"honolulu\", \"actual\": \"MISMATCH\", \"expected\": 14, \"passed\": false}, {\"check\": \"generated mix 57\", \"actual\": \"MISMATCH\", \"expected\": \"MISMATCH\", \"passed\": true}, {\"check\": \"military postal\", \"actual\": \"MILITARY\", \"expected\": \"MILITARY\", \"passed\": true}, {\"check\": \"americas military\", \"actual\": \"MILITARY\", \"expected\": \"MILITARY\", \"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"}},"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."}}