FAILURE MAP
← Case archive

FA-25631 / Filter interfaces / Open access

Same-field user constraints do not overwrite enforced scope operands · case 01

Same-field user constraints do not overwrite enforced scope operands is violated by the widget projection.

Verified by executionVariant 1 · 10 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The effective-conjunction decision uses `list({x['field']:x['value'] for x in d['rows']}.values())` instead of the stipulated mandatory-scope projection.

VERIFIED REPAIR

Implement the declared effective-conjunction projection: `[x['value'] for x in d['rows']]`.

Unsuccessful approach: The attempted correction `[x['value'] for x in d['rows'] if not x['system']]` still violates the explicit contract fixtures.

Case contract

System-enforced filter constraints are immutable and survive user resets; user and system operands with the same field remain separate conjuncts. This example checks: Same-field user constraints do not overwrite enforced scope operands.

Why this case matters

Filter-widget state and serialization must preserve user constraints while the view changes.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    return {'reset-survivors':([x for x in d['rows'] if x['system']]), 'removal-control':(not d['system']), 'effective-conjunction':(list({x['field']:x['value'] for x in d['rows']}.values())), 'export-user':([x for x in d['rows'] if not x['system']]), 'system-badge':('required' if d['system'] else ''), 'user-count':(sum(not x['system'] for x in d['rows']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0}), ({'rows': [], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0}), ({'rows': [], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0}), ({'rows': [], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0})], 2: [({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0}), ({'rows': [], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1})], 3: [({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0}), ({'rows': [], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0}), ({'rows': [], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0}), ({'rows': [], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2})], 4: [({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0}), ({'rows': [], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0})], 5: [({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0}), ({'rows': [], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0}), ({'rows': [], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0}), ({'rows': [], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1})]}
for index, (data, expected) in enumerate(fixtures[N]):
    check("contract fixture " + str(index), solve(data), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
contract fixture 0{'effective-conjunction': [3], 'export-user': [{'field': 'a', 'system': False, 'value': 2}, {'field': 'a', 'system': False, 'value': 3}], 'removal-control': True, 'reset-survivors': [{'field': 'a', 'system': True, 'value': 1}], 'system-badge': '', 'user-count': 2}{'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'system': False, 'value': 2}, {'field': 'a', 'system': False, 'value': 3}], 'removal-control': True, 'reset-survivors': [{'field': 'a', 'system': True, 'value': 1}], 'system-badge': '', 'user-count': 2}Failed
contract fixture 1{'effective-conjunction': [3], 'export-user': [{'field': 'a', 'system': False, 'value': 2}, {'field': 'a', 'system': False, 'value': 3}], 'removal-control': False, 'reset-survivors': [{'field': 'a', 'system': True, 'value': 1}], 'system-badge': 'required', 'user-count': 2}{'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'system': False, 'value': 2}, {'field': 'a', 'system': False, 'value': 3}], 'removal-control': False, 'reset-survivors': [{'field': 'a', 'system': True, 'value': 1}], 'system-badge': 'required', 'user-count': 2}Failed
contract fixture 2{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 1}{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 1}Passed
contract fixture 3{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 1}{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 1}Passed
contract fixture 4{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 1}{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 1}Passed
contract fixture 5{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 1}{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 1}Passed
contract fixture 6{'effective-conjunction': [], 'export-user': [], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 0}{'effective-conjunction': [], 'export-user': [], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 0}Passed
contract fixture 7{'effective-conjunction': [], 'export-user': [], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 0}{'effective-conjunction': [], 'export-user': [], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 0}Passed
contract fixture 8{'effective-conjunction': [], 'export-user': [], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 0}{'effective-conjunction': [], 'export-user': [], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 0}Passed
contract fixture 9{'effective-conjunction': [], 'export-user': [], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 0}{'effective-conjunction': [], 'export-user': [], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 0}Passed

SHA-256 / 18298d5a439224b11bd20f7b4468e8daff00cb0f29c7501c0926ec326d7ff954

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    return {'reset-survivors':([x for x in d['rows'] if x['system']]), 'removal-control':(not d['system']), 'effective-conjunction':([x['value'] for x in d['rows'] if not x['system']]), 'export-user':([x for x in d['rows'] if not x['system']]), 'system-badge':('required' if d['system'] else ''), 'user-count':(sum(not x['system'] for x in d['rows']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0}), ({'rows': [], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0}), ({'rows': [], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0}), ({'rows': [], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0})], 2: [({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0}), ({'rows': [], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1})], 3: [({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0}), ({'rows': [], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0}), ({'rows': [], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0}), ({'rows': [], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2})], 4: [({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0}), ({'rows': [], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0})], 5: [({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0}), ({'rows': [], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0}), ({'rows': [], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0}), ({'rows': [], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1})]}
for index, (data, expected) in enumerate(fixtures[N]):
    check("contract fixture " + str(index), solve(data), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
contract fixture 0{'effective-conjunction': [2, 3], 'export-user': [{'field': 'a', 'system': False, 'value': 2}, {'field': 'a', 'system': False, 'value': 3}], 'removal-control': True, 'reset-survivors': [{'field': 'a', 'system': True, 'value': 1}], 'system-badge': '', 'user-count': 2}{'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'system': False, 'value': 2}, {'field': 'a', 'system': False, 'value': 3}], 'removal-control': True, 'reset-survivors': [{'field': 'a', 'system': True, 'value': 1}], 'system-badge': '', 'user-count': 2}Failed
contract fixture 1{'effective-conjunction': [2, 3], 'export-user': [{'field': 'a', 'system': False, 'value': 2}, {'field': 'a', 'system': False, 'value': 3}], 'removal-control': False, 'reset-survivors': [{'field': 'a', 'system': True, 'value': 1}], 'system-badge': 'required', 'user-count': 2}{'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'system': False, 'value': 2}, {'field': 'a', 'system': False, 'value': 3}], 'removal-control': False, 'reset-survivors': [{'field': 'a', 'system': True, 'value': 1}], 'system-badge': 'required', 'user-count': 2}Failed
contract fixture 2{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 1}{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 1}Passed
contract fixture 3{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 1}{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 1}Passed
contract fixture 4{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 1}{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 1}Passed
contract fixture 5{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 1}{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 1}Passed
contract fixture 6{'effective-conjunction': [], 'export-user': [], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 0}{'effective-conjunction': [], 'export-user': [], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 0}Passed
contract fixture 7{'effective-conjunction': [], 'export-user': [], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 0}{'effective-conjunction': [], 'export-user': [], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 0}Passed
contract fixture 8{'effective-conjunction': [], 'export-user': [], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 0}{'effective-conjunction': [], 'export-user': [], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 0}Passed
contract fixture 9{'effective-conjunction': [], 'export-user': [], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 0}{'effective-conjunction': [], 'export-user': [], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 0}Passed

SHA-256 / 19a891e8b13be5221153643220d53f5f600bb4d528fa5a2b2e90e0764615ce79

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    return {'reset-survivors':([x for x in d['rows'] if x['system']]), 'removal-control':(not d['system']), 'effective-conjunction':([x['value'] for x in d['rows']]), 'export-user':([x for x in d['rows'] if not x['system']]), 'system-badge':('required' if d['system'] else ''), 'user-count':(sum(not x['system'] for x in d['rows']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0}), ({'rows': [], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0}), ({'rows': [], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0}), ({'rows': [], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0})], 2: [({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0}), ({'rows': [], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1})], 3: [({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0}), ({'rows': [], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0}), ({'rows': [], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0}), ({'rows': [], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2})], 4: [({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0}), ({'rows': [], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0})], 5: [({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': 'required', 'user-count': 1}), ({'rows': [], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0}), ({'rows': [], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [], 'export-user': [], 'system-badge': '', 'user-count': 0}), ({'rows': [], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0}), ({'rows': [], 'system': True, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': False, 'effective-conjunction': [], 'export-user': [], 'system-badge': 'required', 'user-count': 0}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': False, 'field': 'b', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': True, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': '', 'user-count': 2}), ({'rows': [{'field': 'a', 'value': 1, 'system': True}, {'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system': True, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [{'field': 'a', 'value': 1, 'system': True}], 'removal-control': False, 'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'value': 2, 'system': False}, {'field': 'a', 'value': 3, 'system': False}], 'system-badge': 'required', 'user-count': 2}), ({'rows': [{'field': 'b', 'value': 4, 'system': False}], 'system': False, 'field': 'a', 'protected': ['a']}, {'reset-survivors': [], 'removal-control': True, 'effective-conjunction': [4], 'export-user': [{'field': 'b', 'value': 4, 'system': False}], 'system-badge': '', 'user-count': 1})]}
for index, (data, expected) in enumerate(fixtures[N]):
    check("contract fixture " + str(index), solve(data), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
contract fixture 0{'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'system': False, 'value': 2}, {'field': 'a', 'system': False, 'value': 3}], 'removal-control': True, 'reset-survivors': [{'field': 'a', 'system': True, 'value': 1}], 'system-badge': '', 'user-count': 2}{'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'system': False, 'value': 2}, {'field': 'a', 'system': False, 'value': 3}], 'removal-control': True, 'reset-survivors': [{'field': 'a', 'system': True, 'value': 1}], 'system-badge': '', 'user-count': 2}Passed
contract fixture 1{'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'system': False, 'value': 2}, {'field': 'a', 'system': False, 'value': 3}], 'removal-control': False, 'reset-survivors': [{'field': 'a', 'system': True, 'value': 1}], 'system-badge': 'required', 'user-count': 2}{'effective-conjunction': [1, 2, 3], 'export-user': [{'field': 'a', 'system': False, 'value': 2}, {'field': 'a', 'system': False, 'value': 3}], 'removal-control': False, 'reset-survivors': [{'field': 'a', 'system': True, 'value': 1}], 'system-badge': 'required', 'user-count': 2}Passed
contract fixture 2{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 1}{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 1}Passed
contract fixture 3{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 1}{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 1}Passed
contract fixture 4{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 1}{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 1}Passed
contract fixture 5{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 1}{'effective-conjunction': [4], 'export-user': [{'field': 'b', 'system': False, 'value': 4}], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 1}Passed
contract fixture 6{'effective-conjunction': [], 'export-user': [], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 0}{'effective-conjunction': [], 'export-user': [], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 0}Passed
contract fixture 7{'effective-conjunction': [], 'export-user': [], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 0}{'effective-conjunction': [], 'export-user': [], 'removal-control': True, 'reset-survivors': [], 'system-badge': '', 'user-count': 0}Passed
contract fixture 8{'effective-conjunction': [], 'export-user': [], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 0}{'effective-conjunction': [], 'export-user': [], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 0}Passed
contract fixture 9{'effective-conjunction': [], 'export-user': [], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 0}{'effective-conjunction': [], 'export-user': [], 'removal-control': False, 'reset-survivors': [], 'system-badge': 'required', 'user-count': 0}Passed

SHA-256 / 3037811782f248f926215c54d95e3a0ffdccbd55b2a21b33eeac7a2ace8655c1

Verification & scope

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.

Observations recorded using Python 3.12.14 at 2026-09-29T14:41:08.413849+00:00.

Case digest / 9f98d92b7cffce5def97909ae2852e4f03796fce4bd73ed7246e98d8062ba4a8