{"abstract":"Key projection strips metadata from distinct observer output records; the returned lifecycle plan violates the stated transition contract.","category":"Listener lifecycle","checks":8,"contract":"Plan a consecutive-distinct observer stage with explicit initialized bit. None and zero are valid keys. Comparison uses the incoming key and previous accepted key. A reset clears initialization but does not emit data. Comparator failure terminates the stage without replacing the prior key. Nonconsecutive repeats remain eligible. Suppressed values do not consume downstream credit. A prior composite key is snapshotted before the selector appends parts to its live storage; comparator-left receives the pre-selector list exactly. Selector/comparator call trace is select, then compare only when a previous key is initialized; absent input makes no calls. Key extraction may read a record but output records preserve every original field, including metadata on later records. A reset requested inside one active equality comparison is applied at comparator exit; outside a comparison it applies at its own trace position. Optional selected keys are [present,value]; equality compares presence first and compares values only for two present keys. Inputs are finite state snapshots, including transitional and stale states; output fields are the exact independent actions/metadata defined by the corrected expression table. Numeric fixture capacities and counts vary with N.\nField definitions, each independently computed from the input snapshot: first = not s['initialized']; emit = s['has_value'] and s['error'] is None and (not s['initialized'] or not s['equal']); initialized = False if s['reset'] else s['initialized'] or (s['has_value'] and s['error'] is None); previous = s['key'] if s['has_value'] and s['error'] is None and (not s['initialized'] or not s['equal']) else s['previous']; comparator_left = list(s['previous_parts']); comparator_right = (['select']+(['compare'] if s['initialized'] else [])) if s['has_value'] else []; payload = [dict(r) for r in s['records']]; credit = max(0,s['credit']-int(s['has_value'] and s['error'] is None and (not s['initialized'] or not s['equal']))); compare = s['key_a'][0]==s['key_b'][0] and (not s['key_a'][0] or s['key_a'][1]==s['key_b'][1]); reset_emit = (s['comparison_trace'].index('exit') if 'enter' in s['comparison_trace'] and 'exit' in s['comparison_trace'] and s['comparison_trace'].index('enter')<s['comparison_trace'].index('reset')<s['comparison_trace'].index('exit') else s['comparison_trace'].index('reset')) if 'reset' in s['comparison_trace'] else None","evaluation_group":"s3-listener-distinct-stage","failed_approach":"The partial repair uses [dict(r) if i==0 else {'key':r['key']} for i,r in enumerate(s['records'])]; a retained regression distinguishes it from the full transition.","family":"s3-listener-distinct-stage-payload","id":"FA-42421","implementations":{"attempt":{"sha256":"4550500db7366c83fe70a87d26afb73796470a6faef87e0e88bf2d7eb8f79fd5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'first': not s['initialized'],\n        'emit': s['has_value'] and s['error'] is None and (not s['initialized'] or not s['equal']),\n        'initialized': False if s['reset'] else s['initialized'] or (s['has_value'] and s['error'] is None),\n        'previous': s['key'] if s['has_value'] and s['error'] is None and (not s['initialized'] or not s['equal']) else s['previous'],\n        'comparator_left': list(s['previous_parts']),\n        'comparator_right': (['select']+(['compare'] if s['initialized'] else [])) if s['has_value'] else [],\n        'payload': [dict(r) if i==0 else {'key':r['key']} for i,r in enumerate(s['records'])],\n        'credit': max(0,s['credit']-int(s['has_value'] and s['error'] is None and (not s['initialized'] or not s['equal']))),\n        'compare': s['key_a'][0]==s['key_b'][0] and (not s['key_a'][0] or s['key_a'][1]==s['key_b'][1]),\n        'reset_emit': (s['comparison_trace'].index('exit') if 'enter' in s['comparison_trace'] and 'exit' in s['comparison_trace'] and s['comparison_trace'].index('enter')<s['comparison_trace'].index('reset')<s['comparison_trace'].index('exit') else s['comparison_trace'].index('reset')) if 'reset' in s['comparison_trace'] else None,\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'initialized': False, 'previous': 'a', 'key': 0, 'value': 'payload', 'equal': False, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 1, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [True, 'a'], 'key_b': [True, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a'], 'comparator_right': ['select'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 1, 'compare': False, 'reset_emit': 2}), ({'initialized': False, 'previous': None, 'key': 0, 'value': 0, 'equal': True, 'error': 'compare', 'reset': False, 'has_value': True, 'credit': 3, 'seen': [], 'previous_parts': [], 'selector_appends': ['new'], 'records': [], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': [], 'comparator_right': ['select'], 'payload': [], 'credit': 3, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': None, 'equal': False, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 1, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [], 'comparison_trace': ['reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, None]}, {'first': False, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [], 'credit': 1, 'compare': False, 'reset_emit': 0}), ({'initialized': True, 'previous': None, 'key': None, 'value': 0, 'equal': False, 'error': None, 'reset': True, 'has_value': False, 'credit': 0, 'seen': [], 'previous_parts': ['a'], 'selector_appends': [], 'records': [], 'comparison_trace': [], 'key_a': [True, None], 'key_b': [False, None]}, {'first': False, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': ['a'], 'comparator_right': [], 'payload': [], 'credit': 0, 'compare': False, 'reset_emit': None}), ({'initialized': False, 'previous': None, 'key': None, 'value': None, 'equal': False, 'error': None, 'reset': True, 'has_value': False, 'credit': 1, 'seen': [], 'previous_parts': [], 'selector_appends': [], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, None], 'key_b': [True, 'b']}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': [], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 1, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 'a', 'key': None, 'value': None, 'equal': False, 'error': 'compare', 'reset': False, 'has_value': False, 'credit': 3, 'seen': [], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, None], 'key_b': [True, None]}, {'first': False, 'emit': False, 'initialized': True, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 3, 'compare': True, 'reset_emit': 2}), ({'initialized': False, 'previous': None, 'key': None, 'value': None, 'equal': False, 'error': None, 'reset': False, 'has_value': False, 'credit': 0, 'seen': [], 'previous_parts': [], 'selector_appends': [], 'records': [], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': [], 'comparator_right': [], 'payload': [], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': 'payload', 'equal': True, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 3, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 3, 'compare': False, 'reset_emit': 2})], 2: [({'initialized': False, 'previous': 'a', 'key': 'b', 'value': None, 'equal': False, 'error': 'compare', 'reset': False, 'has_value': True, 'credit': 6, 'seen': [], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [True, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 6, 'compare': False, 'reset_emit': None}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': 'payload', 'equal': False, 'error': None, 'reset': True, 'has_value': True, 'credit': 6, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': True, 'initialized': False, 'previous': 'b', 'comparator_left': ['a'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 5, 'compare': False, 'reset_emit': 2}), ({'initialized': False, 'previous': None, 'key': 'b', 'value': 'payload', 'equal': False, 'error': 'compare', 'reset': False, 'has_value': True, 'credit': 6, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': [], 'records': [], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': ['a'], 'comparator_right': ['select'], 'payload': [], 'credit': 6, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': None, 'key': None, 'value': 'payload', 'equal': False, 'error': None, 'reset': True, 'has_value': False, 'credit': 1, 'seen': [], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, None], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': ['a', 'b'], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 1, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 'a', 'key': None, 'value': 0, 'equal': True, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 1, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [False, None], 'key_b': [False, None]}, {'first': False, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 1, 'compare': True, 'reset_emit': 2}), ({'initialized': False, 'previous': 'a', 'key': 'b', 'value': 0, 'equal': True, 'error': 'compare', 'reset': False, 'has_value': False, 'credit': 6, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [True, 'a'], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a'], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 6, 'compare': False, 'reset_emit': 2}), ({'initialized': False, 'previous': None, 'key': None, 'value': None, 'equal': False, 'error': None, 'reset': False, 'has_value': False, 'credit': 0, 'seen': [], 'previous_parts': [], 'selector_appends': [], 'records': [], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': [], 'comparator_right': [], 'payload': [], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': 'payload', 'equal': True, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 6, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 6, 'compare': False, 'reset_emit': 2})], 3: [({'initialized': False, 'previous': 0, 'key': 'b', 'value': None, 'equal': False, 'error': 'compare', 'reset': False, 'has_value': True, 'credit': 9, 'seen': [], 'previous_parts': ['a'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [True, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': 0, 'comparator_left': ['a'], 'comparator_right': ['select'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 9, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': None, 'key': None, 'value': 'payload', 'equal': True, 'error': None, 'reset': False, 'has_value': True, 'credit': 0, 'seen': [], 'previous_parts': ['a'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': [], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': True, 'previous': None, 'comparator_left': ['a'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 0, 'compare': False, 'reset_emit': None}), ({'initialized': True, 'previous': 0, 'key': 'b', 'value': 'payload', 'equal': True, 'error': 'compare', 'reset': True, 'has_value': False, 'credit': 0, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': ['a'], 'records': [], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [False, None]}, {'first': False, 'emit': False, 'initialized': False, 'previous': 0, 'comparator_left': ['a'], 'comparator_right': [], 'payload': [], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': False, 'previous': 'a', 'key': 'b', 'value': 0, 'equal': False, 'error': None, 'reset': True, 'has_value': False, 'credit': 0, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a'], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': True, 'previous': 0, 'key': 'b', 'value': 0, 'equal': False, 'error': None, 'reset': True, 'has_value': True, 'credit': 9, 'seen': ['a', 'b'], 'previous_parts': [], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': [], 'key_a': [True, 'a'], 'key_b': [False, None]}, {'first': False, 'emit': True, 'initialized': False, 'previous': 'b', 'comparator_left': [], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 8, 'compare': False, 'reset_emit': None}), ({'initialized': True, 'previous': None, 'key': None, 'value': 'payload', 'equal': True, 'error': None, 'reset': False, 'has_value': False, 'credit': 0, 'seen': [], 'previous_parts': [], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': [], 'key_a': [True, None], 'key_b': [True, None]}, {'first': False, 'emit': False, 'initialized': True, 'previous': None, 'comparator_left': [], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': False, 'previous': None, 'key': None, 'value': None, 'equal': False, 'error': None, 'reset': False, 'has_value': False, 'credit': 0, 'seen': [], 'previous_parts': [], 'selector_appends': [], 'records': [], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': [], 'comparator_right': [], 'payload': [], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': 'payload', 'equal': True, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 9, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 9, 'compare': False, 'reset_emit': 2})], 4: [({'initialized': False, 'previous': 'a', 'key': None, 'value': None, 'equal': False, 'error': 'compare', 'reset': False, 'has_value': True, 'credit': 12, 'seen': [], 'previous_parts': [], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [True, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': [], 'comparator_right': ['select'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 12, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 'a', 'key': 0, 'value': 'payload', 'equal': False, 'error': None, 'reset': True, 'has_value': True, 'credit': 0, 'seen': [], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': True, 'initialized': False, 'previous': 0, 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 0, 'compare': False, 'reset_emit': 0}), ({'initialized': True, 'previous': 0, 'key': 0, 'value': None, 'equal': False, 'error': None, 'reset': True, 'has_value': False, 'credit': 1, 'seen': ['a', 'b'], 'previous_parts': [], 'selector_appends': [], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [False, None]}, {'first': False, 'emit': False, 'initialized': False, 'previous': 0, 'comparator_left': [], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 1, 'compare': False, 'reset_emit': 2}), ({'initialized': False, 'previous': None, 'key': 'b', 'value': 0, 'equal': False, 'error': None, 'reset': True, 'has_value': False, 'credit': 12, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['reset', 'next'], 'key_a': [True, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': ['a', 'b'], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 12, 'compare': False, 'reset_emit': 0}), ({'initialized': False, 'previous': 'a', 'key': 'b', 'value': None, 'equal': True, 'error': 'compare', 'reset': True, 'has_value': False, 'credit': 1, 'seen': [], 'previous_parts': ['a'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['reset', 'next'], 'key_a': [True, 'a'], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a'], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 1, 'compare': False, 'reset_emit': 0}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': None, 'equal': True, 'error': None, 'reset': False, 'has_value': True, 'credit': 12, 'seen': [], 'previous_parts': ['a'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [False, None], 'key_b': [True, None]}, {'first': False, 'emit': False, 'initialized': True, 'previous': 'a', 'comparator_left': ['a'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 12, 'compare': False, 'reset_emit': 2}), ({'initialized': False, 'previous': None, 'key': None, 'value': None, 'equal': False, 'error': None, 'reset': False, 'has_value': False, 'credit': 0, 'seen': [], 'previous_parts': [], 'selector_appends': [], 'records': [], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': [], 'comparator_right': [], 'payload': [], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': 'payload', 'equal': True, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 12, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 12, 'compare': False, 'reset_emit': 2})], 5: [({'initialized': False, 'previous': 'a', 'key': None, 'value': 'payload', 'equal': False, 'error': 'compare', 'reset': False, 'has_value': True, 'credit': 15, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': True, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select'], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 15, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 0, 'key': 'b', 'value': None, 'equal': True, 'error': None, 'reset': True, 'has_value': True, 'credit': 1, 'seen': [], 'previous_parts': ['a'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [False, None], 'key_b': [True, None]}, {'first': False, 'emit': False, 'initialized': False, 'previous': 0, 'comparator_left': ['a'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 1, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 'a', 'key': None, 'value': 0, 'equal': True, 'error': None, 'reset': False, 'has_value': False, 'credit': 1, 'seen': [], 'previous_parts': ['a', 'b'], 'selector_appends': ['new'], 'records': [], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, None]}, {'first': False, 'emit': False, 'initialized': True, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': [], 'payload': [], 'credit': 1, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 0, 'key': None, 'value': 'payload', 'equal': True, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 15, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': False, 'previous': 0, 'comparator_left': ['a'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 15, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': None, 'key': None, 'value': 0, 'equal': False, 'error': None, 'reset': True, 'has_value': True, 'credit': 0, 'seen': [], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [True, None], 'key_b': [True, 'b']}, {'first': False, 'emit': True, 'initialized': False, 'previous': None, 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 0, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 'a', 'key': 0, 'value': 'payload', 'equal': False, 'error': 'compare', 'reset': False, 'has_value': False, 'credit': 15, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': [], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['reset', 'next'], 'key_a': [True, 'a'], 'key_b': [False, None]}, {'first': False, 'emit': False, 'initialized': True, 'previous': 'a', 'comparator_left': ['a'], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 15, 'compare': False, 'reset_emit': 0}), ({'initialized': False, 'previous': None, 'key': None, 'value': None, 'equal': False, 'error': None, 'reset': False, 'has_value': False, 'credit': 0, 'seen': [], 'previous_parts': [], 'selector_appends': [], 'records': [], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': [], 'comparator_right': [], 'payload': [], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': 'payload', 'equal': True, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 15, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 15, 'compare': False, 'reset_emit': 2})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), 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":"31f84f4250f5ce5741f5e2d651366e6b9f173b579f25fcecd3159171ff28b77f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'first': not s['initialized'],\n        'emit': s['has_value'] and s['error'] is None and (not s['initialized'] or not s['equal']),\n        'initialized': False if s['reset'] else s['initialized'] or (s['has_value'] and s['error'] is None),\n        'previous': s['key'] if s['has_value'] and s['error'] is None and (not s['initialized'] or not s['equal']) else s['previous'],\n        'comparator_left': list(s['previous_parts']),\n        'comparator_right': (['select']+(['compare'] if s['initialized'] else [])) if s['has_value'] else [],\n        'payload': [{'key':r['key']} for r in s['records']],\n        'credit': max(0,s['credit']-int(s['has_value'] and s['error'] is None and (not s['initialized'] or not s['equal']))),\n        'compare': s['key_a'][0]==s['key_b'][0] and (not s['key_a'][0] or s['key_a'][1]==s['key_b'][1]),\n        'reset_emit': (s['comparison_trace'].index('exit') if 'enter' in s['comparison_trace'] and 'exit' in s['comparison_trace'] and s['comparison_trace'].index('enter')<s['comparison_trace'].index('reset')<s['comparison_trace'].index('exit') else s['comparison_trace'].index('reset')) if 'reset' in s['comparison_trace'] else None,\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'initialized': False, 'previous': 'a', 'key': 0, 'value': 'payload', 'equal': False, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 1, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [True, 'a'], 'key_b': [True, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a'], 'comparator_right': ['select'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 1, 'compare': False, 'reset_emit': 2}), ({'initialized': False, 'previous': None, 'key': 0, 'value': 0, 'equal': True, 'error': 'compare', 'reset': False, 'has_value': True, 'credit': 3, 'seen': [], 'previous_parts': [], 'selector_appends': ['new'], 'records': [], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': [], 'comparator_right': ['select'], 'payload': [], 'credit': 3, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': None, 'equal': False, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 1, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [], 'comparison_trace': ['reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, None]}, {'first': False, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [], 'credit': 1, 'compare': False, 'reset_emit': 0}), ({'initialized': True, 'previous': None, 'key': None, 'value': 0, 'equal': False, 'error': None, 'reset': True, 'has_value': False, 'credit': 0, 'seen': [], 'previous_parts': ['a'], 'selector_appends': [], 'records': [], 'comparison_trace': [], 'key_a': [True, None], 'key_b': [False, None]}, {'first': False, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': ['a'], 'comparator_right': [], 'payload': [], 'credit': 0, 'compare': False, 'reset_emit': None}), ({'initialized': False, 'previous': None, 'key': None, 'value': None, 'equal': False, 'error': None, 'reset': True, 'has_value': False, 'credit': 1, 'seen': [], 'previous_parts': [], 'selector_appends': [], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, None], 'key_b': [True, 'b']}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': [], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 1, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 'a', 'key': None, 'value': None, 'equal': False, 'error': 'compare', 'reset': False, 'has_value': False, 'credit': 3, 'seen': [], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, None], 'key_b': [True, None]}, {'first': False, 'emit': False, 'initialized': True, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 3, 'compare': True, 'reset_emit': 2}), ({'initialized': False, 'previous': None, 'key': None, 'value': None, 'equal': False, 'error': None, 'reset': False, 'has_value': False, 'credit': 0, 'seen': [], 'previous_parts': [], 'selector_appends': [], 'records': [], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': [], 'comparator_right': [], 'payload': [], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': 'payload', 'equal': True, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 3, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 3, 'compare': False, 'reset_emit': 2})], 2: [({'initialized': False, 'previous': 'a', 'key': 'b', 'value': None, 'equal': False, 'error': 'compare', 'reset': False, 'has_value': True, 'credit': 6, 'seen': [], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [True, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 6, 'compare': False, 'reset_emit': None}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': 'payload', 'equal': False, 'error': None, 'reset': True, 'has_value': True, 'credit': 6, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': True, 'initialized': False, 'previous': 'b', 'comparator_left': ['a'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 5, 'compare': False, 'reset_emit': 2}), ({'initialized': False, 'previous': None, 'key': 'b', 'value': 'payload', 'equal': False, 'error': 'compare', 'reset': False, 'has_value': True, 'credit': 6, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': [], 'records': [], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': ['a'], 'comparator_right': ['select'], 'payload': [], 'credit': 6, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': None, 'key': None, 'value': 'payload', 'equal': False, 'error': None, 'reset': True, 'has_value': False, 'credit': 1, 'seen': [], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, None], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': ['a', 'b'], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 1, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 'a', 'key': None, 'value': 0, 'equal': True, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 1, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [False, None], 'key_b': [False, None]}, {'first': False, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 1, 'compare': True, 'reset_emit': 2}), ({'initialized': False, 'previous': 'a', 'key': 'b', 'value': 0, 'equal': True, 'error': 'compare', 'reset': False, 'has_value': False, 'credit': 6, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [True, 'a'], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a'], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 6, 'compare': False, 'reset_emit': 2}), ({'initialized': False, 'previous': None, 'key': None, 'value': None, 'equal': False, 'error': None, 'reset': False, 'has_value': False, 'credit': 0, 'seen': [], 'previous_parts': [], 'selector_appends': [], 'records': [], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': [], 'comparator_right': [], 'payload': [], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': 'payload', 'equal': True, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 6, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 6, 'compare': False, 'reset_emit': 2})], 3: [({'initialized': False, 'previous': 0, 'key': 'b', 'value': None, 'equal': False, 'error': 'compare', 'reset': False, 'has_value': True, 'credit': 9, 'seen': [], 'previous_parts': ['a'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [True, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': 0, 'comparator_left': ['a'], 'comparator_right': ['select'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 9, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': None, 'key': None, 'value': 'payload', 'equal': True, 'error': None, 'reset': False, 'has_value': True, 'credit': 0, 'seen': [], 'previous_parts': ['a'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': [], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': True, 'previous': None, 'comparator_left': ['a'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 0, 'compare': False, 'reset_emit': None}), ({'initialized': True, 'previous': 0, 'key': 'b', 'value': 'payload', 'equal': True, 'error': 'compare', 'reset': True, 'has_value': False, 'credit': 0, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': ['a'], 'records': [], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [False, None]}, {'first': False, 'emit': False, 'initialized': False, 'previous': 0, 'comparator_left': ['a'], 'comparator_right': [], 'payload': [], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': False, 'previous': 'a', 'key': 'b', 'value': 0, 'equal': False, 'error': None, 'reset': True, 'has_value': False, 'credit': 0, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a'], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': True, 'previous': 0, 'key': 'b', 'value': 0, 'equal': False, 'error': None, 'reset': True, 'has_value': True, 'credit': 9, 'seen': ['a', 'b'], 'previous_parts': [], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': [], 'key_a': [True, 'a'], 'key_b': [False, None]}, {'first': False, 'emit': True, 'initialized': False, 'previous': 'b', 'comparator_left': [], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 8, 'compare': False, 'reset_emit': None}), ({'initialized': True, 'previous': None, 'key': None, 'value': 'payload', 'equal': True, 'error': None, 'reset': False, 'has_value': False, 'credit': 0, 'seen': [], 'previous_parts': [], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': [], 'key_a': [True, None], 'key_b': [True, None]}, {'first': False, 'emit': False, 'initialized': True, 'previous': None, 'comparator_left': [], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': False, 'previous': None, 'key': None, 'value': None, 'equal': False, 'error': None, 'reset': False, 'has_value': False, 'credit': 0, 'seen': [], 'previous_parts': [], 'selector_appends': [], 'records': [], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': [], 'comparator_right': [], 'payload': [], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': 'payload', 'equal': True, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 9, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 9, 'compare': False, 'reset_emit': 2})], 4: [({'initialized': False, 'previous': 'a', 'key': None, 'value': None, 'equal': False, 'error': 'compare', 'reset': False, 'has_value': True, 'credit': 12, 'seen': [], 'previous_parts': [], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [True, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': [], 'comparator_right': ['select'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 12, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 'a', 'key': 0, 'value': 'payload', 'equal': False, 'error': None, 'reset': True, 'has_value': True, 'credit': 0, 'seen': [], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': True, 'initialized': False, 'previous': 0, 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 0, 'compare': False, 'reset_emit': 0}), ({'initialized': True, 'previous': 0, 'key': 0, 'value': None, 'equal': False, 'error': None, 'reset': True, 'has_value': False, 'credit': 1, 'seen': ['a', 'b'], 'previous_parts': [], 'selector_appends': [], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [False, None]}, {'first': False, 'emit': False, 'initialized': False, 'previous': 0, 'comparator_left': [], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 1, 'compare': False, 'reset_emit': 2}), ({'initialized': False, 'previous': None, 'key': 'b', 'value': 0, 'equal': False, 'error': None, 'reset': True, 'has_value': False, 'credit': 12, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['reset', 'next'], 'key_a': [True, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': ['a', 'b'], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 12, 'compare': False, 'reset_emit': 0}), ({'initialized': False, 'previous': 'a', 'key': 'b', 'value': None, 'equal': True, 'error': 'compare', 'reset': True, 'has_value': False, 'credit': 1, 'seen': [], 'previous_parts': ['a'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['reset', 'next'], 'key_a': [True, 'a'], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a'], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 1, 'compare': False, 'reset_emit': 0}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': None, 'equal': True, 'error': None, 'reset': False, 'has_value': True, 'credit': 12, 'seen': [], 'previous_parts': ['a'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [False, None], 'key_b': [True, None]}, {'first': False, 'emit': False, 'initialized': True, 'previous': 'a', 'comparator_left': ['a'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 12, 'compare': False, 'reset_emit': 2}), ({'initialized': False, 'previous': None, 'key': None, 'value': None, 'equal': False, 'error': None, 'reset': False, 'has_value': False, 'credit': 0, 'seen': [], 'previous_parts': [], 'selector_appends': [], 'records': [], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': [], 'comparator_right': [], 'payload': [], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': 'payload', 'equal': True, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 12, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 12, 'compare': False, 'reset_emit': 2})], 5: [({'initialized': False, 'previous': 'a', 'key': None, 'value': 'payload', 'equal': False, 'error': 'compare', 'reset': False, 'has_value': True, 'credit': 15, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': True, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select'], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 15, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 0, 'key': 'b', 'value': None, 'equal': True, 'error': None, 'reset': True, 'has_value': True, 'credit': 1, 'seen': [], 'previous_parts': ['a'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [False, None], 'key_b': [True, None]}, {'first': False, 'emit': False, 'initialized': False, 'previous': 0, 'comparator_left': ['a'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 1, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 'a', 'key': None, 'value': 0, 'equal': True, 'error': None, 'reset': False, 'has_value': False, 'credit': 1, 'seen': [], 'previous_parts': ['a', 'b'], 'selector_appends': ['new'], 'records': [], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, None]}, {'first': False, 'emit': False, 'initialized': True, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': [], 'payload': [], 'credit': 1, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 0, 'key': None, 'value': 'payload', 'equal': True, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 15, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': False, 'previous': 0, 'comparator_left': ['a'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 15, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': None, 'key': None, 'value': 0, 'equal': False, 'error': None, 'reset': True, 'has_value': True, 'credit': 0, 'seen': [], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [True, None], 'key_b': [True, 'b']}, {'first': False, 'emit': True, 'initialized': False, 'previous': None, 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 0, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 'a', 'key': 0, 'value': 'payload', 'equal': False, 'error': 'compare', 'reset': False, 'has_value': False, 'credit': 15, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': [], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['reset', 'next'], 'key_a': [True, 'a'], 'key_b': [False, None]}, {'first': False, 'emit': False, 'initialized': True, 'previous': 'a', 'comparator_left': ['a'], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 15, 'compare': False, 'reset_emit': 0}), ({'initialized': False, 'previous': None, 'key': None, 'value': None, 'equal': False, 'error': None, 'reset': False, 'has_value': False, 'credit': 0, 'seen': [], 'previous_parts': [], 'selector_appends': [], 'records': [], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': [], 'comparator_right': [], 'payload': [], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': 'payload', 'equal': True, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 15, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 15, 'compare': False, 'reset_emit': 2})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), 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":"10690be250279b2f64bcba1809a6d811f66ee35ddedc5a748edb8f1d3cb24216","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'first': not s['initialized'],\n        'emit': s['has_value'] and s['error'] is None and (not s['initialized'] or not s['equal']),\n        'initialized': False if s['reset'] else s['initialized'] or (s['has_value'] and s['error'] is None),\n        'previous': s['key'] if s['has_value'] and s['error'] is None and (not s['initialized'] or not s['equal']) else s['previous'],\n        'comparator_left': list(s['previous_parts']),\n        'comparator_right': (['select']+(['compare'] if s['initialized'] else [])) if s['has_value'] else [],\n        'payload': [dict(r) for r in s['records']],\n        'credit': max(0,s['credit']-int(s['has_value'] and s['error'] is None and (not s['initialized'] or not s['equal']))),\n        'compare': s['key_a'][0]==s['key_b'][0] and (not s['key_a'][0] or s['key_a'][1]==s['key_b'][1]),\n        'reset_emit': (s['comparison_trace'].index('exit') if 'enter' in s['comparison_trace'] and 'exit' in s['comparison_trace'] and s['comparison_trace'].index('enter')<s['comparison_trace'].index('reset')<s['comparison_trace'].index('exit') else s['comparison_trace'].index('reset')) if 'reset' in s['comparison_trace'] else None,\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'initialized': False, 'previous': 'a', 'key': 0, 'value': 'payload', 'equal': False, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 1, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [True, 'a'], 'key_b': [True, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a'], 'comparator_right': ['select'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 1, 'compare': False, 'reset_emit': 2}), ({'initialized': False, 'previous': None, 'key': 0, 'value': 0, 'equal': True, 'error': 'compare', 'reset': False, 'has_value': True, 'credit': 3, 'seen': [], 'previous_parts': [], 'selector_appends': ['new'], 'records': [], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': [], 'comparator_right': ['select'], 'payload': [], 'credit': 3, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': None, 'equal': False, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 1, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [], 'comparison_trace': ['reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, None]}, {'first': False, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [], 'credit': 1, 'compare': False, 'reset_emit': 0}), ({'initialized': True, 'previous': None, 'key': None, 'value': 0, 'equal': False, 'error': None, 'reset': True, 'has_value': False, 'credit': 0, 'seen': [], 'previous_parts': ['a'], 'selector_appends': [], 'records': [], 'comparison_trace': [], 'key_a': [True, None], 'key_b': [False, None]}, {'first': False, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': ['a'], 'comparator_right': [], 'payload': [], 'credit': 0, 'compare': False, 'reset_emit': None}), ({'initialized': False, 'previous': None, 'key': None, 'value': None, 'equal': False, 'error': None, 'reset': True, 'has_value': False, 'credit': 1, 'seen': [], 'previous_parts': [], 'selector_appends': [], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, None], 'key_b': [True, 'b']}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': [], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 1, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 'a', 'key': None, 'value': None, 'equal': False, 'error': 'compare', 'reset': False, 'has_value': False, 'credit': 3, 'seen': [], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, None], 'key_b': [True, None]}, {'first': False, 'emit': False, 'initialized': True, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 3, 'compare': True, 'reset_emit': 2}), ({'initialized': False, 'previous': None, 'key': None, 'value': None, 'equal': False, 'error': None, 'reset': False, 'has_value': False, 'credit': 0, 'seen': [], 'previous_parts': [], 'selector_appends': [], 'records': [], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': [], 'comparator_right': [], 'payload': [], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': 'payload', 'equal': True, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 3, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 3, 'compare': False, 'reset_emit': 2})], 2: [({'initialized': False, 'previous': 'a', 'key': 'b', 'value': None, 'equal': False, 'error': 'compare', 'reset': False, 'has_value': True, 'credit': 6, 'seen': [], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [True, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 6, 'compare': False, 'reset_emit': None}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': 'payload', 'equal': False, 'error': None, 'reset': True, 'has_value': True, 'credit': 6, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': True, 'initialized': False, 'previous': 'b', 'comparator_left': ['a'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 5, 'compare': False, 'reset_emit': 2}), ({'initialized': False, 'previous': None, 'key': 'b', 'value': 'payload', 'equal': False, 'error': 'compare', 'reset': False, 'has_value': True, 'credit': 6, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': [], 'records': [], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': ['a'], 'comparator_right': ['select'], 'payload': [], 'credit': 6, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': None, 'key': None, 'value': 'payload', 'equal': False, 'error': None, 'reset': True, 'has_value': False, 'credit': 1, 'seen': [], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, None], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': ['a', 'b'], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 1, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 'a', 'key': None, 'value': 0, 'equal': True, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 1, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [False, None], 'key_b': [False, None]}, {'first': False, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 1, 'compare': True, 'reset_emit': 2}), ({'initialized': False, 'previous': 'a', 'key': 'b', 'value': 0, 'equal': True, 'error': 'compare', 'reset': False, 'has_value': False, 'credit': 6, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [True, 'a'], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a'], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 6, 'compare': False, 'reset_emit': 2}), ({'initialized': False, 'previous': None, 'key': None, 'value': None, 'equal': False, 'error': None, 'reset': False, 'has_value': False, 'credit': 0, 'seen': [], 'previous_parts': [], 'selector_appends': [], 'records': [], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': [], 'comparator_right': [], 'payload': [], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': 'payload', 'equal': True, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 6, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 6, 'compare': False, 'reset_emit': 2})], 3: [({'initialized': False, 'previous': 0, 'key': 'b', 'value': None, 'equal': False, 'error': 'compare', 'reset': False, 'has_value': True, 'credit': 9, 'seen': [], 'previous_parts': ['a'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [True, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': 0, 'comparator_left': ['a'], 'comparator_right': ['select'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 9, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': None, 'key': None, 'value': 'payload', 'equal': True, 'error': None, 'reset': False, 'has_value': True, 'credit': 0, 'seen': [], 'previous_parts': ['a'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': [], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': True, 'previous': None, 'comparator_left': ['a'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 0, 'compare': False, 'reset_emit': None}), ({'initialized': True, 'previous': 0, 'key': 'b', 'value': 'payload', 'equal': True, 'error': 'compare', 'reset': True, 'has_value': False, 'credit': 0, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': ['a'], 'records': [], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [False, None]}, {'first': False, 'emit': False, 'initialized': False, 'previous': 0, 'comparator_left': ['a'], 'comparator_right': [], 'payload': [], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': False, 'previous': 'a', 'key': 'b', 'value': 0, 'equal': False, 'error': None, 'reset': True, 'has_value': False, 'credit': 0, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a'], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': True, 'previous': 0, 'key': 'b', 'value': 0, 'equal': False, 'error': None, 'reset': True, 'has_value': True, 'credit': 9, 'seen': ['a', 'b'], 'previous_parts': [], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': [], 'key_a': [True, 'a'], 'key_b': [False, None]}, {'first': False, 'emit': True, 'initialized': False, 'previous': 'b', 'comparator_left': [], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 8, 'compare': False, 'reset_emit': None}), ({'initialized': True, 'previous': None, 'key': None, 'value': 'payload', 'equal': True, 'error': None, 'reset': False, 'has_value': False, 'credit': 0, 'seen': [], 'previous_parts': [], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': [], 'key_a': [True, None], 'key_b': [True, None]}, {'first': False, 'emit': False, 'initialized': True, 'previous': None, 'comparator_left': [], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': False, 'previous': None, 'key': None, 'value': None, 'equal': False, 'error': None, 'reset': False, 'has_value': False, 'credit': 0, 'seen': [], 'previous_parts': [], 'selector_appends': [], 'records': [], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': [], 'comparator_right': [], 'payload': [], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': 'payload', 'equal': True, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 9, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 9, 'compare': False, 'reset_emit': 2})], 4: [({'initialized': False, 'previous': 'a', 'key': None, 'value': None, 'equal': False, 'error': 'compare', 'reset': False, 'has_value': True, 'credit': 12, 'seen': [], 'previous_parts': [], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [True, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': [], 'comparator_right': ['select'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 12, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 'a', 'key': 0, 'value': 'payload', 'equal': False, 'error': None, 'reset': True, 'has_value': True, 'credit': 0, 'seen': [], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': True, 'initialized': False, 'previous': 0, 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 0, 'compare': False, 'reset_emit': 0}), ({'initialized': True, 'previous': 0, 'key': 0, 'value': None, 'equal': False, 'error': None, 'reset': True, 'has_value': False, 'credit': 1, 'seen': ['a', 'b'], 'previous_parts': [], 'selector_appends': [], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [False, None]}, {'first': False, 'emit': False, 'initialized': False, 'previous': 0, 'comparator_left': [], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 1, 'compare': False, 'reset_emit': 2}), ({'initialized': False, 'previous': None, 'key': 'b', 'value': 0, 'equal': False, 'error': None, 'reset': True, 'has_value': False, 'credit': 12, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['reset', 'next'], 'key_a': [True, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': ['a', 'b'], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 12, 'compare': False, 'reset_emit': 0}), ({'initialized': False, 'previous': 'a', 'key': 'b', 'value': None, 'equal': True, 'error': 'compare', 'reset': True, 'has_value': False, 'credit': 1, 'seen': [], 'previous_parts': ['a'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['reset', 'next'], 'key_a': [True, 'a'], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a'], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 1, 'compare': False, 'reset_emit': 0}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': None, 'equal': True, 'error': None, 'reset': False, 'has_value': True, 'credit': 12, 'seen': [], 'previous_parts': ['a'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [False, None], 'key_b': [True, None]}, {'first': False, 'emit': False, 'initialized': True, 'previous': 'a', 'comparator_left': ['a'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 12, 'compare': False, 'reset_emit': 2}), ({'initialized': False, 'previous': None, 'key': None, 'value': None, 'equal': False, 'error': None, 'reset': False, 'has_value': False, 'credit': 0, 'seen': [], 'previous_parts': [], 'selector_appends': [], 'records': [], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': [], 'comparator_right': [], 'payload': [], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': 'payload', 'equal': True, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 12, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 12, 'compare': False, 'reset_emit': 2})], 5: [({'initialized': False, 'previous': 'a', 'key': None, 'value': 'payload', 'equal': False, 'error': 'compare', 'reset': False, 'has_value': True, 'credit': 15, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': True, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select'], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 15, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 0, 'key': 'b', 'value': None, 'equal': True, 'error': None, 'reset': True, 'has_value': True, 'credit': 1, 'seen': [], 'previous_parts': ['a'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [False, None], 'key_b': [True, None]}, {'first': False, 'emit': False, 'initialized': False, 'previous': 0, 'comparator_left': ['a'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 1, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 'a', 'key': None, 'value': 0, 'equal': True, 'error': None, 'reset': False, 'has_value': False, 'credit': 1, 'seen': [], 'previous_parts': ['a', 'b'], 'selector_appends': ['new'], 'records': [], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, None]}, {'first': False, 'emit': False, 'initialized': True, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': [], 'payload': [], 'credit': 1, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 0, 'key': None, 'value': 'payload', 'equal': True, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 15, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': False, 'previous': 0, 'comparator_left': ['a'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 15, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': None, 'key': None, 'value': 0, 'equal': False, 'error': None, 'reset': True, 'has_value': True, 'credit': 0, 'seen': [], 'previous_parts': ['a', 'b'], 'selector_appends': ['a'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'reset', 'exit', 'next'], 'key_a': [True, None], 'key_b': [True, 'b']}, {'first': False, 'emit': True, 'initialized': False, 'previous': None, 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 0, 'compare': False, 'reset_emit': 2}), ({'initialized': True, 'previous': 'a', 'key': 0, 'value': 'payload', 'equal': False, 'error': 'compare', 'reset': False, 'has_value': False, 'credit': 15, 'seen': ['a', 'b'], 'previous_parts': ['a'], 'selector_appends': [], 'records': [{'key': 'a', 'detail': 0}], 'comparison_trace': ['reset', 'next'], 'key_a': [True, 'a'], 'key_b': [False, None]}, {'first': False, 'emit': False, 'initialized': True, 'previous': 'a', 'comparator_left': ['a'], 'comparator_right': [], 'payload': [{'key': 'a', 'detail': 0}], 'credit': 15, 'compare': False, 'reset_emit': 0}), ({'initialized': False, 'previous': None, 'key': None, 'value': None, 'equal': False, 'error': None, 'reset': False, 'has_value': False, 'credit': 0, 'seen': [], 'previous_parts': [], 'selector_appends': [], 'records': [], 'comparison_trace': [], 'key_a': [False, None], 'key_b': [False, None]}, {'first': True, 'emit': False, 'initialized': False, 'previous': None, 'comparator_left': [], 'comparator_right': [], 'payload': [], 'credit': 0, 'compare': True, 'reset_emit': None}), ({'initialized': True, 'previous': 'a', 'key': 'b', 'value': 'payload', 'equal': True, 'error': 'compare', 'reset': True, 'has_value': True, 'credit': 15, 'seen': ['a', 'b'], 'previous_parts': ['a', 'b'], 'selector_appends': ['new'], 'records': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'comparison_trace': ['enter', 'exit', 'reset', 'next'], 'key_a': [True, 'a'], 'key_b': [True, 'b']}, {'first': False, 'emit': False, 'initialized': False, 'previous': 'a', 'comparator_left': ['a', 'b'], 'comparator_right': ['select', 'compare'], 'payload': [{'key': 'a', 'detail': 0}, {'key': 'b', 'detail': 'kept'}], 'credit': 15, 'compare': False, 'reset_emit': 2})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), 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":"A deterministic, bounded, single-threaded transition planner. Returned plans model state changes; they do not implement a production event framework. 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-listener-distinct-stage-payload","generated_at":"2026-09-29T14:43:51.624050+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Observer implementations need to preserve this state while subscriptions enter, execute, and leave their lifecycle.","repair":"Compute the payload decision from the complete contract: [dict(r) for r in s['records']].","root_cause":"The payload decision in the distinct-stage listener model is computed as [{'key':r['key']} for r in s['records']], losing a required lifecycle condition.","sha256":"ab75d86580cc506318ee201470e29bab8115c3da4b48003768293184e0a49d69","title":"Key projection strips metadata from distinct observer output records · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":46.139,"exit_code":1,"observations":[{"actual":{"comparator_left":["a"],"comparator_right":["select"],"compare":false,"credit":1,"emit":false,"first":true,"initialized":false,"payload":[{"detail":0,"key":"a"},{"key":"b"}],"previous":"a","reset_emit":2},"check":"transition 0","expected":{"comparator_left":["a"],"comparator_right":["select"],"compare":false,"credit":1,"emit":false,"first":true,"initialized":false,"payload":[{"detail":0,"key":"a"},{"detail":"kept","key":"b"}],"previous":"a","reset_emit":2},"passed":false},{"actual":{"comparator_left":[],"comparator_right":["select"],"compare":false,"credit":3,"emit":false,"first":true,"initialized":false,"payload":[],"previous":null,"reset_emit":2},"check":"transition 1","expected":{"comparator_left":[],"comparator_right":["select"],"compare":false,"credit":3,"emit":false,"first":true,"initialized":false,"payload":[],"previous":null,"reset_emit":2},"passed":true},{"actual":{"comparator_left":["a","b"],"comparator_right":["select","compare"],"compare":false,"credit":1,"emit":false,"first":false,"initialized":false,"payload":[],"previous":"a","reset_emit":0},"check":"transition 2","expected":{"comparator_left":["a","b"],"comparator_right":["select","compare"],"compare":false,"credit":1,"emit":false,"first":false,"initialized":false,"payload":[],"previous":"a","reset_emit":0},"passed":true},{"actual":{"comparator_left":["a"],"comparator_right":[],"compare":false,"credit":0,"emit":false,"first":false,"initialized":false,"payload":[],"previous":null,"reset_emit":null},"check":"transition 3","expected":{"comparator_left":["a"],"comparator_right":[],"compare":false,"credit":0,"emit":false,"first":false,"initialized":false,"payload":[],"previous":null,"reset_emit":null},"passed":true},{"actual":{"comparator_left":[],"comparator_right":[],"compare":false,"credit":1,"emit":false,"first":true,"initialized":false,"payload":[{"detail":0,"key":"a"},{"key":"b"}],"previous":null,"reset_emit":2},"check":"transition 4","expected":{"comparator_left":[],"comparator_right":[],"compare":false,"credit":1,"emit":false,"first":true,"initialized":false,"payload":[{"detail":0,"key":"a"},{"detail":"kept","key":"b"}],"previous":null,"reset_emit":2},"passed":false},{"actual":{"comparator_left":["a","b"],"comparator_right":[],"compare":true,"credit":3,"emit":false,"first":false,"initialized":true,"payload":[{"detail":0,"key":"a"},{"key":"b"}],"previous":"a","reset_emit":2},"check":"transition 5","expected":{"comparator_left":["a","b"],"comparator_right":[],"compare":true,"credit":3,"emit":false,"first":false,"initialized":true,"payload":[{"detail":0,"key":"a"},{"detail":"kept","key":"b"}],"previous":"a","reset_emit":2},"passed":false},{"actual":{"comparator_left":[],"comparator_right":[],"compare":true,"credit":0,"emit":false,"first":true,"initialized":false,"payload":[],"previous":null,"reset_emit":null},"check":"transition 6","expected":{"comparator_left":[],"comparator_right":[],"compare":true,"credit":0,"emit":false,"first":true,"initialized":false,"payload":[],"previous":null,"reset_emit":null},"passed":true},{"actual":{"comparator_left":["a","b"],"comparator_right":["select","compare"],"compare":false,"credit":3,"emit":false,"first":false,"initialized":false,"payload":[{"detail":0,"key":"a"},{"key":"b"}],"previous":"a","reset_emit":2},"check":"transition 7","expected":{"comparator_left":["a","b"],"comparator_right":["select","compare"],"compare":false,"credit":3,"emit":false,"first":false,"initialized":false,"payload":[{"detail":0,"key":"a"},{"detail":"kept","key":"b"}],"previous":"a","reset_emit":2},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": \"a\", \"comparator_left\": [\"a\"], \"comparator_right\": [\"select\"], \"payload\": [{\"key\": \"a\", \"detail\": 0}, {\"key\": \"b\"}], \"credit\": 1, \"compare\": false, \"reset_emit\": 2}, \"expected\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": \"a\", \"comparator_left\": [\"a\"], \"comparator_right\": [\"select\"], \"payload\": [{\"key\": \"a\", \"detail\": 0}, {\"key\": \"b\", \"detail\": \"kept\"}], \"credit\": 1, \"compare\": false, \"reset_emit\": 2}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [], \"comparator_right\": [\"select\"], \"payload\": [], \"credit\": 3, \"compare\": false, \"reset_emit\": 2}, \"expected\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [], \"comparator_right\": [\"select\"], \"payload\": [], \"credit\": 3, \"compare\": false, \"reset_emit\": 2}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"first\": false, \"emit\": false, \"initialized\": false, \"previous\": \"a\", \"comparator_left\": [\"a\", \"b\"], \"comparator_right\": [\"select\", \"compare\"], \"payload\": [], \"credit\": 1, \"compare\": false, \"reset_emit\": 0}, \"expected\": {\"first\": false, \"emit\": false, \"initialized\": false, \"previous\": \"a\", \"comparator_left\": [\"a\", \"b\"], \"comparator_right\": [\"select\", \"compare\"], \"payload\": [], \"credit\": 1, \"compare\": false, \"reset_emit\": 0}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"first\": false, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [\"a\"], \"comparator_right\": [], \"payload\": [], \"credit\": 0, \"compare\": false, \"reset_emit\": null}, \"expected\": {\"first\": false, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [\"a\"], \"comparator_right\": [], \"payload\": [], \"credit\": 0, \"compare\": false, \"reset_emit\": null}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [], \"comparator_right\": [], \"payload\": [{\"key\": \"a\", \"detail\": 0}, {\"key\": \"b\"}], \"credit\": 1, \"compare\": false, \"reset_emit\": 2}, \"expected\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [], \"comparator_right\": [], \"payload\": [{\"key\": \"a\", \"detail\": 0}, {\"key\": \"b\", \"detail\": \"kept\"}], \"credit\": 1, \"compare\": false, \"reset_emit\": 2}, \"passed\": false}, {\"check\": \"transition 5\", \"actual\": {\"first\": false, \"emit\": false, \"initialized\": true, \"previous\": \"a\", \"comparator_left\": [\"a\", \"b\"], \"comparator_right\": [], \"payload\": [{\"key\": \"a\", \"detail\": 0}, {\"key\": \"b\"}], \"credit\": 3, \"compare\": true, \"reset_emit\": 2}, \"expected\": {\"first\": false, \"emit\": false, \"initialized\": true, \"previous\": \"a\", \"comparator_left\": [\"a\", \"b\"], \"comparator_right\": [], \"payload\": [{\"key\": \"a\", \"detail\": 0}, {\"key\": \"b\", \"detail\": \"kept\"}], \"credit\": 3, \"compare\": true, \"reset_emit\": 2}, \"passed\": false}, {\"check\": \"transition 6\", \"actual\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [], \"comparator_right\": [], \"payload\": [], \"credit\": 0, \"compare\": true, \"reset_emit\": null}, \"expected\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [], \"comparator_right\": [], \"payload\": [], \"credit\": 0, \"compare\": true, \"reset_emit\": null}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"first\": false, \"emit\": false, \"initialized\": false, \"previous\": \"a\", \"comparator_left\": [\"a\", \"b\"], \"comparator_right\": [\"select\", \"compare\"], \"payload\": [{\"key\": \"a\", \"detail\": 0}, {\"key\": \"b\"}], \"credit\": 3, \"compare\": false, \"reset_emit\": 2}, \"expected\": {\"first\": false, \"emit\": false, \"initialized\": false, \"previous\": \"a\", \"comparator_left\": [\"a\", \"b\"], \"comparator_right\": [\"select\", \"compare\"], \"payload\": [{\"key\": \"a\", \"detail\": 0}, {\"key\": \"b\", \"detail\": \"kept\"}], \"credit\": 3, \"compare\": false, \"reset_emit\": 2}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.443,"exit_code":1,"observations":[{"actual":{"comparator_left":["a"],"comparator_right":["select"],"compare":false,"credit":1,"emit":false,"first":true,"initialized":false,"payload":[{"key":"a"},{"key":"b"}],"previous":"a","reset_emit":2},"check":"transition 0","expected":{"comparator_left":["a"],"comparator_right":["select"],"compare":false,"credit":1,"emit":false,"first":true,"initialized":false,"payload":[{"detail":0,"key":"a"},{"detail":"kept","key":"b"}],"previous":"a","reset_emit":2},"passed":false},{"actual":{"comparator_left":[],"comparator_right":["select"],"compare":false,"credit":3,"emit":false,"first":true,"initialized":false,"payload":[],"previous":null,"reset_emit":2},"check":"transition 1","expected":{"comparator_left":[],"comparator_right":["select"],"compare":false,"credit":3,"emit":false,"first":true,"initialized":false,"payload":[],"previous":null,"reset_emit":2},"passed":true},{"actual":{"comparator_left":["a","b"],"comparator_right":["select","compare"],"compare":false,"credit":1,"emit":false,"first":false,"initialized":false,"payload":[],"previous":"a","reset_emit":0},"check":"transition 2","expected":{"comparator_left":["a","b"],"comparator_right":["select","compare"],"compare":false,"credit":1,"emit":false,"first":false,"initialized":false,"payload":[],"previous":"a","reset_emit":0},"passed":true},{"actual":{"comparator_left":["a"],"comparator_right":[],"compare":false,"credit":0,"emit":false,"first":false,"initialized":false,"payload":[],"previous":null,"reset_emit":null},"check":"transition 3","expected":{"comparator_left":["a"],"comparator_right":[],"compare":false,"credit":0,"emit":false,"first":false,"initialized":false,"payload":[],"previous":null,"reset_emit":null},"passed":true},{"actual":{"comparator_left":[],"comparator_right":[],"compare":false,"credit":1,"emit":false,"first":true,"initialized":false,"payload":[{"key":"a"},{"key":"b"}],"previous":null,"reset_emit":2},"check":"transition 4","expected":{"comparator_left":[],"comparator_right":[],"compare":false,"credit":1,"emit":false,"first":true,"initialized":false,"payload":[{"detail":0,"key":"a"},{"detail":"kept","key":"b"}],"previous":null,"reset_emit":2},"passed":false},{"actual":{"comparator_left":["a","b"],"comparator_right":[],"compare":true,"credit":3,"emit":false,"first":false,"initialized":true,"payload":[{"key":"a"},{"key":"b"}],"previous":"a","reset_emit":2},"check":"transition 5","expected":{"comparator_left":["a","b"],"comparator_right":[],"compare":true,"credit":3,"emit":false,"first":false,"initialized":true,"payload":[{"detail":0,"key":"a"},{"detail":"kept","key":"b"}],"previous":"a","reset_emit":2},"passed":false},{"actual":{"comparator_left":[],"comparator_right":[],"compare":true,"credit":0,"emit":false,"first":true,"initialized":false,"payload":[],"previous":null,"reset_emit":null},"check":"transition 6","expected":{"comparator_left":[],"comparator_right":[],"compare":true,"credit":0,"emit":false,"first":true,"initialized":false,"payload":[],"previous":null,"reset_emit":null},"passed":true},{"actual":{"comparator_left":["a","b"],"comparator_right":["select","compare"],"compare":false,"credit":3,"emit":false,"first":false,"initialized":false,"payload":[{"key":"a"},{"key":"b"}],"previous":"a","reset_emit":2},"check":"transition 7","expected":{"comparator_left":["a","b"],"comparator_right":["select","compare"],"compare":false,"credit":3,"emit":false,"first":false,"initialized":false,"payload":[{"detail":0,"key":"a"},{"detail":"kept","key":"b"}],"previous":"a","reset_emit":2},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": \"a\", \"comparator_left\": [\"a\"], \"comparator_right\": [\"select\"], \"payload\": [{\"key\": \"a\"}, {\"key\": \"b\"}], \"credit\": 1, \"compare\": false, \"reset_emit\": 2}, \"expected\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": \"a\", \"comparator_left\": [\"a\"], \"comparator_right\": [\"select\"], \"payload\": [{\"key\": \"a\", \"detail\": 0}, {\"key\": \"b\", \"detail\": \"kept\"}], \"credit\": 1, \"compare\": false, \"reset_emit\": 2}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [], \"comparator_right\": [\"select\"], \"payload\": [], \"credit\": 3, \"compare\": false, \"reset_emit\": 2}, \"expected\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [], \"comparator_right\": [\"select\"], \"payload\": [], \"credit\": 3, \"compare\": false, \"reset_emit\": 2}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"first\": false, \"emit\": false, \"initialized\": false, \"previous\": \"a\", \"comparator_left\": [\"a\", \"b\"], \"comparator_right\": [\"select\", \"compare\"], \"payload\": [], \"credit\": 1, \"compare\": false, \"reset_emit\": 0}, \"expected\": {\"first\": false, \"emit\": false, \"initialized\": false, \"previous\": \"a\", \"comparator_left\": [\"a\", \"b\"], \"comparator_right\": [\"select\", \"compare\"], \"payload\": [], \"credit\": 1, \"compare\": false, \"reset_emit\": 0}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"first\": false, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [\"a\"], \"comparator_right\": [], \"payload\": [], \"credit\": 0, \"compare\": false, \"reset_emit\": null}, \"expected\": {\"first\": false, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [\"a\"], \"comparator_right\": [], \"payload\": [], \"credit\": 0, \"compare\": false, \"reset_emit\": null}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [], \"comparator_right\": [], \"payload\": [{\"key\": \"a\"}, {\"key\": \"b\"}], \"credit\": 1, \"compare\": false, \"reset_emit\": 2}, \"expected\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [], \"comparator_right\": [], \"payload\": [{\"key\": \"a\", \"detail\": 0}, {\"key\": \"b\", \"detail\": \"kept\"}], \"credit\": 1, \"compare\": false, \"reset_emit\": 2}, \"passed\": false}, {\"check\": \"transition 5\", \"actual\": {\"first\": false, \"emit\": false, \"initialized\": true, \"previous\": \"a\", \"comparator_left\": [\"a\", \"b\"], \"comparator_right\": [], \"payload\": [{\"key\": \"a\"}, {\"key\": \"b\"}], \"credit\": 3, \"compare\": true, \"reset_emit\": 2}, \"expected\": {\"first\": false, \"emit\": false, \"initialized\": true, \"previous\": \"a\", \"comparator_left\": [\"a\", \"b\"], \"comparator_right\": [], \"payload\": [{\"key\": \"a\", \"detail\": 0}, {\"key\": \"b\", \"detail\": \"kept\"}], \"credit\": 3, \"compare\": true, \"reset_emit\": 2}, \"passed\": false}, {\"check\": \"transition 6\", \"actual\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [], \"comparator_right\": [], \"payload\": [], \"credit\": 0, \"compare\": true, \"reset_emit\": null}, \"expected\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [], \"comparator_right\": [], \"payload\": [], \"credit\": 0, \"compare\": true, \"reset_emit\": null}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"first\": false, \"emit\": false, \"initialized\": false, \"previous\": \"a\", \"comparator_left\": [\"a\", \"b\"], \"comparator_right\": [\"select\", \"compare\"], \"payload\": [{\"key\": \"a\"}, {\"key\": \"b\"}], \"credit\": 3, \"compare\": false, \"reset_emit\": 2}, \"expected\": {\"first\": false, \"emit\": false, \"initialized\": false, \"previous\": \"a\", \"comparator_left\": [\"a\", \"b\"], \"comparator_right\": [\"select\", \"compare\"], \"payload\": [{\"key\": \"a\", \"detail\": 0}, {\"key\": \"b\", \"detail\": \"kept\"}], \"credit\": 3, \"compare\": false, \"reset_emit\": 2}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":46.753,"exit_code":0,"observations":[{"actual":{"comparator_left":["a"],"comparator_right":["select"],"compare":false,"credit":1,"emit":false,"first":true,"initialized":false,"payload":[{"detail":0,"key":"a"},{"detail":"kept","key":"b"}],"previous":"a","reset_emit":2},"check":"transition 0","expected":{"comparator_left":["a"],"comparator_right":["select"],"compare":false,"credit":1,"emit":false,"first":true,"initialized":false,"payload":[{"detail":0,"key":"a"},{"detail":"kept","key":"b"}],"previous":"a","reset_emit":2},"passed":true},{"actual":{"comparator_left":[],"comparator_right":["select"],"compare":false,"credit":3,"emit":false,"first":true,"initialized":false,"payload":[],"previous":null,"reset_emit":2},"check":"transition 1","expected":{"comparator_left":[],"comparator_right":["select"],"compare":false,"credit":3,"emit":false,"first":true,"initialized":false,"payload":[],"previous":null,"reset_emit":2},"passed":true},{"actual":{"comparator_left":["a","b"],"comparator_right":["select","compare"],"compare":false,"credit":1,"emit":false,"first":false,"initialized":false,"payload":[],"previous":"a","reset_emit":0},"check":"transition 2","expected":{"comparator_left":["a","b"],"comparator_right":["select","compare"],"compare":false,"credit":1,"emit":false,"first":false,"initialized":false,"payload":[],"previous":"a","reset_emit":0},"passed":true},{"actual":{"comparator_left":["a"],"comparator_right":[],"compare":false,"credit":0,"emit":false,"first":false,"initialized":false,"payload":[],"previous":null,"reset_emit":null},"check":"transition 3","expected":{"comparator_left":["a"],"comparator_right":[],"compare":false,"credit":0,"emit":false,"first":false,"initialized":false,"payload":[],"previous":null,"reset_emit":null},"passed":true},{"actual":{"comparator_left":[],"comparator_right":[],"compare":false,"credit":1,"emit":false,"first":true,"initialized":false,"payload":[{"detail":0,"key":"a"},{"detail":"kept","key":"b"}],"previous":null,"reset_emit":2},"check":"transition 4","expected":{"comparator_left":[],"comparator_right":[],"compare":false,"credit":1,"emit":false,"first":true,"initialized":false,"payload":[{"detail":0,"key":"a"},{"detail":"kept","key":"b"}],"previous":null,"reset_emit":2},"passed":true},{"actual":{"comparator_left":["a","b"],"comparator_right":[],"compare":true,"credit":3,"emit":false,"first":false,"initialized":true,"payload":[{"detail":0,"key":"a"},{"detail":"kept","key":"b"}],"previous":"a","reset_emit":2},"check":"transition 5","expected":{"comparator_left":["a","b"],"comparator_right":[],"compare":true,"credit":3,"emit":false,"first":false,"initialized":true,"payload":[{"detail":0,"key":"a"},{"detail":"kept","key":"b"}],"previous":"a","reset_emit":2},"passed":true},{"actual":{"comparator_left":[],"comparator_right":[],"compare":true,"credit":0,"emit":false,"first":true,"initialized":false,"payload":[],"previous":null,"reset_emit":null},"check":"transition 6","expected":{"comparator_left":[],"comparator_right":[],"compare":true,"credit":0,"emit":false,"first":true,"initialized":false,"payload":[],"previous":null,"reset_emit":null},"passed":true},{"actual":{"comparator_left":["a","b"],"comparator_right":["select","compare"],"compare":false,"credit":3,"emit":false,"first":false,"initialized":false,"payload":[{"detail":0,"key":"a"},{"detail":"kept","key":"b"}],"previous":"a","reset_emit":2},"check":"transition 7","expected":{"comparator_left":["a","b"],"comparator_right":["select","compare"],"compare":false,"credit":3,"emit":false,"first":false,"initialized":false,"payload":[{"detail":0,"key":"a"},{"detail":"kept","key":"b"}],"previous":"a","reset_emit":2},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": \"a\", \"comparator_left\": [\"a\"], \"comparator_right\": [\"select\"], \"payload\": [{\"key\": \"a\", \"detail\": 0}, {\"key\": \"b\", \"detail\": \"kept\"}], \"credit\": 1, \"compare\": false, \"reset_emit\": 2}, \"expected\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": \"a\", \"comparator_left\": [\"a\"], \"comparator_right\": [\"select\"], \"payload\": [{\"key\": \"a\", \"detail\": 0}, {\"key\": \"b\", \"detail\": \"kept\"}], \"credit\": 1, \"compare\": false, \"reset_emit\": 2}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [], \"comparator_right\": [\"select\"], \"payload\": [], \"credit\": 3, \"compare\": false, \"reset_emit\": 2}, \"expected\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [], \"comparator_right\": [\"select\"], \"payload\": [], \"credit\": 3, \"compare\": false, \"reset_emit\": 2}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"first\": false, \"emit\": false, \"initialized\": false, \"previous\": \"a\", \"comparator_left\": [\"a\", \"b\"], \"comparator_right\": [\"select\", \"compare\"], \"payload\": [], \"credit\": 1, \"compare\": false, \"reset_emit\": 0}, \"expected\": {\"first\": false, \"emit\": false, \"initialized\": false, \"previous\": \"a\", \"comparator_left\": [\"a\", \"b\"], \"comparator_right\": [\"select\", \"compare\"], \"payload\": [], \"credit\": 1, \"compare\": false, \"reset_emit\": 0}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"first\": false, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [\"a\"], \"comparator_right\": [], \"payload\": [], \"credit\": 0, \"compare\": false, \"reset_emit\": null}, \"expected\": {\"first\": false, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [\"a\"], \"comparator_right\": [], \"payload\": [], \"credit\": 0, \"compare\": false, \"reset_emit\": null}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [], \"comparator_right\": [], \"payload\": [{\"key\": \"a\", \"detail\": 0}, {\"key\": \"b\", \"detail\": \"kept\"}], \"credit\": 1, \"compare\": false, \"reset_emit\": 2}, \"expected\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [], \"comparator_right\": [], \"payload\": [{\"key\": \"a\", \"detail\": 0}, {\"key\": \"b\", \"detail\": \"kept\"}], \"credit\": 1, \"compare\": false, \"reset_emit\": 2}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"first\": false, \"emit\": false, \"initialized\": true, \"previous\": \"a\", \"comparator_left\": [\"a\", \"b\"], \"comparator_right\": [], \"payload\": [{\"key\": \"a\", \"detail\": 0}, {\"key\": \"b\", \"detail\": \"kept\"}], \"credit\": 3, \"compare\": true, \"reset_emit\": 2}, \"expected\": {\"first\": false, \"emit\": false, \"initialized\": true, \"previous\": \"a\", \"comparator_left\": [\"a\", \"b\"], \"comparator_right\": [], \"payload\": [{\"key\": \"a\", \"detail\": 0}, {\"key\": \"b\", \"detail\": \"kept\"}], \"credit\": 3, \"compare\": true, \"reset_emit\": 2}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [], \"comparator_right\": [], \"payload\": [], \"credit\": 0, \"compare\": true, \"reset_emit\": null}, \"expected\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [], \"comparator_right\": [], \"payload\": [], \"credit\": 0, \"compare\": true, \"reset_emit\": null}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"first\": false, \"emit\": false, \"initialized\": false, \"previous\": \"a\", \"comparator_left\": [\"a\", \"b\"], \"comparator_right\": [\"select\", \"compare\"], \"payload\": [{\"key\": \"a\", \"detail\": 0}, {\"key\": \"b\", \"detail\": \"kept\"}], \"credit\": 3, \"compare\": false, \"reset_emit\": 2}, \"expected\": {\"first\": false, \"emit\": false, \"initialized\": false, \"previous\": \"a\", \"comparator_left\": [\"a\", \"b\"], \"comparator_right\": [\"select\", \"compare\"], \"payload\": [{\"key\": \"a\", \"detail\": 0}, {\"key\": \"b\", \"detail\": \"kept\"}], \"credit\": 3, \"compare\": false, \"reset_emit\": 2}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}