{"abstract":"Busy document menu lane blocks unrelated document commands.","category":"Menu interactions","checks":7,"contract":"Queued menu commands preserve invocation snapshots and FIFO order; cancellation and completion act on transaction identity without blocking unrelated command lanes.","evaluation_group":"s3-menu-interactions-menu-command-queue","failed_approach":"The attempted repair `p['queue']` still violates the lane oracle.","family":"s3-menu-interactions-menu-command-queue-lane","id":"FA-33646","implementations":{"attempt":{"sha256":"a774ebbb54672637efd3c90902e8635a5424a2b91f832868997a778e2d3dd2be","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nimport unicodedata\nN = 1\nobservations = []\ndef solve(action, p):\n    if action == 'enqueue-snapshot':\n        return p['queue']+[{'id':p['id'],'context':p['captured']}]\n    if action == 'dequeue':\n        return (p[0],p[1:])\n    if action == 'cancel-id':\n        return [x for x in p['queue'] if x['id']!=p['id']]\n    if action == 'lane':\n        return p['queue']\n    if action == 'failure-next':\n        return p['remaining'] if p['continue_on_error'] else []\n    if action == 'close-policy':\n        return p['queue'] if p['survive_close'] else []\n    return {'error': 'unsupported menu operation'}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('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'}])\ncheck('dequeue contract', solve('dequeue', [N,N+1,N+2]), (N,[N+1,N+2]))\ncheck('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'}])\ncheck('lane contract', solve('lane', {'queue':[{'lane':'a','id':N},{'lane':'b','id':N+1}],'busy':['a']}), [{'lane':'b','id':N+1}])\ncheck('failure-next contract', solve('failure-next', {'remaining':[N+1],'failed':[N],'continue_on_error':True}), [N+1])\ncheck('close-policy contract', solve('close-policy', {'queue':[N,N+1],'survive_close':True}), [N,N+1])\ncheck('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"d6cca2c3f7d82a84a7562fcb90445dfdd0bc7145d52975b674d3ac0d9ac43bb6","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nimport unicodedata\nN = 1\nobservations = []\ndef solve(action, p):\n    if action == 'enqueue-snapshot':\n        return p['queue']+[{'id':p['id'],'context':p['captured']}]\n    if action == 'dequeue':\n        return (p[0],p[1:])\n    if action == 'cancel-id':\n        return [x for x in p['queue'] if x['id']!=p['id']]\n    if action == 'lane':\n        return [] if p['busy'] else p['queue']\n    if action == 'failure-next':\n        return p['remaining'] if p['continue_on_error'] else []\n    if action == 'close-policy':\n        return p['queue'] if p['survive_close'] else []\n    return {'error': 'unsupported menu operation'}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('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'}])\ncheck('dequeue contract', solve('dequeue', [N,N+1,N+2]), (N,[N+1,N+2]))\ncheck('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'}])\ncheck('lane contract', solve('lane', {'queue':[{'lane':'a','id':N},{'lane':'b','id':N+1}],'busy':['a']}), [{'lane':'b','id':N+1}])\ncheck('failure-next contract', solve('failure-next', {'remaining':[N+1],'failed':[N],'continue_on_error':True}), [N+1])\ncheck('close-policy contract', solve('close-policy', {'queue':[N,N+1],'survive_close':True}), [N,N+1])\ncheck('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"6859c24cf8fd36a7d1ce9f4be3cbab464829480ba910368736e5b967a0bca86d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nimport unicodedata\nN = 1\nobservations = []\ndef solve(action, p):\n    if action == 'enqueue-snapshot':\n        return p['queue']+[{'id':p['id'],'context':p['captured']}]\n    if action == 'dequeue':\n        return (p[0],p[1:])\n    if action == 'cancel-id':\n        return [x for x in p['queue'] if x['id']!=p['id']]\n    if action == 'lane':\n        return [x for x in p['queue'] if x['lane'] not in p['busy']]\n    if action == 'failure-next':\n        return p['remaining'] if p['continue_on_error'] else []\n    if action == 'close-policy':\n        return p['queue'] if p['survive_close'] else []\n    return {'error': 'unsupported menu operation'}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('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'}])\ncheck('dequeue contract', solve('dequeue', [N,N+1,N+2]), (N,[N+1,N+2]))\ncheck('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'}])\ncheck('lane contract', solve('lane', {'queue':[{'lane':'a','id':N},{'lane':'b','id':N+1}],'busy':['a']}), [{'lane':'b','id':N+1}])\ncheck('failure-next contract', solve('failure-next', {'remaining':[N+1],'failed':[N],'continue_on_error':True}), [N+1])\ncheck('close-policy contract', solve('close-policy', {'queue':[N,N+1],'survive_close':True}), [N,N+1])\ncheck('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-menu-interactions-menu-command-queue-lane","generated_at":"2026-09-29T14:42:24.415411+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Cascading and context menus require coherent command and session state as content changes.","repair":"Apply `[x for x in p['queue'] if x['lane'] not in p['busy']]` at lane.","root_cause":"The menu-command-queue model applies `[] if p['busy'] else p['queue']` at its lane operation instead of the stipulated transformation.","sha256":"c8311d7fb3b3c58530283a03b654b51883b39b754f2d906a51a75da77aa0a9e1","title":"Busy document menu lane blocks unrelated document commands · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.005,"exit_code":1,"observations":[{"actual":[{"context":"old","id":0},{"context":"doc","id":1}],"check":"enqueue-snapshot contract","expected":[{"context":"old","id":0},{"context":"doc","id":1}],"passed":true},{"actual":[1,[2,3]],"check":"dequeue contract","expected":[1,[2,3]],"passed":true},{"actual":[{"command":"copy","id":2}],"check":"cancel-id contract","expected":[{"command":"copy","id":2}],"passed":true},{"actual":[{"id":1,"lane":"a"},{"id":2,"lane":"b"}],"check":"lane contract","expected":[{"id":2,"lane":"b"}],"passed":false},{"actual":[2],"check":"failure-next contract","expected":[2],"passed":true},{"actual":[1,2],"check":"close-policy contract","expected":[1,2],"passed":true},{"actual":{"error":"unsupported menu operation"},"check":"unknown operation","expected":{"error":"unsupported menu operation"},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"enqueue-snapshot contract\", \"actual\": [{\"id\": 0, \"context\": \"old\"}, {\"id\": 1, \"context\": \"doc\"}], \"expected\": [{\"id\": 0, \"context\": \"old\"}, {\"id\": 1, \"context\": \"doc\"}], \"passed\": true}, {\"check\": \"dequeue contract\", \"actual\": [1, [2, 3]], \"expected\": [1, [2, 3]], \"passed\": true}, {\"check\": \"cancel-id contract\", \"actual\": [{\"id\": 2, \"command\": \"copy\"}], \"expected\": [{\"id\": 2, \"command\": \"copy\"}], \"passed\": true}, {\"check\": \"lane contract\", \"actual\": [{\"lane\": \"a\", \"id\": 1}, {\"lane\": \"b\", \"id\": 2}], \"expected\": [{\"lane\": \"b\", \"id\": 2}], \"passed\": false}, {\"check\": \"failure-next contract\", \"actual\": [2], \"expected\": [2], \"passed\": true}, {\"check\": \"close-policy contract\", \"actual\": [1, 2], \"expected\": [1, 2], \"passed\": true}, {\"check\": \"unknown operation\", \"actual\": {\"error\": \"unsupported menu operation\"}, \"expected\": {\"error\": \"unsupported menu operation\"}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.733,"exit_code":1,"observations":[{"actual":[{"context":"old","id":0},{"context":"doc","id":1}],"check":"enqueue-snapshot contract","expected":[{"context":"old","id":0},{"context":"doc","id":1}],"passed":true},{"actual":[1,[2,3]],"check":"dequeue contract","expected":[1,[2,3]],"passed":true},{"actual":[{"command":"copy","id":2}],"check":"cancel-id contract","expected":[{"command":"copy","id":2}],"passed":true},{"actual":[],"check":"lane contract","expected":[{"id":2,"lane":"b"}],"passed":false},{"actual":[2],"check":"failure-next contract","expected":[2],"passed":true},{"actual":[1,2],"check":"close-policy contract","expected":[1,2],"passed":true},{"actual":{"error":"unsupported menu operation"},"check":"unknown operation","expected":{"error":"unsupported menu operation"},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"enqueue-snapshot contract\", \"actual\": [{\"id\": 0, \"context\": \"old\"}, {\"id\": 1, \"context\": \"doc\"}], \"expected\": [{\"id\": 0, \"context\": \"old\"}, {\"id\": 1, \"context\": \"doc\"}], \"passed\": true}, {\"check\": \"dequeue contract\", \"actual\": [1, [2, 3]], \"expected\": [1, [2, 3]], \"passed\": true}, {\"check\": \"cancel-id contract\", \"actual\": [{\"id\": 2, \"command\": \"copy\"}], \"expected\": [{\"id\": 2, \"command\": \"copy\"}], \"passed\": true}, {\"check\": \"lane contract\", \"actual\": [], \"expected\": [{\"lane\": \"b\", \"id\": 2}], \"passed\": false}, {\"check\": \"failure-next contract\", \"actual\": [2], \"expected\": [2], \"passed\": true}, {\"check\": \"close-policy contract\", \"actual\": [1, 2], \"expected\": [1, 2], \"passed\": true}, {\"check\": \"unknown operation\", \"actual\": {\"error\": \"unsupported menu operation\"}, \"expected\": {\"error\": \"unsupported menu operation\"}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.251,"exit_code":0,"observations":[{"actual":[{"context":"old","id":0},{"context":"doc","id":1}],"check":"enqueue-snapshot contract","expected":[{"context":"old","id":0},{"context":"doc","id":1}],"passed":true},{"actual":[1,[2,3]],"check":"dequeue contract","expected":[1,[2,3]],"passed":true},{"actual":[{"command":"copy","id":2}],"check":"cancel-id contract","expected":[{"command":"copy","id":2}],"passed":true},{"actual":[{"id":2,"lane":"b"}],"check":"lane contract","expected":[{"id":2,"lane":"b"}],"passed":true},{"actual":[2],"check":"failure-next contract","expected":[2],"passed":true},{"actual":[1,2],"check":"close-policy contract","expected":[1,2],"passed":true},{"actual":{"error":"unsupported menu operation"},"check":"unknown operation","expected":{"error":"unsupported menu operation"},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"enqueue-snapshot contract\", \"actual\": [{\"id\": 0, \"context\": \"old\"}, {\"id\": 1, \"context\": \"doc\"}], \"expected\": [{\"id\": 0, \"context\": \"old\"}, {\"id\": 1, \"context\": \"doc\"}], \"passed\": true}, {\"check\": \"dequeue contract\", \"actual\": [1, [2, 3]], \"expected\": [1, [2, 3]], \"passed\": true}, {\"check\": \"cancel-id contract\", \"actual\": [{\"id\": 2, \"command\": \"copy\"}], \"expected\": [{\"id\": 2, \"command\": \"copy\"}], \"passed\": true}, {\"check\": \"lane contract\", \"actual\": [{\"lane\": \"b\", \"id\": 2}], \"expected\": [{\"lane\": \"b\", \"id\": 2}], \"passed\": true}, {\"check\": \"failure-next contract\", \"actual\": [2], \"expected\": [2], \"passed\": true}, {\"check\": \"close-policy contract\", \"actual\": [1, 2], \"expected\": [1, 2], \"passed\": true}, {\"check\": \"unknown operation\", \"actual\": {\"error\": \"unsupported menu operation\"}, \"expected\": {\"error\": \"unsupported menu operation\"}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}