FA-80621 / Bidirectional text layout / Open access

Paired bracket direction: pair processing order · case 01

Nested brackets resolve before their enclosing pair.

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

ROOT CAUSE

Pairs are processed in closing-bracket order.

VERIFIED REPAIR

Process pairs in opening-bracket order.

Unsuccessful approach: Reverse opener order processes inner pairs first as well.

Case contract

Input [classes, bracket pairs, embedding level, sos]. Process pairs in opener order. Strong types inside (EN/AN count as R) matching the embedding direction set both brackets to it; if only the opposite direction is inside, use the first strong type before the opener (checking already-updated brackets; sos if none); with no strong type inside leave them. Return classes.

Why this case matters

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.

1 / The failure

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    types, pairs, level, sos = x
    t = list(types)
    e = 'L' if level % 2 == 0 else 'R'
    def dirof(c):
        if c == 'L':
            return 'L'
        if c in ('R', 'EN', 'AN'):
            return 'R'
        return None
    for o, c in sorted(pairs, key=lambda p: p[1]):
        inside = [dirof(t[k]) for k in range(o + 1, c)]
        inside = [d for d in inside if d]
        if not inside:
            continue
        if e in inside:
            new = e
        else:
            ctx = sos
            for k in range(o - 1, -1, -1):
                d = dirof(t[k])
                if d:
                    ctx = d
                    break
            new = ctx
        t[o] = new
        t[c] = new
    return t
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('nested pair uses updated outer bracket', [['R', 'ON', 'ON', 'R', 'ON', 'L', 'ON'], [[1, 6], [2, 4]], 0, 'L'], ['R', 'L', 'L', 'R', 'L', 'L', 'L']), ('regression: pair processing order', [['ON', 'ON', 'ON', 'AN', 'R', 'ON', 'L', 'EN', 'ON'], [[1, 8], [2, 5]], 0, 'R'], ['ON', 'L', 'L', 'AN', 'R', 'L', 'L', 'EN', 'L']), ('regression: pair processing order', [['R', 'ON', 'ON', 'ON', 'AN', 'ON', 'L', 'EN', 'ON', 'R'], [[1, 8], [2, 5]], 0, 'L'], ['R', 'L', 'L', 'ON', 'AN', 'L', 'L', 'EN', 'L', 'R']), ('regression: pair processing order', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON', 'L'], [[1, 6], [2, 4]], 1, 'L'], ['L', 'R', 'R', 'L', 'R', 'R', 'R', 'L']), ('number inside brackets in RTL context', [['R', 'ON', 'EN', 'ON'], [[1, 3]], 0, 'L'], ['R', 'R', 'EN', 'R']), ('nested pair in RTL embedding', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON'], [[1, 6], [2, 4]], 1, 'R'], ['L', 'R', 'R', 'L', 'R', 'R', 'R']), ('control layout', [['ON', 'ON', 'R', 'L', 'L', 'L', 'R'], [[0, 1]], 2, 'L'], ['ON', 'ON', 'R', 'L', 'L', 'L', 'R']), ('control layout', [['R', 'R', 'EN', 'ON', 'EN', 'ON', 'ON', 'R', 'ON', 'ON', 'ON', 'ON'], [[5, 10], [3, 11]], 0, 'R'], ['R', 'R', 'EN', 'R', 'EN', 'R', 'ON', 'R', 'ON', 'ON', 'R', 'R'])], [('regression: pair processing order', [['ON', 'ON', 'ON', 'R', 'ON', 'L', 'R', 'ON', 'R', 'L'], [[1, 7], [2, 4]], 2, 'R'], ['ON', 'L', 'L', 'R', 'L', 'L', 'R', 'L', 'R', 'L']), ('regression: pair processing order', [['EN', 'ON', 'ON', 'AN', 'ON', 'R', 'L', 'ON', 'R', 'L'], [[1, 7], [2, 4]], 0, 'R'], ['EN', 'L', 'L', 'AN', 'L', 'R', 'L', 'L', 'R', 'L']), ('regression: pair processing order', [['ON', 'ON', 'ON', 'R', 'ON', 'ON', 'L', 'ON'], [[1, 7], [2, 4]], 2, 'R'], ['ON', 'L', 'L', 'R', 'L', 'ON', 'L', 'L']), ('regression: pair processing order', [['ON', 'ON', 'ON', 'L', 'ON', 'ON', 'R', 'ON'], [[1, 7], [2, 4]], 1, 'L'], ['ON', 'R', 'R', 'L', 'R', 'ON', 'R', 'R']), ('number inside brackets in RTL context', [['R', 'ON', 'EN', 'ON'], [[1, 3]], 0, 'L'], ['R', 'R', 'EN', 'R']), ('nested pair uses updated outer bracket', [['R', 'ON', 'ON', 'R', 'ON', 'L', 'ON'], [[1, 6], [2, 4]], 0, 'L'], ['R', 'L', 'L', 'R', 'L', 'L', 'L']), ('control layout', [['R', 'AN', 'ON', 'AN', 'L', 'L', 'AN'], [], 0, 'L'], ['R', 'AN', 'ON', 'AN', 'L', 'L', 'AN']), ('control layout', [['EN', 'ON', 'ON', 'ON', 'ON', 'R', 'L', 'ON', 'L', 'R'], [[1, 7], [2, 4]], 0, 'R'], ['EN', 'L', 'ON', 'ON', 'ON', 'R', 'L', 'L', 'L', 'R'])], [('regression: pair processing order', [['R', 'ON', 'ON', 'R', 'ON', 'L', 'ON', 'L'], [[1, 6], [2, 4]], 2, 'R'], ['R', 'L', 'L', 'R', 'L', 'L', 'L', 'L']), ('regression: pair processing order', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON'], [[1, 6], [2, 4]], 1, 'R'], ['L', 'R', 'R', 'L', 'R', 'R', 'R']), ('regression: pair processing order', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON', 'L'], [[1, 6], [2, 4]], 1, 'L'], ['L', 'R', 'R', 'L', 'R', 'R', 'R', 'L']), ('regression: pair processing order', [['EN', 'ON', 'ON', 'AN', 'ON', 'ON', 'L', 'ON', 'L'], [[1, 7], [2, 5]], 0, 'R'], ['EN', 'L', 'L', 'AN', 'ON', 'L', 'L', 'L', 'L']), ('nested pair in RTL embedding', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON'], [[1, 6], [2, 4]], 1, 'R'], ['L', 'R', 'R', 'L', 'R', 'R', 'R']), ('nested pair uses updated outer bracket', [['R', 'ON', 'ON', 'R', 'ON', 'L', 'ON'], [[1, 6], [2, 4]], 0, 'L'], ['R', 'L', 'L', 'R', 'L', 'L', 'L']), ('control layout', [['L', 'EN', 'AN', 'R', 'EN', 'R', 'R', 'AN', 'EN', 'L'], [], 2, 'L'], ['L', 'EN', 'AN', 'R', 'EN', 'R', 'R', 'AN', 'EN', 'L']), ('control layout', [['R', 'L', 'ON', 'ON', 'ON', 'EN', 'R', 'AN', 'L', 'ON'], [[2, 3]], 1, 'R'], ['R', 'L', 'ON', 'ON', 'ON', 'EN', 'R', 'AN', 'L', 'ON'])], [('nested pair uses updated outer bracket', [['R', 'ON', 'ON', 'R', 'ON', 'L', 'ON'], [[1, 6], [2, 4]], 0, 'L'], ['R', 'L', 'L', 'R', 'L', 'L', 'L']), ('regression: pair processing order', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON'], [[1, 6], [2, 4]], 1, 'R'], ['L', 'R', 'R', 'L', 'R', 'R', 'R']), ('regression: pair processing order', [['R', 'ON', 'ON', 'ON', 'AN', 'ON', 'L', 'EN', 'ON', 'R'], [[1, 8], [2, 5]], 0, 'L'], ['R', 'L', 'L', 'ON', 'AN', 'L', 'L', 'EN', 'L', 'R']), ('regression: pair processing order', [['EN', 'ON', 'ON', 'AN', 'ON', 'ON', 'L', 'ON', 'L', 'L'], [[1, 7], [2, 4]], 2, 'R'], ['EN', 'L', 'L', 'AN', 'L', 'ON', 'L', 'L', 'L', 'L']), ('number inside brackets in RTL context', [['R', 'ON', 'EN', 'ON'], [[1, 3]], 0, 'L'], ['R', 'R', 'EN', 'R']), ('nested pair in RTL embedding', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON'], [[1, 6], [2, 4]], 1, 'R'], ['L', 'R', 'R', 'L', 'R', 'R', 'R']), ('control layout', [['R', 'ON', 'ON', 'AN', 'R', 'ON', 'ON', 'L', 'R'], [[1, 6], [2, 5]], 0, 'L'], ['R', 'R', 'R', 'AN', 'R', 'R', 'R', 'L', 'R']), ('control layout', [['AN', 'R', 'EN', 'ON', 'EN', 'ON', 'EN', 'ON', 'ON', 'ON', 'R'], [[5, 7]], 1, 'R'], ['AN', 'R', 'EN', 'ON', 'EN', 'R', 'EN', 'R', 'ON', 'ON', 'R'])], [('regression: pair processing order', [['ON', 'ON', 'ON', 'R', 'ON', 'L', 'R', 'ON', 'R'], [[1, 7], [2, 4]], 2, 'R'], ['ON', 'L', 'L', 'R', 'L', 'L', 'R', 'L', 'R']), ('nested pair in RTL embedding', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON'], [[1, 6], [2, 4]], 1, 'R'], ['L', 'R', 'R', 'L', 'R', 'R', 'R']), ('regression: pair processing order', [['ON', 'ON', 'ON', 'R', 'ON', 'ON', 'L', 'ON'], [[1, 7], [2, 4]], 2, 'R'], ['ON', 'L', 'L', 'R', 'L', 'ON', 'L', 'L']), ('regression: pair processing order', [['R', 'ON', 'ON', 'R', 'ON', 'L', 'ON', 'L'], [[1, 6], [2, 4]], 2, 'R'], ['R', 'L', 'L', 'R', 'L', 'L', 'L', 'L']), ('number inside brackets in RTL context', [['R', 'ON', 'EN', 'ON'], [[1, 3]], 0, 'L'], ['R', 'R', 'EN', 'R']), ('nested pair uses updated outer bracket', [['R', 'ON', 'ON', 'R', 'ON', 'L', 'ON'], [[1, 6], [2, 4]], 0, 'L'], ['R', 'L', 'L', 'R', 'L', 'L', 'L']), ('control layout', [['L', 'ON', 'ON', 'AN', 'ON', 'L', 'ON'], [[1, 6], [2, 4]], 2, 'L'], ['L', 'L', 'L', 'AN', 'L', 'L', 'L']), ('control layout', [['R', 'L', 'R', 'AN', 'AN', 'R', 'ON', 'L', 'ON', 'L', 'ON'], [], 0, 'L'], ['R', 'L', 'R', 'AN', 'AN', 'R', 'ON', 'L', 'ON', 'L', 'ON'])]]
for label, args, expected in fixtures[N - 1]:
    check(label, solve(args), expected)
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
nested pair uses updated outer bracket	`['R', 'L', 'R', 'R', 'R', 'L', 'L']`	`['R', 'L', 'L', 'R', 'L', 'L', 'L']`	Failed
regression: pair processing order	`['ON', 'L', 'R', 'AN', 'R', 'R', 'L', 'EN', 'L']`	`['ON', 'L', 'L', 'AN', 'R', 'L', 'L', 'EN', 'L']`	Failed
regression: pair processing order	`['R', 'L', 'R', 'ON', 'AN', 'R', 'L', 'EN', 'L', 'R']`	`['R', 'L', 'L', 'ON', 'AN', 'L', 'L', 'EN', 'L', 'R']`	Failed
regression: pair processing order	`['L', 'R', 'L', 'L', 'L', 'R', 'R', 'L']`	`['L', 'R', 'R', 'L', 'R', 'R', 'R', 'L']`	Failed
number inside brackets in RTL context	`['R', 'R', 'EN', 'R']`	`['R', 'R', 'EN', 'R']`	Passed
nested pair in RTL embedding	`['L', 'R', 'L', 'L', 'L', 'R', 'R']`	`['L', 'R', 'R', 'L', 'R', 'R', 'R']`	Failed
control layout	`['ON', 'ON', 'R', 'L', 'L', 'L', 'R']`	`['ON', 'ON', 'R', 'L', 'L', 'L', 'R']`	Passed
control layout	`['R', 'R', 'EN', 'R', 'EN', 'R', 'ON', 'R', 'ON', 'ON', 'R', 'R']`	`['R', 'R', 'EN', 'R', 'EN', 'R', 'ON', 'R', 'ON', 'ON', 'R', 'R']`	Passed

SHA-256 / e6d1fc3b5bdb771b61246512f1ba1d02b83f24a5358675bcec6878d8935bbaee

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    types, pairs, level, sos = x
    t = list(types)
    e = 'L' if level % 2 == 0 else 'R'
    def dirof(c):
        if c == 'L':
            return 'L'
        if c in ('R', 'EN', 'AN'):
            return 'R'
        return None
    for o, c in reversed(sorted(pairs)):
        inside = [dirof(t[k]) for k in range(o + 1, c)]
        inside = [d for d in inside if d]
        if not inside:
            continue
        if e in inside:
            new = e
        else:
            ctx = sos
            for k in range(o - 1, -1, -1):
                d = dirof(t[k])
                if d:
                    ctx = d
                    break
            new = ctx
        t[o] = new
        t[c] = new
    return t
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('nested pair uses updated outer bracket', [['R', 'ON', 'ON', 'R', 'ON', 'L', 'ON'], [[1, 6], [2, 4]], 0, 'L'], ['R', 'L', 'L', 'R', 'L', 'L', 'L']), ('regression: pair processing order', [['ON', 'ON', 'ON', 'AN', 'R', 'ON', 'L', 'EN', 'ON'], [[1, 8], [2, 5]], 0, 'R'], ['ON', 'L', 'L', 'AN', 'R', 'L', 'L', 'EN', 'L']), ('regression: pair processing order', [['R', 'ON', 'ON', 'ON', 'AN', 'ON', 'L', 'EN', 'ON', 'R'], [[1, 8], [2, 5]], 0, 'L'], ['R', 'L', 'L', 'ON', 'AN', 'L', 'L', 'EN', 'L', 'R']), ('regression: pair processing order', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON', 'L'], [[1, 6], [2, 4]], 1, 'L'], ['L', 'R', 'R', 'L', 'R', 'R', 'R', 'L']), ('number inside brackets in RTL context', [['R', 'ON', 'EN', 'ON'], [[1, 3]], 0, 'L'], ['R', 'R', 'EN', 'R']), ('nested pair in RTL embedding', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON'], [[1, 6], [2, 4]], 1, 'R'], ['L', 'R', 'R', 'L', 'R', 'R', 'R']), ('control layout', [['ON', 'ON', 'R', 'L', 'L', 'L', 'R'], [[0, 1]], 2, 'L'], ['ON', 'ON', 'R', 'L', 'L', 'L', 'R']), ('control layout', [['R', 'R', 'EN', 'ON', 'EN', 'ON', 'ON', 'R', 'ON', 'ON', 'ON', 'ON'], [[5, 10], [3, 11]], 0, 'R'], ['R', 'R', 'EN', 'R', 'EN', 'R', 'ON', 'R', 'ON', 'ON', 'R', 'R'])], [('regression: pair processing order', [['ON', 'ON', 'ON', 'R', 'ON', 'L', 'R', 'ON', 'R', 'L'], [[1, 7], [2, 4]], 2, 'R'], ['ON', 'L', 'L', 'R', 'L', 'L', 'R', 'L', 'R', 'L']), ('regression: pair processing order', [['EN', 'ON', 'ON', 'AN', 'ON', 'R', 'L', 'ON', 'R', 'L'], [[1, 7], [2, 4]], 0, 'R'], ['EN', 'L', 'L', 'AN', 'L', 'R', 'L', 'L', 'R', 'L']), ('regression: pair processing order', [['ON', 'ON', 'ON', 'R', 'ON', 'ON', 'L', 'ON'], [[1, 7], [2, 4]], 2, 'R'], ['ON', 'L', 'L', 'R', 'L', 'ON', 'L', 'L']), ('regression: pair processing order', [['ON', 'ON', 'ON', 'L', 'ON', 'ON', 'R', 'ON'], [[1, 7], [2, 4]], 1, 'L'], ['ON', 'R', 'R', 'L', 'R', 'ON', 'R', 'R']), ('number inside brackets in RTL context', [['R', 'ON', 'EN', 'ON'], [[1, 3]], 0, 'L'], ['R', 'R', 'EN', 'R']), ('nested pair uses updated outer bracket', [['R', 'ON', 'ON', 'R', 'ON', 'L', 'ON'], [[1, 6], [2, 4]], 0, 'L'], ['R', 'L', 'L', 'R', 'L', 'L', 'L']), ('control layout', [['R', 'AN', 'ON', 'AN', 'L', 'L', 'AN'], [], 0, 'L'], ['R', 'AN', 'ON', 'AN', 'L', 'L', 'AN']), ('control layout', [['EN', 'ON', 'ON', 'ON', 'ON', 'R', 'L', 'ON', 'L', 'R'], [[1, 7], [2, 4]], 0, 'R'], ['EN', 'L', 'ON', 'ON', 'ON', 'R', 'L', 'L', 'L', 'R'])], [('regression: pair processing order', [['R', 'ON', 'ON', 'R', 'ON', 'L', 'ON', 'L'], [[1, 6], [2, 4]], 2, 'R'], ['R', 'L', 'L', 'R', 'L', 'L', 'L', 'L']), ('regression: pair processing order', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON'], [[1, 6], [2, 4]], 1, 'R'], ['L', 'R', 'R', 'L', 'R', 'R', 'R']), ('regression: pair processing order', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON', 'L'], [[1, 6], [2, 4]], 1, 'L'], ['L', 'R', 'R', 'L', 'R', 'R', 'R', 'L']), ('regression: pair processing order', [['EN', 'ON', 'ON', 'AN', 'ON', 'ON', 'L', 'ON', 'L'], [[1, 7], [2, 5]], 0, 'R'], ['EN', 'L', 'L', 'AN', 'ON', 'L', 'L', 'L', 'L']), ('nested pair in RTL embedding', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON'], [[1, 6], [2, 4]], 1, 'R'], ['L', 'R', 'R', 'L', 'R', 'R', 'R']), ('nested pair uses updated outer bracket', [['R', 'ON', 'ON', 'R', 'ON', 'L', 'ON'], [[1, 6], [2, 4]], 0, 'L'], ['R', 'L', 'L', 'R', 'L', 'L', 'L']), ('control layout', [['L', 'EN', 'AN', 'R', 'EN', 'R', 'R', 'AN', 'EN', 'L'], [], 2, 'L'], ['L', 'EN', 'AN', 'R', 'EN', 'R', 'R', 'AN', 'EN', 'L']), ('control layout', [['R', 'L', 'ON', 'ON', 'ON', 'EN', 'R', 'AN', 'L', 'ON'], [[2, 3]], 1, 'R'], ['R', 'L', 'ON', 'ON', 'ON', 'EN', 'R', 'AN', 'L', 'ON'])], [('nested pair uses updated outer bracket', [['R', 'ON', 'ON', 'R', 'ON', 'L', 'ON'], [[1, 6], [2, 4]], 0, 'L'], ['R', 'L', 'L', 'R', 'L', 'L', 'L']), ('regression: pair processing order', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON'], [[1, 6], [2, 4]], 1, 'R'], ['L', 'R', 'R', 'L', 'R', 'R', 'R']), ('regression: pair processing order', [['R', 'ON', 'ON', 'ON', 'AN', 'ON', 'L', 'EN', 'ON', 'R'], [[1, 8], [2, 5]], 0, 'L'], ['R', 'L', 'L', 'ON', 'AN', 'L', 'L', 'EN', 'L', 'R']), ('regression: pair processing order', [['EN', 'ON', 'ON', 'AN', 'ON', 'ON', 'L', 'ON', 'L', 'L'], [[1, 7], [2, 4]], 2, 'R'], ['EN', 'L', 'L', 'AN', 'L', 'ON', 'L', 'L', 'L', 'L']), ('number inside brackets in RTL context', [['R', 'ON', 'EN', 'ON'], [[1, 3]], 0, 'L'], ['R', 'R', 'EN', 'R']), ('nested pair in RTL embedding', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON'], [[1, 6], [2, 4]], 1, 'R'], ['L', 'R', 'R', 'L', 'R', 'R', 'R']), ('control layout', [['R', 'ON', 'ON', 'AN', 'R', 'ON', 'ON', 'L', 'R'], [[1, 6], [2, 5]], 0, 'L'], ['R', 'R', 'R', 'AN', 'R', 'R', 'R', 'L', 'R']), ('control layout', [['AN', 'R', 'EN', 'ON', 'EN', 'ON', 'EN', 'ON', 'ON', 'ON', 'R'], [[5, 7]], 1, 'R'], ['AN', 'R', 'EN', 'ON', 'EN', 'R', 'EN', 'R', 'ON', 'ON', 'R'])], [('regression: pair processing order', [['ON', 'ON', 'ON', 'R', 'ON', 'L', 'R', 'ON', 'R'], [[1, 7], [2, 4]], 2, 'R'], ['ON', 'L', 'L', 'R', 'L', 'L', 'R', 'L', 'R']), ('nested pair in RTL embedding', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON'], [[1, 6], [2, 4]], 1, 'R'], ['L', 'R', 'R', 'L', 'R', 'R', 'R']), ('regression: pair processing order', [['ON', 'ON', 'ON', 'R', 'ON', 'ON', 'L', 'ON'], [[1, 7], [2, 4]], 2, 'R'], ['ON', 'L', 'L', 'R', 'L', 'ON', 'L', 'L']), ('regression: pair processing order', [['R', 'ON', 'ON', 'R', 'ON', 'L', 'ON', 'L'], [[1, 6], [2, 4]], 2, 'R'], ['R', 'L', 'L', 'R', 'L', 'L', 'L', 'L']), ('number inside brackets in RTL context', [['R', 'ON', 'EN', 'ON'], [[1, 3]], 0, 'L'], ['R', 'R', 'EN', 'R']), ('nested pair uses updated outer bracket', [['R', 'ON', 'ON', 'R', 'ON', 'L', 'ON'], [[1, 6], [2, 4]], 0, 'L'], ['R', 'L', 'L', 'R', 'L', 'L', 'L']), ('control layout', [['L', 'ON', 'ON', 'AN', 'ON', 'L', 'ON'], [[1, 6], [2, 4]], 2, 'L'], ['L', 'L', 'L', 'AN', 'L', 'L', 'L']), ('control layout', [['R', 'L', 'R', 'AN', 'AN', 'R', 'ON', 'L', 'ON', 'L', 'ON'], [], 0, 'L'], ['R', 'L', 'R', 'AN', 'AN', 'R', 'ON', 'L', 'ON', 'L', 'ON'])]]
for label, args, expected in fixtures[N - 1]:
    check(label, solve(args), expected)
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
nested pair uses updated outer bracket	`['R', 'L', 'R', 'R', 'R', 'L', 'L']`	`['R', 'L', 'L', 'R', 'L', 'L', 'L']`	Failed
regression: pair processing order	`['ON', 'L', 'R', 'AN', 'R', 'R', 'L', 'EN', 'L']`	`['ON', 'L', 'L', 'AN', 'R', 'L', 'L', 'EN', 'L']`	Failed
regression: pair processing order	`['R', 'L', 'R', 'ON', 'AN', 'R', 'L', 'EN', 'L', 'R']`	`['R', 'L', 'L', 'ON', 'AN', 'L', 'L', 'EN', 'L', 'R']`	Failed
regression: pair processing order	`['L', 'R', 'L', 'L', 'L', 'R', 'R', 'L']`	`['L', 'R', 'R', 'L', 'R', 'R', 'R', 'L']`	Failed
number inside brackets in RTL context	`['R', 'R', 'EN', 'R']`	`['R', 'R', 'EN', 'R']`	Passed
nested pair in RTL embedding	`['L', 'R', 'L', 'L', 'L', 'R', 'R']`	`['L', 'R', 'R', 'L', 'R', 'R', 'R']`	Failed
control layout	`['ON', 'ON', 'R', 'L', 'L', 'L', 'R']`	`['ON', 'ON', 'R', 'L', 'L', 'L', 'R']`	Passed
control layout	`['R', 'R', 'EN', 'R', 'EN', 'R', 'ON', 'R', 'ON', 'ON', 'R', 'R']`	`['R', 'R', 'EN', 'R', 'EN', 'R', 'ON', 'R', 'ON', 'ON', 'R', 'R']`	Passed

SHA-256 / 7aa0214e7d8d9420024143d8f153955400ef775d421e45c3c876386cf1627844

3 / The verified repair

Exit 0

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    types, pairs, level, sos = x
    t = list(types)
    e = 'L' if level % 2 == 0 else 'R'
    def dirof(c):
        if c == 'L':
            return 'L'
        if c in ('R', 'EN', 'AN'):
            return 'R'
        return None
    for o, c in sorted(pairs):
        inside = [dirof(t[k]) for k in range(o + 1, c)]
        inside = [d for d in inside if d]
        if not inside:
            continue
        if e in inside:
            new = e
        else:
            ctx = sos
            for k in range(o - 1, -1, -1):
                d = dirof(t[k])
                if d:
                    ctx = d
                    break
            new = ctx
        t[o] = new
        t[c] = new
    return t
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[('nested pair uses updated outer bracket', [['R', 'ON', 'ON', 'R', 'ON', 'L', 'ON'], [[1, 6], [2, 4]], 0, 'L'], ['R', 'L', 'L', 'R', 'L', 'L', 'L']), ('regression: pair processing order', [['ON', 'ON', 'ON', 'AN', 'R', 'ON', 'L', 'EN', 'ON'], [[1, 8], [2, 5]], 0, 'R'], ['ON', 'L', 'L', 'AN', 'R', 'L', 'L', 'EN', 'L']), ('regression: pair processing order', [['R', 'ON', 'ON', 'ON', 'AN', 'ON', 'L', 'EN', 'ON', 'R'], [[1, 8], [2, 5]], 0, 'L'], ['R', 'L', 'L', 'ON', 'AN', 'L', 'L', 'EN', 'L', 'R']), ('regression: pair processing order', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON', 'L'], [[1, 6], [2, 4]], 1, 'L'], ['L', 'R', 'R', 'L', 'R', 'R', 'R', 'L']), ('number inside brackets in RTL context', [['R', 'ON', 'EN', 'ON'], [[1, 3]], 0, 'L'], ['R', 'R', 'EN', 'R']), ('nested pair in RTL embedding', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON'], [[1, 6], [2, 4]], 1, 'R'], ['L', 'R', 'R', 'L', 'R', 'R', 'R']), ('control layout', [['ON', 'ON', 'R', 'L', 'L', 'L', 'R'], [[0, 1]], 2, 'L'], ['ON', 'ON', 'R', 'L', 'L', 'L', 'R']), ('control layout', [['R', 'R', 'EN', 'ON', 'EN', 'ON', 'ON', 'R', 'ON', 'ON', 'ON', 'ON'], [[5, 10], [3, 11]], 0, 'R'], ['R', 'R', 'EN', 'R', 'EN', 'R', 'ON', 'R', 'ON', 'ON', 'R', 'R'])], [('regression: pair processing order', [['ON', 'ON', 'ON', 'R', 'ON', 'L', 'R', 'ON', 'R', 'L'], [[1, 7], [2, 4]], 2, 'R'], ['ON', 'L', 'L', 'R', 'L', 'L', 'R', 'L', 'R', 'L']), ('regression: pair processing order', [['EN', 'ON', 'ON', 'AN', 'ON', 'R', 'L', 'ON', 'R', 'L'], [[1, 7], [2, 4]], 0, 'R'], ['EN', 'L', 'L', 'AN', 'L', 'R', 'L', 'L', 'R', 'L']), ('regression: pair processing order', [['ON', 'ON', 'ON', 'R', 'ON', 'ON', 'L', 'ON'], [[1, 7], [2, 4]], 2, 'R'], ['ON', 'L', 'L', 'R', 'L', 'ON', 'L', 'L']), ('regression: pair processing order', [['ON', 'ON', 'ON', 'L', 'ON', 'ON', 'R', 'ON'], [[1, 7], [2, 4]], 1, 'L'], ['ON', 'R', 'R', 'L', 'R', 'ON', 'R', 'R']), ('number inside brackets in RTL context', [['R', 'ON', 'EN', 'ON'], [[1, 3]], 0, 'L'], ['R', 'R', 'EN', 'R']), ('nested pair uses updated outer bracket', [['R', 'ON', 'ON', 'R', 'ON', 'L', 'ON'], [[1, 6], [2, 4]], 0, 'L'], ['R', 'L', 'L', 'R', 'L', 'L', 'L']), ('control layout', [['R', 'AN', 'ON', 'AN', 'L', 'L', 'AN'], [], 0, 'L'], ['R', 'AN', 'ON', 'AN', 'L', 'L', 'AN']), ('control layout', [['EN', 'ON', 'ON', 'ON', 'ON', 'R', 'L', 'ON', 'L', 'R'], [[1, 7], [2, 4]], 0, 'R'], ['EN', 'L', 'ON', 'ON', 'ON', 'R', 'L', 'L', 'L', 'R'])], [('regression: pair processing order', [['R', 'ON', 'ON', 'R', 'ON', 'L', 'ON', 'L'], [[1, 6], [2, 4]], 2, 'R'], ['R', 'L', 'L', 'R', 'L', 'L', 'L', 'L']), ('regression: pair processing order', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON'], [[1, 6], [2, 4]], 1, 'R'], ['L', 'R', 'R', 'L', 'R', 'R', 'R']), ('regression: pair processing order', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON', 'L'], [[1, 6], [2, 4]], 1, 'L'], ['L', 'R', 'R', 'L', 'R', 'R', 'R', 'L']), ('regression: pair processing order', [['EN', 'ON', 'ON', 'AN', 'ON', 'ON', 'L', 'ON', 'L'], [[1, 7], [2, 5]], 0, 'R'], ['EN', 'L', 'L', 'AN', 'ON', 'L', 'L', 'L', 'L']), ('nested pair in RTL embedding', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON'], [[1, 6], [2, 4]], 1, 'R'], ['L', 'R', 'R', 'L', 'R', 'R', 'R']), ('nested pair uses updated outer bracket', [['R', 'ON', 'ON', 'R', 'ON', 'L', 'ON'], [[1, 6], [2, 4]], 0, 'L'], ['R', 'L', 'L', 'R', 'L', 'L', 'L']), ('control layout', [['L', 'EN', 'AN', 'R', 'EN', 'R', 'R', 'AN', 'EN', 'L'], [], 2, 'L'], ['L', 'EN', 'AN', 'R', 'EN', 'R', 'R', 'AN', 'EN', 'L']), ('control layout', [['R', 'L', 'ON', 'ON', 'ON', 'EN', 'R', 'AN', 'L', 'ON'], [[2, 3]], 1, 'R'], ['R', 'L', 'ON', 'ON', 'ON', 'EN', 'R', 'AN', 'L', 'ON'])], [('nested pair uses updated outer bracket', [['R', 'ON', 'ON', 'R', 'ON', 'L', 'ON'], [[1, 6], [2, 4]], 0, 'L'], ['R', 'L', 'L', 'R', 'L', 'L', 'L']), ('regression: pair processing order', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON'], [[1, 6], [2, 4]], 1, 'R'], ['L', 'R', 'R', 'L', 'R', 'R', 'R']), ('regression: pair processing order', [['R', 'ON', 'ON', 'ON', 'AN', 'ON', 'L', 'EN', 'ON', 'R'], [[1, 8], [2, 5]], 0, 'L'], ['R', 'L', 'L', 'ON', 'AN', 'L', 'L', 'EN', 'L', 'R']), ('regression: pair processing order', [['EN', 'ON', 'ON', 'AN', 'ON', 'ON', 'L', 'ON', 'L', 'L'], [[1, 7], [2, 4]], 2, 'R'], ['EN', 'L', 'L', 'AN', 'L', 'ON', 'L', 'L', 'L', 'L']), ('number inside brackets in RTL context', [['R', 'ON', 'EN', 'ON'], [[1, 3]], 0, 'L'], ['R', 'R', 'EN', 'R']), ('nested pair in RTL embedding', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON'], [[1, 6], [2, 4]], 1, 'R'], ['L', 'R', 'R', 'L', 'R', 'R', 'R']), ('control layout', [['R', 'ON', 'ON', 'AN', 'R', 'ON', 'ON', 'L', 'R'], [[1, 6], [2, 5]], 0, 'L'], ['R', 'R', 'R', 'AN', 'R', 'R', 'R', 'L', 'R']), ('control layout', [['AN', 'R', 'EN', 'ON', 'EN', 'ON', 'EN', 'ON', 'ON', 'ON', 'R'], [[5, 7]], 1, 'R'], ['AN', 'R', 'EN', 'ON', 'EN', 'R', 'EN', 'R', 'ON', 'ON', 'R'])], [('regression: pair processing order', [['ON', 'ON', 'ON', 'R', 'ON', 'L', 'R', 'ON', 'R'], [[1, 7], [2, 4]], 2, 'R'], ['ON', 'L', 'L', 'R', 'L', 'L', 'R', 'L', 'R']), ('nested pair in RTL embedding', [['L', 'ON', 'ON', 'L', 'ON', 'R', 'ON'], [[1, 6], [2, 4]], 1, 'R'], ['L', 'R', 'R', 'L', 'R', 'R', 'R']), ('regression: pair processing order', [['ON', 'ON', 'ON', 'R', 'ON', 'ON', 'L', 'ON'], [[1, 7], [2, 4]], 2, 'R'], ['ON', 'L', 'L', 'R', 'L', 'ON', 'L', 'L']), ('regression: pair processing order', [['R', 'ON', 'ON', 'R', 'ON', 'L', 'ON', 'L'], [[1, 6], [2, 4]], 2, 'R'], ['R', 'L', 'L', 'R', 'L', 'L', 'L', 'L']), ('number inside brackets in RTL context', [['R', 'ON', 'EN', 'ON'], [[1, 3]], 0, 'L'], ['R', 'R', 'EN', 'R']), ('nested pair uses updated outer bracket', [['R', 'ON', 'ON', 'R', 'ON', 'L', 'ON'], [[1, 6], [2, 4]], 0, 'L'], ['R', 'L', 'L', 'R', 'L', 'L', 'L']), ('control layout', [['L', 'ON', 'ON', 'AN', 'ON', 'L', 'ON'], [[1, 6], [2, 4]], 2, 'L'], ['L', 'L', 'L', 'AN', 'L', 'L', 'L']), ('control layout', [['R', 'L', 'R', 'AN', 'AN', 'R', 'ON', 'L', 'ON', 'L', 'ON'], [], 0, 'L'], ['R', 'L', 'R', 'AN', 'AN', 'R', 'ON', 'L', 'ON', 'L', 'ON'])]]
for label, args, expected in fixtures[N - 1]:
    check(label, solve(args), expected)
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
nested pair uses updated outer bracket	`['R', 'L', 'L', 'R', 'L', 'L', 'L']`	`['R', 'L', 'L', 'R', 'L', 'L', 'L']`	Passed
regression: pair processing order	`['ON', 'L', 'L', 'AN', 'R', 'L', 'L', 'EN', 'L']`	`['ON', 'L', 'L', 'AN', 'R', 'L', 'L', 'EN', 'L']`	Passed
regression: pair processing order	`['R', 'L', 'L', 'ON', 'AN', 'L', 'L', 'EN', 'L', 'R']`	`['R', 'L', 'L', 'ON', 'AN', 'L', 'L', 'EN', 'L', 'R']`	Passed
regression: pair processing order	`['L', 'R', 'R', 'L', 'R', 'R', 'R', 'L']`	`['L', 'R', 'R', 'L', 'R', 'R', 'R', 'L']`	Passed
number inside brackets in RTL context	`['R', 'R', 'EN', 'R']`	`['R', 'R', 'EN', 'R']`	Passed
nested pair in RTL embedding	`['L', 'R', 'R', 'L', 'R', 'R', 'R']`	`['L', 'R', 'R', 'L', 'R', 'R', 'R']`	Passed
control layout	`['ON', 'ON', 'R', 'L', 'L', 'L', 'R']`	`['ON', 'ON', 'R', 'L', 'L', 'L', 'R']`	Passed
control layout	`['R', 'R', 'EN', 'R', 'EN', 'R', 'ON', 'R', 'ON', 'ON', 'R', 'R']`	`['R', 'R', 'EN', 'R', 'EN', 'R', 'ON', 'R', 'ON', 'ON', 'R', 'R']`	Passed

SHA-256 / 600c019935484b8c0e50b90f261b556d77829764a3fa78fc00799df24c2e0581

Verification & scope

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.

Observations recorded using Python 3.12.14 at 2026-09-29T14:49:55.499798+00:00.

Case digest / 5761717be235c170a3d8590bc5d343a220ad39e7cf3b42f3c811332191110c51