{"abstract":"Equality conversion retains the first set operand is violated by the widget projection.","category":"Filter interfaces","checks":10,"contract":"The stipulated filter editor supports equality, set membership and unary presence operators; switching operator updates operand arity rather than executing a query. This example checks: Equality conversion retains the first set operand.","evaluation_group":"s3-filter-interfaces-operator-editor","failed_approach":"The attempted correction `None if isinstance(d['value'],list) else d['value']` still violates the explicit contract fixtures.","family":"s3-filter-interfaces-operator-editor-scalar-arity","id":"FA-24941","implementations":{"attempt":{"sha256":"b5e107aea90937ceaa67d2eaa95837edad373a11107c3515861a277a6b54051d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'unary-value':(None if d['op'] in ('exists','missing') else d['value']), 'set-arity':([d['value']] if d['op']=='in' and not isinstance(d['value'],list) else d['value']), 'scalar-arity':(None if isinstance(d['value'],list) else d['value']), 'editor-visible':(d['op'] not in ('exists','missing')), 'empty-set-error':(d['op']=='in' and d['value']==[]), 'null-equality':(d['op']=='eq' and d['value'] is None)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'op': 'eq', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': None}, {'unary-value': None, 'set-arity': [None], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': 0}, {'unary-value': 0, 'set-arity': [0], 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': [], 'editor-visible': True, 'empty-set-error': True, 'null-equality': False}), ({'op': 'in', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ''}, {'unary-value': None, 'set-arity': '', 'scalar-arity': '', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 'x'}, {'unary-value': None, 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False})], 2: [({'op': 'eq', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': []}, {'unary-value': None, 'set-arity': [], 'scalar-arity': [], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x', 'y']}, {'unary-value': None, 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ''}, {'unary-value': None, 'set-arity': '', 'scalar-arity': '', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': 'x'}, {'unary-value': None, 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': True})], 3: [({'op': 'eq', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': []}, {'unary-value': None, 'set-arity': [], 'scalar-arity': [], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ['x', 'y']}, {'unary-value': None, 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': ''}, {'unary-value': '', 'set-arity': '', 'scalar-arity': '', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': 'x'}, {'unary-value': 'x', 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': None}, {'unary-value': None, 'set-arity': [None], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False})], 4: [({'op': 'eq', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': True}), ({'op': 'eq', 'value': 0}, {'unary-value': 0, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ''}, {'unary-value': '', 'set-arity': [''], 'scalar-arity': '', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': 'x'}, {'unary-value': 'x', 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': []}, {'unary-value': None, 'set-arity': [], 'scalar-arity': [], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False})], 5: [({'op': 'eq', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': None}, {'unary-value': None, 'set-arity': [None], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': 0}, {'unary-value': 0, 'set-arity': [0], 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': [], 'editor-visible': True, 'empty-set-error': True, 'null-equality': False}), ({'op': 'exists', 'value': ''}, {'unary-value': None, 'set-arity': '', 'scalar-arity': '', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 'x'}, {'unary-value': None, 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False})]}\nfor index, (data, expected) in enumerate(fixtures[N]):\n    check(\"contract fixture \" + str(index), solve(data), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"b6f2cb56db3446ae358a1e6e3ebed17c8dcab9afc46d4ac43f2eb4e89877e47b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'unary-value':(None if d['op'] in ('exists','missing') else d['value']), 'set-arity':([d['value']] if d['op']=='in' and not isinstance(d['value'],list) else d['value']), 'scalar-arity':(d['value']), 'editor-visible':(d['op'] not in ('exists','missing')), 'empty-set-error':(d['op']=='in' and d['value']==[]), 'null-equality':(d['op']=='eq' and d['value'] is None)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'op': 'eq', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': None}, {'unary-value': None, 'set-arity': [None], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': 0}, {'unary-value': 0, 'set-arity': [0], 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': [], 'editor-visible': True, 'empty-set-error': True, 'null-equality': False}), ({'op': 'in', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ''}, {'unary-value': None, 'set-arity': '', 'scalar-arity': '', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 'x'}, {'unary-value': None, 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False})], 2: [({'op': 'eq', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': []}, {'unary-value': None, 'set-arity': [], 'scalar-arity': [], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x', 'y']}, {'unary-value': None, 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ''}, {'unary-value': None, 'set-arity': '', 'scalar-arity': '', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': 'x'}, {'unary-value': None, 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': True})], 3: [({'op': 'eq', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': []}, {'unary-value': None, 'set-arity': [], 'scalar-arity': [], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ['x', 'y']}, {'unary-value': None, 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': ''}, {'unary-value': '', 'set-arity': '', 'scalar-arity': '', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': 'x'}, {'unary-value': 'x', 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': None}, {'unary-value': None, 'set-arity': [None], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False})], 4: [({'op': 'eq', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': True}), ({'op': 'eq', 'value': 0}, {'unary-value': 0, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ''}, {'unary-value': '', 'set-arity': [''], 'scalar-arity': '', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': 'x'}, {'unary-value': 'x', 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': []}, {'unary-value': None, 'set-arity': [], 'scalar-arity': [], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False})], 5: [({'op': 'eq', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': None}, {'unary-value': None, 'set-arity': [None], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': 0}, {'unary-value': 0, 'set-arity': [0], 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': [], 'editor-visible': True, 'empty-set-error': True, 'null-equality': False}), ({'op': 'exists', 'value': ''}, {'unary-value': None, 'set-arity': '', 'scalar-arity': '', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 'x'}, {'unary-value': None, 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False})]}\nfor index, (data, expected) in enumerate(fixtures[N]):\n    check(\"contract fixture \" + str(index), solve(data), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"cdea3c8084488fc7eb274a6a276997b5091bdb1ca12bbb0173865a47a73dfbb4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'unary-value':(None if d['op'] in ('exists','missing') else d['value']), 'set-arity':([d['value']] if d['op']=='in' and not isinstance(d['value'],list) else d['value']), 'scalar-arity':((d['value'][0] if d['value'] else None) if d['op']=='eq' and isinstance(d['value'],list) else d['value']), 'editor-visible':(d['op'] not in ('exists','missing')), 'empty-set-error':(d['op']=='in' and d['value']==[]), 'null-equality':(d['op']=='eq' and d['value'] is None)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'op': 'eq', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': None}, {'unary-value': None, 'set-arity': [None], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': 0}, {'unary-value': 0, 'set-arity': [0], 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': [], 'editor-visible': True, 'empty-set-error': True, 'null-equality': False}), ({'op': 'in', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ''}, {'unary-value': None, 'set-arity': '', 'scalar-arity': '', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 'x'}, {'unary-value': None, 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False})], 2: [({'op': 'eq', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': []}, {'unary-value': None, 'set-arity': [], 'scalar-arity': [], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x', 'y']}, {'unary-value': None, 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ''}, {'unary-value': None, 'set-arity': '', 'scalar-arity': '', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': 'x'}, {'unary-value': None, 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': True})], 3: [({'op': 'eq', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': []}, {'unary-value': None, 'set-arity': [], 'scalar-arity': [], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ['x', 'y']}, {'unary-value': None, 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': ''}, {'unary-value': '', 'set-arity': '', 'scalar-arity': '', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': 'x'}, {'unary-value': 'x', 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': None}, {'unary-value': None, 'set-arity': [None], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False})], 4: [({'op': 'eq', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': True}), ({'op': 'eq', 'value': 0}, {'unary-value': 0, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ''}, {'unary-value': '', 'set-arity': [''], 'scalar-arity': '', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': 'x'}, {'unary-value': 'x', 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': []}, {'unary-value': None, 'set-arity': [], 'scalar-arity': [], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False})], 5: [({'op': 'eq', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': None}, {'unary-value': None, 'set-arity': [None], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': 0}, {'unary-value': 0, 'set-arity': [0], 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': [], 'editor-visible': True, 'empty-set-error': True, 'null-equality': False}), ({'op': 'exists', 'value': ''}, {'unary-value': None, 'set-arity': '', 'scalar-arity': '', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 'x'}, {'unary-value': None, 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False})]}\nfor index, (data, expected) in enumerate(fixtures[N]):\n    check(\"contract fixture \" + str(index), solve(data), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"Deterministic bounded UI-state model only; no browser, query engine, network, or production-standard conformance is claimed. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-filter-interfaces-operator-editor-scalar-arity","generated_at":"2026-09-29T14:41:02.079867+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 scalar-arity projection: `(d['value'][0] if d['value'] else None) if d['op']=='eq' and isinstance(d['value'],list) else d['value']`.","root_cause":"The scalar-arity decision uses `d['value']` instead of the stipulated operator-editor projection.","sha256":"0c7a5abd5195efc3f0a7fa7b7cbd8b1057b4ff27d28beab7f76cc67e5f50adda","title":"Equality conversion retains the first set operand · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.426,"exit_code":1,"observations":[{"actual":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":[],"unary-value":[]},"check":"contract fixture 0","expected":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":[],"unary-value":[]},"passed":true},{"actual":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":["x"],"unary-value":["x"]},"check":"contract fixture 1","expected":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":["x"],"set-arity":["x"],"unary-value":["x"]},"passed":false},{"actual":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":[null],"unary-value":null},"check":"contract fixture 2","expected":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":[null],"unary-value":null},"passed":true},{"actual":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":0,"set-arity":[0],"unary-value":0},"check":"contract fixture 3","expected":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":0,"set-arity":[0],"unary-value":0},"passed":true},{"actual":{"editor-visible":true,"empty-set-error":true,"null-equality":false,"scalar-arity":null,"set-arity":[],"unary-value":[]},"check":"contract fixture 4","expected":{"editor-visible":true,"empty-set-error":true,"null-equality":false,"scalar-arity":[],"set-arity":[],"unary-value":[]},"passed":false},{"actual":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":["x","y"],"unary-value":["x","y"]},"check":"contract fixture 5","expected":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":["x","y"],"set-arity":["x","y"],"unary-value":["x","y"]},"passed":false},{"actual":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":"","set-arity":"","unary-value":null},"check":"contract fixture 6","expected":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":"","set-arity":"","unary-value":null},"passed":true},{"actual":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":"x","set-arity":"x","unary-value":null},"check":"contract fixture 7","expected":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":"x","set-arity":"x","unary-value":null},"passed":true},{"actual":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":["x"],"unary-value":null},"check":"contract fixture 8","expected":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":["x"],"set-arity":["x"],"unary-value":null},"passed":false},{"actual":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":null,"unary-value":null},"check":"contract fixture 9","expected":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":null,"unary-value":null},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"unary-value\": [], \"set-arity\": [], \"scalar-arity\": null, \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": [], \"set-arity\": [], \"scalar-arity\": null, \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"actual\": {\"unary-value\": [\"x\"], \"set-arity\": [\"x\"], \"scalar-arity\": null, \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": [\"x\"], \"set-arity\": [\"x\"], \"scalar-arity\": [\"x\"], \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": false}, {\"check\": \"contract fixture 2\", \"actual\": {\"unary-value\": null, \"set-arity\": [null], \"scalar-arity\": null, \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": null, \"set-arity\": [null], \"scalar-arity\": null, \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"unary-value\": 0, \"set-arity\": [0], \"scalar-arity\": 0, \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": 0, \"set-arity\": [0], \"scalar-arity\": 0, \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"unary-value\": [], \"set-arity\": [], \"scalar-arity\": null, \"editor-visible\": true, \"empty-set-error\": true, \"null-equality\": false}, \"expected\": {\"unary-value\": [], \"set-arity\": [], \"scalar-arity\": [], \"editor-visible\": true, \"empty-set-error\": true, \"null-equality\": false}, \"passed\": false}, {\"check\": \"contract fixture 5\", \"actual\": {\"unary-value\": [\"x\", \"y\"], \"set-arity\": [\"x\", \"y\"], \"scalar-arity\": null, \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": [\"x\", \"y\"], \"set-arity\": [\"x\", \"y\"], \"scalar-arity\": [\"x\", \"y\"], \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": false}, {\"check\": \"contract fixture 6\", \"actual\": {\"unary-value\": null, \"set-arity\": \"\", \"scalar-arity\": \"\", \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": null, \"set-arity\": \"\", \"scalar-arity\": \"\", \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"unary-value\": null, \"set-arity\": \"x\", \"scalar-arity\": \"x\", \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": null, \"set-arity\": \"x\", \"scalar-arity\": \"x\", \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"unary-value\": null, \"set-arity\": [\"x\"], \"scalar-arity\": null, \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": null, \"set-arity\": [\"x\"], \"scalar-arity\": [\"x\"], \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": false}, {\"check\": \"contract fixture 9\", \"actual\": {\"unary-value\": null, \"set-arity\": null, \"scalar-arity\": null, \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": null, \"set-arity\": null, \"scalar-arity\": null, \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.546,"exit_code":1,"observations":[{"actual":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":[],"set-arity":[],"unary-value":[]},"check":"contract fixture 0","expected":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":[],"unary-value":[]},"passed":false},{"actual":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":["x"],"set-arity":["x"],"unary-value":["x"]},"check":"contract fixture 1","expected":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":["x"],"set-arity":["x"],"unary-value":["x"]},"passed":true},{"actual":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":[null],"unary-value":null},"check":"contract fixture 2","expected":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":[null],"unary-value":null},"passed":true},{"actual":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":0,"set-arity":[0],"unary-value":0},"check":"contract fixture 3","expected":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":0,"set-arity":[0],"unary-value":0},"passed":true},{"actual":{"editor-visible":true,"empty-set-error":true,"null-equality":false,"scalar-arity":[],"set-arity":[],"unary-value":[]},"check":"contract fixture 4","expected":{"editor-visible":true,"empty-set-error":true,"null-equality":false,"scalar-arity":[],"set-arity":[],"unary-value":[]},"passed":true},{"actual":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":["x","y"],"set-arity":["x","y"],"unary-value":["x","y"]},"check":"contract fixture 5","expected":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":["x","y"],"set-arity":["x","y"],"unary-value":["x","y"]},"passed":true},{"actual":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":"","set-arity":"","unary-value":null},"check":"contract fixture 6","expected":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":"","set-arity":"","unary-value":null},"passed":true},{"actual":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":"x","set-arity":"x","unary-value":null},"check":"contract fixture 7","expected":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":"x","set-arity":"x","unary-value":null},"passed":true},{"actual":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":["x"],"set-arity":["x"],"unary-value":null},"check":"contract fixture 8","expected":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":["x"],"set-arity":["x"],"unary-value":null},"passed":true},{"actual":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":null,"unary-value":null},"check":"contract fixture 9","expected":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":null,"unary-value":null},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"unary-value\": [], \"set-arity\": [], \"scalar-arity\": [], \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": [], \"set-arity\": [], \"scalar-arity\": null, \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": false}, {\"check\": \"contract fixture 1\", \"actual\": {\"unary-value\": [\"x\"], \"set-arity\": [\"x\"], \"scalar-arity\": [\"x\"], \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": [\"x\"], \"set-arity\": [\"x\"], \"scalar-arity\": [\"x\"], \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": {\"unary-value\": null, \"set-arity\": [null], \"scalar-arity\": null, \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": null, \"set-arity\": [null], \"scalar-arity\": null, \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"unary-value\": 0, \"set-arity\": [0], \"scalar-arity\": 0, \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": 0, \"set-arity\": [0], \"scalar-arity\": 0, \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"unary-value\": [], \"set-arity\": [], \"scalar-arity\": [], \"editor-visible\": true, \"empty-set-error\": true, \"null-equality\": false}, \"expected\": {\"unary-value\": [], \"set-arity\": [], \"scalar-arity\": [], \"editor-visible\": true, \"empty-set-error\": true, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"unary-value\": [\"x\", \"y\"], \"set-arity\": [\"x\", \"y\"], \"scalar-arity\": [\"x\", \"y\"], \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": [\"x\", \"y\"], \"set-arity\": [\"x\", \"y\"], \"scalar-arity\": [\"x\", \"y\"], \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": {\"unary-value\": null, \"set-arity\": \"\", \"scalar-arity\": \"\", \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": null, \"set-arity\": \"\", \"scalar-arity\": \"\", \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"unary-value\": null, \"set-arity\": \"x\", \"scalar-arity\": \"x\", \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": null, \"set-arity\": \"x\", \"scalar-arity\": \"x\", \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"unary-value\": null, \"set-arity\": [\"x\"], \"scalar-arity\": [\"x\"], \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": null, \"set-arity\": [\"x\"], \"scalar-arity\": [\"x\"], \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 9\", \"actual\": {\"unary-value\": null, \"set-arity\": null, \"scalar-arity\": null, \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": null, \"set-arity\": null, \"scalar-arity\": null, \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":39.024,"exit_code":0,"observations":[{"actual":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":[],"unary-value":[]},"check":"contract fixture 0","expected":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":[],"unary-value":[]},"passed":true},{"actual":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":["x"],"set-arity":["x"],"unary-value":["x"]},"check":"contract fixture 1","expected":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":["x"],"set-arity":["x"],"unary-value":["x"]},"passed":true},{"actual":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":[null],"unary-value":null},"check":"contract fixture 2","expected":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":[null],"unary-value":null},"passed":true},{"actual":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":0,"set-arity":[0],"unary-value":0},"check":"contract fixture 3","expected":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":0,"set-arity":[0],"unary-value":0},"passed":true},{"actual":{"editor-visible":true,"empty-set-error":true,"null-equality":false,"scalar-arity":[],"set-arity":[],"unary-value":[]},"check":"contract fixture 4","expected":{"editor-visible":true,"empty-set-error":true,"null-equality":false,"scalar-arity":[],"set-arity":[],"unary-value":[]},"passed":true},{"actual":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":["x","y"],"set-arity":["x","y"],"unary-value":["x","y"]},"check":"contract fixture 5","expected":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":["x","y"],"set-arity":["x","y"],"unary-value":["x","y"]},"passed":true},{"actual":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":"","set-arity":"","unary-value":null},"check":"contract fixture 6","expected":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":"","set-arity":"","unary-value":null},"passed":true},{"actual":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":"x","set-arity":"x","unary-value":null},"check":"contract fixture 7","expected":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":"x","set-arity":"x","unary-value":null},"passed":true},{"actual":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":["x"],"set-arity":["x"],"unary-value":null},"check":"contract fixture 8","expected":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":["x"],"set-arity":["x"],"unary-value":null},"passed":true},{"actual":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":null,"unary-value":null},"check":"contract fixture 9","expected":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":null,"unary-value":null},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"unary-value\": [], \"set-arity\": [], \"scalar-arity\": null, \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": [], \"set-arity\": [], \"scalar-arity\": null, \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"actual\": {\"unary-value\": [\"x\"], \"set-arity\": [\"x\"], \"scalar-arity\": [\"x\"], \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": [\"x\"], \"set-arity\": [\"x\"], \"scalar-arity\": [\"x\"], \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": {\"unary-value\": null, \"set-arity\": [null], \"scalar-arity\": null, \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": null, \"set-arity\": [null], \"scalar-arity\": null, \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"unary-value\": 0, \"set-arity\": [0], \"scalar-arity\": 0, \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": 0, \"set-arity\": [0], \"scalar-arity\": 0, \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"unary-value\": [], \"set-arity\": [], \"scalar-arity\": [], \"editor-visible\": true, \"empty-set-error\": true, \"null-equality\": false}, \"expected\": {\"unary-value\": [], \"set-arity\": [], \"scalar-arity\": [], \"editor-visible\": true, \"empty-set-error\": true, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"unary-value\": [\"x\", \"y\"], \"set-arity\": [\"x\", \"y\"], \"scalar-arity\": [\"x\", \"y\"], \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": [\"x\", \"y\"], \"set-arity\": [\"x\", \"y\"], \"scalar-arity\": [\"x\", \"y\"], \"editor-visible\": true, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": {\"unary-value\": null, \"set-arity\": \"\", \"scalar-arity\": \"\", \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": null, \"set-arity\": \"\", \"scalar-arity\": \"\", \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"unary-value\": null, \"set-arity\": \"x\", \"scalar-arity\": \"x\", \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": null, \"set-arity\": \"x\", \"scalar-arity\": \"x\", \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"unary-value\": null, \"set-arity\": [\"x\"], \"scalar-arity\": [\"x\"], \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": null, \"set-arity\": [\"x\"], \"scalar-arity\": [\"x\"], \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}, {\"check\": \"contract fixture 9\", \"actual\": {\"unary-value\": null, \"set-arity\": null, \"scalar-arity\": null, \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": null, \"set-arity\": null, \"scalar-arity\": null, \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}