{"abstract":"Serialized collection operators preserve their namespaced quantifier 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: Serialized collection operators preserve their namespaced quantifier.","evaluation_group":"s3-filter-interfaces-collection-facet-editor","failed_approach":"The attempted correction `'collection.any' if d['mode'] in ('all','any') else 'collection.'+d['mode']` still violates the explicit contract fixtures.","family":"s3-filter-interfaces-collection-facet-editor-operator-key","id":"FA-26306","implementations":{"attempt":{"sha256":"23baf25413ca41646c46ee63860fc32946be711f72160f2f89fdd4b480ae8df4","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','none')), 'unary-collection-value':(d['values'] if d['mode'] in ('any','all','none') else None), 'all-empty-warning':(d['mode']=='all' and d['values']==[]), 'empty-collection-evidence':(d['present'] and d['collection']==[]), 'operator-key':('collection.any' if d['mode'] in ('all','any') else 'collection.'+d['mode'])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'mode': 'any', 'values': [], 'present': False, 'collection': None}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'any', 'values': ['x'], 'present': False, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'any', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': False, 'collection': []}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x'], 'present': True, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'})], 2: [({'mode': 'any', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x'], 'present': False, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'any', 'values': ['x', 'y'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': []}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': True, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': False, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': True, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': [], 'present': False, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': True, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.empty'})], 3: [({'mode': 'any', 'values': [], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x'], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': True, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x', 'y'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': ['x'], 'present': False, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'missing', 'values': [], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'})], 4: [({'mode': 'any', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': False, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x'], 'present': True, 'collection': []}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': False, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x', 'y'], 'present': True, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': ['x'], 'present': False, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'missing', 'values': [], 'present': True, 'collection': []}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.missing'}), ({'mode': 'missing', 'values': ['x', 'y'], 'present': False, 'collection': None}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'})], 5: [({'mode': 'any', 'values': [], 'present': True, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': ['x'], 'present': False, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': [], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': False, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'missing', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'}), ({'mode': 'missing', 'values': ['x'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'}), ({'mode': 'any', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'})]}\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":"b3b128152b2502dd6fb4ecf2a434e353d8a08f3e84332dfd800eb8e6fb5c7407","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','none')), 'unary-collection-value':(d['values'] if d['mode'] in ('any','all','none') else None), 'all-empty-warning':(d['mode']=='all' and d['values']==[]), 'empty-collection-evidence':(d['present'] and d['collection']==[]), 'operator-key':(d['mode'])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'mode': 'any', 'values': [], 'present': False, 'collection': None}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'any', 'values': ['x'], 'present': False, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'any', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': False, 'collection': []}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x'], 'present': True, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'})], 2: [({'mode': 'any', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x'], 'present': False, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'any', 'values': ['x', 'y'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': []}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': True, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': False, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': True, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': [], 'present': False, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': True, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.empty'})], 3: [({'mode': 'any', 'values': [], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x'], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': True, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x', 'y'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': ['x'], 'present': False, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'missing', 'values': [], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'})], 4: [({'mode': 'any', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': False, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x'], 'present': True, 'collection': []}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': False, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x', 'y'], 'present': True, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': ['x'], 'present': False, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'missing', 'values': [], 'present': True, 'collection': []}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.missing'}), ({'mode': 'missing', 'values': ['x', 'y'], 'present': False, 'collection': None}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'})], 5: [({'mode': 'any', 'values': [], 'present': True, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': ['x'], 'present': False, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': [], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': False, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'missing', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'}), ({'mode': 'missing', 'values': ['x'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'}), ({'mode': 'any', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'})]}\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"},"fixed":{"sha256":"98e6dd580c609abb18841dffc206a821edd43a4185b20e4a93e6d9a8d4620d69","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','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'])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'mode': 'any', 'values': [], 'present': False, 'collection': None}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'any', 'values': ['x'], 'present': False, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'any', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': False, 'collection': []}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x'], 'present': True, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'})], 2: [({'mode': 'any', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x'], 'present': False, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'any', 'values': ['x', 'y'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': []}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': True, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': False, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': True, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': [], 'present': False, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': True, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.empty'})], 3: [({'mode': 'any', 'values': [], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x'], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': True, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': True, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x', 'y'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': ['x'], 'present': False, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'missing', 'values': [], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'})], 4: [({'mode': 'any', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': False, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x'], 'present': True, 'collection': []}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': [], 'present': False, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x', 'y'], 'present': True, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': ['x'], 'present': False, 'collection': None}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': False, 'collection': ['x']}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'missing', 'values': [], 'present': True, 'collection': []}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.missing'}), ({'mode': 'missing', 'values': ['x', 'y'], 'present': False, 'collection': None}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'})], 5: [({'mode': 'any', 'values': [], 'present': True, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': True, 'operator-key': 'collection.any'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'all', 'values': ['x', 'y'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'every', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.all'}), ({'mode': 'none', 'values': ['x'], 'present': False, 'collection': []}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'none', 'values': ['x', 'y'], 'present': True, 'collection': None}, {'quantifier-caption': 'no element', 'element-editor': True, 'unary-collection-value': ['x', 'y'], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.none'}), ({'mode': 'empty', 'values': [], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'empty', 'values': ['x', 'y'], 'present': False, 'collection': []}, {'quantifier-caption': 'empty collection', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.empty'}), ({'mode': 'missing', 'values': [], 'present': True, 'collection': None}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'}), ({'mode': 'missing', 'values': ['x'], 'present': True, 'collection': ['x']}, {'quantifier-caption': 'missing field', 'element-editor': False, 'unary-collection-value': None, 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.missing'}), ({'mode': 'any', 'values': [], 'present': False, 'collection': []}, {'quantifier-caption': 'at least one', 'element-editor': True, 'unary-collection-value': [], 'all-empty-warning': False, 'empty-collection-evidence': False, 'operator-key': 'collection.any'})]}\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-operator-key","generated_at":"2026-09-29T14:41:14.843552+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.","repair":"Implement the declared operator-key projection: `'collection.'+d['mode']`.","root_cause":"The operator-key decision uses `d['mode']` instead of the stipulated collection-facet-editor projection.","sha256":"a8b4aa28636d8db67f4aef9fb8c5d5533571234031446dc895eb7d8c25ac1316","title":"Serialized collection operators preserve their namespaced quantifier · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.822,"exit_code":1,"observations":[{"actual":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.any","quantifier-caption":"at least one","unary-collection-value":[]},"check":"contract fixture 0","expected":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.any","quantifier-caption":"at least one","unary-collection-value":[]},"passed":true},{"actual":{"all-empty-warning":true,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.any","quantifier-caption":"every","unary-collection-value":[]},"check":"contract fixture 1","expected":{"all-empty-warning":true,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.all","quantifier-caption":"every","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.any","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":false},{"actual":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.any","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":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 6","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.none","quantifier-caption":"no element","unary-collection-value":["x"]},"check":"contract fixture 7","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":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\": \"at least one\", \"element-editor\": true, \"unary-collection-value\": [], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.any\"}, \"expected\": {\"quantifier-caption\": \"at least one\", \"element-editor\": true, \"unary-collection-value\": [], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.any\"}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"actual\": {\"quantifier-caption\": \"every\", \"element-editor\": true, \"unary-collection-value\": [], \"all-empty-warning\": true, \"empty-collection-evidence\": false, \"operator-key\": \"collection.any\"}, \"expected\": {\"quantifier-caption\": \"every\", \"element-editor\": true, \"unary-collection-value\": [], \"all-empty-warning\": true, \"empty-collection-evidence\": false, \"operator-key\": \"collection.all\"}, \"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.any\"}, \"expected\": {\"quantifier-caption\": \"every\", \"element-editor\": true, \"unary-collection-value\": [], \"all-empty-warning\": true, \"empty-collection-evidence\": false, \"operator-key\": \"collection.all\"}, \"passed\": false}, {\"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.any\"}, \"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\": false}, {\"check\": \"contract fixture 6\", \"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 7\", \"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 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":40.399,"exit_code":1,"observations":[{"actual":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"any","quantifier-caption":"at least one","unary-collection-value":[]},"check":"contract fixture 0","expected":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.any","quantifier-caption":"at least one","unary-collection-value":[]},"passed":false},{"actual":{"all-empty-warning":true,"element-editor":true,"empty-collection-evidence":false,"operator-key":"all","quantifier-caption":"every","unary-collection-value":[]},"check":"contract fixture 1","expected":{"all-empty-warning":true,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.all","quantifier-caption":"every","unary-collection-value":[]},"passed":false},{"actual":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"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":false},{"actual":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"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":false},{"actual":{"all-empty-warning":true,"element-editor":true,"empty-collection-evidence":false,"operator-key":"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":false},{"actual":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"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":false},{"actual":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"none","quantifier-caption":"no element","unary-collection-value":[]},"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":[]},"passed":false},{"actual":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"none","quantifier-caption":"no element","unary-collection-value":["x"]},"check":"contract fixture 7","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":"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":false,"empty-collection-evidence":false,"operator-key":"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\": \"at least one\", \"element-editor\": true, \"unary-collection-value\": [], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"any\"}, \"expected\": {\"quantifier-caption\": \"at least one\", \"element-editor\": true, \"unary-collection-value\": [], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.any\"}, \"passed\": false}, {\"check\": \"contract fixture 1\", \"actual\": {\"quantifier-caption\": \"every\", \"element-editor\": true, \"unary-collection-value\": [], \"all-empty-warning\": true, \"empty-collection-evidence\": false, \"operator-key\": \"all\"}, \"expected\": {\"quantifier-caption\": \"every\", \"element-editor\": true, \"unary-collection-value\": [], \"all-empty-warning\": true, \"empty-collection-evidence\": false, \"operator-key\": \"collection.all\"}, \"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\": \"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\": false}, {\"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\": \"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\": false}, {\"check\": \"contract fixture 4\", \"actual\": {\"quantifier-caption\": \"every\", \"element-editor\": true, \"unary-collection-value\": [], \"all-empty-warning\": true, \"empty-collection-evidence\": false, \"operator-key\": \"all\"}, \"expected\": {\"quantifier-caption\": \"every\", \"element-editor\": true, \"unary-collection-value\": [], \"all-empty-warning\": true, \"empty-collection-evidence\": false, \"operator-key\": \"collection.all\"}, \"passed\": false}, {\"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\": \"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\": false}, {\"check\": \"contract fixture 6\", \"actual\": {\"quantifier-caption\": \"no element\", \"element-editor\": true, \"unary-collection-value\": [], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"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 7\", \"actual\": {\"quantifier-caption\": \"no element\", \"element-editor\": true, \"unary-collection-value\": [\"x\"], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"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 8\", \"actual\": {\"quantifier-caption\": \"empty collection\", \"element-editor\": false, \"unary-collection-value\": null, \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"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\": false, \"unary-collection-value\": null, \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"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"},"fixed":{"elapsed_ms":40.979,"exit_code":0,"observations":[{"actual":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.any","quantifier-caption":"at least one","unary-collection-value":[]},"check":"contract fixture 0","expected":{"all-empty-warning":false,"element-editor":true,"empty-collection-evidence":false,"operator-key":"collection.any","quantifier-caption":"at least one","unary-collection-value":[]},"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 1","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.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":[]},"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":[]},"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 7","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":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":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"quantifier-caption\": \"at least one\", \"element-editor\": true, \"unary-collection-value\": [], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.any\"}, \"expected\": {\"quantifier-caption\": \"at least one\", \"element-editor\": true, \"unary-collection-value\": [], \"all-empty-warning\": false, \"empty-collection-evidence\": false, \"operator-key\": \"collection.any\"}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"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 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\": [], \"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 7\", \"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 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\": true}\n"}},"verified":true,"visibility":"public"}