broken_source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(initial, events, generation, payload=None, observe=None):
    table = {('offered', 'destructive-click'): 'confirming', ('confirming', 'confirm-accept'): 'executing', ('confirming', 'confirm-cancel'): 'offered', ('executing', 'command-success'): 'offered', ('executing', 'command-failure'): 'failed', ('failed', 'retry-click'): 'confirming-retry', ('confirming-retry', 'retry-confirm-accept'): 'executing', ('confirming', 'notification-withdrawn'): 'confirmation-invalidated', ('confirmation-invalidated', 'late-confirm-accept'): 'withdrawn', ('executing', 'notification-withdrawn'): 'executing-withdrawn'}
    data = json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})) if payload is None else {**json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})), **json.loads(json.dumps(payload))}
    state = initial
    for delivery in events:
        event, event_generation = delivery[:2]
        arg = delivery[2] if len(delivery) > 2 else {}
        if event_generation == generation:
            previous = state
            if event in ('confirm-accept','retry-confirm-accept'):
                if data['withdrawn'] or arg.get('revision',data['revision']) != data['revision']: event = 'confirm-cancel'
                else: data['consented'] = data['revision']
            if event == 'notification-withdrawn': data['withdrawn'] = True
            state = table.get((state, event), state)
            if state == 'executing' and previous != 'executing': data['submitted'].append(data['revision'])
            if state == 'offered': data['consented'] = None
    return {'phase': state, 'value': data[observe]} if observe else state
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('offered / destructive-click', solve('offered', [('destructive-click', N)], N), 'confirming')
check('confirming / confirm-accept', solve('confirming', [('confirm-accept', N)], N), 'executing')
check('confirming / confirm-cancel', solve('confirming', [('confirm-cancel', N)], N), 'offered')
check('executing / command-success', solve('executing', [('command-success', N)], N), 'succeeded')
check('executing / command-failure', solve('executing', [('command-failure', N)], N), 'failed')
check('failed / retry-click', solve('failed', [('retry-click', N)], N), 'confirming-retry')
check('confirming-retry / retry-confirm-accept', solve('confirming-retry', [('retry-confirm-accept', N)], N), 'executing')
check('confirming / notification-withdrawn', solve('confirming', [('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('confirmation-invalidated / late-confirm-accept', solve('confirmation-invalidated', [('late-confirm-accept', N)], N), 'withdrawn')
check('executing / notification-withdrawn', solve('executing', [('notification-withdrawn', N)], N), 'executing-withdrawn')
check('older notification incarnation', solve('offered', [('destructive-click', N - 1)], N), 'offered')
check('future notification incarnation', solve('offered', [('destructive-click', N + 1)], N), 'offered')
check('unknown event is inert', solve('offered', [('unknown-event', N)], N), 'offered')
check('empty delivery batch', solve('offered', [], N), 'offered')
check('N stale deliveries before current delivery', solve('offered', [('destructive-click', N - 1)] * N + [('destructive-click', N)], N), 'confirming')
check('trace destructive-click then confirm-accept', solve('offered', [('destructive-click', N), ('confirm-accept', N)], N), 'executing')
check('trace destructive-click then confirm-cancel', solve('offered', [('destructive-click', N), ('confirm-cancel', N)], N), 'offered')
check('trace destructive-click then notification-withdrawn', solve('offered', [('destructive-click', N), ('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('trace confirm-accept then command-success', solve('confirming', [('confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace confirm-accept then command-failure', solve('confirming', [('confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace confirm-accept then notification-withdrawn', solve('confirming', [('confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace confirm-cancel then destructive-click', solve('confirming', [('confirm-cancel', N), ('destructive-click', N)], N), 'confirming')
check('trace command-failure then retry-click', solve('executing', [('command-failure', N), ('retry-click', N)], N), 'confirming-retry')
check('trace retry-click then retry-confirm-accept', solve('failed', [('retry-click', N), ('retry-confirm-accept', N)], N), 'executing')
check('trace retry-confirm-accept then command-success', solve('confirming-retry', [('retry-confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace retry-confirm-accept then command-failure', solve('confirming-retry', [('retry-confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace retry-confirm-accept then notification-withdrawn', solve('confirming-retry', [('retry-confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace notification-withdrawn then late-confirm-accept', solve('confirming', [('notification-withdrawn', N), ('late-confirm-accept', N)], N), 'withdrawn')
check('domain state regression 1: submitted', solve('confirming', [('confirm-accept', N, {'revision': 1})], N, {}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 2: submitted', solve('confirming', [('confirm-accept', N, {'revision': 2})], N, {}, 'submitted'), {'phase': 'executing', 'value': [2]})
check('domain state regression 3: submitted', solve('confirming', [('confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 4: consented', solve('confirming', [('confirm-cancel', N, {})], N, {'consented': 2}, 'consented'), {'phase': 'offered', 'value': None})
check('domain state regression 5: submitted', solve('executing', [('notification-withdrawn', N, {})], N, {'submitted': [2]}, 'submitted'), {'phase': 'executing-withdrawn', 'value': [2]})
check('domain state regression 6: submitted', solve('confirmation-invalidated', [('late-confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'withdrawn', 'value': []})
check('domain state regression 7: submitted', solve('offered', [('destructive-click', N, {}), ('notification-withdrawn', N, {}), ('late-confirm-accept', N, {})], N, {}, 'submitted'), {'phase': 'withdrawn', 'value': []})
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(initial, events, generation, payload=None, observe=None):
    table = {('offered', 'destructive-click'): 'confirming', ('confirming', 'confirm-accept'): 'executing', ('confirming', 'confirm-cancel'): 'offered', ('executing', 'command-success'): 'failed', ('executing', 'command-failure'): 'failed', ('failed', 'retry-click'): 'confirming-retry', ('confirming-retry', 'retry-confirm-accept'): 'executing', ('confirming', 'notification-withdrawn'): 'confirmation-invalidated', ('confirmation-invalidated', 'late-confirm-accept'): 'withdrawn', ('executing', 'notification-withdrawn'): 'executing-withdrawn'}
    data = json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})) if payload is None else {**json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})), **json.loads(json.dumps(payload))}
    state = initial
    for delivery in events:
        event, event_generation = delivery[:2]
        arg = delivery[2] if len(delivery) > 2 else {}
        if event_generation == generation:
            previous = state
            if event in ('confirm-accept','retry-confirm-accept'):
                if data['withdrawn'] or arg.get('revision',data['revision']) != data['revision']: event = 'confirm-cancel'
                else: data['consented'] = data['revision']
            if event == 'notification-withdrawn': data['withdrawn'] = True
            state = table.get((state, event), state)
            if state == 'executing' and previous != 'executing': data['submitted'].append(data['revision'])
            if state == 'offered': data['consented'] = None
    return {'phase': state, 'value': data[observe]} if observe else state
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('offered / destructive-click', solve('offered', [('destructive-click', N)], N), 'confirming')
check('confirming / confirm-accept', solve('confirming', [('confirm-accept', N)], N), 'executing')
check('confirming / confirm-cancel', solve('confirming', [('confirm-cancel', N)], N), 'offered')
check('executing / command-success', solve('executing', [('command-success', N)], N), 'succeeded')
check('executing / command-failure', solve('executing', [('command-failure', N)], N), 'failed')
check('failed / retry-click', solve('failed', [('retry-click', N)], N), 'confirming-retry')
check('confirming-retry / retry-confirm-accept', solve('confirming-retry', [('retry-confirm-accept', N)], N), 'executing')
check('confirming / notification-withdrawn', solve('confirming', [('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('confirmation-invalidated / late-confirm-accept', solve('confirmation-invalidated', [('late-confirm-accept', N)], N), 'withdrawn')
check('executing / notification-withdrawn', solve('executing', [('notification-withdrawn', N)], N), 'executing-withdrawn')
check('older notification incarnation', solve('offered', [('destructive-click', N - 1)], N), 'offered')
check('future notification incarnation', solve('offered', [('destructive-click', N + 1)], N), 'offered')
check('unknown event is inert', solve('offered', [('unknown-event', N)], N), 'offered')
check('empty delivery batch', solve('offered', [], N), 'offered')
check('N stale deliveries before current delivery', solve('offered', [('destructive-click', N - 1)] * N + [('destructive-click', N)], N), 'confirming')
check('trace destructive-click then confirm-accept', solve('offered', [('destructive-click', N), ('confirm-accept', N)], N), 'executing')
check('trace destructive-click then confirm-cancel', solve('offered', [('destructive-click', N), ('confirm-cancel', N)], N), 'offered')
check('trace destructive-click then notification-withdrawn', solve('offered', [('destructive-click', N), ('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('trace confirm-accept then command-success', solve('confirming', [('confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace confirm-accept then command-failure', solve('confirming', [('confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace confirm-accept then notification-withdrawn', solve('confirming', [('confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace confirm-cancel then destructive-click', solve('confirming', [('confirm-cancel', N), ('destructive-click', N)], N), 'confirming')
check('trace command-failure then retry-click', solve('executing', [('command-failure', N), ('retry-click', N)], N), 'confirming-retry')
check('trace retry-click then retry-confirm-accept', solve('failed', [('retry-click', N), ('retry-confirm-accept', N)], N), 'executing')
check('trace retry-confirm-accept then command-success', solve('confirming-retry', [('retry-confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace retry-confirm-accept then command-failure', solve('confirming-retry', [('retry-confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace retry-confirm-accept then notification-withdrawn', solve('confirming-retry', [('retry-confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace notification-withdrawn then late-confirm-accept', solve('confirming', [('notification-withdrawn', N), ('late-confirm-accept', N)], N), 'withdrawn')
check('domain state regression 1: submitted', solve('confirming', [('confirm-accept', N, {'revision': 1})], N, {}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 2: submitted', solve('confirming', [('confirm-accept', N, {'revision': 2})], N, {}, 'submitted'), {'phase': 'executing', 'value': [2]})
check('domain state regression 3: submitted', solve('confirming', [('confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 4: consented', solve('confirming', [('confirm-cancel', N, {})], N, {'consented': 2}, 'consented'), {'phase': 'offered', 'value': None})
check('domain state regression 5: submitted', solve('executing', [('notification-withdrawn', N, {})], N, {'submitted': [2]}, 'submitted'), {'phase': 'executing-withdrawn', 'value': [2]})
check('domain state regression 6: submitted', solve('confirmation-invalidated', [('late-confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'withdrawn', 'value': []})
check('domain state regression 7: submitted', solve('offered', [('destructive-click', N, {}), ('notification-withdrawn', N, {}), ('late-confirm-accept', N, {})], N, {}, 'submitted'), {'phase': 'withdrawn', 'value': []})
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

prompt:
The command-success event leaves a notification in offered instead of succeeded.

Notification destructive-action confirmation is a bounded visual-notification workflow with mutable policy state {'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False}. Its default transition relation is {('offered', 'destructive-click'): 'confirming', ('confirming', 'confirm-accept'): 'executing', ('confirming', 'confirm-cancel'): 'offered', ('executing', 'command-success'): 'succeeded', ('executing', 'command-failure'): 'failed', ('failed', 'retry-click'): 'confirming-retry', ('confirming-retry', 'retry-confirm-accept'): 'executing', ('confirming', 'notification-withdrawn'): 'confirmation-invalidated', ('confirmation-invalidated', 'late-confirm-accept'): 'withdrawn', ('executing', 'notification-withdrawn'): 'executing-withdrawn'}; 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.

split: open-access


broken_source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(initial, events, generation, payload=None, observe=None):
    table = {('offered', 'destructive-click'): 'confirming', ('confirming', 'confirm-accept'): 'executing', ('confirming', 'confirm-cancel'): 'offered', ('executing', 'command-success'): 'succeeded', ('executing', 'command-failure'): 'succeeded', ('failed', 'retry-click'): 'confirming-retry', ('confirming-retry', 'retry-confirm-accept'): 'executing', ('confirming', 'notification-withdrawn'): 'confirmation-invalidated', ('confirmation-invalidated', 'late-confirm-accept'): 'withdrawn', ('executing', 'notification-withdrawn'): 'executing-withdrawn'}
    data = json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})) if payload is None else {**json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})), **json.loads(json.dumps(payload))}
    state = initial
    for delivery in events:
        event, event_generation = delivery[:2]
        arg = delivery[2] if len(delivery) > 2 else {}
        if event_generation == generation:
            previous = state
            if event in ('confirm-accept','retry-confirm-accept'):
                if data['withdrawn'] or arg.get('revision',data['revision']) != data['revision']: event = 'confirm-cancel'
                else: data['consented'] = data['revision']
            if event == 'notification-withdrawn': data['withdrawn'] = True
            state = table.get((state, event), state)
            if state == 'executing' and previous != 'executing': data['submitted'].append(data['revision'])
            if state == 'offered': data['consented'] = None
    return {'phase': state, 'value': data[observe]} if observe else state
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('offered / destructive-click', solve('offered', [('destructive-click', N)], N), 'confirming')
check('confirming / confirm-accept', solve('confirming', [('confirm-accept', N)], N), 'executing')
check('confirming / confirm-cancel', solve('confirming', [('confirm-cancel', N)], N), 'offered')
check('executing / command-success', solve('executing', [('command-success', N)], N), 'succeeded')
check('executing / command-failure', solve('executing', [('command-failure', N)], N), 'failed')
check('failed / retry-click', solve('failed', [('retry-click', N)], N), 'confirming-retry')
check('confirming-retry / retry-confirm-accept', solve('confirming-retry', [('retry-confirm-accept', N)], N), 'executing')
check('confirming / notification-withdrawn', solve('confirming', [('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('confirmation-invalidated / late-confirm-accept', solve('confirmation-invalidated', [('late-confirm-accept', N)], N), 'withdrawn')
check('executing / notification-withdrawn', solve('executing', [('notification-withdrawn', N)], N), 'executing-withdrawn')
check('older notification incarnation', solve('offered', [('destructive-click', N - 1)], N), 'offered')
check('future notification incarnation', solve('offered', [('destructive-click', N + 1)], N), 'offered')
check('unknown event is inert', solve('offered', [('unknown-event', N)], N), 'offered')
check('empty delivery batch', solve('offered', [], N), 'offered')
check('N stale deliveries before current delivery', solve('offered', [('destructive-click', N - 1)] * N + [('destructive-click', N)], N), 'confirming')
check('trace destructive-click then confirm-accept', solve('offered', [('destructive-click', N), ('confirm-accept', N)], N), 'executing')
check('trace destructive-click then confirm-cancel', solve('offered', [('destructive-click', N), ('confirm-cancel', N)], N), 'offered')
check('trace destructive-click then notification-withdrawn', solve('offered', [('destructive-click', N), ('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('trace confirm-accept then command-success', solve('confirming', [('confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace confirm-accept then command-failure', solve('confirming', [('confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace confirm-accept then notification-withdrawn', solve('confirming', [('confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace confirm-cancel then destructive-click', solve('confirming', [('confirm-cancel', N), ('destructive-click', N)], N), 'confirming')
check('trace command-failure then retry-click', solve('executing', [('command-failure', N), ('retry-click', N)], N), 'confirming-retry')
check('trace retry-click then retry-confirm-accept', solve('failed', [('retry-click', N), ('retry-confirm-accept', N)], N), 'executing')
check('trace retry-confirm-accept then command-success', solve('confirming-retry', [('retry-confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace retry-confirm-accept then command-failure', solve('confirming-retry', [('retry-confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace retry-confirm-accept then notification-withdrawn', solve('confirming-retry', [('retry-confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace notification-withdrawn then late-confirm-accept', solve('confirming', [('notification-withdrawn', N), ('late-confirm-accept', N)], N), 'withdrawn')
check('domain state regression 1: submitted', solve('confirming', [('confirm-accept', N, {'revision': 1})], N, {}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 2: submitted', solve('confirming', [('confirm-accept', N, {'revision': 2})], N, {}, 'submitted'), {'phase': 'executing', 'value': [2]})
check('domain state regression 3: submitted', solve('confirming', [('confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 4: consented', solve('confirming', [('confirm-cancel', N, {})], N, {'consented': 2}, 'consented'), {'phase': 'offered', 'value': None})
check('domain state regression 5: submitted', solve('executing', [('notification-withdrawn', N, {})], N, {'submitted': [2]}, 'submitted'), {'phase': 'executing-withdrawn', 'value': [2]})
check('domain state regression 6: submitted', solve('confirmation-invalidated', [('late-confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'withdrawn', 'value': []})
check('domain state regression 7: submitted', solve('offered', [('destructive-click', N, {}), ('notification-withdrawn', N, {}), ('late-confirm-accept', N, {})], N, {}, 'submitted'), {'phase': 'withdrawn', 'value': []})
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

meaning: Fixture-count band, not measured model difficulty

deps: stdlib

source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(initial, events, generation, payload=None, observe=None):
    table = {('offered', 'destructive-click'): 'confirming', ('confirming', 'confirm-accept'): 'executing', ('confirming', 'confirm-cancel'): 'offered', ('executing', 'command-success'): 'succeeded', ('executing', 'command-failure'): 'offered', ('failed', 'retry-click'): 'confirming-retry', ('confirming-retry', 'retry-confirm-accept'): 'executing', ('confirming', 'notification-withdrawn'): 'confirmation-invalidated', ('confirmation-invalidated', 'late-confirm-accept'): 'withdrawn', ('executing', 'notification-withdrawn'): 'executing-withdrawn'}
    data = json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})) if payload is None else {**json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})), **json.loads(json.dumps(payload))}
    state = initial
    for delivery in events:
        event, event_generation = delivery[:2]
        arg = delivery[2] if len(delivery) > 2 else {}
        if event_generation == generation:
            previous = state
            if event in ('confirm-accept','retry-confirm-accept'):
                if data['withdrawn'] or arg.get('revision',data['revision']) != data['revision']: event = 'confirm-cancel'
                else: data['consented'] = data['revision']
            if event == 'notification-withdrawn': data['withdrawn'] = True
            state = table.get((state, event), state)
            if state == 'executing' and previous != 'executing': data['submitted'].append(data['revision'])
            if state == 'offered': data['consented'] = None
    return {'phase': state, 'value': data[observe]} if observe else state
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('offered / destructive-click', solve('offered', [('destructive-click', N)], N), 'confirming')
check('confirming / confirm-accept', solve('confirming', [('confirm-accept', N)], N), 'executing')
check('confirming / confirm-cancel', solve('confirming', [('confirm-cancel', N)], N), 'offered')
check('executing / command-success', solve('executing', [('command-success', N)], N), 'succeeded')
check('executing / command-failure', solve('executing', [('command-failure', N)], N), 'failed')
check('failed / retry-click', solve('failed', [('retry-click', N)], N), 'confirming-retry')
check('confirming-retry / retry-confirm-accept', solve('confirming-retry', [('retry-confirm-accept', N)], N), 'executing')
check('confirming / notification-withdrawn', solve('confirming', [('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('confirmation-invalidated / late-confirm-accept', solve('confirmation-invalidated', [('late-confirm-accept', N)], N), 'withdrawn')
check('executing / notification-withdrawn', solve('executing', [('notification-withdrawn', N)], N), 'executing-withdrawn')
check('older notification incarnation', solve('offered', [('destructive-click', N - 1)], N), 'offered')
check('future notification incarnation', solve('offered', [('destructive-click', N + 1)], N), 'offered')
check('unknown event is inert', solve('offered', [('unknown-event', N)], N), 'offered')
check('empty delivery batch', solve('offered', [], N), 'offered')
check('N stale deliveries before current delivery', solve('offered', [('destructive-click', N - 1)] * N + [('destructive-click', N)], N), 'confirming')
check('trace destructive-click then confirm-accept', solve('offered', [('destructive-click', N), ('confirm-accept', N)], N), 'executing')
check('trace destructive-click then confirm-cancel', solve('offered', [('destructive-click', N), ('confirm-cancel', N)], N), 'offered')
check('trace destructive-click then notification-withdrawn', solve('offered', [('destructive-click', N), ('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('trace confirm-accept then command-success', solve('confirming', [('confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace confirm-accept then command-failure', solve('confirming', [('confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace confirm-accept then notification-withdrawn', solve('confirming', [('confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace confirm-cancel then destructive-click', solve('confirming', [('confirm-cancel', N), ('destructive-click', N)], N), 'confirming')
check('trace command-failure then retry-click', solve('executing', [('command-failure', N), ('retry-click', N)], N), 'confirming-retry')
check('trace retry-click then retry-confirm-accept', solve('failed', [('retry-click', N), ('retry-confirm-accept', N)], N), 'executing')
check('trace retry-confirm-accept then command-success', solve('confirming-retry', [('retry-confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace retry-confirm-accept then command-failure', solve('confirming-retry', [('retry-confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace retry-confirm-accept then notification-withdrawn', solve('confirming-retry', [('retry-confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace notification-withdrawn then late-confirm-accept', solve('confirming', [('notification-withdrawn', N), ('late-confirm-accept', N)], N), 'withdrawn')
check('domain state regression 1: submitted', solve('confirming', [('confirm-accept', N, {'revision': 1})], N, {}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 2: submitted', solve('confirming', [('confirm-accept', N, {'revision': 2})], N, {}, 'submitted'), {'phase': 'executing', 'value': [2]})
check('domain state regression 3: submitted', solve('confirming', [('confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 4: consented', solve('confirming', [('confirm-cancel', N, {})], N, {'consented': 2}, 'consented'), {'phase': 'offered', 'value': None})
check('domain state regression 5: submitted', solve('executing', [('notification-withdrawn', N, {})], N, {'submitted': [2]}, 'submitted'), {'phase': 'executing-withdrawn', 'value': [2]})
check('domain state regression 6: submitted', solve('confirmation-invalidated', [('late-confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'withdrawn', 'value': []})
check('domain state regression 7: submitted', solve('offered', [('destructive-click', N, {}), ('notification-withdrawn', N, {}), ('late-confirm-accept', N, {})], N, {}, 'submitted'), {'phase': 'withdrawn', 'value': []})
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

prompt:
The command-failure event leaves a notification in succeeded instead of failed.

Notification destructive-action confirmation is a bounded visual-notification workflow with mutable policy state {'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False}. Its default transition relation is {('offered', 'destructive-click'): 'confirming', ('confirming', 'confirm-accept'): 'executing', ('confirming', 'confirm-cancel'): 'offered', ('executing', 'command-success'): 'succeeded', ('executing', 'command-failure'): 'failed', ('failed', 'retry-click'): 'confirming-retry', ('confirming-retry', 'retry-confirm-accept'): 'executing', ('confirming', 'notification-withdrawn'): 'confirmation-invalidated', ('confirmation-invalidated', 'late-confirm-accept'): 'withdrawn', ('executing', 'notification-withdrawn'): 'executing-withdrawn'}; 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.

split: open-access


broken_source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(initial, events, generation, payload=None, observe=None):
    table = {('offered', 'destructive-click'): 'confirming', ('confirming', 'confirm-accept'): 'executing', ('confirming', 'confirm-cancel'): 'offered', ('executing', 'command-success'): 'succeeded', ('executing', 'command-failure'): 'failed', ('failed', 'retry-click'): 'executing', ('confirming-retry', 'retry-confirm-accept'): 'executing', ('confirming', 'notification-withdrawn'): 'confirmation-invalidated', ('confirmation-invalidated', 'late-confirm-accept'): 'withdrawn', ('executing', 'notification-withdrawn'): 'executing-withdrawn'}
    data = json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})) if payload is None else {**json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})), **json.loads(json.dumps(payload))}
    state = initial
    for delivery in events:
        event, event_generation = delivery[:2]
        arg = delivery[2] if len(delivery) > 2 else {}
        if event_generation == generation:
            previous = state
            if event in ('confirm-accept','retry-confirm-accept'):
                if data['withdrawn'] or arg.get('revision',data['revision']) != data['revision']: event = 'confirm-cancel'
                else: data['consented'] = data['revision']
            if event == 'notification-withdrawn': data['withdrawn'] = True
            state = table.get((state, event), state)
            if state == 'executing' and previous != 'executing': data['submitted'].append(data['revision'])
            if state == 'offered': data['consented'] = None
    return {'phase': state, 'value': data[observe]} if observe else state
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('offered / destructive-click', solve('offered', [('destructive-click', N)], N), 'confirming')
check('confirming / confirm-accept', solve('confirming', [('confirm-accept', N)], N), 'executing')
check('confirming / confirm-cancel', solve('confirming', [('confirm-cancel', N)], N), 'offered')
check('executing / command-success', solve('executing', [('command-success', N)], N), 'succeeded')
check('executing / command-failure', solve('executing', [('command-failure', N)], N), 'failed')
check('failed / retry-click', solve('failed', [('retry-click', N)], N), 'confirming-retry')
check('confirming-retry / retry-confirm-accept', solve('confirming-retry', [('retry-confirm-accept', N)], N), 'executing')
check('confirming / notification-withdrawn', solve('confirming', [('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('confirmation-invalidated / late-confirm-accept', solve('confirmation-invalidated', [('late-confirm-accept', N)], N), 'withdrawn')
check('executing / notification-withdrawn', solve('executing', [('notification-withdrawn', N)], N), 'executing-withdrawn')
check('older notification incarnation', solve('offered', [('destructive-click', N - 1)], N), 'offered')
check('future notification incarnation', solve('offered', [('destructive-click', N + 1)], N), 'offered')
check('unknown event is inert', solve('offered', [('unknown-event', N)], N), 'offered')
check('empty delivery batch', solve('offered', [], N), 'offered')
check('N stale deliveries before current delivery', solve('offered', [('destructive-click', N - 1)] * N + [('destructive-click', N)], N), 'confirming')
check('trace destructive-click then confirm-accept', solve('offered', [('destructive-click', N), ('confirm-accept', N)], N), 'executing')
check('trace destructive-click then confirm-cancel', solve('offered', [('destructive-click', N), ('confirm-cancel', N)], N), 'offered')
check('trace destructive-click then notification-withdrawn', solve('offered', [('destructive-click', N), ('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('trace confirm-accept then command-success', solve('confirming', [('confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace confirm-accept then command-failure', solve('confirming', [('confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace confirm-accept then notification-withdrawn', solve('confirming', [('confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace confirm-cancel then destructive-click', solve('confirming', [('confirm-cancel', N), ('destructive-click', N)], N), 'confirming')
check('trace command-failure then retry-click', solve('executing', [('command-failure', N), ('retry-click', N)], N), 'confirming-retry')
check('trace retry-click then retry-confirm-accept', solve('failed', [('retry-click', N), ('retry-confirm-accept', N)], N), 'executing')
check('trace retry-confirm-accept then command-success', solve('confirming-retry', [('retry-confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace retry-confirm-accept then command-failure', solve('confirming-retry', [('retry-confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace retry-confirm-accept then notification-withdrawn', solve('confirming-retry', [('retry-confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace notification-withdrawn then late-confirm-accept', solve('confirming', [('notification-withdrawn', N), ('late-confirm-accept', N)], N), 'withdrawn')
check('domain state regression 1: submitted', solve('confirming', [('confirm-accept', N, {'revision': 1})], N, {}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 2: submitted', solve('confirming', [('confirm-accept', N, {'revision': 2})], N, {}, 'submitted'), {'phase': 'executing', 'value': [2]})
check('domain state regression 3: submitted', solve('confirming', [('confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 4: consented', solve('confirming', [('confirm-cancel', N, {})], N, {'consented': 2}, 'consented'), {'phase': 'offered', 'value': None})
check('domain state regression 5: submitted', solve('executing', [('notification-withdrawn', N, {})], N, {'submitted': [2]}, 'submitted'), {'phase': 'executing-withdrawn', 'value': [2]})
check('domain state regression 6: submitted', solve('confirmation-invalidated', [('late-confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'withdrawn', 'value': []})
check('domain state regression 7: submitted', solve('offered', [('destructive-click', N, {}), ('notification-withdrawn', N, {}), ('late-confirm-accept', N, {})], N, {}, 'submitted'), {'phase': 'withdrawn', 'value': []})
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(initial, events, generation, payload=None, observe=None):
    table = {('offered', 'destructive-click'): 'confirming', ('confirming', 'confirm-accept'): 'executing', ('confirming', 'confirm-cancel'): 'offered', ('executing', 'command-success'): 'succeeded', ('executing', 'command-failure'): 'failed', ('failed', 'retry-click'): 'succeeded', ('confirming-retry', 'retry-confirm-accept'): 'executing', ('confirming', 'notification-withdrawn'): 'confirmation-invalidated', ('confirmation-invalidated', 'late-confirm-accept'): 'withdrawn', ('executing', 'notification-withdrawn'): 'executing-withdrawn'}
    data = json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})) if payload is None else {**json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})), **json.loads(json.dumps(payload))}
    state = initial
    for delivery in events:
        event, event_generation = delivery[:2]
        arg = delivery[2] if len(delivery) > 2 else {}
        if event_generation == generation:
            previous = state
            if event in ('confirm-accept','retry-confirm-accept'):
                if data['withdrawn'] or arg.get('revision',data['revision']) != data['revision']: event = 'confirm-cancel'
                else: data['consented'] = data['revision']
            if event == 'notification-withdrawn': data['withdrawn'] = True
            state = table.get((state, event), state)
            if state == 'executing' and previous != 'executing': data['submitted'].append(data['revision'])
            if state == 'offered': data['consented'] = None
    return {'phase': state, 'value': data[observe]} if observe else state
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('offered / destructive-click', solve('offered', [('destructive-click', N)], N), 'confirming')
check('confirming / confirm-accept', solve('confirming', [('confirm-accept', N)], N), 'executing')
check('confirming / confirm-cancel', solve('confirming', [('confirm-cancel', N)], N), 'offered')
check('executing / command-success', solve('executing', [('command-success', N)], N), 'succeeded')
check('executing / command-failure', solve('executing', [('command-failure', N)], N), 'failed')
check('failed / retry-click', solve('failed', [('retry-click', N)], N), 'confirming-retry')
check('confirming-retry / retry-confirm-accept', solve('confirming-retry', [('retry-confirm-accept', N)], N), 'executing')
check('confirming / notification-withdrawn', solve('confirming', [('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('confirmation-invalidated / late-confirm-accept', solve('confirmation-invalidated', [('late-confirm-accept', N)], N), 'withdrawn')
check('executing / notification-withdrawn', solve('executing', [('notification-withdrawn', N)], N), 'executing-withdrawn')
check('older notification incarnation', solve('offered', [('destructive-click', N - 1)], N), 'offered')
check('future notification incarnation', solve('offered', [('destructive-click', N + 1)], N), 'offered')
check('unknown event is inert', solve('offered', [('unknown-event', N)], N), 'offered')
check('empty delivery batch', solve('offered', [], N), 'offered')
check('N stale deliveries before current delivery', solve('offered', [('destructive-click', N - 1)] * N + [('destructive-click', N)], N), 'confirming')
check('trace destructive-click then confirm-accept', solve('offered', [('destructive-click', N), ('confirm-accept', N)], N), 'executing')
check('trace destructive-click then confirm-cancel', solve('offered', [('destructive-click', N), ('confirm-cancel', N)], N), 'offered')
check('trace destructive-click then notification-withdrawn', solve('offered', [('destructive-click', N), ('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('trace confirm-accept then command-success', solve('confirming', [('confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace confirm-accept then command-failure', solve('confirming', [('confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace confirm-accept then notification-withdrawn', solve('confirming', [('confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace confirm-cancel then destructive-click', solve('confirming', [('confirm-cancel', N), ('destructive-click', N)], N), 'confirming')
check('trace command-failure then retry-click', solve('executing', [('command-failure', N), ('retry-click', N)], N), 'confirming-retry')
check('trace retry-click then retry-confirm-accept', solve('failed', [('retry-click', N), ('retry-confirm-accept', N)], N), 'executing')
check('trace retry-confirm-accept then command-success', solve('confirming-retry', [('retry-confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace retry-confirm-accept then command-failure', solve('confirming-retry', [('retry-confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace retry-confirm-accept then notification-withdrawn', solve('confirming-retry', [('retry-confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace notification-withdrawn then late-confirm-accept', solve('confirming', [('notification-withdrawn', N), ('late-confirm-accept', N)], N), 'withdrawn')
check('domain state regression 1: submitted', solve('confirming', [('confirm-accept', N, {'revision': 1})], N, {}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 2: submitted', solve('confirming', [('confirm-accept', N, {'revision': 2})], N, {}, 'submitted'), {'phase': 'executing', 'value': [2]})
check('domain state regression 3: submitted', solve('confirming', [('confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 4: consented', solve('confirming', [('confirm-cancel', N, {})], N, {'consented': 2}, 'consented'), {'phase': 'offered', 'value': None})
check('domain state regression 5: submitted', solve('executing', [('notification-withdrawn', N, {})], N, {'submitted': [2]}, 'submitted'), {'phase': 'executing-withdrawn', 'value': [2]})
check('domain state regression 6: submitted', solve('confirmation-invalidated', [('late-confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'withdrawn', 'value': []})
check('domain state regression 7: submitted', solve('offered', [('destructive-click', N, {}), ('notification-withdrawn', N, {}), ('late-confirm-accept', N, {})], N, {}, 'submitted'), {'phase': 'withdrawn', 'value': []})
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

prompt:
The retry-click event leaves a notification in executing instead of confirming-retry.

Notification destructive-action confirmation is a bounded visual-notification workflow with mutable policy state {'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False}. Its default transition relation is {('offered', 'destructive-click'): 'confirming', ('confirming', 'confirm-accept'): 'executing', ('confirming', 'confirm-cancel'): 'offered', ('executing', 'command-success'): 'succeeded', ('executing', 'command-failure'): 'failed', ('failed', 'retry-click'): 'confirming-retry', ('confirming-retry', 'retry-confirm-accept'): 'executing', ('confirming', 'notification-withdrawn'): 'confirmation-invalidated', ('confirmation-invalidated', 'late-confirm-accept'): 'withdrawn', ('executing', 'notification-withdrawn'): 'executing-withdrawn'}; 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.

split: open-access


broken_source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(initial, events, generation, payload=None, observe=None):
    table = {('offered', 'destructive-click'): 'confirming', ('confirming', 'confirm-accept'): 'executing', ('confirming', 'confirm-cancel'): 'offered', ('executing', 'command-success'): 'succeeded', ('executing', 'command-failure'): 'failed', ('failed', 'retry-click'): 'confirming-retry', ('confirming-retry', 'retry-confirm-accept'): 'succeeded', ('confirming', 'notification-withdrawn'): 'confirmation-invalidated', ('confirmation-invalidated', 'late-confirm-accept'): 'withdrawn', ('executing', 'notification-withdrawn'): 'executing-withdrawn'}
    data = json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})) if payload is None else {**json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})), **json.loads(json.dumps(payload))}
    state = initial
    for delivery in events:
        event, event_generation = delivery[:2]
        arg = delivery[2] if len(delivery) > 2 else {}
        if event_generation == generation:
            previous = state
            if event in ('confirm-accept','retry-confirm-accept'):
                if data['withdrawn'] or arg.get('revision',data['revision']) != data['revision']: event = 'confirm-cancel'
                else: data['consented'] = data['revision']
            if event == 'notification-withdrawn': data['withdrawn'] = True
            state = table.get((state, event), state)
            if state == 'executing' and previous != 'executing': data['submitted'].append(data['revision'])
            if state == 'offered': data['consented'] = None
    return {'phase': state, 'value': data[observe]} if observe else state
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('offered / destructive-click', solve('offered', [('destructive-click', N)], N), 'confirming')
check('confirming / confirm-accept', solve('confirming', [('confirm-accept', N)], N), 'executing')
check('confirming / confirm-cancel', solve('confirming', [('confirm-cancel', N)], N), 'offered')
check('executing / command-success', solve('executing', [('command-success', N)], N), 'succeeded')
check('executing / command-failure', solve('executing', [('command-failure', N)], N), 'failed')
check('failed / retry-click', solve('failed', [('retry-click', N)], N), 'confirming-retry')
check('confirming-retry / retry-confirm-accept', solve('confirming-retry', [('retry-confirm-accept', N)], N), 'executing')
check('confirming / notification-withdrawn', solve('confirming', [('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('confirmation-invalidated / late-confirm-accept', solve('confirmation-invalidated', [('late-confirm-accept', N)], N), 'withdrawn')
check('executing / notification-withdrawn', solve('executing', [('notification-withdrawn', N)], N), 'executing-withdrawn')
check('older notification incarnation', solve('offered', [('destructive-click', N - 1)], N), 'offered')
check('future notification incarnation', solve('offered', [('destructive-click', N + 1)], N), 'offered')
check('unknown event is inert', solve('offered', [('unknown-event', N)], N), 'offered')
check('empty delivery batch', solve('offered', [], N), 'offered')
check('N stale deliveries before current delivery', solve('offered', [('destructive-click', N - 1)] * N + [('destructive-click', N)], N), 'confirming')
check('trace destructive-click then confirm-accept', solve('offered', [('destructive-click', N), ('confirm-accept', N)], N), 'executing')
check('trace destructive-click then confirm-cancel', solve('offered', [('destructive-click', N), ('confirm-cancel', N)], N), 'offered')
check('trace destructive-click then notification-withdrawn', solve('offered', [('destructive-click', N), ('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('trace confirm-accept then command-success', solve('confirming', [('confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace confirm-accept then command-failure', solve('confirming', [('confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace confirm-accept then notification-withdrawn', solve('confirming', [('confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace confirm-cancel then destructive-click', solve('confirming', [('confirm-cancel', N), ('destructive-click', N)], N), 'confirming')
check('trace command-failure then retry-click', solve('executing', [('command-failure', N), ('retry-click', N)], N), 'confirming-retry')
check('trace retry-click then retry-confirm-accept', solve('failed', [('retry-click', N), ('retry-confirm-accept', N)], N), 'executing')
check('trace retry-confirm-accept then command-success', solve('confirming-retry', [('retry-confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace retry-confirm-accept then command-failure', solve('confirming-retry', [('retry-confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace retry-confirm-accept then notification-withdrawn', solve('confirming-retry', [('retry-confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace notification-withdrawn then late-confirm-accept', solve('confirming', [('notification-withdrawn', N), ('late-confirm-accept', N)], N), 'withdrawn')
check('domain state regression 1: submitted', solve('confirming', [('confirm-accept', N, {'revision': 1})], N, {}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 2: submitted', solve('confirming', [('confirm-accept', N, {'revision': 2})], N, {}, 'submitted'), {'phase': 'executing', 'value': [2]})
check('domain state regression 3: submitted', solve('confirming', [('confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 4: consented', solve('confirming', [('confirm-cancel', N, {})], N, {'consented': 2}, 'consented'), {'phase': 'offered', 'value': None})
check('domain state regression 5: submitted', solve('executing', [('notification-withdrawn', N, {})], N, {'submitted': [2]}, 'submitted'), {'phase': 'executing-withdrawn', 'value': [2]})
check('domain state regression 6: submitted', solve('confirmation-invalidated', [('late-confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'withdrawn', 'value': []})
check('domain state regression 7: submitted', solve('offered', [('destructive-click', N, {}), ('notification-withdrawn', N, {}), ('late-confirm-accept', N, {})], N, {}, 'submitted'), {'phase': 'withdrawn', 'value': []})
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(initial, events, generation, payload=None, observe=None):
    table = {('offered', 'destructive-click'): 'confirming', ('confirming', 'confirm-accept'): 'executing', ('confirming', 'confirm-cancel'): 'offered', ('executing', 'command-success'): 'succeeded', ('executing', 'command-failure'): 'failed', ('failed', 'retry-click'): 'confirming-retry', ('confirming-retry', 'retry-confirm-accept'): 'failed', ('confirming', 'notification-withdrawn'): 'confirmation-invalidated', ('confirmation-invalidated', 'late-confirm-accept'): 'withdrawn', ('executing', 'notification-withdrawn'): 'executing-withdrawn'}
    data = json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})) if payload is None else {**json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})), **json.loads(json.dumps(payload))}
    state = initial
    for delivery in events:
        event, event_generation = delivery[:2]
        arg = delivery[2] if len(delivery) > 2 else {}
        if event_generation == generation:
            previous = state
            if event in ('confirm-accept','retry-confirm-accept'):
                if data['withdrawn'] or arg.get('revision',data['revision']) != data['revision']: event = 'confirm-cancel'
                else: data['consented'] = data['revision']
            if event == 'notification-withdrawn': data['withdrawn'] = True
            state = table.get((state, event), state)
            if state == 'executing' and previous != 'executing': data['submitted'].append(data['revision'])
            if state == 'offered': data['consented'] = None
    return {'phase': state, 'value': data[observe]} if observe else state
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('offered / destructive-click', solve('offered', [('destructive-click', N)], N), 'confirming')
check('confirming / confirm-accept', solve('confirming', [('confirm-accept', N)], N), 'executing')
check('confirming / confirm-cancel', solve('confirming', [('confirm-cancel', N)], N), 'offered')
check('executing / command-success', solve('executing', [('command-success', N)], N), 'succeeded')
check('executing / command-failure', solve('executing', [('command-failure', N)], N), 'failed')
check('failed / retry-click', solve('failed', [('retry-click', N)], N), 'confirming-retry')
check('confirming-retry / retry-confirm-accept', solve('confirming-retry', [('retry-confirm-accept', N)], N), 'executing')
check('confirming / notification-withdrawn', solve('confirming', [('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('confirmation-invalidated / late-confirm-accept', solve('confirmation-invalidated', [('late-confirm-accept', N)], N), 'withdrawn')
check('executing / notification-withdrawn', solve('executing', [('notification-withdrawn', N)], N), 'executing-withdrawn')
check('older notification incarnation', solve('offered', [('destructive-click', N - 1)], N), 'offered')
check('future notification incarnation', solve('offered', [('destructive-click', N + 1)], N), 'offered')
check('unknown event is inert', solve('offered', [('unknown-event', N)], N), 'offered')
check('empty delivery batch', solve('offered', [], N), 'offered')
check('N stale deliveries before current delivery', solve('offered', [('destructive-click', N - 1)] * N + [('destructive-click', N)], N), 'confirming')
check('trace destructive-click then confirm-accept', solve('offered', [('destructive-click', N), ('confirm-accept', N)], N), 'executing')
check('trace destructive-click then confirm-cancel', solve('offered', [('destructive-click', N), ('confirm-cancel', N)], N), 'offered')
check('trace destructive-click then notification-withdrawn', solve('offered', [('destructive-click', N), ('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('trace confirm-accept then command-success', solve('confirming', [('confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace confirm-accept then command-failure', solve('confirming', [('confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace confirm-accept then notification-withdrawn', solve('confirming', [('confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace confirm-cancel then destructive-click', solve('confirming', [('confirm-cancel', N), ('destructive-click', N)], N), 'confirming')
check('trace command-failure then retry-click', solve('executing', [('command-failure', N), ('retry-click', N)], N), 'confirming-retry')
check('trace retry-click then retry-confirm-accept', solve('failed', [('retry-click', N), ('retry-confirm-accept', N)], N), 'executing')
check('trace retry-confirm-accept then command-success', solve('confirming-retry', [('retry-confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace retry-confirm-accept then command-failure', solve('confirming-retry', [('retry-confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace retry-confirm-accept then notification-withdrawn', solve('confirming-retry', [('retry-confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace notification-withdrawn then late-confirm-accept', solve('confirming', [('notification-withdrawn', N), ('late-confirm-accept', N)], N), 'withdrawn')
check('domain state regression 1: submitted', solve('confirming', [('confirm-accept', N, {'revision': 1})], N, {}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 2: submitted', solve('confirming', [('confirm-accept', N, {'revision': 2})], N, {}, 'submitted'), {'phase': 'executing', 'value': [2]})
check('domain state regression 3: submitted', solve('confirming', [('confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 4: consented', solve('confirming', [('confirm-cancel', N, {})], N, {'consented': 2}, 'consented'), {'phase': 'offered', 'value': None})
check('domain state regression 5: submitted', solve('executing', [('notification-withdrawn', N, {})], N, {'submitted': [2]}, 'submitted'), {'phase': 'executing-withdrawn', 'value': [2]})
check('domain state regression 6: submitted', solve('confirmation-invalidated', [('late-confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'withdrawn', 'value': []})
check('domain state regression 7: submitted', solve('offered', [('destructive-click', N, {}), ('notification-withdrawn', N, {}), ('late-confirm-accept', N, {})], N, {}, 'submitted'), {'phase': 'withdrawn', 'value': []})
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

prompt:
The retry-confirm-accept event leaves a notification in succeeded instead of executing.

Notification destructive-action confirmation is a bounded visual-notification workflow with mutable policy state {'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False}. Its default transition relation is {('offered', 'destructive-click'): 'confirming', ('confirming', 'confirm-accept'): 'executing', ('confirming', 'confirm-cancel'): 'offered', ('executing', 'command-success'): 'succeeded', ('executing', 'command-failure'): 'failed', ('failed', 'retry-click'): 'confirming-retry', ('confirming-retry', 'retry-confirm-accept'): 'executing', ('confirming', 'notification-withdrawn'): 'confirmation-invalidated', ('confirmation-invalidated', 'late-confirm-accept'): 'withdrawn', ('executing', 'notification-withdrawn'): 'executing-withdrawn'}; 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.

split: open-access


broken_source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(initial, events, generation, payload=None, observe=None):
    table = {('offered', 'destructive-click'): 'confirming', ('confirming', 'confirm-accept'): 'executing', ('confirming', 'confirm-cancel'): 'offered', ('executing', 'command-success'): 'succeeded', ('executing', 'command-failure'): 'failed', ('failed', 'retry-click'): 'confirming-retry', ('confirming-retry', 'retry-confirm-accept'): 'executing', ('confirming', 'notification-withdrawn'): 'executing', ('confirmation-invalidated', 'late-confirm-accept'): 'withdrawn', ('executing', 'notification-withdrawn'): 'executing-withdrawn'}
    data = json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})) if payload is None else {**json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})), **json.loads(json.dumps(payload))}
    state = initial
    for delivery in events:
        event, event_generation = delivery[:2]
        arg = delivery[2] if len(delivery) > 2 else {}
        if event_generation == generation:
            previous = state
            if event in ('confirm-accept','retry-confirm-accept'):
                if data['withdrawn'] or arg.get('revision',data['revision']) != data['revision']: event = 'confirm-cancel'
                else: data['consented'] = data['revision']
            if event == 'notification-withdrawn': data['withdrawn'] = True
            state = table.get((state, event), state)
            if state == 'executing' and previous != 'executing': data['submitted'].append(data['revision'])
            if state == 'offered': data['consented'] = None
    return {'phase': state, 'value': data[observe]} if observe else state
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('offered / destructive-click', solve('offered', [('destructive-click', N)], N), 'confirming')
check('confirming / confirm-accept', solve('confirming', [('confirm-accept', N)], N), 'executing')
check('confirming / confirm-cancel', solve('confirming', [('confirm-cancel', N)], N), 'offered')
check('executing / command-success', solve('executing', [('command-success', N)], N), 'succeeded')
check('executing / command-failure', solve('executing', [('command-failure', N)], N), 'failed')
check('failed / retry-click', solve('failed', [('retry-click', N)], N), 'confirming-retry')
check('confirming-retry / retry-confirm-accept', solve('confirming-retry', [('retry-confirm-accept', N)], N), 'executing')
check('confirming / notification-withdrawn', solve('confirming', [('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('confirmation-invalidated / late-confirm-accept', solve('confirmation-invalidated', [('late-confirm-accept', N)], N), 'withdrawn')
check('executing / notification-withdrawn', solve('executing', [('notification-withdrawn', N)], N), 'executing-withdrawn')
check('older notification incarnation', solve('offered', [('destructive-click', N - 1)], N), 'offered')
check('future notification incarnation', solve('offered', [('destructive-click', N + 1)], N), 'offered')
check('unknown event is inert', solve('offered', [('unknown-event', N)], N), 'offered')
check('empty delivery batch', solve('offered', [], N), 'offered')
check('N stale deliveries before current delivery', solve('offered', [('destructive-click', N - 1)] * N + [('destructive-click', N)], N), 'confirming')
check('trace destructive-click then confirm-accept', solve('offered', [('destructive-click', N), ('confirm-accept', N)], N), 'executing')
check('trace destructive-click then confirm-cancel', solve('offered', [('destructive-click', N), ('confirm-cancel', N)], N), 'offered')
check('trace destructive-click then notification-withdrawn', solve('offered', [('destructive-click', N), ('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('trace confirm-accept then command-success', solve('confirming', [('confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace confirm-accept then command-failure', solve('confirming', [('confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace confirm-accept then notification-withdrawn', solve('confirming', [('confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace confirm-cancel then destructive-click', solve('confirming', [('confirm-cancel', N), ('destructive-click', N)], N), 'confirming')
check('trace command-failure then retry-click', solve('executing', [('command-failure', N), ('retry-click', N)], N), 'confirming-retry')
check('trace retry-click then retry-confirm-accept', solve('failed', [('retry-click', N), ('retry-confirm-accept', N)], N), 'executing')
check('trace retry-confirm-accept then command-success', solve('confirming-retry', [('retry-confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace retry-confirm-accept then command-failure', solve('confirming-retry', [('retry-confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace retry-confirm-accept then notification-withdrawn', solve('confirming-retry', [('retry-confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace notification-withdrawn then late-confirm-accept', solve('confirming', [('notification-withdrawn', N), ('late-confirm-accept', N)], N), 'withdrawn')
check('domain state regression 1: submitted', solve('confirming', [('confirm-accept', N, {'revision': 1})], N, {}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 2: submitted', solve('confirming', [('confirm-accept', N, {'revision': 2})], N, {}, 'submitted'), {'phase': 'executing', 'value': [2]})
check('domain state regression 3: submitted', solve('confirming', [('confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 4: consented', solve('confirming', [('confirm-cancel', N, {})], N, {'consented': 2}, 'consented'), {'phase': 'offered', 'value': None})
check('domain state regression 5: submitted', solve('executing', [('notification-withdrawn', N, {})], N, {'submitted': [2]}, 'submitted'), {'phase': 'executing-withdrawn', 'value': [2]})
check('domain state regression 6: submitted', solve('confirmation-invalidated', [('late-confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'withdrawn', 'value': []})
check('domain state regression 7: submitted', solve('offered', [('destructive-click', N, {}), ('notification-withdrawn', N, {}), ('late-confirm-accept', N, {})], N, {}, 'submitted'), {'phase': 'withdrawn', 'value': []})
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(initial, events, generation, payload=None, observe=None):
    table = {('offered', 'destructive-click'): 'confirming', ('confirming', 'confirm-accept'): 'executing', ('confirming', 'confirm-cancel'): 'offered', ('executing', 'command-success'): 'succeeded', ('executing', 'command-failure'): 'failed', ('failed', 'retry-click'): 'confirming-retry', ('confirming-retry', 'retry-confirm-accept'): 'executing', ('confirming', 'notification-withdrawn'): 'offered', ('confirmation-invalidated', 'late-confirm-accept'): 'withdrawn', ('executing', 'notification-withdrawn'): 'executing-withdrawn'}
    data = json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})) if payload is None else {**json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})), **json.loads(json.dumps(payload))}
    state = initial
    for delivery in events:
        event, event_generation = delivery[:2]
        arg = delivery[2] if len(delivery) > 2 else {}
        if event_generation == generation:
            previous = state
            if event in ('confirm-accept','retry-confirm-accept'):
                if data['withdrawn'] or arg.get('revision',data['revision']) != data['revision']: event = 'confirm-cancel'
                else: data['consented'] = data['revision']
            if event == 'notification-withdrawn': data['withdrawn'] = True
            state = table.get((state, event), state)
            if state == 'executing' and previous != 'executing': data['submitted'].append(data['revision'])
            if state == 'offered': data['consented'] = None
    return {'phase': state, 'value': data[observe]} if observe else state
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('offered / destructive-click', solve('offered', [('destructive-click', N)], N), 'confirming')
check('confirming / confirm-accept', solve('confirming', [('confirm-accept', N)], N), 'executing')
check('confirming / confirm-cancel', solve('confirming', [('confirm-cancel', N)], N), 'offered')
check('executing / command-success', solve('executing', [('command-success', N)], N), 'succeeded')
check('executing / command-failure', solve('executing', [('command-failure', N)], N), 'failed')
check('failed / retry-click', solve('failed', [('retry-click', N)], N), 'confirming-retry')
check('confirming-retry / retry-confirm-accept', solve('confirming-retry', [('retry-confirm-accept', N)], N), 'executing')
check('confirming / notification-withdrawn', solve('confirming', [('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('confirmation-invalidated / late-confirm-accept', solve('confirmation-invalidated', [('late-confirm-accept', N)], N), 'withdrawn')
check('executing / notification-withdrawn', solve('executing', [('notification-withdrawn', N)], N), 'executing-withdrawn')
check('older notification incarnation', solve('offered', [('destructive-click', N - 1)], N), 'offered')
check('future notification incarnation', solve('offered', [('destructive-click', N + 1)], N), 'offered')
check('unknown event is inert', solve('offered', [('unknown-event', N)], N), 'offered')
check('empty delivery batch', solve('offered', [], N), 'offered')
check('N stale deliveries before current delivery', solve('offered', [('destructive-click', N - 1)] * N + [('destructive-click', N)], N), 'confirming')
check('trace destructive-click then confirm-accept', solve('offered', [('destructive-click', N), ('confirm-accept', N)], N), 'executing')
check('trace destructive-click then confirm-cancel', solve('offered', [('destructive-click', N), ('confirm-cancel', N)], N), 'offered')
check('trace destructive-click then notification-withdrawn', solve('offered', [('destructive-click', N), ('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('trace confirm-accept then command-success', solve('confirming', [('confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace confirm-accept then command-failure', solve('confirming', [('confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace confirm-accept then notification-withdrawn', solve('confirming', [('confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace confirm-cancel then destructive-click', solve('confirming', [('confirm-cancel', N), ('destructive-click', N)], N), 'confirming')
check('trace command-failure then retry-click', solve('executing', [('command-failure', N), ('retry-click', N)], N), 'confirming-retry')
check('trace retry-click then retry-confirm-accept', solve('failed', [('retry-click', N), ('retry-confirm-accept', N)], N), 'executing')
check('trace retry-confirm-accept then command-success', solve('confirming-retry', [('retry-confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace retry-confirm-accept then command-failure', solve('confirming-retry', [('retry-confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace retry-confirm-accept then notification-withdrawn', solve('confirming-retry', [('retry-confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace notification-withdrawn then late-confirm-accept', solve('confirming', [('notification-withdrawn', N), ('late-confirm-accept', N)], N), 'withdrawn')
check('domain state regression 1: submitted', solve('confirming', [('confirm-accept', N, {'revision': 1})], N, {}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 2: submitted', solve('confirming', [('confirm-accept', N, {'revision': 2})], N, {}, 'submitted'), {'phase': 'executing', 'value': [2]})
check('domain state regression 3: submitted', solve('confirming', [('confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 4: consented', solve('confirming', [('confirm-cancel', N, {})], N, {'consented': 2}, 'consented'), {'phase': 'offered', 'value': None})
check('domain state regression 5: submitted', solve('executing', [('notification-withdrawn', N, {})], N, {'submitted': [2]}, 'submitted'), {'phase': 'executing-withdrawn', 'value': [2]})
check('domain state regression 6: submitted', solve('confirmation-invalidated', [('late-confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'withdrawn', 'value': []})
check('domain state regression 7: submitted', solve('offered', [('destructive-click', N, {}), ('notification-withdrawn', N, {}), ('late-confirm-accept', N, {})], N, {}, 'submitted'), {'phase': 'withdrawn', 'value': []})
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

prompt:
The notification-withdrawn event leaves a notification in executing instead of confirmation-invalidated.

Notification destructive-action confirmation is a bounded visual-notification workflow with mutable policy state {'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False}. Its default transition relation is {('offered', 'destructive-click'): 'confirming', ('confirming', 'confirm-accept'): 'executing', ('confirming', 'confirm-cancel'): 'offered', ('executing', 'command-success'): 'succeeded', ('executing', 'command-failure'): 'failed', ('failed', 'retry-click'): 'confirming-retry', ('confirming-retry', 'retry-confirm-accept'): 'executing', ('confirming', 'notification-withdrawn'): 'confirmation-invalidated', ('confirmation-invalidated', 'late-confirm-accept'): 'withdrawn', ('executing', 'notification-withdrawn'): 'executing-withdrawn'}; 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.

split: open-access


broken_source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(initial, events, generation, payload=None, observe=None):
    table = {('offered', 'destructive-click'): 'confirming', ('confirming', 'confirm-accept'): 'executing', ('confirming', 'confirm-cancel'): 'offered', ('executing', 'command-success'): 'succeeded', ('executing', 'command-failure'): 'failed', ('failed', 'retry-click'): 'confirming-retry', ('confirming-retry', 'retry-confirm-accept'): 'executing', ('confirming', 'notification-withdrawn'): 'confirmation-invalidated', ('confirmation-invalidated', 'late-confirm-accept'): 'executing', ('executing', 'notification-withdrawn'): 'executing-withdrawn'}
    data = json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})) if payload is None else {**json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})), **json.loads(json.dumps(payload))}
    state = initial
    for delivery in events:
        event, event_generation = delivery[:2]
        arg = delivery[2] if len(delivery) > 2 else {}
        if event_generation == generation:
            previous = state
            if event in ('confirm-accept','retry-confirm-accept'):
                if data['withdrawn'] or arg.get('revision',data['revision']) != data['revision']: event = 'confirm-cancel'
                else: data['consented'] = data['revision']
            if event == 'notification-withdrawn': data['withdrawn'] = True
            state = table.get((state, event), state)
            if state == 'executing' and previous != 'executing': data['submitted'].append(data['revision'])
            if state == 'offered': data['consented'] = None
    return {'phase': state, 'value': data[observe]} if observe else state
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('offered / destructive-click', solve('offered', [('destructive-click', N)], N), 'confirming')
check('confirming / confirm-accept', solve('confirming', [('confirm-accept', N)], N), 'executing')
check('confirming / confirm-cancel', solve('confirming', [('confirm-cancel', N)], N), 'offered')
check('executing / command-success', solve('executing', [('command-success', N)], N), 'succeeded')
check('executing / command-failure', solve('executing', [('command-failure', N)], N), 'failed')
check('failed / retry-click', solve('failed', [('retry-click', N)], N), 'confirming-retry')
check('confirming-retry / retry-confirm-accept', solve('confirming-retry', [('retry-confirm-accept', N)], N), 'executing')
check('confirming / notification-withdrawn', solve('confirming', [('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('confirmation-invalidated / late-confirm-accept', solve('confirmation-invalidated', [('late-confirm-accept', N)], N), 'withdrawn')
check('executing / notification-withdrawn', solve('executing', [('notification-withdrawn', N)], N), 'executing-withdrawn')
check('older notification incarnation', solve('offered', [('destructive-click', N - 1)], N), 'offered')
check('future notification incarnation', solve('offered', [('destructive-click', N + 1)], N), 'offered')
check('unknown event is inert', solve('offered', [('unknown-event', N)], N), 'offered')
check('empty delivery batch', solve('offered', [], N), 'offered')
check('N stale deliveries before current delivery', solve('offered', [('destructive-click', N - 1)] * N + [('destructive-click', N)], N), 'confirming')
check('trace destructive-click then confirm-accept', solve('offered', [('destructive-click', N), ('confirm-accept', N)], N), 'executing')
check('trace destructive-click then confirm-cancel', solve('offered', [('destructive-click', N), ('confirm-cancel', N)], N), 'offered')
check('trace destructive-click then notification-withdrawn', solve('offered', [('destructive-click', N), ('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('trace confirm-accept then command-success', solve('confirming', [('confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace confirm-accept then command-failure', solve('confirming', [('confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace confirm-accept then notification-withdrawn', solve('confirming', [('confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace confirm-cancel then destructive-click', solve('confirming', [('confirm-cancel', N), ('destructive-click', N)], N), 'confirming')
check('trace command-failure then retry-click', solve('executing', [('command-failure', N), ('retry-click', N)], N), 'confirming-retry')
check('trace retry-click then retry-confirm-accept', solve('failed', [('retry-click', N), ('retry-confirm-accept', N)], N), 'executing')
check('trace retry-confirm-accept then command-success', solve('confirming-retry', [('retry-confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace retry-confirm-accept then command-failure', solve('confirming-retry', [('retry-confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace retry-confirm-accept then notification-withdrawn', solve('confirming-retry', [('retry-confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace notification-withdrawn then late-confirm-accept', solve('confirming', [('notification-withdrawn', N), ('late-confirm-accept', N)], N), 'withdrawn')
check('domain state regression 1: submitted', solve('confirming', [('confirm-accept', N, {'revision': 1})], N, {}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 2: submitted', solve('confirming', [('confirm-accept', N, {'revision': 2})], N, {}, 'submitted'), {'phase': 'executing', 'value': [2]})
check('domain state regression 3: submitted', solve('confirming', [('confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 4: consented', solve('confirming', [('confirm-cancel', N, {})], N, {'consented': 2}, 'consented'), {'phase': 'offered', 'value': None})
check('domain state regression 5: submitted', solve('executing', [('notification-withdrawn', N, {})], N, {'submitted': [2]}, 'submitted'), {'phase': 'executing-withdrawn', 'value': [2]})
check('domain state regression 6: submitted', solve('confirmation-invalidated', [('late-confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'withdrawn', 'value': []})
check('domain state regression 7: submitted', solve('offered', [('destructive-click', N, {}), ('notification-withdrawn', N, {}), ('late-confirm-accept', N, {})], N, {}, 'submitted'), {'phase': 'withdrawn', 'value': []})
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(initial, events, generation, payload=None, observe=None):
    table = {('offered', 'destructive-click'): 'confirming', ('confirming', 'confirm-accept'): 'executing', ('confirming', 'confirm-cancel'): 'offered', ('executing', 'command-success'): 'succeeded', ('executing', 'command-failure'): 'failed', ('failed', 'retry-click'): 'confirming-retry', ('confirming-retry', 'retry-confirm-accept'): 'executing', ('confirming', 'notification-withdrawn'): 'confirmation-invalidated', ('confirmation-invalidated', 'late-confirm-accept'): 'succeeded', ('executing', 'notification-withdrawn'): 'executing-withdrawn'}
    data = json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})) if payload is None else {**json.loads(json.dumps({'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False})), **json.loads(json.dumps(payload))}
    state = initial
    for delivery in events:
        event, event_generation = delivery[:2]
        arg = delivery[2] if len(delivery) > 2 else {}
        if event_generation == generation:
            previous = state
            if event in ('confirm-accept','retry-confirm-accept'):
                if data['withdrawn'] or arg.get('revision',data['revision']) != data['revision']: event = 'confirm-cancel'
                else: data['consented'] = data['revision']
            if event == 'notification-withdrawn': data['withdrawn'] = True
            state = table.get((state, event), state)
            if state == 'executing' and previous != 'executing': data['submitted'].append(data['revision'])
            if state == 'offered': data['consented'] = None
    return {'phase': state, 'value': data[observe]} if observe else state
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('offered / destructive-click', solve('offered', [('destructive-click', N)], N), 'confirming')
check('confirming / confirm-accept', solve('confirming', [('confirm-accept', N)], N), 'executing')
check('confirming / confirm-cancel', solve('confirming', [('confirm-cancel', N)], N), 'offered')
check('executing / command-success', solve('executing', [('command-success', N)], N), 'succeeded')
check('executing / command-failure', solve('executing', [('command-failure', N)], N), 'failed')
check('failed / retry-click', solve('failed', [('retry-click', N)], N), 'confirming-retry')
check('confirming-retry / retry-confirm-accept', solve('confirming-retry', [('retry-confirm-accept', N)], N), 'executing')
check('confirming / notification-withdrawn', solve('confirming', [('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('confirmation-invalidated / late-confirm-accept', solve('confirmation-invalidated', [('late-confirm-accept', N)], N), 'withdrawn')
check('executing / notification-withdrawn', solve('executing', [('notification-withdrawn', N)], N), 'executing-withdrawn')
check('older notification incarnation', solve('offered', [('destructive-click', N - 1)], N), 'offered')
check('future notification incarnation', solve('offered', [('destructive-click', N + 1)], N), 'offered')
check('unknown event is inert', solve('offered', [('unknown-event', N)], N), 'offered')
check('empty delivery batch', solve('offered', [], N), 'offered')
check('N stale deliveries before current delivery', solve('offered', [('destructive-click', N - 1)] * N + [('destructive-click', N)], N), 'confirming')
check('trace destructive-click then confirm-accept', solve('offered', [('destructive-click', N), ('confirm-accept', N)], N), 'executing')
check('trace destructive-click then confirm-cancel', solve('offered', [('destructive-click', N), ('confirm-cancel', N)], N), 'offered')
check('trace destructive-click then notification-withdrawn', solve('offered', [('destructive-click', N), ('notification-withdrawn', N)], N), 'confirmation-invalidated')
check('trace confirm-accept then command-success', solve('confirming', [('confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace confirm-accept then command-failure', solve('confirming', [('confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace confirm-accept then notification-withdrawn', solve('confirming', [('confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace confirm-cancel then destructive-click', solve('confirming', [('confirm-cancel', N), ('destructive-click', N)], N), 'confirming')
check('trace command-failure then retry-click', solve('executing', [('command-failure', N), ('retry-click', N)], N), 'confirming-retry')
check('trace retry-click then retry-confirm-accept', solve('failed', [('retry-click', N), ('retry-confirm-accept', N)], N), 'executing')
check('trace retry-confirm-accept then command-success', solve('confirming-retry', [('retry-confirm-accept', N), ('command-success', N)], N), 'succeeded')
check('trace retry-confirm-accept then command-failure', solve('confirming-retry', [('retry-confirm-accept', N), ('command-failure', N)], N), 'failed')
check('trace retry-confirm-accept then notification-withdrawn', solve('confirming-retry', [('retry-confirm-accept', N), ('notification-withdrawn', N)], N), 'executing-withdrawn')
check('trace notification-withdrawn then late-confirm-accept', solve('confirming', [('notification-withdrawn', N), ('late-confirm-accept', N)], N), 'withdrawn')
check('domain state regression 1: submitted', solve('confirming', [('confirm-accept', N, {'revision': 1})], N, {}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 2: submitted', solve('confirming', [('confirm-accept', N, {'revision': 2})], N, {}, 'submitted'), {'phase': 'executing', 'value': [2]})
check('domain state regression 3: submitted', solve('confirming', [('confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'offered', 'value': []})
check('domain state regression 4: consented', solve('confirming', [('confirm-cancel', N, {})], N, {'consented': 2}, 'consented'), {'phase': 'offered', 'value': None})
check('domain state regression 5: submitted', solve('executing', [('notification-withdrawn', N, {})], N, {'submitted': [2]}, 'submitted'), {'phase': 'executing-withdrawn', 'value': [2]})
check('domain state regression 6: submitted', solve('confirmation-invalidated', [('late-confirm-accept', N, {})], N, {'withdrawn': True}, 'submitted'), {'phase': 'withdrawn', 'value': []})
check('domain state regression 7: submitted', solve('offered', [('destructive-click', N, {}), ('notification-withdrawn', N, {}), ('late-confirm-accept', N, {})], N, {}, 'submitted'), {'phase': 'withdrawn', 'value': []})
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

prompt:
The late-confirm-accept event leaves a notification in executing instead of withdrawn.

Notification destructive-action confirmation is a bounded visual-notification workflow with mutable policy state {'revision': 2, 'consented': None, 'submitted': [], 'withdrawn': False}. Its default transition relation is {('offered', 'destructive-click'): 'confirming', ('confirming', 'confirm-accept'): 'executing', ('confirming', 'confirm-cancel'): 'offered', ('executing', 'command-success'): 'succeeded', ('executing', 'command-failure'): 'failed', ('failed', 'retry-click'): 'confirming-retry', ('confirming-retry', 'retry-confirm-accept'): 'executing', ('confirming', 'notification-withdrawn'): 'confirmation-invalidated', ('confirmation-invalidated', 'late-confirm-accept'): 'withdrawn', ('executing', 'notification-withdrawn'): 'executing-withdrawn'}; 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.

split: open-access