FAILURE MAP
← Case archive

FA-25401 / Filter interfaces / Open access

Missing-value operators require both nullable fields and advertised support · case 01

Missing-value operators require both nullable fields and advertised support is violated by the widget projection.

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

ROOT CAUSE

The nullable-op decision uses `d['nullable']` instead of the stipulated predicate-row-schema projection.

VERIFIED REPAIR

Implement the declared nullable-op projection: `'missing' in d['supported'] and d['nullable']`.

Unsuccessful approach: The attempted correction `'missing' in d['supported']` still violates the explicit contract fixtures.

Case contract

A filter-builder row uses schema capability lists to determine available operators and reset incompatible operands when its field changes. This example checks: Missing-value operators require both nullable fields and advertised support.

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 {'operator-options':([x for x in d['operators'] if x in d['supported']]), 'retain-operator':(d['op'] if d['op'] in d['supported'] else d['default']), 'operand-reset':(d['value'] if d['old_type']==d['new_type'] else None), 'unknown-field':(d['field'] not in d['fields']), 'nullable-op':(d['nullable']), 'row-complete':(d['field'] in d['fields'] and d['op'] in d['supported'] and (d['op']=='missing' or d['value'] is not None))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': True}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': True, 'nullable-op': False, 'row-complete': False})], 2: [({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': False, 'nullable-op': True, 'row-complete': True}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False})], 3: [({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': False, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': True, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': 0, 'unknown-field': False, 'nullable-op': False, 'row-complete': True})], 4: [({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': 0, 'unknown-field': False, 'nullable-op': False, 'row-complete': True}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': True, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': True}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': False, 'nullable-op': True, 'row-complete': True}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': 0, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': True, 'nullable-op': True, 'row-complete': False})], 5: [({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': False, 'nullable-op': False, 'row-complete': True}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': True, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': True}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False})]}
for index, (data, expected) in enumerate(fixtures[N]):
    check("contract fixture " + str(index), solve(data), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
contract fixture 0{'nullable-op': True, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}Failed
contract fixture 1{'nullable-op': False, 'operand-reset': None, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}{'nullable-op': False, 'operand-reset': None, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}Passed
contract fixture 2{'nullable-op': True, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}Failed
contract fixture 3{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': True, 'unknown-field': False}{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': True, 'unknown-field': False}Passed
contract fixture 4{'nullable-op': True, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}Failed
contract fixture 5{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}Passed
contract fixture 6{'nullable-op': True, 'operand-reset': 0, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}{'nullable-op': False, 'operand-reset': 0, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}Failed
contract fixture 7{'nullable-op': False, 'operand-reset': None, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}{'nullable-op': False, 'operand-reset': None, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}Passed
contract fixture 8{'nullable-op': True, 'operand-reset': None, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}{'nullable-op': True, 'operand-reset': None, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}Passed
contract fixture 9{'nullable-op': False, 'operand-reset': 0, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}{'nullable-op': False, 'operand-reset': 0, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}Passed

SHA-256 / 786725d47a62ac22d09b8aebb692a636938f30be01f534a9a3c4cb8c7afee4bd

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(d):
    return {'operator-options':([x for x in d['operators'] if x in d['supported']]), 'retain-operator':(d['op'] if d['op'] in d['supported'] else d['default']), 'operand-reset':(d['value'] if d['old_type']==d['new_type'] else None), 'unknown-field':(d['field'] not in d['fields']), 'nullable-op':('missing' in d['supported']), 'row-complete':(d['field'] in d['fields'] and d['op'] in d['supported'] and (d['op']=='missing' or d['value'] is not None))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': True}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': True, 'nullable-op': False, 'row-complete': False})], 2: [({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': False, 'nullable-op': True, 'row-complete': True}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False})], 3: [({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': False, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': True, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': 0, 'unknown-field': False, 'nullable-op': False, 'row-complete': True})], 4: [({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': 0, 'unknown-field': False, 'nullable-op': False, 'row-complete': True}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': True, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': True}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': False, 'nullable-op': True, 'row-complete': True}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': 0, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': True, 'nullable-op': True, 'row-complete': False})], 5: [({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': False, 'nullable-op': False, 'row-complete': True}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': True, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': True}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False})]}
for index, (data, expected) in enumerate(fixtures[N]):
    check("contract fixture " + str(index), solve(data), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
contract fixture 0{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}Passed
contract fixture 1{'nullable-op': True, 'operand-reset': None, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}{'nullable-op': False, 'operand-reset': None, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}Failed
contract fixture 2{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}Passed
contract fixture 3{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': True, 'unknown-field': False}{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': True, 'unknown-field': False}Passed
contract fixture 4{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}Passed
contract fixture 5{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}Passed
contract fixture 6{'nullable-op': False, 'operand-reset': 0, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}{'nullable-op': False, 'operand-reset': 0, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}Passed
contract fixture 7{'nullable-op': True, 'operand-reset': None, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}{'nullable-op': False, 'operand-reset': None, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}Failed
contract fixture 8{'nullable-op': True, 'operand-reset': None, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}{'nullable-op': True, 'operand-reset': None, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}Passed
contract fixture 9{'nullable-op': True, 'operand-reset': 0, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}{'nullable-op': False, 'operand-reset': 0, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}Failed

SHA-256 / 510ffa59c3a7f360b0425f74d5a1f6fc03931414009e13e88dce3b85ca6b8740

3 / The verified repair

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

N = 1
observations = []
def solve(d):
    return {'operator-options':([x for x in d['operators'] if x in d['supported']]), 'retain-operator':(d['op'] if d['op'] in d['supported'] else d['default']), 'operand-reset':(d['value'] if d['old_type']==d['new_type'] else None), 'unknown-field':(d['field'] not in d['fields']), 'nullable-op':('missing' in d['supported'] and d['nullable']), 'row-complete':(d['field'] in d['fields'] and d['op'] in d['supported'] and (d['op']=='missing' or d['value'] is not None))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': True}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': True, 'nullable-op': False, 'row-complete': False})], 2: [({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': False, 'nullable-op': True, 'row-complete': True}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False})], 3: [({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': False, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': True, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': 0, 'unknown-field': False, 'nullable-op': False, 'row-complete': True})], 4: [({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': 0, 'unknown-field': False, 'nullable-op': False, 'row-complete': True}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': True, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': True}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': False, 'nullable-op': True, 'row-complete': True}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': 0, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': True, 'nullable-op': True, 'row-complete': False})], 5: [({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': False, 'nullable-op': False, 'row-complete': True}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': 0, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'eq', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': True}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': True, 'nullable-op': True, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['missing', 'in'], 'op': 'missing', 'default': 'eq', 'value': 0, 'old_type': 'number', 'new_type': 'text', 'field': 'a', 'fields': ['a'], 'nullable': False}, {'operator-options': ['missing'], 'retain-operator': 'missing', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': True}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'number', 'field': 'a', 'fields': ['a'], 'nullable': True}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': False, 'nullable-op': False, 'row-complete': False}), ({'operators': ['eq', 'missing'], 'supported': ['eq'], 'op': 'eq', 'default': 'eq', 'value': None, 'old_type': 'number', 'new_type': 'text', 'field': 'z', 'fields': ['a'], 'nullable': False}, {'operator-options': ['eq'], 'retain-operator': 'eq', 'operand-reset': None, 'unknown-field': True, 'nullable-op': False, 'row-complete': False})]}
for index, (data, expected) in enumerate(fixtures[N]):
    check("contract fixture " + str(index), solve(data), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
contract fixture 0{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}Passed
contract fixture 1{'nullable-op': False, 'operand-reset': None, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}{'nullable-op': False, 'operand-reset': None, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}Passed
contract fixture 2{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}Passed
contract fixture 3{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': True, 'unknown-field': False}{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': True, 'unknown-field': False}Passed
contract fixture 4{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}Passed
contract fixture 5{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}{'nullable-op': False, 'operand-reset': None, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}Passed
contract fixture 6{'nullable-op': False, 'operand-reset': 0, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}{'nullable-op': False, 'operand-reset': 0, 'operator-options': ['eq'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}Passed
contract fixture 7{'nullable-op': False, 'operand-reset': None, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}{'nullable-op': False, 'operand-reset': None, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}Passed
contract fixture 8{'nullable-op': True, 'operand-reset': None, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}{'nullable-op': True, 'operand-reset': None, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': False}Passed
contract fixture 9{'nullable-op': False, 'operand-reset': 0, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}{'nullable-op': False, 'operand-reset': 0, 'operator-options': ['missing'], 'retain-operator': 'eq', 'row-complete': False, 'unknown-field': True}Passed

SHA-256 / 06f6300e6a24fdbbda358ba99d98e2e7570cc453fa8bbb5b6a6c109ebc24f049

Verification & scope

Deterministic bounded UI-state model only; no browser, query engine, network, or production-standard conformance is claimed. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.

Observations recorded using Python 3.12.14 at 2026-09-29T14:41:06.343602+00:00.

Case digest / b8e46ad6d1d4b873f4493c5e928a8d16cc0d7cfe00616666519f44811e0cd5aa