{"abstract":"Checked state overrides a mixed value in a tri-state semantic.","category":"Accessibility interaction semantics","checks":6,"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.","evaluation_group":"s3-accessibility-state-capabilities","failed_approach":"The local repair substitutes if x['mixed'] and not x['busy']: but still mishandles the regression fixtures.","family":"s3-accessibility-state-capabilities-mixed-priority","id":"FA-54511","implementations":{"attempt":{"sha256":"4d1feb7b605aff0ff439768361c1f5aae74dc64767a829d2b679035be0197351","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(data):\n    x = data\n    out = []\n    if not x['enabled']: out.append('unavailable')\n    if x['readonly']: out.append('readonly')\n    if x['editable'] and x['enabled'] and not x['readonly']: out.append('editable')\n    if x['selectable'] and x['selected']: out.append('selected')\n    if x['expandable']: out.append('expanded' if x['expanded'] else 'collapsed')\n    if x['checkable']:\n        if x['mixed'] and not x['busy']: out.append('mixed')\n        elif x['checked']: out.append('checked')\n    if not x['visible']: out.append('invisible')\n    if x['offscreen']: out.append('offscreen')\n    if x['focused']: out.append('focused')\n    if x['busy']: out.append('busy')\n    if x['invalid']: out.append('invalid')\n    return sorted(out)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('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 []))\ncheck('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'])\ncheck('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'])\ncheck('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'])\ncheck('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'])\ncheck('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),), [])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"5939d2848fec9878932e2f4d0096a2cdc577a38e9600e4a0d0cde9ae9c594f15","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(data):\n    x = data\n    out = []\n    if not x['enabled']: out.append('unavailable')\n    if x['readonly']: out.append('readonly')\n    if x['editable'] and x['enabled'] and not x['readonly']: out.append('editable')\n    if x['selectable'] and x['selected']: out.append('selected')\n    if x['expandable']: out.append('expanded' if x['expanded'] else 'collapsed')\n    if x['checkable']:\n        if x['mixed'] and not x['checked']: out.append('mixed')\n        elif x['checked']: out.append('checked')\n    if not x['visible']: out.append('invisible')\n    if x['offscreen']: out.append('offscreen')\n    if x['focused']: out.append('focused')\n    if x['busy']: out.append('busy')\n    if x['invalid']: out.append('invalid')\n    return sorted(out)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('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 []))\ncheck('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'])\ncheck('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'])\ncheck('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'])\ncheck('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'])\ncheck('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),), [])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"6ed9e16bbb8770aca4c6f389614474cadcac6d68bd89bbbbba7d84fc16d88e9f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(data):\n    x = data\n    out = []\n    if not x['enabled']: out.append('unavailable')\n    if x['readonly']: out.append('readonly')\n    if x['editable'] and x['enabled'] and not x['readonly']: out.append('editable')\n    if x['selectable'] and x['selected']: out.append('selected')\n    if x['expandable']: out.append('expanded' if x['expanded'] else 'collapsed')\n    if x['checkable']:\n        if x['mixed']: out.append('mixed')\n        elif x['checked']: out.append('checked')\n    if not x['visible']: out.append('invisible')\n    if x['offscreen']: out.append('offscreen')\n    if x['focused']: out.append('focused')\n    if x['busy']: out.append('busy')\n    if x['invalid']: out.append('invalid')\n    return sorted(out)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('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 []))\ncheck('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'])\ncheck('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'])\ncheck('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'])\ncheck('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'])\ncheck('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),), [])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-accessibility-state-capabilities-mixed-priority","generated_at":"2026-09-29T14:45:49.078934+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Offline accessibility bridge model with explicit policy; useful for testing semantic API adapters independently of browser implementations.","repair":"Apply the exact contract at the mixed priority decision: if x['mixed']:","root_cause":"The mixed priority decision in the state capabilities adapter violates its declared contract.","sha256":"7f6621c9a67d5f6cae1aff6f235ebe6c03c3a694c63fb3a50907b7992e3e4f14","title":"Checked state overrides a mixed value in a tri-state semantic · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.981,"exit_code":1,"observations":[{"actual":["busy","checked","collapsed","editable","focused","invalid","offscreen","selected"],"check":"contract fixture 1","expected":["busy","collapsed","editable","focused","invalid","mixed","offscreen","selected"],"passed":false},{"actual":["invisible","readonly","unavailable"],"check":"contract fixture 2","expected":["invisible","readonly","unavailable"],"passed":true},{"actual":["checked","expanded","invalid","readonly"],"check":"contract fixture 3","expected":["checked","expanded","invalid","readonly"],"passed":true},{"actual":["busy","offscreen","unavailable"],"check":"contract fixture 4","expected":["busy","offscreen","unavailable"],"passed":true},{"actual":["readonly"],"check":"contract fixture 5","expected":["readonly"],"passed":true},{"actual":[],"check":"contract fixture 6","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 1\", \"actual\": [\"busy\", \"checked\", \"collapsed\", \"editable\", \"focused\", \"invalid\", \"offscreen\", \"selected\"], \"expected\": [\"busy\", \"collapsed\", \"editable\", \"focused\", \"invalid\", \"mixed\", \"offscreen\", \"selected\"], \"passed\": false}, {\"check\": \"contract fixture 2\", \"actual\": [\"invisible\", \"readonly\", \"unavailable\"], \"expected\": [\"invisible\", \"readonly\", \"unavailable\"], \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": [\"checked\", \"expanded\", \"invalid\", \"readonly\"], \"expected\": [\"checked\", \"expanded\", \"invalid\", \"readonly\"], \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": [\"busy\", \"offscreen\", \"unavailable\"], \"expected\": [\"busy\", \"offscreen\", \"unavailable\"], \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": [\"readonly\"], \"expected\": [\"readonly\"], \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.543,"exit_code":1,"observations":[{"actual":["busy","checked","collapsed","editable","focused","invalid","offscreen","selected"],"check":"contract fixture 1","expected":["busy","collapsed","editable","focused","invalid","mixed","offscreen","selected"],"passed":false},{"actual":["invisible","readonly","unavailable"],"check":"contract fixture 2","expected":["invisible","readonly","unavailable"],"passed":true},{"actual":["checked","expanded","invalid","readonly"],"check":"contract fixture 3","expected":["checked","expanded","invalid","readonly"],"passed":true},{"actual":["busy","offscreen","unavailable"],"check":"contract fixture 4","expected":["busy","offscreen","unavailable"],"passed":true},{"actual":["readonly"],"check":"contract fixture 5","expected":["readonly"],"passed":true},{"actual":[],"check":"contract fixture 6","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 1\", \"actual\": [\"busy\", \"checked\", \"collapsed\", \"editable\", \"focused\", \"invalid\", \"offscreen\", \"selected\"], \"expected\": [\"busy\", \"collapsed\", \"editable\", \"focused\", \"invalid\", \"mixed\", \"offscreen\", \"selected\"], \"passed\": false}, {\"check\": \"contract fixture 2\", \"actual\": [\"invisible\", \"readonly\", \"unavailable\"], \"expected\": [\"invisible\", \"readonly\", \"unavailable\"], \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": [\"checked\", \"expanded\", \"invalid\", \"readonly\"], \"expected\": [\"checked\", \"expanded\", \"invalid\", \"readonly\"], \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": [\"busy\", \"offscreen\", \"unavailable\"], \"expected\": [\"busy\", \"offscreen\", \"unavailable\"], \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": [\"readonly\"], \"expected\": [\"readonly\"], \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.005,"exit_code":0,"observations":[{"actual":["busy","collapsed","editable","focused","invalid","mixed","offscreen","selected"],"check":"contract fixture 1","expected":["busy","collapsed","editable","focused","invalid","mixed","offscreen","selected"],"passed":true},{"actual":["invisible","readonly","unavailable"],"check":"contract fixture 2","expected":["invisible","readonly","unavailable"],"passed":true},{"actual":["checked","expanded","invalid","readonly"],"check":"contract fixture 3","expected":["checked","expanded","invalid","readonly"],"passed":true},{"actual":["busy","offscreen","unavailable"],"check":"contract fixture 4","expected":["busy","offscreen","unavailable"],"passed":true},{"actual":["readonly"],"check":"contract fixture 5","expected":["readonly"],"passed":true},{"actual":[],"check":"contract fixture 6","expected":[],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 1\", \"actual\": [\"busy\", \"collapsed\", \"editable\", \"focused\", \"invalid\", \"mixed\", \"offscreen\", \"selected\"], \"expected\": [\"busy\", \"collapsed\", \"editable\", \"focused\", \"invalid\", \"mixed\", \"offscreen\", \"selected\"], \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": [\"invisible\", \"readonly\", \"unavailable\"], \"expected\": [\"invisible\", \"readonly\", \"unavailable\"], \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": [\"checked\", \"expanded\", \"invalid\", \"readonly\"], \"expected\": [\"checked\", \"expanded\", \"invalid\", \"readonly\"], \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": [\"busy\", \"offscreen\", \"unavailable\"], \"expected\": [\"busy\", \"offscreen\", \"unavailable\"], \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": [\"readonly\"], \"expected\": [\"readonly\"], \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}