FAILURE MAP
← Case archive

FA-24941 / Filter interfaces / Open access

Equality conversion retains the first set operand · case 01

Equality conversion retains the first set operand is violated by the widget projection.

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

ROOT CAUSE

The scalar-arity decision uses `d['value']` instead of the stipulated operator-editor projection.

VERIFIED REPAIR

Implement the declared scalar-arity projection: `(d['value'][0] if d['value'] else None) if d['op']=='eq' and isinstance(d['value'],list) else d['value']`.

Unsuccessful approach: The attempted correction `None if isinstance(d['value'],list) else d['value']` still violates the explicit contract fixtures.

Case contract

The stipulated filter editor supports equality, set membership and unary presence operators; switching operator updates operand arity rather than executing a query. This example checks: Equality conversion retains the first set operand.

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 {'unary-value':(None if d['op'] in ('exists','missing') else d['value']), 'set-arity':([d['value']] if d['op']=='in' and not isinstance(d['value'],list) else d['value']), 'scalar-arity':(d['value']), 'editor-visible':(d['op'] not in ('exists','missing')), 'empty-set-error':(d['op']=='in' and d['value']==[]), 'null-equality':(d['op']=='eq' and d['value'] is None)}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'op': 'eq', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': None}, {'unary-value': None, 'set-arity': [None], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': 0}, {'unary-value': 0, 'set-arity': [0], 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': [], 'editor-visible': True, 'empty-set-error': True, 'null-equality': False}), ({'op': 'in', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ''}, {'unary-value': None, 'set-arity': '', 'scalar-arity': '', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 'x'}, {'unary-value': None, 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False})], 2: [({'op': 'eq', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': []}, {'unary-value': None, 'set-arity': [], 'scalar-arity': [], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x', 'y']}, {'unary-value': None, 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ''}, {'unary-value': None, 'set-arity': '', 'scalar-arity': '', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': 'x'}, {'unary-value': None, 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': True})], 3: [({'op': 'eq', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': []}, {'unary-value': None, 'set-arity': [], 'scalar-arity': [], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ['x', 'y']}, {'unary-value': None, 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': ''}, {'unary-value': '', 'set-arity': '', 'scalar-arity': '', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': 'x'}, {'unary-value': 'x', 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': None}, {'unary-value': None, 'set-arity': [None], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False})], 4: [({'op': 'eq', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': True}), ({'op': 'eq', 'value': 0}, {'unary-value': 0, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ''}, {'unary-value': '', 'set-arity': [''], 'scalar-arity': '', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': 'x'}, {'unary-value': 'x', 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': []}, {'unary-value': None, 'set-arity': [], 'scalar-arity': [], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False})], 5: [({'op': 'eq', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': None}, {'unary-value': None, 'set-arity': [None], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': 0}, {'unary-value': 0, 'set-arity': [0], 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': [], 'editor-visible': True, 'empty-set-error': True, 'null-equality': False}), ({'op': 'exists', 'value': ''}, {'unary-value': None, 'set-arity': '', 'scalar-arity': '', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 'x'}, {'unary-value': None, 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': 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 fixtureActualExpectedOutcome
contract fixture 0{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': [], 'set-arity': [], 'unary-value': []}{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': None, 'set-arity': [], 'unary-value': []}Failed
contract fixture 1{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': ['x'], 'set-arity': ['x'], 'unary-value': ['x']}{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': ['x'], 'set-arity': ['x'], 'unary-value': ['x']}Passed
contract fixture 2{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': None, 'set-arity': [None], 'unary-value': None}{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': None, 'set-arity': [None], 'unary-value': None}Passed
contract fixture 3{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': 0, 'set-arity': [0], 'unary-value': 0}{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': 0, 'set-arity': [0], 'unary-value': 0}Passed
contract fixture 4{'editor-visible': True, 'empty-set-error': True, 'null-equality': False, 'scalar-arity': [], 'set-arity': [], 'unary-value': []}{'editor-visible': True, 'empty-set-error': True, 'null-equality': False, 'scalar-arity': [], 'set-arity': [], 'unary-value': []}Passed
contract fixture 5{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': ['x', 'y'], 'set-arity': ['x', 'y'], 'unary-value': ['x', 'y']}{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': ['x', 'y'], 'set-arity': ['x', 'y'], 'unary-value': ['x', 'y']}Passed
contract fixture 6{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': '', 'set-arity': '', 'unary-value': None}{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': '', 'set-arity': '', 'unary-value': None}Passed
contract fixture 7{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': 'x', 'set-arity': 'x', 'unary-value': None}{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': 'x', 'set-arity': 'x', 'unary-value': None}Passed
contract fixture 8{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': ['x'], 'set-arity': ['x'], 'unary-value': None}{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': ['x'], 'set-arity': ['x'], 'unary-value': None}Passed
contract fixture 9{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': None, 'set-arity': None, 'unary-value': None}{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': None, 'set-arity': None, 'unary-value': None}Passed

SHA-256 / b6f2cb56db3446ae358a1e6e3ebed17c8dcab9afc46d4ac43f2eb4e89877e47b

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(d):
    return {'unary-value':(None if d['op'] in ('exists','missing') else d['value']), 'set-arity':([d['value']] if d['op']=='in' and not isinstance(d['value'],list) else d['value']), 'scalar-arity':(None if isinstance(d['value'],list) else d['value']), 'editor-visible':(d['op'] not in ('exists','missing')), 'empty-set-error':(d['op']=='in' and d['value']==[]), 'null-equality':(d['op']=='eq' and d['value'] is None)}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'op': 'eq', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': None}, {'unary-value': None, 'set-arity': [None], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': 0}, {'unary-value': 0, 'set-arity': [0], 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': [], 'editor-visible': True, 'empty-set-error': True, 'null-equality': False}), ({'op': 'in', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ''}, {'unary-value': None, 'set-arity': '', 'scalar-arity': '', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 'x'}, {'unary-value': None, 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False})], 2: [({'op': 'eq', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': []}, {'unary-value': None, 'set-arity': [], 'scalar-arity': [], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x', 'y']}, {'unary-value': None, 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ''}, {'unary-value': None, 'set-arity': '', 'scalar-arity': '', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': 'x'}, {'unary-value': None, 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': True})], 3: [({'op': 'eq', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': []}, {'unary-value': None, 'set-arity': [], 'scalar-arity': [], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ['x', 'y']}, {'unary-value': None, 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': ''}, {'unary-value': '', 'set-arity': '', 'scalar-arity': '', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': 'x'}, {'unary-value': 'x', 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': None}, {'unary-value': None, 'set-arity': [None], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False})], 4: [({'op': 'eq', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': True}), ({'op': 'eq', 'value': 0}, {'unary-value': 0, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ''}, {'unary-value': '', 'set-arity': [''], 'scalar-arity': '', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': 'x'}, {'unary-value': 'x', 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': []}, {'unary-value': None, 'set-arity': [], 'scalar-arity': [], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False})], 5: [({'op': 'eq', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': None}, {'unary-value': None, 'set-arity': [None], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': 0}, {'unary-value': 0, 'set-arity': [0], 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': [], 'editor-visible': True, 'empty-set-error': True, 'null-equality': False}), ({'op': 'exists', 'value': ''}, {'unary-value': None, 'set-arity': '', 'scalar-arity': '', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 'x'}, {'unary-value': None, 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': 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 fixtureActualExpectedOutcome
contract fixture 0{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': None, 'set-arity': [], 'unary-value': []}{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': None, 'set-arity': [], 'unary-value': []}Passed
contract fixture 1{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': None, 'set-arity': ['x'], 'unary-value': ['x']}{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': ['x'], 'set-arity': ['x'], 'unary-value': ['x']}Failed
contract fixture 2{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': None, 'set-arity': [None], 'unary-value': None}{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': None, 'set-arity': [None], 'unary-value': None}Passed
contract fixture 3{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': 0, 'set-arity': [0], 'unary-value': 0}{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': 0, 'set-arity': [0], 'unary-value': 0}Passed
contract fixture 4{'editor-visible': True, 'empty-set-error': True, 'null-equality': False, 'scalar-arity': None, 'set-arity': [], 'unary-value': []}{'editor-visible': True, 'empty-set-error': True, 'null-equality': False, 'scalar-arity': [], 'set-arity': [], 'unary-value': []}Failed
contract fixture 5{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': None, 'set-arity': ['x', 'y'], 'unary-value': ['x', 'y']}{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': ['x', 'y'], 'set-arity': ['x', 'y'], 'unary-value': ['x', 'y']}Failed
contract fixture 6{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': '', 'set-arity': '', 'unary-value': None}{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': '', 'set-arity': '', 'unary-value': None}Passed
contract fixture 7{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': 'x', 'set-arity': 'x', 'unary-value': None}{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': 'x', 'set-arity': 'x', 'unary-value': None}Passed
contract fixture 8{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': None, 'set-arity': ['x'], 'unary-value': None}{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': ['x'], 'set-arity': ['x'], 'unary-value': None}Failed
contract fixture 9{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': None, 'set-arity': None, 'unary-value': None}{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': None, 'set-arity': None, 'unary-value': None}Passed

SHA-256 / b5e107aea90937ceaa67d2eaa95837edad373a11107c3515861a277a6b54051d

3 / The verified repair

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

N = 1
observations = []
def solve(d):
    return {'unary-value':(None if d['op'] in ('exists','missing') else d['value']), 'set-arity':([d['value']] if d['op']=='in' and not isinstance(d['value'],list) else d['value']), 'scalar-arity':((d['value'][0] if d['value'] else None) if d['op']=='eq' and isinstance(d['value'],list) else d['value']), 'editor-visible':(d['op'] not in ('exists','missing')), 'empty-set-error':(d['op']=='in' and d['value']==[]), 'null-equality':(d['op']=='eq' and d['value'] is None)}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'op': 'eq', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': None}, {'unary-value': None, 'set-arity': [None], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': 0}, {'unary-value': 0, 'set-arity': [0], 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': [], 'editor-visible': True, 'empty-set-error': True, 'null-equality': False}), ({'op': 'in', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ''}, {'unary-value': None, 'set-arity': '', 'scalar-arity': '', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 'x'}, {'unary-value': None, 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False})], 2: [({'op': 'eq', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': []}, {'unary-value': None, 'set-arity': [], 'scalar-arity': [], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x', 'y']}, {'unary-value': None, 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ''}, {'unary-value': None, 'set-arity': '', 'scalar-arity': '', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': 'x'}, {'unary-value': None, 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': True})], 3: [({'op': 'eq', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': []}, {'unary-value': None, 'set-arity': [], 'scalar-arity': [], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': ['x', 'y']}, {'unary-value': None, 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': ''}, {'unary-value': '', 'set-arity': '', 'scalar-arity': '', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': 'x'}, {'unary-value': 'x', 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': None}, {'unary-value': None, 'set-arity': [None], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False})], 4: [({'op': 'eq', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'eq', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': True}), ({'op': 'eq', 'value': 0}, {'unary-value': 0, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ''}, {'unary-value': '', 'set-arity': [''], 'scalar-arity': '', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': 'x'}, {'unary-value': 'x', 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': []}, {'unary-value': None, 'set-arity': [], 'scalar-arity': [], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False})], 5: [({'op': 'eq', 'value': ['x']}, {'unary-value': ['x'], 'set-arity': ['x'], 'scalar-arity': 'x', 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': ['x', 'y']}, {'unary-value': ['x', 'y'], 'set-arity': ['x', 'y'], 'scalar-arity': ['x', 'y'], 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': None}, {'unary-value': None, 'set-arity': [None], 'scalar-arity': None, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': 0}, {'unary-value': 0, 'set-arity': [0], 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False}), ({'op': 'in', 'value': []}, {'unary-value': [], 'set-arity': [], 'scalar-arity': [], 'editor-visible': True, 'empty-set-error': True, 'null-equality': False}), ({'op': 'exists', 'value': ''}, {'unary-value': None, 'set-arity': '', 'scalar-arity': '', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': 'x'}, {'unary-value': None, 'set-arity': 'x', 'scalar-arity': 'x', 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'exists', 'value': ['x']}, {'unary-value': None, 'set-arity': ['x'], 'scalar-arity': ['x'], 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False}), ({'op': 'missing', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': 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 fixtureActualExpectedOutcome
contract fixture 0{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': None, 'set-arity': [], 'unary-value': []}{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': None, 'set-arity': [], 'unary-value': []}Passed
contract fixture 1{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': ['x'], 'set-arity': ['x'], 'unary-value': ['x']}{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': ['x'], 'set-arity': ['x'], 'unary-value': ['x']}Passed
contract fixture 2{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': None, 'set-arity': [None], 'unary-value': None}{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': None, 'set-arity': [None], 'unary-value': None}Passed
contract fixture 3{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': 0, 'set-arity': [0], 'unary-value': 0}{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': 0, 'set-arity': [0], 'unary-value': 0}Passed
contract fixture 4{'editor-visible': True, 'empty-set-error': True, 'null-equality': False, 'scalar-arity': [], 'set-arity': [], 'unary-value': []}{'editor-visible': True, 'empty-set-error': True, 'null-equality': False, 'scalar-arity': [], 'set-arity': [], 'unary-value': []}Passed
contract fixture 5{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': ['x', 'y'], 'set-arity': ['x', 'y'], 'unary-value': ['x', 'y']}{'editor-visible': True, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': ['x', 'y'], 'set-arity': ['x', 'y'], 'unary-value': ['x', 'y']}Passed
contract fixture 6{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': '', 'set-arity': '', 'unary-value': None}{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': '', 'set-arity': '', 'unary-value': None}Passed
contract fixture 7{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': 'x', 'set-arity': 'x', 'unary-value': None}{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': 'x', 'set-arity': 'x', 'unary-value': None}Passed
contract fixture 8{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': ['x'], 'set-arity': ['x'], 'unary-value': None}{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': ['x'], 'set-arity': ['x'], 'unary-value': None}Passed
contract fixture 9{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': None, 'set-arity': None, 'unary-value': None}{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': None, 'set-arity': None, 'unary-value': None}Passed

SHA-256 / cdea3c8084488fc7eb274a6a276997b5091bdb1ca12bbb0173865a47a73dfbb4

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

Case digest / 0c7a5abd5195efc3f0a7fa7b7cbd8b1057b4ff27d28beab7f76cc67e5f50adda