FAILURE MAP
← Case archive

FA-25496 / Filter interfaces / Open access

Count lookup keeps null and missing buckets in separate namespaces · case 01

Count lookup keeps null and missing buckets in separate namespaces is violated by the widget projection.

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

ROOT CAUSE

The count-key decision uses `d['value']` instead of the stipulated null-facet projection.

VERIFIED REPAIR

Implement the declared count-key projection: `'@null' if d['kind']=='null' else ('@missing' if d['kind']=='missing' else 'text:'+d['value'])`.

Unsuccessful approach: The attempted correction `'@null' if d['kind']!='text' else 'text:'+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: Count lookup keeps null and missing buckets in separate namespaces.

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

SHA-256 / 63b27a4aa47046e8ae86075e9b09561c9f2309a0475e5eb6022d2d0a9542d8a9

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['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']!='text' 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-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': '', 'identity-tag': ['null', ''], 'count-key': '@null'}), ({'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': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': True, 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], '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'}), ({'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'})], 2: [({'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': 'missing', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': True, 'empty-caption': 'null', 'identity-tag': ['missing', 'null'], 'count-key': '@missing'}), ({'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-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': '', 'identity-tag': ['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': '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': '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': 'x'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'x', 'identity-tag': ['null', 'x'], 'count-key': '@null'}), ({'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': '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': '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'})], 4: [({'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': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': True, 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'count-key': '@missing'}), ({'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-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': '', 'identity-tag': ['null', ''], 'count-key': '@null'}), ({'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': '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'})], 5: [({'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'}), ({'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': '', 'identity-tag': ['null', ''], 'missing-distinction': False, 'null-label': '(no value)', 'null-operand': {'is_null': True}}{'count-key': '@null', 'empty-caption': '', 'identity-tag': ['null', ''], 'missing-distinction': False, 'null-label': '(no value)', 'null-operand': {'is_null': True}}Passed
contract fixture 1{'count-key': '@null', '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'}}Failed
contract fixture 2{'count-key': '@null', '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'}}Failed
contract fixture 3{'count-key': '@null', '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'}}Failed
contract fixture 4{'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 5{'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 6{'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 7{'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 8{'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
contract fixture 9{'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

SHA-256 / 0cce52ca7e1a7fdd37412f70ce4a2361d3dec51ac8d372455f16b4171f58f9d2

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-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': '', 'identity-tag': ['null', ''], 'count-key': '@null'}), ({'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': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': True, 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], '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'}), ({'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'})], 2: [({'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': 'missing', 'value': 'null'}, {'null-label': 'null', 'null-operand': {'eq': 'null'}, 'missing-distinction': True, 'empty-caption': 'null', 'identity-tag': ['missing', 'null'], 'count-key': '@missing'}), ({'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-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': '', 'identity-tag': ['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': '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': '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': 'x'}, {'null-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': 'x', 'identity-tag': ['null', 'x'], 'count-key': '@null'}), ({'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': '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': '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'})], 4: [({'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': 'x'}, {'null-label': 'x', 'null-operand': {'eq': 'x'}, 'missing-distinction': True, 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'count-key': '@missing'}), ({'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-label': '(no value)', 'null-operand': {'is_null': True}, 'missing-distinction': False, 'empty-caption': '', 'identity-tag': ['null', ''], 'count-key': '@null'}), ({'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': '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'})], 5: [({'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'}), ({'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': '', 'identity-tag': ['null', ''], 'missing-distinction': False, 'null-label': '(no value)', 'null-operand': {'is_null': True}}{'count-key': '@null', 'empty-caption': '', 'identity-tag': ['null', ''], 'missing-distinction': False, 'null-label': '(no value)', 'null-operand': {'is_null': True}}Passed
contract fixture 1{'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 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': '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 4{'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 5{'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 6{'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 7{'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 8{'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
contract fixture 9{'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

SHA-256 / c97168efdd3c75c286d8b1b6cc7e9615cd1b968d9e9d1e10b25e740f333dff6d

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

Case digest / d75b26a0e882368e4a9c155b273bb31d1606185ab3d6b857f79240c2d6cf9e27