FAILURE MAP
← Case archive

FA-80601 / Bidirectional text layout / Open access

Paired bracket direction: numbers inside brackets · case 01

Brackets around numbers in RTL text are not resolved as RTL.

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

ROOT CAUSE

Only R counts as a right-to-left strong type inside the pair.

THE FAILURE

Only R counts as a right-to-left strong type inside the pair.

Unsuccessful approach: Counting AN but not EN still ignores European digits.

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',):
            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 = [[('number inside brackets in RTL context', [['R', 'ON', 'EN', 'ON'], [[1, 3]], 0, 'L'], ['R', 'R', 'EN', 'R']), ('regression: numbers inside brackets', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'ON', 'L'], [[1, 6], [2, 5]], 1, 'R'], ['ON', 'R', 'R', 'AN', 'ON', 'R', 'R', 'L']), ('regression: numbers inside brackets', [['L', 'L', 'ON', 'ON', 'ON', 'ON', 'EN', 'ON', 'R', 'R', 'ON', 'ON'], [[2, 4], [5, 7], [10, 11]], 1, 'L'], ['L', 'L', 'ON', 'ON', 'ON', 'R', 'EN', 'R', 'R', 'R', 'ON', 'ON']), ('regression: numbers inside brackets', [['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']), ('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']), ('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', 'L', 'R', 'L'], [], 2, 'R'], ['ON', 'L', 'R', 'L']), ('control layout', [['EN', 'L', 'AN', 'ON', 'ON', 'AN'], [], 0, 'L'], ['EN', 'L', 'AN', 'ON', 'ON', 'AN'])], [('regression: numbers inside brackets', [['EN', 'ON', 'ON', 'AN', 'ON', 'ON', 'L', 'ON'], [[1, 7], [2, 5]], 1, 'L'], ['EN', 'R', 'R', 'AN', 'ON', 'R', 'L', 'R']), ('regression: numbers inside brackets', [['EN', 'ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'L', 'L'], [[1, 6], [2, 5]], 2, 'L'], ['EN', 'R', 'R', 'ON', 'AN', 'R', 'R', 'L', 'L']), ('regression: numbers inside brackets', [['L', 'ON', 'ON', 'ON', 'ON', 'EN', 'ON', 'EN'], [[2, 3], [4, 6]], 0, 'L'], ['L', 'ON', 'ON', 'ON', 'L', 'EN', 'L', 'EN']), ('regression: numbers inside brackets', [['L', 'ON', 'ON', 'L', 'ON', 'EN', 'ON', 'R', 'L'], [[1, 6], [2, 4]], 1, 'R'], ['L', 'R', 'R', 'L', 'R', 'EN', 'R', 'R', 'L']), ('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']), ('number inside brackets in RTL context', [['R', 'ON', 'EN', 'ON'], [[1, 3]], 0, 'L'], ['R', 'R', 'EN', 'R']), ('control layout', [['EN', 'L', 'EN', 'EN', 'L', 'R'], [], 2, 'L'], ['EN', 'L', 'EN', 'EN', 'L', 'R']), ('control layout', [['AN', 'ON', 'ON', 'ON', 'L', 'EN', 'L', 'R', 'R', 'R', 'R', 'ON', 'R'], [[2, 3]], 2, 'R'], ['AN', 'ON', 'ON', 'ON', 'L', 'EN', 'L', 'R', 'R', 'R', 'R', 'ON', 'R'])], [('regression: numbers inside brackets', [['EN', 'ON', 'ON', 'ON', 'ON', 'R', 'ON'], [[1, 6], [2, 4]], 2, 'L'], ['EN', 'R', 'ON', 'ON', 'ON', 'R', 'R']), ('regression: numbers inside brackets', [['L', 'ON', 'ON', 'L', 'AN', 'ON', 'ON'], [[1, 6], [2, 5]], 1, 'L'], ['L', 'R', 'R', 'L', 'AN', 'R', 'R']), ('regression: numbers inside brackets', [['EN', 'ON', 'ON', 'AN', 'ON', 'ON', 'ON', 'ON', 'L', 'R'], [[1, 7], [2, 5]], 0, 'L'], ['EN', 'R', 'R', 'AN', 'ON', 'R', 'ON', 'R', 'L', 'R']), ('regression: numbers inside brackets', [['L', 'ON', 'EN', 'ON', 'R', 'L', 'AN', 'R', 'ON', 'AN', 'ON', 'L', 'ON'], [[1, 3]], 2, 'L'], ['L', 'L', 'EN', 'L', 'R', 'L', 'AN', 'R', 'ON', 'AN', 'ON', 'L', 'ON']), ('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', 'AN', 'ON', 'ON', 'ON', 'L', 'ON', 'L', 'EN', 'ON', 'AN', 'L'], [], 1, 'R'], ['L', 'AN', 'ON', 'ON', 'ON', 'L', 'ON', 'L', 'EN', 'ON', 'AN', 'L']), ('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'])], [('regression: numbers inside brackets', [['L', 'ON', 'ON', 'L', 'AN', 'ON', 'ON'], [[1, 6], [2, 5]], 1, 'L'], ['L', 'R', 'R', 'L', 'AN', 'R', 'R']), ('regression: numbers inside brackets', [['R', 'ON', 'ON', 'AN', 'ON', 'ON'], [[1, 5], [2, 4]], 2, 'R'], ['R', 'R', 'R', 'AN', 'R', 'R']), ('regression: numbers inside brackets', [['EN', 'ON', 'ON', 'ON', 'ON', 'L', 'L', 'ON'], [[1, 7], [2, 4]], 1, 'L'], ['EN', 'R', 'ON', 'ON', 'ON', 'L', 'L', 'R']), ('regression: numbers inside brackets', [['L', 'ON', 'EN', 'ON', 'R', 'L', 'AN', 'R', 'ON', 'AN', 'ON', 'L', 'ON'], [[1, 3]], 2, 'L'], ['L', 'L', 'EN', 'L', 'R', 'L', 'AN', 'R', 'ON', 'AN', 'ON', 'L', 'ON']), ('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', [['R', 'ON', 'ON', 'R', 'R', 'ON', 'L', 'L', 'ON', 'L'], [[1, 8], [2, 5]], 2, 'R'], ['R', 'L', 'L', 'R', 'R', 'L', 'L', 'L', 'L', 'L']), ('control layout', [['ON', 'ON', 'ON', 'AN', 'R', 'ON', 'ON', 'ON', 'R', 'L'], [[1, 7], [2, 5]], 0, 'L'], ['ON', 'L', 'L', 'AN', 'R', 'L', 'ON', 'L', 'R', 'L'])], [('regression: numbers inside brackets', [['EN', 'ON', 'R', 'ON', 'ON', 'ON', 'AN', 'EN', 'L', 'R', 'R'], [[1, 3]], 2, 'L'], ['EN', 'R', 'R', 'R', 'ON', 'ON', 'AN', 'EN', 'L', 'R', 'R']), ('regression: numbers inside brackets', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'ON', 'ON', 'R'], [[1, 7], [2, 4]], 0, 'L'], ['ON', 'L', 'L', 'AN', 'L', 'ON', 'ON', 'L', 'R']), ('regression: numbers inside brackets', [['EN', 'ON', 'ON', 'ON', 'ON', 'EN', 'ON'], [[1, 6], [2, 4]], 2, 'L'], ['EN', 'R', 'ON', 'ON', 'ON', 'EN', 'R']), ('regression: numbers inside brackets', [['ON', 'EN', 'ON', 'R', 'ON', 'EN', 'ON', 'ON', 'R'], [[4, 6]], 2, 'L'], ['ON', 'EN', 'ON', 'R', 'R', 'EN', 'R', 'ON', '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']), ('number inside brackets in RTL context', [['R', 'ON', 'EN', 'ON'], [[1, 3]], 0, 'L'], ['R', 'R', 'EN', 'R']), ('control layout', [['EN', 'ON', 'ON', 'R', 'L', 'ON', 'ON', 'ON', 'ON', 'L', 'L'], [[1, 8], [2, 5]], 0, 'R'], ['EN', 'L', 'L', 'R', 'L', 'L', 'ON', 'ON', 'L', 'L', 'L']), ('control layout', [['R', 'ON', 'R', 'ON', 'ON', 'L', 'EN', 'ON', 'AN'], [], 0, 'L'], ['R', 'ON', 'R', 'ON', 'ON', 'L', 'EN', 'ON', 'AN'])]]
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 fixtureActualExpectedOutcome
number inside brackets in RTL context['R', 'ON', 'EN', 'ON']['R', 'R', 'EN', 'R']Failed
regression: numbers inside brackets['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'ON', 'L']['ON', 'R', 'R', 'AN', 'ON', 'R', 'R', 'L']Failed
regression: numbers inside brackets['L', 'L', 'ON', 'ON', 'ON', 'ON', 'EN', 'ON', 'R', 'R', 'ON', 'ON']['L', 'L', 'ON', 'ON', 'ON', 'R', 'EN', 'R', 'R', 'R', 'ON', 'ON']Failed
regression: numbers inside brackets['AN', 'R', 'EN', 'ON', 'EN', 'ON', 'EN', 'ON', 'ON', 'ON', 'R']['AN', 'R', 'EN', 'ON', 'EN', 'R', 'EN', 'R', 'ON', 'ON', 'R']Failed
nested pair uses updated outer bracket['R', 'L', 'L', 'R', 'L', 'L', 'L']['R', 'L', 'L', 'R', 'L', 'L', 'L']Passed
nested pair in RTL embedding['L', 'R', 'R', 'L', 'R', 'R', 'R']['L', 'R', 'R', 'L', 'R', 'R', 'R']Passed
control layout['ON', 'L', 'R', 'L']['ON', 'L', 'R', 'L']Passed
control layout['EN', 'L', 'AN', 'ON', 'ON', 'AN']['EN', 'L', 'AN', 'ON', 'ON', 'AN']Passed

SHA-256 / b0f7557f410b43ff69d19a8964c7a65bc62045accf8292749d3fc45e94132e50

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', '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 = [[('number inside brackets in RTL context', [['R', 'ON', 'EN', 'ON'], [[1, 3]], 0, 'L'], ['R', 'R', 'EN', 'R']), ('regression: numbers inside brackets', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'ON', 'L'], [[1, 6], [2, 5]], 1, 'R'], ['ON', 'R', 'R', 'AN', 'ON', 'R', 'R', 'L']), ('regression: numbers inside brackets', [['L', 'L', 'ON', 'ON', 'ON', 'ON', 'EN', 'ON', 'R', 'R', 'ON', 'ON'], [[2, 4], [5, 7], [10, 11]], 1, 'L'], ['L', 'L', 'ON', 'ON', 'ON', 'R', 'EN', 'R', 'R', 'R', 'ON', 'ON']), ('regression: numbers inside brackets', [['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']), ('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']), ('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', 'L', 'R', 'L'], [], 2, 'R'], ['ON', 'L', 'R', 'L']), ('control layout', [['EN', 'L', 'AN', 'ON', 'ON', 'AN'], [], 0, 'L'], ['EN', 'L', 'AN', 'ON', 'ON', 'AN'])], [('regression: numbers inside brackets', [['EN', 'ON', 'ON', 'AN', 'ON', 'ON', 'L', 'ON'], [[1, 7], [2, 5]], 1, 'L'], ['EN', 'R', 'R', 'AN', 'ON', 'R', 'L', 'R']), ('regression: numbers inside brackets', [['EN', 'ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'L', 'L'], [[1, 6], [2, 5]], 2, 'L'], ['EN', 'R', 'R', 'ON', 'AN', 'R', 'R', 'L', 'L']), ('regression: numbers inside brackets', [['L', 'ON', 'ON', 'ON', 'ON', 'EN', 'ON', 'EN'], [[2, 3], [4, 6]], 0, 'L'], ['L', 'ON', 'ON', 'ON', 'L', 'EN', 'L', 'EN']), ('regression: numbers inside brackets', [['L', 'ON', 'ON', 'L', 'ON', 'EN', 'ON', 'R', 'L'], [[1, 6], [2, 4]], 1, 'R'], ['L', 'R', 'R', 'L', 'R', 'EN', 'R', 'R', 'L']), ('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']), ('number inside brackets in RTL context', [['R', 'ON', 'EN', 'ON'], [[1, 3]], 0, 'L'], ['R', 'R', 'EN', 'R']), ('control layout', [['EN', 'L', 'EN', 'EN', 'L', 'R'], [], 2, 'L'], ['EN', 'L', 'EN', 'EN', 'L', 'R']), ('control layout', [['AN', 'ON', 'ON', 'ON', 'L', 'EN', 'L', 'R', 'R', 'R', 'R', 'ON', 'R'], [[2, 3]], 2, 'R'], ['AN', 'ON', 'ON', 'ON', 'L', 'EN', 'L', 'R', 'R', 'R', 'R', 'ON', 'R'])], [('regression: numbers inside brackets', [['EN', 'ON', 'ON', 'ON', 'ON', 'R', 'ON'], [[1, 6], [2, 4]], 2, 'L'], ['EN', 'R', 'ON', 'ON', 'ON', 'R', 'R']), ('regression: numbers inside brackets', [['L', 'ON', 'ON', 'L', 'AN', 'ON', 'ON'], [[1, 6], [2, 5]], 1, 'L'], ['L', 'R', 'R', 'L', 'AN', 'R', 'R']), ('regression: numbers inside brackets', [['EN', 'ON', 'ON', 'AN', 'ON', 'ON', 'ON', 'ON', 'L', 'R'], [[1, 7], [2, 5]], 0, 'L'], ['EN', 'R', 'R', 'AN', 'ON', 'R', 'ON', 'R', 'L', 'R']), ('regression: numbers inside brackets', [['L', 'ON', 'EN', 'ON', 'R', 'L', 'AN', 'R', 'ON', 'AN', 'ON', 'L', 'ON'], [[1, 3]], 2, 'L'], ['L', 'L', 'EN', 'L', 'R', 'L', 'AN', 'R', 'ON', 'AN', 'ON', 'L', 'ON']), ('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', 'AN', 'ON', 'ON', 'ON', 'L', 'ON', 'L', 'EN', 'ON', 'AN', 'L'], [], 1, 'R'], ['L', 'AN', 'ON', 'ON', 'ON', 'L', 'ON', 'L', 'EN', 'ON', 'AN', 'L']), ('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'])], [('regression: numbers inside brackets', [['L', 'ON', 'ON', 'L', 'AN', 'ON', 'ON'], [[1, 6], [2, 5]], 1, 'L'], ['L', 'R', 'R', 'L', 'AN', 'R', 'R']), ('regression: numbers inside brackets', [['R', 'ON', 'ON', 'AN', 'ON', 'ON'], [[1, 5], [2, 4]], 2, 'R'], ['R', 'R', 'R', 'AN', 'R', 'R']), ('regression: numbers inside brackets', [['EN', 'ON', 'ON', 'ON', 'ON', 'L', 'L', 'ON'], [[1, 7], [2, 4]], 1, 'L'], ['EN', 'R', 'ON', 'ON', 'ON', 'L', 'L', 'R']), ('regression: numbers inside brackets', [['L', 'ON', 'EN', 'ON', 'R', 'L', 'AN', 'R', 'ON', 'AN', 'ON', 'L', 'ON'], [[1, 3]], 2, 'L'], ['L', 'L', 'EN', 'L', 'R', 'L', 'AN', 'R', 'ON', 'AN', 'ON', 'L', 'ON']), ('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', [['R', 'ON', 'ON', 'R', 'R', 'ON', 'L', 'L', 'ON', 'L'], [[1, 8], [2, 5]], 2, 'R'], ['R', 'L', 'L', 'R', 'R', 'L', 'L', 'L', 'L', 'L']), ('control layout', [['ON', 'ON', 'ON', 'AN', 'R', 'ON', 'ON', 'ON', 'R', 'L'], [[1, 7], [2, 5]], 0, 'L'], ['ON', 'L', 'L', 'AN', 'R', 'L', 'ON', 'L', 'R', 'L'])], [('regression: numbers inside brackets', [['EN', 'ON', 'R', 'ON', 'ON', 'ON', 'AN', 'EN', 'L', 'R', 'R'], [[1, 3]], 2, 'L'], ['EN', 'R', 'R', 'R', 'ON', 'ON', 'AN', 'EN', 'L', 'R', 'R']), ('regression: numbers inside brackets', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'ON', 'ON', 'R'], [[1, 7], [2, 4]], 0, 'L'], ['ON', 'L', 'L', 'AN', 'L', 'ON', 'ON', 'L', 'R']), ('regression: numbers inside brackets', [['EN', 'ON', 'ON', 'ON', 'ON', 'EN', 'ON'], [[1, 6], [2, 4]], 2, 'L'], ['EN', 'R', 'ON', 'ON', 'ON', 'EN', 'R']), ('regression: numbers inside brackets', [['ON', 'EN', 'ON', 'R', 'ON', 'EN', 'ON', 'ON', 'R'], [[4, 6]], 2, 'L'], ['ON', 'EN', 'ON', 'R', 'R', 'EN', 'R', 'ON', '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']), ('number inside brackets in RTL context', [['R', 'ON', 'EN', 'ON'], [[1, 3]], 0, 'L'], ['R', 'R', 'EN', 'R']), ('control layout', [['EN', 'ON', 'ON', 'R', 'L', 'ON', 'ON', 'ON', 'ON', 'L', 'L'], [[1, 8], [2, 5]], 0, 'R'], ['EN', 'L', 'L', 'R', 'L', 'L', 'ON', 'ON', 'L', 'L', 'L']), ('control layout', [['R', 'ON', 'R', 'ON', 'ON', 'L', 'EN', 'ON', 'AN'], [], 0, 'L'], ['R', 'ON', 'R', 'ON', 'ON', 'L', 'EN', 'ON', 'AN'])]]
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 fixtureActualExpectedOutcome
number inside brackets in RTL context['R', 'ON', 'EN', 'ON']['R', 'R', 'EN', 'R']Failed
regression: numbers inside brackets['ON', 'R', 'R', 'AN', 'ON', 'R', 'R', 'L']['ON', 'R', 'R', 'AN', 'ON', 'R', 'R', 'L']Passed
regression: numbers inside brackets['L', 'L', 'ON', 'ON', 'ON', 'ON', 'EN', 'ON', 'R', 'R', 'ON', 'ON']['L', 'L', 'ON', 'ON', 'ON', 'R', 'EN', 'R', 'R', 'R', 'ON', 'ON']Failed
regression: numbers inside brackets['AN', 'R', 'EN', 'ON', 'EN', 'ON', 'EN', 'ON', 'ON', 'ON', 'R']['AN', 'R', 'EN', 'ON', 'EN', 'R', 'EN', 'R', 'ON', 'ON', 'R']Failed
nested pair uses updated outer bracket['R', 'L', 'L', 'R', 'L', 'L', 'L']['R', 'L', 'L', 'R', 'L', 'L', 'L']Passed
nested pair in RTL embedding['L', 'R', 'R', 'L', 'R', 'R', 'R']['L', 'R', 'R', 'L', 'R', 'R', 'R']Passed
control layout['ON', 'L', 'R', 'L']['ON', 'L', 'R', 'L']Passed
control layout['EN', 'L', 'AN', 'ON', 'ON', 'AN']['EN', 'L', 'AN', 'ON', 'ON', 'AN']Passed

SHA-256 / dd149e25470307c0cb54e3fa8dbc56a7ed07b597955305376d90f31392765fc5

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 8 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.

Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.

Member access is invitation-based. Sign in with your invited account to inspect the repair.

Sign in to the archive ↗

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.471735+00:00.

Case digest / ef791b807baabf35c40f651d3d631f5f199d70a2be9b71e45114cb7b413d4ec6