FA-32831 / Menu interactions / Open access

Disposed submenu retains provider rows or loading state · case 01

Disposed submenu retains provider rows or loading state.

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

ROOT CAUSE

The menu-resource-disposal model applies `{'rows':p['rows'],'loading':False,'error':None}` at its content operation instead of the stipulated transformation.

VERIFIED REPAIR

Apply `{'rows':[],'loading':False,'error':None}` at content.

Unsuccessful approach: The attempted repair `{'rows':[],'loading':p['loading'],'error':None}` still violates the content 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':p['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': [1]}`	`{'error': None, 'loading': False, 'rows': []}`	Failed
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 / adf988a217925bbf601efb40c06a0e2afd4b7e694d328063a4a677c73c811af7

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':p['loading'],'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': True, 'rows': []}`	`{'error': None, 'loading': False, 'rows': []}`	Failed
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 / 68b7bfd085e1ff5dd33aa3f8d31b2603444eead5aa2dcd124920bc5329a40554

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

Case digest / b5bd9203509ea98fc25aec32b03668d5b02fb70435ce2bf979c115a0c897bb74