FA-33656 / Menu interactions / Open access

Closing popup cancels explicitly detached queued menu commands · case 01

Closing popup cancels explicitly detached queued menu commands.

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

ROOT CAUSE

The menu-command-queue model applies `[]` at its close-policy operation instead of the stipulated transformation.

THE FAILURE

The menu-command-queue model applies `[]` at its close-policy operation instead of the stipulated transformation.

Unsuccessful approach: The attempted repair `p['queue'][:-1]` still violates the close-policy oracle.

Case contract

Queued menu commands preserve invocation snapshots and FIFO order; cancellation and completion act on transaction identity without blocking unrelated command lanes.

Why this case matters

Cascading and context menus require coherent command and session state as content changes.

1 / The failure

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json
import math
import unicodedata
N = 1
observations = []
def solve(action, p):
    if action == 'enqueue-snapshot':
        return p['queue']+[{'id':p['id'],'context':p['captured']}]
    if action == 'dequeue':
        return (p[0],p[1:])
    if action == 'cancel-id':
        return [x for x in p['queue'] if x['id']!=p['id']]
    if action == 'lane':
        return [x for x in p['queue'] if x['lane'] not in p['busy']]
    if action == 'failure-next':
        return p['remaining'] if p['continue_on_error'] else []
    if action == 'close-policy':
        return []
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('enqueue-snapshot contract', solve('enqueue-snapshot', {'queue':[{'id':0,'context':'old'}],'id':N,'captured':'doc','ambient':'other'}), [{'id':0,'context':'old'},{'id':N,'context':'doc'}])
check('dequeue contract', solve('dequeue', [N,N+1,N+2]), (N,[N+1,N+2]))
check('cancel-id contract', solve('cancel-id', {'queue':[{'id':N,'command':'copy'},{'id':N+1,'command':'copy'}],'id':N,'command':'copy'}), [{'id':N+1,'command':'copy'}])
check('lane contract', solve('lane', {'queue':[{'lane':'a','id':N},{'lane':'b','id':N+1}],'busy':['a']}), [{'lane':'b','id':N+1}])
check('failure-next contract', solve('failure-next', {'remaining':[N+1],'failed':[N],'continue_on_error':True}), [N+1])
check('close-policy contract', solve('close-policy', {'queue':[N,N+1],'survive_close':True}), [N,N+1])
check('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})
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 fixture	Actual	Expected	Outcome
enqueue-snapshot contract	`[{'context': 'old', 'id': 0}, {'context': 'doc', 'id': 1}]`	`[{'context': 'old', 'id': 0}, {'context': 'doc', 'id': 1}]`	Passed
dequeue contract	`[1, [2, 3]]`	`[1, [2, 3]]`	Passed
cancel-id contract	`[{'command': 'copy', 'id': 2}]`	`[{'command': 'copy', 'id': 2}]`	Passed
lane contract	`[{'id': 2, 'lane': 'b'}]`	`[{'id': 2, 'lane': 'b'}]`	Passed
failure-next contract	`[2]`	`[2]`	Passed
close-policy contract	`[]`	`[1, 2]`	Failed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed

SHA-256 / 6b7025724832398a7314a59dfecd748442c8e6ba9dae447fed172acc3367e8d1

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json
import math
import unicodedata
N = 1
observations = []
def solve(action, p):
    if action == 'enqueue-snapshot':
        return p['queue']+[{'id':p['id'],'context':p['captured']}]
    if action == 'dequeue':
        return (p[0],p[1:])
    if action == 'cancel-id':
        return [x for x in p['queue'] if x['id']!=p['id']]
    if action == 'lane':
        return [x for x in p['queue'] if x['lane'] not in p['busy']]
    if action == 'failure-next':
        return p['remaining'] if p['continue_on_error'] else []
    if action == 'close-policy':
        return p['queue'][:-1]
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('enqueue-snapshot contract', solve('enqueue-snapshot', {'queue':[{'id':0,'context':'old'}],'id':N,'captured':'doc','ambient':'other'}), [{'id':0,'context':'old'},{'id':N,'context':'doc'}])
check('dequeue contract', solve('dequeue', [N,N+1,N+2]), (N,[N+1,N+2]))
check('cancel-id contract', solve('cancel-id', {'queue':[{'id':N,'command':'copy'},{'id':N+1,'command':'copy'}],'id':N,'command':'copy'}), [{'id':N+1,'command':'copy'}])
check('lane contract', solve('lane', {'queue':[{'lane':'a','id':N},{'lane':'b','id':N+1}],'busy':['a']}), [{'lane':'b','id':N+1}])
check('failure-next contract', solve('failure-next', {'remaining':[N+1],'failed':[N],'continue_on_error':True}), [N+1])
check('close-policy contract', solve('close-policy', {'queue':[N,N+1],'survive_close':True}), [N,N+1])
check('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})
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 fixture	Actual	Expected	Outcome
enqueue-snapshot contract	`[{'context': 'old', 'id': 0}, {'context': 'doc', 'id': 1}]`	`[{'context': 'old', 'id': 0}, {'context': 'doc', 'id': 1}]`	Passed
dequeue contract	`[1, [2, 3]]`	`[1, [2, 3]]`	Passed
cancel-id contract	`[{'command': 'copy', 'id': 2}]`	`[{'command': 'copy', 'id': 2}]`	Passed
lane contract	`[{'id': 2, 'lane': 'b'}]`	`[{'id': 2, 'lane': 'b'}]`	Passed
failure-next contract	`[2]`	`[2]`	Passed
close-policy contract	`[1]`	`[1, 2]`	Failed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed

SHA-256 / c4c25f8815035af9e4321f2b631dc906cce61b6cb298958757d00a9d3d8811df

HELD IN THE MEMBER ARCHIVE

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

This mechanism has 7 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.

Verification & scope

Offline supplied-valid-payload model; excludes DOM, keyboard, focus, selection, announcements and browser conformance. 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:24.463160+00:00.

Case digest / 02fe5dc5cb91eb4be095eb8793850b03bd634a5cd2daf38414adf683098a4d56