{"abstract":"Highlights include one character past the selection.","category":"Bidirectional text layout","checks":8,"contract":"Input [levels, anchor, focus]. The logical selection covers characters min..max-1. Each selected character occupies its unit visual slot (level reversal); merge adjacent slots into [x0, x1) rectangles sorted by x. Return the rectangles.","contract_signature":"x","evaluation_group":"w2-bidirectional-text-layout-selection-highlight","failed_approach":"Shifting both ends drops the first selected character.","family":"w2-bidirectional-text-layout-selection-highlight-selection-end-exclusivity","id":"FA-80661","implementations":{"attempt":{"sha256":"625a46c7e49e30a8c80c005ddd713dc75afedd1fc88c6ec13ef969a3e332cb8d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    def reorder(lv):\n        vis = list(range(len(lv)))\n        odd = [l for l in lv if l % 2 == 1]\n        if not odd:\n            return vis\n        for lev in range(max(lv), min(odd) - 1, -1):\n            i = 0\n            while i < len(vis):\n                if lv[vis[i]] >= lev:\n                    j = i\n                    while j < len(vis) and lv[vis[j]] >= lev:\n                        j += 1\n                    vis[i:j] = vis[i:j][::-1]\n                    i = j\n                else:\n                    i += 1\n        return vis\n    \n    levels, a, b = x\n    a, b = min(a, b), max(a, b)\n    vis = reorder(levels)\n    pos = [0] * len(levels)\n    for v, i in enumerate(vis):\n        pos[i] = v\n    sel = sorted(pos[i] for i in range(a + 1, min(b + 1, len(levels))))\n    rects = []\n    for p in sel:\n        if rects and rects[-1][1] == p:\n            rects[-1][1] = p + 1\n        else:\n            rects.append([p, p + 1])\n    return rects\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('selection crossing direction change', [[0, 0, 1, 1, 0], 1, 4], [[1, 4]]), ('regression: selection end exclusivity', [[3, 1, 1, 1, 1, 1, 1, 1, 1, 1], 1, 5], [[5, 9]]), ('regression: selection end exclusivity', [[3, 3, 1, 1, 1, 3, 3, 3, 3, 1, 1], 0, 8], [[3, 11]]), ('regression: selection end exclusivity', [[1, 1], 0, 1], [[1, 2]]), ('backward selection', [[1, 1, 1], 3, 1], [[0, 2]]), ('control layout', [[3, 3, 3, 3, 3, 1], 6, 6], []), ('control layout', [[1], 1, 1], []), ('control layout', [[3], 1, 1], [])], [('regression: selection end exclusivity', [[1, 1, 0, 0, 0, 0], 2, 2], []), ('regression: selection end exclusivity', [[3, 3, 3, 3, 3], 0, 3], [[2, 5]]), ('partial-repair probe', [[3, 3, 3, 0], 4, 3], [[3, 4]]), ('regression: selection end exclusivity', [[3, 3, 3, 0, 3, 3, 3, 1, 1, 1], 4, 1], [[0, 2], [3, 4]]), ('backward selection', [[1, 1, 1], 3, 1], [[0, 2]]), ('selection crossing direction change', [[0, 0, 1, 1, 0], 1, 4], [[1, 4]]), ('control layout', [[1, 1], 2, 2], []), ('control layout', [[2, 2], 2, 2], [])], [('regression: selection end exclusivity', [[1, 1, 1, 1], 2, 0], [[2, 4]]), ('regression: selection end exclusivity', [[3, 3], 1, 1], []), ('regression: selection end exclusivity', [[2, 2, 2, 2, 2, 2, 2, 2], 3, 5], [[3, 5]]), ('regression: selection end exclusivity', [[0, 0, 0, 3, 3, 0, 0, 3, 3, 3, 0], 3, 9], [[3, 7], [8, 10]]), ('selection crossing direction change', [[0, 0, 1, 1, 0], 1, 4], [[1, 4]]), ('backward selection', [[1, 1, 1], 3, 1], [[0, 2]]), ('control layout', [[0], 1, 1], []), ('control layout', [[0, 0, 0], 3, 3], [])], [('regression: selection end exclusivity', [[1, 1, 1, 0], 3, 1], [[0, 2]]), ('regression: selection end exclusivity', [[4, 1, 1, 1, 1], 3, 3], []), ('regression: selection end exclusivity', [[0, 0, 0, 0, 2, 2, 2, 2, 1], 2, 6], [[2, 4], [5, 7]]), ('regression: selection end exclusivity', [[1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0], 8, 10], [[8, 10]]), ('selection crossing direction change', [[0, 0, 1, 1, 0], 1, 4], [[1, 4]]), ('backward selection', [[1, 1, 1], 3, 1], [[0, 2]]), ('control layout', [[1, 1], 2, 2], []), ('control layout', [[2, 2], 2, 2], [])], [('regression: selection end exclusivity', [[1, 1, 1], 0, 0], []), ('regression: selection end exclusivity', [[0, 3, 0, 1], 0, 2], [[0, 2]]), ('regression: selection end exclusivity', [[0, 1, 1, 1, 1, 0, 0, 0], 6, 3], [[1, 3], [5, 6]]), ('regression: selection end exclusivity', [[3, 3, 1, 1, 1, 1, 0, 0], 6, 7], [[6, 7]]), ('backward selection', [[1, 1, 1], 3, 1], [[0, 2]]), ('selection crossing direction change', [[0, 0, 1, 1, 0], 1, 4], [[1, 4]]), ('control layout', [[1, 3, 3, 3, 0, 0, 3, 3], 8, 8], []), ('control layout', [[1], 1, 1], [])]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, solve(args), expected)\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":"982d7af9f1d1e8e76d1f02d0a7f132f60d101524ddbc9caacf729ac90a23f98a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    def reorder(lv):\n        vis = list(range(len(lv)))\n        odd = [l for l in lv if l % 2 == 1]\n        if not odd:\n            return vis\n        for lev in range(max(lv), min(odd) - 1, -1):\n            i = 0\n            while i < len(vis):\n                if lv[vis[i]] >= lev:\n                    j = i\n                    while j < len(vis) and lv[vis[j]] >= lev:\n                        j += 1\n                    vis[i:j] = vis[i:j][::-1]\n                    i = j\n                else:\n                    i += 1\n        return vis\n    \n    levels, a, b = x\n    a, b = min(a, b), max(a, b)\n    vis = reorder(levels)\n    pos = [0] * len(levels)\n    for v, i in enumerate(vis):\n        pos[i] = v\n    sel = sorted(pos[i] for i in range(a, min(b + 1, len(levels))))\n    rects = []\n    for p in sel:\n        if rects and rects[-1][1] == p:\n            rects[-1][1] = p + 1\n        else:\n            rects.append([p, p + 1])\n    return rects\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('selection crossing direction change', [[0, 0, 1, 1, 0], 1, 4], [[1, 4]]), ('regression: selection end exclusivity', [[3, 1, 1, 1, 1, 1, 1, 1, 1, 1], 1, 5], [[5, 9]]), ('regression: selection end exclusivity', [[3, 3, 1, 1, 1, 3, 3, 3, 3, 1, 1], 0, 8], [[3, 11]]), ('regression: selection end exclusivity', [[1, 1], 0, 1], [[1, 2]]), ('backward selection', [[1, 1, 1], 3, 1], [[0, 2]]), ('control layout', [[3, 3, 3, 3, 3, 1], 6, 6], []), ('control layout', [[1], 1, 1], []), ('control layout', [[3], 1, 1], [])], [('regression: selection end exclusivity', [[1, 1, 0, 0, 0, 0], 2, 2], []), ('regression: selection end exclusivity', [[3, 3, 3, 3, 3], 0, 3], [[2, 5]]), ('partial-repair probe', [[3, 3, 3, 0], 4, 3], [[3, 4]]), ('regression: selection end exclusivity', [[3, 3, 3, 0, 3, 3, 3, 1, 1, 1], 4, 1], [[0, 2], [3, 4]]), ('backward selection', [[1, 1, 1], 3, 1], [[0, 2]]), ('selection crossing direction change', [[0, 0, 1, 1, 0], 1, 4], [[1, 4]]), ('control layout', [[1, 1], 2, 2], []), ('control layout', [[2, 2], 2, 2], [])], [('regression: selection end exclusivity', [[1, 1, 1, 1], 2, 0], [[2, 4]]), ('regression: selection end exclusivity', [[3, 3], 1, 1], []), ('regression: selection end exclusivity', [[2, 2, 2, 2, 2, 2, 2, 2], 3, 5], [[3, 5]]), ('regression: selection end exclusivity', [[0, 0, 0, 3, 3, 0, 0, 3, 3, 3, 0], 3, 9], [[3, 7], [8, 10]]), ('selection crossing direction change', [[0, 0, 1, 1, 0], 1, 4], [[1, 4]]), ('backward selection', [[1, 1, 1], 3, 1], [[0, 2]]), ('control layout', [[0], 1, 1], []), ('control layout', [[0, 0, 0], 3, 3], [])], [('regression: selection end exclusivity', [[1, 1, 1, 0], 3, 1], [[0, 2]]), ('regression: selection end exclusivity', [[4, 1, 1, 1, 1], 3, 3], []), ('regression: selection end exclusivity', [[0, 0, 0, 0, 2, 2, 2, 2, 1], 2, 6], [[2, 4], [5, 7]]), ('regression: selection end exclusivity', [[1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0], 8, 10], [[8, 10]]), ('selection crossing direction change', [[0, 0, 1, 1, 0], 1, 4], [[1, 4]]), ('backward selection', [[1, 1, 1], 3, 1], [[0, 2]]), ('control layout', [[1, 1], 2, 2], []), ('control layout', [[2, 2], 2, 2], [])], [('regression: selection end exclusivity', [[1, 1, 1], 0, 0], []), ('regression: selection end exclusivity', [[0, 3, 0, 1], 0, 2], [[0, 2]]), ('regression: selection end exclusivity', [[0, 1, 1, 1, 1, 0, 0, 0], 6, 3], [[1, 3], [5, 6]]), ('regression: selection end exclusivity', [[3, 3, 1, 1, 1, 1, 0, 0], 6, 7], [[6, 7]]), ('backward selection', [[1, 1, 1], 3, 1], [[0, 2]]), ('selection crossing direction change', [[0, 0, 1, 1, 0], 1, 4], [[1, 4]]), ('control layout', [[1, 3, 3, 3, 0, 0, 3, 3], 8, 8], []), ('control layout', [[1], 1, 1], [])]]\nfor label, args, expected in fixtures[N - 1]:\n    check(label, solve(args), expected)\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":"A deterministic toy bidi model over stipulated class labels and integer levels; it is inspired by, but does not claim conformance to, any published algorithm. 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":"w2-bidirectional-text-layout-selection-highlight-selection-end-exclusivity","generated_at":"2026-09-29T14:49:56.063490+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Mixed right-to-left and left-to-right text must resolve levels and visual order exactly, or words, numbers and carets land in the wrong place.","root_cause":"The selected range includes the focus index.","sha256":"dc49cdb5bf6c185a65d5cc96e5f40ec5b6310ec1feac612d34fa350bf7c2efdb","title":"Bidi selection highlight: selection end exclusivity · 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":40.814,"exit_code":1,"observations":[{"actual":[[2,5]],"check":"selection crossing direction change","expected":[[1,4]],"passed":false},{"actual":[[4,8]],"check":"regression: selection end exclusivity","expected":[[5,9]],"passed":false},{"actual":[[2,10]],"check":"regression: selection end exclusivity","expected":[[3,11]],"passed":false},{"actual":[[0,1]],"check":"regression: selection end exclusivity","expected":[[1,2]],"passed":false},{"actual":[[0,1]],"check":"backward selection","expected":[[0,2]],"passed":false},{"actual":[],"check":"control layout","expected":[],"passed":true},{"actual":[],"check":"control layout","expected":[],"passed":true},{"actual":[],"check":"control layout","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"selection crossing direction change\", \"actual\": [[2, 5]], \"expected\": [[1, 4]], \"passed\": false}, {\"check\": \"regression: selection end exclusivity\", \"actual\": [[4, 8]], \"expected\": [[5, 9]], \"passed\": false}, {\"check\": \"regression: selection end exclusivity\", \"actual\": [[2, 10]], \"expected\": [[3, 11]], \"passed\": false}, {\"check\": \"regression: selection end exclusivity\", \"actual\": [[0, 1]], \"expected\": [[1, 2]], \"passed\": false}, {\"check\": \"backward selection\", \"actual\": [[0, 1]], \"expected\": [[0, 2]], \"passed\": false}, {\"check\": \"control layout\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"control layout\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"control layout\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.964,"exit_code":1,"observations":[{"actual":[[1,5]],"check":"selection crossing direction change","expected":[[1,4]],"passed":false},{"actual":[[4,9]],"check":"regression: selection end exclusivity","expected":[[5,9]],"passed":false},{"actual":[[2,11]],"check":"regression: selection end exclusivity","expected":[[3,11]],"passed":false},{"actual":[[0,2]],"check":"regression: selection end exclusivity","expected":[[1,2]],"passed":false},{"actual":[[0,2]],"check":"backward selection","expected":[[0,2]],"passed":true},{"actual":[],"check":"control layout","expected":[],"passed":true},{"actual":[],"check":"control layout","expected":[],"passed":true},{"actual":[],"check":"control layout","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"selection crossing direction change\", \"actual\": [[1, 5]], \"expected\": [[1, 4]], \"passed\": false}, {\"check\": \"regression: selection end exclusivity\", \"actual\": [[4, 9]], \"expected\": [[5, 9]], \"passed\": false}, {\"check\": \"regression: selection end exclusivity\", \"actual\": [[2, 11]], \"expected\": [[3, 11]], \"passed\": false}, {\"check\": \"regression: selection end exclusivity\", \"actual\": [[0, 2]], \"expected\": [[1, 2]], \"passed\": false}, {\"check\": \"backward selection\", \"actual\": [[0, 2]], \"expected\": [[0, 2]], \"passed\": true}, {\"check\": \"control layout\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"control layout\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"control layout\", \"actual\": [], \"expected\": [], \"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."}}