FA-25591 / Filter interfaces / Open access

Disabled criteria do not enter active query payloads · case 01

Disabled criteria do not enter active query payloads is violated by the widget projection.

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

ROOT CAUSE

The active-projection decision uses `d['operand']` instead of the stipulated disabled-criterion projection.

VERIFIED REPAIR

Implement the declared active-projection projection: `d['operand'] if d['enabled'] else None`.

Unsuccessful approach: The attempted correction `d['operand'] if d['enabled'] and not d['locked'] else None` 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: Disabled criteria do not enter active query payloads.

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']), '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': 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': 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': 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': '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': 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': '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': 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': False, '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': 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': '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': 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': '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}), ({'operand': 0, 'enabled': True, 'locked': True, 'mandatory': False, 'valid': False}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True})], 5: [({'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': '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': 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': 0, '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': True}`	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': 0, '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}`	Failed
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': 'x', '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}`	Failed
contract fixture 7	`{'active-projection': 'x', '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}`	Failed
contract fixture 8	`{'active-projection': 'x', '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}`	Failed
contract fixture 9	`{'active-projection': 'x', '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}`	Failed

SHA-256 / 84a19cd9e7ab3e716483efa2c65497df2a030f4223ad01bf60fb5762c1061be0

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'] and not d['locked'] 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': 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': 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': 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': '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': 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': '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': 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': False, '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': 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': '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': 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': '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}), ({'operand': 0, 'enabled': True, 'locked': True, 'mandatory': False, 'valid': False}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True})], 5: [({'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': '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': 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': True}`	Passed
contract fixture 1	`{'active-projection': None, '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}`	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': None, '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}`	Failed
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 / 7dcf8ff4b8e430973dadad01272b6c4cf717b35c57b0580fbe2eaca5c3740e62

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': 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': 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': 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': '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': 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': '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': 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': False, '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': 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': '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': 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': '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}), ({'operand': 0, 'enabled': True, 'locked': True, 'mandatory': False, 'valid': False}, {'active-projection': 0, 'saved-projection': {'operand': 0, 'enabled': True}, 'edit-permission': False, 'toggle-permission': False, 'strike-caption': False, 'invalid-active': True})], 5: [({'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': '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': 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': True}`	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 / 0e345cf00a51ccbfcb0b857a7ac9b48ba73a4c9c4ff9fb6c0d6c5d741f8132ff

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

Case digest / d998ab5d50cc5f71939d44b34431e10ad2a9938527f7d0406b362310c2024be6