{"abstract":"House 296 is not found on a block whose left range runs 298 down to 200.","category":"Postal address normalization","checks":8,"contract":"Input [house, segment] where the segment maps \"left\"/\"right\" to [from, to] house ranges (either direction, both ends sharing parity). Check left, then right: a side matches when the house lies between the ends inclusive and has the parity of \"from\". Return [side, position] with position the reduced fraction (house - from) / (to - from) as a string, \"0\" for a single-address range, or None when no side matches.","contract_signature":"x","evaluation_group":"w2-postal-address-normalization-range-side","failed_approach":"Ordering the bounds but excluding the upper end loses the last house of every range.","family":"w2-postal-address-normalization-range-side-descending-bounds","id":"FA-96201","implementations":{"attempt":{"sha256":"ae4a7b8b1b4b2376812debb12e26b8a4fa06dea9a16b007747b95e52a8ccb520","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    house, seg = x\n    for side in ('left', 'right'):\n        lo_hi = seg.get(side)\n        if not lo_hi:\n            continue\n        a, b = lo_hi\n        if min(a, b) <= house < max(a, b) and house % 2 == a % 2:\n            if a == b:\n                return [side, '0']\n            return [side, str(Fraction(house - a, b - a))]\n    return None\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['odd house on odd left side', [103, {'left': [101, 199], 'right': [100, 198]}], ['left', '1/49']], ['even house on even right side', [152, {'left': [101, 199], 'right': [100, 198]}], ['right', '26/49']], ['range end is inclusive', [199, {'left': [101, 199], 'right': [100, 198]}], ['left', '1']], ['descending range', [296, {'left': [298, 200], 'right': [299, 201]}], ['left', '1/49']], ['single-address range', [17, {'left': [17, 17], 'right': [16, 16]}], ['left', '0']], ['conflicting sides resolve to left', [5, {'right': [1, 9], 'left': [1, 9]}], ['left', '1/2']], ['even left side', [122, {'left': [100, 198], 'right': [101, 199]}], ['left', '11/49']], ['outside both ranges', [501, {'left': [101, 199], 'right': [100, 198]}], None]], [['odd house on odd left side', [105, {'left': [101, 199], 'right': [100, 198]}], ['left', '2/49']], ['even house on even right side', [154, {'left': [101, 199], 'right': [100, 198]}], ['right', '27/49']], ['range end is inclusive', [199, {'left': [101, 199], 'right': [100, 198]}], ['left', '1']], ['descending range', [294, {'left': [298, 200], 'right': [299, 201]}], ['left', '2/49']], ['single-address range', [19, {'left': [19, 19], 'right': [16, 16]}], ['left', '0']], ['conflicting sides resolve to left', [5, {'right': [1, 9], 'left': [1, 9]}], ['left', '1/2']], ['even left side', [124, {'left': [100, 198], 'right': [101, 199]}], ['left', '12/49']], ['outside both ranges', [502, {'left': [101, 199], 'right': [100, 198]}], None]], [['odd house on odd left side', [107, {'left': [101, 199], 'right': [100, 198]}], ['left', '3/49']], ['even house on even right side', [156, {'left': [101, 199], 'right': [100, 198]}], ['right', '4/7']], ['range end is inclusive', [199, {'left': [101, 199], 'right': [100, 198]}], ['left', '1']], ['descending range', [292, {'left': [298, 200], 'right': [299, 201]}], ['left', '3/49']], ['single-address range', [21, {'left': [21, 21], 'right': [16, 16]}], ['left', '0']], ['conflicting sides resolve to left', [5, {'right': [1, 9], 'left': [1, 9]}], ['left', '1/2']], ['even left side', [126, {'left': [100, 198], 'right': [101, 199]}], ['left', '13/49']], ['outside both ranges', [503, {'left': [101, 199], 'right': [100, 198]}], None]], [['odd house on odd left side', [109, {'left': [101, 199], 'right': [100, 198]}], ['left', '4/49']], ['even house on even right side', [158, {'left': [101, 199], 'right': [100, 198]}], ['right', '29/49']], ['range end is inclusive', [199, {'left': [101, 199], 'right': [100, 198]}], ['left', '1']], ['descending range', [290, {'left': [298, 200], 'right': [299, 201]}], ['left', '4/49']], ['single-address range', [23, {'left': [23, 23], 'right': [16, 16]}], ['left', '0']], ['conflicting sides resolve to left', [5, {'right': [1, 9], 'left': [1, 9]}], ['left', '1/2']], ['even left side', [128, {'left': [100, 198], 'right': [101, 199]}], ['left', '2/7']], ['outside both ranges', [504, {'left': [101, 199], 'right': [100, 198]}], None]], [['odd house on odd left side', [111, {'left': [101, 199], 'right': [100, 198]}], ['left', '5/49']], ['even house on even right side', [160, {'left': [101, 199], 'right': [100, 198]}], ['right', '30/49']], ['range end is inclusive', [199, {'left': [101, 199], 'right': [100, 198]}], ['left', '1']], ['descending range', [288, {'left': [298, 200], 'right': [299, 201]}], ['left', '5/49']], ['single-address range', [25, {'left': [25, 25], 'right': [16, 16]}], ['left', '0']], ['conflicting sides resolve to left', [5, {'right': [1, 9], 'left': [1, 9]}], ['left', '1/2']], ['even left side', [130, {'left': [100, 198], 'right': [101, 199]}], ['left', '15/49']], ['outside both ranges', [505, {'left': [101, 199], 'right': [100, 198]}], None]]]\nfor label, arg, expected in fixtures[N - 1]:\n    check(label, solve(arg), 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":"fff605a228e3003e8597b63005cf95000ec452fed7e00fb3f5fda02ed653b44a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    house, seg = x\n    for side in ('left', 'right'):\n        lo_hi = seg.get(side)\n        if not lo_hi:\n            continue\n        a, b = lo_hi\n        if a <= house <= b and house % 2 == a % 2:\n            if a == b:\n                return [side, '0']\n            return [side, str(Fraction(house - a, b - a))]\n    return None\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['odd house on odd left side', [103, {'left': [101, 199], 'right': [100, 198]}], ['left', '1/49']], ['even house on even right side', [152, {'left': [101, 199], 'right': [100, 198]}], ['right', '26/49']], ['range end is inclusive', [199, {'left': [101, 199], 'right': [100, 198]}], ['left', '1']], ['descending range', [296, {'left': [298, 200], 'right': [299, 201]}], ['left', '1/49']], ['single-address range', [17, {'left': [17, 17], 'right': [16, 16]}], ['left', '0']], ['conflicting sides resolve to left', [5, {'right': [1, 9], 'left': [1, 9]}], ['left', '1/2']], ['even left side', [122, {'left': [100, 198], 'right': [101, 199]}], ['left', '11/49']], ['outside both ranges', [501, {'left': [101, 199], 'right': [100, 198]}], None]], [['odd house on odd left side', [105, {'left': [101, 199], 'right': [100, 198]}], ['left', '2/49']], ['even house on even right side', [154, {'left': [101, 199], 'right': [100, 198]}], ['right', '27/49']], ['range end is inclusive', [199, {'left': [101, 199], 'right': [100, 198]}], ['left', '1']], ['descending range', [294, {'left': [298, 200], 'right': [299, 201]}], ['left', '2/49']], ['single-address range', [19, {'left': [19, 19], 'right': [16, 16]}], ['left', '0']], ['conflicting sides resolve to left', [5, {'right': [1, 9], 'left': [1, 9]}], ['left', '1/2']], ['even left side', [124, {'left': [100, 198], 'right': [101, 199]}], ['left', '12/49']], ['outside both ranges', [502, {'left': [101, 199], 'right': [100, 198]}], None]], [['odd house on odd left side', [107, {'left': [101, 199], 'right': [100, 198]}], ['left', '3/49']], ['even house on even right side', [156, {'left': [101, 199], 'right': [100, 198]}], ['right', '4/7']], ['range end is inclusive', [199, {'left': [101, 199], 'right': [100, 198]}], ['left', '1']], ['descending range', [292, {'left': [298, 200], 'right': [299, 201]}], ['left', '3/49']], ['single-address range', [21, {'left': [21, 21], 'right': [16, 16]}], ['left', '0']], ['conflicting sides resolve to left', [5, {'right': [1, 9], 'left': [1, 9]}], ['left', '1/2']], ['even left side', [126, {'left': [100, 198], 'right': [101, 199]}], ['left', '13/49']], ['outside both ranges', [503, {'left': [101, 199], 'right': [100, 198]}], None]], [['odd house on odd left side', [109, {'left': [101, 199], 'right': [100, 198]}], ['left', '4/49']], ['even house on even right side', [158, {'left': [101, 199], 'right': [100, 198]}], ['right', '29/49']], ['range end is inclusive', [199, {'left': [101, 199], 'right': [100, 198]}], ['left', '1']], ['descending range', [290, {'left': [298, 200], 'right': [299, 201]}], ['left', '4/49']], ['single-address range', [23, {'left': [23, 23], 'right': [16, 16]}], ['left', '0']], ['conflicting sides resolve to left', [5, {'right': [1, 9], 'left': [1, 9]}], ['left', '1/2']], ['even left side', [128, {'left': [100, 198], 'right': [101, 199]}], ['left', '2/7']], ['outside both ranges', [504, {'left': [101, 199], 'right': [100, 198]}], None]], [['odd house on odd left side', [111, {'left': [101, 199], 'right': [100, 198]}], ['left', '5/49']], ['even house on even right side', [160, {'left': [101, 199], 'right': [100, 198]}], ['right', '30/49']], ['range end is inclusive', [199, {'left': [101, 199], 'right': [100, 198]}], ['left', '1']], ['descending range', [288, {'left': [298, 200], 'right': [299, 201]}], ['left', '5/49']], ['single-address range', [25, {'left': [25, 25], 'right': [16, 16]}], ['left', '0']], ['conflicting sides resolve to left', [5, {'right': [1, 9], 'left': [1, 9]}], ['left', '1/2']], ['even left side', [130, {'left': [100, 198], 'right': [101, 199]}], ['left', '15/49']], ['outside both ranges', [505, {'left': [101, 199], 'right': [100, 198]}], None]]]\nfor label, arg, expected in fixtures[N - 1]:\n    check(label, solve(arg), 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":"A deterministic toy contract over synthetic, obviously fictitious addresses. The rules are stipulated for this model only and make no claim of conformance with any postal authority standard. 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-postal-address-normalization-range-side-descending-bounds","generated_at":"2026-09-29T14:52:20.781604+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Assigning a normalized address to the correct block face and position drives geocoding and carrier walk order.","root_cause":"The containment test assumes from <= to.","sha256":"b6cc75601006f4b355e3f834fa1df9b65e70124ac35ca570ccddd70edeb92d94","title":"Block range side assignment: descending ranges never match · 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.841,"exit_code":1,"observations":[{"actual":["left","1/49"],"check":"odd house on odd left side","expected":["left","1/49"],"passed":true},{"actual":["right","26/49"],"check":"even house on even right side","expected":["right","26/49"],"passed":true},{"actual":null,"check":"range end is inclusive","expected":["left","1"],"passed":false},{"actual":["left","1/49"],"check":"descending range","expected":["left","1/49"],"passed":true},{"actual":null,"check":"single-address range","expected":["left","0"],"passed":false},{"actual":["left","1/2"],"check":"conflicting sides resolve to left","expected":["left","1/2"],"passed":true},{"actual":["left","11/49"],"check":"even left side","expected":["left","11/49"],"passed":true},{"actual":null,"check":"outside both ranges","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"odd house on odd left side\", \"actual\": [\"left\", \"1/49\"], \"expected\": [\"left\", \"1/49\"], \"passed\": true}, {\"check\": \"even house on even right side\", \"actual\": [\"right\", \"26/49\"], \"expected\": [\"right\", \"26/49\"], \"passed\": true}, {\"check\": \"range end is inclusive\", \"actual\": null, \"expected\": [\"left\", \"1\"], \"passed\": false}, {\"check\": \"descending range\", \"actual\": [\"left\", \"1/49\"], \"expected\": [\"left\", \"1/49\"], \"passed\": true}, {\"check\": \"single-address range\", \"actual\": null, \"expected\": [\"left\", \"0\"], \"passed\": false}, {\"check\": \"conflicting sides resolve to left\", \"actual\": [\"left\", \"1/2\"], \"expected\": [\"left\", \"1/2\"], \"passed\": true}, {\"check\": \"even left side\", \"actual\": [\"left\", \"11/49\"], \"expected\": [\"left\", \"11/49\"], \"passed\": true}, {\"check\": \"outside both ranges\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.11,"exit_code":1,"observations":[{"actual":["left","1/49"],"check":"odd house on odd left side","expected":["left","1/49"],"passed":true},{"actual":["right","26/49"],"check":"even house on even right side","expected":["right","26/49"],"passed":true},{"actual":["left","1"],"check":"range end is inclusive","expected":["left","1"],"passed":true},{"actual":null,"check":"descending range","expected":["left","1/49"],"passed":false},{"actual":["left","0"],"check":"single-address range","expected":["left","0"],"passed":true},{"actual":["left","1/2"],"check":"conflicting sides resolve to left","expected":["left","1/2"],"passed":true},{"actual":["left","11/49"],"check":"even left side","expected":["left","11/49"],"passed":true},{"actual":null,"check":"outside both ranges","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"odd house on odd left side\", \"actual\": [\"left\", \"1/49\"], \"expected\": [\"left\", \"1/49\"], \"passed\": true}, {\"check\": \"even house on even right side\", \"actual\": [\"right\", \"26/49\"], \"expected\": [\"right\", \"26/49\"], \"passed\": true}, {\"check\": \"range end is inclusive\", \"actual\": [\"left\", \"1\"], \"expected\": [\"left\", \"1\"], \"passed\": true}, {\"check\": \"descending range\", \"actual\": null, \"expected\": [\"left\", \"1/49\"], \"passed\": false}, {\"check\": \"single-address range\", \"actual\": [\"left\", \"0\"], \"expected\": [\"left\", \"0\"], \"passed\": true}, {\"check\": \"conflicting sides resolve to left\", \"actual\": [\"left\", \"1/2\"], \"expected\": [\"left\", \"1/2\"], \"passed\": true}, {\"check\": \"even left side\", \"actual\": [\"left\", \"11/49\"], \"expected\": [\"left\", \"11/49\"], \"passed\": true}, {\"check\": \"outside both ranges\", \"actual\": null, \"expected\": null, \"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."}}