FA-32816 / Menu interactions / Open access

Captured context gesture uses a transient visual hit target · case 01

Captured context gesture uses a transient visual hit target.

Verified by executionVariant 1 · 7 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The context-target-resolution model applies `p['hit']` at its hit-target operation instead of the stipulated transformation.

VERIFIED REPAIR

Apply `p['captured'] if p['capture_valid'] else p['hit']` at hit-target.

Unsuccessful approach: The attempted repair `p['capture_owner']` still violates the hit-target oracle.

Case contract

Context invocations choose the nearest eligible context owner from a composed target path; nested ownership, exclusions and document boundaries are explicit.

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 == 'nearest':
        return next((x['id'] for x in p if x['context']),None)
    if action == 'exclude':
        return next((x['id'] for x in p if x['context'] and not x['excluded']),None)
    if action == 'document':
        return [x for x in p['path'] if x['document']==p['document']]
    if action == 'detached':
        return p['connected'] and p['owner_exists']
    if action == 'fallback':
        return p['local'] if p['local'] is not None else p['document']
    if action == 'hit-target':
        return p['hit']
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('nearest contract', solve('nearest', [{'id':N,'context':True},{'id':N+1,'context':True}]), N)
check('exclude contract', solve('exclude', [{'id':N,'context':True,'excluded':True},{'id':N+1,'context':False,'excluded':False},{'id':N+2,'context':True,'excluded':False}]), N+2)
check('document contract', solve('document', {'document':'a','path':[{'id':N,'document':'a'},{'id':N+1,'document':'b'}]}), [{'id':N,'document':'a'}])
check('detached contract', solve('detached', {'connected':False,'owner_exists':True,'id':N}), False)
check('fallback contract', solve('fallback', {'local':0,'document':N+1}), 0)
check('hit-target contract', solve('hit-target', {'captured':N,'capture_valid':True,'hit':N+1,'capture_owner':'canvas'}), N)
check('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})
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
nearest contract	`1`	`1`	Passed
exclude contract	`3`	`3`	Passed
document contract	`[{'document': 'a', 'id': 1}]`	`[{'document': 'a', 'id': 1}]`	Passed
detached contract	`False`	`False`	Passed
fallback contract	`0`	`0`	Passed
hit-target contract	`2`	`1`	Failed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed

SHA-256 / 40cb4f4946a18d577b187a74db6fd143700a0ca2b09ef5dd12aa7e09ada6fae9

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 == 'nearest':
        return next((x['id'] for x in p if x['context']),None)
    if action == 'exclude':
        return next((x['id'] for x in p if x['context'] and not x['excluded']),None)
    if action == 'document':
        return [x for x in p['path'] if x['document']==p['document']]
    if action == 'detached':
        return p['connected'] and p['owner_exists']
    if action == 'fallback':
        return p['local'] if p['local'] is not None else p['document']
    if action == 'hit-target':
        return p['capture_owner']
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('nearest contract', solve('nearest', [{'id':N,'context':True},{'id':N+1,'context':True}]), N)
check('exclude contract', solve('exclude', [{'id':N,'context':True,'excluded':True},{'id':N+1,'context':False,'excluded':False},{'id':N+2,'context':True,'excluded':False}]), N+2)
check('document contract', solve('document', {'document':'a','path':[{'id':N,'document':'a'},{'id':N+1,'document':'b'}]}), [{'id':N,'document':'a'}])
check('detached contract', solve('detached', {'connected':False,'owner_exists':True,'id':N}), False)
check('fallback contract', solve('fallback', {'local':0,'document':N+1}), 0)
check('hit-target contract', solve('hit-target', {'captured':N,'capture_valid':True,'hit':N+1,'capture_owner':'canvas'}), N)
check('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})
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
nearest contract	`1`	`1`	Passed
exclude contract	`3`	`3`	Passed
document contract	`[{'document': 'a', 'id': 1}]`	`[{'document': 'a', 'id': 1}]`	Passed
detached contract	`False`	`False`	Passed
fallback contract	`0`	`0`	Passed
hit-target contract	`canvas`	`1`	Failed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed

SHA-256 / e2e1a0b62ef97630bbb360e801f7fbaa60c7111927e52710bd7e81069b3df565

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 == 'nearest':
        return next((x['id'] for x in p if x['context']),None)
    if action == 'exclude':
        return next((x['id'] for x in p if x['context'] and not x['excluded']),None)
    if action == 'document':
        return [x for x in p['path'] if x['document']==p['document']]
    if action == 'detached':
        return p['connected'] and p['owner_exists']
    if action == 'fallback':
        return p['local'] if p['local'] is not None else p['document']
    if action == 'hit-target':
        return p['captured'] if p['capture_valid'] else p['hit']
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('nearest contract', solve('nearest', [{'id':N,'context':True},{'id':N+1,'context':True}]), N)
check('exclude contract', solve('exclude', [{'id':N,'context':True,'excluded':True},{'id':N+1,'context':False,'excluded':False},{'id':N+2,'context':True,'excluded':False}]), N+2)
check('document contract', solve('document', {'document':'a','path':[{'id':N,'document':'a'},{'id':N+1,'document':'b'}]}), [{'id':N,'document':'a'}])
check('detached contract', solve('detached', {'connected':False,'owner_exists':True,'id':N}), False)
check('fallback contract', solve('fallback', {'local':0,'document':N+1}), 0)
check('hit-target contract', solve('hit-target', {'captured':N,'capture_valid':True,'hit':N+1,'capture_owner':'canvas'}), N)
check('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})
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
nearest contract	`1`	`1`	Passed
exclude contract	`3`	`3`	Passed
document contract	`[{'document': 'a', 'id': 1}]`	`[{'document': 'a', 'id': 1}]`	Passed
detached contract	`False`	`False`	Passed
fallback contract	`0`	`0`	Passed
hit-target contract	`1`	`1`	Passed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed

SHA-256 / 28b79fd8a0387bbcae7b6edb581aa2b97886e29db0c664846c0810564c809652

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:16.052359+00:00.

Case digest / 9dd3dbbefadeacee79f2765d63b19042286f3a45bb556f51f3169bdaee4e0cf4