{"abstract":"While running, event completed produces running/wait instead of done/report_result.","category":"Protocols","checks":14,"contract":"For the stipulated Asynchronous command cancellation 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-command_cancel","failed_approach":"The partial repair chooses done/ack_cancel, which still violates this phase-specific event contract.","family":"s3-protocols-command_cancel-running-completed","id":"FA-19671","implementations":{"attempt":{"sha256":"167161a3101afecd7073fe103c8a5330712981eb18372efd3e76dae8a214615e","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 = {'queue': [seed] if phase=='queued' else [], 'running': phase in ('running','cancelling'), 'stop_requested': phase=='cancelling', 'result': payload[:], 'reported': [], 'executions': 0}\n    frames = []\n    observed = []\n    table = {('idle', 'submit'): ('queued', 'enqueue'), ('queued', 'dispatch'): ('running', 'start_command'), ('queued', 'cancel'): ('cancelled', 'remove_and_ack'), ('running', 'cancel'): ('cancelling', 'request_stop'), ('cancelling', 'stopped'): ('cancelled', 'ack_cancel'), ('cancelling', 'completed_first'): ('done', 'report_result'), ('running', 'completed'): ('done', 'ack_cancel'), ('done', 'cancel'): ('done', 'report_already_done'), ('cancelled', 'late_completion'): ('cancelled', 'discard_late_result'), ('idle', 'cancel'): ('idle', 'report_unknown')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'enqueue':\n            r['queue'].append(seed)\n        elif action == 'start_command':\n            r['running']=True; r['executions']+=1\n        elif action == 'remove_and_ack':\n            r['queue']=[]; r['reported'].append('cancelled')\n        elif action == 'request_stop':\n            r['stop_requested']=True\n        elif action == 'ack_cancel':\n            r['running']=False; r['reported'].append('cancelled')\n        elif action == 'report_result':\n            r['reported'].append(r['result'][:])\n        elif action == 'report_already_done':\n            r['reported'].append('already_done')\n        elif action == 'discard_late_result':\n            r['result']=[]\n        elif action == 'report_unknown':\n            r['reported'].append('unknown')\n        elif action == 'execute':\n            r['running']=True; r['executions']+=1\n        elif action == 'ack_result':\n            r['reported'].append(r['result'][:])\n        elif action == 'report_success':\n            r['reported'].append('success')\n        elif action == 'enqueue_again':\n            r['queue'].append(seed)\n        elif action == 'ack_without_remove':\n            r['reported'].append('cancelled')\n        elif action == 'report_pending':\n            r['reported'].append('pending')\n        elif action == 'discard_result':\n            r['result']=[]\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: [('idle/submit', 'idle', ['submit'], [{'phase': 'queued', 'registers': {'queue': [1], 'running': False, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [], 'executions': 0}, 'frames': []}]), ('queued/dispatch', 'queued', ['dispatch'], [{'phase': 'running', 'registers': {'queue': [1], 'running': True, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [], 'executions': 1}, 'frames': []}]), ('queued/cancel', 'queued', ['cancel'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [1, 2, 3], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('running/cancel', 'running', ['cancel'], [{'phase': 'cancelling', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [1, 2, 3], 'reported': [], 'executions': 0}, 'frames': []}]), ('cancelling/stopped', 'cancelling', ['stopped'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': True, 'result': [1, 2, 3], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('cancelling/completed_first', 'cancelling', ['completed_first'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [1, 2, 3], 'reported': [[1, 2, 3]], 'executions': 0}, 'frames': []}]), ('running/completed', 'running', ['completed'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [[1, 2, 3]], 'executions': 0}, 'frames': []}]), ('done/cancel', 'done', ['cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [1, 2, 3], 'reported': ['already_done'], 'executions': 0}, 'frames': []}]), ('cancelled/late_completion', 'cancelled', ['late_completion'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': [], 'executions': 0}, 'frames': []}]), ('idle/cancel', 'idle', ['cancel'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [1, 2, 3], 'reported': ['unknown'], 'executions': 0}, 'frames': []}]), ('ordered trace 0', 'idle', ['submit', 'cancel', 'late_completion', 'late_completion'], [{'phase': 'queued', 'registers': {'queue': [1], 'running': False, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [1, 2, 3], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('ordered trace 3', 'running', ['completed', 'cancel', 'cancel', 'cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [[1, 2, 3]], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [[1, 2, 3], 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [[1, 2, 3], 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [[1, 2, 3], 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [], 'executions': 0}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('idle/submit', 'idle', ['submit'], [{'phase': 'queued', 'registers': {'queue': [2], 'running': False, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [], 'executions': 0}, 'frames': []}]), ('queued/dispatch', 'queued', ['dispatch'], [{'phase': 'running', 'registers': {'queue': [2], 'running': True, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [], 'executions': 1}, 'frames': []}]), ('queued/cancel', 'queued', ['cancel'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('running/cancel', 'running', ['cancel'], [{'phase': 'cancelling', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [2, 3, 4, 5], 'reported': [], 'executions': 0}, 'frames': []}]), ('cancelling/stopped', 'cancelling', ['stopped'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': True, 'result': [2, 3, 4, 5], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('cancelling/completed_first', 'cancelling', ['completed_first'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [2, 3, 4, 5], 'reported': [[2, 3, 4, 5]], 'executions': 0}, 'frames': []}]), ('running/completed', 'running', ['completed'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [[2, 3, 4, 5]], 'executions': 0}, 'frames': []}]), ('done/cancel', 'done', ['cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': ['already_done'], 'executions': 0}, 'frames': []}]), ('cancelled/late_completion', 'cancelled', ['late_completion'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': [], 'executions': 0}, 'frames': []}]), ('idle/cancel', 'idle', ['cancel'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': ['unknown'], 'executions': 0}, 'frames': []}]), ('ordered trace 0', 'idle', ['submit', 'cancel', 'late_completion', 'late_completion', 'late_completion'], [{'phase': 'queued', 'registers': {'queue': [2], 'running': False, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('ordered trace 3', 'running', ['completed', 'cancel', 'cancel', 'cancel', 'cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [[2, 3, 4, 5]], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [[2, 3, 4, 5], 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [[2, 3, 4, 5], 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [[2, 3, 4, 5], 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [[2, 3, 4, 5], 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [], 'executions': 0}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('idle/submit', 'idle', ['submit'], [{'phase': 'queued', 'registers': {'queue': [3], 'running': False, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [], 'executions': 0}, 'frames': []}]), ('queued/dispatch', 'queued', ['dispatch'], [{'phase': 'running', 'registers': {'queue': [3], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [], 'executions': 1}, 'frames': []}]), ('queued/cancel', 'queued', ['cancel'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('running/cancel', 'running', ['cancel'], [{'phase': 'cancelling', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [3, 4, 5, 6, 7], 'reported': [], 'executions': 0}, 'frames': []}]), ('cancelling/stopped', 'cancelling', ['stopped'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': True, 'result': [3, 4, 5, 6, 7], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('cancelling/completed_first', 'cancelling', ['completed_first'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7]], 'executions': 0}, 'frames': []}]), ('running/completed', 'running', ['completed'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7]], 'executions': 0}, 'frames': []}]), ('done/cancel', 'done', ['cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': ['already_done'], 'executions': 0}, 'frames': []}]), ('cancelled/late_completion', 'cancelled', ['late_completion'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': [], 'executions': 0}, 'frames': []}]), ('idle/cancel', 'idle', ['cancel'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': ['unknown'], 'executions': 0}, 'frames': []}]), ('ordered trace 0', 'idle', ['submit', 'cancel', 'late_completion', 'late_completion', 'late_completion', 'late_completion'], [{'phase': 'queued', 'registers': {'queue': [3], 'running': False, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('ordered trace 3', 'running', ['completed', 'cancel', 'cancel', 'cancel', 'cancel', 'cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7]], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7], 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7], 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7], 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7], 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7], 'already_done', 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [], 'executions': 0}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('idle/submit', 'idle', ['submit'], [{'phase': 'queued', 'registers': {'queue': [4], 'running': False, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [], 'executions': 0}, 'frames': []}]), ('queued/dispatch', 'queued', ['dispatch'], [{'phase': 'running', 'registers': {'queue': [4], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [], 'executions': 1}, 'frames': []}]), ('queued/cancel', 'queued', ['cancel'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('running/cancel', 'running', ['cancel'], [{'phase': 'cancelling', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [4, 5, 6, 7, 8, 9], 'reported': [], 'executions': 0}, 'frames': []}]), ('cancelling/stopped', 'cancelling', ['stopped'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': True, 'result': [4, 5, 6, 7, 8, 9], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('cancelling/completed_first', 'cancelling', ['completed_first'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9]], 'executions': 0}, 'frames': []}]), ('running/completed', 'running', ['completed'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9]], 'executions': 0}, 'frames': []}]), ('done/cancel', 'done', ['cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': ['already_done'], 'executions': 0}, 'frames': []}]), ('cancelled/late_completion', 'cancelled', ['late_completion'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': [], 'executions': 0}, 'frames': []}]), ('idle/cancel', 'idle', ['cancel'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': ['unknown'], 'executions': 0}, 'frames': []}]), ('ordered trace 0', 'idle', ['submit', 'cancel', 'late_completion', 'late_completion', 'late_completion', 'late_completion', 'late_completion'], [{'phase': 'queued', 'registers': {'queue': [4], 'running': False, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('ordered trace 3', 'running', ['completed', 'cancel', 'cancel', 'cancel', 'cancel', 'cancel', 'cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9]], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9], 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9], 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9], 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9], 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9], 'already_done', 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9], 'already_done', 'already_done', 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [], 'executions': 0}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('idle/submit', 'idle', ['submit'], [{'phase': 'queued', 'registers': {'queue': [5], 'running': False, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [], 'executions': 0}, 'frames': []}]), ('queued/dispatch', 'queued', ['dispatch'], [{'phase': 'running', 'registers': {'queue': [5], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [], 'executions': 1}, 'frames': []}]), ('queued/cancel', 'queued', ['cancel'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('running/cancel', 'running', ['cancel'], [{'phase': 'cancelling', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [], 'executions': 0}, 'frames': []}]), ('cancelling/stopped', 'cancelling', ['stopped'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': True, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('cancelling/completed_first', 'cancelling', ['completed_first'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11]], 'executions': 0}, 'frames': []}]), ('running/completed', 'running', ['completed'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11]], 'executions': 0}, 'frames': []}]), ('done/cancel', 'done', ['cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': ['already_done'], 'executions': 0}, 'frames': []}]), ('cancelled/late_completion', 'cancelled', ['late_completion'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': [], 'executions': 0}, 'frames': []}]), ('idle/cancel', 'idle', ['cancel'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': ['unknown'], 'executions': 0}, 'frames': []}]), ('ordered trace 0', 'idle', ['submit', 'cancel', 'late_completion', 'late_completion', 'late_completion', 'late_completion', 'late_completion', 'late_completion'], [{'phase': 'queued', 'registers': {'queue': [5], 'running': False, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('ordered trace 3', 'running', ['completed', 'cancel', 'cancel', 'cancel', 'cancel', 'cancel', 'cancel', 'cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11]], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11], 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11], 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11], 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11], 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11], 'already_done', 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11], 'already_done', 'already_done', 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11], 'already_done', 'already_done', 'already_done', 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [], 'executions': 0}, '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":"d12d45060b3865e33975ec102f79896cc43bddef4b83ac29db4253070794307d","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 = {'queue': [seed] if phase=='queued' else [], 'running': phase in ('running','cancelling'), 'stop_requested': phase=='cancelling', 'result': payload[:], 'reported': [], 'executions': 0}\n    frames = []\n    observed = []\n    table = {('idle', 'submit'): ('queued', 'enqueue'), ('queued', 'dispatch'): ('running', 'start_command'), ('queued', 'cancel'): ('cancelled', 'remove_and_ack'), ('running', 'cancel'): ('cancelling', 'request_stop'), ('cancelling', 'stopped'): ('cancelled', 'ack_cancel'), ('cancelling', 'completed_first'): ('done', 'report_result'), ('running', 'completed'): ('running', 'wait'), ('done', 'cancel'): ('done', 'report_already_done'), ('cancelled', 'late_completion'): ('cancelled', 'discard_late_result'), ('idle', 'cancel'): ('idle', 'report_unknown')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'enqueue':\n            r['queue'].append(seed)\n        elif action == 'start_command':\n            r['running']=True; r['executions']+=1\n        elif action == 'remove_and_ack':\n            r['queue']=[]; r['reported'].append('cancelled')\n        elif action == 'request_stop':\n            r['stop_requested']=True\n        elif action == 'ack_cancel':\n            r['running']=False; r['reported'].append('cancelled')\n        elif action == 'report_result':\n            r['reported'].append(r['result'][:])\n        elif action == 'report_already_done':\n            r['reported'].append('already_done')\n        elif action == 'discard_late_result':\n            r['result']=[]\n        elif action == 'report_unknown':\n            r['reported'].append('unknown')\n        elif action == 'execute':\n            r['running']=True; r['executions']+=1\n        elif action == 'ack_result':\n            r['reported'].append(r['result'][:])\n        elif action == 'report_success':\n            r['reported'].append('success')\n        elif action == 'enqueue_again':\n            r['queue'].append(seed)\n        elif action == 'ack_without_remove':\n            r['reported'].append('cancelled')\n        elif action == 'report_pending':\n            r['reported'].append('pending')\n        elif action == 'discard_result':\n            r['result']=[]\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: [('idle/submit', 'idle', ['submit'], [{'phase': 'queued', 'registers': {'queue': [1], 'running': False, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [], 'executions': 0}, 'frames': []}]), ('queued/dispatch', 'queued', ['dispatch'], [{'phase': 'running', 'registers': {'queue': [1], 'running': True, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [], 'executions': 1}, 'frames': []}]), ('queued/cancel', 'queued', ['cancel'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [1, 2, 3], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('running/cancel', 'running', ['cancel'], [{'phase': 'cancelling', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [1, 2, 3], 'reported': [], 'executions': 0}, 'frames': []}]), ('cancelling/stopped', 'cancelling', ['stopped'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': True, 'result': [1, 2, 3], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('cancelling/completed_first', 'cancelling', ['completed_first'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [1, 2, 3], 'reported': [[1, 2, 3]], 'executions': 0}, 'frames': []}]), ('running/completed', 'running', ['completed'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [[1, 2, 3]], 'executions': 0}, 'frames': []}]), ('done/cancel', 'done', ['cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [1, 2, 3], 'reported': ['already_done'], 'executions': 0}, 'frames': []}]), ('cancelled/late_completion', 'cancelled', ['late_completion'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': [], 'executions': 0}, 'frames': []}]), ('idle/cancel', 'idle', ['cancel'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [1, 2, 3], 'reported': ['unknown'], 'executions': 0}, 'frames': []}]), ('ordered trace 0', 'idle', ['submit', 'cancel', 'late_completion', 'late_completion'], [{'phase': 'queued', 'registers': {'queue': [1], 'running': False, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [1, 2, 3], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('ordered trace 3', 'running', ['completed', 'cancel', 'cancel', 'cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [[1, 2, 3]], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [[1, 2, 3], 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [[1, 2, 3], 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [[1, 2, 3], 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [], 'executions': 0}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('idle/submit', 'idle', ['submit'], [{'phase': 'queued', 'registers': {'queue': [2], 'running': False, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [], 'executions': 0}, 'frames': []}]), ('queued/dispatch', 'queued', ['dispatch'], [{'phase': 'running', 'registers': {'queue': [2], 'running': True, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [], 'executions': 1}, 'frames': []}]), ('queued/cancel', 'queued', ['cancel'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('running/cancel', 'running', ['cancel'], [{'phase': 'cancelling', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [2, 3, 4, 5], 'reported': [], 'executions': 0}, 'frames': []}]), ('cancelling/stopped', 'cancelling', ['stopped'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': True, 'result': [2, 3, 4, 5], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('cancelling/completed_first', 'cancelling', ['completed_first'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [2, 3, 4, 5], 'reported': [[2, 3, 4, 5]], 'executions': 0}, 'frames': []}]), ('running/completed', 'running', ['completed'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [[2, 3, 4, 5]], 'executions': 0}, 'frames': []}]), ('done/cancel', 'done', ['cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': ['already_done'], 'executions': 0}, 'frames': []}]), ('cancelled/late_completion', 'cancelled', ['late_completion'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': [], 'executions': 0}, 'frames': []}]), ('idle/cancel', 'idle', ['cancel'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': ['unknown'], 'executions': 0}, 'frames': []}]), ('ordered trace 0', 'idle', ['submit', 'cancel', 'late_completion', 'late_completion', 'late_completion'], [{'phase': 'queued', 'registers': {'queue': [2], 'running': False, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('ordered trace 3', 'running', ['completed', 'cancel', 'cancel', 'cancel', 'cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [[2, 3, 4, 5]], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [[2, 3, 4, 5], 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [[2, 3, 4, 5], 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [[2, 3, 4, 5], 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [[2, 3, 4, 5], 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [], 'executions': 0}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('idle/submit', 'idle', ['submit'], [{'phase': 'queued', 'registers': {'queue': [3], 'running': False, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [], 'executions': 0}, 'frames': []}]), ('queued/dispatch', 'queued', ['dispatch'], [{'phase': 'running', 'registers': {'queue': [3], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [], 'executions': 1}, 'frames': []}]), ('queued/cancel', 'queued', ['cancel'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('running/cancel', 'running', ['cancel'], [{'phase': 'cancelling', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [3, 4, 5, 6, 7], 'reported': [], 'executions': 0}, 'frames': []}]), ('cancelling/stopped', 'cancelling', ['stopped'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': True, 'result': [3, 4, 5, 6, 7], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('cancelling/completed_first', 'cancelling', ['completed_first'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7]], 'executions': 0}, 'frames': []}]), ('running/completed', 'running', ['completed'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7]], 'executions': 0}, 'frames': []}]), ('done/cancel', 'done', ['cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': ['already_done'], 'executions': 0}, 'frames': []}]), ('cancelled/late_completion', 'cancelled', ['late_completion'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': [], 'executions': 0}, 'frames': []}]), ('idle/cancel', 'idle', ['cancel'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': ['unknown'], 'executions': 0}, 'frames': []}]), ('ordered trace 0', 'idle', ['submit', 'cancel', 'late_completion', 'late_completion', 'late_completion', 'late_completion'], [{'phase': 'queued', 'registers': {'queue': [3], 'running': False, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('ordered trace 3', 'running', ['completed', 'cancel', 'cancel', 'cancel', 'cancel', 'cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7]], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7], 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7], 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7], 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7], 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7], 'already_done', 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [], 'executions': 0}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('idle/submit', 'idle', ['submit'], [{'phase': 'queued', 'registers': {'queue': [4], 'running': False, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [], 'executions': 0}, 'frames': []}]), ('queued/dispatch', 'queued', ['dispatch'], [{'phase': 'running', 'registers': {'queue': [4], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [], 'executions': 1}, 'frames': []}]), ('queued/cancel', 'queued', ['cancel'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('running/cancel', 'running', ['cancel'], [{'phase': 'cancelling', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [4, 5, 6, 7, 8, 9], 'reported': [], 'executions': 0}, 'frames': []}]), ('cancelling/stopped', 'cancelling', ['stopped'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': True, 'result': [4, 5, 6, 7, 8, 9], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('cancelling/completed_first', 'cancelling', ['completed_first'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9]], 'executions': 0}, 'frames': []}]), ('running/completed', 'running', ['completed'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9]], 'executions': 0}, 'frames': []}]), ('done/cancel', 'done', ['cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': ['already_done'], 'executions': 0}, 'frames': []}]), ('cancelled/late_completion', 'cancelled', ['late_completion'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': [], 'executions': 0}, 'frames': []}]), ('idle/cancel', 'idle', ['cancel'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': ['unknown'], 'executions': 0}, 'frames': []}]), ('ordered trace 0', 'idle', ['submit', 'cancel', 'late_completion', 'late_completion', 'late_completion', 'late_completion', 'late_completion'], [{'phase': 'queued', 'registers': {'queue': [4], 'running': False, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('ordered trace 3', 'running', ['completed', 'cancel', 'cancel', 'cancel', 'cancel', 'cancel', 'cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9]], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9], 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9], 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9], 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9], 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9], 'already_done', 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9], 'already_done', 'already_done', 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [], 'executions': 0}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('idle/submit', 'idle', ['submit'], [{'phase': 'queued', 'registers': {'queue': [5], 'running': False, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [], 'executions': 0}, 'frames': []}]), ('queued/dispatch', 'queued', ['dispatch'], [{'phase': 'running', 'registers': {'queue': [5], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [], 'executions': 1}, 'frames': []}]), ('queued/cancel', 'queued', ['cancel'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('running/cancel', 'running', ['cancel'], [{'phase': 'cancelling', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [], 'executions': 0}, 'frames': []}]), ('cancelling/stopped', 'cancelling', ['stopped'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': True, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('cancelling/completed_first', 'cancelling', ['completed_first'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11]], 'executions': 0}, 'frames': []}]), ('running/completed', 'running', ['completed'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11]], 'executions': 0}, 'frames': []}]), ('done/cancel', 'done', ['cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': ['already_done'], 'executions': 0}, 'frames': []}]), ('cancelled/late_completion', 'cancelled', ['late_completion'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': [], 'executions': 0}, 'frames': []}]), ('idle/cancel', 'idle', ['cancel'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': ['unknown'], 'executions': 0}, 'frames': []}]), ('ordered trace 0', 'idle', ['submit', 'cancel', 'late_completion', 'late_completion', 'late_completion', 'late_completion', 'late_completion', 'late_completion'], [{'phase': 'queued', 'registers': {'queue': [5], 'running': False, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('ordered trace 3', 'running', ['completed', 'cancel', 'cancel', 'cancel', 'cancel', 'cancel', 'cancel', 'cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11]], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11], 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11], 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11], 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11], 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11], 'already_done', 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11], 'already_done', 'already_done', 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11], 'already_done', 'already_done', 'already_done', 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [], 'executions': 0}, '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":"1f8709a9563fbc30f415b0b8e6f26a1c360ae7dba7e800f96ec0cb74ebcb7f65","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 = {'queue': [seed] if phase=='queued' else [], 'running': phase in ('running','cancelling'), 'stop_requested': phase=='cancelling', 'result': payload[:], 'reported': [], 'executions': 0}\n    frames = []\n    observed = []\n    table = {('idle', 'submit'): ('queued', 'enqueue'), ('queued', 'dispatch'): ('running', 'start_command'), ('queued', 'cancel'): ('cancelled', 'remove_and_ack'), ('running', 'cancel'): ('cancelling', 'request_stop'), ('cancelling', 'stopped'): ('cancelled', 'ack_cancel'), ('cancelling', 'completed_first'): ('done', 'report_result'), ('running', 'completed'): ('done', 'report_result'), ('done', 'cancel'): ('done', 'report_already_done'), ('cancelled', 'late_completion'): ('cancelled', 'discard_late_result'), ('idle', 'cancel'): ('idle', 'report_unknown')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'enqueue':\n            r['queue'].append(seed)\n        elif action == 'start_command':\n            r['running']=True; r['executions']+=1\n        elif action == 'remove_and_ack':\n            r['queue']=[]; r['reported'].append('cancelled')\n        elif action == 'request_stop':\n            r['stop_requested']=True\n        elif action == 'ack_cancel':\n            r['running']=False; r['reported'].append('cancelled')\n        elif action == 'report_result':\n            r['reported'].append(r['result'][:])\n        elif action == 'report_already_done':\n            r['reported'].append('already_done')\n        elif action == 'discard_late_result':\n            r['result']=[]\n        elif action == 'report_unknown':\n            r['reported'].append('unknown')\n        elif action == 'execute':\n            r['running']=True; r['executions']+=1\n        elif action == 'ack_result':\n            r['reported'].append(r['result'][:])\n        elif action == 'report_success':\n            r['reported'].append('success')\n        elif action == 'enqueue_again':\n            r['queue'].append(seed)\n        elif action == 'ack_without_remove':\n            r['reported'].append('cancelled')\n        elif action == 'report_pending':\n            r['reported'].append('pending')\n        elif action == 'discard_result':\n            r['result']=[]\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: [('idle/submit', 'idle', ['submit'], [{'phase': 'queued', 'registers': {'queue': [1], 'running': False, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [], 'executions': 0}, 'frames': []}]), ('queued/dispatch', 'queued', ['dispatch'], [{'phase': 'running', 'registers': {'queue': [1], 'running': True, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [], 'executions': 1}, 'frames': []}]), ('queued/cancel', 'queued', ['cancel'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [1, 2, 3], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('running/cancel', 'running', ['cancel'], [{'phase': 'cancelling', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [1, 2, 3], 'reported': [], 'executions': 0}, 'frames': []}]), ('cancelling/stopped', 'cancelling', ['stopped'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': True, 'result': [1, 2, 3], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('cancelling/completed_first', 'cancelling', ['completed_first'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [1, 2, 3], 'reported': [[1, 2, 3]], 'executions': 0}, 'frames': []}]), ('running/completed', 'running', ['completed'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [[1, 2, 3]], 'executions': 0}, 'frames': []}]), ('done/cancel', 'done', ['cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [1, 2, 3], 'reported': ['already_done'], 'executions': 0}, 'frames': []}]), ('cancelled/late_completion', 'cancelled', ['late_completion'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': [], 'executions': 0}, 'frames': []}]), ('idle/cancel', 'idle', ['cancel'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [1, 2, 3], 'reported': ['unknown'], 'executions': 0}, 'frames': []}]), ('ordered trace 0', 'idle', ['submit', 'cancel', 'late_completion', 'late_completion'], [{'phase': 'queued', 'registers': {'queue': [1], 'running': False, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [1, 2, 3], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('ordered trace 3', 'running', ['completed', 'cancel', 'cancel', 'cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [[1, 2, 3]], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [[1, 2, 3], 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [[1, 2, 3], 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [[1, 2, 3], 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [1, 2, 3], 'reported': [], 'executions': 0}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('idle/submit', 'idle', ['submit'], [{'phase': 'queued', 'registers': {'queue': [2], 'running': False, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [], 'executions': 0}, 'frames': []}]), ('queued/dispatch', 'queued', ['dispatch'], [{'phase': 'running', 'registers': {'queue': [2], 'running': True, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [], 'executions': 1}, 'frames': []}]), ('queued/cancel', 'queued', ['cancel'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('running/cancel', 'running', ['cancel'], [{'phase': 'cancelling', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [2, 3, 4, 5], 'reported': [], 'executions': 0}, 'frames': []}]), ('cancelling/stopped', 'cancelling', ['stopped'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': True, 'result': [2, 3, 4, 5], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('cancelling/completed_first', 'cancelling', ['completed_first'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [2, 3, 4, 5], 'reported': [[2, 3, 4, 5]], 'executions': 0}, 'frames': []}]), ('running/completed', 'running', ['completed'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [[2, 3, 4, 5]], 'executions': 0}, 'frames': []}]), ('done/cancel', 'done', ['cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': ['already_done'], 'executions': 0}, 'frames': []}]), ('cancelled/late_completion', 'cancelled', ['late_completion'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': [], 'executions': 0}, 'frames': []}]), ('idle/cancel', 'idle', ['cancel'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': ['unknown'], 'executions': 0}, 'frames': []}]), ('ordered trace 0', 'idle', ['submit', 'cancel', 'late_completion', 'late_completion', 'late_completion'], [{'phase': 'queued', 'registers': {'queue': [2], 'running': False, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('ordered trace 3', 'running', ['completed', 'cancel', 'cancel', 'cancel', 'cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [[2, 3, 4, 5]], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [[2, 3, 4, 5], 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [[2, 3, 4, 5], 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [[2, 3, 4, 5], 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [[2, 3, 4, 5], 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [2, 3, 4, 5], 'reported': [], 'executions': 0}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('idle/submit', 'idle', ['submit'], [{'phase': 'queued', 'registers': {'queue': [3], 'running': False, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [], 'executions': 0}, 'frames': []}]), ('queued/dispatch', 'queued', ['dispatch'], [{'phase': 'running', 'registers': {'queue': [3], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [], 'executions': 1}, 'frames': []}]), ('queued/cancel', 'queued', ['cancel'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('running/cancel', 'running', ['cancel'], [{'phase': 'cancelling', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [3, 4, 5, 6, 7], 'reported': [], 'executions': 0}, 'frames': []}]), ('cancelling/stopped', 'cancelling', ['stopped'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': True, 'result': [3, 4, 5, 6, 7], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('cancelling/completed_first', 'cancelling', ['completed_first'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7]], 'executions': 0}, 'frames': []}]), ('running/completed', 'running', ['completed'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7]], 'executions': 0}, 'frames': []}]), ('done/cancel', 'done', ['cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': ['already_done'], 'executions': 0}, 'frames': []}]), ('cancelled/late_completion', 'cancelled', ['late_completion'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': [], 'executions': 0}, 'frames': []}]), ('idle/cancel', 'idle', ['cancel'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': ['unknown'], 'executions': 0}, 'frames': []}]), ('ordered trace 0', 'idle', ['submit', 'cancel', 'late_completion', 'late_completion', 'late_completion', 'late_completion'], [{'phase': 'queued', 'registers': {'queue': [3], 'running': False, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('ordered trace 3', 'running', ['completed', 'cancel', 'cancel', 'cancel', 'cancel', 'cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7]], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7], 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7], 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7], 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7], 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [[3, 4, 5, 6, 7], 'already_done', 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [3, 4, 5, 6, 7], 'reported': [], 'executions': 0}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('idle/submit', 'idle', ['submit'], [{'phase': 'queued', 'registers': {'queue': [4], 'running': False, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [], 'executions': 0}, 'frames': []}]), ('queued/dispatch', 'queued', ['dispatch'], [{'phase': 'running', 'registers': {'queue': [4], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [], 'executions': 1}, 'frames': []}]), ('queued/cancel', 'queued', ['cancel'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('running/cancel', 'running', ['cancel'], [{'phase': 'cancelling', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [4, 5, 6, 7, 8, 9], 'reported': [], 'executions': 0}, 'frames': []}]), ('cancelling/stopped', 'cancelling', ['stopped'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': True, 'result': [4, 5, 6, 7, 8, 9], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('cancelling/completed_first', 'cancelling', ['completed_first'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9]], 'executions': 0}, 'frames': []}]), ('running/completed', 'running', ['completed'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9]], 'executions': 0}, 'frames': []}]), ('done/cancel', 'done', ['cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': ['already_done'], 'executions': 0}, 'frames': []}]), ('cancelled/late_completion', 'cancelled', ['late_completion'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': [], 'executions': 0}, 'frames': []}]), ('idle/cancel', 'idle', ['cancel'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': ['unknown'], 'executions': 0}, 'frames': []}]), ('ordered trace 0', 'idle', ['submit', 'cancel', 'late_completion', 'late_completion', 'late_completion', 'late_completion', 'late_completion'], [{'phase': 'queued', 'registers': {'queue': [4], 'running': False, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('ordered trace 3', 'running', ['completed', 'cancel', 'cancel', 'cancel', 'cancel', 'cancel', 'cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9]], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9], 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9], 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9], 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9], 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9], 'already_done', 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [[4, 5, 6, 7, 8, 9], 'already_done', 'already_done', 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [4, 5, 6, 7, 8, 9], 'reported': [], 'executions': 0}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('idle/submit', 'idle', ['submit'], [{'phase': 'queued', 'registers': {'queue': [5], 'running': False, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [], 'executions': 0}, 'frames': []}]), ('queued/dispatch', 'queued', ['dispatch'], [{'phase': 'running', 'registers': {'queue': [5], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [], 'executions': 1}, 'frames': []}]), ('queued/cancel', 'queued', ['cancel'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('running/cancel', 'running', ['cancel'], [{'phase': 'cancelling', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [], 'executions': 0}, 'frames': []}]), ('cancelling/stopped', 'cancelling', ['stopped'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': True, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('cancelling/completed_first', 'cancelling', ['completed_first'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': True, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11]], 'executions': 0}, 'frames': []}]), ('running/completed', 'running', ['completed'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11]], 'executions': 0}, 'frames': []}]), ('done/cancel', 'done', ['cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': ['already_done'], 'executions': 0}, 'frames': []}]), ('cancelled/late_completion', 'cancelled', ['late_completion'], [{'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': [], 'executions': 0}, 'frames': []}]), ('idle/cancel', 'idle', ['cancel'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': ['unknown'], 'executions': 0}, 'frames': []}]), ('ordered trace 0', 'idle', ['submit', 'cancel', 'late_completion', 'late_completion', 'late_completion', 'late_completion', 'late_completion', 'late_completion'], [{'phase': 'queued', 'registers': {'queue': [5], 'running': False, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}, {'phase': 'cancelled', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [], 'reported': ['cancelled'], 'executions': 0}, 'frames': []}]), ('ordered trace 3', 'running', ['completed', 'cancel', 'cancel', 'cancel', 'cancel', 'cancel', 'cancel', 'cancel'], [{'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11]], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11], 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11], 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11], 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11], 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11], 'already_done', 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11], 'already_done', 'already_done', 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}, {'phase': 'done', 'registers': {'queue': [], 'running': True, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [[5, 6, 7, 8, 9, 10, 11], 'already_done', 'already_done', 'already_done', 'already_done', 'already_done', 'already_done', 'already_done'], 'executions': 0}, 'frames': []}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'queue': [], 'running': False, 'stop_requested': False, 'result': [5, 6, 7, 8, 9, 10, 11], 'reported': [], 'executions': 0}, '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-command_cancel-running-completed","generated_at":"2026-09-29T14:40:10.820469+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 running, classify completed as transition to done and emit report_result.","root_cause":"In running, the completed handler runs wait and enters running; it must instead run report result and enter done.","sha256":"4abd49fb3bc5a6cee936a15d287f8ddc0889e42a935076ae861313685cc14d6a","title":"Asynchronous command cancellation controller: running / completed · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.508,"exit_code":1,"observations":[{"actual":[{"frames":[],"phase":"queued","registers":{"executions":0,"queue":[1],"reported":[],"result":[1,2,3],"running":false,"stop_requested":false}}],"check":"idle/submit","expected":[{"frames":[],"phase":"queued","registers":{"executions":0,"queue":[1],"reported":[],"result":[1,2,3],"running":false,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"running","registers":{"executions":1,"queue":[1],"reported":[],"result":[1,2,3],"running":true,"stop_requested":false}}],"check":"queued/dispatch","expected":[{"frames":[],"phase":"running","registers":{"executions":1,"queue":[1],"reported":[],"result":[1,2,3],"running":true,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[1,2,3],"running":false,"stop_requested":false}}],"check":"queued/cancel","expected":[{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[1,2,3],"running":false,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"cancelling","registers":{"executions":0,"queue":[],"reported":[],"result":[1,2,3],"running":true,"stop_requested":true}}],"check":"running/cancel","expected":[{"frames":[],"phase":"cancelling","registers":{"executions":0,"queue":[],"reported":[],"result":[1,2,3],"running":true,"stop_requested":true}}],"passed":true},{"actual":[{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[1,2,3],"running":false,"stop_requested":true}}],"check":"cancelling/stopped","expected":[{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[1,2,3],"running":false,"stop_requested":true}}],"passed":true},{"actual":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3]],"result":[1,2,3],"running":true,"stop_requested":true}}],"check":"cancelling/completed_first","expected":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3]],"result":[1,2,3],"running":true,"stop_requested":true}}],"passed":true},{"actual":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[1,2,3],"running":false,"stop_requested":false}}],"check":"running/completed","expected":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3]],"result":[1,2,3],"running":true,"stop_requested":false}}],"passed":false},{"actual":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":["already_done"],"result":[1,2,3],"running":false,"stop_requested":false}}],"check":"done/cancel","expected":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":["already_done"],"result":[1,2,3],"running":false,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":[],"result":[],"running":false,"stop_requested":false}}],"check":"cancelled/late_completion","expected":[{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":[],"result":[],"running":false,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"idle","registers":{"executions":0,"queue":[],"reported":["unknown"],"result":[1,2,3],"running":false,"stop_requested":false}}],"check":"idle/cancel","expected":[{"frames":[],"phase":"idle","registers":{"executions":0,"queue":[],"reported":["unknown"],"result":[1,2,3],"running":false,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"queued","registers":{"executions":0,"queue":[1],"reported":[],"result":[1,2,3],"running":false,"stop_requested":false}},{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[1,2,3],"running":false,"stop_requested":false}},{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[],"running":false,"stop_requested":false}},{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[],"running":false,"stop_requested":false}}],"check":"ordered trace 0","expected":[{"frames":[],"phase":"queued","registers":{"executions":0,"queue":[1],"reported":[],"result":[1,2,3],"running":false,"stop_requested":false}},{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[1,2,3],"running":false,"stop_requested":false}},{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[],"running":false,"stop_requested":false}},{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[],"running":false,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[1,2,3],"running":false,"stop_requested":false}},{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":["cancelled","already_done"],"result":[1,2,3],"running":false,"stop_requested":false}},{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":["cancelled","already_done","already_done"],"result":[1,2,3],"running":false,"stop_requested":false}},{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":["cancelled","already_done","already_done","already_done"],"result":[1,2,3],"running":false,"stop_requested":false}}],"check":"ordered trace 3","expected":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3]],"result":[1,2,3],"running":true,"stop_requested":false}},{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3],"already_done"],"result":[1,2,3],"running":true,"stop_requested":false}},{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3],"already_done","already_done"],"result":[1,2,3],"running":true,"stop_requested":false}},{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3],"already_done","already_done","already_done"],"result":[1,2,3],"running":true,"stop_requested":false}}],"passed":false},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"executions":0,"queue":[],"reported":[],"result":[1,2,3],"running":false,"stop_requested":false}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"executions":0,"queue":[],"reported":[],"result":[1,2,3],"running":false,"stop_requested":false}}],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"idle/submit\", \"actual\": [{\"phase\": \"queued\", \"registers\": {\"queue\": [1], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"queued\", \"registers\": {\"queue\": [1], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"queued/dispatch\", \"actual\": [{\"phase\": \"running\", \"registers\": {\"queue\": [1], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 1}, \"frames\": []}], \"expected\": [{\"phase\": \"running\", \"registers\": {\"queue\": [1], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 1}, \"frames\": []}], \"passed\": true}, {\"check\": \"queued/cancel\", \"actual\": [{\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"running/cancel\", \"actual\": [{\"phase\": \"cancelling\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"cancelling\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"cancelling/stopped\", \"actual\": [{\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"cancelling/completed_first\", \"actual\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3]], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3]], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"running/completed\", \"actual\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3]], \"executions\": 0}, \"frames\": []}], \"passed\": false}, {\"check\": \"done/cancel\", \"actual\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"already_done\"], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"already_done\"], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"cancelled/late_completion\", \"actual\": [{\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [], \"reported\": [], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [], \"reported\": [], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"idle/cancel\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"unknown\"], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"unknown\"], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"queued\", \"registers\": {\"queue\": [1], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}, {\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"queued\", \"registers\": {\"queue\": [1], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}, {\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"cancelled\", \"already_done\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"cancelled\", \"already_done\", \"already_done\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"cancelled\", \"already_done\", \"already_done\", \"already_done\"], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3]], \"executions\": 0}, \"frames\": []}, {\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3], \"already_done\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3], \"already_done\", \"already_done\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3], \"already_done\", \"already_done\", \"already_done\"], \"executions\": 0}, \"frames\": []}], \"passed\": false}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":45.571,"exit_code":1,"observations":[{"actual":[{"frames":[],"phase":"queued","registers":{"executions":0,"queue":[1],"reported":[],"result":[1,2,3],"running":false,"stop_requested":false}}],"check":"idle/submit","expected":[{"frames":[],"phase":"queued","registers":{"executions":0,"queue":[1],"reported":[],"result":[1,2,3],"running":false,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"running","registers":{"executions":1,"queue":[1],"reported":[],"result":[1,2,3],"running":true,"stop_requested":false}}],"check":"queued/dispatch","expected":[{"frames":[],"phase":"running","registers":{"executions":1,"queue":[1],"reported":[],"result":[1,2,3],"running":true,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[1,2,3],"running":false,"stop_requested":false}}],"check":"queued/cancel","expected":[{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[1,2,3],"running":false,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"cancelling","registers":{"executions":0,"queue":[],"reported":[],"result":[1,2,3],"running":true,"stop_requested":true}}],"check":"running/cancel","expected":[{"frames":[],"phase":"cancelling","registers":{"executions":0,"queue":[],"reported":[],"result":[1,2,3],"running":true,"stop_requested":true}}],"passed":true},{"actual":[{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[1,2,3],"running":false,"stop_requested":true}}],"check":"cancelling/stopped","expected":[{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[1,2,3],"running":false,"stop_requested":true}}],"passed":true},{"actual":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3]],"result":[1,2,3],"running":true,"stop_requested":true}}],"check":"cancelling/completed_first","expected":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3]],"result":[1,2,3],"running":true,"stop_requested":true}}],"passed":true},{"actual":[{"frames":[],"phase":"running","registers":{"executions":0,"queue":[],"reported":[],"result":[1,2,3],"running":true,"stop_requested":false}}],"check":"running/completed","expected":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3]],"result":[1,2,3],"running":true,"stop_requested":false}}],"passed":false},{"actual":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":["already_done"],"result":[1,2,3],"running":false,"stop_requested":false}}],"check":"done/cancel","expected":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":["already_done"],"result":[1,2,3],"running":false,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":[],"result":[],"running":false,"stop_requested":false}}],"check":"cancelled/late_completion","expected":[{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":[],"result":[],"running":false,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"idle","registers":{"executions":0,"queue":[],"reported":["unknown"],"result":[1,2,3],"running":false,"stop_requested":false}}],"check":"idle/cancel","expected":[{"frames":[],"phase":"idle","registers":{"executions":0,"queue":[],"reported":["unknown"],"result":[1,2,3],"running":false,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"queued","registers":{"executions":0,"queue":[1],"reported":[],"result":[1,2,3],"running":false,"stop_requested":false}},{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[1,2,3],"running":false,"stop_requested":false}},{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[],"running":false,"stop_requested":false}},{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[],"running":false,"stop_requested":false}}],"check":"ordered trace 0","expected":[{"frames":[],"phase":"queued","registers":{"executions":0,"queue":[1],"reported":[],"result":[1,2,3],"running":false,"stop_requested":false}},{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[1,2,3],"running":false,"stop_requested":false}},{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[],"running":false,"stop_requested":false}},{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[],"running":false,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"running","registers":{"executions":0,"queue":[],"reported":[],"result":[1,2,3],"running":true,"stop_requested":false}},{"frames":[],"phase":"cancelling","registers":{"executions":0,"queue":[],"reported":[],"result":[1,2,3],"running":true,"stop_requested":true}},{"frames":[["reject",[1,2,3]]],"phase":"cancelling","registers":{"executions":0,"queue":[],"reported":[],"result":[1,2,3],"running":true,"stop_requested":true}},{"frames":[["reject",[1,2,3]],["reject",[1,2,3]]],"phase":"cancelling","registers":{"executions":0,"queue":[],"reported":[],"result":[1,2,3],"running":true,"stop_requested":true}}],"check":"ordered trace 3","expected":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3]],"result":[1,2,3],"running":true,"stop_requested":false}},{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3],"already_done"],"result":[1,2,3],"running":true,"stop_requested":false}},{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3],"already_done","already_done"],"result":[1,2,3],"running":true,"stop_requested":false}},{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3],"already_done","already_done","already_done"],"result":[1,2,3],"running":true,"stop_requested":false}}],"passed":false},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"executions":0,"queue":[],"reported":[],"result":[1,2,3],"running":false,"stop_requested":false}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"executions":0,"queue":[],"reported":[],"result":[1,2,3],"running":false,"stop_requested":false}}],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"idle/submit\", \"actual\": [{\"phase\": \"queued\", \"registers\": {\"queue\": [1], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"queued\", \"registers\": {\"queue\": [1], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"queued/dispatch\", \"actual\": [{\"phase\": \"running\", \"registers\": {\"queue\": [1], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 1}, \"frames\": []}], \"expected\": [{\"phase\": \"running\", \"registers\": {\"queue\": [1], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 1}, \"frames\": []}], \"passed\": true}, {\"check\": \"queued/cancel\", \"actual\": [{\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"running/cancel\", \"actual\": [{\"phase\": \"cancelling\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"cancelling\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"cancelling/stopped\", \"actual\": [{\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"cancelling/completed_first\", \"actual\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3]], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3]], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"running/completed\", \"actual\": [{\"phase\": \"running\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3]], \"executions\": 0}, \"frames\": []}], \"passed\": false}, {\"check\": \"done/cancel\", \"actual\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"already_done\"], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"already_done\"], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"cancelled/late_completion\", \"actual\": [{\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [], \"reported\": [], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [], \"reported\": [], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"idle/cancel\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"unknown\"], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"unknown\"], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"queued\", \"registers\": {\"queue\": [1], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}, {\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"queued\", \"registers\": {\"queue\": [1], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}, {\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"running\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}, {\"phase\": \"cancelling\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}, {\"phase\": \"cancelling\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": [[\"reject\", [1, 2, 3]]]}, {\"phase\": \"cancelling\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": [[\"reject\", [1, 2, 3]], [\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3]], \"executions\": 0}, \"frames\": []}, {\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3], \"already_done\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3], \"already_done\", \"already_done\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3], \"already_done\", \"already_done\", \"already_done\"], \"executions\": 0}, \"frames\": []}], \"passed\": false}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":45.261,"exit_code":0,"observations":[{"actual":[{"frames":[],"phase":"queued","registers":{"executions":0,"queue":[1],"reported":[],"result":[1,2,3],"running":false,"stop_requested":false}}],"check":"idle/submit","expected":[{"frames":[],"phase":"queued","registers":{"executions":0,"queue":[1],"reported":[],"result":[1,2,3],"running":false,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"running","registers":{"executions":1,"queue":[1],"reported":[],"result":[1,2,3],"running":true,"stop_requested":false}}],"check":"queued/dispatch","expected":[{"frames":[],"phase":"running","registers":{"executions":1,"queue":[1],"reported":[],"result":[1,2,3],"running":true,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[1,2,3],"running":false,"stop_requested":false}}],"check":"queued/cancel","expected":[{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[1,2,3],"running":false,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"cancelling","registers":{"executions":0,"queue":[],"reported":[],"result":[1,2,3],"running":true,"stop_requested":true}}],"check":"running/cancel","expected":[{"frames":[],"phase":"cancelling","registers":{"executions":0,"queue":[],"reported":[],"result":[1,2,3],"running":true,"stop_requested":true}}],"passed":true},{"actual":[{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[1,2,3],"running":false,"stop_requested":true}}],"check":"cancelling/stopped","expected":[{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[1,2,3],"running":false,"stop_requested":true}}],"passed":true},{"actual":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3]],"result":[1,2,3],"running":true,"stop_requested":true}}],"check":"cancelling/completed_first","expected":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3]],"result":[1,2,3],"running":true,"stop_requested":true}}],"passed":true},{"actual":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3]],"result":[1,2,3],"running":true,"stop_requested":false}}],"check":"running/completed","expected":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3]],"result":[1,2,3],"running":true,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":["already_done"],"result":[1,2,3],"running":false,"stop_requested":false}}],"check":"done/cancel","expected":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":["already_done"],"result":[1,2,3],"running":false,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":[],"result":[],"running":false,"stop_requested":false}}],"check":"cancelled/late_completion","expected":[{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":[],"result":[],"running":false,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"idle","registers":{"executions":0,"queue":[],"reported":["unknown"],"result":[1,2,3],"running":false,"stop_requested":false}}],"check":"idle/cancel","expected":[{"frames":[],"phase":"idle","registers":{"executions":0,"queue":[],"reported":["unknown"],"result":[1,2,3],"running":false,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"queued","registers":{"executions":0,"queue":[1],"reported":[],"result":[1,2,3],"running":false,"stop_requested":false}},{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[1,2,3],"running":false,"stop_requested":false}},{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[],"running":false,"stop_requested":false}},{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[],"running":false,"stop_requested":false}}],"check":"ordered trace 0","expected":[{"frames":[],"phase":"queued","registers":{"executions":0,"queue":[1],"reported":[],"result":[1,2,3],"running":false,"stop_requested":false}},{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[1,2,3],"running":false,"stop_requested":false}},{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[],"running":false,"stop_requested":false}},{"frames":[],"phase":"cancelled","registers":{"executions":0,"queue":[],"reported":["cancelled"],"result":[],"running":false,"stop_requested":false}}],"passed":true},{"actual":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3]],"result":[1,2,3],"running":true,"stop_requested":false}},{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3],"already_done"],"result":[1,2,3],"running":true,"stop_requested":false}},{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3],"already_done","already_done"],"result":[1,2,3],"running":true,"stop_requested":false}},{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3],"already_done","already_done","already_done"],"result":[1,2,3],"running":true,"stop_requested":false}}],"check":"ordered trace 3","expected":[{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3]],"result":[1,2,3],"running":true,"stop_requested":false}},{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3],"already_done"],"result":[1,2,3],"running":true,"stop_requested":false}},{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3],"already_done","already_done"],"result":[1,2,3],"running":true,"stop_requested":false}},{"frames":[],"phase":"done","registers":{"executions":0,"queue":[],"reported":[[1,2,3],"already_done","already_done","already_done"],"result":[1,2,3],"running":true,"stop_requested":false}}],"passed":true},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"executions":0,"queue":[],"reported":[],"result":[1,2,3],"running":false,"stop_requested":false}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"executions":0,"queue":[],"reported":[],"result":[1,2,3],"running":false,"stop_requested":false}}],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"idle/submit\", \"actual\": [{\"phase\": \"queued\", \"registers\": {\"queue\": [1], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"queued\", \"registers\": {\"queue\": [1], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"queued/dispatch\", \"actual\": [{\"phase\": \"running\", \"registers\": {\"queue\": [1], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 1}, \"frames\": []}], \"expected\": [{\"phase\": \"running\", \"registers\": {\"queue\": [1], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 1}, \"frames\": []}], \"passed\": true}, {\"check\": \"queued/cancel\", \"actual\": [{\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"running/cancel\", \"actual\": [{\"phase\": \"cancelling\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"cancelling\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"cancelling/stopped\", \"actual\": [{\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"cancelling/completed_first\", \"actual\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3]], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3]], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"running/completed\", \"actual\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3]], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3]], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"done/cancel\", \"actual\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"already_done\"], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"already_done\"], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"cancelled/late_completion\", \"actual\": [{\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [], \"reported\": [], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [], \"reported\": [], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"idle/cancel\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"unknown\"], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"unknown\"], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"queued\", \"registers\": {\"queue\": [1], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}, {\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"queued\", \"registers\": {\"queue\": [1], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}, {\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"cancelled\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [], \"reported\": [\"cancelled\"], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3]], \"executions\": 0}, \"frames\": []}, {\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3], \"already_done\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3], \"already_done\", \"already_done\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3], \"already_done\", \"already_done\", \"already_done\"], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3]], \"executions\": 0}, \"frames\": []}, {\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3], \"already_done\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3], \"already_done\", \"already_done\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"done\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3], \"already_done\", \"already_done\", \"already_done\"], \"executions\": 0}, \"frames\": []}], \"passed\": true}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}