{"abstract":"Braille routing ranges are replaced by cell display indices.","category":"Accessibility interaction semantics","checks":8,"contract":"Input [cells,offset,width,route] where cells [source_start,source_end,content,editable]. Clip display window by nonnegative offset and width. Each cell has one display position regardless of content length. Routing uses a zero-based position inside displayed cells; return None if outside window or cell not editable, otherwise [source_start,source_end]. Display contents replace empty cell content with a space; protected content (exact token SECRET) displays a bullet. Return [display,source_ranges,route_result,has_previous,has_next]. Source ranges preserve zero-width insertion cells.","contract_signature":"data","evaluation_group":"s3-accessibility-braille-routing","failed_approach":"The local repair substitutes ranges = [[s,s+1] for s,e,c,editable in window] but still mishandles the regression fixtures.","family":"s3-accessibility-braille-routing-source-ranges","id":"FA-54221","implementations":{"attempt":{"sha256":"7ad6e53e245bdb2617db328cb5d9013a869a3dfead95479dc8a70bd40b556508","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(data):\n    cells,offset,width,route = data\n    offset,width = max(0,offset),max(0,width)\n    window = cells[offset:offset+width]\n    contents = [('•' if c == 'SECRET' else (c if c else ' ')) for s,e,c,editable in window]\n    ranges = [[s,s+1] for s,e,c,editable in window]\n    routed = None\n    if 0 <= route < len(window):\n        s,e,c,editable = window[route]\n        if editable: routed = [s,e]\n    return [contents,ranges,routed,offset>0,offset+len(window)<len(cells)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('contract fixture 1', solve([[[0,N,'ab',True],[N,N+2,'SECRET',False],[N+2,N+2,'',True]],1,2,1],), [['•',' '],[[N,N+2],[N+2,N+2]],[N+2,N+2],True,False])\ncheck('contract fixture 2', solve([[[0,2,'ab',True],[2,3,'c',True],[3,4,'d',True]],0,2,0],), [['ab','c'],[[0,2],[2,3]],[0,2],False,True])\ncheck('contract fixture 3', solve([[[0,1,'x',False]],0,1,0],), [['x'],[[0,1]],None,False,False])\ncheck('contract fixture 4', solve([[[0,1,'x',True]],0,1,-1],), [['x'],[[0,1]],None,False,False])\ncheck('contract fixture 5', solve([[[0,1,'x',True]],0,1,1],), [['x'],[[0,1]],None,False,False])\ncheck('contract fixture 6', solve([[[0,1,'x',True]],-2,0,0],), [[],[],None,False,True])\ncheck('contract fixture 7', solve([[[0,1,'a',True],[1,2,'b',True]],-1,1,0],), [['a'],[[0,1]],[0,1],False,True])\ncheck('contract fixture 8', solve([[],0,4,0],), [[],[],None,False,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":"e3b5fc2dfeaddf2656ad317428ba0b0144619d406b86838338f9fafd85be5d68","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(data):\n    cells,offset,width,route = data\n    offset,width = max(0,offset),max(0,width)\n    window = cells[offset:offset+width]\n    contents = [('•' if c == 'SECRET' else (c if c else ' ')) for s,e,c,editable in window]\n    ranges = [[i,i+1] for i,_ in enumerate(window)]\n    routed = None\n    if 0 <= route < len(window):\n        s,e,c,editable = window[route]\n        if editable: routed = [s,e]\n    return [contents,ranges,routed,offset>0,offset+len(window)<len(cells)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('contract fixture 1', solve([[[0,N,'ab',True],[N,N+2,'SECRET',False],[N+2,N+2,'',True]],1,2,1],), [['•',' '],[[N,N+2],[N+2,N+2]],[N+2,N+2],True,False])\ncheck('contract fixture 2', solve([[[0,2,'ab',True],[2,3,'c',True],[3,4,'d',True]],0,2,0],), [['ab','c'],[[0,2],[2,3]],[0,2],False,True])\ncheck('contract fixture 3', solve([[[0,1,'x',False]],0,1,0],), [['x'],[[0,1]],None,False,False])\ncheck('contract fixture 4', solve([[[0,1,'x',True]],0,1,-1],), [['x'],[[0,1]],None,False,False])\ncheck('contract fixture 5', solve([[[0,1,'x',True]],0,1,1],), [['x'],[[0,1]],None,False,False])\ncheck('contract fixture 6', solve([[[0,1,'x',True]],-2,0,0],), [[],[],None,False,True])\ncheck('contract fixture 7', solve([[[0,1,'a',True],[1,2,'b',True]],-1,1,0],), [['a'],[[0,1]],[0,1],False,True])\ncheck('contract fixture 8', solve([[],0,4,0],), [[],[],None,False,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-braille-routing-source-ranges","generated_at":"2026-09-29T14:45:46.554659+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.","root_cause":"The source ranges decision in the braille routing adapter violates its declared contract.","sha256":"36c4f4849135b113818cffa777dccce75755b0d4161d034836df5b89a79cdec7","title":"Braille routing ranges are replaced by cell display indices · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":46.328,"exit_code":1,"observations":[{"actual":[["•"," "],[[1,2],[3,4]],[3,3],true,false],"check":"contract fixture 1","expected":[["•"," "],[[1,3],[3,3]],[3,3],true,false],"passed":false},{"actual":[["ab","c"],[[0,1],[2,3]],[0,2],false,true],"check":"contract fixture 2","expected":[["ab","c"],[[0,2],[2,3]],[0,2],false,true],"passed":false},{"actual":[["x"],[[0,1]],null,false,false],"check":"contract fixture 3","expected":[["x"],[[0,1]],null,false,false],"passed":true},{"actual":[["x"],[[0,1]],null,false,false],"check":"contract fixture 4","expected":[["x"],[[0,1]],null,false,false],"passed":true},{"actual":[["x"],[[0,1]],null,false,false],"check":"contract fixture 5","expected":[["x"],[[0,1]],null,false,false],"passed":true},{"actual":[[],[],null,false,true],"check":"contract fixture 6","expected":[[],[],null,false,true],"passed":true},{"actual":[["a"],[[0,1]],[0,1],false,true],"check":"contract fixture 7","expected":[["a"],[[0,1]],[0,1],false,true],"passed":true},{"actual":[[],[],null,false,false],"check":"contract fixture 8","expected":[[],[],null,false,false],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 1\", \"actual\": [[\"•\", \" \"], [[1, 2], [3, 4]], [3, 3], true, false], \"expected\": [[\"•\", \" \"], [[1, 3], [3, 3]], [3, 3], true, false], \"passed\": false}, {\"check\": \"contract fixture 2\", \"actual\": [[\"ab\", \"c\"], [[0, 1], [2, 3]], [0, 2], false, true], \"expected\": [[\"ab\", \"c\"], [[0, 2], [2, 3]], [0, 2], false, true], \"passed\": false}, {\"check\": \"contract fixture 3\", \"actual\": [[\"x\"], [[0, 1]], null, false, false], \"expected\": [[\"x\"], [[0, 1]], null, false, false], \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": [[\"x\"], [[0, 1]], null, false, false], \"expected\": [[\"x\"], [[0, 1]], null, false, false], \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": [[\"x\"], [[0, 1]], null, false, false], \"expected\": [[\"x\"], [[0, 1]], null, false, false], \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": [[], [], null, false, true], \"expected\": [[], [], null, false, true], \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": [[\"a\"], [[0, 1]], [0, 1], false, true], \"expected\": [[\"a\"], [[0, 1]], [0, 1], false, true], \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": [[], [], null, false, false], \"expected\": [[], [], null, false, false], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.579,"exit_code":1,"observations":[{"actual":[["•"," "],[[0,1],[1,2]],[3,3],true,false],"check":"contract fixture 1","expected":[["•"," "],[[1,3],[3,3]],[3,3],true,false],"passed":false},{"actual":[["ab","c"],[[0,1],[1,2]],[0,2],false,true],"check":"contract fixture 2","expected":[["ab","c"],[[0,2],[2,3]],[0,2],false,true],"passed":false},{"actual":[["x"],[[0,1]],null,false,false],"check":"contract fixture 3","expected":[["x"],[[0,1]],null,false,false],"passed":true},{"actual":[["x"],[[0,1]],null,false,false],"check":"contract fixture 4","expected":[["x"],[[0,1]],null,false,false],"passed":true},{"actual":[["x"],[[0,1]],null,false,false],"check":"contract fixture 5","expected":[["x"],[[0,1]],null,false,false],"passed":true},{"actual":[[],[],null,false,true],"check":"contract fixture 6","expected":[[],[],null,false,true],"passed":true},{"actual":[["a"],[[0,1]],[0,1],false,true],"check":"contract fixture 7","expected":[["a"],[[0,1]],[0,1],false,true],"passed":true},{"actual":[[],[],null,false,false],"check":"contract fixture 8","expected":[[],[],null,false,false],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 1\", \"actual\": [[\"•\", \" \"], [[0, 1], [1, 2]], [3, 3], true, false], \"expected\": [[\"•\", \" \"], [[1, 3], [3, 3]], [3, 3], true, false], \"passed\": false}, {\"check\": \"contract fixture 2\", \"actual\": [[\"ab\", \"c\"], [[0, 1], [1, 2]], [0, 2], false, true], \"expected\": [[\"ab\", \"c\"], [[0, 2], [2, 3]], [0, 2], false, true], \"passed\": false}, {\"check\": \"contract fixture 3\", \"actual\": [[\"x\"], [[0, 1]], null, false, false], \"expected\": [[\"x\"], [[0, 1]], null, false, false], \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": [[\"x\"], [[0, 1]], null, false, false], \"expected\": [[\"x\"], [[0, 1]], null, false, false], \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": [[\"x\"], [[0, 1]], null, false, false], \"expected\": [[\"x\"], [[0, 1]], null, false, false], \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": [[], [], null, false, true], \"expected\": [[], [], null, false, true], \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": [[\"a\"], [[0, 1]], [0, 1], false, true], \"expected\": [[\"a\"], [[0, 1]], [0, 1], false, true], \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": [[], [], null, false, false], \"expected\": [[], [], null, false, false], \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}