FA-8111 / Menu interactions / Open access

Menu item activation: Keyboard activation is not equivalent to clicking · case 01

Keyboard activation is not equivalent to clicking.

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

ROOT CAUSE

The keyboard operation uses `('click',)` where the contract requires `('click', 'Enter', 'Space')`.

VERIFIED REPAIR

Implement the keyboard operation as `('click', 'Enter', 'Space')`.

Unsuccessful approach: Adding Enter alone still omits Space activation.

Case contract

Disabled items and nonactivation keys do nothing; click, Enter and Space activate; submenu transfers focus; checks toggle; radios select; leaf commands close.

Why this case matters

A deterministic model of menu item activation; this isolates one interface invariant without requiring a browser.

1 / The failure

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(item, opened, checked, event):
    if item['disabled']: return (opened, checked, None)
    if event not in ('click',): return (opened, checked, None)
    if item['kind'] == 'submenu': return (True, checked, 'focus-child')
    if item['kind'] == 'checkbox': return (opened, not checked, 'change')
    if item['kind'] == 'radio': return (opened, True, 'change')
    return (False, checked, 'invoke')
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('disabled', solve(dict(disabled=True,kind='command'), True, False, 'click'), (True, False, None))
check('enter', solve(dict(disabled=False,kind='command'), True, False, 'Enter'), (False, False, 'invoke'))
check('space', solve(dict(disabled=False,kind='command'), True, False, 'Space'), (False, False, 'invoke'))
check('submenu', solve(dict(disabled=False,kind='submenu'), False, False, 'click'), (True, False, 'focus-child'))
check('checkbox off', solve(dict(disabled=False,kind='checkbox'), True, True, 'click'), (True, False, 'change'))
check('radio stays', solve(dict(disabled=False,kind='radio'), True, True, 'click'), (True, True, 'change'))
check('ignore arrow', solve(dict(disabled=False,kind='command'), True, False, 'Left'), (True, False, None))
check('parameterized checked state', solve(dict(disabled=False,kind='checkbox'), True, bool(N%2), 'Space'), (True, not bool(N%2), 'change'))
for repetition in range(N):
    check('repeat ignore arrow', solve(dict(disabled=False,kind='command'), True, False, 'Left'), (True, False, None))
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
disabled	`[True, False, None]`	`[True, False, None]`	Passed
enter	`[True, False, None]`	`[False, False, 'invoke']`	Failed
space	`[True, False, None]`	`[False, False, 'invoke']`	Failed
submenu	`[True, False, 'focus-child']`	`[True, False, 'focus-child']`	Passed
checkbox off	`[True, False, 'change']`	`[True, False, 'change']`	Passed
radio stays	`[True, True, 'change']`	`[True, True, 'change']`	Passed
ignore arrow	`[True, False, None]`	`[True, False, None]`	Passed
parameterized checked state	`[True, True, None]`	`[True, False, 'change']`	Failed
repeat ignore arrow	`[True, False, None]`	`[True, False, None]`	Passed

SHA-256 / 433b0e3b178d0aed62edfa34c3e2795b241f1dfe45db54ffefc2742b0803fd71

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(item, opened, checked, event):
    if item['disabled']: return (opened, checked, None)
    if event not in ('click', 'Enter'): return (opened, checked, None)
    if item['kind'] == 'submenu': return (True, checked, 'focus-child')
    if item['kind'] == 'checkbox': return (opened, not checked, 'change')
    if item['kind'] == 'radio': return (opened, True, 'change')
    return (False, checked, 'invoke')
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('disabled', solve(dict(disabled=True,kind='command'), True, False, 'click'), (True, False, None))
check('enter', solve(dict(disabled=False,kind='command'), True, False, 'Enter'), (False, False, 'invoke'))
check('space', solve(dict(disabled=False,kind='command'), True, False, 'Space'), (False, False, 'invoke'))
check('submenu', solve(dict(disabled=False,kind='submenu'), False, False, 'click'), (True, False, 'focus-child'))
check('checkbox off', solve(dict(disabled=False,kind='checkbox'), True, True, 'click'), (True, False, 'change'))
check('radio stays', solve(dict(disabled=False,kind='radio'), True, True, 'click'), (True, True, 'change'))
check('ignore arrow', solve(dict(disabled=False,kind='command'), True, False, 'Left'), (True, False, None))
check('parameterized checked state', solve(dict(disabled=False,kind='checkbox'), True, bool(N%2), 'Space'), (True, not bool(N%2), 'change'))
for repetition in range(N):
    check('repeat ignore arrow', solve(dict(disabled=False,kind='command'), True, False, 'Left'), (True, False, None))
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
disabled	`[True, False, None]`	`[True, False, None]`	Passed
enter	`[False, False, 'invoke']`	`[False, False, 'invoke']`	Passed
space	`[True, False, None]`	`[False, False, 'invoke']`	Failed
submenu	`[True, False, 'focus-child']`	`[True, False, 'focus-child']`	Passed
checkbox off	`[True, False, 'change']`	`[True, False, 'change']`	Passed
radio stays	`[True, True, 'change']`	`[True, True, 'change']`	Passed
ignore arrow	`[True, False, None]`	`[True, False, None]`	Passed
parameterized checked state	`[True, True, None]`	`[True, False, 'change']`	Failed
repeat ignore arrow	`[True, False, None]`	`[True, False, None]`	Passed

SHA-256 / 2979a7fa31ca10c9cfcff818af6be8d091f77527093a10692dfcdbeb33c9f0d7

3 / The verified repair

Exit 0

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(item, opened, checked, event):
    if item['disabled']: return (opened, checked, None)
    if event not in ('click', 'Enter', 'Space'): return (opened, checked, None)
    if item['kind'] == 'submenu': return (True, checked, 'focus-child')
    if item['kind'] == 'checkbox': return (opened, not checked, 'change')
    if item['kind'] == 'radio': return (opened, True, 'change')
    return (False, checked, 'invoke')
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('disabled', solve(dict(disabled=True,kind='command'), True, False, 'click'), (True, False, None))
check('enter', solve(dict(disabled=False,kind='command'), True, False, 'Enter'), (False, False, 'invoke'))
check('space', solve(dict(disabled=False,kind='command'), True, False, 'Space'), (False, False, 'invoke'))
check('submenu', solve(dict(disabled=False,kind='submenu'), False, False, 'click'), (True, False, 'focus-child'))
check('checkbox off', solve(dict(disabled=False,kind='checkbox'), True, True, 'click'), (True, False, 'change'))
check('radio stays', solve(dict(disabled=False,kind='radio'), True, True, 'click'), (True, True, 'change'))
check('ignore arrow', solve(dict(disabled=False,kind='command'), True, False, 'Left'), (True, False, None))
check('parameterized checked state', solve(dict(disabled=False,kind='checkbox'), True, bool(N%2), 'Space'), (True, not bool(N%2), 'change'))
for repetition in range(N):
    check('repeat ignore arrow', solve(dict(disabled=False,kind='command'), True, False, 'Left'), (True, False, None))
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
disabled	`[True, False, None]`	`[True, False, None]`	Passed
enter	`[False, False, 'invoke']`	`[False, False, 'invoke']`	Passed
space	`[False, False, 'invoke']`	`[False, False, 'invoke']`	Passed
submenu	`[True, False, 'focus-child']`	`[True, False, 'focus-child']`	Passed
checkbox off	`[True, False, 'change']`	`[True, False, 'change']`	Passed
radio stays	`[True, True, 'change']`	`[True, True, 'change']`	Passed
ignore arrow	`[True, False, None]`	`[True, False, None]`	Passed
parameterized checked state	`[True, False, 'change']`	`[True, False, 'change']`	Passed
repeat ignore arrow	`[True, False, None]`	`[True, False, None]`	Passed

SHA-256 / 07c93b96f2669cf8ba42e57ef6c586338983f5ed2f64fc3e16d41412264ce883

Verification & scope

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

Case digest / 7c2db4df778927833fd71959f10fd635bd52a9a915067fe6b6b31b87269ee6ca