FA-54501 / Accessibility interaction semantics / Open access

Selected state is exported without selection capability · case 01

Selected state is exported without selection capability.

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

ROOT CAUSE

The selection capability decision in the state capabilities adapter violates its declared contract.

VERIFIED REPAIR

Apply the exact contract at the selection capability decision: x['selectable'] and x['selected']

Unsuccessful approach: The local repair substitutes x['selected'] or x['selectable'] but still mishandles the regression fixtures.

Case contract

Input semantic state record with required fields: enabled,readonly,editable,selectable,selected,expandable,expanded,checkable,checked,mixed,visible,offscreen,focused,focusable,busy,invalid. Output ordered API capability/state strings. editable only when editable,enabled,not readonly; selected only selectable; expanded/collapsed only expandable; mixed has priority over checked for checkable; invisible and offscreen differ; focused may be true independently of focusable; busy and invalid are independent. Return lexically sorted unique state names. readonly is always reported when true even if noneditable.

Why this case matters

Offline accessibility bridge model with explicit policy; useful for testing semantic API adapters independently of browser implementations.

1 / The failure

Exit 1

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

N = 1
observations = []
def solve(data):
    x = data
    out = []
    if not x['enabled']: out.append('unavailable')
    if x['readonly']: out.append('readonly')
    if x['editable'] and x['enabled'] and not x['readonly']: out.append('editable')
    if x['selected']: out.append('selected')
    if x['expandable']: out.append('expanded' if x['expanded'] else 'collapsed')
    if x['checkable']:
        if x['mixed']: out.append('mixed')
        elif x['checked']: out.append('checked')
    if not x['visible']: out.append('invisible')
    if x['offscreen']: out.append('offscreen')
    if x['focused']: out.append('focused')
    if x['busy']: out.append('busy')
    if x['invalid']: out.append('invalid')
    return sorted(out)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('contract fixture 1', solve(dict(enabled=True,readonly=False,editable=True,selectable=True,selected=bool(N%2),expandable=True,expanded=False,checkable=True,checked=True,mixed=True,visible=True,offscreen=True,focused=True,focusable=False,busy=True,invalid=True),), ['busy','collapsed','editable','focused','invalid','mixed','offscreen']+(['selected'] if N%2 else []))
check('contract fixture 2', solve(dict(enabled=False,readonly=True,editable=True,selectable=False,selected=True,expandable=False,expanded=True,checkable=False,checked=True,mixed=True,visible=False,offscreen=False,focused=False,focusable=True,busy=False,invalid=False),), ['invisible','readonly','unavailable'])
check('contract fixture 3', solve(dict(enabled=True,readonly=True,editable=False,selectable=True,selected=False,expandable=True,expanded=True,checkable=True,checked=True,mixed=False,visible=True,offscreen=False,focused=False,focusable=False,busy=False,invalid=True),), ['checked','expanded','invalid','readonly'])
check('contract fixture 4', solve(dict(enabled=False,readonly=False,editable=True,selectable=False,selected=False,expandable=False,expanded=False,checkable=True,checked=False,mixed=False,visible=True,offscreen=True,focused=False,focusable=False,busy=True,invalid=False),), ['busy','offscreen','unavailable'])
check('contract fixture 5', solve(dict(enabled=True,readonly=True,editable=True,selectable=False,selected=False,expandable=False,expanded=False,checkable=False,checked=False,mixed=False,visible=True,offscreen=False,focused=False,focusable=False,busy=False,invalid=False),), ['readonly'])
check('contract fixture 6', solve(dict(enabled=True,readonly=False,editable=False,selectable=False,selected=False,expandable=False,expanded=False,checkable=False,checked=False,mixed=False,visible=True,offscreen=False,focused=False,focusable=False,busy=False,invalid=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
contract fixture 1	`['busy', 'collapsed', 'editable', 'focused', 'invalid', 'mixed', 'offscreen', 'selected']`	`['busy', 'collapsed', 'editable', 'focused', 'invalid', 'mixed', 'offscreen', 'selected']`	Passed
contract fixture 2	`['invisible', 'readonly', 'selected', 'unavailable']`	`['invisible', 'readonly', 'unavailable']`	Failed
contract fixture 3	`['checked', 'expanded', 'invalid', 'readonly']`	`['checked', 'expanded', 'invalid', 'readonly']`	Passed
contract fixture 4	`['busy', 'offscreen', 'unavailable']`	`['busy', 'offscreen', 'unavailable']`	Passed
contract fixture 5	`['readonly']`	`['readonly']`	Passed
contract fixture 6	`[]`	`[]`	Passed

SHA-256 / 2939a3d06a98bcaf430b26e0b33fbc46b021fd2ee3222320db9d49d3d0f1813a

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(data):
    x = data
    out = []
    if not x['enabled']: out.append('unavailable')
    if x['readonly']: out.append('readonly')
    if x['editable'] and x['enabled'] and not x['readonly']: out.append('editable')
    if x['selected'] or x['selectable']: out.append('selected')
    if x['expandable']: out.append('expanded' if x['expanded'] else 'collapsed')
    if x['checkable']:
        if x['mixed']: out.append('mixed')
        elif x['checked']: out.append('checked')
    if not x['visible']: out.append('invisible')
    if x['offscreen']: out.append('offscreen')
    if x['focused']: out.append('focused')
    if x['busy']: out.append('busy')
    if x['invalid']: out.append('invalid')
    return sorted(out)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('contract fixture 1', solve(dict(enabled=True,readonly=False,editable=True,selectable=True,selected=bool(N%2),expandable=True,expanded=False,checkable=True,checked=True,mixed=True,visible=True,offscreen=True,focused=True,focusable=False,busy=True,invalid=True),), ['busy','collapsed','editable','focused','invalid','mixed','offscreen']+(['selected'] if N%2 else []))
check('contract fixture 2', solve(dict(enabled=False,readonly=True,editable=True,selectable=False,selected=True,expandable=False,expanded=True,checkable=False,checked=True,mixed=True,visible=False,offscreen=False,focused=False,focusable=True,busy=False,invalid=False),), ['invisible','readonly','unavailable'])
check('contract fixture 3', solve(dict(enabled=True,readonly=True,editable=False,selectable=True,selected=False,expandable=True,expanded=True,checkable=True,checked=True,mixed=False,visible=True,offscreen=False,focused=False,focusable=False,busy=False,invalid=True),), ['checked','expanded','invalid','readonly'])
check('contract fixture 4', solve(dict(enabled=False,readonly=False,editable=True,selectable=False,selected=False,expandable=False,expanded=False,checkable=True,checked=False,mixed=False,visible=True,offscreen=True,focused=False,focusable=False,busy=True,invalid=False),), ['busy','offscreen','unavailable'])
check('contract fixture 5', solve(dict(enabled=True,readonly=True,editable=True,selectable=False,selected=False,expandable=False,expanded=False,checkable=False,checked=False,mixed=False,visible=True,offscreen=False,focused=False,focusable=False,busy=False,invalid=False),), ['readonly'])
check('contract fixture 6', solve(dict(enabled=True,readonly=False,editable=False,selectable=False,selected=False,expandable=False,expanded=False,checkable=False,checked=False,mixed=False,visible=True,offscreen=False,focused=False,focusable=False,busy=False,invalid=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
contract fixture 1	`['busy', 'collapsed', 'editable', 'focused', 'invalid', 'mixed', 'offscreen', 'selected']`	`['busy', 'collapsed', 'editable', 'focused', 'invalid', 'mixed', 'offscreen', 'selected']`	Passed
contract fixture 2	`['invisible', 'readonly', 'selected', 'unavailable']`	`['invisible', 'readonly', 'unavailable']`	Failed
contract fixture 3	`['checked', 'expanded', 'invalid', 'readonly', 'selected']`	`['checked', 'expanded', 'invalid', 'readonly']`	Failed
contract fixture 4	`['busy', 'offscreen', 'unavailable']`	`['busy', 'offscreen', 'unavailable']`	Passed
contract fixture 5	`['readonly']`	`['readonly']`	Passed
contract fixture 6	`[]`	`[]`	Passed

SHA-256 / 9b1d06c0e9d06099cb647bb2ae9e641e2ed32a17105dc96a3360b947fba609be

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(data):
    x = data
    out = []
    if not x['enabled']: out.append('unavailable')
    if x['readonly']: out.append('readonly')
    if x['editable'] and x['enabled'] and not x['readonly']: out.append('editable')
    if x['selectable'] and x['selected']: out.append('selected')
    if x['expandable']: out.append('expanded' if x['expanded'] else 'collapsed')
    if x['checkable']:
        if x['mixed']: out.append('mixed')
        elif x['checked']: out.append('checked')
    if not x['visible']: out.append('invisible')
    if x['offscreen']: out.append('offscreen')
    if x['focused']: out.append('focused')
    if x['busy']: out.append('busy')
    if x['invalid']: out.append('invalid')
    return sorted(out)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('contract fixture 1', solve(dict(enabled=True,readonly=False,editable=True,selectable=True,selected=bool(N%2),expandable=True,expanded=False,checkable=True,checked=True,mixed=True,visible=True,offscreen=True,focused=True,focusable=False,busy=True,invalid=True),), ['busy','collapsed','editable','focused','invalid','mixed','offscreen']+(['selected'] if N%2 else []))
check('contract fixture 2', solve(dict(enabled=False,readonly=True,editable=True,selectable=False,selected=True,expandable=False,expanded=True,checkable=False,checked=True,mixed=True,visible=False,offscreen=False,focused=False,focusable=True,busy=False,invalid=False),), ['invisible','readonly','unavailable'])
check('contract fixture 3', solve(dict(enabled=True,readonly=True,editable=False,selectable=True,selected=False,expandable=True,expanded=True,checkable=True,checked=True,mixed=False,visible=True,offscreen=False,focused=False,focusable=False,busy=False,invalid=True),), ['checked','expanded','invalid','readonly'])
check('contract fixture 4', solve(dict(enabled=False,readonly=False,editable=True,selectable=False,selected=False,expandable=False,expanded=False,checkable=True,checked=False,mixed=False,visible=True,offscreen=True,focused=False,focusable=False,busy=True,invalid=False),), ['busy','offscreen','unavailable'])
check('contract fixture 5', solve(dict(enabled=True,readonly=True,editable=True,selectable=False,selected=False,expandable=False,expanded=False,checkable=False,checked=False,mixed=False,visible=True,offscreen=False,focused=False,focusable=False,busy=False,invalid=False),), ['readonly'])
check('contract fixture 6', solve(dict(enabled=True,readonly=False,editable=False,selectable=False,selected=False,expandable=False,expanded=False,checkable=False,checked=False,mixed=False,visible=True,offscreen=False,focused=False,focusable=False,busy=False,invalid=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
contract fixture 1	`['busy', 'collapsed', 'editable', 'focused', 'invalid', 'mixed', 'offscreen', 'selected']`	`['busy', 'collapsed', 'editable', 'focused', 'invalid', 'mixed', 'offscreen', 'selected']`	Passed
contract fixture 2	`['invisible', 'readonly', 'unavailable']`	`['invisible', 'readonly', 'unavailable']`	Passed
contract fixture 3	`['checked', 'expanded', 'invalid', 'readonly']`	`['checked', 'expanded', 'invalid', 'readonly']`	Passed
contract fixture 4	`['busy', 'offscreen', 'unavailable']`	`['busy', 'offscreen', 'unavailable']`	Passed
contract fixture 5	`['readonly']`	`['readonly']`	Passed
contract fixture 6	`[]`	`[]`	Passed

SHA-256 / 6ed9e16bbb8770aca4c6f389614474cadcac6d68bd89bbbbba7d84fc16d88e9f

Verification & scope

Stipulated finite adapter contract, not a claim of platform accessibility or ARIA 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:45:49.026722+00:00.

Case digest / b93153ba1102fac32338853d1297b571b960f99ab65796325eb777827361c8c1