{"abstract":"A reentrant distinct reset invalidates key state before comparison returns; 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 len(s['comparison_trace'])-1 if 'reset' in s['comparison_trace'] else None; a retained regression distinguishes it from the full transition.","family":"s3-listener-distinct-stage-reset_emit","id":"FA-42436","implementations":{"attempt":{"sha256":"c83821d7f5d0b7700b4c2ce214b31ff6eb6ed2eb06b6c3bda5b17fda8f1dbd42","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': len(s['comparison_trace'])-1 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":"eb241095f3b5dbbc8c2cd9de7827b0001f94c16cbe864c6d0681569b1bf48ba3","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('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-reset_emit","generated_at":"2026-09-29T14:43:51.661967+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 reset_emit decision from the complete contract: (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.","root_cause":"The reset_emit decision in the distinct-stage listener model is computed as s['comparison_trace'].index('reset') if 'reset' in s['comparison_trace'] else None, losing a required lifecycle condition.","sha256":"3e2a4e52c6cd7467f9ca311f1441e63295d4b6a72f7084c6aac230c243d28e45","title":"A reentrant distinct reset invalidates key state before comparison returns · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.694,"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"},{"detail":"kept","key":"b"}],"previous":"a","reset_emit":3},"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":3},"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":false},{"actual":{"comparator_left":["a","b"],"comparator_right":["select","compare"],"compare":false,"credit":1,"emit":false,"first":false,"initialized":false,"payload":[],"previous":"a","reset_emit":1},"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":false},{"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":3},"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"},{"detail":"kept","key":"b"}],"previous":"a","reset_emit":3},"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"},{"detail":"kept","key":"b"}],"previous":"a","reset_emit":3},"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\", \"detail\": \"kept\"}], \"credit\": 1, \"compare\": false, \"reset_emit\": 3}, \"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\": 3}, \"expected\": {\"first\": true, \"emit\": false, \"initialized\": false, \"previous\": null, \"comparator_left\": [], \"comparator_right\": [\"select\"], \"payload\": [], \"credit\": 3, \"compare\": false, \"reset_emit\": 2}, \"passed\": false}, {\"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\": 1}, \"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\": false}, {\"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\": 3}, \"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\", \"detail\": \"kept\"}], \"credit\": 3, \"compare\": true, \"reset_emit\": 3}, \"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\", \"detail\": \"kept\"}], \"credit\": 3, \"compare\": false, \"reset_emit\": 3}, \"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":45.87,"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"},{"detail":"kept","key":"b"}],"previous":"a","reset_emit":1},"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"},{"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":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\", \"detail\": \"kept\"}], \"credit\": 1, \"compare\": false, \"reset_emit\": 1}, \"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\", \"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\": false}\n"},"fixed":{"elapsed_ms":41.805,"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"}