FAILURE MAP
← Case archive

FA-25471 / Filter interfaces / Open access

Null labels are selected by semantic kind rather than falsy captions · case 01

Null labels are selected by semantic kind rather than falsy captions is violated by the widget projection.

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

ROOT CAUSE

The null-label decision uses `'(no value)' if not d['value'] else d['value']` instead of the stipulated null-facet projection.

VERIFIED REPAIR

Implement the declared null-label projection: `'(no value)' if d['kind']=='null' else d['value']`.

Unsuccessful approach: The attempted correction `'(no value)' if d['value']=='null' else d['value']` still violates the explicit contract fixtures.

Case contract

The null facet uses a reserved sentinel separate from empty string, missing field and literal null text; its label and serialization retain that distinction. This example checks: Null labels are selected by semantic kind rather than falsy captions.

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 {'null-label':('(no value)' if not d['value'] else d['value']), 'null-operand':({'is_null':True} if d['kind']=='null' else {'eq':d['value']}), 'missing-distinction':(d['kind']=='missing'), 'empty-caption':('(empty text)' if d['kind']=='text' and d['value']=='' else d['value']), 'identity-tag':([d['kind'],d['value']]), 'count-key':('@null' if d['kind']=='null' else ('@missing' if d['kind']=='missing' else 'text:'+d['value']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'kind': 'null', 'value': 'null'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'null', 'identity-tag': ['null', 'null'], 'count-key': '@null'}), ({'kind': 'null', 'value': 'None'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['null', 'None'], 'count-key': '@null'}), ({'kind': 'missing', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': True, 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': True, 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'None'}, {'null-label': 'None', 'null-operand': {'eq': 'None'}, 'missing-distinction': True, 'empty-caption': 'None', 'identity-tag': ['missing', 'None'], 'count-key': '@missing'}), ({'kind': 'text', 'value': ''}, {'null-label': '', 'null-operand': {'eq': ''}, 'missing-distinction': False, 'empty-caption': '(empty text)', 'identity-tag': ['text', ''], 'count-key': 'text:'}), ({'kind': 'text', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': False, 'empty-caption': 'null', 'identity-tag': ['text', 'null'], 'count-key': 'text:null'}), ({'kind': 'text', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': False, 'empty-caption': 'x', 'identity-tag': ['text', 'x'], 'count-key': 'text:x'}), ({'kind': 'text', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': False, 'empty-caption': '0', 'identity-tag': ['text', '0'], 'count-key': 'text:0'}), ({'kind': 'text', 'value': 'None'}, {'null-label': 'None', 'null-operand': {'eq': 'None'}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['text', 'None'], 'count-key': 'text:None'})], 2: [({'kind': 'null', 'value': 'x'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'x', 'identity-tag': ['null', 'x'], 'count-key': '@null'}), ({'kind': 'null', 'value': ''}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': '', 'identity-tag': ['null', ''], 'count-key': '@null'}), ({'kind': 'text', 'value': 'None'}, {'null-label': 'None', 'null-operand': {'eq': 'None'}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['text', 'None'], 'count-key': 'text:None'}), ({'kind': 'null', 'value': 'null'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'null', 'identity-tag': ['null', 'null'], 'count-key': '@null'}), ({'kind': 'null', 'value': '0'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': '0', 'identity-tag': ['null', '0'], 'count-key': '@null'}), ({'kind': 'null', 'value': 'None'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['null', 'None'], 'count-key': '@null'}), ({'kind': 'missing', 'value': ''}, {'null-label': '', 'null-operand': {'eq': ''}, 'missing-distinction': True, 'empty-caption': '', 'identity-tag': ['missing', ''], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': True, 'empty-caption': 'null', 'identity-tag': ['missing', 'null'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': True, 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': True, 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'count-key': '@missing'})], 3: [({'kind': 'null', 'value': '0'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': '0', 'identity-tag': ['null', '0'], 'count-key': '@null'}), ({'kind': 'null', 'value': 'None'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['null', 'None'], 'count-key': '@null'}), ({'kind': 'missing', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': True, 'empty-caption': 'null', 'identity-tag': ['missing', 'null'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': True, 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': True, 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'None'}, {'null-label': 'None', 'null-operand': {'eq': 'None'}, 'missing-distinction': True, 'empty-caption': 'None', 'identity-tag': ['missing', 'None'], 'count-key': '@missing'}), ({'kind': 'text', 'value': ''}, {'null-label': '', 'null-operand': {'eq': ''}, 'missing-distinction': False, 'empty-caption': '(empty text)', 'identity-tag': ['text', ''], 'count-key': 'text:'}), ({'kind': 'text', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': False, 'empty-caption': 'null', 'identity-tag': ['text', 'null'], 'count-key': 'text:null'}), ({'kind': 'text', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': False, 'empty-caption': 'x', 'identity-tag': ['text', 'x'], 'count-key': 'text:x'}), ({'kind': 'text', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': False, 'empty-caption': '0', 'identity-tag': ['text', '0'], 'count-key': 'text:0'})], 4: [({'kind': 'null', 'value': 'None'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['null', 'None'], 'count-key': '@null'}), ({'kind': 'null', 'value': ''}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': '', 'identity-tag': ['null', ''], 'count-key': '@null'}), ({'kind': 'text', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': False, 'empty-caption': '0', 'identity-tag': ['text', '0'], 'count-key': 'text:0'}), ({'kind': 'text', 'value': 'None'}, {'null-label': 'None', 'null-operand': {'eq': 'None'}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['text', 'None'], 'count-key': 'text:None'}), ({'kind': 'null', 'value': 'null'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'null', 'identity-tag': ['null', 'null'], 'count-key': '@null'}), ({'kind': 'null', 'value': 'x'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'x', 'identity-tag': ['null', 'x'], 'count-key': '@null'}), ({'kind': 'null', 'value': '0'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': '0', 'identity-tag': ['null', '0'], 'count-key': '@null'}), ({'kind': 'missing', 'value': ''}, {'null-label': '', 'null-operand': {'eq': ''}, 'missing-distinction': True, 'empty-caption': '', 'identity-tag': ['missing', ''], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': True, 'empty-caption': 'null', 'identity-tag': ['missing', 'null'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': True, 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'count-key': '@missing'})], 5: [({'kind': 'missing', 'value': ''}, {'null-label': '', 'null-operand': {'eq': ''}, 'missing-distinction': True, 'empty-caption': '', 'identity-tag': ['missing', ''], 'count-key': '@missing'}), ({'kind': 'null', 'value': 'None'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['null', 'None'], 'count-key': '@null'}), ({'kind': 'missing', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': True, 'empty-caption': 'null', 'identity-tag': ['missing', 'null'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': True, 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': True, 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'None'}, {'null-label': 'None', 'null-operand': {'eq': 'None'}, 'missing-distinction': True, 'empty-caption': 'None', 'identity-tag': ['missing', 'None'], 'count-key': '@missing'}), ({'kind': 'text', 'value': ''}, {'null-label': '', 'null-operand': {'eq': ''}, 'missing-distinction': False, 'empty-caption': '(empty text)', 'identity-tag': ['text', ''], 'count-key': 'text:'}), ({'kind': 'text', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': False, 'empty-caption': 'null', 'identity-tag': ['text', 'null'], 'count-key': 'text:null'}), ({'kind': 'text', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': False, 'empty-caption': 'x', 'identity-tag': ['text', 'x'], 'count-key': 'text:x'}), ({'kind': 'text', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': False, 'empty-caption': '0', 'identity-tag': ['text', '0'], 'count-key': 'text:0'})]}
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{'count-key': '@null', 'empty-caption': 'null', 'identity-tag': ['null', 'null'], 'missing-distinction': False, 'null-label': 'null', 'null-operand': {'is_null': True}}{'count-key': '@null', 'empty-caption': 'null', 'identity-tag': ['null', 'null'], 'missing-distinction': False, 'null-label': '(no value)', 'null-operand': {'is_null': True}}Failed
contract fixture 1{'count-key': '@null', 'empty-caption': 'None', 'identity-tag': ['null', 'None'], 'missing-distinction': False, 'null-label': 'None', 'null-operand': {'is_null': True}}{'count-key': '@null', 'empty-caption': 'None', 'identity-tag': ['null', 'None'], 'missing-distinction': False, 'null-label': '(no value)', 'null-operand': {'is_null': True}}Failed
contract fixture 2{'count-key': '@missing', 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'missing-distinction': True, 'null-label': 'x', 'null-operand': {'eq': 'x'}}{'count-key': '@missing', 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'missing-distinction': True, 'null-label': 'x', 'null-operand': {'eq': 'x'}}Passed
contract fixture 3{'count-key': '@missing', 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'missing-distinction': True, 'null-label': '0', 'null-operand': {'eq': '0'}}{'count-key': '@missing', 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'missing-distinction': True, 'null-label': '0', 'null-operand': {'eq': '0'}}Passed
contract fixture 4{'count-key': '@missing', 'empty-caption': 'None', 'identity-tag': ['missing', 'None'], 'missing-distinction': True, 'null-label': 'None', 'null-operand': {'eq': 'None'}}{'count-key': '@missing', 'empty-caption': 'None', 'identity-tag': ['missing', 'None'], 'missing-distinction': True, 'null-label': 'None', 'null-operand': {'eq': 'None'}}Passed
contract fixture 5{'count-key': 'text:', 'empty-caption': '(empty text)', 'identity-tag': ['text', ''], 'missing-distinction': False, 'null-label': '(no value)', 'null-operand': {'eq': ''}}{'count-key': 'text:', 'empty-caption': '(empty text)', 'identity-tag': ['text', ''], 'missing-distinction': False, 'null-label': '', 'null-operand': {'eq': ''}}Failed
contract fixture 6{'count-key': 'text:null', 'empty-caption': 'null', 'identity-tag': ['text', 'null'], 'missing-distinction': False, 'null-label': 'null', 'null-operand': {'eq': 'null'}}{'count-key': 'text:null', 'empty-caption': 'null', 'identity-tag': ['text', 'null'], 'missing-distinction': False, 'null-label': 'null', 'null-operand': {'eq': 'null'}}Passed
contract fixture 7{'count-key': 'text:x', 'empty-caption': 'x', 'identity-tag': ['text', 'x'], 'missing-distinction': False, 'null-label': 'x', 'null-operand': {'eq': 'x'}}{'count-key': 'text:x', 'empty-caption': 'x', 'identity-tag': ['text', 'x'], 'missing-distinction': False, 'null-label': 'x', 'null-operand': {'eq': 'x'}}Passed
contract fixture 8{'count-key': 'text:0', 'empty-caption': '0', 'identity-tag': ['text', '0'], 'missing-distinction': False, 'null-label': '0', 'null-operand': {'eq': '0'}}{'count-key': 'text:0', 'empty-caption': '0', 'identity-tag': ['text', '0'], 'missing-distinction': False, 'null-label': '0', 'null-operand': {'eq': '0'}}Passed
contract fixture 9{'count-key': 'text:None', 'empty-caption': 'None', 'identity-tag': ['text', 'None'], 'missing-distinction': False, 'null-label': 'None', 'null-operand': {'eq': 'None'}}{'count-key': 'text:None', 'empty-caption': 'None', 'identity-tag': ['text', 'None'], 'missing-distinction': False, 'null-label': 'None', 'null-operand': {'eq': 'None'}}Passed

SHA-256 / 62707b2e4f024e8478b5d30903c6c76509a9785fc20a0e79974e9e328b6f7532

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(d):
    return {'null-label':('(no value)' if d['value']=='null' else d['value']), 'null-operand':({'is_null':True} if d['kind']=='null' else {'eq':d['value']}), 'missing-distinction':(d['kind']=='missing'), 'empty-caption':('(empty text)' if d['kind']=='text' and d['value']=='' else d['value']), 'identity-tag':([d['kind'],d['value']]), 'count-key':('@null' if d['kind']=='null' else ('@missing' if d['kind']=='missing' else 'text:'+d['value']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'kind': 'null', 'value': 'null'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'null', 'identity-tag': ['null', 'null'], 'count-key': '@null'}), ({'kind': 'null', 'value': 'None'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['null', 'None'], 'count-key': '@null'}), ({'kind': 'missing', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': True, 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': True, 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'None'}, {'null-label': 'None', 'null-operand': {'eq': 'None'}, 'missing-distinction': True, 'empty-caption': 'None', 'identity-tag': ['missing', 'None'], 'count-key': '@missing'}), ({'kind': 'text', 'value': ''}, {'null-label': '', 'null-operand': {'eq': ''}, 'missing-distinction': False, 'empty-caption': '(empty text)', 'identity-tag': ['text', ''], 'count-key': 'text:'}), ({'kind': 'text', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': False, 'empty-caption': 'null', 'identity-tag': ['text', 'null'], 'count-key': 'text:null'}), ({'kind': 'text', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': False, 'empty-caption': 'x', 'identity-tag': ['text', 'x'], 'count-key': 'text:x'}), ({'kind': 'text', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': False, 'empty-caption': '0', 'identity-tag': ['text', '0'], 'count-key': 'text:0'}), ({'kind': 'text', 'value': 'None'}, {'null-label': 'None', 'null-operand': {'eq': 'None'}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['text', 'None'], 'count-key': 'text:None'})], 2: [({'kind': 'null', 'value': 'x'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'x', 'identity-tag': ['null', 'x'], 'count-key': '@null'}), ({'kind': 'null', 'value': ''}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': '', 'identity-tag': ['null', ''], 'count-key': '@null'}), ({'kind': 'text', 'value': 'None'}, {'null-label': 'None', 'null-operand': {'eq': 'None'}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['text', 'None'], 'count-key': 'text:None'}), ({'kind': 'null', 'value': 'null'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'null', 'identity-tag': ['null', 'null'], 'count-key': '@null'}), ({'kind': 'null', 'value': '0'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': '0', 'identity-tag': ['null', '0'], 'count-key': '@null'}), ({'kind': 'null', 'value': 'None'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['null', 'None'], 'count-key': '@null'}), ({'kind': 'missing', 'value': ''}, {'null-label': '', 'null-operand': {'eq': ''}, 'missing-distinction': True, 'empty-caption': '', 'identity-tag': ['missing', ''], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': True, 'empty-caption': 'null', 'identity-tag': ['missing', 'null'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': True, 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': True, 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'count-key': '@missing'})], 3: [({'kind': 'null', 'value': '0'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': '0', 'identity-tag': ['null', '0'], 'count-key': '@null'}), ({'kind': 'null', 'value': 'None'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['null', 'None'], 'count-key': '@null'}), ({'kind': 'missing', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': True, 'empty-caption': 'null', 'identity-tag': ['missing', 'null'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': True, 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': True, 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'None'}, {'null-label': 'None', 'null-operand': {'eq': 'None'}, 'missing-distinction': True, 'empty-caption': 'None', 'identity-tag': ['missing', 'None'], 'count-key': '@missing'}), ({'kind': 'text', 'value': ''}, {'null-label': '', 'null-operand': {'eq': ''}, 'missing-distinction': False, 'empty-caption': '(empty text)', 'identity-tag': ['text', ''], 'count-key': 'text:'}), ({'kind': 'text', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': False, 'empty-caption': 'null', 'identity-tag': ['text', 'null'], 'count-key': 'text:null'}), ({'kind': 'text', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': False, 'empty-caption': 'x', 'identity-tag': ['text', 'x'], 'count-key': 'text:x'}), ({'kind': 'text', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': False, 'empty-caption': '0', 'identity-tag': ['text', '0'], 'count-key': 'text:0'})], 4: [({'kind': 'null', 'value': 'None'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['null', 'None'], 'count-key': '@null'}), ({'kind': 'null', 'value': ''}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': '', 'identity-tag': ['null', ''], 'count-key': '@null'}), ({'kind': 'text', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': False, 'empty-caption': '0', 'identity-tag': ['text', '0'], 'count-key': 'text:0'}), ({'kind': 'text', 'value': 'None'}, {'null-label': 'None', 'null-operand': {'eq': 'None'}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['text', 'None'], 'count-key': 'text:None'}), ({'kind': 'null', 'value': 'null'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'null', 'identity-tag': ['null', 'null'], 'count-key': '@null'}), ({'kind': 'null', 'value': 'x'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'x', 'identity-tag': ['null', 'x'], 'count-key': '@null'}), ({'kind': 'null', 'value': '0'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': '0', 'identity-tag': ['null', '0'], 'count-key': '@null'}), ({'kind': 'missing', 'value': ''}, {'null-label': '', 'null-operand': {'eq': ''}, 'missing-distinction': True, 'empty-caption': '', 'identity-tag': ['missing', ''], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': True, 'empty-caption': 'null', 'identity-tag': ['missing', 'null'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': True, 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'count-key': '@missing'})], 5: [({'kind': 'missing', 'value': ''}, {'null-label': '', 'null-operand': {'eq': ''}, 'missing-distinction': True, 'empty-caption': '', 'identity-tag': ['missing', ''], 'count-key': '@missing'}), ({'kind': 'null', 'value': 'None'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['null', 'None'], 'count-key': '@null'}), ({'kind': 'missing', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': True, 'empty-caption': 'null', 'identity-tag': ['missing', 'null'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': True, 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': True, 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'None'}, {'null-label': 'None', 'null-operand': {'eq': 'None'}, 'missing-distinction': True, 'empty-caption': 'None', 'identity-tag': ['missing', 'None'], 'count-key': '@missing'}), ({'kind': 'text', 'value': ''}, {'null-label': '', 'null-operand': {'eq': ''}, 'missing-distinction': False, 'empty-caption': '(empty text)', 'identity-tag': ['text', ''], 'count-key': 'text:'}), ({'kind': 'text', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': False, 'empty-caption': 'null', 'identity-tag': ['text', 'null'], 'count-key': 'text:null'}), ({'kind': 'text', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': False, 'empty-caption': 'x', 'identity-tag': ['text', 'x'], 'count-key': 'text:x'}), ({'kind': 'text', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': False, 'empty-caption': '0', 'identity-tag': ['text', '0'], 'count-key': 'text:0'})]}
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{'count-key': '@null', 'empty-caption': 'null', 'identity-tag': ['null', 'null'], 'missing-distinction': False, 'null-label': '(no value)', 'null-operand': {'is_null': True}}{'count-key': '@null', 'empty-caption': 'null', 'identity-tag': ['null', 'null'], 'missing-distinction': False, 'null-label': '(no value)', 'null-operand': {'is_null': True}}Passed
contract fixture 1{'count-key': '@null', 'empty-caption': 'None', 'identity-tag': ['null', 'None'], 'missing-distinction': False, 'null-label': 'None', 'null-operand': {'is_null': True}}{'count-key': '@null', 'empty-caption': 'None', 'identity-tag': ['null', 'None'], 'missing-distinction': False, 'null-label': '(no value)', 'null-operand': {'is_null': True}}Failed
contract fixture 2{'count-key': '@missing', 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'missing-distinction': True, 'null-label': 'x', 'null-operand': {'eq': 'x'}}{'count-key': '@missing', 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'missing-distinction': True, 'null-label': 'x', 'null-operand': {'eq': 'x'}}Passed
contract fixture 3{'count-key': '@missing', 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'missing-distinction': True, 'null-label': '0', 'null-operand': {'eq': '0'}}{'count-key': '@missing', 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'missing-distinction': True, 'null-label': '0', 'null-operand': {'eq': '0'}}Passed
contract fixture 4{'count-key': '@missing', 'empty-caption': 'None', 'identity-tag': ['missing', 'None'], 'missing-distinction': True, 'null-label': 'None', 'null-operand': {'eq': 'None'}}{'count-key': '@missing', 'empty-caption': 'None', 'identity-tag': ['missing', 'None'], 'missing-distinction': True, 'null-label': 'None', 'null-operand': {'eq': 'None'}}Passed
contract fixture 5{'count-key': 'text:', 'empty-caption': '(empty text)', 'identity-tag': ['text', ''], 'missing-distinction': False, 'null-label': '', 'null-operand': {'eq': ''}}{'count-key': 'text:', 'empty-caption': '(empty text)', 'identity-tag': ['text', ''], 'missing-distinction': False, 'null-label': '', 'null-operand': {'eq': ''}}Passed
contract fixture 6{'count-key': 'text:null', 'empty-caption': 'null', 'identity-tag': ['text', 'null'], 'missing-distinction': False, 'null-label': '(no value)', 'null-operand': {'eq': 'null'}}{'count-key': 'text:null', 'empty-caption': 'null', 'identity-tag': ['text', 'null'], 'missing-distinction': False, 'null-label': 'null', 'null-operand': {'eq': 'null'}}Failed
contract fixture 7{'count-key': 'text:x', 'empty-caption': 'x', 'identity-tag': ['text', 'x'], 'missing-distinction': False, 'null-label': 'x', 'null-operand': {'eq': 'x'}}{'count-key': 'text:x', 'empty-caption': 'x', 'identity-tag': ['text', 'x'], 'missing-distinction': False, 'null-label': 'x', 'null-operand': {'eq': 'x'}}Passed
contract fixture 8{'count-key': 'text:0', 'empty-caption': '0', 'identity-tag': ['text', '0'], 'missing-distinction': False, 'null-label': '0', 'null-operand': {'eq': '0'}}{'count-key': 'text:0', 'empty-caption': '0', 'identity-tag': ['text', '0'], 'missing-distinction': False, 'null-label': '0', 'null-operand': {'eq': '0'}}Passed
contract fixture 9{'count-key': 'text:None', 'empty-caption': 'None', 'identity-tag': ['text', 'None'], 'missing-distinction': False, 'null-label': 'None', 'null-operand': {'eq': 'None'}}{'count-key': 'text:None', 'empty-caption': 'None', 'identity-tag': ['text', 'None'], 'missing-distinction': False, 'null-label': 'None', 'null-operand': {'eq': 'None'}}Passed

SHA-256 / 2d669d879e345d5d87e87043cbf62781a961f2a74472eddc87cdeb0daf754c3b

3 / The verified repair

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

N = 1
observations = []
def solve(d):
    return {'null-label':('(no value)' if d['kind']=='null' else d['value']), 'null-operand':({'is_null':True} if d['kind']=='null' else {'eq':d['value']}), 'missing-distinction':(d['kind']=='missing'), 'empty-caption':('(empty text)' if d['kind']=='text' and d['value']=='' else d['value']), 'identity-tag':([d['kind'],d['value']]), 'count-key':('@null' if d['kind']=='null' else ('@missing' if d['kind']=='missing' else 'text:'+d['value']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'kind': 'null', 'value': 'null'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'null', 'identity-tag': ['null', 'null'], 'count-key': '@null'}), ({'kind': 'null', 'value': 'None'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['null', 'None'], 'count-key': '@null'}), ({'kind': 'missing', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': True, 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': True, 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'None'}, {'null-label': 'None', 'null-operand': {'eq': 'None'}, 'missing-distinction': True, 'empty-caption': 'None', 'identity-tag': ['missing', 'None'], 'count-key': '@missing'}), ({'kind': 'text', 'value': ''}, {'null-label': '', 'null-operand': {'eq': ''}, 'missing-distinction': False, 'empty-caption': '(empty text)', 'identity-tag': ['text', ''], 'count-key': 'text:'}), ({'kind': 'text', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': False, 'empty-caption': 'null', 'identity-tag': ['text', 'null'], 'count-key': 'text:null'}), ({'kind': 'text', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': False, 'empty-caption': 'x', 'identity-tag': ['text', 'x'], 'count-key': 'text:x'}), ({'kind': 'text', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': False, 'empty-caption': '0', 'identity-tag': ['text', '0'], 'count-key': 'text:0'}), ({'kind': 'text', 'value': 'None'}, {'null-label': 'None', 'null-operand': {'eq': 'None'}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['text', 'None'], 'count-key': 'text:None'})], 2: [({'kind': 'null', 'value': 'x'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'x', 'identity-tag': ['null', 'x'], 'count-key': '@null'}), ({'kind': 'null', 'value': ''}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': '', 'identity-tag': ['null', ''], 'count-key': '@null'}), ({'kind': 'text', 'value': 'None'}, {'null-label': 'None', 'null-operand': {'eq': 'None'}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['text', 'None'], 'count-key': 'text:None'}), ({'kind': 'null', 'value': 'null'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'null', 'identity-tag': ['null', 'null'], 'count-key': '@null'}), ({'kind': 'null', 'value': '0'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': '0', 'identity-tag': ['null', '0'], 'count-key': '@null'}), ({'kind': 'null', 'value': 'None'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['null', 'None'], 'count-key': '@null'}), ({'kind': 'missing', 'value': ''}, {'null-label': '', 'null-operand': {'eq': ''}, 'missing-distinction': True, 'empty-caption': '', 'identity-tag': ['missing', ''], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': True, 'empty-caption': 'null', 'identity-tag': ['missing', 'null'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': True, 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': True, 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'count-key': '@missing'})], 3: [({'kind': 'null', 'value': '0'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': '0', 'identity-tag': ['null', '0'], 'count-key': '@null'}), ({'kind': 'null', 'value': 'None'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['null', 'None'], 'count-key': '@null'}), ({'kind': 'missing', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': True, 'empty-caption': 'null', 'identity-tag': ['missing', 'null'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': True, 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': True, 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'None'}, {'null-label': 'None', 'null-operand': {'eq': 'None'}, 'missing-distinction': True, 'empty-caption': 'None', 'identity-tag': ['missing', 'None'], 'count-key': '@missing'}), ({'kind': 'text', 'value': ''}, {'null-label': '', 'null-operand': {'eq': ''}, 'missing-distinction': False, 'empty-caption': '(empty text)', 'identity-tag': ['text', ''], 'count-key': 'text:'}), ({'kind': 'text', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': False, 'empty-caption': 'null', 'identity-tag': ['text', 'null'], 'count-key': 'text:null'}), ({'kind': 'text', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': False, 'empty-caption': 'x', 'identity-tag': ['text', 'x'], 'count-key': 'text:x'}), ({'kind': 'text', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': False, 'empty-caption': '0', 'identity-tag': ['text', '0'], 'count-key': 'text:0'})], 4: [({'kind': 'null', 'value': 'None'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['null', 'None'], 'count-key': '@null'}), ({'kind': 'null', 'value': ''}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': '', 'identity-tag': ['null', ''], 'count-key': '@null'}), ({'kind': 'text', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': False, 'empty-caption': '0', 'identity-tag': ['text', '0'], 'count-key': 'text:0'}), ({'kind': 'text', 'value': 'None'}, {'null-label': 'None', 'null-operand': {'eq': 'None'}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['text', 'None'], 'count-key': 'text:None'}), ({'kind': 'null', 'value': 'null'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'null', 'identity-tag': ['null', 'null'], 'count-key': '@null'}), ({'kind': 'null', 'value': 'x'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'x', 'identity-tag': ['null', 'x'], 'count-key': '@null'}), ({'kind': 'null', 'value': '0'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': '0', 'identity-tag': ['null', '0'], 'count-key': '@null'}), ({'kind': 'missing', 'value': ''}, {'null-label': '', 'null-operand': {'eq': ''}, 'missing-distinction': True, 'empty-caption': '', 'identity-tag': ['missing', ''], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': True, 'empty-caption': 'null', 'identity-tag': ['missing', 'null'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': True, 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'count-key': '@missing'})], 5: [({'kind': 'missing', 'value': ''}, {'null-label': '', 'null-operand': {'eq': ''}, 'missing-distinction': True, 'empty-caption': '', 'identity-tag': ['missing', ''], 'count-key': '@missing'}), ({'kind': 'null', 'value': 'None'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'None', 'identity-tag': ['null', 'None'], 'count-key': '@null'}), ({'kind': 'missing', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': True, 'empty-caption': 'null', 'identity-tag': ['missing', 'null'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': True, 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': True, 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'count-key': '@missing'}), ({'kind': 'missing', 'value': 'None'}, {'null-label': 'None', 'null-operand': {'eq': 'None'}, 'missing-distinction': True, 'empty-caption': 'None', 'identity-tag': ['missing', 'None'], 'count-key': '@missing'}), ({'kind': 'text', 'value': ''}, {'null-label': '', 'null-operand': {'eq': ''}, 'missing-distinction': False, 'empty-caption': '(empty text)', 'identity-tag': ['text', ''], 'count-key': 'text:'}), ({'kind': 'text', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': False, 'empty-caption': 'null', 'identity-tag': ['text', 'null'], 'count-key': 'text:null'}), ({'kind': 'text', 'value': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': False, 'empty-caption': 'x', 'identity-tag': ['text', 'x'], 'count-key': 'text:x'}), ({'kind': 'text', 'value': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': False, 'empty-caption': '0', 'identity-tag': ['text', '0'], 'count-key': 'text:0'})]}
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{'count-key': '@null', 'empty-caption': 'null', 'identity-tag': ['null', 'null'], 'missing-distinction': False, 'null-label': '(no value)', 'null-operand': {'is_null': True}}{'count-key': '@null', 'empty-caption': 'null', 'identity-tag': ['null', 'null'], 'missing-distinction': False, 'null-label': '(no value)', 'null-operand': {'is_null': True}}Passed
contract fixture 1{'count-key': '@null', 'empty-caption': 'None', 'identity-tag': ['null', 'None'], 'missing-distinction': False, 'null-label': '(no value)', 'null-operand': {'is_null': True}}{'count-key': '@null', 'empty-caption': 'None', 'identity-tag': ['null', 'None'], 'missing-distinction': False, 'null-label': '(no value)', 'null-operand': {'is_null': True}}Passed
contract fixture 2{'count-key': '@missing', 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'missing-distinction': True, 'null-label': 'x', 'null-operand': {'eq': 'x'}}{'count-key': '@missing', 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'missing-distinction': True, 'null-label': 'x', 'null-operand': {'eq': 'x'}}Passed
contract fixture 3{'count-key': '@missing', 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'missing-distinction': True, 'null-label': '0', 'null-operand': {'eq': '0'}}{'count-key': '@missing', 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'missing-distinction': True, 'null-label': '0', 'null-operand': {'eq': '0'}}Passed
contract fixture 4{'count-key': '@missing', 'empty-caption': 'None', 'identity-tag': ['missing', 'None'], 'missing-distinction': True, 'null-label': 'None', 'null-operand': {'eq': 'None'}}{'count-key': '@missing', 'empty-caption': 'None', 'identity-tag': ['missing', 'None'], 'missing-distinction': True, 'null-label': 'None', 'null-operand': {'eq': 'None'}}Passed
contract fixture 5{'count-key': 'text:', 'empty-caption': '(empty text)', 'identity-tag': ['text', ''], 'missing-distinction': False, 'null-label': '', 'null-operand': {'eq': ''}}{'count-key': 'text:', 'empty-caption': '(empty text)', 'identity-tag': ['text', ''], 'missing-distinction': False, 'null-label': '', 'null-operand': {'eq': ''}}Passed
contract fixture 6{'count-key': 'text:null', 'empty-caption': 'null', 'identity-tag': ['text', 'null'], 'missing-distinction': False, 'null-label': 'null', 'null-operand': {'eq': 'null'}}{'count-key': 'text:null', 'empty-caption': 'null', 'identity-tag': ['text', 'null'], 'missing-distinction': False, 'null-label': 'null', 'null-operand': {'eq': 'null'}}Passed
contract fixture 7{'count-key': 'text:x', 'empty-caption': 'x', 'identity-tag': ['text', 'x'], 'missing-distinction': False, 'null-label': 'x', 'null-operand': {'eq': 'x'}}{'count-key': 'text:x', 'empty-caption': 'x', 'identity-tag': ['text', 'x'], 'missing-distinction': False, 'null-label': 'x', 'null-operand': {'eq': 'x'}}Passed
contract fixture 8{'count-key': 'text:0', 'empty-caption': '0', 'identity-tag': ['text', '0'], 'missing-distinction': False, 'null-label': '0', 'null-operand': {'eq': '0'}}{'count-key': 'text:0', 'empty-caption': '0', 'identity-tag': ['text', '0'], 'missing-distinction': False, 'null-label': '0', 'null-operand': {'eq': '0'}}Passed
contract fixture 9{'count-key': 'text:None', 'empty-caption': 'None', 'identity-tag': ['text', 'None'], 'missing-distinction': False, 'null-label': 'None', 'null-operand': {'eq': 'None'}}{'count-key': 'text:None', 'empty-caption': 'None', 'identity-tag': ['text', 'None'], 'missing-distinction': False, 'null-label': 'None', 'null-operand': {'eq': 'None'}}Passed

SHA-256 / b46bdc40f1ae0f5a3282a04ea80e7e0b76a09b7a5850e5415fd719cedd673d15

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

Case digest / 88a215f62a2bdeffb0a592a12ea13e89112091eed7b46c105caf76e174a4c220