{"abstract":"Presence operators omit stale operand values 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: Presence operators omit stale operand values.","evaluation_group":"s3-filter-interfaces-operator-editor","failed_approach":"The attempted correction `None` still violates the explicit contract fixtures.","family":"s3-filter-interfaces-operator-editor-unary-value","id":"FA-24931","implementations":{"attempt":{"sha256":"4f92fbcd9b4c78d5a70dda647020795792a3febff8c46712c1d9f8b07855590b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'unary-value':(None), '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': 'exists', 'value': ''}, {'unary-value': None, 'set-arity': '', 'scalar-arity': '', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': None, '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': '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})], 2: [({'op': 'exists', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, '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': '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': []}, {'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}), ({'op': 'eq', 'value': 0}, {'unary-value': 0, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False})], 3: [({'op': 'exists', 'value': 'x'}, {'unary-value': None, 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': False, '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': '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': 'exists', 'value': []}, {'unary-value': None, 'set-arity': [], 'scalar-arity': [], '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': 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': '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': '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})], 5: [({'op': 'exists', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': None, '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': '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":"98e9e3ab9fceca2d0da99290e22e89a51337d4d02e89fc00962e8d91a0ac49f8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'unary-value':(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': 'exists', 'value': ''}, {'unary-value': None, 'set-arity': '', 'scalar-arity': '', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': None, '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': '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})], 2: [({'op': 'exists', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, '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': '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': []}, {'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}), ({'op': 'eq', 'value': 0}, {'unary-value': 0, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False})], 3: [({'op': 'exists', 'value': 'x'}, {'unary-value': None, 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': False, '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': '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': 'exists', 'value': []}, {'unary-value': None, 'set-arity': [], 'scalar-arity': [], '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': 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': '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': '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})], 5: [({'op': 'exists', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': None, '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': '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":"f366d7a05887c3ee44073636a7fe977b151e67ddd884b78ab19342023e8bb99c","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': 'exists', 'value': ''}, {'unary-value': None, 'set-arity': '', 'scalar-arity': '', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': None, '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': '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})], 2: [({'op': 'exists', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, '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': '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': []}, {'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}), ({'op': 'eq', 'value': 0}, {'unary-value': 0, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False})], 3: [({'op': 'exists', 'value': 'x'}, {'unary-value': None, 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': False, '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': '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': 'exists', 'value': []}, {'unary-value': None, 'set-arity': [], 'scalar-arity': [], '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': 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': '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': '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})], 5: [({'op': 'exists', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': None, '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': '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-unary-value","generated_at":"2026-09-29T14:41:01.984176+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 unary-value projection: `None if d['op'] in ('exists','missing') else d['value']`.","root_cause":"The unary-value decision uses `d['value']` instead of the stipulated operator-editor projection.","sha256":"a697b447724e19868ceb3f3240935333de78f6fcc7187af81ff9b190ad03c5a6","title":"Presence operators omit stale operand values · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":38.5,"exit_code":1,"observations":[{"actual":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":"","set-arity":"","unary-value":null},"check":"contract fixture 0","expected":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":"","set-arity":"","unary-value":null},"passed":true},{"actual":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":[],"unary-value":null},"check":"contract fixture 1","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":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":null},"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":false},{"actual":{"editor-visible":true,"empty-set-error":true,"null-equality":false,"scalar-arity":[],"set-arity":[],"unary-value":null},"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":["x","y"],"set-arity":["x","y"],"unary-value":null},"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":"x","set-arity":"x","unary-value":null},"check":"contract fixture 6","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 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":null,"unary-value":null},"check":"contract fixture 8","expected":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":null,"unary-value":null},"passed":true},{"actual":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":0,"set-arity":0,"unary-value":null},"check":"contract fixture 9","expected":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":0,"set-arity":0,"unary-value":null},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"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 1\", \"actual\": {\"unary-value\": null, \"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\": 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\": null, \"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\": false}, {\"check\": \"contract fixture 4\", \"actual\": {\"unary-value\": null, \"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\": false}, {\"check\": \"contract fixture 5\", \"actual\": {\"unary-value\": null, \"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\": false}, {\"check\": \"contract fixture 6\", \"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 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\": 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}, {\"check\": \"contract fixture 9\", \"actual\": {\"unary-value\": null, \"set-arity\": 0, \"scalar-arity\": 0, \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": null, \"set-arity\": 0, \"scalar-arity\": 0, \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.824,"exit_code":1,"observations":[{"actual":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":"","set-arity":"","unary-value":""},"check":"contract fixture 0","expected":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":"","set-arity":"","unary-value":null},"passed":false},{"actual":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":[],"unary-value":[]},"check":"contract fixture 1","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":[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":"x","set-arity":"x","unary-value":"x"},"check":"contract fixture 6","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":["x"],"set-arity":["x"],"unary-value":["x"]},"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":false},{"actual":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":null,"unary-value":null},"check":"contract fixture 8","expected":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":null,"unary-value":null},"passed":true},{"actual":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":0,"set-arity":0,"unary-value":0},"check":"contract fixture 9","expected":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":0,"set-arity":0,"unary-value":null},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"unary-value\": \"\", \"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\": false}, {\"check\": \"contract fixture 1\", \"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 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\": \"x\", \"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\": false}, {\"check\": \"contract fixture 7\", \"actual\": {\"unary-value\": [\"x\"], \"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\": false}, {\"check\": \"contract fixture 8\", \"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}, {\"check\": \"contract fixture 9\", \"actual\": {\"unary-value\": 0, \"set-arity\": 0, \"scalar-arity\": 0, \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": null, \"set-arity\": 0, \"scalar-arity\": 0, \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.515,"exit_code":0,"observations":[{"actual":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":"","set-arity":"","unary-value":null},"check":"contract fixture 0","expected":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":"","set-arity":"","unary-value":null},"passed":true},{"actual":{"editor-visible":true,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":[],"unary-value":[]},"check":"contract fixture 1","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":[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":"x","set-arity":"x","unary-value":null},"check":"contract fixture 6","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 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":null,"unary-value":null},"check":"contract fixture 8","expected":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":null,"set-arity":null,"unary-value":null},"passed":true},{"actual":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":0,"set-arity":0,"unary-value":null},"check":"contract fixture 9","expected":{"editor-visible":false,"empty-set-error":false,"null-equality":false,"scalar-arity":0,"set-arity":0,"unary-value":null},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"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 1\", \"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 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\": \"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 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\": 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}, {\"check\": \"contract fixture 9\", \"actual\": {\"unary-value\": null, \"set-arity\": 0, \"scalar-arity\": 0, \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"expected\": {\"unary-value\": null, \"set-arity\": 0, \"scalar-arity\": 0, \"editor-visible\": false, \"empty-set-error\": false, \"null-equality\": false}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}