{"abstract":"Removed endpoint options are explicitly marked unresolved 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: Removed endpoint options are explicitly marked unresolved.","evaluation_group":"s3-filter-interfaces-discrete-range-widget","failed_approach":"The attempted correction `[x for x in (d['lo'],d['hi']) if not x]` still violates the explicit contract fixtures.","family":"s3-filter-interfaces-discrete-range-widget-unresolved-endpoints","id":"FA-25911","implementations":{"attempt":{"sha256":"468597f7dac13608dab61eec84d4cab9973bed158bcca58a32ec9a4bf099f90c","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 not x]), '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': '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})]}\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":"a5a8dba6993a734842bacbbd32f75b11fd38d40b7d339a53aacf6ff3d98c2f42","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':([]), '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': '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})]}\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"},"fixed":{"sha256":"bbac33449300a7341d029e85ed4010d18985250ec366f471529bab2cc3aef35b","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': '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})]}\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-unresolved-endpoints","generated_at":"2026-09-29T14:41:11.043726+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.","repair":"Implement the declared unresolved-endpoints projection: `[x for x in (d['lo'],d['hi']) if x not in d['options']]`.","root_cause":"The unresolved-endpoints decision uses `[]` instead of the stipulated discrete-range-widget projection.","sha256":"8094e47e7f753d118d19e3e2598ebc532d8c4a5390bda50d17d8827381d986fb","title":"Removed endpoint options are explicitly marked unresolved · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.084,"exit_code":1,"observations":[{"actual":{"endpoint-payload":["small","a"],"full-domain":false,"lower-index":0,"range-order":false,"unresolved-endpoints":[],"upper-index":null},"check":"contract fixture 0","expected":{"endpoint-payload":["small","a"],"full-domain":false,"lower-index":0,"range-order":false,"unresolved-endpoints":["a"],"upper-index":null},"passed":false},{"actual":{"endpoint-payload":["z","small"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":[],"upper-index":0},"check":"contract fixture 1","expected":{"endpoint-payload":["z","small"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["z"],"upper-index":0},"passed":false},{"actual":{"endpoint-payload":["large","large"],"full-domain":false,"lower-index":2,"range-order":true,"unresolved-endpoints":[],"upper-index":2},"check":"contract fixture 2","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","a"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":[],"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":false},{"actual":{"endpoint-payload":["small","large"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":[],"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":false},{"actual":{"endpoint-payload":["medium","small"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":[],"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":[],"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":false},{"actual":{"endpoint-payload":["large","large"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":[],"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":[],"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":false},{"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\": null, \"range-order\": false, \"endpoint-payload\": [\"small\", \"a\"], \"unresolved-endpoints\": [], \"full-domain\": false}, \"expected\": {\"lower-index\": 0, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"small\", \"a\"], \"unresolved-endpoints\": [\"a\"], \"full-domain\": false}, \"passed\": false}, {\"check\": \"contract fixture 1\", \"actual\": {\"lower-index\": null, \"upper-index\": 0, \"range-order\": false, \"endpoint-payload\": [\"z\", \"small\"], \"unresolved-endpoints\": [], \"full-domain\": false}, \"expected\": {\"lower-index\": null, \"upper-index\": 0, \"range-order\": false, \"endpoint-payload\": [\"z\", \"small\"], \"unresolved-endpoints\": [\"z\"], \"full-domain\": false}, \"passed\": false}, {\"check\": \"contract fixture 2\", \"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 3\", \"actual\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"z\", \"a\"], \"unresolved-endpoints\": [], \"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\": false}, {\"check\": \"contract fixture 4\", \"actual\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"small\", \"large\"], \"unresolved-endpoints\": [], \"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\": false}, {\"check\": \"contract fixture 5\", \"actual\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"medium\", \"small\"], \"unresolved-endpoints\": [], \"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\": [], \"full-domain\": false}, \"expected\": {\"lower-index\": null, \"upper-index\": 1, \"range-order\": false, \"endpoint-payload\": [\"medium\", \"a\"], \"unresolved-endpoints\": [\"medium\"], \"full-domain\": false}, \"passed\": false}, {\"check\": \"contract fixture 7\", \"actual\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"large\", \"large\"], \"unresolved-endpoints\": [], \"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\": [], \"full-domain\": false}, \"expected\": {\"lower-index\": 0, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"z\", \"small\"], \"unresolved-endpoints\": [\"small\"], \"full-domain\": false}, \"passed\": false}, {\"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.532,"exit_code":1,"observations":[{"actual":{"endpoint-payload":["small","a"],"full-domain":false,"lower-index":0,"range-order":false,"unresolved-endpoints":[],"upper-index":null},"check":"contract fixture 0","expected":{"endpoint-payload":["small","a"],"full-domain":false,"lower-index":0,"range-order":false,"unresolved-endpoints":["a"],"upper-index":null},"passed":false},{"actual":{"endpoint-payload":["z","small"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":[],"upper-index":0},"check":"contract fixture 1","expected":{"endpoint-payload":["z","small"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["z"],"upper-index":0},"passed":false},{"actual":{"endpoint-payload":["large","large"],"full-domain":false,"lower-index":2,"range-order":true,"unresolved-endpoints":[],"upper-index":2},"check":"contract fixture 2","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","a"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":[],"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":false},{"actual":{"endpoint-payload":["small","large"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":[],"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":false},{"actual":{"endpoint-payload":["medium","small"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":[],"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":[],"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":false},{"actual":{"endpoint-payload":["large","large"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":[],"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":[],"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":false},{"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\": null, \"range-order\": false, \"endpoint-payload\": [\"small\", \"a\"], \"unresolved-endpoints\": [], \"full-domain\": false}, \"expected\": {\"lower-index\": 0, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"small\", \"a\"], \"unresolved-endpoints\": [\"a\"], \"full-domain\": false}, \"passed\": false}, {\"check\": \"contract fixture 1\", \"actual\": {\"lower-index\": null, \"upper-index\": 0, \"range-order\": false, \"endpoint-payload\": [\"z\", \"small\"], \"unresolved-endpoints\": [], \"full-domain\": false}, \"expected\": {\"lower-index\": null, \"upper-index\": 0, \"range-order\": false, \"endpoint-payload\": [\"z\", \"small\"], \"unresolved-endpoints\": [\"z\"], \"full-domain\": false}, \"passed\": false}, {\"check\": \"contract fixture 2\", \"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 3\", \"actual\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"z\", \"a\"], \"unresolved-endpoints\": [], \"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\": false}, {\"check\": \"contract fixture 4\", \"actual\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"small\", \"large\"], \"unresolved-endpoints\": [], \"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\": false}, {\"check\": \"contract fixture 5\", \"actual\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"medium\", \"small\"], \"unresolved-endpoints\": [], \"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\": [], \"full-domain\": false}, \"expected\": {\"lower-index\": null, \"upper-index\": 1, \"range-order\": false, \"endpoint-payload\": [\"medium\", \"a\"], \"unresolved-endpoints\": [\"medium\"], \"full-domain\": false}, \"passed\": false}, {\"check\": \"contract fixture 7\", \"actual\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"large\", \"large\"], \"unresolved-endpoints\": [], \"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\": [], \"full-domain\": false}, \"expected\": {\"lower-index\": 0, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"z\", \"small\"], \"unresolved-endpoints\": [\"small\"], \"full-domain\": false}, \"passed\": false}, {\"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"},"fixed":{"elapsed_ms":40.606,"exit_code":0,"observations":[{"actual":{"endpoint-payload":["small","a"],"full-domain":false,"lower-index":0,"range-order":false,"unresolved-endpoints":["a"],"upper-index":null},"check":"contract fixture 0","expected":{"endpoint-payload":["small","a"],"full-domain":false,"lower-index":0,"range-order":false,"unresolved-endpoints":["a"],"upper-index":null},"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 1","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":["large","large"],"full-domain":false,"lower-index":2,"range-order":true,"unresolved-endpoints":[],"upper-index":2},"check":"contract fixture 2","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","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":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"lower-index\": 0, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"small\", \"a\"], \"unresolved-endpoints\": [\"a\"], \"full-domain\": false}, \"expected\": {\"lower-index\": 0, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"small\", \"a\"], \"unresolved-endpoints\": [\"a\"], \"full-domain\": false}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"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 2\", \"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 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\": true}\n"}},"verified":true,"visibility":"public"}