FAILURE MAP
← Case archive

FA-33461 / Menu interactions / Open access

Parent menu close notification precedes its owned descendants · case 01

Parent menu close notification precedes its owned descendants.

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

ROOT CAUSE

The menu-lifecycle-events model applies `p` at its close-order operation instead of the stipulated transformation.

VERIFIED REPAIR

Apply `list(reversed(p))` at close-order.

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

Case contract

Menu lifecycle notifications report committed transitions once, retain close reasons, and deliver descendant closure before parent closure.

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 == 'open-event':
        return ['opened'] if not p['before'] and p['after'] else []
    if action == 'close-reason':
        return p['reason']
    if action == 'close-order':
        return p
    if action == 'cancel-open':
        return [] if p['prevented'] else ['opened']
    if action == 'event-context':
        return {'session':p['session'],'owner':p['owner'],'reason':p['reason']}
    if action == 'unmount-reason':
        return 'owner-removed'
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('open-event contract', solve('open-event', {'before':True,'after':True,'session':N}), [])
check('close-reason contract', solve('close-reason', {'reason':'command'+str(N),'previous_reason':'outside'}), 'command'+str(N))
check('close-order contract', solve('close-order', ['root','child'+str(N)]), ['child'+str(N),'root'])
check('cancel-open contract', solve('cancel-open', {'prevented':True,'session':N}), [])
check('event-context contract', solve('event-context', {'session':N,'owner':'child','root':'root','reason':'replace'}), {'session':N,'owner':'child','reason':'replace'})
check('unmount-reason contract', solve('unmount-reason', {'last_reason':'outside'+str(N)}), 'owner-removed')
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 fixtureActualExpectedOutcome
open-event contract[][]Passed
close-reason contractcommand1command1Passed
close-order contract['root', 'child1']['child1', 'root']Failed
cancel-open contract[][]Passed
event-context contract{'owner': 'child', 'reason': 'replace', 'session': 1}{'owner': 'child', 'reason': 'replace', 'session': 1}Passed
unmount-reason contractowner-removedowner-removedPassed
unknown operation{'error': 'unsupported menu operation'}{'error': 'unsupported menu operation'}Passed

SHA-256 / 4dccd4fb26e86c527b33ba27747e88c21120f3c9a3dd5bc1e620bef88cc7ac56

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 == 'open-event':
        return ['opened'] if not p['before'] and p['after'] else []
    if action == 'close-reason':
        return p['reason']
    if action == 'close-order':
        return p[:1]
    if action == 'cancel-open':
        return [] if p['prevented'] else ['opened']
    if action == 'event-context':
        return {'session':p['session'],'owner':p['owner'],'reason':p['reason']}
    if action == 'unmount-reason':
        return 'owner-removed'
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('open-event contract', solve('open-event', {'before':True,'after':True,'session':N}), [])
check('close-reason contract', solve('close-reason', {'reason':'command'+str(N),'previous_reason':'outside'}), 'command'+str(N))
check('close-order contract', solve('close-order', ['root','child'+str(N)]), ['child'+str(N),'root'])
check('cancel-open contract', solve('cancel-open', {'prevented':True,'session':N}), [])
check('event-context contract', solve('event-context', {'session':N,'owner':'child','root':'root','reason':'replace'}), {'session':N,'owner':'child','reason':'replace'})
check('unmount-reason contract', solve('unmount-reason', {'last_reason':'outside'+str(N)}), 'owner-removed')
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 fixtureActualExpectedOutcome
open-event contract[][]Passed
close-reason contractcommand1command1Passed
close-order contract['root']['child1', 'root']Failed
cancel-open contract[][]Passed
event-context contract{'owner': 'child', 'reason': 'replace', 'session': 1}{'owner': 'child', 'reason': 'replace', 'session': 1}Passed
unmount-reason contractowner-removedowner-removedPassed
unknown operation{'error': 'unsupported menu operation'}{'error': 'unsupported menu operation'}Passed

SHA-256 / 2254f87ecd4df463479c03e7fb71b9b06396508e7e30899e0467f4e6d20e1f92

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 == 'open-event':
        return ['opened'] if not p['before'] and p['after'] else []
    if action == 'close-reason':
        return p['reason']
    if action == 'close-order':
        return list(reversed(p))
    if action == 'cancel-open':
        return [] if p['prevented'] else ['opened']
    if action == 'event-context':
        return {'session':p['session'],'owner':p['owner'],'reason':p['reason']}
    if action == 'unmount-reason':
        return 'owner-removed'
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('open-event contract', solve('open-event', {'before':True,'after':True,'session':N}), [])
check('close-reason contract', solve('close-reason', {'reason':'command'+str(N),'previous_reason':'outside'}), 'command'+str(N))
check('close-order contract', solve('close-order', ['root','child'+str(N)]), ['child'+str(N),'root'])
check('cancel-open contract', solve('cancel-open', {'prevented':True,'session':N}), [])
check('event-context contract', solve('event-context', {'session':N,'owner':'child','root':'root','reason':'replace'}), {'session':N,'owner':'child','reason':'replace'})
check('unmount-reason contract', solve('unmount-reason', {'last_reason':'outside'+str(N)}), 'owner-removed')
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 fixtureActualExpectedOutcome
open-event contract[][]Passed
close-reason contractcommand1command1Passed
close-order contract['child1', 'root']['child1', 'root']Passed
cancel-open contract[][]Passed
event-context contract{'owner': 'child', 'reason': 'replace', 'session': 1}{'owner': 'child', 'reason': 'replace', 'session': 1}Passed
unmount-reason contractowner-removedowner-removedPassed
unknown operation{'error': 'unsupported menu operation'}{'error': 'unsupported menu operation'}Passed

SHA-256 / 1961e55303bad201954cb1c64e780e585588cbfb56492fa41c94804da1ea313b

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

Case digest / 4f07a5fb720ef7c3f8fe22b430f7552d343eb0890276b44e6ca6bf3e7d1dda15