{"abstract":"Normal form complements all child operators only under negation is violated by the widget projection.","category":"Filter interfaces","checks":10,"contract":"Negating a filter group preserves its explicit wrapper; converting a negated group to normal form flips conjunction and complements every supported child operator atomically. This example checks: Normal form complements all child operators only under negation.","contract_signature":"d","evaluation_group":"s3-filter-interfaces-group-negation-editor","failed_approach":"The attempted correction `[d['complements'].get(x,x) for x in d['ops']]` still violates the explicit contract fixtures.","family":"s3-filter-interfaces-group-negation-editor-complement-all","id":"FA-26141","implementations":{"attempt":{"sha256":"03ca40c809962d666a09ab6d4b13c9c68efa60503a6dc480430208c82c82248a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'wrapper-toggle':(not d['negated']), 'normal-form-mode':(('or' if d['mode']=='and' else 'and') if d['negated'] else d['mode']), 'complement-all':([d['complements'].get(x,x) for x in d['ops']]), 'normalizable':(all(x in d['complements'] for x in d['ops'])), 'retain-wrapper':(d['negated'] and not all(x in d['complements'] for x in d['ops'])), 'negated-caption':('NOT ('+d['caption']+')' if d['negated'] else d['caption'])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['ne'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (a AND b)'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['eq', 'regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['regex'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': [], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['eq'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['eq', 'regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['regex'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': [], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (x)'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['ne'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (x)'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['ne', 'regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (x)'})], 2: [({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['ne'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (x)'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'a AND b'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['eq', 'regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'a AND b'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['regex'], 'caption': 'a AND b'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'a AND b'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': [], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (a AND b)'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['ne'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (a AND b)'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['ne', 'regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (a AND b)'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['regex'], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (a AND b)'}), ({'negated': True, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': [], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'and', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (a AND b)'}), ({'negated': True, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'and', 'complement-all': ['ne'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (a AND b)'}), ({'negated': True, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'and', 'complement-all': ['ne', 'regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (a AND b)'})], 3: [({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['ne', 'regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (a AND b)'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['eq'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['ne', 'regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (x)'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['regex'], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (x)'}), ({'negated': True, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': [], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'and', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (x)'}), ({'negated': True, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'and', 'complement-all': ['ne'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (x)'}), ({'negated': True, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'and', 'complement-all': ['ne', 'regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (x)'}), ({'negated': True, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['regex'], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'and', 'complement-all': ['regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (x)'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': [], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['eq', 'regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'x'})], 4: [({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['ne', 'regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (x)'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'a AND b'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['eq'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'a AND b'}), ({'negated': True, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'and', 'complement-all': ['ne', 'regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (a AND b)'}), ({'negated': True, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['regex'], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'and', 'complement-all': ['regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (a AND b)'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': [], 'caption': 'a AND b'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'a AND b'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'a AND b'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['eq'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'a AND b'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'a AND b'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['eq', 'regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'a AND b'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['regex'], 'caption': 'a AND b'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'a AND b'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': [], 'caption': 'a AND b'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'a AND b'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'a AND b'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['eq', 'regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'a AND b'})], 5: [({'negated': True, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'and', 'complement-all': ['ne'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (a AND b)'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['eq', 'regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['eq'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['eq', 'regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['regex'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': [], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['eq'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['regex'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': [], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (x)'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['ne'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (x)'})]}\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":"5bfe4ddf7a2ee8f316ccc3f70974dcd22db799a8c4eaea6347bf2da9f47eea58","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'wrapper-toggle':(not d['negated']), 'normal-form-mode':(('or' if d['mode']=='and' else 'and') if d['negated'] else d['mode']), 'complement-all':(d['ops']), 'normalizable':(all(x in d['complements'] for x in d['ops'])), 'retain-wrapper':(d['negated'] and not all(x in d['complements'] for x in d['ops'])), 'negated-caption':('NOT ('+d['caption']+')' if d['negated'] else d['caption'])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['ne'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (a AND b)'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['eq', 'regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['regex'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': [], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['eq'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['eq', 'regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['regex'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': [], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (x)'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['ne'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (x)'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['ne', 'regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (x)'})], 2: [({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['ne'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (x)'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'a AND b'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['eq', 'regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'a AND b'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['regex'], 'caption': 'a AND b'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'a AND b'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': [], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (a AND b)'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['ne'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (a AND b)'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['ne', 'regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (a AND b)'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['regex'], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (a AND b)'}), ({'negated': True, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': [], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'and', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (a AND b)'}), ({'negated': True, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'and', 'complement-all': ['ne'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (a AND b)'}), ({'negated': True, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'and', 'complement-all': ['ne', 'regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (a AND b)'})], 3: [({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['ne', 'regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (a AND b)'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['eq'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['ne', 'regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (x)'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['regex'], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (x)'}), ({'negated': True, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': [], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'and', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (x)'}), ({'negated': True, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'and', 'complement-all': ['ne'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (x)'}), ({'negated': True, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'and', 'complement-all': ['ne', 'regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (x)'}), ({'negated': True, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['regex'], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'and', 'complement-all': ['regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (x)'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': [], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['eq', 'regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'x'})], 4: [({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['ne', 'regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (x)'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'a AND b'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['eq'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'a AND b'}), ({'negated': True, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'and', 'complement-all': ['ne', 'regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (a AND b)'}), ({'negated': True, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['regex'], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'and', 'complement-all': ['regex'], 'normalizable': False, 'retain-wrapper': True, 'negated-caption': 'NOT (a AND b)'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': [], 'caption': 'a AND b'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'a AND b'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'a AND b'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['eq'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'a AND b'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'a AND b'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['eq', 'regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'a AND b'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['regex'], 'caption': 'a AND b'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'a AND b'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': [], 'caption': 'a AND b'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'a AND b'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'a AND b'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['eq', 'regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'a AND b'})], 5: [({'negated': True, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'a AND b'}, {'wrapper-toggle': False, 'normal-form-mode': 'and', 'complement-all': ['ne'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (a AND b)'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['eq', 'regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['eq'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq', 'regex'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['eq', 'regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['regex'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': [], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['eq'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': False, 'mode': 'or', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['regex'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['regex'], 'normalizable': False, 'retain-wrapper': False, 'negated-caption': 'x'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': [], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (x)'}), ({'negated': True, 'mode': 'and', 'complements': {'eq': 'ne', 'ne': 'eq', 'exists': 'missing', 'missing': 'exists'}, 'ops': ['eq'], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': ['ne'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (x)'})]}\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-group-negation-editor-complement-all","generated_at":"2026-09-29T14:41:13.247974+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.","root_cause":"The complement-all decision uses `d['ops']` instead of the stipulated group-negation-editor projection.","sha256":"daa13020eb900f99bb28b56fd0ef331c8089e8efb5d8a13331241c84e3e53f35","title":"Normal form complements all child operators only under negation · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":42.184,"exit_code":1,"observations":[{"actual":{"complement-all":["ne"],"negated-caption":"NOT (a AND b)","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":false},"check":"contract fixture 0","expected":{"complement-all":["ne"],"negated-caption":"NOT (a AND b)","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":false},"passed":true},{"actual":{"complement-all":["ne","regex"],"negated-caption":"x","normal-form-mode":"and","normalizable":false,"retain-wrapper":false,"wrapper-toggle":true},"check":"contract fixture 1","expected":{"complement-all":["eq","regex"],"negated-caption":"x","normal-form-mode":"and","normalizable":false,"retain-wrapper":false,"wrapper-toggle":true},"passed":false},{"actual":{"complement-all":["regex"],"negated-caption":"x","normal-form-mode":"and","normalizable":false,"retain-wrapper":false,"wrapper-toggle":true},"check":"contract fixture 2","expected":{"complement-all":["regex"],"negated-caption":"x","normal-form-mode":"and","normalizable":false,"retain-wrapper":false,"wrapper-toggle":true},"passed":true},{"actual":{"complement-all":[],"negated-caption":"x","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":true},"check":"contract fixture 3","expected":{"complement-all":[],"negated-caption":"x","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":true},"passed":true},{"actual":{"complement-all":["ne"],"negated-caption":"x","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":true},"check":"contract fixture 4","expected":{"complement-all":["eq"],"negated-caption":"x","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":true},"passed":false},{"actual":{"complement-all":["ne","regex"],"negated-caption":"x","normal-form-mode":"or","normalizable":false,"retain-wrapper":false,"wrapper-toggle":true},"check":"contract fixture 5","expected":{"complement-all":["eq","regex"],"negated-caption":"x","normal-form-mode":"or","normalizable":false,"retain-wrapper":false,"wrapper-toggle":true},"passed":false},{"actual":{"complement-all":["regex"],"negated-caption":"x","normal-form-mode":"or","normalizable":false,"retain-wrapper":false,"wrapper-toggle":true},"check":"contract fixture 6","expected":{"complement-all":["regex"],"negated-caption":"x","normal-form-mode":"or","normalizable":false,"retain-wrapper":false,"wrapper-toggle":true},"passed":true},{"actual":{"complement-all":[],"negated-caption":"NOT (x)","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":false},"check":"contract fixture 7","expected":{"complement-all":[],"negated-caption":"NOT (x)","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":false},"passed":true},{"actual":{"complement-all":["ne"],"negated-caption":"NOT (x)","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":false},"check":"contract fixture 8","expected":{"complement-all":["ne"],"negated-caption":"NOT (x)","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":false},"passed":true},{"actual":{"complement-all":["ne","regex"],"negated-caption":"NOT (x)","normal-form-mode":"or","normalizable":false,"retain-wrapper":true,"wrapper-toggle":false},"check":"contract fixture 9","expected":{"complement-all":["ne","regex"],"negated-caption":"NOT (x)","normal-form-mode":"or","normalizable":false,"retain-wrapper":true,"wrapper-toggle":false},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"wrapper-toggle\": false, \"normal-form-mode\": \"or\", \"complement-all\": [\"ne\"], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"NOT (a AND b)\"}, \"expected\": {\"wrapper-toggle\": false, \"normal-form-mode\": \"or\", \"complement-all\": [\"ne\"], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"NOT (a AND b)\"}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"actual\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"and\", \"complement-all\": [\"ne\", \"regex\"], \"normalizable\": false, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"expected\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"and\", \"complement-all\": [\"eq\", \"regex\"], \"normalizable\": false, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"passed\": false}, {\"check\": \"contract fixture 2\", \"actual\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"and\", \"complement-all\": [\"regex\"], \"normalizable\": false, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"expected\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"and\", \"complement-all\": [\"regex\"], \"normalizable\": false, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"or\", \"complement-all\": [], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"expected\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"or\", \"complement-all\": [], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"or\", \"complement-all\": [\"ne\"], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"expected\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"or\", \"complement-all\": [\"eq\"], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"passed\": false}, {\"check\": \"contract fixture 5\", \"actual\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"or\", \"complement-all\": [\"ne\", \"regex\"], \"normalizable\": false, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"expected\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"or\", \"complement-all\": [\"eq\", \"regex\"], \"normalizable\": false, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"passed\": false}, {\"check\": \"contract fixture 6\", \"actual\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"or\", \"complement-all\": [\"regex\"], \"normalizable\": false, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"expected\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"or\", \"complement-all\": [\"regex\"], \"normalizable\": false, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"wrapper-toggle\": false, \"normal-form-mode\": \"or\", \"complement-all\": [], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"NOT (x)\"}, \"expected\": {\"wrapper-toggle\": false, \"normal-form-mode\": \"or\", \"complement-all\": [], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"NOT (x)\"}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"wrapper-toggle\": false, \"normal-form-mode\": \"or\", \"complement-all\": [\"ne\"], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"NOT (x)\"}, \"expected\": {\"wrapper-toggle\": false, \"normal-form-mode\": \"or\", \"complement-all\": [\"ne\"], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"NOT (x)\"}, \"passed\": true}, {\"check\": \"contract fixture 9\", \"actual\": {\"wrapper-toggle\": false, \"normal-form-mode\": \"or\", \"complement-all\": [\"ne\", \"regex\"], \"normalizable\": false, \"retain-wrapper\": true, \"negated-caption\": \"NOT (x)\"}, \"expected\": {\"wrapper-toggle\": false, \"normal-form-mode\": \"or\", \"complement-all\": [\"ne\", \"regex\"], \"normalizable\": false, \"retain-wrapper\": true, \"negated-caption\": \"NOT (x)\"}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.624,"exit_code":1,"observations":[{"actual":{"complement-all":["eq"],"negated-caption":"NOT (a AND b)","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":false},"check":"contract fixture 0","expected":{"complement-all":["ne"],"negated-caption":"NOT (a AND b)","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":false},"passed":false},{"actual":{"complement-all":["eq","regex"],"negated-caption":"x","normal-form-mode":"and","normalizable":false,"retain-wrapper":false,"wrapper-toggle":true},"check":"contract fixture 1","expected":{"complement-all":["eq","regex"],"negated-caption":"x","normal-form-mode":"and","normalizable":false,"retain-wrapper":false,"wrapper-toggle":true},"passed":true},{"actual":{"complement-all":["regex"],"negated-caption":"x","normal-form-mode":"and","normalizable":false,"retain-wrapper":false,"wrapper-toggle":true},"check":"contract fixture 2","expected":{"complement-all":["regex"],"negated-caption":"x","normal-form-mode":"and","normalizable":false,"retain-wrapper":false,"wrapper-toggle":true},"passed":true},{"actual":{"complement-all":[],"negated-caption":"x","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":true},"check":"contract fixture 3","expected":{"complement-all":[],"negated-caption":"x","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":true},"passed":true},{"actual":{"complement-all":["eq"],"negated-caption":"x","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":true},"check":"contract fixture 4","expected":{"complement-all":["eq"],"negated-caption":"x","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":true},"passed":true},{"actual":{"complement-all":["eq","regex"],"negated-caption":"x","normal-form-mode":"or","normalizable":false,"retain-wrapper":false,"wrapper-toggle":true},"check":"contract fixture 5","expected":{"complement-all":["eq","regex"],"negated-caption":"x","normal-form-mode":"or","normalizable":false,"retain-wrapper":false,"wrapper-toggle":true},"passed":true},{"actual":{"complement-all":["regex"],"negated-caption":"x","normal-form-mode":"or","normalizable":false,"retain-wrapper":false,"wrapper-toggle":true},"check":"contract fixture 6","expected":{"complement-all":["regex"],"negated-caption":"x","normal-form-mode":"or","normalizable":false,"retain-wrapper":false,"wrapper-toggle":true},"passed":true},{"actual":{"complement-all":[],"negated-caption":"NOT (x)","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":false},"check":"contract fixture 7","expected":{"complement-all":[],"negated-caption":"NOT (x)","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":false},"passed":true},{"actual":{"complement-all":["eq"],"negated-caption":"NOT (x)","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":false},"check":"contract fixture 8","expected":{"complement-all":["ne"],"negated-caption":"NOT (x)","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":false},"passed":false},{"actual":{"complement-all":["eq","regex"],"negated-caption":"NOT (x)","normal-form-mode":"or","normalizable":false,"retain-wrapper":true,"wrapper-toggle":false},"check":"contract fixture 9","expected":{"complement-all":["ne","regex"],"negated-caption":"NOT (x)","normal-form-mode":"or","normalizable":false,"retain-wrapper":true,"wrapper-toggle":false},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"wrapper-toggle\": false, \"normal-form-mode\": \"or\", \"complement-all\": [\"eq\"], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"NOT (a AND b)\"}, \"expected\": {\"wrapper-toggle\": false, \"normal-form-mode\": \"or\", \"complement-all\": [\"ne\"], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"NOT (a AND b)\"}, \"passed\": false}, {\"check\": \"contract fixture 1\", \"actual\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"and\", \"complement-all\": [\"eq\", \"regex\"], \"normalizable\": false, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"expected\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"and\", \"complement-all\": [\"eq\", \"regex\"], \"normalizable\": false, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"and\", \"complement-all\": [\"regex\"], \"normalizable\": false, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"expected\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"and\", \"complement-all\": [\"regex\"], \"normalizable\": false, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"or\", \"complement-all\": [], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"expected\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"or\", \"complement-all\": [], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"or\", \"complement-all\": [\"eq\"], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"expected\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"or\", \"complement-all\": [\"eq\"], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"or\", \"complement-all\": [\"eq\", \"regex\"], \"normalizable\": false, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"expected\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"or\", \"complement-all\": [\"eq\", \"regex\"], \"normalizable\": false, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"or\", \"complement-all\": [\"regex\"], \"normalizable\": false, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"expected\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"or\", \"complement-all\": [\"regex\"], \"normalizable\": false, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"wrapper-toggle\": false, \"normal-form-mode\": \"or\", \"complement-all\": [], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"NOT (x)\"}, \"expected\": {\"wrapper-toggle\": false, \"normal-form-mode\": \"or\", \"complement-all\": [], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"NOT (x)\"}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"wrapper-toggle\": false, \"normal-form-mode\": \"or\", \"complement-all\": [\"eq\"], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"NOT (x)\"}, \"expected\": {\"wrapper-toggle\": false, \"normal-form-mode\": \"or\", \"complement-all\": [\"ne\"], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"NOT (x)\"}, \"passed\": false}, {\"check\": \"contract fixture 9\", \"actual\": {\"wrapper-toggle\": false, \"normal-form-mode\": \"or\", \"complement-all\": [\"eq\", \"regex\"], \"normalizable\": false, \"retain-wrapper\": true, \"negated-caption\": \"NOT (x)\"}, \"expected\": {\"wrapper-toggle\": false, \"normal-form-mode\": \"or\", \"complement-all\": [\"ne\", \"regex\"], \"normalizable\": false, \"retain-wrapper\": true, \"negated-caption\": \"NOT (x)\"}, \"passed\": false}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}