{"abstract":"Left input notifications overwrite combine-latest right state; the returned lifecycle plan violates the stated transition contract.","category":"Listener lifecycle","checks":8,"contract":"Plan a two-input combine-latest observer. A value may be None, so readiness comes from separate seen flags. Updating one side preserves the other. Emit a pair only after both inputs have been seen. A completed input with no value makes a pair impossible; completion after a value keeps its last value usable. Any source error terminates both subscriptions. 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: ready = s['left_seen'] and s['right_seen']; left = s['value'] if s['side']=='left' else s['left']; right = s['value'] if s['side']=='right' else s['right']; left_seen = s['left_seen'] or s['side']=='left'; right_seen = s['right_seen'] or s['side']=='right'; impossible = (s['left_done'] and not s['left_seen']) or (s['right_done'] and not s['right_seen']); complete = s['left_done'] and s['right_done']; pair = [s['left'],s['right']]; cancel_both = ['left','right'] if s['error'] is not None else []; usable_left = s['left_seen']","evaluation_group":"s3-listener-combine-latest","failed_approach":"The partial repair uses s['value'] if s['side']=='left' else s['right']; a retained regression distinguishes it from the full transition.","family":"s3-listener-combine-latest-right","id":"FA-42451","implementations":{"attempt":{"sha256":"cc6cb1b785256b022e1355b8c180447a1128f4a9f9ba3bb60b4887c15103d923","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'ready': s['left_seen'] and s['right_seen'],\n        'left': s['value'] if s['side']=='left' else s['left'],\n        'right': s['value'] if s['side']=='left' else s['right'],\n        'left_seen': s['left_seen'] or s['side']=='left',\n        'right_seen': s['right_seen'] or s['side']=='right',\n        'impossible': (s['left_done'] and not s['left_seen']) or (s['right_done'] and not s['right_seen']),\n        'complete': s['left_done'] and s['right_done'],\n        'pair': [s['left'],s['right']],\n        'cancel_both': ['left','right'] if s['error'] is not None else [],\n        'usable_left': s['left_seen'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': 'new', 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 1}, {'ready': False, 'left': 'new', 'right': 'R', 'left_seen': True, 'right_seen': False, 'impossible': True, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': None, 'right': None, 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 0}, {'ready': True, 'left': None, 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': [None, None], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': 0, 'right': 'R', 'left_seen': False, 'right_seen': True, 'side': 'left', 'value': 'new', 'left_done': True, 'right_done': True, 'error': 'upstream', 'credit': 1}, {'ready': False, 'left': 'new', 'right': 'R', 'left_seen': True, 'right_seen': True, 'impossible': True, 'complete': True, 'pair': [0, 'R'], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': 'new', 'left_done': False, 'right_done': False, 'error': 'upstream', 'credit': 3}, {'ready': False, 'left': 'new', 'right': 'R', 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': True, 'side': 'left', 'value': None, 'left_done': True, 'right_done': False, 'error': None, 'credit': 3}, {'ready': True, 'left': None, 'right': 'R', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': [], 'usable_left': True}), ({'left': 'L', 'right': None, 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': None, 'left_done': False, 'right_done': False, 'error': 'upstream', 'credit': 3}, {'ready': True, 'left': 'L', 'right': None, 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': ['L', None], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': None, 'right': None, 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': False, 'right_done': False, 'error': None, 'credit': 0}, {'ready': False, 'left': None, 'right': None, 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [None, None], 'cancel_both': [], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': True, 'error': 'upstream', 'credit': 3}, {'ready': True, 'left': 'L', 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': True, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True})], 2: [({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': True, 'side': 'left', 'value': 'new', 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 6}, {'ready': False, 'left': 'new', 'right': 'R', 'left_seen': True, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': False, 'side': 'right', 'value': None, 'left_done': True, 'right_done': False, 'error': None, 'credit': 6}, {'ready': False, 'left': 'L', 'right': None, 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': [], 'usable_left': True}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': False, 'side': 'left', 'value': 'new', 'left_done': True, 'right_done': False, 'error': None, 'credit': 1}, {'ready': False, 'left': 'new', 'right': 'R', 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': [], 'usable_left': True}), ({'left': 'L', 'right': 0, 'left_seen': False, 'right_seen': False, 'side': 'right', 'value': 'new', 'left_done': False, 'right_done': True, 'error': None, 'credit': 1}, {'ready': False, 'left': 'L', 'right': 'new', 'left_seen': False, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': ['L', 0], 'cancel_both': [], 'usable_left': False}), ({'left': 0, 'right': 'R', 'left_seen': True, 'right_seen': False, 'side': 'right', 'value': None, 'left_done': False, 'right_done': True, 'error': 'upstream', 'credit': 0}, {'ready': False, 'left': 0, 'right': None, 'left_seen': True, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': [0, 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': True, 'side': 'right', 'value': None, 'left_done': False, 'right_done': False, 'error': None, 'credit': 6}, {'ready': False, 'left': 'L', 'right': None, 'left_seen': False, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': [], 'usable_left': False}), ({'left': None, 'right': None, 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': False, 'right_done': False, 'error': None, 'credit': 0}, {'ready': False, 'left': None, 'right': None, 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [None, None], 'cancel_both': [], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': True, 'error': 'upstream', 'credit': 6}, {'ready': True, 'left': 'L', 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': True, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True})], 3: [({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': True, 'side': 'left', 'value': None, 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 1}, {'ready': False, 'left': None, 'right': 'R', 'left_seen': True, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': 'L', 'right': None, 'left_seen': True, 'right_seen': False, 'side': 'right', 'value': None, 'left_done': True, 'right_done': True, 'error': None, 'credit': 1}, {'ready': False, 'left': 'L', 'right': None, 'left_seen': True, 'right_seen': True, 'impossible': True, 'complete': True, 'pair': ['L', None], 'cancel_both': [], 'usable_left': True}), ({'left': None, 'right': 0, 'left_seen': True, 'right_seen': False, 'side': 'left', 'value': 'new', 'left_done': False, 'right_done': False, 'error': 'upstream', 'credit': 9}, {'ready': False, 'left': 'new', 'right': 0, 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [None, 0], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': 'L', 'right': 0, 'left_seen': False, 'right_seen': True, 'side': 'right', 'value': None, 'left_done': False, 'right_done': False, 'error': None, 'credit': 1}, {'ready': False, 'left': 'L', 'right': None, 'left_seen': False, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': ['L', 0], 'cancel_both': [], 'usable_left': False}), ({'left': 0, 'right': 'R', 'left_seen': False, 'right_seen': False, 'side': 'right', 'value': None, 'left_done': False, 'right_done': True, 'error': None, 'credit': 9}, {'ready': False, 'left': 0, 'right': None, 'left_seen': False, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': [0, 'R'], 'cancel_both': [], 'usable_left': False}), ({'left': None, 'right': 'R', 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': False, 'right_done': True, 'error': 'upstream', 'credit': 0}, {'ready': True, 'left': None, 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': [None, 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': None, 'right': None, 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': False, 'right_done': False, 'error': None, 'credit': 0}, {'ready': False, 'left': None, 'right': None, 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [None, None], 'cancel_both': [], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': True, 'error': 'upstream', 'credit': 9}, {'ready': True, 'left': 'L', 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': True, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True})], 4: [({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 1}, {'ready': False, 'left': None, 'right': 'R', 'left_seen': True, 'right_seen': False, 'impossible': True, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': 0, 'right': 0, 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': True, 'error': None, 'credit': 12}, {'ready': True, 'left': 0, 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': True, 'pair': [0, 0], 'cancel_both': [], 'usable_left': True}), ({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': True, 'side': 'left', 'value': None, 'left_done': True, 'right_done': False, 'error': None, 'credit': 0}, {'ready': False, 'left': None, 'right': 'R', 'left_seen': True, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': [], 'usable_left': False}), ({'left': None, 'right': 0, 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': False, 'right_done': True, 'error': 'upstream', 'credit': 0}, {'ready': True, 'left': None, 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': [None, 0], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': 0, 'right': 0, 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': 'new', 'left_done': True, 'right_done': True, 'error': None, 'credit': 1}, {'ready': False, 'left': 'new', 'right': 0, 'left_seen': True, 'right_seen': False, 'impossible': True, 'complete': True, 'pair': [0, 0], 'cancel_both': [], 'usable_left': False}), ({'left': 0, 'right': None, 'left_seen': False, 'right_seen': True, 'side': 'right', 'value': None, 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 12}, {'ready': False, 'left': 0, 'right': None, 'left_seen': False, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': [0, None], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': None, 'right': None, 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': False, 'right_done': False, 'error': None, 'credit': 0}, {'ready': False, 'left': None, 'right': None, 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [None, None], 'cancel_both': [], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': True, 'error': 'upstream', 'credit': 12}, {'ready': True, 'left': 'L', 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': True, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True})], 5: [({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 15}, {'ready': False, 'left': None, 'right': 'R', 'left_seen': True, 'right_seen': False, 'impossible': True, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': None, 'right': None, 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 1}, {'ready': True, 'left': None, 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': [None, None], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': True, 'side': 'left', 'value': 'new', 'left_done': True, 'right_done': True, 'error': None, 'credit': 15}, {'ready': False, 'left': 'new', 'right': 'R', 'left_seen': True, 'right_seen': True, 'impossible': True, 'complete': True, 'pair': ['L', 'R'], 'cancel_both': [], 'usable_left': False}), ({'left': 'L', 'right': None, 'left_seen': False, 'right_seen': False, 'side': 'right', 'value': None, 'left_done': False, 'right_done': True, 'error': None, 'credit': 0}, {'ready': False, 'left': 'L', 'right': None, 'left_seen': False, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': ['L', None], 'cancel_both': [], 'usable_left': False}), ({'left': 0, 'right': 'R', 'left_seen': True, 'right_seen': False, 'side': 'left', 'value': 'new', 'left_done': False, 'right_done': False, 'error': 'upstream', 'credit': 15}, {'ready': False, 'left': 'new', 'right': 'R', 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [0, 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': 0, 'right': 'R', 'left_seen': True, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': False, 'right_done': False, 'error': 'upstream', 'credit': 15}, {'ready': False, 'left': None, 'right': 'R', 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [0, 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': None, 'right': None, 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': False, 'right_done': False, 'error': None, 'credit': 0}, {'ready': False, 'left': None, 'right': None, 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [None, None], 'cancel_both': [], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': True, 'error': 'upstream', 'credit': 15}, {'ready': True, 'left': 'L', 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': True, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True})]}\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":"65d34a09ecb8166a7653a5eece74b8bd326b3c40d283e1ff2dd24d2d1e32ae0e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'ready': s['left_seen'] and s['right_seen'],\n        'left': s['value'] if s['side']=='left' else s['left'],\n        'right': s['value'],\n        'left_seen': s['left_seen'] or s['side']=='left',\n        'right_seen': s['right_seen'] or s['side']=='right',\n        'impossible': (s['left_done'] and not s['left_seen']) or (s['right_done'] and not s['right_seen']),\n        'complete': s['left_done'] and s['right_done'],\n        'pair': [s['left'],s['right']],\n        'cancel_both': ['left','right'] if s['error'] is not None else [],\n        'usable_left': s['left_seen'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': 'new', 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 1}, {'ready': False, 'left': 'new', 'right': 'R', 'left_seen': True, 'right_seen': False, 'impossible': True, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': None, 'right': None, 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 0}, {'ready': True, 'left': None, 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': [None, None], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': 0, 'right': 'R', 'left_seen': False, 'right_seen': True, 'side': 'left', 'value': 'new', 'left_done': True, 'right_done': True, 'error': 'upstream', 'credit': 1}, {'ready': False, 'left': 'new', 'right': 'R', 'left_seen': True, 'right_seen': True, 'impossible': True, 'complete': True, 'pair': [0, 'R'], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': 'new', 'left_done': False, 'right_done': False, 'error': 'upstream', 'credit': 3}, {'ready': False, 'left': 'new', 'right': 'R', 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': True, 'side': 'left', 'value': None, 'left_done': True, 'right_done': False, 'error': None, 'credit': 3}, {'ready': True, 'left': None, 'right': 'R', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': [], 'usable_left': True}), ({'left': 'L', 'right': None, 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': None, 'left_done': False, 'right_done': False, 'error': 'upstream', 'credit': 3}, {'ready': True, 'left': 'L', 'right': None, 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': ['L', None], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': None, 'right': None, 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': False, 'right_done': False, 'error': None, 'credit': 0}, {'ready': False, 'left': None, 'right': None, 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [None, None], 'cancel_both': [], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': True, 'error': 'upstream', 'credit': 3}, {'ready': True, 'left': 'L', 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': True, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True})], 2: [({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': True, 'side': 'left', 'value': 'new', 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 6}, {'ready': False, 'left': 'new', 'right': 'R', 'left_seen': True, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': False, 'side': 'right', 'value': None, 'left_done': True, 'right_done': False, 'error': None, 'credit': 6}, {'ready': False, 'left': 'L', 'right': None, 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': [], 'usable_left': True}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': False, 'side': 'left', 'value': 'new', 'left_done': True, 'right_done': False, 'error': None, 'credit': 1}, {'ready': False, 'left': 'new', 'right': 'R', 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': [], 'usable_left': True}), ({'left': 'L', 'right': 0, 'left_seen': False, 'right_seen': False, 'side': 'right', 'value': 'new', 'left_done': False, 'right_done': True, 'error': None, 'credit': 1}, {'ready': False, 'left': 'L', 'right': 'new', 'left_seen': False, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': ['L', 0], 'cancel_both': [], 'usable_left': False}), ({'left': 0, 'right': 'R', 'left_seen': True, 'right_seen': False, 'side': 'right', 'value': None, 'left_done': False, 'right_done': True, 'error': 'upstream', 'credit': 0}, {'ready': False, 'left': 0, 'right': None, 'left_seen': True, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': [0, 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': True, 'side': 'right', 'value': None, 'left_done': False, 'right_done': False, 'error': None, 'credit': 6}, {'ready': False, 'left': 'L', 'right': None, 'left_seen': False, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': [], 'usable_left': False}), ({'left': None, 'right': None, 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': False, 'right_done': False, 'error': None, 'credit': 0}, {'ready': False, 'left': None, 'right': None, 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [None, None], 'cancel_both': [], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': True, 'error': 'upstream', 'credit': 6}, {'ready': True, 'left': 'L', 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': True, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True})], 3: [({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': True, 'side': 'left', 'value': None, 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 1}, {'ready': False, 'left': None, 'right': 'R', 'left_seen': True, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': 'L', 'right': None, 'left_seen': True, 'right_seen': False, 'side': 'right', 'value': None, 'left_done': True, 'right_done': True, 'error': None, 'credit': 1}, {'ready': False, 'left': 'L', 'right': None, 'left_seen': True, 'right_seen': True, 'impossible': True, 'complete': True, 'pair': ['L', None], 'cancel_both': [], 'usable_left': True}), ({'left': None, 'right': 0, 'left_seen': True, 'right_seen': False, 'side': 'left', 'value': 'new', 'left_done': False, 'right_done': False, 'error': 'upstream', 'credit': 9}, {'ready': False, 'left': 'new', 'right': 0, 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [None, 0], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': 'L', 'right': 0, 'left_seen': False, 'right_seen': True, 'side': 'right', 'value': None, 'left_done': False, 'right_done': False, 'error': None, 'credit': 1}, {'ready': False, 'left': 'L', 'right': None, 'left_seen': False, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': ['L', 0], 'cancel_both': [], 'usable_left': False}), ({'left': 0, 'right': 'R', 'left_seen': False, 'right_seen': False, 'side': 'right', 'value': None, 'left_done': False, 'right_done': True, 'error': None, 'credit': 9}, {'ready': False, 'left': 0, 'right': None, 'left_seen': False, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': [0, 'R'], 'cancel_both': [], 'usable_left': False}), ({'left': None, 'right': 'R', 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': False, 'right_done': True, 'error': 'upstream', 'credit': 0}, {'ready': True, 'left': None, 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': [None, 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': None, 'right': None, 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': False, 'right_done': False, 'error': None, 'credit': 0}, {'ready': False, 'left': None, 'right': None, 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [None, None], 'cancel_both': [], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': True, 'error': 'upstream', 'credit': 9}, {'ready': True, 'left': 'L', 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': True, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True})], 4: [({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 1}, {'ready': False, 'left': None, 'right': 'R', 'left_seen': True, 'right_seen': False, 'impossible': True, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': 0, 'right': 0, 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': True, 'error': None, 'credit': 12}, {'ready': True, 'left': 0, 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': True, 'pair': [0, 0], 'cancel_both': [], 'usable_left': True}), ({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': True, 'side': 'left', 'value': None, 'left_done': True, 'right_done': False, 'error': None, 'credit': 0}, {'ready': False, 'left': None, 'right': 'R', 'left_seen': True, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': [], 'usable_left': False}), ({'left': None, 'right': 0, 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': False, 'right_done': True, 'error': 'upstream', 'credit': 0}, {'ready': True, 'left': None, 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': [None, 0], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': 0, 'right': 0, 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': 'new', 'left_done': True, 'right_done': True, 'error': None, 'credit': 1}, {'ready': False, 'left': 'new', 'right': 0, 'left_seen': True, 'right_seen': False, 'impossible': True, 'complete': True, 'pair': [0, 0], 'cancel_both': [], 'usable_left': False}), ({'left': 0, 'right': None, 'left_seen': False, 'right_seen': True, 'side': 'right', 'value': None, 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 12}, {'ready': False, 'left': 0, 'right': None, 'left_seen': False, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': [0, None], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': None, 'right': None, 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': False, 'right_done': False, 'error': None, 'credit': 0}, {'ready': False, 'left': None, 'right': None, 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [None, None], 'cancel_both': [], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': True, 'error': 'upstream', 'credit': 12}, {'ready': True, 'left': 'L', 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': True, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True})], 5: [({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 15}, {'ready': False, 'left': None, 'right': 'R', 'left_seen': True, 'right_seen': False, 'impossible': True, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': None, 'right': None, 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 1}, {'ready': True, 'left': None, 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': [None, None], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': True, 'side': 'left', 'value': 'new', 'left_done': True, 'right_done': True, 'error': None, 'credit': 15}, {'ready': False, 'left': 'new', 'right': 'R', 'left_seen': True, 'right_seen': True, 'impossible': True, 'complete': True, 'pair': ['L', 'R'], 'cancel_both': [], 'usable_left': False}), ({'left': 'L', 'right': None, 'left_seen': False, 'right_seen': False, 'side': 'right', 'value': None, 'left_done': False, 'right_done': True, 'error': None, 'credit': 0}, {'ready': False, 'left': 'L', 'right': None, 'left_seen': False, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': ['L', None], 'cancel_both': [], 'usable_left': False}), ({'left': 0, 'right': 'R', 'left_seen': True, 'right_seen': False, 'side': 'left', 'value': 'new', 'left_done': False, 'right_done': False, 'error': 'upstream', 'credit': 15}, {'ready': False, 'left': 'new', 'right': 'R', 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [0, 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': 0, 'right': 'R', 'left_seen': True, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': False, 'right_done': False, 'error': 'upstream', 'credit': 15}, {'ready': False, 'left': None, 'right': 'R', 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [0, 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': None, 'right': None, 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': False, 'right_done': False, 'error': None, 'credit': 0}, {'ready': False, 'left': None, 'right': None, 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [None, None], 'cancel_both': [], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': True, 'error': 'upstream', 'credit': 15}, {'ready': True, 'left': 'L', 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': True, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True})]}\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":"81cc54f38560a6b4e6aca303be5bcd8591fd33c0e57a9ecab84141a2fa96cc41","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'ready': s['left_seen'] and s['right_seen'],\n        'left': s['value'] if s['side']=='left' else s['left'],\n        'right': s['value'] if s['side']=='right' else s['right'],\n        'left_seen': s['left_seen'] or s['side']=='left',\n        'right_seen': s['right_seen'] or s['side']=='right',\n        'impossible': (s['left_done'] and not s['left_seen']) or (s['right_done'] and not s['right_seen']),\n        'complete': s['left_done'] and s['right_done'],\n        'pair': [s['left'],s['right']],\n        'cancel_both': ['left','right'] if s['error'] is not None else [],\n        'usable_left': s['left_seen'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': 'new', 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 1}, {'ready': False, 'left': 'new', 'right': 'R', 'left_seen': True, 'right_seen': False, 'impossible': True, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': None, 'right': None, 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 0}, {'ready': True, 'left': None, 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': [None, None], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': 0, 'right': 'R', 'left_seen': False, 'right_seen': True, 'side': 'left', 'value': 'new', 'left_done': True, 'right_done': True, 'error': 'upstream', 'credit': 1}, {'ready': False, 'left': 'new', 'right': 'R', 'left_seen': True, 'right_seen': True, 'impossible': True, 'complete': True, 'pair': [0, 'R'], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': 'new', 'left_done': False, 'right_done': False, 'error': 'upstream', 'credit': 3}, {'ready': False, 'left': 'new', 'right': 'R', 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': True, 'side': 'left', 'value': None, 'left_done': True, 'right_done': False, 'error': None, 'credit': 3}, {'ready': True, 'left': None, 'right': 'R', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': [], 'usable_left': True}), ({'left': 'L', 'right': None, 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': None, 'left_done': False, 'right_done': False, 'error': 'upstream', 'credit': 3}, {'ready': True, 'left': 'L', 'right': None, 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': ['L', None], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': None, 'right': None, 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': False, 'right_done': False, 'error': None, 'credit': 0}, {'ready': False, 'left': None, 'right': None, 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [None, None], 'cancel_both': [], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': True, 'error': 'upstream', 'credit': 3}, {'ready': True, 'left': 'L', 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': True, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True})], 2: [({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': True, 'side': 'left', 'value': 'new', 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 6}, {'ready': False, 'left': 'new', 'right': 'R', 'left_seen': True, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': False, 'side': 'right', 'value': None, 'left_done': True, 'right_done': False, 'error': None, 'credit': 6}, {'ready': False, 'left': 'L', 'right': None, 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': [], 'usable_left': True}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': False, 'side': 'left', 'value': 'new', 'left_done': True, 'right_done': False, 'error': None, 'credit': 1}, {'ready': False, 'left': 'new', 'right': 'R', 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': [], 'usable_left': True}), ({'left': 'L', 'right': 0, 'left_seen': False, 'right_seen': False, 'side': 'right', 'value': 'new', 'left_done': False, 'right_done': True, 'error': None, 'credit': 1}, {'ready': False, 'left': 'L', 'right': 'new', 'left_seen': False, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': ['L', 0], 'cancel_both': [], 'usable_left': False}), ({'left': 0, 'right': 'R', 'left_seen': True, 'right_seen': False, 'side': 'right', 'value': None, 'left_done': False, 'right_done': True, 'error': 'upstream', 'credit': 0}, {'ready': False, 'left': 0, 'right': None, 'left_seen': True, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': [0, 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': True, 'side': 'right', 'value': None, 'left_done': False, 'right_done': False, 'error': None, 'credit': 6}, {'ready': False, 'left': 'L', 'right': None, 'left_seen': False, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': [], 'usable_left': False}), ({'left': None, 'right': None, 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': False, 'right_done': False, 'error': None, 'credit': 0}, {'ready': False, 'left': None, 'right': None, 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [None, None], 'cancel_both': [], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': True, 'error': 'upstream', 'credit': 6}, {'ready': True, 'left': 'L', 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': True, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True})], 3: [({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': True, 'side': 'left', 'value': None, 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 1}, {'ready': False, 'left': None, 'right': 'R', 'left_seen': True, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': 'L', 'right': None, 'left_seen': True, 'right_seen': False, 'side': 'right', 'value': None, 'left_done': True, 'right_done': True, 'error': None, 'credit': 1}, {'ready': False, 'left': 'L', 'right': None, 'left_seen': True, 'right_seen': True, 'impossible': True, 'complete': True, 'pair': ['L', None], 'cancel_both': [], 'usable_left': True}), ({'left': None, 'right': 0, 'left_seen': True, 'right_seen': False, 'side': 'left', 'value': 'new', 'left_done': False, 'right_done': False, 'error': 'upstream', 'credit': 9}, {'ready': False, 'left': 'new', 'right': 0, 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [None, 0], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': 'L', 'right': 0, 'left_seen': False, 'right_seen': True, 'side': 'right', 'value': None, 'left_done': False, 'right_done': False, 'error': None, 'credit': 1}, {'ready': False, 'left': 'L', 'right': None, 'left_seen': False, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': ['L', 0], 'cancel_both': [], 'usable_left': False}), ({'left': 0, 'right': 'R', 'left_seen': False, 'right_seen': False, 'side': 'right', 'value': None, 'left_done': False, 'right_done': True, 'error': None, 'credit': 9}, {'ready': False, 'left': 0, 'right': None, 'left_seen': False, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': [0, 'R'], 'cancel_both': [], 'usable_left': False}), ({'left': None, 'right': 'R', 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': False, 'right_done': True, 'error': 'upstream', 'credit': 0}, {'ready': True, 'left': None, 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': [None, 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': None, 'right': None, 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': False, 'right_done': False, 'error': None, 'credit': 0}, {'ready': False, 'left': None, 'right': None, 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [None, None], 'cancel_both': [], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': True, 'error': 'upstream', 'credit': 9}, {'ready': True, 'left': 'L', 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': True, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True})], 4: [({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 1}, {'ready': False, 'left': None, 'right': 'R', 'left_seen': True, 'right_seen': False, 'impossible': True, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': 0, 'right': 0, 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': True, 'error': None, 'credit': 12}, {'ready': True, 'left': 0, 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': True, 'pair': [0, 0], 'cancel_both': [], 'usable_left': True}), ({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': True, 'side': 'left', 'value': None, 'left_done': True, 'right_done': False, 'error': None, 'credit': 0}, {'ready': False, 'left': None, 'right': 'R', 'left_seen': True, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': [], 'usable_left': False}), ({'left': None, 'right': 0, 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': False, 'right_done': True, 'error': 'upstream', 'credit': 0}, {'ready': True, 'left': None, 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': [None, 0], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': 0, 'right': 0, 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': 'new', 'left_done': True, 'right_done': True, 'error': None, 'credit': 1}, {'ready': False, 'left': 'new', 'right': 0, 'left_seen': True, 'right_seen': False, 'impossible': True, 'complete': True, 'pair': [0, 0], 'cancel_both': [], 'usable_left': False}), ({'left': 0, 'right': None, 'left_seen': False, 'right_seen': True, 'side': 'right', 'value': None, 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 12}, {'ready': False, 'left': 0, 'right': None, 'left_seen': False, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': [0, None], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': None, 'right': None, 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': False, 'right_done': False, 'error': None, 'credit': 0}, {'ready': False, 'left': None, 'right': None, 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [None, None], 'cancel_both': [], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': True, 'error': 'upstream', 'credit': 12}, {'ready': True, 'left': 'L', 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': True, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True})], 5: [({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 15}, {'ready': False, 'left': None, 'right': 'R', 'left_seen': True, 'right_seen': False, 'impossible': True, 'complete': False, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': False}), ({'left': None, 'right': None, 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': False, 'error': 'upstream', 'credit': 1}, {'ready': True, 'left': None, 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': False, 'pair': [None, None], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': 'L', 'right': 'R', 'left_seen': False, 'right_seen': True, 'side': 'left', 'value': 'new', 'left_done': True, 'right_done': True, 'error': None, 'credit': 15}, {'ready': False, 'left': 'new', 'right': 'R', 'left_seen': True, 'right_seen': True, 'impossible': True, 'complete': True, 'pair': ['L', 'R'], 'cancel_both': [], 'usable_left': False}), ({'left': 'L', 'right': None, 'left_seen': False, 'right_seen': False, 'side': 'right', 'value': None, 'left_done': False, 'right_done': True, 'error': None, 'credit': 0}, {'ready': False, 'left': 'L', 'right': None, 'left_seen': False, 'right_seen': True, 'impossible': True, 'complete': False, 'pair': ['L', None], 'cancel_both': [], 'usable_left': False}), ({'left': 0, 'right': 'R', 'left_seen': True, 'right_seen': False, 'side': 'left', 'value': 'new', 'left_done': False, 'right_done': False, 'error': 'upstream', 'credit': 15}, {'ready': False, 'left': 'new', 'right': 'R', 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [0, 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': 0, 'right': 'R', 'left_seen': True, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': False, 'right_done': False, 'error': 'upstream', 'credit': 15}, {'ready': False, 'left': None, 'right': 'R', 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [0, 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True}), ({'left': None, 'right': None, 'left_seen': False, 'right_seen': False, 'side': 'left', 'value': None, 'left_done': False, 'right_done': False, 'error': None, 'credit': 0}, {'ready': False, 'left': None, 'right': None, 'left_seen': True, 'right_seen': False, 'impossible': False, 'complete': False, 'pair': [None, None], 'cancel_both': [], 'usable_left': False}), ({'left': 'L', 'right': 'R', 'left_seen': True, 'right_seen': True, 'side': 'right', 'value': 'new', 'left_done': True, 'right_done': True, 'error': 'upstream', 'credit': 15}, {'ready': True, 'left': 'L', 'right': 'new', 'left_seen': True, 'right_seen': True, 'impossible': False, 'complete': True, 'pair': ['L', 'R'], 'cancel_both': ['left', 'right'], 'usable_left': True})]}\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-combine-latest-right","generated_at":"2026-09-29T14:43:51.818530+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 right decision from the complete contract: s['value'] if s['side']=='right' else s['right'].","root_cause":"The right decision in the combine-latest listener model is computed as s['value'], losing a required lifecycle condition.","sha256":"a971dfa6fb1c8587db98a99f3005831e8d806536e00ef0f9385fec20377a56e2","title":"Left input notifications overwrite combine-latest right state · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.697,"exit_code":1,"observations":[{"actual":{"cancel_both":["left","right"],"complete":false,"impossible":true,"left":"new","left_seen":true,"pair":["L","R"],"ready":false,"right":"new","right_seen":false,"usable_left":false},"check":"transition 0","expected":{"cancel_both":["left","right"],"complete":false,"impossible":true,"left":"new","left_seen":true,"pair":["L","R"],"ready":false,"right":"R","right_seen":false,"usable_left":false},"passed":false},{"actual":{"cancel_both":["left","right"],"complete":false,"impossible":false,"left":null,"left_seen":true,"pair":[null,null],"ready":true,"right":null,"right_seen":true,"usable_left":true},"check":"transition 1","expected":{"cancel_both":["left","right"],"complete":false,"impossible":false,"left":null,"left_seen":true,"pair":[null,null],"ready":true,"right":"new","right_seen":true,"usable_left":true},"passed":false},{"actual":{"cancel_both":["left","right"],"complete":true,"impossible":true,"left":"new","left_seen":true,"pair":[0,"R"],"ready":false,"right":"new","right_seen":true,"usable_left":false},"check":"transition 2","expected":{"cancel_both":["left","right"],"complete":true,"impossible":true,"left":"new","left_seen":true,"pair":[0,"R"],"ready":false,"right":"R","right_seen":true,"usable_left":false},"passed":false},{"actual":{"cancel_both":["left","right"],"complete":false,"impossible":false,"left":"new","left_seen":true,"pair":["L","R"],"ready":false,"right":"new","right_seen":false,"usable_left":false},"check":"transition 3","expected":{"cancel_both":["left","right"],"complete":false,"impossible":false,"left":"new","left_seen":true,"pair":["L","R"],"ready":false,"right":"R","right_seen":false,"usable_left":false},"passed":false},{"actual":{"cancel_both":[],"complete":false,"impossible":false,"left":null,"left_seen":true,"pair":["L","R"],"ready":true,"right":null,"right_seen":true,"usable_left":true},"check":"transition 4","expected":{"cancel_both":[],"complete":false,"impossible":false,"left":null,"left_seen":true,"pair":["L","R"],"ready":true,"right":"R","right_seen":true,"usable_left":true},"passed":false},{"actual":{"cancel_both":["left","right"],"complete":false,"impossible":false,"left":"L","left_seen":true,"pair":["L",null],"ready":true,"right":null,"right_seen":true,"usable_left":true},"check":"transition 5","expected":{"cancel_both":["left","right"],"complete":false,"impossible":false,"left":"L","left_seen":true,"pair":["L",null],"ready":true,"right":null,"right_seen":true,"usable_left":true},"passed":true},{"actual":{"cancel_both":[],"complete":false,"impossible":false,"left":null,"left_seen":true,"pair":[null,null],"ready":false,"right":null,"right_seen":false,"usable_left":false},"check":"transition 6","expected":{"cancel_both":[],"complete":false,"impossible":false,"left":null,"left_seen":true,"pair":[null,null],"ready":false,"right":null,"right_seen":false,"usable_left":false},"passed":true},{"actual":{"cancel_both":["left","right"],"complete":true,"impossible":false,"left":"L","left_seen":true,"pair":["L","R"],"ready":true,"right":"R","right_seen":true,"usable_left":true},"check":"transition 7","expected":{"cancel_both":["left","right"],"complete":true,"impossible":false,"left":"L","left_seen":true,"pair":["L","R"],"ready":true,"right":"new","right_seen":true,"usable_left":true},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"ready\": false, \"left\": \"new\", \"right\": \"new\", \"left_seen\": true, \"right_seen\": false, \"impossible\": true, \"complete\": false, \"pair\": [\"L\", \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": false}, \"expected\": {\"ready\": false, \"left\": \"new\", \"right\": \"R\", \"left_seen\": true, \"right_seen\": false, \"impossible\": true, \"complete\": false, \"pair\": [\"L\", \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": false}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"ready\": true, \"left\": null, \"right\": null, \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": false, \"pair\": [null, null], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": true}, \"expected\": {\"ready\": true, \"left\": null, \"right\": \"new\", \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": false, \"pair\": [null, null], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": true}, \"passed\": false}, {\"check\": \"transition 2\", \"actual\": {\"ready\": false, \"left\": \"new\", \"right\": \"new\", \"left_seen\": true, \"right_seen\": true, \"impossible\": true, \"complete\": true, \"pair\": [0, \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": false}, \"expected\": {\"ready\": false, \"left\": \"new\", \"right\": \"R\", \"left_seen\": true, \"right_seen\": true, \"impossible\": true, \"complete\": true, \"pair\": [0, \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": false}, \"passed\": false}, {\"check\": \"transition 3\", \"actual\": {\"ready\": false, \"left\": \"new\", \"right\": \"new\", \"left_seen\": true, \"right_seen\": false, \"impossible\": false, \"complete\": false, \"pair\": [\"L\", \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": false}, \"expected\": {\"ready\": false, \"left\": \"new\", \"right\": \"R\", \"left_seen\": true, \"right_seen\": false, \"impossible\": false, \"complete\": false, \"pair\": [\"L\", \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": false}, \"passed\": false}, {\"check\": \"transition 4\", \"actual\": {\"ready\": true, \"left\": null, \"right\": null, \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": false, \"pair\": [\"L\", \"R\"], \"cancel_both\": [], \"usable_left\": true}, \"expected\": {\"ready\": true, \"left\": null, \"right\": \"R\", \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": false, \"pair\": [\"L\", \"R\"], \"cancel_both\": [], \"usable_left\": true}, \"passed\": false}, {\"check\": \"transition 5\", \"actual\": {\"ready\": true, \"left\": \"L\", \"right\": null, \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": false, \"pair\": [\"L\", null], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": true}, \"expected\": {\"ready\": true, \"left\": \"L\", \"right\": null, \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": false, \"pair\": [\"L\", null], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": true}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"ready\": false, \"left\": null, \"right\": null, \"left_seen\": true, \"right_seen\": false, \"impossible\": false, \"complete\": false, \"pair\": [null, null], \"cancel_both\": [], \"usable_left\": false}, \"expected\": {\"ready\": false, \"left\": null, \"right\": null, \"left_seen\": true, \"right_seen\": false, \"impossible\": false, \"complete\": false, \"pair\": [null, null], \"cancel_both\": [], \"usable_left\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"ready\": true, \"left\": \"L\", \"right\": \"R\", \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": true, \"pair\": [\"L\", \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": true}, \"expected\": {\"ready\": true, \"left\": \"L\", \"right\": \"new\", \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": true, \"pair\": [\"L\", \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": true}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.968,"exit_code":1,"observations":[{"actual":{"cancel_both":["left","right"],"complete":false,"impossible":true,"left":"new","left_seen":true,"pair":["L","R"],"ready":false,"right":"new","right_seen":false,"usable_left":false},"check":"transition 0","expected":{"cancel_both":["left","right"],"complete":false,"impossible":true,"left":"new","left_seen":true,"pair":["L","R"],"ready":false,"right":"R","right_seen":false,"usable_left":false},"passed":false},{"actual":{"cancel_both":["left","right"],"complete":false,"impossible":false,"left":null,"left_seen":true,"pair":[null,null],"ready":true,"right":"new","right_seen":true,"usable_left":true},"check":"transition 1","expected":{"cancel_both":["left","right"],"complete":false,"impossible":false,"left":null,"left_seen":true,"pair":[null,null],"ready":true,"right":"new","right_seen":true,"usable_left":true},"passed":true},{"actual":{"cancel_both":["left","right"],"complete":true,"impossible":true,"left":"new","left_seen":true,"pair":[0,"R"],"ready":false,"right":"new","right_seen":true,"usable_left":false},"check":"transition 2","expected":{"cancel_both":["left","right"],"complete":true,"impossible":true,"left":"new","left_seen":true,"pair":[0,"R"],"ready":false,"right":"R","right_seen":true,"usable_left":false},"passed":false},{"actual":{"cancel_both":["left","right"],"complete":false,"impossible":false,"left":"new","left_seen":true,"pair":["L","R"],"ready":false,"right":"new","right_seen":false,"usable_left":false},"check":"transition 3","expected":{"cancel_both":["left","right"],"complete":false,"impossible":false,"left":"new","left_seen":true,"pair":["L","R"],"ready":false,"right":"R","right_seen":false,"usable_left":false},"passed":false},{"actual":{"cancel_both":[],"complete":false,"impossible":false,"left":null,"left_seen":true,"pair":["L","R"],"ready":true,"right":null,"right_seen":true,"usable_left":true},"check":"transition 4","expected":{"cancel_both":[],"complete":false,"impossible":false,"left":null,"left_seen":true,"pair":["L","R"],"ready":true,"right":"R","right_seen":true,"usable_left":true},"passed":false},{"actual":{"cancel_both":["left","right"],"complete":false,"impossible":false,"left":"L","left_seen":true,"pair":["L",null],"ready":true,"right":null,"right_seen":true,"usable_left":true},"check":"transition 5","expected":{"cancel_both":["left","right"],"complete":false,"impossible":false,"left":"L","left_seen":true,"pair":["L",null],"ready":true,"right":null,"right_seen":true,"usable_left":true},"passed":true},{"actual":{"cancel_both":[],"complete":false,"impossible":false,"left":null,"left_seen":true,"pair":[null,null],"ready":false,"right":null,"right_seen":false,"usable_left":false},"check":"transition 6","expected":{"cancel_both":[],"complete":false,"impossible":false,"left":null,"left_seen":true,"pair":[null,null],"ready":false,"right":null,"right_seen":false,"usable_left":false},"passed":true},{"actual":{"cancel_both":["left","right"],"complete":true,"impossible":false,"left":"L","left_seen":true,"pair":["L","R"],"ready":true,"right":"new","right_seen":true,"usable_left":true},"check":"transition 7","expected":{"cancel_both":["left","right"],"complete":true,"impossible":false,"left":"L","left_seen":true,"pair":["L","R"],"ready":true,"right":"new","right_seen":true,"usable_left":true},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"ready\": false, \"left\": \"new\", \"right\": \"new\", \"left_seen\": true, \"right_seen\": false, \"impossible\": true, \"complete\": false, \"pair\": [\"L\", \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": false}, \"expected\": {\"ready\": false, \"left\": \"new\", \"right\": \"R\", \"left_seen\": true, \"right_seen\": false, \"impossible\": true, \"complete\": false, \"pair\": [\"L\", \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": false}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"ready\": true, \"left\": null, \"right\": \"new\", \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": false, \"pair\": [null, null], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": true}, \"expected\": {\"ready\": true, \"left\": null, \"right\": \"new\", \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": false, \"pair\": [null, null], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": true}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"ready\": false, \"left\": \"new\", \"right\": \"new\", \"left_seen\": true, \"right_seen\": true, \"impossible\": true, \"complete\": true, \"pair\": [0, \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": false}, \"expected\": {\"ready\": false, \"left\": \"new\", \"right\": \"R\", \"left_seen\": true, \"right_seen\": true, \"impossible\": true, \"complete\": true, \"pair\": [0, \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": false}, \"passed\": false}, {\"check\": \"transition 3\", \"actual\": {\"ready\": false, \"left\": \"new\", \"right\": \"new\", \"left_seen\": true, \"right_seen\": false, \"impossible\": false, \"complete\": false, \"pair\": [\"L\", \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": false}, \"expected\": {\"ready\": false, \"left\": \"new\", \"right\": \"R\", \"left_seen\": true, \"right_seen\": false, \"impossible\": false, \"complete\": false, \"pair\": [\"L\", \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": false}, \"passed\": false}, {\"check\": \"transition 4\", \"actual\": {\"ready\": true, \"left\": null, \"right\": null, \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": false, \"pair\": [\"L\", \"R\"], \"cancel_both\": [], \"usable_left\": true}, \"expected\": {\"ready\": true, \"left\": null, \"right\": \"R\", \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": false, \"pair\": [\"L\", \"R\"], \"cancel_both\": [], \"usable_left\": true}, \"passed\": false}, {\"check\": \"transition 5\", \"actual\": {\"ready\": true, \"left\": \"L\", \"right\": null, \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": false, \"pair\": [\"L\", null], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": true}, \"expected\": {\"ready\": true, \"left\": \"L\", \"right\": null, \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": false, \"pair\": [\"L\", null], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": true}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"ready\": false, \"left\": null, \"right\": null, \"left_seen\": true, \"right_seen\": false, \"impossible\": false, \"complete\": false, \"pair\": [null, null], \"cancel_both\": [], \"usable_left\": false}, \"expected\": {\"ready\": false, \"left\": null, \"right\": null, \"left_seen\": true, \"right_seen\": false, \"impossible\": false, \"complete\": false, \"pair\": [null, null], \"cancel_both\": [], \"usable_left\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"ready\": true, \"left\": \"L\", \"right\": \"new\", \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": true, \"pair\": [\"L\", \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": true}, \"expected\": {\"ready\": true, \"left\": \"L\", \"right\": \"new\", \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": true, \"pair\": [\"L\", \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": true}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.522,"exit_code":0,"observations":[{"actual":{"cancel_both":["left","right"],"complete":false,"impossible":true,"left":"new","left_seen":true,"pair":["L","R"],"ready":false,"right":"R","right_seen":false,"usable_left":false},"check":"transition 0","expected":{"cancel_both":["left","right"],"complete":false,"impossible":true,"left":"new","left_seen":true,"pair":["L","R"],"ready":false,"right":"R","right_seen":false,"usable_left":false},"passed":true},{"actual":{"cancel_both":["left","right"],"complete":false,"impossible":false,"left":null,"left_seen":true,"pair":[null,null],"ready":true,"right":"new","right_seen":true,"usable_left":true},"check":"transition 1","expected":{"cancel_both":["left","right"],"complete":false,"impossible":false,"left":null,"left_seen":true,"pair":[null,null],"ready":true,"right":"new","right_seen":true,"usable_left":true},"passed":true},{"actual":{"cancel_both":["left","right"],"complete":true,"impossible":true,"left":"new","left_seen":true,"pair":[0,"R"],"ready":false,"right":"R","right_seen":true,"usable_left":false},"check":"transition 2","expected":{"cancel_both":["left","right"],"complete":true,"impossible":true,"left":"new","left_seen":true,"pair":[0,"R"],"ready":false,"right":"R","right_seen":true,"usable_left":false},"passed":true},{"actual":{"cancel_both":["left","right"],"complete":false,"impossible":false,"left":"new","left_seen":true,"pair":["L","R"],"ready":false,"right":"R","right_seen":false,"usable_left":false},"check":"transition 3","expected":{"cancel_both":["left","right"],"complete":false,"impossible":false,"left":"new","left_seen":true,"pair":["L","R"],"ready":false,"right":"R","right_seen":false,"usable_left":false},"passed":true},{"actual":{"cancel_both":[],"complete":false,"impossible":false,"left":null,"left_seen":true,"pair":["L","R"],"ready":true,"right":"R","right_seen":true,"usable_left":true},"check":"transition 4","expected":{"cancel_both":[],"complete":false,"impossible":false,"left":null,"left_seen":true,"pair":["L","R"],"ready":true,"right":"R","right_seen":true,"usable_left":true},"passed":true},{"actual":{"cancel_both":["left","right"],"complete":false,"impossible":false,"left":"L","left_seen":true,"pair":["L",null],"ready":true,"right":null,"right_seen":true,"usable_left":true},"check":"transition 5","expected":{"cancel_both":["left","right"],"complete":false,"impossible":false,"left":"L","left_seen":true,"pair":["L",null],"ready":true,"right":null,"right_seen":true,"usable_left":true},"passed":true},{"actual":{"cancel_both":[],"complete":false,"impossible":false,"left":null,"left_seen":true,"pair":[null,null],"ready":false,"right":null,"right_seen":false,"usable_left":false},"check":"transition 6","expected":{"cancel_both":[],"complete":false,"impossible":false,"left":null,"left_seen":true,"pair":[null,null],"ready":false,"right":null,"right_seen":false,"usable_left":false},"passed":true},{"actual":{"cancel_both":["left","right"],"complete":true,"impossible":false,"left":"L","left_seen":true,"pair":["L","R"],"ready":true,"right":"new","right_seen":true,"usable_left":true},"check":"transition 7","expected":{"cancel_both":["left","right"],"complete":true,"impossible":false,"left":"L","left_seen":true,"pair":["L","R"],"ready":true,"right":"new","right_seen":true,"usable_left":true},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"ready\": false, \"left\": \"new\", \"right\": \"R\", \"left_seen\": true, \"right_seen\": false, \"impossible\": true, \"complete\": false, \"pair\": [\"L\", \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": false}, \"expected\": {\"ready\": false, \"left\": \"new\", \"right\": \"R\", \"left_seen\": true, \"right_seen\": false, \"impossible\": true, \"complete\": false, \"pair\": [\"L\", \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": false}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"ready\": true, \"left\": null, \"right\": \"new\", \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": false, \"pair\": [null, null], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": true}, \"expected\": {\"ready\": true, \"left\": null, \"right\": \"new\", \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": false, \"pair\": [null, null], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": true}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"ready\": false, \"left\": \"new\", \"right\": \"R\", \"left_seen\": true, \"right_seen\": true, \"impossible\": true, \"complete\": true, \"pair\": [0, \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": false}, \"expected\": {\"ready\": false, \"left\": \"new\", \"right\": \"R\", \"left_seen\": true, \"right_seen\": true, \"impossible\": true, \"complete\": true, \"pair\": [0, \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": false}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"ready\": false, \"left\": \"new\", \"right\": \"R\", \"left_seen\": true, \"right_seen\": false, \"impossible\": false, \"complete\": false, \"pair\": [\"L\", \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": false}, \"expected\": {\"ready\": false, \"left\": \"new\", \"right\": \"R\", \"left_seen\": true, \"right_seen\": false, \"impossible\": false, \"complete\": false, \"pair\": [\"L\", \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": false}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"ready\": true, \"left\": null, \"right\": \"R\", \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": false, \"pair\": [\"L\", \"R\"], \"cancel_both\": [], \"usable_left\": true}, \"expected\": {\"ready\": true, \"left\": null, \"right\": \"R\", \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": false, \"pair\": [\"L\", \"R\"], \"cancel_both\": [], \"usable_left\": true}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"ready\": true, \"left\": \"L\", \"right\": null, \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": false, \"pair\": [\"L\", null], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": true}, \"expected\": {\"ready\": true, \"left\": \"L\", \"right\": null, \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": false, \"pair\": [\"L\", null], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": true}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"ready\": false, \"left\": null, \"right\": null, \"left_seen\": true, \"right_seen\": false, \"impossible\": false, \"complete\": false, \"pair\": [null, null], \"cancel_both\": [], \"usable_left\": false}, \"expected\": {\"ready\": false, \"left\": null, \"right\": null, \"left_seen\": true, \"right_seen\": false, \"impossible\": false, \"complete\": false, \"pair\": [null, null], \"cancel_both\": [], \"usable_left\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"ready\": true, \"left\": \"L\", \"right\": \"new\", \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": true, \"pair\": [\"L\", \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": true}, \"expected\": {\"ready\": true, \"left\": \"L\", \"right\": \"new\", \"left_seen\": true, \"right_seen\": true, \"impossible\": false, \"complete\": true, \"pair\": [\"L\", \"R\"], \"cancel_both\": [\"left\", \"right\"], \"usable_left\": true}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}