{"abstract":"The navigation-failed event leaves a notification in opened instead of navigation-error.","category":"Notification interfaces","checks":38,"contract":"Notification target opening feedback is a bounded visual-notification workflow with mutable policy state {'target': 'document-7', 'resolved': None, 'visited': [], 'permission': False}. Its default transition relation is {('actionable', 'open-target'): 'resolving', ('resolving', 'target-found'): 'navigating', ('navigating', 'navigation-complete'): 'opened', ('resolving', 'target-deleted'): 'unavailable', ('resolving', 'access-required'): 'permission-needed', ('permission-needed', 'request-access'): 'access-pending', ('access-pending', 'access-granted'): 'resolving', ('navigating', 'navigation-failed'): 'navigation-error', ('navigation-error', 'retry-navigation'): 'navigating', ('resolving', 'cancel-open'): 'actionable'}; 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-deep-link","failed_approach":"Calling a live target unavailable hides a retryable navigation failure.","family":"s3-notification-interfaces-deep-link-08","id":"FA-35026","implementations":{"attempt":{"sha256":"e46da7e0f50e070a66304c7183e1b7b210e090ec956e959976c3cf429a2639e3","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 = {('actionable', 'open-target'): 'resolving', ('resolving', 'target-found'): 'navigating', ('navigating', 'navigation-complete'): 'opened', ('resolving', 'target-deleted'): 'unavailable', ('resolving', 'access-required'): 'permission-needed', ('permission-needed', 'request-access'): 'access-pending', ('access-pending', 'access-granted'): 'resolving', ('navigating', 'navigation-failed'): 'unavailable', ('navigation-error', 'retry-navigation'): 'navigating', ('resolving', 'cancel-open'): 'actionable'}\n    data = json.loads(json.dumps({'target': 'document-7', 'resolved': None, 'visited': [], 'permission': False})) if payload is None else {**json.loads(json.dumps({'target': 'document-7', 'resolved': None, 'visited': [], 'permission': False})), **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 ('target-found','target-deleted','access-granted') and arg.get('target',data['target']) != data['target']: event = 'unknown-event'\n            if event == 'target-found': data['resolved'] = arg.get('route','/documents/7')\n            if event == 'access-granted': data['permission'] = True\n            state = table.get((state, event), state)\n            if state == 'opened' and data['resolved'] is not None: data['visited'].append(data['resolved'])\n            if state == 'unavailable': data['resolved'] = 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('actionable / open-target', solve('actionable', [('open-target', N)], N), 'resolving')\ncheck('resolving / target-found', solve('resolving', [('target-found', N)], N), 'navigating')\ncheck('navigating / navigation-complete', solve('navigating', [('navigation-complete', N)], N), 'opened')\ncheck('resolving / target-deleted', solve('resolving', [('target-deleted', N)], N), 'unavailable')\ncheck('resolving / access-required', solve('resolving', [('access-required', N)], N), 'permission-needed')\ncheck('permission-needed / request-access', solve('permission-needed', [('request-access', N)], N), 'access-pending')\ncheck('access-pending / access-granted', solve('access-pending', [('access-granted', N)], N), 'resolving')\ncheck('navigating / navigation-failed', solve('navigating', [('navigation-failed', N)], N), 'navigation-error')\ncheck('navigation-error / retry-navigation', solve('navigation-error', [('retry-navigation', N)], N), 'navigating')\ncheck('resolving / cancel-open', solve('resolving', [('cancel-open', N)], N), 'actionable')\ncheck('older notification incarnation', solve('actionable', [('open-target', N - 1)], N), 'actionable')\ncheck('future notification incarnation', solve('actionable', [('open-target', N + 1)], N), 'actionable')\ncheck('unknown event is inert', solve('actionable', [('unknown-event', N)], N), 'actionable')\ncheck('empty delivery batch', solve('actionable', [], N), 'actionable')\ncheck('N stale deliveries before current delivery', solve('actionable', [('open-target', N - 1)] * N + [('open-target', N)], N), 'resolving')\ncheck('trace open-target then target-found', solve('actionable', [('open-target', N), ('target-found', N)], N), 'navigating')\ncheck('trace open-target then target-deleted', solve('actionable', [('open-target', N), ('target-deleted', N)], N), 'unavailable')\ncheck('trace open-target then access-required', solve('actionable', [('open-target', N), ('access-required', N)], N), 'permission-needed')\ncheck('trace open-target then cancel-open', solve('actionable', [('open-target', N), ('cancel-open', N)], N), 'actionable')\ncheck('trace target-found then navigation-complete', solve('resolving', [('target-found', N), ('navigation-complete', N)], N), 'opened')\ncheck('trace target-found then navigation-failed', solve('resolving', [('target-found', N), ('navigation-failed', N)], N), 'navigation-error')\ncheck('trace access-required then request-access', solve('resolving', [('access-required', N), ('request-access', N)], N), 'access-pending')\ncheck('trace request-access then access-granted', solve('permission-needed', [('request-access', N), ('access-granted', N)], N), 'resolving')\ncheck('trace access-granted then target-found', solve('access-pending', [('access-granted', N), ('target-found', N)], N), 'navigating')\ncheck('trace access-granted then target-deleted', solve('access-pending', [('access-granted', N), ('target-deleted', N)], N), 'unavailable')\ncheck('trace access-granted then access-required', solve('access-pending', [('access-granted', N), ('access-required', N)], N), 'permission-needed')\ncheck('trace access-granted then cancel-open', solve('access-pending', [('access-granted', N), ('cancel-open', N)], N), 'actionable')\ncheck('trace navigation-failed then retry-navigation', solve('navigating', [('navigation-failed', N), ('retry-navigation', N)], N), 'navigating')\ncheck('trace retry-navigation then navigation-complete', solve('navigation-error', [('retry-navigation', N), ('navigation-complete', N)], N), 'opened')\ncheck('trace retry-navigation then navigation-failed', solve('navigation-error', [('retry-navigation', N), ('navigation-failed', N)], N), 'navigation-error')\ncheck('trace cancel-open then open-target', solve('resolving', [('cancel-open', N), ('open-target', N)], N), 'resolving')\ncheck('domain state regression 1: resolved', solve('resolving', [('target-found', N, {'target': 'document-6'})], N, {}, 'resolved'), {'phase': 'resolving', 'value': None})\ncheck('domain state regression 2: resolved', solve('resolving', [('target-found', N, {'route': '/documents/renamed'})], N, {}, 'resolved'), {'phase': 'navigating', 'value': '/documents/renamed'})\ncheck('domain state regression 3: visited', solve('navigating', [('navigation-complete', N, {})], N, {'resolved': '/documents/7'}, 'visited'), {'phase': 'opened', 'value': ['/documents/7']})\ncheck('domain state regression 4: permission', solve('access-pending', [('access-granted', N, {})], N, {}, 'permission'), {'phase': 'resolving', 'value': True})\ncheck('domain state regression 5: resolved', solve('resolving', [('target-deleted', N, {})], N, {'resolved': '/old'}, 'resolved'), {'phase': 'unavailable', 'value': None})\ncheck('domain state regression 6: resolved', solve('navigation-error', [('retry-navigation', N, {})], N, {'resolved': '/documents/7'}, 'resolved'), {'phase': 'navigating', 'value': '/documents/7'})\ncheck('domain state regression 7: visited', solve('actionable', [('open-target', N, {}), ('target-found', N, {'route': '/documents/new'}), ('navigation-failed', N, {}), ('retry-navigation', N, {}), ('navigation-complete', N, {})], N, {}, 'visited'), {'phase': 'opened', 'value': ['/documents/new']})\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":"9bb317919a39fbe4d55afb4c234b30fa0f3498825fae445b3e22ff9276bb3a37","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 = {('actionable', 'open-target'): 'resolving', ('resolving', 'target-found'): 'navigating', ('navigating', 'navigation-complete'): 'opened', ('resolving', 'target-deleted'): 'unavailable', ('resolving', 'access-required'): 'permission-needed', ('permission-needed', 'request-access'): 'access-pending', ('access-pending', 'access-granted'): 'resolving', ('navigating', 'navigation-failed'): 'opened', ('navigation-error', 'retry-navigation'): 'navigating', ('resolving', 'cancel-open'): 'actionable'}\n    data = json.loads(json.dumps({'target': 'document-7', 'resolved': None, 'visited': [], 'permission': False})) if payload is None else {**json.loads(json.dumps({'target': 'document-7', 'resolved': None, 'visited': [], 'permission': False})), **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 ('target-found','target-deleted','access-granted') and arg.get('target',data['target']) != data['target']: event = 'unknown-event'\n            if event == 'target-found': data['resolved'] = arg.get('route','/documents/7')\n            if event == 'access-granted': data['permission'] = True\n            state = table.get((state, event), state)\n            if state == 'opened' and data['resolved'] is not None: data['visited'].append(data['resolved'])\n            if state == 'unavailable': data['resolved'] = 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('actionable / open-target', solve('actionable', [('open-target', N)], N), 'resolving')\ncheck('resolving / target-found', solve('resolving', [('target-found', N)], N), 'navigating')\ncheck('navigating / navigation-complete', solve('navigating', [('navigation-complete', N)], N), 'opened')\ncheck('resolving / target-deleted', solve('resolving', [('target-deleted', N)], N), 'unavailable')\ncheck('resolving / access-required', solve('resolving', [('access-required', N)], N), 'permission-needed')\ncheck('permission-needed / request-access', solve('permission-needed', [('request-access', N)], N), 'access-pending')\ncheck('access-pending / access-granted', solve('access-pending', [('access-granted', N)], N), 'resolving')\ncheck('navigating / navigation-failed', solve('navigating', [('navigation-failed', N)], N), 'navigation-error')\ncheck('navigation-error / retry-navigation', solve('navigation-error', [('retry-navigation', N)], N), 'navigating')\ncheck('resolving / cancel-open', solve('resolving', [('cancel-open', N)], N), 'actionable')\ncheck('older notification incarnation', solve('actionable', [('open-target', N - 1)], N), 'actionable')\ncheck('future notification incarnation', solve('actionable', [('open-target', N + 1)], N), 'actionable')\ncheck('unknown event is inert', solve('actionable', [('unknown-event', N)], N), 'actionable')\ncheck('empty delivery batch', solve('actionable', [], N), 'actionable')\ncheck('N stale deliveries before current delivery', solve('actionable', [('open-target', N - 1)] * N + [('open-target', N)], N), 'resolving')\ncheck('trace open-target then target-found', solve('actionable', [('open-target', N), ('target-found', N)], N), 'navigating')\ncheck('trace open-target then target-deleted', solve('actionable', [('open-target', N), ('target-deleted', N)], N), 'unavailable')\ncheck('trace open-target then access-required', solve('actionable', [('open-target', N), ('access-required', N)], N), 'permission-needed')\ncheck('trace open-target then cancel-open', solve('actionable', [('open-target', N), ('cancel-open', N)], N), 'actionable')\ncheck('trace target-found then navigation-complete', solve('resolving', [('target-found', N), ('navigation-complete', N)], N), 'opened')\ncheck('trace target-found then navigation-failed', solve('resolving', [('target-found', N), ('navigation-failed', N)], N), 'navigation-error')\ncheck('trace access-required then request-access', solve('resolving', [('access-required', N), ('request-access', N)], N), 'access-pending')\ncheck('trace request-access then access-granted', solve('permission-needed', [('request-access', N), ('access-granted', N)], N), 'resolving')\ncheck('trace access-granted then target-found', solve('access-pending', [('access-granted', N), ('target-found', N)], N), 'navigating')\ncheck('trace access-granted then target-deleted', solve('access-pending', [('access-granted', N), ('target-deleted', N)], N), 'unavailable')\ncheck('trace access-granted then access-required', solve('access-pending', [('access-granted', N), ('access-required', N)], N), 'permission-needed')\ncheck('trace access-granted then cancel-open', solve('access-pending', [('access-granted', N), ('cancel-open', N)], N), 'actionable')\ncheck('trace navigation-failed then retry-navigation', solve('navigating', [('navigation-failed', N), ('retry-navigation', N)], N), 'navigating')\ncheck('trace retry-navigation then navigation-complete', solve('navigation-error', [('retry-navigation', N), ('navigation-complete', N)], N), 'opened')\ncheck('trace retry-navigation then navigation-failed', solve('navigation-error', [('retry-navigation', N), ('navigation-failed', N)], N), 'navigation-error')\ncheck('trace cancel-open then open-target', solve('resolving', [('cancel-open', N), ('open-target', N)], N), 'resolving')\ncheck('domain state regression 1: resolved', solve('resolving', [('target-found', N, {'target': 'document-6'})], N, {}, 'resolved'), {'phase': 'resolving', 'value': None})\ncheck('domain state regression 2: resolved', solve('resolving', [('target-found', N, {'route': '/documents/renamed'})], N, {}, 'resolved'), {'phase': 'navigating', 'value': '/documents/renamed'})\ncheck('domain state regression 3: visited', solve('navigating', [('navigation-complete', N, {})], N, {'resolved': '/documents/7'}, 'visited'), {'phase': 'opened', 'value': ['/documents/7']})\ncheck('domain state regression 4: permission', solve('access-pending', [('access-granted', N, {})], N, {}, 'permission'), {'phase': 'resolving', 'value': True})\ncheck('domain state regression 5: resolved', solve('resolving', [('target-deleted', N, {})], N, {'resolved': '/old'}, 'resolved'), {'phase': 'unavailable', 'value': None})\ncheck('domain state regression 6: resolved', solve('navigation-error', [('retry-navigation', N, {})], N, {'resolved': '/documents/7'}, 'resolved'), {'phase': 'navigating', 'value': '/documents/7'})\ncheck('domain state regression 7: visited', solve('actionable', [('open-target', N, {}), ('target-found', N, {'route': '/documents/new'}), ('navigation-failed', N, {}), ('retry-navigation', N, {}), ('navigation-complete', N, {})], N, {}, 'visited'), {'phase': 'opened', 'value': ['/documents/new']})\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":"f19f04c43d045a01a71c37bc2717fad4edd3796eb9168aa0fb993bbf44a8d555","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 = {('actionable', 'open-target'): 'resolving', ('resolving', 'target-found'): 'navigating', ('navigating', 'navigation-complete'): 'opened', ('resolving', 'target-deleted'): 'unavailable', ('resolving', 'access-required'): 'permission-needed', ('permission-needed', 'request-access'): 'access-pending', ('access-pending', 'access-granted'): 'resolving', ('navigating', 'navigation-failed'): 'navigation-error', ('navigation-error', 'retry-navigation'): 'navigating', ('resolving', 'cancel-open'): 'actionable'}\n    data = json.loads(json.dumps({'target': 'document-7', 'resolved': None, 'visited': [], 'permission': False})) if payload is None else {**json.loads(json.dumps({'target': 'document-7', 'resolved': None, 'visited': [], 'permission': False})), **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 ('target-found','target-deleted','access-granted') and arg.get('target',data['target']) != data['target']: event = 'unknown-event'\n            if event == 'target-found': data['resolved'] = arg.get('route','/documents/7')\n            if event == 'access-granted': data['permission'] = True\n            state = table.get((state, event), state)\n            if state == 'opened' and data['resolved'] is not None: data['visited'].append(data['resolved'])\n            if state == 'unavailable': data['resolved'] = 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('actionable / open-target', solve('actionable', [('open-target', N)], N), 'resolving')\ncheck('resolving / target-found', solve('resolving', [('target-found', N)], N), 'navigating')\ncheck('navigating / navigation-complete', solve('navigating', [('navigation-complete', N)], N), 'opened')\ncheck('resolving / target-deleted', solve('resolving', [('target-deleted', N)], N), 'unavailable')\ncheck('resolving / access-required', solve('resolving', [('access-required', N)], N), 'permission-needed')\ncheck('permission-needed / request-access', solve('permission-needed', [('request-access', N)], N), 'access-pending')\ncheck('access-pending / access-granted', solve('access-pending', [('access-granted', N)], N), 'resolving')\ncheck('navigating / navigation-failed', solve('navigating', [('navigation-failed', N)], N), 'navigation-error')\ncheck('navigation-error / retry-navigation', solve('navigation-error', [('retry-navigation', N)], N), 'navigating')\ncheck('resolving / cancel-open', solve('resolving', [('cancel-open', N)], N), 'actionable')\ncheck('older notification incarnation', solve('actionable', [('open-target', N - 1)], N), 'actionable')\ncheck('future notification incarnation', solve('actionable', [('open-target', N + 1)], N), 'actionable')\ncheck('unknown event is inert', solve('actionable', [('unknown-event', N)], N), 'actionable')\ncheck('empty delivery batch', solve('actionable', [], N), 'actionable')\ncheck('N stale deliveries before current delivery', solve('actionable', [('open-target', N - 1)] * N + [('open-target', N)], N), 'resolving')\ncheck('trace open-target then target-found', solve('actionable', [('open-target', N), ('target-found', N)], N), 'navigating')\ncheck('trace open-target then target-deleted', solve('actionable', [('open-target', N), ('target-deleted', N)], N), 'unavailable')\ncheck('trace open-target then access-required', solve('actionable', [('open-target', N), ('access-required', N)], N), 'permission-needed')\ncheck('trace open-target then cancel-open', solve('actionable', [('open-target', N), ('cancel-open', N)], N), 'actionable')\ncheck('trace target-found then navigation-complete', solve('resolving', [('target-found', N), ('navigation-complete', N)], N), 'opened')\ncheck('trace target-found then navigation-failed', solve('resolving', [('target-found', N), ('navigation-failed', N)], N), 'navigation-error')\ncheck('trace access-required then request-access', solve('resolving', [('access-required', N), ('request-access', N)], N), 'access-pending')\ncheck('trace request-access then access-granted', solve('permission-needed', [('request-access', N), ('access-granted', N)], N), 'resolving')\ncheck('trace access-granted then target-found', solve('access-pending', [('access-granted', N), ('target-found', N)], N), 'navigating')\ncheck('trace access-granted then target-deleted', solve('access-pending', [('access-granted', N), ('target-deleted', N)], N), 'unavailable')\ncheck('trace access-granted then access-required', solve('access-pending', [('access-granted', N), ('access-required', N)], N), 'permission-needed')\ncheck('trace access-granted then cancel-open', solve('access-pending', [('access-granted', N), ('cancel-open', N)], N), 'actionable')\ncheck('trace navigation-failed then retry-navigation', solve('navigating', [('navigation-failed', N), ('retry-navigation', N)], N), 'navigating')\ncheck('trace retry-navigation then navigation-complete', solve('navigation-error', [('retry-navigation', N), ('navigation-complete', N)], N), 'opened')\ncheck('trace retry-navigation then navigation-failed', solve('navigation-error', [('retry-navigation', N), ('navigation-failed', N)], N), 'navigation-error')\ncheck('trace cancel-open then open-target', solve('resolving', [('cancel-open', N), ('open-target', N)], N), 'resolving')\ncheck('domain state regression 1: resolved', solve('resolving', [('target-found', N, {'target': 'document-6'})], N, {}, 'resolved'), {'phase': 'resolving', 'value': None})\ncheck('domain state regression 2: resolved', solve('resolving', [('target-found', N, {'route': '/documents/renamed'})], N, {}, 'resolved'), {'phase': 'navigating', 'value': '/documents/renamed'})\ncheck('domain state regression 3: visited', solve('navigating', [('navigation-complete', N, {})], N, {'resolved': '/documents/7'}, 'visited'), {'phase': 'opened', 'value': ['/documents/7']})\ncheck('domain state regression 4: permission', solve('access-pending', [('access-granted', N, {})], N, {}, 'permission'), {'phase': 'resolving', 'value': True})\ncheck('domain state regression 5: resolved', solve('resolving', [('target-deleted', N, {})], N, {'resolved': '/old'}, 'resolved'), {'phase': 'unavailable', 'value': None})\ncheck('domain state regression 6: resolved', solve('navigation-error', [('retry-navigation', N, {})], N, {'resolved': '/documents/7'}, 'resolved'), {'phase': 'navigating', 'value': '/documents/7'})\ncheck('domain state regression 7: visited', solve('actionable', [('open-target', N, {}), ('target-found', N, {'route': '/documents/new'}), ('navigation-failed', N, {}), ('retry-navigation', N, {}), ('navigation-complete', N, {})], N, {}, 'visited'), {'phase': 'opened', 'value': ['/documents/new']})\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-deep-link-08","generated_at":"2026-09-29T14:42:37.567687+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 navigating / navigation-failed transition to navigation-error; preserve the other explicitly stipulated transitions.","root_cause":"A failed route transition still marks the notification opened.","sha256":"c780cae877db270c9799407756f464c46537d7ee6283bf42b41a4a49e52c3191","title":"Notification target opening feedback: navigation-failed from navigating · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.013,"exit_code":1,"observations":[{"actual":"resolving","check":"actionable / open-target","expected":"resolving","passed":true},{"actual":"navigating","check":"resolving / target-found","expected":"navigating","passed":true},{"actual":"opened","check":"navigating / navigation-complete","expected":"opened","passed":true},{"actual":"unavailable","check":"resolving / target-deleted","expected":"unavailable","passed":true},{"actual":"permission-needed","check":"resolving / access-required","expected":"permission-needed","passed":true},{"actual":"access-pending","check":"permission-needed / request-access","expected":"access-pending","passed":true},{"actual":"resolving","check":"access-pending / access-granted","expected":"resolving","passed":true},{"actual":"unavailable","check":"navigating / navigation-failed","expected":"navigation-error","passed":false},{"actual":"navigating","check":"navigation-error / retry-navigation","expected":"navigating","passed":true},{"actual":"actionable","check":"resolving / cancel-open","expected":"actionable","passed":true},{"actual":"actionable","check":"older notification incarnation","expected":"actionable","passed":true},{"actual":"actionable","check":"future notification incarnation","expected":"actionable","passed":true},{"actual":"actionable","check":"unknown event is inert","expected":"actionable","passed":true},{"actual":"actionable","check":"empty delivery batch","expected":"actionable","passed":true},{"actual":"resolving","check":"N stale deliveries before current delivery","expected":"resolving","passed":true},{"actual":"navigating","check":"trace open-target then target-found","expected":"navigating","passed":true},{"actual":"unavailable","check":"trace open-target then target-deleted","expected":"unavailable","passed":true},{"actual":"permission-needed","check":"trace open-target then access-required","expected":"permission-needed","passed":true},{"actual":"actionable","check":"trace open-target then cancel-open","expected":"actionable","passed":true},{"actual":"opened","check":"trace target-found then navigation-complete","expected":"opened","passed":true},{"actual":"unavailable","check":"trace target-found then navigation-failed","expected":"navigation-error","passed":false},{"actual":"access-pending","check":"trace access-required then request-access","expected":"access-pending","passed":true},{"actual":"resolving","check":"trace request-access then access-granted","expected":"resolving","passed":true},{"actual":"navigating","check":"trace access-granted then target-found","expected":"navigating","passed":true},{"actual":"unavailable","check":"trace access-granted then target-deleted","expected":"unavailable","passed":true},{"actual":"permission-needed","check":"trace access-granted then access-required","expected":"permission-needed","passed":true},{"actual":"actionable","check":"trace access-granted then cancel-open","expected":"actionable","passed":true},{"actual":"unavailable","check":"trace navigation-failed then retry-navigation","expected":"navigating","passed":false},{"actual":"opened","check":"trace retry-navigation then navigation-complete","expected":"opened","passed":true},{"actual":"unavailable","check":"trace retry-navigation then navigation-failed","expected":"navigation-error","passed":false},{"actual":"resolving","check":"trace cancel-open then open-target","expected":"resolving","passed":true},{"actual":{"phase":"resolving","value":null},"check":"domain state regression 1: resolved","expected":{"phase":"resolving","value":null},"passed":true},{"actual":{"phase":"navigating","value":"/documents/renamed"},"check":"domain state regression 2: resolved","expected":{"phase":"navigating","value":"/documents/renamed"},"passed":true},{"actual":{"phase":"opened","value":["/documents/7"]},"check":"domain state regression 3: visited","expected":{"phase":"opened","value":["/documents/7"]},"passed":true},{"actual":{"phase":"resolving","value":true},"check":"domain state regression 4: permission","expected":{"phase":"resolving","value":true},"passed":true},{"actual":{"phase":"unavailable","value":null},"check":"domain state regression 5: resolved","expected":{"phase":"unavailable","value":null},"passed":true},{"actual":{"phase":"navigating","value":"/documents/7"},"check":"domain state regression 6: resolved","expected":{"phase":"navigating","value":"/documents/7"},"passed":true},{"actual":{"phase":"unavailable","value":[]},"check":"domain state regression 7: visited","expected":{"phase":"opened","value":["/documents/new"]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"actionable / open-target\", \"actual\": \"resolving\", \"expected\": \"resolving\", \"passed\": true}, {\"check\": \"resolving / target-found\", \"actual\": \"navigating\", \"expected\": \"navigating\", \"passed\": true}, {\"check\": \"navigating / navigation-complete\", \"actual\": \"opened\", \"expected\": \"opened\", \"passed\": true}, {\"check\": \"resolving / target-deleted\", \"actual\": \"unavailable\", \"expected\": \"unavailable\", \"passed\": true}, {\"check\": \"resolving / access-required\", \"actual\": \"permission-needed\", \"expected\": \"permission-needed\", \"passed\": true}, {\"check\": \"permission-needed / request-access\", \"actual\": \"access-pending\", \"expected\": \"access-pending\", \"passed\": true}, {\"check\": \"access-pending / access-granted\", \"actual\": \"resolving\", \"expected\": \"resolving\", \"passed\": true}, {\"check\": \"navigating / navigation-failed\", \"actual\": \"unavailable\", \"expected\": \"navigation-error\", \"passed\": false}, {\"check\": \"navigation-error / retry-navigation\", \"actual\": \"navigating\", \"expected\": \"navigating\", \"passed\": true}, {\"check\": \"resolving / cancel-open\", \"actual\": \"actionable\", \"expected\": \"actionable\", \"passed\": true}, {\"check\": \"older notification incarnation\", \"actual\": \"actionable\", \"expected\": \"actionable\", \"passed\": true}, {\"check\": \"future notification incarnation\", \"actual\": \"actionable\", \"expected\": \"actionable\", \"passed\": true}, {\"check\": \"unknown event is inert\", \"actual\": \"actionable\", \"expected\": \"actionable\", \"passed\": true}, {\"check\": \"empty delivery batch\", \"actual\": \"actionable\", \"expected\": \"actionable\", \"passed\": true}, {\"check\": \"N stale deliveries before current delivery\", \"actual\": \"resolving\", \"expected\": \"resolving\", \"passed\": true}, {\"check\": \"trace open-target then target-found\", \"actual\": \"navigating\", \"expected\": \"navigating\", \"passed\": true}, {\"check\": \"trace open-target then target-deleted\", \"actual\": \"unavailable\", \"expected\": \"unavailable\", \"passed\": true}, {\"check\": \"trace open-target then access-required\", \"actual\": \"permission-needed\", \"expected\": \"permission-needed\", \"passed\": true}, {\"check\": \"trace open-target then cancel-open\", \"actual\": \"actionable\", \"expected\": \"actionable\", \"passed\": true}, {\"check\": \"trace target-found then navigation-complete\", \"actual\": \"opened\", \"expected\": \"opened\", \"passed\": true}, {\"check\": \"trace target-found then navigation-failed\", \"actual\": \"unavailable\", \"expected\": \"navigation-error\", \"passed\": false}, {\"check\": \"trace access-required then request-access\", \"actual\": \"access-pending\", \"expected\": \"access-pending\", \"passed\": true}, {\"check\": \"trace request-access then access-granted\", \"actual\": \"resolving\", \"expected\": \"resolving\", \"passed\": true}, {\"check\": \"trace access-granted then target-found\", \"actual\": \"navigating\", \"expected\": \"navigating\", \"passed\": true}, {\"check\": \"trace access-granted then target-deleted\", \"actual\": \"unavailable\", \"expected\": \"unavailable\", \"passed\": true}, {\"check\": \"trace access-granted then access-required\", \"actual\": \"permission-needed\", \"expected\": \"permission-needed\", \"passed\": true}, {\"check\": \"trace access-granted then cancel-open\", \"actual\": \"actionable\", \"expected\": \"actionable\", \"passed\": true}, {\"check\": \"trace navigation-failed then retry-navigation\", \"actual\": \"unavailable\", \"expected\": \"navigating\", \"passed\": false}, {\"check\": \"trace retry-navigation then navigation-complete\", \"actual\": \"opened\", \"expected\": \"opened\", \"passed\": true}, {\"check\": \"trace retry-navigation then navigation-failed\", \"actual\": \"unavailable\", \"expected\": \"navigation-error\", \"passed\": false}, {\"check\": \"trace cancel-open then open-target\", \"actual\": \"resolving\", \"expected\": \"resolving\", \"passed\": true}, {\"check\": \"domain state regression 1: resolved\", \"actual\": {\"phase\": \"resolving\", \"value\": null}, \"expected\": {\"phase\": \"resolving\", \"value\": null}, \"passed\": true}, {\"check\": \"domain state regression 2: resolved\", \"actual\": {\"phase\": \"navigating\", \"value\": \"/documents/renamed\"}, \"expected\": {\"phase\": \"navigating\", \"value\": \"/documents/renamed\"}, \"passed\": true}, {\"check\": \"domain state regression 3: visited\", \"actual\": {\"phase\": \"opened\", \"value\": [\"/documents/7\"]}, \"expected\": {\"phase\": \"opened\", \"value\": [\"/documents/7\"]}, \"passed\": true}, {\"check\": \"domain state regression 4: permission\", \"actual\": {\"phase\": \"resolving\", \"value\": true}, \"expected\": {\"phase\": \"resolving\", \"value\": true}, \"passed\": true}, {\"check\": \"domain state regression 5: resolved\", \"actual\": {\"phase\": \"unavailable\", \"value\": null}, \"expected\": {\"phase\": \"unavailable\", \"value\": null}, \"passed\": true}, {\"check\": \"domain state regression 6: resolved\", \"actual\": {\"phase\": \"navigating\", \"value\": \"/documents/7\"}, \"expected\": {\"phase\": \"navigating\", \"value\": \"/documents/7\"}, \"passed\": true}, {\"check\": \"domain state regression 7: visited\", \"actual\": {\"phase\": \"unavailable\", \"value\": []}, \"expected\": {\"phase\": \"opened\", \"value\": [\"/documents/new\"]}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.068,"exit_code":1,"observations":[{"actual":"resolving","check":"actionable / open-target","expected":"resolving","passed":true},{"actual":"navigating","check":"resolving / target-found","expected":"navigating","passed":true},{"actual":"opened","check":"navigating / navigation-complete","expected":"opened","passed":true},{"actual":"unavailable","check":"resolving / target-deleted","expected":"unavailable","passed":true},{"actual":"permission-needed","check":"resolving / access-required","expected":"permission-needed","passed":true},{"actual":"access-pending","check":"permission-needed / request-access","expected":"access-pending","passed":true},{"actual":"resolving","check":"access-pending / access-granted","expected":"resolving","passed":true},{"actual":"opened","check":"navigating / navigation-failed","expected":"navigation-error","passed":false},{"actual":"navigating","check":"navigation-error / retry-navigation","expected":"navigating","passed":true},{"actual":"actionable","check":"resolving / cancel-open","expected":"actionable","passed":true},{"actual":"actionable","check":"older notification incarnation","expected":"actionable","passed":true},{"actual":"actionable","check":"future notification incarnation","expected":"actionable","passed":true},{"actual":"actionable","check":"unknown event is inert","expected":"actionable","passed":true},{"actual":"actionable","check":"empty delivery batch","expected":"actionable","passed":true},{"actual":"resolving","check":"N stale deliveries before current delivery","expected":"resolving","passed":true},{"actual":"navigating","check":"trace open-target then target-found","expected":"navigating","passed":true},{"actual":"unavailable","check":"trace open-target then target-deleted","expected":"unavailable","passed":true},{"actual":"permission-needed","check":"trace open-target then access-required","expected":"permission-needed","passed":true},{"actual":"actionable","check":"trace open-target then cancel-open","expected":"actionable","passed":true},{"actual":"opened","check":"trace target-found then navigation-complete","expected":"opened","passed":true},{"actual":"opened","check":"trace target-found then navigation-failed","expected":"navigation-error","passed":false},{"actual":"access-pending","check":"trace access-required then request-access","expected":"access-pending","passed":true},{"actual":"resolving","check":"trace request-access then access-granted","expected":"resolving","passed":true},{"actual":"navigating","check":"trace access-granted then target-found","expected":"navigating","passed":true},{"actual":"unavailable","check":"trace access-granted then target-deleted","expected":"unavailable","passed":true},{"actual":"permission-needed","check":"trace access-granted then access-required","expected":"permission-needed","passed":true},{"actual":"actionable","check":"trace access-granted then cancel-open","expected":"actionable","passed":true},{"actual":"opened","check":"trace navigation-failed then retry-navigation","expected":"navigating","passed":false},{"actual":"opened","check":"trace retry-navigation then navigation-complete","expected":"opened","passed":true},{"actual":"opened","check":"trace retry-navigation then navigation-failed","expected":"navigation-error","passed":false},{"actual":"resolving","check":"trace cancel-open then open-target","expected":"resolving","passed":true},{"actual":{"phase":"resolving","value":null},"check":"domain state regression 1: resolved","expected":{"phase":"resolving","value":null},"passed":true},{"actual":{"phase":"navigating","value":"/documents/renamed"},"check":"domain state regression 2: resolved","expected":{"phase":"navigating","value":"/documents/renamed"},"passed":true},{"actual":{"phase":"opened","value":["/documents/7"]},"check":"domain state regression 3: visited","expected":{"phase":"opened","value":["/documents/7"]},"passed":true},{"actual":{"phase":"resolving","value":true},"check":"domain state regression 4: permission","expected":{"phase":"resolving","value":true},"passed":true},{"actual":{"phase":"unavailable","value":null},"check":"domain state regression 5: resolved","expected":{"phase":"unavailable","value":null},"passed":true},{"actual":{"phase":"navigating","value":"/documents/7"},"check":"domain state regression 6: resolved","expected":{"phase":"navigating","value":"/documents/7"},"passed":true},{"actual":{"phase":"opened","value":["/documents/new","/documents/new","/documents/new"]},"check":"domain state regression 7: visited","expected":{"phase":"opened","value":["/documents/new"]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"actionable / open-target\", \"actual\": \"resolving\", \"expected\": \"resolving\", \"passed\": true}, {\"check\": \"resolving / target-found\", \"actual\": \"navigating\", \"expected\": \"navigating\", \"passed\": true}, {\"check\": \"navigating / navigation-complete\", \"actual\": \"opened\", \"expected\": \"opened\", \"passed\": true}, {\"check\": \"resolving / target-deleted\", \"actual\": \"unavailable\", \"expected\": \"unavailable\", \"passed\": true}, {\"check\": \"resolving / access-required\", \"actual\": \"permission-needed\", \"expected\": \"permission-needed\", \"passed\": true}, {\"check\": \"permission-needed / request-access\", \"actual\": \"access-pending\", \"expected\": \"access-pending\", \"passed\": true}, {\"check\": \"access-pending / access-granted\", \"actual\": \"resolving\", \"expected\": \"resolving\", \"passed\": true}, {\"check\": \"navigating / navigation-failed\", \"actual\": \"opened\", \"expected\": \"navigation-error\", \"passed\": false}, {\"check\": \"navigation-error / retry-navigation\", \"actual\": \"navigating\", \"expected\": \"navigating\", \"passed\": true}, {\"check\": \"resolving / cancel-open\", \"actual\": \"actionable\", \"expected\": \"actionable\", \"passed\": true}, {\"check\": \"older notification incarnation\", \"actual\": \"actionable\", \"expected\": \"actionable\", \"passed\": true}, {\"check\": \"future notification incarnation\", \"actual\": \"actionable\", \"expected\": \"actionable\", \"passed\": true}, {\"check\": \"unknown event is inert\", \"actual\": \"actionable\", \"expected\": \"actionable\", \"passed\": true}, {\"check\": \"empty delivery batch\", \"actual\": \"actionable\", \"expected\": \"actionable\", \"passed\": true}, {\"check\": \"N stale deliveries before current delivery\", \"actual\": \"resolving\", \"expected\": \"resolving\", \"passed\": true}, {\"check\": \"trace open-target then target-found\", \"actual\": \"navigating\", \"expected\": \"navigating\", \"passed\": true}, {\"check\": \"trace open-target then target-deleted\", \"actual\": \"unavailable\", \"expected\": \"unavailable\", \"passed\": true}, {\"check\": \"trace open-target then access-required\", \"actual\": \"permission-needed\", \"expected\": \"permission-needed\", \"passed\": true}, {\"check\": \"trace open-target then cancel-open\", \"actual\": \"actionable\", \"expected\": \"actionable\", \"passed\": true}, {\"check\": \"trace target-found then navigation-complete\", \"actual\": \"opened\", \"expected\": \"opened\", \"passed\": true}, {\"check\": \"trace target-found then navigation-failed\", \"actual\": \"opened\", \"expected\": \"navigation-error\", \"passed\": false}, {\"check\": \"trace access-required then request-access\", \"actual\": \"access-pending\", \"expected\": \"access-pending\", \"passed\": true}, {\"check\": \"trace request-access then access-granted\", \"actual\": \"resolving\", \"expected\": \"resolving\", \"passed\": true}, {\"check\": \"trace access-granted then target-found\", \"actual\": \"navigating\", \"expected\": \"navigating\", \"passed\": true}, {\"check\": \"trace access-granted then target-deleted\", \"actual\": \"unavailable\", \"expected\": \"unavailable\", \"passed\": true}, {\"check\": \"trace access-granted then access-required\", \"actual\": \"permission-needed\", \"expected\": \"permission-needed\", \"passed\": true}, {\"check\": \"trace access-granted then cancel-open\", \"actual\": \"actionable\", \"expected\": \"actionable\", \"passed\": true}, {\"check\": \"trace navigation-failed then retry-navigation\", \"actual\": \"opened\", \"expected\": \"navigating\", \"passed\": false}, {\"check\": \"trace retry-navigation then navigation-complete\", \"actual\": \"opened\", \"expected\": \"opened\", \"passed\": true}, {\"check\": \"trace retry-navigation then navigation-failed\", \"actual\": \"opened\", \"expected\": \"navigation-error\", \"passed\": false}, {\"check\": \"trace cancel-open then open-target\", \"actual\": \"resolving\", \"expected\": \"resolving\", \"passed\": true}, {\"check\": \"domain state regression 1: resolved\", \"actual\": {\"phase\": \"resolving\", \"value\": null}, \"expected\": {\"phase\": \"resolving\", \"value\": null}, \"passed\": true}, {\"check\": \"domain state regression 2: resolved\", \"actual\": {\"phase\": \"navigating\", \"value\": \"/documents/renamed\"}, \"expected\": {\"phase\": \"navigating\", \"value\": \"/documents/renamed\"}, \"passed\": true}, {\"check\": \"domain state regression 3: visited\", \"actual\": {\"phase\": \"opened\", \"value\": [\"/documents/7\"]}, \"expected\": {\"phase\": \"opened\", \"value\": [\"/documents/7\"]}, \"passed\": true}, {\"check\": \"domain state regression 4: permission\", \"actual\": {\"phase\": \"resolving\", \"value\": true}, \"expected\": {\"phase\": \"resolving\", \"value\": true}, \"passed\": true}, {\"check\": \"domain state regression 5: resolved\", \"actual\": {\"phase\": \"unavailable\", \"value\": null}, \"expected\": {\"phase\": \"unavailable\", \"value\": null}, \"passed\": true}, {\"check\": \"domain state regression 6: resolved\", \"actual\": {\"phase\": \"navigating\", \"value\": \"/documents/7\"}, \"expected\": {\"phase\": \"navigating\", \"value\": \"/documents/7\"}, \"passed\": true}, {\"check\": \"domain state regression 7: visited\", \"actual\": {\"phase\": \"opened\", \"value\": [\"/documents/new\", \"/documents/new\", \"/documents/new\"]}, \"expected\": {\"phase\": \"opened\", \"value\": [\"/documents/new\"]}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.453,"exit_code":0,"observations":[{"actual":"resolving","check":"actionable / open-target","expected":"resolving","passed":true},{"actual":"navigating","check":"resolving / target-found","expected":"navigating","passed":true},{"actual":"opened","check":"navigating / navigation-complete","expected":"opened","passed":true},{"actual":"unavailable","check":"resolving / target-deleted","expected":"unavailable","passed":true},{"actual":"permission-needed","check":"resolving / access-required","expected":"permission-needed","passed":true},{"actual":"access-pending","check":"permission-needed / request-access","expected":"access-pending","passed":true},{"actual":"resolving","check":"access-pending / access-granted","expected":"resolving","passed":true},{"actual":"navigation-error","check":"navigating / navigation-failed","expected":"navigation-error","passed":true},{"actual":"navigating","check":"navigation-error / retry-navigation","expected":"navigating","passed":true},{"actual":"actionable","check":"resolving / cancel-open","expected":"actionable","passed":true},{"actual":"actionable","check":"older notification incarnation","expected":"actionable","passed":true},{"actual":"actionable","check":"future notification incarnation","expected":"actionable","passed":true},{"actual":"actionable","check":"unknown event is inert","expected":"actionable","passed":true},{"actual":"actionable","check":"empty delivery batch","expected":"actionable","passed":true},{"actual":"resolving","check":"N stale deliveries before current delivery","expected":"resolving","passed":true},{"actual":"navigating","check":"trace open-target then target-found","expected":"navigating","passed":true},{"actual":"unavailable","check":"trace open-target then target-deleted","expected":"unavailable","passed":true},{"actual":"permission-needed","check":"trace open-target then access-required","expected":"permission-needed","passed":true},{"actual":"actionable","check":"trace open-target then cancel-open","expected":"actionable","passed":true},{"actual":"opened","check":"trace target-found then navigation-complete","expected":"opened","passed":true},{"actual":"navigation-error","check":"trace target-found then navigation-failed","expected":"navigation-error","passed":true},{"actual":"access-pending","check":"trace access-required then request-access","expected":"access-pending","passed":true},{"actual":"resolving","check":"trace request-access then access-granted","expected":"resolving","passed":true},{"actual":"navigating","check":"trace access-granted then target-found","expected":"navigating","passed":true},{"actual":"unavailable","check":"trace access-granted then target-deleted","expected":"unavailable","passed":true},{"actual":"permission-needed","check":"trace access-granted then access-required","expected":"permission-needed","passed":true},{"actual":"actionable","check":"trace access-granted then cancel-open","expected":"actionable","passed":true},{"actual":"navigating","check":"trace navigation-failed then retry-navigation","expected":"navigating","passed":true},{"actual":"opened","check":"trace retry-navigation then navigation-complete","expected":"opened","passed":true},{"actual":"navigation-error","check":"trace retry-navigation then navigation-failed","expected":"navigation-error","passed":true},{"actual":"resolving","check":"trace cancel-open then open-target","expected":"resolving","passed":true},{"actual":{"phase":"resolving","value":null},"check":"domain state regression 1: resolved","expected":{"phase":"resolving","value":null},"passed":true},{"actual":{"phase":"navigating","value":"/documents/renamed"},"check":"domain state regression 2: resolved","expected":{"phase":"navigating","value":"/documents/renamed"},"passed":true},{"actual":{"phase":"opened","value":["/documents/7"]},"check":"domain state regression 3: visited","expected":{"phase":"opened","value":["/documents/7"]},"passed":true},{"actual":{"phase":"resolving","value":true},"check":"domain state regression 4: permission","expected":{"phase":"resolving","value":true},"passed":true},{"actual":{"phase":"unavailable","value":null},"check":"domain state regression 5: resolved","expected":{"phase":"unavailable","value":null},"passed":true},{"actual":{"phase":"navigating","value":"/documents/7"},"check":"domain state regression 6: resolved","expected":{"phase":"navigating","value":"/documents/7"},"passed":true},{"actual":{"phase":"opened","value":["/documents/new"]},"check":"domain state regression 7: visited","expected":{"phase":"opened","value":["/documents/new"]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"actionable / open-target\", \"actual\": \"resolving\", \"expected\": \"resolving\", \"passed\": true}, {\"check\": \"resolving / target-found\", \"actual\": \"navigating\", \"expected\": \"navigating\", \"passed\": true}, {\"check\": \"navigating / navigation-complete\", \"actual\": \"opened\", \"expected\": \"opened\", \"passed\": true}, {\"check\": \"resolving / target-deleted\", \"actual\": \"unavailable\", \"expected\": \"unavailable\", \"passed\": true}, {\"check\": \"resolving / access-required\", \"actual\": \"permission-needed\", \"expected\": \"permission-needed\", \"passed\": true}, {\"check\": \"permission-needed / request-access\", \"actual\": \"access-pending\", \"expected\": \"access-pending\", \"passed\": true}, {\"check\": \"access-pending / access-granted\", \"actual\": \"resolving\", \"expected\": \"resolving\", \"passed\": true}, {\"check\": \"navigating / navigation-failed\", \"actual\": \"navigation-error\", \"expected\": \"navigation-error\", \"passed\": true}, {\"check\": \"navigation-error / retry-navigation\", \"actual\": \"navigating\", \"expected\": \"navigating\", \"passed\": true}, {\"check\": \"resolving / cancel-open\", \"actual\": \"actionable\", \"expected\": \"actionable\", \"passed\": true}, {\"check\": \"older notification incarnation\", \"actual\": \"actionable\", \"expected\": \"actionable\", \"passed\": true}, {\"check\": \"future notification incarnation\", \"actual\": \"actionable\", \"expected\": \"actionable\", \"passed\": true}, {\"check\": \"unknown event is inert\", \"actual\": \"actionable\", \"expected\": \"actionable\", \"passed\": true}, {\"check\": \"empty delivery batch\", \"actual\": \"actionable\", \"expected\": \"actionable\", \"passed\": true}, {\"check\": \"N stale deliveries before current delivery\", \"actual\": \"resolving\", \"expected\": \"resolving\", \"passed\": true}, {\"check\": \"trace open-target then target-found\", \"actual\": \"navigating\", \"expected\": \"navigating\", \"passed\": true}, {\"check\": \"trace open-target then target-deleted\", \"actual\": \"unavailable\", \"expected\": \"unavailable\", \"passed\": true}, {\"check\": \"trace open-target then access-required\", \"actual\": \"permission-needed\", \"expected\": \"permission-needed\", \"passed\": true}, {\"check\": \"trace open-target then cancel-open\", \"actual\": \"actionable\", \"expected\": \"actionable\", \"passed\": true}, {\"check\": \"trace target-found then navigation-complete\", \"actual\": \"opened\", \"expected\": \"opened\", \"passed\": true}, {\"check\": \"trace target-found then navigation-failed\", \"actual\": \"navigation-error\", \"expected\": \"navigation-error\", \"passed\": true}, {\"check\": \"trace access-required then request-access\", \"actual\": \"access-pending\", \"expected\": \"access-pending\", \"passed\": true}, {\"check\": \"trace request-access then access-granted\", \"actual\": \"resolving\", \"expected\": \"resolving\", \"passed\": true}, {\"check\": \"trace access-granted then target-found\", \"actual\": \"navigating\", \"expected\": \"navigating\", \"passed\": true}, {\"check\": \"trace access-granted then target-deleted\", \"actual\": \"unavailable\", \"expected\": \"unavailable\", \"passed\": true}, {\"check\": \"trace access-granted then access-required\", \"actual\": \"permission-needed\", \"expected\": \"permission-needed\", \"passed\": true}, {\"check\": \"trace access-granted then cancel-open\", \"actual\": \"actionable\", \"expected\": \"actionable\", \"passed\": true}, {\"check\": \"trace navigation-failed then retry-navigation\", \"actual\": \"navigating\", \"expected\": \"navigating\", \"passed\": true}, {\"check\": \"trace retry-navigation then navigation-complete\", \"actual\": \"opened\", \"expected\": \"opened\", \"passed\": true}, {\"check\": \"trace retry-navigation then navigation-failed\", \"actual\": \"navigation-error\", \"expected\": \"navigation-error\", \"passed\": true}, {\"check\": \"trace cancel-open then open-target\", \"actual\": \"resolving\", \"expected\": \"resolving\", \"passed\": true}, {\"check\": \"domain state regression 1: resolved\", \"actual\": {\"phase\": \"resolving\", \"value\": null}, \"expected\": {\"phase\": \"resolving\", \"value\": null}, \"passed\": true}, {\"check\": \"domain state regression 2: resolved\", \"actual\": {\"phase\": \"navigating\", \"value\": \"/documents/renamed\"}, \"expected\": {\"phase\": \"navigating\", \"value\": \"/documents/renamed\"}, \"passed\": true}, {\"check\": \"domain state regression 3: visited\", \"actual\": {\"phase\": \"opened\", \"value\": [\"/documents/7\"]}, \"expected\": {\"phase\": \"opened\", \"value\": [\"/documents/7\"]}, \"passed\": true}, {\"check\": \"domain state regression 4: permission\", \"actual\": {\"phase\": \"resolving\", \"value\": true}, \"expected\": {\"phase\": \"resolving\", \"value\": true}, \"passed\": true}, {\"check\": \"domain state regression 5: resolved\", \"actual\": {\"phase\": \"unavailable\", \"value\": null}, \"expected\": {\"phase\": \"unavailable\", \"value\": null}, \"passed\": true}, {\"check\": \"domain state regression 6: resolved\", \"actual\": {\"phase\": \"navigating\", \"value\": \"/documents/7\"}, \"expected\": {\"phase\": \"navigating\", \"value\": \"/documents/7\"}, \"passed\": true}, {\"check\": \"domain state regression 7: visited\", \"actual\": {\"phase\": \"opened\", \"value\": [\"/documents/new\"]}, \"expected\": {\"phase\": \"opened\", \"value\": [\"/documents/new\"]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}