FAILURE MAP
← Case archive

FA-26301 / Filter interfaces / Open access

Empty collection facet evidence requires a present array rather than null or missing data · case 01

Empty collection facet evidence requires a present array rather than null or missing data is violated by the widget projection.

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

ROOT CAUSE

The empty-collection-evidence decision uses `not d['collection']` instead of the stipulated collection-facet-editor projection.

VERIFIED REPAIR

Implement the declared empty-collection-evidence projection: `d['present'] and d['collection']==[]`.

Unsuccessful approach: The attempted correction `d['collection']==[]` 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: Empty collection facet evidence requires a present array rather than null or missing data.

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':(not 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': False, 'collection': []}, {'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': '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': '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': 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': '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': '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': ['x'], 'present': False, 'collection': None}, {'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': 'missing', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'}), ({'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': ['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': [], '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', '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': ['x'], 'present': True, 'collection': None}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': ['x'], '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': True, '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': []}Failed
contract fixture 1{'all-empty-warning': True, 'element-editor': True, 'empty-collection-evidence': True, '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': []}Failed
contract fixture 2{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': True, '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']}Failed
contract fixture 3{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': True, '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']}Failed
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': True, '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']}Failed
contract fixture 6{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': True, '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': []}Failed
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': True, '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}Failed
contract fixture 9{'all-empty-warning': False, 'element-editor': False, 'empty-collection-evidence': True, '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}Failed

SHA-256 / b5d93803a640ca879625afaf633ca32d65282c48a880b772048b2853c8b09b1a

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['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': False, 'collection': []}, {'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': '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': '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': 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': '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': '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': ['x'], 'present': False, 'collection': None}, {'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': 'missing', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'}), ({'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': ['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': [], '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', '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': ['x'], 'present': True, 'collection': None}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': ['x'], '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': True, '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': []}Failed
contract fixture 2{'all-empty-warning': False, 'element-editor': True, 'empty-collection-evidence': True, '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']}Failed
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': True, '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']}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': True, '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}Failed
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 / 36bdf8117e8a9b073d317de98f3bf89da5337aa1a1fa1a418deb262f471622d3

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': False, 'collection': []}, {'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': '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': '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': 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': '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': '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': ['x'], 'present': False, 'collection': None}, {'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': 'missing', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'}), ({'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': ['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': [], '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', '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': ['x'], 'present': True, 'collection': None}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': ['x'], '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 / ceb609241cc3a05e0c9e226ebe6aca8eddf36595bd22c095531eef7ae99695a4

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

Case digest / d492c16091ae46370b38b99b2b90b5771fc1b137b638dd6933c6aa8df4397188