FAILURE MAP
← Case archive

FA-25896 / Filter interfaces / Open access

Missing upper identities do not silently become the final option · case 01

Missing upper identities do not silently become the final option is violated by the widget projection.

Verified by executionVariant 1 · 10 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The upper-index decision uses `len(d['options'])-1` instead of the stipulated discrete-range-widget projection.

VERIFIED REPAIR

Implement the declared upper-index projection: `d['options'].index(d['hi']) if d['hi'] in d['options'] else None`.

Unsuccessful approach: The attempted correction `d['options'].index(d['hi']) if d['hi'] in d['options'] else len(d['options'])-1` still violates the explicit contract fixtures.

Case contract

A discrete range selector uses ordered option indices, preserves endpoint option identities across rerender, and renders unavailable selected options as unresolved. This example checks: Missing upper identities do not silently become the final option.

Why this case matters

Filter-widget state and serialization must preserve user constraints while the view changes.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    return {'lower-index':(d['options'].index(d['lo']) if d['lo'] in d['options'] else None), 'upper-index':(len(d['options'])-1), 'range-order':(d['lo'] in d['options'] and d['hi'] in d['options'] and d['options'].index(d['lo'])<=d['options'].index(d['hi'])), 'endpoint-payload':([d['lo'],d['hi']]), 'unresolved-endpoints':([x for x in (d['lo'],d['hi']) if x not in d['options']]), 'full-domain':(bool(d['options']) and d['lo']==d['options'][0] and d['hi']==d['options'][-1])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'options': ['small', 'medium', 'large'], 'lo': 'small', 'hi': 'small'}, {'lower-index': 0, 'upper-index': 0, 'range-order': True, 'endpoint-payload': ['small', 'small'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'z', 'hi': 'a'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'a'], 'unresolved-endpoints': ['z', 'a'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'large'}, {'lower-index': 2, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['large', 'large'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'z', 'hi': 'small'}, {'lower-index': None, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['z', 'small'], 'unresolved-endpoints': ['z'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'large'], 'unresolved-endpoints': ['small', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'small'], 'unresolved-endpoints': ['medium', 'small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'a'}, {'lower-index': None, 'upper-index': 1, 'range-order': False, 'endpoint-payload': ['medium', 'a'], 'unresolved-endpoints': ['medium'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'large', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'large'], 'unresolved-endpoints': ['large', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'z', 'hi': 'small'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'small'], 'unresolved-endpoints': ['small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'z', 'hi': 'a'}, {'lower-index': 0, 'upper-index': 1, 'range-order': True, 'endpoint-payload': ['z', 'a'], 'unresolved-endpoints': [], 'full-domain': True})], 2: [({'options': ['small', 'medium', 'large'], 'lo': 'small', 'hi': 'a'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'a'], 'unresolved-endpoints': ['a'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'small'], 'unresolved-endpoints': ['medium', 'small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'a'}, {'lower-index': None, 'upper-index': 1, 'range-order': False, 'endpoint-payload': ['small', 'a'], 'unresolved-endpoints': ['small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'large'], 'unresolved-endpoints': ['medium', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'large', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': ['large', 'small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'large', 'hi': 'a'}, {'lower-index': None, 'upper-index': 1, 'range-order': False, 'endpoint-payload': ['large', 'a'], 'unresolved-endpoints': ['large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'z', 'hi': 'large'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'large'], 'unresolved-endpoints': ['large'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'small', 'hi': 'small'}, {'lower-index': 0, 'upper-index': 0, 'range-order': True, 'endpoint-payload': ['small', 'small'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'medium', 'hi': 'large'}, {'lower-index': 1, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['medium', 'large'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'small'}, {'lower-index': 2, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': [], 'full-domain': False})], 3: [({'options': ['small', 'medium', 'large'], 'lo': 'medium', 'hi': 'small'}, {'lower-index': 1, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['medium', 'small'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'large', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'large'], 'unresolved-endpoints': ['large', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'z', 'hi': 'small'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'small'], 'unresolved-endpoints': ['small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'z', 'hi': 'a'}, {'lower-index': 0, 'upper-index': 1, 'range-order': True, 'endpoint-payload': ['z', 'a'], 'unresolved-endpoints': [], 'full-domain': True}), ({'options': ['small', 'medium', 'large'], 'lo': 'small', 'hi': 'large'}, {'lower-index': 0, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['small', 'large'], 'unresolved-endpoints': [], 'full-domain': True}), ({'options': ['small', 'medium', 'large'], 'lo': 'medium', 'hi': 'a'}, {'lower-index': 1, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'a'], 'unresolved-endpoints': ['a'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'large'}, {'lower-index': 2, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['large', 'large'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'z', 'hi': 'small'}, {'lower-index': None, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['z', 'small'], 'unresolved-endpoints': ['z'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'z', 'hi': 'a'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'a'], 'unresolved-endpoints': ['z', 'a'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'large'], 'unresolved-endpoints': ['small', 'large'], 'full-domain': False})], 4: [({'options': ['small', 'medium', 'large'], 'lo': 'medium', 'hi': 'a'}, {'lower-index': 1, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'a'], 'unresolved-endpoints': ['a'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'small', 'hi': 'a'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'a'], 'unresolved-endpoints': ['a'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'medium', 'hi': 'large'}, {'lower-index': 1, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['medium', 'large'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'small'}, {'lower-index': 2, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'a'}, {'lower-index': 2, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'a'], 'unresolved-endpoints': ['a'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'z', 'hi': 'large'}, {'lower-index': None, 'upper-index': 2, 'range-order': False, 'endpoint-payload': ['z', 'large'], 'unresolved-endpoints': ['z'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'small'], 'unresolved-endpoints': ['small', 'small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'a'}, {'lower-index': None, 'upper-index': 1, 'range-order': False, 'endpoint-payload': ['small', 'a'], 'unresolved-endpoints': ['small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'large'], 'unresolved-endpoints': ['medium', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'large', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': ['large', 'small'], 'full-domain': False})], 5: [({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'small'}, {'lower-index': 2, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'z', 'hi': 'a'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'a'], 'unresolved-endpoints': ['z', 'a'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'large'], 'unresolved-endpoints': ['small', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'small'], 'unresolved-endpoints': ['medium', 'small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'a'}, {'lower-index': None, 'upper-index': 1, 'range-order': False, 'endpoint-payload': ['medium', 'a'], 'unresolved-endpoints': ['medium'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'large', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'large'], 'unresolved-endpoints': ['large', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'z', 'hi': 'small'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'small'], 'unresolved-endpoints': ['small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'z', 'hi': 'a'}, {'lower-index': 0, 'upper-index': 1, 'range-order': True, 'endpoint-payload': ['z', 'a'], 'unresolved-endpoints': [], 'full-domain': True}), ({'options': ['small', 'medium', 'large'], 'lo': 'small', 'hi': 'large'}, {'lower-index': 0, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['small', 'large'], 'unresolved-endpoints': [], 'full-domain': True}), ({'options': ['small', 'medium', 'large'], 'lo': 'medium', 'hi': 'small'}, {'lower-index': 1, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['medium', 'small'], 'unresolved-endpoints': [], 'full-domain': False})]}
for index, (data, expected) in enumerate(fixtures[N]):
    check("contract fixture " + str(index), solve(data), 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 fixtureActualExpectedOutcome
contract fixture 0{'endpoint-payload': ['small', 'small'], 'full-domain': False, 'lower-index': 0, 'range-order': True, 'unresolved-endpoints': [], 'upper-index': 2}{'endpoint-payload': ['small', 'small'], 'full-domain': False, 'lower-index': 0, 'range-order': True, 'unresolved-endpoints': [], 'upper-index': 0}Failed
contract fixture 1{'endpoint-payload': ['z', 'a'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['z', 'a'], 'upper-index': 2}{'endpoint-payload': ['z', 'a'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['z', 'a'], 'upper-index': None}Failed
contract fixture 2{'endpoint-payload': ['large', 'large'], 'full-domain': False, 'lower-index': 2, 'range-order': True, 'unresolved-endpoints': [], 'upper-index': 2}{'endpoint-payload': ['large', 'large'], 'full-domain': False, 'lower-index': 2, 'range-order': True, 'unresolved-endpoints': [], 'upper-index': 2}Passed
contract fixture 3{'endpoint-payload': ['z', 'small'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['z'], 'upper-index': 2}{'endpoint-payload': ['z', 'small'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['z'], 'upper-index': 0}Failed
contract fixture 4{'endpoint-payload': ['small', 'large'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['small', 'large'], 'upper-index': 1}{'endpoint-payload': ['small', 'large'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['small', 'large'], 'upper-index': None}Failed
contract fixture 5{'endpoint-payload': ['medium', 'small'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['medium', 'small'], 'upper-index': 1}{'endpoint-payload': ['medium', 'small'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['medium', 'small'], 'upper-index': None}Failed
contract fixture 6{'endpoint-payload': ['medium', 'a'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['medium'], 'upper-index': 1}{'endpoint-payload': ['medium', 'a'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['medium'], 'upper-index': 1}Passed
contract fixture 7{'endpoint-payload': ['large', 'large'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['large', 'large'], 'upper-index': 1}{'endpoint-payload': ['large', 'large'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['large', 'large'], 'upper-index': None}Failed
contract fixture 8{'endpoint-payload': ['z', 'small'], 'full-domain': False, 'lower-index': 0, 'range-order': False, 'unresolved-endpoints': ['small'], 'upper-index': 1}{'endpoint-payload': ['z', 'small'], 'full-domain': False, 'lower-index': 0, 'range-order': False, 'unresolved-endpoints': ['small'], 'upper-index': None}Failed
contract fixture 9{'endpoint-payload': ['z', 'a'], 'full-domain': True, 'lower-index': 0, 'range-order': True, 'unresolved-endpoints': [], 'upper-index': 1}{'endpoint-payload': ['z', 'a'], 'full-domain': True, 'lower-index': 0, 'range-order': True, 'unresolved-endpoints': [], 'upper-index': 1}Passed

SHA-256 / 65f339d4ffdb003599f015161180dfae07b8af99cd9aa2f0cc7d57d82127ebcf

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    return {'lower-index':(d['options'].index(d['lo']) if d['lo'] in d['options'] else None), 'upper-index':(d['options'].index(d['hi']) if d['hi'] in d['options'] else len(d['options'])-1), 'range-order':(d['lo'] in d['options'] and d['hi'] in d['options'] and d['options'].index(d['lo'])<=d['options'].index(d['hi'])), 'endpoint-payload':([d['lo'],d['hi']]), 'unresolved-endpoints':([x for x in (d['lo'],d['hi']) if x not in d['options']]), 'full-domain':(bool(d['options']) and d['lo']==d['options'][0] and d['hi']==d['options'][-1])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'options': ['small', 'medium', 'large'], 'lo': 'small', 'hi': 'small'}, {'lower-index': 0, 'upper-index': 0, 'range-order': True, 'endpoint-payload': ['small', 'small'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'z', 'hi': 'a'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'a'], 'unresolved-endpoints': ['z', 'a'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'large'}, {'lower-index': 2, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['large', 'large'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'z', 'hi': 'small'}, {'lower-index': None, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['z', 'small'], 'unresolved-endpoints': ['z'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'large'], 'unresolved-endpoints': ['small', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'small'], 'unresolved-endpoints': ['medium', 'small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'a'}, {'lower-index': None, 'upper-index': 1, 'range-order': False, 'endpoint-payload': ['medium', 'a'], 'unresolved-endpoints': ['medium'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'large', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'large'], 'unresolved-endpoints': ['large', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'z', 'hi': 'small'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'small'], 'unresolved-endpoints': ['small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'z', 'hi': 'a'}, {'lower-index': 0, 'upper-index': 1, 'range-order': True, 'endpoint-payload': ['z', 'a'], 'unresolved-endpoints': [], 'full-domain': True})], 2: [({'options': ['small', 'medium', 'large'], 'lo': 'small', 'hi': 'a'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'a'], 'unresolved-endpoints': ['a'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'small'], 'unresolved-endpoints': ['medium', 'small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'a'}, {'lower-index': None, 'upper-index': 1, 'range-order': False, 'endpoint-payload': ['small', 'a'], 'unresolved-endpoints': ['small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'large'], 'unresolved-endpoints': ['medium', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'large', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': ['large', 'small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'large', 'hi': 'a'}, {'lower-index': None, 'upper-index': 1, 'range-order': False, 'endpoint-payload': ['large', 'a'], 'unresolved-endpoints': ['large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'z', 'hi': 'large'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'large'], 'unresolved-endpoints': ['large'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'small', 'hi': 'small'}, {'lower-index': 0, 'upper-index': 0, 'range-order': True, 'endpoint-payload': ['small', 'small'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'medium', 'hi': 'large'}, {'lower-index': 1, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['medium', 'large'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'small'}, {'lower-index': 2, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': [], 'full-domain': False})], 3: [({'options': ['small', 'medium', 'large'], 'lo': 'medium', 'hi': 'small'}, {'lower-index': 1, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['medium', 'small'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'large', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'large'], 'unresolved-endpoints': ['large', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'z', 'hi': 'small'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'small'], 'unresolved-endpoints': ['small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'z', 'hi': 'a'}, {'lower-index': 0, 'upper-index': 1, 'range-order': True, 'endpoint-payload': ['z', 'a'], 'unresolved-endpoints': [], 'full-domain': True}), ({'options': ['small', 'medium', 'large'], 'lo': 'small', 'hi': 'large'}, {'lower-index': 0, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['small', 'large'], 'unresolved-endpoints': [], 'full-domain': True}), ({'options': ['small', 'medium', 'large'], 'lo': 'medium', 'hi': 'a'}, {'lower-index': 1, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'a'], 'unresolved-endpoints': ['a'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'large'}, {'lower-index': 2, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['large', 'large'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'z', 'hi': 'small'}, {'lower-index': None, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['z', 'small'], 'unresolved-endpoints': ['z'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'z', 'hi': 'a'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'a'], 'unresolved-endpoints': ['z', 'a'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'large'], 'unresolved-endpoints': ['small', 'large'], 'full-domain': False})], 4: [({'options': ['small', 'medium', 'large'], 'lo': 'medium', 'hi': 'a'}, {'lower-index': 1, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'a'], 'unresolved-endpoints': ['a'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'small', 'hi': 'a'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'a'], 'unresolved-endpoints': ['a'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'medium', 'hi': 'large'}, {'lower-index': 1, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['medium', 'large'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'small'}, {'lower-index': 2, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'a'}, {'lower-index': 2, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'a'], 'unresolved-endpoints': ['a'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'z', 'hi': 'large'}, {'lower-index': None, 'upper-index': 2, 'range-order': False, 'endpoint-payload': ['z', 'large'], 'unresolved-endpoints': ['z'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'small'], 'unresolved-endpoints': ['small', 'small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'a'}, {'lower-index': None, 'upper-index': 1, 'range-order': False, 'endpoint-payload': ['small', 'a'], 'unresolved-endpoints': ['small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'large'], 'unresolved-endpoints': ['medium', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'large', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': ['large', 'small'], 'full-domain': False})], 5: [({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'small'}, {'lower-index': 2, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'z', 'hi': 'a'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'a'], 'unresolved-endpoints': ['z', 'a'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'large'], 'unresolved-endpoints': ['small', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'small'], 'unresolved-endpoints': ['medium', 'small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'a'}, {'lower-index': None, 'upper-index': 1, 'range-order': False, 'endpoint-payload': ['medium', 'a'], 'unresolved-endpoints': ['medium'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'large', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'large'], 'unresolved-endpoints': ['large', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'z', 'hi': 'small'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'small'], 'unresolved-endpoints': ['small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'z', 'hi': 'a'}, {'lower-index': 0, 'upper-index': 1, 'range-order': True, 'endpoint-payload': ['z', 'a'], 'unresolved-endpoints': [], 'full-domain': True}), ({'options': ['small', 'medium', 'large'], 'lo': 'small', 'hi': 'large'}, {'lower-index': 0, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['small', 'large'], 'unresolved-endpoints': [], 'full-domain': True}), ({'options': ['small', 'medium', 'large'], 'lo': 'medium', 'hi': 'small'}, {'lower-index': 1, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['medium', 'small'], 'unresolved-endpoints': [], 'full-domain': False})]}
for index, (data, expected) in enumerate(fixtures[N]):
    check("contract fixture " + str(index), solve(data), 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 fixtureActualExpectedOutcome
contract fixture 0{'endpoint-payload': ['small', 'small'], 'full-domain': False, 'lower-index': 0, 'range-order': True, 'unresolved-endpoints': [], 'upper-index': 0}{'endpoint-payload': ['small', 'small'], 'full-domain': False, 'lower-index': 0, 'range-order': True, 'unresolved-endpoints': [], 'upper-index': 0}Passed
contract fixture 1{'endpoint-payload': ['z', 'a'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['z', 'a'], 'upper-index': 2}{'endpoint-payload': ['z', 'a'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['z', 'a'], 'upper-index': None}Failed
contract fixture 2{'endpoint-payload': ['large', 'large'], 'full-domain': False, 'lower-index': 2, 'range-order': True, 'unresolved-endpoints': [], 'upper-index': 2}{'endpoint-payload': ['large', 'large'], 'full-domain': False, 'lower-index': 2, 'range-order': True, 'unresolved-endpoints': [], 'upper-index': 2}Passed
contract fixture 3{'endpoint-payload': ['z', 'small'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['z'], 'upper-index': 0}{'endpoint-payload': ['z', 'small'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['z'], 'upper-index': 0}Passed
contract fixture 4{'endpoint-payload': ['small', 'large'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['small', 'large'], 'upper-index': 1}{'endpoint-payload': ['small', 'large'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['small', 'large'], 'upper-index': None}Failed
contract fixture 5{'endpoint-payload': ['medium', 'small'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['medium', 'small'], 'upper-index': 1}{'endpoint-payload': ['medium', 'small'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['medium', 'small'], 'upper-index': None}Failed
contract fixture 6{'endpoint-payload': ['medium', 'a'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['medium'], 'upper-index': 1}{'endpoint-payload': ['medium', 'a'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['medium'], 'upper-index': 1}Passed
contract fixture 7{'endpoint-payload': ['large', 'large'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['large', 'large'], 'upper-index': 1}{'endpoint-payload': ['large', 'large'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['large', 'large'], 'upper-index': None}Failed
contract fixture 8{'endpoint-payload': ['z', 'small'], 'full-domain': False, 'lower-index': 0, 'range-order': False, 'unresolved-endpoints': ['small'], 'upper-index': 1}{'endpoint-payload': ['z', 'small'], 'full-domain': False, 'lower-index': 0, 'range-order': False, 'unresolved-endpoints': ['small'], 'upper-index': None}Failed
contract fixture 9{'endpoint-payload': ['z', 'a'], 'full-domain': True, 'lower-index': 0, 'range-order': True, 'unresolved-endpoints': [], 'upper-index': 1}{'endpoint-payload': ['z', 'a'], 'full-domain': True, 'lower-index': 0, 'range-order': True, 'unresolved-endpoints': [], 'upper-index': 1}Passed

SHA-256 / 0e4d3bd3fb77a7668da2fad54bb9157f73823b133410518d4f24b9d5073ff721

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    return {'lower-index':(d['options'].index(d['lo']) if d['lo'] in d['options'] else None), 'upper-index':(d['options'].index(d['hi']) if d['hi'] in d['options'] else None), 'range-order':(d['lo'] in d['options'] and d['hi'] in d['options'] and d['options'].index(d['lo'])<=d['options'].index(d['hi'])), 'endpoint-payload':([d['lo'],d['hi']]), 'unresolved-endpoints':([x for x in (d['lo'],d['hi']) if x not in d['options']]), 'full-domain':(bool(d['options']) and d['lo']==d['options'][0] and d['hi']==d['options'][-1])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'options': ['small', 'medium', 'large'], 'lo': 'small', 'hi': 'small'}, {'lower-index': 0, 'upper-index': 0, 'range-order': True, 'endpoint-payload': ['small', 'small'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'z', 'hi': 'a'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'a'], 'unresolved-endpoints': ['z', 'a'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'large'}, {'lower-index': 2, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['large', 'large'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'z', 'hi': 'small'}, {'lower-index': None, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['z', 'small'], 'unresolved-endpoints': ['z'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'large'], 'unresolved-endpoints': ['small', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'small'], 'unresolved-endpoints': ['medium', 'small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'a'}, {'lower-index': None, 'upper-index': 1, 'range-order': False, 'endpoint-payload': ['medium', 'a'], 'unresolved-endpoints': ['medium'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'large', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'large'], 'unresolved-endpoints': ['large', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'z', 'hi': 'small'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'small'], 'unresolved-endpoints': ['small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'z', 'hi': 'a'}, {'lower-index': 0, 'upper-index': 1, 'range-order': True, 'endpoint-payload': ['z', 'a'], 'unresolved-endpoints': [], 'full-domain': True})], 2: [({'options': ['small', 'medium', 'large'], 'lo': 'small', 'hi': 'a'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'a'], 'unresolved-endpoints': ['a'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'small'], 'unresolved-endpoints': ['medium', 'small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'a'}, {'lower-index': None, 'upper-index': 1, 'range-order': False, 'endpoint-payload': ['small', 'a'], 'unresolved-endpoints': ['small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'large'], 'unresolved-endpoints': ['medium', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'large', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': ['large', 'small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'large', 'hi': 'a'}, {'lower-index': None, 'upper-index': 1, 'range-order': False, 'endpoint-payload': ['large', 'a'], 'unresolved-endpoints': ['large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'z', 'hi': 'large'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'large'], 'unresolved-endpoints': ['large'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'small', 'hi': 'small'}, {'lower-index': 0, 'upper-index': 0, 'range-order': True, 'endpoint-payload': ['small', 'small'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'medium', 'hi': 'large'}, {'lower-index': 1, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['medium', 'large'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'small'}, {'lower-index': 2, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': [], 'full-domain': False})], 3: [({'options': ['small', 'medium', 'large'], 'lo': 'medium', 'hi': 'small'}, {'lower-index': 1, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['medium', 'small'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'large', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'large'], 'unresolved-endpoints': ['large', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'z', 'hi': 'small'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'small'], 'unresolved-endpoints': ['small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'z', 'hi': 'a'}, {'lower-index': 0, 'upper-index': 1, 'range-order': True, 'endpoint-payload': ['z', 'a'], 'unresolved-endpoints': [], 'full-domain': True}), ({'options': ['small', 'medium', 'large'], 'lo': 'small', 'hi': 'large'}, {'lower-index': 0, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['small', 'large'], 'unresolved-endpoints': [], 'full-domain': True}), ({'options': ['small', 'medium', 'large'], 'lo': 'medium', 'hi': 'a'}, {'lower-index': 1, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'a'], 'unresolved-endpoints': ['a'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'large'}, {'lower-index': 2, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['large', 'large'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'z', 'hi': 'small'}, {'lower-index': None, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['z', 'small'], 'unresolved-endpoints': ['z'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'z', 'hi': 'a'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'a'], 'unresolved-endpoints': ['z', 'a'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'large'], 'unresolved-endpoints': ['small', 'large'], 'full-domain': False})], 4: [({'options': ['small', 'medium', 'large'], 'lo': 'medium', 'hi': 'a'}, {'lower-index': 1, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'a'], 'unresolved-endpoints': ['a'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'small', 'hi': 'a'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'a'], 'unresolved-endpoints': ['a'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'medium', 'hi': 'large'}, {'lower-index': 1, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['medium', 'large'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'small'}, {'lower-index': 2, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'a'}, {'lower-index': 2, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'a'], 'unresolved-endpoints': ['a'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'z', 'hi': 'large'}, {'lower-index': None, 'upper-index': 2, 'range-order': False, 'endpoint-payload': ['z', 'large'], 'unresolved-endpoints': ['z'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'small'], 'unresolved-endpoints': ['small', 'small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'a'}, {'lower-index': None, 'upper-index': 1, 'range-order': False, 'endpoint-payload': ['small', 'a'], 'unresolved-endpoints': ['small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'large'], 'unresolved-endpoints': ['medium', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'large', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': ['large', 'small'], 'full-domain': False})], 5: [({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'small'}, {'lower-index': 2, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'z', 'hi': 'a'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'a'], 'unresolved-endpoints': ['z', 'a'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'large'], 'unresolved-endpoints': ['small', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'small'], 'unresolved-endpoints': ['medium', 'small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'a'}, {'lower-index': None, 'upper-index': 1, 'range-order': False, 'endpoint-payload': ['medium', 'a'], 'unresolved-endpoints': ['medium'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'large', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'large'], 'unresolved-endpoints': ['large', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'z', 'hi': 'small'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'small'], 'unresolved-endpoints': ['small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'z', 'hi': 'a'}, {'lower-index': 0, 'upper-index': 1, 'range-order': True, 'endpoint-payload': ['z', 'a'], 'unresolved-endpoints': [], 'full-domain': True}), ({'options': ['small', 'medium', 'large'], 'lo': 'small', 'hi': 'large'}, {'lower-index': 0, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['small', 'large'], 'unresolved-endpoints': [], 'full-domain': True}), ({'options': ['small', 'medium', 'large'], 'lo': 'medium', 'hi': 'small'}, {'lower-index': 1, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['medium', 'small'], 'unresolved-endpoints': [], 'full-domain': False})]}
for index, (data, expected) in enumerate(fixtures[N]):
    check("contract fixture " + str(index), solve(data), 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 fixtureActualExpectedOutcome
contract fixture 0{'endpoint-payload': ['small', 'small'], 'full-domain': False, 'lower-index': 0, 'range-order': True, 'unresolved-endpoints': [], 'upper-index': 0}{'endpoint-payload': ['small', 'small'], 'full-domain': False, 'lower-index': 0, 'range-order': True, 'unresolved-endpoints': [], 'upper-index': 0}Passed
contract fixture 1{'endpoint-payload': ['z', 'a'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['z', 'a'], 'upper-index': None}{'endpoint-payload': ['z', 'a'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['z', 'a'], 'upper-index': None}Passed
contract fixture 2{'endpoint-payload': ['large', 'large'], 'full-domain': False, 'lower-index': 2, 'range-order': True, 'unresolved-endpoints': [], 'upper-index': 2}{'endpoint-payload': ['large', 'large'], 'full-domain': False, 'lower-index': 2, 'range-order': True, 'unresolved-endpoints': [], 'upper-index': 2}Passed
contract fixture 3{'endpoint-payload': ['z', 'small'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['z'], 'upper-index': 0}{'endpoint-payload': ['z', 'small'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['z'], 'upper-index': 0}Passed
contract fixture 4{'endpoint-payload': ['small', 'large'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['small', 'large'], 'upper-index': None}{'endpoint-payload': ['small', 'large'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['small', 'large'], 'upper-index': None}Passed
contract fixture 5{'endpoint-payload': ['medium', 'small'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['medium', 'small'], 'upper-index': None}{'endpoint-payload': ['medium', 'small'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['medium', 'small'], 'upper-index': None}Passed
contract fixture 6{'endpoint-payload': ['medium', 'a'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['medium'], 'upper-index': 1}{'endpoint-payload': ['medium', 'a'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['medium'], 'upper-index': 1}Passed
contract fixture 7{'endpoint-payload': ['large', 'large'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['large', 'large'], 'upper-index': None}{'endpoint-payload': ['large', 'large'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['large', 'large'], 'upper-index': None}Passed
contract fixture 8{'endpoint-payload': ['z', 'small'], 'full-domain': False, 'lower-index': 0, 'range-order': False, 'unresolved-endpoints': ['small'], 'upper-index': None}{'endpoint-payload': ['z', 'small'], 'full-domain': False, 'lower-index': 0, 'range-order': False, 'unresolved-endpoints': ['small'], 'upper-index': None}Passed
contract fixture 9{'endpoint-payload': ['z', 'a'], 'full-domain': True, 'lower-index': 0, 'range-order': True, 'unresolved-endpoints': [], 'upper-index': 1}{'endpoint-payload': ['z', 'a'], 'full-domain': True, 'lower-index': 0, 'range-order': True, 'unresolved-endpoints': [], 'upper-index': 1}Passed

SHA-256 / b6262baf488ac92582da33554084890180c3cb40545676790addd0e2647a90f8

Verification & scope

Deterministic bounded UI-state model only; no browser, query engine, network, or production-standard conformance is claimed. 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:41:10.975160+00:00.

Case digest / 4122654e1906fa6add32a30454bd1aa86dd5bdecf344f1064d635bc0748f2766