{"abstract":"Enabled fieldsets contribute a native disabled state.","category":"Accessibility interaction semantics","checks":11,"contract":"Input preorder nodes [id,parent,native_disabled,aria_disabled,fieldset,first_legend] and queried ID. Native disabled inherits from disabled fieldsets except descendants of their first_legend; nested disabled fieldsets remain independently effective. aria_disabled is tri-state None/True/False and nearest explicit ancestor value wins, but never cancels native disabled. Return [native_effective,aria_effective,effective] for queried node, or None when missing. An explicit native-disabled node remains disabled even when inside an exempt legend. first_legend ID belongs to fieldset; all parent links exist or None.","evaluation_group":"s3-accessibility-disabled-inheritance","failed_approach":"The local repair substitutes if row[4] and row[2] is not None and but still mishandles the regression fixtures.","family":"s3-accessibility-disabled-inheritance-enabled-fieldset","id":"FA-54411","implementations":{"attempt":{"sha256":"57986e31ca122d62d9d4dba1805cdca0c489599bb356f50464ddae9c5ba6bd5d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(data):\n    nodes,query = data\n    index = {row[0]:row for row in nodes}\n    if query not in index: return None\n    chain = []\n    current = query\n    while current is not None:\n        chain.append(current)\n        current = index[current][1]\n    native = bool(index[query][2])\n    aria = None\n    for ident in chain:\n        row = index[ident]\n        if aria is None and row[3] is not None: aria = row[3]\n        if row[4] and row[2] is not None and row[5] not in chain[:chain.index(ident)]: native = True\n    aria = False if aria is None else aria\n    return [native,aria,native or aria]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('contract fixture 1', solve([[['f',None,True,None,True,'legend'],['legend','f',False,None,False,None],['x','legend',False,None,False,None]],'x'],), [False,False,False])\ncheck('contract fixture 2', solve([[['f',None,True,None,True,'legend'],['x','f',False,None,False,None]],'x'],), [True,False,True])\ncheck('contract fixture 3', solve([[['a',None,False,True,False,None],['b','a',False,False,False,None],['x','b',False,None,False,None]],'x'],), [False,False,False])\ncheck('contract fixture 4', solve([[['a',None,False,True,False,None],['x','a',True,False,False,None]],'x'],), [True,False,True])\ncheck('contract fixture 5', solve([[['a',None,False,True,False,None],[str(N),'a',False,None,False,None]],str(N)],), [False,True,True])\ncheck('contract fixture 6', solve([[['f',None,True,None,True,'l'],['l','f',False,None,False,None],['nested','l',True,None,True,None],['x','nested',False,None,False,None]],'x'],), [True,False,True])\ncheck('contract fixture 7', solve([[['parent',None,True,None,False,None],['x','parent',False,None,False,None]],'x'],), [False,False,False])\ncheck('contract fixture 8', solve([[['f',None,False,None,True,None],['x','f',False,None,False,None]],'x'],), [False,False,False])\ncheck('contract fixture 9', solve([[['a',None,False,True,False,None],['b','a',False,None,False,None],['x','b',False,None,False,None]],'x'],), [False,True,True])\ncheck('contract fixture 10', solve([[['n0',None,False,True,False,None]]+[['n'+str(i),'n'+str(i-1),False,None,False,None] for i in range(1,N+3)],'n'+str(N+2)],), [False,True,True])\ncheck('contract fixture 11', solve([[],'missing'],), None)\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":"9164658e2436032bb0e1311e83ab7c60cedce1e5dcd5ea2cbad5b82a85fd4b1b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(data):\n    nodes,query = data\n    index = {row[0]:row for row in nodes}\n    if query not in index: return None\n    chain = []\n    current = query\n    while current is not None:\n        chain.append(current)\n        current = index[current][1]\n    native = bool(index[query][2])\n    aria = None\n    for ident in chain:\n        row = index[ident]\n        if aria is None and row[3] is not None: aria = row[3]\n        if row[4] and row[5] not in chain[:chain.index(ident)]: native = True\n    aria = False if aria is None else aria\n    return [native,aria,native or aria]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('contract fixture 1', solve([[['f',None,True,None,True,'legend'],['legend','f',False,None,False,None],['x','legend',False,None,False,None]],'x'],), [False,False,False])\ncheck('contract fixture 2', solve([[['f',None,True,None,True,'legend'],['x','f',False,None,False,None]],'x'],), [True,False,True])\ncheck('contract fixture 3', solve([[['a',None,False,True,False,None],['b','a',False,False,False,None],['x','b',False,None,False,None]],'x'],), [False,False,False])\ncheck('contract fixture 4', solve([[['a',None,False,True,False,None],['x','a',True,False,False,None]],'x'],), [True,False,True])\ncheck('contract fixture 5', solve([[['a',None,False,True,False,None],[str(N),'a',False,None,False,None]],str(N)],), [False,True,True])\ncheck('contract fixture 6', solve([[['f',None,True,None,True,'l'],['l','f',False,None,False,None],['nested','l',True,None,True,None],['x','nested',False,None,False,None]],'x'],), [True,False,True])\ncheck('contract fixture 7', solve([[['parent',None,True,None,False,None],['x','parent',False,None,False,None]],'x'],), [False,False,False])\ncheck('contract fixture 8', solve([[['f',None,False,None,True,None],['x','f',False,None,False,None]],'x'],), [False,False,False])\ncheck('contract fixture 9', solve([[['a',None,False,True,False,None],['b','a',False,None,False,None],['x','b',False,None,False,None]],'x'],), [False,True,True])\ncheck('contract fixture 10', solve([[['n0',None,False,True,False,None]]+[['n'+str(i),'n'+str(i-1),False,None,False,None] for i in range(1,N+3)],'n'+str(N+2)],), [False,True,True])\ncheck('contract fixture 11', solve([[],'missing'],), None)\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":"b73fa0cd38727a4c5e877d21c66794bdcb23b585656bd1e594fa44be5743d0ef","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(data):\n    nodes,query = data\n    index = {row[0]:row for row in nodes}\n    if query not in index: return None\n    chain = []\n    current = query\n    while current is not None:\n        chain.append(current)\n        current = index[current][1]\n    native = bool(index[query][2])\n    aria = None\n    for ident in chain:\n        row = index[ident]\n        if aria is None and row[3] is not None: aria = row[3]\n        if row[4] and row[2] and row[5] not in chain[:chain.index(ident)]: native = True\n    aria = False if aria is None else aria\n    return [native,aria,native or aria]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('contract fixture 1', solve([[['f',None,True,None,True,'legend'],['legend','f',False,None,False,None],['x','legend',False,None,False,None]],'x'],), [False,False,False])\ncheck('contract fixture 2', solve([[['f',None,True,None,True,'legend'],['x','f',False,None,False,None]],'x'],), [True,False,True])\ncheck('contract fixture 3', solve([[['a',None,False,True,False,None],['b','a',False,False,False,None],['x','b',False,None,False,None]],'x'],), [False,False,False])\ncheck('contract fixture 4', solve([[['a',None,False,True,False,None],['x','a',True,False,False,None]],'x'],), [True,False,True])\ncheck('contract fixture 5', solve([[['a',None,False,True,False,None],[str(N),'a',False,None,False,None]],str(N)],), [False,True,True])\ncheck('contract fixture 6', solve([[['f',None,True,None,True,'l'],['l','f',False,None,False,None],['nested','l',True,None,True,None],['x','nested',False,None,False,None]],'x'],), [True,False,True])\ncheck('contract fixture 7', solve([[['parent',None,True,None,False,None],['x','parent',False,None,False,None]],'x'],), [False,False,False])\ncheck('contract fixture 8', solve([[['f',None,False,None,True,None],['x','f',False,None,False,None]],'x'],), [False,False,False])\ncheck('contract fixture 9', solve([[['a',None,False,True,False,None],['b','a',False,None,False,None],['x','b',False,None,False,None]],'x'],), [False,True,True])\ncheck('contract fixture 10', solve([[['n0',None,False,True,False,None]]+[['n'+str(i),'n'+str(i-1),False,None,False,None] for i in range(1,N+3)],'n'+str(N+2)],), [False,True,True])\ncheck('contract fixture 11', solve([[],'missing'],), None)\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-disabled-inheritance-enabled-fieldset","generated_at":"2026-09-29T14:45:48.061619+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 enabled fieldset decision: if row[4] and row[2] and","root_cause":"The enabled fieldset decision in the disabled inheritance adapter violates its declared contract.","sha256":"ed159de2fad887707661690091dc5052e2adf0618a4a13add99bbc3d8ecf390a","title":"Enabled fieldsets contribute a native disabled state · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.437,"exit_code":1,"observations":[{"actual":[false,false,false],"check":"contract fixture 1","expected":[false,false,false],"passed":true},{"actual":[true,false,true],"check":"contract fixture 2","expected":[true,false,true],"passed":true},{"actual":[false,false,false],"check":"contract fixture 3","expected":[false,false,false],"passed":true},{"actual":[true,false,true],"check":"contract fixture 4","expected":[true,false,true],"passed":true},{"actual":[false,true,true],"check":"contract fixture 5","expected":[false,true,true],"passed":true},{"actual":[true,false,true],"check":"contract fixture 6","expected":[true,false,true],"passed":true},{"actual":[false,false,false],"check":"contract fixture 7","expected":[false,false,false],"passed":true},{"actual":[true,false,true],"check":"contract fixture 8","expected":[false,false,false],"passed":false},{"actual":[false,true,true],"check":"contract fixture 9","expected":[false,true,true],"passed":true},{"actual":[false,true,true],"check":"contract fixture 10","expected":[false,true,true],"passed":true},{"actual":null,"check":"contract fixture 11","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 1\", \"actual\": [false, false, false], \"expected\": [false, false, false], \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": [true, false, true], \"expected\": [true, false, true], \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": [false, false, false], \"expected\": [false, false, false], \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": [true, false, true], \"expected\": [true, false, true], \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": [false, true, true], \"expected\": [false, true, true], \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": [true, false, true], \"expected\": [true, false, true], \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": [false, false, false], \"expected\": [false, false, false], \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": [true, false, true], \"expected\": [false, false, false], \"passed\": false}, {\"check\": \"contract fixture 9\", \"actual\": [false, true, true], \"expected\": [false, true, true], \"passed\": true}, {\"check\": \"contract fixture 10\", \"actual\": [false, true, true], \"expected\": [false, true, true], \"passed\": true}, {\"check\": \"contract fixture 11\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.121,"exit_code":1,"observations":[{"actual":[false,false,false],"check":"contract fixture 1","expected":[false,false,false],"passed":true},{"actual":[true,false,true],"check":"contract fixture 2","expected":[true,false,true],"passed":true},{"actual":[false,false,false],"check":"contract fixture 3","expected":[false,false,false],"passed":true},{"actual":[true,false,true],"check":"contract fixture 4","expected":[true,false,true],"passed":true},{"actual":[false,true,true],"check":"contract fixture 5","expected":[false,true,true],"passed":true},{"actual":[true,false,true],"check":"contract fixture 6","expected":[true,false,true],"passed":true},{"actual":[false,false,false],"check":"contract fixture 7","expected":[false,false,false],"passed":true},{"actual":[true,false,true],"check":"contract fixture 8","expected":[false,false,false],"passed":false},{"actual":[false,true,true],"check":"contract fixture 9","expected":[false,true,true],"passed":true},{"actual":[false,true,true],"check":"contract fixture 10","expected":[false,true,true],"passed":true},{"actual":null,"check":"contract fixture 11","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 1\", \"actual\": [false, false, false], \"expected\": [false, false, false], \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": [true, false, true], \"expected\": [true, false, true], \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": [false, false, false], \"expected\": [false, false, false], \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": [true, false, true], \"expected\": [true, false, true], \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": [false, true, true], \"expected\": [false, true, true], \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": [true, false, true], \"expected\": [true, false, true], \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": [false, false, false], \"expected\": [false, false, false], \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": [true, false, true], \"expected\": [false, false, false], \"passed\": false}, {\"check\": \"contract fixture 9\", \"actual\": [false, true, true], \"expected\": [false, true, true], \"passed\": true}, {\"check\": \"contract fixture 10\", \"actual\": [false, true, true], \"expected\": [false, true, true], \"passed\": true}, {\"check\": \"contract fixture 11\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.656,"exit_code":0,"observations":[{"actual":[false,false,false],"check":"contract fixture 1","expected":[false,false,false],"passed":true},{"actual":[true,false,true],"check":"contract fixture 2","expected":[true,false,true],"passed":true},{"actual":[false,false,false],"check":"contract fixture 3","expected":[false,false,false],"passed":true},{"actual":[true,false,true],"check":"contract fixture 4","expected":[true,false,true],"passed":true},{"actual":[false,true,true],"check":"contract fixture 5","expected":[false,true,true],"passed":true},{"actual":[true,false,true],"check":"contract fixture 6","expected":[true,false,true],"passed":true},{"actual":[false,false,false],"check":"contract fixture 7","expected":[false,false,false],"passed":true},{"actual":[false,false,false],"check":"contract fixture 8","expected":[false,false,false],"passed":true},{"actual":[false,true,true],"check":"contract fixture 9","expected":[false,true,true],"passed":true},{"actual":[false,true,true],"check":"contract fixture 10","expected":[false,true,true],"passed":true},{"actual":null,"check":"contract fixture 11","expected":null,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 1\", \"actual\": [false, false, false], \"expected\": [false, false, false], \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": [true, false, true], \"expected\": [true, false, true], \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": [false, false, false], \"expected\": [false, false, false], \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": [true, false, true], \"expected\": [true, false, true], \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": [false, true, true], \"expected\": [false, true, true], \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": [true, false, true], \"expected\": [true, false, true], \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": [false, false, false], \"expected\": [false, false, false], \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": [false, false, false], \"expected\": [false, false, false], \"passed\": true}, {\"check\": \"contract fixture 9\", \"actual\": [false, true, true], \"expected\": [false, true, true], \"passed\": true}, {\"check\": \"contract fixture 10\", \"actual\": [false, true, true], \"expected\": [false, true, true], \"passed\": true}, {\"check\": \"contract fixture 11\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}