{"abstract":"Discrete range order follows option order and permits a single option is violated by the widget projection.","category":"Filter interfaces","checks":10,"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: Discrete range order follows option order and permits a single option.","contract_signature":"d","evaluation_group":"s3-filter-interfaces-discrete-range-widget","failed_approach":"The attempted correction `d['lo'] in d['options'] and d['hi'] in d['options'] and d['options'].index(d['lo'])<d['options'].index(d['hi'])` still violates the explicit contract fixtures.","family":"s3-filter-interfaces-discrete-range-widget-range-order","id":"FA-25901","implementations":{"attempt":{"sha256":"e544fcc9ee0cea0ca763056c917ce67d3e0e38a9ae1a93569df99462fa2e9eca","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    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])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'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': '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}), ({'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': 'small'}, {'lower-index': 1, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['medium', 'small'], 'unresolved-endpoints': [], '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': ['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': '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})], 3: [({'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': 'large'}, {'lower-index': 2, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['large', 'large'], 'unresolved-endpoints': [], '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': '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': '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': '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': '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}), ({'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': ['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': ['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}), ({'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})]}\nfor index, (data, expected) in enumerate(fixtures[N]):\n    check(\"contract fixture \" + str(index), solve(data), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"59097e48198c84e764c80d75d085e01eb7479c6efe9f7d7fa367e681a08e5abe","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    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']<=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])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'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': '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}), ({'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': 'small'}, {'lower-index': 1, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['medium', 'small'], 'unresolved-endpoints': [], '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': ['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': '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})], 3: [({'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': 'large'}, {'lower-index': 2, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['large', 'large'], 'unresolved-endpoints': [], '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': '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': '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': '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': '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}), ({'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': ['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': ['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}), ({'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})]}\nfor index, (data, expected) in enumerate(fixtures[N]):\n    check(\"contract fixture \" + str(index), solve(data), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-filter-interfaces-discrete-range-widget-range-order","generated_at":"2026-09-29T14:41:11.015689+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Filter-widget state and serialization must preserve user constraints while the view changes.","root_cause":"The range-order decision uses `d['lo']<=d['hi']` instead of the stipulated discrete-range-widget projection.","sha256":"35f9433d016ee2d32833a3c384d1f1144326d39c1ea262aa209dfe28c32447fc","title":"Discrete range order follows option order and permits a single option · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":38.246,"exit_code":1,"observations":[{"actual":{"endpoint-payload":["small","large"],"full-domain":true,"lower-index":0,"range-order":true,"unresolved-endpoints":[],"upper-index":2},"check":"contract fixture 0","expected":{"endpoint-payload":["small","large"],"full-domain":true,"lower-index":0,"range-order":true,"unresolved-endpoints":[],"upper-index":2},"passed":true},{"actual":{"endpoint-payload":["large","large"],"full-domain":false,"lower-index":2,"range-order":false,"unresolved-endpoints":[],"upper-index":2},"check":"contract fixture 1","expected":{"endpoint-payload":["large","large"],"full-domain":false,"lower-index":2,"range-order":true,"unresolved-endpoints":[],"upper-index":2},"passed":false},{"actual":{"endpoint-payload":["z","small"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["z"],"upper-index":0},"check":"contract fixture 2","expected":{"endpoint-payload":["z","small"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["z"],"upper-index":0},"passed":true},{"actual":{"endpoint-payload":["z","a"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["z","a"],"upper-index":null},"check":"contract fixture 3","expected":{"endpoint-payload":["z","a"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["z","a"],"upper-index":null},"passed":true},{"actual":{"endpoint-payload":["small","large"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["small","large"],"upper-index":null},"check":"contract fixture 4","expected":{"endpoint-payload":["small","large"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["small","large"],"upper-index":null},"passed":true},{"actual":{"endpoint-payload":["medium","small"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["medium","small"],"upper-index":null},"check":"contract fixture 5","expected":{"endpoint-payload":["medium","small"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["medium","small"],"upper-index":null},"passed":true},{"actual":{"endpoint-payload":["medium","a"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["medium"],"upper-index":1},"check":"contract fixture 6","expected":{"endpoint-payload":["medium","a"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["medium"],"upper-index":1},"passed":true},{"actual":{"endpoint-payload":["large","large"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["large","large"],"upper-index":null},"check":"contract fixture 7","expected":{"endpoint-payload":["large","large"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["large","large"],"upper-index":null},"passed":true},{"actual":{"endpoint-payload":["z","small"],"full-domain":false,"lower-index":0,"range-order":false,"unresolved-endpoints":["small"],"upper-index":null},"check":"contract fixture 8","expected":{"endpoint-payload":["z","small"],"full-domain":false,"lower-index":0,"range-order":false,"unresolved-endpoints":["small"],"upper-index":null},"passed":true},{"actual":{"endpoint-payload":["z","a"],"full-domain":true,"lower-index":0,"range-order":true,"unresolved-endpoints":[],"upper-index":1},"check":"contract fixture 9","expected":{"endpoint-payload":["z","a"],"full-domain":true,"lower-index":0,"range-order":true,"unresolved-endpoints":[],"upper-index":1},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"lower-index\": 0, \"upper-index\": 2, \"range-order\": true, \"endpoint-payload\": [\"small\", \"large\"], \"unresolved-endpoints\": [], \"full-domain\": true}, \"expected\": {\"lower-index\": 0, \"upper-index\": 2, \"range-order\": true, \"endpoint-payload\": [\"small\", \"large\"], \"unresolved-endpoints\": [], \"full-domain\": true}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"actual\": {\"lower-index\": 2, \"upper-index\": 2, \"range-order\": false, \"endpoint-payload\": [\"large\", \"large\"], \"unresolved-endpoints\": [], \"full-domain\": false}, \"expected\": {\"lower-index\": 2, \"upper-index\": 2, \"range-order\": true, \"endpoint-payload\": [\"large\", \"large\"], \"unresolved-endpoints\": [], \"full-domain\": false}, \"passed\": false}, {\"check\": \"contract fixture 2\", \"actual\": {\"lower-index\": null, \"upper-index\": 0, \"range-order\": false, \"endpoint-payload\": [\"z\", \"small\"], \"unresolved-endpoints\": [\"z\"], \"full-domain\": false}, \"expected\": {\"lower-index\": null, \"upper-index\": 0, \"range-order\": false, \"endpoint-payload\": [\"z\", \"small\"], \"unresolved-endpoints\": [\"z\"], \"full-domain\": false}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"z\", \"a\"], \"unresolved-endpoints\": [\"z\", \"a\"], \"full-domain\": false}, \"expected\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"z\", \"a\"], \"unresolved-endpoints\": [\"z\", \"a\"], \"full-domain\": false}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"small\", \"large\"], \"unresolved-endpoints\": [\"small\", \"large\"], \"full-domain\": false}, \"expected\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"small\", \"large\"], \"unresolved-endpoints\": [\"small\", \"large\"], \"full-domain\": false}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"medium\", \"small\"], \"unresolved-endpoints\": [\"medium\", \"small\"], \"full-domain\": false}, \"expected\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"medium\", \"small\"], \"unresolved-endpoints\": [\"medium\", \"small\"], \"full-domain\": false}, \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": {\"lower-index\": null, \"upper-index\": 1, \"range-order\": false, \"endpoint-payload\": [\"medium\", \"a\"], \"unresolved-endpoints\": [\"medium\"], \"full-domain\": false}, \"expected\": {\"lower-index\": null, \"upper-index\": 1, \"range-order\": false, \"endpoint-payload\": [\"medium\", \"a\"], \"unresolved-endpoints\": [\"medium\"], \"full-domain\": false}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"large\", \"large\"], \"unresolved-endpoints\": [\"large\", \"large\"], \"full-domain\": false}, \"expected\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"large\", \"large\"], \"unresolved-endpoints\": [\"large\", \"large\"], \"full-domain\": false}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"lower-index\": 0, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"z\", \"small\"], \"unresolved-endpoints\": [\"small\"], \"full-domain\": false}, \"expected\": {\"lower-index\": 0, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"z\", \"small\"], \"unresolved-endpoints\": [\"small\"], \"full-domain\": false}, \"passed\": true}, {\"check\": \"contract fixture 9\", \"actual\": {\"lower-index\": 0, \"upper-index\": 1, \"range-order\": true, \"endpoint-payload\": [\"z\", \"a\"], \"unresolved-endpoints\": [], \"full-domain\": true}, \"expected\": {\"lower-index\": 0, \"upper-index\": 1, \"range-order\": true, \"endpoint-payload\": [\"z\", \"a\"], \"unresolved-endpoints\": [], \"full-domain\": true}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.041,"exit_code":1,"observations":[{"actual":{"endpoint-payload":["small","large"],"full-domain":true,"lower-index":0,"range-order":false,"unresolved-endpoints":[],"upper-index":2},"check":"contract fixture 0","expected":{"endpoint-payload":["small","large"],"full-domain":true,"lower-index":0,"range-order":true,"unresolved-endpoints":[],"upper-index":2},"passed":false},{"actual":{"endpoint-payload":["large","large"],"full-domain":false,"lower-index":2,"range-order":true,"unresolved-endpoints":[],"upper-index":2},"check":"contract fixture 1","expected":{"endpoint-payload":["large","large"],"full-domain":false,"lower-index":2,"range-order":true,"unresolved-endpoints":[],"upper-index":2},"passed":true},{"actual":{"endpoint-payload":["z","small"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["z"],"upper-index":0},"check":"contract fixture 2","expected":{"endpoint-payload":["z","small"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["z"],"upper-index":0},"passed":true},{"actual":{"endpoint-payload":["z","a"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["z","a"],"upper-index":null},"check":"contract fixture 3","expected":{"endpoint-payload":["z","a"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["z","a"],"upper-index":null},"passed":true},{"actual":{"endpoint-payload":["small","large"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["small","large"],"upper-index":null},"check":"contract fixture 4","expected":{"endpoint-payload":["small","large"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["small","large"],"upper-index":null},"passed":true},{"actual":{"endpoint-payload":["medium","small"],"full-domain":false,"lower-index":null,"range-order":true,"unresolved-endpoints":["medium","small"],"upper-index":null},"check":"contract fixture 5","expected":{"endpoint-payload":["medium","small"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["medium","small"],"upper-index":null},"passed":false},{"actual":{"endpoint-payload":["medium","a"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["medium"],"upper-index":1},"check":"contract fixture 6","expected":{"endpoint-payload":["medium","a"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["medium"],"upper-index":1},"passed":true},{"actual":{"endpoint-payload":["large","large"],"full-domain":false,"lower-index":null,"range-order":true,"unresolved-endpoints":["large","large"],"upper-index":null},"check":"contract fixture 7","expected":{"endpoint-payload":["large","large"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["large","large"],"upper-index":null},"passed":false},{"actual":{"endpoint-payload":["z","small"],"full-domain":false,"lower-index":0,"range-order":false,"unresolved-endpoints":["small"],"upper-index":null},"check":"contract fixture 8","expected":{"endpoint-payload":["z","small"],"full-domain":false,"lower-index":0,"range-order":false,"unresolved-endpoints":["small"],"upper-index":null},"passed":true},{"actual":{"endpoint-payload":["z","a"],"full-domain":true,"lower-index":0,"range-order":false,"unresolved-endpoints":[],"upper-index":1},"check":"contract fixture 9","expected":{"endpoint-payload":["z","a"],"full-domain":true,"lower-index":0,"range-order":true,"unresolved-endpoints":[],"upper-index":1},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"lower-index\": 0, \"upper-index\": 2, \"range-order\": false, \"endpoint-payload\": [\"small\", \"large\"], \"unresolved-endpoints\": [], \"full-domain\": true}, \"expected\": {\"lower-index\": 0, \"upper-index\": 2, \"range-order\": true, \"endpoint-payload\": [\"small\", \"large\"], \"unresolved-endpoints\": [], \"full-domain\": true}, \"passed\": false}, {\"check\": \"contract fixture 1\", \"actual\": {\"lower-index\": 2, \"upper-index\": 2, \"range-order\": true, \"endpoint-payload\": [\"large\", \"large\"], \"unresolved-endpoints\": [], \"full-domain\": false}, \"expected\": {\"lower-index\": 2, \"upper-index\": 2, \"range-order\": true, \"endpoint-payload\": [\"large\", \"large\"], \"unresolved-endpoints\": [], \"full-domain\": false}, \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": {\"lower-index\": null, \"upper-index\": 0, \"range-order\": false, \"endpoint-payload\": [\"z\", \"small\"], \"unresolved-endpoints\": [\"z\"], \"full-domain\": false}, \"expected\": {\"lower-index\": null, \"upper-index\": 0, \"range-order\": false, \"endpoint-payload\": [\"z\", \"small\"], \"unresolved-endpoints\": [\"z\"], \"full-domain\": false}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"z\", \"a\"], \"unresolved-endpoints\": [\"z\", \"a\"], \"full-domain\": false}, \"expected\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"z\", \"a\"], \"unresolved-endpoints\": [\"z\", \"a\"], \"full-domain\": false}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"small\", \"large\"], \"unresolved-endpoints\": [\"small\", \"large\"], \"full-domain\": false}, \"expected\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"small\", \"large\"], \"unresolved-endpoints\": [\"small\", \"large\"], \"full-domain\": false}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": true, \"endpoint-payload\": [\"medium\", \"small\"], \"unresolved-endpoints\": [\"medium\", \"small\"], \"full-domain\": false}, \"expected\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"medium\", \"small\"], \"unresolved-endpoints\": [\"medium\", \"small\"], \"full-domain\": false}, \"passed\": false}, {\"check\": \"contract fixture 6\", \"actual\": {\"lower-index\": null, \"upper-index\": 1, \"range-order\": false, \"endpoint-payload\": [\"medium\", \"a\"], \"unresolved-endpoints\": [\"medium\"], \"full-domain\": false}, \"expected\": {\"lower-index\": null, \"upper-index\": 1, \"range-order\": false, \"endpoint-payload\": [\"medium\", \"a\"], \"unresolved-endpoints\": [\"medium\"], \"full-domain\": false}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": true, \"endpoint-payload\": [\"large\", \"large\"], \"unresolved-endpoints\": [\"large\", \"large\"], \"full-domain\": false}, \"expected\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"large\", \"large\"], \"unresolved-endpoints\": [\"large\", \"large\"], \"full-domain\": false}, \"passed\": false}, {\"check\": \"contract fixture 8\", \"actual\": {\"lower-index\": 0, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"z\", \"small\"], \"unresolved-endpoints\": [\"small\"], \"full-domain\": false}, \"expected\": {\"lower-index\": 0, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"z\", \"small\"], \"unresolved-endpoints\": [\"small\"], \"full-domain\": false}, \"passed\": true}, {\"check\": \"contract fixture 9\", \"actual\": {\"lower-index\": 0, \"upper-index\": 1, \"range-order\": false, \"endpoint-payload\": [\"z\", \"a\"], \"unresolved-endpoints\": [], \"full-domain\": true}, \"expected\": {\"lower-index\": 0, \"upper-index\": 1, \"range-order\": true, \"endpoint-payload\": [\"z\", \"a\"], \"unresolved-endpoints\": [], \"full-domain\": true}, \"passed\": false}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}