{"abstract":"The condition-cleared event leaves a notification in resolved instead of resolved-unread.","category":"Notification interfaces","checks":38,"contract":"Notification severity escalation acknowledgement is a bounded visual-notification workflow with mutable policy state {'occurrence': 1, 'acknowledged': [], 'active': True, 'level': 1}. Its default transition relation is {('informational', 'warning-arrives'): 'warning-unacknowledged', ('warning-unacknowledged', 'ack-warning'): 'warning-acknowledged', ('warning-acknowledged', 'critical-arrives'): 'critical-unacknowledged', ('critical-unacknowledged', 'ack-critical'): 'critical-acknowledged', ('critical-acknowledged', 'warning-arrives'): 'critical-acknowledged', ('critical-unacknowledged', 'condition-cleared'): 'resolved-unread', ('critical-acknowledged', 'condition-cleared'): 'resolved', ('resolved-unread', 'open-resolution'): 'resolved', ('resolved', 'recurrence'): 'warning-unacknowledged', ('warning-unacknowledged', 'critical-arrives'): 'critical-unacknowledged'}; 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-severity-escalation","failed_approach":"Downgrading to warning misrepresents a cleared condition.","family":"s3-notification-interfaces-severity-escalation-06","id":"FA-34666","implementations":{"attempt":{"sha256":"552c119c4e19376d56a811f75c923976f3d03e551679109ce7b59902ec66900a","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 = {('informational', 'warning-arrives'): 'warning-unacknowledged', ('warning-unacknowledged', 'ack-warning'): 'warning-acknowledged', ('warning-acknowledged', 'critical-arrives'): 'critical-unacknowledged', ('critical-unacknowledged', 'ack-critical'): 'critical-acknowledged', ('critical-acknowledged', 'warning-arrives'): 'critical-acknowledged', ('critical-unacknowledged', 'condition-cleared'): 'warning-unacknowledged', ('critical-acknowledged', 'condition-cleared'): 'resolved', ('resolved-unread', 'open-resolution'): 'resolved', ('resolved', 'recurrence'): 'warning-unacknowledged', ('warning-unacknowledged', 'critical-arrives'): 'critical-unacknowledged'}\n    data = json.loads(json.dumps({'occurrence': 1, 'acknowledged': [], 'active': True, 'level': 1})) if payload is None else {**json.loads(json.dumps({'occurrence': 1, 'acknowledged': [], 'active': True, 'level': 1})), **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 ('ack-warning','ack-critical') and arg.get('occurrence',data['occurrence']) != data['occurrence']: event = 'unknown-event'\n            if event == 'recurrence': data['occurrence'] += 1\n            state = table.get((state, event), state)\n            if state.startswith('critical-'): data['level'] = 3\n            if state.startswith('warning-'): data['level'] = 2\n            if state.endswith('-acknowledged') and data['occurrence'] not in data['acknowledged']: data['acknowledged'].append(data['occurrence'])\n            if state.startswith('resolved'): data['active'] = False\n            if state == 'warning-unacknowledged': data['active'] = True\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('informational / warning-arrives', solve('informational', [('warning-arrives', N)], N), 'warning-unacknowledged')\ncheck('warning-unacknowledged / ack-warning', solve('warning-unacknowledged', [('ack-warning', N)], N), 'warning-acknowledged')\ncheck('warning-acknowledged / critical-arrives', solve('warning-acknowledged', [('critical-arrives', N)], N), 'critical-unacknowledged')\ncheck('critical-unacknowledged / ack-critical', solve('critical-unacknowledged', [('ack-critical', N)], N), 'critical-acknowledged')\ncheck('critical-acknowledged / warning-arrives', solve('critical-acknowledged', [('warning-arrives', N)], N), 'critical-acknowledged')\ncheck('critical-unacknowledged / condition-cleared', solve('critical-unacknowledged', [('condition-cleared', N)], N), 'resolved-unread')\ncheck('critical-acknowledged / condition-cleared', solve('critical-acknowledged', [('condition-cleared', N)], N), 'resolved')\ncheck('resolved-unread / open-resolution', solve('resolved-unread', [('open-resolution', N)], N), 'resolved')\ncheck('resolved / recurrence', solve('resolved', [('recurrence', N)], N), 'warning-unacknowledged')\ncheck('warning-unacknowledged / critical-arrives', solve('warning-unacknowledged', [('critical-arrives', N)], N), 'critical-unacknowledged')\ncheck('older notification incarnation', solve('informational', [('warning-arrives', N - 1)], N), 'informational')\ncheck('future notification incarnation', solve('informational', [('warning-arrives', N + 1)], N), 'informational')\ncheck('unknown event is inert', solve('informational', [('unknown-event', N)], N), 'informational')\ncheck('empty delivery batch', solve('informational', [], N), 'informational')\ncheck('N stale deliveries before current delivery', solve('informational', [('warning-arrives', N - 1)] * N + [('warning-arrives', N)], N), 'warning-unacknowledged')\ncheck('trace warning-arrives then ack-warning', solve('informational', [('warning-arrives', N), ('ack-warning', N)], N), 'warning-acknowledged')\ncheck('trace warning-arrives then critical-arrives', solve('informational', [('warning-arrives', N), ('critical-arrives', N)], N), 'critical-unacknowledged')\ncheck('trace ack-warning then critical-arrives', solve('warning-unacknowledged', [('ack-warning', N), ('critical-arrives', N)], N), 'critical-unacknowledged')\ncheck('trace critical-arrives then ack-critical', solve('warning-acknowledged', [('critical-arrives', N), ('ack-critical', N)], N), 'critical-acknowledged')\ncheck('trace critical-arrives then condition-cleared', solve('warning-acknowledged', [('critical-arrives', N), ('condition-cleared', N)], N), 'resolved-unread')\ncheck('trace ack-critical then warning-arrives', solve('critical-unacknowledged', [('ack-critical', N), ('warning-arrives', N)], N), 'critical-acknowledged')\ncheck('trace ack-critical then condition-cleared', solve('critical-unacknowledged', [('ack-critical', N), ('condition-cleared', N)], N), 'resolved')\ncheck('trace warning-arrives then warning-arrives', solve('critical-acknowledged', [('warning-arrives', N), ('warning-arrives', N)], N), 'critical-acknowledged')\ncheck('trace warning-arrives then condition-cleared', solve('critical-acknowledged', [('warning-arrives', N), ('condition-cleared', N)], N), 'resolved')\ncheck('trace condition-cleared then open-resolution', solve('critical-unacknowledged', [('condition-cleared', N), ('open-resolution', N)], N), 'resolved')\ncheck('trace condition-cleared then recurrence', solve('critical-acknowledged', [('condition-cleared', N), ('recurrence', N)], N), 'warning-unacknowledged')\ncheck('trace open-resolution then recurrence', solve('resolved-unread', [('open-resolution', N), ('recurrence', N)], N), 'warning-unacknowledged')\ncheck('trace recurrence then ack-warning', solve('resolved', [('recurrence', N), ('ack-warning', N)], N), 'warning-acknowledged')\ncheck('trace recurrence then critical-arrives', solve('resolved', [('recurrence', N), ('critical-arrives', N)], N), 'critical-unacknowledged')\ncheck('trace critical-arrives then ack-critical', solve('warning-unacknowledged', [('critical-arrives', N), ('ack-critical', N)], N), 'critical-acknowledged')\ncheck('trace critical-arrives then condition-cleared', solve('warning-unacknowledged', [('critical-arrives', N), ('condition-cleared', N)], N), 'resolved-unread')\ncheck('domain state regression 1: acknowledged', solve('critical-unacknowledged', [('ack-critical', N, {'occurrence': 0})], N, {}, 'acknowledged'), {'phase': 'critical-unacknowledged', 'value': []})\ncheck('domain state regression 2: acknowledged', solve('critical-unacknowledged', [('ack-critical', N, {'occurrence': 1})], N, {}, 'acknowledged'), {'phase': 'critical-acknowledged', 'value': [1]})\ncheck('domain state regression 3: level', solve('warning-acknowledged', [('critical-arrives', N, {})], N, {'level': 2}, 'level'), {'phase': 'critical-unacknowledged', 'value': 3})\ncheck('domain state regression 4: level', solve('critical-acknowledged', [('warning-arrives', N, {})], N, {'level': 3}, 'level'), {'phase': 'critical-acknowledged', 'value': 3})\ncheck('domain state regression 5: active', solve('critical-unacknowledged', [('condition-cleared', N, {})], N, {}, 'active'), {'phase': 'resolved-unread', 'value': False})\ncheck('domain state regression 6: occurrence', solve('resolved', [('recurrence', N, {})], N, {'acknowledged': [1], 'active': False}, 'occurrence'), {'phase': 'warning-unacknowledged', 'value': 2})\ncheck('domain state regression 7: occurrence', solve('warning-unacknowledged', [('ack-warning', N, {}), ('critical-arrives', N, {}), ('condition-cleared', N, {}), ('open-resolution', N, {}), ('recurrence', N, {})], N, {}, 'occurrence'), {'phase': 'warning-unacknowledged', 'value': 2})\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":"bbaf40208e639ecb7bdd73a5bccb36a527a6369c83ade73345635e984d73108d","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 = {('informational', 'warning-arrives'): 'warning-unacknowledged', ('warning-unacknowledged', 'ack-warning'): 'warning-acknowledged', ('warning-acknowledged', 'critical-arrives'): 'critical-unacknowledged', ('critical-unacknowledged', 'ack-critical'): 'critical-acknowledged', ('critical-acknowledged', 'warning-arrives'): 'critical-acknowledged', ('critical-unacknowledged', 'condition-cleared'): 'resolved', ('critical-acknowledged', 'condition-cleared'): 'resolved', ('resolved-unread', 'open-resolution'): 'resolved', ('resolved', 'recurrence'): 'warning-unacknowledged', ('warning-unacknowledged', 'critical-arrives'): 'critical-unacknowledged'}\n    data = json.loads(json.dumps({'occurrence': 1, 'acknowledged': [], 'active': True, 'level': 1})) if payload is None else {**json.loads(json.dumps({'occurrence': 1, 'acknowledged': [], 'active': True, 'level': 1})), **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 ('ack-warning','ack-critical') and arg.get('occurrence',data['occurrence']) != data['occurrence']: event = 'unknown-event'\n            if event == 'recurrence': data['occurrence'] += 1\n            state = table.get((state, event), state)\n            if state.startswith('critical-'): data['level'] = 3\n            if state.startswith('warning-'): data['level'] = 2\n            if state.endswith('-acknowledged') and data['occurrence'] not in data['acknowledged']: data['acknowledged'].append(data['occurrence'])\n            if state.startswith('resolved'): data['active'] = False\n            if state == 'warning-unacknowledged': data['active'] = True\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('informational / warning-arrives', solve('informational', [('warning-arrives', N)], N), 'warning-unacknowledged')\ncheck('warning-unacknowledged / ack-warning', solve('warning-unacknowledged', [('ack-warning', N)], N), 'warning-acknowledged')\ncheck('warning-acknowledged / critical-arrives', solve('warning-acknowledged', [('critical-arrives', N)], N), 'critical-unacknowledged')\ncheck('critical-unacknowledged / ack-critical', solve('critical-unacknowledged', [('ack-critical', N)], N), 'critical-acknowledged')\ncheck('critical-acknowledged / warning-arrives', solve('critical-acknowledged', [('warning-arrives', N)], N), 'critical-acknowledged')\ncheck('critical-unacknowledged / condition-cleared', solve('critical-unacknowledged', [('condition-cleared', N)], N), 'resolved-unread')\ncheck('critical-acknowledged / condition-cleared', solve('critical-acknowledged', [('condition-cleared', N)], N), 'resolved')\ncheck('resolved-unread / open-resolution', solve('resolved-unread', [('open-resolution', N)], N), 'resolved')\ncheck('resolved / recurrence', solve('resolved', [('recurrence', N)], N), 'warning-unacknowledged')\ncheck('warning-unacknowledged / critical-arrives', solve('warning-unacknowledged', [('critical-arrives', N)], N), 'critical-unacknowledged')\ncheck('older notification incarnation', solve('informational', [('warning-arrives', N - 1)], N), 'informational')\ncheck('future notification incarnation', solve('informational', [('warning-arrives', N + 1)], N), 'informational')\ncheck('unknown event is inert', solve('informational', [('unknown-event', N)], N), 'informational')\ncheck('empty delivery batch', solve('informational', [], N), 'informational')\ncheck('N stale deliveries before current delivery', solve('informational', [('warning-arrives', N - 1)] * N + [('warning-arrives', N)], N), 'warning-unacknowledged')\ncheck('trace warning-arrives then ack-warning', solve('informational', [('warning-arrives', N), ('ack-warning', N)], N), 'warning-acknowledged')\ncheck('trace warning-arrives then critical-arrives', solve('informational', [('warning-arrives', N), ('critical-arrives', N)], N), 'critical-unacknowledged')\ncheck('trace ack-warning then critical-arrives', solve('warning-unacknowledged', [('ack-warning', N), ('critical-arrives', N)], N), 'critical-unacknowledged')\ncheck('trace critical-arrives then ack-critical', solve('warning-acknowledged', [('critical-arrives', N), ('ack-critical', N)], N), 'critical-acknowledged')\ncheck('trace critical-arrives then condition-cleared', solve('warning-acknowledged', [('critical-arrives', N), ('condition-cleared', N)], N), 'resolved-unread')\ncheck('trace ack-critical then warning-arrives', solve('critical-unacknowledged', [('ack-critical', N), ('warning-arrives', N)], N), 'critical-acknowledged')\ncheck('trace ack-critical then condition-cleared', solve('critical-unacknowledged', [('ack-critical', N), ('condition-cleared', N)], N), 'resolved')\ncheck('trace warning-arrives then warning-arrives', solve('critical-acknowledged', [('warning-arrives', N), ('warning-arrives', N)], N), 'critical-acknowledged')\ncheck('trace warning-arrives then condition-cleared', solve('critical-acknowledged', [('warning-arrives', N), ('condition-cleared', N)], N), 'resolved')\ncheck('trace condition-cleared then open-resolution', solve('critical-unacknowledged', [('condition-cleared', N), ('open-resolution', N)], N), 'resolved')\ncheck('trace condition-cleared then recurrence', solve('critical-acknowledged', [('condition-cleared', N), ('recurrence', N)], N), 'warning-unacknowledged')\ncheck('trace open-resolution then recurrence', solve('resolved-unread', [('open-resolution', N), ('recurrence', N)], N), 'warning-unacknowledged')\ncheck('trace recurrence then ack-warning', solve('resolved', [('recurrence', N), ('ack-warning', N)], N), 'warning-acknowledged')\ncheck('trace recurrence then critical-arrives', solve('resolved', [('recurrence', N), ('critical-arrives', N)], N), 'critical-unacknowledged')\ncheck('trace critical-arrives then ack-critical', solve('warning-unacknowledged', [('critical-arrives', N), ('ack-critical', N)], N), 'critical-acknowledged')\ncheck('trace critical-arrives then condition-cleared', solve('warning-unacknowledged', [('critical-arrives', N), ('condition-cleared', N)], N), 'resolved-unread')\ncheck('domain state regression 1: acknowledged', solve('critical-unacknowledged', [('ack-critical', N, {'occurrence': 0})], N, {}, 'acknowledged'), {'phase': 'critical-unacknowledged', 'value': []})\ncheck('domain state regression 2: acknowledged', solve('critical-unacknowledged', [('ack-critical', N, {'occurrence': 1})], N, {}, 'acknowledged'), {'phase': 'critical-acknowledged', 'value': [1]})\ncheck('domain state regression 3: level', solve('warning-acknowledged', [('critical-arrives', N, {})], N, {'level': 2}, 'level'), {'phase': 'critical-unacknowledged', 'value': 3})\ncheck('domain state regression 4: level', solve('critical-acknowledged', [('warning-arrives', N, {})], N, {'level': 3}, 'level'), {'phase': 'critical-acknowledged', 'value': 3})\ncheck('domain state regression 5: active', solve('critical-unacknowledged', [('condition-cleared', N, {})], N, {}, 'active'), {'phase': 'resolved-unread', 'value': False})\ncheck('domain state regression 6: occurrence', solve('resolved', [('recurrence', N, {})], N, {'acknowledged': [1], 'active': False}, 'occurrence'), {'phase': 'warning-unacknowledged', 'value': 2})\ncheck('domain state regression 7: occurrence', solve('warning-unacknowledged', [('ack-warning', N, {}), ('critical-arrives', N, {}), ('condition-cleared', N, {}), ('open-resolution', N, {}), ('recurrence', N, {})], N, {}, 'occurrence'), {'phase': 'warning-unacknowledged', 'value': 2})\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":"9c910cd226a85a0972aea97472617dbafca372809bfc7b0fd781a894962b0342","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 = {('informational', 'warning-arrives'): 'warning-unacknowledged', ('warning-unacknowledged', 'ack-warning'): 'warning-acknowledged', ('warning-acknowledged', 'critical-arrives'): 'critical-unacknowledged', ('critical-unacknowledged', 'ack-critical'): 'critical-acknowledged', ('critical-acknowledged', 'warning-arrives'): 'critical-acknowledged', ('critical-unacknowledged', 'condition-cleared'): 'resolved-unread', ('critical-acknowledged', 'condition-cleared'): 'resolved', ('resolved-unread', 'open-resolution'): 'resolved', ('resolved', 'recurrence'): 'warning-unacknowledged', ('warning-unacknowledged', 'critical-arrives'): 'critical-unacknowledged'}\n    data = json.loads(json.dumps({'occurrence': 1, 'acknowledged': [], 'active': True, 'level': 1})) if payload is None else {**json.loads(json.dumps({'occurrence': 1, 'acknowledged': [], 'active': True, 'level': 1})), **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 ('ack-warning','ack-critical') and arg.get('occurrence',data['occurrence']) != data['occurrence']: event = 'unknown-event'\n            if event == 'recurrence': data['occurrence'] += 1\n            state = table.get((state, event), state)\n            if state.startswith('critical-'): data['level'] = 3\n            if state.startswith('warning-'): data['level'] = 2\n            if state.endswith('-acknowledged') and data['occurrence'] not in data['acknowledged']: data['acknowledged'].append(data['occurrence'])\n            if state.startswith('resolved'): data['active'] = False\n            if state == 'warning-unacknowledged': data['active'] = True\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('informational / warning-arrives', solve('informational', [('warning-arrives', N)], N), 'warning-unacknowledged')\ncheck('warning-unacknowledged / ack-warning', solve('warning-unacknowledged', [('ack-warning', N)], N), 'warning-acknowledged')\ncheck('warning-acknowledged / critical-arrives', solve('warning-acknowledged', [('critical-arrives', N)], N), 'critical-unacknowledged')\ncheck('critical-unacknowledged / ack-critical', solve('critical-unacknowledged', [('ack-critical', N)], N), 'critical-acknowledged')\ncheck('critical-acknowledged / warning-arrives', solve('critical-acknowledged', [('warning-arrives', N)], N), 'critical-acknowledged')\ncheck('critical-unacknowledged / condition-cleared', solve('critical-unacknowledged', [('condition-cleared', N)], N), 'resolved-unread')\ncheck('critical-acknowledged / condition-cleared', solve('critical-acknowledged', [('condition-cleared', N)], N), 'resolved')\ncheck('resolved-unread / open-resolution', solve('resolved-unread', [('open-resolution', N)], N), 'resolved')\ncheck('resolved / recurrence', solve('resolved', [('recurrence', N)], N), 'warning-unacknowledged')\ncheck('warning-unacknowledged / critical-arrives', solve('warning-unacknowledged', [('critical-arrives', N)], N), 'critical-unacknowledged')\ncheck('older notification incarnation', solve('informational', [('warning-arrives', N - 1)], N), 'informational')\ncheck('future notification incarnation', solve('informational', [('warning-arrives', N + 1)], N), 'informational')\ncheck('unknown event is inert', solve('informational', [('unknown-event', N)], N), 'informational')\ncheck('empty delivery batch', solve('informational', [], N), 'informational')\ncheck('N stale deliveries before current delivery', solve('informational', [('warning-arrives', N - 1)] * N + [('warning-arrives', N)], N), 'warning-unacknowledged')\ncheck('trace warning-arrives then ack-warning', solve('informational', [('warning-arrives', N), ('ack-warning', N)], N), 'warning-acknowledged')\ncheck('trace warning-arrives then critical-arrives', solve('informational', [('warning-arrives', N), ('critical-arrives', N)], N), 'critical-unacknowledged')\ncheck('trace ack-warning then critical-arrives', solve('warning-unacknowledged', [('ack-warning', N), ('critical-arrives', N)], N), 'critical-unacknowledged')\ncheck('trace critical-arrives then ack-critical', solve('warning-acknowledged', [('critical-arrives', N), ('ack-critical', N)], N), 'critical-acknowledged')\ncheck('trace critical-arrives then condition-cleared', solve('warning-acknowledged', [('critical-arrives', N), ('condition-cleared', N)], N), 'resolved-unread')\ncheck('trace ack-critical then warning-arrives', solve('critical-unacknowledged', [('ack-critical', N), ('warning-arrives', N)], N), 'critical-acknowledged')\ncheck('trace ack-critical then condition-cleared', solve('critical-unacknowledged', [('ack-critical', N), ('condition-cleared', N)], N), 'resolved')\ncheck('trace warning-arrives then warning-arrives', solve('critical-acknowledged', [('warning-arrives', N), ('warning-arrives', N)], N), 'critical-acknowledged')\ncheck('trace warning-arrives then condition-cleared', solve('critical-acknowledged', [('warning-arrives', N), ('condition-cleared', N)], N), 'resolved')\ncheck('trace condition-cleared then open-resolution', solve('critical-unacknowledged', [('condition-cleared', N), ('open-resolution', N)], N), 'resolved')\ncheck('trace condition-cleared then recurrence', solve('critical-acknowledged', [('condition-cleared', N), ('recurrence', N)], N), 'warning-unacknowledged')\ncheck('trace open-resolution then recurrence', solve('resolved-unread', [('open-resolution', N), ('recurrence', N)], N), 'warning-unacknowledged')\ncheck('trace recurrence then ack-warning', solve('resolved', [('recurrence', N), ('ack-warning', N)], N), 'warning-acknowledged')\ncheck('trace recurrence then critical-arrives', solve('resolved', [('recurrence', N), ('critical-arrives', N)], N), 'critical-unacknowledged')\ncheck('trace critical-arrives then ack-critical', solve('warning-unacknowledged', [('critical-arrives', N), ('ack-critical', N)], N), 'critical-acknowledged')\ncheck('trace critical-arrives then condition-cleared', solve('warning-unacknowledged', [('critical-arrives', N), ('condition-cleared', N)], N), 'resolved-unread')\ncheck('domain state regression 1: acknowledged', solve('critical-unacknowledged', [('ack-critical', N, {'occurrence': 0})], N, {}, 'acknowledged'), {'phase': 'critical-unacknowledged', 'value': []})\ncheck('domain state regression 2: acknowledged', solve('critical-unacknowledged', [('ack-critical', N, {'occurrence': 1})], N, {}, 'acknowledged'), {'phase': 'critical-acknowledged', 'value': [1]})\ncheck('domain state regression 3: level', solve('warning-acknowledged', [('critical-arrives', N, {})], N, {'level': 2}, 'level'), {'phase': 'critical-unacknowledged', 'value': 3})\ncheck('domain state regression 4: level', solve('critical-acknowledged', [('warning-arrives', N, {})], N, {'level': 3}, 'level'), {'phase': 'critical-acknowledged', 'value': 3})\ncheck('domain state regression 5: active', solve('critical-unacknowledged', [('condition-cleared', N, {})], N, {}, 'active'), {'phase': 'resolved-unread', 'value': False})\ncheck('domain state regression 6: occurrence', solve('resolved', [('recurrence', N, {})], N, {'acknowledged': [1], 'active': False}, 'occurrence'), {'phase': 'warning-unacknowledged', 'value': 2})\ncheck('domain state regression 7: occurrence', solve('warning-unacknowledged', [('ack-warning', N, {}), ('critical-arrives', N, {}), ('condition-cleared', N, {}), ('open-resolution', N, {}), ('recurrence', N, {})], N, {}, 'occurrence'), {'phase': 'warning-unacknowledged', 'value': 2})\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-severity-escalation-06","generated_at":"2026-09-29T14:42:34.128334+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 critical-unacknowledged / condition-cleared transition to resolved-unread; preserve the other explicitly stipulated transitions.","root_cause":"Resolution removes the unread status before the user sees it.","sha256":"9dcb5d026679860fc5a82b364164b96264c6d5ad42dbdd302d5f1c0364bfbf33","title":"Notification severity escalation acknowledgement: condition-cleared from critical-unacknowledged · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.101,"exit_code":1,"observations":[{"actual":"warning-unacknowledged","check":"informational / warning-arrives","expected":"warning-unacknowledged","passed":true},{"actual":"warning-acknowledged","check":"warning-unacknowledged / ack-warning","expected":"warning-acknowledged","passed":true},{"actual":"critical-unacknowledged","check":"warning-acknowledged / critical-arrives","expected":"critical-unacknowledged","passed":true},{"actual":"critical-acknowledged","check":"critical-unacknowledged / ack-critical","expected":"critical-acknowledged","passed":true},{"actual":"critical-acknowledged","check":"critical-acknowledged / warning-arrives","expected":"critical-acknowledged","passed":true},{"actual":"warning-unacknowledged","check":"critical-unacknowledged / condition-cleared","expected":"resolved-unread","passed":false},{"actual":"resolved","check":"critical-acknowledged / condition-cleared","expected":"resolved","passed":true},{"actual":"resolved","check":"resolved-unread / open-resolution","expected":"resolved","passed":true},{"actual":"warning-unacknowledged","check":"resolved / recurrence","expected":"warning-unacknowledged","passed":true},{"actual":"critical-unacknowledged","check":"warning-unacknowledged / critical-arrives","expected":"critical-unacknowledged","passed":true},{"actual":"informational","check":"older notification incarnation","expected":"informational","passed":true},{"actual":"informational","check":"future notification incarnation","expected":"informational","passed":true},{"actual":"informational","check":"unknown event is inert","expected":"informational","passed":true},{"actual":"informational","check":"empty delivery batch","expected":"informational","passed":true},{"actual":"warning-unacknowledged","check":"N stale deliveries before current delivery","expected":"warning-unacknowledged","passed":true},{"actual":"warning-acknowledged","check":"trace warning-arrives then ack-warning","expected":"warning-acknowledged","passed":true},{"actual":"critical-unacknowledged","check":"trace warning-arrives then critical-arrives","expected":"critical-unacknowledged","passed":true},{"actual":"critical-unacknowledged","check":"trace ack-warning then critical-arrives","expected":"critical-unacknowledged","passed":true},{"actual":"critical-acknowledged","check":"trace critical-arrives then ack-critical","expected":"critical-acknowledged","passed":true},{"actual":"warning-unacknowledged","check":"trace critical-arrives then condition-cleared","expected":"resolved-unread","passed":false},{"actual":"critical-acknowledged","check":"trace ack-critical then warning-arrives","expected":"critical-acknowledged","passed":true},{"actual":"resolved","check":"trace ack-critical then condition-cleared","expected":"resolved","passed":true},{"actual":"critical-acknowledged","check":"trace warning-arrives then warning-arrives","expected":"critical-acknowledged","passed":true},{"actual":"resolved","check":"trace warning-arrives then condition-cleared","expected":"resolved","passed":true},{"actual":"warning-unacknowledged","check":"trace condition-cleared then open-resolution","expected":"resolved","passed":false},{"actual":"warning-unacknowledged","check":"trace condition-cleared then recurrence","expected":"warning-unacknowledged","passed":true},{"actual":"warning-unacknowledged","check":"trace open-resolution then recurrence","expected":"warning-unacknowledged","passed":true},{"actual":"warning-acknowledged","check":"trace recurrence then ack-warning","expected":"warning-acknowledged","passed":true},{"actual":"critical-unacknowledged","check":"trace recurrence then critical-arrives","expected":"critical-unacknowledged","passed":true},{"actual":"critical-acknowledged","check":"trace critical-arrives then ack-critical","expected":"critical-acknowledged","passed":true},{"actual":"warning-unacknowledged","check":"trace critical-arrives then condition-cleared","expected":"resolved-unread","passed":false},{"actual":{"phase":"critical-unacknowledged","value":[]},"check":"domain state regression 1: acknowledged","expected":{"phase":"critical-unacknowledged","value":[]},"passed":true},{"actual":{"phase":"critical-acknowledged","value":[1]},"check":"domain state regression 2: acknowledged","expected":{"phase":"critical-acknowledged","value":[1]},"passed":true},{"actual":{"phase":"critical-unacknowledged","value":3},"check":"domain state regression 3: level","expected":{"phase":"critical-unacknowledged","value":3},"passed":true},{"actual":{"phase":"critical-acknowledged","value":3},"check":"domain state regression 4: level","expected":{"phase":"critical-acknowledged","value":3},"passed":true},{"actual":{"phase":"warning-unacknowledged","value":true},"check":"domain state regression 5: active","expected":{"phase":"resolved-unread","value":false},"passed":false},{"actual":{"phase":"warning-unacknowledged","value":2},"check":"domain state regression 6: occurrence","expected":{"phase":"warning-unacknowledged","value":2},"passed":true},{"actual":{"phase":"warning-unacknowledged","value":2},"check":"domain state regression 7: occurrence","expected":{"phase":"warning-unacknowledged","value":2},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"informational / warning-arrives\", \"actual\": \"warning-unacknowledged\", \"expected\": \"warning-unacknowledged\", \"passed\": true}, {\"check\": \"warning-unacknowledged / ack-warning\", \"actual\": \"warning-acknowledged\", \"expected\": \"warning-acknowledged\", \"passed\": true}, {\"check\": \"warning-acknowledged / critical-arrives\", \"actual\": \"critical-unacknowledged\", \"expected\": \"critical-unacknowledged\", \"passed\": true}, {\"check\": \"critical-unacknowledged / ack-critical\", \"actual\": \"critical-acknowledged\", \"expected\": \"critical-acknowledged\", \"passed\": true}, {\"check\": \"critical-acknowledged / warning-arrives\", \"actual\": \"critical-acknowledged\", \"expected\": \"critical-acknowledged\", \"passed\": true}, {\"check\": \"critical-unacknowledged / condition-cleared\", \"actual\": \"warning-unacknowledged\", \"expected\": \"resolved-unread\", \"passed\": false}, {\"check\": \"critical-acknowledged / condition-cleared\", \"actual\": \"resolved\", \"expected\": \"resolved\", \"passed\": true}, {\"check\": \"resolved-unread / open-resolution\", \"actual\": \"resolved\", \"expected\": \"resolved\", \"passed\": true}, {\"check\": \"resolved / recurrence\", \"actual\": \"warning-unacknowledged\", \"expected\": \"warning-unacknowledged\", \"passed\": true}, {\"check\": \"warning-unacknowledged / critical-arrives\", \"actual\": \"critical-unacknowledged\", \"expected\": \"critical-unacknowledged\", \"passed\": true}, {\"check\": \"older notification incarnation\", \"actual\": \"informational\", \"expected\": \"informational\", \"passed\": true}, {\"check\": \"future notification incarnation\", \"actual\": \"informational\", \"expected\": \"informational\", \"passed\": true}, {\"check\": \"unknown event is inert\", \"actual\": \"informational\", \"expected\": \"informational\", \"passed\": true}, {\"check\": \"empty delivery batch\", \"actual\": \"informational\", \"expected\": \"informational\", \"passed\": true}, {\"check\": \"N stale deliveries before current delivery\", \"actual\": \"warning-unacknowledged\", \"expected\": \"warning-unacknowledged\", \"passed\": true}, {\"check\": \"trace warning-arrives then ack-warning\", \"actual\": \"warning-acknowledged\", \"expected\": \"warning-acknowledged\", \"passed\": true}, {\"check\": \"trace warning-arrives then critical-arrives\", \"actual\": \"critical-unacknowledged\", \"expected\": \"critical-unacknowledged\", \"passed\": true}, {\"check\": \"trace ack-warning then critical-arrives\", \"actual\": \"critical-unacknowledged\", \"expected\": \"critical-unacknowledged\", \"passed\": true}, {\"check\": \"trace critical-arrives then ack-critical\", \"actual\": \"critical-acknowledged\", \"expected\": \"critical-acknowledged\", \"passed\": true}, {\"check\": \"trace critical-arrives then condition-cleared\", \"actual\": \"warning-unacknowledged\", \"expected\": \"resolved-unread\", \"passed\": false}, {\"check\": \"trace ack-critical then warning-arrives\", \"actual\": \"critical-acknowledged\", \"expected\": \"critical-acknowledged\", \"passed\": true}, {\"check\": \"trace ack-critical then condition-cleared\", \"actual\": \"resolved\", \"expected\": \"resolved\", \"passed\": true}, {\"check\": \"trace warning-arrives then warning-arrives\", \"actual\": \"critical-acknowledged\", \"expected\": \"critical-acknowledged\", \"passed\": true}, {\"check\": \"trace warning-arrives then condition-cleared\", \"actual\": \"resolved\", \"expected\": \"resolved\", \"passed\": true}, {\"check\": \"trace condition-cleared then open-resolution\", \"actual\": \"warning-unacknowledged\", \"expected\": \"resolved\", \"passed\": false}, {\"check\": \"trace condition-cleared then recurrence\", \"actual\": \"warning-unacknowledged\", \"expected\": \"warning-unacknowledged\", \"passed\": true}, {\"check\": \"trace open-resolution then recurrence\", \"actual\": \"warning-unacknowledged\", \"expected\": \"warning-unacknowledged\", \"passed\": true}, {\"check\": \"trace recurrence then ack-warning\", \"actual\": \"warning-acknowledged\", \"expected\": \"warning-acknowledged\", \"passed\": true}, {\"check\": \"trace recurrence then critical-arrives\", \"actual\": \"critical-unacknowledged\", \"expected\": \"critical-unacknowledged\", \"passed\": true}, {\"check\": \"trace critical-arrives then ack-critical\", \"actual\": \"critical-acknowledged\", \"expected\": \"critical-acknowledged\", \"passed\": true}, {\"check\": \"trace critical-arrives then condition-cleared\", \"actual\": \"warning-unacknowledged\", \"expected\": \"resolved-unread\", \"passed\": false}, {\"check\": \"domain state regression 1: acknowledged\", \"actual\": {\"phase\": \"critical-unacknowledged\", \"value\": []}, \"expected\": {\"phase\": \"critical-unacknowledged\", \"value\": []}, \"passed\": true}, {\"check\": \"domain state regression 2: acknowledged\", \"actual\": {\"phase\": \"critical-acknowledged\", \"value\": [1]}, \"expected\": {\"phase\": \"critical-acknowledged\", \"value\": [1]}, \"passed\": true}, {\"check\": \"domain state regression 3: level\", \"actual\": {\"phase\": \"critical-unacknowledged\", \"value\": 3}, \"expected\": {\"phase\": \"critical-unacknowledged\", \"value\": 3}, \"passed\": true}, {\"check\": \"domain state regression 4: level\", \"actual\": {\"phase\": \"critical-acknowledged\", \"value\": 3}, \"expected\": {\"phase\": \"critical-acknowledged\", \"value\": 3}, \"passed\": true}, {\"check\": \"domain state regression 5: active\", \"actual\": {\"phase\": \"warning-unacknowledged\", \"value\": true}, \"expected\": {\"phase\": \"resolved-unread\", \"value\": false}, \"passed\": false}, {\"check\": \"domain state regression 6: occurrence\", \"actual\": {\"phase\": \"warning-unacknowledged\", \"value\": 2}, \"expected\": {\"phase\": \"warning-unacknowledged\", \"value\": 2}, \"passed\": true}, {\"check\": \"domain state regression 7: occurrence\", \"actual\": {\"phase\": \"warning-unacknowledged\", \"value\": 2}, \"expected\": {\"phase\": \"warning-unacknowledged\", \"value\": 2}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.133,"exit_code":1,"observations":[{"actual":"warning-unacknowledged","check":"informational / warning-arrives","expected":"warning-unacknowledged","passed":true},{"actual":"warning-acknowledged","check":"warning-unacknowledged / ack-warning","expected":"warning-acknowledged","passed":true},{"actual":"critical-unacknowledged","check":"warning-acknowledged / critical-arrives","expected":"critical-unacknowledged","passed":true},{"actual":"critical-acknowledged","check":"critical-unacknowledged / ack-critical","expected":"critical-acknowledged","passed":true},{"actual":"critical-acknowledged","check":"critical-acknowledged / warning-arrives","expected":"critical-acknowledged","passed":true},{"actual":"resolved","check":"critical-unacknowledged / condition-cleared","expected":"resolved-unread","passed":false},{"actual":"resolved","check":"critical-acknowledged / condition-cleared","expected":"resolved","passed":true},{"actual":"resolved","check":"resolved-unread / open-resolution","expected":"resolved","passed":true},{"actual":"warning-unacknowledged","check":"resolved / recurrence","expected":"warning-unacknowledged","passed":true},{"actual":"critical-unacknowledged","check":"warning-unacknowledged / critical-arrives","expected":"critical-unacknowledged","passed":true},{"actual":"informational","check":"older notification incarnation","expected":"informational","passed":true},{"actual":"informational","check":"future notification incarnation","expected":"informational","passed":true},{"actual":"informational","check":"unknown event is inert","expected":"informational","passed":true},{"actual":"informational","check":"empty delivery batch","expected":"informational","passed":true},{"actual":"warning-unacknowledged","check":"N stale deliveries before current delivery","expected":"warning-unacknowledged","passed":true},{"actual":"warning-acknowledged","check":"trace warning-arrives then ack-warning","expected":"warning-acknowledged","passed":true},{"actual":"critical-unacknowledged","check":"trace warning-arrives then critical-arrives","expected":"critical-unacknowledged","passed":true},{"actual":"critical-unacknowledged","check":"trace ack-warning then critical-arrives","expected":"critical-unacknowledged","passed":true},{"actual":"critical-acknowledged","check":"trace critical-arrives then ack-critical","expected":"critical-acknowledged","passed":true},{"actual":"resolved","check":"trace critical-arrives then condition-cleared","expected":"resolved-unread","passed":false},{"actual":"critical-acknowledged","check":"trace ack-critical then warning-arrives","expected":"critical-acknowledged","passed":true},{"actual":"resolved","check":"trace ack-critical then condition-cleared","expected":"resolved","passed":true},{"actual":"critical-acknowledged","check":"trace warning-arrives then warning-arrives","expected":"critical-acknowledged","passed":true},{"actual":"resolved","check":"trace warning-arrives then condition-cleared","expected":"resolved","passed":true},{"actual":"resolved","check":"trace condition-cleared then open-resolution","expected":"resolved","passed":true},{"actual":"warning-unacknowledged","check":"trace condition-cleared then recurrence","expected":"warning-unacknowledged","passed":true},{"actual":"warning-unacknowledged","check":"trace open-resolution then recurrence","expected":"warning-unacknowledged","passed":true},{"actual":"warning-acknowledged","check":"trace recurrence then ack-warning","expected":"warning-acknowledged","passed":true},{"actual":"critical-unacknowledged","check":"trace recurrence then critical-arrives","expected":"critical-unacknowledged","passed":true},{"actual":"critical-acknowledged","check":"trace critical-arrives then ack-critical","expected":"critical-acknowledged","passed":true},{"actual":"resolved","check":"trace critical-arrives then condition-cleared","expected":"resolved-unread","passed":false},{"actual":{"phase":"critical-unacknowledged","value":[]},"check":"domain state regression 1: acknowledged","expected":{"phase":"critical-unacknowledged","value":[]},"passed":true},{"actual":{"phase":"critical-acknowledged","value":[1]},"check":"domain state regression 2: acknowledged","expected":{"phase":"critical-acknowledged","value":[1]},"passed":true},{"actual":{"phase":"critical-unacknowledged","value":3},"check":"domain state regression 3: level","expected":{"phase":"critical-unacknowledged","value":3},"passed":true},{"actual":{"phase":"critical-acknowledged","value":3},"check":"domain state regression 4: level","expected":{"phase":"critical-acknowledged","value":3},"passed":true},{"actual":{"phase":"resolved","value":false},"check":"domain state regression 5: active","expected":{"phase":"resolved-unread","value":false},"passed":false},{"actual":{"phase":"warning-unacknowledged","value":2},"check":"domain state regression 6: occurrence","expected":{"phase":"warning-unacknowledged","value":2},"passed":true},{"actual":{"phase":"warning-unacknowledged","value":2},"check":"domain state regression 7: occurrence","expected":{"phase":"warning-unacknowledged","value":2},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"informational / warning-arrives\", \"actual\": \"warning-unacknowledged\", \"expected\": \"warning-unacknowledged\", \"passed\": true}, {\"check\": \"warning-unacknowledged / ack-warning\", \"actual\": \"warning-acknowledged\", \"expected\": \"warning-acknowledged\", \"passed\": true}, {\"check\": \"warning-acknowledged / critical-arrives\", \"actual\": \"critical-unacknowledged\", \"expected\": \"critical-unacknowledged\", \"passed\": true}, {\"check\": \"critical-unacknowledged / ack-critical\", \"actual\": \"critical-acknowledged\", \"expected\": \"critical-acknowledged\", \"passed\": true}, {\"check\": \"critical-acknowledged / warning-arrives\", \"actual\": \"critical-acknowledged\", \"expected\": \"critical-acknowledged\", \"passed\": true}, {\"check\": \"critical-unacknowledged / condition-cleared\", \"actual\": \"resolved\", \"expected\": \"resolved-unread\", \"passed\": false}, {\"check\": \"critical-acknowledged / condition-cleared\", \"actual\": \"resolved\", \"expected\": \"resolved\", \"passed\": true}, {\"check\": \"resolved-unread / open-resolution\", \"actual\": \"resolved\", \"expected\": \"resolved\", \"passed\": true}, {\"check\": \"resolved / recurrence\", \"actual\": \"warning-unacknowledged\", \"expected\": \"warning-unacknowledged\", \"passed\": true}, {\"check\": \"warning-unacknowledged / critical-arrives\", \"actual\": \"critical-unacknowledged\", \"expected\": \"critical-unacknowledged\", \"passed\": true}, {\"check\": \"older notification incarnation\", \"actual\": \"informational\", \"expected\": \"informational\", \"passed\": true}, {\"check\": \"future notification incarnation\", \"actual\": \"informational\", \"expected\": \"informational\", \"passed\": true}, {\"check\": \"unknown event is inert\", \"actual\": \"informational\", \"expected\": \"informational\", \"passed\": true}, {\"check\": \"empty delivery batch\", \"actual\": \"informational\", \"expected\": \"informational\", \"passed\": true}, {\"check\": \"N stale deliveries before current delivery\", \"actual\": \"warning-unacknowledged\", \"expected\": \"warning-unacknowledged\", \"passed\": true}, {\"check\": \"trace warning-arrives then ack-warning\", \"actual\": \"warning-acknowledged\", \"expected\": \"warning-acknowledged\", \"passed\": true}, {\"check\": \"trace warning-arrives then critical-arrives\", \"actual\": \"critical-unacknowledged\", \"expected\": \"critical-unacknowledged\", \"passed\": true}, {\"check\": \"trace ack-warning then critical-arrives\", \"actual\": \"critical-unacknowledged\", \"expected\": \"critical-unacknowledged\", \"passed\": true}, {\"check\": \"trace critical-arrives then ack-critical\", \"actual\": \"critical-acknowledged\", \"expected\": \"critical-acknowledged\", \"passed\": true}, {\"check\": \"trace critical-arrives then condition-cleared\", \"actual\": \"resolved\", \"expected\": \"resolved-unread\", \"passed\": false}, {\"check\": \"trace ack-critical then warning-arrives\", \"actual\": \"critical-acknowledged\", \"expected\": \"critical-acknowledged\", \"passed\": true}, {\"check\": \"trace ack-critical then condition-cleared\", \"actual\": \"resolved\", \"expected\": \"resolved\", \"passed\": true}, {\"check\": \"trace warning-arrives then warning-arrives\", \"actual\": \"critical-acknowledged\", \"expected\": \"critical-acknowledged\", \"passed\": true}, {\"check\": \"trace warning-arrives then condition-cleared\", \"actual\": \"resolved\", \"expected\": \"resolved\", \"passed\": true}, {\"check\": \"trace condition-cleared then open-resolution\", \"actual\": \"resolved\", \"expected\": \"resolved\", \"passed\": true}, {\"check\": \"trace condition-cleared then recurrence\", \"actual\": \"warning-unacknowledged\", \"expected\": \"warning-unacknowledged\", \"passed\": true}, {\"check\": \"trace open-resolution then recurrence\", \"actual\": \"warning-unacknowledged\", \"expected\": \"warning-unacknowledged\", \"passed\": true}, {\"check\": \"trace recurrence then ack-warning\", \"actual\": \"warning-acknowledged\", \"expected\": \"warning-acknowledged\", \"passed\": true}, {\"check\": \"trace recurrence then critical-arrives\", \"actual\": \"critical-unacknowledged\", \"expected\": \"critical-unacknowledged\", \"passed\": true}, {\"check\": \"trace critical-arrives then ack-critical\", \"actual\": \"critical-acknowledged\", \"expected\": \"critical-acknowledged\", \"passed\": true}, {\"check\": \"trace critical-arrives then condition-cleared\", \"actual\": \"resolved\", \"expected\": \"resolved-unread\", \"passed\": false}, {\"check\": \"domain state regression 1: acknowledged\", \"actual\": {\"phase\": \"critical-unacknowledged\", \"value\": []}, \"expected\": {\"phase\": \"critical-unacknowledged\", \"value\": []}, \"passed\": true}, {\"check\": \"domain state regression 2: acknowledged\", \"actual\": {\"phase\": \"critical-acknowledged\", \"value\": [1]}, \"expected\": {\"phase\": \"critical-acknowledged\", \"value\": [1]}, \"passed\": true}, {\"check\": \"domain state regression 3: level\", \"actual\": {\"phase\": \"critical-unacknowledged\", \"value\": 3}, \"expected\": {\"phase\": \"critical-unacknowledged\", \"value\": 3}, \"passed\": true}, {\"check\": \"domain state regression 4: level\", \"actual\": {\"phase\": \"critical-acknowledged\", \"value\": 3}, \"expected\": {\"phase\": \"critical-acknowledged\", \"value\": 3}, \"passed\": true}, {\"check\": \"domain state regression 5: active\", \"actual\": {\"phase\": \"resolved\", \"value\": false}, \"expected\": {\"phase\": \"resolved-unread\", \"value\": false}, \"passed\": false}, {\"check\": \"domain state regression 6: occurrence\", \"actual\": {\"phase\": \"warning-unacknowledged\", \"value\": 2}, \"expected\": {\"phase\": \"warning-unacknowledged\", \"value\": 2}, \"passed\": true}, {\"check\": \"domain state regression 7: occurrence\", \"actual\": {\"phase\": \"warning-unacknowledged\", \"value\": 2}, \"expected\": {\"phase\": \"warning-unacknowledged\", \"value\": 2}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.963,"exit_code":0,"observations":[{"actual":"warning-unacknowledged","check":"informational / warning-arrives","expected":"warning-unacknowledged","passed":true},{"actual":"warning-acknowledged","check":"warning-unacknowledged / ack-warning","expected":"warning-acknowledged","passed":true},{"actual":"critical-unacknowledged","check":"warning-acknowledged / critical-arrives","expected":"critical-unacknowledged","passed":true},{"actual":"critical-acknowledged","check":"critical-unacknowledged / ack-critical","expected":"critical-acknowledged","passed":true},{"actual":"critical-acknowledged","check":"critical-acknowledged / warning-arrives","expected":"critical-acknowledged","passed":true},{"actual":"resolved-unread","check":"critical-unacknowledged / condition-cleared","expected":"resolved-unread","passed":true},{"actual":"resolved","check":"critical-acknowledged / condition-cleared","expected":"resolved","passed":true},{"actual":"resolved","check":"resolved-unread / open-resolution","expected":"resolved","passed":true},{"actual":"warning-unacknowledged","check":"resolved / recurrence","expected":"warning-unacknowledged","passed":true},{"actual":"critical-unacknowledged","check":"warning-unacknowledged / critical-arrives","expected":"critical-unacknowledged","passed":true},{"actual":"informational","check":"older notification incarnation","expected":"informational","passed":true},{"actual":"informational","check":"future notification incarnation","expected":"informational","passed":true},{"actual":"informational","check":"unknown event is inert","expected":"informational","passed":true},{"actual":"informational","check":"empty delivery batch","expected":"informational","passed":true},{"actual":"warning-unacknowledged","check":"N stale deliveries before current delivery","expected":"warning-unacknowledged","passed":true},{"actual":"warning-acknowledged","check":"trace warning-arrives then ack-warning","expected":"warning-acknowledged","passed":true},{"actual":"critical-unacknowledged","check":"trace warning-arrives then critical-arrives","expected":"critical-unacknowledged","passed":true},{"actual":"critical-unacknowledged","check":"trace ack-warning then critical-arrives","expected":"critical-unacknowledged","passed":true},{"actual":"critical-acknowledged","check":"trace critical-arrives then ack-critical","expected":"critical-acknowledged","passed":true},{"actual":"resolved-unread","check":"trace critical-arrives then condition-cleared","expected":"resolved-unread","passed":true},{"actual":"critical-acknowledged","check":"trace ack-critical then warning-arrives","expected":"critical-acknowledged","passed":true},{"actual":"resolved","check":"trace ack-critical then condition-cleared","expected":"resolved","passed":true},{"actual":"critical-acknowledged","check":"trace warning-arrives then warning-arrives","expected":"critical-acknowledged","passed":true},{"actual":"resolved","check":"trace warning-arrives then condition-cleared","expected":"resolved","passed":true},{"actual":"resolved","check":"trace condition-cleared then open-resolution","expected":"resolved","passed":true},{"actual":"warning-unacknowledged","check":"trace condition-cleared then recurrence","expected":"warning-unacknowledged","passed":true},{"actual":"warning-unacknowledged","check":"trace open-resolution then recurrence","expected":"warning-unacknowledged","passed":true},{"actual":"warning-acknowledged","check":"trace recurrence then ack-warning","expected":"warning-acknowledged","passed":true},{"actual":"critical-unacknowledged","check":"trace recurrence then critical-arrives","expected":"critical-unacknowledged","passed":true},{"actual":"critical-acknowledged","check":"trace critical-arrives then ack-critical","expected":"critical-acknowledged","passed":true},{"actual":"resolved-unread","check":"trace critical-arrives then condition-cleared","expected":"resolved-unread","passed":true},{"actual":{"phase":"critical-unacknowledged","value":[]},"check":"domain state regression 1: acknowledged","expected":{"phase":"critical-unacknowledged","value":[]},"passed":true},{"actual":{"phase":"critical-acknowledged","value":[1]},"check":"domain state regression 2: acknowledged","expected":{"phase":"critical-acknowledged","value":[1]},"passed":true},{"actual":{"phase":"critical-unacknowledged","value":3},"check":"domain state regression 3: level","expected":{"phase":"critical-unacknowledged","value":3},"passed":true},{"actual":{"phase":"critical-acknowledged","value":3},"check":"domain state regression 4: level","expected":{"phase":"critical-acknowledged","value":3},"passed":true},{"actual":{"phase":"resolved-unread","value":false},"check":"domain state regression 5: active","expected":{"phase":"resolved-unread","value":false},"passed":true},{"actual":{"phase":"warning-unacknowledged","value":2},"check":"domain state regression 6: occurrence","expected":{"phase":"warning-unacknowledged","value":2},"passed":true},{"actual":{"phase":"warning-unacknowledged","value":2},"check":"domain state regression 7: occurrence","expected":{"phase":"warning-unacknowledged","value":2},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"informational / warning-arrives\", \"actual\": \"warning-unacknowledged\", \"expected\": \"warning-unacknowledged\", \"passed\": true}, {\"check\": \"warning-unacknowledged / ack-warning\", \"actual\": \"warning-acknowledged\", \"expected\": \"warning-acknowledged\", \"passed\": true}, {\"check\": \"warning-acknowledged / critical-arrives\", \"actual\": \"critical-unacknowledged\", \"expected\": \"critical-unacknowledged\", \"passed\": true}, {\"check\": \"critical-unacknowledged / ack-critical\", \"actual\": \"critical-acknowledged\", \"expected\": \"critical-acknowledged\", \"passed\": true}, {\"check\": \"critical-acknowledged / warning-arrives\", \"actual\": \"critical-acknowledged\", \"expected\": \"critical-acknowledged\", \"passed\": true}, {\"check\": \"critical-unacknowledged / condition-cleared\", \"actual\": \"resolved-unread\", \"expected\": \"resolved-unread\", \"passed\": true}, {\"check\": \"critical-acknowledged / condition-cleared\", \"actual\": \"resolved\", \"expected\": \"resolved\", \"passed\": true}, {\"check\": \"resolved-unread / open-resolution\", \"actual\": \"resolved\", \"expected\": \"resolved\", \"passed\": true}, {\"check\": \"resolved / recurrence\", \"actual\": \"warning-unacknowledged\", \"expected\": \"warning-unacknowledged\", \"passed\": true}, {\"check\": \"warning-unacknowledged / critical-arrives\", \"actual\": \"critical-unacknowledged\", \"expected\": \"critical-unacknowledged\", \"passed\": true}, {\"check\": \"older notification incarnation\", \"actual\": \"informational\", \"expected\": \"informational\", \"passed\": true}, {\"check\": \"future notification incarnation\", \"actual\": \"informational\", \"expected\": \"informational\", \"passed\": true}, {\"check\": \"unknown event is inert\", \"actual\": \"informational\", \"expected\": \"informational\", \"passed\": true}, {\"check\": \"empty delivery batch\", \"actual\": \"informational\", \"expected\": \"informational\", \"passed\": true}, {\"check\": \"N stale deliveries before current delivery\", \"actual\": \"warning-unacknowledged\", \"expected\": \"warning-unacknowledged\", \"passed\": true}, {\"check\": \"trace warning-arrives then ack-warning\", \"actual\": \"warning-acknowledged\", \"expected\": \"warning-acknowledged\", \"passed\": true}, {\"check\": \"trace warning-arrives then critical-arrives\", \"actual\": \"critical-unacknowledged\", \"expected\": \"critical-unacknowledged\", \"passed\": true}, {\"check\": \"trace ack-warning then critical-arrives\", \"actual\": \"critical-unacknowledged\", \"expected\": \"critical-unacknowledged\", \"passed\": true}, {\"check\": \"trace critical-arrives then ack-critical\", \"actual\": \"critical-acknowledged\", \"expected\": \"critical-acknowledged\", \"passed\": true}, {\"check\": \"trace critical-arrives then condition-cleared\", \"actual\": \"resolved-unread\", \"expected\": \"resolved-unread\", \"passed\": true}, {\"check\": \"trace ack-critical then warning-arrives\", \"actual\": \"critical-acknowledged\", \"expected\": \"critical-acknowledged\", \"passed\": true}, {\"check\": \"trace ack-critical then condition-cleared\", \"actual\": \"resolved\", \"expected\": \"resolved\", \"passed\": true}, {\"check\": \"trace warning-arrives then warning-arrives\", \"actual\": \"critical-acknowledged\", \"expected\": \"critical-acknowledged\", \"passed\": true}, {\"check\": \"trace warning-arrives then condition-cleared\", \"actual\": \"resolved\", \"expected\": \"resolved\", \"passed\": true}, {\"check\": \"trace condition-cleared then open-resolution\", \"actual\": \"resolved\", \"expected\": \"resolved\", \"passed\": true}, {\"check\": \"trace condition-cleared then recurrence\", \"actual\": \"warning-unacknowledged\", \"expected\": \"warning-unacknowledged\", \"passed\": true}, {\"check\": \"trace open-resolution then recurrence\", \"actual\": \"warning-unacknowledged\", \"expected\": \"warning-unacknowledged\", \"passed\": true}, {\"check\": \"trace recurrence then ack-warning\", \"actual\": \"warning-acknowledged\", \"expected\": \"warning-acknowledged\", \"passed\": true}, {\"check\": \"trace recurrence then critical-arrives\", \"actual\": \"critical-unacknowledged\", \"expected\": \"critical-unacknowledged\", \"passed\": true}, {\"check\": \"trace critical-arrives then ack-critical\", \"actual\": \"critical-acknowledged\", \"expected\": \"critical-acknowledged\", \"passed\": true}, {\"check\": \"trace critical-arrives then condition-cleared\", \"actual\": \"resolved-unread\", \"expected\": \"resolved-unread\", \"passed\": true}, {\"check\": \"domain state regression 1: acknowledged\", \"actual\": {\"phase\": \"critical-unacknowledged\", \"value\": []}, \"expected\": {\"phase\": \"critical-unacknowledged\", \"value\": []}, \"passed\": true}, {\"check\": \"domain state regression 2: acknowledged\", \"actual\": {\"phase\": \"critical-acknowledged\", \"value\": [1]}, \"expected\": {\"phase\": \"critical-acknowledged\", \"value\": [1]}, \"passed\": true}, {\"check\": \"domain state regression 3: level\", \"actual\": {\"phase\": \"critical-unacknowledged\", \"value\": 3}, \"expected\": {\"phase\": \"critical-unacknowledged\", \"value\": 3}, \"passed\": true}, {\"check\": \"domain state regression 4: level\", \"actual\": {\"phase\": \"critical-acknowledged\", \"value\": 3}, \"expected\": {\"phase\": \"critical-acknowledged\", \"value\": 3}, \"passed\": true}, {\"check\": \"domain state regression 5: active\", \"actual\": {\"phase\": \"resolved-unread\", \"value\": false}, \"expected\": {\"phase\": \"resolved-unread\", \"value\": false}, \"passed\": true}, {\"check\": \"domain state regression 6: occurrence\", \"actual\": {\"phase\": \"warning-unacknowledged\", \"value\": 2}, \"expected\": {\"phase\": \"warning-unacknowledged\", \"value\": 2}, \"passed\": true}, {\"check\": \"domain state regression 7: occurrence\", \"actual\": {\"phase\": \"warning-unacknowledged\", \"value\": 2}, \"expected\": {\"phase\": \"warning-unacknowledged\", \"value\": 2}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}