{"abstract":"Only both extreme endpoints represent the full discrete domain 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: Only both extreme endpoints represent the full discrete domain.","evaluation_group":"s3-filter-interfaces-discrete-range-widget","failed_approach":"The attempted correction `d['lo']==d['hi']` still violates the explicit contract fixtures.","family":"s3-filter-interfaces-discrete-range-widget-full-domain","id":"FA-25916","implementations":{"attempt":{"sha256":"1847344d1c00634dec1a84e5ff63a86fd411e757bf9ca7ae2ad5639d2395cdea","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':(d['lo']==d['hi'])}\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': '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': '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': '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})], 2: [({'options': ['small', 'medium', 'large'], 'lo': 'small', 'hi': 'a'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'a'], 'unresolved-endpoints': ['a'], 'full-domain': False}), ({'options': ['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': '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})], 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': ['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': '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': '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': 'small', 'hi': 'small'}, {'lower-index': 0, 'upper-index': 0, 'range-order': True, 'endpoint-payload': ['small', 'small'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'medium', 'hi': 'large'}, {'lower-index': 1, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['medium', 'large'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'small'}, {'lower-index': 2, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'a'}, {'lower-index': 2, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'a'], 'unresolved-endpoints': ['a'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'z', 'hi': 'large'}, {'lower-index': None, 'upper-index': 2, 'range-order': False, 'endpoint-payload': ['z', 'large'], 'unresolved-endpoints': ['z'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'small'], 'unresolved-endpoints': ['small', 'small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'a'}, {'lower-index': None, 'upper-index': 1, 'range-order': False, 'endpoint-payload': ['small', 'a'], 'unresolved-endpoints': ['small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'large'], 'unresolved-endpoints': ['medium', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'large', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': ['large', 'small'], 'full-domain': False})], 5: [({'options': ['small', 'medium', 'large'], 'lo': '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': ['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":"3b588f14fdd6aa4a028ef82c46fd667962b610fa97d399b1c8f06859d97256bc","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] or 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': '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': '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': '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})], 2: [({'options': ['small', 'medium', 'large'], 'lo': 'small', 'hi': 'a'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'a'], 'unresolved-endpoints': ['a'], 'full-domain': False}), ({'options': ['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': '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})], 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': ['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': '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': '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': 'small', 'hi': 'small'}, {'lower-index': 0, 'upper-index': 0, 'range-order': True, 'endpoint-payload': ['small', 'small'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'medium', 'hi': 'large'}, {'lower-index': 1, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['medium', 'large'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'small'}, {'lower-index': 2, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'a'}, {'lower-index': 2, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'a'], 'unresolved-endpoints': ['a'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'z', 'hi': 'large'}, {'lower-index': None, 'upper-index': 2, 'range-order': False, 'endpoint-payload': ['z', 'large'], 'unresolved-endpoints': ['z'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'small'], 'unresolved-endpoints': ['small', 'small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'a'}, {'lower-index': None, 'upper-index': 1, 'range-order': False, 'endpoint-payload': ['small', 'a'], 'unresolved-endpoints': ['small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'large'], 'unresolved-endpoints': ['medium', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'large', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': ['large', 'small'], 'full-domain': False})], 5: [({'options': ['small', 'medium', 'large'], 'lo': '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': ['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"},"fixed":{"sha256":"7b13acede5750d972045dbbffb632a6fb12cc490f3892e8eaed849763ce77033","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': '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': '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': '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})], 2: [({'options': ['small', 'medium', 'large'], 'lo': 'small', 'hi': 'a'}, {'lower-index': 0, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'a'], 'unresolved-endpoints': ['a'], 'full-domain': False}), ({'options': ['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': '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})], 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': ['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': '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': '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': 'small', 'hi': 'small'}, {'lower-index': 0, 'upper-index': 0, 'range-order': True, 'endpoint-payload': ['small', 'small'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'medium', 'hi': 'large'}, {'lower-index': 1, 'upper-index': 2, 'range-order': True, 'endpoint-payload': ['medium', 'large'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'small'}, {'lower-index': 2, 'upper-index': 0, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': [], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'large', 'hi': 'a'}, {'lower-index': 2, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'a'], 'unresolved-endpoints': ['a'], 'full-domain': False}), ({'options': ['small', 'medium', 'large'], 'lo': 'z', 'hi': 'large'}, {'lower-index': None, 'upper-index': 2, 'range-order': False, 'endpoint-payload': ['z', 'large'], 'unresolved-endpoints': ['z'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['small', 'small'], 'unresolved-endpoints': ['small', 'small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'small', 'hi': 'a'}, {'lower-index': None, 'upper-index': 1, 'range-order': False, 'endpoint-payload': ['small', 'a'], 'unresolved-endpoints': ['small'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'medium', 'hi': 'large'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['medium', 'large'], 'unresolved-endpoints': ['medium', 'large'], 'full-domain': False}), ({'options': ['z', 'a'], 'lo': 'large', 'hi': 'small'}, {'lower-index': None, 'upper-index': None, 'range-order': False, 'endpoint-payload': ['large', 'small'], 'unresolved-endpoints': ['large', 'small'], 'full-domain': False})], 5: [({'options': ['small', 'medium', 'large'], 'lo': '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': ['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-full-domain","generated_at":"2026-09-29T14:41:11.082256+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 full-domain projection: `bool(d['options']) and d['lo']==d['options'][0] and d['hi']==d['options'][-1]`.","root_cause":"The full-domain decision uses `bool(d['options']) and (d['lo']==d['options'][0] or d['hi']==d['options'][-1])` instead of the stipulated discrete-range-widget projection.","sha256":"99f9dcd4a22a1131b35c563ab199952f03f30dbd2136a4e31dfe42d7f45ff88f","title":"Only both extreme endpoints represent the full discrete domain · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":38.432,"exit_code":1,"observations":[{"actual":{"endpoint-payload":["small","small"],"full-domain":true,"lower-index":0,"range-order":true,"unresolved-endpoints":[],"upper-index":0},"check":"contract fixture 0","expected":{"endpoint-payload":["small","small"],"full-domain":false,"lower-index":0,"range-order":true,"unresolved-endpoints":[],"upper-index":0},"passed":false},{"actual":{"endpoint-payload":["small","small"],"full-domain":true,"lower-index":null,"range-order":false,"unresolved-endpoints":["small","small"],"upper-index":null},"check":"contract fixture 1","expected":{"endpoint-payload":["small","small"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["small","small"],"upper-index":null},"passed":false},{"actual":{"endpoint-payload":["large","large"],"full-domain":true,"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":false},{"actual":{"endpoint-payload":["z","small"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["z"],"upper-index":0},"check":"contract fixture 3","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 4","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 5","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 6","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 7","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":true,"lower-index":null,"range-order":false,"unresolved-endpoints":["large","large"],"upper-index":null},"check":"contract fixture 8","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 9","expected":{"endpoint-payload":["z","small"],"full-domain":false,"lower-index":0,"range-order":false,"unresolved-endpoints":["small"],"upper-index":null},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"lower-index\": 0, \"upper-index\": 0, \"range-order\": true, \"endpoint-payload\": [\"small\", \"small\"], \"unresolved-endpoints\": [], \"full-domain\": true}, \"expected\": {\"lower-index\": 0, \"upper-index\": 0, \"range-order\": true, \"endpoint-payload\": [\"small\", \"small\"], \"unresolved-endpoints\": [], \"full-domain\": false}, \"passed\": false}, {\"check\": \"contract fixture 1\", \"actual\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"small\", \"small\"], \"unresolved-endpoints\": [\"small\", \"small\"], \"full-domain\": true}, \"expected\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"small\", \"small\"], \"unresolved-endpoints\": [\"small\", \"small\"], \"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\": true}, \"expected\": {\"lower-index\": 2, \"upper-index\": 2, \"range-order\": true, \"endpoint-payload\": [\"large\", \"large\"], \"unresolved-endpoints\": [], \"full-domain\": false}, \"passed\": false}, {\"check\": \"contract fixture 3\", \"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 4\", \"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 5\", \"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 6\", \"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 7\", \"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 8\", \"actual\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"large\", \"large\"], \"unresolved-endpoints\": [\"large\", \"large\"], \"full-domain\": true}, \"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 9\", \"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}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.219,"exit_code":1,"observations":[{"actual":{"endpoint-payload":["small","small"],"full-domain":true,"lower-index":0,"range-order":true,"unresolved-endpoints":[],"upper-index":0},"check":"contract fixture 0","expected":{"endpoint-payload":["small","small"],"full-domain":false,"lower-index":0,"range-order":true,"unresolved-endpoints":[],"upper-index":0},"passed":false},{"actual":{"endpoint-payload":["small","small"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["small","small"],"upper-index":null},"check":"contract fixture 1","expected":{"endpoint-payload":["small","small"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["small","small"],"upper-index":null},"passed":true},{"actual":{"endpoint-payload":["large","large"],"full-domain":true,"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":false},{"actual":{"endpoint-payload":["z","small"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["z"],"upper-index":0},"check":"contract fixture 3","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 4","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 5","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 6","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":true,"lower-index":null,"range-order":false,"unresolved-endpoints":["medium"],"upper-index":1},"check":"contract fixture 7","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":["large","large"],"upper-index":null},"check":"contract fixture 8","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":true,"lower-index":0,"range-order":false,"unresolved-endpoints":["small"],"upper-index":null},"check":"contract fixture 9","expected":{"endpoint-payload":["z","small"],"full-domain":false,"lower-index":0,"range-order":false,"unresolved-endpoints":["small"],"upper-index":null},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"lower-index\": 0, \"upper-index\": 0, \"range-order\": true, \"endpoint-payload\": [\"small\", \"small\"], \"unresolved-endpoints\": [], \"full-domain\": true}, \"expected\": {\"lower-index\": 0, \"upper-index\": 0, \"range-order\": true, \"endpoint-payload\": [\"small\", \"small\"], \"unresolved-endpoints\": [], \"full-domain\": false}, \"passed\": false}, {\"check\": \"contract fixture 1\", \"actual\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"small\", \"small\"], \"unresolved-endpoints\": [\"small\", \"small\"], \"full-domain\": false}, \"expected\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"small\", \"small\"], \"unresolved-endpoints\": [\"small\", \"small\"], \"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\": true}, \"expected\": {\"lower-index\": 2, \"upper-index\": 2, \"range-order\": true, \"endpoint-payload\": [\"large\", \"large\"], \"unresolved-endpoints\": [], \"full-domain\": false}, \"passed\": false}, {\"check\": \"contract fixture 3\", \"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 4\", \"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 5\", \"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 6\", \"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 7\", \"actual\": {\"lower-index\": null, \"upper-index\": 1, \"range-order\": false, \"endpoint-payload\": [\"medium\", \"a\"], \"unresolved-endpoints\": [\"medium\"], \"full-domain\": true}, \"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 8\", \"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 9\", \"actual\": {\"lower-index\": 0, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"z\", \"small\"], \"unresolved-endpoints\": [\"small\"], \"full-domain\": true}, \"expected\": {\"lower-index\": 0, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"z\", \"small\"], \"unresolved-endpoints\": [\"small\"], \"full-domain\": false}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":38.679,"exit_code":0,"observations":[{"actual":{"endpoint-payload":["small","small"],"full-domain":false,"lower-index":0,"range-order":true,"unresolved-endpoints":[],"upper-index":0},"check":"contract fixture 0","expected":{"endpoint-payload":["small","small"],"full-domain":false,"lower-index":0,"range-order":true,"unresolved-endpoints":[],"upper-index":0},"passed":true},{"actual":{"endpoint-payload":["small","small"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["small","small"],"upper-index":null},"check":"contract fixture 1","expected":{"endpoint-payload":["small","small"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["small","small"],"upper-index":null},"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","small"],"full-domain":false,"lower-index":null,"range-order":false,"unresolved-endpoints":["z"],"upper-index":0},"check":"contract fixture 3","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 4","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 5","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 6","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 7","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 8","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 9","expected":{"endpoint-payload":["z","small"],"full-domain":false,"lower-index":0,"range-order":false,"unresolved-endpoints":["small"],"upper-index":null},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"lower-index\": 0, \"upper-index\": 0, \"range-order\": true, \"endpoint-payload\": [\"small\", \"small\"], \"unresolved-endpoints\": [], \"full-domain\": false}, \"expected\": {\"lower-index\": 0, \"upper-index\": 0, \"range-order\": true, \"endpoint-payload\": [\"small\", \"small\"], \"unresolved-endpoints\": [], \"full-domain\": false}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"actual\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"small\", \"small\"], \"unresolved-endpoints\": [\"small\", \"small\"], \"full-domain\": false}, \"expected\": {\"lower-index\": null, \"upper-index\": null, \"range-order\": false, \"endpoint-payload\": [\"small\", \"small\"], \"unresolved-endpoints\": [\"small\", \"small\"], \"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\": 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 4\", \"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 5\", \"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 6\", \"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 7\", \"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 8\", \"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 9\", \"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}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}