FA-32666 / Menu interactions / Open access

Context event suppresses native fallback without a custom menu · case 01

Context event suppresses native fallback without a custom menu.

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

ROOT CAUSE

The context-trigger-arbitration model applies `p['handled']` at its native-policy operation instead of the stipulated transformation.

VERIFIED REPAIR

Apply `p['handled'] and p['custom_available']` at native-policy.

Unsuccessful approach: The attempted repair `p['handled'] or p['custom_available']` still violates the native-policy oracle.

Case contract

A context menu recognizes secondary-button invocation, pen barrel input and completed hold gestures; concurrent triggers are coalesced by invocation identity.

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 == 'secondary':
        return p['button']==2 and not p['dragging']
    if action == 'pen':
        return p['type']=='pen' and bool(p['buttons'] & 2)
    if action == 'hold':
        return p['elapsed']>=p['delay'] and p['travel']<=p['slop']
    if action == 'release':
        return p['armed'] and not p['cancelled']
    if action == 'duplicate':
        return p['incoming']!=p['last']
    if action == 'native-policy':
        return p['handled']
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('secondary contract', solve('secondary', {'button':2,'dragging':True,'distance':N}), False)
check('pen contract', solve('pen', {'type':'pen','buttons':3,'pressure':N/10}), True)
check('hold contract', solve('hold', {'elapsed':N+10,'delay':10,'travel':20,'slop':5}), False)
check('release contract', solve('release', {'armed':True,'cancelled':True,'id':N}), False)
check('duplicate contract', solve('duplicate', {'incoming':N,'last':N}), False)
check('native-policy contract', solve('native-policy', {'handled':True,'custom_available':False,'target':N}), False)
check('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})
check('ordinary pen contact', solve('pen', {'type':'pen','buttons':1,'pressure':N/10}), False)
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
secondary contract	`False`	`False`	Passed
pen contract	`True`	`True`	Passed
hold contract	`False`	`False`	Passed
release contract	`False`	`False`	Passed
duplicate contract	`False`	`False`	Passed
native-policy contract	`True`	`False`	Failed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed
ordinary pen contact	`False`	`False`	Passed

SHA-256 / c0164b27ef070dc728961a20a3ac3814676306a84cc51e2261e37a418237807a

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 == 'secondary':
        return p['button']==2 and not p['dragging']
    if action == 'pen':
        return p['type']=='pen' and bool(p['buttons'] & 2)
    if action == 'hold':
        return p['elapsed']>=p['delay'] and p['travel']<=p['slop']
    if action == 'release':
        return p['armed'] and not p['cancelled']
    if action == 'duplicate':
        return p['incoming']!=p['last']
    if action == 'native-policy':
        return p['handled'] or p['custom_available']
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('secondary contract', solve('secondary', {'button':2,'dragging':True,'distance':N}), False)
check('pen contract', solve('pen', {'type':'pen','buttons':3,'pressure':N/10}), True)
check('hold contract', solve('hold', {'elapsed':N+10,'delay':10,'travel':20,'slop':5}), False)
check('release contract', solve('release', {'armed':True,'cancelled':True,'id':N}), False)
check('duplicate contract', solve('duplicate', {'incoming':N,'last':N}), False)
check('native-policy contract', solve('native-policy', {'handled':True,'custom_available':False,'target':N}), False)
check('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})
check('ordinary pen contact', solve('pen', {'type':'pen','buttons':1,'pressure':N/10}), False)
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
secondary contract	`False`	`False`	Passed
pen contract	`True`	`True`	Passed
hold contract	`False`	`False`	Passed
release contract	`False`	`False`	Passed
duplicate contract	`False`	`False`	Passed
native-policy contract	`True`	`False`	Failed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed
ordinary pen contact	`False`	`False`	Passed

SHA-256 / afeeec6c895f2789c5d43b287726271c29003ff5b4cdcbcf74e44b3b43f5cdd5

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 == 'secondary':
        return p['button']==2 and not p['dragging']
    if action == 'pen':
        return p['type']=='pen' and bool(p['buttons'] & 2)
    if action == 'hold':
        return p['elapsed']>=p['delay'] and p['travel']<=p['slop']
    if action == 'release':
        return p['armed'] and not p['cancelled']
    if action == 'duplicate':
        return p['incoming']!=p['last']
    if action == 'native-policy':
        return p['handled'] and p['custom_available']
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('secondary contract', solve('secondary', {'button':2,'dragging':True,'distance':N}), False)
check('pen contract', solve('pen', {'type':'pen','buttons':3,'pressure':N/10}), True)
check('hold contract', solve('hold', {'elapsed':N+10,'delay':10,'travel':20,'slop':5}), False)
check('release contract', solve('release', {'armed':True,'cancelled':True,'id':N}), False)
check('duplicate contract', solve('duplicate', {'incoming':N,'last':N}), False)
check('native-policy contract', solve('native-policy', {'handled':True,'custom_available':False,'target':N}), False)
check('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})
check('ordinary pen contact', solve('pen', {'type':'pen','buttons':1,'pressure':N/10}), False)
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
secondary contract	`False`	`False`	Passed
pen contract	`True`	`True`	Passed
hold contract	`False`	`False`	Passed
release contract	`False`	`False`	Passed
duplicate contract	`False`	`False`	Passed
native-policy contract	`False`	`False`	Passed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed
ordinary pen contact	`False`	`False`	Passed

SHA-256 / 61223ec0ebe29af10dc452826c0ee3211c3d130d7b11c4a5472fd7703b7bfe63

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

Case digest / 2e1afcebd3fe0fa40ad847b6b2cbb7cd009b1f54c16b3268dc7695a327a1ca7c