{"abstract":"A 17 oz parcel is priced as one pound.","category":"Shipping rate zone lookup","checks":8,"contract":"Parcels under 16 oz are priced in ounce tiers: ounces rounded up to a whole ounce, tier = ceil(oz/4) capped at 4. 16 oz and above price by pounds = ceil(ounces/16). Zones 1 and 2 share price group 1; zone z >= 3 is group z-1. Return [kind, n, group].","contract_signature":"ounces, zone","evaluation_group":"w2-shipping-zone-ounce-tiers","failed_approach":"Rounding to nearest still prices 17 oz as one pound.","family":"w2-shipping-zone-ounce-tiers-pound-ceiling","id":"FA-95801","implementations":{"attempt":{"sha256":"6aacc374ed947ace89d020323cf93bbde2e881209044a2ec4f468233a235a7da","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(ounces, zone):\n    group = 1 if zone <= 2 else zone - 1\n    if ounces < 16:\n        oz = math.ceil(ounces)\n        return ['OZ', min(4, -(-oz // 4)), group]\n    return ['LB', round(ounces / 16), group]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['just over a pound', [17, 8], ['LB', 2, 7]], ['generated mix 2', [40, 8], ['LB', 3, 7]], ['small', [3.2, 2], ['OZ', 1, 1]], ['almost a pound', [15.5, 1], ['OZ', 4, 1]], ['two pounds', [32, 9], ['LB', 2, 8]], ['rounded to 13', [12.4, 4], ['OZ', 4, 3]], ['tier two', [4.2, 5], ['OZ', 2, 4]], ['generated mix 7', [33, 2], ['LB', 3, 1]]], [['generated mix 23', [40, 1], ['LB', 3, 1]], ['generated mix 15', [40, 3], ['LB', 3, 2]], ['one pound', [16, 3], ['LB', 1, 2]], ['two pounds', [32, 9], ['LB', 2, 8]], ['rounded to 13', [12.4, 4], ['OZ', 4, 3]], ['tier two', [4.2, 5], ['OZ', 2, 4]], ['generated mix 8', [12.4, 5], ['OZ', 4, 4]], ['generated mix 17', [4.6, 6], ['OZ', 2, 5]]], [['generated mix 51', [24, 6], ['LB', 2, 5]], ['generated mix 46', [40, 8], ['LB', 3, 7]], ['tier edge', [8, 2], ['OZ', 2, 1]], ['small', [3.2, 2], ['OZ', 1, 1]], ['almost a pound', [15.5, 1], ['OZ', 4, 1]], ['just over a pound', [17, 8], ['LB', 2, 7]], ['generated mix 19', [8, 8], ['OZ', 2, 7]], ['generated mix 27', [4.6, 6], ['OZ', 2, 5]]], [['generated mix 69', [24, 5], ['LB', 2, 4]], ['generated mix 62', [40, 4], ['LB', 3, 3]], ['tier two', [4.2, 5], ['OZ', 2, 4]], ['one pound', [16, 3], ['LB', 1, 2]], ['two pounds', [32, 9], ['LB', 2, 8]], ['rounded to 13', [12.4, 4], ['OZ', 4, 3]], ['generated mix 30', [4.6, 7], ['OZ', 2, 6]], ['generated mix 38', [33, 8], ['LB', 3, 7]]], [['generated mix 4', [16.2, 9], ['LB', 2, 8]], ['generated mix 2', [40, 8], ['LB', 3, 7]], ['just over a pound', [17, 8], ['LB', 2, 7]], ['tier edge', [8, 2], ['OZ', 2, 1]], ['small', [3.2, 2], ['OZ', 1, 1]], ['almost a pound', [15.5, 1], ['OZ', 4, 1]], ['generated mix 43', [12.4, 9], ['OZ', 4, 8]], ['generated mix 51', [24, 6], ['LB', 2, 5]]]]\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":"98e59994046ff9e7399fbcb05cb00b79763288ac4ed6e495f5d48873925745c2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(ounces, zone):\n    group = 1 if zone <= 2 else zone - 1\n    if ounces < 16:\n        oz = math.ceil(ounces)\n        return ['OZ', min(4, -(-oz // 4)), group]\n    return ['LB', int(ounces // 16), group]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['just over a pound', [17, 8], ['LB', 2, 7]], ['generated mix 2', [40, 8], ['LB', 3, 7]], ['small', [3.2, 2], ['OZ', 1, 1]], ['almost a pound', [15.5, 1], ['OZ', 4, 1]], ['two pounds', [32, 9], ['LB', 2, 8]], ['rounded to 13', [12.4, 4], ['OZ', 4, 3]], ['tier two', [4.2, 5], ['OZ', 2, 4]], ['generated mix 7', [33, 2], ['LB', 3, 1]]], [['generated mix 23', [40, 1], ['LB', 3, 1]], ['generated mix 15', [40, 3], ['LB', 3, 2]], ['one pound', [16, 3], ['LB', 1, 2]], ['two pounds', [32, 9], ['LB', 2, 8]], ['rounded to 13', [12.4, 4], ['OZ', 4, 3]], ['tier two', [4.2, 5], ['OZ', 2, 4]], ['generated mix 8', [12.4, 5], ['OZ', 4, 4]], ['generated mix 17', [4.6, 6], ['OZ', 2, 5]]], [['generated mix 51', [24, 6], ['LB', 2, 5]], ['generated mix 46', [40, 8], ['LB', 3, 7]], ['tier edge', [8, 2], ['OZ', 2, 1]], ['small', [3.2, 2], ['OZ', 1, 1]], ['almost a pound', [15.5, 1], ['OZ', 4, 1]], ['just over a pound', [17, 8], ['LB', 2, 7]], ['generated mix 19', [8, 8], ['OZ', 2, 7]], ['generated mix 27', [4.6, 6], ['OZ', 2, 5]]], [['generated mix 69', [24, 5], ['LB', 2, 4]], ['generated mix 62', [40, 4], ['LB', 3, 3]], ['tier two', [4.2, 5], ['OZ', 2, 4]], ['one pound', [16, 3], ['LB', 1, 2]], ['two pounds', [32, 9], ['LB', 2, 8]], ['rounded to 13', [12.4, 4], ['OZ', 4, 3]], ['generated mix 30', [4.6, 7], ['OZ', 2, 6]], ['generated mix 38', [33, 8], ['LB', 3, 7]]], [['generated mix 4', [16.2, 9], ['LB', 2, 8]], ['generated mix 2', [40, 8], ['LB', 3, 7]], ['just over a pound', [17, 8], ['LB', 2, 7]], ['tier edge', [8, 2], ['OZ', 2, 1]], ['small', [3.2, 2], ['OZ', 1, 1]], ['almost a pound', [15.5, 1], ['OZ', 4, 1]], ['generated mix 43', [12.4, 9], ['OZ', 4, 8]], ['generated mix 51', [24, 6], ['LB', 2, 5]]]]\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 tier sizes and zone groups. 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-ounce-tiers-pound-ceiling","generated_at":"2026-09-29T14:52:16.941387+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Lightweight services price by ounce tier before switching to pounds.","root_cause":"Pounds are floor-divided from ounces.","sha256":"d82d54f2cafffaa27c0861da131e96e41c45d6790fdc068d86e3dfb5e3d0b80b","title":"Ounce tiers: pounds truncated · 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.681,"exit_code":1,"observations":[{"actual":["LB",1,7],"check":"just over a pound","expected":["LB",2,7],"passed":false},{"actual":["LB",2,7],"check":"generated mix 2","expected":["LB",3,7],"passed":false},{"actual":["OZ",1,1],"check":"small","expected":["OZ",1,1],"passed":true},{"actual":["OZ",4,1],"check":"almost a pound","expected":["OZ",4,1],"passed":true},{"actual":["LB",2,8],"check":"two pounds","expected":["LB",2,8],"passed":true},{"actual":["OZ",4,3],"check":"rounded to 13","expected":["OZ",4,3],"passed":true},{"actual":["OZ",2,4],"check":"tier two","expected":["OZ",2,4],"passed":true},{"actual":["LB",2,1],"check":"generated mix 7","expected":["LB",3,1],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"just over a pound\", \"actual\": [\"LB\", 1, 7], \"expected\": [\"LB\", 2, 7], \"passed\": false}, {\"check\": \"generated mix 2\", \"actual\": [\"LB\", 2, 7], \"expected\": [\"LB\", 3, 7], \"passed\": false}, {\"check\": \"small\", \"actual\": [\"OZ\", 1, 1], \"expected\": [\"OZ\", 1, 1], \"passed\": true}, {\"check\": \"almost a pound\", \"actual\": [\"OZ\", 4, 1], \"expected\": [\"OZ\", 4, 1], \"passed\": true}, {\"check\": \"two pounds\", \"actual\": [\"LB\", 2, 8], \"expected\": [\"LB\", 2, 8], \"passed\": true}, {\"check\": \"rounded to 13\", \"actual\": [\"OZ\", 4, 3], \"expected\": [\"OZ\", 4, 3], \"passed\": true}, {\"check\": \"tier two\", \"actual\": [\"OZ\", 2, 4], \"expected\": [\"OZ\", 2, 4], \"passed\": true}, {\"check\": \"generated mix 7\", \"actual\": [\"LB\", 2, 1], \"expected\": [\"LB\", 3, 1], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.091,"exit_code":1,"observations":[{"actual":["LB",1,7],"check":"just over a pound","expected":["LB",2,7],"passed":false},{"actual":["LB",2,7],"check":"generated mix 2","expected":["LB",3,7],"passed":false},{"actual":["OZ",1,1],"check":"small","expected":["OZ",1,1],"passed":true},{"actual":["OZ",4,1],"check":"almost a pound","expected":["OZ",4,1],"passed":true},{"actual":["LB",2,8],"check":"two pounds","expected":["LB",2,8],"passed":true},{"actual":["OZ",4,3],"check":"rounded to 13","expected":["OZ",4,3],"passed":true},{"actual":["OZ",2,4],"check":"tier two","expected":["OZ",2,4],"passed":true},{"actual":["LB",2,1],"check":"generated mix 7","expected":["LB",3,1],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"just over a pound\", \"actual\": [\"LB\", 1, 7], \"expected\": [\"LB\", 2, 7], \"passed\": false}, {\"check\": \"generated mix 2\", \"actual\": [\"LB\", 2, 7], \"expected\": [\"LB\", 3, 7], \"passed\": false}, {\"check\": \"small\", \"actual\": [\"OZ\", 1, 1], \"expected\": [\"OZ\", 1, 1], \"passed\": true}, {\"check\": \"almost a pound\", \"actual\": [\"OZ\", 4, 1], \"expected\": [\"OZ\", 4, 1], \"passed\": true}, {\"check\": \"two pounds\", \"actual\": [\"LB\", 2, 8], \"expected\": [\"LB\", 2, 8], \"passed\": true}, {\"check\": \"rounded to 13\", \"actual\": [\"OZ\", 4, 3], \"expected\": [\"OZ\", 4, 3], \"passed\": true}, {\"check\": \"tier two\", \"actual\": [\"OZ\", 2, 4], \"expected\": [\"OZ\", 2, 4], \"passed\": true}, {\"check\": \"generated mix 7\", \"actual\": [\"LB\", 2, 1], \"expected\": [\"LB\", 3, 1], \"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."}}