FA-33131 / Menu interactions / Open access

Restoring one hidden menu command resets all hidden commands · case 01

Restoring one hidden menu command resets all hidden commands.

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

ROOT CAUSE

The menu-customization model applies `[]` at its restore-hidden operation instead of the stipulated transformation.

VERIFIED REPAIR

Apply `[x for x in p['hidden'] if x!=p['id']]` at restore-hidden.

Unsuccessful approach: The attempted repair `p['hidden']` still violates the restore-hidden 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 []
    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]`	Failed
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 / 633c81971da6edb069e478dc727bda9b393baa7b9e0fc3b1b4337886531469d1

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 p['hidden']
    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	`[1, 2]`	`[2]`	Failed
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 / 2bd7feb26b2aa8d347bb247a36f3757850644e5c13e3f6fd135e0a42b5257bfb

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

Case digest / a61de81481895e93af5ae57055eebe63d4a83eb43d0ef9dfbb8212f8b7ed64e5