{"abstract":"Alias submenu attaches to the target command parent.","category":"Menu interactions","checks":7,"contract":"Menu aliases preserve display ownership while resolving an explicit one-level target; alias overrides affect presentation but never command identity.","evaluation_group":"s3-menu-interactions-menu-aliases","failed_approach":"The attempted repair `p['root']` still violates the owner oracle.","family":"s3-menu-interactions-menu-aliases-owner","id":"FA-33176","implementations":{"attempt":{"sha256":"2e69d8fa8281470d836eda26321582fcd4bfc8e9bd96e8a896112429993450f2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nimport unicodedata\nN = 1\nobservations = []\ndef solve(action, p):\n    if action == 'target':\n        return p['alias']['target']\n    if action == 'label-override':\n        return p['alias']['label'] if 'label' in p['alias'] else p['target']['label']\n    if action == 'missing-target':\n        return p['target'] in p['registry']\n    if action == 'self-alias':\n        return p['id']!=p['target']\n    if action == 'arguments':\n        return dict(p['target_args'],**p['alias_args'])\n    if action == 'owner':\n        return p['root']\n    return {'error': 'unsupported menu operation'}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('target contract', solve('target', {'alias':{'target':'cmd'+str(N),'id':'shortcut','parent':'tools'}}), 'cmd'+str(N))\ncheck('label-override contract', solve('label-override', {'alias':{'label':'Quick '+str(N),'id':'shortcut'},'target':{'label':'Full'}}), 'Quick '+str(N))\ncheck('missing-target contract', solve('missing-target', {'target':'missing'+str(N),'alias':'shortcut','registry':['shortcut']}), False)\ncheck('self-alias contract', solve('self-alias', {'id':N,'target':N,'registry':[N]}), False)\ncheck('arguments contract', solve('arguments', {'target_args':{'mode':'normal','count':1},'alias_args':{'count':N+1}}), {'mode':'normal','count':N+1})\ncheck('owner contract', solve('owner', {'alias_parent':'quick'+str(N),'target_parent':'full','root':'r'}), 'quick'+str(N))\ncheck('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"589d484180d17a66f3ae6e9adc26acd62b15f0872f2e45190c994e3f390ef924","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nimport unicodedata\nN = 1\nobservations = []\ndef solve(action, p):\n    if action == 'target':\n        return p['alias']['target']\n    if action == 'label-override':\n        return p['alias']['label'] if 'label' in p['alias'] else p['target']['label']\n    if action == 'missing-target':\n        return p['target'] in p['registry']\n    if action == 'self-alias':\n        return p['id']!=p['target']\n    if action == 'arguments':\n        return dict(p['target_args'],**p['alias_args'])\n    if action == 'owner':\n        return p['target_parent']\n    return {'error': 'unsupported menu operation'}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('target contract', solve('target', {'alias':{'target':'cmd'+str(N),'id':'shortcut','parent':'tools'}}), 'cmd'+str(N))\ncheck('label-override contract', solve('label-override', {'alias':{'label':'Quick '+str(N),'id':'shortcut'},'target':{'label':'Full'}}), 'Quick '+str(N))\ncheck('missing-target contract', solve('missing-target', {'target':'missing'+str(N),'alias':'shortcut','registry':['shortcut']}), False)\ncheck('self-alias contract', solve('self-alias', {'id':N,'target':N,'registry':[N]}), False)\ncheck('arguments contract', solve('arguments', {'target_args':{'mode':'normal','count':1},'alias_args':{'count':N+1}}), {'mode':'normal','count':N+1})\ncheck('owner contract', solve('owner', {'alias_parent':'quick'+str(N),'target_parent':'full','root':'r'}), 'quick'+str(N))\ncheck('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"27113f8352ffe71c1788bed7fcedb31035f54cde2795872169928d269a87564c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nimport unicodedata\nN = 1\nobservations = []\ndef solve(action, p):\n    if action == 'target':\n        return p['alias']['target']\n    if action == 'label-override':\n        return p['alias']['label'] if 'label' in p['alias'] else p['target']['label']\n    if action == 'missing-target':\n        return p['target'] in p['registry']\n    if action == 'self-alias':\n        return p['id']!=p['target']\n    if action == 'arguments':\n        return dict(p['target_args'],**p['alias_args'])\n    if action == 'owner':\n        return p['alias_parent']\n    return {'error': 'unsupported menu operation'}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('target contract', solve('target', {'alias':{'target':'cmd'+str(N),'id':'shortcut','parent':'tools'}}), 'cmd'+str(N))\ncheck('label-override contract', solve('label-override', {'alias':{'label':'Quick '+str(N),'id':'shortcut'},'target':{'label':'Full'}}), 'Quick '+str(N))\ncheck('missing-target contract', solve('missing-target', {'target':'missing'+str(N),'alias':'shortcut','registry':['shortcut']}), False)\ncheck('self-alias contract', solve('self-alias', {'id':N,'target':N,'registry':[N]}), False)\ncheck('arguments contract', solve('arguments', {'target_args':{'mode':'normal','count':1},'alias_args':{'count':N+1}}), {'mode':'normal','count':N+1})\ncheck('owner contract', solve('owner', {'alias_parent':'quick'+str(N),'target_parent':'full','root':'r'}), 'quick'+str(N))\ncheck('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-menu-interactions-menu-aliases-owner","generated_at":"2026-09-29T14:42:19.712335+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Cascading and context menus require coherent command and session state as content changes.","repair":"Apply `p['alias_parent']` at owner.","root_cause":"The menu-aliases model applies `p['target_parent']` at its owner operation instead of the stipulated transformation.","sha256":"88409f63b7401aa7af96e11bf0a8dbf8501d6d005546adf134cbbd433049e0a1","title":"Alias submenu attaches to the target command parent · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.713,"exit_code":1,"observations":[{"actual":"cmd1","check":"target contract","expected":"cmd1","passed":true},{"actual":"Quick 1","check":"label-override contract","expected":"Quick 1","passed":true},{"actual":false,"check":"missing-target contract","expected":false,"passed":true},{"actual":false,"check":"self-alias contract","expected":false,"passed":true},{"actual":{"count":2,"mode":"normal"},"check":"arguments contract","expected":{"count":2,"mode":"normal"},"passed":true},{"actual":"r","check":"owner contract","expected":"quick1","passed":false},{"actual":{"error":"unsupported menu operation"},"check":"unknown operation","expected":{"error":"unsupported menu operation"},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"target contract\", \"actual\": \"cmd1\", \"expected\": \"cmd1\", \"passed\": true}, {\"check\": \"label-override contract\", \"actual\": \"Quick 1\", \"expected\": \"Quick 1\", \"passed\": true}, {\"check\": \"missing-target contract\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"self-alias contract\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"arguments contract\", \"actual\": {\"mode\": \"normal\", \"count\": 2}, \"expected\": {\"mode\": \"normal\", \"count\": 2}, \"passed\": true}, {\"check\": \"owner contract\", \"actual\": \"r\", \"expected\": \"quick1\", \"passed\": false}, {\"check\": \"unknown operation\", \"actual\": {\"error\": \"unsupported menu operation\"}, \"expected\": {\"error\": \"unsupported menu operation\"}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.591,"exit_code":1,"observations":[{"actual":"cmd1","check":"target contract","expected":"cmd1","passed":true},{"actual":"Quick 1","check":"label-override contract","expected":"Quick 1","passed":true},{"actual":false,"check":"missing-target contract","expected":false,"passed":true},{"actual":false,"check":"self-alias contract","expected":false,"passed":true},{"actual":{"count":2,"mode":"normal"},"check":"arguments contract","expected":{"count":2,"mode":"normal"},"passed":true},{"actual":"full","check":"owner contract","expected":"quick1","passed":false},{"actual":{"error":"unsupported menu operation"},"check":"unknown operation","expected":{"error":"unsupported menu operation"},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"target contract\", \"actual\": \"cmd1\", \"expected\": \"cmd1\", \"passed\": true}, {\"check\": \"label-override contract\", \"actual\": \"Quick 1\", \"expected\": \"Quick 1\", \"passed\": true}, {\"check\": \"missing-target contract\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"self-alias contract\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"arguments contract\", \"actual\": {\"mode\": \"normal\", \"count\": 2}, \"expected\": {\"mode\": \"normal\", \"count\": 2}, \"passed\": true}, {\"check\": \"owner contract\", \"actual\": \"full\", \"expected\": \"quick1\", \"passed\": false}, {\"check\": \"unknown operation\", \"actual\": {\"error\": \"unsupported menu operation\"}, \"expected\": {\"error\": \"unsupported menu operation\"}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.15,"exit_code":0,"observations":[{"actual":"cmd1","check":"target contract","expected":"cmd1","passed":true},{"actual":"Quick 1","check":"label-override contract","expected":"Quick 1","passed":true},{"actual":false,"check":"missing-target contract","expected":false,"passed":true},{"actual":false,"check":"self-alias contract","expected":false,"passed":true},{"actual":{"count":2,"mode":"normal"},"check":"arguments contract","expected":{"count":2,"mode":"normal"},"passed":true},{"actual":"quick1","check":"owner contract","expected":"quick1","passed":true},{"actual":{"error":"unsupported menu operation"},"check":"unknown operation","expected":{"error":"unsupported menu operation"},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"target contract\", \"actual\": \"cmd1\", \"expected\": \"cmd1\", \"passed\": true}, {\"check\": \"label-override contract\", \"actual\": \"Quick 1\", \"expected\": \"Quick 1\", \"passed\": true}, {\"check\": \"missing-target contract\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"self-alias contract\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"arguments contract\", \"actual\": {\"mode\": \"normal\", \"count\": 2}, \"expected\": {\"mode\": \"normal\", \"count\": 2}, \"passed\": true}, {\"check\": \"owner contract\", \"actual\": \"quick1\", \"expected\": \"quick1\", \"passed\": true}, {\"check\": \"unknown operation\", \"actual\": {\"error\": \"unsupported menu operation\"}, \"expected\": {\"error\": \"unsupported menu operation\"}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}