FA-54491 / Accessibility interaction semantics / Open access

Disabled controls advertise writable accessibility text · case 01

Disabled controls advertise writable accessibility text.

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

ROOT CAUSE

The disabled editability decision in the state capabilities adapter violates its declared contract.

VERIFIED REPAIR

Apply the exact contract at the disabled editability decision: x['editable'] and x['enabled'] and not x['readonly']

Unsuccessful approach: The local repair substitutes x['editable'] and (x['enabled'] or x['busy']) and not x['readonly'] 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 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', 'editable', 'offscreen', 'unavailable']`	`['busy', 'offscreen', 'unavailable']`	Failed
contract fixture 5	`['readonly']`	`['readonly']`	Passed
contract fixture 6	`[]`	`[]`	Passed

SHA-256 / 21a13d1c489046b9543b533ff8d7595997dfcdfdb80d413382351b65d79835fb

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'] or x['busy']) 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', 'editable', 'offscreen', 'unavailable']`	`['busy', 'offscreen', 'unavailable']`	Failed
contract fixture 5	`['readonly']`	`['readonly']`	Passed
contract fixture 6	`[]`	`[]`	Passed

SHA-256 / 868dbc352c9853767e92280d8d03d9dcb4b4a6f49c08e82be9a4ee02b6c470a0

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

Case digest / 21e401292e931da66c5990b1c26fd2eaea2c9dcadd7ad3dbbdc0aa9e3609b927