{"abstract":"Unknown count options follow all known counts including zero is violated by the widget projection.","category":"Filter interfaces","checks":10,"contract":"Facet ordering uses pinned then selected priority, descending known counts, and stable server order for ties; unknown counts sort behind known counts. This example checks: Unknown count options follow all known counts including zero.","evaluation_group":"s3-filter-interfaces-facet-ordering","failed_approach":"The attempted correction `list(d['options'])` still violates the explicit contract fixtures.","family":"s3-filter-interfaces-facet-ordering-unknown-last","id":"FA-25931","implementations":{"attempt":{"sha256":"c74022787dc88f8481bc74ea4882ebc061e29c77f80177e6ad01aa63e704173a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'pin-priority':([x for x in d['options'] if x in d['pinned']]+[x for x in d['options'] if x not in d['pinned']]), 'selection-priority':([x for x in d['options'] if x in d['selected']]+[x for x in d['options'] if x not in d['selected']]), 'unknown-last':(list(d['options'])), 'descending-count':(sorted(d['options'],key=lambda x:-(d['counts'][x] if d['counts'][x] is not None else -1))), 'stable-count-ties':(sorted(d['options'],key=lambda x:-(d['counts'][x] if d['counts'][x] is not None else -1))), 'pin-visible-only':([x for x in d['pinned'] if x in d['options']])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']})], 2: [({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['a'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['a'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []})], 3: [({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['a'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': ['a', 'b']})], 4: [({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['a'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': ['a', 'b']})], 5: [({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []})]}\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":"f523b2d86f7cd80791255787d98cf58938de5dfb9b060d6ffdd8b982dd364d80","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'pin-priority':([x for x in d['options'] if x in d['pinned']]+[x for x in d['options'] if x not in d['pinned']]), 'selection-priority':([x for x in d['options'] if x in d['selected']]+[x for x in d['options'] if x not in d['selected']]), 'unknown-last':(sorted(d['options'],key=lambda x:d['counts'][x] is not None)), 'descending-count':(sorted(d['options'],key=lambda x:-(d['counts'][x] if d['counts'][x] is not None else -1))), 'stable-count-ties':(sorted(d['options'],key=lambda x:-(d['counts'][x] if d['counts'][x] is not None else -1))), 'pin-visible-only':([x for x in d['pinned'] if x in d['options']])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']})], 2: [({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['a'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['a'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []})], 3: [({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['a'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': ['a', 'b']})], 4: [({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['a'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': ['a', 'b']})], 5: [({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []})]}\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":"ebc088bbf802d6750fe403337a492a519a5de7b089a09a92d99ac7716229bac6","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'pin-priority':([x for x in d['options'] if x in d['pinned']]+[x for x in d['options'] if x not in d['pinned']]), 'selection-priority':([x for x in d['options'] if x in d['selected']]+[x for x in d['options'] if x not in d['selected']]), 'unknown-last':(sorted(d['options'],key=lambda x:d['counts'][x] is None)), 'descending-count':(sorted(d['options'],key=lambda x:-(d['counts'][x] if d['counts'][x] is not None else -1))), 'stable-count-ties':(sorted(d['options'],key=lambda x:-(d['counts'][x] if d['counts'][x] is not None else -1))), 'pin-visible-only':([x for x in d['pinned'] if x in d['options']])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']})], 2: [({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['a'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['a'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []})], 3: [({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['a'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': ['a', 'b']})], 4: [({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['a', 'c', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['a'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': ['a', 'b']})], 5: [({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['b', 'c', 'a'], 'unknown-last': ['b', 'c', 'a'], 'descending-count': ['b', 'c', 'a'], 'stable-count-ties': ['b', 'c', 'a'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': [], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['c', 'b', 'a'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': []}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'c', 'b'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': 0, 'b': None, 'c': 3}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'a', 'b'], 'descending-count': ['c', 'a', 'b'], 'stable-count-ties': ['c', 'a', 'b'], 'pin-visible-only': ['a', 'b']}), ({'options': ['c', 'b', 'a'], 'pinned': ['a', 'z', 'b'], 'selected': ['b', 'c'], 'counts': {'a': None, 'b': 0, 'c': 0}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['c', 'b', 'a'], 'unknown-last': ['c', 'b', 'a'], 'descending-count': ['c', 'b', 'a'], 'stable-count-ties': ['c', 'b', 'a'], 'pin-visible-only': ['a', 'b']}), ({'options': ['b', 'a', 'c'], 'pinned': [], 'selected': ['a'], 'counts': {'a': 2, 'b': 2, 'c': None}}, {'pin-priority': ['b', 'a', 'c'], 'selection-priority': ['a', 'b', 'c'], 'unknown-last': ['b', 'a', 'c'], 'descending-count': ['b', 'a', 'c'], 'stable-count-ties': ['b', 'a', 'c'], 'pin-visible-only': []})]}\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-facet-ordering-unknown-last","generated_at":"2026-09-29T14:41:11.293446+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 unknown-last projection: `sorted(d['options'],key=lambda x:d['counts'][x] is None)`.","root_cause":"The unknown-last decision uses `sorted(d['options'],key=lambda x:d['counts'][x] is not None)` instead of the stipulated facet-ordering projection.","sha256":"3244d4cb527ec2b6d3ae9d35939fcef754e61135726d6ebfaaa8f9f2294a050f","title":"Unknown count options follow all known counts including zero · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.519,"exit_code":1,"observations":[{"actual":{"descending-count":["c","a","b"],"pin-priority":["b","a","c"],"pin-visible-only":[],"selection-priority":["a","b","c"],"stable-count-ties":["c","a","b"],"unknown-last":["b","a","c"]},"check":"contract fixture 0","expected":{"descending-count":["c","a","b"],"pin-priority":["b","a","c"],"pin-visible-only":[],"selection-priority":["a","b","c"],"stable-count-ties":["c","a","b"],"unknown-last":["a","c","b"]},"passed":false},{"actual":{"descending-count":["b","c","a"],"pin-priority":["b","a","c"],"pin-visible-only":[],"selection-priority":["b","c","a"],"stable-count-ties":["b","c","a"],"unknown-last":["b","a","c"]},"check":"contract fixture 1","expected":{"descending-count":["b","c","a"],"pin-priority":["b","a","c"],"pin-visible-only":[],"selection-priority":["b","c","a"],"stable-count-ties":["b","c","a"],"unknown-last":["b","c","a"]},"passed":false},{"actual":{"descending-count":["b","a","c"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["a","b","c"],"stable-count-ties":["b","a","c"],"unknown-last":["b","a","c"]},"check":"contract fixture 2","expected":{"descending-count":["b","a","c"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["a","b","c"],"stable-count-ties":["b","a","c"],"unknown-last":["b","a","c"]},"passed":true},{"actual":{"descending-count":["c","a","b"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["b","c","a"],"stable-count-ties":["c","a","b"],"unknown-last":["b","a","c"]},"check":"contract fixture 3","expected":{"descending-count":["c","a","b"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["b","c","a"],"stable-count-ties":["c","a","b"],"unknown-last":["a","c","b"]},"passed":false},{"actual":{"descending-count":["b","c","a"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["b","c","a"],"stable-count-ties":["b","c","a"],"unknown-last":["b","a","c"]},"check":"contract fixture 4","expected":{"descending-count":["b","c","a"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["b","c","a"],"stable-count-ties":["b","c","a"],"unknown-last":["b","c","a"]},"passed":false},{"actual":{"descending-count":["b","a","c"],"pin-priority":["c","b","a"],"pin-visible-only":[],"selection-priority":["a","c","b"],"stable-count-ties":["b","a","c"],"unknown-last":["c","b","a"]},"check":"contract fixture 5","expected":{"descending-count":["b","a","c"],"pin-priority":["c","b","a"],"pin-visible-only":[],"selection-priority":["a","c","b"],"stable-count-ties":["b","a","c"],"unknown-last":["b","a","c"]},"passed":false},{"actual":{"descending-count":["c","a","b"],"pin-priority":["c","b","a"],"pin-visible-only":[],"selection-priority":["c","b","a"],"stable-count-ties":["c","a","b"],"unknown-last":["c","b","a"]},"check":"contract fixture 6","expected":{"descending-count":["c","a","b"],"pin-priority":["c","b","a"],"pin-visible-only":[],"selection-priority":["c","b","a"],"stable-count-ties":["c","a","b"],"unknown-last":["c","a","b"]},"passed":false},{"actual":{"descending-count":["c","b","a"],"pin-priority":["c","b","a"],"pin-visible-only":[],"selection-priority":["c","b","a"],"stable-count-ties":["c","b","a"],"unknown-last":["c","b","a"]},"check":"contract fixture 7","expected":{"descending-count":["c","b","a"],"pin-priority":["c","b","a"],"pin-visible-only":[],"selection-priority":["c","b","a"],"stable-count-ties":["c","b","a"],"unknown-last":["c","b","a"]},"passed":true},{"actual":{"descending-count":["b","a","c"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["a","c","b"],"stable-count-ties":["b","a","c"],"unknown-last":["c","b","a"]},"check":"contract fixture 8","expected":{"descending-count":["b","a","c"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["a","c","b"],"stable-count-ties":["b","a","c"],"unknown-last":["b","a","c"]},"passed":false},{"actual":{"descending-count":["c","a","b"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["c","b","a"],"stable-count-ties":["c","a","b"],"unknown-last":["c","b","a"]},"check":"contract fixture 9","expected":{"descending-count":["c","a","b"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["c","b","a"],"stable-count-ties":["c","a","b"],"unknown-last":["c","a","b"]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"a\", \"b\", \"c\"], \"unknown-last\": [\"b\", \"a\", \"c\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": []}, \"expected\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"a\", \"b\", \"c\"], \"unknown-last\": [\"a\", \"c\", \"b\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": []}, \"passed\": false}, {\"check\": \"contract fixture 1\", \"actual\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"b\", \"c\", \"a\"], \"unknown-last\": [\"b\", \"a\", \"c\"], \"descending-count\": [\"b\", \"c\", \"a\"], \"stable-count-ties\": [\"b\", \"c\", \"a\"], \"pin-visible-only\": []}, \"expected\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"b\", \"c\", \"a\"], \"unknown-last\": [\"b\", \"c\", \"a\"], \"descending-count\": [\"b\", \"c\", \"a\"], \"stable-count-ties\": [\"b\", \"c\", \"a\"], \"pin-visible-only\": []}, \"passed\": false}, {\"check\": \"contract fixture 2\", \"actual\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"a\", \"b\", \"c\"], \"unknown-last\": [\"b\", \"a\", \"c\"], \"descending-count\": [\"b\", \"a\", \"c\"], \"stable-count-ties\": [\"b\", \"a\", \"c\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"expected\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"a\", \"b\", \"c\"], \"unknown-last\": [\"b\", \"a\", \"c\"], \"descending-count\": [\"b\", \"a\", \"c\"], \"stable-count-ties\": [\"b\", \"a\", \"c\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"b\", \"c\", \"a\"], \"unknown-last\": [\"b\", \"a\", \"c\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"expected\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"b\", \"c\", \"a\"], \"unknown-last\": [\"a\", \"c\", \"b\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"passed\": false}, {\"check\": \"contract fixture 4\", \"actual\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"b\", \"c\", \"a\"], \"unknown-last\": [\"b\", \"a\", \"c\"], \"descending-count\": [\"b\", \"c\", \"a\"], \"stable-count-ties\": [\"b\", \"c\", \"a\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"expected\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"b\", \"c\", \"a\"], \"unknown-last\": [\"b\", \"c\", \"a\"], \"descending-count\": [\"b\", \"c\", \"a\"], \"stable-count-ties\": [\"b\", \"c\", \"a\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"passed\": false}, {\"check\": \"contract fixture 5\", \"actual\": {\"pin-priority\": [\"c\", \"b\", \"a\"], \"selection-priority\": [\"a\", \"c\", \"b\"], \"unknown-last\": [\"c\", \"b\", \"a\"], \"descending-count\": [\"b\", \"a\", \"c\"], \"stable-count-ties\": [\"b\", \"a\", \"c\"], \"pin-visible-only\": []}, \"expected\": {\"pin-priority\": [\"c\", \"b\", \"a\"], \"selection-priority\": [\"a\", \"c\", \"b\"], \"unknown-last\": [\"b\", \"a\", \"c\"], \"descending-count\": [\"b\", \"a\", \"c\"], \"stable-count-ties\": [\"b\", \"a\", \"c\"], \"pin-visible-only\": []}, \"passed\": false}, {\"check\": \"contract fixture 6\", \"actual\": {\"pin-priority\": [\"c\", \"b\", \"a\"], \"selection-priority\": [\"c\", \"b\", \"a\"], \"unknown-last\": [\"c\", \"b\", \"a\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": []}, \"expected\": {\"pin-priority\": [\"c\", \"b\", \"a\"], \"selection-priority\": [\"c\", \"b\", \"a\"], \"unknown-last\": [\"c\", \"a\", \"b\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": []}, \"passed\": false}, {\"check\": \"contract fixture 7\", \"actual\": {\"pin-priority\": [\"c\", \"b\", \"a\"], \"selection-priority\": [\"c\", \"b\", \"a\"], \"unknown-last\": [\"c\", \"b\", \"a\"], \"descending-count\": [\"c\", \"b\", \"a\"], \"stable-count-ties\": [\"c\", \"b\", \"a\"], \"pin-visible-only\": []}, \"expected\": {\"pin-priority\": [\"c\", \"b\", \"a\"], \"selection-priority\": [\"c\", \"b\", \"a\"], \"unknown-last\": [\"c\", \"b\", \"a\"], \"descending-count\": [\"c\", \"b\", \"a\"], \"stable-count-ties\": [\"c\", \"b\", \"a\"], \"pin-visible-only\": []}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"a\", \"c\", \"b\"], \"unknown-last\": [\"c\", \"b\", \"a\"], \"descending-count\": [\"b\", \"a\", \"c\"], \"stable-count-ties\": [\"b\", \"a\", \"c\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"expected\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"a\", \"c\", \"b\"], \"unknown-last\": [\"b\", \"a\", \"c\"], \"descending-count\": [\"b\", \"a\", \"c\"], \"stable-count-ties\": [\"b\", \"a\", \"c\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"passed\": false}, {\"check\": \"contract fixture 9\", \"actual\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"c\", \"b\", \"a\"], \"unknown-last\": [\"c\", \"b\", \"a\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"expected\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"c\", \"b\", \"a\"], \"unknown-last\": [\"c\", \"a\", \"b\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.713,"exit_code":1,"observations":[{"actual":{"descending-count":["c","a","b"],"pin-priority":["b","a","c"],"pin-visible-only":[],"selection-priority":["a","b","c"],"stable-count-ties":["c","a","b"],"unknown-last":["b","a","c"]},"check":"contract fixture 0","expected":{"descending-count":["c","a","b"],"pin-priority":["b","a","c"],"pin-visible-only":[],"selection-priority":["a","b","c"],"stable-count-ties":["c","a","b"],"unknown-last":["a","c","b"]},"passed":false},{"actual":{"descending-count":["b","c","a"],"pin-priority":["b","a","c"],"pin-visible-only":[],"selection-priority":["b","c","a"],"stable-count-ties":["b","c","a"],"unknown-last":["a","b","c"]},"check":"contract fixture 1","expected":{"descending-count":["b","c","a"],"pin-priority":["b","a","c"],"pin-visible-only":[],"selection-priority":["b","c","a"],"stable-count-ties":["b","c","a"],"unknown-last":["b","c","a"]},"passed":false},{"actual":{"descending-count":["b","a","c"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["a","b","c"],"stable-count-ties":["b","a","c"],"unknown-last":["c","b","a"]},"check":"contract fixture 2","expected":{"descending-count":["b","a","c"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["a","b","c"],"stable-count-ties":["b","a","c"],"unknown-last":["b","a","c"]},"passed":false},{"actual":{"descending-count":["c","a","b"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["b","c","a"],"stable-count-ties":["c","a","b"],"unknown-last":["b","a","c"]},"check":"contract fixture 3","expected":{"descending-count":["c","a","b"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["b","c","a"],"stable-count-ties":["c","a","b"],"unknown-last":["a","c","b"]},"passed":false},{"actual":{"descending-count":["b","c","a"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["b","c","a"],"stable-count-ties":["b","c","a"],"unknown-last":["a","b","c"]},"check":"contract fixture 4","expected":{"descending-count":["b","c","a"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["b","c","a"],"stable-count-ties":["b","c","a"],"unknown-last":["b","c","a"]},"passed":false},{"actual":{"descending-count":["b","a","c"],"pin-priority":["c","b","a"],"pin-visible-only":[],"selection-priority":["a","c","b"],"stable-count-ties":["b","a","c"],"unknown-last":["c","b","a"]},"check":"contract fixture 5","expected":{"descending-count":["b","a","c"],"pin-priority":["c","b","a"],"pin-visible-only":[],"selection-priority":["a","c","b"],"stable-count-ties":["b","a","c"],"unknown-last":["b","a","c"]},"passed":false},{"actual":{"descending-count":["c","a","b"],"pin-priority":["c","b","a"],"pin-visible-only":[],"selection-priority":["c","b","a"],"stable-count-ties":["c","a","b"],"unknown-last":["b","c","a"]},"check":"contract fixture 6","expected":{"descending-count":["c","a","b"],"pin-priority":["c","b","a"],"pin-visible-only":[],"selection-priority":["c","b","a"],"stable-count-ties":["c","a","b"],"unknown-last":["c","a","b"]},"passed":false},{"actual":{"descending-count":["c","b","a"],"pin-priority":["c","b","a"],"pin-visible-only":[],"selection-priority":["c","b","a"],"stable-count-ties":["c","b","a"],"unknown-last":["a","c","b"]},"check":"contract fixture 7","expected":{"descending-count":["c","b","a"],"pin-priority":["c","b","a"],"pin-visible-only":[],"selection-priority":["c","b","a"],"stable-count-ties":["c","b","a"],"unknown-last":["c","b","a"]},"passed":false},{"actual":{"descending-count":["b","a","c"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["a","c","b"],"stable-count-ties":["b","a","c"],"unknown-last":["c","b","a"]},"check":"contract fixture 8","expected":{"descending-count":["b","a","c"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["a","c","b"],"stable-count-ties":["b","a","c"],"unknown-last":["b","a","c"]},"passed":false},{"actual":{"descending-count":["c","a","b"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["c","b","a"],"stable-count-ties":["c","a","b"],"unknown-last":["b","c","a"]},"check":"contract fixture 9","expected":{"descending-count":["c","a","b"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["c","b","a"],"stable-count-ties":["c","a","b"],"unknown-last":["c","a","b"]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"a\", \"b\", \"c\"], \"unknown-last\": [\"b\", \"a\", \"c\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": []}, \"expected\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"a\", \"b\", \"c\"], \"unknown-last\": [\"a\", \"c\", \"b\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": []}, \"passed\": false}, {\"check\": \"contract fixture 1\", \"actual\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"b\", \"c\", \"a\"], \"unknown-last\": [\"a\", \"b\", \"c\"], \"descending-count\": [\"b\", \"c\", \"a\"], \"stable-count-ties\": [\"b\", \"c\", \"a\"], \"pin-visible-only\": []}, \"expected\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"b\", \"c\", \"a\"], \"unknown-last\": [\"b\", \"c\", \"a\"], \"descending-count\": [\"b\", \"c\", \"a\"], \"stable-count-ties\": [\"b\", \"c\", \"a\"], \"pin-visible-only\": []}, \"passed\": false}, {\"check\": \"contract fixture 2\", \"actual\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"a\", \"b\", \"c\"], \"unknown-last\": [\"c\", \"b\", \"a\"], \"descending-count\": [\"b\", \"a\", \"c\"], \"stable-count-ties\": [\"b\", \"a\", \"c\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"expected\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"a\", \"b\", \"c\"], \"unknown-last\": [\"b\", \"a\", \"c\"], \"descending-count\": [\"b\", \"a\", \"c\"], \"stable-count-ties\": [\"b\", \"a\", \"c\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"passed\": false}, {\"check\": \"contract fixture 3\", \"actual\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"b\", \"c\", \"a\"], \"unknown-last\": [\"b\", \"a\", \"c\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"expected\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"b\", \"c\", \"a\"], \"unknown-last\": [\"a\", \"c\", \"b\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"passed\": false}, {\"check\": \"contract fixture 4\", \"actual\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"b\", \"c\", \"a\"], \"unknown-last\": [\"a\", \"b\", \"c\"], \"descending-count\": [\"b\", \"c\", \"a\"], \"stable-count-ties\": [\"b\", \"c\", \"a\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"expected\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"b\", \"c\", \"a\"], \"unknown-last\": [\"b\", \"c\", \"a\"], \"descending-count\": [\"b\", \"c\", \"a\"], \"stable-count-ties\": [\"b\", \"c\", \"a\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"passed\": false}, {\"check\": \"contract fixture 5\", \"actual\": {\"pin-priority\": [\"c\", \"b\", \"a\"], \"selection-priority\": [\"a\", \"c\", \"b\"], \"unknown-last\": [\"c\", \"b\", \"a\"], \"descending-count\": [\"b\", \"a\", \"c\"], \"stable-count-ties\": [\"b\", \"a\", \"c\"], \"pin-visible-only\": []}, \"expected\": {\"pin-priority\": [\"c\", \"b\", \"a\"], \"selection-priority\": [\"a\", \"c\", \"b\"], \"unknown-last\": [\"b\", \"a\", \"c\"], \"descending-count\": [\"b\", \"a\", \"c\"], \"stable-count-ties\": [\"b\", \"a\", \"c\"], \"pin-visible-only\": []}, \"passed\": false}, {\"check\": \"contract fixture 6\", \"actual\": {\"pin-priority\": [\"c\", \"b\", \"a\"], \"selection-priority\": [\"c\", \"b\", \"a\"], \"unknown-last\": [\"b\", \"c\", \"a\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": []}, \"expected\": {\"pin-priority\": [\"c\", \"b\", \"a\"], \"selection-priority\": [\"c\", \"b\", \"a\"], \"unknown-last\": [\"c\", \"a\", \"b\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": []}, \"passed\": false}, {\"check\": \"contract fixture 7\", \"actual\": {\"pin-priority\": [\"c\", \"b\", \"a\"], \"selection-priority\": [\"c\", \"b\", \"a\"], \"unknown-last\": [\"a\", \"c\", \"b\"], \"descending-count\": [\"c\", \"b\", \"a\"], \"stable-count-ties\": [\"c\", \"b\", \"a\"], \"pin-visible-only\": []}, \"expected\": {\"pin-priority\": [\"c\", \"b\", \"a\"], \"selection-priority\": [\"c\", \"b\", \"a\"], \"unknown-last\": [\"c\", \"b\", \"a\"], \"descending-count\": [\"c\", \"b\", \"a\"], \"stable-count-ties\": [\"c\", \"b\", \"a\"], \"pin-visible-only\": []}, \"passed\": false}, {\"check\": \"contract fixture 8\", \"actual\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"a\", \"c\", \"b\"], \"unknown-last\": [\"c\", \"b\", \"a\"], \"descending-count\": [\"b\", \"a\", \"c\"], \"stable-count-ties\": [\"b\", \"a\", \"c\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"expected\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"a\", \"c\", \"b\"], \"unknown-last\": [\"b\", \"a\", \"c\"], \"descending-count\": [\"b\", \"a\", \"c\"], \"stable-count-ties\": [\"b\", \"a\", \"c\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"passed\": false}, {\"check\": \"contract fixture 9\", \"actual\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"c\", \"b\", \"a\"], \"unknown-last\": [\"b\", \"c\", \"a\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"expected\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"c\", \"b\", \"a\"], \"unknown-last\": [\"c\", \"a\", \"b\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.245,"exit_code":0,"observations":[{"actual":{"descending-count":["c","a","b"],"pin-priority":["b","a","c"],"pin-visible-only":[],"selection-priority":["a","b","c"],"stable-count-ties":["c","a","b"],"unknown-last":["a","c","b"]},"check":"contract fixture 0","expected":{"descending-count":["c","a","b"],"pin-priority":["b","a","c"],"pin-visible-only":[],"selection-priority":["a","b","c"],"stable-count-ties":["c","a","b"],"unknown-last":["a","c","b"]},"passed":true},{"actual":{"descending-count":["b","c","a"],"pin-priority":["b","a","c"],"pin-visible-only":[],"selection-priority":["b","c","a"],"stable-count-ties":["b","c","a"],"unknown-last":["b","c","a"]},"check":"contract fixture 1","expected":{"descending-count":["b","c","a"],"pin-priority":["b","a","c"],"pin-visible-only":[],"selection-priority":["b","c","a"],"stable-count-ties":["b","c","a"],"unknown-last":["b","c","a"]},"passed":true},{"actual":{"descending-count":["b","a","c"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["a","b","c"],"stable-count-ties":["b","a","c"],"unknown-last":["b","a","c"]},"check":"contract fixture 2","expected":{"descending-count":["b","a","c"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["a","b","c"],"stable-count-ties":["b","a","c"],"unknown-last":["b","a","c"]},"passed":true},{"actual":{"descending-count":["c","a","b"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["b","c","a"],"stable-count-ties":["c","a","b"],"unknown-last":["a","c","b"]},"check":"contract fixture 3","expected":{"descending-count":["c","a","b"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["b","c","a"],"stable-count-ties":["c","a","b"],"unknown-last":["a","c","b"]},"passed":true},{"actual":{"descending-count":["b","c","a"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["b","c","a"],"stable-count-ties":["b","c","a"],"unknown-last":["b","c","a"]},"check":"contract fixture 4","expected":{"descending-count":["b","c","a"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["b","c","a"],"stable-count-ties":["b","c","a"],"unknown-last":["b","c","a"]},"passed":true},{"actual":{"descending-count":["b","a","c"],"pin-priority":["c","b","a"],"pin-visible-only":[],"selection-priority":["a","c","b"],"stable-count-ties":["b","a","c"],"unknown-last":["b","a","c"]},"check":"contract fixture 5","expected":{"descending-count":["b","a","c"],"pin-priority":["c","b","a"],"pin-visible-only":[],"selection-priority":["a","c","b"],"stable-count-ties":["b","a","c"],"unknown-last":["b","a","c"]},"passed":true},{"actual":{"descending-count":["c","a","b"],"pin-priority":["c","b","a"],"pin-visible-only":[],"selection-priority":["c","b","a"],"stable-count-ties":["c","a","b"],"unknown-last":["c","a","b"]},"check":"contract fixture 6","expected":{"descending-count":["c","a","b"],"pin-priority":["c","b","a"],"pin-visible-only":[],"selection-priority":["c","b","a"],"stable-count-ties":["c","a","b"],"unknown-last":["c","a","b"]},"passed":true},{"actual":{"descending-count":["c","b","a"],"pin-priority":["c","b","a"],"pin-visible-only":[],"selection-priority":["c","b","a"],"stable-count-ties":["c","b","a"],"unknown-last":["c","b","a"]},"check":"contract fixture 7","expected":{"descending-count":["c","b","a"],"pin-priority":["c","b","a"],"pin-visible-only":[],"selection-priority":["c","b","a"],"stable-count-ties":["c","b","a"],"unknown-last":["c","b","a"]},"passed":true},{"actual":{"descending-count":["b","a","c"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["a","c","b"],"stable-count-ties":["b","a","c"],"unknown-last":["b","a","c"]},"check":"contract fixture 8","expected":{"descending-count":["b","a","c"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["a","c","b"],"stable-count-ties":["b","a","c"],"unknown-last":["b","a","c"]},"passed":true},{"actual":{"descending-count":["c","a","b"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["c","b","a"],"stable-count-ties":["c","a","b"],"unknown-last":["c","a","b"]},"check":"contract fixture 9","expected":{"descending-count":["c","a","b"],"pin-priority":["b","a","c"],"pin-visible-only":["a","b"],"selection-priority":["c","b","a"],"stable-count-ties":["c","a","b"],"unknown-last":["c","a","b"]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"a\", \"b\", \"c\"], \"unknown-last\": [\"a\", \"c\", \"b\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": []}, \"expected\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"a\", \"b\", \"c\"], \"unknown-last\": [\"a\", \"c\", \"b\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": []}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"actual\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"b\", \"c\", \"a\"], \"unknown-last\": [\"b\", \"c\", \"a\"], \"descending-count\": [\"b\", \"c\", \"a\"], \"stable-count-ties\": [\"b\", \"c\", \"a\"], \"pin-visible-only\": []}, \"expected\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"b\", \"c\", \"a\"], \"unknown-last\": [\"b\", \"c\", \"a\"], \"descending-count\": [\"b\", \"c\", \"a\"], \"stable-count-ties\": [\"b\", \"c\", \"a\"], \"pin-visible-only\": []}, \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"a\", \"b\", \"c\"], \"unknown-last\": [\"b\", \"a\", \"c\"], \"descending-count\": [\"b\", \"a\", \"c\"], \"stable-count-ties\": [\"b\", \"a\", \"c\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"expected\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"a\", \"b\", \"c\"], \"unknown-last\": [\"b\", \"a\", \"c\"], \"descending-count\": [\"b\", \"a\", \"c\"], \"stable-count-ties\": [\"b\", \"a\", \"c\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"b\", \"c\", \"a\"], \"unknown-last\": [\"a\", \"c\", \"b\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"expected\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"b\", \"c\", \"a\"], \"unknown-last\": [\"a\", \"c\", \"b\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"b\", \"c\", \"a\"], \"unknown-last\": [\"b\", \"c\", \"a\"], \"descending-count\": [\"b\", \"c\", \"a\"], \"stable-count-ties\": [\"b\", \"c\", \"a\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"expected\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"b\", \"c\", \"a\"], \"unknown-last\": [\"b\", \"c\", \"a\"], \"descending-count\": [\"b\", \"c\", \"a\"], \"stable-count-ties\": [\"b\", \"c\", \"a\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"pin-priority\": [\"c\", \"b\", \"a\"], \"selection-priority\": [\"a\", \"c\", \"b\"], \"unknown-last\": [\"b\", \"a\", \"c\"], \"descending-count\": [\"b\", \"a\", \"c\"], \"stable-count-ties\": [\"b\", \"a\", \"c\"], \"pin-visible-only\": []}, \"expected\": {\"pin-priority\": [\"c\", \"b\", \"a\"], \"selection-priority\": [\"a\", \"c\", \"b\"], \"unknown-last\": [\"b\", \"a\", \"c\"], \"descending-count\": [\"b\", \"a\", \"c\"], \"stable-count-ties\": [\"b\", \"a\", \"c\"], \"pin-visible-only\": []}, \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": {\"pin-priority\": [\"c\", \"b\", \"a\"], \"selection-priority\": [\"c\", \"b\", \"a\"], \"unknown-last\": [\"c\", \"a\", \"b\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": []}, \"expected\": {\"pin-priority\": [\"c\", \"b\", \"a\"], \"selection-priority\": [\"c\", \"b\", \"a\"], \"unknown-last\": [\"c\", \"a\", \"b\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": []}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"pin-priority\": [\"c\", \"b\", \"a\"], \"selection-priority\": [\"c\", \"b\", \"a\"], \"unknown-last\": [\"c\", \"b\", \"a\"], \"descending-count\": [\"c\", \"b\", \"a\"], \"stable-count-ties\": [\"c\", \"b\", \"a\"], \"pin-visible-only\": []}, \"expected\": {\"pin-priority\": [\"c\", \"b\", \"a\"], \"selection-priority\": [\"c\", \"b\", \"a\"], \"unknown-last\": [\"c\", \"b\", \"a\"], \"descending-count\": [\"c\", \"b\", \"a\"], \"stable-count-ties\": [\"c\", \"b\", \"a\"], \"pin-visible-only\": []}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"a\", \"c\", \"b\"], \"unknown-last\": [\"b\", \"a\", \"c\"], \"descending-count\": [\"b\", \"a\", \"c\"], \"stable-count-ties\": [\"b\", \"a\", \"c\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"expected\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"a\", \"c\", \"b\"], \"unknown-last\": [\"b\", \"a\", \"c\"], \"descending-count\": [\"b\", \"a\", \"c\"], \"stable-count-ties\": [\"b\", \"a\", \"c\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"passed\": true}, {\"check\": \"contract fixture 9\", \"actual\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"c\", \"b\", \"a\"], \"unknown-last\": [\"c\", \"a\", \"b\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"expected\": {\"pin-priority\": [\"b\", \"a\", \"c\"], \"selection-priority\": [\"c\", \"b\", \"a\"], \"unknown-last\": [\"c\", \"a\", \"b\"], \"descending-count\": [\"c\", \"a\", \"b\"], \"stable-count-ties\": [\"c\", \"a\", \"b\"], \"pin-visible-only\": [\"a\", \"b\"]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}