{"abstract":"While idle, event submit produces running/execute instead of queued/enqueue.","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 idle/ack_result, which still violates this phase-specific event contract.","family":"s3-protocols-command_cancel-idle-submit","id":"FA-19641","implementations":{"attempt":{"sha256":"248c693a55466311db3023c24d52fe7ca8218a1f7594fdb38c1f386355a80669","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'): ('idle', 'ack_result'), ('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"},"broken":{"sha256":"5bdbfad3c4d1aa4159f7440350ab16bf2692520e515603f0dda368eca87d53bc","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'): ('running', 'execute'), ('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"},"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-idle-submit","generated_at":"2026-09-29T14:40:10.498063+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 idle, classify submit as transition to queued and emit enqueue.","root_cause":"In idle, the submit handler runs execute and enters running; it must instead run enqueue and enter queued.","sha256":"47eee2a2403248fd8fa696535184336e78bc8fb3cdcb7acc76837821679d69f6","title":"Asynchronous command cancellation controller: idle / submit · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":94.929,"exit_code":1,"observations":[{"actual":[{"frames":[],"phase":"idle","registers":{"executions":0,"queue":[],"reported":[[1,2,3]],"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":false},{"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":"idle","registers":{"executions":0,"queue":[],"reported":[[1,2,3]],"result":[1,2,3],"running":false,"stop_requested":false}},{"frames":[],"phase":"idle","registers":{"executions":0,"queue":[],"reported":[[1,2,3],"unknown"],"result":[1,2,3],"running":false,"stop_requested":false}},{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"executions":0,"queue":[],"reported":[[1,2,3],"unknown"],"result":[1,2,3],"running":false,"stop_requested":false}},{"frames":[["reject",[1,2,3]],["reject",[1,2,3]]],"phase":"idle","registers":{"executions":0,"queue":[],"reported":[[1,2,3],"unknown"],"result":[1,2,3],"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":false},{"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":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"idle/submit\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3]], \"executions\": 0}, \"frames\": []}], \"expected\": [{\"phase\": \"queued\", \"registers\": {\"queue\": [1], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}], \"passed\": false}, {\"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\": \"idle\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3]], \"executions\": 0}, \"frames\": []}, {\"phase\": \"idle\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3], \"unknown\"], \"executions\": 0}, \"frames\": []}, {\"phase\": \"idle\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3], \"unknown\"], \"executions\": 0}, \"frames\": [[\"reject\", [1, 2, 3]]]}, {\"phase\": \"idle\", \"registers\": {\"queue\": [], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [[1, 2, 3], \"unknown\"], \"executions\": 0}, \"frames\": [[\"reject\", [1, 2, 3]], [\"reject\", [1, 2, 3]]]}], \"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\": false}, {\"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\": false}\n"},"broken":{"elapsed_ms":104.977,"exit_code":1,"observations":[{"actual":[{"frames":[],"phase":"running","registers":{"executions":1,"queue":[],"reported":[],"result":[1,2,3],"running":true,"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":false},{"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":"running","registers":{"executions":1,"queue":[],"reported":[],"result":[1,2,3],"running":true,"stop_requested":false}},{"frames":[],"phase":"cancelling","registers":{"executions":1,"queue":[],"reported":[],"result":[1,2,3],"running":true,"stop_requested":true}},{"frames":[["reject",[1,2,3]]],"phase":"cancelling","registers":{"executions":1,"queue":[],"reported":[],"result":[1,2,3],"running":true,"stop_requested":true}},{"frames":[["reject",[1,2,3]],["reject",[1,2,3]]],"phase":"cancelling","registers":{"executions":1,"queue":[],"reported":[],"result":[1,2,3],"running":true,"stop_requested":true}}],"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":false},{"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":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"idle/submit\", \"actual\": [{\"phase\": \"running\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 1}, \"frames\": []}], \"expected\": [{\"phase\": \"queued\", \"registers\": {\"queue\": [1], \"running\": false, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 0}, \"frames\": []}], \"passed\": false}, {\"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\": \"running\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": false, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 1}, \"frames\": []}, {\"phase\": \"cancelling\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 1}, \"frames\": []}, {\"phase\": \"cancelling\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 1}, \"frames\": [[\"reject\", [1, 2, 3]]]}, {\"phase\": \"cancelling\", \"registers\": {\"queue\": [], \"running\": true, \"stop_requested\": true, \"result\": [1, 2, 3], \"reported\": [], \"executions\": 1}, \"frames\": [[\"reject\", [1, 2, 3]], [\"reject\", [1, 2, 3]]]}], \"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\": false}, {\"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\": false}\n"},"fixed":{"elapsed_ms":44.965,"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"}