FA-80611 / Bidirectional text layout / Open access

Paired bracket direction: context fallback · case 01

Brackets at the start of a sequence ignore the sequence start type.

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

ROOT CAUSE

The context search falls back to the embedding direction instead of sos.

VERIFIED REPAIR

Fall back to sos when no strong type precedes the opener.

Unsuccessful approach: Falling back to L ignores RTL sequence starts.

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):
        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 = e
            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 = [[('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'R', 'R'], [[1, 5], [2, 4]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'R', 'R', 'R', 'R']), ('regression: context fallback', [['ON', 'ON', 'ON', 'ON', 'R', 'ON', 'ON', 'ON', 'R', 'L'], [[1, 7], [2, 5]], 0, 'R'], ['ON', 'R', 'R', 'ON', 'R', 'R', 'ON', 'R', 'R', 'L']), ('regression: context fallback', [['ON', 'EN', 'EN', 'ON', 'ON', 'EN', 'ON', 'L', 'ON'], [[0, 3], [6, 8]], 2, 'R'], ['R', 'EN', 'EN', 'R', 'ON', 'EN', 'L', 'L', 'L']), ('partial-repair probe', [['ON', 'ON', 'ON', 'ON', 'L', 'ON', 'ON', 'L'], [[1, 6], [2, 5]], 1, 'R'], ['ON', 'R', 'R', 'ON', 'L', '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']), ('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', 'ON', 'ON', 'L', 'ON', 'R', 'ON', 'L', 'R'], [[3, 4]], 0, 'R'], ['R', 'ON', 'ON', 'ON', 'ON', 'L', 'ON', 'R', 'ON', 'L', 'R']), ('control layout', [['R', 'L', 'ON', 'L', 'R', 'AN', 'L', 'R', 'ON', 'ON', 'L', 'L'], [], 1, 'R'], ['R', 'L', 'ON', 'L', 'R', 'AN', 'L', 'R', 'ON', 'ON', 'L', 'L'])], [('regression: context fallback', [['ON', 'ON', 'ON', 'ON', 'R', 'ON', 'ON', 'ON', 'R', 'L'], [[1, 7], [2, 5]], 0, 'R'], ['ON', 'R', 'R', 'ON', 'R', 'R', 'ON', 'R', 'R', 'L']), ('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'ON', 'R'], [[1, 6], [2, 5]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'ON', 'R', 'R', 'R']), ('regression: context fallback', [['ON', 'ON', 'ON', 'R', 'ON', 'ON'], [[2, 4]], 0, 'R'], ['ON', 'ON', 'R', 'R', 'R', 'ON']), ('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'R', 'R'], [[1, 5], [2, 4]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'R', 'R', 'R', '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']), ('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', [['ON', 'EN', 'L', 'EN', 'ON', 'EN'], [], 1, 'L'], ['ON', 'EN', 'L', 'EN', 'ON', 'EN']), ('control layout', [['R', 'R', 'ON'], [], 1, 'R'], ['R', 'R', 'ON'])], [('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'L', 'L'], [[1, 5], [2, 4]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'R', 'R', 'L', 'L']), ('regression: context fallback', [['ON', 'EN', 'EN', 'ON', 'ON', 'EN', 'ON', 'L', 'ON'], [[0, 3], [6, 8]], 2, 'R'], ['R', 'EN', 'EN', 'R', 'ON', 'EN', 'L', 'L', 'L']), ('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'ON', 'R'], [[1, 6], [2, 5]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'ON', 'R', 'R', 'R']), ('regression: context fallback', [['ON', 'ON', 'ON', 'R', 'ON', 'ON'], [[2, 4]], 0, 'R'], ['ON', 'ON', 'R', 'R', 'R', 'ON']), ('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', 'R', 'R', 'ON', 'ON', 'ON', 'R'], [[1, 7], [2, 5]], 1, 'L'], ['R', 'R', 'R', 'R', 'R', 'R', 'ON', 'R', 'R']), ('control layout', [['R', 'EN', 'AN'], [], 1, 'L'], ['R', 'EN', 'AN'])], [('regression: context fallback', [['ON', 'ON', 'ON', 'R', 'ON', 'ON'], [[2, 4]], 0, 'R'], ['ON', 'ON', 'R', 'R', 'R', 'ON']), ('regression: context fallback', [['ON', 'ON', 'ON', 'ON', 'R', 'ON', 'ON', 'ON', 'R', 'L'], [[1, 7], [2, 5]], 0, 'R'], ['ON', 'R', 'R', 'ON', 'R', 'R', 'ON', 'R', 'R', 'L']), ('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'R', 'R'], [[1, 5], [2, 4]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'R', 'R', 'R', 'R']), ('regression: context fallback', [['ON', 'EN', 'EN', 'ON', 'ON', 'EN', 'ON', 'L', 'ON'], [[0, 3], [6, 8]], 2, 'R'], ['R', 'EN', 'EN', 'R', 'ON', 'EN', 'L', 'L', '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', [['ON', 'AN', 'ON', 'ON', 'ON'], [], 2, 'L'], ['ON', 'AN', 'ON', 'ON', 'ON']), ('control layout', [['AN', 'ON', 'ON', 'ON', 'ON'], [[1, 2]], 0, 'R'], ['AN', 'ON', 'ON', 'ON', 'ON'])], [('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'R', 'R'], [[1, 5], [2, 4]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'R', 'R', 'R', 'R']), ('regression: context fallback', [['ON', 'EN', 'EN', 'ON', 'ON', 'EN', 'ON', 'L', 'ON'], [[0, 3], [6, 8]], 2, 'R'], ['R', 'EN', 'EN', 'R', 'ON', 'EN', 'L', 'L', 'L']), ('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'L', 'L'], [[1, 5], [2, 4]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'R', 'R', 'L', 'L']), ('regression: context fallback', [['ON', 'EN', 'AN', 'ON', 'ON', 'L', 'ON', 'ON', 'L', 'AN', 'L'], [[0, 3], [4, 6]], 0, 'R'], ['R', 'EN', 'AN', 'R', 'L', 'L', 'L', 'ON', 'L', 'AN', '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']), ('number inside brackets in RTL context', [['R', 'ON', 'EN', 'ON'], [[1, 3]], 0, 'L'], ['R', 'R', 'EN', 'R']), ('control layout', [['R', 'L', 'R', 'EN', 'ON', 'ON', 'R', 'AN', 'EN', 'EN', 'AN', 'ON', 'ON', 'R'], [], 1, 'L'], ['R', 'L', 'R', 'EN', 'ON', 'ON', 'R', 'AN', 'EN', 'EN', 'AN', 'ON', 'ON', 'R']), ('control layout', [['L', 'ON', 'ON', 'ON', 'ON', 'ON'], [[1, 5], [2, 4]], 1, 'R'], ['L', 'ON', 'ON', 'ON', 'ON', '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
regression: context fallback	`['ON', 'L', 'L', 'AN', 'L', 'L', 'R', 'R']`	`['ON', 'R', 'R', 'AN', 'R', 'R', 'R', 'R']`	Failed
regression: context fallback	`['ON', 'L', 'L', 'ON', 'R', 'L', 'ON', 'L', 'R', 'L']`	`['ON', 'R', 'R', 'ON', 'R', 'R', 'ON', 'R', 'R', 'L']`	Failed
regression: context fallback	`['L', 'EN', 'EN', 'L', 'ON', 'EN', 'L', 'L', 'L']`	`['R', 'EN', 'EN', 'R', 'ON', 'EN', 'L', 'L', 'L']`	Failed
partial-repair probe	`['ON', 'R', 'R', 'ON', 'L', 'R', 'R', 'L']`	`['ON', 'R', 'R', 'ON', 'L', 'R', 'R', 'L']`	Passed
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	`['R', 'ON', 'ON', 'ON', 'ON', 'L', 'ON', 'R', 'ON', 'L', 'R']`	`['R', 'ON', 'ON', 'ON', 'ON', 'L', 'ON', 'R', 'ON', 'L', 'R']`	Passed
control layout	`['R', 'L', 'ON', 'L', 'R', 'AN', 'L', 'R', 'ON', 'ON', 'L', 'L']`	`['R', 'L', 'ON', 'L', 'R', 'AN', 'L', 'R', 'ON', 'ON', 'L', 'L']`	Passed

SHA-256 / 01aa1b380f2dc070077b9b973c2532e5fb4d7ce02cb51ba46eb11e46a43d6d47

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 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 = 'L'
            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 = [[('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'R', 'R'], [[1, 5], [2, 4]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'R', 'R', 'R', 'R']), ('regression: context fallback', [['ON', 'ON', 'ON', 'ON', 'R', 'ON', 'ON', 'ON', 'R', 'L'], [[1, 7], [2, 5]], 0, 'R'], ['ON', 'R', 'R', 'ON', 'R', 'R', 'ON', 'R', 'R', 'L']), ('regression: context fallback', [['ON', 'EN', 'EN', 'ON', 'ON', 'EN', 'ON', 'L', 'ON'], [[0, 3], [6, 8]], 2, 'R'], ['R', 'EN', 'EN', 'R', 'ON', 'EN', 'L', 'L', 'L']), ('partial-repair probe', [['ON', 'ON', 'ON', 'ON', 'L', 'ON', 'ON', 'L'], [[1, 6], [2, 5]], 1, 'R'], ['ON', 'R', 'R', 'ON', 'L', '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']), ('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', 'ON', 'ON', 'L', 'ON', 'R', 'ON', 'L', 'R'], [[3, 4]], 0, 'R'], ['R', 'ON', 'ON', 'ON', 'ON', 'L', 'ON', 'R', 'ON', 'L', 'R']), ('control layout', [['R', 'L', 'ON', 'L', 'R', 'AN', 'L', 'R', 'ON', 'ON', 'L', 'L'], [], 1, 'R'], ['R', 'L', 'ON', 'L', 'R', 'AN', 'L', 'R', 'ON', 'ON', 'L', 'L'])], [('regression: context fallback', [['ON', 'ON', 'ON', 'ON', 'R', 'ON', 'ON', 'ON', 'R', 'L'], [[1, 7], [2, 5]], 0, 'R'], ['ON', 'R', 'R', 'ON', 'R', 'R', 'ON', 'R', 'R', 'L']), ('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'ON', 'R'], [[1, 6], [2, 5]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'ON', 'R', 'R', 'R']), ('regression: context fallback', [['ON', 'ON', 'ON', 'R', 'ON', 'ON'], [[2, 4]], 0, 'R'], ['ON', 'ON', 'R', 'R', 'R', 'ON']), ('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'R', 'R'], [[1, 5], [2, 4]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'R', 'R', 'R', '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']), ('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', [['ON', 'EN', 'L', 'EN', 'ON', 'EN'], [], 1, 'L'], ['ON', 'EN', 'L', 'EN', 'ON', 'EN']), ('control layout', [['R', 'R', 'ON'], [], 1, 'R'], ['R', 'R', 'ON'])], [('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'L', 'L'], [[1, 5], [2, 4]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'R', 'R', 'L', 'L']), ('regression: context fallback', [['ON', 'EN', 'EN', 'ON', 'ON', 'EN', 'ON', 'L', 'ON'], [[0, 3], [6, 8]], 2, 'R'], ['R', 'EN', 'EN', 'R', 'ON', 'EN', 'L', 'L', 'L']), ('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'ON', 'R'], [[1, 6], [2, 5]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'ON', 'R', 'R', 'R']), ('regression: context fallback', [['ON', 'ON', 'ON', 'R', 'ON', 'ON'], [[2, 4]], 0, 'R'], ['ON', 'ON', 'R', 'R', 'R', 'ON']), ('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', 'R', 'R', 'ON', 'ON', 'ON', 'R'], [[1, 7], [2, 5]], 1, 'L'], ['R', 'R', 'R', 'R', 'R', 'R', 'ON', 'R', 'R']), ('control layout', [['R', 'EN', 'AN'], [], 1, 'L'], ['R', 'EN', 'AN'])], [('regression: context fallback', [['ON', 'ON', 'ON', 'R', 'ON', 'ON'], [[2, 4]], 0, 'R'], ['ON', 'ON', 'R', 'R', 'R', 'ON']), ('regression: context fallback', [['ON', 'ON', 'ON', 'ON', 'R', 'ON', 'ON', 'ON', 'R', 'L'], [[1, 7], [2, 5]], 0, 'R'], ['ON', 'R', 'R', 'ON', 'R', 'R', 'ON', 'R', 'R', 'L']), ('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'R', 'R'], [[1, 5], [2, 4]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'R', 'R', 'R', 'R']), ('regression: context fallback', [['ON', 'EN', 'EN', 'ON', 'ON', 'EN', 'ON', 'L', 'ON'], [[0, 3], [6, 8]], 2, 'R'], ['R', 'EN', 'EN', 'R', 'ON', 'EN', 'L', 'L', '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', [['ON', 'AN', 'ON', 'ON', 'ON'], [], 2, 'L'], ['ON', 'AN', 'ON', 'ON', 'ON']), ('control layout', [['AN', 'ON', 'ON', 'ON', 'ON'], [[1, 2]], 0, 'R'], ['AN', 'ON', 'ON', 'ON', 'ON'])], [('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'R', 'R'], [[1, 5], [2, 4]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'R', 'R', 'R', 'R']), ('regression: context fallback', [['ON', 'EN', 'EN', 'ON', 'ON', 'EN', 'ON', 'L', 'ON'], [[0, 3], [6, 8]], 2, 'R'], ['R', 'EN', 'EN', 'R', 'ON', 'EN', 'L', 'L', 'L']), ('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'L', 'L'], [[1, 5], [2, 4]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'R', 'R', 'L', 'L']), ('regression: context fallback', [['ON', 'EN', 'AN', 'ON', 'ON', 'L', 'ON', 'ON', 'L', 'AN', 'L'], [[0, 3], [4, 6]], 0, 'R'], ['R', 'EN', 'AN', 'R', 'L', 'L', 'L', 'ON', 'L', 'AN', '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']), ('number inside brackets in RTL context', [['R', 'ON', 'EN', 'ON'], [[1, 3]], 0, 'L'], ['R', 'R', 'EN', 'R']), ('control layout', [['R', 'L', 'R', 'EN', 'ON', 'ON', 'R', 'AN', 'EN', 'EN', 'AN', 'ON', 'ON', 'R'], [], 1, 'L'], ['R', 'L', 'R', 'EN', 'ON', 'ON', 'R', 'AN', 'EN', 'EN', 'AN', 'ON', 'ON', 'R']), ('control layout', [['L', 'ON', 'ON', 'ON', 'ON', 'ON'], [[1, 5], [2, 4]], 1, 'R'], ['L', 'ON', 'ON', 'ON', 'ON', '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
regression: context fallback	`['ON', 'L', 'L', 'AN', 'L', 'L', 'R', 'R']`	`['ON', 'R', 'R', 'AN', 'R', 'R', 'R', 'R']`	Failed
regression: context fallback	`['ON', 'L', 'L', 'ON', 'R', 'L', 'ON', 'L', 'R', 'L']`	`['ON', 'R', 'R', 'ON', 'R', 'R', 'ON', 'R', 'R', 'L']`	Failed
regression: context fallback	`['L', 'EN', 'EN', 'L', 'ON', 'EN', 'L', 'L', 'L']`	`['R', 'EN', 'EN', 'R', 'ON', 'EN', 'L', 'L', 'L']`	Failed
partial-repair probe	`['ON', 'L', 'L', 'ON', 'L', 'L', 'L', 'L']`	`['ON', 'R', 'R', 'ON', 'L', 'R', 'R', 'L']`	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	`['R', 'ON', 'ON', 'ON', 'ON', 'L', 'ON', 'R', 'ON', 'L', 'R']`	`['R', 'ON', 'ON', 'ON', 'ON', 'L', 'ON', 'R', 'ON', 'L', 'R']`	Passed
control layout	`['R', 'L', 'ON', 'L', 'R', 'AN', 'L', 'R', 'ON', 'ON', 'L', 'L']`	`['R', 'L', 'ON', 'L', 'R', 'AN', 'L', 'R', 'ON', 'ON', 'L', 'L']`	Passed

SHA-256 / d3fd747504c0949f1fee13e665cc6686d1a12d81a1953769284b89718fdb41bd

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 = [[('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'R', 'R'], [[1, 5], [2, 4]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'R', 'R', 'R', 'R']), ('regression: context fallback', [['ON', 'ON', 'ON', 'ON', 'R', 'ON', 'ON', 'ON', 'R', 'L'], [[1, 7], [2, 5]], 0, 'R'], ['ON', 'R', 'R', 'ON', 'R', 'R', 'ON', 'R', 'R', 'L']), ('regression: context fallback', [['ON', 'EN', 'EN', 'ON', 'ON', 'EN', 'ON', 'L', 'ON'], [[0, 3], [6, 8]], 2, 'R'], ['R', 'EN', 'EN', 'R', 'ON', 'EN', 'L', 'L', 'L']), ('partial-repair probe', [['ON', 'ON', 'ON', 'ON', 'L', 'ON', 'ON', 'L'], [[1, 6], [2, 5]], 1, 'R'], ['ON', 'R', 'R', 'ON', 'L', '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']), ('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', 'ON', 'ON', 'L', 'ON', 'R', 'ON', 'L', 'R'], [[3, 4]], 0, 'R'], ['R', 'ON', 'ON', 'ON', 'ON', 'L', 'ON', 'R', 'ON', 'L', 'R']), ('control layout', [['R', 'L', 'ON', 'L', 'R', 'AN', 'L', 'R', 'ON', 'ON', 'L', 'L'], [], 1, 'R'], ['R', 'L', 'ON', 'L', 'R', 'AN', 'L', 'R', 'ON', 'ON', 'L', 'L'])], [('regression: context fallback', [['ON', 'ON', 'ON', 'ON', 'R', 'ON', 'ON', 'ON', 'R', 'L'], [[1, 7], [2, 5]], 0, 'R'], ['ON', 'R', 'R', 'ON', 'R', 'R', 'ON', 'R', 'R', 'L']), ('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'ON', 'R'], [[1, 6], [2, 5]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'ON', 'R', 'R', 'R']), ('regression: context fallback', [['ON', 'ON', 'ON', 'R', 'ON', 'ON'], [[2, 4]], 0, 'R'], ['ON', 'ON', 'R', 'R', 'R', 'ON']), ('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'R', 'R'], [[1, 5], [2, 4]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'R', 'R', 'R', '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']), ('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', [['ON', 'EN', 'L', 'EN', 'ON', 'EN'], [], 1, 'L'], ['ON', 'EN', 'L', 'EN', 'ON', 'EN']), ('control layout', [['R', 'R', 'ON'], [], 1, 'R'], ['R', 'R', 'ON'])], [('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'L', 'L'], [[1, 5], [2, 4]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'R', 'R', 'L', 'L']), ('regression: context fallback', [['ON', 'EN', 'EN', 'ON', 'ON', 'EN', 'ON', 'L', 'ON'], [[0, 3], [6, 8]], 2, 'R'], ['R', 'EN', 'EN', 'R', 'ON', 'EN', 'L', 'L', 'L']), ('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'ON', 'R'], [[1, 6], [2, 5]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'ON', 'R', 'R', 'R']), ('regression: context fallback', [['ON', 'ON', 'ON', 'R', 'ON', 'ON'], [[2, 4]], 0, 'R'], ['ON', 'ON', 'R', 'R', 'R', 'ON']), ('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', 'R', 'R', 'ON', 'ON', 'ON', 'R'], [[1, 7], [2, 5]], 1, 'L'], ['R', 'R', 'R', 'R', 'R', 'R', 'ON', 'R', 'R']), ('control layout', [['R', 'EN', 'AN'], [], 1, 'L'], ['R', 'EN', 'AN'])], [('regression: context fallback', [['ON', 'ON', 'ON', 'R', 'ON', 'ON'], [[2, 4]], 0, 'R'], ['ON', 'ON', 'R', 'R', 'R', 'ON']), ('regression: context fallback', [['ON', 'ON', 'ON', 'ON', 'R', 'ON', 'ON', 'ON', 'R', 'L'], [[1, 7], [2, 5]], 0, 'R'], ['ON', 'R', 'R', 'ON', 'R', 'R', 'ON', 'R', 'R', 'L']), ('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'R', 'R'], [[1, 5], [2, 4]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'R', 'R', 'R', 'R']), ('regression: context fallback', [['ON', 'EN', 'EN', 'ON', 'ON', 'EN', 'ON', 'L', 'ON'], [[0, 3], [6, 8]], 2, 'R'], ['R', 'EN', 'EN', 'R', 'ON', 'EN', 'L', 'L', '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', [['ON', 'AN', 'ON', 'ON', 'ON'], [], 2, 'L'], ['ON', 'AN', 'ON', 'ON', 'ON']), ('control layout', [['AN', 'ON', 'ON', 'ON', 'ON'], [[1, 2]], 0, 'R'], ['AN', 'ON', 'ON', 'ON', 'ON'])], [('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'R', 'R'], [[1, 5], [2, 4]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'R', 'R', 'R', 'R']), ('regression: context fallback', [['ON', 'EN', 'EN', 'ON', 'ON', 'EN', 'ON', 'L', 'ON'], [[0, 3], [6, 8]], 2, 'R'], ['R', 'EN', 'EN', 'R', 'ON', 'EN', 'L', 'L', 'L']), ('regression: context fallback', [['ON', 'ON', 'ON', 'AN', 'ON', 'ON', 'L', 'L'], [[1, 5], [2, 4]], 0, 'R'], ['ON', 'R', 'R', 'AN', 'R', 'R', 'L', 'L']), ('regression: context fallback', [['ON', 'EN', 'AN', 'ON', 'ON', 'L', 'ON', 'ON', 'L', 'AN', 'L'], [[0, 3], [4, 6]], 0, 'R'], ['R', 'EN', 'AN', 'R', 'L', 'L', 'L', 'ON', 'L', 'AN', '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']), ('number inside brackets in RTL context', [['R', 'ON', 'EN', 'ON'], [[1, 3]], 0, 'L'], ['R', 'R', 'EN', 'R']), ('control layout', [['R', 'L', 'R', 'EN', 'ON', 'ON', 'R', 'AN', 'EN', 'EN', 'AN', 'ON', 'ON', 'R'], [], 1, 'L'], ['R', 'L', 'R', 'EN', 'ON', 'ON', 'R', 'AN', 'EN', 'EN', 'AN', 'ON', 'ON', 'R']), ('control layout', [['L', 'ON', 'ON', 'ON', 'ON', 'ON'], [[1, 5], [2, 4]], 1, 'R'], ['L', 'ON', 'ON', 'ON', 'ON', '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
regression: context fallback	`['ON', 'R', 'R', 'AN', 'R', 'R', 'R', 'R']`	`['ON', 'R', 'R', 'AN', 'R', 'R', 'R', 'R']`	Passed
regression: context fallback	`['ON', 'R', 'R', 'ON', 'R', 'R', 'ON', 'R', 'R', 'L']`	`['ON', 'R', 'R', 'ON', 'R', 'R', 'ON', 'R', 'R', 'L']`	Passed
regression: context fallback	`['R', 'EN', 'EN', 'R', 'ON', 'EN', 'L', 'L', 'L']`	`['R', 'EN', 'EN', 'R', 'ON', 'EN', 'L', 'L', 'L']`	Passed
partial-repair probe	`['ON', 'R', 'R', 'ON', 'L', 'R', 'R', 'L']`	`['ON', 'R', 'R', 'ON', 'L', 'R', 'R', 'L']`	Passed
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	`['R', 'ON', 'ON', 'ON', 'ON', 'L', 'ON', 'R', 'ON', 'L', 'R']`	`['R', 'ON', 'ON', 'ON', 'ON', 'L', 'ON', 'R', 'ON', 'L', 'R']`	Passed
control layout	`['R', 'L', 'ON', 'L', 'R', 'AN', 'L', 'R', 'ON', 'ON', 'L', 'L']`	`['R', 'L', 'ON', 'L', 'R', 'AN', 'L', 'R', 'ON', 'ON', 'L', 'L']`	Passed

SHA-256 / 112c0ab91839dcaf0bbfdf2d79342d400802b3452ad2159f53ccc71f56f2f3fa

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

Case digest / d0d397e2273ba58295dc173e6848e20f6ed0b5e410ba58016d6a09a0405999ad