FA-95651 / Shipping rate zone lookup / Open access

Destination zones: Americas military code missed · case 01

AA addresses are rated as ordinary Florida destinations.

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

ROOT CAUSE

The military state list omits AA.

VERIFIED REPAIR

Treat AA, AE and AP as military.

Unsuccessful approach: Adding FM (a freely associated state) still omits AA.

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 ('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 = [[['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']]]
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
americas military	`5`	`MILITARY`	Failed
generated mix 13	`4`	`NO_SERVICE`	Failed
military postal	`MILITARY`	`MILITARY`	Passed
honolulu	`14`	`14`	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 / 4621e66555b7cb9e20a26772b30e76903a38beaad87b8e836418b7da7725b6e4

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 ('AE', 'AP', 'FM'):
        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 = [[['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']]]
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
americas military	`5`	`MILITARY`	Failed
generated mix 13	`4`	`NO_SERVICE`	Failed
military postal	`MILITARY`	`MILITARY`	Passed
honolulu	`14`	`14`	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 / 4fe1b66ed094b189b0991e513968111374417122a82a086353ffd5ca2965caab

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 = [[['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']]]
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
americas military	`MILITARY`	`MILITARY`	Passed
generated mix 13	`NO_SERVICE`	`NO_SERVICE`	Passed
military postal	`MILITARY`	`MILITARY`	Passed
honolulu	`14`	`14`	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 / b7f0159e46d773536317d08ebee9cd80d6719b83df38e0b32cde6b1efd691639

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.619358+00:00.

Case digest / acc87edb6e3ad3b19e66fd6176b31f36e28a379b522a8b324ce1ff37d58e932a