{"abstract":"A user deliberately added to a segment is dropped because an older exclusion list also names them.","category":"Feature flag rollout bucketing","checks":8,"contract":"A user is in the segment if its key is in included (reason included, which beats excluded); else not if its key is in excluded; else if some rule with a non-empty clause list has every clause matching (reason rule:i). A clause [attr, values] matches only when the attribute is present and its value (or any element of a list value) is in values. Otherwise [False, none].","contract_signature":"segment, user","evaluation_group":"w2-feature-flag-rollout-bucketing-segment-membership","failed_approach":"Skipping exclusions whenever an include list exists lets excluded users fall through to rules.","family":"w2-feature-flag-rollout-bucketing-segment-membership-include-over-exclude","id":"FA-73941","implementations":{"attempt":{"sha256":"a2a02b5eef618b51bad828056a785ed778ddca1f634a16d9774f1b2e04dbe91e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(segment, user):\n    key = user.get('key')\n    def hit(clause):\n        attr, values = clause\n        if attr not in user:\n            return False\n        value = user[attr]\n        items = value if isinstance(value, list) else [value]\n        return any(item in values for item in items)\n    if key in segment.get('included', []):\n        return [True, 'included']\n    if not segment.get('included') and key in segment.get('excluded', []):\n        return [False, 'excluded']\n    for i, rule in enumerate(segment.get('rules', [])):\n        clauses = rule.get('clauses', [])\n        if clauses and all(hit(c) for c in clauses):\n            return [True, 'rule:%d' % i]\n    return [False, 'none']\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('explicit inclusion beats exclusion',\n   [{'included': ['k1'], 'excluded': ['k1'], 'rules': []}, {'key': 'k1'}],\n   [True, 'included']),\n  ('exclusion blocks a matching rule',\n   [{'included': ['k2'], 'excluded': ['k1'], 'rules': [{'clauses': [['region', ['eu']]]}]},\n    {'key': 'k1', 'region': 'eu'}],\n   [False, 'excluded']),\n  ('empty clause list never matches',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': []}]}, {'key': 'k3'}],\n   [False, 'none']),\n  ('absent attribute does not match a null value',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['tier', [None, 'gold']]]}]}, {'key': 'k3'}],\n   [False, 'none']),\n  ('absent attribute does not match an empty string value',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['region', ['']]]}]}, {'key': 'k4'}],\n   [False, 'none']),\n  ('segment sample 1',\n   [{'included': ['k3'], 'excluded': ['k2', 'k1'], 'rules': [{'clauses': []}, {'clauses': []}]},\n    {'key': 'k2', 'groups': ['beta'], 'tier': 'gold'}],\n   [False, 'excluded']),\n  ('segment sample 2',\n   [{'included': [], 'excluded': ['k4', 'k1'], 'rules': [{'clauses': [['groups', ['staff', 'gold']]]}]},\n    {'key': 'k4', 'region': 'eu'}],\n   [False, 'excluded']),\n  ('segment sample 3',\n   [{'included': ['k4', 'k3'], 'excluded': ['k4'], 'rules': []}, {'key': 'k3'}],\n   [True, 'included'])],\n [('explicit inclusion beats exclusion',\n   [{'included': ['k1'], 'excluded': ['k1'], 'rules': []}, {'key': 'k1'}],\n   [True, 'included']),\n  ('exclusion blocks a matching rule',\n   [{'included': ['k2'], 'excluded': ['k1'], 'rules': [{'clauses': [['region', ['eu']]]}]},\n    {'key': 'k1', 'region': 'eu'}],\n   [False, 'excluded']),\n  ('empty clause list never matches',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': []}]}, {'key': 'k3'}],\n   [False, 'none']),\n  ('absent attribute does not match a null value',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['tier', [None, 'gold']]]}]}, {'key': 'k3'}],\n   [False, 'none']),\n  ('absent attribute does not match an empty string value',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['region', ['']]]}]}, {'key': 'k4'}],\n   [False, 'none']),\n  ('list attribute matches through any element',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['groups', ['beta']]]}]},\n    {'key': 'k2', 'groups': ['staff', 'beta']}],\n   [True, 'rule:0']),\n  ('segment sample 15',\n   [{'included': ['k3', 'k4'],\n     'excluded': ['k4', 'k1'],\n     'rules': [{'clauses': [['tier', ['gold', '']], ['region', ['eu', 'beta']]]}, {'clauses': []}]},\n    {'key': 'k4', 'groups': ['beta'], 'region': ''}],\n   [True, 'included']),\n  ('segment sample 36',\n   [{'included': ['k1'], 'excluded': ['k2', 'k3'], 'rules': []},\n    {'key': 'k2', 'groups': ['x'], 'tier': None}],\n   [False, 'excluded'])],\n [('empty clause list never matches',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': []}]}, {'key': 'k3'}],\n   [False, 'none']),\n  ('absent attribute does not match a null value',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['tier', [None, 'gold']]]}]}, {'key': 'k3'}],\n   [False, 'none']),\n  ('absent attribute does not match an empty string value',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['region', ['']]]}]}, {'key': 'k4'}],\n   [False, 'none']),\n  ('list attribute matches through any element',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['groups', ['beta']]]}]},\n    {'key': 'k2', 'groups': ['staff', 'beta']}],\n   [True, 'rule:0']),\n  ('empty list attribute is not a member',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['groups', ['beta']]]}]},\n    {'key': 'k2', 'groups': []}],\n   [False, 'none']),\n  ('segment sample 11',\n   [{'included': ['k1'], 'excluded': ['k3'], 'rules': [{'clauses': []}]},\n    {'key': 'k2', 'groups': ['staff', 'eu'], 'tier': 'gold'}],\n   [False, 'none']),\n  ('segment sample 49',\n   [{'included': ['k2', 'k4'], 'excluded': ['k3'], 'rules': []}, {'key': 'k3'}],\n   [False, 'excluded']),\n  ('segment sample 55',\n   [{'included': ['k1', 'k2'], 'excluded': ['k2'], 'rules': [{'clauses': [['tier', ['', 'beta']]]}]},\n    {'key': 'k2', 'groups': ['beta']}],\n   [True, 'included'])],\n [('explicit inclusion beats exclusion',\n   [{'included': ['k1'], 'excluded': ['k1'], 'rules': []}, {'key': 'k1'}],\n   [True, 'included']),\n  ('absent attribute does not match a null value',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['tier', [None, 'gold']]]}]}, {'key': 'k3'}],\n   [False, 'none']),\n  ('absent attribute does not match an empty string value',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['region', ['']]]}]}, {'key': 'k4'}],\n   [False, 'none']),\n  ('list attribute matches through any element',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['groups', ['beta']]]}]},\n    {'key': 'k2', 'groups': ['staff', 'beta']}],\n   [True, 'rule:0']),\n  ('empty list attribute is not a member',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['groups', ['beta']]]}]},\n    {'key': 'k2', 'groups': []}],\n   [False, 'none']),\n  ('all clauses must match',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['region', ['eu']], ['groups', ['beta']]]}]},\n    {'key': 'k1', 'region': 'eu', 'groups': ['x']}],\n   [False, 'none']),\n  ('segment sample 1',\n   [{'included': ['k3'], 'excluded': ['k2', 'k1'], 'rules': [{'clauses': []}, {'clauses': []}]},\n    {'key': 'k2', 'groups': ['beta'], 'tier': 'gold'}],\n   [False, 'excluded']),\n  ('segment sample 16',\n   [{'included': ['k3', 'k1'], 'excluded': [], 'rules': [{'clauses': [['groups', ['gold', 'staff']]]}]},\n    {'key': 'k2', 'groups': ['beta', 'staff'], 'region': 'eu'}],\n   [True, 'rule:0'])],\n [('absent attribute does not match an empty string value',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['region', ['']]]}]}, {'key': 'k4'}],\n   [False, 'none']),\n  ('list attribute matches through any element',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['groups', ['beta']]]}]},\n    {'key': 'k2', 'groups': ['staff', 'beta']}],\n   [True, 'rule:0']),\n  ('empty list attribute is not a member',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['groups', ['beta']]]}]},\n    {'key': 'k2', 'groups': []}],\n   [False, 'none']),\n  ('all clauses must match',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['region', ['eu']], ['groups', ['beta']]]}]},\n    {'key': 'k1', 'region': 'eu', 'groups': ['x']}],\n   [False, 'none']),\n  ('second rule index',\n   [{'included': [],\n     'excluded': [],\n     'rules': [{'clauses': [['region', ['us']]]}, {'clauses': [['region', ['eu']]]}]},\n    {'key': 'k1', 'region': 'eu'}],\n   [True, 'rule:1']),\n  ('segment sample 15',\n   [{'included': ['k3', 'k4'],\n     'excluded': ['k4', 'k1'],\n     'rules': [{'clauses': [['tier', ['gold', '']], ['region', ['eu', 'beta']]]}, {'clauses': []}]},\n    {'key': 'k4', 'groups': ['beta'], 'region': ''}],\n   [True, 'included']),\n  ('segment sample 21',\n   [{'included': ['k3'], 'excluded': [], 'rules': []}, {'key': 'k9', 'groups': 'beta'}],\n   [False, 'none']),\n  ('segment sample 39',\n   [{'included': ['k2'], 'excluded': ['k4', 'k1'], 'rules': [{'clauses': [['region', ['eu', 'staff']]]}]},\n    {'key': 'k4', 'groups': ['beta']}],\n   [False, 'excluded'])]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, solve(*args), 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":"4b5e0fcd972939099b9471827550b812c2de55d2226c1abf4ab8420ad7b911c5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(segment, user):\n    key = user.get('key')\n    def hit(clause):\n        attr, values = clause\n        if attr not in user:\n            return False\n        value = user[attr]\n        items = value if isinstance(value, list) else [value]\n        return any(item in values for item in items)\n    if key in segment.get('excluded', []):\n        return [False, 'excluded']\n    if key in segment.get('included', []):\n        return [True, 'included']\n    for i, rule in enumerate(segment.get('rules', [])):\n        clauses = rule.get('clauses', [])\n        if clauses and all(hit(c) for c in clauses):\n            return [True, 'rule:%d' % i]\n    return [False, 'none']\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('explicit inclusion beats exclusion',\n   [{'included': ['k1'], 'excluded': ['k1'], 'rules': []}, {'key': 'k1'}],\n   [True, 'included']),\n  ('exclusion blocks a matching rule',\n   [{'included': ['k2'], 'excluded': ['k1'], 'rules': [{'clauses': [['region', ['eu']]]}]},\n    {'key': 'k1', 'region': 'eu'}],\n   [False, 'excluded']),\n  ('empty clause list never matches',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': []}]}, {'key': 'k3'}],\n   [False, 'none']),\n  ('absent attribute does not match a null value',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['tier', [None, 'gold']]]}]}, {'key': 'k3'}],\n   [False, 'none']),\n  ('absent attribute does not match an empty string value',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['region', ['']]]}]}, {'key': 'k4'}],\n   [False, 'none']),\n  ('segment sample 1',\n   [{'included': ['k3'], 'excluded': ['k2', 'k1'], 'rules': [{'clauses': []}, {'clauses': []}]},\n    {'key': 'k2', 'groups': ['beta'], 'tier': 'gold'}],\n   [False, 'excluded']),\n  ('segment sample 2',\n   [{'included': [], 'excluded': ['k4', 'k1'], 'rules': [{'clauses': [['groups', ['staff', 'gold']]]}]},\n    {'key': 'k4', 'region': 'eu'}],\n   [False, 'excluded']),\n  ('segment sample 3',\n   [{'included': ['k4', 'k3'], 'excluded': ['k4'], 'rules': []}, {'key': 'k3'}],\n   [True, 'included'])],\n [('explicit inclusion beats exclusion',\n   [{'included': ['k1'], 'excluded': ['k1'], 'rules': []}, {'key': 'k1'}],\n   [True, 'included']),\n  ('exclusion blocks a matching rule',\n   [{'included': ['k2'], 'excluded': ['k1'], 'rules': [{'clauses': [['region', ['eu']]]}]},\n    {'key': 'k1', 'region': 'eu'}],\n   [False, 'excluded']),\n  ('empty clause list never matches',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': []}]}, {'key': 'k3'}],\n   [False, 'none']),\n  ('absent attribute does not match a null value',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['tier', [None, 'gold']]]}]}, {'key': 'k3'}],\n   [False, 'none']),\n  ('absent attribute does not match an empty string value',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['region', ['']]]}]}, {'key': 'k4'}],\n   [False, 'none']),\n  ('list attribute matches through any element',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['groups', ['beta']]]}]},\n    {'key': 'k2', 'groups': ['staff', 'beta']}],\n   [True, 'rule:0']),\n  ('segment sample 15',\n   [{'included': ['k3', 'k4'],\n     'excluded': ['k4', 'k1'],\n     'rules': [{'clauses': [['tier', ['gold', '']], ['region', ['eu', 'beta']]]}, {'clauses': []}]},\n    {'key': 'k4', 'groups': ['beta'], 'region': ''}],\n   [True, 'included']),\n  ('segment sample 36',\n   [{'included': ['k1'], 'excluded': ['k2', 'k3'], 'rules': []},\n    {'key': 'k2', 'groups': ['x'], 'tier': None}],\n   [False, 'excluded'])],\n [('empty clause list never matches',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': []}]}, {'key': 'k3'}],\n   [False, 'none']),\n  ('absent attribute does not match a null value',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['tier', [None, 'gold']]]}]}, {'key': 'k3'}],\n   [False, 'none']),\n  ('absent attribute does not match an empty string value',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['region', ['']]]}]}, {'key': 'k4'}],\n   [False, 'none']),\n  ('list attribute matches through any element',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['groups', ['beta']]]}]},\n    {'key': 'k2', 'groups': ['staff', 'beta']}],\n   [True, 'rule:0']),\n  ('empty list attribute is not a member',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['groups', ['beta']]]}]},\n    {'key': 'k2', 'groups': []}],\n   [False, 'none']),\n  ('segment sample 11',\n   [{'included': ['k1'], 'excluded': ['k3'], 'rules': [{'clauses': []}]},\n    {'key': 'k2', 'groups': ['staff', 'eu'], 'tier': 'gold'}],\n   [False, 'none']),\n  ('segment sample 49',\n   [{'included': ['k2', 'k4'], 'excluded': ['k3'], 'rules': []}, {'key': 'k3'}],\n   [False, 'excluded']),\n  ('segment sample 55',\n   [{'included': ['k1', 'k2'], 'excluded': ['k2'], 'rules': [{'clauses': [['tier', ['', 'beta']]]}]},\n    {'key': 'k2', 'groups': ['beta']}],\n   [True, 'included'])],\n [('explicit inclusion beats exclusion',\n   [{'included': ['k1'], 'excluded': ['k1'], 'rules': []}, {'key': 'k1'}],\n   [True, 'included']),\n  ('absent attribute does not match a null value',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['tier', [None, 'gold']]]}]}, {'key': 'k3'}],\n   [False, 'none']),\n  ('absent attribute does not match an empty string value',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['region', ['']]]}]}, {'key': 'k4'}],\n   [False, 'none']),\n  ('list attribute matches through any element',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['groups', ['beta']]]}]},\n    {'key': 'k2', 'groups': ['staff', 'beta']}],\n   [True, 'rule:0']),\n  ('empty list attribute is not a member',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['groups', ['beta']]]}]},\n    {'key': 'k2', 'groups': []}],\n   [False, 'none']),\n  ('all clauses must match',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['region', ['eu']], ['groups', ['beta']]]}]},\n    {'key': 'k1', 'region': 'eu', 'groups': ['x']}],\n   [False, 'none']),\n  ('segment sample 1',\n   [{'included': ['k3'], 'excluded': ['k2', 'k1'], 'rules': [{'clauses': []}, {'clauses': []}]},\n    {'key': 'k2', 'groups': ['beta'], 'tier': 'gold'}],\n   [False, 'excluded']),\n  ('segment sample 16',\n   [{'included': ['k3', 'k1'], 'excluded': [], 'rules': [{'clauses': [['groups', ['gold', 'staff']]]}]},\n    {'key': 'k2', 'groups': ['beta', 'staff'], 'region': 'eu'}],\n   [True, 'rule:0'])],\n [('absent attribute does not match an empty string value',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['region', ['']]]}]}, {'key': 'k4'}],\n   [False, 'none']),\n  ('list attribute matches through any element',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['groups', ['beta']]]}]},\n    {'key': 'k2', 'groups': ['staff', 'beta']}],\n   [True, 'rule:0']),\n  ('empty list attribute is not a member',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['groups', ['beta']]]}]},\n    {'key': 'k2', 'groups': []}],\n   [False, 'none']),\n  ('all clauses must match',\n   [{'included': [], 'excluded': [], 'rules': [{'clauses': [['region', ['eu']], ['groups', ['beta']]]}]},\n    {'key': 'k1', 'region': 'eu', 'groups': ['x']}],\n   [False, 'none']),\n  ('second rule index',\n   [{'included': [],\n     'excluded': [],\n     'rules': [{'clauses': [['region', ['us']]]}, {'clauses': [['region', ['eu']]]}]},\n    {'key': 'k1', 'region': 'eu'}],\n   [True, 'rule:1']),\n  ('segment sample 15',\n   [{'included': ['k3', 'k4'],\n     'excluded': ['k4', 'k1'],\n     'rules': [{'clauses': [['tier', ['gold', '']], ['region', ['eu', 'beta']]]}, {'clauses': []}]},\n    {'key': 'k4', 'groups': ['beta'], 'region': ''}],\n   [True, 'included']),\n  ('segment sample 21',\n   [{'included': ['k3'], 'excluded': [], 'rules': []}, {'key': 'k9', 'groups': 'beta'}],\n   [False, 'none']),\n  ('segment sample 39',\n   [{'included': ['k2'], 'excluded': ['k4', 'k1'], 'rules': [{'clauses': [['region', ['eu', 'staff']]]}]},\n    {'key': 'k4', 'groups': ['beta']}],\n   [False, 'excluded'])]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, solve(*args), 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":"A deterministic toy flag-evaluation model with a stipulated contract; it does not reproduce any vendor SDK byte for byte. 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":"w2-feature-flag-rollout-bucketing-segment-membership-include-over-exclude","generated_at":"2026-09-29T14:48:52.057991+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Segments are reused across many flags, so a precedence slip changes exposure everywhere at once.","root_cause":"The excluded-key check runs before the included-key check.","sha256":"16cf3b0cda3a5a5006cfa7926639907248f41bc4b07424f1fd0d95d70f449550","title":"Segment membership precedence: Exclusion overrides explicit inclusion · 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":39.936,"exit_code":1,"observations":[{"actual":[true,"included"],"check":"explicit inclusion beats exclusion","expected":[true,"included"],"passed":true},{"actual":[true,"rule:0"],"check":"exclusion blocks a matching rule","expected":[false,"excluded"],"passed":false},{"actual":[false,"none"],"check":"empty clause list never matches","expected":[false,"none"],"passed":true},{"actual":[false,"none"],"check":"absent attribute does not match a null value","expected":[false,"none"],"passed":true},{"actual":[false,"none"],"check":"absent attribute does not match an empty string value","expected":[false,"none"],"passed":true},{"actual":[false,"none"],"check":"segment sample 1","expected":[false,"excluded"],"passed":false},{"actual":[false,"excluded"],"check":"segment sample 2","expected":[false,"excluded"],"passed":true},{"actual":[true,"included"],"check":"segment sample 3","expected":[true,"included"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit inclusion beats exclusion\", \"actual\": [true, \"included\"], \"expected\": [true, \"included\"], \"passed\": true}, {\"check\": \"exclusion blocks a matching rule\", \"actual\": [true, \"rule:0\"], \"expected\": [false, \"excluded\"], \"passed\": false}, {\"check\": \"empty clause list never matches\", \"actual\": [false, \"none\"], \"expected\": [false, \"none\"], \"passed\": true}, {\"check\": \"absent attribute does not match a null value\", \"actual\": [false, \"none\"], \"expected\": [false, \"none\"], \"passed\": true}, {\"check\": \"absent attribute does not match an empty string value\", \"actual\": [false, \"none\"], \"expected\": [false, \"none\"], \"passed\": true}, {\"check\": \"segment sample 1\", \"actual\": [false, \"none\"], \"expected\": [false, \"excluded\"], \"passed\": false}, {\"check\": \"segment sample 2\", \"actual\": [false, \"excluded\"], \"expected\": [false, \"excluded\"], \"passed\": true}, {\"check\": \"segment sample 3\", \"actual\": [true, \"included\"], \"expected\": [true, \"included\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.272,"exit_code":1,"observations":[{"actual":[false,"excluded"],"check":"explicit inclusion beats exclusion","expected":[true,"included"],"passed":false},{"actual":[false,"excluded"],"check":"exclusion blocks a matching rule","expected":[false,"excluded"],"passed":true},{"actual":[false,"none"],"check":"empty clause list never matches","expected":[false,"none"],"passed":true},{"actual":[false,"none"],"check":"absent attribute does not match a null value","expected":[false,"none"],"passed":true},{"actual":[false,"none"],"check":"absent attribute does not match an empty string value","expected":[false,"none"],"passed":true},{"actual":[false,"excluded"],"check":"segment sample 1","expected":[false,"excluded"],"passed":true},{"actual":[false,"excluded"],"check":"segment sample 2","expected":[false,"excluded"],"passed":true},{"actual":[true,"included"],"check":"segment sample 3","expected":[true,"included"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit inclusion beats exclusion\", \"actual\": [false, \"excluded\"], \"expected\": [true, \"included\"], \"passed\": false}, {\"check\": \"exclusion blocks a matching rule\", \"actual\": [false, \"excluded\"], \"expected\": [false, \"excluded\"], \"passed\": true}, {\"check\": \"empty clause list never matches\", \"actual\": [false, \"none\"], \"expected\": [false, \"none\"], \"passed\": true}, {\"check\": \"absent attribute does not match a null value\", \"actual\": [false, \"none\"], \"expected\": [false, \"none\"], \"passed\": true}, {\"check\": \"absent attribute does not match an empty string value\", \"actual\": [false, \"none\"], \"expected\": [false, \"none\"], \"passed\": true}, {\"check\": \"segment sample 1\", \"actual\": [false, \"excluded\"], \"expected\": [false, \"excluded\"], \"passed\": true}, {\"check\": \"segment sample 2\", \"actual\": [false, \"excluded\"], \"expected\": [false, \"excluded\"], \"passed\": true}, {\"check\": \"segment sample 3\", \"actual\": [true, \"included\"], \"expected\": [true, \"included\"], \"passed\": true}], \"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."}}