FA-33606 / Menu interactions / Open access
Parameter row dispatches itself instead of its parent menu command · case 01
Parameter row dispatches itself instead of its parent menu command.
ROOT CAUSE
The parameter-submenu model applies `p['row_id']` at its parent-command operation instead of the stipulated transformation.
VERIFIED REPAIR
Apply `p['parent_command']` at parent-command.
Unsuccessful approach: The attempted repair `p['submenu_id']` still violates the parent-command oracle.
Case contract
A parameter submenu binds a chosen parameter to a parent command while preserving other bindings; cancel discards provisional parameters and commit requires all required fields.
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 == 'bind':
return dict(p['bound'],**{p['name']:p['value']})
if action == 'parent-command':
return p['row_id']
if action == 'cancel':
return p['committed']
if action == 'required-fields':
return all(k in p['bound'] for k in p['required'])
if action == 'value-identity':
return p['value']
if action == 'return-path':
return p['path'][:-1]
return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('bind contract', solve('bind', {'bound':{'format':'old','target':'doc'},'name':'format','value':'new'+str(N)}), {'format':'new'+str(N),'target':'doc'})
check('parent-command contract', solve('parent-command', {'parent_command':'export'+str(N),'row_id':'pdf','submenu_id':'formats'}), 'export'+str(N))
check('cancel contract', solve('cancel', {'committed':{'size':N},'provisional':{'size':N+1}}), {'size':N})
check('required-fields contract', solve('required-fields', {'bound':{'format':'pdf','scale':N},'required':['format','destination']}), False)
check('value-identity contract', solve('value-identity', {'value':N,'label':'Size '+str(N)}), N)
check('return-path contract', solve('return-path', {'path':['root','export','size'+str(N)]}), ['root','export'])
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 |
|---|---|---|---|
| bind contract | {'format': 'new1', 'target': 'doc'} | {'format': 'new1', 'target': 'doc'} | Passed |
| parent-command contract | pdf | export1 | Failed |
| cancel contract | {'size': 1} | {'size': 1} | Passed |
| required-fields contract | False | False | Passed |
| value-identity contract | 1 | 1 | Passed |
| return-path contract | ['root', 'export'] | ['root', 'export'] | Passed |
| unknown operation | {'error': 'unsupported menu operation'} | {'error': 'unsupported menu operation'} | Passed |
SHA-256 / f2f6fec9ab32793b2184469c426a2becf0b6a71b99c7473f5c0787bb3eb1541e
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 == 'bind':
return dict(p['bound'],**{p['name']:p['value']})
if action == 'parent-command':
return p['submenu_id']
if action == 'cancel':
return p['committed']
if action == 'required-fields':
return all(k in p['bound'] for k in p['required'])
if action == 'value-identity':
return p['value']
if action == 'return-path':
return p['path'][:-1]
return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('bind contract', solve('bind', {'bound':{'format':'old','target':'doc'},'name':'format','value':'new'+str(N)}), {'format':'new'+str(N),'target':'doc'})
check('parent-command contract', solve('parent-command', {'parent_command':'export'+str(N),'row_id':'pdf','submenu_id':'formats'}), 'export'+str(N))
check('cancel contract', solve('cancel', {'committed':{'size':N},'provisional':{'size':N+1}}), {'size':N})
check('required-fields contract', solve('required-fields', {'bound':{'format':'pdf','scale':N},'required':['format','destination']}), False)
check('value-identity contract', solve('value-identity', {'value':N,'label':'Size '+str(N)}), N)
check('return-path contract', solve('return-path', {'path':['root','export','size'+str(N)]}), ['root','export'])
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 |
|---|---|---|---|
| bind contract | {'format': 'new1', 'target': 'doc'} | {'format': 'new1', 'target': 'doc'} | Passed |
| parent-command contract | formats | export1 | Failed |
| cancel contract | {'size': 1} | {'size': 1} | Passed |
| required-fields contract | False | False | Passed |
| value-identity contract | 1 | 1 | Passed |
| return-path contract | ['root', 'export'] | ['root', 'export'] | Passed |
| unknown operation | {'error': 'unsupported menu operation'} | {'error': 'unsupported menu operation'} | Passed |
SHA-256 / 9dc51994a2c6b7677c335b5c7f96aba21dfdd3a0cc94650cc90a658bf41d17e4
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 == 'bind':
return dict(p['bound'],**{p['name']:p['value']})
if action == 'parent-command':
return p['parent_command']
if action == 'cancel':
return p['committed']
if action == 'required-fields':
return all(k in p['bound'] for k in p['required'])
if action == 'value-identity':
return p['value']
if action == 'return-path':
return p['path'][:-1]
return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('bind contract', solve('bind', {'bound':{'format':'old','target':'doc'},'name':'format','value':'new'+str(N)}), {'format':'new'+str(N),'target':'doc'})
check('parent-command contract', solve('parent-command', {'parent_command':'export'+str(N),'row_id':'pdf','submenu_id':'formats'}), 'export'+str(N))
check('cancel contract', solve('cancel', {'committed':{'size':N},'provisional':{'size':N+1}}), {'size':N})
check('required-fields contract', solve('required-fields', {'bound':{'format':'pdf','scale':N},'required':['format','destination']}), False)
check('value-identity contract', solve('value-identity', {'value':N,'label':'Size '+str(N)}), N)
check('return-path contract', solve('return-path', {'path':['root','export','size'+str(N)]}), ['root','export'])
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 |
|---|---|---|---|
| bind contract | {'format': 'new1', 'target': 'doc'} | {'format': 'new1', 'target': 'doc'} | Passed |
| parent-command contract | export1 | export1 | Passed |
| cancel contract | {'size': 1} | {'size': 1} | Passed |
| required-fields contract | False | False | Passed |
| value-identity contract | 1 | 1 | Passed |
| return-path contract | ['root', 'export'] | ['root', 'export'] | Passed |
| unknown operation | {'error': 'unsupported menu operation'} | {'error': 'unsupported menu operation'} | Passed |
SHA-256 / dcb3308f6884fcd590fb8586ba0bfba9d592ca001b19f6fe086b048c58637d82
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:23.980406+00:00.
Case digest / 2015ad012a904dedcbe4b0e692187f82b5cdc37e867bfe6634d94727b4b9082a