FAILURE MAP
← Case archive

FA-25481 / Filter interfaces / Open access

Missing-field indicators do not collapse null or empty-string options · case 01

Missing-field indicators do not collapse null or empty-string options is violated by the widget projection.

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

ROOT CAUSE

The missing-distinction decision uses `d['kind'] in ('null','missing')` instead of the stipulated null-facet projection.

VERIFIED REPAIR

Implement the declared missing-distinction projection: `d['kind']=='missing'`.

Unsuccessful approach: The attempted correction `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: Missing-field indicators do not collapse null or empty-string options.

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'] in ('null','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': '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': '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': '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': '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': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': True, 'empty-caption': '0', 'identity-tag': ['missing', '0'], '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': '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'})], 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': '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': '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'})], 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': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': True, 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'count-key': '@missing'}), ({'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': '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': True, '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': '@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': True, '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 / 5e922c7fef0e3588de8933fd33825a3998c7c4a1b453b84683dd8460b73d41f3

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['value']==''), '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': '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': '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': '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': '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': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': True, 'empty-caption': '0', 'identity-tag': ['missing', '0'], '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': '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'})], 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': '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': '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'})], 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': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': True, 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'count-key': '@missing'}), ({'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': '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': True, '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': '@missing', 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'missing-distinction': False, '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': '@missing', 'empty-caption': 'x', 'identity-tag': ['missing', 'x'], 'missing-distinction': False, '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': '@missing', 'empty-caption': 'None', 'identity-tag': ['missing', 'None'], 'missing-distinction': False, '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': True, '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': '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 / 999962f96a14b883a117ac2312c9fd2ae27cc1e4a8d4346b59d0a21bf1567d42

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': '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': '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': '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': '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': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': True, 'empty-caption': '0', 'identity-tag': ['missing', '0'], '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': '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'})], 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': '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': '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'})], 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': '0'}, {'null-label': '0', 'null-operand': {'eq': '0'}, 'missing-distinction': True, 'empty-caption': '0', 'identity-tag': ['missing', '0'], 'count-key': '@missing'}), ({'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': '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 / 6de410b5dde3b2cc938706e475d7391c1fc2d5c935c1d2c9e1b345126be9257b

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

Case digest / 8d54430733203c5fef84135934ac2036431e39651d9d349886bad2e74213aaca