{"abstract":"While quiet, event probe_due produces healthy/report_alive instead of awaiting/send_challenge.","category":"Protocols","checks":14,"contract":"For the stipulated Application liveness challenge 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-liveness_probe","failed_approach":"The partial repair chooses quiet/send_data, which still violates this phase-specific event contract.","family":"s3-protocols-liveness_probe-quiet-probe_due","id":"FA-19541","implementations":{"attempt":{"sha256":"d7c628a102407245def7135bf4f9ad00451caa5a5a0e769723c1d6c2edfcfcc3","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 = {'challenge': seed, 'roundtrip': seed+2, 'suspected': phase=='suspect', 'peer_owned': phase!='dead', 'activity': 0, 'sent_at': seed}\n    frames = []\n    observed = []\n    table = {('quiet', 'probe_due'): ('quiet', 'send_data'), ('awaiting', 'matching_response'): ('healthy', 'record_roundtrip'), ('awaiting', 'wrong_response'): ('awaiting', 'ignore_unmatched'), ('awaiting', 'deadline'): ('suspect', 'report_suspect'), ('suspect', 'operator_confirm_dead'): ('dead', 'release_peer'), ('suspect', 'matching_response'): ('healthy', 'clear_suspicion'), ('healthy', 'probe_due'): ('awaiting', 'send_challenge'), ('dead', 'matching_response'): ('dead', 'reject_old_session'), ('quiet', 'unsolicited_response'): ('quiet', 'ignore_unmatched'), ('healthy', 'traffic_received'): ('healthy', 'record_activity')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'send_challenge':\n            frames.append(['CHALLENGE',r['challenge']]); r['sent_at']=seed\n        elif action == 'record_roundtrip':\n            r['roundtrip']=len(payload)\n        elif action == 'ignore_unmatched':\n            frames.append(['UNMATCHED',seed+1])\n        elif action == 'report_suspect':\n            r['suspected']=True; frames.append(['SUSPECT',seed])\n        elif action == 'release_peer':\n            r['peer_owned']=False\n        elif action == 'clear_suspicion':\n            r['suspected']=False; r['roundtrip']=len(payload)\n        elif action == 'reject_old_session':\n            frames.append(['OLD_SESSION',seed])\n        elif action == 'record_activity':\n            r['activity']+=len(payload)\n        elif action == 'report_alive':\n            frames.append(['ALIVE',seed])\n        elif action == 'send_data':\n            frames.append(['DATA',payload])\n        elif action == 'record_send_time':\n            r['roundtrip']=r['sent_at']\n        elif action == 'cancel_probe':\n            r['challenge']=None\n        elif action == 'keep_suspicion':\n            r['suspected']=True; r['roundtrip']=len(payload)\n        elif action == 'retain_peer':\n            r['peer_owned']=True\n        elif action == 'reuse_result':\n            frames.append(['ALIVE',seed])\n        elif action == 'restart_session':\n            r['peer_owned']=True; r['challenge']=seed+1\n        elif action == 'start_deadline':\n            r['challenge']=seed+1\n        elif action == 'erase_roundtrip':\n            r['activity']+=len(payload); r['roundtrip']=None\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: [('quiet/probe_due', 'quiet', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1]]}]), ('awaiting/matching_response', 'awaiting', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': []}]), ('awaiting/wrong_response', 'awaiting', ['wrong_response'], [{'phase': 'awaiting', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['UNMATCHED', 2]]}]), ('awaiting/deadline', 'awaiting', ['deadline'], [{'phase': 'suspect', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['SUSPECT', 1]]}]), ('suspect/operator_confirm_dead', 'suspect', ['operator_confirm_dead'], [{'phase': 'dead', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 1}, 'frames': []}]), ('suspect/matching_response', 'suspect', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': []}]), ('healthy/probe_due', 'healthy', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1]]}]), ('dead/matching_response', 'dead', ['matching_response'], [{'phase': 'dead', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': False, 'activity': 0, 'sent_at': 1}, 'frames': [['OLD_SESSION', 1]]}]), ('quiet/unsolicited_response', 'quiet', ['unsolicited_response'], [{'phase': 'quiet', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['UNMATCHED', 2]]}]), ('healthy/traffic_received', 'healthy', ['traffic_received'], [{'phase': 'healthy', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 3, 'sent_at': 1}, 'frames': []}]), ('ordered trace 0', 'quiet', ['probe_due', 'wrong_response', 'deadline', 'matching_response'], [{'phase': 'awaiting', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1]]}, {'phase': 'awaiting', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1], ['UNMATCHED', 2]]}, {'phase': 'suspect', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1], ['UNMATCHED', 2], ['SUSPECT', 1]]}, {'phase': 'healthy', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1], ['UNMATCHED', 2], ['SUSPECT', 1]]}]), ('ordered trace 3', 'awaiting', ['matching_response', 'probe_due', 'deadline', 'operator_confirm_dead'], [{'phase': 'healthy', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': []}, {'phase': 'awaiting', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1]]}, {'phase': 'suspect', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1], ['SUSPECT', 1]]}, {'phase': 'dead', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1], ['SUSPECT', 1]]}]), ('empty input', 'quiet', [], []), ('unknown event', 'quiet', ['unsupported'], [{'phase': 'quiet', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('quiet/probe_due', 'quiet', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2]]}]), ('awaiting/matching_response', 'awaiting', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': []}]), ('awaiting/wrong_response', 'awaiting', ['wrong_response'], [{'phase': 'awaiting', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['UNMATCHED', 3]]}]), ('awaiting/deadline', 'awaiting', ['deadline'], [{'phase': 'suspect', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['SUSPECT', 2]]}]), ('suspect/operator_confirm_dead', 'suspect', ['operator_confirm_dead'], [{'phase': 'dead', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 2}, 'frames': []}]), ('suspect/matching_response', 'suspect', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': []}]), ('healthy/probe_due', 'healthy', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2]]}]), ('dead/matching_response', 'dead', ['matching_response'], [{'phase': 'dead', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': False, 'activity': 0, 'sent_at': 2}, 'frames': [['OLD_SESSION', 2]]}]), ('quiet/unsolicited_response', 'quiet', ['unsolicited_response'], [{'phase': 'quiet', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['UNMATCHED', 3]]}]), ('healthy/traffic_received', 'healthy', ['traffic_received'], [{'phase': 'healthy', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 4, 'sent_at': 2}, 'frames': []}]), ('ordered trace 0', 'quiet', ['probe_due', 'wrong_response', 'deadline', 'matching_response', 'probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2]]}, {'phase': 'awaiting', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2], ['UNMATCHED', 3]]}, {'phase': 'suspect', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2], ['UNMATCHED', 3], ['SUSPECT', 2]]}, {'phase': 'healthy', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2], ['UNMATCHED', 3], ['SUSPECT', 2]]}, {'phase': 'awaiting', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2], ['UNMATCHED', 3], ['SUSPECT', 2], ['CHALLENGE', 2]]}]), ('ordered trace 3', 'awaiting', ['matching_response', 'probe_due', 'deadline', 'operator_confirm_dead', 'matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': []}, {'phase': 'awaiting', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2]]}, {'phase': 'suspect', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2], ['SUSPECT', 2]]}, {'phase': 'dead', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2], ['SUSPECT', 2]]}, {'phase': 'dead', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2], ['SUSPECT', 2], ['OLD_SESSION', 2]]}]), ('empty input', 'quiet', [], []), ('unknown event', 'quiet', ['unsupported'], [{'phase': 'quiet', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('quiet/probe_due', 'quiet', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3]]}]), ('awaiting/matching_response', 'awaiting', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': []}]), ('awaiting/wrong_response', 'awaiting', ['wrong_response'], [{'phase': 'awaiting', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['UNMATCHED', 4]]}]), ('awaiting/deadline', 'awaiting', ['deadline'], [{'phase': 'suspect', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['SUSPECT', 3]]}]), ('suspect/operator_confirm_dead', 'suspect', ['operator_confirm_dead'], [{'phase': 'dead', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 3}, 'frames': []}]), ('suspect/matching_response', 'suspect', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': []}]), ('healthy/probe_due', 'healthy', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3]]}]), ('dead/matching_response', 'dead', ['matching_response'], [{'phase': 'dead', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': False, 'activity': 0, 'sent_at': 3}, 'frames': [['OLD_SESSION', 3]]}]), ('quiet/unsolicited_response', 'quiet', ['unsolicited_response'], [{'phase': 'quiet', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['UNMATCHED', 4]]}]), ('healthy/traffic_received', 'healthy', ['traffic_received'], [{'phase': 'healthy', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 5, 'sent_at': 3}, 'frames': []}]), ('ordered trace 0', 'quiet', ['probe_due', 'wrong_response', 'deadline', 'matching_response', 'probe_due', 'deadline'], [{'phase': 'awaiting', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3]]}, {'phase': 'awaiting', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['UNMATCHED', 4]]}, {'phase': 'suspect', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['UNMATCHED', 4], ['SUSPECT', 3]]}, {'phase': 'healthy', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['UNMATCHED', 4], ['SUSPECT', 3]]}, {'phase': 'awaiting', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['UNMATCHED', 4], ['SUSPECT', 3], ['CHALLENGE', 3]]}, {'phase': 'suspect', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['UNMATCHED', 4], ['SUSPECT', 3], ['CHALLENGE', 3], ['SUSPECT', 3]]}]), ('ordered trace 3', 'awaiting', ['matching_response', 'probe_due', 'deadline', 'operator_confirm_dead', 'matching_response', 'matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': []}, {'phase': 'awaiting', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3]]}, {'phase': 'suspect', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['SUSPECT', 3]]}, {'phase': 'dead', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['SUSPECT', 3]]}, {'phase': 'dead', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['SUSPECT', 3], ['OLD_SESSION', 3]]}, {'phase': 'dead', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['SUSPECT', 3], ['OLD_SESSION', 3], ['OLD_SESSION', 3]]}]), ('empty input', 'quiet', [], []), ('unknown event', 'quiet', ['unsupported'], [{'phase': 'quiet', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('quiet/probe_due', 'quiet', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4]]}]), ('awaiting/matching_response', 'awaiting', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': []}]), ('awaiting/wrong_response', 'awaiting', ['wrong_response'], [{'phase': 'awaiting', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['UNMATCHED', 5]]}]), ('awaiting/deadline', 'awaiting', ['deadline'], [{'phase': 'suspect', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['SUSPECT', 4]]}]), ('suspect/operator_confirm_dead', 'suspect', ['operator_confirm_dead'], [{'phase': 'dead', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 4}, 'frames': []}]), ('suspect/matching_response', 'suspect', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': []}]), ('healthy/probe_due', 'healthy', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4]]}]), ('dead/matching_response', 'dead', ['matching_response'], [{'phase': 'dead', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': False, 'activity': 0, 'sent_at': 4}, 'frames': [['OLD_SESSION', 4]]}]), ('quiet/unsolicited_response', 'quiet', ['unsolicited_response'], [{'phase': 'quiet', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['UNMATCHED', 5]]}]), ('healthy/traffic_received', 'healthy', ['traffic_received'], [{'phase': 'healthy', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 6, 'sent_at': 4}, 'frames': []}]), ('ordered trace 0', 'quiet', ['probe_due', 'wrong_response', 'deadline', 'matching_response', 'probe_due', 'deadline', 'operator_confirm_dead'], [{'phase': 'awaiting', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4]]}, {'phase': 'awaiting', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['UNMATCHED', 5]]}, {'phase': 'suspect', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['UNMATCHED', 5], ['SUSPECT', 4]]}, {'phase': 'healthy', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['UNMATCHED', 5], ['SUSPECT', 4]]}, {'phase': 'awaiting', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['UNMATCHED', 5], ['SUSPECT', 4], ['CHALLENGE', 4]]}, {'phase': 'suspect', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['UNMATCHED', 5], ['SUSPECT', 4], ['CHALLENGE', 4], ['SUSPECT', 4]]}, {'phase': 'dead', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['UNMATCHED', 5], ['SUSPECT', 4], ['CHALLENGE', 4], ['SUSPECT', 4]]}]), ('ordered trace 3', 'awaiting', ['matching_response', 'probe_due', 'deadline', 'operator_confirm_dead', 'matching_response', 'matching_response', 'matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': []}, {'phase': 'awaiting', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4]]}, {'phase': 'suspect', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['SUSPECT', 4]]}, {'phase': 'dead', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['SUSPECT', 4]]}, {'phase': 'dead', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['SUSPECT', 4], ['OLD_SESSION', 4]]}, {'phase': 'dead', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['SUSPECT', 4], ['OLD_SESSION', 4], ['OLD_SESSION', 4]]}, {'phase': 'dead', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['SUSPECT', 4], ['OLD_SESSION', 4], ['OLD_SESSION', 4], ['OLD_SESSION', 4]]}]), ('empty input', 'quiet', [], []), ('unknown event', 'quiet', ['unsupported'], [{'phase': 'quiet', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('quiet/probe_due', 'quiet', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5]]}]), ('awaiting/matching_response', 'awaiting', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': []}]), ('awaiting/wrong_response', 'awaiting', ['wrong_response'], [{'phase': 'awaiting', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['UNMATCHED', 6]]}]), ('awaiting/deadline', 'awaiting', ['deadline'], [{'phase': 'suspect', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['SUSPECT', 5]]}]), ('suspect/operator_confirm_dead', 'suspect', ['operator_confirm_dead'], [{'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': []}]), ('suspect/matching_response', 'suspect', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': []}]), ('healthy/probe_due', 'healthy', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5]]}]), ('dead/matching_response', 'dead', ['matching_response'], [{'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['OLD_SESSION', 5]]}]), ('quiet/unsolicited_response', 'quiet', ['unsolicited_response'], [{'phase': 'quiet', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['UNMATCHED', 6]]}]), ('healthy/traffic_received', 'healthy', ['traffic_received'], [{'phase': 'healthy', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 7, 'sent_at': 5}, 'frames': []}]), ('ordered trace 0', 'quiet', ['probe_due', 'wrong_response', 'deadline', 'matching_response', 'probe_due', 'deadline', 'operator_confirm_dead', 'matching_response'], [{'phase': 'awaiting', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5]]}, {'phase': 'awaiting', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['UNMATCHED', 6]]}, {'phase': 'suspect', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['UNMATCHED', 6], ['SUSPECT', 5]]}, {'phase': 'healthy', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['UNMATCHED', 6], ['SUSPECT', 5]]}, {'phase': 'awaiting', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['UNMATCHED', 6], ['SUSPECT', 5], ['CHALLENGE', 5]]}, {'phase': 'suspect', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['UNMATCHED', 6], ['SUSPECT', 5], ['CHALLENGE', 5], ['SUSPECT', 5]]}, {'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['UNMATCHED', 6], ['SUSPECT', 5], ['CHALLENGE', 5], ['SUSPECT', 5]]}, {'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['UNMATCHED', 6], ['SUSPECT', 5], ['CHALLENGE', 5], ['SUSPECT', 5], ['OLD_SESSION', 5]]}]), ('ordered trace 3', 'awaiting', ['matching_response', 'probe_due', 'deadline', 'operator_confirm_dead', 'matching_response', 'matching_response', 'matching_response', 'matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': []}, {'phase': 'awaiting', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5]]}, {'phase': 'suspect', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['SUSPECT', 5]]}, {'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['SUSPECT', 5]]}, {'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['SUSPECT', 5], ['OLD_SESSION', 5]]}, {'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['SUSPECT', 5], ['OLD_SESSION', 5], ['OLD_SESSION', 5]]}, {'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['SUSPECT', 5], ['OLD_SESSION', 5], ['OLD_SESSION', 5], ['OLD_SESSION', 5]]}, {'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['SUSPECT', 5], ['OLD_SESSION', 5], ['OLD_SESSION', 5], ['OLD_SESSION', 5], ['OLD_SESSION', 5]]}]), ('empty input', 'quiet', [], []), ('unknown event', 'quiet', ['unsupported'], [{'phase': 'quiet', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, '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":"2a2eda27cc9a2359f1f997f5efd53531afc714c865406f84ac7f295c4cf83380","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 = {'challenge': seed, 'roundtrip': seed+2, 'suspected': phase=='suspect', 'peer_owned': phase!='dead', 'activity': 0, 'sent_at': seed}\n    frames = []\n    observed = []\n    table = {('quiet', 'probe_due'): ('healthy', 'report_alive'), ('awaiting', 'matching_response'): ('healthy', 'record_roundtrip'), ('awaiting', 'wrong_response'): ('awaiting', 'ignore_unmatched'), ('awaiting', 'deadline'): ('suspect', 'report_suspect'), ('suspect', 'operator_confirm_dead'): ('dead', 'release_peer'), ('suspect', 'matching_response'): ('healthy', 'clear_suspicion'), ('healthy', 'probe_due'): ('awaiting', 'send_challenge'), ('dead', 'matching_response'): ('dead', 'reject_old_session'), ('quiet', 'unsolicited_response'): ('quiet', 'ignore_unmatched'), ('healthy', 'traffic_received'): ('healthy', 'record_activity')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'send_challenge':\n            frames.append(['CHALLENGE',r['challenge']]); r['sent_at']=seed\n        elif action == 'record_roundtrip':\n            r['roundtrip']=len(payload)\n        elif action == 'ignore_unmatched':\n            frames.append(['UNMATCHED',seed+1])\n        elif action == 'report_suspect':\n            r['suspected']=True; frames.append(['SUSPECT',seed])\n        elif action == 'release_peer':\n            r['peer_owned']=False\n        elif action == 'clear_suspicion':\n            r['suspected']=False; r['roundtrip']=len(payload)\n        elif action == 'reject_old_session':\n            frames.append(['OLD_SESSION',seed])\n        elif action == 'record_activity':\n            r['activity']+=len(payload)\n        elif action == 'report_alive':\n            frames.append(['ALIVE',seed])\n        elif action == 'send_data':\n            frames.append(['DATA',payload])\n        elif action == 'record_send_time':\n            r['roundtrip']=r['sent_at']\n        elif action == 'cancel_probe':\n            r['challenge']=None\n        elif action == 'keep_suspicion':\n            r['suspected']=True; r['roundtrip']=len(payload)\n        elif action == 'retain_peer':\n            r['peer_owned']=True\n        elif action == 'reuse_result':\n            frames.append(['ALIVE',seed])\n        elif action == 'restart_session':\n            r['peer_owned']=True; r['challenge']=seed+1\n        elif action == 'start_deadline':\n            r['challenge']=seed+1\n        elif action == 'erase_roundtrip':\n            r['activity']+=len(payload); r['roundtrip']=None\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: [('quiet/probe_due', 'quiet', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1]]}]), ('awaiting/matching_response', 'awaiting', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': []}]), ('awaiting/wrong_response', 'awaiting', ['wrong_response'], [{'phase': 'awaiting', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['UNMATCHED', 2]]}]), ('awaiting/deadline', 'awaiting', ['deadline'], [{'phase': 'suspect', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['SUSPECT', 1]]}]), ('suspect/operator_confirm_dead', 'suspect', ['operator_confirm_dead'], [{'phase': 'dead', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 1}, 'frames': []}]), ('suspect/matching_response', 'suspect', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': []}]), ('healthy/probe_due', 'healthy', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1]]}]), ('dead/matching_response', 'dead', ['matching_response'], [{'phase': 'dead', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': False, 'activity': 0, 'sent_at': 1}, 'frames': [['OLD_SESSION', 1]]}]), ('quiet/unsolicited_response', 'quiet', ['unsolicited_response'], [{'phase': 'quiet', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['UNMATCHED', 2]]}]), ('healthy/traffic_received', 'healthy', ['traffic_received'], [{'phase': 'healthy', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 3, 'sent_at': 1}, 'frames': []}]), ('ordered trace 0', 'quiet', ['probe_due', 'wrong_response', 'deadline', 'matching_response'], [{'phase': 'awaiting', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1]]}, {'phase': 'awaiting', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1], ['UNMATCHED', 2]]}, {'phase': 'suspect', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1], ['UNMATCHED', 2], ['SUSPECT', 1]]}, {'phase': 'healthy', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1], ['UNMATCHED', 2], ['SUSPECT', 1]]}]), ('ordered trace 3', 'awaiting', ['matching_response', 'probe_due', 'deadline', 'operator_confirm_dead'], [{'phase': 'healthy', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': []}, {'phase': 'awaiting', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1]]}, {'phase': 'suspect', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1], ['SUSPECT', 1]]}, {'phase': 'dead', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1], ['SUSPECT', 1]]}]), ('empty input', 'quiet', [], []), ('unknown event', 'quiet', ['unsupported'], [{'phase': 'quiet', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('quiet/probe_due', 'quiet', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2]]}]), ('awaiting/matching_response', 'awaiting', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': []}]), ('awaiting/wrong_response', 'awaiting', ['wrong_response'], [{'phase': 'awaiting', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['UNMATCHED', 3]]}]), ('awaiting/deadline', 'awaiting', ['deadline'], [{'phase': 'suspect', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['SUSPECT', 2]]}]), ('suspect/operator_confirm_dead', 'suspect', ['operator_confirm_dead'], [{'phase': 'dead', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 2}, 'frames': []}]), ('suspect/matching_response', 'suspect', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': []}]), ('healthy/probe_due', 'healthy', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2]]}]), ('dead/matching_response', 'dead', ['matching_response'], [{'phase': 'dead', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': False, 'activity': 0, 'sent_at': 2}, 'frames': [['OLD_SESSION', 2]]}]), ('quiet/unsolicited_response', 'quiet', ['unsolicited_response'], [{'phase': 'quiet', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['UNMATCHED', 3]]}]), ('healthy/traffic_received', 'healthy', ['traffic_received'], [{'phase': 'healthy', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 4, 'sent_at': 2}, 'frames': []}]), ('ordered trace 0', 'quiet', ['probe_due', 'wrong_response', 'deadline', 'matching_response', 'probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2]]}, {'phase': 'awaiting', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2], ['UNMATCHED', 3]]}, {'phase': 'suspect', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2], ['UNMATCHED', 3], ['SUSPECT', 2]]}, {'phase': 'healthy', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2], ['UNMATCHED', 3], ['SUSPECT', 2]]}, {'phase': 'awaiting', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2], ['UNMATCHED', 3], ['SUSPECT', 2], ['CHALLENGE', 2]]}]), ('ordered trace 3', 'awaiting', ['matching_response', 'probe_due', 'deadline', 'operator_confirm_dead', 'matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': []}, {'phase': 'awaiting', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2]]}, {'phase': 'suspect', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2], ['SUSPECT', 2]]}, {'phase': 'dead', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2], ['SUSPECT', 2]]}, {'phase': 'dead', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2], ['SUSPECT', 2], ['OLD_SESSION', 2]]}]), ('empty input', 'quiet', [], []), ('unknown event', 'quiet', ['unsupported'], [{'phase': 'quiet', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('quiet/probe_due', 'quiet', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3]]}]), ('awaiting/matching_response', 'awaiting', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': []}]), ('awaiting/wrong_response', 'awaiting', ['wrong_response'], [{'phase': 'awaiting', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['UNMATCHED', 4]]}]), ('awaiting/deadline', 'awaiting', ['deadline'], [{'phase': 'suspect', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['SUSPECT', 3]]}]), ('suspect/operator_confirm_dead', 'suspect', ['operator_confirm_dead'], [{'phase': 'dead', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 3}, 'frames': []}]), ('suspect/matching_response', 'suspect', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': []}]), ('healthy/probe_due', 'healthy', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3]]}]), ('dead/matching_response', 'dead', ['matching_response'], [{'phase': 'dead', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': False, 'activity': 0, 'sent_at': 3}, 'frames': [['OLD_SESSION', 3]]}]), ('quiet/unsolicited_response', 'quiet', ['unsolicited_response'], [{'phase': 'quiet', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['UNMATCHED', 4]]}]), ('healthy/traffic_received', 'healthy', ['traffic_received'], [{'phase': 'healthy', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 5, 'sent_at': 3}, 'frames': []}]), ('ordered trace 0', 'quiet', ['probe_due', 'wrong_response', 'deadline', 'matching_response', 'probe_due', 'deadline'], [{'phase': 'awaiting', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3]]}, {'phase': 'awaiting', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['UNMATCHED', 4]]}, {'phase': 'suspect', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['UNMATCHED', 4], ['SUSPECT', 3]]}, {'phase': 'healthy', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['UNMATCHED', 4], ['SUSPECT', 3]]}, {'phase': 'awaiting', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['UNMATCHED', 4], ['SUSPECT', 3], ['CHALLENGE', 3]]}, {'phase': 'suspect', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['UNMATCHED', 4], ['SUSPECT', 3], ['CHALLENGE', 3], ['SUSPECT', 3]]}]), ('ordered trace 3', 'awaiting', ['matching_response', 'probe_due', 'deadline', 'operator_confirm_dead', 'matching_response', 'matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': []}, {'phase': 'awaiting', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3]]}, {'phase': 'suspect', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['SUSPECT', 3]]}, {'phase': 'dead', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['SUSPECT', 3]]}, {'phase': 'dead', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['SUSPECT', 3], ['OLD_SESSION', 3]]}, {'phase': 'dead', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['SUSPECT', 3], ['OLD_SESSION', 3], ['OLD_SESSION', 3]]}]), ('empty input', 'quiet', [], []), ('unknown event', 'quiet', ['unsupported'], [{'phase': 'quiet', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('quiet/probe_due', 'quiet', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4]]}]), ('awaiting/matching_response', 'awaiting', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': []}]), ('awaiting/wrong_response', 'awaiting', ['wrong_response'], [{'phase': 'awaiting', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['UNMATCHED', 5]]}]), ('awaiting/deadline', 'awaiting', ['deadline'], [{'phase': 'suspect', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['SUSPECT', 4]]}]), ('suspect/operator_confirm_dead', 'suspect', ['operator_confirm_dead'], [{'phase': 'dead', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 4}, 'frames': []}]), ('suspect/matching_response', 'suspect', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': []}]), ('healthy/probe_due', 'healthy', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4]]}]), ('dead/matching_response', 'dead', ['matching_response'], [{'phase': 'dead', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': False, 'activity': 0, 'sent_at': 4}, 'frames': [['OLD_SESSION', 4]]}]), ('quiet/unsolicited_response', 'quiet', ['unsolicited_response'], [{'phase': 'quiet', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['UNMATCHED', 5]]}]), ('healthy/traffic_received', 'healthy', ['traffic_received'], [{'phase': 'healthy', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 6, 'sent_at': 4}, 'frames': []}]), ('ordered trace 0', 'quiet', ['probe_due', 'wrong_response', 'deadline', 'matching_response', 'probe_due', 'deadline', 'operator_confirm_dead'], [{'phase': 'awaiting', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4]]}, {'phase': 'awaiting', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['UNMATCHED', 5]]}, {'phase': 'suspect', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['UNMATCHED', 5], ['SUSPECT', 4]]}, {'phase': 'healthy', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['UNMATCHED', 5], ['SUSPECT', 4]]}, {'phase': 'awaiting', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['UNMATCHED', 5], ['SUSPECT', 4], ['CHALLENGE', 4]]}, {'phase': 'suspect', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['UNMATCHED', 5], ['SUSPECT', 4], ['CHALLENGE', 4], ['SUSPECT', 4]]}, {'phase': 'dead', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['UNMATCHED', 5], ['SUSPECT', 4], ['CHALLENGE', 4], ['SUSPECT', 4]]}]), ('ordered trace 3', 'awaiting', ['matching_response', 'probe_due', 'deadline', 'operator_confirm_dead', 'matching_response', 'matching_response', 'matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': []}, {'phase': 'awaiting', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4]]}, {'phase': 'suspect', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['SUSPECT', 4]]}, {'phase': 'dead', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['SUSPECT', 4]]}, {'phase': 'dead', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['SUSPECT', 4], ['OLD_SESSION', 4]]}, {'phase': 'dead', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['SUSPECT', 4], ['OLD_SESSION', 4], ['OLD_SESSION', 4]]}, {'phase': 'dead', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['SUSPECT', 4], ['OLD_SESSION', 4], ['OLD_SESSION', 4], ['OLD_SESSION', 4]]}]), ('empty input', 'quiet', [], []), ('unknown event', 'quiet', ['unsupported'], [{'phase': 'quiet', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('quiet/probe_due', 'quiet', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5]]}]), ('awaiting/matching_response', 'awaiting', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': []}]), ('awaiting/wrong_response', 'awaiting', ['wrong_response'], [{'phase': 'awaiting', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['UNMATCHED', 6]]}]), ('awaiting/deadline', 'awaiting', ['deadline'], [{'phase': 'suspect', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['SUSPECT', 5]]}]), ('suspect/operator_confirm_dead', 'suspect', ['operator_confirm_dead'], [{'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': []}]), ('suspect/matching_response', 'suspect', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': []}]), ('healthy/probe_due', 'healthy', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5]]}]), ('dead/matching_response', 'dead', ['matching_response'], [{'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['OLD_SESSION', 5]]}]), ('quiet/unsolicited_response', 'quiet', ['unsolicited_response'], [{'phase': 'quiet', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['UNMATCHED', 6]]}]), ('healthy/traffic_received', 'healthy', ['traffic_received'], [{'phase': 'healthy', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 7, 'sent_at': 5}, 'frames': []}]), ('ordered trace 0', 'quiet', ['probe_due', 'wrong_response', 'deadline', 'matching_response', 'probe_due', 'deadline', 'operator_confirm_dead', 'matching_response'], [{'phase': 'awaiting', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5]]}, {'phase': 'awaiting', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['UNMATCHED', 6]]}, {'phase': 'suspect', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['UNMATCHED', 6], ['SUSPECT', 5]]}, {'phase': 'healthy', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['UNMATCHED', 6], ['SUSPECT', 5]]}, {'phase': 'awaiting', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['UNMATCHED', 6], ['SUSPECT', 5], ['CHALLENGE', 5]]}, {'phase': 'suspect', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['UNMATCHED', 6], ['SUSPECT', 5], ['CHALLENGE', 5], ['SUSPECT', 5]]}, {'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['UNMATCHED', 6], ['SUSPECT', 5], ['CHALLENGE', 5], ['SUSPECT', 5]]}, {'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['UNMATCHED', 6], ['SUSPECT', 5], ['CHALLENGE', 5], ['SUSPECT', 5], ['OLD_SESSION', 5]]}]), ('ordered trace 3', 'awaiting', ['matching_response', 'probe_due', 'deadline', 'operator_confirm_dead', 'matching_response', 'matching_response', 'matching_response', 'matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': []}, {'phase': 'awaiting', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5]]}, {'phase': 'suspect', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['SUSPECT', 5]]}, {'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['SUSPECT', 5]]}, {'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['SUSPECT', 5], ['OLD_SESSION', 5]]}, {'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['SUSPECT', 5], ['OLD_SESSION', 5], ['OLD_SESSION', 5]]}, {'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['SUSPECT', 5], ['OLD_SESSION', 5], ['OLD_SESSION', 5], ['OLD_SESSION', 5]]}, {'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['SUSPECT', 5], ['OLD_SESSION', 5], ['OLD_SESSION', 5], ['OLD_SESSION', 5], ['OLD_SESSION', 5]]}]), ('empty input', 'quiet', [], []), ('unknown event', 'quiet', ['unsupported'], [{'phase': 'quiet', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, '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":"a2a46b426ffb16c231ad602dd77f271e2e27cc270497cae6fc8041e3506f583a","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 = {'challenge': seed, 'roundtrip': seed+2, 'suspected': phase=='suspect', 'peer_owned': phase!='dead', 'activity': 0, 'sent_at': seed}\n    frames = []\n    observed = []\n    table = {('quiet', 'probe_due'): ('awaiting', 'send_challenge'), ('awaiting', 'matching_response'): ('healthy', 'record_roundtrip'), ('awaiting', 'wrong_response'): ('awaiting', 'ignore_unmatched'), ('awaiting', 'deadline'): ('suspect', 'report_suspect'), ('suspect', 'operator_confirm_dead'): ('dead', 'release_peer'), ('suspect', 'matching_response'): ('healthy', 'clear_suspicion'), ('healthy', 'probe_due'): ('awaiting', 'send_challenge'), ('dead', 'matching_response'): ('dead', 'reject_old_session'), ('quiet', 'unsolicited_response'): ('quiet', 'ignore_unmatched'), ('healthy', 'traffic_received'): ('healthy', 'record_activity')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'send_challenge':\n            frames.append(['CHALLENGE',r['challenge']]); r['sent_at']=seed\n        elif action == 'record_roundtrip':\n            r['roundtrip']=len(payload)\n        elif action == 'ignore_unmatched':\n            frames.append(['UNMATCHED',seed+1])\n        elif action == 'report_suspect':\n            r['suspected']=True; frames.append(['SUSPECT',seed])\n        elif action == 'release_peer':\n            r['peer_owned']=False\n        elif action == 'clear_suspicion':\n            r['suspected']=False; r['roundtrip']=len(payload)\n        elif action == 'reject_old_session':\n            frames.append(['OLD_SESSION',seed])\n        elif action == 'record_activity':\n            r['activity']+=len(payload)\n        elif action == 'report_alive':\n            frames.append(['ALIVE',seed])\n        elif action == 'send_data':\n            frames.append(['DATA',payload])\n        elif action == 'record_send_time':\n            r['roundtrip']=r['sent_at']\n        elif action == 'cancel_probe':\n            r['challenge']=None\n        elif action == 'keep_suspicion':\n            r['suspected']=True; r['roundtrip']=len(payload)\n        elif action == 'retain_peer':\n            r['peer_owned']=True\n        elif action == 'reuse_result':\n            frames.append(['ALIVE',seed])\n        elif action == 'restart_session':\n            r['peer_owned']=True; r['challenge']=seed+1\n        elif action == 'start_deadline':\n            r['challenge']=seed+1\n        elif action == 'erase_roundtrip':\n            r['activity']+=len(payload); r['roundtrip']=None\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: [('quiet/probe_due', 'quiet', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1]]}]), ('awaiting/matching_response', 'awaiting', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': []}]), ('awaiting/wrong_response', 'awaiting', ['wrong_response'], [{'phase': 'awaiting', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['UNMATCHED', 2]]}]), ('awaiting/deadline', 'awaiting', ['deadline'], [{'phase': 'suspect', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['SUSPECT', 1]]}]), ('suspect/operator_confirm_dead', 'suspect', ['operator_confirm_dead'], [{'phase': 'dead', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 1}, 'frames': []}]), ('suspect/matching_response', 'suspect', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': []}]), ('healthy/probe_due', 'healthy', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1]]}]), ('dead/matching_response', 'dead', ['matching_response'], [{'phase': 'dead', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': False, 'activity': 0, 'sent_at': 1}, 'frames': [['OLD_SESSION', 1]]}]), ('quiet/unsolicited_response', 'quiet', ['unsolicited_response'], [{'phase': 'quiet', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['UNMATCHED', 2]]}]), ('healthy/traffic_received', 'healthy', ['traffic_received'], [{'phase': 'healthy', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 3, 'sent_at': 1}, 'frames': []}]), ('ordered trace 0', 'quiet', ['probe_due', 'wrong_response', 'deadline', 'matching_response'], [{'phase': 'awaiting', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1]]}, {'phase': 'awaiting', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1], ['UNMATCHED', 2]]}, {'phase': 'suspect', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1], ['UNMATCHED', 2], ['SUSPECT', 1]]}, {'phase': 'healthy', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1], ['UNMATCHED', 2], ['SUSPECT', 1]]}]), ('ordered trace 3', 'awaiting', ['matching_response', 'probe_due', 'deadline', 'operator_confirm_dead'], [{'phase': 'healthy', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': []}, {'phase': 'awaiting', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1]]}, {'phase': 'suspect', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1], ['SUSPECT', 1]]}, {'phase': 'dead', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 1}, 'frames': [['CHALLENGE', 1], ['SUSPECT', 1]]}]), ('empty input', 'quiet', [], []), ('unknown event', 'quiet', ['unsupported'], [{'phase': 'quiet', 'registers': {'challenge': 1, 'roundtrip': 3, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 1}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('quiet/probe_due', 'quiet', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2]]}]), ('awaiting/matching_response', 'awaiting', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': []}]), ('awaiting/wrong_response', 'awaiting', ['wrong_response'], [{'phase': 'awaiting', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['UNMATCHED', 3]]}]), ('awaiting/deadline', 'awaiting', ['deadline'], [{'phase': 'suspect', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['SUSPECT', 2]]}]), ('suspect/operator_confirm_dead', 'suspect', ['operator_confirm_dead'], [{'phase': 'dead', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 2}, 'frames': []}]), ('suspect/matching_response', 'suspect', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': []}]), ('healthy/probe_due', 'healthy', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2]]}]), ('dead/matching_response', 'dead', ['matching_response'], [{'phase': 'dead', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': False, 'activity': 0, 'sent_at': 2}, 'frames': [['OLD_SESSION', 2]]}]), ('quiet/unsolicited_response', 'quiet', ['unsolicited_response'], [{'phase': 'quiet', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['UNMATCHED', 3]]}]), ('healthy/traffic_received', 'healthy', ['traffic_received'], [{'phase': 'healthy', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 4, 'sent_at': 2}, 'frames': []}]), ('ordered trace 0', 'quiet', ['probe_due', 'wrong_response', 'deadline', 'matching_response', 'probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2]]}, {'phase': 'awaiting', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2], ['UNMATCHED', 3]]}, {'phase': 'suspect', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2], ['UNMATCHED', 3], ['SUSPECT', 2]]}, {'phase': 'healthy', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2], ['UNMATCHED', 3], ['SUSPECT', 2]]}, {'phase': 'awaiting', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2], ['UNMATCHED', 3], ['SUSPECT', 2], ['CHALLENGE', 2]]}]), ('ordered trace 3', 'awaiting', ['matching_response', 'probe_due', 'deadline', 'operator_confirm_dead', 'matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': []}, {'phase': 'awaiting', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2]]}, {'phase': 'suspect', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2], ['SUSPECT', 2]]}, {'phase': 'dead', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2], ['SUSPECT', 2]]}, {'phase': 'dead', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 2}, 'frames': [['CHALLENGE', 2], ['SUSPECT', 2], ['OLD_SESSION', 2]]}]), ('empty input', 'quiet', [], []), ('unknown event', 'quiet', ['unsupported'], [{'phase': 'quiet', 'registers': {'challenge': 2, 'roundtrip': 4, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 2}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('quiet/probe_due', 'quiet', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3]]}]), ('awaiting/matching_response', 'awaiting', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': []}]), ('awaiting/wrong_response', 'awaiting', ['wrong_response'], [{'phase': 'awaiting', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['UNMATCHED', 4]]}]), ('awaiting/deadline', 'awaiting', ['deadline'], [{'phase': 'suspect', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['SUSPECT', 3]]}]), ('suspect/operator_confirm_dead', 'suspect', ['operator_confirm_dead'], [{'phase': 'dead', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 3}, 'frames': []}]), ('suspect/matching_response', 'suspect', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': []}]), ('healthy/probe_due', 'healthy', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3]]}]), ('dead/matching_response', 'dead', ['matching_response'], [{'phase': 'dead', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': False, 'activity': 0, 'sent_at': 3}, 'frames': [['OLD_SESSION', 3]]}]), ('quiet/unsolicited_response', 'quiet', ['unsolicited_response'], [{'phase': 'quiet', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['UNMATCHED', 4]]}]), ('healthy/traffic_received', 'healthy', ['traffic_received'], [{'phase': 'healthy', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 5, 'sent_at': 3}, 'frames': []}]), ('ordered trace 0', 'quiet', ['probe_due', 'wrong_response', 'deadline', 'matching_response', 'probe_due', 'deadline'], [{'phase': 'awaiting', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3]]}, {'phase': 'awaiting', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['UNMATCHED', 4]]}, {'phase': 'suspect', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['UNMATCHED', 4], ['SUSPECT', 3]]}, {'phase': 'healthy', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['UNMATCHED', 4], ['SUSPECT', 3]]}, {'phase': 'awaiting', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['UNMATCHED', 4], ['SUSPECT', 3], ['CHALLENGE', 3]]}, {'phase': 'suspect', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['UNMATCHED', 4], ['SUSPECT', 3], ['CHALLENGE', 3], ['SUSPECT', 3]]}]), ('ordered trace 3', 'awaiting', ['matching_response', 'probe_due', 'deadline', 'operator_confirm_dead', 'matching_response', 'matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': []}, {'phase': 'awaiting', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3]]}, {'phase': 'suspect', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['SUSPECT', 3]]}, {'phase': 'dead', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['SUSPECT', 3]]}, {'phase': 'dead', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['SUSPECT', 3], ['OLD_SESSION', 3]]}, {'phase': 'dead', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 3}, 'frames': [['CHALLENGE', 3], ['SUSPECT', 3], ['OLD_SESSION', 3], ['OLD_SESSION', 3]]}]), ('empty input', 'quiet', [], []), ('unknown event', 'quiet', ['unsupported'], [{'phase': 'quiet', 'registers': {'challenge': 3, 'roundtrip': 5, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 3}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('quiet/probe_due', 'quiet', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4]]}]), ('awaiting/matching_response', 'awaiting', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': []}]), ('awaiting/wrong_response', 'awaiting', ['wrong_response'], [{'phase': 'awaiting', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['UNMATCHED', 5]]}]), ('awaiting/deadline', 'awaiting', ['deadline'], [{'phase': 'suspect', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['SUSPECT', 4]]}]), ('suspect/operator_confirm_dead', 'suspect', ['operator_confirm_dead'], [{'phase': 'dead', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 4}, 'frames': []}]), ('suspect/matching_response', 'suspect', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': []}]), ('healthy/probe_due', 'healthy', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4]]}]), ('dead/matching_response', 'dead', ['matching_response'], [{'phase': 'dead', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': False, 'activity': 0, 'sent_at': 4}, 'frames': [['OLD_SESSION', 4]]}]), ('quiet/unsolicited_response', 'quiet', ['unsolicited_response'], [{'phase': 'quiet', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['UNMATCHED', 5]]}]), ('healthy/traffic_received', 'healthy', ['traffic_received'], [{'phase': 'healthy', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 6, 'sent_at': 4}, 'frames': []}]), ('ordered trace 0', 'quiet', ['probe_due', 'wrong_response', 'deadline', 'matching_response', 'probe_due', 'deadline', 'operator_confirm_dead'], [{'phase': 'awaiting', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4]]}, {'phase': 'awaiting', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['UNMATCHED', 5]]}, {'phase': 'suspect', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['UNMATCHED', 5], ['SUSPECT', 4]]}, {'phase': 'healthy', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['UNMATCHED', 5], ['SUSPECT', 4]]}, {'phase': 'awaiting', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['UNMATCHED', 5], ['SUSPECT', 4], ['CHALLENGE', 4]]}, {'phase': 'suspect', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['UNMATCHED', 5], ['SUSPECT', 4], ['CHALLENGE', 4], ['SUSPECT', 4]]}, {'phase': 'dead', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['UNMATCHED', 5], ['SUSPECT', 4], ['CHALLENGE', 4], ['SUSPECT', 4]]}]), ('ordered trace 3', 'awaiting', ['matching_response', 'probe_due', 'deadline', 'operator_confirm_dead', 'matching_response', 'matching_response', 'matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': []}, {'phase': 'awaiting', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4]]}, {'phase': 'suspect', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['SUSPECT', 4]]}, {'phase': 'dead', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['SUSPECT', 4]]}, {'phase': 'dead', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['SUSPECT', 4], ['OLD_SESSION', 4]]}, {'phase': 'dead', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['SUSPECT', 4], ['OLD_SESSION', 4], ['OLD_SESSION', 4]]}, {'phase': 'dead', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 4}, 'frames': [['CHALLENGE', 4], ['SUSPECT', 4], ['OLD_SESSION', 4], ['OLD_SESSION', 4], ['OLD_SESSION', 4]]}]), ('empty input', 'quiet', [], []), ('unknown event', 'quiet', ['unsupported'], [{'phase': 'quiet', 'registers': {'challenge': 4, 'roundtrip': 6, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 4}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('quiet/probe_due', 'quiet', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5]]}]), ('awaiting/matching_response', 'awaiting', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': []}]), ('awaiting/wrong_response', 'awaiting', ['wrong_response'], [{'phase': 'awaiting', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['UNMATCHED', 6]]}]), ('awaiting/deadline', 'awaiting', ['deadline'], [{'phase': 'suspect', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['SUSPECT', 5]]}]), ('suspect/operator_confirm_dead', 'suspect', ['operator_confirm_dead'], [{'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': []}]), ('suspect/matching_response', 'suspect', ['matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': []}]), ('healthy/probe_due', 'healthy', ['probe_due'], [{'phase': 'awaiting', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5]]}]), ('dead/matching_response', 'dead', ['matching_response'], [{'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['OLD_SESSION', 5]]}]), ('quiet/unsolicited_response', 'quiet', ['unsolicited_response'], [{'phase': 'quiet', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['UNMATCHED', 6]]}]), ('healthy/traffic_received', 'healthy', ['traffic_received'], [{'phase': 'healthy', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 7, 'sent_at': 5}, 'frames': []}]), ('ordered trace 0', 'quiet', ['probe_due', 'wrong_response', 'deadline', 'matching_response', 'probe_due', 'deadline', 'operator_confirm_dead', 'matching_response'], [{'phase': 'awaiting', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5]]}, {'phase': 'awaiting', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['UNMATCHED', 6]]}, {'phase': 'suspect', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['UNMATCHED', 6], ['SUSPECT', 5]]}, {'phase': 'healthy', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['UNMATCHED', 6], ['SUSPECT', 5]]}, {'phase': 'awaiting', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['UNMATCHED', 6], ['SUSPECT', 5], ['CHALLENGE', 5]]}, {'phase': 'suspect', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['UNMATCHED', 6], ['SUSPECT', 5], ['CHALLENGE', 5], ['SUSPECT', 5]]}, {'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['UNMATCHED', 6], ['SUSPECT', 5], ['CHALLENGE', 5], ['SUSPECT', 5]]}, {'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['UNMATCHED', 6], ['SUSPECT', 5], ['CHALLENGE', 5], ['SUSPECT', 5], ['OLD_SESSION', 5]]}]), ('ordered trace 3', 'awaiting', ['matching_response', 'probe_due', 'deadline', 'operator_confirm_dead', 'matching_response', 'matching_response', 'matching_response', 'matching_response'], [{'phase': 'healthy', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': []}, {'phase': 'awaiting', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5]]}, {'phase': 'suspect', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['SUSPECT', 5]]}, {'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['SUSPECT', 5]]}, {'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['SUSPECT', 5], ['OLD_SESSION', 5]]}, {'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['SUSPECT', 5], ['OLD_SESSION', 5], ['OLD_SESSION', 5]]}, {'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['SUSPECT', 5], ['OLD_SESSION', 5], ['OLD_SESSION', 5], ['OLD_SESSION', 5]]}, {'phase': 'dead', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': True, 'peer_owned': False, 'activity': 0, 'sent_at': 5}, 'frames': [['CHALLENGE', 5], ['SUSPECT', 5], ['OLD_SESSION', 5], ['OLD_SESSION', 5], ['OLD_SESSION', 5], ['OLD_SESSION', 5]]}]), ('empty input', 'quiet', [], []), ('unknown event', 'quiet', ['unsupported'], [{'phase': 'quiet', 'registers': {'challenge': 5, 'roundtrip': 7, 'suspected': False, 'peer_owned': True, 'activity': 0, 'sent_at': 5}, '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-liveness_probe-quiet-probe_due","generated_at":"2026-09-29T14:40:09.243827+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 quiet, classify probe_due as transition to awaiting and emit send_challenge.","root_cause":"In quiet, the probe due handler runs report alive and enters healthy; it must instead run send challenge and enter awaiting.","sha256":"18dca24f709742765a96127cca6ec94e1bdf5a543987d2c418ffcd07d99cd78a","title":"Application liveness challenge controller: quiet / probe due · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":49.294,"exit_code":1,"observations":[{"actual":[{"frames":[["DATA",[1,2,3]]],"phase":"quiet","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"quiet/probe_due","expected":[{"frames":[["CHALLENGE",1]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":false},{"actual":[{"frames":[],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"awaiting/matching_response","expected":[{"frames":[],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[["UNMATCHED",2]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"awaiting/wrong_response","expected":[{"frames":[["UNMATCHED",2]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[["SUSPECT",1]],"phase":"suspect","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":true}}],"check":"awaiting/deadline","expected":[{"frames":[["SUSPECT",1]],"phase":"suspect","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":true}}],"passed":true},{"actual":[{"frames":[],"phase":"dead","registers":{"activity":0,"challenge":1,"peer_owned":false,"roundtrip":3,"sent_at":1,"suspected":true}}],"check":"suspect/operator_confirm_dead","expected":[{"frames":[],"phase":"dead","registers":{"activity":0,"challenge":1,"peer_owned":false,"roundtrip":3,"sent_at":1,"suspected":true}}],"passed":true},{"actual":[{"frames":[],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"suspect/matching_response","expected":[{"frames":[],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[["CHALLENGE",1]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"healthy/probe_due","expected":[{"frames":[["CHALLENGE",1]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[["OLD_SESSION",1]],"phase":"dead","registers":{"activity":0,"challenge":1,"peer_owned":false,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"dead/matching_response","expected":[{"frames":[["OLD_SESSION",1]],"phase":"dead","registers":{"activity":0,"challenge":1,"peer_owned":false,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[["UNMATCHED",2]],"phase":"quiet","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"quiet/unsolicited_response","expected":[{"frames":[["UNMATCHED",2]],"phase":"quiet","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[],"phase":"healthy","registers":{"activity":3,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"healthy/traffic_received","expected":[{"frames":[],"phase":"healthy","registers":{"activity":3,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[["DATA",[1,2,3]]],"phase":"quiet","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["DATA",[1,2,3]],["reject",[1,2,3]]],"phase":"quiet","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["DATA",[1,2,3]],["reject",[1,2,3]],["reject",[1,2,3]]],"phase":"quiet","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["DATA",[1,2,3]],["reject",[1,2,3]],["reject",[1,2,3]],["reject",[1,2,3]]],"phase":"quiet","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"ordered trace 0","expected":[{"frames":[["CHALLENGE",1]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["CHALLENGE",1],["UNMATCHED",2]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["CHALLENGE",1],["UNMATCHED",2],["SUSPECT",1]],"phase":"suspect","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":true}},{"frames":[["CHALLENGE",1],["UNMATCHED",2],["SUSPECT",1]],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":false},{"actual":[{"frames":[],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["CHALLENGE",1]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["CHALLENGE",1],["SUSPECT",1]],"phase":"suspect","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":true}},{"frames":[["CHALLENGE",1],["SUSPECT",1]],"phase":"dead","registers":{"activity":0,"challenge":1,"peer_owned":false,"roundtrip":3,"sent_at":1,"suspected":true}}],"check":"ordered trace 3","expected":[{"frames":[],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["CHALLENGE",1]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["CHALLENGE",1],["SUSPECT",1]],"phase":"suspect","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":true}},{"frames":[["CHALLENGE",1],["SUSPECT",1]],"phase":"dead","registers":{"activity":0,"challenge":1,"peer_owned":false,"roundtrip":3,"sent_at":1,"suspected":true}}],"passed":true},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"quiet","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"quiet","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"quiet/probe_due\", \"actual\": [{\"phase\": \"quiet\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"DATA\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1]]}], \"passed\": false}, {\"check\": \"awaiting/matching_response\", \"actual\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}], \"expected\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}], \"passed\": true}, {\"check\": \"awaiting/wrong_response\", \"actual\": [{\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"UNMATCHED\", 2]]}], \"expected\": [{\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"UNMATCHED\", 2]]}], \"passed\": true}, {\"check\": \"awaiting/deadline\", \"actual\": [{\"phase\": \"suspect\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"SUSPECT\", 1]]}], \"expected\": [{\"phase\": \"suspect\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"SUSPECT\", 1]]}], \"passed\": true}, {\"check\": \"suspect/operator_confirm_dead\", \"actual\": [{\"phase\": \"dead\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": false, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}], \"expected\": [{\"phase\": \"dead\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": false, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}], \"passed\": true}, {\"check\": \"suspect/matching_response\", \"actual\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}], \"expected\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}], \"passed\": true}, {\"check\": \"healthy/probe_due\", \"actual\": [{\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1]]}], \"expected\": [{\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1]]}], \"passed\": true}, {\"check\": \"dead/matching_response\", \"actual\": [{\"phase\": \"dead\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": false, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"OLD_SESSION\", 1]]}], \"expected\": [{\"phase\": \"dead\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": false, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"OLD_SESSION\", 1]]}], \"passed\": true}, {\"check\": \"quiet/unsolicited_response\", \"actual\": [{\"phase\": \"quiet\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"UNMATCHED\", 2]]}], \"expected\": [{\"phase\": \"quiet\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"UNMATCHED\", 2]]}], \"passed\": true}, {\"check\": \"healthy/traffic_received\", \"actual\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 3, \"sent_at\": 1}, \"frames\": []}], \"expected\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 3, \"sent_at\": 1}, \"frames\": []}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"quiet\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"DATA\", [1, 2, 3]]]}, {\"phase\": \"quiet\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"DATA\", [1, 2, 3]], [\"reject\", [1, 2, 3]]]}, {\"phase\": \"quiet\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"DATA\", [1, 2, 3]], [\"reject\", [1, 2, 3]], [\"reject\", [1, 2, 3]]]}, {\"phase\": \"quiet\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"DATA\", [1, 2, 3]], [\"reject\", [1, 2, 3]], [\"reject\", [1, 2, 3]], [\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1]]}, {\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"UNMATCHED\", 2]]}, {\"phase\": \"suspect\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"UNMATCHED\", 2], [\"SUSPECT\", 1]]}, {\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"UNMATCHED\", 2], [\"SUSPECT\", 1]]}], \"passed\": false}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}, {\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1]]}, {\"phase\": \"suspect\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"SUSPECT\", 1]]}, {\"phase\": \"dead\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": false, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"SUSPECT\", 1]]}], \"expected\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}, {\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1]]}, {\"phase\": \"suspect\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"SUSPECT\", 1]]}, {\"phase\": \"dead\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": false, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"SUSPECT\", 1]]}], \"passed\": true}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"quiet\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"quiet\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":47.864,"exit_code":1,"observations":[{"actual":[{"frames":[["ALIVE",1]],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"quiet/probe_due","expected":[{"frames":[["CHALLENGE",1]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":false},{"actual":[{"frames":[],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"awaiting/matching_response","expected":[{"frames":[],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[["UNMATCHED",2]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"awaiting/wrong_response","expected":[{"frames":[["UNMATCHED",2]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[["SUSPECT",1]],"phase":"suspect","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":true}}],"check":"awaiting/deadline","expected":[{"frames":[["SUSPECT",1]],"phase":"suspect","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":true}}],"passed":true},{"actual":[{"frames":[],"phase":"dead","registers":{"activity":0,"challenge":1,"peer_owned":false,"roundtrip":3,"sent_at":1,"suspected":true}}],"check":"suspect/operator_confirm_dead","expected":[{"frames":[],"phase":"dead","registers":{"activity":0,"challenge":1,"peer_owned":false,"roundtrip":3,"sent_at":1,"suspected":true}}],"passed":true},{"actual":[{"frames":[],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"suspect/matching_response","expected":[{"frames":[],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[["CHALLENGE",1]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"healthy/probe_due","expected":[{"frames":[["CHALLENGE",1]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[["OLD_SESSION",1]],"phase":"dead","registers":{"activity":0,"challenge":1,"peer_owned":false,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"dead/matching_response","expected":[{"frames":[["OLD_SESSION",1]],"phase":"dead","registers":{"activity":0,"challenge":1,"peer_owned":false,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[["UNMATCHED",2]],"phase":"quiet","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"quiet/unsolicited_response","expected":[{"frames":[["UNMATCHED",2]],"phase":"quiet","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[],"phase":"healthy","registers":{"activity":3,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"healthy/traffic_received","expected":[{"frames":[],"phase":"healthy","registers":{"activity":3,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[["ALIVE",1]],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["ALIVE",1],["reject",[1,2,3]]],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["ALIVE",1],["reject",[1,2,3]],["reject",[1,2,3]]],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["ALIVE",1],["reject",[1,2,3]],["reject",[1,2,3]],["reject",[1,2,3]]],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"ordered trace 0","expected":[{"frames":[["CHALLENGE",1]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["CHALLENGE",1],["UNMATCHED",2]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["CHALLENGE",1],["UNMATCHED",2],["SUSPECT",1]],"phase":"suspect","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":true}},{"frames":[["CHALLENGE",1],["UNMATCHED",2],["SUSPECT",1]],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":false},{"actual":[{"frames":[],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["CHALLENGE",1]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["CHALLENGE",1],["SUSPECT",1]],"phase":"suspect","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":true}},{"frames":[["CHALLENGE",1],["SUSPECT",1]],"phase":"dead","registers":{"activity":0,"challenge":1,"peer_owned":false,"roundtrip":3,"sent_at":1,"suspected":true}}],"check":"ordered trace 3","expected":[{"frames":[],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["CHALLENGE",1]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["CHALLENGE",1],["SUSPECT",1]],"phase":"suspect","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":true}},{"frames":[["CHALLENGE",1],["SUSPECT",1]],"phase":"dead","registers":{"activity":0,"challenge":1,"peer_owned":false,"roundtrip":3,"sent_at":1,"suspected":true}}],"passed":true},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"quiet","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"quiet","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"quiet/probe_due\", \"actual\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"ALIVE\", 1]]}], \"expected\": [{\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1]]}], \"passed\": false}, {\"check\": \"awaiting/matching_response\", \"actual\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}], \"expected\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}], \"passed\": true}, {\"check\": \"awaiting/wrong_response\", \"actual\": [{\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"UNMATCHED\", 2]]}], \"expected\": [{\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"UNMATCHED\", 2]]}], \"passed\": true}, {\"check\": \"awaiting/deadline\", \"actual\": [{\"phase\": \"suspect\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"SUSPECT\", 1]]}], \"expected\": [{\"phase\": \"suspect\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"SUSPECT\", 1]]}], \"passed\": true}, {\"check\": \"suspect/operator_confirm_dead\", \"actual\": [{\"phase\": \"dead\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": false, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}], \"expected\": [{\"phase\": \"dead\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": false, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}], \"passed\": true}, {\"check\": \"suspect/matching_response\", \"actual\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}], \"expected\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}], \"passed\": true}, {\"check\": \"healthy/probe_due\", \"actual\": [{\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1]]}], \"expected\": [{\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1]]}], \"passed\": true}, {\"check\": \"dead/matching_response\", \"actual\": [{\"phase\": \"dead\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": false, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"OLD_SESSION\", 1]]}], \"expected\": [{\"phase\": \"dead\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": false, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"OLD_SESSION\", 1]]}], \"passed\": true}, {\"check\": \"quiet/unsolicited_response\", \"actual\": [{\"phase\": \"quiet\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"UNMATCHED\", 2]]}], \"expected\": [{\"phase\": \"quiet\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"UNMATCHED\", 2]]}], \"passed\": true}, {\"check\": \"healthy/traffic_received\", \"actual\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 3, \"sent_at\": 1}, \"frames\": []}], \"expected\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 3, \"sent_at\": 1}, \"frames\": []}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"ALIVE\", 1]]}, {\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"ALIVE\", 1], [\"reject\", [1, 2, 3]]]}, {\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"ALIVE\", 1], [\"reject\", [1, 2, 3]], [\"reject\", [1, 2, 3]]]}, {\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"ALIVE\", 1], [\"reject\", [1, 2, 3]], [\"reject\", [1, 2, 3]], [\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1]]}, {\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"UNMATCHED\", 2]]}, {\"phase\": \"suspect\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"UNMATCHED\", 2], [\"SUSPECT\", 1]]}, {\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"UNMATCHED\", 2], [\"SUSPECT\", 1]]}], \"passed\": false}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}, {\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1]]}, {\"phase\": \"suspect\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"SUSPECT\", 1]]}, {\"phase\": \"dead\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": false, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"SUSPECT\", 1]]}], \"expected\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}, {\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1]]}, {\"phase\": \"suspect\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"SUSPECT\", 1]]}, {\"phase\": \"dead\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": false, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"SUSPECT\", 1]]}], \"passed\": true}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"quiet\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"quiet\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":46.319,"exit_code":0,"observations":[{"actual":[{"frames":[["CHALLENGE",1]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"quiet/probe_due","expected":[{"frames":[["CHALLENGE",1]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"awaiting/matching_response","expected":[{"frames":[],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[["UNMATCHED",2]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"awaiting/wrong_response","expected":[{"frames":[["UNMATCHED",2]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[["SUSPECT",1]],"phase":"suspect","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":true}}],"check":"awaiting/deadline","expected":[{"frames":[["SUSPECT",1]],"phase":"suspect","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":true}}],"passed":true},{"actual":[{"frames":[],"phase":"dead","registers":{"activity":0,"challenge":1,"peer_owned":false,"roundtrip":3,"sent_at":1,"suspected":true}}],"check":"suspect/operator_confirm_dead","expected":[{"frames":[],"phase":"dead","registers":{"activity":0,"challenge":1,"peer_owned":false,"roundtrip":3,"sent_at":1,"suspected":true}}],"passed":true},{"actual":[{"frames":[],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"suspect/matching_response","expected":[{"frames":[],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[["CHALLENGE",1]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"healthy/probe_due","expected":[{"frames":[["CHALLENGE",1]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[["OLD_SESSION",1]],"phase":"dead","registers":{"activity":0,"challenge":1,"peer_owned":false,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"dead/matching_response","expected":[{"frames":[["OLD_SESSION",1]],"phase":"dead","registers":{"activity":0,"challenge":1,"peer_owned":false,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[["UNMATCHED",2]],"phase":"quiet","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"quiet/unsolicited_response","expected":[{"frames":[["UNMATCHED",2]],"phase":"quiet","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[],"phase":"healthy","registers":{"activity":3,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"healthy/traffic_received","expected":[{"frames":[],"phase":"healthy","registers":{"activity":3,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[["CHALLENGE",1]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["CHALLENGE",1],["UNMATCHED",2]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["CHALLENGE",1],["UNMATCHED",2],["SUSPECT",1]],"phase":"suspect","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":true}},{"frames":[["CHALLENGE",1],["UNMATCHED",2],["SUSPECT",1]],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"ordered trace 0","expected":[{"frames":[["CHALLENGE",1]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["CHALLENGE",1],["UNMATCHED",2]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["CHALLENGE",1],["UNMATCHED",2],["SUSPECT",1]],"phase":"suspect","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":true}},{"frames":[["CHALLENGE",1],["UNMATCHED",2],["SUSPECT",1]],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true},{"actual":[{"frames":[],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["CHALLENGE",1]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["CHALLENGE",1],["SUSPECT",1]],"phase":"suspect","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":true}},{"frames":[["CHALLENGE",1],["SUSPECT",1]],"phase":"dead","registers":{"activity":0,"challenge":1,"peer_owned":false,"roundtrip":3,"sent_at":1,"suspected":true}}],"check":"ordered trace 3","expected":[{"frames":[],"phase":"healthy","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["CHALLENGE",1]],"phase":"awaiting","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}},{"frames":[["CHALLENGE",1],["SUSPECT",1]],"phase":"suspect","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":true}},{"frames":[["CHALLENGE",1],["SUSPECT",1]],"phase":"dead","registers":{"activity":0,"challenge":1,"peer_owned":false,"roundtrip":3,"sent_at":1,"suspected":true}}],"passed":true},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"quiet","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"quiet","registers":{"activity":0,"challenge":1,"peer_owned":true,"roundtrip":3,"sent_at":1,"suspected":false}}],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"quiet/probe_due\", \"actual\": [{\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1]]}], \"expected\": [{\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1]]}], \"passed\": true}, {\"check\": \"awaiting/matching_response\", \"actual\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}], \"expected\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}], \"passed\": true}, {\"check\": \"awaiting/wrong_response\", \"actual\": [{\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"UNMATCHED\", 2]]}], \"expected\": [{\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"UNMATCHED\", 2]]}], \"passed\": true}, {\"check\": \"awaiting/deadline\", \"actual\": [{\"phase\": \"suspect\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"SUSPECT\", 1]]}], \"expected\": [{\"phase\": \"suspect\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"SUSPECT\", 1]]}], \"passed\": true}, {\"check\": \"suspect/operator_confirm_dead\", \"actual\": [{\"phase\": \"dead\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": false, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}], \"expected\": [{\"phase\": \"dead\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": false, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}], \"passed\": true}, {\"check\": \"suspect/matching_response\", \"actual\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}], \"expected\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}], \"passed\": true}, {\"check\": \"healthy/probe_due\", \"actual\": [{\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1]]}], \"expected\": [{\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1]]}], \"passed\": true}, {\"check\": \"dead/matching_response\", \"actual\": [{\"phase\": \"dead\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": false, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"OLD_SESSION\", 1]]}], \"expected\": [{\"phase\": \"dead\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": false, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"OLD_SESSION\", 1]]}], \"passed\": true}, {\"check\": \"quiet/unsolicited_response\", \"actual\": [{\"phase\": \"quiet\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"UNMATCHED\", 2]]}], \"expected\": [{\"phase\": \"quiet\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"UNMATCHED\", 2]]}], \"passed\": true}, {\"check\": \"healthy/traffic_received\", \"actual\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 3, \"sent_at\": 1}, \"frames\": []}], \"expected\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 3, \"sent_at\": 1}, \"frames\": []}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1]]}, {\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"UNMATCHED\", 2]]}, {\"phase\": \"suspect\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"UNMATCHED\", 2], [\"SUSPECT\", 1]]}, {\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"UNMATCHED\", 2], [\"SUSPECT\", 1]]}], \"expected\": [{\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1]]}, {\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"UNMATCHED\", 2]]}, {\"phase\": \"suspect\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"UNMATCHED\", 2], [\"SUSPECT\", 1]]}, {\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"UNMATCHED\", 2], [\"SUSPECT\", 1]]}], \"passed\": true}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}, {\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1]]}, {\"phase\": \"suspect\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"SUSPECT\", 1]]}, {\"phase\": \"dead\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": false, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"SUSPECT\", 1]]}], \"expected\": [{\"phase\": \"healthy\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": []}, {\"phase\": \"awaiting\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1]]}, {\"phase\": \"suspect\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"SUSPECT\", 1]]}, {\"phase\": \"dead\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": true, \"peer_owned\": false, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"CHALLENGE\", 1], [\"SUSPECT\", 1]]}], \"passed\": true}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"quiet\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"quiet\", \"registers\": {\"challenge\": 1, \"roundtrip\": 3, \"suspected\": false, \"peer_owned\": true, \"activity\": 0, \"sent_at\": 1}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}