{"abstract":"The lease-granted event leaves a notification in standby instead of displaying.","category":"Notification interfaces","checks":39,"contract":"Single-surface notification display ownership is a bounded visual-notification workflow with mutable policy state {'token': 5, 'owner': 'local', 'mounted': False, 'released': []}. Its default transition relation is {('standby', 'request-display'): 'claiming', ('claiming', 'lease-granted'): 'displaying', ('claiming', 'lease-denied'): 'standby', ('displaying', 'lease-revoked'): 'withdrawing', ('withdrawing', 'unmounted'): 'standby', ('displaying', 'close-surface'): 'releasing', ('releasing', 'release-confirmed'): 'standby', ('claiming', 'cancel-display'): 'claim-canceled', ('claim-canceled', 'late-lease-granted'): 'releasing', ('standby', 'foreign-release'): 'standby'}; 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-display-lease","failed_approach":"Keeping the spinner after a grant hides an authorized notice.","family":"s3-notification-interfaces-display-lease-02","id":"FA-34246","implementations":{"attempt":{"sha256":"95611d7d3d8cb1f3279263d6f5dc78a1907db6ddffc808a0e8cde66623cae78b","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 = {('standby', 'request-display'): 'claiming', ('claiming', 'lease-granted'): 'claiming', ('claiming', 'lease-denied'): 'standby', ('displaying', 'lease-revoked'): 'withdrawing', ('withdrawing', 'unmounted'): 'standby', ('displaying', 'close-surface'): 'releasing', ('releasing', 'release-confirmed'): 'standby', ('claiming', 'cancel-display'): 'claim-canceled', ('claim-canceled', 'late-lease-granted'): 'releasing', ('standby', 'foreign-release'): 'standby'}\n    data = json.loads(json.dumps({'token': 5, 'owner': 'local', 'mounted': False, 'released': []})) if payload is None else {**json.loads(json.dumps({'token': 5, 'owner': 'local', 'mounted': False, 'released': []})), **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 ('lease-granted','lease-revoked','release-confirmed','late-lease-granted') and arg.get('token',data['token']) != data['token']: event = 'unknown-event'\n            if event == 'foreign-release' and arg.get('owner','foreign') == data['owner']: event = 'release-confirmed'\n            state = table.get((state, event), state)\n            if state == 'displaying': data['mounted'] = True\n            if state in ('standby','withdrawing'): data['mounted'] = False\n            if state == 'releasing' and data['token'] not in data['released']: data['released'].append(data['token'])\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('standby / request-display', solve('standby', [('request-display', N)], N), 'claiming')\ncheck('claiming / lease-granted', solve('claiming', [('lease-granted', N)], N), 'displaying')\ncheck('claiming / lease-denied', solve('claiming', [('lease-denied', N)], N), 'standby')\ncheck('displaying / lease-revoked', solve('displaying', [('lease-revoked', N)], N), 'withdrawing')\ncheck('withdrawing / unmounted', solve('withdrawing', [('unmounted', N)], N), 'standby')\ncheck('displaying / close-surface', solve('displaying', [('close-surface', N)], N), 'releasing')\ncheck('releasing / release-confirmed', solve('releasing', [('release-confirmed', N)], N), 'standby')\ncheck('claiming / cancel-display', solve('claiming', [('cancel-display', N)], N), 'claim-canceled')\ncheck('claim-canceled / late-lease-granted', solve('claim-canceled', [('late-lease-granted', N)], N), 'releasing')\ncheck('standby / foreign-release', solve('standby', [('foreign-release', N)], N), 'standby')\ncheck('older notification incarnation', solve('standby', [('request-display', N - 1)], N), 'standby')\ncheck('future notification incarnation', solve('standby', [('request-display', N + 1)], N), 'standby')\ncheck('unknown event is inert', solve('standby', [('unknown-event', N)], N), 'standby')\ncheck('empty delivery batch', solve('standby', [], N), 'standby')\ncheck('N stale deliveries before current delivery', solve('standby', [('request-display', N - 1)] * N + [('request-display', N)], N), 'claiming')\ncheck('trace request-display then lease-granted', solve('standby', [('request-display', N), ('lease-granted', N)], N), 'displaying')\ncheck('trace request-display then lease-denied', solve('standby', [('request-display', N), ('lease-denied', N)], N), 'standby')\ncheck('trace request-display then cancel-display', solve('standby', [('request-display', N), ('cancel-display', N)], N), 'claim-canceled')\ncheck('trace lease-granted then lease-revoked', solve('claiming', [('lease-granted', N), ('lease-revoked', N)], N), 'withdrawing')\ncheck('trace lease-granted then close-surface', solve('claiming', [('lease-granted', N), ('close-surface', N)], N), 'releasing')\ncheck('trace lease-denied then request-display', solve('claiming', [('lease-denied', N), ('request-display', N)], N), 'claiming')\ncheck('trace lease-denied then foreign-release', solve('claiming', [('lease-denied', N), ('foreign-release', N)], N), 'standby')\ncheck('trace lease-revoked then unmounted', solve('displaying', [('lease-revoked', N), ('unmounted', N)], N), 'standby')\ncheck('trace unmounted then request-display', solve('withdrawing', [('unmounted', N), ('request-display', N)], N), 'claiming')\ncheck('trace unmounted then foreign-release', solve('withdrawing', [('unmounted', N), ('foreign-release', N)], N), 'standby')\ncheck('trace close-surface then release-confirmed', solve('displaying', [('close-surface', N), ('release-confirmed', N)], N), 'standby')\ncheck('trace release-confirmed then request-display', solve('releasing', [('release-confirmed', N), ('request-display', N)], N), 'claiming')\ncheck('trace release-confirmed then foreign-release', solve('releasing', [('release-confirmed', N), ('foreign-release', N)], N), 'standby')\ncheck('trace cancel-display then late-lease-granted', solve('claiming', [('cancel-display', N), ('late-lease-granted', N)], N), 'releasing')\ncheck('trace late-lease-granted then release-confirmed', solve('claim-canceled', [('late-lease-granted', N), ('release-confirmed', N)], N), 'standby')\ncheck('trace foreign-release then request-display', solve('standby', [('foreign-release', N), ('request-display', N)], N), 'claiming')\ncheck('trace foreign-release then foreign-release', solve('standby', [('foreign-release', N), ('foreign-release', N)], N), 'standby')\ncheck('domain state regression 1: mounted', solve('claiming', [('lease-granted', N, {'token': 4})], N, {}, 'mounted'), {'phase': 'claiming', 'value': False})\ncheck('domain state regression 2: mounted', solve('claiming', [('lease-granted', N, {'token': 5})], N, {}, 'mounted'), {'phase': 'displaying', 'value': True})\ncheck('domain state regression 3: mounted', solve('displaying', [('lease-revoked', N, {'token': 4})], N, {'mounted': True}, 'mounted'), {'phase': 'displaying', 'value': True})\ncheck('domain state regression 4: mounted', solve('displaying', [('lease-revoked', N, {'token': 5})], N, {'mounted': True}, 'mounted'), {'phase': 'withdrawing', 'value': False})\ncheck('domain state regression 5: released', solve('claim-canceled', [('late-lease-granted', N, {})], N, {}, 'released'), {'phase': 'releasing', 'value': [5]})\ncheck('domain state regression 6: released', solve('standby', [('foreign-release', N, {'owner': 'foreign'})], N, {}, 'released'), {'phase': 'standby', 'value': []})\ncheck('domain state regression 7: released', solve('standby', [('request-display', N, {}), ('cancel-display', N, {}), ('late-lease-granted', N, {'token': 5})], N, {}, 'released'), {'phase': 'releasing', 'value': [5]})\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":"39166606a306f5ec42eca5028419e8e0badddbfaab1e676942096d00701999ff","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 = {('standby', 'request-display'): 'claiming', ('claiming', 'lease-granted'): 'standby', ('claiming', 'lease-denied'): 'standby', ('displaying', 'lease-revoked'): 'withdrawing', ('withdrawing', 'unmounted'): 'standby', ('displaying', 'close-surface'): 'releasing', ('releasing', 'release-confirmed'): 'standby', ('claiming', 'cancel-display'): 'claim-canceled', ('claim-canceled', 'late-lease-granted'): 'releasing', ('standby', 'foreign-release'): 'standby'}\n    data = json.loads(json.dumps({'token': 5, 'owner': 'local', 'mounted': False, 'released': []})) if payload is None else {**json.loads(json.dumps({'token': 5, 'owner': 'local', 'mounted': False, 'released': []})), **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 ('lease-granted','lease-revoked','release-confirmed','late-lease-granted') and arg.get('token',data['token']) != data['token']: event = 'unknown-event'\n            if event == 'foreign-release' and arg.get('owner','foreign') == data['owner']: event = 'release-confirmed'\n            state = table.get((state, event), state)\n            if state == 'displaying': data['mounted'] = True\n            if state in ('standby','withdrawing'): data['mounted'] = False\n            if state == 'releasing' and data['token'] not in data['released']: data['released'].append(data['token'])\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('standby / request-display', solve('standby', [('request-display', N)], N), 'claiming')\ncheck('claiming / lease-granted', solve('claiming', [('lease-granted', N)], N), 'displaying')\ncheck('claiming / lease-denied', solve('claiming', [('lease-denied', N)], N), 'standby')\ncheck('displaying / lease-revoked', solve('displaying', [('lease-revoked', N)], N), 'withdrawing')\ncheck('withdrawing / unmounted', solve('withdrawing', [('unmounted', N)], N), 'standby')\ncheck('displaying / close-surface', solve('displaying', [('close-surface', N)], N), 'releasing')\ncheck('releasing / release-confirmed', solve('releasing', [('release-confirmed', N)], N), 'standby')\ncheck('claiming / cancel-display', solve('claiming', [('cancel-display', N)], N), 'claim-canceled')\ncheck('claim-canceled / late-lease-granted', solve('claim-canceled', [('late-lease-granted', N)], N), 'releasing')\ncheck('standby / foreign-release', solve('standby', [('foreign-release', N)], N), 'standby')\ncheck('older notification incarnation', solve('standby', [('request-display', N - 1)], N), 'standby')\ncheck('future notification incarnation', solve('standby', [('request-display', N + 1)], N), 'standby')\ncheck('unknown event is inert', solve('standby', [('unknown-event', N)], N), 'standby')\ncheck('empty delivery batch', solve('standby', [], N), 'standby')\ncheck('N stale deliveries before current delivery', solve('standby', [('request-display', N - 1)] * N + [('request-display', N)], N), 'claiming')\ncheck('trace request-display then lease-granted', solve('standby', [('request-display', N), ('lease-granted', N)], N), 'displaying')\ncheck('trace request-display then lease-denied', solve('standby', [('request-display', N), ('lease-denied', N)], N), 'standby')\ncheck('trace request-display then cancel-display', solve('standby', [('request-display', N), ('cancel-display', N)], N), 'claim-canceled')\ncheck('trace lease-granted then lease-revoked', solve('claiming', [('lease-granted', N), ('lease-revoked', N)], N), 'withdrawing')\ncheck('trace lease-granted then close-surface', solve('claiming', [('lease-granted', N), ('close-surface', N)], N), 'releasing')\ncheck('trace lease-denied then request-display', solve('claiming', [('lease-denied', N), ('request-display', N)], N), 'claiming')\ncheck('trace lease-denied then foreign-release', solve('claiming', [('lease-denied', N), ('foreign-release', N)], N), 'standby')\ncheck('trace lease-revoked then unmounted', solve('displaying', [('lease-revoked', N), ('unmounted', N)], N), 'standby')\ncheck('trace unmounted then request-display', solve('withdrawing', [('unmounted', N), ('request-display', N)], N), 'claiming')\ncheck('trace unmounted then foreign-release', solve('withdrawing', [('unmounted', N), ('foreign-release', N)], N), 'standby')\ncheck('trace close-surface then release-confirmed', solve('displaying', [('close-surface', N), ('release-confirmed', N)], N), 'standby')\ncheck('trace release-confirmed then request-display', solve('releasing', [('release-confirmed', N), ('request-display', N)], N), 'claiming')\ncheck('trace release-confirmed then foreign-release', solve('releasing', [('release-confirmed', N), ('foreign-release', N)], N), 'standby')\ncheck('trace cancel-display then late-lease-granted', solve('claiming', [('cancel-display', N), ('late-lease-granted', N)], N), 'releasing')\ncheck('trace late-lease-granted then release-confirmed', solve('claim-canceled', [('late-lease-granted', N), ('release-confirmed', N)], N), 'standby')\ncheck('trace foreign-release then request-display', solve('standby', [('foreign-release', N), ('request-display', N)], N), 'claiming')\ncheck('trace foreign-release then foreign-release', solve('standby', [('foreign-release', N), ('foreign-release', N)], N), 'standby')\ncheck('domain state regression 1: mounted', solve('claiming', [('lease-granted', N, {'token': 4})], N, {}, 'mounted'), {'phase': 'claiming', 'value': False})\ncheck('domain state regression 2: mounted', solve('claiming', [('lease-granted', N, {'token': 5})], N, {}, 'mounted'), {'phase': 'displaying', 'value': True})\ncheck('domain state regression 3: mounted', solve('displaying', [('lease-revoked', N, {'token': 4})], N, {'mounted': True}, 'mounted'), {'phase': 'displaying', 'value': True})\ncheck('domain state regression 4: mounted', solve('displaying', [('lease-revoked', N, {'token': 5})], N, {'mounted': True}, 'mounted'), {'phase': 'withdrawing', 'value': False})\ncheck('domain state regression 5: released', solve('claim-canceled', [('late-lease-granted', N, {})], N, {}, 'released'), {'phase': 'releasing', 'value': [5]})\ncheck('domain state regression 6: released', solve('standby', [('foreign-release', N, {'owner': 'foreign'})], N, {}, 'released'), {'phase': 'standby', 'value': []})\ncheck('domain state regression 7: released', solve('standby', [('request-display', N, {}), ('cancel-display', N, {}), ('late-lease-granted', N, {'token': 5})], N, {}, 'released'), {'phase': 'releasing', 'value': [5]})\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":"e418dfac00f4080d93dd829d607784e21d9d1c600d258a513262b94a0fc9a697","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 = {('standby', 'request-display'): 'claiming', ('claiming', 'lease-granted'): 'displaying', ('claiming', 'lease-denied'): 'standby', ('displaying', 'lease-revoked'): 'withdrawing', ('withdrawing', 'unmounted'): 'standby', ('displaying', 'close-surface'): 'releasing', ('releasing', 'release-confirmed'): 'standby', ('claiming', 'cancel-display'): 'claim-canceled', ('claim-canceled', 'late-lease-granted'): 'releasing', ('standby', 'foreign-release'): 'standby'}\n    data = json.loads(json.dumps({'token': 5, 'owner': 'local', 'mounted': False, 'released': []})) if payload is None else {**json.loads(json.dumps({'token': 5, 'owner': 'local', 'mounted': False, 'released': []})), **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 ('lease-granted','lease-revoked','release-confirmed','late-lease-granted') and arg.get('token',data['token']) != data['token']: event = 'unknown-event'\n            if event == 'foreign-release' and arg.get('owner','foreign') == data['owner']: event = 'release-confirmed'\n            state = table.get((state, event), state)\n            if state == 'displaying': data['mounted'] = True\n            if state in ('standby','withdrawing'): data['mounted'] = False\n            if state == 'releasing' and data['token'] not in data['released']: data['released'].append(data['token'])\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('standby / request-display', solve('standby', [('request-display', N)], N), 'claiming')\ncheck('claiming / lease-granted', solve('claiming', [('lease-granted', N)], N), 'displaying')\ncheck('claiming / lease-denied', solve('claiming', [('lease-denied', N)], N), 'standby')\ncheck('displaying / lease-revoked', solve('displaying', [('lease-revoked', N)], N), 'withdrawing')\ncheck('withdrawing / unmounted', solve('withdrawing', [('unmounted', N)], N), 'standby')\ncheck('displaying / close-surface', solve('displaying', [('close-surface', N)], N), 'releasing')\ncheck('releasing / release-confirmed', solve('releasing', [('release-confirmed', N)], N), 'standby')\ncheck('claiming / cancel-display', solve('claiming', [('cancel-display', N)], N), 'claim-canceled')\ncheck('claim-canceled / late-lease-granted', solve('claim-canceled', [('late-lease-granted', N)], N), 'releasing')\ncheck('standby / foreign-release', solve('standby', [('foreign-release', N)], N), 'standby')\ncheck('older notification incarnation', solve('standby', [('request-display', N - 1)], N), 'standby')\ncheck('future notification incarnation', solve('standby', [('request-display', N + 1)], N), 'standby')\ncheck('unknown event is inert', solve('standby', [('unknown-event', N)], N), 'standby')\ncheck('empty delivery batch', solve('standby', [], N), 'standby')\ncheck('N stale deliveries before current delivery', solve('standby', [('request-display', N - 1)] * N + [('request-display', N)], N), 'claiming')\ncheck('trace request-display then lease-granted', solve('standby', [('request-display', N), ('lease-granted', N)], N), 'displaying')\ncheck('trace request-display then lease-denied', solve('standby', [('request-display', N), ('lease-denied', N)], N), 'standby')\ncheck('trace request-display then cancel-display', solve('standby', [('request-display', N), ('cancel-display', N)], N), 'claim-canceled')\ncheck('trace lease-granted then lease-revoked', solve('claiming', [('lease-granted', N), ('lease-revoked', N)], N), 'withdrawing')\ncheck('trace lease-granted then close-surface', solve('claiming', [('lease-granted', N), ('close-surface', N)], N), 'releasing')\ncheck('trace lease-denied then request-display', solve('claiming', [('lease-denied', N), ('request-display', N)], N), 'claiming')\ncheck('trace lease-denied then foreign-release', solve('claiming', [('lease-denied', N), ('foreign-release', N)], N), 'standby')\ncheck('trace lease-revoked then unmounted', solve('displaying', [('lease-revoked', N), ('unmounted', N)], N), 'standby')\ncheck('trace unmounted then request-display', solve('withdrawing', [('unmounted', N), ('request-display', N)], N), 'claiming')\ncheck('trace unmounted then foreign-release', solve('withdrawing', [('unmounted', N), ('foreign-release', N)], N), 'standby')\ncheck('trace close-surface then release-confirmed', solve('displaying', [('close-surface', N), ('release-confirmed', N)], N), 'standby')\ncheck('trace release-confirmed then request-display', solve('releasing', [('release-confirmed', N), ('request-display', N)], N), 'claiming')\ncheck('trace release-confirmed then foreign-release', solve('releasing', [('release-confirmed', N), ('foreign-release', N)], N), 'standby')\ncheck('trace cancel-display then late-lease-granted', solve('claiming', [('cancel-display', N), ('late-lease-granted', N)], N), 'releasing')\ncheck('trace late-lease-granted then release-confirmed', solve('claim-canceled', [('late-lease-granted', N), ('release-confirmed', N)], N), 'standby')\ncheck('trace foreign-release then request-display', solve('standby', [('foreign-release', N), ('request-display', N)], N), 'claiming')\ncheck('trace foreign-release then foreign-release', solve('standby', [('foreign-release', N), ('foreign-release', N)], N), 'standby')\ncheck('domain state regression 1: mounted', solve('claiming', [('lease-granted', N, {'token': 4})], N, {}, 'mounted'), {'phase': 'claiming', 'value': False})\ncheck('domain state regression 2: mounted', solve('claiming', [('lease-granted', N, {'token': 5})], N, {}, 'mounted'), {'phase': 'displaying', 'value': True})\ncheck('domain state regression 3: mounted', solve('displaying', [('lease-revoked', N, {'token': 4})], N, {'mounted': True}, 'mounted'), {'phase': 'displaying', 'value': True})\ncheck('domain state regression 4: mounted', solve('displaying', [('lease-revoked', N, {'token': 5})], N, {'mounted': True}, 'mounted'), {'phase': 'withdrawing', 'value': False})\ncheck('domain state regression 5: released', solve('claim-canceled', [('late-lease-granted', N, {})], N, {}, 'released'), {'phase': 'releasing', 'value': [5]})\ncheck('domain state regression 6: released', solve('standby', [('foreign-release', N, {'owner': 'foreign'})], N, {}, 'released'), {'phase': 'standby', 'value': []})\ncheck('domain state regression 7: released', solve('standby', [('request-display', N, {}), ('cancel-display', N, {}), ('late-lease-granted', N, {'token': 5})], N, {}, 'released'), {'phase': 'releasing', 'value': [5]})\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-display-lease-02","generated_at":"2026-09-29T14:42:30.030222+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 claiming / lease-granted transition to displaying; preserve the other explicitly stipulated transitions.","root_cause":"Granted display ownership does not mount the notification.","sha256":"2b2980e02ffb71e2620b71f92bfea58f01cc7cf5a6c50c6949dab86bc1a7f831","title":"Single-surface notification display ownership: lease-granted from claiming · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.913,"exit_code":1,"observations":[{"actual":"claiming","check":"standby / request-display","expected":"claiming","passed":true},{"actual":"claiming","check":"claiming / lease-granted","expected":"displaying","passed":false},{"actual":"standby","check":"claiming / lease-denied","expected":"standby","passed":true},{"actual":"withdrawing","check":"displaying / lease-revoked","expected":"withdrawing","passed":true},{"actual":"standby","check":"withdrawing / unmounted","expected":"standby","passed":true},{"actual":"releasing","check":"displaying / close-surface","expected":"releasing","passed":true},{"actual":"standby","check":"releasing / release-confirmed","expected":"standby","passed":true},{"actual":"claim-canceled","check":"claiming / cancel-display","expected":"claim-canceled","passed":true},{"actual":"releasing","check":"claim-canceled / late-lease-granted","expected":"releasing","passed":true},{"actual":"standby","check":"standby / foreign-release","expected":"standby","passed":true},{"actual":"standby","check":"older notification incarnation","expected":"standby","passed":true},{"actual":"standby","check":"future notification incarnation","expected":"standby","passed":true},{"actual":"standby","check":"unknown event is inert","expected":"standby","passed":true},{"actual":"standby","check":"empty delivery batch","expected":"standby","passed":true},{"actual":"claiming","check":"N stale deliveries before current delivery","expected":"claiming","passed":true},{"actual":"claiming","check":"trace request-display then lease-granted","expected":"displaying","passed":false},{"actual":"standby","check":"trace request-display then lease-denied","expected":"standby","passed":true},{"actual":"claim-canceled","check":"trace request-display then cancel-display","expected":"claim-canceled","passed":true},{"actual":"claiming","check":"trace lease-granted then lease-revoked","expected":"withdrawing","passed":false},{"actual":"claiming","check":"trace lease-granted then close-surface","expected":"releasing","passed":false},{"actual":"claiming","check":"trace lease-denied then request-display","expected":"claiming","passed":true},{"actual":"standby","check":"trace lease-denied then foreign-release","expected":"standby","passed":true},{"actual":"standby","check":"trace lease-revoked then unmounted","expected":"standby","passed":true},{"actual":"claiming","check":"trace unmounted then request-display","expected":"claiming","passed":true},{"actual":"standby","check":"trace unmounted then foreign-release","expected":"standby","passed":true},{"actual":"standby","check":"trace close-surface then release-confirmed","expected":"standby","passed":true},{"actual":"claiming","check":"trace release-confirmed then request-display","expected":"claiming","passed":true},{"actual":"standby","check":"trace release-confirmed then foreign-release","expected":"standby","passed":true},{"actual":"releasing","check":"trace cancel-display then late-lease-granted","expected":"releasing","passed":true},{"actual":"standby","check":"trace late-lease-granted then release-confirmed","expected":"standby","passed":true},{"actual":"claiming","check":"trace foreign-release then request-display","expected":"claiming","passed":true},{"actual":"standby","check":"trace foreign-release then foreign-release","expected":"standby","passed":true},{"actual":{"phase":"claiming","value":false},"check":"domain state regression 1: mounted","expected":{"phase":"claiming","value":false},"passed":true},{"actual":{"phase":"claiming","value":false},"check":"domain state regression 2: mounted","expected":{"phase":"displaying","value":true},"passed":false},{"actual":{"phase":"displaying","value":true},"check":"domain state regression 3: mounted","expected":{"phase":"displaying","value":true},"passed":true},{"actual":{"phase":"withdrawing","value":false},"check":"domain state regression 4: mounted","expected":{"phase":"withdrawing","value":false},"passed":true},{"actual":{"phase":"releasing","value":[5]},"check":"domain state regression 5: released","expected":{"phase":"releasing","value":[5]},"passed":true},{"actual":{"phase":"standby","value":[]},"check":"domain state regression 6: released","expected":{"phase":"standby","value":[]},"passed":true},{"actual":{"phase":"releasing","value":[5]},"check":"domain state regression 7: released","expected":{"phase":"releasing","value":[5]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"standby / request-display\", \"actual\": \"claiming\", \"expected\": \"claiming\", \"passed\": true}, {\"check\": \"claiming / lease-granted\", \"actual\": \"claiming\", \"expected\": \"displaying\", \"passed\": false}, {\"check\": \"claiming / lease-denied\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"displaying / lease-revoked\", \"actual\": \"withdrawing\", \"expected\": \"withdrawing\", \"passed\": true}, {\"check\": \"withdrawing / unmounted\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"displaying / close-surface\", \"actual\": \"releasing\", \"expected\": \"releasing\", \"passed\": true}, {\"check\": \"releasing / release-confirmed\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"claiming / cancel-display\", \"actual\": \"claim-canceled\", \"expected\": \"claim-canceled\", \"passed\": true}, {\"check\": \"claim-canceled / late-lease-granted\", \"actual\": \"releasing\", \"expected\": \"releasing\", \"passed\": true}, {\"check\": \"standby / foreign-release\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"older notification incarnation\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"future notification incarnation\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"unknown event is inert\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"empty delivery batch\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"N stale deliveries before current delivery\", \"actual\": \"claiming\", \"expected\": \"claiming\", \"passed\": true}, {\"check\": \"trace request-display then lease-granted\", \"actual\": \"claiming\", \"expected\": \"displaying\", \"passed\": false}, {\"check\": \"trace request-display then lease-denied\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"trace request-display then cancel-display\", \"actual\": \"claim-canceled\", \"expected\": \"claim-canceled\", \"passed\": true}, {\"check\": \"trace lease-granted then lease-revoked\", \"actual\": \"claiming\", \"expected\": \"withdrawing\", \"passed\": false}, {\"check\": \"trace lease-granted then close-surface\", \"actual\": \"claiming\", \"expected\": \"releasing\", \"passed\": false}, {\"check\": \"trace lease-denied then request-display\", \"actual\": \"claiming\", \"expected\": \"claiming\", \"passed\": true}, {\"check\": \"trace lease-denied then foreign-release\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"trace lease-revoked then unmounted\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"trace unmounted then request-display\", \"actual\": \"claiming\", \"expected\": \"claiming\", \"passed\": true}, {\"check\": \"trace unmounted then foreign-release\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"trace close-surface then release-confirmed\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"trace release-confirmed then request-display\", \"actual\": \"claiming\", \"expected\": \"claiming\", \"passed\": true}, {\"check\": \"trace release-confirmed then foreign-release\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"trace cancel-display then late-lease-granted\", \"actual\": \"releasing\", \"expected\": \"releasing\", \"passed\": true}, {\"check\": \"trace late-lease-granted then release-confirmed\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"trace foreign-release then request-display\", \"actual\": \"claiming\", \"expected\": \"claiming\", \"passed\": true}, {\"check\": \"trace foreign-release then foreign-release\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"domain state regression 1: mounted\", \"actual\": {\"phase\": \"claiming\", \"value\": false}, \"expected\": {\"phase\": \"claiming\", \"value\": false}, \"passed\": true}, {\"check\": \"domain state regression 2: mounted\", \"actual\": {\"phase\": \"claiming\", \"value\": false}, \"expected\": {\"phase\": \"displaying\", \"value\": true}, \"passed\": false}, {\"check\": \"domain state regression 3: mounted\", \"actual\": {\"phase\": \"displaying\", \"value\": true}, \"expected\": {\"phase\": \"displaying\", \"value\": true}, \"passed\": true}, {\"check\": \"domain state regression 4: mounted\", \"actual\": {\"phase\": \"withdrawing\", \"value\": false}, \"expected\": {\"phase\": \"withdrawing\", \"value\": false}, \"passed\": true}, {\"check\": \"domain state regression 5: released\", \"actual\": {\"phase\": \"releasing\", \"value\": [5]}, \"expected\": {\"phase\": \"releasing\", \"value\": [5]}, \"passed\": true}, {\"check\": \"domain state regression 6: released\", \"actual\": {\"phase\": \"standby\", \"value\": []}, \"expected\": {\"phase\": \"standby\", \"value\": []}, \"passed\": true}, {\"check\": \"domain state regression 7: released\", \"actual\": {\"phase\": \"releasing\", \"value\": [5]}, \"expected\": {\"phase\": \"releasing\", \"value\": [5]}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.781,"exit_code":1,"observations":[{"actual":"claiming","check":"standby / request-display","expected":"claiming","passed":true},{"actual":"standby","check":"claiming / lease-granted","expected":"displaying","passed":false},{"actual":"standby","check":"claiming / lease-denied","expected":"standby","passed":true},{"actual":"withdrawing","check":"displaying / lease-revoked","expected":"withdrawing","passed":true},{"actual":"standby","check":"withdrawing / unmounted","expected":"standby","passed":true},{"actual":"releasing","check":"displaying / close-surface","expected":"releasing","passed":true},{"actual":"standby","check":"releasing / release-confirmed","expected":"standby","passed":true},{"actual":"claim-canceled","check":"claiming / cancel-display","expected":"claim-canceled","passed":true},{"actual":"releasing","check":"claim-canceled / late-lease-granted","expected":"releasing","passed":true},{"actual":"standby","check":"standby / foreign-release","expected":"standby","passed":true},{"actual":"standby","check":"older notification incarnation","expected":"standby","passed":true},{"actual":"standby","check":"future notification incarnation","expected":"standby","passed":true},{"actual":"standby","check":"unknown event is inert","expected":"standby","passed":true},{"actual":"standby","check":"empty delivery batch","expected":"standby","passed":true},{"actual":"claiming","check":"N stale deliveries before current delivery","expected":"claiming","passed":true},{"actual":"standby","check":"trace request-display then lease-granted","expected":"displaying","passed":false},{"actual":"standby","check":"trace request-display then lease-denied","expected":"standby","passed":true},{"actual":"claim-canceled","check":"trace request-display then cancel-display","expected":"claim-canceled","passed":true},{"actual":"standby","check":"trace lease-granted then lease-revoked","expected":"withdrawing","passed":false},{"actual":"standby","check":"trace lease-granted then close-surface","expected":"releasing","passed":false},{"actual":"claiming","check":"trace lease-denied then request-display","expected":"claiming","passed":true},{"actual":"standby","check":"trace lease-denied then foreign-release","expected":"standby","passed":true},{"actual":"standby","check":"trace lease-revoked then unmounted","expected":"standby","passed":true},{"actual":"claiming","check":"trace unmounted then request-display","expected":"claiming","passed":true},{"actual":"standby","check":"trace unmounted then foreign-release","expected":"standby","passed":true},{"actual":"standby","check":"trace close-surface then release-confirmed","expected":"standby","passed":true},{"actual":"claiming","check":"trace release-confirmed then request-display","expected":"claiming","passed":true},{"actual":"standby","check":"trace release-confirmed then foreign-release","expected":"standby","passed":true},{"actual":"releasing","check":"trace cancel-display then late-lease-granted","expected":"releasing","passed":true},{"actual":"standby","check":"trace late-lease-granted then release-confirmed","expected":"standby","passed":true},{"actual":"claiming","check":"trace foreign-release then request-display","expected":"claiming","passed":true},{"actual":"standby","check":"trace foreign-release then foreign-release","expected":"standby","passed":true},{"actual":{"phase":"claiming","value":false},"check":"domain state regression 1: mounted","expected":{"phase":"claiming","value":false},"passed":true},{"actual":{"phase":"standby","value":false},"check":"domain state regression 2: mounted","expected":{"phase":"displaying","value":true},"passed":false},{"actual":{"phase":"displaying","value":true},"check":"domain state regression 3: mounted","expected":{"phase":"displaying","value":true},"passed":true},{"actual":{"phase":"withdrawing","value":false},"check":"domain state regression 4: mounted","expected":{"phase":"withdrawing","value":false},"passed":true},{"actual":{"phase":"releasing","value":[5]},"check":"domain state regression 5: released","expected":{"phase":"releasing","value":[5]},"passed":true},{"actual":{"phase":"standby","value":[]},"check":"domain state regression 6: released","expected":{"phase":"standby","value":[]},"passed":true},{"actual":{"phase":"releasing","value":[5]},"check":"domain state regression 7: released","expected":{"phase":"releasing","value":[5]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"standby / request-display\", \"actual\": \"claiming\", \"expected\": \"claiming\", \"passed\": true}, {\"check\": \"claiming / lease-granted\", \"actual\": \"standby\", \"expected\": \"displaying\", \"passed\": false}, {\"check\": \"claiming / lease-denied\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"displaying / lease-revoked\", \"actual\": \"withdrawing\", \"expected\": \"withdrawing\", \"passed\": true}, {\"check\": \"withdrawing / unmounted\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"displaying / close-surface\", \"actual\": \"releasing\", \"expected\": \"releasing\", \"passed\": true}, {\"check\": \"releasing / release-confirmed\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"claiming / cancel-display\", \"actual\": \"claim-canceled\", \"expected\": \"claim-canceled\", \"passed\": true}, {\"check\": \"claim-canceled / late-lease-granted\", \"actual\": \"releasing\", \"expected\": \"releasing\", \"passed\": true}, {\"check\": \"standby / foreign-release\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"older notification incarnation\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"future notification incarnation\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"unknown event is inert\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"empty delivery batch\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"N stale deliveries before current delivery\", \"actual\": \"claiming\", \"expected\": \"claiming\", \"passed\": true}, {\"check\": \"trace request-display then lease-granted\", \"actual\": \"standby\", \"expected\": \"displaying\", \"passed\": false}, {\"check\": \"trace request-display then lease-denied\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"trace request-display then cancel-display\", \"actual\": \"claim-canceled\", \"expected\": \"claim-canceled\", \"passed\": true}, {\"check\": \"trace lease-granted then lease-revoked\", \"actual\": \"standby\", \"expected\": \"withdrawing\", \"passed\": false}, {\"check\": \"trace lease-granted then close-surface\", \"actual\": \"standby\", \"expected\": \"releasing\", \"passed\": false}, {\"check\": \"trace lease-denied then request-display\", \"actual\": \"claiming\", \"expected\": \"claiming\", \"passed\": true}, {\"check\": \"trace lease-denied then foreign-release\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"trace lease-revoked then unmounted\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"trace unmounted then request-display\", \"actual\": \"claiming\", \"expected\": \"claiming\", \"passed\": true}, {\"check\": \"trace unmounted then foreign-release\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"trace close-surface then release-confirmed\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"trace release-confirmed then request-display\", \"actual\": \"claiming\", \"expected\": \"claiming\", \"passed\": true}, {\"check\": \"trace release-confirmed then foreign-release\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"trace cancel-display then late-lease-granted\", \"actual\": \"releasing\", \"expected\": \"releasing\", \"passed\": true}, {\"check\": \"trace late-lease-granted then release-confirmed\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"trace foreign-release then request-display\", \"actual\": \"claiming\", \"expected\": \"claiming\", \"passed\": true}, {\"check\": \"trace foreign-release then foreign-release\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"domain state regression 1: mounted\", \"actual\": {\"phase\": \"claiming\", \"value\": false}, \"expected\": {\"phase\": \"claiming\", \"value\": false}, \"passed\": true}, {\"check\": \"domain state regression 2: mounted\", \"actual\": {\"phase\": \"standby\", \"value\": false}, \"expected\": {\"phase\": \"displaying\", \"value\": true}, \"passed\": false}, {\"check\": \"domain state regression 3: mounted\", \"actual\": {\"phase\": \"displaying\", \"value\": true}, \"expected\": {\"phase\": \"displaying\", \"value\": true}, \"passed\": true}, {\"check\": \"domain state regression 4: mounted\", \"actual\": {\"phase\": \"withdrawing\", \"value\": false}, \"expected\": {\"phase\": \"withdrawing\", \"value\": false}, \"passed\": true}, {\"check\": \"domain state regression 5: released\", \"actual\": {\"phase\": \"releasing\", \"value\": [5]}, \"expected\": {\"phase\": \"releasing\", \"value\": [5]}, \"passed\": true}, {\"check\": \"domain state regression 6: released\", \"actual\": {\"phase\": \"standby\", \"value\": []}, \"expected\": {\"phase\": \"standby\", \"value\": []}, \"passed\": true}, {\"check\": \"domain state regression 7: released\", \"actual\": {\"phase\": \"releasing\", \"value\": [5]}, \"expected\": {\"phase\": \"releasing\", \"value\": [5]}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.661,"exit_code":0,"observations":[{"actual":"claiming","check":"standby / request-display","expected":"claiming","passed":true},{"actual":"displaying","check":"claiming / lease-granted","expected":"displaying","passed":true},{"actual":"standby","check":"claiming / lease-denied","expected":"standby","passed":true},{"actual":"withdrawing","check":"displaying / lease-revoked","expected":"withdrawing","passed":true},{"actual":"standby","check":"withdrawing / unmounted","expected":"standby","passed":true},{"actual":"releasing","check":"displaying / close-surface","expected":"releasing","passed":true},{"actual":"standby","check":"releasing / release-confirmed","expected":"standby","passed":true},{"actual":"claim-canceled","check":"claiming / cancel-display","expected":"claim-canceled","passed":true},{"actual":"releasing","check":"claim-canceled / late-lease-granted","expected":"releasing","passed":true},{"actual":"standby","check":"standby / foreign-release","expected":"standby","passed":true},{"actual":"standby","check":"older notification incarnation","expected":"standby","passed":true},{"actual":"standby","check":"future notification incarnation","expected":"standby","passed":true},{"actual":"standby","check":"unknown event is inert","expected":"standby","passed":true},{"actual":"standby","check":"empty delivery batch","expected":"standby","passed":true},{"actual":"claiming","check":"N stale deliveries before current delivery","expected":"claiming","passed":true},{"actual":"displaying","check":"trace request-display then lease-granted","expected":"displaying","passed":true},{"actual":"standby","check":"trace request-display then lease-denied","expected":"standby","passed":true},{"actual":"claim-canceled","check":"trace request-display then cancel-display","expected":"claim-canceled","passed":true},{"actual":"withdrawing","check":"trace lease-granted then lease-revoked","expected":"withdrawing","passed":true},{"actual":"releasing","check":"trace lease-granted then close-surface","expected":"releasing","passed":true},{"actual":"claiming","check":"trace lease-denied then request-display","expected":"claiming","passed":true},{"actual":"standby","check":"trace lease-denied then foreign-release","expected":"standby","passed":true},{"actual":"standby","check":"trace lease-revoked then unmounted","expected":"standby","passed":true},{"actual":"claiming","check":"trace unmounted then request-display","expected":"claiming","passed":true},{"actual":"standby","check":"trace unmounted then foreign-release","expected":"standby","passed":true},{"actual":"standby","check":"trace close-surface then release-confirmed","expected":"standby","passed":true},{"actual":"claiming","check":"trace release-confirmed then request-display","expected":"claiming","passed":true},{"actual":"standby","check":"trace release-confirmed then foreign-release","expected":"standby","passed":true},{"actual":"releasing","check":"trace cancel-display then late-lease-granted","expected":"releasing","passed":true},{"actual":"standby","check":"trace late-lease-granted then release-confirmed","expected":"standby","passed":true},{"actual":"claiming","check":"trace foreign-release then request-display","expected":"claiming","passed":true},{"actual":"standby","check":"trace foreign-release then foreign-release","expected":"standby","passed":true},{"actual":{"phase":"claiming","value":false},"check":"domain state regression 1: mounted","expected":{"phase":"claiming","value":false},"passed":true},{"actual":{"phase":"displaying","value":true},"check":"domain state regression 2: mounted","expected":{"phase":"displaying","value":true},"passed":true},{"actual":{"phase":"displaying","value":true},"check":"domain state regression 3: mounted","expected":{"phase":"displaying","value":true},"passed":true},{"actual":{"phase":"withdrawing","value":false},"check":"domain state regression 4: mounted","expected":{"phase":"withdrawing","value":false},"passed":true},{"actual":{"phase":"releasing","value":[5]},"check":"domain state regression 5: released","expected":{"phase":"releasing","value":[5]},"passed":true},{"actual":{"phase":"standby","value":[]},"check":"domain state regression 6: released","expected":{"phase":"standby","value":[]},"passed":true},{"actual":{"phase":"releasing","value":[5]},"check":"domain state regression 7: released","expected":{"phase":"releasing","value":[5]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"standby / request-display\", \"actual\": \"claiming\", \"expected\": \"claiming\", \"passed\": true}, {\"check\": \"claiming / lease-granted\", \"actual\": \"displaying\", \"expected\": \"displaying\", \"passed\": true}, {\"check\": \"claiming / lease-denied\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"displaying / lease-revoked\", \"actual\": \"withdrawing\", \"expected\": \"withdrawing\", \"passed\": true}, {\"check\": \"withdrawing / unmounted\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"displaying / close-surface\", \"actual\": \"releasing\", \"expected\": \"releasing\", \"passed\": true}, {\"check\": \"releasing / release-confirmed\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"claiming / cancel-display\", \"actual\": \"claim-canceled\", \"expected\": \"claim-canceled\", \"passed\": true}, {\"check\": \"claim-canceled / late-lease-granted\", \"actual\": \"releasing\", \"expected\": \"releasing\", \"passed\": true}, {\"check\": \"standby / foreign-release\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"older notification incarnation\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"future notification incarnation\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"unknown event is inert\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"empty delivery batch\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"N stale deliveries before current delivery\", \"actual\": \"claiming\", \"expected\": \"claiming\", \"passed\": true}, {\"check\": \"trace request-display then lease-granted\", \"actual\": \"displaying\", \"expected\": \"displaying\", \"passed\": true}, {\"check\": \"trace request-display then lease-denied\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"trace request-display then cancel-display\", \"actual\": \"claim-canceled\", \"expected\": \"claim-canceled\", \"passed\": true}, {\"check\": \"trace lease-granted then lease-revoked\", \"actual\": \"withdrawing\", \"expected\": \"withdrawing\", \"passed\": true}, {\"check\": \"trace lease-granted then close-surface\", \"actual\": \"releasing\", \"expected\": \"releasing\", \"passed\": true}, {\"check\": \"trace lease-denied then request-display\", \"actual\": \"claiming\", \"expected\": \"claiming\", \"passed\": true}, {\"check\": \"trace lease-denied then foreign-release\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"trace lease-revoked then unmounted\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"trace unmounted then request-display\", \"actual\": \"claiming\", \"expected\": \"claiming\", \"passed\": true}, {\"check\": \"trace unmounted then foreign-release\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"trace close-surface then release-confirmed\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"trace release-confirmed then request-display\", \"actual\": \"claiming\", \"expected\": \"claiming\", \"passed\": true}, {\"check\": \"trace release-confirmed then foreign-release\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"trace cancel-display then late-lease-granted\", \"actual\": \"releasing\", \"expected\": \"releasing\", \"passed\": true}, {\"check\": \"trace late-lease-granted then release-confirmed\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"trace foreign-release then request-display\", \"actual\": \"claiming\", \"expected\": \"claiming\", \"passed\": true}, {\"check\": \"trace foreign-release then foreign-release\", \"actual\": \"standby\", \"expected\": \"standby\", \"passed\": true}, {\"check\": \"domain state regression 1: mounted\", \"actual\": {\"phase\": \"claiming\", \"value\": false}, \"expected\": {\"phase\": \"claiming\", \"value\": false}, \"passed\": true}, {\"check\": \"domain state regression 2: mounted\", \"actual\": {\"phase\": \"displaying\", \"value\": true}, \"expected\": {\"phase\": \"displaying\", \"value\": true}, \"passed\": true}, {\"check\": \"domain state regression 3: mounted\", \"actual\": {\"phase\": \"displaying\", \"value\": true}, \"expected\": {\"phase\": \"displaying\", \"value\": true}, \"passed\": true}, {\"check\": \"domain state regression 4: mounted\", \"actual\": {\"phase\": \"withdrawing\", \"value\": false}, \"expected\": {\"phase\": \"withdrawing\", \"value\": false}, \"passed\": true}, {\"check\": \"domain state regression 5: released\", \"actual\": {\"phase\": \"releasing\", \"value\": [5]}, \"expected\": {\"phase\": \"releasing\", \"value\": [5]}, \"passed\": true}, {\"check\": \"domain state regression 6: released\", \"actual\": {\"phase\": \"standby\", \"value\": []}, \"expected\": {\"phase\": \"standby\", \"value\": []}, \"passed\": true}, {\"check\": \"domain state regression 7: released\", \"actual\": {\"phase\": \"releasing\", \"value\": [5]}, \"expected\": {\"phase\": \"releasing\", \"value\": [5]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}