FAILURE MAP
← Case archive

FA-25911 / Filter interfaces / Open access

Removed endpoint options are explicitly marked unresolved · case 01

Removed endpoint options are explicitly marked unresolved is violated by the widget projection.

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

ROOT CAUSE

The unresolved-endpoints decision uses `[]` instead of the stipulated discrete-range-widget projection.

VERIFIED REPAIR

Implement the declared unresolved-endpoints projection: `[x for x in (d['lo'],d['hi']) if x not in d['options']]`.

Unsuccessful approach: The attempted correction `[x for x in (d['lo'],d['hi']) if not x]` 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: Removed endpoint options are explicitly marked unresolved.

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':(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':([]), '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': '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': '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': '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': '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})], 2: [({'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': ['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}), ({'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': '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})], 3: [({'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': ['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': '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}), ({'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})], 4: [({'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': 'large', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': ['large', 'small'], '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': 'a'}, {'lower-index': None, 'upper-index': 1, 'range-order': False, 'endpoint-payload': ['large', 'a'], 'unresolved-endpoints': ['large'], 'full-domain': False})], 5: [({'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': 'z', 'hi': 'small'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'small'], 'unresolved-endpoints': ['small'], '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': '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', 'a'], 'full-domain': False, 'lower-index': 0, 'range-order': False, 'unresolved-endpoints': [], 'upper-index': None}{'endpoint-payload': ['small', 'a'], 'full-domain': False, 'lower-index': 0, 'range-order': False, 'unresolved-endpoints': ['a'], 'upper-index': None}Failed
contract fixture 1{'endpoint-payload': ['z', 'small'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': [], 'upper-index': 0}{'endpoint-payload': ['z', 'small'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['z'], 'upper-index': 0}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', 'a'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': [], 'upper-index': None}{'endpoint-payload': ['z', 'a'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['z', 'a'], 'upper-index': None}Failed
contract fixture 4{'endpoint-payload': ['small', 'large'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': [], 'upper-index': None}{'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': [], 'upper-index': None}{'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': [], 'upper-index': 1}{'endpoint-payload': ['medium', 'a'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['medium'], 'upper-index': 1}Failed
contract fixture 7{'endpoint-payload': ['large', 'large'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': [], 'upper-index': None}{'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': [], 'upper-index': None}{'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 / a5a8dba6993a734842bacbbd32f75b11fd38d40b7d339a53aacf6ff3d98c2f42

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 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 not x]), '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': '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': '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': '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': '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})], 2: [({'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': ['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}), ({'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': '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})], 3: [({'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': ['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': '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}), ({'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})], 4: [({'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': 'large', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': ['large', 'small'], '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': 'a'}, {'lower-index': None, 'upper-index': 1, 'range-order': False, 'endpoint-payload': ['large', 'a'], 'unresolved-endpoints': ['large'], 'full-domain': False})], 5: [({'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': 'z', 'hi': 'small'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'small'], 'unresolved-endpoints': ['small'], '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': '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', 'a'], 'full-domain': False, 'lower-index': 0, 'range-order': False, 'unresolved-endpoints': [], 'upper-index': None}{'endpoint-payload': ['small', 'a'], 'full-domain': False, 'lower-index': 0, 'range-order': False, 'unresolved-endpoints': ['a'], 'upper-index': None}Failed
contract fixture 1{'endpoint-payload': ['z', 'small'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': [], 'upper-index': 0}{'endpoint-payload': ['z', 'small'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['z'], 'upper-index': 0}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', 'a'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': [], 'upper-index': None}{'endpoint-payload': ['z', 'a'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['z', 'a'], 'upper-index': None}Failed
contract fixture 4{'endpoint-payload': ['small', 'large'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': [], 'upper-index': None}{'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': [], 'upper-index': None}{'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': [], 'upper-index': 1}{'endpoint-payload': ['medium', 'a'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': ['medium'], 'upper-index': 1}Failed
contract fixture 7{'endpoint-payload': ['large', 'large'], 'full-domain': False, 'lower-index': None, 'range-order': False, 'unresolved-endpoints': [], 'upper-index': None}{'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': [], 'upper-index': None}{'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 / 468597f7dac13608dab61eec84d4cab9973bed158bcca58a32ec9a4bf099f90c

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': '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': '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': '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': '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})], 2: [({'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': ['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}), ({'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': '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})], 3: [({'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': ['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': '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}), ({'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})], 4: [({'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': 'large', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': ['large', 'small'], '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': 'a'}, {'lower-index': None, 'upper-index': 1, 'range-order': False, 'endpoint-payload': ['large', 'a'], 'unresolved-endpoints': ['large'], 'full-domain': False})], 5: [({'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': 'z', 'hi': 'small'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['z', 'small'], 'unresolved-endpoints': ['small'], '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': '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', 'a'], 'full-domain': False, 'lower-index': 0, 'range-order': False, 'unresolved-endpoints': ['a'], 'upper-index': None}{'endpoint-payload': ['small', 'a'], 'full-domain': False, 'lower-index': 0, 'range-order': False, 'unresolved-endpoints': ['a'], 'upper-index': None}Passed
contract fixture 1{'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 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', '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 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 / bbac33449300a7341d029e85ed4010d18985250ec366f471529bab2cc3aef35b

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:11.043726+00:00.

Case digest / 8094e47e7f753d118d19e3e2598ebc532d8c4a5390bda50d17d8827381d986fb