FAILURE MAP
← Case archive

FA-24956 / Filter interfaces / Open access

Null equality is distinct from empty text and zero-valued operands · case 01

Null equality is distinct from empty text and zero-valued operands is violated by the widget projection.

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

ROOT CAUSE

The null-equality decision uses `d['value'] is None` instead of the stipulated operator-editor projection.

VERIFIED REPAIR

Implement the declared null-equality projection: `d['op']=='eq' and d['value'] is None`.

Unsuccessful approach: The attempted correction `d['op']=='eq' and not 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: Null equality is distinct from empty text and zero-valued operands.

Why this case matters

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

1 / The failure

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

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

SHA-256 / f0cac0e24377137d5258514f69526a3fb0ac0db0cc8e48dd4f3d9d731e32752b

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

SHA-256 / b13e210638d34f0adea8d7153c5f5114c90cd3fae22939fbf89e65ecf0ce1b6b

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': 'in', 'value': None}, {'unary-value': None, 'set-arity': [None], 'scalar-arity': None, 'editor-visible': True, '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': '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}), ({'op': 'missing', 'value': 0}, {'unary-value': None, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': False, 'empty-set-error': False, 'null-equality': False})], 2: [({'op': 'exists', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, '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': '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}), ({'op': 'eq', 'value': 0}, {'unary-value': 0, 'set-arity': 0, 'scalar-arity': 0, 'editor-visible': True, 'empty-set-error': False, 'null-equality': False})], 3: [({'op': 'missing', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, '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': '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': '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}), ({'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})], 4: [({'op': 'in', 'value': None}, {'unary-value': None, 'set-arity': [None], 'scalar-arity': None, 'editor-visible': True, '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': 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': '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': '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})], 5: [({'op': 'exists', 'value': None}, {'unary-value': None, 'set-arity': None, 'scalar-arity': None, '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': '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})]}
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': [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 1{'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': '', 'set-arity': '', 'unary-value': ''}Passed
contract fixture 2{'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 3{'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 4{'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 5{'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 6{'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 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': None, 'unary-value': None}{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': None, 'set-arity': None, 'unary-value': None}Passed
contract fixture 9{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': 0, 'set-arity': 0, 'unary-value': None}{'editor-visible': False, 'empty-set-error': False, 'null-equality': False, 'scalar-arity': 0, 'set-arity': 0, 'unary-value': None}Passed

SHA-256 / bc3a58731fab24af9bd3ea3acd03695f0cd459b4f423edd653b6b49df8aec309

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

Case digest / 779af9b9414236126aa7db7616be860261a36b8665ed63f6ccc250a92201eba9