{"abstract":"While yielding, event yield_ack produces speaking/send_payload instead of listening/disable_transmit.","category":"Protocols","checks":14,"contract":"For the stipulated Half-duplex speaking-turn controller, initialize the explicitly shown resource registers from seed (1..5), then consume classified events sequentially. After each event return a deep snapshot of phase, resource registers, and cumulative emitted control frames. The explicit ten phase/event rules and their resource effects define admission and response semantics. Unlisted events preserve phase and emit rejection. Payload is the consecutive integers seed through 2*seed+1. Empty event input returns no observations.","evaluation_group":"s3-protocols-duplex_turn","failed_approach":"The partial repair chooses listening/enable_transmit, which still violates this phase-specific event contract.","family":"s3-protocols-duplex_turn-yielding-yield_ack","id":"FA-20006","implementations":{"attempt":{"sha256":"de559c31ff1ee86077ae8f8284e52fe9f181a188fd3719901305a9732c7b0671","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(phase, events, seed):\n    payload = list(range(seed, seed * 2 + 2))\n    r = {'local_enabled': phase=='speaking', 'remote_enabled': phase in ('listening','offered'), 'offered': phase=='offered', 'queue': payload[:], 'received': [], 'burst': []}\n    frames = []\n    observed = []\n    table = {('listening', 'turn_offer'): ('offered', 'ack_offer'), ('offered', 'turn_commit'): ('speaking', 'enable_transmit'), ('speaking', 'yield'): ('yielding', 'send_yield'), ('yielding', 'yield_ack'): ('listening', 'enable_transmit'), ('listening', 'remote_payload'): ('listening', 'deliver'), ('speaking', 'remote_payload'): ('speaking', 'report_collision'), ('listening', 'local_payload'): ('listening', 'queue_local'), ('offered', 'offer_withdrawn'): ('listening', 'clear_offer'), ('yielding', 'local_payload'): ('yielding', 'queue_next_turn'), ('listening', 'unsolicited_commit'): ('listening', 'reject_unoffered')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'ack_offer':\n            frames.append(['TURN_READY',seed])\n        elif action == 'enable_transmit':\n            r['local_enabled']=True; r['remote_enabled']=False\n        elif action == 'send_yield':\n            frames.append(['YIELD',seed]); r['local_enabled']=False\n        elif action == 'disable_transmit':\n            r['local_enabled']=False; r['remote_enabled']=True\n        elif action == 'deliver':\n            r['received'].extend(payload)\n        elif action == 'report_collision':\n            frames.append(['COLLISION',seed])\n        elif action == 'queue_local':\n            r['queue'].extend(payload)\n        elif action == 'clear_offer':\n            r['offered']=False\n        elif action == 'queue_next_turn':\n            r['queue'].extend(payload)\n        elif action == 'reject_unoffered':\n            frames.append(['NO_TURN_OFFER',seed])\n        elif action == 'send_payload':\n            r['burst'].extend(payload)\n        elif action == 'enable_both':\n            r['local_enabled']=True; r['remote_enabled']=True\n        elif action == 'disable_now':\n            r['local_enabled']=False\n        elif action == 'keep_admitting':\n            r['queue'].extend(payload)\n        elif action == 'take_turn':\n            r['local_enabled']=True\n        elif action == 'echo':\n            frames.append(['DATA',payload])\n        elif action == 'drop_local':\n            r['queue']=[]\n        elif action == 'append_current_burst':\n            r['burst'].extend(payload)\n        else:\n            if action not in (\"wait\", \"ignore\", \"keep\", \"retain\", \"keep_peer\", \"keep_offer\", \"keep_hold\", \"keep_batch\", \"retain_staging\", \"keep_staging\", \"keep_local_owner\", \"keep_old_session\", \"keep_address\", \"keep_old_expiry\", \"ignore_conflict\", \"keep_service\", \"keep_subscription\", \"retain_shadow\", \"keep_live\", \"keep_suspicion\", \"keep_roles\", \"keep_staged\"):\n                frames.append([action, payload[:]])\n        observed.append(json.loads(json.dumps({\"phase\": phase, \"registers\": r, \"frames\": frames})))\n    return observed\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [('listening/turn_offer', 'listening', ['turn_offer'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 1]]}]), ('offered/turn_commit', 'offered', ['turn_commit'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': True, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': []}]), ('speaking/yield', 'speaking', ['yield'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': [['YIELD', 1]]}]), ('yielding/yield_ack', 'yielding', ['yield_ack'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': []}]), ('listening/remote_payload', 'listening', ['remote_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [1, 2, 3], 'burst': []}, 'frames': []}]), ('speaking/remote_payload', 'speaking', ['remote_payload'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': [['COLLISION', 1]]}]), ('listening/local_payload', 'listening', ['local_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3], 'received': [], 'burst': []}, 'frames': []}]), ('offered/offer_withdrawn', 'offered', ['offer_withdrawn'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': []}]), ('yielding/local_payload', 'yielding', ['local_payload'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3], 'received': [], 'burst': []}, 'frames': []}]), ('listening/unsolicited_commit', 'listening', ['unsolicited_commit'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': [['NO_TURN_OFFER', 1]]}]), ('ordered trace 0', 'listening', ['turn_offer', 'offer_withdrawn', 'local_payload', 'unsolicited_commit'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 1]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 1]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 1]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 1], ['NO_TURN_OFFER', 1]]}]), ('ordered trace 3', 'yielding', ['local_payload', 'yield_ack', 'remote_payload', 'local_payload'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3], 'received': [1, 2, 3], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3, 1, 2, 3], 'received': [1, 2, 3], 'burst': []}, 'frames': []}]), ('empty input', 'listening', [], []), ('unknown event', 'listening', ['unsupported'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('listening/turn_offer', 'listening', ['turn_offer'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 2]]}]), ('offered/turn_commit', 'offered', ['turn_commit'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': True, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': []}]), ('speaking/yield', 'speaking', ['yield'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['YIELD', 2]]}]), ('yielding/yield_ack', 'yielding', ['yield_ack'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': []}]), ('listening/remote_payload', 'listening', ['remote_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [2, 3, 4, 5], 'burst': []}, 'frames': []}]), ('speaking/remote_payload', 'speaking', ['remote_payload'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['COLLISION', 2]]}]), ('listening/local_payload', 'listening', ['local_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': []}]), ('offered/offer_withdrawn', 'offered', ['offer_withdrawn'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': []}]), ('yielding/local_payload', 'yielding', ['local_payload'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': []}]), ('listening/unsolicited_commit', 'listening', ['unsolicited_commit'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['NO_TURN_OFFER', 2]]}]), ('ordered trace 0', 'listening', ['turn_offer', 'offer_withdrawn', 'local_payload', 'unsolicited_commit', 'turn_offer'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 2]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 2]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 2]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 2], ['NO_TURN_OFFER', 2]]}, {'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 2], ['NO_TURN_OFFER', 2], ['TURN_READY', 2]]}]), ('ordered trace 3', 'yielding', ['local_payload', 'yield_ack', 'remote_payload', 'local_payload', 'unsolicited_commit'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [2, 3, 4, 5], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5, 2, 3, 4, 5], 'received': [2, 3, 4, 5], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5, 2, 3, 4, 5], 'received': [2, 3, 4, 5], 'burst': []}, 'frames': [['NO_TURN_OFFER', 2]]}]), ('empty input', 'listening', [], []), ('unknown event', 'listening', ['unsupported'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('listening/turn_offer', 'listening', ['turn_offer'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 3]]}]), ('offered/turn_commit', 'offered', ['turn_commit'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': True, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': []}]), ('speaking/yield', 'speaking', ['yield'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['YIELD', 3]]}]), ('yielding/yield_ack', 'yielding', ['yield_ack'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': []}]), ('listening/remote_payload', 'listening', ['remote_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [3, 4, 5, 6, 7], 'burst': []}, 'frames': []}]), ('speaking/remote_payload', 'speaking', ['remote_payload'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['COLLISION', 3]]}]), ('listening/local_payload', 'listening', ['local_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': []}]), ('offered/offer_withdrawn', 'offered', ['offer_withdrawn'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': []}]), ('yielding/local_payload', 'yielding', ['local_payload'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': []}]), ('listening/unsolicited_commit', 'listening', ['unsolicited_commit'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['NO_TURN_OFFER', 3]]}]), ('ordered trace 0', 'listening', ['turn_offer', 'offer_withdrawn', 'local_payload', 'unsolicited_commit', 'turn_offer', 'offer_withdrawn'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 3]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 3]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 3]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 3], ['NO_TURN_OFFER', 3]]}, {'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 3], ['NO_TURN_OFFER', 3], ['TURN_READY', 3]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 3], ['NO_TURN_OFFER', 3], ['TURN_READY', 3]]}]), ('ordered trace 3', 'yielding', ['local_payload', 'yield_ack', 'remote_payload', 'local_payload', 'unsolicited_commit', 'turn_offer'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [3, 4, 5, 6, 7], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [3, 4, 5, 6, 7], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [3, 4, 5, 6, 7], 'burst': []}, 'frames': [['NO_TURN_OFFER', 3]]}, {'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [3, 4, 5, 6, 7], 'burst': []}, 'frames': [['NO_TURN_OFFER', 3], ['TURN_READY', 3]]}]), ('empty input', 'listening', [], []), ('unknown event', 'listening', ['unsupported'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('listening/turn_offer', 'listening', ['turn_offer'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4]]}]), ('offered/turn_commit', 'offered', ['turn_commit'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': True, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': []}]), ('speaking/yield', 'speaking', ['yield'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['YIELD', 4]]}]), ('yielding/yield_ack', 'yielding', ['yield_ack'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': []}]), ('listening/remote_payload', 'listening', ['remote_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [4, 5, 6, 7, 8, 9], 'burst': []}, 'frames': []}]), ('speaking/remote_payload', 'speaking', ['remote_payload'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['COLLISION', 4]]}]), ('listening/local_payload', 'listening', ['local_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': []}]), ('offered/offer_withdrawn', 'offered', ['offer_withdrawn'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': []}]), ('yielding/local_payload', 'yielding', ['local_payload'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': []}]), ('listening/unsolicited_commit', 'listening', ['unsolicited_commit'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['NO_TURN_OFFER', 4]]}]), ('ordered trace 0', 'listening', ['turn_offer', 'offer_withdrawn', 'local_payload', 'unsolicited_commit', 'turn_offer', 'offer_withdrawn', 'local_payload'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4], ['NO_TURN_OFFER', 4]]}, {'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4], ['NO_TURN_OFFER', 4], ['TURN_READY', 4]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4], ['NO_TURN_OFFER', 4], ['TURN_READY', 4]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4], ['NO_TURN_OFFER', 4], ['TURN_READY', 4]]}]), ('ordered trace 3', 'yielding', ['local_payload', 'yield_ack', 'remote_payload', 'local_payload', 'unsolicited_commit', 'turn_offer', 'offer_withdrawn'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [4, 5, 6, 7, 8, 9], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [4, 5, 6, 7, 8, 9], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [4, 5, 6, 7, 8, 9], 'burst': []}, 'frames': [['NO_TURN_OFFER', 4]]}, {'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [4, 5, 6, 7, 8, 9], 'burst': []}, 'frames': [['NO_TURN_OFFER', 4], ['TURN_READY', 4]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [4, 5, 6, 7, 8, 9], 'burst': []}, 'frames': [['NO_TURN_OFFER', 4], ['TURN_READY', 4]]}]), ('empty input', 'listening', [], []), ('unknown event', 'listening', ['unsupported'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('listening/turn_offer', 'listening', ['turn_offer'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5]]}]), ('offered/turn_commit', 'offered', ['turn_commit'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': True, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': []}]), ('speaking/yield', 'speaking', ['yield'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['YIELD', 5]]}]), ('yielding/yield_ack', 'yielding', ['yield_ack'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': []}]), ('listening/remote_payload', 'listening', ['remote_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [5, 6, 7, 8, 9, 10, 11], 'burst': []}, 'frames': []}]), ('speaking/remote_payload', 'speaking', ['remote_payload'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['COLLISION', 5]]}]), ('listening/local_payload', 'listening', ['local_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': []}]), ('offered/offer_withdrawn', 'offered', ['offer_withdrawn'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': []}]), ('yielding/local_payload', 'yielding', ['local_payload'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': []}]), ('listening/unsolicited_commit', 'listening', ['unsolicited_commit'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['NO_TURN_OFFER', 5]]}]), ('ordered trace 0', 'listening', ['turn_offer', 'offer_withdrawn', 'local_payload', 'unsolicited_commit', 'turn_offer', 'offer_withdrawn', 'local_payload', 'unsolicited_commit'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5], ['NO_TURN_OFFER', 5]]}, {'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5], ['NO_TURN_OFFER', 5], ['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5], ['NO_TURN_OFFER', 5], ['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5], ['NO_TURN_OFFER', 5], ['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5], ['NO_TURN_OFFER', 5], ['TURN_READY', 5], ['NO_TURN_OFFER', 5]]}]), ('ordered trace 3', 'yielding', ['local_payload', 'yield_ack', 'remote_payload', 'local_payload', 'unsolicited_commit', 'turn_offer', 'offer_withdrawn', 'local_payload'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [5, 6, 7, 8, 9, 10, 11], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [5, 6, 7, 8, 9, 10, 11], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [5, 6, 7, 8, 9, 10, 11], 'burst': []}, 'frames': [['NO_TURN_OFFER', 5]]}, {'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [5, 6, 7, 8, 9, 10, 11], 'burst': []}, 'frames': [['NO_TURN_OFFER', 5], ['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [5, 6, 7, 8, 9, 10, 11], 'burst': []}, 'frames': [['NO_TURN_OFFER', 5], ['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [5, 6, 7, 8, 9, 10, 11], 'burst': []}, 'frames': [['NO_TURN_OFFER', 5], ['TURN_READY', 5]]}]), ('empty input', 'listening', [], []), ('unknown event', 'listening', ['unsupported'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['reject', [5, 6, 7, 8, 9, 10, 11]]]}])]}\nfor label, phase, events, expected in cases[N]:\n    check(label, solve(phase, events, N), 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":"3b68c5284d0f4ae6b50069cdfa507007f3967b279316808587a9c3c3cc3cdc92","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(phase, events, seed):\n    payload = list(range(seed, seed * 2 + 2))\n    r = {'local_enabled': phase=='speaking', 'remote_enabled': phase in ('listening','offered'), 'offered': phase=='offered', 'queue': payload[:], 'received': [], 'burst': []}\n    frames = []\n    observed = []\n    table = {('listening', 'turn_offer'): ('offered', 'ack_offer'), ('offered', 'turn_commit'): ('speaking', 'enable_transmit'), ('speaking', 'yield'): ('yielding', 'send_yield'), ('yielding', 'yield_ack'): ('speaking', 'send_payload'), ('listening', 'remote_payload'): ('listening', 'deliver'), ('speaking', 'remote_payload'): ('speaking', 'report_collision'), ('listening', 'local_payload'): ('listening', 'queue_local'), ('offered', 'offer_withdrawn'): ('listening', 'clear_offer'), ('yielding', 'local_payload'): ('yielding', 'queue_next_turn'), ('listening', 'unsolicited_commit'): ('listening', 'reject_unoffered')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'ack_offer':\n            frames.append(['TURN_READY',seed])\n        elif action == 'enable_transmit':\n            r['local_enabled']=True; r['remote_enabled']=False\n        elif action == 'send_yield':\n            frames.append(['YIELD',seed]); r['local_enabled']=False\n        elif action == 'disable_transmit':\n            r['local_enabled']=False; r['remote_enabled']=True\n        elif action == 'deliver':\n            r['received'].extend(payload)\n        elif action == 'report_collision':\n            frames.append(['COLLISION',seed])\n        elif action == 'queue_local':\n            r['queue'].extend(payload)\n        elif action == 'clear_offer':\n            r['offered']=False\n        elif action == 'queue_next_turn':\n            r['queue'].extend(payload)\n        elif action == 'reject_unoffered':\n            frames.append(['NO_TURN_OFFER',seed])\n        elif action == 'send_payload':\n            r['burst'].extend(payload)\n        elif action == 'enable_both':\n            r['local_enabled']=True; r['remote_enabled']=True\n        elif action == 'disable_now':\n            r['local_enabled']=False\n        elif action == 'keep_admitting':\n            r['queue'].extend(payload)\n        elif action == 'take_turn':\n            r['local_enabled']=True\n        elif action == 'echo':\n            frames.append(['DATA',payload])\n        elif action == 'drop_local':\n            r['queue']=[]\n        elif action == 'append_current_burst':\n            r['burst'].extend(payload)\n        else:\n            if action not in (\"wait\", \"ignore\", \"keep\", \"retain\", \"keep_peer\", \"keep_offer\", \"keep_hold\", \"keep_batch\", \"retain_staging\", \"keep_staging\", \"keep_local_owner\", \"keep_old_session\", \"keep_address\", \"keep_old_expiry\", \"ignore_conflict\", \"keep_service\", \"keep_subscription\", \"retain_shadow\", \"keep_live\", \"keep_suspicion\", \"keep_roles\", \"keep_staged\"):\n                frames.append([action, payload[:]])\n        observed.append(json.loads(json.dumps({\"phase\": phase, \"registers\": r, \"frames\": frames})))\n    return observed\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [('listening/turn_offer', 'listening', ['turn_offer'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 1]]}]), ('offered/turn_commit', 'offered', ['turn_commit'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': True, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': []}]), ('speaking/yield', 'speaking', ['yield'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': [['YIELD', 1]]}]), ('yielding/yield_ack', 'yielding', ['yield_ack'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': []}]), ('listening/remote_payload', 'listening', ['remote_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [1, 2, 3], 'burst': []}, 'frames': []}]), ('speaking/remote_payload', 'speaking', ['remote_payload'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': [['COLLISION', 1]]}]), ('listening/local_payload', 'listening', ['local_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3], 'received': [], 'burst': []}, 'frames': []}]), ('offered/offer_withdrawn', 'offered', ['offer_withdrawn'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': []}]), ('yielding/local_payload', 'yielding', ['local_payload'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3], 'received': [], 'burst': []}, 'frames': []}]), ('listening/unsolicited_commit', 'listening', ['unsolicited_commit'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': [['NO_TURN_OFFER', 1]]}]), ('ordered trace 0', 'listening', ['turn_offer', 'offer_withdrawn', 'local_payload', 'unsolicited_commit'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 1]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 1]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 1]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 1], ['NO_TURN_OFFER', 1]]}]), ('ordered trace 3', 'yielding', ['local_payload', 'yield_ack', 'remote_payload', 'local_payload'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3], 'received': [1, 2, 3], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3, 1, 2, 3], 'received': [1, 2, 3], 'burst': []}, 'frames': []}]), ('empty input', 'listening', [], []), ('unknown event', 'listening', ['unsupported'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('listening/turn_offer', 'listening', ['turn_offer'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 2]]}]), ('offered/turn_commit', 'offered', ['turn_commit'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': True, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': []}]), ('speaking/yield', 'speaking', ['yield'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['YIELD', 2]]}]), ('yielding/yield_ack', 'yielding', ['yield_ack'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': []}]), ('listening/remote_payload', 'listening', ['remote_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [2, 3, 4, 5], 'burst': []}, 'frames': []}]), ('speaking/remote_payload', 'speaking', ['remote_payload'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['COLLISION', 2]]}]), ('listening/local_payload', 'listening', ['local_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': []}]), ('offered/offer_withdrawn', 'offered', ['offer_withdrawn'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': []}]), ('yielding/local_payload', 'yielding', ['local_payload'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': []}]), ('listening/unsolicited_commit', 'listening', ['unsolicited_commit'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['NO_TURN_OFFER', 2]]}]), ('ordered trace 0', 'listening', ['turn_offer', 'offer_withdrawn', 'local_payload', 'unsolicited_commit', 'turn_offer'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 2]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 2]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 2]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 2], ['NO_TURN_OFFER', 2]]}, {'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 2], ['NO_TURN_OFFER', 2], ['TURN_READY', 2]]}]), ('ordered trace 3', 'yielding', ['local_payload', 'yield_ack', 'remote_payload', 'local_payload', 'unsolicited_commit'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [2, 3, 4, 5], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5, 2, 3, 4, 5], 'received': [2, 3, 4, 5], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5, 2, 3, 4, 5], 'received': [2, 3, 4, 5], 'burst': []}, 'frames': [['NO_TURN_OFFER', 2]]}]), ('empty input', 'listening', [], []), ('unknown event', 'listening', ['unsupported'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('listening/turn_offer', 'listening', ['turn_offer'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 3]]}]), ('offered/turn_commit', 'offered', ['turn_commit'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': True, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': []}]), ('speaking/yield', 'speaking', ['yield'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['YIELD', 3]]}]), ('yielding/yield_ack', 'yielding', ['yield_ack'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': []}]), ('listening/remote_payload', 'listening', ['remote_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [3, 4, 5, 6, 7], 'burst': []}, 'frames': []}]), ('speaking/remote_payload', 'speaking', ['remote_payload'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['COLLISION', 3]]}]), ('listening/local_payload', 'listening', ['local_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': []}]), ('offered/offer_withdrawn', 'offered', ['offer_withdrawn'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': []}]), ('yielding/local_payload', 'yielding', ['local_payload'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': []}]), ('listening/unsolicited_commit', 'listening', ['unsolicited_commit'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['NO_TURN_OFFER', 3]]}]), ('ordered trace 0', 'listening', ['turn_offer', 'offer_withdrawn', 'local_payload', 'unsolicited_commit', 'turn_offer', 'offer_withdrawn'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 3]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 3]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 3]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 3], ['NO_TURN_OFFER', 3]]}, {'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 3], ['NO_TURN_OFFER', 3], ['TURN_READY', 3]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 3], ['NO_TURN_OFFER', 3], ['TURN_READY', 3]]}]), ('ordered trace 3', 'yielding', ['local_payload', 'yield_ack', 'remote_payload', 'local_payload', 'unsolicited_commit', 'turn_offer'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [3, 4, 5, 6, 7], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [3, 4, 5, 6, 7], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [3, 4, 5, 6, 7], 'burst': []}, 'frames': [['NO_TURN_OFFER', 3]]}, {'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [3, 4, 5, 6, 7], 'burst': []}, 'frames': [['NO_TURN_OFFER', 3], ['TURN_READY', 3]]}]), ('empty input', 'listening', [], []), ('unknown event', 'listening', ['unsupported'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('listening/turn_offer', 'listening', ['turn_offer'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4]]}]), ('offered/turn_commit', 'offered', ['turn_commit'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': True, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': []}]), ('speaking/yield', 'speaking', ['yield'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['YIELD', 4]]}]), ('yielding/yield_ack', 'yielding', ['yield_ack'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': []}]), ('listening/remote_payload', 'listening', ['remote_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [4, 5, 6, 7, 8, 9], 'burst': []}, 'frames': []}]), ('speaking/remote_payload', 'speaking', ['remote_payload'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['COLLISION', 4]]}]), ('listening/local_payload', 'listening', ['local_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': []}]), ('offered/offer_withdrawn', 'offered', ['offer_withdrawn'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': []}]), ('yielding/local_payload', 'yielding', ['local_payload'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': []}]), ('listening/unsolicited_commit', 'listening', ['unsolicited_commit'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['NO_TURN_OFFER', 4]]}]), ('ordered trace 0', 'listening', ['turn_offer', 'offer_withdrawn', 'local_payload', 'unsolicited_commit', 'turn_offer', 'offer_withdrawn', 'local_payload'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4], ['NO_TURN_OFFER', 4]]}, {'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4], ['NO_TURN_OFFER', 4], ['TURN_READY', 4]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4], ['NO_TURN_OFFER', 4], ['TURN_READY', 4]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4], ['NO_TURN_OFFER', 4], ['TURN_READY', 4]]}]), ('ordered trace 3', 'yielding', ['local_payload', 'yield_ack', 'remote_payload', 'local_payload', 'unsolicited_commit', 'turn_offer', 'offer_withdrawn'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [4, 5, 6, 7, 8, 9], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [4, 5, 6, 7, 8, 9], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [4, 5, 6, 7, 8, 9], 'burst': []}, 'frames': [['NO_TURN_OFFER', 4]]}, {'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [4, 5, 6, 7, 8, 9], 'burst': []}, 'frames': [['NO_TURN_OFFER', 4], ['TURN_READY', 4]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [4, 5, 6, 7, 8, 9], 'burst': []}, 'frames': [['NO_TURN_OFFER', 4], ['TURN_READY', 4]]}]), ('empty input', 'listening', [], []), ('unknown event', 'listening', ['unsupported'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('listening/turn_offer', 'listening', ['turn_offer'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5]]}]), ('offered/turn_commit', 'offered', ['turn_commit'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': True, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': []}]), ('speaking/yield', 'speaking', ['yield'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['YIELD', 5]]}]), ('yielding/yield_ack', 'yielding', ['yield_ack'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': []}]), ('listening/remote_payload', 'listening', ['remote_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [5, 6, 7, 8, 9, 10, 11], 'burst': []}, 'frames': []}]), ('speaking/remote_payload', 'speaking', ['remote_payload'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['COLLISION', 5]]}]), ('listening/local_payload', 'listening', ['local_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': []}]), ('offered/offer_withdrawn', 'offered', ['offer_withdrawn'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': []}]), ('yielding/local_payload', 'yielding', ['local_payload'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': []}]), ('listening/unsolicited_commit', 'listening', ['unsolicited_commit'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['NO_TURN_OFFER', 5]]}]), ('ordered trace 0', 'listening', ['turn_offer', 'offer_withdrawn', 'local_payload', 'unsolicited_commit', 'turn_offer', 'offer_withdrawn', 'local_payload', 'unsolicited_commit'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5], ['NO_TURN_OFFER', 5]]}, {'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5], ['NO_TURN_OFFER', 5], ['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5], ['NO_TURN_OFFER', 5], ['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5], ['NO_TURN_OFFER', 5], ['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5], ['NO_TURN_OFFER', 5], ['TURN_READY', 5], ['NO_TURN_OFFER', 5]]}]), ('ordered trace 3', 'yielding', ['local_payload', 'yield_ack', 'remote_payload', 'local_payload', 'unsolicited_commit', 'turn_offer', 'offer_withdrawn', 'local_payload'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [5, 6, 7, 8, 9, 10, 11], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [5, 6, 7, 8, 9, 10, 11], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [5, 6, 7, 8, 9, 10, 11], 'burst': []}, 'frames': [['NO_TURN_OFFER', 5]]}, {'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [5, 6, 7, 8, 9, 10, 11], 'burst': []}, 'frames': [['NO_TURN_OFFER', 5], ['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [5, 6, 7, 8, 9, 10, 11], 'burst': []}, 'frames': [['NO_TURN_OFFER', 5], ['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [5, 6, 7, 8, 9, 10, 11], 'burst': []}, 'frames': [['NO_TURN_OFFER', 5], ['TURN_READY', 5]]}]), ('empty input', 'listening', [], []), ('unknown event', 'listening', ['unsupported'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['reject', [5, 6, 7, 8, 9, 10, 11]]]}])]}\nfor label, phase, events, expected in cases[N]:\n    check(label, solve(phase, events, N), 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":"5cd91e54fcc57aff7c4d40372f403581fd2916d37796cb59e8ce383f53d6246f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(phase, events, seed):\n    payload = list(range(seed, seed * 2 + 2))\n    r = {'local_enabled': phase=='speaking', 'remote_enabled': phase in ('listening','offered'), 'offered': phase=='offered', 'queue': payload[:], 'received': [], 'burst': []}\n    frames = []\n    observed = []\n    table = {('listening', 'turn_offer'): ('offered', 'ack_offer'), ('offered', 'turn_commit'): ('speaking', 'enable_transmit'), ('speaking', 'yield'): ('yielding', 'send_yield'), ('yielding', 'yield_ack'): ('listening', 'disable_transmit'), ('listening', 'remote_payload'): ('listening', 'deliver'), ('speaking', 'remote_payload'): ('speaking', 'report_collision'), ('listening', 'local_payload'): ('listening', 'queue_local'), ('offered', 'offer_withdrawn'): ('listening', 'clear_offer'), ('yielding', 'local_payload'): ('yielding', 'queue_next_turn'), ('listening', 'unsolicited_commit'): ('listening', 'reject_unoffered')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'ack_offer':\n            frames.append(['TURN_READY',seed])\n        elif action == 'enable_transmit':\n            r['local_enabled']=True; r['remote_enabled']=False\n        elif action == 'send_yield':\n            frames.append(['YIELD',seed]); r['local_enabled']=False\n        elif action == 'disable_transmit':\n            r['local_enabled']=False; r['remote_enabled']=True\n        elif action == 'deliver':\n            r['received'].extend(payload)\n        elif action == 'report_collision':\n            frames.append(['COLLISION',seed])\n        elif action == 'queue_local':\n            r['queue'].extend(payload)\n        elif action == 'clear_offer':\n            r['offered']=False\n        elif action == 'queue_next_turn':\n            r['queue'].extend(payload)\n        elif action == 'reject_unoffered':\n            frames.append(['NO_TURN_OFFER',seed])\n        elif action == 'send_payload':\n            r['burst'].extend(payload)\n        elif action == 'enable_both':\n            r['local_enabled']=True; r['remote_enabled']=True\n        elif action == 'disable_now':\n            r['local_enabled']=False\n        elif action == 'keep_admitting':\n            r['queue'].extend(payload)\n        elif action == 'take_turn':\n            r['local_enabled']=True\n        elif action == 'echo':\n            frames.append(['DATA',payload])\n        elif action == 'drop_local':\n            r['queue']=[]\n        elif action == 'append_current_burst':\n            r['burst'].extend(payload)\n        else:\n            if action not in (\"wait\", \"ignore\", \"keep\", \"retain\", \"keep_peer\", \"keep_offer\", \"keep_hold\", \"keep_batch\", \"retain_staging\", \"keep_staging\", \"keep_local_owner\", \"keep_old_session\", \"keep_address\", \"keep_old_expiry\", \"ignore_conflict\", \"keep_service\", \"keep_subscription\", \"retain_shadow\", \"keep_live\", \"keep_suspicion\", \"keep_roles\", \"keep_staged\"):\n                frames.append([action, payload[:]])\n        observed.append(json.loads(json.dumps({\"phase\": phase, \"registers\": r, \"frames\": frames})))\n    return observed\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [('listening/turn_offer', 'listening', ['turn_offer'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 1]]}]), ('offered/turn_commit', 'offered', ['turn_commit'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': True, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': []}]), ('speaking/yield', 'speaking', ['yield'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': [['YIELD', 1]]}]), ('yielding/yield_ack', 'yielding', ['yield_ack'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': []}]), ('listening/remote_payload', 'listening', ['remote_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [1, 2, 3], 'burst': []}, 'frames': []}]), ('speaking/remote_payload', 'speaking', ['remote_payload'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': [['COLLISION', 1]]}]), ('listening/local_payload', 'listening', ['local_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3], 'received': [], 'burst': []}, 'frames': []}]), ('offered/offer_withdrawn', 'offered', ['offer_withdrawn'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': []}]), ('yielding/local_payload', 'yielding', ['local_payload'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3], 'received': [], 'burst': []}, 'frames': []}]), ('listening/unsolicited_commit', 'listening', ['unsolicited_commit'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': [['NO_TURN_OFFER', 1]]}]), ('ordered trace 0', 'listening', ['turn_offer', 'offer_withdrawn', 'local_payload', 'unsolicited_commit'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 1]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 1]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 1]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 1], ['NO_TURN_OFFER', 1]]}]), ('ordered trace 3', 'yielding', ['local_payload', 'yield_ack', 'remote_payload', 'local_payload'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3], 'received': [1, 2, 3], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3, 1, 2, 3, 1, 2, 3], 'received': [1, 2, 3], 'burst': []}, 'frames': []}]), ('empty input', 'listening', [], []), ('unknown event', 'listening', ['unsupported'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [1, 2, 3], 'received': [], 'burst': []}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('listening/turn_offer', 'listening', ['turn_offer'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 2]]}]), ('offered/turn_commit', 'offered', ['turn_commit'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': True, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': []}]), ('speaking/yield', 'speaking', ['yield'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['YIELD', 2]]}]), ('yielding/yield_ack', 'yielding', ['yield_ack'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': []}]), ('listening/remote_payload', 'listening', ['remote_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [2, 3, 4, 5], 'burst': []}, 'frames': []}]), ('speaking/remote_payload', 'speaking', ['remote_payload'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['COLLISION', 2]]}]), ('listening/local_payload', 'listening', ['local_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': []}]), ('offered/offer_withdrawn', 'offered', ['offer_withdrawn'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': []}]), ('yielding/local_payload', 'yielding', ['local_payload'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': []}]), ('listening/unsolicited_commit', 'listening', ['unsolicited_commit'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['NO_TURN_OFFER', 2]]}]), ('ordered trace 0', 'listening', ['turn_offer', 'offer_withdrawn', 'local_payload', 'unsolicited_commit', 'turn_offer'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 2]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 2]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 2]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 2], ['NO_TURN_OFFER', 2]]}, {'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 2], ['NO_TURN_OFFER', 2], ['TURN_READY', 2]]}]), ('ordered trace 3', 'yielding', ['local_payload', 'yield_ack', 'remote_payload', 'local_payload', 'unsolicited_commit'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5], 'received': [2, 3, 4, 5], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5, 2, 3, 4, 5], 'received': [2, 3, 4, 5], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5, 2, 3, 4, 5, 2, 3, 4, 5], 'received': [2, 3, 4, 5], 'burst': []}, 'frames': [['NO_TURN_OFFER', 2]]}]), ('empty input', 'listening', [], []), ('unknown event', 'listening', ['unsupported'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [2, 3, 4, 5], 'received': [], 'burst': []}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('listening/turn_offer', 'listening', ['turn_offer'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 3]]}]), ('offered/turn_commit', 'offered', ['turn_commit'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': True, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': []}]), ('speaking/yield', 'speaking', ['yield'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['YIELD', 3]]}]), ('yielding/yield_ack', 'yielding', ['yield_ack'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': []}]), ('listening/remote_payload', 'listening', ['remote_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [3, 4, 5, 6, 7], 'burst': []}, 'frames': []}]), ('speaking/remote_payload', 'speaking', ['remote_payload'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['COLLISION', 3]]}]), ('listening/local_payload', 'listening', ['local_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': []}]), ('offered/offer_withdrawn', 'offered', ['offer_withdrawn'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': []}]), ('yielding/local_payload', 'yielding', ['local_payload'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': []}]), ('listening/unsolicited_commit', 'listening', ['unsolicited_commit'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['NO_TURN_OFFER', 3]]}]), ('ordered trace 0', 'listening', ['turn_offer', 'offer_withdrawn', 'local_payload', 'unsolicited_commit', 'turn_offer', 'offer_withdrawn'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 3]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 3]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 3]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 3], ['NO_TURN_OFFER', 3]]}, {'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 3], ['NO_TURN_OFFER', 3], ['TURN_READY', 3]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 3], ['NO_TURN_OFFER', 3], ['TURN_READY', 3]]}]), ('ordered trace 3', 'yielding', ['local_payload', 'yield_ack', 'remote_payload', 'local_payload', 'unsolicited_commit', 'turn_offer'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [3, 4, 5, 6, 7], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [3, 4, 5, 6, 7], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [3, 4, 5, 6, 7], 'burst': []}, 'frames': [['NO_TURN_OFFER', 3]]}, {'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'received': [3, 4, 5, 6, 7], 'burst': []}, 'frames': [['NO_TURN_OFFER', 3], ['TURN_READY', 3]]}]), ('empty input', 'listening', [], []), ('unknown event', 'listening', ['unsupported'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [3, 4, 5, 6, 7], 'received': [], 'burst': []}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('listening/turn_offer', 'listening', ['turn_offer'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4]]}]), ('offered/turn_commit', 'offered', ['turn_commit'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': True, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': []}]), ('speaking/yield', 'speaking', ['yield'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['YIELD', 4]]}]), ('yielding/yield_ack', 'yielding', ['yield_ack'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': []}]), ('listening/remote_payload', 'listening', ['remote_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [4, 5, 6, 7, 8, 9], 'burst': []}, 'frames': []}]), ('speaking/remote_payload', 'speaking', ['remote_payload'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['COLLISION', 4]]}]), ('listening/local_payload', 'listening', ['local_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': []}]), ('offered/offer_withdrawn', 'offered', ['offer_withdrawn'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': []}]), ('yielding/local_payload', 'yielding', ['local_payload'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': []}]), ('listening/unsolicited_commit', 'listening', ['unsolicited_commit'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['NO_TURN_OFFER', 4]]}]), ('ordered trace 0', 'listening', ['turn_offer', 'offer_withdrawn', 'local_payload', 'unsolicited_commit', 'turn_offer', 'offer_withdrawn', 'local_payload'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4], ['NO_TURN_OFFER', 4]]}, {'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4], ['NO_TURN_OFFER', 4], ['TURN_READY', 4]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4], ['NO_TURN_OFFER', 4], ['TURN_READY', 4]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 4], ['NO_TURN_OFFER', 4], ['TURN_READY', 4]]}]), ('ordered trace 3', 'yielding', ['local_payload', 'yield_ack', 'remote_payload', 'local_payload', 'unsolicited_commit', 'turn_offer', 'offer_withdrawn'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [4, 5, 6, 7, 8, 9], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [4, 5, 6, 7, 8, 9], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [4, 5, 6, 7, 8, 9], 'burst': []}, 'frames': [['NO_TURN_OFFER', 4]]}, {'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [4, 5, 6, 7, 8, 9], 'burst': []}, 'frames': [['NO_TURN_OFFER', 4], ['TURN_READY', 4]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'received': [4, 5, 6, 7, 8, 9], 'burst': []}, 'frames': [['NO_TURN_OFFER', 4], ['TURN_READY', 4]]}]), ('empty input', 'listening', [], []), ('unknown event', 'listening', ['unsupported'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [4, 5, 6, 7, 8, 9], 'received': [], 'burst': []}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('listening/turn_offer', 'listening', ['turn_offer'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5]]}]), ('offered/turn_commit', 'offered', ['turn_commit'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': True, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': []}]), ('speaking/yield', 'speaking', ['yield'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['YIELD', 5]]}]), ('yielding/yield_ack', 'yielding', ['yield_ack'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': []}]), ('listening/remote_payload', 'listening', ['remote_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [5, 6, 7, 8, 9, 10, 11], 'burst': []}, 'frames': []}]), ('speaking/remote_payload', 'speaking', ['remote_payload'], [{'phase': 'speaking', 'registers': {'local_enabled': True, 'remote_enabled': False, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['COLLISION', 5]]}]), ('listening/local_payload', 'listening', ['local_payload'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': []}]), ('offered/offer_withdrawn', 'offered', ['offer_withdrawn'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': []}]), ('yielding/local_payload', 'yielding', ['local_payload'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': []}]), ('listening/unsolicited_commit', 'listening', ['unsolicited_commit'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['NO_TURN_OFFER', 5]]}]), ('ordered trace 0', 'listening', ['turn_offer', 'offer_withdrawn', 'local_payload', 'unsolicited_commit', 'turn_offer', 'offer_withdrawn', 'local_payload', 'unsolicited_commit'], [{'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5], ['NO_TURN_OFFER', 5]]}, {'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5], ['NO_TURN_OFFER', 5], ['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5], ['NO_TURN_OFFER', 5], ['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5], ['NO_TURN_OFFER', 5], ['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['TURN_READY', 5], ['NO_TURN_OFFER', 5], ['TURN_READY', 5], ['NO_TURN_OFFER', 5]]}]), ('ordered trace 3', 'yielding', ['local_payload', 'yield_ack', 'remote_payload', 'local_payload', 'unsolicited_commit', 'turn_offer', 'offer_withdrawn', 'local_payload'], [{'phase': 'yielding', 'registers': {'local_enabled': False, 'remote_enabled': False, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [5, 6, 7, 8, 9, 10, 11], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [5, 6, 7, 8, 9, 10, 11], 'burst': []}, 'frames': []}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [5, 6, 7, 8, 9, 10, 11], 'burst': []}, 'frames': [['NO_TURN_OFFER', 5]]}, {'phase': 'offered', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [5, 6, 7, 8, 9, 10, 11], 'burst': []}, 'frames': [['NO_TURN_OFFER', 5], ['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [5, 6, 7, 8, 9, 10, 11], 'burst': []}, 'frames': [['NO_TURN_OFFER', 5], ['TURN_READY', 5]]}, {'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'received': [5, 6, 7, 8, 9, 10, 11], 'burst': []}, 'frames': [['NO_TURN_OFFER', 5], ['TURN_READY', 5]]}]), ('empty input', 'listening', [], []), ('unknown event', 'listening', ['unsupported'], [{'phase': 'listening', 'registers': {'local_enabled': False, 'remote_enabled': True, 'offered': False, 'queue': [5, 6, 7, 8, 9, 10, 11], 'received': [], 'burst': []}, 'frames': [['reject', [5, 6, 7, 8, 9, 10, 11]]]}])]}\nfor label, phase, events, expected in cases[N]:\n    check(label, solve(phase, events, N), 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":"Bounded offline control-plane abstraction with prescribed initial registers and classified events. Not a named protocol implementation or conformance test; excludes wire parsing, transport retries, physical execution, authentication, crash persistence, and timing. Related event faults share the full corrected controller and evaluation group. 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-protocols-duplex_turn-yielding-yield_ack","generated_at":"2026-09-29T14:40:14.285899+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Incorrect event admission now changes concrete queued data, resource ownership, or emitted protocol frames and subsequent trace behavior.","repair":"In phase yielding, classify yield_ack as transition to listening and emit disable_transmit.","root_cause":"In yielding, the yield ack handler runs send payload and enters speaking; it must instead run disable transmit and enter listening.","sha256":"56c0f6b648445c31a6ff37b40999010bae122408024a4f0d54657a80523a5fbf","title":"Half-duplex speaking-turn controller: yielding / yield ack · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":51.927,"exit_code":1,"observations":[{"actual":[{"frames":[["TURN_READY",1]],"phase":"offered","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"check":"listening/turn_offer","expected":[{"frames":[["TURN_READY",1]],"phase":"offered","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"passed":true},{"actual":[{"frames":[],"phase":"speaking","registers":{"burst":[],"local_enabled":true,"offered":true,"queue":[1,2,3],"received":[],"remote_enabled":false}}],"check":"offered/turn_commit","expected":[{"frames":[],"phase":"speaking","registers":{"burst":[],"local_enabled":true,"offered":true,"queue":[1,2,3],"received":[],"remote_enabled":false}}],"passed":true},{"actual":[{"frames":[["YIELD",1]],"phase":"yielding","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":false}}],"check":"speaking/yield","expected":[{"frames":[["YIELD",1]],"phase":"yielding","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":false}}],"passed":true},{"actual":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":true,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":false}}],"check":"yielding/yield_ack","expected":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"passed":false},{"actual":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[1,2,3],"remote_enabled":true}}],"check":"listening/remote_payload","expected":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[1,2,3],"remote_enabled":true}}],"passed":true},{"actual":[{"frames":[["COLLISION",1]],"phase":"speaking","registers":{"burst":[],"local_enabled":true,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":false}}],"check":"speaking/remote_payload","expected":[{"frames":[["COLLISION",1]],"phase":"speaking","registers":{"burst":[],"local_enabled":true,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":false}}],"passed":true},{"actual":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}}],"check":"listening/local_payload","expected":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}}],"passed":true},{"actual":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"check":"offered/offer_withdrawn","expected":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"passed":true},{"actual":[{"frames":[],"phase":"yielding","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":false}}],"check":"yielding/local_payload","expected":[{"frames":[],"phase":"yielding","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":false}}],"passed":true},{"actual":[{"frames":[["NO_TURN_OFFER",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"check":"listening/unsolicited_commit","expected":[{"frames":[["NO_TURN_OFFER",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"passed":true},{"actual":[{"frames":[["TURN_READY",1]],"phase":"offered","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}},{"frames":[["TURN_READY",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}},{"frames":[["TURN_READY",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}},{"frames":[["TURN_READY",1],["NO_TURN_OFFER",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}}],"check":"ordered trace 0","expected":[{"frames":[["TURN_READY",1]],"phase":"offered","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}},{"frames":[["TURN_READY",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}},{"frames":[["TURN_READY",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}},{"frames":[["TURN_READY",1],["NO_TURN_OFFER",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}}],"passed":true},{"actual":[{"frames":[],"phase":"yielding","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":false}},{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":true,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":false}},{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":true,"offered":false,"queue":[1,2,3,1,2,3],"received":[1,2,3],"remote_enabled":false}},{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":true,"offered":false,"queue":[1,2,3,1,2,3,1,2,3],"received":[1,2,3],"remote_enabled":false}}],"check":"ordered trace 3","expected":[{"frames":[],"phase":"yielding","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":false}},{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}},{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[1,2,3],"remote_enabled":true}},{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3,1,2,3],"received":[1,2,3],"remote_enabled":true}}],"passed":false},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"listening/turn_offer\", \"actual\": [{\"phase\": \"offered\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}], \"expected\": [{\"phase\": \"offered\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}], \"passed\": true}, {\"check\": \"offered/turn_commit\", \"actual\": [{\"phase\": \"speaking\", \"registers\": {\"local_enabled\": true, \"remote_enabled\": false, \"offered\": true, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"speaking\", \"registers\": {\"local_enabled\": true, \"remote_enabled\": false, \"offered\": true, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"speaking/yield\", \"actual\": [{\"phase\": \"yielding\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"YIELD\", 1]]}], \"expected\": [{\"phase\": \"yielding\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"YIELD\", 1]]}], \"passed\": true}, {\"check\": \"yielding/yield_ack\", \"actual\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": true, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"passed\": false}, {\"check\": \"listening/remote_payload\", \"actual\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [1, 2, 3], \"burst\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [1, 2, 3], \"burst\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"speaking/remote_payload\", \"actual\": [{\"phase\": \"speaking\", \"registers\": {\"local_enabled\": true, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"COLLISION\", 1]]}], \"expected\": [{\"phase\": \"speaking\", \"registers\": {\"local_enabled\": true, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"COLLISION\", 1]]}], \"passed\": true}, {\"check\": \"listening/local_payload\", \"actual\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"offered/offer_withdrawn\", \"actual\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"yielding/local_payload\", \"actual\": [{\"phase\": \"yielding\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"yielding\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"listening/unsolicited_commit\", \"actual\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"NO_TURN_OFFER\", 1]]}], \"expected\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"NO_TURN_OFFER\", 1]]}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"offered\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1], [\"NO_TURN_OFFER\", 1]]}], \"expected\": [{\"phase\": \"offered\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1], [\"NO_TURN_OFFER\", 1]]}], \"passed\": true}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"yielding\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": true, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": true, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [1, 2, 3], \"burst\": []}, \"frames\": []}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": true, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3, 1, 2, 3], \"received\": [1, 2, 3], \"burst\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"yielding\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [1, 2, 3], \"burst\": []}, \"frames\": []}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3, 1, 2, 3], \"received\": [1, 2, 3], \"burst\": []}, \"frames\": []}], \"passed\": false}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":56.537,"exit_code":1,"observations":[{"actual":[{"frames":[["TURN_READY",1]],"phase":"offered","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"check":"listening/turn_offer","expected":[{"frames":[["TURN_READY",1]],"phase":"offered","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"passed":true},{"actual":[{"frames":[],"phase":"speaking","registers":{"burst":[],"local_enabled":true,"offered":true,"queue":[1,2,3],"received":[],"remote_enabled":false}}],"check":"offered/turn_commit","expected":[{"frames":[],"phase":"speaking","registers":{"burst":[],"local_enabled":true,"offered":true,"queue":[1,2,3],"received":[],"remote_enabled":false}}],"passed":true},{"actual":[{"frames":[["YIELD",1]],"phase":"yielding","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":false}}],"check":"speaking/yield","expected":[{"frames":[["YIELD",1]],"phase":"yielding","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":false}}],"passed":true},{"actual":[{"frames":[],"phase":"speaking","registers":{"burst":[1,2,3],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":false}}],"check":"yielding/yield_ack","expected":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"passed":false},{"actual":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[1,2,3],"remote_enabled":true}}],"check":"listening/remote_payload","expected":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[1,2,3],"remote_enabled":true}}],"passed":true},{"actual":[{"frames":[["COLLISION",1]],"phase":"speaking","registers":{"burst":[],"local_enabled":true,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":false}}],"check":"speaking/remote_payload","expected":[{"frames":[["COLLISION",1]],"phase":"speaking","registers":{"burst":[],"local_enabled":true,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":false}}],"passed":true},{"actual":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}}],"check":"listening/local_payload","expected":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}}],"passed":true},{"actual":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"check":"offered/offer_withdrawn","expected":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"passed":true},{"actual":[{"frames":[],"phase":"yielding","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":false}}],"check":"yielding/local_payload","expected":[{"frames":[],"phase":"yielding","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":false}}],"passed":true},{"actual":[{"frames":[["NO_TURN_OFFER",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"check":"listening/unsolicited_commit","expected":[{"frames":[["NO_TURN_OFFER",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"passed":true},{"actual":[{"frames":[["TURN_READY",1]],"phase":"offered","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}},{"frames":[["TURN_READY",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}},{"frames":[["TURN_READY",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}},{"frames":[["TURN_READY",1],["NO_TURN_OFFER",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}}],"check":"ordered trace 0","expected":[{"frames":[["TURN_READY",1]],"phase":"offered","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}},{"frames":[["TURN_READY",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}},{"frames":[["TURN_READY",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}},{"frames":[["TURN_READY",1],["NO_TURN_OFFER",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}}],"passed":true},{"actual":[{"frames":[],"phase":"yielding","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":false}},{"frames":[],"phase":"speaking","registers":{"burst":[1,2,3],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":false}},{"frames":[["COLLISION",1]],"phase":"speaking","registers":{"burst":[1,2,3],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":false}},{"frames":[["COLLISION",1],["reject",[1,2,3]]],"phase":"speaking","registers":{"burst":[1,2,3],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":false}}],"check":"ordered trace 3","expected":[{"frames":[],"phase":"yielding","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":false}},{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}},{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[1,2,3],"remote_enabled":true}},{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3,1,2,3],"received":[1,2,3],"remote_enabled":true}}],"passed":false},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"listening/turn_offer\", \"actual\": [{\"phase\": \"offered\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}], \"expected\": [{\"phase\": \"offered\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}], \"passed\": true}, {\"check\": \"offered/turn_commit\", \"actual\": [{\"phase\": \"speaking\", \"registers\": {\"local_enabled\": true, \"remote_enabled\": false, \"offered\": true, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"speaking\", \"registers\": {\"local_enabled\": true, \"remote_enabled\": false, \"offered\": true, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"speaking/yield\", \"actual\": [{\"phase\": \"yielding\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"YIELD\", 1]]}], \"expected\": [{\"phase\": \"yielding\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"YIELD\", 1]]}], \"passed\": true}, {\"check\": \"yielding/yield_ack\", \"actual\": [{\"phase\": \"speaking\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": [1, 2, 3]}, \"frames\": []}], \"expected\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"passed\": false}, {\"check\": \"listening/remote_payload\", \"actual\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [1, 2, 3], \"burst\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [1, 2, 3], \"burst\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"speaking/remote_payload\", \"actual\": [{\"phase\": \"speaking\", \"registers\": {\"local_enabled\": true, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"COLLISION\", 1]]}], \"expected\": [{\"phase\": \"speaking\", \"registers\": {\"local_enabled\": true, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"COLLISION\", 1]]}], \"passed\": true}, {\"check\": \"listening/local_payload\", \"actual\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"offered/offer_withdrawn\", \"actual\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"yielding/local_payload\", \"actual\": [{\"phase\": \"yielding\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"yielding\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"listening/unsolicited_commit\", \"actual\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"NO_TURN_OFFER\", 1]]}], \"expected\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"NO_TURN_OFFER\", 1]]}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"offered\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1], [\"NO_TURN_OFFER\", 1]]}], \"expected\": [{\"phase\": \"offered\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1], [\"NO_TURN_OFFER\", 1]]}], \"passed\": true}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"yielding\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}, {\"phase\": \"speaking\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": [1, 2, 3]}, \"frames\": []}, {\"phase\": \"speaking\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": [1, 2, 3]}, \"frames\": [[\"COLLISION\", 1]]}, {\"phase\": \"speaking\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": [1, 2, 3]}, \"frames\": [[\"COLLISION\", 1], [\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"yielding\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [1, 2, 3], \"burst\": []}, \"frames\": []}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3, 1, 2, 3], \"received\": [1, 2, 3], \"burst\": []}, \"frames\": []}], \"passed\": false}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":51.936,"exit_code":0,"observations":[{"actual":[{"frames":[["TURN_READY",1]],"phase":"offered","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"check":"listening/turn_offer","expected":[{"frames":[["TURN_READY",1]],"phase":"offered","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"passed":true},{"actual":[{"frames":[],"phase":"speaking","registers":{"burst":[],"local_enabled":true,"offered":true,"queue":[1,2,3],"received":[],"remote_enabled":false}}],"check":"offered/turn_commit","expected":[{"frames":[],"phase":"speaking","registers":{"burst":[],"local_enabled":true,"offered":true,"queue":[1,2,3],"received":[],"remote_enabled":false}}],"passed":true},{"actual":[{"frames":[["YIELD",1]],"phase":"yielding","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":false}}],"check":"speaking/yield","expected":[{"frames":[["YIELD",1]],"phase":"yielding","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":false}}],"passed":true},{"actual":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"check":"yielding/yield_ack","expected":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"passed":true},{"actual":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[1,2,3],"remote_enabled":true}}],"check":"listening/remote_payload","expected":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[1,2,3],"remote_enabled":true}}],"passed":true},{"actual":[{"frames":[["COLLISION",1]],"phase":"speaking","registers":{"burst":[],"local_enabled":true,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":false}}],"check":"speaking/remote_payload","expected":[{"frames":[["COLLISION",1]],"phase":"speaking","registers":{"burst":[],"local_enabled":true,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":false}}],"passed":true},{"actual":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}}],"check":"listening/local_payload","expected":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}}],"passed":true},{"actual":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"check":"offered/offer_withdrawn","expected":[{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"passed":true},{"actual":[{"frames":[],"phase":"yielding","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":false}}],"check":"yielding/local_payload","expected":[{"frames":[],"phase":"yielding","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":false}}],"passed":true},{"actual":[{"frames":[["NO_TURN_OFFER",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"check":"listening/unsolicited_commit","expected":[{"frames":[["NO_TURN_OFFER",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"passed":true},{"actual":[{"frames":[["TURN_READY",1]],"phase":"offered","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}},{"frames":[["TURN_READY",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}},{"frames":[["TURN_READY",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}},{"frames":[["TURN_READY",1],["NO_TURN_OFFER",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}}],"check":"ordered trace 0","expected":[{"frames":[["TURN_READY",1]],"phase":"offered","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}},{"frames":[["TURN_READY",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}},{"frames":[["TURN_READY",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}},{"frames":[["TURN_READY",1],["NO_TURN_OFFER",1]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}}],"passed":true},{"actual":[{"frames":[],"phase":"yielding","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":false}},{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}},{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[1,2,3],"remote_enabled":true}},{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3,1,2,3],"received":[1,2,3],"remote_enabled":true}}],"check":"ordered trace 3","expected":[{"frames":[],"phase":"yielding","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":false}},{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[],"remote_enabled":true}},{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3],"received":[1,2,3],"remote_enabled":true}},{"frames":[],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3,1,2,3,1,2,3],"received":[1,2,3],"remote_enabled":true}}],"passed":true},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"listening","registers":{"burst":[],"local_enabled":false,"offered":false,"queue":[1,2,3],"received":[],"remote_enabled":true}}],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"listening/turn_offer\", \"actual\": [{\"phase\": \"offered\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}], \"expected\": [{\"phase\": \"offered\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}], \"passed\": true}, {\"check\": \"offered/turn_commit\", \"actual\": [{\"phase\": \"speaking\", \"registers\": {\"local_enabled\": true, \"remote_enabled\": false, \"offered\": true, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"speaking\", \"registers\": {\"local_enabled\": true, \"remote_enabled\": false, \"offered\": true, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"speaking/yield\", \"actual\": [{\"phase\": \"yielding\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"YIELD\", 1]]}], \"expected\": [{\"phase\": \"yielding\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"YIELD\", 1]]}], \"passed\": true}, {\"check\": \"yielding/yield_ack\", \"actual\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"listening/remote_payload\", \"actual\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [1, 2, 3], \"burst\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [1, 2, 3], \"burst\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"speaking/remote_payload\", \"actual\": [{\"phase\": \"speaking\", \"registers\": {\"local_enabled\": true, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"COLLISION\", 1]]}], \"expected\": [{\"phase\": \"speaking\", \"registers\": {\"local_enabled\": true, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"COLLISION\", 1]]}], \"passed\": true}, {\"check\": \"listening/local_payload\", \"actual\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"offered/offer_withdrawn\", \"actual\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"yielding/local_payload\", \"actual\": [{\"phase\": \"yielding\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"yielding\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"listening/unsolicited_commit\", \"actual\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"NO_TURN_OFFER\", 1]]}], \"expected\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"NO_TURN_OFFER\", 1]]}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"offered\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1], [\"NO_TURN_OFFER\", 1]]}], \"expected\": [{\"phase\": \"offered\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1]]}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"TURN_READY\", 1], [\"NO_TURN_OFFER\", 1]]}], \"passed\": true}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"yielding\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [1, 2, 3], \"burst\": []}, \"frames\": []}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3, 1, 2, 3], \"received\": [1, 2, 3], \"burst\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"yielding\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": false, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": []}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3], \"received\": [1, 2, 3], \"burst\": []}, \"frames\": []}, {\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3, 1, 2, 3, 1, 2, 3], \"received\": [1, 2, 3], \"burst\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"listening\", \"registers\": {\"local_enabled\": false, \"remote_enabled\": true, \"offered\": false, \"queue\": [1, 2, 3], \"received\": [], \"burst\": []}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}