{"abstract":"A destination exactly at a band limit is rated one zone higher.","category":"Shipping rate zone lookup","checks":8,"contract":"dest [x, y] and points [[name, x, y, linehaul_cents]] on a mile grid. Distance = straight line rounded up to a whole mile. Zone bands (miles, inclusive upper): 50, 150, 300, 600, 1000, 1400, 1800 -> zones 1-7, beyond -> 8. Choose the point with the lowest zone, then linehaul, then name. Return [name, zone, miles] or None.","contract_signature":"dest, points","evaluation_group":"w2-shipping-zone-injection-zone","failed_approach":"Scanning bands from the top returns the widest band that contains the distance.","family":"w2-shipping-zone-injection-zone-band-edge","id":"FA-95581","implementations":{"attempt":{"sha256":"6741c44d635dfc5c8189e4c8f7b21d64524b87a12d62b264a100a986d762bb52","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(dest, points):\n    BANDS = [50, 150, 300, 600, 1000, 1400, 1800]\n    def zone_for(m):\n        for i, lim in reversed(list(enumerate(BANDS))):\n            if m <= lim:\n                return i + 1\n        return 8\n    best = None\n    for name, x, y, lh in points:\n        sq = (x - dest[0]) ** 2 + (y - dest[1]) ** 2\n        s = math.isqrt(sq)\n        miles = s + (1 if s * s < sq else 0)\n        z = zone_for(miles)\n        key = (z, lh, name)\n        if best is None or key < best[0]:\n            best = (key, [name, z, miles])\n    return best[1] if best else None\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['exact 50 miles', [[0, 0], [['A', 30, 40, 500]]], ['A', 1, 50]], ['just over', [[0, 0], [['A', 30, 41, 500]]], ['A', 2, 51]], ['linehaul tiebreak', [[0, 0], [['A', 100, 0, 900], ['B', 0, 120, 300]]], ['B', 2, 120]], ['name tiebreak', [[0, 0], [['Z', 10, 0, 100], ['M', 0, 10, 100]]], ['M', 1, 10]], ['no points', [[0, 0], []], None], ['zone beats linehaul', [[0, 0], [['A', 40, 0, 900], ['B', 0, 120, 300]]], ['A', 1, 40]], ['far', [[0, 0], [['A', 2000, 0, 1]]], ['A', 8, 2000]], ['generated mix 8', [[5, 0], [['GA', 300, 40, 300]]], ['GA', 3, 298]]], [['generated mix 45', [[5, 3], [['IL', 2000, 150, 100], ['PA', 590, 400, 100], ['TX', 30, 150, 300]]], ['TX', 2, 150]], ['generated mix 2', [[-10, 3], [['IL', 2000, 41, 100], ['TX', 590, 150, 300]]], ['TX', 5, 618]], ['zone beats linehaul', [[0, 0], [['A', 40, 0, 900], ['B', 0, 120, 300]]], ['A', 1, 40]], ['far', [[0, 0], [['A', 2000, 0, 1]]], ['A', 8, 2000]], ['exact 50 miles', [[0, 0], [['A', 30, 40, 500]]], ['A', 1, 50]], ['linehaul tiebreak', [[0, 0], [['A', 100, 0, 900], ['B', 0, 120, 300]]], ['B', 2, 120]], ['generated mix 10', [[5, 0], [['GA', 2000, 400, 900], ['IL', 1500, 41, 300]]], ['IL', 7, 1496]], ['generated mix 18', [[5, 3], [['IL', 30, 41, 300], ['IL', 120, 400, 300]]], ['IL', 1, 46]]], [['generated mix 12', [[-10, 0], [['GA', 40, 0, 100]]], ['GA', 1, 50]], ['generated mix 7', [[5, 3], [['NJ', 0, 41, 300], ['NJ', 100, 400, 300], ['NJ', 0, 0, 100]]], ['NJ', 1, 6]], ['no points', [[0, 0], []], None], ['just over', [[0, 0], [['A', 30, 41, 500]]], ['A', 2, 51]], ['zone beats linehaul', [[0, 0], [['A', 40, 0, 900], ['B', 0, 120, 300]]], ['A', 1, 40]], ['far', [[0, 0], [['A', 2000, 0, 1]]], ['A', 8, 2000]], ['generated mix 22', [[-10, 0], [['IL', 40, 40, 100], ['GA', 1000, 40, 300], ['GA', 590, 40, 300]]], ['IL', 2, 65]], ['generated mix 30', [[-10, 3], [['OH', 0, 41, 300], ['PA', 300, 1, 300], ['NJ', 290, 40, 300]]], ['OH', 1, 40]]], [['generated mix 5', [[0, 0], [['GA', 1500, 40, 100], ['NJ', 30, 40, 100], ['OH', 1000, 400, 300]]], ['NJ', 1, 50]], ['generated mix 13', [[5, 0], [['GA', 301, 1, 300], ['PA', 1000, 400, 900], ['NJ', 300, 0, 100]]], ['NJ', 3, 295]], ['linehaul tiebreak', [[0, 0], [['A', 100, 0, 900], ['B', 0, 120, 300]]], ['B', 2, 120]], ['name tiebreak', [[0, 0], [['Z', 10, 0, 100], ['M', 0, 10, 100]]], ['M', 1, 10]], ['no points', [[0, 0], []], None], ['just over', [[0, 0], [['A', 30, 41, 500]]], ['A', 2, 51]], ['generated mix 33', [[0, 3], [['GA', 1500, 150, 900], ['OH', 30, 1, 300]]], ['OH', 1, 31]], ['generated mix 41', [[0, 3], [['OH', 30, 0, 300], ['PA', 1500, 0, 300]]], ['OH', 1, 31]]], [['exact 50 miles', [[0, 0], [['A', 30, 40, 500]]], ['A', 1, 50]], ['generated mix 18', [[5, 3], [['IL', 30, 41, 300], ['IL', 120, 400, 300]]], ['IL', 1, 46]], ['just over', [[0, 0], [['A', 30, 41, 500]]], ['A', 2, 51]], ['zone beats linehaul', [[0, 0], [['A', 40, 0, 900], ['B', 0, 120, 300]]], ['A', 1, 40]], ['far', [[0, 0], [['A', 2000, 0, 1]]], ['A', 8, 2000]], ['generated mix 43', [[5, 3], [['IL', 2000, 40, 900], ['GA', 301, 400, 100], ['TX', 301, 0, 900]]], ['TX', 3, 297]], ['generated mix 51', [[-10, 0], [['NJ', 100, 40, 300], ['IL', 120, 400, 300]]], ['NJ', 2, 118]], ['generated mix 59', [[-10, 0], [['PA', 100, 1, 100], ['OH', 1500, 400, 100]]], ['PA', 2, 111]]]]\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":"d91ee9cc7f31b21fe0b8266737f90d53a277241a82ae60c952b75d570cd6853c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(dest, points):\n    BANDS = [50, 150, 300, 600, 1000, 1400, 1800]\n    def zone_for(m):\n        for i, lim in enumerate(BANDS):\n            if m < lim:\n                return i + 1\n        return 8\n    best = None\n    for name, x, y, lh in points:\n        sq = (x - dest[0]) ** 2 + (y - dest[1]) ** 2\n        s = math.isqrt(sq)\n        miles = s + (1 if s * s < sq else 0)\n        z = zone_for(miles)\n        key = (z, lh, name)\n        if best is None or key < best[0]:\n            best = (key, [name, z, miles])\n    return best[1] if best else None\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['exact 50 miles', [[0, 0], [['A', 30, 40, 500]]], ['A', 1, 50]], ['just over', [[0, 0], [['A', 30, 41, 500]]], ['A', 2, 51]], ['linehaul tiebreak', [[0, 0], [['A', 100, 0, 900], ['B', 0, 120, 300]]], ['B', 2, 120]], ['name tiebreak', [[0, 0], [['Z', 10, 0, 100], ['M', 0, 10, 100]]], ['M', 1, 10]], ['no points', [[0, 0], []], None], ['zone beats linehaul', [[0, 0], [['A', 40, 0, 900], ['B', 0, 120, 300]]], ['A', 1, 40]], ['far', [[0, 0], [['A', 2000, 0, 1]]], ['A', 8, 2000]], ['generated mix 8', [[5, 0], [['GA', 300, 40, 300]]], ['GA', 3, 298]]], [['generated mix 45', [[5, 3], [['IL', 2000, 150, 100], ['PA', 590, 400, 100], ['TX', 30, 150, 300]]], ['TX', 2, 150]], ['generated mix 2', [[-10, 3], [['IL', 2000, 41, 100], ['TX', 590, 150, 300]]], ['TX', 5, 618]], ['zone beats linehaul', [[0, 0], [['A', 40, 0, 900], ['B', 0, 120, 300]]], ['A', 1, 40]], ['far', [[0, 0], [['A', 2000, 0, 1]]], ['A', 8, 2000]], ['exact 50 miles', [[0, 0], [['A', 30, 40, 500]]], ['A', 1, 50]], ['linehaul tiebreak', [[0, 0], [['A', 100, 0, 900], ['B', 0, 120, 300]]], ['B', 2, 120]], ['generated mix 10', [[5, 0], [['GA', 2000, 400, 900], ['IL', 1500, 41, 300]]], ['IL', 7, 1496]], ['generated mix 18', [[5, 3], [['IL', 30, 41, 300], ['IL', 120, 400, 300]]], ['IL', 1, 46]]], [['generated mix 12', [[-10, 0], [['GA', 40, 0, 100]]], ['GA', 1, 50]], ['generated mix 7', [[5, 3], [['NJ', 0, 41, 300], ['NJ', 100, 400, 300], ['NJ', 0, 0, 100]]], ['NJ', 1, 6]], ['no points', [[0, 0], []], None], ['just over', [[0, 0], [['A', 30, 41, 500]]], ['A', 2, 51]], ['zone beats linehaul', [[0, 0], [['A', 40, 0, 900], ['B', 0, 120, 300]]], ['A', 1, 40]], ['far', [[0, 0], [['A', 2000, 0, 1]]], ['A', 8, 2000]], ['generated mix 22', [[-10, 0], [['IL', 40, 40, 100], ['GA', 1000, 40, 300], ['GA', 590, 40, 300]]], ['IL', 2, 65]], ['generated mix 30', [[-10, 3], [['OH', 0, 41, 300], ['PA', 300, 1, 300], ['NJ', 290, 40, 300]]], ['OH', 1, 40]]], [['generated mix 5', [[0, 0], [['GA', 1500, 40, 100], ['NJ', 30, 40, 100], ['OH', 1000, 400, 300]]], ['NJ', 1, 50]], ['generated mix 13', [[5, 0], [['GA', 301, 1, 300], ['PA', 1000, 400, 900], ['NJ', 300, 0, 100]]], ['NJ', 3, 295]], ['linehaul tiebreak', [[0, 0], [['A', 100, 0, 900], ['B', 0, 120, 300]]], ['B', 2, 120]], ['name tiebreak', [[0, 0], [['Z', 10, 0, 100], ['M', 0, 10, 100]]], ['M', 1, 10]], ['no points', [[0, 0], []], None], ['just over', [[0, 0], [['A', 30, 41, 500]]], ['A', 2, 51]], ['generated mix 33', [[0, 3], [['GA', 1500, 150, 900], ['OH', 30, 1, 300]]], ['OH', 1, 31]], ['generated mix 41', [[0, 3], [['OH', 30, 0, 300], ['PA', 1500, 0, 300]]], ['OH', 1, 31]]], [['exact 50 miles', [[0, 0], [['A', 30, 40, 500]]], ['A', 1, 50]], ['generated mix 18', [[5, 3], [['IL', 30, 41, 300], ['IL', 120, 400, 300]]], ['IL', 1, 46]], ['just over', [[0, 0], [['A', 30, 41, 500]]], ['A', 2, 51]], ['zone beats linehaul', [[0, 0], [['A', 40, 0, 900], ['B', 0, 120, 300]]], ['A', 1, 40]], ['far', [[0, 0], [['A', 2000, 0, 1]]], ['A', 8, 2000]], ['generated mix 43', [[5, 3], [['IL', 2000, 40, 900], ['GA', 301, 400, 100], ['TX', 301, 0, 900]]], ['TX', 3, 297]], ['generated mix 51', [[-10, 0], [['NJ', 100, 40, 300], ['IL', 120, 400, 300]]], ['NJ', 2, 118]], ['generated mix 59', [[-10, 0], [['PA', 100, 1, 100], ['OH', 1500, 400, 100]]], ['PA', 2, 111]]]]\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":"Grid distance stand-in; not geodesic distances. 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-injection-zone-band-edge","generated_at":"2026-09-29T14:52:14.994539+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Zone skipping injects parcels at the hub that minimizes delivery zone and linehaul.","root_cause":"Band membership uses a strict comparison with the band limit.","sha256":"eb16de3fd57aa104bcbd8e91d8c9f055daeb1f052c957a496a0808b845786a0c","title":"Injection zone: band limit exclusive · 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.543,"exit_code":1,"observations":[{"actual":["A",7,50],"check":"exact 50 miles","expected":["A",1,50],"passed":false},{"actual":["A",7,51],"check":"just over","expected":["A",2,51],"passed":false},{"actual":["B",7,120],"check":"linehaul tiebreak","expected":["B",2,120],"passed":false},{"actual":["M",7,10],"check":"name tiebreak","expected":["M",1,10],"passed":false},{"actual":null,"check":"no points","expected":null,"passed":true},{"actual":["B",7,120],"check":"zone beats linehaul","expected":["A",1,40],"passed":false},{"actual":["A",8,2000],"check":"far","expected":["A",8,2000],"passed":true},{"actual":["GA",7,298],"check":"generated mix 8","expected":["GA",3,298],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"exact 50 miles\", \"actual\": [\"A\", 7, 50], \"expected\": [\"A\", 1, 50], \"passed\": false}, {\"check\": \"just over\", \"actual\": [\"A\", 7, 51], \"expected\": [\"A\", 2, 51], \"passed\": false}, {\"check\": \"linehaul tiebreak\", \"actual\": [\"B\", 7, 120], \"expected\": [\"B\", 2, 120], \"passed\": false}, {\"check\": \"name tiebreak\", \"actual\": [\"M\", 7, 10], \"expected\": [\"M\", 1, 10], \"passed\": false}, {\"check\": \"no points\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"zone beats linehaul\", \"actual\": [\"B\", 7, 120], \"expected\": [\"A\", 1, 40], \"passed\": false}, {\"check\": \"far\", \"actual\": [\"A\", 8, 2000], \"expected\": [\"A\", 8, 2000], \"passed\": true}, {\"check\": \"generated mix 8\", \"actual\": [\"GA\", 7, 298], \"expected\": [\"GA\", 3, 298], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.793,"exit_code":1,"observations":[{"actual":["A",2,50],"check":"exact 50 miles","expected":["A",1,50],"passed":false},{"actual":["A",2,51],"check":"just over","expected":["A",2,51],"passed":true},{"actual":["B",2,120],"check":"linehaul tiebreak","expected":["B",2,120],"passed":true},{"actual":["M",1,10],"check":"name tiebreak","expected":["M",1,10],"passed":true},{"actual":null,"check":"no points","expected":null,"passed":true},{"actual":["A",1,40],"check":"zone beats linehaul","expected":["A",1,40],"passed":true},{"actual":["A",8,2000],"check":"far","expected":["A",8,2000],"passed":true},{"actual":["GA",3,298],"check":"generated mix 8","expected":["GA",3,298],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"exact 50 miles\", \"actual\": [\"A\", 2, 50], \"expected\": [\"A\", 1, 50], \"passed\": false}, {\"check\": \"just over\", \"actual\": [\"A\", 2, 51], \"expected\": [\"A\", 2, 51], \"passed\": true}, {\"check\": \"linehaul tiebreak\", \"actual\": [\"B\", 2, 120], \"expected\": [\"B\", 2, 120], \"passed\": true}, {\"check\": \"name tiebreak\", \"actual\": [\"M\", 1, 10], \"expected\": [\"M\", 1, 10], \"passed\": true}, {\"check\": \"no points\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"zone beats linehaul\", \"actual\": [\"A\", 1, 40], \"expected\": [\"A\", 1, 40], \"passed\": true}, {\"check\": \"far\", \"actual\": [\"A\", 8, 2000], \"expected\": [\"A\", 8, 2000], \"passed\": true}, {\"check\": \"generated mix 8\", \"actual\": [\"GA\", 3, 298], \"expected\": [\"GA\", 3, 298], \"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."}}