{"abstract":"Context document position omits a scroll axis.","category":"Menu interactions","checks":7,"contract":"A context-menu invocation snapshots target, document coordinates, revision, capabilities, document objects and parsing locale.","evaluation_group":"s3-menu-interactions-context-capture","failed_approach":"The attempted repair `[p['client'][0]+p['scroll'][0],p['client'][1]]` still violates the point oracle.","family":"s3-menu-interactions-context-capture-point","id":"FA-32406","implementations":{"attempt":{"sha256":"d18cc5a613210a27e95abda1c859c0688b753066cf1a7dd854c3553857edb6e1","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['captured']\n    if action == 'point':\n        return [p['client'][0]+p['scroll'][0],p['client'][1]]\n    if action == 'revision':\n        return p['snapshot']==p['current']\n    if action == 'capabilities':\n        return sorted(set(p['captured']) & set(p['current']))\n    if action == 'objects':\n        return list(p['captured'])\n    if action == 'locale':\n        return p['opened']\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', {'captured':'doc'+str(N),'hover':'other','active':'third'}), 'doc'+str(N))\ncheck('point contract', solve('point', {'client':[N,2*N],'scroll':[3*N,4*N]}), [4*N,6*N])\ncheck('revision contract', solve('revision', {'snapshot':N,'current':N+1}), False)\ncheck('capabilities contract', solve('capabilities', {'captured':['read','delete'+str(N)],'current':['read','share']}), ['read'])\ncheck('objects contract', solve('objects', {'captured':['a'+str(N),'b'],'current':['c']}), ['a'+str(N),'b'])\ncheck('locale contract', solve('locale', {'opened':'locale'+str(N),'ambient':'other','default':'default'}), 'locale'+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":"0a28a0acf4969b6d7cc6bf9c95e6a84f8bda9d0c8d8f5886acebb296280add44","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['captured']\n    if action == 'point':\n        return p['client']\n    if action == 'revision':\n        return p['snapshot']==p['current']\n    if action == 'capabilities':\n        return sorted(set(p['captured']) & set(p['current']))\n    if action == 'objects':\n        return list(p['captured'])\n    if action == 'locale':\n        return p['opened']\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', {'captured':'doc'+str(N),'hover':'other','active':'third'}), 'doc'+str(N))\ncheck('point contract', solve('point', {'client':[N,2*N],'scroll':[3*N,4*N]}), [4*N,6*N])\ncheck('revision contract', solve('revision', {'snapshot':N,'current':N+1}), False)\ncheck('capabilities contract', solve('capabilities', {'captured':['read','delete'+str(N)],'current':['read','share']}), ['read'])\ncheck('objects contract', solve('objects', {'captured':['a'+str(N),'b'],'current':['c']}), ['a'+str(N),'b'])\ncheck('locale contract', solve('locale', {'opened':'locale'+str(N),'ambient':'other','default':'default'}), 'locale'+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":"b98ea463260ecfb2baf7ddd73f53d181d77b923525acb533763c496c6e61d1d9","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['captured']\n    if action == 'point':\n        return [p['client'][0]+p['scroll'][0],p['client'][1]+p['scroll'][1]]\n    if action == 'revision':\n        return p['snapshot']==p['current']\n    if action == 'capabilities':\n        return sorted(set(p['captured']) & set(p['current']))\n    if action == 'objects':\n        return list(p['captured'])\n    if action == 'locale':\n        return p['opened']\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', {'captured':'doc'+str(N),'hover':'other','active':'third'}), 'doc'+str(N))\ncheck('point contract', solve('point', {'client':[N,2*N],'scroll':[3*N,4*N]}), [4*N,6*N])\ncheck('revision contract', solve('revision', {'snapshot':N,'current':N+1}), False)\ncheck('capabilities contract', solve('capabilities', {'captured':['read','delete'+str(N)],'current':['read','share']}), ['read'])\ncheck('objects contract', solve('objects', {'captured':['a'+str(N),'b'],'current':['c']}), ['a'+str(N),'b'])\ncheck('locale contract', solve('locale', {'opened':'locale'+str(N),'ambient':'other','default':'default'}), 'locale'+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-context-capture-point","generated_at":"2026-09-29T14:42:11.906036+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['client'][0]+p['scroll'][0],p['client'][1]+p['scroll'][1]]` at point.","root_cause":"The context-capture model applies `p['client']` at its point operation instead of the stipulated transformation.","sha256":"c4a8b2da2f1def43722b202ef8a2ef9a89863242e4b6e42770602aa4f66c935e","title":"Context document position omits a scroll axis · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":45.943,"exit_code":1,"observations":[{"actual":"doc1","check":"target contract","expected":"doc1","passed":true},{"actual":[4,2],"check":"point contract","expected":[4,6],"passed":false},{"actual":false,"check":"revision contract","expected":false,"passed":true},{"actual":["read"],"check":"capabilities contract","expected":["read"],"passed":true},{"actual":["a1","b"],"check":"objects contract","expected":["a1","b"],"passed":true},{"actual":"locale1","check":"locale contract","expected":"locale1","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\": \"doc1\", \"expected\": \"doc1\", \"passed\": true}, {\"check\": \"point contract\", \"actual\": [4, 2], \"expected\": [4, 6], \"passed\": false}, {\"check\": \"revision contract\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"capabilities contract\", \"actual\": [\"read\"], \"expected\": [\"read\"], \"passed\": true}, {\"check\": \"objects contract\", \"actual\": [\"a1\", \"b\"], \"expected\": [\"a1\", \"b\"], \"passed\": true}, {\"check\": \"locale contract\", \"actual\": \"locale1\", \"expected\": \"locale1\", \"passed\": true}, {\"check\": \"unknown operation\", \"actual\": {\"error\": \"unsupported menu operation\"}, \"expected\": {\"error\": \"unsupported menu operation\"}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":47.106,"exit_code":1,"observations":[{"actual":"doc1","check":"target contract","expected":"doc1","passed":true},{"actual":[1,2],"check":"point contract","expected":[4,6],"passed":false},{"actual":false,"check":"revision contract","expected":false,"passed":true},{"actual":["read"],"check":"capabilities contract","expected":["read"],"passed":true},{"actual":["a1","b"],"check":"objects contract","expected":["a1","b"],"passed":true},{"actual":"locale1","check":"locale contract","expected":"locale1","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\": \"doc1\", \"expected\": \"doc1\", \"passed\": true}, {\"check\": \"point contract\", \"actual\": [1, 2], \"expected\": [4, 6], \"passed\": false}, {\"check\": \"revision contract\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"capabilities contract\", \"actual\": [\"read\"], \"expected\": [\"read\"], \"passed\": true}, {\"check\": \"objects contract\", \"actual\": [\"a1\", \"b\"], \"expected\": [\"a1\", \"b\"], \"passed\": true}, {\"check\": \"locale contract\", \"actual\": \"locale1\", \"expected\": \"locale1\", \"passed\": true}, {\"check\": \"unknown operation\", \"actual\": {\"error\": \"unsupported menu operation\"}, \"expected\": {\"error\": \"unsupported menu operation\"}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.027,"exit_code":0,"observations":[{"actual":"doc1","check":"target contract","expected":"doc1","passed":true},{"actual":[4,6],"check":"point contract","expected":[4,6],"passed":true},{"actual":false,"check":"revision contract","expected":false,"passed":true},{"actual":["read"],"check":"capabilities contract","expected":["read"],"passed":true},{"actual":["a1","b"],"check":"objects contract","expected":["a1","b"],"passed":true},{"actual":"locale1","check":"locale contract","expected":"locale1","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\": \"doc1\", \"expected\": \"doc1\", \"passed\": true}, {\"check\": \"point contract\", \"actual\": [4, 6], \"expected\": [4, 6], \"passed\": true}, {\"check\": \"revision contract\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"capabilities contract\", \"actual\": [\"read\"], \"expected\": [\"read\"], \"passed\": true}, {\"check\": \"objects contract\", \"actual\": [\"a1\", \"b\"], \"expected\": [\"a1\", \"b\"], \"passed\": true}, {\"check\": \"locale contract\", \"actual\": \"locale1\", \"expected\": \"locale1\", \"passed\": true}, {\"check\": \"unknown operation\", \"actual\": {\"error\": \"unsupported menu operation\"}, \"expected\": {\"error\": \"unsupported menu operation\"}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}