FA-95661 / Shipping rate zone lookup / Open access

Destination zones: Honolulu ZIPs flagged mismatch · case 01

Honolulu (968) addresses are rejected as state/ZIP mismatches.

Verified by executionVariant 1 · 8 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

Only ZIP3 967 is accepted for Hawaii.

VERIFIED REPAIR

Accept Hawaii ZIP3 967 and 968.

Unsuccessful approach: Widening to 969 accepts Guam ZIPs labelled HI.

Case 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.

Why this case matters

Noncontiguous and military destinations have their own zones and service restrictions.

1 / The failure

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(zip5, state, base_zone, service):
    z3 = int(zip5[:3])
    if state in ('AA', 'AE', 'AP'):
        return 'MILITARY' if service == 'POSTAL' else 'NO_SERVICE'
    if state == 'HI':
        return 14 if z3 == 967 else 'MISMATCH'
    if state == 'AK':
        if not 995 <= z3 <= 999:
            return 'MISMATCH'
        return 17 if z3 <= 996 else 18
    if state in ('PR', 'VI'):
        return 22 if 6 <= z3 <= 9 else 'MISMATCH'
    return base_zone
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['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']]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
honolulu	`MISMATCH`	`14`	Failed
generated mix 57	`MISMATCH`	`MISMATCH`	Passed
military postal	`MILITARY`	`MILITARY`	Passed
americas military	`MILITARY`	`MILITARY`	Passed
anchorage	`17`	`17`	Passed
ak remote	`18`	`18`	Passed
military ground	`NO_SERVICE`	`NO_SERVICE`	Passed
generated mix 3	`14`	`14`	Passed

SHA-256 / abef0eb85f8186e26536613c302d01698782b0fde5cc40c5f5145a9d6566e06b

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(zip5, state, base_zone, service):
    z3 = int(zip5[:3])
    if state in ('AA', 'AE', 'AP'):
        return 'MILITARY' if service == 'POSTAL' else 'NO_SERVICE'
    if state == 'HI':
        return 14 if 967 <= z3 <= 969 else 'MISMATCH'
    if state == 'AK':
        if not 995 <= z3 <= 999:
            return 'MISMATCH'
        return 17 if z3 <= 996 else 18
    if state in ('PR', 'VI'):
        return 22 if 6 <= z3 <= 9 else 'MISMATCH'
    return base_zone
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['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']]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
honolulu	`14`	`14`	Passed
generated mix 57	`14`	`MISMATCH`	Failed
military postal	`MILITARY`	`MILITARY`	Passed
americas military	`MILITARY`	`MILITARY`	Passed
anchorage	`17`	`17`	Passed
ak remote	`18`	`18`	Passed
military ground	`NO_SERVICE`	`NO_SERVICE`	Passed
generated mix 3	`14`	`14`	Passed

SHA-256 / b2d4c14848e8310e7623f878a761e32e53d7060292d3385fce641539eddae1c6

3 / The verified repair

Exit 0

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(zip5, state, base_zone, service):
    z3 = int(zip5[:3])
    if state in ('AA', 'AE', 'AP'):
        return 'MILITARY' if service == 'POSTAL' else 'NO_SERVICE'
    if state == 'HI':
        return 14 if 967 <= z3 <= 968 else 'MISMATCH'
    if state == 'AK':
        if not 995 <= z3 <= 999:
            return 'MISMATCH'
        return 17 if z3 <= 996 else 18
    if state in ('PR', 'VI'):
        return 22 if 6 <= z3 <= 9 else 'MISMATCH'
    return base_zone
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['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']]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
honolulu	`14`	`14`	Passed
generated mix 57	`MISMATCH`	`MISMATCH`	Passed
military postal	`MILITARY`	`MILITARY`	Passed
americas military	`MILITARY`	`MILITARY`	Passed
anchorage	`17`	`17`	Passed
ak remote	`18`	`18`	Passed
military ground	`NO_SERVICE`	`NO_SERVICE`	Passed
generated mix 3	`14`	`14`	Passed

SHA-256 / 1a1ae4d6859511469c5e27409b0f1a824475e6bb7782345fc06c5fb231c7cfb7

Verification & scope

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.

Observations recorded using Python 3.12.14 at 2026-09-29T14:52:15.662400+00:00.

Case digest / 3a9243e3d38cd46b7270e8683e417b8558b71b7a9911c7e40b247337f89c80ec