{"abstract":"Normalizing a negated filter group flips its connective only when negated 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: Normalizing a negated filter group flips its connective only when negated.","contract_signature":"d","evaluation_group":"s3-filter-interfaces-group-negation-editor","failed_approach":"The attempted correction `'or' if d['mode']=='and' else 'and'` still violates the explicit contract fixtures.","family":"s3-filter-interfaces-group-negation-editor-normal-form-mode","id":"FA-26136","implementations":{"attempt":{"sha256":"537a1aff372aa65ce76916a1a0dfda4e991992a74e67e6b8eda0a735d6fe5743","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'), 'complement-all':([d['complements'].get(x,x) for x in d['ops']] if d['negated'] else 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': [], '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': 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': ['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': [], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (x)'}), ({'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': ['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'], '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': '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': 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'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['eq'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'x'})], 4: [({'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': 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'], 'caption': 'a AND b'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['eq'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'a AND b'})], 5: [({'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': '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': 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': ['eq', 'regex'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['eq', '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":"7dd5803aae09f86ad0329f55ba11ffbf61688e086f3b235b3d2f1618bcb253ce","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':(d['mode']), 'complement-all':([d['complements'].get(x,x) for x in d['ops']] if d['negated'] else 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': [], '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': 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': ['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': [], 'caption': 'x'}, {'wrapper-toggle': False, 'normal-form-mode': 'or', 'complement-all': [], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'NOT (x)'}), ({'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': ['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'], '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': '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': 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'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'and', 'complement-all': ['eq'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'x'})], 4: [({'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': 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'], 'caption': 'a AND b'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['eq'], 'normalizable': True, 'retain-wrapper': False, 'negated-caption': 'a AND b'})], 5: [({'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': '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': 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': ['eq', 'regex'], 'caption': 'x'}, {'wrapper-toggle': True, 'normal-form-mode': 'or', 'complement-all': ['eq', '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-normal-form-mode","generated_at":"2026-09-29T14:41:13.339221+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 normal-form-mode decision uses `d['mode']` instead of the stipulated group-negation-editor projection.","sha256":"427c6b9d40c2aeb6b36f35143ec99ee19ace1878b6dcaf08835a9ce05cedd6aa","title":"Normalizing a negated filter group flips its connective only when negated · 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":43.948,"exit_code":1,"observations":[{"actual":{"complement-all":[],"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":[],"negated-caption":"NOT (a AND b)","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":false},"passed":true},{"actual":{"complement-all":["eq"],"negated-caption":"x","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":true},"check":"contract fixture 1","expected":{"complement-all":["eq"],"negated-caption":"x","normal-form-mode":"and","normalizable":true,"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 2","expected":{"complement-all":["regex"],"negated-caption":"x","normal-form-mode":"and","normalizable":false,"retain-wrapper":false,"wrapper-toggle":true},"passed":false},{"actual":{"complement-all":[],"negated-caption":"x","normal-form-mode":"and","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":false},{"actual":{"complement-all":["eq"],"negated-caption":"x","normal-form-mode":"and","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":["eq","regex"],"negated-caption":"x","normal-form-mode":"and","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":"and","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":false},{"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\": [], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"NOT (a AND b)\"}, \"expected\": {\"wrapper-toggle\": false, \"normal-form-mode\": \"or\", \"complement-all\": [], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"NOT (a AND b)\"}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"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\": \"and\", \"complement-all\": [\"eq\"], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"passed\": false}, {\"check\": \"contract fixture 2\", \"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\": \"and\", \"complement-all\": [\"regex\"], \"normalizable\": false, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"passed\": false}, {\"check\": \"contract fixture 3\", \"actual\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"and\", \"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\": false}, {\"check\": \"contract fixture 4\", \"actual\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"and\", \"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\": false}, {\"check\": \"contract fixture 5\", \"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\": \"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\": \"and\", \"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\": false}, {\"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":38.061,"exit_code":1,"observations":[{"actual":{"complement-all":[],"negated-caption":"NOT (a AND b)","normal-form-mode":"and","normalizable":true,"retain-wrapper":false,"wrapper-toggle":false},"check":"contract fixture 0","expected":{"complement-all":[],"negated-caption":"NOT (a AND b)","normal-form-mode":"or","normalizable":true,"retain-wrapper":false,"wrapper-toggle":false},"passed":false},{"actual":{"complement-all":["eq"],"negated-caption":"x","normal-form-mode":"and","normalizable":true,"retain-wrapper":false,"wrapper-toggle":true},"check":"contract fixture 1","expected":{"complement-all":["eq"],"negated-caption":"x","normal-form-mode":"and","normalizable":true,"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":"and","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":false},{"actual":{"complement-all":["ne"],"negated-caption":"NOT (x)","normal-form-mode":"and","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":["ne","regex"],"negated-caption":"NOT (x)","normal-form-mode":"and","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\": \"and\", \"complement-all\": [], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"NOT (a AND b)\"}, \"expected\": {\"wrapper-toggle\": false, \"normal-form-mode\": \"or\", \"complement-all\": [], \"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\"], \"normalizable\": true, \"retain-wrapper\": false, \"negated-caption\": \"x\"}, \"expected\": {\"wrapper-toggle\": true, \"normal-form-mode\": \"and\", \"complement-all\": [\"eq\"], \"normalizable\": true, \"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\": \"and\", \"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\": false}, {\"check\": \"contract fixture 8\", \"actual\": {\"wrapper-toggle\": false, \"normal-form-mode\": \"and\", \"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\": false}, {\"check\": \"contract fixture 9\", \"actual\": {\"wrapper-toggle\": false, \"normal-form-mode\": \"and\", \"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\": 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."}}