{"abstract":"Dangling alias menu entry is considered executable.","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.","contract_signature":"action, p","evaluation_group":"s3-menu-interactions-menu-aliases","failed_approach":"The attempted repair `p['alias'] in p['registry']` still violates the missing-target oracle.","family":"s3-menu-interactions-menu-aliases-missing-target","id":"FA-33161","implementations":{"attempt":{"sha256":"bf50ba5ec5f6f5a7e7e9cc7f6ed6afab2f96b35eba8471e7c51ab2012f8e2450","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['alias'] 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"},"broken":{"sha256":"f360e441bcf272fc0387a27aa4eb4f98b9650024492b0fb8e167824ccfa496e5","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 True\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-missing-target","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.","root_cause":"The menu-aliases model applies `True` at its missing-target operation instead of the stipulated transformation.","sha256":"5f804e00ad838d3d2290dbd8463bf735bf90f20e291b83d5fd5450c6fcdf5d7c","title":"Dangling alias menu entry is considered executable · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":41.978,"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":true,"check":"missing-target contract","expected":false,"passed":false},{"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":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\": true, \"expected\": false, \"passed\": false}, {\"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\": false}\n"},"broken":{"elapsed_ms":45.077,"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":true,"check":"missing-target contract","expected":false,"passed":false},{"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":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\": true, \"expected\": false, \"passed\": false}, {\"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\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}