{"abstract":"When two equally narrow rows overlap, the later row overrides the earlier one.","category":"Shipping rate zone lookup","checks":8,"contract":"dest is a ZIP string with optional surrounding whitespace, optionally ZIP+4 (\"12345-6789\"), or a 4-digit ZIP whose leading zero was lost (left-pad one zero). chart [[lo3, hi3, zone]] inclusive ZIP3 ranges; the narrowest matching range wins, earliest listed on equal width. Malformed -> \"INVALID\"; no match -> \"NO_ZONE\".","contract_signature":"dest, chart","evaluation_group":"w2-shipping-zone-zip3-chart","failed_approach":"Breaking ties toward the lower zone is not the listed-order rule.","family":"w2-shipping-zone-zip3-chart-equal-width-tie","id":"FA-95361","implementations":{"attempt":{"sha256":"14836af3e2a7c30bb897901f9a07a6e716aafd973cdda3745036f164b76cb621","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(dest, chart):\n    z = dest.strip()\n    if len(z) == 10 and z[5] == '-' and z[6:].isdecimal():\n        z = z[:5]\n    if len(z) == 4 and z.isdecimal():\n        z = '0' + z\n    if len(z) != 5 or not z.isdecimal():\n        return 'INVALID'\n    p = int(z[:3])\n    best = None\n    for lo, hi, zone in chart:\n        if lo <= p <= hi:\n            if best is None or (hi - lo) < (best[1] - best[0]) or ((hi - lo) == (best[1] - best[0]) and zone < best[2]):\n                best = (lo, hi, zone)\n    return best[2] if best else 'NO_ZONE'\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['equal width first listed', ['21500', [[210, 219, 2], [215, 224, 9]]], 2], ['equal width plus four', ['21999-0001', [[200, 299, 1], [210, 219, 7], [215, 224, 3]]], 7], ['zip plus four', ['15012-3456', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 4], ['range upper edge', ['19999', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 5], ['equal width higher zone first', ['21600', [[210, 219, 9], [215, 224, 2]]], 9], ['outside chart', ['40000', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 'NO_ZONE'], ['lost leading zero', ['2134', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 8], ['generated mix 5', ['40000-12a4', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 'INVALID']], [['equal width higher zone first', ['21600', [[210, 219, 9], [215, 224, 2]]], 9], ['nested narrowest', ['21700', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 6], ['equal width plus four', ['21999-0001', [[200, 299, 1], [210, 219, 7], [215, 224, 3]]], 7], ['outside chart', ['40000', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 'NO_ZONE'], ['zip plus four', ['15012-3456', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 4], ['generated mix 7', ['09999', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 8], ['generated mix 15', ['16000', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 5], ['generated mix 23', ['22000', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 3]], [['equal width plus four', ['21999-0001', [[200, 299, 1], [210, 219, 7], [215, 224, 3]]], 7], ['letters', ['123AB', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 'INVALID'], ['padded', [' 30001\\n', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 7], ['lost leading zero', ['2134', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 8], ['nested narrowest', ['21700', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 6], ['generated mix 18', ['15000', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 4], ['generated mix 26', ['\\t15000\\n', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 4], ['generated mix 34', ['15000', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 4]], [['equal width first listed', ['21500', [[210, 219, 2], [215, 224, 9]]], 2], ['equal width higher zone first', ['21600', [[210, 219, 9], [215, 224, 2]]], 9], ['lost leading zero', ['2134', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 8], ['nested narrowest', ['21700', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 6], ['letters', ['123AB', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 'INVALID'], ['padded', [' 30001\\n', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 7], ['generated mix 30', ['999x1', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 'INVALID'], ['generated mix 38', ['9999', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 8]], [['equal width higher zone first', ['21600', [[210, 219, 9], [215, 224, 2]]], 9], ['equal width plus four', ['21999-0001', [[200, 299, 1], [210, 219, 7], [215, 224, 3]]], 7], ['equal width first listed', ['21500', [[210, 219, 2], [215, 224, 9]]], 2], ['outside chart', ['40000', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 'NO_ZONE'], ['zip plus four', ['15012-3456', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 4], ['range upper edge', ['19999', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 5], ['generated mix 41', ['00501', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 8], ['generated mix 49', ['10001', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 5]]]\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":"e646b3077764f59287283980851d346d3600278b74c21449dd75d631afd3ef11","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(dest, chart):\n    z = dest.strip()\n    if len(z) == 10 and z[5] == '-' and z[6:].isdecimal():\n        z = z[:5]\n    if len(z) == 4 and z.isdecimal():\n        z = '0' + z\n    if len(z) != 5 or not z.isdecimal():\n        return 'INVALID'\n    p = int(z[:3])\n    best = None\n    for lo, hi, zone in chart:\n        if lo <= p <= hi:\n            if best is None or (hi - lo) <= (best[1] - best[0]):\n                best = (lo, hi, zone)\n    return best[2] if best else 'NO_ZONE'\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['equal width first listed', ['21500', [[210, 219, 2], [215, 224, 9]]], 2], ['equal width plus four', ['21999-0001', [[200, 299, 1], [210, 219, 7], [215, 224, 3]]], 7], ['zip plus four', ['15012-3456', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 4], ['range upper edge', ['19999', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 5], ['equal width higher zone first', ['21600', [[210, 219, 9], [215, 224, 2]]], 9], ['outside chart', ['40000', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 'NO_ZONE'], ['lost leading zero', ['2134', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 8], ['generated mix 5', ['40000-12a4', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 'INVALID']], [['equal width higher zone first', ['21600', [[210, 219, 9], [215, 224, 2]]], 9], ['nested narrowest', ['21700', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 6], ['equal width plus four', ['21999-0001', [[200, 299, 1], [210, 219, 7], [215, 224, 3]]], 7], ['outside chart', ['40000', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 'NO_ZONE'], ['zip plus four', ['15012-3456', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 4], ['generated mix 7', ['09999', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 8], ['generated mix 15', ['16000', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 5], ['generated mix 23', ['22000', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 3]], [['equal width plus four', ['21999-0001', [[200, 299, 1], [210, 219, 7], [215, 224, 3]]], 7], ['letters', ['123AB', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 'INVALID'], ['padded', [' 30001\\n', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 7], ['lost leading zero', ['2134', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 8], ['nested narrowest', ['21700', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 6], ['generated mix 18', ['15000', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 4], ['generated mix 26', ['\\t15000\\n', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 4], ['generated mix 34', ['15000', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 4]], [['equal width first listed', ['21500', [[210, 219, 2], [215, 224, 9]]], 2], ['equal width higher zone first', ['21600', [[210, 219, 9], [215, 224, 2]]], 9], ['lost leading zero', ['2134', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 8], ['nested narrowest', ['21700', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 6], ['letters', ['123AB', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 'INVALID'], ['padded', [' 30001\\n', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 7], ['generated mix 30', ['999x1', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 'INVALID'], ['generated mix 38', ['9999', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 8]], [['equal width higher zone first', ['21600', [[210, 219, 9], [215, 224, 2]]], 9], ['equal width plus four', ['21999-0001', [[200, 299, 1], [210, 219, 7], [215, 224, 3]]], 7], ['equal width first listed', ['21500', [[210, 219, 2], [215, 224, 9]]], 2], ['outside chart', ['40000', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 'NO_ZONE'], ['zip plus four', ['15012-3456', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 4], ['range upper edge', ['19999', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 5], ['generated mix 41', ['00501', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 8], ['generated mix 49', ['10001', [[5, 99, 8], [100, 199, 5], [150, 159, 4], [200, 299, 3], [210, 219, 2], [215, 219, 6], [300, 399, 7]]], 5]]]\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 chart rows and input normalization; not a carrier-published chart. 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-zip3-chart-equal-width-tie","generated_at":"2026-09-29T14:52:12.997860+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Carrier zone charts map origin to destination ZIP3 ranges, the first step of rating.","root_cause":"The narrowest comparison is inclusive, so ties replace the earlier match.","sha256":"87a05d10c521d0e041d023a3d7c8b5b41f2085641bcc9e53172f969f12fad2eb","title":"Zone chart: later row wins equal-width overlap · 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":38.322,"exit_code":1,"observations":[{"actual":2,"check":"equal width first listed","expected":2,"passed":true},{"actual":3,"check":"equal width plus four","expected":7,"passed":false},{"actual":4,"check":"zip plus four","expected":4,"passed":true},{"actual":5,"check":"range upper edge","expected":5,"passed":true},{"actual":2,"check":"equal width higher zone first","expected":9,"passed":false},{"actual":"NO_ZONE","check":"outside chart","expected":"NO_ZONE","passed":true},{"actual":8,"check":"lost leading zero","expected":8,"passed":true},{"actual":"INVALID","check":"generated mix 5","expected":"INVALID","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"equal width first listed\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"equal width plus four\", \"actual\": 3, \"expected\": 7, \"passed\": false}, {\"check\": \"zip plus four\", \"actual\": 4, \"expected\": 4, \"passed\": true}, {\"check\": \"range upper edge\", \"actual\": 5, \"expected\": 5, \"passed\": true}, {\"check\": \"equal width higher zone first\", \"actual\": 2, \"expected\": 9, \"passed\": false}, {\"check\": \"outside chart\", \"actual\": \"NO_ZONE\", \"expected\": \"NO_ZONE\", \"passed\": true}, {\"check\": \"lost leading zero\", \"actual\": 8, \"expected\": 8, \"passed\": true}, {\"check\": \"generated mix 5\", \"actual\": \"INVALID\", \"expected\": \"INVALID\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.339,"exit_code":1,"observations":[{"actual":9,"check":"equal width first listed","expected":2,"passed":false},{"actual":3,"check":"equal width plus four","expected":7,"passed":false},{"actual":4,"check":"zip plus four","expected":4,"passed":true},{"actual":5,"check":"range upper edge","expected":5,"passed":true},{"actual":2,"check":"equal width higher zone first","expected":9,"passed":false},{"actual":"NO_ZONE","check":"outside chart","expected":"NO_ZONE","passed":true},{"actual":8,"check":"lost leading zero","expected":8,"passed":true},{"actual":"INVALID","check":"generated mix 5","expected":"INVALID","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"equal width first listed\", \"actual\": 9, \"expected\": 2, \"passed\": false}, {\"check\": \"equal width plus four\", \"actual\": 3, \"expected\": 7, \"passed\": false}, {\"check\": \"zip plus four\", \"actual\": 4, \"expected\": 4, \"passed\": true}, {\"check\": \"range upper edge\", \"actual\": 5, \"expected\": 5, \"passed\": true}, {\"check\": \"equal width higher zone first\", \"actual\": 2, \"expected\": 9, \"passed\": false}, {\"check\": \"outside chart\", \"actual\": \"NO_ZONE\", \"expected\": \"NO_ZONE\", \"passed\": true}, {\"check\": \"lost leading zero\", \"actual\": 8, \"expected\": 8, \"passed\": true}, {\"check\": \"generated mix 5\", \"actual\": \"INVALID\", \"expected\": \"INVALID\", \"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."}}