FA-96201 / Postal address normalization / Open access
Block range side assignment: descending ranges never match · case 01
House 296 is not found on a block whose left range runs 298 down to 200.
ROOT CAUSE
The containment test assumes from <= to.
VERIFIED REPAIR
Test containment between min(from, to) and max(from, to).
Unsuccessful approach: Ordering the bounds but excluding the upper end loses the last house of every range.
Case 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.
Why this case matters
Assigning a normalized address to the correct block face and position drives geocoding and carrier walk order.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
from fractions import Fraction
N = 1
observations = []
def solve(x):
house, seg = x
for side in ('left', 'right'):
lo_hi = seg.get(side)
if not lo_hi:
continue
a, b = lo_hi
if a <= house <= b and house % 2 == a % 2:
if a == b:
return [side, '0']
return [side, str(Fraction(house - a, b - a))]
return None
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['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]]]
for label, arg, expected in fixtures[N - 1]:
check(label, solve(arg), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| odd house on odd left side | ['left', '1/49'] | ['left', '1/49'] | Passed |
| even house on even right side | ['right', '26/49'] | ['right', '26/49'] | Passed |
| range end is inclusive | ['left', '1'] | ['left', '1'] | Passed |
| descending range | None | ['left', '1/49'] | Failed |
| single-address range | ['left', '0'] | ['left', '0'] | Passed |
| conflicting sides resolve to left | ['left', '1/2'] | ['left', '1/2'] | Passed |
| even left side | ['left', '11/49'] | ['left', '11/49'] | Passed |
| outside both ranges | None | None | Passed |
SHA-256 / fff605a228e3003e8597b63005cf95000ec452fed7e00fb3f5fda02ed653b44a
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
from fractions import Fraction
N = 1
observations = []
def solve(x):
house, seg = x
for side in ('left', 'right'):
lo_hi = seg.get(side)
if not lo_hi:
continue
a, b = lo_hi
if min(a, b) <= house < max(a, b) and house % 2 == a % 2:
if a == b:
return [side, '0']
return [side, str(Fraction(house - a, b - a))]
return None
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['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]]]
for label, arg, expected in fixtures[N - 1]:
check(label, solve(arg), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| odd house on odd left side | ['left', '1/49'] | ['left', '1/49'] | Passed |
| even house on even right side | ['right', '26/49'] | ['right', '26/49'] | Passed |
| range end is inclusive | None | ['left', '1'] | Failed |
| descending range | ['left', '1/49'] | ['left', '1/49'] | Passed |
| single-address range | None | ['left', '0'] | Failed |
| conflicting sides resolve to left | ['left', '1/2'] | ['left', '1/2'] | Passed |
| even left side | ['left', '11/49'] | ['left', '11/49'] | Passed |
| outside both ranges | None | None | Passed |
SHA-256 / ae4a7b8b1b4b2376812debb12e26b8a4fa06dea9a16b007747b95e52a8ccb520
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
from fractions import Fraction
N = 1
observations = []
def solve(x):
house, seg = x
for side in ('left', 'right'):
lo_hi = seg.get(side)
if not lo_hi:
continue
a, b = lo_hi
if min(a, b) <= house <= max(a, b) and house % 2 == a % 2:
if a == b:
return [side, '0']
return [side, str(Fraction(house - a, b - a))]
return None
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['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]]]
for label, arg, expected in fixtures[N - 1]:
check(label, solve(arg), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| odd house on odd left side | ['left', '1/49'] | ['left', '1/49'] | Passed |
| even house on even right side | ['right', '26/49'] | ['right', '26/49'] | Passed |
| range end is inclusive | ['left', '1'] | ['left', '1'] | Passed |
| descending range | ['left', '1/49'] | ['left', '1/49'] | Passed |
| single-address range | ['left', '0'] | ['left', '0'] | Passed |
| conflicting sides resolve to left | ['left', '1/2'] | ['left', '1/2'] | Passed |
| even left side | ['left', '11/49'] | ['left', '11/49'] | Passed |
| outside both ranges | None | None | Passed |
SHA-256 / c89a7ee23cf20a0eb58c6d40c40f23df4bafe8fb429196f33208107e1b323637
Verification & scope
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.
Observations recorded using Python 3.12.14 at 2026-09-29T14:52:20.650965+00:00.
Case digest / 8f20e030171ebf62d8dc6e5e483cf4385b208702f143e60574dfcc4da1e61ff8