{"abstract":"The pause-accepted event leaves a notification in running instead of paused.","category":"Notification interfaces","checks":39,"contract":"Long-running notification progress is a bounded visual-notification workflow with mutable policy state {'done': 3, 'total': 10, 'job': 2, 'paused_at': None}. Its default transition relation is {('queued', 'worker-start'): 'running', ('running', 'request-pause'): 'pause-pending', ('pause-pending', 'pause-accepted'): 'paused', ('pause-pending', 'pause-rejected'): 'running', ('paused', 'resume-click'): 'resume-pending', ('resume-pending', 'resume-accepted'): 'running', ('running', 'work-complete'): 'complete', ('running', 'work-failed'): 'failed', ('complete', 'late-progress'): 'complete', ('paused', 'work-complete'): 'complete'}; domain inputs can suppress or redirect transitions and update policy fields, as specified in solve. Different-generation events are inert. Batches apply in order. Optional observe returns the selected policy field alongside the phase.","evaluation_group":"s3-notification-interfaces-progress","failed_approach":"Completion styling hides resumable unfinished work.","family":"s3-notification-interfaces-progress-03","id":"FA-34401","implementations":{"attempt":{"sha256":"97b4a6320d1c7f998205b46f66904772a8dc46f614c4cea9997f8d1a4b982595","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(initial, events, generation, payload=None, observe=None):\n    table = {('queued', 'worker-start'): 'running', ('running', 'request-pause'): 'pause-pending', ('pause-pending', 'pause-accepted'): 'complete', ('pause-pending', 'pause-rejected'): 'running', ('paused', 'resume-click'): 'resume-pending', ('resume-pending', 'resume-accepted'): 'running', ('running', 'work-complete'): 'complete', ('running', 'work-failed'): 'failed', ('complete', 'late-progress'): 'complete', ('paused', 'work-complete'): 'complete'}\n    data = json.loads(json.dumps({'done': 3, 'total': 10, 'job': 2, 'paused_at': None})) if payload is None else {**json.loads(json.dumps({'done': 3, 'total': 10, 'job': 2, 'paused_at': None})), **json.loads(json.dumps(payload))}\n    state = initial\n    for delivery in events:\n        event, event_generation = delivery[:2]\n        arg = delivery[2] if len(delivery) > 2 else {}\n        if event_generation == generation:\n            previous = state\n            if event in ('work-complete','work-failed','late-progress') and arg.get('job',data['job']) != data['job']: event = 'unknown-event'\n            if event == 'late-progress' and state != 'complete': data['done'] = min(data['total'],max(data['done'],arg.get('done',data['done'])))\n            if event == 'work-complete' and 'done' in arg and arg['done'] < data['total']: event = 'unknown-event'\n            state = table.get((state, event), state)\n            if state == 'complete': data['done'] = data['total']\n            if state == 'paused': data['paused_at'] = data['done']\n            if state == 'running': data['paused_at'] = None\n    return {'phase': state, 'value': data[observe]} if observe else state\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('queued / worker-start', solve('queued', [('worker-start', N)], N), 'running')\ncheck('running / request-pause', solve('running', [('request-pause', N)], N), 'pause-pending')\ncheck('pause-pending / pause-accepted', solve('pause-pending', [('pause-accepted', N)], N), 'paused')\ncheck('pause-pending / pause-rejected', solve('pause-pending', [('pause-rejected', N)], N), 'running')\ncheck('paused / resume-click', solve('paused', [('resume-click', N)], N), 'resume-pending')\ncheck('resume-pending / resume-accepted', solve('resume-pending', [('resume-accepted', N)], N), 'running')\ncheck('running / work-complete', solve('running', [('work-complete', N)], N), 'complete')\ncheck('running / work-failed', solve('running', [('work-failed', N)], N), 'failed')\ncheck('complete / late-progress', solve('complete', [('late-progress', N)], N), 'complete')\ncheck('paused / work-complete', solve('paused', [('work-complete', N)], N), 'complete')\ncheck('older notification incarnation', solve('queued', [('worker-start', N - 1)], N), 'queued')\ncheck('future notification incarnation', solve('queued', [('worker-start', N + 1)], N), 'queued')\ncheck('unknown event is inert', solve('queued', [('unknown-event', N)], N), 'queued')\ncheck('empty delivery batch', solve('queued', [], N), 'queued')\ncheck('N stale deliveries before current delivery', solve('queued', [('worker-start', N - 1)] * N + [('worker-start', N)], N), 'running')\ncheck('trace worker-start then request-pause', solve('queued', [('worker-start', N), ('request-pause', N)], N), 'pause-pending')\ncheck('trace worker-start then work-complete', solve('queued', [('worker-start', N), ('work-complete', N)], N), 'complete')\ncheck('trace worker-start then work-failed', solve('queued', [('worker-start', N), ('work-failed', N)], N), 'failed')\ncheck('trace request-pause then pause-accepted', solve('running', [('request-pause', N), ('pause-accepted', N)], N), 'paused')\ncheck('trace request-pause then pause-rejected', solve('running', [('request-pause', N), ('pause-rejected', N)], N), 'running')\ncheck('trace pause-accepted then resume-click', solve('pause-pending', [('pause-accepted', N), ('resume-click', N)], N), 'resume-pending')\ncheck('trace pause-accepted then work-complete', solve('pause-pending', [('pause-accepted', N), ('work-complete', N)], N), 'complete')\ncheck('trace pause-rejected then request-pause', solve('pause-pending', [('pause-rejected', N), ('request-pause', N)], N), 'pause-pending')\ncheck('trace pause-rejected then work-complete', solve('pause-pending', [('pause-rejected', N), ('work-complete', N)], N), 'complete')\ncheck('trace pause-rejected then work-failed', solve('pause-pending', [('pause-rejected', N), ('work-failed', N)], N), 'failed')\ncheck('trace resume-click then resume-accepted', solve('paused', [('resume-click', N), ('resume-accepted', N)], N), 'running')\ncheck('trace resume-accepted then request-pause', solve('resume-pending', [('resume-accepted', N), ('request-pause', N)], N), 'pause-pending')\ncheck('trace resume-accepted then work-complete', solve('resume-pending', [('resume-accepted', N), ('work-complete', N)], N), 'complete')\ncheck('trace resume-accepted then work-failed', solve('resume-pending', [('resume-accepted', N), ('work-failed', N)], N), 'failed')\ncheck('trace work-complete then late-progress', solve('running', [('work-complete', N), ('late-progress', N)], N), 'complete')\ncheck('trace late-progress then late-progress', solve('complete', [('late-progress', N), ('late-progress', N)], N), 'complete')\ncheck('trace work-complete then late-progress', solve('paused', [('work-complete', N), ('late-progress', N)], N), 'complete')\ncheck('domain state regression 1: done', solve('running', [('work-complete', N, {'job': 1})], N, {}, 'done'), {'phase': 'running', 'value': 3})\ncheck('domain state regression 2: done', solve('running', [('work-complete', N, {'done': 9})], N, {}, 'done'), {'phase': 'running', 'value': 3})\ncheck('domain state regression 3: done', solve('running', [('work-complete', N, {'done': 10})], N, {}, 'done'), {'phase': 'complete', 'value': 10})\ncheck('domain state regression 4: paused_at', solve('pause-pending', [('pause-accepted', N, {})], N, {}, 'paused_at'), {'phase': 'paused', 'value': 3})\ncheck('domain state regression 5: paused_at', solve('resume-pending', [('resume-accepted', N, {})], N, {'paused_at': 3}, 'paused_at'), {'phase': 'running', 'value': None})\ncheck('domain state regression 6: done', solve('complete', [('late-progress', N, {'done': 2})], N, {'done': 10}, 'done'), {'phase': 'complete', 'value': 10})\ncheck('domain state regression 7: done', solve('running', [('request-pause', N, {}), ('pause-accepted', N, {}), ('resume-click', N, {}), ('resume-accepted', N, {}), ('work-complete', N, {'done': 10})], N, {}, 'done'), {'phase': 'complete', 'value': 10})\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":"f359e9b42476cc472f3ec8b5ace21871599ec6f182cdbd4c9f953727d0c05a9a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(initial, events, generation, payload=None, observe=None):\n    table = {('queued', 'worker-start'): 'running', ('running', 'request-pause'): 'pause-pending', ('pause-pending', 'pause-accepted'): 'running', ('pause-pending', 'pause-rejected'): 'running', ('paused', 'resume-click'): 'resume-pending', ('resume-pending', 'resume-accepted'): 'running', ('running', 'work-complete'): 'complete', ('running', 'work-failed'): 'failed', ('complete', 'late-progress'): 'complete', ('paused', 'work-complete'): 'complete'}\n    data = json.loads(json.dumps({'done': 3, 'total': 10, 'job': 2, 'paused_at': None})) if payload is None else {**json.loads(json.dumps({'done': 3, 'total': 10, 'job': 2, 'paused_at': None})), **json.loads(json.dumps(payload))}\n    state = initial\n    for delivery in events:\n        event, event_generation = delivery[:2]\n        arg = delivery[2] if len(delivery) > 2 else {}\n        if event_generation == generation:\n            previous = state\n            if event in ('work-complete','work-failed','late-progress') and arg.get('job',data['job']) != data['job']: event = 'unknown-event'\n            if event == 'late-progress' and state != 'complete': data['done'] = min(data['total'],max(data['done'],arg.get('done',data['done'])))\n            if event == 'work-complete' and 'done' in arg and arg['done'] < data['total']: event = 'unknown-event'\n            state = table.get((state, event), state)\n            if state == 'complete': data['done'] = data['total']\n            if state == 'paused': data['paused_at'] = data['done']\n            if state == 'running': data['paused_at'] = None\n    return {'phase': state, 'value': data[observe]} if observe else state\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('queued / worker-start', solve('queued', [('worker-start', N)], N), 'running')\ncheck('running / request-pause', solve('running', [('request-pause', N)], N), 'pause-pending')\ncheck('pause-pending / pause-accepted', solve('pause-pending', [('pause-accepted', N)], N), 'paused')\ncheck('pause-pending / pause-rejected', solve('pause-pending', [('pause-rejected', N)], N), 'running')\ncheck('paused / resume-click', solve('paused', [('resume-click', N)], N), 'resume-pending')\ncheck('resume-pending / resume-accepted', solve('resume-pending', [('resume-accepted', N)], N), 'running')\ncheck('running / work-complete', solve('running', [('work-complete', N)], N), 'complete')\ncheck('running / work-failed', solve('running', [('work-failed', N)], N), 'failed')\ncheck('complete / late-progress', solve('complete', [('late-progress', N)], N), 'complete')\ncheck('paused / work-complete', solve('paused', [('work-complete', N)], N), 'complete')\ncheck('older notification incarnation', solve('queued', [('worker-start', N - 1)], N), 'queued')\ncheck('future notification incarnation', solve('queued', [('worker-start', N + 1)], N), 'queued')\ncheck('unknown event is inert', solve('queued', [('unknown-event', N)], N), 'queued')\ncheck('empty delivery batch', solve('queued', [], N), 'queued')\ncheck('N stale deliveries before current delivery', solve('queued', [('worker-start', N - 1)] * N + [('worker-start', N)], N), 'running')\ncheck('trace worker-start then request-pause', solve('queued', [('worker-start', N), ('request-pause', N)], N), 'pause-pending')\ncheck('trace worker-start then work-complete', solve('queued', [('worker-start', N), ('work-complete', N)], N), 'complete')\ncheck('trace worker-start then work-failed', solve('queued', [('worker-start', N), ('work-failed', N)], N), 'failed')\ncheck('trace request-pause then pause-accepted', solve('running', [('request-pause', N), ('pause-accepted', N)], N), 'paused')\ncheck('trace request-pause then pause-rejected', solve('running', [('request-pause', N), ('pause-rejected', N)], N), 'running')\ncheck('trace pause-accepted then resume-click', solve('pause-pending', [('pause-accepted', N), ('resume-click', N)], N), 'resume-pending')\ncheck('trace pause-accepted then work-complete', solve('pause-pending', [('pause-accepted', N), ('work-complete', N)], N), 'complete')\ncheck('trace pause-rejected then request-pause', solve('pause-pending', [('pause-rejected', N), ('request-pause', N)], N), 'pause-pending')\ncheck('trace pause-rejected then work-complete', solve('pause-pending', [('pause-rejected', N), ('work-complete', N)], N), 'complete')\ncheck('trace pause-rejected then work-failed', solve('pause-pending', [('pause-rejected', N), ('work-failed', N)], N), 'failed')\ncheck('trace resume-click then resume-accepted', solve('paused', [('resume-click', N), ('resume-accepted', N)], N), 'running')\ncheck('trace resume-accepted then request-pause', solve('resume-pending', [('resume-accepted', N), ('request-pause', N)], N), 'pause-pending')\ncheck('trace resume-accepted then work-complete', solve('resume-pending', [('resume-accepted', N), ('work-complete', N)], N), 'complete')\ncheck('trace resume-accepted then work-failed', solve('resume-pending', [('resume-accepted', N), ('work-failed', N)], N), 'failed')\ncheck('trace work-complete then late-progress', solve('running', [('work-complete', N), ('late-progress', N)], N), 'complete')\ncheck('trace late-progress then late-progress', solve('complete', [('late-progress', N), ('late-progress', N)], N), 'complete')\ncheck('trace work-complete then late-progress', solve('paused', [('work-complete', N), ('late-progress', N)], N), 'complete')\ncheck('domain state regression 1: done', solve('running', [('work-complete', N, {'job': 1})], N, {}, 'done'), {'phase': 'running', 'value': 3})\ncheck('domain state regression 2: done', solve('running', [('work-complete', N, {'done': 9})], N, {}, 'done'), {'phase': 'running', 'value': 3})\ncheck('domain state regression 3: done', solve('running', [('work-complete', N, {'done': 10})], N, {}, 'done'), {'phase': 'complete', 'value': 10})\ncheck('domain state regression 4: paused_at', solve('pause-pending', [('pause-accepted', N, {})], N, {}, 'paused_at'), {'phase': 'paused', 'value': 3})\ncheck('domain state regression 5: paused_at', solve('resume-pending', [('resume-accepted', N, {})], N, {'paused_at': 3}, 'paused_at'), {'phase': 'running', 'value': None})\ncheck('domain state regression 6: done', solve('complete', [('late-progress', N, {'done': 2})], N, {'done': 10}, 'done'), {'phase': 'complete', 'value': 10})\ncheck('domain state regression 7: done', solve('running', [('request-pause', N, {}), ('pause-accepted', N, {}), ('resume-click', N, {}), ('resume-accepted', N, {}), ('work-complete', N, {'done': 10})], N, {}, 'done'), {'phase': 'complete', 'value': 10})\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":"c0000176767538eaad2b3c87a80acd985fd8444b1df2d8ea4f097bddef860cd7","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(initial, events, generation, payload=None, observe=None):\n    table = {('queued', 'worker-start'): 'running', ('running', 'request-pause'): 'pause-pending', ('pause-pending', 'pause-accepted'): 'paused', ('pause-pending', 'pause-rejected'): 'running', ('paused', 'resume-click'): 'resume-pending', ('resume-pending', 'resume-accepted'): 'running', ('running', 'work-complete'): 'complete', ('running', 'work-failed'): 'failed', ('complete', 'late-progress'): 'complete', ('paused', 'work-complete'): 'complete'}\n    data = json.loads(json.dumps({'done': 3, 'total': 10, 'job': 2, 'paused_at': None})) if payload is None else {**json.loads(json.dumps({'done': 3, 'total': 10, 'job': 2, 'paused_at': None})), **json.loads(json.dumps(payload))}\n    state = initial\n    for delivery in events:\n        event, event_generation = delivery[:2]\n        arg = delivery[2] if len(delivery) > 2 else {}\n        if event_generation == generation:\n            previous = state\n            if event in ('work-complete','work-failed','late-progress') and arg.get('job',data['job']) != data['job']: event = 'unknown-event'\n            if event == 'late-progress' and state != 'complete': data['done'] = min(data['total'],max(data['done'],arg.get('done',data['done'])))\n            if event == 'work-complete' and 'done' in arg and arg['done'] < data['total']: event = 'unknown-event'\n            state = table.get((state, event), state)\n            if state == 'complete': data['done'] = data['total']\n            if state == 'paused': data['paused_at'] = data['done']\n            if state == 'running': data['paused_at'] = None\n    return {'phase': state, 'value': data[observe]} if observe else state\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('queued / worker-start', solve('queued', [('worker-start', N)], N), 'running')\ncheck('running / request-pause', solve('running', [('request-pause', N)], N), 'pause-pending')\ncheck('pause-pending / pause-accepted', solve('pause-pending', [('pause-accepted', N)], N), 'paused')\ncheck('pause-pending / pause-rejected', solve('pause-pending', [('pause-rejected', N)], N), 'running')\ncheck('paused / resume-click', solve('paused', [('resume-click', N)], N), 'resume-pending')\ncheck('resume-pending / resume-accepted', solve('resume-pending', [('resume-accepted', N)], N), 'running')\ncheck('running / work-complete', solve('running', [('work-complete', N)], N), 'complete')\ncheck('running / work-failed', solve('running', [('work-failed', N)], N), 'failed')\ncheck('complete / late-progress', solve('complete', [('late-progress', N)], N), 'complete')\ncheck('paused / work-complete', solve('paused', [('work-complete', N)], N), 'complete')\ncheck('older notification incarnation', solve('queued', [('worker-start', N - 1)], N), 'queued')\ncheck('future notification incarnation', solve('queued', [('worker-start', N + 1)], N), 'queued')\ncheck('unknown event is inert', solve('queued', [('unknown-event', N)], N), 'queued')\ncheck('empty delivery batch', solve('queued', [], N), 'queued')\ncheck('N stale deliveries before current delivery', solve('queued', [('worker-start', N - 1)] * N + [('worker-start', N)], N), 'running')\ncheck('trace worker-start then request-pause', solve('queued', [('worker-start', N), ('request-pause', N)], N), 'pause-pending')\ncheck('trace worker-start then work-complete', solve('queued', [('worker-start', N), ('work-complete', N)], N), 'complete')\ncheck('trace worker-start then work-failed', solve('queued', [('worker-start', N), ('work-failed', N)], N), 'failed')\ncheck('trace request-pause then pause-accepted', solve('running', [('request-pause', N), ('pause-accepted', N)], N), 'paused')\ncheck('trace request-pause then pause-rejected', solve('running', [('request-pause', N), ('pause-rejected', N)], N), 'running')\ncheck('trace pause-accepted then resume-click', solve('pause-pending', [('pause-accepted', N), ('resume-click', N)], N), 'resume-pending')\ncheck('trace pause-accepted then work-complete', solve('pause-pending', [('pause-accepted', N), ('work-complete', N)], N), 'complete')\ncheck('trace pause-rejected then request-pause', solve('pause-pending', [('pause-rejected', N), ('request-pause', N)], N), 'pause-pending')\ncheck('trace pause-rejected then work-complete', solve('pause-pending', [('pause-rejected', N), ('work-complete', N)], N), 'complete')\ncheck('trace pause-rejected then work-failed', solve('pause-pending', [('pause-rejected', N), ('work-failed', N)], N), 'failed')\ncheck('trace resume-click then resume-accepted', solve('paused', [('resume-click', N), ('resume-accepted', N)], N), 'running')\ncheck('trace resume-accepted then request-pause', solve('resume-pending', [('resume-accepted', N), ('request-pause', N)], N), 'pause-pending')\ncheck('trace resume-accepted then work-complete', solve('resume-pending', [('resume-accepted', N), ('work-complete', N)], N), 'complete')\ncheck('trace resume-accepted then work-failed', solve('resume-pending', [('resume-accepted', N), ('work-failed', N)], N), 'failed')\ncheck('trace work-complete then late-progress', solve('running', [('work-complete', N), ('late-progress', N)], N), 'complete')\ncheck('trace late-progress then late-progress', solve('complete', [('late-progress', N), ('late-progress', N)], N), 'complete')\ncheck('trace work-complete then late-progress', solve('paused', [('work-complete', N), ('late-progress', N)], N), 'complete')\ncheck('domain state regression 1: done', solve('running', [('work-complete', N, {'job': 1})], N, {}, 'done'), {'phase': 'running', 'value': 3})\ncheck('domain state regression 2: done', solve('running', [('work-complete', N, {'done': 9})], N, {}, 'done'), {'phase': 'running', 'value': 3})\ncheck('domain state regression 3: done', solve('running', [('work-complete', N, {'done': 10})], N, {}, 'done'), {'phase': 'complete', 'value': 10})\ncheck('domain state regression 4: paused_at', solve('pause-pending', [('pause-accepted', N, {})], N, {}, 'paused_at'), {'phase': 'paused', 'value': 3})\ncheck('domain state regression 5: paused_at', solve('resume-pending', [('resume-accepted', N, {})], N, {'paused_at': 3}, 'paused_at'), {'phase': 'running', 'value': None})\ncheck('domain state regression 6: done', solve('complete', [('late-progress', N, {'done': 2})], N, {'done': 10}, 'done'), {'phase': 'complete', 'value': 10})\ncheck('domain state regression 7: done', solve('running', [('request-pause', N, {}), ('pause-accepted', N, {}), ('resume-click', N, {}), ('resume-accepted', N, {}), ('work-complete', N, {'done': 10})], N, {}, 'done'), {'phase': 'complete', 'value': 10})\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":"Stipulated single-notification state and policy model only. Event delivery and acknowledgements are explicit test inputs. No DOM, accessibility announcements, live timers, networking, actual rendering, or production-platform conformance is simulated. 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-notification-interfaces-progress-03","generated_at":"2026-09-29T14:42:31.527340+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Visual notification lifecycle ordering can leave an inbox or toast showing the wrong actionable state even when transport succeeds.","repair":"Commit the pause-pending / pause-accepted transition to paused; preserve the other explicitly stipulated transitions.","root_cause":"Confirmed pause leaves the spinner advancing.","sha256":"7abf16f82b7cd60ebc38bced673969ca8dbbafa8851d42248f3c3df2a32372d0","title":"Long-running notification progress: pause-accepted from pause-pending · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.011,"exit_code":1,"observations":[{"actual":"running","check":"queued / worker-start","expected":"running","passed":true},{"actual":"pause-pending","check":"running / request-pause","expected":"pause-pending","passed":true},{"actual":"complete","check":"pause-pending / pause-accepted","expected":"paused","passed":false},{"actual":"running","check":"pause-pending / pause-rejected","expected":"running","passed":true},{"actual":"resume-pending","check":"paused / resume-click","expected":"resume-pending","passed":true},{"actual":"running","check":"resume-pending / resume-accepted","expected":"running","passed":true},{"actual":"complete","check":"running / work-complete","expected":"complete","passed":true},{"actual":"failed","check":"running / work-failed","expected":"failed","passed":true},{"actual":"complete","check":"complete / late-progress","expected":"complete","passed":true},{"actual":"complete","check":"paused / work-complete","expected":"complete","passed":true},{"actual":"queued","check":"older notification incarnation","expected":"queued","passed":true},{"actual":"queued","check":"future notification incarnation","expected":"queued","passed":true},{"actual":"queued","check":"unknown event is inert","expected":"queued","passed":true},{"actual":"queued","check":"empty delivery batch","expected":"queued","passed":true},{"actual":"running","check":"N stale deliveries before current delivery","expected":"running","passed":true},{"actual":"pause-pending","check":"trace worker-start then request-pause","expected":"pause-pending","passed":true},{"actual":"complete","check":"trace worker-start then work-complete","expected":"complete","passed":true},{"actual":"failed","check":"trace worker-start then work-failed","expected":"failed","passed":true},{"actual":"complete","check":"trace request-pause then pause-accepted","expected":"paused","passed":false},{"actual":"running","check":"trace request-pause then pause-rejected","expected":"running","passed":true},{"actual":"complete","check":"trace pause-accepted then resume-click","expected":"resume-pending","passed":false},{"actual":"complete","check":"trace pause-accepted then work-complete","expected":"complete","passed":true},{"actual":"pause-pending","check":"trace pause-rejected then request-pause","expected":"pause-pending","passed":true},{"actual":"complete","check":"trace pause-rejected then work-complete","expected":"complete","passed":true},{"actual":"failed","check":"trace pause-rejected then work-failed","expected":"failed","passed":true},{"actual":"running","check":"trace resume-click then resume-accepted","expected":"running","passed":true},{"actual":"pause-pending","check":"trace resume-accepted then request-pause","expected":"pause-pending","passed":true},{"actual":"complete","check":"trace resume-accepted then work-complete","expected":"complete","passed":true},{"actual":"failed","check":"trace resume-accepted then work-failed","expected":"failed","passed":true},{"actual":"complete","check":"trace work-complete then late-progress","expected":"complete","passed":true},{"actual":"complete","check":"trace late-progress then late-progress","expected":"complete","passed":true},{"actual":"complete","check":"trace work-complete then late-progress","expected":"complete","passed":true},{"actual":{"phase":"running","value":3},"check":"domain state regression 1: done","expected":{"phase":"running","value":3},"passed":true},{"actual":{"phase":"running","value":3},"check":"domain state regression 2: done","expected":{"phase":"running","value":3},"passed":true},{"actual":{"phase":"complete","value":10},"check":"domain state regression 3: done","expected":{"phase":"complete","value":10},"passed":true},{"actual":{"phase":"complete","value":null},"check":"domain state regression 4: paused_at","expected":{"phase":"paused","value":3},"passed":false},{"actual":{"phase":"running","value":null},"check":"domain state regression 5: paused_at","expected":{"phase":"running","value":null},"passed":true},{"actual":{"phase":"complete","value":10},"check":"domain state regression 6: done","expected":{"phase":"complete","value":10},"passed":true},{"actual":{"phase":"complete","value":10},"check":"domain state regression 7: done","expected":{"phase":"complete","value":10},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"queued / worker-start\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"running / request-pause\", \"actual\": \"pause-pending\", \"expected\": \"pause-pending\", \"passed\": true}, {\"check\": \"pause-pending / pause-accepted\", \"actual\": \"complete\", \"expected\": \"paused\", \"passed\": false}, {\"check\": \"pause-pending / pause-rejected\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"paused / resume-click\", \"actual\": \"resume-pending\", \"expected\": \"resume-pending\", \"passed\": true}, {\"check\": \"resume-pending / resume-accepted\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"running / work-complete\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"running / work-failed\", \"actual\": \"failed\", \"expected\": \"failed\", \"passed\": true}, {\"check\": \"complete / late-progress\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"paused / work-complete\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"older notification incarnation\", \"actual\": \"queued\", \"expected\": \"queued\", \"passed\": true}, {\"check\": \"future notification incarnation\", \"actual\": \"queued\", \"expected\": \"queued\", \"passed\": true}, {\"check\": \"unknown event is inert\", \"actual\": \"queued\", \"expected\": \"queued\", \"passed\": true}, {\"check\": \"empty delivery batch\", \"actual\": \"queued\", \"expected\": \"queued\", \"passed\": true}, {\"check\": \"N stale deliveries before current delivery\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"trace worker-start then request-pause\", \"actual\": \"pause-pending\", \"expected\": \"pause-pending\", \"passed\": true}, {\"check\": \"trace worker-start then work-complete\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"trace worker-start then work-failed\", \"actual\": \"failed\", \"expected\": \"failed\", \"passed\": true}, {\"check\": \"trace request-pause then pause-accepted\", \"actual\": \"complete\", \"expected\": \"paused\", \"passed\": false}, {\"check\": \"trace request-pause then pause-rejected\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"trace pause-accepted then resume-click\", \"actual\": \"complete\", \"expected\": \"resume-pending\", \"passed\": false}, {\"check\": \"trace pause-accepted then work-complete\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"trace pause-rejected then request-pause\", \"actual\": \"pause-pending\", \"expected\": \"pause-pending\", \"passed\": true}, {\"check\": \"trace pause-rejected then work-complete\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"trace pause-rejected then work-failed\", \"actual\": \"failed\", \"expected\": \"failed\", \"passed\": true}, {\"check\": \"trace resume-click then resume-accepted\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"trace resume-accepted then request-pause\", \"actual\": \"pause-pending\", \"expected\": \"pause-pending\", \"passed\": true}, {\"check\": \"trace resume-accepted then work-complete\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"trace resume-accepted then work-failed\", \"actual\": \"failed\", \"expected\": \"failed\", \"passed\": true}, {\"check\": \"trace work-complete then late-progress\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"trace late-progress then late-progress\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"trace work-complete then late-progress\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"domain state regression 1: done\", \"actual\": {\"phase\": \"running\", \"value\": 3}, \"expected\": {\"phase\": \"running\", \"value\": 3}, \"passed\": true}, {\"check\": \"domain state regression 2: done\", \"actual\": {\"phase\": \"running\", \"value\": 3}, \"expected\": {\"phase\": \"running\", \"value\": 3}, \"passed\": true}, {\"check\": \"domain state regression 3: done\", \"actual\": {\"phase\": \"complete\", \"value\": 10}, \"expected\": {\"phase\": \"complete\", \"value\": 10}, \"passed\": true}, {\"check\": \"domain state regression 4: paused_at\", \"actual\": {\"phase\": \"complete\", \"value\": null}, \"expected\": {\"phase\": \"paused\", \"value\": 3}, \"passed\": false}, {\"check\": \"domain state regression 5: paused_at\", \"actual\": {\"phase\": \"running\", \"value\": null}, \"expected\": {\"phase\": \"running\", \"value\": null}, \"passed\": true}, {\"check\": \"domain state regression 6: done\", \"actual\": {\"phase\": \"complete\", \"value\": 10}, \"expected\": {\"phase\": \"complete\", \"value\": 10}, \"passed\": true}, {\"check\": \"domain state regression 7: done\", \"actual\": {\"phase\": \"complete\", \"value\": 10}, \"expected\": {\"phase\": \"complete\", \"value\": 10}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.877,"exit_code":1,"observations":[{"actual":"running","check":"queued / worker-start","expected":"running","passed":true},{"actual":"pause-pending","check":"running / request-pause","expected":"pause-pending","passed":true},{"actual":"running","check":"pause-pending / pause-accepted","expected":"paused","passed":false},{"actual":"running","check":"pause-pending / pause-rejected","expected":"running","passed":true},{"actual":"resume-pending","check":"paused / resume-click","expected":"resume-pending","passed":true},{"actual":"running","check":"resume-pending / resume-accepted","expected":"running","passed":true},{"actual":"complete","check":"running / work-complete","expected":"complete","passed":true},{"actual":"failed","check":"running / work-failed","expected":"failed","passed":true},{"actual":"complete","check":"complete / late-progress","expected":"complete","passed":true},{"actual":"complete","check":"paused / work-complete","expected":"complete","passed":true},{"actual":"queued","check":"older notification incarnation","expected":"queued","passed":true},{"actual":"queued","check":"future notification incarnation","expected":"queued","passed":true},{"actual":"queued","check":"unknown event is inert","expected":"queued","passed":true},{"actual":"queued","check":"empty delivery batch","expected":"queued","passed":true},{"actual":"running","check":"N stale deliveries before current delivery","expected":"running","passed":true},{"actual":"pause-pending","check":"trace worker-start then request-pause","expected":"pause-pending","passed":true},{"actual":"complete","check":"trace worker-start then work-complete","expected":"complete","passed":true},{"actual":"failed","check":"trace worker-start then work-failed","expected":"failed","passed":true},{"actual":"running","check":"trace request-pause then pause-accepted","expected":"paused","passed":false},{"actual":"running","check":"trace request-pause then pause-rejected","expected":"running","passed":true},{"actual":"running","check":"trace pause-accepted then resume-click","expected":"resume-pending","passed":false},{"actual":"complete","check":"trace pause-accepted then work-complete","expected":"complete","passed":true},{"actual":"pause-pending","check":"trace pause-rejected then request-pause","expected":"pause-pending","passed":true},{"actual":"complete","check":"trace pause-rejected then work-complete","expected":"complete","passed":true},{"actual":"failed","check":"trace pause-rejected then work-failed","expected":"failed","passed":true},{"actual":"running","check":"trace resume-click then resume-accepted","expected":"running","passed":true},{"actual":"pause-pending","check":"trace resume-accepted then request-pause","expected":"pause-pending","passed":true},{"actual":"complete","check":"trace resume-accepted then work-complete","expected":"complete","passed":true},{"actual":"failed","check":"trace resume-accepted then work-failed","expected":"failed","passed":true},{"actual":"complete","check":"trace work-complete then late-progress","expected":"complete","passed":true},{"actual":"complete","check":"trace late-progress then late-progress","expected":"complete","passed":true},{"actual":"complete","check":"trace work-complete then late-progress","expected":"complete","passed":true},{"actual":{"phase":"running","value":3},"check":"domain state regression 1: done","expected":{"phase":"running","value":3},"passed":true},{"actual":{"phase":"running","value":3},"check":"domain state regression 2: done","expected":{"phase":"running","value":3},"passed":true},{"actual":{"phase":"complete","value":10},"check":"domain state regression 3: done","expected":{"phase":"complete","value":10},"passed":true},{"actual":{"phase":"running","value":null},"check":"domain state regression 4: paused_at","expected":{"phase":"paused","value":3},"passed":false},{"actual":{"phase":"running","value":null},"check":"domain state regression 5: paused_at","expected":{"phase":"running","value":null},"passed":true},{"actual":{"phase":"complete","value":10},"check":"domain state regression 6: done","expected":{"phase":"complete","value":10},"passed":true},{"actual":{"phase":"complete","value":10},"check":"domain state regression 7: done","expected":{"phase":"complete","value":10},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"queued / worker-start\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"running / request-pause\", \"actual\": \"pause-pending\", \"expected\": \"pause-pending\", \"passed\": true}, {\"check\": \"pause-pending / pause-accepted\", \"actual\": \"running\", \"expected\": \"paused\", \"passed\": false}, {\"check\": \"pause-pending / pause-rejected\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"paused / resume-click\", \"actual\": \"resume-pending\", \"expected\": \"resume-pending\", \"passed\": true}, {\"check\": \"resume-pending / resume-accepted\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"running / work-complete\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"running / work-failed\", \"actual\": \"failed\", \"expected\": \"failed\", \"passed\": true}, {\"check\": \"complete / late-progress\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"paused / work-complete\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"older notification incarnation\", \"actual\": \"queued\", \"expected\": \"queued\", \"passed\": true}, {\"check\": \"future notification incarnation\", \"actual\": \"queued\", \"expected\": \"queued\", \"passed\": true}, {\"check\": \"unknown event is inert\", \"actual\": \"queued\", \"expected\": \"queued\", \"passed\": true}, {\"check\": \"empty delivery batch\", \"actual\": \"queued\", \"expected\": \"queued\", \"passed\": true}, {\"check\": \"N stale deliveries before current delivery\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"trace worker-start then request-pause\", \"actual\": \"pause-pending\", \"expected\": \"pause-pending\", \"passed\": true}, {\"check\": \"trace worker-start then work-complete\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"trace worker-start then work-failed\", \"actual\": \"failed\", \"expected\": \"failed\", \"passed\": true}, {\"check\": \"trace request-pause then pause-accepted\", \"actual\": \"running\", \"expected\": \"paused\", \"passed\": false}, {\"check\": \"trace request-pause then pause-rejected\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"trace pause-accepted then resume-click\", \"actual\": \"running\", \"expected\": \"resume-pending\", \"passed\": false}, {\"check\": \"trace pause-accepted then work-complete\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"trace pause-rejected then request-pause\", \"actual\": \"pause-pending\", \"expected\": \"pause-pending\", \"passed\": true}, {\"check\": \"trace pause-rejected then work-complete\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"trace pause-rejected then work-failed\", \"actual\": \"failed\", \"expected\": \"failed\", \"passed\": true}, {\"check\": \"trace resume-click then resume-accepted\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"trace resume-accepted then request-pause\", \"actual\": \"pause-pending\", \"expected\": \"pause-pending\", \"passed\": true}, {\"check\": \"trace resume-accepted then work-complete\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"trace resume-accepted then work-failed\", \"actual\": \"failed\", \"expected\": \"failed\", \"passed\": true}, {\"check\": \"trace work-complete then late-progress\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"trace late-progress then late-progress\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"trace work-complete then late-progress\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"domain state regression 1: done\", \"actual\": {\"phase\": \"running\", \"value\": 3}, \"expected\": {\"phase\": \"running\", \"value\": 3}, \"passed\": true}, {\"check\": \"domain state regression 2: done\", \"actual\": {\"phase\": \"running\", \"value\": 3}, \"expected\": {\"phase\": \"running\", \"value\": 3}, \"passed\": true}, {\"check\": \"domain state regression 3: done\", \"actual\": {\"phase\": \"complete\", \"value\": 10}, \"expected\": {\"phase\": \"complete\", \"value\": 10}, \"passed\": true}, {\"check\": \"domain state regression 4: paused_at\", \"actual\": {\"phase\": \"running\", \"value\": null}, \"expected\": {\"phase\": \"paused\", \"value\": 3}, \"passed\": false}, {\"check\": \"domain state regression 5: paused_at\", \"actual\": {\"phase\": \"running\", \"value\": null}, \"expected\": {\"phase\": \"running\", \"value\": null}, \"passed\": true}, {\"check\": \"domain state regression 6: done\", \"actual\": {\"phase\": \"complete\", \"value\": 10}, \"expected\": {\"phase\": \"complete\", \"value\": 10}, \"passed\": true}, {\"check\": \"domain state regression 7: done\", \"actual\": {\"phase\": \"complete\", \"value\": 10}, \"expected\": {\"phase\": \"complete\", \"value\": 10}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.889,"exit_code":0,"observations":[{"actual":"running","check":"queued / worker-start","expected":"running","passed":true},{"actual":"pause-pending","check":"running / request-pause","expected":"pause-pending","passed":true},{"actual":"paused","check":"pause-pending / pause-accepted","expected":"paused","passed":true},{"actual":"running","check":"pause-pending / pause-rejected","expected":"running","passed":true},{"actual":"resume-pending","check":"paused / resume-click","expected":"resume-pending","passed":true},{"actual":"running","check":"resume-pending / resume-accepted","expected":"running","passed":true},{"actual":"complete","check":"running / work-complete","expected":"complete","passed":true},{"actual":"failed","check":"running / work-failed","expected":"failed","passed":true},{"actual":"complete","check":"complete / late-progress","expected":"complete","passed":true},{"actual":"complete","check":"paused / work-complete","expected":"complete","passed":true},{"actual":"queued","check":"older notification incarnation","expected":"queued","passed":true},{"actual":"queued","check":"future notification incarnation","expected":"queued","passed":true},{"actual":"queued","check":"unknown event is inert","expected":"queued","passed":true},{"actual":"queued","check":"empty delivery batch","expected":"queued","passed":true},{"actual":"running","check":"N stale deliveries before current delivery","expected":"running","passed":true},{"actual":"pause-pending","check":"trace worker-start then request-pause","expected":"pause-pending","passed":true},{"actual":"complete","check":"trace worker-start then work-complete","expected":"complete","passed":true},{"actual":"failed","check":"trace worker-start then work-failed","expected":"failed","passed":true},{"actual":"paused","check":"trace request-pause then pause-accepted","expected":"paused","passed":true},{"actual":"running","check":"trace request-pause then pause-rejected","expected":"running","passed":true},{"actual":"resume-pending","check":"trace pause-accepted then resume-click","expected":"resume-pending","passed":true},{"actual":"complete","check":"trace pause-accepted then work-complete","expected":"complete","passed":true},{"actual":"pause-pending","check":"trace pause-rejected then request-pause","expected":"pause-pending","passed":true},{"actual":"complete","check":"trace pause-rejected then work-complete","expected":"complete","passed":true},{"actual":"failed","check":"trace pause-rejected then work-failed","expected":"failed","passed":true},{"actual":"running","check":"trace resume-click then resume-accepted","expected":"running","passed":true},{"actual":"pause-pending","check":"trace resume-accepted then request-pause","expected":"pause-pending","passed":true},{"actual":"complete","check":"trace resume-accepted then work-complete","expected":"complete","passed":true},{"actual":"failed","check":"trace resume-accepted then work-failed","expected":"failed","passed":true},{"actual":"complete","check":"trace work-complete then late-progress","expected":"complete","passed":true},{"actual":"complete","check":"trace late-progress then late-progress","expected":"complete","passed":true},{"actual":"complete","check":"trace work-complete then late-progress","expected":"complete","passed":true},{"actual":{"phase":"running","value":3},"check":"domain state regression 1: done","expected":{"phase":"running","value":3},"passed":true},{"actual":{"phase":"running","value":3},"check":"domain state regression 2: done","expected":{"phase":"running","value":3},"passed":true},{"actual":{"phase":"complete","value":10},"check":"domain state regression 3: done","expected":{"phase":"complete","value":10},"passed":true},{"actual":{"phase":"paused","value":3},"check":"domain state regression 4: paused_at","expected":{"phase":"paused","value":3},"passed":true},{"actual":{"phase":"running","value":null},"check":"domain state regression 5: paused_at","expected":{"phase":"running","value":null},"passed":true},{"actual":{"phase":"complete","value":10},"check":"domain state regression 6: done","expected":{"phase":"complete","value":10},"passed":true},{"actual":{"phase":"complete","value":10},"check":"domain state regression 7: done","expected":{"phase":"complete","value":10},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"queued / worker-start\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"running / request-pause\", \"actual\": \"pause-pending\", \"expected\": \"pause-pending\", \"passed\": true}, {\"check\": \"pause-pending / pause-accepted\", \"actual\": \"paused\", \"expected\": \"paused\", \"passed\": true}, {\"check\": \"pause-pending / pause-rejected\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"paused / resume-click\", \"actual\": \"resume-pending\", \"expected\": \"resume-pending\", \"passed\": true}, {\"check\": \"resume-pending / resume-accepted\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"running / work-complete\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"running / work-failed\", \"actual\": \"failed\", \"expected\": \"failed\", \"passed\": true}, {\"check\": \"complete / late-progress\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"paused / work-complete\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"older notification incarnation\", \"actual\": \"queued\", \"expected\": \"queued\", \"passed\": true}, {\"check\": \"future notification incarnation\", \"actual\": \"queued\", \"expected\": \"queued\", \"passed\": true}, {\"check\": \"unknown event is inert\", \"actual\": \"queued\", \"expected\": \"queued\", \"passed\": true}, {\"check\": \"empty delivery batch\", \"actual\": \"queued\", \"expected\": \"queued\", \"passed\": true}, {\"check\": \"N stale deliveries before current delivery\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"trace worker-start then request-pause\", \"actual\": \"pause-pending\", \"expected\": \"pause-pending\", \"passed\": true}, {\"check\": \"trace worker-start then work-complete\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"trace worker-start then work-failed\", \"actual\": \"failed\", \"expected\": \"failed\", \"passed\": true}, {\"check\": \"trace request-pause then pause-accepted\", \"actual\": \"paused\", \"expected\": \"paused\", \"passed\": true}, {\"check\": \"trace request-pause then pause-rejected\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"trace pause-accepted then resume-click\", \"actual\": \"resume-pending\", \"expected\": \"resume-pending\", \"passed\": true}, {\"check\": \"trace pause-accepted then work-complete\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"trace pause-rejected then request-pause\", \"actual\": \"pause-pending\", \"expected\": \"pause-pending\", \"passed\": true}, {\"check\": \"trace pause-rejected then work-complete\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"trace pause-rejected then work-failed\", \"actual\": \"failed\", \"expected\": \"failed\", \"passed\": true}, {\"check\": \"trace resume-click then resume-accepted\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"trace resume-accepted then request-pause\", \"actual\": \"pause-pending\", \"expected\": \"pause-pending\", \"passed\": true}, {\"check\": \"trace resume-accepted then work-complete\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"trace resume-accepted then work-failed\", \"actual\": \"failed\", \"expected\": \"failed\", \"passed\": true}, {\"check\": \"trace work-complete then late-progress\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"trace late-progress then late-progress\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"trace work-complete then late-progress\", \"actual\": \"complete\", \"expected\": \"complete\", \"passed\": true}, {\"check\": \"domain state regression 1: done\", \"actual\": {\"phase\": \"running\", \"value\": 3}, \"expected\": {\"phase\": \"running\", \"value\": 3}, \"passed\": true}, {\"check\": \"domain state regression 2: done\", \"actual\": {\"phase\": \"running\", \"value\": 3}, \"expected\": {\"phase\": \"running\", \"value\": 3}, \"passed\": true}, {\"check\": \"domain state regression 3: done\", \"actual\": {\"phase\": \"complete\", \"value\": 10}, \"expected\": {\"phase\": \"complete\", \"value\": 10}, \"passed\": true}, {\"check\": \"domain state regression 4: paused_at\", \"actual\": {\"phase\": \"paused\", \"value\": 3}, \"expected\": {\"phase\": \"paused\", \"value\": 3}, \"passed\": true}, {\"check\": \"domain state regression 5: paused_at\", \"actual\": {\"phase\": \"running\", \"value\": null}, \"expected\": {\"phase\": \"running\", \"value\": null}, \"passed\": true}, {\"check\": \"domain state regression 6: done\", \"actual\": {\"phase\": \"complete\", \"value\": 10}, \"expected\": {\"phase\": \"complete\", \"value\": 10}, \"passed\": true}, {\"check\": \"domain state regression 7: done\", \"actual\": {\"phase\": \"complete\", \"value\": 10}, \"expected\": {\"phase\": \"complete\", \"value\": 10}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}