FA-32846 / Menu interactions / Open access

Disposed context menu retains a stale anchor reference · case 01

Disposed context menu retains a stale anchor reference.

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

ROOT CAUSE

The menu-resource-disposal model applies `p['anchor']` at its anchor-null operation instead of the stipulated transformation.

VERIFIED REPAIR

Apply `None` at anchor-null.

Unsuccessful approach: The attempted repair `p['fallback']` still violates the anchor-null oracle.

Case contract

Each popup owns subscriptions, timers, content and anchors; teardown releases exactly owned resources and is safe when repeated.

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 == 'listeners':
        return [x for x in p['listeners'] if x['session']!=p['session']]
    if action == 'timer-handles':
        return sorted({x for x in p if x is not None})
    if action == 'content':
        return {'rows':[],'loading':False,'error':None}
    if action == 'lease':
        return max(0,p['leases']-int(not p['already_closed']))
    if action == 'child-order':
        return [x['id'] for x in sorted(p,key=lambda x:len(x['menu_path']),reverse=True)]
    if action == 'anchor-null':
        return p['anchor']
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('listeners contract', solve('listeners', {'session':N,'listeners':[{'session':N,'id':'a'},{'session':N+1,'id':'b'}]}), [{'session':N+1,'id':'b'}])
check('timer-handles contract', solve('timer-handles', [0,N,N,None]), [0,N])
check('content contract', solve('content', {'rows':[N],'loading':True}), {'rows':[],'loading':False,'error':None})
check('lease contract', solve('lease', {'leases':N+1,'already_closed':True}), N+1)
check('child-order contract', solve('child-order', [{'id':'child','menu_path':['r','a']},{'id':'root','menu_path':['r']},{'id':N,'menu_path':['r','a','b']}]), [N,'child','root'])
check('anchor-null contract', solve('anchor-null', {'anchor':N,'fallback':'document'}), None)
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
listeners contract	`[{'id': 'b', 'session': 2}]`	`[{'id': 'b', 'session': 2}]`	Passed
timer-handles contract	`[0, 1]`	`[0, 1]`	Passed
content contract	`{'error': None, 'loading': False, 'rows': []}`	`{'error': None, 'loading': False, 'rows': []}`	Passed
lease contract	`2`	`2`	Passed
child-order contract	`[1, 'child', 'root']`	`[1, 'child', 'root']`	Passed
anchor-null contract	`1`	`None`	Failed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed

SHA-256 / ab1759fb9c084890ad9400f3d5226a3198eb6476e2ab0690a78ae11362e25325

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 == 'listeners':
        return [x for x in p['listeners'] if x['session']!=p['session']]
    if action == 'timer-handles':
        return sorted({x for x in p if x is not None})
    if action == 'content':
        return {'rows':[],'loading':False,'error':None}
    if action == 'lease':
        return max(0,p['leases']-int(not p['already_closed']))
    if action == 'child-order':
        return [x['id'] for x in sorted(p,key=lambda x:len(x['menu_path']),reverse=True)]
    if action == 'anchor-null':
        return p['fallback']
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('listeners contract', solve('listeners', {'session':N,'listeners':[{'session':N,'id':'a'},{'session':N+1,'id':'b'}]}), [{'session':N+1,'id':'b'}])
check('timer-handles contract', solve('timer-handles', [0,N,N,None]), [0,N])
check('content contract', solve('content', {'rows':[N],'loading':True}), {'rows':[],'loading':False,'error':None})
check('lease contract', solve('lease', {'leases':N+1,'already_closed':True}), N+1)
check('child-order contract', solve('child-order', [{'id':'child','menu_path':['r','a']},{'id':'root','menu_path':['r']},{'id':N,'menu_path':['r','a','b']}]), [N,'child','root'])
check('anchor-null contract', solve('anchor-null', {'anchor':N,'fallback':'document'}), None)
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
listeners contract	`[{'id': 'b', 'session': 2}]`	`[{'id': 'b', 'session': 2}]`	Passed
timer-handles contract	`[0, 1]`	`[0, 1]`	Passed
content contract	`{'error': None, 'loading': False, 'rows': []}`	`{'error': None, 'loading': False, 'rows': []}`	Passed
lease contract	`2`	`2`	Passed
child-order contract	`[1, 'child', 'root']`	`[1, 'child', 'root']`	Passed
anchor-null contract	`document`	`None`	Failed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed

SHA-256 / 2fb6c7dbda0a3db2f7f1f5c1c8d49b194b03639454b42a92880adc44b73bc446

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 == 'listeners':
        return [x for x in p['listeners'] if x['session']!=p['session']]
    if action == 'timer-handles':
        return sorted({x for x in p if x is not None})
    if action == 'content':
        return {'rows':[],'loading':False,'error':None}
    if action == 'lease':
        return max(0,p['leases']-int(not p['already_closed']))
    if action == 'child-order':
        return [x['id'] for x in sorted(p,key=lambda x:len(x['menu_path']),reverse=True)]
    if action == 'anchor-null':
        return None
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('listeners contract', solve('listeners', {'session':N,'listeners':[{'session':N,'id':'a'},{'session':N+1,'id':'b'}]}), [{'session':N+1,'id':'b'}])
check('timer-handles contract', solve('timer-handles', [0,N,N,None]), [0,N])
check('content contract', solve('content', {'rows':[N],'loading':True}), {'rows':[],'loading':False,'error':None})
check('lease contract', solve('lease', {'leases':N+1,'already_closed':True}), N+1)
check('child-order contract', solve('child-order', [{'id':'child','menu_path':['r','a']},{'id':'root','menu_path':['r']},{'id':N,'menu_path':['r','a','b']}]), [N,'child','root'])
check('anchor-null contract', solve('anchor-null', {'anchor':N,'fallback':'document'}), None)
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
listeners contract	`[{'id': 'b', 'session': 2}]`	`[{'id': 'b', 'session': 2}]`	Passed
timer-handles contract	`[0, 1]`	`[0, 1]`	Passed
content contract	`{'error': None, 'loading': False, 'rows': []}`	`{'error': None, 'loading': False, 'rows': []}`	Passed
lease contract	`2`	`2`	Passed
child-order contract	`[1, 'child', 'root']`	`[1, 'child', 'root']`	Passed
anchor-null contract	`None`	`None`	Passed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed

SHA-256 / aefd827335a3b127a95407e01a76d43f12f1125297f197a96991060b47acbe07

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

Case digest / 7e2d66da27026da70135bbff89cf9cf49121d4befa621745fc0448458c4760ce