{"abstract":"Parcels whose dim weight equals actual weight are labelled DIM, triggering dim audits.","category":"Shipping rate zone lookup","checks":8,"contract":"dims inches (each rounded half up to a whole inch), actual lb rounded up (minimum 1). Dim weight = ceil(L*W*H/divisor) using rounded dims, only when the rounded cube exceeds 1728 cubic inches. Return [billable, \"DIM\"] if dim weight strictly exceeds rounded actual, else [actual, \"ACTUAL\"].","contract_signature":"dims, actual, divisor","evaluation_group":"w2-shipping-zone-billable-weight","failed_approach":"Labelling every large parcel DIM ignores which weight actually billed.","family":"w2-shipping-zone-billable-weight-billing-basis-label","id":"FA-95396","implementations":{"attempt":{"sha256":"f75150b1151864d6ef13f993a57df6bed7b336774389202b8bd2aa58abd775de","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(dims, actual, divisor):\n    r = [int(math.floor(d + 0.5)) for d in dims]\n    cube = r[0] * r[1] * r[2]\n    act = max(1, math.ceil(actual))\n    dimw = -(-cube // divisor) if cube > 1728 else 0\n    if dimw > act or cube > 1728:\n        return [dimw, 'DIM']\n    return [act, 'ACTUAL']\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['tie goes actual', [[20, 20, 20], 58, 139], [58, 'ACTUAL']], ['generated mix 4', [[24.5, 10, 12], 20.01, 166], [21, 'ACTUAL']], ['half inch rounds up', [[12.5, 12, 12], 5, 139], [14, 'DIM']], ['just above threshold', [[12, 12, 13], 1, 166], [12, 'DIM']], ['dim ceil', [[18, 12, 10], 1, 166], [14, 'DIM']], ['cube threshold exact', [[12, 12, 12], 1, 139], [1, 'ACTUAL']], ['actual fraction up', [[10, 10, 10], 7.2, 139], [8, 'ACTUAL']], ['generated mix 9', [[12, 12, 13.5], 30, 139], [30, 'ACTUAL']]], [['generated mix 33', [[18.5, 16, 10.5], 20.01, 166], [21, 'ACTUAL']], ['generated mix 24', [[16, 11.4, 10], 30, 166], [30, 'ACTUAL']], ['actual fraction up', [[10, 10, 10], 7.2, 139], [8, 'ACTUAL']], ['dim ceil', [[18, 12, 10], 1, 166], [14, 'DIM']], ['cube threshold exact', [[12, 12, 12], 1, 139], [1, 'ACTUAL']], ['generated mix 9', [[12, 12, 13.5], 30, 139], [30, 'ACTUAL']], ['generated mix 17', [[12, 12, 10.5], 2.1, 139], [3, 'ACTUAL']], ['generated mix 26', [[10, 18.5, 12], 5, 166], [14, 'DIM']]], [['generated mix 64', [[13.5, 12, 20], 20.01, 166], [21, 'ACTUAL']], ['generated mix 56', [[12, 13.5, 16], 30, 166], [30, 'ACTUAL']], ['half inch rounds up', [[12.5, 12, 12], 5, 139], [14, 'DIM']], ['just above threshold', [[12, 12, 13], 1, 166], [12, 'DIM']], ['tie goes actual', [[20, 20, 20], 58, 139], [58, 'ACTUAL']], ['generated mix 20', [[12, 10.5, 10], 30, 166], [30, 'ACTUAL']], ['generated mix 28', [[18.5, 12, 11.4], 2.1, 166], [16, 'DIM']], ['generated mix 36', [[20, 18.5, 12], 2.1, 166], [28, 'DIM']]], [['tie goes actual', [[20, 20, 20], 58, 139], [58, 'ACTUAL']], ['generated mix 74', [[24.5, 11.4, 11.4], 30, 139], [30, 'ACTUAL']], ['dim ceil', [[18, 12, 10], 1, 166], [14, 'DIM']], ['cube threshold exact', [[12, 12, 12], 1, 139], [1, 'ACTUAL']], ['actual fraction up', [[10, 10, 10], 7.2, 139], [8, 'ACTUAL']], ['half inch rounds up', [[12.5, 12, 12], 5, 139], [14, 'DIM']], ['generated mix 33', [[18.5, 16, 10.5], 20.01, 166], [21, 'ACTUAL']], ['generated mix 41', [[10, 16, 10], 14, 139], [14, 'ACTUAL']]], [['generated mix 33', [[18.5, 16, 10.5], 20.01, 166], [21, 'ACTUAL']], ['generated mix 5', [[11.4, 12.5, 12.5], 30, 166], [30, 'ACTUAL']], ['half inch rounds up', [[12.5, 12, 12], 5, 139], [14, 'DIM']], ['just above threshold', [[12, 12, 13], 1, 166], [12, 'DIM']], ['tie goes actual', [[20, 20, 20], 58, 139], [58, 'ACTUAL']], ['generated mix 44', [[16, 10.5, 24.5], 2.1, 166], [27, 'DIM']], ['generated mix 52', [[20, 10.5, 11.4], 0.2, 166], [15, 'DIM']], ['generated mix 60', [[18.5, 11.4, 18.5], 14, 139], [29, 'DIM']]]]\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":"02f0fdfc937481215acafceb2e1df22cafec79b94abf0ab669cc3dcafe437463","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(dims, actual, divisor):\n    r = [int(math.floor(d + 0.5)) for d in dims]\n    cube = r[0] * r[1] * r[2]\n    act = max(1, math.ceil(actual))\n    dimw = -(-cube // divisor) if cube > 1728 else 0\n    if dimw >= act:\n        return [dimw, 'DIM']\n    return [act, 'ACTUAL']\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['tie goes actual', [[20, 20, 20], 58, 139], [58, 'ACTUAL']], ['generated mix 4', [[24.5, 10, 12], 20.01, 166], [21, 'ACTUAL']], ['half inch rounds up', [[12.5, 12, 12], 5, 139], [14, 'DIM']], ['just above threshold', [[12, 12, 13], 1, 166], [12, 'DIM']], ['dim ceil', [[18, 12, 10], 1, 166], [14, 'DIM']], ['cube threshold exact', [[12, 12, 12], 1, 139], [1, 'ACTUAL']], ['actual fraction up', [[10, 10, 10], 7.2, 139], [8, 'ACTUAL']], ['generated mix 9', [[12, 12, 13.5], 30, 139], [30, 'ACTUAL']]], [['generated mix 33', [[18.5, 16, 10.5], 20.01, 166], [21, 'ACTUAL']], ['generated mix 24', [[16, 11.4, 10], 30, 166], [30, 'ACTUAL']], ['actual fraction up', [[10, 10, 10], 7.2, 139], [8, 'ACTUAL']], ['dim ceil', [[18, 12, 10], 1, 166], [14, 'DIM']], ['cube threshold exact', [[12, 12, 12], 1, 139], [1, 'ACTUAL']], ['generated mix 9', [[12, 12, 13.5], 30, 139], [30, 'ACTUAL']], ['generated mix 17', [[12, 12, 10.5], 2.1, 139], [3, 'ACTUAL']], ['generated mix 26', [[10, 18.5, 12], 5, 166], [14, 'DIM']]], [['generated mix 64', [[13.5, 12, 20], 20.01, 166], [21, 'ACTUAL']], ['generated mix 56', [[12, 13.5, 16], 30, 166], [30, 'ACTUAL']], ['half inch rounds up', [[12.5, 12, 12], 5, 139], [14, 'DIM']], ['just above threshold', [[12, 12, 13], 1, 166], [12, 'DIM']], ['tie goes actual', [[20, 20, 20], 58, 139], [58, 'ACTUAL']], ['generated mix 20', [[12, 10.5, 10], 30, 166], [30, 'ACTUAL']], ['generated mix 28', [[18.5, 12, 11.4], 2.1, 166], [16, 'DIM']], ['generated mix 36', [[20, 18.5, 12], 2.1, 166], [28, 'DIM']]], [['tie goes actual', [[20, 20, 20], 58, 139], [58, 'ACTUAL']], ['generated mix 74', [[24.5, 11.4, 11.4], 30, 139], [30, 'ACTUAL']], ['dim ceil', [[18, 12, 10], 1, 166], [14, 'DIM']], ['cube threshold exact', [[12, 12, 12], 1, 139], [1, 'ACTUAL']], ['actual fraction up', [[10, 10, 10], 7.2, 139], [8, 'ACTUAL']], ['half inch rounds up', [[12.5, 12, 12], 5, 139], [14, 'DIM']], ['generated mix 33', [[18.5, 16, 10.5], 20.01, 166], [21, 'ACTUAL']], ['generated mix 41', [[10, 16, 10], 14, 139], [14, 'ACTUAL']]], [['generated mix 33', [[18.5, 16, 10.5], 20.01, 166], [21, 'ACTUAL']], ['generated mix 5', [[11.4, 12.5, 12.5], 30, 166], [30, 'ACTUAL']], ['half inch rounds up', [[12.5, 12, 12], 5, 139], [14, 'DIM']], ['just above threshold', [[12, 12, 13], 1, 166], [12, 'DIM']], ['tie goes actual', [[20, 20, 20], 58, 139], [58, 'ACTUAL']], ['generated mix 44', [[16, 10.5, 24.5], 2.1, 166], [27, 'DIM']], ['generated mix 52', [[20, 10.5, 11.4], 0.2, 166], [15, 'DIM']], ['generated mix 60', [[18.5, 11.4, 18.5], 14, 139], [29, 'DIM']]]]\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 divisor and threshold; no carrier specific exceptions. 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-billable-weight-billing-basis-label","generated_at":"2026-09-29T14:52:13.288115+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Carriers bill the greater of actual and dimensional weight before zone rating.","root_cause":"The DIM label comparison is inclusive.","sha256":"99210f46c4f2f53edc54a78c0e4cf414101834d7712dbadf9276872e2c57bb8d","title":"Billable weight: tie labelled dimensional · 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":43.073,"exit_code":1,"observations":[{"actual":[58,"DIM"],"check":"tie goes actual","expected":[58,"ACTUAL"],"passed":false},{"actual":[19,"DIM"],"check":"generated mix 4","expected":[21,"ACTUAL"],"passed":false},{"actual":[14,"DIM"],"check":"half inch rounds up","expected":[14,"DIM"],"passed":true},{"actual":[12,"DIM"],"check":"just above threshold","expected":[12,"DIM"],"passed":true},{"actual":[14,"DIM"],"check":"dim ceil","expected":[14,"DIM"],"passed":true},{"actual":[1,"ACTUAL"],"check":"cube threshold exact","expected":[1,"ACTUAL"],"passed":true},{"actual":[8,"ACTUAL"],"check":"actual fraction up","expected":[8,"ACTUAL"],"passed":true},{"actual":[15,"DIM"],"check":"generated mix 9","expected":[30,"ACTUAL"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"tie goes actual\", \"actual\": [58, \"DIM\"], \"expected\": [58, \"ACTUAL\"], \"passed\": false}, {\"check\": \"generated mix 4\", \"actual\": [19, \"DIM\"], \"expected\": [21, \"ACTUAL\"], \"passed\": false}, {\"check\": \"half inch rounds up\", \"actual\": [14, \"DIM\"], \"expected\": [14, \"DIM\"], \"passed\": true}, {\"check\": \"just above threshold\", \"actual\": [12, \"DIM\"], \"expected\": [12, \"DIM\"], \"passed\": true}, {\"check\": \"dim ceil\", \"actual\": [14, \"DIM\"], \"expected\": [14, \"DIM\"], \"passed\": true}, {\"check\": \"cube threshold exact\", \"actual\": [1, \"ACTUAL\"], \"expected\": [1, \"ACTUAL\"], \"passed\": true}, {\"check\": \"actual fraction up\", \"actual\": [8, \"ACTUAL\"], \"expected\": [8, \"ACTUAL\"], \"passed\": true}, {\"check\": \"generated mix 9\", \"actual\": [15, \"DIM\"], \"expected\": [30, \"ACTUAL\"], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.269,"exit_code":1,"observations":[{"actual":[58,"DIM"],"check":"tie goes actual","expected":[58,"ACTUAL"],"passed":false},{"actual":[21,"ACTUAL"],"check":"generated mix 4","expected":[21,"ACTUAL"],"passed":true},{"actual":[14,"DIM"],"check":"half inch rounds up","expected":[14,"DIM"],"passed":true},{"actual":[12,"DIM"],"check":"just above threshold","expected":[12,"DIM"],"passed":true},{"actual":[14,"DIM"],"check":"dim ceil","expected":[14,"DIM"],"passed":true},{"actual":[1,"ACTUAL"],"check":"cube threshold exact","expected":[1,"ACTUAL"],"passed":true},{"actual":[8,"ACTUAL"],"check":"actual fraction up","expected":[8,"ACTUAL"],"passed":true},{"actual":[30,"ACTUAL"],"check":"generated mix 9","expected":[30,"ACTUAL"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"tie goes actual\", \"actual\": [58, \"DIM\"], \"expected\": [58, \"ACTUAL\"], \"passed\": false}, {\"check\": \"generated mix 4\", \"actual\": [21, \"ACTUAL\"], \"expected\": [21, \"ACTUAL\"], \"passed\": true}, {\"check\": \"half inch rounds up\", \"actual\": [14, \"DIM\"], \"expected\": [14, \"DIM\"], \"passed\": true}, {\"check\": \"just above threshold\", \"actual\": [12, \"DIM\"], \"expected\": [12, \"DIM\"], \"passed\": true}, {\"check\": \"dim ceil\", \"actual\": [14, \"DIM\"], \"expected\": [14, \"DIM\"], \"passed\": true}, {\"check\": \"cube threshold exact\", \"actual\": [1, \"ACTUAL\"], \"expected\": [1, \"ACTUAL\"], \"passed\": true}, {\"check\": \"actual fraction up\", \"actual\": [8, \"ACTUAL\"], \"expected\": [8, \"ACTUAL\"], \"passed\": true}, {\"check\": \"generated mix 9\", \"actual\": [30, \"ACTUAL\"], \"expected\": [30, \"ACTUAL\"], \"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."}}