FA-33146 / Menu interactions / Open access

Retired command customization migrates onto stale menu entries · case 01

Retired command customization migrates onto stale menu entries.

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

ROOT CAUSE

The menu-customization model applies `p['settings']` at its obsolete-config operation instead of the stipulated transformation.

VERIFIED REPAIR

Apply `{k:v for k,v in p['settings'].items() if k in p['live']}` at obsolete-config.

Unsuccessful approach: The attempted repair `{}` still violates the obsolete-config oracle.

Case contract

User menu customization applies stable command IDs, protects mandatory commands and resets only the requested customization layer.

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 == 'hidden':
        return [x for x in p['rows'] if x['id'] not in p['hidden'] or x['mandatory']]
    if action == 'rename':
        return p['names'].get(p['id'],p['label'])
    if action == 'restore-hidden':
        return [x for x in p['hidden'] if x!=p['id']]
    if action == 'reset-layer':
        return {k:v for k,v in p['layers'].items() if k!=p['layer']}
    if action == 'append-new':
        return p['saved']+[x for x in p['live'] if x not in p['saved']]
    if action == 'obsolete-config':
        return p['settings']
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('hidden contract', solve('hidden', {'rows':[{'id':N,'mandatory':True},{'id':N+1,'mandatory':False}],'hidden':[N,N+1]}), [{'id':N,'mandatory':True}])
check('rename contract', solve('rename', {'id':N+1,'label':'Original','names':{N:'Other',N+1:'Mine'}}), 'Mine')
check('restore-hidden contract', solve('restore-hidden', {'hidden':[N,N+1],'id':N}), [N+1])
check('reset-layer contract', solve('reset-layer', {'layers':{'user':N,'policy':N+1},'layer':'user'}), {'policy':N+1})
check('append-new contract', solve('append-new', {'saved':[N+1,N],'live':[N,N+1,N+2]}), [N+1,N,N+2])
check('obsolete-config contract', solve('obsolete-config', {'settings':{N:'x',N+1:'y'},'live':[N+1]}), {N+1:'y'})
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
hidden contract	`[{'id': 1, 'mandatory': True}]`	`[{'id': 1, 'mandatory': True}]`	Passed
rename contract	`Mine`	`Mine`	Passed
restore-hidden contract	`[2]`	`[2]`	Passed
reset-layer contract	`{'policy': 2}`	`{'policy': 2}`	Passed
append-new contract	`[2, 1, 3]`	`[2, 1, 3]`	Passed
obsolete-config contract	`{'1': 'x', '2': 'y'}`	`{'2': 'y'}`	Failed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed

SHA-256 / 3e07b0c9be4b5ed9d3154b4ffdc02c14373e7b7888d9a47925f01f347400fdf6

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 == 'hidden':
        return [x for x in p['rows'] if x['id'] not in p['hidden'] or x['mandatory']]
    if action == 'rename':
        return p['names'].get(p['id'],p['label'])
    if action == 'restore-hidden':
        return [x for x in p['hidden'] if x!=p['id']]
    if action == 'reset-layer':
        return {k:v for k,v in p['layers'].items() if k!=p['layer']}
    if action == 'append-new':
        return p['saved']+[x for x in p['live'] if x not in p['saved']]
    if action == 'obsolete-config':
        return {}
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('hidden contract', solve('hidden', {'rows':[{'id':N,'mandatory':True},{'id':N+1,'mandatory':False}],'hidden':[N,N+1]}), [{'id':N,'mandatory':True}])
check('rename contract', solve('rename', {'id':N+1,'label':'Original','names':{N:'Other',N+1:'Mine'}}), 'Mine')
check('restore-hidden contract', solve('restore-hidden', {'hidden':[N,N+1],'id':N}), [N+1])
check('reset-layer contract', solve('reset-layer', {'layers':{'user':N,'policy':N+1},'layer':'user'}), {'policy':N+1})
check('append-new contract', solve('append-new', {'saved':[N+1,N],'live':[N,N+1,N+2]}), [N+1,N,N+2])
check('obsolete-config contract', solve('obsolete-config', {'settings':{N:'x',N+1:'y'},'live':[N+1]}), {N+1:'y'})
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
hidden contract	`[{'id': 1, 'mandatory': True}]`	`[{'id': 1, 'mandatory': True}]`	Passed
rename contract	`Mine`	`Mine`	Passed
restore-hidden contract	`[2]`	`[2]`	Passed
reset-layer contract	`{'policy': 2}`	`{'policy': 2}`	Passed
append-new contract	`[2, 1, 3]`	`[2, 1, 3]`	Passed
obsolete-config contract	`{}`	`{'2': 'y'}`	Failed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed

SHA-256 / e408d78caed82fb522480d1e347bf3616f76049638e4555a68ef991be3eae20e

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 == 'hidden':
        return [x for x in p['rows'] if x['id'] not in p['hidden'] or x['mandatory']]
    if action == 'rename':
        return p['names'].get(p['id'],p['label'])
    if action == 'restore-hidden':
        return [x for x in p['hidden'] if x!=p['id']]
    if action == 'reset-layer':
        return {k:v for k,v in p['layers'].items() if k!=p['layer']}
    if action == 'append-new':
        return p['saved']+[x for x in p['live'] if x not in p['saved']]
    if action == 'obsolete-config':
        return {k:v for k,v in p['settings'].items() if k in p['live']}
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('hidden contract', solve('hidden', {'rows':[{'id':N,'mandatory':True},{'id':N+1,'mandatory':False}],'hidden':[N,N+1]}), [{'id':N,'mandatory':True}])
check('rename contract', solve('rename', {'id':N+1,'label':'Original','names':{N:'Other',N+1:'Mine'}}), 'Mine')
check('restore-hidden contract', solve('restore-hidden', {'hidden':[N,N+1],'id':N}), [N+1])
check('reset-layer contract', solve('reset-layer', {'layers':{'user':N,'policy':N+1},'layer':'user'}), {'policy':N+1})
check('append-new contract', solve('append-new', {'saved':[N+1,N],'live':[N,N+1,N+2]}), [N+1,N,N+2])
check('obsolete-config contract', solve('obsolete-config', {'settings':{N:'x',N+1:'y'},'live':[N+1]}), {N+1:'y'})
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
hidden contract	`[{'id': 1, 'mandatory': True}]`	`[{'id': 1, 'mandatory': True}]`	Passed
rename contract	`Mine`	`Mine`	Passed
restore-hidden contract	`[2]`	`[2]`	Passed
reset-layer contract	`{'policy': 2}`	`{'policy': 2}`	Passed
append-new contract	`[2, 1, 3]`	`[2, 1, 3]`	Passed
obsolete-config contract	`{'2': 'y'}`	`{'2': 'y'}`	Passed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed

SHA-256 / 51bce342d2420f88895b0d97e7bcdefb5b5a01014ebf4a2ab7d45ce0a8cf9cdd

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

Case digest / e39ec6c22aeda7ea61cfa6f43a84cdce367370053bcff882f285fcfc5ff95b06