{"abstract":"Invoices rated at a deficit break show the actual weight, so the charge cannot be reproduced from the bill.","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":"Reporting the original break index with the deficit weight mislabels which rate was used.","family":"w2-shipping-zone-ltl-breaks-deficit-rated-weight","id":"FA-95811","implementations":{"attempt":{"sha256":"aa229407973cbd4a73c2b002d7c87b5c1faadd1b746829947b5e2b13d01bbeda","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, idx, 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 = [[['deficit to 500', [450, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 1, 500]], ['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]], ['fraction', [800.5, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [28836, 1, 801]], ['skip a break', [400, [5000, 4900, 1000, 900, 800, 700], 0], [10000, 2, 1000]], ['minimum', [100, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [9000, 0, 100]], ['tie keeps actual', [450, [4000, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 0, 450]], ['generated mix 8', [450, [5000, 4900, 1000, 900, 800, 700], 9000], [10000, 2, 1000]]], [['generated mix 8', [450, [5000, 4900, 1000, 900, 800, 700], 9000], [10000, 2, 1000]], ['generated mix 7', [480, [4200, 3600, 3000, 2500, 2100, 1800], 0], [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]], ['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 11', [480, [4200, 3600, 3000, 2500, 2100, 1800], 20000], [20000, 1, 500]], ['generated mix 19', [800.5, [4200, 3600, 3000, 2500, 2100, 1800], 20000], [28836, 1, 801]]], [['generated mix 21', [1700, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [50000, 3, 2000]], ['generated mix 14', [9000, [4237, 3611, 3044, 2517, 2150, 1833], 0], [183300, 5, 10000]], ['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 22', [499.5, [5000, 4900, 1000, 900, 800, 700], 20000], [20000, 2, 1000]], ['generated mix 30', [1999.2, [5000, 4900, 1000, 900, 800, 700], 9000], [18000, 3, 2000]]], [['generated mix 40', [9000, [4237, 3611, 3044, 2517, 2150, 1833], 0], [183300, 5, 10000]], ['generated mix 26', [850, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [30000, 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 32', [850, [5000, 4900, 1000, 900, 800, 700], 9000], [10000, 2, 1000]], ['generated mix 41', [4200, [5000, 4900, 1000, 900, 800, 700], 9000], [37800, 3, 4200]]], [['generated mix 57', [450, [4237, 3611, 3044, 2517, 2150, 1833], 20000], [20000, 1, 500]], ['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]], ['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]]]]\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":"105878f7dff1828b2188bbe83d4e492622df10f8817314197fec82a7cb087fa8","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, w]\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 = [[['deficit to 500', [450, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 1, 500]], ['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]], ['fraction', [800.5, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [28836, 1, 801]], ['skip a break', [400, [5000, 4900, 1000, 900, 800, 700], 0], [10000, 2, 1000]], ['minimum', [100, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [9000, 0, 100]], ['tie keeps actual', [450, [4000, 3600, 3000, 2500, 2100, 1800], 9000], [18000, 0, 450]], ['generated mix 8', [450, [5000, 4900, 1000, 900, 800, 700], 9000], [10000, 2, 1000]]], [['generated mix 8', [450, [5000, 4900, 1000, 900, 800, 700], 9000], [10000, 2, 1000]], ['generated mix 7', [480, [4200, 3600, 3000, 2500, 2100, 1800], 0], [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]], ['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 11', [480, [4200, 3600, 3000, 2500, 2100, 1800], 20000], [20000, 1, 500]], ['generated mix 19', [800.5, [4200, 3600, 3000, 2500, 2100, 1800], 20000], [28836, 1, 801]]], [['generated mix 21', [1700, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [50000, 3, 2000]], ['generated mix 14', [9000, [4237, 3611, 3044, 2517, 2150, 1833], 0], [183300, 5, 10000]], ['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 22', [499.5, [5000, 4900, 1000, 900, 800, 700], 20000], [20000, 2, 1000]], ['generated mix 30', [1999.2, [5000, 4900, 1000, 900, 800, 700], 9000], [18000, 3, 2000]]], [['generated mix 40', [9000, [4237, 3611, 3044, 2517, 2150, 1833], 0], [183300, 5, 10000]], ['generated mix 26', [850, [4200, 3600, 3000, 2500, 2100, 1800], 9000], [30000, 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 32', [850, [5000, 4900, 1000, 900, 800, 700], 9000], [10000, 2, 1000]], ['generated mix 41', [4200, [5000, 4900, 1000, 900, 800, 700], 9000], [37800, 3, 4200]]], [['generated mix 57', [450, [4237, 3611, 3044, 2517, 2150, 1833], 20000], [20000, 1, 500]], ['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]], ['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]]]]\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-rated-weight","generated_at":"2026-09-29T14:52:17.079743+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":"When a heavier break wins, the rated weight is left at the actual weight instead of the break minimum.","sha256":"f7757f4c901ffefaf96abc11e60e220c319c8ff30c26632980c6842296f3e34b","title":"LTL breaks: deficit bill shows actual weight · 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.29,"exit_code":1,"observations":[{"actual":[18000,0,500],"check":"deficit to 500","expected":[18000,1,500],"passed":false},{"actual":[30000,1,1000],"check":"deficit to 1000","expected":[30000,2,1000],"passed":false},{"actual":[18000,1,500],"check":"on break","expected":[18000,1,500],"passed":true},{"actual":[28836,1,801],"check":"fraction","expected":[28836,1,801],"passed":true},{"actual":[10000,0,1000],"check":"skip a break","expected":[10000,2,1000],"passed":false},{"actual":[9000,0,100],"check":"minimum","expected":[9000,0,100],"passed":true},{"actual":[18000,0,450],"check":"tie keeps actual","expected":[18000,0,450],"passed":true},{"actual":[10000,0,1000],"check":"generated mix 8","expected":[10000,2,1000],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"deficit to 500\", \"actual\": [18000, 0, 500], \"expected\": [18000, 1, 500], \"passed\": false}, {\"check\": \"deficit to 1000\", \"actual\": [30000, 1, 1000], \"expected\": [30000, 2, 1000], \"passed\": false}, {\"check\": \"on break\", \"actual\": [18000, 1, 500], \"expected\": [18000, 1, 500], \"passed\": true}, {\"check\": \"fraction\", \"actual\": [28836, 1, 801], \"expected\": [28836, 1, 801], \"passed\": true}, {\"check\": \"skip a break\", \"actual\": [10000, 0, 1000], \"expected\": [10000, 2, 1000], \"passed\": false}, {\"check\": \"minimum\", \"actual\": [9000, 0, 100], \"expected\": [9000, 0, 100], \"passed\": true}, {\"check\": \"tie keeps actual\", \"actual\": [18000, 0, 450], \"expected\": [18000, 0, 450], \"passed\": true}, {\"check\": \"generated mix 8\", \"actual\": [10000, 0, 1000], \"expected\": [10000, 2, 1000], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.041,"exit_code":1,"observations":[{"actual":[18000,1,450],"check":"deficit to 500","expected":[18000,1,500],"passed":false},{"actual":[30000,2,850],"check":"deficit to 1000","expected":[30000,2,1000],"passed":false},{"actual":[18000,1,500],"check":"on break","expected":[18000,1,500],"passed":true},{"actual":[28836,1,801],"check":"fraction","expected":[28836,1,801],"passed":true},{"actual":[10000,2,400],"check":"skip a break","expected":[10000,2,1000],"passed":false},{"actual":[9000,0,100],"check":"minimum","expected":[9000,0,100],"passed":true},{"actual":[18000,0,450],"check":"tie keeps actual","expected":[18000,0,450],"passed":true},{"actual":[10000,2,450],"check":"generated mix 8","expected":[10000,2,1000],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"deficit to 500\", \"actual\": [18000, 1, 450], \"expected\": [18000, 1, 500], \"passed\": false}, {\"check\": \"deficit to 1000\", \"actual\": [30000, 2, 850], \"expected\": [30000, 2, 1000], \"passed\": false}, {\"check\": \"on break\", \"actual\": [18000, 1, 500], \"expected\": [18000, 1, 500], \"passed\": true}, {\"check\": \"fraction\", \"actual\": [28836, 1, 801], \"expected\": [28836, 1, 801], \"passed\": true}, {\"check\": \"skip a break\", \"actual\": [10000, 2, 400], \"expected\": [10000, 2, 1000], \"passed\": false}, {\"check\": \"minimum\", \"actual\": [9000, 0, 100], \"expected\": [9000, 0, 100], \"passed\": true}, {\"check\": \"tie keeps actual\", \"actual\": [18000, 0, 450], \"expected\": [18000, 0, 450], \"passed\": true}, {\"check\": \"generated mix 8\", \"actual\": [10000, 2, 450], \"expected\": [10000, 2, 1000], \"passed\": false}], \"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."}}