FA-25606 / Filter interfaces / Open access

Mandatory and locked criteria both reject disable toggles · case 01

Mandatory and locked criteria both reject disable toggles is violated by the widget projection.

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

ROOT CAUSE

The toggle-permission decision uses `not d['locked']` instead of the stipulated disabled-criterion projection.

VERIFIED REPAIR

Implement the declared toggle-permission projection: `not d['locked'] and not d['mandatory']`.

Unsuccessful approach: The attempted correction `not d['mandatory']` still violates the explicit contract fixtures.

Case contract

A disabled filter criterion remains editable and serialized in saved configuration but is omitted from the active query projection; locked criteria differ from disabled ones. This example checks: Mandatory and locked criteria both reject disable toggles.

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 {'active-projection':(d['operand'] if d['enabled'] else None), 'saved-projection':({'operand':d['operand'],'enabled':d['enabled']}), 'edit-permission':(not d['locked']), 'toggle-permission':(not d['locked']), 'strike-caption':(not d['enabled']), 'invalid-active':(d['enabled'] and not d['valid'])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'operand': 0, 'enabled': False, 'locked': False, 'mandatory': True, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': True, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': False, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': True, 'mandatory': True, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': False, 'mandatory': False, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': True, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False})], 2: [({'operand': 0, 'enabled': False, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': True, 'mandatory': False, 'valid': False}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True}), ({'operand': 0, 'enabled': True, 'locked': True, 'mandatory': True, 'valid': False}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True}), ({'operand': 'x', 'enabled': False, 'locked': False, 'mandatory': False, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': False, 'mandatory': True, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': True, 'mandatory': False, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': True, 'mandatory': True, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': False, 'mandatory': False, 'valid': False}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': False, 'invalid-active': True}), ({'operand': 'x', 'enabled': True, 'locked': False, 'mandatory': True, 'valid': False}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True}), ({'operand': 'x', 'enabled': True, 'locked': True, 'mandatory': True, 'valid': False}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True})], 3: [({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': True, 'valid': False}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True}), ({'operand': 0, 'enabled': False, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': True, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': False, 'mandatory': False, 'valid': True}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': False, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': True, 'mandatory': True, 'valid': True}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': False, 'mandatory': False, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False})], 4: [({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': True, 'mandatory': False, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': True, 'mandatory': False, 'valid': False}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True}), ({'operand': 'x', 'enabled': True, 'locked': True, 'mandatory': True, 'valid': False}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True}), ({'operand': 0, 'enabled': False, 'locked': False, 'mandatory': False, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': False, 'mandatory': True, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': True, 'mandatory': False, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': True, 'mandatory': True, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': False, 'valid': False}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': False, 'invalid-active': True}), ({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': True, 'valid': False}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True})], 5: [({'operand': 'x', 'enabled': False, 'locked': False, 'mandatory': True, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': True, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': False, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': True, 'mandatory': True, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': False, 'mandatory': False, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': True, 'invalid-active': False})]}
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 fixture	Actual	Expected	Outcome
contract fixture 0	`{'active-projection': None, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 0}, 'strike-caption': True, 'toggle-permission': True}`	`{'active-projection': None, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 0}, 'strike-caption': True, 'toggle-permission': False}`	Failed
contract fixture 1	`{'active-projection': 0, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': False}`	`{'active-projection': 0, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': False}`	Passed
contract fixture 2	`{'active-projection': None, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 0}, 'strike-caption': True, 'toggle-permission': False}`	`{'active-projection': None, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 0}, 'strike-caption': True, 'toggle-permission': False}`	Passed
contract fixture 3	`{'active-projection': 0, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': True}`	`{'active-projection': 0, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': True}`	Passed
contract fixture 4	`{'active-projection': 0, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': True}`	`{'active-projection': 0, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': False}`	Failed
contract fixture 5	`{'active-projection': 0, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': False}`	`{'active-projection': 0, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': False}`	Passed
contract fixture 6	`{'active-projection': None, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': True}`	`{'active-projection': None, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': True}`	Passed
contract fixture 7	`{'active-projection': None, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': True}`	`{'active-projection': None, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': False}`	Failed
contract fixture 8	`{'active-projection': None, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': False}`	`{'active-projection': None, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': False}`	Passed
contract fixture 9	`{'active-projection': None, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': False}`	`{'active-projection': None, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': False}`	Passed

SHA-256 / 0f93b58f3fc241628debd25aa59f64be887694d966392273c53074e45d5a8c81

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(d):
    return {'active-projection':(d['operand'] if d['enabled'] else None), 'saved-projection':({'operand':d['operand'],'enabled':d['enabled']}), 'edit-permission':(not d['locked']), 'toggle-permission':(not d['mandatory']), 'strike-caption':(not d['enabled']), 'invalid-active':(d['enabled'] and not d['valid'])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'operand': 0, 'enabled': False, 'locked': False, 'mandatory': True, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': True, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': False, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': True, 'mandatory': True, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': False, 'mandatory': False, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': True, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False})], 2: [({'operand': 0, 'enabled': False, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': True, 'mandatory': False, 'valid': False}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True}), ({'operand': 0, 'enabled': True, 'locked': True, 'mandatory': True, 'valid': False}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True}), ({'operand': 'x', 'enabled': False, 'locked': False, 'mandatory': False, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': False, 'mandatory': True, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': True, 'mandatory': False, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': True, 'mandatory': True, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': False, 'mandatory': False, 'valid': False}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': False, 'invalid-active': True}), ({'operand': 'x', 'enabled': True, 'locked': False, 'mandatory': True, 'valid': False}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True}), ({'operand': 'x', 'enabled': True, 'locked': True, 'mandatory': True, 'valid': False}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True})], 3: [({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': True, 'valid': False}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True}), ({'operand': 0, 'enabled': False, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': True, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': False, 'mandatory': False, 'valid': True}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': False, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': True, 'mandatory': True, 'valid': True}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': False, 'mandatory': False, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False})], 4: [({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': True, 'mandatory': False, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': True, 'mandatory': False, 'valid': False}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True}), ({'operand': 'x', 'enabled': True, 'locked': True, 'mandatory': True, 'valid': False}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True}), ({'operand': 0, 'enabled': False, 'locked': False, 'mandatory': False, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': False, 'mandatory': True, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': True, 'mandatory': False, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': True, 'mandatory': True, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': False, 'valid': False}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': False, 'invalid-active': True}), ({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': True, 'valid': False}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True})], 5: [({'operand': 'x', 'enabled': False, 'locked': False, 'mandatory': True, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': True, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': False, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': True, 'mandatory': True, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': False, 'mandatory': False, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': True, 'invalid-active': False})]}
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 fixture	Actual	Expected	Outcome
contract fixture 0	`{'active-projection': None, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 0}, 'strike-caption': True, 'toggle-permission': False}`	`{'active-projection': None, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 0}, 'strike-caption': True, 'toggle-permission': False}`	Passed
contract fixture 1	`{'active-projection': 0, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': True}`	`{'active-projection': 0, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': False}`	Failed
contract fixture 2	`{'active-projection': None, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 0}, 'strike-caption': True, 'toggle-permission': False}`	`{'active-projection': None, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 0}, 'strike-caption': True, 'toggle-permission': False}`	Passed
contract fixture 3	`{'active-projection': 0, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': True}`	`{'active-projection': 0, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': True}`	Passed
contract fixture 4	`{'active-projection': 0, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': False}`	`{'active-projection': 0, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': False}`	Passed
contract fixture 5	`{'active-projection': 0, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': False}`	`{'active-projection': 0, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': False}`	Passed
contract fixture 6	`{'active-projection': None, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': True}`	`{'active-projection': None, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': True}`	Passed
contract fixture 7	`{'active-projection': None, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': False}`	`{'active-projection': None, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': False}`	Passed
contract fixture 8	`{'active-projection': None, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': True}`	`{'active-projection': None, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': False}`	Failed
contract fixture 9	`{'active-projection': None, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': False}`	`{'active-projection': None, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': False}`	Passed

SHA-256 / 9a709bf828a0c8f9be2cf7a60cf4e7c1b8abd4cb173475c7c3c3e4981ed79026

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(d):
    return {'active-projection':(d['operand'] if d['enabled'] else None), 'saved-projection':({'operand':d['operand'],'enabled':d['enabled']}), 'edit-permission':(not d['locked']), 'toggle-permission':(not d['locked'] and not d['mandatory']), 'strike-caption':(not d['enabled']), 'invalid-active':(d['enabled'] and not d['valid'])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'operand': 0, 'enabled': False, 'locked': False, 'mandatory': True, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': True, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': False, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': True, 'mandatory': True, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': False, 'mandatory': False, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': True, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False})], 2: [({'operand': 0, 'enabled': False, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': True, 'mandatory': False, 'valid': False}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True}), ({'operand': 0, 'enabled': True, 'locked': True, 'mandatory': True, 'valid': False}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True}), ({'operand': 'x', 'enabled': False, 'locked': False, 'mandatory': False, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': False, 'mandatory': True, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': True, 'mandatory': False, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': True, 'mandatory': True, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': False, 'mandatory': False, 'valid': False}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': False, 'invalid-active': True}), ({'operand': 'x', 'enabled': True, 'locked': False, 'mandatory': True, 'valid': False}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True}), ({'operand': 'x', 'enabled': True, 'locked': True, 'mandatory': True, 'valid': False}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True})], 3: [({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': True, 'valid': False}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True}), ({'operand': 0, 'enabled': False, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': True, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': False, 'mandatory': False, 'valid': True}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': False, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': True, 'mandatory': True, 'valid': True}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': False, 'mandatory': False, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False})], 4: [({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': True, 'mandatory': False, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': True, 'mandatory': False, 'valid': False}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True}), ({'operand': 'x', 'enabled': True, 'locked': True, 'mandatory': True, 'valid': False}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True}), ({'operand': 0, 'enabled': False, 'locked': False, 'mandatory': False, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': False, 'mandatory': True, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': True, 'mandatory': False, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': True, 'mandatory': True, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': False, 'valid': False}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': False, 'invalid-active': True}), ({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': True, 'valid': False}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True})], 5: [({'operand': 'x', 'enabled': False, 'locked': False, 'mandatory': True, 'valid': False}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 'x', 'enabled': True, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': 'x', 'saved-projection': {'operand': 'x', 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': False, 'locked': True, 'mandatory': True, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 0, 'enabled': False}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': True, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': False, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': False, 'mandatory': True, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': True, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': True, 'mandatory': False, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 0, 'enabled': True, 'locked': True, 'mandatory': True, 'valid': True}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': False}), ({'operand': 'x', 'enabled': False, 'locked': False, 'mandatory': False, 'valid': True}, {'active-projection': None, 'saved-projection': {'operand': 'x', 'enabled': False}, 'edit-permission': True, 'toggle-permission': True, 'strike-caption': True, 'invalid-active': False})]}
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 fixture	Actual	Expected	Outcome
contract fixture 0	`{'active-projection': None, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 0}, 'strike-caption': True, 'toggle-permission': False}`	`{'active-projection': None, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 0}, 'strike-caption': True, 'toggle-permission': False}`	Passed
contract fixture 1	`{'active-projection': 0, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': False}`	`{'active-projection': 0, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': False}`	Passed
contract fixture 2	`{'active-projection': None, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 0}, 'strike-caption': True, 'toggle-permission': False}`	`{'active-projection': None, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 0}, 'strike-caption': True, 'toggle-permission': False}`	Passed
contract fixture 3	`{'active-projection': 0, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': True}`	`{'active-projection': 0, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': True}`	Passed
contract fixture 4	`{'active-projection': 0, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': False}`	`{'active-projection': 0, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': False}`	Passed
contract fixture 5	`{'active-projection': 0, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': False}`	`{'active-projection': 0, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': True, 'operand': 0}, 'strike-caption': False, 'toggle-permission': False}`	Passed
contract fixture 6	`{'active-projection': None, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': True}`	`{'active-projection': None, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': True}`	Passed
contract fixture 7	`{'active-projection': None, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': False}`	`{'active-projection': None, 'edit-permission': True, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': False}`	Passed
contract fixture 8	`{'active-projection': None, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': False}`	`{'active-projection': None, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': False}`	Passed
contract fixture 9	`{'active-projection': None, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': False}`	`{'active-projection': None, 'edit-permission': False, 'invalid-active': False, 'saved-projection': {'enabled': False, 'operand': 'x'}, 'strike-caption': True, 'toggle-permission': False}`	Passed

SHA-256 / f81e8b101364c866f493e907b4f2fe9e6849622fcdb80141c68d2ce40be339f4

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.233384+00:00.

Case digest / 57d1ff576bc4b0a69a58902a70bd1e3dec35d6915ce71435d4c68a67d696a4ca