{"abstract":"While sealed, event sample produces collecting/append_sample instead of sealed/queue_next_window.","category":"Protocols","checks":14,"contract":"For the stipulated Acknowledged telemetry publication window 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-telemetry_window","failed_approach":"The partial repair chooses sealed/append_sample, which still violates this phase-specific event contract.","family":"s3-protocols-telemetry_window-sealed-sample","id":"FA-20126","implementations":{"attempt":{"sha256":"8d8c1cc742e61b1dbed0fe44b2b730b59a109e904d99dab4287e7f68a9e6c8e9","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 = {'window': seed, 'samples': payload[:], 'other_window': [seed-1], 'delivered': phase=='published', 'sealed': phase not in ('idle','collecting')}\n    frames = []\n    observed = []\n    table = {('idle', 'open_window'): ('collecting', 'allocate_window'), ('collecting', 'sample'): ('collecting', 'append_sample'), ('collecting', 'close_window'): ('sealed', 'seal_samples'), ('sealed', 'publish'): ('awaiting', 'send_window'), ('awaiting', 'window_ack'): ('published', 'mark_delivered'), ('awaiting', 'wrong_window_ack'): ('awaiting', 'ignore_unmatched'), ('published', 'retention_done'): ('idle', 'release_window'), ('sealed', 'sample'): ('sealed', 'append_sample'), ('awaiting', 'receiver_backpressure'): ('paused', 'retain_window'), ('paused', 'receiver_ready'): ('awaiting', 'resume_same_window')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'allocate_window':\n            r['samples']=[]\n        elif action == 'append_sample':\n            r['samples'].extend(payload)\n        elif action == 'seal_samples':\n            r['sealed']=True\n        elif action == 'send_window':\n            frames.append(['WINDOW',r['window'],r['samples'][:]])\n        elif action == 'mark_delivered':\n            r['delivered']=True\n        elif action == 'ignore_unmatched':\n            frames.append(['WRONG_WINDOW',seed+1])\n        elif action == 'release_window':\n            r['samples']=[]\n        elif action == 'queue_next_window':\n            r['other_window'].extend(payload)\n        elif action == 'retain_window':\n            frames.append(['PAUSED_WINDOW',r['window']])\n        elif action == 'resume_same_window':\n            frames.append(['WINDOW',r['window'],r['samples'][:]])\n        elif action == 'send_empty':\n            frames.append(['WINDOW',r['window'],[]])\n        elif action == 'drop_samples':\n            r['samples']=[]\n        elif action == 'replace_samples':\n            r['samples']=payload[:]\n        elif action == 'send_sample':\n            frames.append(['SAMPLE',payload])\n        elif action == 'send_partial':\n            frames.append(['WINDOW',r['window'],r['samples'][:1]])\n        elif action == 'clear_samples':\n            r['samples']=[]\n        elif action == 'send_latest_only':\n            frames.append(['WINDOW',r['window'],r['samples'][-1:]])\n        elif action == 'delete_immediately':\n            r['samples']=[]\n        elif action == 'mark_all_delivered':\n            r['delivered']=True; r['other_window']=[]\n        elif action == 'clear_all_windows':\n            r['samples']=[]; r['other_window']=[]\n        elif action == 'drop_window':\n            r['samples']=[]\n        elif action == 'truncate_window':\n            r['samples']=r['samples'][:1]\n        elif action == 'rebuild_window':\n            r['samples']=payload[:]\n        elif action == 'send_new_id':\n            r['window']+=1; frames.append(['WINDOW',r['window'],r['samples'][:]])\n        else:\n            if action not in (\"wait\", \"ignore\", \"keep\", \"retain\", \"keep_peer\", \"keep_offer\", \"keep_hold\", \"keep_batch\", \"retain_staging\", \"keep_staging\", \"keep_local_owner\", \"keep_old_session\", \"keep_address\", \"keep_old_expiry\", \"ignore_conflict\", \"keep_service\", \"keep_subscription\", \"retain_shadow\", \"keep_live\", \"keep_suspicion\", \"keep_roles\", \"keep_staged\"):\n                frames.append([action, payload[:]])\n        observed.append(json.loads(json.dumps({\"phase\": phase, \"registers\": r, \"frames\": frames})))\n    return observed\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [('idle/open_window', 'idle', ['open_window'], [{'phase': 'collecting', 'registers': {'window': 1, 'samples': [], 'other_window': [0], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/sample', 'collecting', ['sample'], [{'phase': 'collecting', 'registers': {'window': 1, 'samples': [1, 2, 3, 1, 2, 3], 'other_window': [0], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/close_window', 'collecting', ['close_window'], [{'phase': 'sealed', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0], 'delivered': False, 'sealed': True}, 'frames': []}]), ('sealed/publish', 'sealed', ['publish'], [{'phase': 'awaiting', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 1, [1, 2, 3]]]}]), ('awaiting/window_ack', 'awaiting', ['window_ack'], [{'phase': 'published', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0], 'delivered': True, 'sealed': True}, 'frames': []}]), ('awaiting/wrong_window_ack', 'awaiting', ['wrong_window_ack'], [{'phase': 'awaiting', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0], 'delivered': False, 'sealed': True}, 'frames': [['WRONG_WINDOW', 2]]}]), ('published/retention_done', 'published', ['retention_done'], [{'phase': 'idle', 'registers': {'window': 1, 'samples': [], 'other_window': [0], 'delivered': True, 'sealed': True}, 'frames': []}]), ('sealed/sample', 'sealed', ['sample'], [{'phase': 'sealed', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0, 1, 2, 3], 'delivered': False, 'sealed': True}, 'frames': []}]), ('awaiting/receiver_backpressure', 'awaiting', ['receiver_backpressure'], [{'phase': 'paused', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0], 'delivered': False, 'sealed': True}, 'frames': [['PAUSED_WINDOW', 1]]}]), ('paused/receiver_ready', 'paused', ['receiver_ready'], [{'phase': 'awaiting', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 1, [1, 2, 3]]]}]), ('ordered trace 0', 'idle', ['open_window', 'close_window', 'publish', 'window_ack'], [{'phase': 'collecting', 'registers': {'window': 1, 'samples': [], 'other_window': [0], 'delivered': False, 'sealed': False}, 'frames': []}, {'phase': 'sealed', 'registers': {'window': 1, 'samples': [], 'other_window': [0], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 1, 'samples': [], 'other_window': [0], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 1, []]]}, {'phase': 'published', 'registers': {'window': 1, 'samples': [], 'other_window': [0], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 1, []]]}]), ('ordered trace 3', 'sealed', ['sample', 'publish', 'receiver_backpressure', 'receiver_ready'], [{'phase': 'sealed', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0, 1, 2, 3], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0, 1, 2, 3], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 1, [1, 2, 3]]]}, {'phase': 'paused', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0, 1, 2, 3], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 1, [1, 2, 3]], ['PAUSED_WINDOW', 1]]}, {'phase': 'awaiting', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0, 1, 2, 3], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 1, [1, 2, 3]], ['PAUSED_WINDOW', 1], ['WINDOW', 1, [1, 2, 3]]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0], 'delivered': False, 'sealed': False}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('idle/open_window', 'idle', ['open_window'], [{'phase': 'collecting', 'registers': {'window': 2, 'samples': [], 'other_window': [1], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/sample', 'collecting', ['sample'], [{'phase': 'collecting', 'registers': {'window': 2, 'samples': [2, 3, 4, 5, 2, 3, 4, 5], 'other_window': [1], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/close_window', 'collecting', ['close_window'], [{'phase': 'sealed', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1], 'delivered': False, 'sealed': True}, 'frames': []}]), ('sealed/publish', 'sealed', ['publish'], [{'phase': 'awaiting', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 2, [2, 3, 4, 5]]]}]), ('awaiting/window_ack', 'awaiting', ['window_ack'], [{'phase': 'published', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1], 'delivered': True, 'sealed': True}, 'frames': []}]), ('awaiting/wrong_window_ack', 'awaiting', ['wrong_window_ack'], [{'phase': 'awaiting', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1], 'delivered': False, 'sealed': True}, 'frames': [['WRONG_WINDOW', 3]]}]), ('published/retention_done', 'published', ['retention_done'], [{'phase': 'idle', 'registers': {'window': 2, 'samples': [], 'other_window': [1], 'delivered': True, 'sealed': True}, 'frames': []}]), ('sealed/sample', 'sealed', ['sample'], [{'phase': 'sealed', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1, 2, 3, 4, 5], 'delivered': False, 'sealed': True}, 'frames': []}]), ('awaiting/receiver_backpressure', 'awaiting', ['receiver_backpressure'], [{'phase': 'paused', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1], 'delivered': False, 'sealed': True}, 'frames': [['PAUSED_WINDOW', 2]]}]), ('paused/receiver_ready', 'paused', ['receiver_ready'], [{'phase': 'awaiting', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 2, [2, 3, 4, 5]]]}]), ('ordered trace 0', 'idle', ['open_window', 'close_window', 'publish', 'window_ack', 'retention_done'], [{'phase': 'collecting', 'registers': {'window': 2, 'samples': [], 'other_window': [1], 'delivered': False, 'sealed': False}, 'frames': []}, {'phase': 'sealed', 'registers': {'window': 2, 'samples': [], 'other_window': [1], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 2, 'samples': [], 'other_window': [1], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 2, []]]}, {'phase': 'published', 'registers': {'window': 2, 'samples': [], 'other_window': [1], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 2, []]]}, {'phase': 'idle', 'registers': {'window': 2, 'samples': [], 'other_window': [1], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 2, []]]}]), ('ordered trace 3', 'sealed', ['sample', 'publish', 'receiver_backpressure', 'receiver_ready', 'wrong_window_ack'], [{'phase': 'sealed', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1, 2, 3, 4, 5], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1, 2, 3, 4, 5], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 2, [2, 3, 4, 5]]]}, {'phase': 'paused', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1, 2, 3, 4, 5], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 2, [2, 3, 4, 5]], ['PAUSED_WINDOW', 2]]}, {'phase': 'awaiting', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1, 2, 3, 4, 5], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 2, [2, 3, 4, 5]], ['PAUSED_WINDOW', 2], ['WINDOW', 2, [2, 3, 4, 5]]]}, {'phase': 'awaiting', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1, 2, 3, 4, 5], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 2, [2, 3, 4, 5]], ['PAUSED_WINDOW', 2], ['WINDOW', 2, [2, 3, 4, 5]], ['WRONG_WINDOW', 3]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1], 'delivered': False, 'sealed': False}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('idle/open_window', 'idle', ['open_window'], [{'phase': 'collecting', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/sample', 'collecting', ['sample'], [{'phase': 'collecting', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'other_window': [2], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/close_window', 'collecting', ['close_window'], [{'phase': 'sealed', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2], 'delivered': False, 'sealed': True}, 'frames': []}]), ('sealed/publish', 'sealed', ['publish'], [{'phase': 'awaiting', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, [3, 4, 5, 6, 7]]]}]), ('awaiting/window_ack', 'awaiting', ['window_ack'], [{'phase': 'published', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2], 'delivered': True, 'sealed': True}, 'frames': []}]), ('awaiting/wrong_window_ack', 'awaiting', ['wrong_window_ack'], [{'phase': 'awaiting', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2], 'delivered': False, 'sealed': True}, 'frames': [['WRONG_WINDOW', 4]]}]), ('published/retention_done', 'published', ['retention_done'], [{'phase': 'idle', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': True, 'sealed': True}, 'frames': []}]), ('sealed/sample', 'sealed', ['sample'], [{'phase': 'sealed', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2, 3, 4, 5, 6, 7], 'delivered': False, 'sealed': True}, 'frames': []}]), ('awaiting/receiver_backpressure', 'awaiting', ['receiver_backpressure'], [{'phase': 'paused', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2], 'delivered': False, 'sealed': True}, 'frames': [['PAUSED_WINDOW', 3]]}]), ('paused/receiver_ready', 'paused', ['receiver_ready'], [{'phase': 'awaiting', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, [3, 4, 5, 6, 7]]]}]), ('ordered trace 0', 'idle', ['open_window', 'close_window', 'publish', 'window_ack', 'retention_done', 'open_window'], [{'phase': 'collecting', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': False, 'sealed': False}, 'frames': []}, {'phase': 'sealed', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, []]]}, {'phase': 'published', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 3, []]]}, {'phase': 'idle', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 3, []]]}, {'phase': 'collecting', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 3, []]]}]), ('ordered trace 3', 'sealed', ['sample', 'publish', 'receiver_backpressure', 'receiver_ready', 'wrong_window_ack', 'receiver_backpressure'], [{'phase': 'sealed', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2, 3, 4, 5, 6, 7], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2, 3, 4, 5, 6, 7], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, [3, 4, 5, 6, 7]]]}, {'phase': 'paused', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2, 3, 4, 5, 6, 7], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, [3, 4, 5, 6, 7]], ['PAUSED_WINDOW', 3]]}, {'phase': 'awaiting', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2, 3, 4, 5, 6, 7], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, [3, 4, 5, 6, 7]], ['PAUSED_WINDOW', 3], ['WINDOW', 3, [3, 4, 5, 6, 7]]]}, {'phase': 'awaiting', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2, 3, 4, 5, 6, 7], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, [3, 4, 5, 6, 7]], ['PAUSED_WINDOW', 3], ['WINDOW', 3, [3, 4, 5, 6, 7]], ['WRONG_WINDOW', 4]]}, {'phase': 'paused', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2, 3, 4, 5, 6, 7], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, [3, 4, 5, 6, 7]], ['PAUSED_WINDOW', 3], ['WINDOW', 3, [3, 4, 5, 6, 7]], ['WRONG_WINDOW', 4], ['PAUSED_WINDOW', 3]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2], 'delivered': False, 'sealed': False}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('idle/open_window', 'idle', ['open_window'], [{'phase': 'collecting', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/sample', 'collecting', ['sample'], [{'phase': 'collecting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/close_window', 'collecting', ['close_window'], [{'phase': 'sealed', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': False, 'sealed': True}, 'frames': []}]), ('sealed/publish', 'sealed', ['publish'], [{'phase': 'awaiting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]]]}]), ('awaiting/window_ack', 'awaiting', ['window_ack'], [{'phase': 'published', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': True, 'sealed': True}, 'frames': []}]), ('awaiting/wrong_window_ack', 'awaiting', ['wrong_window_ack'], [{'phase': 'awaiting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': False, 'sealed': True}, 'frames': [['WRONG_WINDOW', 5]]}]), ('published/retention_done', 'published', ['retention_done'], [{'phase': 'idle', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': True, 'sealed': True}, 'frames': []}]), ('sealed/sample', 'sealed', ['sample'], [{'phase': 'sealed', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': []}]), ('awaiting/receiver_backpressure', 'awaiting', ['receiver_backpressure'], [{'phase': 'paused', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': False, 'sealed': True}, 'frames': [['PAUSED_WINDOW', 4]]}]), ('paused/receiver_ready', 'paused', ['receiver_ready'], [{'phase': 'awaiting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]]]}]), ('ordered trace 0', 'idle', ['open_window', 'close_window', 'publish', 'window_ack', 'retention_done', 'open_window', 'sample'], [{'phase': 'collecting', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': False, 'sealed': False}, 'frames': []}, {'phase': 'sealed', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, []]]}, {'phase': 'published', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 4, []]]}, {'phase': 'idle', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 4, []]]}, {'phase': 'collecting', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 4, []]]}, {'phase': 'collecting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 4, []]]}]), ('ordered trace 3', 'sealed', ['sample', 'publish', 'receiver_backpressure', 'receiver_ready', 'wrong_window_ack', 'receiver_backpressure', 'receiver_ready'], [{'phase': 'sealed', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]]]}, {'phase': 'paused', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['PAUSED_WINDOW', 4]]}, {'phase': 'awaiting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['PAUSED_WINDOW', 4], ['WINDOW', 4, [4, 5, 6, 7, 8, 9]]]}, {'phase': 'awaiting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['PAUSED_WINDOW', 4], ['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['WRONG_WINDOW', 5]]}, {'phase': 'paused', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['PAUSED_WINDOW', 4], ['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['WRONG_WINDOW', 5], ['PAUSED_WINDOW', 4]]}, {'phase': 'awaiting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['PAUSED_WINDOW', 4], ['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['WRONG_WINDOW', 5], ['PAUSED_WINDOW', 4], ['WINDOW', 4, [4, 5, 6, 7, 8, 9]]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': False, 'sealed': False}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('idle/open_window', 'idle', ['open_window'], [{'phase': 'collecting', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/sample', 'collecting', ['sample'], [{'phase': 'collecting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/close_window', 'collecting', ['close_window'], [{'phase': 'sealed', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': False, 'sealed': True}, 'frames': []}]), ('sealed/publish', 'sealed', ['publish'], [{'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]]]}]), ('awaiting/window_ack', 'awaiting', ['window_ack'], [{'phase': 'published', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': True, 'sealed': True}, 'frames': []}]), ('awaiting/wrong_window_ack', 'awaiting', ['wrong_window_ack'], [{'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': False, 'sealed': True}, 'frames': [['WRONG_WINDOW', 6]]}]), ('published/retention_done', 'published', ['retention_done'], [{'phase': 'idle', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': True, 'sealed': True}, 'frames': []}]), ('sealed/sample', 'sealed', ['sample'], [{'phase': 'sealed', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': []}]), ('awaiting/receiver_backpressure', 'awaiting', ['receiver_backpressure'], [{'phase': 'paused', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': False, 'sealed': True}, 'frames': [['PAUSED_WINDOW', 5]]}]), ('paused/receiver_ready', 'paused', ['receiver_ready'], [{'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]]]}]), ('ordered trace 0', 'idle', ['open_window', 'close_window', 'publish', 'window_ack', 'retention_done', 'open_window', 'sample', 'close_window'], [{'phase': 'collecting', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': False, 'sealed': False}, 'frames': []}, {'phase': 'sealed', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, []]]}, {'phase': 'published', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 5, []]]}, {'phase': 'idle', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 5, []]]}, {'phase': 'collecting', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 5, []]]}, {'phase': 'collecting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 5, []]]}, {'phase': 'sealed', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 5, []]]}]), ('ordered trace 3', 'sealed', ['sample', 'publish', 'receiver_backpressure', 'receiver_ready', 'wrong_window_ack', 'receiver_backpressure', 'receiver_ready', 'wrong_window_ack'], [{'phase': 'sealed', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'paused', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['PAUSED_WINDOW', 5]]}, {'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['PAUSED_WINDOW', 5], ['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['PAUSED_WINDOW', 5], ['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['WRONG_WINDOW', 6]]}, {'phase': 'paused', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['PAUSED_WINDOW', 5], ['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['WRONG_WINDOW', 6], ['PAUSED_WINDOW', 5]]}, {'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['PAUSED_WINDOW', 5], ['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['WRONG_WINDOW', 6], ['PAUSED_WINDOW', 5], ['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['PAUSED_WINDOW', 5], ['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['WRONG_WINDOW', 6], ['PAUSED_WINDOW', 5], ['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['WRONG_WINDOW', 6]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': False, 'sealed': False}, '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":"0a0373aaf037f363fa2e80e1c746e66f367452bf0b30652c09ce8254d8a426d2","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 = {'window': seed, 'samples': payload[:], 'other_window': [seed-1], 'delivered': phase=='published', 'sealed': phase not in ('idle','collecting')}\n    frames = []\n    observed = []\n    table = {('idle', 'open_window'): ('collecting', 'allocate_window'), ('collecting', 'sample'): ('collecting', 'append_sample'), ('collecting', 'close_window'): ('sealed', 'seal_samples'), ('sealed', 'publish'): ('awaiting', 'send_window'), ('awaiting', 'window_ack'): ('published', 'mark_delivered'), ('awaiting', 'wrong_window_ack'): ('awaiting', 'ignore_unmatched'), ('published', 'retention_done'): ('idle', 'release_window'), ('sealed', 'sample'): ('collecting', 'append_sample'), ('awaiting', 'receiver_backpressure'): ('paused', 'retain_window'), ('paused', 'receiver_ready'): ('awaiting', 'resume_same_window')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'allocate_window':\n            r['samples']=[]\n        elif action == 'append_sample':\n            r['samples'].extend(payload)\n        elif action == 'seal_samples':\n            r['sealed']=True\n        elif action == 'send_window':\n            frames.append(['WINDOW',r['window'],r['samples'][:]])\n        elif action == 'mark_delivered':\n            r['delivered']=True\n        elif action == 'ignore_unmatched':\n            frames.append(['WRONG_WINDOW',seed+1])\n        elif action == 'release_window':\n            r['samples']=[]\n        elif action == 'queue_next_window':\n            r['other_window'].extend(payload)\n        elif action == 'retain_window':\n            frames.append(['PAUSED_WINDOW',r['window']])\n        elif action == 'resume_same_window':\n            frames.append(['WINDOW',r['window'],r['samples'][:]])\n        elif action == 'send_empty':\n            frames.append(['WINDOW',r['window'],[]])\n        elif action == 'drop_samples':\n            r['samples']=[]\n        elif action == 'replace_samples':\n            r['samples']=payload[:]\n        elif action == 'send_sample':\n            frames.append(['SAMPLE',payload])\n        elif action == 'send_partial':\n            frames.append(['WINDOW',r['window'],r['samples'][:1]])\n        elif action == 'clear_samples':\n            r['samples']=[]\n        elif action == 'send_latest_only':\n            frames.append(['WINDOW',r['window'],r['samples'][-1:]])\n        elif action == 'delete_immediately':\n            r['samples']=[]\n        elif action == 'mark_all_delivered':\n            r['delivered']=True; r['other_window']=[]\n        elif action == 'clear_all_windows':\n            r['samples']=[]; r['other_window']=[]\n        elif action == 'drop_window':\n            r['samples']=[]\n        elif action == 'truncate_window':\n            r['samples']=r['samples'][:1]\n        elif action == 'rebuild_window':\n            r['samples']=payload[:]\n        elif action == 'send_new_id':\n            r['window']+=1; frames.append(['WINDOW',r['window'],r['samples'][:]])\n        else:\n            if action not in (\"wait\", \"ignore\", \"keep\", \"retain\", \"keep_peer\", \"keep_offer\", \"keep_hold\", \"keep_batch\", \"retain_staging\", \"keep_staging\", \"keep_local_owner\", \"keep_old_session\", \"keep_address\", \"keep_old_expiry\", \"ignore_conflict\", \"keep_service\", \"keep_subscription\", \"retain_shadow\", \"keep_live\", \"keep_suspicion\", \"keep_roles\", \"keep_staged\"):\n                frames.append([action, payload[:]])\n        observed.append(json.loads(json.dumps({\"phase\": phase, \"registers\": r, \"frames\": frames})))\n    return observed\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [('idle/open_window', 'idle', ['open_window'], [{'phase': 'collecting', 'registers': {'window': 1, 'samples': [], 'other_window': [0], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/sample', 'collecting', ['sample'], [{'phase': 'collecting', 'registers': {'window': 1, 'samples': [1, 2, 3, 1, 2, 3], 'other_window': [0], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/close_window', 'collecting', ['close_window'], [{'phase': 'sealed', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0], 'delivered': False, 'sealed': True}, 'frames': []}]), ('sealed/publish', 'sealed', ['publish'], [{'phase': 'awaiting', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 1, [1, 2, 3]]]}]), ('awaiting/window_ack', 'awaiting', ['window_ack'], [{'phase': 'published', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0], 'delivered': True, 'sealed': True}, 'frames': []}]), ('awaiting/wrong_window_ack', 'awaiting', ['wrong_window_ack'], [{'phase': 'awaiting', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0], 'delivered': False, 'sealed': True}, 'frames': [['WRONG_WINDOW', 2]]}]), ('published/retention_done', 'published', ['retention_done'], [{'phase': 'idle', 'registers': {'window': 1, 'samples': [], 'other_window': [0], 'delivered': True, 'sealed': True}, 'frames': []}]), ('sealed/sample', 'sealed', ['sample'], [{'phase': 'sealed', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0, 1, 2, 3], 'delivered': False, 'sealed': True}, 'frames': []}]), ('awaiting/receiver_backpressure', 'awaiting', ['receiver_backpressure'], [{'phase': 'paused', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0], 'delivered': False, 'sealed': True}, 'frames': [['PAUSED_WINDOW', 1]]}]), ('paused/receiver_ready', 'paused', ['receiver_ready'], [{'phase': 'awaiting', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 1, [1, 2, 3]]]}]), ('ordered trace 0', 'idle', ['open_window', 'close_window', 'publish', 'window_ack'], [{'phase': 'collecting', 'registers': {'window': 1, 'samples': [], 'other_window': [0], 'delivered': False, 'sealed': False}, 'frames': []}, {'phase': 'sealed', 'registers': {'window': 1, 'samples': [], 'other_window': [0], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 1, 'samples': [], 'other_window': [0], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 1, []]]}, {'phase': 'published', 'registers': {'window': 1, 'samples': [], 'other_window': [0], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 1, []]]}]), ('ordered trace 3', 'sealed', ['sample', 'publish', 'receiver_backpressure', 'receiver_ready'], [{'phase': 'sealed', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0, 1, 2, 3], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0, 1, 2, 3], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 1, [1, 2, 3]]]}, {'phase': 'paused', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0, 1, 2, 3], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 1, [1, 2, 3]], ['PAUSED_WINDOW', 1]]}, {'phase': 'awaiting', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0, 1, 2, 3], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 1, [1, 2, 3]], ['PAUSED_WINDOW', 1], ['WINDOW', 1, [1, 2, 3]]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0], 'delivered': False, 'sealed': False}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('idle/open_window', 'idle', ['open_window'], [{'phase': 'collecting', 'registers': {'window': 2, 'samples': [], 'other_window': [1], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/sample', 'collecting', ['sample'], [{'phase': 'collecting', 'registers': {'window': 2, 'samples': [2, 3, 4, 5, 2, 3, 4, 5], 'other_window': [1], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/close_window', 'collecting', ['close_window'], [{'phase': 'sealed', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1], 'delivered': False, 'sealed': True}, 'frames': []}]), ('sealed/publish', 'sealed', ['publish'], [{'phase': 'awaiting', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 2, [2, 3, 4, 5]]]}]), ('awaiting/window_ack', 'awaiting', ['window_ack'], [{'phase': 'published', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1], 'delivered': True, 'sealed': True}, 'frames': []}]), ('awaiting/wrong_window_ack', 'awaiting', ['wrong_window_ack'], [{'phase': 'awaiting', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1], 'delivered': False, 'sealed': True}, 'frames': [['WRONG_WINDOW', 3]]}]), ('published/retention_done', 'published', ['retention_done'], [{'phase': 'idle', 'registers': {'window': 2, 'samples': [], 'other_window': [1], 'delivered': True, 'sealed': True}, 'frames': []}]), ('sealed/sample', 'sealed', ['sample'], [{'phase': 'sealed', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1, 2, 3, 4, 5], 'delivered': False, 'sealed': True}, 'frames': []}]), ('awaiting/receiver_backpressure', 'awaiting', ['receiver_backpressure'], [{'phase': 'paused', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1], 'delivered': False, 'sealed': True}, 'frames': [['PAUSED_WINDOW', 2]]}]), ('paused/receiver_ready', 'paused', ['receiver_ready'], [{'phase': 'awaiting', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 2, [2, 3, 4, 5]]]}]), ('ordered trace 0', 'idle', ['open_window', 'close_window', 'publish', 'window_ack', 'retention_done'], [{'phase': 'collecting', 'registers': {'window': 2, 'samples': [], 'other_window': [1], 'delivered': False, 'sealed': False}, 'frames': []}, {'phase': 'sealed', 'registers': {'window': 2, 'samples': [], 'other_window': [1], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 2, 'samples': [], 'other_window': [1], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 2, []]]}, {'phase': 'published', 'registers': {'window': 2, 'samples': [], 'other_window': [1], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 2, []]]}, {'phase': 'idle', 'registers': {'window': 2, 'samples': [], 'other_window': [1], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 2, []]]}]), ('ordered trace 3', 'sealed', ['sample', 'publish', 'receiver_backpressure', 'receiver_ready', 'wrong_window_ack'], [{'phase': 'sealed', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1, 2, 3, 4, 5], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1, 2, 3, 4, 5], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 2, [2, 3, 4, 5]]]}, {'phase': 'paused', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1, 2, 3, 4, 5], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 2, [2, 3, 4, 5]], ['PAUSED_WINDOW', 2]]}, {'phase': 'awaiting', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1, 2, 3, 4, 5], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 2, [2, 3, 4, 5]], ['PAUSED_WINDOW', 2], ['WINDOW', 2, [2, 3, 4, 5]]]}, {'phase': 'awaiting', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1, 2, 3, 4, 5], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 2, [2, 3, 4, 5]], ['PAUSED_WINDOW', 2], ['WINDOW', 2, [2, 3, 4, 5]], ['WRONG_WINDOW', 3]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1], 'delivered': False, 'sealed': False}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('idle/open_window', 'idle', ['open_window'], [{'phase': 'collecting', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/sample', 'collecting', ['sample'], [{'phase': 'collecting', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'other_window': [2], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/close_window', 'collecting', ['close_window'], [{'phase': 'sealed', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2], 'delivered': False, 'sealed': True}, 'frames': []}]), ('sealed/publish', 'sealed', ['publish'], [{'phase': 'awaiting', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, [3, 4, 5, 6, 7]]]}]), ('awaiting/window_ack', 'awaiting', ['window_ack'], [{'phase': 'published', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2], 'delivered': True, 'sealed': True}, 'frames': []}]), ('awaiting/wrong_window_ack', 'awaiting', ['wrong_window_ack'], [{'phase': 'awaiting', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2], 'delivered': False, 'sealed': True}, 'frames': [['WRONG_WINDOW', 4]]}]), ('published/retention_done', 'published', ['retention_done'], [{'phase': 'idle', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': True, 'sealed': True}, 'frames': []}]), ('sealed/sample', 'sealed', ['sample'], [{'phase': 'sealed', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2, 3, 4, 5, 6, 7], 'delivered': False, 'sealed': True}, 'frames': []}]), ('awaiting/receiver_backpressure', 'awaiting', ['receiver_backpressure'], [{'phase': 'paused', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2], 'delivered': False, 'sealed': True}, 'frames': [['PAUSED_WINDOW', 3]]}]), ('paused/receiver_ready', 'paused', ['receiver_ready'], [{'phase': 'awaiting', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, [3, 4, 5, 6, 7]]]}]), ('ordered trace 0', 'idle', ['open_window', 'close_window', 'publish', 'window_ack', 'retention_done', 'open_window'], [{'phase': 'collecting', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': False, 'sealed': False}, 'frames': []}, {'phase': 'sealed', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, []]]}, {'phase': 'published', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 3, []]]}, {'phase': 'idle', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 3, []]]}, {'phase': 'collecting', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 3, []]]}]), ('ordered trace 3', 'sealed', ['sample', 'publish', 'receiver_backpressure', 'receiver_ready', 'wrong_window_ack', 'receiver_backpressure'], [{'phase': 'sealed', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2, 3, 4, 5, 6, 7], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2, 3, 4, 5, 6, 7], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, [3, 4, 5, 6, 7]]]}, {'phase': 'paused', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2, 3, 4, 5, 6, 7], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, [3, 4, 5, 6, 7]], ['PAUSED_WINDOW', 3]]}, {'phase': 'awaiting', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2, 3, 4, 5, 6, 7], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, [3, 4, 5, 6, 7]], ['PAUSED_WINDOW', 3], ['WINDOW', 3, [3, 4, 5, 6, 7]]]}, {'phase': 'awaiting', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2, 3, 4, 5, 6, 7], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, [3, 4, 5, 6, 7]], ['PAUSED_WINDOW', 3], ['WINDOW', 3, [3, 4, 5, 6, 7]], ['WRONG_WINDOW', 4]]}, {'phase': 'paused', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2, 3, 4, 5, 6, 7], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, [3, 4, 5, 6, 7]], ['PAUSED_WINDOW', 3], ['WINDOW', 3, [3, 4, 5, 6, 7]], ['WRONG_WINDOW', 4], ['PAUSED_WINDOW', 3]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2], 'delivered': False, 'sealed': False}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('idle/open_window', 'idle', ['open_window'], [{'phase': 'collecting', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/sample', 'collecting', ['sample'], [{'phase': 'collecting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/close_window', 'collecting', ['close_window'], [{'phase': 'sealed', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': False, 'sealed': True}, 'frames': []}]), ('sealed/publish', 'sealed', ['publish'], [{'phase': 'awaiting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]]]}]), ('awaiting/window_ack', 'awaiting', ['window_ack'], [{'phase': 'published', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': True, 'sealed': True}, 'frames': []}]), ('awaiting/wrong_window_ack', 'awaiting', ['wrong_window_ack'], [{'phase': 'awaiting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': False, 'sealed': True}, 'frames': [['WRONG_WINDOW', 5]]}]), ('published/retention_done', 'published', ['retention_done'], [{'phase': 'idle', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': True, 'sealed': True}, 'frames': []}]), ('sealed/sample', 'sealed', ['sample'], [{'phase': 'sealed', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': []}]), ('awaiting/receiver_backpressure', 'awaiting', ['receiver_backpressure'], [{'phase': 'paused', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': False, 'sealed': True}, 'frames': [['PAUSED_WINDOW', 4]]}]), ('paused/receiver_ready', 'paused', ['receiver_ready'], [{'phase': 'awaiting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]]]}]), ('ordered trace 0', 'idle', ['open_window', 'close_window', 'publish', 'window_ack', 'retention_done', 'open_window', 'sample'], [{'phase': 'collecting', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': False, 'sealed': False}, 'frames': []}, {'phase': 'sealed', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, []]]}, {'phase': 'published', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 4, []]]}, {'phase': 'idle', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 4, []]]}, {'phase': 'collecting', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 4, []]]}, {'phase': 'collecting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 4, []]]}]), ('ordered trace 3', 'sealed', ['sample', 'publish', 'receiver_backpressure', 'receiver_ready', 'wrong_window_ack', 'receiver_backpressure', 'receiver_ready'], [{'phase': 'sealed', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]]]}, {'phase': 'paused', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['PAUSED_WINDOW', 4]]}, {'phase': 'awaiting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['PAUSED_WINDOW', 4], ['WINDOW', 4, [4, 5, 6, 7, 8, 9]]]}, {'phase': 'awaiting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['PAUSED_WINDOW', 4], ['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['WRONG_WINDOW', 5]]}, {'phase': 'paused', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['PAUSED_WINDOW', 4], ['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['WRONG_WINDOW', 5], ['PAUSED_WINDOW', 4]]}, {'phase': 'awaiting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['PAUSED_WINDOW', 4], ['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['WRONG_WINDOW', 5], ['PAUSED_WINDOW', 4], ['WINDOW', 4, [4, 5, 6, 7, 8, 9]]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': False, 'sealed': False}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('idle/open_window', 'idle', ['open_window'], [{'phase': 'collecting', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/sample', 'collecting', ['sample'], [{'phase': 'collecting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/close_window', 'collecting', ['close_window'], [{'phase': 'sealed', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': False, 'sealed': True}, 'frames': []}]), ('sealed/publish', 'sealed', ['publish'], [{'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]]]}]), ('awaiting/window_ack', 'awaiting', ['window_ack'], [{'phase': 'published', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': True, 'sealed': True}, 'frames': []}]), ('awaiting/wrong_window_ack', 'awaiting', ['wrong_window_ack'], [{'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': False, 'sealed': True}, 'frames': [['WRONG_WINDOW', 6]]}]), ('published/retention_done', 'published', ['retention_done'], [{'phase': 'idle', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': True, 'sealed': True}, 'frames': []}]), ('sealed/sample', 'sealed', ['sample'], [{'phase': 'sealed', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': []}]), ('awaiting/receiver_backpressure', 'awaiting', ['receiver_backpressure'], [{'phase': 'paused', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': False, 'sealed': True}, 'frames': [['PAUSED_WINDOW', 5]]}]), ('paused/receiver_ready', 'paused', ['receiver_ready'], [{'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]]]}]), ('ordered trace 0', 'idle', ['open_window', 'close_window', 'publish', 'window_ack', 'retention_done', 'open_window', 'sample', 'close_window'], [{'phase': 'collecting', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': False, 'sealed': False}, 'frames': []}, {'phase': 'sealed', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, []]]}, {'phase': 'published', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 5, []]]}, {'phase': 'idle', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 5, []]]}, {'phase': 'collecting', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 5, []]]}, {'phase': 'collecting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 5, []]]}, {'phase': 'sealed', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 5, []]]}]), ('ordered trace 3', 'sealed', ['sample', 'publish', 'receiver_backpressure', 'receiver_ready', 'wrong_window_ack', 'receiver_backpressure', 'receiver_ready', 'wrong_window_ack'], [{'phase': 'sealed', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'paused', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['PAUSED_WINDOW', 5]]}, {'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['PAUSED_WINDOW', 5], ['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['PAUSED_WINDOW', 5], ['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['WRONG_WINDOW', 6]]}, {'phase': 'paused', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['PAUSED_WINDOW', 5], ['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['WRONG_WINDOW', 6], ['PAUSED_WINDOW', 5]]}, {'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['PAUSED_WINDOW', 5], ['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['WRONG_WINDOW', 6], ['PAUSED_WINDOW', 5], ['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['PAUSED_WINDOW', 5], ['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['WRONG_WINDOW', 6], ['PAUSED_WINDOW', 5], ['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['WRONG_WINDOW', 6]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': False, 'sealed': False}, '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":"1629cf5d43ec774f86fbfc919676a2b93a315d0ffc930cd022166a060aa4a3fc","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 = {'window': seed, 'samples': payload[:], 'other_window': [seed-1], 'delivered': phase=='published', 'sealed': phase not in ('idle','collecting')}\n    frames = []\n    observed = []\n    table = {('idle', 'open_window'): ('collecting', 'allocate_window'), ('collecting', 'sample'): ('collecting', 'append_sample'), ('collecting', 'close_window'): ('sealed', 'seal_samples'), ('sealed', 'publish'): ('awaiting', 'send_window'), ('awaiting', 'window_ack'): ('published', 'mark_delivered'), ('awaiting', 'wrong_window_ack'): ('awaiting', 'ignore_unmatched'), ('published', 'retention_done'): ('idle', 'release_window'), ('sealed', 'sample'): ('sealed', 'queue_next_window'), ('awaiting', 'receiver_backpressure'): ('paused', 'retain_window'), ('paused', 'receiver_ready'): ('awaiting', 'resume_same_window')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'allocate_window':\n            r['samples']=[]\n        elif action == 'append_sample':\n            r['samples'].extend(payload)\n        elif action == 'seal_samples':\n            r['sealed']=True\n        elif action == 'send_window':\n            frames.append(['WINDOW',r['window'],r['samples'][:]])\n        elif action == 'mark_delivered':\n            r['delivered']=True\n        elif action == 'ignore_unmatched':\n            frames.append(['WRONG_WINDOW',seed+1])\n        elif action == 'release_window':\n            r['samples']=[]\n        elif action == 'queue_next_window':\n            r['other_window'].extend(payload)\n        elif action == 'retain_window':\n            frames.append(['PAUSED_WINDOW',r['window']])\n        elif action == 'resume_same_window':\n            frames.append(['WINDOW',r['window'],r['samples'][:]])\n        elif action == 'send_empty':\n            frames.append(['WINDOW',r['window'],[]])\n        elif action == 'drop_samples':\n            r['samples']=[]\n        elif action == 'replace_samples':\n            r['samples']=payload[:]\n        elif action == 'send_sample':\n            frames.append(['SAMPLE',payload])\n        elif action == 'send_partial':\n            frames.append(['WINDOW',r['window'],r['samples'][:1]])\n        elif action == 'clear_samples':\n            r['samples']=[]\n        elif action == 'send_latest_only':\n            frames.append(['WINDOW',r['window'],r['samples'][-1:]])\n        elif action == 'delete_immediately':\n            r['samples']=[]\n        elif action == 'mark_all_delivered':\n            r['delivered']=True; r['other_window']=[]\n        elif action == 'clear_all_windows':\n            r['samples']=[]; r['other_window']=[]\n        elif action == 'drop_window':\n            r['samples']=[]\n        elif action == 'truncate_window':\n            r['samples']=r['samples'][:1]\n        elif action == 'rebuild_window':\n            r['samples']=payload[:]\n        elif action == 'send_new_id':\n            r['window']+=1; frames.append(['WINDOW',r['window'],r['samples'][:]])\n        else:\n            if action not in (\"wait\", \"ignore\", \"keep\", \"retain\", \"keep_peer\", \"keep_offer\", \"keep_hold\", \"keep_batch\", \"retain_staging\", \"keep_staging\", \"keep_local_owner\", \"keep_old_session\", \"keep_address\", \"keep_old_expiry\", \"ignore_conflict\", \"keep_service\", \"keep_subscription\", \"retain_shadow\", \"keep_live\", \"keep_suspicion\", \"keep_roles\", \"keep_staged\"):\n                frames.append([action, payload[:]])\n        observed.append(json.loads(json.dumps({\"phase\": phase, \"registers\": r, \"frames\": frames})))\n    return observed\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [('idle/open_window', 'idle', ['open_window'], [{'phase': 'collecting', 'registers': {'window': 1, 'samples': [], 'other_window': [0], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/sample', 'collecting', ['sample'], [{'phase': 'collecting', 'registers': {'window': 1, 'samples': [1, 2, 3, 1, 2, 3], 'other_window': [0], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/close_window', 'collecting', ['close_window'], [{'phase': 'sealed', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0], 'delivered': False, 'sealed': True}, 'frames': []}]), ('sealed/publish', 'sealed', ['publish'], [{'phase': 'awaiting', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 1, [1, 2, 3]]]}]), ('awaiting/window_ack', 'awaiting', ['window_ack'], [{'phase': 'published', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0], 'delivered': True, 'sealed': True}, 'frames': []}]), ('awaiting/wrong_window_ack', 'awaiting', ['wrong_window_ack'], [{'phase': 'awaiting', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0], 'delivered': False, 'sealed': True}, 'frames': [['WRONG_WINDOW', 2]]}]), ('published/retention_done', 'published', ['retention_done'], [{'phase': 'idle', 'registers': {'window': 1, 'samples': [], 'other_window': [0], 'delivered': True, 'sealed': True}, 'frames': []}]), ('sealed/sample', 'sealed', ['sample'], [{'phase': 'sealed', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0, 1, 2, 3], 'delivered': False, 'sealed': True}, 'frames': []}]), ('awaiting/receiver_backpressure', 'awaiting', ['receiver_backpressure'], [{'phase': 'paused', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0], 'delivered': False, 'sealed': True}, 'frames': [['PAUSED_WINDOW', 1]]}]), ('paused/receiver_ready', 'paused', ['receiver_ready'], [{'phase': 'awaiting', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 1, [1, 2, 3]]]}]), ('ordered trace 0', 'idle', ['open_window', 'close_window', 'publish', 'window_ack'], [{'phase': 'collecting', 'registers': {'window': 1, 'samples': [], 'other_window': [0], 'delivered': False, 'sealed': False}, 'frames': []}, {'phase': 'sealed', 'registers': {'window': 1, 'samples': [], 'other_window': [0], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 1, 'samples': [], 'other_window': [0], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 1, []]]}, {'phase': 'published', 'registers': {'window': 1, 'samples': [], 'other_window': [0], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 1, []]]}]), ('ordered trace 3', 'sealed', ['sample', 'publish', 'receiver_backpressure', 'receiver_ready'], [{'phase': 'sealed', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0, 1, 2, 3], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0, 1, 2, 3], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 1, [1, 2, 3]]]}, {'phase': 'paused', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0, 1, 2, 3], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 1, [1, 2, 3]], ['PAUSED_WINDOW', 1]]}, {'phase': 'awaiting', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0, 1, 2, 3], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 1, [1, 2, 3]], ['PAUSED_WINDOW', 1], ['WINDOW', 1, [1, 2, 3]]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'window': 1, 'samples': [1, 2, 3], 'other_window': [0], 'delivered': False, 'sealed': False}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('idle/open_window', 'idle', ['open_window'], [{'phase': 'collecting', 'registers': {'window': 2, 'samples': [], 'other_window': [1], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/sample', 'collecting', ['sample'], [{'phase': 'collecting', 'registers': {'window': 2, 'samples': [2, 3, 4, 5, 2, 3, 4, 5], 'other_window': [1], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/close_window', 'collecting', ['close_window'], [{'phase': 'sealed', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1], 'delivered': False, 'sealed': True}, 'frames': []}]), ('sealed/publish', 'sealed', ['publish'], [{'phase': 'awaiting', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 2, [2, 3, 4, 5]]]}]), ('awaiting/window_ack', 'awaiting', ['window_ack'], [{'phase': 'published', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1], 'delivered': True, 'sealed': True}, 'frames': []}]), ('awaiting/wrong_window_ack', 'awaiting', ['wrong_window_ack'], [{'phase': 'awaiting', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1], 'delivered': False, 'sealed': True}, 'frames': [['WRONG_WINDOW', 3]]}]), ('published/retention_done', 'published', ['retention_done'], [{'phase': 'idle', 'registers': {'window': 2, 'samples': [], 'other_window': [1], 'delivered': True, 'sealed': True}, 'frames': []}]), ('sealed/sample', 'sealed', ['sample'], [{'phase': 'sealed', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1, 2, 3, 4, 5], 'delivered': False, 'sealed': True}, 'frames': []}]), ('awaiting/receiver_backpressure', 'awaiting', ['receiver_backpressure'], [{'phase': 'paused', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1], 'delivered': False, 'sealed': True}, 'frames': [['PAUSED_WINDOW', 2]]}]), ('paused/receiver_ready', 'paused', ['receiver_ready'], [{'phase': 'awaiting', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 2, [2, 3, 4, 5]]]}]), ('ordered trace 0', 'idle', ['open_window', 'close_window', 'publish', 'window_ack', 'retention_done'], [{'phase': 'collecting', 'registers': {'window': 2, 'samples': [], 'other_window': [1], 'delivered': False, 'sealed': False}, 'frames': []}, {'phase': 'sealed', 'registers': {'window': 2, 'samples': [], 'other_window': [1], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 2, 'samples': [], 'other_window': [1], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 2, []]]}, {'phase': 'published', 'registers': {'window': 2, 'samples': [], 'other_window': [1], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 2, []]]}, {'phase': 'idle', 'registers': {'window': 2, 'samples': [], 'other_window': [1], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 2, []]]}]), ('ordered trace 3', 'sealed', ['sample', 'publish', 'receiver_backpressure', 'receiver_ready', 'wrong_window_ack'], [{'phase': 'sealed', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1, 2, 3, 4, 5], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1, 2, 3, 4, 5], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 2, [2, 3, 4, 5]]]}, {'phase': 'paused', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1, 2, 3, 4, 5], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 2, [2, 3, 4, 5]], ['PAUSED_WINDOW', 2]]}, {'phase': 'awaiting', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1, 2, 3, 4, 5], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 2, [2, 3, 4, 5]], ['PAUSED_WINDOW', 2], ['WINDOW', 2, [2, 3, 4, 5]]]}, {'phase': 'awaiting', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1, 2, 3, 4, 5], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 2, [2, 3, 4, 5]], ['PAUSED_WINDOW', 2], ['WINDOW', 2, [2, 3, 4, 5]], ['WRONG_WINDOW', 3]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'window': 2, 'samples': [2, 3, 4, 5], 'other_window': [1], 'delivered': False, 'sealed': False}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('idle/open_window', 'idle', ['open_window'], [{'phase': 'collecting', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/sample', 'collecting', ['sample'], [{'phase': 'collecting', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'other_window': [2], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/close_window', 'collecting', ['close_window'], [{'phase': 'sealed', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2], 'delivered': False, 'sealed': True}, 'frames': []}]), ('sealed/publish', 'sealed', ['publish'], [{'phase': 'awaiting', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, [3, 4, 5, 6, 7]]]}]), ('awaiting/window_ack', 'awaiting', ['window_ack'], [{'phase': 'published', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2], 'delivered': True, 'sealed': True}, 'frames': []}]), ('awaiting/wrong_window_ack', 'awaiting', ['wrong_window_ack'], [{'phase': 'awaiting', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2], 'delivered': False, 'sealed': True}, 'frames': [['WRONG_WINDOW', 4]]}]), ('published/retention_done', 'published', ['retention_done'], [{'phase': 'idle', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': True, 'sealed': True}, 'frames': []}]), ('sealed/sample', 'sealed', ['sample'], [{'phase': 'sealed', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2, 3, 4, 5, 6, 7], 'delivered': False, 'sealed': True}, 'frames': []}]), ('awaiting/receiver_backpressure', 'awaiting', ['receiver_backpressure'], [{'phase': 'paused', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2], 'delivered': False, 'sealed': True}, 'frames': [['PAUSED_WINDOW', 3]]}]), ('paused/receiver_ready', 'paused', ['receiver_ready'], [{'phase': 'awaiting', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, [3, 4, 5, 6, 7]]]}]), ('ordered trace 0', 'idle', ['open_window', 'close_window', 'publish', 'window_ack', 'retention_done', 'open_window'], [{'phase': 'collecting', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': False, 'sealed': False}, 'frames': []}, {'phase': 'sealed', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, []]]}, {'phase': 'published', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 3, []]]}, {'phase': 'idle', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 3, []]]}, {'phase': 'collecting', 'registers': {'window': 3, 'samples': [], 'other_window': [2], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 3, []]]}]), ('ordered trace 3', 'sealed', ['sample', 'publish', 'receiver_backpressure', 'receiver_ready', 'wrong_window_ack', 'receiver_backpressure'], [{'phase': 'sealed', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2, 3, 4, 5, 6, 7], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2, 3, 4, 5, 6, 7], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, [3, 4, 5, 6, 7]]]}, {'phase': 'paused', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2, 3, 4, 5, 6, 7], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, [3, 4, 5, 6, 7]], ['PAUSED_WINDOW', 3]]}, {'phase': 'awaiting', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2, 3, 4, 5, 6, 7], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, [3, 4, 5, 6, 7]], ['PAUSED_WINDOW', 3], ['WINDOW', 3, [3, 4, 5, 6, 7]]]}, {'phase': 'awaiting', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2, 3, 4, 5, 6, 7], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, [3, 4, 5, 6, 7]], ['PAUSED_WINDOW', 3], ['WINDOW', 3, [3, 4, 5, 6, 7]], ['WRONG_WINDOW', 4]]}, {'phase': 'paused', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2, 3, 4, 5, 6, 7], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 3, [3, 4, 5, 6, 7]], ['PAUSED_WINDOW', 3], ['WINDOW', 3, [3, 4, 5, 6, 7]], ['WRONG_WINDOW', 4], ['PAUSED_WINDOW', 3]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'window': 3, 'samples': [3, 4, 5, 6, 7], 'other_window': [2], 'delivered': False, 'sealed': False}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('idle/open_window', 'idle', ['open_window'], [{'phase': 'collecting', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/sample', 'collecting', ['sample'], [{'phase': 'collecting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/close_window', 'collecting', ['close_window'], [{'phase': 'sealed', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': False, 'sealed': True}, 'frames': []}]), ('sealed/publish', 'sealed', ['publish'], [{'phase': 'awaiting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]]]}]), ('awaiting/window_ack', 'awaiting', ['window_ack'], [{'phase': 'published', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': True, 'sealed': True}, 'frames': []}]), ('awaiting/wrong_window_ack', 'awaiting', ['wrong_window_ack'], [{'phase': 'awaiting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': False, 'sealed': True}, 'frames': [['WRONG_WINDOW', 5]]}]), ('published/retention_done', 'published', ['retention_done'], [{'phase': 'idle', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': True, 'sealed': True}, 'frames': []}]), ('sealed/sample', 'sealed', ['sample'], [{'phase': 'sealed', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': []}]), ('awaiting/receiver_backpressure', 'awaiting', ['receiver_backpressure'], [{'phase': 'paused', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': False, 'sealed': True}, 'frames': [['PAUSED_WINDOW', 4]]}]), ('paused/receiver_ready', 'paused', ['receiver_ready'], [{'phase': 'awaiting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]]]}]), ('ordered trace 0', 'idle', ['open_window', 'close_window', 'publish', 'window_ack', 'retention_done', 'open_window', 'sample'], [{'phase': 'collecting', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': False, 'sealed': False}, 'frames': []}, {'phase': 'sealed', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, []]]}, {'phase': 'published', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 4, []]]}, {'phase': 'idle', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 4, []]]}, {'phase': 'collecting', 'registers': {'window': 4, 'samples': [], 'other_window': [3], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 4, []]]}, {'phase': 'collecting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 4, []]]}]), ('ordered trace 3', 'sealed', ['sample', 'publish', 'receiver_backpressure', 'receiver_ready', 'wrong_window_ack', 'receiver_backpressure', 'receiver_ready'], [{'phase': 'sealed', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]]]}, {'phase': 'paused', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['PAUSED_WINDOW', 4]]}, {'phase': 'awaiting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['PAUSED_WINDOW', 4], ['WINDOW', 4, [4, 5, 6, 7, 8, 9]]]}, {'phase': 'awaiting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['PAUSED_WINDOW', 4], ['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['WRONG_WINDOW', 5]]}, {'phase': 'paused', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['PAUSED_WINDOW', 4], ['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['WRONG_WINDOW', 5], ['PAUSED_WINDOW', 4]]}, {'phase': 'awaiting', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3, 4, 5, 6, 7, 8, 9], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['PAUSED_WINDOW', 4], ['WINDOW', 4, [4, 5, 6, 7, 8, 9]], ['WRONG_WINDOW', 5], ['PAUSED_WINDOW', 4], ['WINDOW', 4, [4, 5, 6, 7, 8, 9]]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'window': 4, 'samples': [4, 5, 6, 7, 8, 9], 'other_window': [3], 'delivered': False, 'sealed': False}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('idle/open_window', 'idle', ['open_window'], [{'phase': 'collecting', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/sample', 'collecting', ['sample'], [{'phase': 'collecting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': False, 'sealed': False}, 'frames': []}]), ('collecting/close_window', 'collecting', ['close_window'], [{'phase': 'sealed', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': False, 'sealed': True}, 'frames': []}]), ('sealed/publish', 'sealed', ['publish'], [{'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]]]}]), ('awaiting/window_ack', 'awaiting', ['window_ack'], [{'phase': 'published', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': True, 'sealed': True}, 'frames': []}]), ('awaiting/wrong_window_ack', 'awaiting', ['wrong_window_ack'], [{'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': False, 'sealed': True}, 'frames': [['WRONG_WINDOW', 6]]}]), ('published/retention_done', 'published', ['retention_done'], [{'phase': 'idle', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': True, 'sealed': True}, 'frames': []}]), ('sealed/sample', 'sealed', ['sample'], [{'phase': 'sealed', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': []}]), ('awaiting/receiver_backpressure', 'awaiting', ['receiver_backpressure'], [{'phase': 'paused', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': False, 'sealed': True}, 'frames': [['PAUSED_WINDOW', 5]]}]), ('paused/receiver_ready', 'paused', ['receiver_ready'], [{'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]]]}]), ('ordered trace 0', 'idle', ['open_window', 'close_window', 'publish', 'window_ack', 'retention_done', 'open_window', 'sample', 'close_window'], [{'phase': 'collecting', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': False, 'sealed': False}, 'frames': []}, {'phase': 'sealed', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, []]]}, {'phase': 'published', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 5, []]]}, {'phase': 'idle', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 5, []]]}, {'phase': 'collecting', 'registers': {'window': 5, 'samples': [], 'other_window': [4], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 5, []]]}, {'phase': 'collecting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 5, []]]}, {'phase': 'sealed', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': True, 'sealed': True}, 'frames': [['WINDOW', 5, []]]}]), ('ordered trace 3', 'sealed', ['sample', 'publish', 'receiver_backpressure', 'receiver_ready', 'wrong_window_ack', 'receiver_backpressure', 'receiver_ready', 'wrong_window_ack'], [{'phase': 'sealed', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': []}, {'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'paused', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['PAUSED_WINDOW', 5]]}, {'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['PAUSED_WINDOW', 5], ['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['PAUSED_WINDOW', 5], ['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['WRONG_WINDOW', 6]]}, {'phase': 'paused', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['PAUSED_WINDOW', 5], ['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['WRONG_WINDOW', 6], ['PAUSED_WINDOW', 5]]}, {'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['PAUSED_WINDOW', 5], ['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['WRONG_WINDOW', 6], ['PAUSED_WINDOW', 5], ['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]]]}, {'phase': 'awaiting', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4, 5, 6, 7, 8, 9, 10, 11], 'delivered': False, 'sealed': True}, 'frames': [['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['PAUSED_WINDOW', 5], ['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['WRONG_WINDOW', 6], ['PAUSED_WINDOW', 5], ['WINDOW', 5, [5, 6, 7, 8, 9, 10, 11]], ['WRONG_WINDOW', 6]]}]), ('empty input', 'idle', [], []), ('unknown event', 'idle', ['unsupported'], [{'phase': 'idle', 'registers': {'window': 5, 'samples': [5, 6, 7, 8, 9, 10, 11], 'other_window': [4], 'delivered': False, 'sealed': False}, '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-telemetry_window-sealed-sample","generated_at":"2026-09-29T14:40:15.606712+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 sealed, classify sample as transition to sealed and emit queue_next_window.","root_cause":"In sealed, the sample handler runs append sample and enters collecting; it must instead run queue next window and enter sealed.","sha256":"b39fcc2ddc3820ddae59a19b1ec59d75e98d9c1d15136927f11541ebf2d21c4d","title":"Acknowledged telemetry publication window controller: sealed / sample · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":47.864,"exit_code":1,"observations":[{"actual":[{"frames":[],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":false,"window":1}}],"check":"idle/open_window","expected":[{"frames":[],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":false,"window":1}}],"passed":true},{"actual":[{"frames":[],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3,1,2,3],"sealed":false,"window":1}}],"check":"collecting/sample","expected":[{"frames":[],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3,1,2,3],"sealed":false,"window":1}}],"passed":true},{"actual":[{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"check":"collecting/close_window","expected":[{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[["WINDOW",1,[1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"check":"sealed/publish","expected":[{"frames":[["WINDOW",1,[1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[],"phase":"published","registers":{"delivered":true,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"check":"awaiting/window_ack","expected":[{"frames":[],"phase":"published","registers":{"delivered":true,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[["WRONG_WINDOW",2]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"check":"awaiting/wrong_window_ack","expected":[{"frames":[["WRONG_WINDOW",2]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[],"phase":"idle","registers":{"delivered":true,"other_window":[0],"samples":[],"sealed":true,"window":1}}],"check":"published/retention_done","expected":[{"frames":[],"phase":"idle","registers":{"delivered":true,"other_window":[0],"samples":[],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3,1,2,3],"sealed":true,"window":1}}],"check":"sealed/sample","expected":[{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0,1,2,3],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":false},{"actual":[{"frames":[["PAUSED_WINDOW",1]],"phase":"paused","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"check":"awaiting/receiver_backpressure","expected":[{"frames":[["PAUSED_WINDOW",1]],"phase":"paused","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[["WINDOW",1,[1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"check":"paused/receiver_ready","expected":[{"frames":[["WINDOW",1,[1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":false,"window":1}},{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[]]],"phase":"published","registers":{"delivered":true,"other_window":[0],"samples":[],"sealed":true,"window":1}}],"check":"ordered trace 0","expected":[{"frames":[],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":false,"window":1}},{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[]]],"phase":"published","registers":{"delivered":true,"other_window":[0],"samples":[],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3,1,2,3],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[1,2,3,1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3,1,2,3],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[1,2,3,1,2,3]],["PAUSED_WINDOW",1]],"phase":"paused","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3,1,2,3],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[1,2,3,1,2,3]],["PAUSED_WINDOW",1],["WINDOW",1,[1,2,3,1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3,1,2,3],"sealed":true,"window":1}}],"check":"ordered trace 3","expected":[{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0,1,2,3],"samples":[1,2,3],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0,1,2,3],"samples":[1,2,3],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[1,2,3]],["PAUSED_WINDOW",1]],"phase":"paused","registers":{"delivered":false,"other_window":[0,1,2,3],"samples":[1,2,3],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[1,2,3]],["PAUSED_WINDOW",1],["WINDOW",1,[1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0,1,2,3],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":false},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":false,"window":1}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":false,"window":1}}],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"idle/open_window\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": []}], \"expected\": [{\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": []}], \"passed\": true}, {\"check\": \"collecting/sample\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3, 1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": []}], \"expected\": [{\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3, 1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": []}], \"passed\": true}, {\"check\": \"collecting/close_window\", \"actual\": [{\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"sealed/publish\", \"actual\": [{\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]]]}], \"expected\": [{\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]]]}], \"passed\": true}, {\"check\": \"awaiting/window_ack\", \"actual\": [{\"phase\": \"published\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": true, \"sealed\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"published\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": true, \"sealed\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"awaiting/wrong_window_ack\", \"actual\": [{\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WRONG_WINDOW\", 2]]}], \"expected\": [{\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WRONG_WINDOW\", 2]]}], \"passed\": true}, {\"check\": \"published/retention_done\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": true, \"sealed\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": true, \"sealed\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"sealed/sample\", \"actual\": [{\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3, 1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0, 1, 2, 3], \"delivered\": false, \"sealed\": true}, \"frames\": []}], \"passed\": false}, {\"check\": \"awaiting/receiver_backpressure\", \"actual\": [{\"phase\": \"paused\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"PAUSED_WINDOW\", 1]]}], \"expected\": [{\"phase\": \"paused\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"PAUSED_WINDOW\", 1]]}], \"passed\": true}, {\"check\": \"paused/receiver_ready\", \"actual\": [{\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]]]}], \"expected\": [{\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]]]}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": []}, {\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": []}, {\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, []]]}, {\"phase\": \"published\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": true, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, []]]}], \"expected\": [{\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": []}, {\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": []}, {\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, []]]}, {\"phase\": \"published\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": true, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, []]]}], \"passed\": true}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3, 1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": []}, {\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3, 1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3, 1, 2, 3]]]}, {\"phase\": \"paused\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3, 1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3, 1, 2, 3]], [\"PAUSED_WINDOW\", 1]]}, {\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3, 1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3, 1, 2, 3]], [\"PAUSED_WINDOW\", 1], [\"WINDOW\", 1, [1, 2, 3, 1, 2, 3]]]}], \"expected\": [{\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0, 1, 2, 3], \"delivered\": false, \"sealed\": true}, \"frames\": []}, {\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0, 1, 2, 3], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]]]}, {\"phase\": \"paused\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0, 1, 2, 3], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]], [\"PAUSED_WINDOW\", 1]]}, {\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0, 1, 2, 3], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]], [\"PAUSED_WINDOW\", 1], [\"WINDOW\", 1, [1, 2, 3]]]}], \"passed\": false}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":49.098,"exit_code":1,"observations":[{"actual":[{"frames":[],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":false,"window":1}}],"check":"idle/open_window","expected":[{"frames":[],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":false,"window":1}}],"passed":true},{"actual":[{"frames":[],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3,1,2,3],"sealed":false,"window":1}}],"check":"collecting/sample","expected":[{"frames":[],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3,1,2,3],"sealed":false,"window":1}}],"passed":true},{"actual":[{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"check":"collecting/close_window","expected":[{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[["WINDOW",1,[1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"check":"sealed/publish","expected":[{"frames":[["WINDOW",1,[1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[],"phase":"published","registers":{"delivered":true,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"check":"awaiting/window_ack","expected":[{"frames":[],"phase":"published","registers":{"delivered":true,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[["WRONG_WINDOW",2]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"check":"awaiting/wrong_window_ack","expected":[{"frames":[["WRONG_WINDOW",2]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[],"phase":"idle","registers":{"delivered":true,"other_window":[0],"samples":[],"sealed":true,"window":1}}],"check":"published/retention_done","expected":[{"frames":[],"phase":"idle","registers":{"delivered":true,"other_window":[0],"samples":[],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3,1,2,3],"sealed":true,"window":1}}],"check":"sealed/sample","expected":[{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0,1,2,3],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":false},{"actual":[{"frames":[["PAUSED_WINDOW",1]],"phase":"paused","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"check":"awaiting/receiver_backpressure","expected":[{"frames":[["PAUSED_WINDOW",1]],"phase":"paused","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[["WINDOW",1,[1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"check":"paused/receiver_ready","expected":[{"frames":[["WINDOW",1,[1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":false,"window":1}},{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[]]],"phase":"published","registers":{"delivered":true,"other_window":[0],"samples":[],"sealed":true,"window":1}}],"check":"ordered trace 0","expected":[{"frames":[],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":false,"window":1}},{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[]]],"phase":"published","registers":{"delivered":true,"other_window":[0],"samples":[],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3,1,2,3],"sealed":true,"window":1}},{"frames":[["reject",[1,2,3]]],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3,1,2,3],"sealed":true,"window":1}},{"frames":[["reject",[1,2,3]],["reject",[1,2,3]]],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3,1,2,3],"sealed":true,"window":1}},{"frames":[["reject",[1,2,3]],["reject",[1,2,3]],["reject",[1,2,3]]],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3,1,2,3],"sealed":true,"window":1}}],"check":"ordered trace 3","expected":[{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0,1,2,3],"samples":[1,2,3],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0,1,2,3],"samples":[1,2,3],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[1,2,3]],["PAUSED_WINDOW",1]],"phase":"paused","registers":{"delivered":false,"other_window":[0,1,2,3],"samples":[1,2,3],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[1,2,3]],["PAUSED_WINDOW",1],["WINDOW",1,[1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0,1,2,3],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":false},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":false,"window":1}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":false,"window":1}}],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"idle/open_window\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": []}], \"expected\": [{\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": []}], \"passed\": true}, {\"check\": \"collecting/sample\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3, 1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": []}], \"expected\": [{\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3, 1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": []}], \"passed\": true}, {\"check\": \"collecting/close_window\", \"actual\": [{\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"sealed/publish\", \"actual\": [{\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]]]}], \"expected\": [{\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]]]}], \"passed\": true}, {\"check\": \"awaiting/window_ack\", \"actual\": [{\"phase\": \"published\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": true, \"sealed\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"published\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": true, \"sealed\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"awaiting/wrong_window_ack\", \"actual\": [{\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WRONG_WINDOW\", 2]]}], \"expected\": [{\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WRONG_WINDOW\", 2]]}], \"passed\": true}, {\"check\": \"published/retention_done\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": true, \"sealed\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": true, \"sealed\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"sealed/sample\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3, 1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0, 1, 2, 3], \"delivered\": false, \"sealed\": true}, \"frames\": []}], \"passed\": false}, {\"check\": \"awaiting/receiver_backpressure\", \"actual\": [{\"phase\": \"paused\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"PAUSED_WINDOW\", 1]]}], \"expected\": [{\"phase\": \"paused\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"PAUSED_WINDOW\", 1]]}], \"passed\": true}, {\"check\": \"paused/receiver_ready\", \"actual\": [{\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]]]}], \"expected\": [{\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]]]}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": []}, {\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": []}, {\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, []]]}, {\"phase\": \"published\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": true, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, []]]}], \"expected\": [{\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": []}, {\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": []}, {\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, []]]}, {\"phase\": \"published\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": true, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, []]]}], \"passed\": true}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3, 1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": []}, {\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3, 1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"reject\", [1, 2, 3]]]}, {\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3, 1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"reject\", [1, 2, 3]], [\"reject\", [1, 2, 3]]]}, {\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3, 1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"reject\", [1, 2, 3]], [\"reject\", [1, 2, 3]], [\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0, 1, 2, 3], \"delivered\": false, \"sealed\": true}, \"frames\": []}, {\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0, 1, 2, 3], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]]]}, {\"phase\": \"paused\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0, 1, 2, 3], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]], [\"PAUSED_WINDOW\", 1]]}, {\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0, 1, 2, 3], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]], [\"PAUSED_WINDOW\", 1], [\"WINDOW\", 1, [1, 2, 3]]]}], \"passed\": false}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":48.132,"exit_code":0,"observations":[{"actual":[{"frames":[],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":false,"window":1}}],"check":"idle/open_window","expected":[{"frames":[],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":false,"window":1}}],"passed":true},{"actual":[{"frames":[],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3,1,2,3],"sealed":false,"window":1}}],"check":"collecting/sample","expected":[{"frames":[],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3,1,2,3],"sealed":false,"window":1}}],"passed":true},{"actual":[{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"check":"collecting/close_window","expected":[{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[["WINDOW",1,[1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"check":"sealed/publish","expected":[{"frames":[["WINDOW",1,[1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[],"phase":"published","registers":{"delivered":true,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"check":"awaiting/window_ack","expected":[{"frames":[],"phase":"published","registers":{"delivered":true,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[["WRONG_WINDOW",2]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"check":"awaiting/wrong_window_ack","expected":[{"frames":[["WRONG_WINDOW",2]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[],"phase":"idle","registers":{"delivered":true,"other_window":[0],"samples":[],"sealed":true,"window":1}}],"check":"published/retention_done","expected":[{"frames":[],"phase":"idle","registers":{"delivered":true,"other_window":[0],"samples":[],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0,1,2,3],"samples":[1,2,3],"sealed":true,"window":1}}],"check":"sealed/sample","expected":[{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0,1,2,3],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[["PAUSED_WINDOW",1]],"phase":"paused","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"check":"awaiting/receiver_backpressure","expected":[{"frames":[["PAUSED_WINDOW",1]],"phase":"paused","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[["WINDOW",1,[1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"check":"paused/receiver_ready","expected":[{"frames":[["WINDOW",1,[1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":false,"window":1}},{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[]]],"phase":"published","registers":{"delivered":true,"other_window":[0],"samples":[],"sealed":true,"window":1}}],"check":"ordered trace 0","expected":[{"frames":[],"phase":"collecting","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":false,"window":1}},{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0],"samples":[],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[]]],"phase":"published","registers":{"delivered":true,"other_window":[0],"samples":[],"sealed":true,"window":1}}],"passed":true},{"actual":[{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0,1,2,3],"samples":[1,2,3],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0,1,2,3],"samples":[1,2,3],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[1,2,3]],["PAUSED_WINDOW",1]],"phase":"paused","registers":{"delivered":false,"other_window":[0,1,2,3],"samples":[1,2,3],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[1,2,3]],["PAUSED_WINDOW",1],["WINDOW",1,[1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0,1,2,3],"samples":[1,2,3],"sealed":true,"window":1}}],"check":"ordered trace 3","expected":[{"frames":[],"phase":"sealed","registers":{"delivered":false,"other_window":[0,1,2,3],"samples":[1,2,3],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0,1,2,3],"samples":[1,2,3],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[1,2,3]],["PAUSED_WINDOW",1]],"phase":"paused","registers":{"delivered":false,"other_window":[0,1,2,3],"samples":[1,2,3],"sealed":true,"window":1}},{"frames":[["WINDOW",1,[1,2,3]],["PAUSED_WINDOW",1],["WINDOW",1,[1,2,3]]],"phase":"awaiting","registers":{"delivered":false,"other_window":[0,1,2,3],"samples":[1,2,3],"sealed":true,"window":1}}],"passed":true},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":false,"window":1}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"idle","registers":{"delivered":false,"other_window":[0],"samples":[1,2,3],"sealed":false,"window":1}}],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"idle/open_window\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": []}], \"expected\": [{\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": []}], \"passed\": true}, {\"check\": \"collecting/sample\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3, 1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": []}], \"expected\": [{\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3, 1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": []}], \"passed\": true}, {\"check\": \"collecting/close_window\", \"actual\": [{\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"sealed/publish\", \"actual\": [{\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]]]}], \"expected\": [{\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]]]}], \"passed\": true}, {\"check\": \"awaiting/window_ack\", \"actual\": [{\"phase\": \"published\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": true, \"sealed\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"published\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": true, \"sealed\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"awaiting/wrong_window_ack\", \"actual\": [{\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WRONG_WINDOW\", 2]]}], \"expected\": [{\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WRONG_WINDOW\", 2]]}], \"passed\": true}, {\"check\": \"published/retention_done\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": true, \"sealed\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": true, \"sealed\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"sealed/sample\", \"actual\": [{\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0, 1, 2, 3], \"delivered\": false, \"sealed\": true}, \"frames\": []}], \"expected\": [{\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0, 1, 2, 3], \"delivered\": false, \"sealed\": true}, \"frames\": []}], \"passed\": true}, {\"check\": \"awaiting/receiver_backpressure\", \"actual\": [{\"phase\": \"paused\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"PAUSED_WINDOW\", 1]]}], \"expected\": [{\"phase\": \"paused\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"PAUSED_WINDOW\", 1]]}], \"passed\": true}, {\"check\": \"paused/receiver_ready\", \"actual\": [{\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]]]}], \"expected\": [{\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]]]}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": []}, {\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": []}, {\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, []]]}, {\"phase\": \"published\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": true, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, []]]}], \"expected\": [{\"phase\": \"collecting\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": []}, {\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": []}, {\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, []]]}, {\"phase\": \"published\", \"registers\": {\"window\": 1, \"samples\": [], \"other_window\": [0], \"delivered\": true, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, []]]}], \"passed\": true}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0, 1, 2, 3], \"delivered\": false, \"sealed\": true}, \"frames\": []}, {\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0, 1, 2, 3], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]]]}, {\"phase\": \"paused\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0, 1, 2, 3], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]], [\"PAUSED_WINDOW\", 1]]}, {\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0, 1, 2, 3], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]], [\"PAUSED_WINDOW\", 1], [\"WINDOW\", 1, [1, 2, 3]]]}], \"expected\": [{\"phase\": \"sealed\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0, 1, 2, 3], \"delivered\": false, \"sealed\": true}, \"frames\": []}, {\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0, 1, 2, 3], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]]]}, {\"phase\": \"paused\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0, 1, 2, 3], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]], [\"PAUSED_WINDOW\", 1]]}, {\"phase\": \"awaiting\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0, 1, 2, 3], \"delivered\": false, \"sealed\": true}, \"frames\": [[\"WINDOW\", 1, [1, 2, 3]], [\"PAUSED_WINDOW\", 1], [\"WINDOW\", 1, [1, 2, 3]]]}], \"passed\": true}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"idle\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"idle\", \"registers\": {\"window\": 1, \"samples\": [1, 2, 3], \"other_window\": [0], \"delivered\": false, \"sealed\": false}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}