{"abstract":"A parcel of exactly one pound is sold the lightweight ounce price.","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 before the boundary moves 15.5 oz parcels into pound pricing.","family":"w2-shipping-zone-ounce-tiers-pound-boundary","id":"FA-95786","implementations":{"attempt":{"sha256":"775532fe5a9d6c5ed3c308f64634b1b8c99d2f4c1ec1ad8e8ae0a38e6380b8e1","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 math.ceil(ounces) < 16:\n        oz = math.ceil(ounces)\n        return ['OZ', min(4, -(-oz // 4)), group]\n    return ['LB', math.ceil(ounces / 16), group]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['one pound', [16, 3], ['LB', 1, 2]], ['generated mix 1', [15.99, 7], ['OZ', 4, 6]], ['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 66', [16, 2], ['LB', 1, 1]], ['generated mix 37', [15.99, 2], ['OZ', 4, 1]], ['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 16', [4.6, 9], ['OZ', 2, 8]]], [['generated mix 28', [16, 7], ['LB', 1, 6]], ['generated mix 63', [15.5, 1], ['OZ', 4, 1]], ['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 13', [16, 4], ['LB', 1, 3]], ['generated mix 29', [15.99, 2], ['OZ', 4, 1]], ['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 32', [15.5, 1], ['OZ', 4, 1]], ['generated mix 40', [8, 2], ['OZ', 2, 1]]], [['one pound', [16, 3], ['LB', 1, 2]], ['generated mix 45', [15.5, 6], ['OZ', 4, 5]], ['tier edge', [8, 2], ['OZ', 2, 1]], ['small', [3.2, 2], ['OZ', 1, 1]], ['almost a pound', [15.5, 1], ['OZ', 4, 1]], ['two pounds', [32, 9], ['LB', 2, 8]], ['generated mix 42', [3.2, 7], ['OZ', 1, 6]], ['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":"73a75d83313aace98d39d9a14fe0b9208078101611f63166228052acb2922f00","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', math.ceil(ounces / 16), group]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['one pound', [16, 3], ['LB', 1, 2]], ['generated mix 1', [15.99, 7], ['OZ', 4, 6]], ['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 66', [16, 2], ['LB', 1, 1]], ['generated mix 37', [15.99, 2], ['OZ', 4, 1]], ['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 16', [4.6, 9], ['OZ', 2, 8]]], [['generated mix 28', [16, 7], ['LB', 1, 6]], ['generated mix 63', [15.5, 1], ['OZ', 4, 1]], ['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 13', [16, 4], ['LB', 1, 3]], ['generated mix 29', [15.99, 2], ['OZ', 4, 1]], ['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 32', [15.5, 1], ['OZ', 4, 1]], ['generated mix 40', [8, 2], ['OZ', 2, 1]]], [['one pound', [16, 3], ['LB', 1, 2]], ['generated mix 45', [15.5, 6], ['OZ', 4, 5]], ['tier edge', [8, 2], ['OZ', 2, 1]], ['small', [3.2, 2], ['OZ', 1, 1]], ['almost a pound', [15.5, 1], ['OZ', 4, 1]], ['two pounds', [32, 9], ['LB', 2, 8]], ['generated mix 42', [3.2, 7], ['OZ', 1, 6]], ['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-boundary","generated_at":"2026-09-29T14:52:16.818349+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":"The ounce/pound boundary includes 16 oz in ounce pricing.","sha256":"b59e33e2e8adb0c39fac195b78c0b667bb041bd31546520816c03540009aa0db","title":"Ounce tiers: 16 oz priced as ounces · 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":36.141,"exit_code":1,"observations":[{"actual":["LB",1,2],"check":"one pound","expected":["LB",1,2],"passed":true},{"actual":["LB",1,6],"check":"generated mix 1","expected":["OZ",4,6],"passed":false},{"actual":["OZ",1,1],"check":"small","expected":["OZ",1,1],"passed":true},{"actual":["LB",1,1],"check":"almost a pound","expected":["OZ",4,1],"passed":false},{"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",3,1],"check":"generated mix 7","expected":["LB",3,1],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"one pound\", \"actual\": [\"LB\", 1, 2], \"expected\": [\"LB\", 1, 2], \"passed\": true}, {\"check\": \"generated mix 1\", \"actual\": [\"LB\", 1, 6], \"expected\": [\"OZ\", 4, 6], \"passed\": false}, {\"check\": \"small\", \"actual\": [\"OZ\", 1, 1], \"expected\": [\"OZ\", 1, 1], \"passed\": true}, {\"check\": \"almost a pound\", \"actual\": [\"LB\", 1, 1], \"expected\": [\"OZ\", 4, 1], \"passed\": false}, {\"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\", 3, 1], \"expected\": [\"LB\", 3, 1], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.382,"exit_code":1,"observations":[{"actual":["OZ",4,2],"check":"one pound","expected":["LB",1,2],"passed":false},{"actual":["OZ",4,6],"check":"generated mix 1","expected":["OZ",4,6],"passed":true},{"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",3,1],"check":"generated mix 7","expected":["LB",3,1],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"one pound\", \"actual\": [\"OZ\", 4, 2], \"expected\": [\"LB\", 1, 2], \"passed\": false}, {\"check\": \"generated mix 1\", \"actual\": [\"OZ\", 4, 6], \"expected\": [\"OZ\", 4, 6], \"passed\": true}, {\"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\", 3, 1], \"expected\": [\"LB\", 3, 1], \"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."}}