FAILURE MAP
← Case archive

FA-34776 / Notification interfaces / Open access

Notification surface account switch: scrub-complete from scrubbing-b · case 01

The scrub-complete event leaves a notification in account-b-visible instead of signed-out.

Verified by executionVariant 1 · 38 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

Scrub completion resurrects signed-out notification content.

THE FAILURE

Scrub completion resurrects signed-out notification content.

Unsuccessful approach: Reloading after sign-out creates an unauthorized session fetch.

Case contract

Notification surface account switch is a bounded visual-notification workflow with mutable policy state {'owner': 'a', 'rows': ['a-notice'], 'target': 'b', 'scrubbed': False}. Its default transition relation is {('account-a-visible', 'switch-to-b'): 'scrubbing-a', ('scrubbing-a', 'scrub-complete'): 'account-b-loading', ('account-b-loading', 'b-inbox-loaded'): 'account-b-visible', ('account-b-loading', 'b-inbox-failed'): 'switch-error', ('account-b-loading', 'late-a-response'): 'account-b-loading', ('switch-error', 'retry-b-load'): 'account-b-loading', ('account-b-visible', 'sign-out'): 'scrubbing-b', ('scrubbing-b', 'scrub-complete'): 'signed-out', ('signed-out', 'late-b-response'): 'signed-out', ('scrubbing-a', 'switch-back-to-a'): 'scrubbing-for-a'}; 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.

Why this case matters

Visual notification lifecycle ordering can leave an inbox or toast showing the wrong actionable state even when transport succeeds.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(initial, events, generation, payload=None, observe=None):
    table = {('account-a-visible', 'switch-to-b'): 'scrubbing-a', ('scrubbing-a', 'scrub-complete'): 'account-b-loading', ('account-b-loading', 'b-inbox-loaded'): 'account-b-visible', ('account-b-loading', 'b-inbox-failed'): 'switch-error', ('account-b-loading', 'late-a-response'): 'account-b-loading', ('switch-error', 'retry-b-load'): 'account-b-loading', ('account-b-visible', 'sign-out'): 'scrubbing-b', ('scrubbing-b', 'scrub-complete'): 'account-b-visible', ('signed-out', 'late-b-response'): 'signed-out', ('scrubbing-a', 'switch-back-to-a'): 'scrubbing-for-a'}
    data = json.loads(json.dumps({'owner': 'a', 'rows': ['a-notice'], 'target': 'b', 'scrubbed': False})) if payload is None else {**json.loads(json.dumps({'owner': 'a', 'rows': ['a-notice'], 'target': 'b', 'scrubbed': 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 == 'b-inbox-loaded' and arg.get('owner',data['target']) != data['target']: event = 'unknown-event'
            if event == 'b-inbox-loaded' and not data['scrubbed'] and arg.get('require_scrub',False): event = 'unknown-event'
            if event == 'switch-back-to-a': data['target'] = 'a'
            state = table.get((state, event), state)
            if state.startswith('scrubbing'):
                data['rows'] = []
                data['scrubbed'] = False
            if event == 'scrub-complete': data['scrubbed'] = True
            if state == 'account-b-visible':
                data['owner'] = 'b'
                data['rows'] = arg.get('rows',['b-notice'])[:]
            if state == 'signed-out':
                data['owner'] = None
                data['rows'] = []
    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('account-a-visible / switch-to-b', solve('account-a-visible', [('switch-to-b', N)], N), 'scrubbing-a')
check('scrubbing-a / scrub-complete', solve('scrubbing-a', [('scrub-complete', N)], N), 'account-b-loading')
check('account-b-loading / b-inbox-loaded', solve('account-b-loading', [('b-inbox-loaded', N)], N), 'account-b-visible')
check('account-b-loading / b-inbox-failed', solve('account-b-loading', [('b-inbox-failed', N)], N), 'switch-error')
check('account-b-loading / late-a-response', solve('account-b-loading', [('late-a-response', N)], N), 'account-b-loading')
check('switch-error / retry-b-load', solve('switch-error', [('retry-b-load', N)], N), 'account-b-loading')
check('account-b-visible / sign-out', solve('account-b-visible', [('sign-out', N)], N), 'scrubbing-b')
check('scrubbing-b / scrub-complete', solve('scrubbing-b', [('scrub-complete', N)], N), 'signed-out')
check('signed-out / late-b-response', solve('signed-out', [('late-b-response', N)], N), 'signed-out')
check('scrubbing-a / switch-back-to-a', solve('scrubbing-a', [('switch-back-to-a', N)], N), 'scrubbing-for-a')
check('older notification incarnation', solve('account-a-visible', [('switch-to-b', N - 1)], N), 'account-a-visible')
check('future notification incarnation', solve('account-a-visible', [('switch-to-b', N + 1)], N), 'account-a-visible')
check('unknown event is inert', solve('account-a-visible', [('unknown-event', N)], N), 'account-a-visible')
check('empty delivery batch', solve('account-a-visible', [], N), 'account-a-visible')
check('N stale deliveries before current delivery', solve('account-a-visible', [('switch-to-b', N - 1)] * N + [('switch-to-b', N)], N), 'scrubbing-a')
check('trace switch-to-b then scrub-complete', solve('account-a-visible', [('switch-to-b', N), ('scrub-complete', N)], N), 'account-b-loading')
check('trace switch-to-b then switch-back-to-a', solve('account-a-visible', [('switch-to-b', N), ('switch-back-to-a', N)], N), 'scrubbing-for-a')
check('trace scrub-complete then b-inbox-loaded', solve('scrubbing-a', [('scrub-complete', N), ('b-inbox-loaded', N)], N), 'account-b-visible')
check('trace scrub-complete then b-inbox-failed', solve('scrubbing-a', [('scrub-complete', N), ('b-inbox-failed', N)], N), 'switch-error')
check('trace scrub-complete then late-a-response', solve('scrubbing-a', [('scrub-complete', N), ('late-a-response', N)], N), 'account-b-loading')
check('trace b-inbox-loaded then sign-out', solve('account-b-loading', [('b-inbox-loaded', N), ('sign-out', N)], N), 'scrubbing-b')
check('trace b-inbox-failed then retry-b-load', solve('account-b-loading', [('b-inbox-failed', N), ('retry-b-load', N)], N), 'account-b-loading')
check('trace late-a-response then b-inbox-loaded', solve('account-b-loading', [('late-a-response', N), ('b-inbox-loaded', N)], N), 'account-b-visible')
check('trace late-a-response then b-inbox-failed', solve('account-b-loading', [('late-a-response', N), ('b-inbox-failed', N)], N), 'switch-error')
check('trace late-a-response then late-a-response', solve('account-b-loading', [('late-a-response', N), ('late-a-response', N)], N), 'account-b-loading')
check('trace retry-b-load then b-inbox-loaded', solve('switch-error', [('retry-b-load', N), ('b-inbox-loaded', N)], N), 'account-b-visible')
check('trace retry-b-load then b-inbox-failed', solve('switch-error', [('retry-b-load', N), ('b-inbox-failed', N)], N), 'switch-error')
check('trace retry-b-load then late-a-response', solve('switch-error', [('retry-b-load', N), ('late-a-response', N)], N), 'account-b-loading')
check('trace sign-out then scrub-complete', solve('account-b-visible', [('sign-out', N), ('scrub-complete', N)], N), 'signed-out')
check('trace scrub-complete then late-b-response', solve('scrubbing-b', [('scrub-complete', N), ('late-b-response', N)], N), 'signed-out')
check('trace late-b-response then late-b-response', solve('signed-out', [('late-b-response', N), ('late-b-response', N)], N), 'signed-out')
check('domain state regression 1: rows', solve('account-a-visible', [('switch-to-b', N, {})], N, {}, 'rows'), {'phase': 'scrubbing-a', 'value': []})
check('domain state regression 2: rows', solve('account-b-loading', [('b-inbox-loaded', N, {'owner': 'a'})], N, {}, 'rows'), {'phase': 'account-b-loading', 'value': ['a-notice']})
check('domain state regression 3: owner', solve('account-b-loading', [('b-inbox-loaded', N, {'require_scrub': True})], N, {}, 'owner'), {'phase': 'account-b-loading', 'value': 'a'})
check('domain state regression 4: rows', solve('account-b-loading', [('b-inbox-loaded', N, {'require_scrub': True})], N, {'scrubbed': True, 'rows': []}, 'rows'), {'phase': 'account-b-visible', 'value': ['b-notice']})
check('domain state regression 5: owner', solve('scrubbing-b', [('scrub-complete', N, {})], N, {'owner': 'b'}, 'owner'), {'phase': 'signed-out', 'value': None})
check('domain state regression 6: target', solve('scrubbing-a', [('switch-back-to-a', N, {})], N, {}, 'target'), {'phase': 'scrubbing-for-a', 'value': 'a'})
check('domain state regression 7: rows', solve('account-a-visible', [('switch-to-b', N, {}), ('scrub-complete', N, {}), ('b-inbox-loaded', N, {'require_scrub': True, 'rows': ['b']}), ('sign-out', N, {}), ('scrub-complete', N, {}), ('late-b-response', N, {})], N, {}, 'rows'), {'phase': 'signed-out', '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)
Boundary fixtureActualExpectedOutcome
account-a-visible / switch-to-bscrubbing-ascrubbing-aPassed
scrubbing-a / scrub-completeaccount-b-loadingaccount-b-loadingPassed
account-b-loading / b-inbox-loadedaccount-b-visibleaccount-b-visiblePassed
account-b-loading / b-inbox-failedswitch-errorswitch-errorPassed
account-b-loading / late-a-responseaccount-b-loadingaccount-b-loadingPassed
switch-error / retry-b-loadaccount-b-loadingaccount-b-loadingPassed
account-b-visible / sign-outscrubbing-bscrubbing-bPassed
scrubbing-b / scrub-completeaccount-b-visiblesigned-outFailed
signed-out / late-b-responsesigned-outsigned-outPassed
scrubbing-a / switch-back-to-ascrubbing-for-ascrubbing-for-aPassed
older notification incarnationaccount-a-visibleaccount-a-visiblePassed
future notification incarnationaccount-a-visibleaccount-a-visiblePassed
unknown event is inertaccount-a-visibleaccount-a-visiblePassed
empty delivery batchaccount-a-visibleaccount-a-visiblePassed
N stale deliveries before current deliveryscrubbing-ascrubbing-aPassed
trace switch-to-b then scrub-completeaccount-b-loadingaccount-b-loadingPassed
trace switch-to-b then switch-back-to-ascrubbing-for-ascrubbing-for-aPassed
trace scrub-complete then b-inbox-loadedaccount-b-visibleaccount-b-visiblePassed
trace scrub-complete then b-inbox-failedswitch-errorswitch-errorPassed
trace scrub-complete then late-a-responseaccount-b-loadingaccount-b-loadingPassed
trace b-inbox-loaded then sign-outscrubbing-bscrubbing-bPassed
trace b-inbox-failed then retry-b-loadaccount-b-loadingaccount-b-loadingPassed
trace late-a-response then b-inbox-loadedaccount-b-visibleaccount-b-visiblePassed
trace late-a-response then b-inbox-failedswitch-errorswitch-errorPassed
trace late-a-response then late-a-responseaccount-b-loadingaccount-b-loadingPassed
trace retry-b-load then b-inbox-loadedaccount-b-visibleaccount-b-visiblePassed
trace retry-b-load then b-inbox-failedswitch-errorswitch-errorPassed
trace retry-b-load then late-a-responseaccount-b-loadingaccount-b-loadingPassed
trace sign-out then scrub-completeaccount-b-visiblesigned-outFailed
trace scrub-complete then late-b-responseaccount-b-visiblesigned-outFailed
trace late-b-response then late-b-responsesigned-outsigned-outPassed
domain state regression 1: rows{'phase': 'scrubbing-a', 'value': []}{'phase': 'scrubbing-a', 'value': []}Passed
domain state regression 2: rows{'phase': 'account-b-loading', 'value': ['a-notice']}{'phase': 'account-b-loading', 'value': ['a-notice']}Passed
domain state regression 3: owner{'phase': 'account-b-loading', 'value': 'a'}{'phase': 'account-b-loading', 'value': 'a'}Passed
domain state regression 4: rows{'phase': 'account-b-visible', 'value': ['b-notice']}{'phase': 'account-b-visible', 'value': ['b-notice']}Passed
domain state regression 5: owner{'phase': 'account-b-visible', 'value': 'b'}{'phase': 'signed-out', 'value': None}Failed
domain state regression 6: target{'phase': 'scrubbing-for-a', 'value': 'a'}{'phase': 'scrubbing-for-a', 'value': 'a'}Passed
domain state regression 7: rows{'phase': 'account-b-visible', 'value': ['b-notice']}{'phase': 'signed-out', 'value': []}Failed

SHA-256 / f76db2a1e014022be86d1db2c633004b5153b3c2cef83d0d94b2525e339f0553

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(initial, events, generation, payload=None, observe=None):
    table = {('account-a-visible', 'switch-to-b'): 'scrubbing-a', ('scrubbing-a', 'scrub-complete'): 'account-b-loading', ('account-b-loading', 'b-inbox-loaded'): 'account-b-visible', ('account-b-loading', 'b-inbox-failed'): 'switch-error', ('account-b-loading', 'late-a-response'): 'account-b-loading', ('switch-error', 'retry-b-load'): 'account-b-loading', ('account-b-visible', 'sign-out'): 'scrubbing-b', ('scrubbing-b', 'scrub-complete'): 'account-b-loading', ('signed-out', 'late-b-response'): 'signed-out', ('scrubbing-a', 'switch-back-to-a'): 'scrubbing-for-a'}
    data = json.loads(json.dumps({'owner': 'a', 'rows': ['a-notice'], 'target': 'b', 'scrubbed': False})) if payload is None else {**json.loads(json.dumps({'owner': 'a', 'rows': ['a-notice'], 'target': 'b', 'scrubbed': 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 == 'b-inbox-loaded' and arg.get('owner',data['target']) != data['target']: event = 'unknown-event'
            if event == 'b-inbox-loaded' and not data['scrubbed'] and arg.get('require_scrub',False): event = 'unknown-event'
            if event == 'switch-back-to-a': data['target'] = 'a'
            state = table.get((state, event), state)
            if state.startswith('scrubbing'):
                data['rows'] = []
                data['scrubbed'] = False
            if event == 'scrub-complete': data['scrubbed'] = True
            if state == 'account-b-visible':
                data['owner'] = 'b'
                data['rows'] = arg.get('rows',['b-notice'])[:]
            if state == 'signed-out':
                data['owner'] = None
                data['rows'] = []
    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('account-a-visible / switch-to-b', solve('account-a-visible', [('switch-to-b', N)], N), 'scrubbing-a')
check('scrubbing-a / scrub-complete', solve('scrubbing-a', [('scrub-complete', N)], N), 'account-b-loading')
check('account-b-loading / b-inbox-loaded', solve('account-b-loading', [('b-inbox-loaded', N)], N), 'account-b-visible')
check('account-b-loading / b-inbox-failed', solve('account-b-loading', [('b-inbox-failed', N)], N), 'switch-error')
check('account-b-loading / late-a-response', solve('account-b-loading', [('late-a-response', N)], N), 'account-b-loading')
check('switch-error / retry-b-load', solve('switch-error', [('retry-b-load', N)], N), 'account-b-loading')
check('account-b-visible / sign-out', solve('account-b-visible', [('sign-out', N)], N), 'scrubbing-b')
check('scrubbing-b / scrub-complete', solve('scrubbing-b', [('scrub-complete', N)], N), 'signed-out')
check('signed-out / late-b-response', solve('signed-out', [('late-b-response', N)], N), 'signed-out')
check('scrubbing-a / switch-back-to-a', solve('scrubbing-a', [('switch-back-to-a', N)], N), 'scrubbing-for-a')
check('older notification incarnation', solve('account-a-visible', [('switch-to-b', N - 1)], N), 'account-a-visible')
check('future notification incarnation', solve('account-a-visible', [('switch-to-b', N + 1)], N), 'account-a-visible')
check('unknown event is inert', solve('account-a-visible', [('unknown-event', N)], N), 'account-a-visible')
check('empty delivery batch', solve('account-a-visible', [], N), 'account-a-visible')
check('N stale deliveries before current delivery', solve('account-a-visible', [('switch-to-b', N - 1)] * N + [('switch-to-b', N)], N), 'scrubbing-a')
check('trace switch-to-b then scrub-complete', solve('account-a-visible', [('switch-to-b', N), ('scrub-complete', N)], N), 'account-b-loading')
check('trace switch-to-b then switch-back-to-a', solve('account-a-visible', [('switch-to-b', N), ('switch-back-to-a', N)], N), 'scrubbing-for-a')
check('trace scrub-complete then b-inbox-loaded', solve('scrubbing-a', [('scrub-complete', N), ('b-inbox-loaded', N)], N), 'account-b-visible')
check('trace scrub-complete then b-inbox-failed', solve('scrubbing-a', [('scrub-complete', N), ('b-inbox-failed', N)], N), 'switch-error')
check('trace scrub-complete then late-a-response', solve('scrubbing-a', [('scrub-complete', N), ('late-a-response', N)], N), 'account-b-loading')
check('trace b-inbox-loaded then sign-out', solve('account-b-loading', [('b-inbox-loaded', N), ('sign-out', N)], N), 'scrubbing-b')
check('trace b-inbox-failed then retry-b-load', solve('account-b-loading', [('b-inbox-failed', N), ('retry-b-load', N)], N), 'account-b-loading')
check('trace late-a-response then b-inbox-loaded', solve('account-b-loading', [('late-a-response', N), ('b-inbox-loaded', N)], N), 'account-b-visible')
check('trace late-a-response then b-inbox-failed', solve('account-b-loading', [('late-a-response', N), ('b-inbox-failed', N)], N), 'switch-error')
check('trace late-a-response then late-a-response', solve('account-b-loading', [('late-a-response', N), ('late-a-response', N)], N), 'account-b-loading')
check('trace retry-b-load then b-inbox-loaded', solve('switch-error', [('retry-b-load', N), ('b-inbox-loaded', N)], N), 'account-b-visible')
check('trace retry-b-load then b-inbox-failed', solve('switch-error', [('retry-b-load', N), ('b-inbox-failed', N)], N), 'switch-error')
check('trace retry-b-load then late-a-response', solve('switch-error', [('retry-b-load', N), ('late-a-response', N)], N), 'account-b-loading')
check('trace sign-out then scrub-complete', solve('account-b-visible', [('sign-out', N), ('scrub-complete', N)], N), 'signed-out')
check('trace scrub-complete then late-b-response', solve('scrubbing-b', [('scrub-complete', N), ('late-b-response', N)], N), 'signed-out')
check('trace late-b-response then late-b-response', solve('signed-out', [('late-b-response', N), ('late-b-response', N)], N), 'signed-out')
check('domain state regression 1: rows', solve('account-a-visible', [('switch-to-b', N, {})], N, {}, 'rows'), {'phase': 'scrubbing-a', 'value': []})
check('domain state regression 2: rows', solve('account-b-loading', [('b-inbox-loaded', N, {'owner': 'a'})], N, {}, 'rows'), {'phase': 'account-b-loading', 'value': ['a-notice']})
check('domain state regression 3: owner', solve('account-b-loading', [('b-inbox-loaded', N, {'require_scrub': True})], N, {}, 'owner'), {'phase': 'account-b-loading', 'value': 'a'})
check('domain state regression 4: rows', solve('account-b-loading', [('b-inbox-loaded', N, {'require_scrub': True})], N, {'scrubbed': True, 'rows': []}, 'rows'), {'phase': 'account-b-visible', 'value': ['b-notice']})
check('domain state regression 5: owner', solve('scrubbing-b', [('scrub-complete', N, {})], N, {'owner': 'b'}, 'owner'), {'phase': 'signed-out', 'value': None})
check('domain state regression 6: target', solve('scrubbing-a', [('switch-back-to-a', N, {})], N, {}, 'target'), {'phase': 'scrubbing-for-a', 'value': 'a'})
check('domain state regression 7: rows', solve('account-a-visible', [('switch-to-b', N, {}), ('scrub-complete', N, {}), ('b-inbox-loaded', N, {'require_scrub': True, 'rows': ['b']}), ('sign-out', N, {}), ('scrub-complete', N, {}), ('late-b-response', N, {})], N, {}, 'rows'), {'phase': 'signed-out', '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)
Boundary fixtureActualExpectedOutcome
account-a-visible / switch-to-bscrubbing-ascrubbing-aPassed
scrubbing-a / scrub-completeaccount-b-loadingaccount-b-loadingPassed
account-b-loading / b-inbox-loadedaccount-b-visibleaccount-b-visiblePassed
account-b-loading / b-inbox-failedswitch-errorswitch-errorPassed
account-b-loading / late-a-responseaccount-b-loadingaccount-b-loadingPassed
switch-error / retry-b-loadaccount-b-loadingaccount-b-loadingPassed
account-b-visible / sign-outscrubbing-bscrubbing-bPassed
scrubbing-b / scrub-completeaccount-b-loadingsigned-outFailed
signed-out / late-b-responsesigned-outsigned-outPassed
scrubbing-a / switch-back-to-ascrubbing-for-ascrubbing-for-aPassed
older notification incarnationaccount-a-visibleaccount-a-visiblePassed
future notification incarnationaccount-a-visibleaccount-a-visiblePassed
unknown event is inertaccount-a-visibleaccount-a-visiblePassed
empty delivery batchaccount-a-visibleaccount-a-visiblePassed
N stale deliveries before current deliveryscrubbing-ascrubbing-aPassed
trace switch-to-b then scrub-completeaccount-b-loadingaccount-b-loadingPassed
trace switch-to-b then switch-back-to-ascrubbing-for-ascrubbing-for-aPassed
trace scrub-complete then b-inbox-loadedaccount-b-visibleaccount-b-visiblePassed
trace scrub-complete then b-inbox-failedswitch-errorswitch-errorPassed
trace scrub-complete then late-a-responseaccount-b-loadingaccount-b-loadingPassed
trace b-inbox-loaded then sign-outscrubbing-bscrubbing-bPassed
trace b-inbox-failed then retry-b-loadaccount-b-loadingaccount-b-loadingPassed
trace late-a-response then b-inbox-loadedaccount-b-visibleaccount-b-visiblePassed
trace late-a-response then b-inbox-failedswitch-errorswitch-errorPassed
trace late-a-response then late-a-responseaccount-b-loadingaccount-b-loadingPassed
trace retry-b-load then b-inbox-loadedaccount-b-visibleaccount-b-visiblePassed
trace retry-b-load then b-inbox-failedswitch-errorswitch-errorPassed
trace retry-b-load then late-a-responseaccount-b-loadingaccount-b-loadingPassed
trace sign-out then scrub-completeaccount-b-loadingsigned-outFailed
trace scrub-complete then late-b-responseaccount-b-loadingsigned-outFailed
trace late-b-response then late-b-responsesigned-outsigned-outPassed
domain state regression 1: rows{'phase': 'scrubbing-a', 'value': []}{'phase': 'scrubbing-a', 'value': []}Passed
domain state regression 2: rows{'phase': 'account-b-loading', 'value': ['a-notice']}{'phase': 'account-b-loading', 'value': ['a-notice']}Passed
domain state regression 3: owner{'phase': 'account-b-loading', 'value': 'a'}{'phase': 'account-b-loading', 'value': 'a'}Passed
domain state regression 4: rows{'phase': 'account-b-visible', 'value': ['b-notice']}{'phase': 'account-b-visible', 'value': ['b-notice']}Passed
domain state regression 5: owner{'phase': 'account-b-loading', 'value': 'b'}{'phase': 'signed-out', 'value': None}Failed
domain state regression 6: target{'phase': 'scrubbing-for-a', 'value': 'a'}{'phase': 'scrubbing-for-a', 'value': 'a'}Passed
domain state regression 7: rows{'phase': 'account-b-loading', 'value': []}{'phase': 'signed-out', 'value': []}Failed

SHA-256 / 6da56de010fff432ee4b8204633ba10f188dcd12be0e46abdd702b82a6f03317

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 38 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.

Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.

Member access is invitation-based. Sign in with your invited account to inspect the repair.

Sign in to the archive ↗

Verification & scope

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.

Observations recorded using Python 3.12.14 at 2026-09-29T14:42:35.358233+00:00.

Case digest / 20801ef570c1d3da5d10794e0486a749f3cc9d2efaeb7634d471db90d2df6ca4