{"abstract":"Self-referential menu alias is admitted into resolution.","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['id'] in p['registry']` still violates the self-alias oracle.","family":"s3-menu-interactions-menu-aliases-self-alias","id":"FA-33166","implementations":{"attempt":{"sha256":"a29818a7c535735fc97a955500136f32650fda660971a12a7debe061030a4f4f","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'] in p['registry']\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":"e04694e917a77b0376d98e53c7619235c2ce6f54aaab2f204726ab0a02fa2fdc","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 True\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-self-alias","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 self-alias operation instead of the stipulated transformation.","sha256":"c7af5a85e3681cc8e6631ad4c502f73adb5595a33119f0330474e5cb7a24d8cc","title":"Self-referential menu alias is admitted into resolution · 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":39.729,"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":true,"check":"self-alias contract","expected":false,"passed":false},{"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\": false, \"expected\": false, \"passed\": true}, {\"check\": \"self-alias contract\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"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":43.597,"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":true,"check":"self-alias contract","expected":false,"passed":false},{"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\": false, \"expected\": false, \"passed\": true}, {\"check\": \"self-alias contract\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"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."}}