{"abstract":"When deficit and actual charges are equal the bill shows phantom deficit weight.","category":"Shipping rate zone lookup","checks":8,"contract":"Weight breaks 0, 500, 1000, 2000, 5000, 10000 lb with cents-per-cwt rates for the lane. Weight rounds up to a whole lb (min 1) and is rated at its break: ceil(w * rate / 100). Deficit rating: if billing any heavier break minimum at that break rate is strictly cheaper, use the cheapest such. Charge is at least min_charge. Return [charge, break index, rated weight].","contract_signature":"weight, rates, min_charge","evaluation_group":"w2-shipping-zone-ltl-breaks","failed_approach":"Comparing each break with the original cost can replace a cheaper deficit with a costlier later one.","family":"w2-shipping-zone-ltl-breaks-deficit-comparison","id":"FA-95826","implementations":{"attempt":{"sha256":"8f8172771229e611bfa58683e88927ab65c0d6cdef1992cfff8b4e8055245ea7","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(weight, rates, min_charge):\n    BREAKS = [0, 500, 1000, 2000, 5000, 10000]\n    w = max(1, math.ceil(weight))\n    idx = max(i for i, b in enumerate(BREAKS) if w >= b)\n    cost = -(-w * rates[idx] // 100)\n    best = [cost, idx, w]\n    for j in range(idx + 1, len(BREAKS)):\n        alt = BREAKS[j] * rates[j] // 100\n        if alt < cost:\n            best = [alt, j, BREAKS[j]]\n    return [max(best[0], min_charge), best[1], best[2]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['tie keeps actual', [450, [4000, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 0, 450]], ['generated mix 5', [480, [5000, 4900, 1000, 900, 800, 700], 9000], [10000, 2, 1000]], ['deficit to 500', [450, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 1, 500]], ['minimum', [100, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [9000, 0, 100]], ['deficit to 1000', [850, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [30000, 2, 1000]], ['on break', [500, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 1, 500]], ['generated mix 7', [480, [4200, 3600, 3000, 2500, 2100, 1800], 0], [18000, 1, 500]], ['generated mix 15', [1700, [5000, 4900, 1000, 900, 800, 700], 20000], [20000, 2, 1700]]], [['generated mix 67', [4200, [4200, 3600, 3000, 2500, 2100, 1800], 20000], [105000, 3, 4200]], ['generated mix 43', [850, [5000, 4900, 1000, 900, 800, 700], 20000], [20000, 2, 1000]], ['fraction', [800.5, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [28836, 1, 801]], ['tie keeps actual', [450, [4000, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 0, 450]], ['deficit to 500', [450, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 1, 500]], ['minimum', [100, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [9000, 0, 100]], ['generated mix 9', [499.5, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 1, 500]], ['generated mix 17', [333.3, [4237, 3611, 3044, 2517, 2150, 1833], 20000], [20000, 0, 334]]], [['generated mix 55', [4200, [4200, 3600, 3000, 2500, 2100, 1800], 20000], [105000, 3, 4200]], ['generated mix 5', [480, [5000, 4900, 1000, 900, 800, 700], 9000], [10000, 2, 1000]], ['skip a break', [400, [5000, 4900, 1000, 900, 800, 700], 0], [10000, 2, 1000]], ['on break', [500, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 1, 500]], ['fraction', [800.5, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [28836, 1, 801]], ['tie keeps actual', [450, [4000, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 0, 450]], ['generated mix 21', [1700, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [50000, 3, 2000]], ['generated mix 29', [499.5, [4237, 3611, 3044, 2517, 2150, 1833], 20000], [20000, 1, 500]]], [['generated mix 34', [4200, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [105000, 3, 4200]], ['generated mix 43', [850, [5000, 4900, 1000, 900, 800, 700], 20000], [20000, 2, 1000]], ['minimum', [100, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [9000, 0, 100]], ['deficit to 1000', [850, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [30000, 2, 1000]], ['skip a break', [400, [5000, 4900, 1000, 900, 800, 700], 0], [10000, 2, 1000]], ['on break', [500, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 1, 500]], ['generated mix 31', [100, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [9000, 0, 100]], ['generated mix 40', [9000, [4237, 3611, 3044, 2517, 2150, 1833], 0], [183300, 5, 10000]]], [['tie keeps actual', [450, [4000, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 0, 450]], ['generated mix 5', [480, [5000, 4900, 1000, 900, 800, 700], 9000], [10000, 2, 1000]], ['deficit to 500', [450, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 1, 500]], ['minimum', [100, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [9000, 0, 100]], ['deficit to 1000', [850, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [30000, 2, 1000]], ['generated mix 43', [850, [5000, 4900, 1000, 900, 800, 700], 20000], [20000, 2, 1000]], ['generated mix 51', [9000, [5000, 4900, 1000, 900, 800, 700], 0], [70000, 5, 10000]], ['generated mix 59', [12000, [4200, 3600, 3000, 2500, 2100, 1800], 20000], [216000, 5, 12000]]]]\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":"ec61e8ba6485d7c1e5f9b7ba0f711c4e870456574cda6db49cdb60723138aa54","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(weight, rates, min_charge):\n    BREAKS = [0, 500, 1000, 2000, 5000, 10000]\n    w = max(1, math.ceil(weight))\n    idx = max(i for i, b in enumerate(BREAKS) if w >= b)\n    cost = -(-w * rates[idx] // 100)\n    best = [cost, idx, w]\n    for j in range(idx + 1, len(BREAKS)):\n        alt = BREAKS[j] * rates[j] // 100\n        if alt <= best[0]:\n            best = [alt, j, BREAKS[j]]\n    return [max(best[0], min_charge), best[1], best[2]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['tie keeps actual', [450, [4000, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 0, 450]], ['generated mix 5', [480, [5000, 4900, 1000, 900, 800, 700], 9000], [10000, 2, 1000]], ['deficit to 500', [450, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 1, 500]], ['minimum', [100, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [9000, 0, 100]], ['deficit to 1000', [850, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [30000, 2, 1000]], ['on break', [500, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 1, 500]], ['generated mix 7', [480, [4200, 3600, 3000, 2500, 2100, 1800], 0], [18000, 1, 500]], ['generated mix 15', [1700, [5000, 4900, 1000, 900, 800, 700], 20000], [20000, 2, 1700]]], [['generated mix 67', [4200, [4200, 3600, 3000, 2500, 2100, 1800], 20000], [105000, 3, 4200]], ['generated mix 43', [850, [5000, 4900, 1000, 900, 800, 700], 20000], [20000, 2, 1000]], ['fraction', [800.5, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [28836, 1, 801]], ['tie keeps actual', [450, [4000, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 0, 450]], ['deficit to 500', [450, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 1, 500]], ['minimum', [100, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [9000, 0, 100]], ['generated mix 9', [499.5, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 1, 500]], ['generated mix 17', [333.3, [4237, 3611, 3044, 2517, 2150, 1833], 20000], [20000, 0, 334]]], [['generated mix 55', [4200, [4200, 3600, 3000, 2500, 2100, 1800], 20000], [105000, 3, 4200]], ['generated mix 5', [480, [5000, 4900, 1000, 900, 800, 700], 9000], [10000, 2, 1000]], ['skip a break', [400, [5000, 4900, 1000, 900, 800, 700], 0], [10000, 2, 1000]], ['on break', [500, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 1, 500]], ['fraction', [800.5, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [28836, 1, 801]], ['tie keeps actual', [450, [4000, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 0, 450]], ['generated mix 21', [1700, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [50000, 3, 2000]], ['generated mix 29', [499.5, [4237, 3611, 3044, 2517, 2150, 1833], 20000], [20000, 1, 500]]], [['generated mix 34', [4200, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [105000, 3, 4200]], ['generated mix 43', [850, [5000, 4900, 1000, 900, 800, 700], 20000], [20000, 2, 1000]], ['minimum', [100, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [9000, 0, 100]], ['deficit to 1000', [850, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [30000, 2, 1000]], ['skip a break', [400, [5000, 4900, 1000, 900, 800, 700], 0], [10000, 2, 1000]], ['on break', [500, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 1, 500]], ['generated mix 31', [100, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [9000, 0, 100]], ['generated mix 40', [9000, [4237, 3611, 3044, 2517, 2150, 1833], 0], [183300, 5, 10000]]], [['tie keeps actual', [450, [4000, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 0, 450]], ['generated mix 5', [480, [5000, 4900, 1000, 900, 800, 700], 9000], [10000, 2, 1000]], ['deficit to 500', [450, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 1, 500]], ['minimum', [100, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [9000, 0, 100]], ['deficit to 1000', [850, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [30000, 2, 1000]], ['generated mix 43', [850, [5000, 4900, 1000, 900, 800, 700], 20000], [20000, 2, 1000]], ['generated mix 51', [9000, [5000, 4900, 1000, 900, 800, 700], 0], [70000, 5, 10000]], ['generated mix 59', [12000, [4200, 3600, 3000, 2500, 2100, 1800], 20000], [216000, 5, 12000]]]]\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 break table; no freight class or accessorials. 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-ltl-breaks-deficit-comparison","generated_at":"2026-09-29T14:52:17.154112+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"LTL lane rates use weight breaks with deficit weight rating.","root_cause":"The deficit comparison is inclusive.","sha256":"af16ac56db084d14e3bae76f87fe567ee7bf04795cd98679a0fe79425d6887bd","title":"LTL breaks: equal deficit charge replaces actual · 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":37.607,"exit_code":1,"observations":[{"actual":[18000,0,450],"check":"tie keeps actual","expected":[18000,0,450],"passed":true},{"actual":[18000,3,2000],"check":"generated mix 5","expected":[10000,2,1000],"passed":false},{"actual":[18000,1,500],"check":"deficit to 500","expected":[18000,1,500],"passed":true},{"actual":[9000,0,100],"check":"minimum","expected":[9000,0,100],"passed":true},{"actual":[30000,2,1000],"check":"deficit to 1000","expected":[30000,2,1000],"passed":true},{"actual":[18000,1,500],"check":"on break","expected":[18000,1,500],"passed":true},{"actual":[18000,1,500],"check":"generated mix 7","expected":[18000,1,500],"passed":true},{"actual":[20000,2,1700],"check":"generated mix 15","expected":[20000,2,1700],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"tie keeps actual\", \"actual\": [18000, 0, 450], \"expected\": [18000, 0, 450], \"passed\": true}, {\"check\": \"generated mix 5\", \"actual\": [18000, 3, 2000], \"expected\": [10000, 2, 1000], \"passed\": false}, {\"check\": \"deficit to 500\", \"actual\": [18000, 1, 500], \"expected\": [18000, 1, 500], \"passed\": true}, {\"check\": \"minimum\", \"actual\": [9000, 0, 100], \"expected\": [9000, 0, 100], \"passed\": true}, {\"check\": \"deficit to 1000\", \"actual\": [30000, 2, 1000], \"expected\": [30000, 2, 1000], \"passed\": true}, {\"check\": \"on break\", \"actual\": [18000, 1, 500], \"expected\": [18000, 1, 500], \"passed\": true}, {\"check\": \"generated mix 7\", \"actual\": [18000, 1, 500], \"expected\": [18000, 1, 500], \"passed\": true}, {\"check\": \"generated mix 15\", \"actual\": [20000, 2, 1700], \"expected\": [20000, 2, 1700], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.309,"exit_code":1,"observations":[{"actual":[18000,1,500],"check":"tie keeps actual","expected":[18000,0,450],"passed":false},{"actual":[10000,2,1000],"check":"generated mix 5","expected":[10000,2,1000],"passed":true},{"actual":[18000,1,500],"check":"deficit to 500","expected":[18000,1,500],"passed":true},{"actual":[9000,0,100],"check":"minimum","expected":[9000,0,100],"passed":true},{"actual":[30000,2,1000],"check":"deficit to 1000","expected":[30000,2,1000],"passed":true},{"actual":[18000,1,500],"check":"on break","expected":[18000,1,500],"passed":true},{"actual":[18000,1,500],"check":"generated mix 7","expected":[18000,1,500],"passed":true},{"actual":[20000,2,1700],"check":"generated mix 15","expected":[20000,2,1700],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"tie keeps actual\", \"actual\": [18000, 1, 500], \"expected\": [18000, 0, 450], \"passed\": false}, {\"check\": \"generated mix 5\", \"actual\": [10000, 2, 1000], \"expected\": [10000, 2, 1000], \"passed\": true}, {\"check\": \"deficit to 500\", \"actual\": [18000, 1, 500], \"expected\": [18000, 1, 500], \"passed\": true}, {\"check\": \"minimum\", \"actual\": [9000, 0, 100], \"expected\": [9000, 0, 100], \"passed\": true}, {\"check\": \"deficit to 1000\", \"actual\": [30000, 2, 1000], \"expected\": [30000, 2, 1000], \"passed\": true}, {\"check\": \"on break\", \"actual\": [18000, 1, 500], \"expected\": [18000, 1, 500], \"passed\": true}, {\"check\": \"generated mix 7\", \"actual\": [18000, 1, 500], \"expected\": [18000, 1, 500], \"passed\": true}, {\"check\": \"generated mix 15\", \"actual\": [20000, 2, 1700], \"expected\": [20000, 2, 1700], \"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."}}