{"abstract":"While copying, event baseline_end produces live/publish_shadow instead of replaying/seal_shadow.","category":"Protocols","checks":14,"contract":"For the stipulated Mirror baseline and delta cutover 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-mirror_snapshot","failed_approach":"The partial repair chooses replaying/discard_deltas, which still violates this phase-specific event contract.","family":"s3-protocols-mirror_snapshot-copying-baseline_end","id":"FA-20206","implementations":{"attempt":{"sha256":"2d992bcadaa9e7ab1ac2e93fc96e4109217f45e6bf30493c68037ee1affaf971","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 = {'shadow': [seed] if phase in ('copying','replaying') else [], 'live': [seed-1] if phase in ('copying','replaying','live') else [], 'deltas': payload[:], 'published': phase=='live', 'notifications': []}\n    frames = []\n    observed = []\n    table = {('empty', 'baseline_offer'): ('copying', 'create_shadow'), ('copying', 'baseline_item'): ('copying', 'write_shadow'), ('copying', 'concurrent_delta'): ('copying', 'buffer_after_cut'), ('copying', 'baseline_end'): ('replaying', 'discard_deltas'), ('replaying', 'delta'): ('replaying', 'apply_buffered_order'), ('replaying', 'buffer_empty'): ('live', 'atomic_publish'), ('live', 'source_reset'): ('empty', 'invalidate_baseline'), ('live', 'old_generation_delta'): ('live', 'reject_stale'), ('copying', 'copy_cancelled'): ('empty', 'discard_shadow'), ('live', 'delta'): ('live', 'apply_notify')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'create_shadow':\n            r['shadow']=[]\n        elif action == 'write_shadow':\n            r['shadow'].extend(payload)\n        elif action == 'buffer_after_cut':\n            r['deltas'].extend(payload)\n        elif action == 'seal_shadow':\n            frames.append(['BASELINE_SEALED',seed])\n        elif action == 'apply_buffered_order':\n            r['shadow'].extend(r['deltas']); r['deltas']=[]\n        elif action == 'atomic_publish':\n            r['live']=r['shadow'][:]; r['published']=True\n        elif action == 'invalidate_baseline':\n            r['live']=[]; r['published']=False\n        elif action == 'reject_stale':\n            frames.append(['STALE_DELTA',seed-1])\n        elif action == 'discard_shadow':\n            r['shadow']=[]\n        elif action == 'apply_notify':\n            r['live'].extend(payload); r['notifications'].append(payload)\n        elif action == 'accept_deltas':\n            r['live'].extend(payload)\n        elif action == 'write_live':\n            r['live'].extend(payload)\n        elif action == 'replace_shadow':\n            r['shadow']=payload[:]\n        elif action == 'drop_delta':\n            r['deltas']=[]\n        elif action == 'apply_before_baseline':\n            r['shadow'].extend(payload)\n        elif action == 'publish_shadow':\n            r['live']=r['shadow'][:]; r['published']=True\n        elif action == 'discard_deltas':\n            r['deltas']=[]\n        elif action == 'apply_reverse':\n            r['shadow'].extend(reversed(r['deltas'])); r['deltas']=[]\n        elif action == 'publish_early':\n            r['live']=r['shadow'][:]; r['published']=True\n        elif action == 'merge_with_old':\n            r['live'].extend(r['shadow']); r['published']=True\n        elif action == 'apply_delta':\n            r['live'].extend(payload)\n        elif action == 'restart_from_delta':\n            r['shadow']=payload[:]\n        elif action == 'buffer_forever':\n            r['deltas'].extend(payload)\n        elif action == 'apply_silent':\n            r['live'].extend(payload)\n        elif action == 'continue':\n            r['live'].extend(payload)\n        else:\n            if action not in (\"wait\", \"ignore\", \"keep\", \"retain\", \"keep_peer\", \"keep_offer\", \"keep_hold\", \"keep_batch\", \"retain_staging\", \"keep_staging\", \"keep_local_owner\", \"keep_old_session\", \"keep_address\", \"keep_old_expiry\", \"ignore_conflict\", \"keep_service\", \"keep_subscription\", \"retain_shadow\", \"keep_live\", \"keep_suspicion\", \"keep_roles\", \"keep_staged\"):\n                frames.append([action, payload[:]])\n        observed.append(json.loads(json.dumps({\"phase\": phase, \"registers\": r, \"frames\": frames})))\n    return observed\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [('empty/baseline_offer', 'empty', ['baseline_offer'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_item', 'copying', ['baseline_item'], [{'phase': 'copying', 'registers': {'shadow': [1, 1, 2, 3], 'live': [0], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/concurrent_delta', 'copying', ['concurrent_delta'], [{'phase': 'copying', 'registers': {'shadow': [1], 'live': [0], 'deltas': [1, 2, 3, 1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_end', 'copying', ['baseline_end'], [{'phase': 'replaying', 'registers': {'shadow': [1], 'live': [0], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 1]]}]), ('replaying/delta', 'replaying', ['delta'], [{'phase': 'replaying', 'registers': {'shadow': [1, 1, 2, 3], 'live': [0], 'deltas': [], 'published': False, 'notifications': []}, 'frames': []}]), ('replaying/buffer_empty', 'replaying', ['buffer_empty'], [{'phase': 'live', 'registers': {'shadow': [1], 'live': [1], 'deltas': [1, 2, 3], 'published': True, 'notifications': []}, 'frames': []}]), ('live/source_reset', 'live', ['source_reset'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}]), ('live/old_generation_delta', 'live', ['old_generation_delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [0], 'deltas': [1, 2, 3], 'published': True, 'notifications': []}, 'frames': [['STALE_DELTA', 0]]}]), ('copying/copy_cancelled', 'copying', ['copy_cancelled'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [0], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}]), ('live/delta', 'live', ['delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [0, 1, 2, 3], 'deltas': [1, 2, 3], 'published': True, 'notifications': [[1, 2, 3]]}, 'frames': []}]), ('ordered trace 0', 'empty', ['baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [1, 2, 3, 1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [], 'deltas': [1, 2, 3, 1, 2, 3], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 1]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [1, 2, 3, 1, 2, 3], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 1]]}]), ('ordered trace 3', 'copying', ['copy_cancelled', 'baseline_offer', 'concurrent_delta', 'baseline_end'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [0], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [0], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [0], 'deltas': [1, 2, 3, 1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [0], 'deltas': [1, 2, 3, 1, 2, 3], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 1]]}]), ('empty input', 'empty', [], []), ('unknown event', 'empty', ['unsupported'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('empty/baseline_offer', 'empty', ['baseline_offer'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_item', 'copying', ['baseline_item'], [{'phase': 'copying', 'registers': {'shadow': [2, 2, 3, 4, 5], 'live': [1], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/concurrent_delta', 'copying', ['concurrent_delta'], [{'phase': 'copying', 'registers': {'shadow': [2], 'live': [1], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_end', 'copying', ['baseline_end'], [{'phase': 'replaying', 'registers': {'shadow': [2], 'live': [1], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 2]]}]), ('replaying/delta', 'replaying', ['delta'], [{'phase': 'replaying', 'registers': {'shadow': [2, 2, 3, 4, 5], 'live': [1], 'deltas': [], 'published': False, 'notifications': []}, 'frames': []}]), ('replaying/buffer_empty', 'replaying', ['buffer_empty'], [{'phase': 'live', 'registers': {'shadow': [2], 'live': [2], 'deltas': [2, 3, 4, 5], 'published': True, 'notifications': []}, 'frames': []}]), ('live/source_reset', 'live', ['source_reset'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}]), ('live/old_generation_delta', 'live', ['old_generation_delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [1], 'deltas': [2, 3, 4, 5], 'published': True, 'notifications': []}, 'frames': [['STALE_DELTA', 1]]}]), ('copying/copy_cancelled', 'copying', ['copy_cancelled'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [1], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}]), ('live/delta', 'live', ['delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [1, 2, 3, 4, 5], 'deltas': [2, 3, 4, 5], 'published': True, 'notifications': [[2, 3, 4, 5]]}, 'frames': []}]), ('ordered trace 0', 'empty', ['baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty', 'old_generation_delta'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 2]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 2]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 2], ['STALE_DELTA', 1]]}]), ('ordered trace 3', 'copying', ['copy_cancelled', 'baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [1], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [1], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [1], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [1], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 2]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 2]]}]), ('empty input', 'empty', [], []), ('unknown event', 'empty', ['unsupported'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('empty/baseline_offer', 'empty', ['baseline_offer'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_item', 'copying', ['baseline_item'], [{'phase': 'copying', 'registers': {'shadow': [3, 3, 4, 5, 6, 7], 'live': [2], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/concurrent_delta', 'copying', ['concurrent_delta'], [{'phase': 'copying', 'registers': {'shadow': [3], 'live': [2], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_end', 'copying', ['baseline_end'], [{'phase': 'replaying', 'registers': {'shadow': [3], 'live': [2], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 3]]}]), ('replaying/delta', 'replaying', ['delta'], [{'phase': 'replaying', 'registers': {'shadow': [3, 3, 4, 5, 6, 7], 'live': [2], 'deltas': [], 'published': False, 'notifications': []}, 'frames': []}]), ('replaying/buffer_empty', 'replaying', ['buffer_empty'], [{'phase': 'live', 'registers': {'shadow': [3], 'live': [3], 'deltas': [3, 4, 5, 6, 7], 'published': True, 'notifications': []}, 'frames': []}]), ('live/source_reset', 'live', ['source_reset'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}]), ('live/old_generation_delta', 'live', ['old_generation_delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [2], 'deltas': [3, 4, 5, 6, 7], 'published': True, 'notifications': []}, 'frames': [['STALE_DELTA', 2]]}]), ('copying/copy_cancelled', 'copying', ['copy_cancelled'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [2], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}]), ('live/delta', 'live', ['delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [2, 3, 4, 5, 6, 7], 'deltas': [3, 4, 5, 6, 7], 'published': True, 'notifications': [[3, 4, 5, 6, 7]]}, 'frames': []}]), ('ordered trace 0', 'empty', ['baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty', 'old_generation_delta', 'delta'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 3]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 3]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 3], ['STALE_DELTA', 2]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [3, 4, 5, 6, 7], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': True, 'notifications': [[3, 4, 5, 6, 7]]}, 'frames': [['BASELINE_SEALED', 3], ['STALE_DELTA', 2]]}]), ('ordered trace 3', 'copying', ['copy_cancelled', 'baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty', 'delta'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [2], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [2], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [2], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [2], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 3]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 3]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [3, 4, 5, 6, 7], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': True, 'notifications': [[3, 4, 5, 6, 7]]}, 'frames': [['BASELINE_SEALED', 3]]}]), ('empty input', 'empty', [], []), ('unknown event', 'empty', ['unsupported'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('empty/baseline_offer', 'empty', ['baseline_offer'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_item', 'copying', ['baseline_item'], [{'phase': 'copying', 'registers': {'shadow': [4, 4, 5, 6, 7, 8, 9], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/concurrent_delta', 'copying', ['concurrent_delta'], [{'phase': 'copying', 'registers': {'shadow': [4], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_end', 'copying', ['baseline_end'], [{'phase': 'replaying', 'registers': {'shadow': [4], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 4]]}]), ('replaying/delta', 'replaying', ['delta'], [{'phase': 'replaying', 'registers': {'shadow': [4, 4, 5, 6, 7, 8, 9], 'live': [3], 'deltas': [], 'published': False, 'notifications': []}, 'frames': []}]), ('replaying/buffer_empty', 'replaying', ['buffer_empty'], [{'phase': 'live', 'registers': {'shadow': [4], 'live': [4], 'deltas': [4, 5, 6, 7, 8, 9], 'published': True, 'notifications': []}, 'frames': []}]), ('live/source_reset', 'live', ['source_reset'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}]), ('live/old_generation_delta', 'live', ['old_generation_delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9], 'published': True, 'notifications': []}, 'frames': [['STALE_DELTA', 3]]}]), ('copying/copy_cancelled', 'copying', ['copy_cancelled'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}]), ('live/delta', 'live', ['delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [3, 4, 5, 6, 7, 8, 9], 'deltas': [4, 5, 6, 7, 8, 9], 'published': True, 'notifications': [[4, 5, 6, 7, 8, 9]]}, 'frames': []}]), ('ordered trace 0', 'empty', ['baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty', 'old_generation_delta', 'delta', 'source_reset'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 4]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 4]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 4], ['STALE_DELTA', 3]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [4, 5, 6, 7, 8, 9], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': True, 'notifications': [[4, 5, 6, 7, 8, 9]]}, 'frames': [['BASELINE_SEALED', 4], ['STALE_DELTA', 3]]}, {'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': False, 'notifications': [[4, 5, 6, 7, 8, 9]]}, 'frames': [['BASELINE_SEALED', 4], ['STALE_DELTA', 3]]}]), ('ordered trace 3', 'copying', ['copy_cancelled', 'baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty', 'delta', 'source_reset'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 4]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 4]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [4, 5, 6, 7, 8, 9], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': True, 'notifications': [[4, 5, 6, 7, 8, 9]]}, 'frames': [['BASELINE_SEALED', 4]]}, {'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': False, 'notifications': [[4, 5, 6, 7, 8, 9]]}, 'frames': [['BASELINE_SEALED', 4]]}]), ('empty input', 'empty', [], []), ('unknown event', 'empty', ['unsupported'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('empty/baseline_offer', 'empty', ['baseline_offer'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_item', 'copying', ['baseline_item'], [{'phase': 'copying', 'registers': {'shadow': [5, 5, 6, 7, 8, 9, 10, 11], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/concurrent_delta', 'copying', ['concurrent_delta'], [{'phase': 'copying', 'registers': {'shadow': [5], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_end', 'copying', ['baseline_end'], [{'phase': 'replaying', 'registers': {'shadow': [5], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 5]]}]), ('replaying/delta', 'replaying', ['delta'], [{'phase': 'replaying', 'registers': {'shadow': [5, 5, 6, 7, 8, 9, 10, 11], 'live': [4], 'deltas': [], 'published': False, 'notifications': []}, 'frames': []}]), ('replaying/buffer_empty', 'replaying', ['buffer_empty'], [{'phase': 'live', 'registers': {'shadow': [5], 'live': [5], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': []}, 'frames': []}]), ('live/source_reset', 'live', ['source_reset'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}]), ('live/old_generation_delta', 'live', ['old_generation_delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': []}, 'frames': [['STALE_DELTA', 4]]}]), ('copying/copy_cancelled', 'copying', ['copy_cancelled'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}]), ('live/delta', 'live', ['delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [4, 5, 6, 7, 8, 9, 10, 11], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': [[5, 6, 7, 8, 9, 10, 11]]}, 'frames': []}]), ('ordered trace 0', 'empty', ['baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty', 'old_generation_delta', 'delta', 'source_reset', 'baseline_offer'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 5]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 5]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 5], ['STALE_DELTA', 4]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [5, 6, 7, 8, 9, 10, 11], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': [[5, 6, 7, 8, 9, 10, 11]]}, 'frames': [['BASELINE_SEALED', 5], ['STALE_DELTA', 4]]}, {'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': [[5, 6, 7, 8, 9, 10, 11]]}, 'frames': [['BASELINE_SEALED', 5], ['STALE_DELTA', 4]]}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': [[5, 6, 7, 8, 9, 10, 11]]}, 'frames': [['BASELINE_SEALED', 5], ['STALE_DELTA', 4]]}]), ('ordered trace 3', 'copying', ['copy_cancelled', 'baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty', 'delta', 'source_reset', 'baseline_offer'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 5]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 5]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [5, 6, 7, 8, 9, 10, 11], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': [[5, 6, 7, 8, 9, 10, 11]]}, 'frames': [['BASELINE_SEALED', 5]]}, {'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': [[5, 6, 7, 8, 9, 10, 11]]}, 'frames': [['BASELINE_SEALED', 5]]}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': [[5, 6, 7, 8, 9, 10, 11]]}, 'frames': [['BASELINE_SEALED', 5]]}]), ('empty input', 'empty', [], []), ('unknown event', 'empty', ['unsupported'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, '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":"2dbe22391229fd6da012bf811a9c8a44bcc49b29912783714287719a7d3e7728","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 = {'shadow': [seed] if phase in ('copying','replaying') else [], 'live': [seed-1] if phase in ('copying','replaying','live') else [], 'deltas': payload[:], 'published': phase=='live', 'notifications': []}\n    frames = []\n    observed = []\n    table = {('empty', 'baseline_offer'): ('copying', 'create_shadow'), ('copying', 'baseline_item'): ('copying', 'write_shadow'), ('copying', 'concurrent_delta'): ('copying', 'buffer_after_cut'), ('copying', 'baseline_end'): ('live', 'publish_shadow'), ('replaying', 'delta'): ('replaying', 'apply_buffered_order'), ('replaying', 'buffer_empty'): ('live', 'atomic_publish'), ('live', 'source_reset'): ('empty', 'invalidate_baseline'), ('live', 'old_generation_delta'): ('live', 'reject_stale'), ('copying', 'copy_cancelled'): ('empty', 'discard_shadow'), ('live', 'delta'): ('live', 'apply_notify')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'create_shadow':\n            r['shadow']=[]\n        elif action == 'write_shadow':\n            r['shadow'].extend(payload)\n        elif action == 'buffer_after_cut':\n            r['deltas'].extend(payload)\n        elif action == 'seal_shadow':\n            frames.append(['BASELINE_SEALED',seed])\n        elif action == 'apply_buffered_order':\n            r['shadow'].extend(r['deltas']); r['deltas']=[]\n        elif action == 'atomic_publish':\n            r['live']=r['shadow'][:]; r['published']=True\n        elif action == 'invalidate_baseline':\n            r['live']=[]; r['published']=False\n        elif action == 'reject_stale':\n            frames.append(['STALE_DELTA',seed-1])\n        elif action == 'discard_shadow':\n            r['shadow']=[]\n        elif action == 'apply_notify':\n            r['live'].extend(payload); r['notifications'].append(payload)\n        elif action == 'accept_deltas':\n            r['live'].extend(payload)\n        elif action == 'write_live':\n            r['live'].extend(payload)\n        elif action == 'replace_shadow':\n            r['shadow']=payload[:]\n        elif action == 'drop_delta':\n            r['deltas']=[]\n        elif action == 'apply_before_baseline':\n            r['shadow'].extend(payload)\n        elif action == 'publish_shadow':\n            r['live']=r['shadow'][:]; r['published']=True\n        elif action == 'discard_deltas':\n            r['deltas']=[]\n        elif action == 'apply_reverse':\n            r['shadow'].extend(reversed(r['deltas'])); r['deltas']=[]\n        elif action == 'publish_early':\n            r['live']=r['shadow'][:]; r['published']=True\n        elif action == 'merge_with_old':\n            r['live'].extend(r['shadow']); r['published']=True\n        elif action == 'apply_delta':\n            r['live'].extend(payload)\n        elif action == 'restart_from_delta':\n            r['shadow']=payload[:]\n        elif action == 'buffer_forever':\n            r['deltas'].extend(payload)\n        elif action == 'apply_silent':\n            r['live'].extend(payload)\n        elif action == 'continue':\n            r['live'].extend(payload)\n        else:\n            if action not in (\"wait\", \"ignore\", \"keep\", \"retain\", \"keep_peer\", \"keep_offer\", \"keep_hold\", \"keep_batch\", \"retain_staging\", \"keep_staging\", \"keep_local_owner\", \"keep_old_session\", \"keep_address\", \"keep_old_expiry\", \"ignore_conflict\", \"keep_service\", \"keep_subscription\", \"retain_shadow\", \"keep_live\", \"keep_suspicion\", \"keep_roles\", \"keep_staged\"):\n                frames.append([action, payload[:]])\n        observed.append(json.loads(json.dumps({\"phase\": phase, \"registers\": r, \"frames\": frames})))\n    return observed\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [('empty/baseline_offer', 'empty', ['baseline_offer'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_item', 'copying', ['baseline_item'], [{'phase': 'copying', 'registers': {'shadow': [1, 1, 2, 3], 'live': [0], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/concurrent_delta', 'copying', ['concurrent_delta'], [{'phase': 'copying', 'registers': {'shadow': [1], 'live': [0], 'deltas': [1, 2, 3, 1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_end', 'copying', ['baseline_end'], [{'phase': 'replaying', 'registers': {'shadow': [1], 'live': [0], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 1]]}]), ('replaying/delta', 'replaying', ['delta'], [{'phase': 'replaying', 'registers': {'shadow': [1, 1, 2, 3], 'live': [0], 'deltas': [], 'published': False, 'notifications': []}, 'frames': []}]), ('replaying/buffer_empty', 'replaying', ['buffer_empty'], [{'phase': 'live', 'registers': {'shadow': [1], 'live': [1], 'deltas': [1, 2, 3], 'published': True, 'notifications': []}, 'frames': []}]), ('live/source_reset', 'live', ['source_reset'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}]), ('live/old_generation_delta', 'live', ['old_generation_delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [0], 'deltas': [1, 2, 3], 'published': True, 'notifications': []}, 'frames': [['STALE_DELTA', 0]]}]), ('copying/copy_cancelled', 'copying', ['copy_cancelled'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [0], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}]), ('live/delta', 'live', ['delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [0, 1, 2, 3], 'deltas': [1, 2, 3], 'published': True, 'notifications': [[1, 2, 3]]}, 'frames': []}]), ('ordered trace 0', 'empty', ['baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [1, 2, 3, 1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [], 'deltas': [1, 2, 3, 1, 2, 3], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 1]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [1, 2, 3, 1, 2, 3], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 1]]}]), ('ordered trace 3', 'copying', ['copy_cancelled', 'baseline_offer', 'concurrent_delta', 'baseline_end'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [0], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [0], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [0], 'deltas': [1, 2, 3, 1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [0], 'deltas': [1, 2, 3, 1, 2, 3], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 1]]}]), ('empty input', 'empty', [], []), ('unknown event', 'empty', ['unsupported'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('empty/baseline_offer', 'empty', ['baseline_offer'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_item', 'copying', ['baseline_item'], [{'phase': 'copying', 'registers': {'shadow': [2, 2, 3, 4, 5], 'live': [1], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/concurrent_delta', 'copying', ['concurrent_delta'], [{'phase': 'copying', 'registers': {'shadow': [2], 'live': [1], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_end', 'copying', ['baseline_end'], [{'phase': 'replaying', 'registers': {'shadow': [2], 'live': [1], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 2]]}]), ('replaying/delta', 'replaying', ['delta'], [{'phase': 'replaying', 'registers': {'shadow': [2, 2, 3, 4, 5], 'live': [1], 'deltas': [], 'published': False, 'notifications': []}, 'frames': []}]), ('replaying/buffer_empty', 'replaying', ['buffer_empty'], [{'phase': 'live', 'registers': {'shadow': [2], 'live': [2], 'deltas': [2, 3, 4, 5], 'published': True, 'notifications': []}, 'frames': []}]), ('live/source_reset', 'live', ['source_reset'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}]), ('live/old_generation_delta', 'live', ['old_generation_delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [1], 'deltas': [2, 3, 4, 5], 'published': True, 'notifications': []}, 'frames': [['STALE_DELTA', 1]]}]), ('copying/copy_cancelled', 'copying', ['copy_cancelled'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [1], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}]), ('live/delta', 'live', ['delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [1, 2, 3, 4, 5], 'deltas': [2, 3, 4, 5], 'published': True, 'notifications': [[2, 3, 4, 5]]}, 'frames': []}]), ('ordered trace 0', 'empty', ['baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty', 'old_generation_delta'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 2]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 2]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 2], ['STALE_DELTA', 1]]}]), ('ordered trace 3', 'copying', ['copy_cancelled', 'baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [1], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [1], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [1], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [1], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 2]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 2]]}]), ('empty input', 'empty', [], []), ('unknown event', 'empty', ['unsupported'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('empty/baseline_offer', 'empty', ['baseline_offer'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_item', 'copying', ['baseline_item'], [{'phase': 'copying', 'registers': {'shadow': [3, 3, 4, 5, 6, 7], 'live': [2], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/concurrent_delta', 'copying', ['concurrent_delta'], [{'phase': 'copying', 'registers': {'shadow': [3], 'live': [2], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_end', 'copying', ['baseline_end'], [{'phase': 'replaying', 'registers': {'shadow': [3], 'live': [2], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 3]]}]), ('replaying/delta', 'replaying', ['delta'], [{'phase': 'replaying', 'registers': {'shadow': [3, 3, 4, 5, 6, 7], 'live': [2], 'deltas': [], 'published': False, 'notifications': []}, 'frames': []}]), ('replaying/buffer_empty', 'replaying', ['buffer_empty'], [{'phase': 'live', 'registers': {'shadow': [3], 'live': [3], 'deltas': [3, 4, 5, 6, 7], 'published': True, 'notifications': []}, 'frames': []}]), ('live/source_reset', 'live', ['source_reset'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}]), ('live/old_generation_delta', 'live', ['old_generation_delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [2], 'deltas': [3, 4, 5, 6, 7], 'published': True, 'notifications': []}, 'frames': [['STALE_DELTA', 2]]}]), ('copying/copy_cancelled', 'copying', ['copy_cancelled'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [2], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}]), ('live/delta', 'live', ['delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [2, 3, 4, 5, 6, 7], 'deltas': [3, 4, 5, 6, 7], 'published': True, 'notifications': [[3, 4, 5, 6, 7]]}, 'frames': []}]), ('ordered trace 0', 'empty', ['baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty', 'old_generation_delta', 'delta'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 3]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 3]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 3], ['STALE_DELTA', 2]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [3, 4, 5, 6, 7], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': True, 'notifications': [[3, 4, 5, 6, 7]]}, 'frames': [['BASELINE_SEALED', 3], ['STALE_DELTA', 2]]}]), ('ordered trace 3', 'copying', ['copy_cancelled', 'baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty', 'delta'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [2], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [2], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [2], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [2], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 3]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 3]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [3, 4, 5, 6, 7], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': True, 'notifications': [[3, 4, 5, 6, 7]]}, 'frames': [['BASELINE_SEALED', 3]]}]), ('empty input', 'empty', [], []), ('unknown event', 'empty', ['unsupported'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('empty/baseline_offer', 'empty', ['baseline_offer'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_item', 'copying', ['baseline_item'], [{'phase': 'copying', 'registers': {'shadow': [4, 4, 5, 6, 7, 8, 9], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/concurrent_delta', 'copying', ['concurrent_delta'], [{'phase': 'copying', 'registers': {'shadow': [4], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_end', 'copying', ['baseline_end'], [{'phase': 'replaying', 'registers': {'shadow': [4], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 4]]}]), ('replaying/delta', 'replaying', ['delta'], [{'phase': 'replaying', 'registers': {'shadow': [4, 4, 5, 6, 7, 8, 9], 'live': [3], 'deltas': [], 'published': False, 'notifications': []}, 'frames': []}]), ('replaying/buffer_empty', 'replaying', ['buffer_empty'], [{'phase': 'live', 'registers': {'shadow': [4], 'live': [4], 'deltas': [4, 5, 6, 7, 8, 9], 'published': True, 'notifications': []}, 'frames': []}]), ('live/source_reset', 'live', ['source_reset'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}]), ('live/old_generation_delta', 'live', ['old_generation_delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9], 'published': True, 'notifications': []}, 'frames': [['STALE_DELTA', 3]]}]), ('copying/copy_cancelled', 'copying', ['copy_cancelled'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}]), ('live/delta', 'live', ['delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [3, 4, 5, 6, 7, 8, 9], 'deltas': [4, 5, 6, 7, 8, 9], 'published': True, 'notifications': [[4, 5, 6, 7, 8, 9]]}, 'frames': []}]), ('ordered trace 0', 'empty', ['baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty', 'old_generation_delta', 'delta', 'source_reset'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 4]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 4]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 4], ['STALE_DELTA', 3]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [4, 5, 6, 7, 8, 9], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': True, 'notifications': [[4, 5, 6, 7, 8, 9]]}, 'frames': [['BASELINE_SEALED', 4], ['STALE_DELTA', 3]]}, {'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': False, 'notifications': [[4, 5, 6, 7, 8, 9]]}, 'frames': [['BASELINE_SEALED', 4], ['STALE_DELTA', 3]]}]), ('ordered trace 3', 'copying', ['copy_cancelled', 'baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty', 'delta', 'source_reset'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 4]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 4]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [4, 5, 6, 7, 8, 9], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': True, 'notifications': [[4, 5, 6, 7, 8, 9]]}, 'frames': [['BASELINE_SEALED', 4]]}, {'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': False, 'notifications': [[4, 5, 6, 7, 8, 9]]}, 'frames': [['BASELINE_SEALED', 4]]}]), ('empty input', 'empty', [], []), ('unknown event', 'empty', ['unsupported'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('empty/baseline_offer', 'empty', ['baseline_offer'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_item', 'copying', ['baseline_item'], [{'phase': 'copying', 'registers': {'shadow': [5, 5, 6, 7, 8, 9, 10, 11], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/concurrent_delta', 'copying', ['concurrent_delta'], [{'phase': 'copying', 'registers': {'shadow': [5], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_end', 'copying', ['baseline_end'], [{'phase': 'replaying', 'registers': {'shadow': [5], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 5]]}]), ('replaying/delta', 'replaying', ['delta'], [{'phase': 'replaying', 'registers': {'shadow': [5, 5, 6, 7, 8, 9, 10, 11], 'live': [4], 'deltas': [], 'published': False, 'notifications': []}, 'frames': []}]), ('replaying/buffer_empty', 'replaying', ['buffer_empty'], [{'phase': 'live', 'registers': {'shadow': [5], 'live': [5], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': []}, 'frames': []}]), ('live/source_reset', 'live', ['source_reset'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}]), ('live/old_generation_delta', 'live', ['old_generation_delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': []}, 'frames': [['STALE_DELTA', 4]]}]), ('copying/copy_cancelled', 'copying', ['copy_cancelled'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}]), ('live/delta', 'live', ['delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [4, 5, 6, 7, 8, 9, 10, 11], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': [[5, 6, 7, 8, 9, 10, 11]]}, 'frames': []}]), ('ordered trace 0', 'empty', ['baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty', 'old_generation_delta', 'delta', 'source_reset', 'baseline_offer'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 5]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 5]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 5], ['STALE_DELTA', 4]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [5, 6, 7, 8, 9, 10, 11], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': [[5, 6, 7, 8, 9, 10, 11]]}, 'frames': [['BASELINE_SEALED', 5], ['STALE_DELTA', 4]]}, {'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': [[5, 6, 7, 8, 9, 10, 11]]}, 'frames': [['BASELINE_SEALED', 5], ['STALE_DELTA', 4]]}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': [[5, 6, 7, 8, 9, 10, 11]]}, 'frames': [['BASELINE_SEALED', 5], ['STALE_DELTA', 4]]}]), ('ordered trace 3', 'copying', ['copy_cancelled', 'baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty', 'delta', 'source_reset', 'baseline_offer'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 5]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 5]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [5, 6, 7, 8, 9, 10, 11], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': [[5, 6, 7, 8, 9, 10, 11]]}, 'frames': [['BASELINE_SEALED', 5]]}, {'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': [[5, 6, 7, 8, 9, 10, 11]]}, 'frames': [['BASELINE_SEALED', 5]]}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': [[5, 6, 7, 8, 9, 10, 11]]}, 'frames': [['BASELINE_SEALED', 5]]}]), ('empty input', 'empty', [], []), ('unknown event', 'empty', ['unsupported'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, '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":"e62e839c3237bb6844708e80e79554437d68155f50d36639814da38a7b454959","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 = {'shadow': [seed] if phase in ('copying','replaying') else [], 'live': [seed-1] if phase in ('copying','replaying','live') else [], 'deltas': payload[:], 'published': phase=='live', 'notifications': []}\n    frames = []\n    observed = []\n    table = {('empty', 'baseline_offer'): ('copying', 'create_shadow'), ('copying', 'baseline_item'): ('copying', 'write_shadow'), ('copying', 'concurrent_delta'): ('copying', 'buffer_after_cut'), ('copying', 'baseline_end'): ('replaying', 'seal_shadow'), ('replaying', 'delta'): ('replaying', 'apply_buffered_order'), ('replaying', 'buffer_empty'): ('live', 'atomic_publish'), ('live', 'source_reset'): ('empty', 'invalidate_baseline'), ('live', 'old_generation_delta'): ('live', 'reject_stale'), ('copying', 'copy_cancelled'): ('empty', 'discard_shadow'), ('live', 'delta'): ('live', 'apply_notify')}\n    for event in events:\n        phase, action = table.get((phase, event), (phase, \"reject\"))\n        if action == 'create_shadow':\n            r['shadow']=[]\n        elif action == 'write_shadow':\n            r['shadow'].extend(payload)\n        elif action == 'buffer_after_cut':\n            r['deltas'].extend(payload)\n        elif action == 'seal_shadow':\n            frames.append(['BASELINE_SEALED',seed])\n        elif action == 'apply_buffered_order':\n            r['shadow'].extend(r['deltas']); r['deltas']=[]\n        elif action == 'atomic_publish':\n            r['live']=r['shadow'][:]; r['published']=True\n        elif action == 'invalidate_baseline':\n            r['live']=[]; r['published']=False\n        elif action == 'reject_stale':\n            frames.append(['STALE_DELTA',seed-1])\n        elif action == 'discard_shadow':\n            r['shadow']=[]\n        elif action == 'apply_notify':\n            r['live'].extend(payload); r['notifications'].append(payload)\n        elif action == 'accept_deltas':\n            r['live'].extend(payload)\n        elif action == 'write_live':\n            r['live'].extend(payload)\n        elif action == 'replace_shadow':\n            r['shadow']=payload[:]\n        elif action == 'drop_delta':\n            r['deltas']=[]\n        elif action == 'apply_before_baseline':\n            r['shadow'].extend(payload)\n        elif action == 'publish_shadow':\n            r['live']=r['shadow'][:]; r['published']=True\n        elif action == 'discard_deltas':\n            r['deltas']=[]\n        elif action == 'apply_reverse':\n            r['shadow'].extend(reversed(r['deltas'])); r['deltas']=[]\n        elif action == 'publish_early':\n            r['live']=r['shadow'][:]; r['published']=True\n        elif action == 'merge_with_old':\n            r['live'].extend(r['shadow']); r['published']=True\n        elif action == 'apply_delta':\n            r['live'].extend(payload)\n        elif action == 'restart_from_delta':\n            r['shadow']=payload[:]\n        elif action == 'buffer_forever':\n            r['deltas'].extend(payload)\n        elif action == 'apply_silent':\n            r['live'].extend(payload)\n        elif action == 'continue':\n            r['live'].extend(payload)\n        else:\n            if action not in (\"wait\", \"ignore\", \"keep\", \"retain\", \"keep_peer\", \"keep_offer\", \"keep_hold\", \"keep_batch\", \"retain_staging\", \"keep_staging\", \"keep_local_owner\", \"keep_old_session\", \"keep_address\", \"keep_old_expiry\", \"ignore_conflict\", \"keep_service\", \"keep_subscription\", \"retain_shadow\", \"keep_live\", \"keep_suspicion\", \"keep_roles\", \"keep_staged\"):\n                frames.append([action, payload[:]])\n        observed.append(json.loads(json.dumps({\"phase\": phase, \"registers\": r, \"frames\": frames})))\n    return observed\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [('empty/baseline_offer', 'empty', ['baseline_offer'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_item', 'copying', ['baseline_item'], [{'phase': 'copying', 'registers': {'shadow': [1, 1, 2, 3], 'live': [0], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/concurrent_delta', 'copying', ['concurrent_delta'], [{'phase': 'copying', 'registers': {'shadow': [1], 'live': [0], 'deltas': [1, 2, 3, 1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_end', 'copying', ['baseline_end'], [{'phase': 'replaying', 'registers': {'shadow': [1], 'live': [0], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 1]]}]), ('replaying/delta', 'replaying', ['delta'], [{'phase': 'replaying', 'registers': {'shadow': [1, 1, 2, 3], 'live': [0], 'deltas': [], 'published': False, 'notifications': []}, 'frames': []}]), ('replaying/buffer_empty', 'replaying', ['buffer_empty'], [{'phase': 'live', 'registers': {'shadow': [1], 'live': [1], 'deltas': [1, 2, 3], 'published': True, 'notifications': []}, 'frames': []}]), ('live/source_reset', 'live', ['source_reset'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}]), ('live/old_generation_delta', 'live', ['old_generation_delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [0], 'deltas': [1, 2, 3], 'published': True, 'notifications': []}, 'frames': [['STALE_DELTA', 0]]}]), ('copying/copy_cancelled', 'copying', ['copy_cancelled'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [0], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}]), ('live/delta', 'live', ['delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [0, 1, 2, 3], 'deltas': [1, 2, 3], 'published': True, 'notifications': [[1, 2, 3]]}, 'frames': []}]), ('ordered trace 0', 'empty', ['baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [1, 2, 3, 1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [], 'deltas': [1, 2, 3, 1, 2, 3], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 1]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [1, 2, 3, 1, 2, 3], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 1]]}]), ('ordered trace 3', 'copying', ['copy_cancelled', 'baseline_offer', 'concurrent_delta', 'baseline_end'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [0], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [0], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [0], 'deltas': [1, 2, 3, 1, 2, 3], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [0], 'deltas': [1, 2, 3, 1, 2, 3], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 1]]}]), ('empty input', 'empty', [], []), ('unknown event', 'empty', ['unsupported'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [1, 2, 3], 'published': False, 'notifications': []}, 'frames': [['reject', [1, 2, 3]]]}])], 2: [('empty/baseline_offer', 'empty', ['baseline_offer'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_item', 'copying', ['baseline_item'], [{'phase': 'copying', 'registers': {'shadow': [2, 2, 3, 4, 5], 'live': [1], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/concurrent_delta', 'copying', ['concurrent_delta'], [{'phase': 'copying', 'registers': {'shadow': [2], 'live': [1], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_end', 'copying', ['baseline_end'], [{'phase': 'replaying', 'registers': {'shadow': [2], 'live': [1], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 2]]}]), ('replaying/delta', 'replaying', ['delta'], [{'phase': 'replaying', 'registers': {'shadow': [2, 2, 3, 4, 5], 'live': [1], 'deltas': [], 'published': False, 'notifications': []}, 'frames': []}]), ('replaying/buffer_empty', 'replaying', ['buffer_empty'], [{'phase': 'live', 'registers': {'shadow': [2], 'live': [2], 'deltas': [2, 3, 4, 5], 'published': True, 'notifications': []}, 'frames': []}]), ('live/source_reset', 'live', ['source_reset'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}]), ('live/old_generation_delta', 'live', ['old_generation_delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [1], 'deltas': [2, 3, 4, 5], 'published': True, 'notifications': []}, 'frames': [['STALE_DELTA', 1]]}]), ('copying/copy_cancelled', 'copying', ['copy_cancelled'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [1], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}]), ('live/delta', 'live', ['delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [1, 2, 3, 4, 5], 'deltas': [2, 3, 4, 5], 'published': True, 'notifications': [[2, 3, 4, 5]]}, 'frames': []}]), ('ordered trace 0', 'empty', ['baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty', 'old_generation_delta'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 2]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 2]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 2], ['STALE_DELTA', 1]]}]), ('ordered trace 3', 'copying', ['copy_cancelled', 'baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [1], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [1], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [1], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [1], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 2]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5, 2, 3, 4, 5], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 2]]}]), ('empty input', 'empty', [], []), ('unknown event', 'empty', ['unsupported'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [2, 3, 4, 5], 'published': False, 'notifications': []}, 'frames': [['reject', [2, 3, 4, 5]]]}])], 3: [('empty/baseline_offer', 'empty', ['baseline_offer'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_item', 'copying', ['baseline_item'], [{'phase': 'copying', 'registers': {'shadow': [3, 3, 4, 5, 6, 7], 'live': [2], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/concurrent_delta', 'copying', ['concurrent_delta'], [{'phase': 'copying', 'registers': {'shadow': [3], 'live': [2], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_end', 'copying', ['baseline_end'], [{'phase': 'replaying', 'registers': {'shadow': [3], 'live': [2], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 3]]}]), ('replaying/delta', 'replaying', ['delta'], [{'phase': 'replaying', 'registers': {'shadow': [3, 3, 4, 5, 6, 7], 'live': [2], 'deltas': [], 'published': False, 'notifications': []}, 'frames': []}]), ('replaying/buffer_empty', 'replaying', ['buffer_empty'], [{'phase': 'live', 'registers': {'shadow': [3], 'live': [3], 'deltas': [3, 4, 5, 6, 7], 'published': True, 'notifications': []}, 'frames': []}]), ('live/source_reset', 'live', ['source_reset'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}]), ('live/old_generation_delta', 'live', ['old_generation_delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [2], 'deltas': [3, 4, 5, 6, 7], 'published': True, 'notifications': []}, 'frames': [['STALE_DELTA', 2]]}]), ('copying/copy_cancelled', 'copying', ['copy_cancelled'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [2], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}]), ('live/delta', 'live', ['delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [2, 3, 4, 5, 6, 7], 'deltas': [3, 4, 5, 6, 7], 'published': True, 'notifications': [[3, 4, 5, 6, 7]]}, 'frames': []}]), ('ordered trace 0', 'empty', ['baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty', 'old_generation_delta', 'delta'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 3]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 3]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 3], ['STALE_DELTA', 2]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [3, 4, 5, 6, 7], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': True, 'notifications': [[3, 4, 5, 6, 7]]}, 'frames': [['BASELINE_SEALED', 3], ['STALE_DELTA', 2]]}]), ('ordered trace 3', 'copying', ['copy_cancelled', 'baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty', 'delta'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [2], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [2], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [2], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [2], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 3]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 3]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [3, 4, 5, 6, 7], 'deltas': [3, 4, 5, 6, 7, 3, 4, 5, 6, 7], 'published': True, 'notifications': [[3, 4, 5, 6, 7]]}, 'frames': [['BASELINE_SEALED', 3]]}]), ('empty input', 'empty', [], []), ('unknown event', 'empty', ['unsupported'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [3, 4, 5, 6, 7], 'published': False, 'notifications': []}, 'frames': [['reject', [3, 4, 5, 6, 7]]]}])], 4: [('empty/baseline_offer', 'empty', ['baseline_offer'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_item', 'copying', ['baseline_item'], [{'phase': 'copying', 'registers': {'shadow': [4, 4, 5, 6, 7, 8, 9], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/concurrent_delta', 'copying', ['concurrent_delta'], [{'phase': 'copying', 'registers': {'shadow': [4], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_end', 'copying', ['baseline_end'], [{'phase': 'replaying', 'registers': {'shadow': [4], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 4]]}]), ('replaying/delta', 'replaying', ['delta'], [{'phase': 'replaying', 'registers': {'shadow': [4, 4, 5, 6, 7, 8, 9], 'live': [3], 'deltas': [], 'published': False, 'notifications': []}, 'frames': []}]), ('replaying/buffer_empty', 'replaying', ['buffer_empty'], [{'phase': 'live', 'registers': {'shadow': [4], 'live': [4], 'deltas': [4, 5, 6, 7, 8, 9], 'published': True, 'notifications': []}, 'frames': []}]), ('live/source_reset', 'live', ['source_reset'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}]), ('live/old_generation_delta', 'live', ['old_generation_delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9], 'published': True, 'notifications': []}, 'frames': [['STALE_DELTA', 3]]}]), ('copying/copy_cancelled', 'copying', ['copy_cancelled'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}]), ('live/delta', 'live', ['delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [3, 4, 5, 6, 7, 8, 9], 'deltas': [4, 5, 6, 7, 8, 9], 'published': True, 'notifications': [[4, 5, 6, 7, 8, 9]]}, 'frames': []}]), ('ordered trace 0', 'empty', ['baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty', 'old_generation_delta', 'delta', 'source_reset'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 4]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 4]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 4], ['STALE_DELTA', 3]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [4, 5, 6, 7, 8, 9], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': True, 'notifications': [[4, 5, 6, 7, 8, 9]]}, 'frames': [['BASELINE_SEALED', 4], ['STALE_DELTA', 3]]}, {'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': False, 'notifications': [[4, 5, 6, 7, 8, 9]]}, 'frames': [['BASELINE_SEALED', 4], ['STALE_DELTA', 3]]}]), ('ordered trace 3', 'copying', ['copy_cancelled', 'baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty', 'delta', 'source_reset'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [3], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 4]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 4]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [4, 5, 6, 7, 8, 9], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': True, 'notifications': [[4, 5, 6, 7, 8, 9]]}, 'frames': [['BASELINE_SEALED', 4]]}, {'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9, 4, 5, 6, 7, 8, 9], 'published': False, 'notifications': [[4, 5, 6, 7, 8, 9]]}, 'frames': [['BASELINE_SEALED', 4]]}]), ('empty input', 'empty', [], []), ('unknown event', 'empty', ['unsupported'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [4, 5, 6, 7, 8, 9], 'published': False, 'notifications': []}, 'frames': [['reject', [4, 5, 6, 7, 8, 9]]]}])], 5: [('empty/baseline_offer', 'empty', ['baseline_offer'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_item', 'copying', ['baseline_item'], [{'phase': 'copying', 'registers': {'shadow': [5, 5, 6, 7, 8, 9, 10, 11], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/concurrent_delta', 'copying', ['concurrent_delta'], [{'phase': 'copying', 'registers': {'shadow': [5], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}]), ('copying/baseline_end', 'copying', ['baseline_end'], [{'phase': 'replaying', 'registers': {'shadow': [5], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 5]]}]), ('replaying/delta', 'replaying', ['delta'], [{'phase': 'replaying', 'registers': {'shadow': [5, 5, 6, 7, 8, 9, 10, 11], 'live': [4], 'deltas': [], 'published': False, 'notifications': []}, 'frames': []}]), ('replaying/buffer_empty', 'replaying', ['buffer_empty'], [{'phase': 'live', 'registers': {'shadow': [5], 'live': [5], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': []}, 'frames': []}]), ('live/source_reset', 'live', ['source_reset'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}]), ('live/old_generation_delta', 'live', ['old_generation_delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': []}, 'frames': [['STALE_DELTA', 4]]}]), ('copying/copy_cancelled', 'copying', ['copy_cancelled'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}]), ('live/delta', 'live', ['delta'], [{'phase': 'live', 'registers': {'shadow': [], 'live': [4, 5, 6, 7, 8, 9, 10, 11], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': [[5, 6, 7, 8, 9, 10, 11]]}, 'frames': []}]), ('ordered trace 0', 'empty', ['baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty', 'old_generation_delta', 'delta', 'source_reset', 'baseline_offer'], [{'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 5]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 5]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 5], ['STALE_DELTA', 4]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [5, 6, 7, 8, 9, 10, 11], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': [[5, 6, 7, 8, 9, 10, 11]]}, 'frames': [['BASELINE_SEALED', 5], ['STALE_DELTA', 4]]}, {'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': [[5, 6, 7, 8, 9, 10, 11]]}, 'frames': [['BASELINE_SEALED', 5], ['STALE_DELTA', 4]]}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': [[5, 6, 7, 8, 9, 10, 11]]}, 'frames': [['BASELINE_SEALED', 5], ['STALE_DELTA', 4]]}]), ('ordered trace 3', 'copying', ['copy_cancelled', 'baseline_offer', 'concurrent_delta', 'baseline_end', 'buffer_empty', 'delta', 'source_reset', 'baseline_offer'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': []}, {'phase': 'replaying', 'registers': {'shadow': [], 'live': [4], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, 'frames': [['BASELINE_SEALED', 5]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': []}, 'frames': [['BASELINE_SEALED', 5]]}, {'phase': 'live', 'registers': {'shadow': [], 'live': [5, 6, 7, 8, 9, 10, 11], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': True, 'notifications': [[5, 6, 7, 8, 9, 10, 11]]}, 'frames': [['BASELINE_SEALED', 5]]}, {'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': [[5, 6, 7, 8, 9, 10, 11]]}, 'frames': [['BASELINE_SEALED', 5]]}, {'phase': 'copying', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11, 5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': [[5, 6, 7, 8, 9, 10, 11]]}, 'frames': [['BASELINE_SEALED', 5]]}]), ('empty input', 'empty', [], []), ('unknown event', 'empty', ['unsupported'], [{'phase': 'empty', 'registers': {'shadow': [], 'live': [], 'deltas': [5, 6, 7, 8, 9, 10, 11], 'published': False, 'notifications': []}, '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-mirror_snapshot-copying-baseline_end","generated_at":"2026-09-29T14:40:16.487043+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 copying, classify baseline_end as transition to replaying and emit seal_shadow.","root_cause":"In copying, the baseline end handler runs publish shadow and enters live; it must instead run seal shadow and enter replaying.","sha256":"4f1b8f36d7c715e21fb8a6d3e51d78ebd99630b2883121fc0aa005f46ef9d4ad","title":"Mirror baseline and delta cutover controller: copying / baseline end · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":48.939,"exit_code":1,"observations":[{"actual":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}}],"check":"empty/baseline_offer","expected":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[1,1,2,3]}}],"check":"copying/baseline_item","expected":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[1,1,2,3]}}],"passed":true},{"actual":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3,1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[1]}}],"check":"copying/concurrent_delta","expected":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3,1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[1]}}],"passed":true},{"actual":[{"frames":[],"phase":"replaying","registers":{"deltas":[],"live":[0],"notifications":[],"published":false,"shadow":[1]}}],"check":"copying/baseline_end","expected":[{"frames":[["BASELINE_SEALED",1]],"phase":"replaying","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[1]}}],"passed":false},{"actual":[{"frames":[],"phase":"replaying","registers":{"deltas":[],"live":[0],"notifications":[],"published":false,"shadow":[1,1,2,3]}}],"check":"replaying/delta","expected":[{"frames":[],"phase":"replaying","registers":{"deltas":[],"live":[0],"notifications":[],"published":false,"shadow":[1,1,2,3]}}],"passed":true},{"actual":[{"frames":[],"phase":"live","registers":{"deltas":[1,2,3],"live":[1],"notifications":[],"published":true,"shadow":[1]}}],"check":"replaying/buffer_empty","expected":[{"frames":[],"phase":"live","registers":{"deltas":[1,2,3],"live":[1],"notifications":[],"published":true,"shadow":[1]}}],"passed":true},{"actual":[{"frames":[],"phase":"empty","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}}],"check":"live/source_reset","expected":[{"frames":[],"phase":"empty","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}}],"passed":true},{"actual":[{"frames":[["STALE_DELTA",0]],"phase":"live","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":true,"shadow":[]}}],"check":"live/old_generation_delta","expected":[{"frames":[["STALE_DELTA",0]],"phase":"live","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":true,"shadow":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"empty","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}}],"check":"copying/copy_cancelled","expected":[{"frames":[],"phase":"empty","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"live","registers":{"deltas":[1,2,3],"live":[0,1,2,3],"notifications":[[1,2,3]],"published":true,"shadow":[]}}],"check":"live/delta","expected":[{"frames":[],"phase":"live","registers":{"deltas":[1,2,3],"live":[0,1,2,3],"notifications":[[1,2,3]],"published":true,"shadow":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3,1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"replaying","registers":{"deltas":[],"live":[],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"live","registers":{"deltas":[],"live":[],"notifications":[],"published":true,"shadow":[]}}],"check":"ordered trace 0","expected":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3,1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}},{"frames":[["BASELINE_SEALED",1]],"phase":"replaying","registers":{"deltas":[1,2,3,1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}},{"frames":[["BASELINE_SEALED",1]],"phase":"live","registers":{"deltas":[1,2,3,1,2,3],"live":[],"notifications":[],"published":true,"shadow":[]}}],"passed":false},{"actual":[{"frames":[],"phase":"empty","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3,1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"replaying","registers":{"deltas":[],"live":[0],"notifications":[],"published":false,"shadow":[]}}],"check":"ordered trace 3","expected":[{"frames":[],"phase":"empty","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3,1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}},{"frames":[["BASELINE_SEALED",1]],"phase":"replaying","registers":{"deltas":[1,2,3,1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}}],"passed":false},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"empty","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"empty","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}}],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"empty/baseline_offer\", \"actual\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"copying/baseline_item\", \"actual\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [1, 1, 2, 3], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [1, 1, 2, 3], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"copying/concurrent_delta\", \"actual\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [1], \"live\": [0], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [1], \"live\": [0], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"copying/baseline_end\", \"actual\": [{\"phase\": \"replaying\", \"registers\": {\"shadow\": [1], \"live\": [0], \"deltas\": [], \"published\": false, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"replaying\", \"registers\": {\"shadow\": [1], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": [[\"BASELINE_SEALED\", 1]]}], \"passed\": false}, {\"check\": \"replaying/delta\", \"actual\": [{\"phase\": \"replaying\", \"registers\": {\"shadow\": [1, 1, 2, 3], \"live\": [0], \"deltas\": [], \"published\": false, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"replaying\", \"registers\": {\"shadow\": [1, 1, 2, 3], \"live\": [0], \"deltas\": [], \"published\": false, \"notifications\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"replaying/buffer_empty\", \"actual\": [{\"phase\": \"live\", \"registers\": {\"shadow\": [1], \"live\": [1], \"deltas\": [1, 2, 3], \"published\": true, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"live\", \"registers\": {\"shadow\": [1], \"live\": [1], \"deltas\": [1, 2, 3], \"published\": true, \"notifications\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"live/source_reset\", \"actual\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"live/old_generation_delta\", \"actual\": [{\"phase\": \"live\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": true, \"notifications\": []}, \"frames\": [[\"STALE_DELTA\", 0]]}], \"expected\": [{\"phase\": \"live\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": true, \"notifications\": []}, \"frames\": [[\"STALE_DELTA\", 0]]}], \"passed\": true}, {\"check\": \"copying/copy_cancelled\", \"actual\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"live/delta\", \"actual\": [{\"phase\": \"live\", \"registers\": {\"shadow\": [], \"live\": [0, 1, 2, 3], \"deltas\": [1, 2, 3], \"published\": true, \"notifications\": [[1, 2, 3]]}, \"frames\": []}], \"expected\": [{\"phase\": \"live\", \"registers\": {\"shadow\": [], \"live\": [0, 1, 2, 3], \"deltas\": [1, 2, 3], \"published\": true, \"notifications\": [[1, 2, 3]]}, \"frames\": []}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"replaying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"live\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [], \"published\": true, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"replaying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": [[\"BASELINE_SEALED\", 1]]}, {\"phase\": \"live\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": true, \"notifications\": []}, \"frames\": [[\"BASELINE_SEALED\", 1]]}], \"passed\": false}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"replaying\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [], \"published\": false, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"replaying\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": [[\"BASELINE_SEALED\", 1]]}], \"passed\": false}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":48.667,"exit_code":1,"observations":[{"actual":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}}],"check":"empty/baseline_offer","expected":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[1,1,2,3]}}],"check":"copying/baseline_item","expected":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[1,1,2,3]}}],"passed":true},{"actual":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3,1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[1]}}],"check":"copying/concurrent_delta","expected":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3,1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[1]}}],"passed":true},{"actual":[{"frames":[],"phase":"live","registers":{"deltas":[1,2,3],"live":[1],"notifications":[],"published":true,"shadow":[1]}}],"check":"copying/baseline_end","expected":[{"frames":[["BASELINE_SEALED",1]],"phase":"replaying","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[1]}}],"passed":false},{"actual":[{"frames":[],"phase":"replaying","registers":{"deltas":[],"live":[0],"notifications":[],"published":false,"shadow":[1,1,2,3]}}],"check":"replaying/delta","expected":[{"frames":[],"phase":"replaying","registers":{"deltas":[],"live":[0],"notifications":[],"published":false,"shadow":[1,1,2,3]}}],"passed":true},{"actual":[{"frames":[],"phase":"live","registers":{"deltas":[1,2,3],"live":[1],"notifications":[],"published":true,"shadow":[1]}}],"check":"replaying/buffer_empty","expected":[{"frames":[],"phase":"live","registers":{"deltas":[1,2,3],"live":[1],"notifications":[],"published":true,"shadow":[1]}}],"passed":true},{"actual":[{"frames":[],"phase":"empty","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}}],"check":"live/source_reset","expected":[{"frames":[],"phase":"empty","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}}],"passed":true},{"actual":[{"frames":[["STALE_DELTA",0]],"phase":"live","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":true,"shadow":[]}}],"check":"live/old_generation_delta","expected":[{"frames":[["STALE_DELTA",0]],"phase":"live","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":true,"shadow":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"empty","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}}],"check":"copying/copy_cancelled","expected":[{"frames":[],"phase":"empty","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"live","registers":{"deltas":[1,2,3],"live":[0,1,2,3],"notifications":[[1,2,3]],"published":true,"shadow":[]}}],"check":"live/delta","expected":[{"frames":[],"phase":"live","registers":{"deltas":[1,2,3],"live":[0,1,2,3],"notifications":[[1,2,3]],"published":true,"shadow":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3,1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"live","registers":{"deltas":[1,2,3,1,2,3],"live":[],"notifications":[],"published":true,"shadow":[]}},{"frames":[["reject",[1,2,3]]],"phase":"live","registers":{"deltas":[1,2,3,1,2,3],"live":[],"notifications":[],"published":true,"shadow":[]}}],"check":"ordered trace 0","expected":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3,1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}},{"frames":[["BASELINE_SEALED",1]],"phase":"replaying","registers":{"deltas":[1,2,3,1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}},{"frames":[["BASELINE_SEALED",1]],"phase":"live","registers":{"deltas":[1,2,3,1,2,3],"live":[],"notifications":[],"published":true,"shadow":[]}}],"passed":false},{"actual":[{"frames":[],"phase":"empty","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3,1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"live","registers":{"deltas":[1,2,3,1,2,3],"live":[],"notifications":[],"published":true,"shadow":[]}}],"check":"ordered trace 3","expected":[{"frames":[],"phase":"empty","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3,1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}},{"frames":[["BASELINE_SEALED",1]],"phase":"replaying","registers":{"deltas":[1,2,3,1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}}],"passed":false},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"empty","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"empty","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}}],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"empty/baseline_offer\", \"actual\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"copying/baseline_item\", \"actual\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [1, 1, 2, 3], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [1, 1, 2, 3], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"copying/concurrent_delta\", \"actual\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [1], \"live\": [0], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [1], \"live\": [0], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"copying/baseline_end\", \"actual\": [{\"phase\": \"live\", \"registers\": {\"shadow\": [1], \"live\": [1], \"deltas\": [1, 2, 3], \"published\": true, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"replaying\", \"registers\": {\"shadow\": [1], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": [[\"BASELINE_SEALED\", 1]]}], \"passed\": false}, {\"check\": \"replaying/delta\", \"actual\": [{\"phase\": \"replaying\", \"registers\": {\"shadow\": [1, 1, 2, 3], \"live\": [0], \"deltas\": [], \"published\": false, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"replaying\", \"registers\": {\"shadow\": [1, 1, 2, 3], \"live\": [0], \"deltas\": [], \"published\": false, \"notifications\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"replaying/buffer_empty\", \"actual\": [{\"phase\": \"live\", \"registers\": {\"shadow\": [1], \"live\": [1], \"deltas\": [1, 2, 3], \"published\": true, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"live\", \"registers\": {\"shadow\": [1], \"live\": [1], \"deltas\": [1, 2, 3], \"published\": true, \"notifications\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"live/source_reset\", \"actual\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"live/old_generation_delta\", \"actual\": [{\"phase\": \"live\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": true, \"notifications\": []}, \"frames\": [[\"STALE_DELTA\", 0]]}], \"expected\": [{\"phase\": \"live\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": true, \"notifications\": []}, \"frames\": [[\"STALE_DELTA\", 0]]}], \"passed\": true}, {\"check\": \"copying/copy_cancelled\", \"actual\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"live/delta\", \"actual\": [{\"phase\": \"live\", \"registers\": {\"shadow\": [], \"live\": [0, 1, 2, 3], \"deltas\": [1, 2, 3], \"published\": true, \"notifications\": [[1, 2, 3]]}, \"frames\": []}], \"expected\": [{\"phase\": \"live\", \"registers\": {\"shadow\": [], \"live\": [0, 1, 2, 3], \"deltas\": [1, 2, 3], \"published\": true, \"notifications\": [[1, 2, 3]]}, \"frames\": []}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"live\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": true, \"notifications\": []}, \"frames\": []}, {\"phase\": \"live\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": true, \"notifications\": []}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"replaying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": [[\"BASELINE_SEALED\", 1]]}, {\"phase\": \"live\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": true, \"notifications\": []}, \"frames\": [[\"BASELINE_SEALED\", 1]]}], \"passed\": false}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"live\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": true, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"replaying\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": [[\"BASELINE_SEALED\", 1]]}], \"passed\": false}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":47.163,"exit_code":0,"observations":[{"actual":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}}],"check":"empty/baseline_offer","expected":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[1,1,2,3]}}],"check":"copying/baseline_item","expected":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[1,1,2,3]}}],"passed":true},{"actual":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3,1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[1]}}],"check":"copying/concurrent_delta","expected":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3,1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[1]}}],"passed":true},{"actual":[{"frames":[["BASELINE_SEALED",1]],"phase":"replaying","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[1]}}],"check":"copying/baseline_end","expected":[{"frames":[["BASELINE_SEALED",1]],"phase":"replaying","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[1]}}],"passed":true},{"actual":[{"frames":[],"phase":"replaying","registers":{"deltas":[],"live":[0],"notifications":[],"published":false,"shadow":[1,1,2,3]}}],"check":"replaying/delta","expected":[{"frames":[],"phase":"replaying","registers":{"deltas":[],"live":[0],"notifications":[],"published":false,"shadow":[1,1,2,3]}}],"passed":true},{"actual":[{"frames":[],"phase":"live","registers":{"deltas":[1,2,3],"live":[1],"notifications":[],"published":true,"shadow":[1]}}],"check":"replaying/buffer_empty","expected":[{"frames":[],"phase":"live","registers":{"deltas":[1,2,3],"live":[1],"notifications":[],"published":true,"shadow":[1]}}],"passed":true},{"actual":[{"frames":[],"phase":"empty","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}}],"check":"live/source_reset","expected":[{"frames":[],"phase":"empty","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}}],"passed":true},{"actual":[{"frames":[["STALE_DELTA",0]],"phase":"live","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":true,"shadow":[]}}],"check":"live/old_generation_delta","expected":[{"frames":[["STALE_DELTA",0]],"phase":"live","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":true,"shadow":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"empty","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}}],"check":"copying/copy_cancelled","expected":[{"frames":[],"phase":"empty","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"live","registers":{"deltas":[1,2,3],"live":[0,1,2,3],"notifications":[[1,2,3]],"published":true,"shadow":[]}}],"check":"live/delta","expected":[{"frames":[],"phase":"live","registers":{"deltas":[1,2,3],"live":[0,1,2,3],"notifications":[[1,2,3]],"published":true,"shadow":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3,1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}},{"frames":[["BASELINE_SEALED",1]],"phase":"replaying","registers":{"deltas":[1,2,3,1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}},{"frames":[["BASELINE_SEALED",1]],"phase":"live","registers":{"deltas":[1,2,3,1,2,3],"live":[],"notifications":[],"published":true,"shadow":[]}}],"check":"ordered trace 0","expected":[{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3,1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}},{"frames":[["BASELINE_SEALED",1]],"phase":"replaying","registers":{"deltas":[1,2,3,1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}},{"frames":[["BASELINE_SEALED",1]],"phase":"live","registers":{"deltas":[1,2,3,1,2,3],"live":[],"notifications":[],"published":true,"shadow":[]}}],"passed":true},{"actual":[{"frames":[],"phase":"empty","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3,1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}},{"frames":[["BASELINE_SEALED",1]],"phase":"replaying","registers":{"deltas":[1,2,3,1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}}],"check":"ordered trace 3","expected":[{"frames":[],"phase":"empty","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}},{"frames":[],"phase":"copying","registers":{"deltas":[1,2,3,1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}},{"frames":[["BASELINE_SEALED",1]],"phase":"replaying","registers":{"deltas":[1,2,3,1,2,3],"live":[0],"notifications":[],"published":false,"shadow":[]}}],"passed":true},{"actual":[],"check":"empty input","expected":[],"passed":true},{"actual":[{"frames":[["reject",[1,2,3]]],"phase":"empty","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}}],"check":"unknown event","expected":[{"frames":[["reject",[1,2,3]]],"phase":"empty","registers":{"deltas":[1,2,3],"live":[],"notifications":[],"published":false,"shadow":[]}}],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"empty/baseline_offer\", \"actual\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"copying/baseline_item\", \"actual\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [1, 1, 2, 3], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [1, 1, 2, 3], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"copying/concurrent_delta\", \"actual\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [1], \"live\": [0], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [1], \"live\": [0], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"copying/baseline_end\", \"actual\": [{\"phase\": \"replaying\", \"registers\": {\"shadow\": [1], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": [[\"BASELINE_SEALED\", 1]]}], \"expected\": [{\"phase\": \"replaying\", \"registers\": {\"shadow\": [1], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": [[\"BASELINE_SEALED\", 1]]}], \"passed\": true}, {\"check\": \"replaying/delta\", \"actual\": [{\"phase\": \"replaying\", \"registers\": {\"shadow\": [1, 1, 2, 3], \"live\": [0], \"deltas\": [], \"published\": false, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"replaying\", \"registers\": {\"shadow\": [1, 1, 2, 3], \"live\": [0], \"deltas\": [], \"published\": false, \"notifications\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"replaying/buffer_empty\", \"actual\": [{\"phase\": \"live\", \"registers\": {\"shadow\": [1], \"live\": [1], \"deltas\": [1, 2, 3], \"published\": true, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"live\", \"registers\": {\"shadow\": [1], \"live\": [1], \"deltas\": [1, 2, 3], \"published\": true, \"notifications\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"live/source_reset\", \"actual\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"live/old_generation_delta\", \"actual\": [{\"phase\": \"live\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": true, \"notifications\": []}, \"frames\": [[\"STALE_DELTA\", 0]]}], \"expected\": [{\"phase\": \"live\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": true, \"notifications\": []}, \"frames\": [[\"STALE_DELTA\", 0]]}], \"passed\": true}, {\"check\": \"copying/copy_cancelled\", \"actual\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"expected\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}], \"passed\": true}, {\"check\": \"live/delta\", \"actual\": [{\"phase\": \"live\", \"registers\": {\"shadow\": [], \"live\": [0, 1, 2, 3], \"deltas\": [1, 2, 3], \"published\": true, \"notifications\": [[1, 2, 3]]}, \"frames\": []}], \"expected\": [{\"phase\": \"live\", \"registers\": {\"shadow\": [], \"live\": [0, 1, 2, 3], \"deltas\": [1, 2, 3], \"published\": true, \"notifications\": [[1, 2, 3]]}, \"frames\": []}], \"passed\": true}, {\"check\": \"ordered trace 0\", \"actual\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"replaying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": [[\"BASELINE_SEALED\", 1]]}, {\"phase\": \"live\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": true, \"notifications\": []}, \"frames\": [[\"BASELINE_SEALED\", 1]]}], \"expected\": [{\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"replaying\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": [[\"BASELINE_SEALED\", 1]]}, {\"phase\": \"live\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": true, \"notifications\": []}, \"frames\": [[\"BASELINE_SEALED\", 1]]}], \"passed\": true}, {\"check\": \"ordered trace 3\", \"actual\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"replaying\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": [[\"BASELINE_SEALED\", 1]]}], \"expected\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"copying\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": []}, {\"phase\": \"replaying\", \"registers\": {\"shadow\": [], \"live\": [0], \"deltas\": [1, 2, 3, 1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": [[\"BASELINE_SEALED\", 1]]}], \"passed\": true}, {\"check\": \"empty input\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unknown event\", \"actual\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"expected\": [{\"phase\": \"empty\", \"registers\": {\"shadow\": [], \"live\": [], \"deltas\": [1, 2, 3], \"published\": false, \"notifications\": []}, \"frames\": [[\"reject\", [1, 2, 3]]]}], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}