FA-33411 / Menu interactions / Open access
Changing submenu row kind retains obsolete command fields · case 01
Changing submenu row kind retains obsolete command fields.
ROOT CAUSE
The menu-patch-transaction model applies `dict(p['old'],**p['replacement'])` at its replace-kind operation instead of the stipulated transformation.
VERIFIED REPAIR
Apply `dict(p['replacement'],id=p['old']['id'])` at replace-kind.
Unsuccessful approach: The attempted repair `p['old']` still violates the replace-kind oracle.
Case contract
Provider menu patches apply to one base revision atomically; row edits use stable IDs and insertion anchors, while missing anchors reject the patch.
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 == 'base':
return p['base']==p['revision']
if action == 'insert-after':
return p['rows'][:p['rows'].index(p['anchor'])+1]+[p['new']]+p['rows'][p['rows'].index(p['anchor'])+1:]
if action == 'missing-anchor':
return 'reject' if p['anchor'] not in p['rows'] else 'apply'
if action == 'rollback':
return p['before'] if p['failed'] else p['working']
if action == 'replace-kind':
return dict(p['old'],**p['replacement'])
if action == 'revision-step':
return p['base']+int(p['committed'])
return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('base contract', solve('base', {'base':N,'revision':N+1}), False)
check('insert-after contract', solve('insert-after', {'rows':['a','b'],'anchor':'a','new':N}), ['a',N,'b'])
check('missing-anchor contract', solve('missing-anchor', {'rows':[N],'anchor':N+1}), 'reject')
check('rollback contract', solve('rollback', {'before':[N,N+1],'working':[N+2],'failed':True}), [N,N+1])
check('replace-kind contract', solve('replace-kind', {'old':{'id':N,'kind':'command','handler':'old'},'replacement':{'kind':'submenu','children':[N+1]}}), {'id':N,'kind':'submenu','children':[N+1]})
check('revision-step contract', solve('revision-step', {'base':N,'committed':True,'operation_count':3}), N+1)
check('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})
check('failed patch retains revision',solve('revision-step',{'base':N,'committed':False,'operation_count':2}),N)
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 |
|---|---|---|---|
| base contract | False | False | Passed |
| insert-after contract | ['a', 1, 'b'] | ['a', 1, 'b'] | Passed |
| missing-anchor contract | reject | reject | Passed |
| rollback contract | [1, 2] | [1, 2] | Passed |
| replace-kind contract | {'children': [2], 'handler': 'old', 'id': 1, 'kind': 'submenu'} | {'children': [2], 'id': 1, 'kind': 'submenu'} | Failed |
| revision-step contract | 2 | 2 | Passed |
| unknown operation | {'error': 'unsupported menu operation'} | {'error': 'unsupported menu operation'} | Passed |
| failed patch retains revision | 1 | 1 | Passed |
SHA-256 / 964e423218ef1b729bacb5ea789e987690b5864c1d59177abfbf15f6291cf155
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 == 'base':
return p['base']==p['revision']
if action == 'insert-after':
return p['rows'][:p['rows'].index(p['anchor'])+1]+[p['new']]+p['rows'][p['rows'].index(p['anchor'])+1:]
if action == 'missing-anchor':
return 'reject' if p['anchor'] not in p['rows'] else 'apply'
if action == 'rollback':
return p['before'] if p['failed'] else p['working']
if action == 'replace-kind':
return p['old']
if action == 'revision-step':
return p['base']+int(p['committed'])
return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('base contract', solve('base', {'base':N,'revision':N+1}), False)
check('insert-after contract', solve('insert-after', {'rows':['a','b'],'anchor':'a','new':N}), ['a',N,'b'])
check('missing-anchor contract', solve('missing-anchor', {'rows':[N],'anchor':N+1}), 'reject')
check('rollback contract', solve('rollback', {'before':[N,N+1],'working':[N+2],'failed':True}), [N,N+1])
check('replace-kind contract', solve('replace-kind', {'old':{'id':N,'kind':'command','handler':'old'},'replacement':{'kind':'submenu','children':[N+1]}}), {'id':N,'kind':'submenu','children':[N+1]})
check('revision-step contract', solve('revision-step', {'base':N,'committed':True,'operation_count':3}), N+1)
check('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})
check('failed patch retains revision',solve('revision-step',{'base':N,'committed':False,'operation_count':2}),N)
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 |
|---|---|---|---|
| base contract | False | False | Passed |
| insert-after contract | ['a', 1, 'b'] | ['a', 1, 'b'] | Passed |
| missing-anchor contract | reject | reject | Passed |
| rollback contract | [1, 2] | [1, 2] | Passed |
| replace-kind contract | {'handler': 'old', 'id': 1, 'kind': 'command'} | {'children': [2], 'id': 1, 'kind': 'submenu'} | Failed |
| revision-step contract | 2 | 2 | Passed |
| unknown operation | {'error': 'unsupported menu operation'} | {'error': 'unsupported menu operation'} | Passed |
| failed patch retains revision | 1 | 1 | Passed |
SHA-256 / 4c5eef680210373cf85b0d973eb341ce963686b4901770d663e877df702e09da
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 == 'base':
return p['base']==p['revision']
if action == 'insert-after':
return p['rows'][:p['rows'].index(p['anchor'])+1]+[p['new']]+p['rows'][p['rows'].index(p['anchor'])+1:]
if action == 'missing-anchor':
return 'reject' if p['anchor'] not in p['rows'] else 'apply'
if action == 'rollback':
return p['before'] if p['failed'] else p['working']
if action == 'replace-kind':
return dict(p['replacement'],id=p['old']['id'])
if action == 'revision-step':
return p['base']+int(p['committed'])
return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('base contract', solve('base', {'base':N,'revision':N+1}), False)
check('insert-after contract', solve('insert-after', {'rows':['a','b'],'anchor':'a','new':N}), ['a',N,'b'])
check('missing-anchor contract', solve('missing-anchor', {'rows':[N],'anchor':N+1}), 'reject')
check('rollback contract', solve('rollback', {'before':[N,N+1],'working':[N+2],'failed':True}), [N,N+1])
check('replace-kind contract', solve('replace-kind', {'old':{'id':N,'kind':'command','handler':'old'},'replacement':{'kind':'submenu','children':[N+1]}}), {'id':N,'kind':'submenu','children':[N+1]})
check('revision-step contract', solve('revision-step', {'base':N,'committed':True,'operation_count':3}), N+1)
check('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})
check('failed patch retains revision',solve('revision-step',{'base':N,'committed':False,'operation_count':2}),N)
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 |
|---|---|---|---|
| base contract | False | False | Passed |
| insert-after contract | ['a', 1, 'b'] | ['a', 1, 'b'] | Passed |
| missing-anchor contract | reject | reject | Passed |
| rollback contract | [1, 2] | [1, 2] | Passed |
| replace-kind contract | {'children': [2], 'id': 1, 'kind': 'submenu'} | {'children': [2], 'id': 1, 'kind': 'submenu'} | Passed |
| revision-step contract | 2 | 2 | Passed |
| unknown operation | {'error': 'unsupported menu operation'} | {'error': 'unsupported menu operation'} | Passed |
| failed patch retains revision | 1 | 1 | Passed |
SHA-256 / 4341cb1e599737923927c9d3369e6fa374b1b9fe48279893021dda6e66841324
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.120788+00:00.
Case digest / c7eb7d1fd9c2bfff8c12de23bb1d6bc4c8dabd85490c3e32eb2b68a9e46ad06f