FA-33261 / Menu interactions / Open access

Menubar transfer targets an unavailable menu owner · case 01

Menubar transfer targets an unavailable menu owner.

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

ROOT CAUSE

The menubar-owner-switch model applies `next((x for x in p['roots'] if x['id']==p['target']),None)` at its disabled-root operation instead of the stipulated transformation.

VERIFIED REPAIR

Apply `next((x for x in p['roots'] if x['id']==p['target'] and x['available']),None)` at disabled-root.

Unsuccessful approach: The attempted repair `p['roots'][0]` still violates the disabled-root oracle.

Case contract

Pointer-driven menubar ownership transfers only during an active menu session; switching root owners replaces descendants and respects ownership identity.

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 == 'armed-switch':
        return p['active_session'] and p['different_owner']
    if action == 'replace-root':
        return [p['new_root']]
    if action == 'same-root':
        return p['chain'] if p['chain'][0]==p['root'] else [p['root']]
    if action == 'captured-pointer':
        return p['pointer']==p['owner_pointer'] and p['buttons']==0
    if action == 'disabled-root':
        return next((x for x in p['roots'] if x['id']==p['target']),None)
    if action == 'session-context':
        return p['existing_context']
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('armed-switch contract', solve('armed-switch', {'active_session':False,'different_owner':True,'owner':N}), False)
check('replace-root contract', solve('replace-root', {'new_root':'new'+str(N),'chain':['old','child']}), ['new'+str(N)])
check('same-root contract', solve('same-root', {'chain':['root','child'+str(N)],'root':'root'}), ['root','child'+str(N)])
check('captured-pointer contract', solve('captured-pointer', {'pointer':N,'owner_pointer':N,'buttons':1}), False)
check('disabled-root contract', solve('disabled-root', {'roots':[{'id':N,'available':False}],'target':N}), None)
check('session-context contract', solve('session-context', {'existing_context':N,'hover_context':N+1}), N)
check('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})
check('idle foreign pointer',solve('captured-pointer',{'pointer':N+1,'owner_pointer':N,'buttons':0}),False)
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
armed-switch contract	`False`	`False`	Passed
replace-root contract	`['new1']`	`['new1']`	Passed
same-root contract	`['root', 'child1']`	`['root', 'child1']`	Passed
captured-pointer contract	`False`	`False`	Passed
disabled-root contract	`{'available': False, 'id': 1}`	`None`	Failed
session-context contract	`1`	`1`	Passed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed
idle foreign pointer	`False`	`False`	Passed

SHA-256 / 1b0df02364bfd0a8318a4dfaf1410c401fa57ab260fd571c06e2de5be15b8572

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 == 'armed-switch':
        return p['active_session'] and p['different_owner']
    if action == 'replace-root':
        return [p['new_root']]
    if action == 'same-root':
        return p['chain'] if p['chain'][0]==p['root'] else [p['root']]
    if action == 'captured-pointer':
        return p['pointer']==p['owner_pointer'] and p['buttons']==0
    if action == 'disabled-root':
        return p['roots'][0]
    if action == 'session-context':
        return p['existing_context']
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('armed-switch contract', solve('armed-switch', {'active_session':False,'different_owner':True,'owner':N}), False)
check('replace-root contract', solve('replace-root', {'new_root':'new'+str(N),'chain':['old','child']}), ['new'+str(N)])
check('same-root contract', solve('same-root', {'chain':['root','child'+str(N)],'root':'root'}), ['root','child'+str(N)])
check('captured-pointer contract', solve('captured-pointer', {'pointer':N,'owner_pointer':N,'buttons':1}), False)
check('disabled-root contract', solve('disabled-root', {'roots':[{'id':N,'available':False}],'target':N}), None)
check('session-context contract', solve('session-context', {'existing_context':N,'hover_context':N+1}), N)
check('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})
check('idle foreign pointer',solve('captured-pointer',{'pointer':N+1,'owner_pointer':N,'buttons':0}),False)
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
armed-switch contract	`False`	`False`	Passed
replace-root contract	`['new1']`	`['new1']`	Passed
same-root contract	`['root', 'child1']`	`['root', 'child1']`	Passed
captured-pointer contract	`False`	`False`	Passed
disabled-root contract	`{'available': False, 'id': 1}`	`None`	Failed
session-context contract	`1`	`1`	Passed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed
idle foreign pointer	`False`	`False`	Passed

SHA-256 / a932af1f0f9b6605493351d467fbba0e93e2b6828fb09fbc40d878cbe28d8305

3 / The verified repair

Exit 0

"""Failure Map reference implementation. Python standard library only."""
import json
import math
import unicodedata
N = 1
observations = []
def solve(action, p):
    if action == 'armed-switch':
        return p['active_session'] and p['different_owner']
    if action == 'replace-root':
        return [p['new_root']]
    if action == 'same-root':
        return p['chain'] if p['chain'][0]==p['root'] else [p['root']]
    if action == 'captured-pointer':
        return p['pointer']==p['owner_pointer'] and p['buttons']==0
    if action == 'disabled-root':
        return next((x for x in p['roots'] if x['id']==p['target'] and x['available']),None)
    if action == 'session-context':
        return p['existing_context']
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('armed-switch contract', solve('armed-switch', {'active_session':False,'different_owner':True,'owner':N}), False)
check('replace-root contract', solve('replace-root', {'new_root':'new'+str(N),'chain':['old','child']}), ['new'+str(N)])
check('same-root contract', solve('same-root', {'chain':['root','child'+str(N)],'root':'root'}), ['root','child'+str(N)])
check('captured-pointer contract', solve('captured-pointer', {'pointer':N,'owner_pointer':N,'buttons':1}), False)
check('disabled-root contract', solve('disabled-root', {'roots':[{'id':N,'available':False}],'target':N}), None)
check('session-context contract', solve('session-context', {'existing_context':N,'hover_context':N+1}), N)
check('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})
check('idle foreign pointer',solve('captured-pointer',{'pointer':N+1,'owner_pointer':N,'buttons':0}),False)
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
armed-switch contract	`False`	`False`	Passed
replace-root contract	`['new1']`	`['new1']`	Passed
same-root contract	`['root', 'child1']`	`['root', 'child1']`	Passed
captured-pointer contract	`False`	`False`	Passed
disabled-root contract	`None`	`None`	Passed
session-context contract	`1`	`1`	Passed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed
idle foreign pointer	`False`	`False`	Passed

SHA-256 / cdce3fac49af17fc17a6f92814be098da88c1510c1c5c5a6b086dfc9b060fb36

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:20.621184+00:00.

Case digest / 365b6cfe5071ed3725363535088303c1395386690dc73bce89da964e573dd2dc