{"abstract":"No-element matching still has operands while empty and missing modes do not is violated by the widget projection.","category":"Filter interfaces","checks":10,"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: No-element matching still has operands while empty and missing modes do not.","contract_signature":"d","evaluation_group":"s3-filter-interfaces-collection-facet-editor","failed_approach":"The attempted correction `d['mode'] in ('any','all')` still violates the explicit contract fixtures.","family":"s3-filter-interfaces-collection-facet-editor-element-editor","id":"FA-26286","implementations":{"attempt":{"sha256":"fde307854b2964b878da659389fb5949e3b4c307945f2ec5fc33abb8283cab82","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    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')), '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'])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'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': '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': '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': ['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'}), ({'mode': 'empty', 'values': ['x', 'y'], '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'})], 2: [({'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': 'none', 'values': ['x'], 'present': False, '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': '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': 'empty', 'values': [], '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': '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': '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', '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'}), ({'mode': 'missing', 'values': ['x', 'y'], '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'})], 4: [({'mode': 'empty', 'values': [], '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': 'none', 'values': ['x', 'y'], 'present': False, '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': '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': 'empty', 'values': [], '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'}), ({'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': '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': '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'}), ({'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'})]}\nfor index, (data, expected) in enumerate(fixtures[N]):\n    check(\"contract fixture \" + str(index), solve(data), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"852ccf128fe6fe4588218a443a4a37fb982de2d57d9c602064cc44fc9c38dfdc","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'quantifier-caption':({'any':'at least one','all':'every','none':'no element','empty':'empty collection','missing':'missing field'}[d['mode']]), 'element-editor':(d['mode']!='missing'), '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'])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'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': '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': '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': ['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'}), ({'mode': 'empty', 'values': ['x', 'y'], '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'})], 2: [({'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': 'none', 'values': ['x'], 'present': False, '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': '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': 'empty', 'values': [], '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': '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': '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', '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'}), ({'mode': 'missing', 'values': ['x', 'y'], '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'})], 4: [({'mode': 'empty', 'values': [], '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': 'none', 'values': ['x', 'y'], 'present': False, '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': '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': 'empty', 'values': [], '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'}), ({'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': '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': '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'}), ({'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'})]}\nfor index, (data, expected) in enumerate(fixtures[N]):\n    check(\"contract fixture \" + str(index), solve(data), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-filter-interfaces-collection-facet-editor-element-editor","generated_at":"2026-09-29T14:41:14.584520+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Filter-widget state and serialization must preserve user constraints while the view changes.","root_cause":"The element-editor decision uses `d['mode']!='missing'` instead of the stipulated collection-facet-editor projection.","sha256":"58ebc70c413990100b45f7424acc78a0af1f3ec8d72536bdd47864de113fed63","title":"No-element matching still has operands while empty and missing modes do not · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":40.528,"exit_code":1,"observations":[{"actual":{"all-empty-warning":false,"element-editor":false,"empty-collection-evidence":false,"operator-key":"collection.empty","quantifier-caption":"empty collection","unary-collection-value":null},"check":"contract fixture 0","expected":{"all-empty-warning":false,"element-editor":false,"empty-collection-evidence":false,"operator-key":"collection.empty","quantifier-caption":"empty collection","unary-collection-value":null},"passed":true},{"actual":{"all-empty-warning":false,"element-editor":false,"empty-collection-evidence":false,"operator-key":"collection.none","quantifier-caption":"no element","unary-collection-value":[]},"check":"contract fixture 1","expected":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.none","quantifier-caption":"no element","unary-collection-value":[]},"passed":false},{"actual":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.any","quantifier-caption":"at least one","unary-collection-value":["x"]},"check":"contract fixture 2","expected":{"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":true},{"actual":{"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"]},"check":"contract fixture 3","expected":{"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":true},{"actual":{"all-empty-warning":true,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.all","quantifier-caption":"every","unary-collection-value":[]},"check":"contract fixture 4","expected":{"all-empty-warning":true,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.all","quantifier-caption":"every","unary-collection-value":[]},"passed":true},{"actual":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.all","quantifier-caption":"every","unary-collection-value":["x","y"]},"check":"contract fixture 5","expected":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.all","quantifier-caption":"every","unary-collection-value":["x","y"]},"passed":true},{"actual":{"all-empty-warning":false,"element-editor":false,"empty-collection-evidence":false,"operator-key":"collection.none","quantifier-caption":"no element","unary-collection-value":["x"]},"check":"contract fixture 6","expected":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.none","quantifier-caption":"no element","unary-collection-value":["x"]},"passed":false},{"actual":{"all-empty-warning":false,"element-editor":false,"empty-collection-evidence":false,"operator-key":"collection.empty","quantifier-caption":"empty collection","unary-collection-value":null},"check":"contract fixture 7","expected":{"all-empty-warning":false,"element-editor":false,"empty-collection-evidence":false,"operator-key":"collection.empty","quantifier-caption":"empty collection","unary-collection-value":null},"passed":true},{"actual":{"all-empty-warning":false,"element-editor":false,"empty-collection-evidence":false,"operator-key":"collection.empty","quantifier-caption":"empty collection","unary-collection-value":null},"check":"contract fixture 8","expected":{"all-empty-warning":false,"element-editor":false,"empty-collection-evidence":false,"operator-key":"collection.empty","quantifier-caption":"empty collection","unary-collection-value":null},"passed":true},{"actual":{"all-empty-warning":false,"element-editor":false,"empty-collection-evidence":false,"operator-key":"collection.empty","quantifier-caption":"empty collection","unary-collection-value":null},"check":"contract fixture 9","expected":{"all-empty-warning":false,"element-editor":false,"empty-collection-evidence":false,"operator-key":"collection.empty","quantifier-caption":"empty collection","unary-collection-value":null},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"quantifier-caption\": \"empty collection\", \"element-editor\": false, \"unary-collection-value\": null, \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.empty\"}, \"expected\": {\"quantifier-caption\": \"empty collection\", \"element-editor\": false, \"unary-collection-value\": null, \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.empty\"}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"actual\": {\"quantifier-caption\": \"no element\", \"element-editor\": false, \"unary-collection-value\": [], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.none\"}, \"expected\": {\"quantifier-caption\": \"no element\", \"element-editor\": true, \"unary-collection-value\": [], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.none\"}, \"passed\": false}, {\"check\": \"contract fixture 2\", \"actual\": {\"quantifier-caption\": \"at least one\", \"element-editor\": true, \"unary-collection-value\": [\"x\"], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.any\"}, \"expected\": {\"quantifier-caption\": \"at least one\", \"element-editor\": true, \"unary-collection-value\": [\"x\"], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.any\"}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"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\"}, \"expected\": {\"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\"}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"quantifier-caption\": \"every\", \"element-editor\": true, \"unary-collection-value\": [], \"all-empty-warning\": true, \"empty-collection-evidence\": false, \"operator-key\": \"collection.all\"}, \"expected\": {\"quantifier-caption\": \"every\", \"element-editor\": true, \"unary-collection-value\": [], \"all-empty-warning\": true, \"empty-collection-evidence\": false, \"operator-key\": \"collection.all\"}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"quantifier-caption\": \"every\", \"element-editor\": true, \"unary-collection-value\": [\"x\", \"y\"], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.all\"}, \"expected\": {\"quantifier-caption\": \"every\", \"element-editor\": true, \"unary-collection-value\": [\"x\", \"y\"], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.all\"}, \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": {\"quantifier-caption\": \"no element\", \"element-editor\": false, \"unary-collection-value\": [\"x\"], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.none\"}, \"expected\": {\"quantifier-caption\": \"no element\", \"element-editor\": true, \"unary-collection-value\": [\"x\"], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.none\"}, \"passed\": false}, {\"check\": \"contract fixture 7\", \"actual\": {\"quantifier-caption\": \"empty collection\", \"element-editor\": false, \"unary-collection-value\": null, \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.empty\"}, \"expected\": {\"quantifier-caption\": \"empty collection\", \"element-editor\": false, \"unary-collection-value\": null, \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.empty\"}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"quantifier-caption\": \"empty collection\", \"element-editor\": false, \"unary-collection-value\": null, \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.empty\"}, \"expected\": {\"quantifier-caption\": \"empty collection\", \"element-editor\": false, \"unary-collection-value\": null, \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.empty\"}, \"passed\": true}, {\"check\": \"contract fixture 9\", \"actual\": {\"quantifier-caption\": \"empty collection\", \"element-editor\": false, \"unary-collection-value\": null, \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.empty\"}, \"expected\": {\"quantifier-caption\": \"empty collection\", \"element-editor\": false, \"unary-collection-value\": null, \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.empty\"}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.935,"exit_code":1,"observations":[{"actual":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.empty","quantifier-caption":"empty collection","unary-collection-value":null},"check":"contract fixture 0","expected":{"all-empty-warning":false,"element-editor":false,"empty-collection-evidence":false,"operator-key":"collection.empty","quantifier-caption":"empty collection","unary-collection-value":null},"passed":false},{"actual":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.none","quantifier-caption":"no element","unary-collection-value":[]},"check":"contract fixture 1","expected":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.none","quantifier-caption":"no element","unary-collection-value":[]},"passed":true},{"actual":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.any","quantifier-caption":"at least one","unary-collection-value":["x"]},"check":"contract fixture 2","expected":{"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":true},{"actual":{"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"]},"check":"contract fixture 3","expected":{"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":true},{"actual":{"all-empty-warning":true,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.all","quantifier-caption":"every","unary-collection-value":[]},"check":"contract fixture 4","expected":{"all-empty-warning":true,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.all","quantifier-caption":"every","unary-collection-value":[]},"passed":true},{"actual":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.all","quantifier-caption":"every","unary-collection-value":["x","y"]},"check":"contract fixture 5","expected":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.all","quantifier-caption":"every","unary-collection-value":["x","y"]},"passed":true},{"actual":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.none","quantifier-caption":"no element","unary-collection-value":["x"]},"check":"contract fixture 6","expected":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.none","quantifier-caption":"no element","unary-collection-value":["x"]},"passed":true},{"actual":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.empty","quantifier-caption":"empty collection","unary-collection-value":null},"check":"contract fixture 7","expected":{"all-empty-warning":false,"element-editor":false,"empty-collection-evidence":false,"operator-key":"collection.empty","quantifier-caption":"empty collection","unary-collection-value":null},"passed":false},{"actual":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.empty","quantifier-caption":"empty collection","unary-collection-value":null},"check":"contract fixture 8","expected":{"all-empty-warning":false,"element-editor":false,"empty-collection-evidence":false,"operator-key":"collection.empty","quantifier-caption":"empty collection","unary-collection-value":null},"passed":false},{"actual":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.empty","quantifier-caption":"empty collection","unary-collection-value":null},"check":"contract fixture 9","expected":{"all-empty-warning":false,"element-editor":false,"empty-collection-evidence":false,"operator-key":"collection.empty","quantifier-caption":"empty collection","unary-collection-value":null},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"quantifier-caption\": \"empty collection\", \"element-editor\": true, \"unary-collection-value\": null, \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.empty\"}, \"expected\": {\"quantifier-caption\": \"empty collection\", \"element-editor\": false, \"unary-collection-value\": null, \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.empty\"}, \"passed\": false}, {\"check\": \"contract fixture 1\", \"actual\": {\"quantifier-caption\": \"no element\", \"element-editor\": true, \"unary-collection-value\": [], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.none\"}, \"expected\": {\"quantifier-caption\": \"no element\", \"element-editor\": true, \"unary-collection-value\": [], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.none\"}, \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": {\"quantifier-caption\": \"at least one\", \"element-editor\": true, \"unary-collection-value\": [\"x\"], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.any\"}, \"expected\": {\"quantifier-caption\": \"at least one\", \"element-editor\": true, \"unary-collection-value\": [\"x\"], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.any\"}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"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\"}, \"expected\": {\"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\"}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"quantifier-caption\": \"every\", \"element-editor\": true, \"unary-collection-value\": [], \"all-empty-warning\": true, \"empty-collection-evidence\": false, \"operator-key\": \"collection.all\"}, \"expected\": {\"quantifier-caption\": \"every\", \"element-editor\": true, \"unary-collection-value\": [], \"all-empty-warning\": true, \"empty-collection-evidence\": false, \"operator-key\": \"collection.all\"}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"quantifier-caption\": \"every\", \"element-editor\": true, \"unary-collection-value\": [\"x\", \"y\"], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.all\"}, \"expected\": {\"quantifier-caption\": \"every\", \"element-editor\": true, \"unary-collection-value\": [\"x\", \"y\"], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.all\"}, \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": {\"quantifier-caption\": \"no element\", \"element-editor\": true, \"unary-collection-value\": [\"x\"], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.none\"}, \"expected\": {\"quantifier-caption\": \"no element\", \"element-editor\": true, \"unary-collection-value\": [\"x\"], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.none\"}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"quantifier-caption\": \"empty collection\", \"element-editor\": true, \"unary-collection-value\": null, \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.empty\"}, \"expected\": {\"quantifier-caption\": \"empty collection\", \"element-editor\": false, \"unary-collection-value\": null, \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.empty\"}, \"passed\": false}, {\"check\": \"contract fixture 8\", \"actual\": {\"quantifier-caption\": \"empty collection\", \"element-editor\": true, \"unary-collection-value\": null, \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.empty\"}, \"expected\": {\"quantifier-caption\": \"empty collection\", \"element-editor\": false, \"unary-collection-value\": null, \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.empty\"}, \"passed\": false}, {\"check\": \"contract fixture 9\", \"actual\": {\"quantifier-caption\": \"empty collection\", \"element-editor\": true, \"unary-collection-value\": null, \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.empty\"}, \"expected\": {\"quantifier-caption\": \"empty collection\", \"element-editor\": false, \"unary-collection-value\": null, \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.empty\"}, \"passed\": false}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}