{"abstract":"Dimensional weight is computed from unrounded measurements and disagrees with audited invoices.","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\"].","evaluation_group":"w2-shipping-zone-billable-weight","failed_approach":"Truncating dimensions under-measures sides at or above the half inch.","family":"w2-shipping-zone-billable-weight-rounding-stage","id":"FA-95391","implementations":{"attempt":{"sha256":"bc752ec9cf19b8ef4fb59d3f87aea0dc0f5c461ccf42a7302a709257b3e96e90","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(dims, actual, divisor):\n    r = [int(d) 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 = [[['half inch rounds up', [[12.5, 12, 12], 5, 139], [14, 'DIM']], ['generated mix 1', [[13.5, 13.5, 10], 1, 166], [12, 'DIM']], ['cube threshold exact', [[12, 12, 12], 1, 139], [1, 'ACTUAL']], ['actual fraction up', [[10, 10, 10], 7.2, 139], [8, 'ACTUAL']], ['dim ceil', [[18, 12, 10], 1, 166], [14, 'DIM']], ['just above threshold', [[12, 12, 13], 1, 166], [12, 'DIM']], ['tie goes actual', [[20, 20, 20], 58, 139], [58, 'ACTUAL']], ['generated mix 9', [[12, 12, 13.5], 30, 139], [30, 'ACTUAL']]], [['generated mix 11', [[13.5, 24.5, 10.5], 0.2, 139], [28, 'DIM']], ['generated mix 10', [[12.5, 12, 16], 1, 139], [18, 'DIM']], ['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 19', [[24.5, 20, 16], 7.5, 139], [58, 'DIM']], ['generated mix 27', [[10.5, 12.5, 24.5], 1, 139], [26, 'DIM']]], [['generated mix 29', [[12, 10, 24.5], 0.2, 166], [19, 'DIM']], ['generated mix 19', [[24.5, 20, 16], 7.5, 139], [58, 'DIM']], ['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 21', [[12.5, 20, 10], 30, 166], [30, 'ACTUAL']], ['generated mix 30', [[13.5, 18.5, 12], 5, 139], [23, 'DIM']], ['generated mix 38', [[24.5, 11.4, 10.5], 9, 139], [22, 'DIM']]], [['generated mix 42', [[10.5, 18.5, 13.5], 1, 139], [22, 'DIM']], ['generated mix 30', [[13.5, 18.5, 12], 5, 139], [23, 'DIM']], ['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 32', [[12, 12, 18.5], 7.5, 166], [17, 'DIM']], ['generated mix 40', [[24.5, 20, 18.5], 5, 139], [69, 'DIM']], ['generated mix 49', [[12, 12, 10.5], 7.5, 139], [8, 'ACTUAL']]], [['generated mix 58', [[12, 10.5, 18.5], 5, 166], [16, 'DIM']], ['generated mix 38', [[24.5, 11.4, 10.5], 9, 139], [22, 'DIM']], ['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 43', [[20, 10.5, 24.5], 7.5, 139], [40, 'DIM']], ['generated mix 51', [[10, 11.4, 18.5], 2.1, 139], [16, '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":"334d27194433315b5de1f51a96cfc58493f6df9e09415f041c7483061fd4ae69","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(dims, actual, divisor):\n    r = list(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 = [[['half inch rounds up', [[12.5, 12, 12], 5, 139], [14, 'DIM']], ['generated mix 1', [[13.5, 13.5, 10], 1, 166], [12, 'DIM']], ['cube threshold exact', [[12, 12, 12], 1, 139], [1, 'ACTUAL']], ['actual fraction up', [[10, 10, 10], 7.2, 139], [8, 'ACTUAL']], ['dim ceil', [[18, 12, 10], 1, 166], [14, 'DIM']], ['just above threshold', [[12, 12, 13], 1, 166], [12, 'DIM']], ['tie goes actual', [[20, 20, 20], 58, 139], [58, 'ACTUAL']], ['generated mix 9', [[12, 12, 13.5], 30, 139], [30, 'ACTUAL']]], [['generated mix 11', [[13.5, 24.5, 10.5], 0.2, 139], [28, 'DIM']], ['generated mix 10', [[12.5, 12, 16], 1, 139], [18, 'DIM']], ['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 19', [[24.5, 20, 16], 7.5, 139], [58, 'DIM']], ['generated mix 27', [[10.5, 12.5, 24.5], 1, 139], [26, 'DIM']]], [['generated mix 29', [[12, 10, 24.5], 0.2, 166], [19, 'DIM']], ['generated mix 19', [[24.5, 20, 16], 7.5, 139], [58, 'DIM']], ['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 21', [[12.5, 20, 10], 30, 166], [30, 'ACTUAL']], ['generated mix 30', [[13.5, 18.5, 12], 5, 139], [23, 'DIM']], ['generated mix 38', [[24.5, 11.4, 10.5], 9, 139], [22, 'DIM']]], [['generated mix 42', [[10.5, 18.5, 13.5], 1, 139], [22, 'DIM']], ['generated mix 30', [[13.5, 18.5, 12], 5, 139], [23, 'DIM']], ['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 32', [[12, 12, 18.5], 7.5, 166], [17, 'DIM']], ['generated mix 40', [[24.5, 20, 18.5], 5, 139], [69, 'DIM']], ['generated mix 49', [[12, 12, 10.5], 7.5, 139], [8, 'ACTUAL']]], [['generated mix 58', [[12, 10.5, 18.5], 5, 166], [16, 'DIM']], ['generated mix 38', [[24.5, 11.4, 10.5], 9, 139], [22, 'DIM']], ['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 43', [[20, 10.5, 24.5], 7.5, 139], [40, 'DIM']], ['generated mix 51', [[10, 11.4, 18.5], 2.1, 139], [16, '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"},"fixed":{"sha256":"3eaba89b5401039671585a53fc153088fb264d8d6db396de6b9bd573b7344640","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 = [[['half inch rounds up', [[12.5, 12, 12], 5, 139], [14, 'DIM']], ['generated mix 1', [[13.5, 13.5, 10], 1, 166], [12, 'DIM']], ['cube threshold exact', [[12, 12, 12], 1, 139], [1, 'ACTUAL']], ['actual fraction up', [[10, 10, 10], 7.2, 139], [8, 'ACTUAL']], ['dim ceil', [[18, 12, 10], 1, 166], [14, 'DIM']], ['just above threshold', [[12, 12, 13], 1, 166], [12, 'DIM']], ['tie goes actual', [[20, 20, 20], 58, 139], [58, 'ACTUAL']], ['generated mix 9', [[12, 12, 13.5], 30, 139], [30, 'ACTUAL']]], [['generated mix 11', [[13.5, 24.5, 10.5], 0.2, 139], [28, 'DIM']], ['generated mix 10', [[12.5, 12, 16], 1, 139], [18, 'DIM']], ['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 19', [[24.5, 20, 16], 7.5, 139], [58, 'DIM']], ['generated mix 27', [[10.5, 12.5, 24.5], 1, 139], [26, 'DIM']]], [['generated mix 29', [[12, 10, 24.5], 0.2, 166], [19, 'DIM']], ['generated mix 19', [[24.5, 20, 16], 7.5, 139], [58, 'DIM']], ['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 21', [[12.5, 20, 10], 30, 166], [30, 'ACTUAL']], ['generated mix 30', [[13.5, 18.5, 12], 5, 139], [23, 'DIM']], ['generated mix 38', [[24.5, 11.4, 10.5], 9, 139], [22, 'DIM']]], [['generated mix 42', [[10.5, 18.5, 13.5], 1, 139], [22, 'DIM']], ['generated mix 30', [[13.5, 18.5, 12], 5, 139], [23, 'DIM']], ['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 32', [[12, 12, 18.5], 7.5, 166], [17, 'DIM']], ['generated mix 40', [[24.5, 20, 18.5], 5, 139], [69, 'DIM']], ['generated mix 49', [[12, 12, 10.5], 7.5, 139], [8, 'ACTUAL']]], [['generated mix 58', [[12, 10.5, 18.5], 5, 166], [16, 'DIM']], ['generated mix 38', [[24.5, 11.4, 10.5], 9, 139], [22, 'DIM']], ['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 43', [[20, 10.5, 24.5], 7.5, 139], [40, 'DIM']], ['generated mix 51', [[10, 11.4, 18.5], 2.1, 139], [16, '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-rounding-stage","generated_at":"2026-09-29T14:52:13.245000+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.","repair":"Round each dimension first, then multiply.","root_cause":"Dimensions are never rounded before the cube is computed.","sha256":"963f54af5edc9fb6f3eb6e2531bccd2aa85312bd220195d0f3bbc3cc9598a1c9","title":"Billable weight: cube from raw measurements · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.467,"exit_code":1,"observations":[{"actual":[5,"ACTUAL"],"check":"half inch rounds up","expected":[14,"DIM"],"passed":false},{"actual":[1,"ACTUAL"],"check":"generated mix 1","expected":[12,"DIM"],"passed":false},{"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":[14,"DIM"],"check":"dim ceil","expected":[14,"DIM"],"passed":true},{"actual":[12,"DIM"],"check":"just above threshold","expected":[12,"DIM"],"passed":true},{"actual":[58,"ACTUAL"],"check":"tie goes actual","expected":[58,"ACTUAL"],"passed":true},{"actual":[30,"ACTUAL"],"check":"generated mix 9","expected":[30,"ACTUAL"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"half inch rounds up\", \"actual\": [5, \"ACTUAL\"], \"expected\": [14, \"DIM\"], \"passed\": false}, {\"check\": \"generated mix 1\", \"actual\": [1, \"ACTUAL\"], \"expected\": [12, \"DIM\"], \"passed\": false}, {\"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\": \"dim ceil\", \"actual\": [14, \"DIM\"], \"expected\": [14, \"DIM\"], \"passed\": true}, {\"check\": \"just above threshold\", \"actual\": [12, \"DIM\"], \"expected\": [12, \"DIM\"], \"passed\": true}, {\"check\": \"tie goes actual\", \"actual\": [58, \"ACTUAL\"], \"expected\": [58, \"ACTUAL\"], \"passed\": true}, {\"check\": \"generated mix 9\", \"actual\": [30, \"ACTUAL\"], \"expected\": [30, \"ACTUAL\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.052,"exit_code":1,"observations":[{"actual":[13.0,"DIM"],"check":"half inch rounds up","expected":[14,"DIM"],"passed":false},{"actual":[11.0,"DIM"],"check":"generated mix 1","expected":[12,"DIM"],"passed":false},{"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":[14,"DIM"],"check":"dim ceil","expected":[14,"DIM"],"passed":true},{"actual":[12,"DIM"],"check":"just above threshold","expected":[12,"DIM"],"passed":true},{"actual":[58,"ACTUAL"],"check":"tie goes actual","expected":[58,"ACTUAL"],"passed":true},{"actual":[30,"ACTUAL"],"check":"generated mix 9","expected":[30,"ACTUAL"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"half inch rounds up\", \"actual\": [13.0, \"DIM\"], \"expected\": [14, \"DIM\"], \"passed\": false}, {\"check\": \"generated mix 1\", \"actual\": [11.0, \"DIM\"], \"expected\": [12, \"DIM\"], \"passed\": false}, {\"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\": \"dim ceil\", \"actual\": [14, \"DIM\"], \"expected\": [14, \"DIM\"], \"passed\": true}, {\"check\": \"just above threshold\", \"actual\": [12, \"DIM\"], \"expected\": [12, \"DIM\"], \"passed\": true}, {\"check\": \"tie goes actual\", \"actual\": [58, \"ACTUAL\"], \"expected\": [58, \"ACTUAL\"], \"passed\": true}, {\"check\": \"generated mix 9\", \"actual\": [30, \"ACTUAL\"], \"expected\": [30, \"ACTUAL\"], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.036,"exit_code":0,"observations":[{"actual":[14,"DIM"],"check":"half inch rounds up","expected":[14,"DIM"],"passed":true},{"actual":[12,"DIM"],"check":"generated mix 1","expected":[12,"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":[14,"DIM"],"check":"dim ceil","expected":[14,"DIM"],"passed":true},{"actual":[12,"DIM"],"check":"just above threshold","expected":[12,"DIM"],"passed":true},{"actual":[58,"ACTUAL"],"check":"tie goes actual","expected":[58,"ACTUAL"],"passed":true},{"actual":[30,"ACTUAL"],"check":"generated mix 9","expected":[30,"ACTUAL"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"half inch rounds up\", \"actual\": [14, \"DIM\"], \"expected\": [14, \"DIM\"], \"passed\": true}, {\"check\": \"generated mix 1\", \"actual\": [12, \"DIM\"], \"expected\": [12, \"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\": \"dim ceil\", \"actual\": [14, \"DIM\"], \"expected\": [14, \"DIM\"], \"passed\": true}, {\"check\": \"just above threshold\", \"actual\": [12, \"DIM\"], \"expected\": [12, \"DIM\"], \"passed\": true}, {\"check\": \"tie goes actual\", \"actual\": [58, \"ACTUAL\"], \"expected\": [58, \"ACTUAL\"], \"passed\": true}, {\"check\": \"generated mix 9\", \"actual\": [30, \"ACTUAL\"], \"expected\": [30, \"ACTUAL\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}