FAILURE MAP
← Case archive

FA-26306 / Filter interfaces / Open access

Serialized collection operators preserve their namespaced quantifier · case 01

Serialized collection operators preserve their namespaced quantifier is violated by the widget projection.

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

ROOT CAUSE

The operator-key decision uses `d['mode']` instead of the stipulated collection-facet-editor projection.

VERIFIED REPAIR

Implement the declared operator-key projection: `'collection.'+d['mode']`.

Unsuccessful approach: The attempted correction `'collection.any' if d['mode'] in ('all','any') else 'collection.'+d['mode']` still violates the explicit contract fixtures.

Case contract

Collection-valued fields expose any/all/none element match modes distinct from empty-collection and missing-field predicates; switching to unary collection modes removes element operands. This example checks: Serialized collection operators preserve their namespaced quantifier.

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 {'quantifier-caption':({'any':'at least one','all':'every','none':'no element','empty':'empty collection','missing':'missing field'}[d['mode']]), 'element-editor':(d['mode'] in ('any','all','none')), 'unary-collection-value':(d['values'] if d['mode'] in ('any','all','none') else None), 'all-empty-warning':(d['mode']=='all' and d['values']==[]), 'empty-collection-evidence':(d['present'] and d['collection']==[]), 'operator-key':(d['mode'])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'mode': 'any', 'values': [], 'present': False, 'collection': None}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'any', 'values': ['x'], 'present': False, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'any', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': False, 'collection': []}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x'], 'present': True, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'})], 2: [({'mode': 'any', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x'], 'present': False, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'any', 'values': ['x', 'y'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': []}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': True, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': False, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': True, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': [], 'present': False, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': True, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.empty'})], 3: [({'mode': 'any', 'values': [], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x'], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': True, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x', 'y'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': ['x'], 'present': False, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'missing', 'values': [], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'})], 4: [({'mode': 'any', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': False, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x'], 'present': True, 'collection': []}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': False, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x', 'y'], 'present': True, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': ['x'], 'present': False, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'missing', 'values': [], 'present': True, 'collection': []}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.missing'}), ({'mode': 'missing', 'values': ['x', 'y'], 'present': False, 'collection': None}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'})], 5: [({'mode': 'any', 'values': [], 'present': True, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': ['x'], 'present': False, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': [], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': False, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'missing', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'}), ({'mode': 'missing', 'values': ['x'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'}), ({'mode': 'any', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'})]}
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{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'any', 'quantifier-caption': 'at least one', 'unary-collection-value': []}{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.any', 'quantifier-caption': 'at least one', 'unary-collection-value': []}Failed
contract fixture 1{'all-empty-warning': True, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'all', 'quantifier-caption': 'every', 'unary-collection-value': []}{'all-empty-warning': True, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all', 'quantifier-caption': 'every', 'unary-collection-value': []}Failed
contract fixture 2{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'any', 'quantifier-caption': 'at least one', 'unary-collection-value': ['x']}{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.any', 'quantifier-caption': 'at least one', 'unary-collection-value': ['x']}Failed
contract fixture 3{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'any', 'quantifier-caption': 'at least one', 'unary-collection-value': ['x', 'y']}{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.any', 'quantifier-caption': 'at least one', 'unary-collection-value': ['x', 'y']}Failed
contract fixture 4{'all-empty-warning': True, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'all', 'quantifier-caption': 'every', 'unary-collection-value': []}{'all-empty-warning': True, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all', 'quantifier-caption': 'every', 'unary-collection-value': []}Failed
contract fixture 5{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'all', 'quantifier-caption': 'every', 'unary-collection-value': ['x', 'y']}{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all', 'quantifier-caption': 'every', 'unary-collection-value': ['x', 'y']}Failed
contract fixture 6{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'none', 'quantifier-caption': 'no element', 'unary-collection-value': []}{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.none', 'quantifier-caption': 'no element', 'unary-collection-value': []}Failed
contract fixture 7{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'none', 'quantifier-caption': 'no element', 'unary-collection-value': ['x']}{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.none', 'quantifier-caption': 'no element', 'unary-collection-value': ['x']}Failed
contract fixture 8{'all-empty-warning': False, 'element-editor': False, 'empty-collection-evidence': False, 'operator-key': 'empty', 'quantifier-caption': 'empty collection', 'unary-collection-value': None}{'all-empty-warning': False, 'element-editor': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty', 'quantifier-caption': 'empty collection', 'unary-collection-value': None}Failed
contract fixture 9{'all-empty-warning': False, 'element-editor': False, 'empty-collection-evidence': False, 'operator-key': 'empty', 'quantifier-caption': 'empty collection', 'unary-collection-value': None}{'all-empty-warning': False, 'element-editor': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty', 'quantifier-caption': 'empty collection', 'unary-collection-value': None}Failed

SHA-256 / b3b128152b2502dd6fb4ecf2a434e353d8a08f3e84332dfd800eb8e6fb5c7407

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(d):
    return {'quantifier-caption':({'any':'at least one','all':'every','none':'no element','empty':'empty collection','missing':'missing field'}[d['mode']]), 'element-editor':(d['mode'] in ('any','all','none')), 'unary-collection-value':(d['values'] if d['mode'] in ('any','all','none') else None), 'all-empty-warning':(d['mode']=='all' and d['values']==[]), 'empty-collection-evidence':(d['present'] and d['collection']==[]), 'operator-key':('collection.any' if d['mode'] in ('all','any') else 'collection.'+d['mode'])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'mode': 'any', 'values': [], 'present': False, 'collection': None}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'any', 'values': ['x'], 'present': False, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'any', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': False, 'collection': []}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x'], 'present': True, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'})], 2: [({'mode': 'any', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x'], 'present': False, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'any', 'values': ['x', 'y'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': []}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': True, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': False, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': True, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': [], 'present': False, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': True, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.empty'})], 3: [({'mode': 'any', 'values': [], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x'], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': True, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x', 'y'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': ['x'], 'present': False, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'missing', 'values': [], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'})], 4: [({'mode': 'any', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': False, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x'], 'present': True, 'collection': []}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': False, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x', 'y'], 'present': True, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': ['x'], 'present': False, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'missing', 'values': [], 'present': True, 'collection': []}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.missing'}), ({'mode': 'missing', 'values': ['x', 'y'], 'present': False, 'collection': None}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'})], 5: [({'mode': 'any', 'values': [], 'present': True, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': ['x'], 'present': False, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': [], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': False, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'missing', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'}), ({'mode': 'missing', 'values': ['x'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'}), ({'mode': 'any', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'})]}
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{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.any', 'quantifier-caption': 'at least one', 'unary-collection-value': []}{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.any', 'quantifier-caption': 'at least one', 'unary-collection-value': []}Passed
contract fixture 1{'all-empty-warning': True, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.any', 'quantifier-caption': 'every', 'unary-collection-value': []}{'all-empty-warning': True, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all', 'quantifier-caption': 'every', 'unary-collection-value': []}Failed
contract fixture 2{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.any', 'quantifier-caption': 'at least one', 'unary-collection-value': ['x']}{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.any', 'quantifier-caption': 'at least one', 'unary-collection-value': ['x']}Passed
contract fixture 3{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.any', 'quantifier-caption': 'at least one', 'unary-collection-value': ['x', 'y']}{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.any', 'quantifier-caption': 'at least one', 'unary-collection-value': ['x', 'y']}Passed
contract fixture 4{'all-empty-warning': True, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.any', 'quantifier-caption': 'every', 'unary-collection-value': []}{'all-empty-warning': True, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all', 'quantifier-caption': 'every', 'unary-collection-value': []}Failed
contract fixture 5{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.any', 'quantifier-caption': 'every', 'unary-collection-value': ['x', 'y']}{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all', 'quantifier-caption': 'every', 'unary-collection-value': ['x', 'y']}Failed
contract fixture 6{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.none', 'quantifier-caption': 'no element', 'unary-collection-value': []}{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.none', 'quantifier-caption': 'no element', 'unary-collection-value': []}Passed
contract fixture 7{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.none', 'quantifier-caption': 'no element', 'unary-collection-value': ['x']}{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.none', 'quantifier-caption': 'no element', 'unary-collection-value': ['x']}Passed
contract fixture 8{'all-empty-warning': False, 'element-editor': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty', 'quantifier-caption': 'empty collection', 'unary-collection-value': None}{'all-empty-warning': False, 'element-editor': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty', 'quantifier-caption': 'empty collection', 'unary-collection-value': None}Passed
contract fixture 9{'all-empty-warning': False, 'element-editor': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty', 'quantifier-caption': 'empty collection', 'unary-collection-value': None}{'all-empty-warning': False, 'element-editor': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty', 'quantifier-caption': 'empty collection', 'unary-collection-value': None}Passed

SHA-256 / 23baf25413ca41646c46ee63860fc32946be711f72160f2f89fdd4b480ae8df4

3 / The verified repair

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

N = 1
observations = []
def solve(d):
    return {'quantifier-caption':({'any':'at least one','all':'every','none':'no element','empty':'empty collection','missing':'missing field'}[d['mode']]), 'element-editor':(d['mode'] in ('any','all','none')), 'unary-collection-value':(d['values'] if d['mode'] in ('any','all','none') else None), 'all-empty-warning':(d['mode']=='all' and d['values']==[]), 'empty-collection-evidence':(d['present'] and d['collection']==[]), 'operator-key':('collection.'+d['mode'])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'mode': 'any', 'values': [], 'present': False, 'collection': None}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'any', 'values': ['x'], 'present': False, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'any', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': False, 'collection': []}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x'], 'present': True, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'})], 2: [({'mode': 'any', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x'], 'present': False, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'any', 'values': ['x', 'y'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': []}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': True, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': False, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': True, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': [], 'present': False, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': True, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.empty'})], 3: [({'mode': 'any', 'values': [], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x'], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': True, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x', 'y'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': ['x'], 'present': False, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'missing', 'values': [], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'})], 4: [({'mode': 'any', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': False, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x'], 'present': True, 'collection': []}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': False, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x', 'y'], 'present': True, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': ['x'], 'present': False, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'missing', 'values': [], 'present': True, 'collection': []}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.missing'}), ({'mode': 'missing', 'values': ['x', 'y'], 'present': False, 'collection': None}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'})], 5: [({'mode': 'any', 'values': [], 'present': True, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': ['x'], 'present': False, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': [], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': False, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'missing', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'}), ({'mode': 'missing', 'values': ['x'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'}), ({'mode': 'any', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'})]}
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{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.any', 'quantifier-caption': 'at least one', 'unary-collection-value': []}{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.any', 'quantifier-caption': 'at least one', 'unary-collection-value': []}Passed
contract fixture 1{'all-empty-warning': True, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all', 'quantifier-caption': 'every', 'unary-collection-value': []}{'all-empty-warning': True, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all', 'quantifier-caption': 'every', 'unary-collection-value': []}Passed
contract fixture 2{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.any', 'quantifier-caption': 'at least one', 'unary-collection-value': ['x']}{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.any', 'quantifier-caption': 'at least one', 'unary-collection-value': ['x']}Passed
contract fixture 3{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.any', 'quantifier-caption': 'at least one', 'unary-collection-value': ['x', 'y']}{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.any', 'quantifier-caption': 'at least one', 'unary-collection-value': ['x', 'y']}Passed
contract fixture 4{'all-empty-warning': True, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all', 'quantifier-caption': 'every', 'unary-collection-value': []}{'all-empty-warning': True, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all', 'quantifier-caption': 'every', 'unary-collection-value': []}Passed
contract fixture 5{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all', 'quantifier-caption': 'every', 'unary-collection-value': ['x', 'y']}{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all', 'quantifier-caption': 'every', 'unary-collection-value': ['x', 'y']}Passed
contract fixture 6{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.none', 'quantifier-caption': 'no element', 'unary-collection-value': []}{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.none', 'quantifier-caption': 'no element', 'unary-collection-value': []}Passed
contract fixture 7{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.none', 'quantifier-caption': 'no element', 'unary-collection-value': ['x']}{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': False, 'operator-key': 'collection.none', 'quantifier-caption': 'no element', 'unary-collection-value': ['x']}Passed
contract fixture 8{'all-empty-warning': False, 'element-editor': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty', 'quantifier-caption': 'empty collection', 'unary-collection-value': None}{'all-empty-warning': False, 'element-editor': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty', 'quantifier-caption': 'empty collection', 'unary-collection-value': None}Passed
contract fixture 9{'all-empty-warning': False, 'element-editor': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty', 'quantifier-caption': 'empty collection', 'unary-collection-value': None}{'all-empty-warning': False, 'element-editor': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty', 'quantifier-caption': 'empty collection', 'unary-collection-value': None}Passed

SHA-256 / 98e6dd580c609abb18841dffc206a821edd43a4185b20e4a93e6d9a8d4620d69

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

Case digest / a8b4aa28636d8db67f4aef9fb8c5d5533571234031446dc895eb7d8c25ac1316