{"abstract":"After an overflow, later shallower codes push levels that should be ignored.","category":"Bidirectional text layout","checks":8,"contract":"Input [classes, paragraph level, max depth]. RLE/RLO push the next odd level, LRE/LRO the next even level (RLO/LRO set an R/L override, RLE/LRE clear it) if the level <= max depth and no overflow is pending, else count an overflow. PDF first cancels an overflow, else pops if above the base. Codes get level \"x\" and class BN; other characters take the top level and the override class if any. Return [levels, classes].","evaluation_group":"w2-bidirectional-text-layout-explicit-embeddings","failed_approach":"Tolerating one pending overflow still desynchronises PDF matching.","family":"w2-bidirectional-text-layout-explicit-embeddings-overflow-blocking","id":"FA-80536","implementations":{"attempt":{"sha256":"85a57d3135ca8d1be0e58bf349627f550ceeee6ee807f5f173f569df9b2ea578","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    classes, para, max_depth = x\n    stack = [(para, None)]\n    overflow = 0\n    levels = []\n    types = []\n    for c in classes:\n        if c in ('RLE', 'LRE', 'RLO', 'LRO'):\n            cur = stack[-1][0]\n            if c in ('RLE', 'RLO'):\n                new = cur + 1 if cur % 2 == 0 else cur + 2\n            else:\n                new = cur + 2 if cur % 2 == 0 else cur + 1\n            if new <= max_depth and overflow <= 1:\n                ovr = None if c in ('RLE', 'LRE') else ('R' if c == 'RLO' else 'L')\n                stack.append((new, ovr))\n            else:\n                overflow += 1\n            levels.append('x')\n            types.append('BN')\n        elif c == 'PDF':\n            if overflow > 0:\n                overflow -= 1\n            elif len(stack) > 1:\n                stack.pop()\n            levels.append('x')\n            types.append('BN')\n        else:\n            lv, ovr = stack[-1]\n            levels.append(lv)\n            types.append(ovr if ovr else c)\n    return [levels, types]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: overflow blocking', [['RLE', 'LRO', 'LRE', 'LRE', 'WS', 'LRE', 'L', 'RLE', 'PDF', 'ON', 'L', 'PDF', 'L'], 0, 3], [['x', 'x', 'x', 'x', 2, 'x', 2, 'x', 'x', 2, 2, 'x', 2], ['BN', 'BN', 'BN', 'BN', 'L', 'BN', 'L', 'BN', 'BN', 'L', 'L', 'BN', 'L']]), ('regression: overflow blocking', [['PDF', 'RLE', 'EN', 'ON', 'L', 'RLE', 'ON', 'LRE', 'LRE', 'WS', 'L', 'RLE', 'R', 'R'], 1, 2], [['x', 'x', 1, 1, 1, 'x', 1, 'x', 'x', 1, 1, 'x', 1, 1], ['BN', 'BN', 'EN', 'ON', 'L', 'BN', 'ON', 'BN', 'BN', 'WS', 'L', 'BN', 'R', 'R']]), ('regression: overflow blocking', [['L', 'PDF', 'EN', 'LRE', 'R', 'LRE', 'RLE', 'PDF', 'WS', 'RLO', 'ON', 'L', 'R', 'R'], 1, 3], [[1, 'x', 1, 'x', 2, 'x', 'x', 'x', 2, 'x', 2, 2, 2, 2], ['L', 'BN', 'EN', 'BN', 'R', 'BN', 'BN', 'BN', 'WS', 'BN', 'ON', 'L', 'R', 'R']]), ('regression: overflow blocking', [['ON', 'LRE', 'R', 'ON', 'RLE', 'PDF', 'LRE', 'L', 'LRE', 'PDF', 'RLE', 'PDF', 'R', 'EN'], 0, 3], [[0, 'x', 2, 2, 'x', 'x', 'x', 2, 'x', 'x', 'x', 'x', 2, 2], ['ON', 'BN', 'R', 'ON', 'BN', 'BN', 'BN', 'L', 'BN', 'BN', 'BN', 'BN', 'R', 'EN']]), ('depth limit exactly reached', [['RLE', 'LRE', 'L', 'PDF', 'L'], 0, 2], [['x', 'x', 2, 'x', 1], ['BN', 'BN', 'L', 'BN', 'L']]), ('RLE from odd level', [['RLE', 'RLE', 'L'], 0, 6], [['x', 'x', 3], ['BN', 'BN', 'L']]), ('control layout', [['PDF', 'LRO'], 0, 5], [['x', 'x'], ['BN', 'BN']]), ('control layout', [['RLE', 'L', 'LRE', 'EN', 'RLE', 'PDF', 'L'], 0, 2], [['x', 1, 'x', 2, 'x', 'x', 2], ['BN', 'L', 'BN', 'EN', 'BN', 'BN', 'L']])], [('regression: overflow blocking', [['RLE', 'LRO', 'LRE', 'LRE', 'WS', 'LRE', 'L', 'RLE', 'PDF', 'ON', 'L', 'PDF', 'L'], 0, 3], [['x', 'x', 'x', 'x', 2, 'x', 2, 'x', 'x', 2, 2, 'x', 2], ['BN', 'BN', 'BN', 'BN', 'L', 'BN', 'L', 'BN', 'BN', 'L', 'L', 'BN', 'L']]), ('regression: overflow blocking', [['L', 'PDF', 'EN', 'LRE', 'R', 'LRE', 'RLE', 'PDF', 'WS', 'RLO', 'ON', 'L', 'R', 'R'], 1, 3], [[1, 'x', 1, 'x', 2, 'x', 'x', 'x', 2, 'x', 2, 2, 2, 2], ['L', 'BN', 'EN', 'BN', 'R', 'BN', 'BN', 'BN', 'WS', 'BN', 'ON', 'L', 'R', 'R']]), ('regression: overflow blocking', [['PDF', 'LRO', 'R', 'EN', 'LRE', 'L', 'L', 'L', 'RLE', 'R', 'L', 'LRO'], 1, 3], [['x', 'x', 2, 2, 'x', 2, 2, 2, 'x', 2, 2, 'x'], ['BN', 'BN', 'L', 'L', 'BN', 'L', 'L', 'L', 'BN', 'L', 'L', 'BN']]), ('regression: overflow blocking', [['ON', 'RLE', 'PDF', 'R', 'RLE', 'LRE', 'ON', 'PDF', 'R', 'ON'], 1, 2], [[1, 'x', 'x', 1, 'x', 'x', 1, 'x', 1, 1], ['ON', 'BN', 'BN', 'R', 'BN', 'BN', 'ON', 'BN', 'R', 'ON']]), ('LRE from odd level', [['LRE', 'R'], 1, 6], [['x', 2], ['BN', 'R']]), ('RLE from odd level', [['RLE', 'RLE', 'L'], 0, 6], [['x', 'x', 3], ['BN', 'BN', 'L']]), ('control layout', [['EN', 'L', 'L', 'R', 'ON', 'R', 'ON'], 1, 4], [[1, 1, 1, 1, 1, 1, 1], ['EN', 'L', 'L', 'R', 'ON', 'R', 'ON']]), ('control layout', [['L', 'LRO', 'LRE', 'LRO'], 1, 6], [[1, 'x', 'x', 'x'], ['L', 'BN', 'BN', 'BN']])], [('regression: overflow blocking', [['L', 'L', 'RLO', 'RLO', 'L', 'R', 'RLE', 'RLE', 'R', 'R', 'L', 'LRE', 'EN'], 1, 6], [[1, 1, 'x', 'x', 5, 5, 'x', 'x', 5, 5, 5, 'x', 5], ['L', 'L', 'BN', 'BN', 'R', 'R', 'BN', 'BN', 'R', 'R', 'R', 'BN', 'R']]), ('regression: overflow blocking', [['PDF', 'PDF', 'RLO', 'L', 'LRO', 'R', 'R', 'PDF', 'PDF', 'RLO', 'PDF'], 1, 2], [['x', 'x', 'x', 1, 'x', 1, 1, 'x', 'x', 'x', 'x'], ['BN', 'BN', 'BN', 'L', 'BN', 'R', 'R', 'BN', 'BN', 'BN', 'BN']]), ('regression: overflow blocking', [['R', 'WS', 'RLE', 'LRE', 'PDF', 'L', 'RLO', 'LRE', 'L', 'RLE', 'L', 'PDF', 'ON', 'PDF'], 1, 4], [[1, 1, 'x', 'x', 'x', 3, 'x', 'x', 3, 'x', 3, 'x', 3, 'x'], ['R', 'WS', 'BN', 'BN', 'BN', 'L', 'BN', 'BN', 'L', 'BN', 'L', 'BN', 'ON', 'BN']]), ('regression: overflow blocking', [['R', 'EN', 'L', 'R', 'RLE', 'RLE', 'LRE', 'R', 'EN', 'L', 'RLE', 'EN', 'R'], 0, 2], [[0, 0, 0, 0, 'x', 'x', 'x', 1, 1, 1, 'x', 1, 1], ['R', 'EN', 'L', 'R', 'BN', 'BN', 'BN', 'R', 'EN', 'L', 'BN', 'EN', 'R']]), ('LRE from odd level', [['LRE', 'R'], 1, 6], [['x', 2], ['BN', 'R']]), ('depth limit exactly reached', [['RLE', 'LRE', 'L', 'PDF', 'L'], 0, 2], [['x', 'x', 2, 'x', 1], ['BN', 'BN', 'L', 'BN', 'L']]), ('control layout', [['WS', 'L', 'RLO', 'PDF', 'LRE'], 1, 3], [[1, 1, 'x', 'x', 'x'], ['WS', 'L', 'BN', 'BN', 'BN']]), ('control layout', [['L', 'R', 'RLE', 'LRO', 'R', 'L', 'WS', 'PDF', 'RLO', 'R', 'EN', 'WS', 'L', 'PDF'], 0, 4], [[0, 0, 'x', 'x', 2, 2, 2, 'x', 'x', 3, 3, 3, 3, 'x'], ['L', 'R', 'BN', 'BN', 'L', 'L', 'L', 'BN', 'BN', 'R', 'R', 'R', 'R', 'BN']])], [('regression: overflow blocking', [['R', 'WS', 'RLE', 'LRE', 'PDF', 'L', 'RLO', 'LRE', 'L', 'RLE', 'L', 'PDF', 'ON', 'PDF'], 1, 4], [[1, 1, 'x', 'x', 'x', 3, 'x', 'x', 3, 'x', 3, 'x', 3, 'x'], ['R', 'WS', 'BN', 'BN', 'BN', 'L', 'BN', 'BN', 'L', 'BN', 'L', 'BN', 'ON', 'BN']]), ('regression: overflow blocking', [['PDF', 'LRE', 'RLE', 'RLE', 'LRE', 'EN', 'LRE', 'PDF', 'EN', 'ON', 'EN', 'ON'], 0, 4], [['x', 'x', 'x', 'x', 'x', 3, 'x', 'x', 3, 3, 3, 3], ['BN', 'BN', 'BN', 'BN', 'BN', 'EN', 'BN', 'BN', 'EN', 'ON', 'EN', 'ON']]), ('regression: overflow blocking', [['R', 'EN', 'L', 'R', 'RLE', 'RLE', 'LRE', 'R', 'EN', 'L', 'RLE', 'EN', 'R'], 0, 2], [[0, 0, 0, 0, 'x', 'x', 'x', 1, 1, 1, 'x', 1, 1], ['R', 'EN', 'L', 'R', 'BN', 'BN', 'BN', 'R', 'EN', 'L', 'BN', 'EN', 'R']]), ('regression: overflow blocking', [['ON', 'LRE', 'R', 'ON', 'RLE', 'PDF', 'LRE', 'L', 'LRE', 'PDF', 'RLE', 'PDF', 'R', 'EN'], 0, 3], [[0, 'x', 2, 2, 'x', 'x', 'x', 2, 'x', 'x', 'x', 'x', 2, 2], ['ON', 'BN', 'R', 'ON', 'BN', 'BN', 'BN', 'L', 'BN', 'BN', 'BN', 'BN', 'R', 'EN']]), ('LRE from odd level', [['LRE', 'R'], 1, 6], [['x', 2], ['BN', 'R']]), ('depth limit exactly reached', [['RLE', 'LRE', 'L', 'PDF', 'L'], 0, 2], [['x', 'x', 2, 'x', 1], ['BN', 'BN', 'L', 'BN', 'L']]), ('control layout', [['ON', 'LRE'], 0, 6], [[0, 'x'], ['ON', 'BN']]), ('control layout', [['R', 'ON', 'R', 'EN', 'R', 'PDF', 'PDF', 'LRE', 'EN', 'RLE'], 0, 5], [[0, 0, 0, 0, 0, 'x', 'x', 'x', 2, 'x'], ['R', 'ON', 'R', 'EN', 'R', 'BN', 'BN', 'BN', 'EN', 'BN']])], [('regression: overflow blocking', [['RLE', 'RLE', 'ON', 'RLO', 'LRE', 'LRE', 'R', 'RLE', 'R'], 1, 2], [['x', 'x', 1, 'x', 'x', 'x', 1, 'x', 1], ['BN', 'BN', 'ON', 'BN', 'BN', 'BN', 'R', 'BN', 'R']]), ('regression: overflow blocking', [['ON', 'RLE', 'PDF', 'R', 'RLE', 'LRE', 'ON', 'PDF', 'R', 'ON'], 1, 2], [[1, 'x', 'x', 1, 'x', 'x', 1, 'x', 1, 1], ['ON', 'BN', 'BN', 'R', 'BN', 'BN', 'ON', 'BN', 'R', 'ON']]), ('regression: overflow blocking', [['LRO', 'R', 'ON', 'EN', 'ON', 'LRE', 'RLE', 'L', 'ON', 'WS', 'ON', 'ON', 'RLE', 'WS'], 1, 3], [['x', 2, 2, 2, 2, 'x', 'x', 2, 2, 2, 2, 2, 'x', 2], ['BN', 'L', 'L', 'L', 'L', 'BN', 'BN', 'L', 'L', 'L', 'L', 'L', 'BN', 'L']]), ('regression: overflow blocking', [['R', 'EN', 'L', 'R', 'RLE', 'RLE', 'LRE', 'R', 'EN', 'L', 'RLE', 'EN', 'R'], 0, 2], [[0, 0, 0, 0, 'x', 'x', 'x', 1, 1, 1, 'x', 1, 1], ['R', 'EN', 'L', 'R', 'BN', 'BN', 'BN', 'R', 'EN', 'L', 'BN', 'EN', 'R']]), ('override on neutrals', [['RLO', 'ON', 'L', 'WS'], 0, 6], [['x', 1, 1, 1], ['BN', 'R', 'R', 'R']]), ('RLE from odd level', [['RLE', 'RLE', 'L'], 0, 6], [['x', 'x', 3], ['BN', 'BN', 'L']]), ('control layout', [['RLE', 'L', 'LRO', 'RLE', 'L', 'R', 'L', 'R', 'RLE', 'L', 'LRO', 'L'], 0, 3], [['x', 1, 'x', 'x', 3, 3, 3, 3, 'x', 3, 'x', 3], ['BN', 'L', 'BN', 'BN', 'L', 'R', 'L', 'R', 'BN', 'L', 'BN', 'L']]), ('control layout', [['RLE', 'ON', 'LRO'], 0, 4], [['x', 1, 'x'], ['BN', 'ON', 'BN']])]]\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":"b85844a4d68b4212457257d2e0d4001b0ed714a48d1a45db4ed78671a39a34aa","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    classes, para, max_depth = x\n    stack = [(para, None)]\n    overflow = 0\n    levels = []\n    types = []\n    for c in classes:\n        if c in ('RLE', 'LRE', 'RLO', 'LRO'):\n            cur = stack[-1][0]\n            if c in ('RLE', 'RLO'):\n                new = cur + 1 if cur % 2 == 0 else cur + 2\n            else:\n                new = cur + 2 if cur % 2 == 0 else cur + 1\n            if new <= max_depth:\n                ovr = None if c in ('RLE', 'LRE') else ('R' if c == 'RLO' else 'L')\n                stack.append((new, ovr))\n            else:\n                overflow += 1\n            levels.append('x')\n            types.append('BN')\n        elif c == 'PDF':\n            if overflow > 0:\n                overflow -= 1\n            elif len(stack) > 1:\n                stack.pop()\n            levels.append('x')\n            types.append('BN')\n        else:\n            lv, ovr = stack[-1]\n            levels.append(lv)\n            types.append(ovr if ovr else c)\n    return [levels, types]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: overflow blocking', [['RLE', 'LRO', 'LRE', 'LRE', 'WS', 'LRE', 'L', 'RLE', 'PDF', 'ON', 'L', 'PDF', 'L'], 0, 3], [['x', 'x', 'x', 'x', 2, 'x', 2, 'x', 'x', 2, 2, 'x', 2], ['BN', 'BN', 'BN', 'BN', 'L', 'BN', 'L', 'BN', 'BN', 'L', 'L', 'BN', 'L']]), ('regression: overflow blocking', [['PDF', 'RLE', 'EN', 'ON', 'L', 'RLE', 'ON', 'LRE', 'LRE', 'WS', 'L', 'RLE', 'R', 'R'], 1, 2], [['x', 'x', 1, 1, 1, 'x', 1, 'x', 'x', 1, 1, 'x', 1, 1], ['BN', 'BN', 'EN', 'ON', 'L', 'BN', 'ON', 'BN', 'BN', 'WS', 'L', 'BN', 'R', 'R']]), ('regression: overflow blocking', [['L', 'PDF', 'EN', 'LRE', 'R', 'LRE', 'RLE', 'PDF', 'WS', 'RLO', 'ON', 'L', 'R', 'R'], 1, 3], [[1, 'x', 1, 'x', 2, 'x', 'x', 'x', 2, 'x', 2, 2, 2, 2], ['L', 'BN', 'EN', 'BN', 'R', 'BN', 'BN', 'BN', 'WS', 'BN', 'ON', 'L', 'R', 'R']]), ('regression: overflow blocking', [['ON', 'LRE', 'R', 'ON', 'RLE', 'PDF', 'LRE', 'L', 'LRE', 'PDF', 'RLE', 'PDF', 'R', 'EN'], 0, 3], [[0, 'x', 2, 2, 'x', 'x', 'x', 2, 'x', 'x', 'x', 'x', 2, 2], ['ON', 'BN', 'R', 'ON', 'BN', 'BN', 'BN', 'L', 'BN', 'BN', 'BN', 'BN', 'R', 'EN']]), ('depth limit exactly reached', [['RLE', 'LRE', 'L', 'PDF', 'L'], 0, 2], [['x', 'x', 2, 'x', 1], ['BN', 'BN', 'L', 'BN', 'L']]), ('RLE from odd level', [['RLE', 'RLE', 'L'], 0, 6], [['x', 'x', 3], ['BN', 'BN', 'L']]), ('control layout', [['PDF', 'LRO'], 0, 5], [['x', 'x'], ['BN', 'BN']]), ('control layout', [['RLE', 'L', 'LRE', 'EN', 'RLE', 'PDF', 'L'], 0, 2], [['x', 1, 'x', 2, 'x', 'x', 2], ['BN', 'L', 'BN', 'EN', 'BN', 'BN', 'L']])], [('regression: overflow blocking', [['RLE', 'LRO', 'LRE', 'LRE', 'WS', 'LRE', 'L', 'RLE', 'PDF', 'ON', 'L', 'PDF', 'L'], 0, 3], [['x', 'x', 'x', 'x', 2, 'x', 2, 'x', 'x', 2, 2, 'x', 2], ['BN', 'BN', 'BN', 'BN', 'L', 'BN', 'L', 'BN', 'BN', 'L', 'L', 'BN', 'L']]), ('regression: overflow blocking', [['L', 'PDF', 'EN', 'LRE', 'R', 'LRE', 'RLE', 'PDF', 'WS', 'RLO', 'ON', 'L', 'R', 'R'], 1, 3], [[1, 'x', 1, 'x', 2, 'x', 'x', 'x', 2, 'x', 2, 2, 2, 2], ['L', 'BN', 'EN', 'BN', 'R', 'BN', 'BN', 'BN', 'WS', 'BN', 'ON', 'L', 'R', 'R']]), ('regression: overflow blocking', [['PDF', 'LRO', 'R', 'EN', 'LRE', 'L', 'L', 'L', 'RLE', 'R', 'L', 'LRO'], 1, 3], [['x', 'x', 2, 2, 'x', 2, 2, 2, 'x', 2, 2, 'x'], ['BN', 'BN', 'L', 'L', 'BN', 'L', 'L', 'L', 'BN', 'L', 'L', 'BN']]), ('regression: overflow blocking', [['ON', 'RLE', 'PDF', 'R', 'RLE', 'LRE', 'ON', 'PDF', 'R', 'ON'], 1, 2], [[1, 'x', 'x', 1, 'x', 'x', 1, 'x', 1, 1], ['ON', 'BN', 'BN', 'R', 'BN', 'BN', 'ON', 'BN', 'R', 'ON']]), ('LRE from odd level', [['LRE', 'R'], 1, 6], [['x', 2], ['BN', 'R']]), ('RLE from odd level', [['RLE', 'RLE', 'L'], 0, 6], [['x', 'x', 3], ['BN', 'BN', 'L']]), ('control layout', [['EN', 'L', 'L', 'R', 'ON', 'R', 'ON'], 1, 4], [[1, 1, 1, 1, 1, 1, 1], ['EN', 'L', 'L', 'R', 'ON', 'R', 'ON']]), ('control layout', [['L', 'LRO', 'LRE', 'LRO'], 1, 6], [[1, 'x', 'x', 'x'], ['L', 'BN', 'BN', 'BN']])], [('regression: overflow blocking', [['L', 'L', 'RLO', 'RLO', 'L', 'R', 'RLE', 'RLE', 'R', 'R', 'L', 'LRE', 'EN'], 1, 6], [[1, 1, 'x', 'x', 5, 5, 'x', 'x', 5, 5, 5, 'x', 5], ['L', 'L', 'BN', 'BN', 'R', 'R', 'BN', 'BN', 'R', 'R', 'R', 'BN', 'R']]), ('regression: overflow blocking', [['PDF', 'PDF', 'RLO', 'L', 'LRO', 'R', 'R', 'PDF', 'PDF', 'RLO', 'PDF'], 1, 2], [['x', 'x', 'x', 1, 'x', 1, 1, 'x', 'x', 'x', 'x'], ['BN', 'BN', 'BN', 'L', 'BN', 'R', 'R', 'BN', 'BN', 'BN', 'BN']]), ('regression: overflow blocking', [['R', 'WS', 'RLE', 'LRE', 'PDF', 'L', 'RLO', 'LRE', 'L', 'RLE', 'L', 'PDF', 'ON', 'PDF'], 1, 4], [[1, 1, 'x', 'x', 'x', 3, 'x', 'x', 3, 'x', 3, 'x', 3, 'x'], ['R', 'WS', 'BN', 'BN', 'BN', 'L', 'BN', 'BN', 'L', 'BN', 'L', 'BN', 'ON', 'BN']]), ('regression: overflow blocking', [['R', 'EN', 'L', 'R', 'RLE', 'RLE', 'LRE', 'R', 'EN', 'L', 'RLE', 'EN', 'R'], 0, 2], [[0, 0, 0, 0, 'x', 'x', 'x', 1, 1, 1, 'x', 1, 1], ['R', 'EN', 'L', 'R', 'BN', 'BN', 'BN', 'R', 'EN', 'L', 'BN', 'EN', 'R']]), ('LRE from odd level', [['LRE', 'R'], 1, 6], [['x', 2], ['BN', 'R']]), ('depth limit exactly reached', [['RLE', 'LRE', 'L', 'PDF', 'L'], 0, 2], [['x', 'x', 2, 'x', 1], ['BN', 'BN', 'L', 'BN', 'L']]), ('control layout', [['WS', 'L', 'RLO', 'PDF', 'LRE'], 1, 3], [[1, 1, 'x', 'x', 'x'], ['WS', 'L', 'BN', 'BN', 'BN']]), ('control layout', [['L', 'R', 'RLE', 'LRO', 'R', 'L', 'WS', 'PDF', 'RLO', 'R', 'EN', 'WS', 'L', 'PDF'], 0, 4], [[0, 0, 'x', 'x', 2, 2, 2, 'x', 'x', 3, 3, 3, 3, 'x'], ['L', 'R', 'BN', 'BN', 'L', 'L', 'L', 'BN', 'BN', 'R', 'R', 'R', 'R', 'BN']])], [('regression: overflow blocking', [['R', 'WS', 'RLE', 'LRE', 'PDF', 'L', 'RLO', 'LRE', 'L', 'RLE', 'L', 'PDF', 'ON', 'PDF'], 1, 4], [[1, 1, 'x', 'x', 'x', 3, 'x', 'x', 3, 'x', 3, 'x', 3, 'x'], ['R', 'WS', 'BN', 'BN', 'BN', 'L', 'BN', 'BN', 'L', 'BN', 'L', 'BN', 'ON', 'BN']]), ('regression: overflow blocking', [['PDF', 'LRE', 'RLE', 'RLE', 'LRE', 'EN', 'LRE', 'PDF', 'EN', 'ON', 'EN', 'ON'], 0, 4], [['x', 'x', 'x', 'x', 'x', 3, 'x', 'x', 3, 3, 3, 3], ['BN', 'BN', 'BN', 'BN', 'BN', 'EN', 'BN', 'BN', 'EN', 'ON', 'EN', 'ON']]), ('regression: overflow blocking', [['R', 'EN', 'L', 'R', 'RLE', 'RLE', 'LRE', 'R', 'EN', 'L', 'RLE', 'EN', 'R'], 0, 2], [[0, 0, 0, 0, 'x', 'x', 'x', 1, 1, 1, 'x', 1, 1], ['R', 'EN', 'L', 'R', 'BN', 'BN', 'BN', 'R', 'EN', 'L', 'BN', 'EN', 'R']]), ('regression: overflow blocking', [['ON', 'LRE', 'R', 'ON', 'RLE', 'PDF', 'LRE', 'L', 'LRE', 'PDF', 'RLE', 'PDF', 'R', 'EN'], 0, 3], [[0, 'x', 2, 2, 'x', 'x', 'x', 2, 'x', 'x', 'x', 'x', 2, 2], ['ON', 'BN', 'R', 'ON', 'BN', 'BN', 'BN', 'L', 'BN', 'BN', 'BN', 'BN', 'R', 'EN']]), ('LRE from odd level', [['LRE', 'R'], 1, 6], [['x', 2], ['BN', 'R']]), ('depth limit exactly reached', [['RLE', 'LRE', 'L', 'PDF', 'L'], 0, 2], [['x', 'x', 2, 'x', 1], ['BN', 'BN', 'L', 'BN', 'L']]), ('control layout', [['ON', 'LRE'], 0, 6], [[0, 'x'], ['ON', 'BN']]), ('control layout', [['R', 'ON', 'R', 'EN', 'R', 'PDF', 'PDF', 'LRE', 'EN', 'RLE'], 0, 5], [[0, 0, 0, 0, 0, 'x', 'x', 'x', 2, 'x'], ['R', 'ON', 'R', 'EN', 'R', 'BN', 'BN', 'BN', 'EN', 'BN']])], [('regression: overflow blocking', [['RLE', 'RLE', 'ON', 'RLO', 'LRE', 'LRE', 'R', 'RLE', 'R'], 1, 2], [['x', 'x', 1, 'x', 'x', 'x', 1, 'x', 1], ['BN', 'BN', 'ON', 'BN', 'BN', 'BN', 'R', 'BN', 'R']]), ('regression: overflow blocking', [['ON', 'RLE', 'PDF', 'R', 'RLE', 'LRE', 'ON', 'PDF', 'R', 'ON'], 1, 2], [[1, 'x', 'x', 1, 'x', 'x', 1, 'x', 1, 1], ['ON', 'BN', 'BN', 'R', 'BN', 'BN', 'ON', 'BN', 'R', 'ON']]), ('regression: overflow blocking', [['LRO', 'R', 'ON', 'EN', 'ON', 'LRE', 'RLE', 'L', 'ON', 'WS', 'ON', 'ON', 'RLE', 'WS'], 1, 3], [['x', 2, 2, 2, 2, 'x', 'x', 2, 2, 2, 2, 2, 'x', 2], ['BN', 'L', 'L', 'L', 'L', 'BN', 'BN', 'L', 'L', 'L', 'L', 'L', 'BN', 'L']]), ('regression: overflow blocking', [['R', 'EN', 'L', 'R', 'RLE', 'RLE', 'LRE', 'R', 'EN', 'L', 'RLE', 'EN', 'R'], 0, 2], [[0, 0, 0, 0, 'x', 'x', 'x', 1, 1, 1, 'x', 1, 1], ['R', 'EN', 'L', 'R', 'BN', 'BN', 'BN', 'R', 'EN', 'L', 'BN', 'EN', 'R']]), ('override on neutrals', [['RLO', 'ON', 'L', 'WS'], 0, 6], [['x', 1, 1, 1], ['BN', 'R', 'R', 'R']]), ('RLE from odd level', [['RLE', 'RLE', 'L'], 0, 6], [['x', 'x', 3], ['BN', 'BN', 'L']]), ('control layout', [['RLE', 'L', 'LRO', 'RLE', 'L', 'R', 'L', 'R', 'RLE', 'L', 'LRO', 'L'], 0, 3], [['x', 1, 'x', 'x', 3, 3, 3, 3, 'x', 3, 'x', 3], ['BN', 'L', 'BN', 'BN', 'L', 'R', 'L', 'R', 'BN', 'L', 'BN', 'L']]), ('control layout', [['RLE', 'ON', 'LRO'], 0, 4], [['x', 1, 'x'], ['BN', 'ON', 'BN']])]]\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"},"fixed":{"sha256":"558f8e3e91e9bb0370221dbe701cb2e2759a2038f982d71458d908f77b0f1092","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    classes, para, max_depth = x\n    stack = [(para, None)]\n    overflow = 0\n    levels = []\n    types = []\n    for c in classes:\n        if c in ('RLE', 'LRE', 'RLO', 'LRO'):\n            cur = stack[-1][0]\n            if c in ('RLE', 'RLO'):\n                new = cur + 1 if cur % 2 == 0 else cur + 2\n            else:\n                new = cur + 2 if cur % 2 == 0 else cur + 1\n            if new <= max_depth and overflow == 0:\n                ovr = None if c in ('RLE', 'LRE') else ('R' if c == 'RLO' else 'L')\n                stack.append((new, ovr))\n            else:\n                overflow += 1\n            levels.append('x')\n            types.append('BN')\n        elif c == 'PDF':\n            if overflow > 0:\n                overflow -= 1\n            elif len(stack) > 1:\n                stack.pop()\n            levels.append('x')\n            types.append('BN')\n        else:\n            lv, ovr = stack[-1]\n            levels.append(lv)\n            types.append(ovr if ovr else c)\n    return [levels, types]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: overflow blocking', [['RLE', 'LRO', 'LRE', 'LRE', 'WS', 'LRE', 'L', 'RLE', 'PDF', 'ON', 'L', 'PDF', 'L'], 0, 3], [['x', 'x', 'x', 'x', 2, 'x', 2, 'x', 'x', 2, 2, 'x', 2], ['BN', 'BN', 'BN', 'BN', 'L', 'BN', 'L', 'BN', 'BN', 'L', 'L', 'BN', 'L']]), ('regression: overflow blocking', [['PDF', 'RLE', 'EN', 'ON', 'L', 'RLE', 'ON', 'LRE', 'LRE', 'WS', 'L', 'RLE', 'R', 'R'], 1, 2], [['x', 'x', 1, 1, 1, 'x', 1, 'x', 'x', 1, 1, 'x', 1, 1], ['BN', 'BN', 'EN', 'ON', 'L', 'BN', 'ON', 'BN', 'BN', 'WS', 'L', 'BN', 'R', 'R']]), ('regression: overflow blocking', [['L', 'PDF', 'EN', 'LRE', 'R', 'LRE', 'RLE', 'PDF', 'WS', 'RLO', 'ON', 'L', 'R', 'R'], 1, 3], [[1, 'x', 1, 'x', 2, 'x', 'x', 'x', 2, 'x', 2, 2, 2, 2], ['L', 'BN', 'EN', 'BN', 'R', 'BN', 'BN', 'BN', 'WS', 'BN', 'ON', 'L', 'R', 'R']]), ('regression: overflow blocking', [['ON', 'LRE', 'R', 'ON', 'RLE', 'PDF', 'LRE', 'L', 'LRE', 'PDF', 'RLE', 'PDF', 'R', 'EN'], 0, 3], [[0, 'x', 2, 2, 'x', 'x', 'x', 2, 'x', 'x', 'x', 'x', 2, 2], ['ON', 'BN', 'R', 'ON', 'BN', 'BN', 'BN', 'L', 'BN', 'BN', 'BN', 'BN', 'R', 'EN']]), ('depth limit exactly reached', [['RLE', 'LRE', 'L', 'PDF', 'L'], 0, 2], [['x', 'x', 2, 'x', 1], ['BN', 'BN', 'L', 'BN', 'L']]), ('RLE from odd level', [['RLE', 'RLE', 'L'], 0, 6], [['x', 'x', 3], ['BN', 'BN', 'L']]), ('control layout', [['PDF', 'LRO'], 0, 5], [['x', 'x'], ['BN', 'BN']]), ('control layout', [['RLE', 'L', 'LRE', 'EN', 'RLE', 'PDF', 'L'], 0, 2], [['x', 1, 'x', 2, 'x', 'x', 2], ['BN', 'L', 'BN', 'EN', 'BN', 'BN', 'L']])], [('regression: overflow blocking', [['RLE', 'LRO', 'LRE', 'LRE', 'WS', 'LRE', 'L', 'RLE', 'PDF', 'ON', 'L', 'PDF', 'L'], 0, 3], [['x', 'x', 'x', 'x', 2, 'x', 2, 'x', 'x', 2, 2, 'x', 2], ['BN', 'BN', 'BN', 'BN', 'L', 'BN', 'L', 'BN', 'BN', 'L', 'L', 'BN', 'L']]), ('regression: overflow blocking', [['L', 'PDF', 'EN', 'LRE', 'R', 'LRE', 'RLE', 'PDF', 'WS', 'RLO', 'ON', 'L', 'R', 'R'], 1, 3], [[1, 'x', 1, 'x', 2, 'x', 'x', 'x', 2, 'x', 2, 2, 2, 2], ['L', 'BN', 'EN', 'BN', 'R', 'BN', 'BN', 'BN', 'WS', 'BN', 'ON', 'L', 'R', 'R']]), ('regression: overflow blocking', [['PDF', 'LRO', 'R', 'EN', 'LRE', 'L', 'L', 'L', 'RLE', 'R', 'L', 'LRO'], 1, 3], [['x', 'x', 2, 2, 'x', 2, 2, 2, 'x', 2, 2, 'x'], ['BN', 'BN', 'L', 'L', 'BN', 'L', 'L', 'L', 'BN', 'L', 'L', 'BN']]), ('regression: overflow blocking', [['ON', 'RLE', 'PDF', 'R', 'RLE', 'LRE', 'ON', 'PDF', 'R', 'ON'], 1, 2], [[1, 'x', 'x', 1, 'x', 'x', 1, 'x', 1, 1], ['ON', 'BN', 'BN', 'R', 'BN', 'BN', 'ON', 'BN', 'R', 'ON']]), ('LRE from odd level', [['LRE', 'R'], 1, 6], [['x', 2], ['BN', 'R']]), ('RLE from odd level', [['RLE', 'RLE', 'L'], 0, 6], [['x', 'x', 3], ['BN', 'BN', 'L']]), ('control layout', [['EN', 'L', 'L', 'R', 'ON', 'R', 'ON'], 1, 4], [[1, 1, 1, 1, 1, 1, 1], ['EN', 'L', 'L', 'R', 'ON', 'R', 'ON']]), ('control layout', [['L', 'LRO', 'LRE', 'LRO'], 1, 6], [[1, 'x', 'x', 'x'], ['L', 'BN', 'BN', 'BN']])], [('regression: overflow blocking', [['L', 'L', 'RLO', 'RLO', 'L', 'R', 'RLE', 'RLE', 'R', 'R', 'L', 'LRE', 'EN'], 1, 6], [[1, 1, 'x', 'x', 5, 5, 'x', 'x', 5, 5, 5, 'x', 5], ['L', 'L', 'BN', 'BN', 'R', 'R', 'BN', 'BN', 'R', 'R', 'R', 'BN', 'R']]), ('regression: overflow blocking', [['PDF', 'PDF', 'RLO', 'L', 'LRO', 'R', 'R', 'PDF', 'PDF', 'RLO', 'PDF'], 1, 2], [['x', 'x', 'x', 1, 'x', 1, 1, 'x', 'x', 'x', 'x'], ['BN', 'BN', 'BN', 'L', 'BN', 'R', 'R', 'BN', 'BN', 'BN', 'BN']]), ('regression: overflow blocking', [['R', 'WS', 'RLE', 'LRE', 'PDF', 'L', 'RLO', 'LRE', 'L', 'RLE', 'L', 'PDF', 'ON', 'PDF'], 1, 4], [[1, 1, 'x', 'x', 'x', 3, 'x', 'x', 3, 'x', 3, 'x', 3, 'x'], ['R', 'WS', 'BN', 'BN', 'BN', 'L', 'BN', 'BN', 'L', 'BN', 'L', 'BN', 'ON', 'BN']]), ('regression: overflow blocking', [['R', 'EN', 'L', 'R', 'RLE', 'RLE', 'LRE', 'R', 'EN', 'L', 'RLE', 'EN', 'R'], 0, 2], [[0, 0, 0, 0, 'x', 'x', 'x', 1, 1, 1, 'x', 1, 1], ['R', 'EN', 'L', 'R', 'BN', 'BN', 'BN', 'R', 'EN', 'L', 'BN', 'EN', 'R']]), ('LRE from odd level', [['LRE', 'R'], 1, 6], [['x', 2], ['BN', 'R']]), ('depth limit exactly reached', [['RLE', 'LRE', 'L', 'PDF', 'L'], 0, 2], [['x', 'x', 2, 'x', 1], ['BN', 'BN', 'L', 'BN', 'L']]), ('control layout', [['WS', 'L', 'RLO', 'PDF', 'LRE'], 1, 3], [[1, 1, 'x', 'x', 'x'], ['WS', 'L', 'BN', 'BN', 'BN']]), ('control layout', [['L', 'R', 'RLE', 'LRO', 'R', 'L', 'WS', 'PDF', 'RLO', 'R', 'EN', 'WS', 'L', 'PDF'], 0, 4], [[0, 0, 'x', 'x', 2, 2, 2, 'x', 'x', 3, 3, 3, 3, 'x'], ['L', 'R', 'BN', 'BN', 'L', 'L', 'L', 'BN', 'BN', 'R', 'R', 'R', 'R', 'BN']])], [('regression: overflow blocking', [['R', 'WS', 'RLE', 'LRE', 'PDF', 'L', 'RLO', 'LRE', 'L', 'RLE', 'L', 'PDF', 'ON', 'PDF'], 1, 4], [[1, 1, 'x', 'x', 'x', 3, 'x', 'x', 3, 'x', 3, 'x', 3, 'x'], ['R', 'WS', 'BN', 'BN', 'BN', 'L', 'BN', 'BN', 'L', 'BN', 'L', 'BN', 'ON', 'BN']]), ('regression: overflow blocking', [['PDF', 'LRE', 'RLE', 'RLE', 'LRE', 'EN', 'LRE', 'PDF', 'EN', 'ON', 'EN', 'ON'], 0, 4], [['x', 'x', 'x', 'x', 'x', 3, 'x', 'x', 3, 3, 3, 3], ['BN', 'BN', 'BN', 'BN', 'BN', 'EN', 'BN', 'BN', 'EN', 'ON', 'EN', 'ON']]), ('regression: overflow blocking', [['R', 'EN', 'L', 'R', 'RLE', 'RLE', 'LRE', 'R', 'EN', 'L', 'RLE', 'EN', 'R'], 0, 2], [[0, 0, 0, 0, 'x', 'x', 'x', 1, 1, 1, 'x', 1, 1], ['R', 'EN', 'L', 'R', 'BN', 'BN', 'BN', 'R', 'EN', 'L', 'BN', 'EN', 'R']]), ('regression: overflow blocking', [['ON', 'LRE', 'R', 'ON', 'RLE', 'PDF', 'LRE', 'L', 'LRE', 'PDF', 'RLE', 'PDF', 'R', 'EN'], 0, 3], [[0, 'x', 2, 2, 'x', 'x', 'x', 2, 'x', 'x', 'x', 'x', 2, 2], ['ON', 'BN', 'R', 'ON', 'BN', 'BN', 'BN', 'L', 'BN', 'BN', 'BN', 'BN', 'R', 'EN']]), ('LRE from odd level', [['LRE', 'R'], 1, 6], [['x', 2], ['BN', 'R']]), ('depth limit exactly reached', [['RLE', 'LRE', 'L', 'PDF', 'L'], 0, 2], [['x', 'x', 2, 'x', 1], ['BN', 'BN', 'L', 'BN', 'L']]), ('control layout', [['ON', 'LRE'], 0, 6], [[0, 'x'], ['ON', 'BN']]), ('control layout', [['R', 'ON', 'R', 'EN', 'R', 'PDF', 'PDF', 'LRE', 'EN', 'RLE'], 0, 5], [[0, 0, 0, 0, 0, 'x', 'x', 'x', 2, 'x'], ['R', 'ON', 'R', 'EN', 'R', 'BN', 'BN', 'BN', 'EN', 'BN']])], [('regression: overflow blocking', [['RLE', 'RLE', 'ON', 'RLO', 'LRE', 'LRE', 'R', 'RLE', 'R'], 1, 2], [['x', 'x', 1, 'x', 'x', 'x', 1, 'x', 1], ['BN', 'BN', 'ON', 'BN', 'BN', 'BN', 'R', 'BN', 'R']]), ('regression: overflow blocking', [['ON', 'RLE', 'PDF', 'R', 'RLE', 'LRE', 'ON', 'PDF', 'R', 'ON'], 1, 2], [[1, 'x', 'x', 1, 'x', 'x', 1, 'x', 1, 1], ['ON', 'BN', 'BN', 'R', 'BN', 'BN', 'ON', 'BN', 'R', 'ON']]), ('regression: overflow blocking', [['LRO', 'R', 'ON', 'EN', 'ON', 'LRE', 'RLE', 'L', 'ON', 'WS', 'ON', 'ON', 'RLE', 'WS'], 1, 3], [['x', 2, 2, 2, 2, 'x', 'x', 2, 2, 2, 2, 2, 'x', 2], ['BN', 'L', 'L', 'L', 'L', 'BN', 'BN', 'L', 'L', 'L', 'L', 'L', 'BN', 'L']]), ('regression: overflow blocking', [['R', 'EN', 'L', 'R', 'RLE', 'RLE', 'LRE', 'R', 'EN', 'L', 'RLE', 'EN', 'R'], 0, 2], [[0, 0, 0, 0, 'x', 'x', 'x', 1, 1, 1, 'x', 1, 1], ['R', 'EN', 'L', 'R', 'BN', 'BN', 'BN', 'R', 'EN', 'L', 'BN', 'EN', 'R']]), ('override on neutrals', [['RLO', 'ON', 'L', 'WS'], 0, 6], [['x', 1, 1, 1], ['BN', 'R', 'R', 'R']]), ('RLE from odd level', [['RLE', 'RLE', 'L'], 0, 6], [['x', 'x', 3], ['BN', 'BN', 'L']]), ('control layout', [['RLE', 'L', 'LRO', 'RLE', 'L', 'R', 'L', 'R', 'RLE', 'L', 'LRO', 'L'], 0, 3], [['x', 1, 'x', 'x', 3, 3, 3, 3, 'x', 3, 'x', 3], ['BN', 'L', 'BN', 'BN', 'L', 'R', 'L', 'R', 'BN', 'L', 'BN', 'L']]), ('control layout', [['RLE', 'ON', 'LRO'], 0, 4], [['x', 1, 'x'], ['BN', 'ON', 'BN']])]]\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-explicit-embeddings-overflow-blocking","generated_at":"2026-09-29T14:49:54.819508+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.","repair":"Refuse pushes whenever the overflow counter is nonzero.","root_cause":"Pushes are not blocked while an overflow is pending.","sha256":"cd85947f25ef566883af790e5f996cf289b58a46f774dd6fcf63f802080037a9","title":"Explicit embedding stack: overflow blocking · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.489,"exit_code":1,"observations":[{"actual":[["x","x","x","x",2,"x",2,"x","x",2,2,"x",2],["BN","BN","BN","BN","L","BN","L","BN","BN","L","L","BN","L"]],"check":"regression: overflow blocking","expected":[["x","x","x","x",2,"x",2,"x","x",2,2,"x",2],["BN","BN","BN","BN","L","BN","L","BN","BN","L","L","BN","L"]],"passed":true},{"actual":[["x","x",1,1,1,"x",1,"x","x",1,1,"x",1,1],["BN","BN","EN","ON","L","BN","ON","BN","BN","WS","L","BN","R","R"]],"check":"regression: overflow blocking","expected":[["x","x",1,1,1,"x",1,"x","x",1,1,"x",1,1],["BN","BN","EN","ON","L","BN","ON","BN","BN","WS","L","BN","R","R"]],"passed":true},{"actual":[[1,"x",1,"x",2,"x","x","x",3,"x",3,3,3,3],["L","BN","EN","BN","R","BN","BN","BN","WS","BN","ON","L","R","R"]],"check":"regression: overflow blocking","expected":[[1,"x",1,"x",2,"x","x","x",2,"x",2,2,2,2],["L","BN","EN","BN","R","BN","BN","BN","WS","BN","ON","L","R","R"]],"passed":false},{"actual":[[0,"x",2,2,"x","x","x",2,"x","x","x","x",3,3],["ON","BN","R","ON","BN","BN","BN","L","BN","BN","BN","BN","R","EN"]],"check":"regression: overflow blocking","expected":[[0,"x",2,2,"x","x","x",2,"x","x","x","x",2,2],["ON","BN","R","ON","BN","BN","BN","L","BN","BN","BN","BN","R","EN"]],"passed":false},{"actual":[["x","x",2,"x",1],["BN","BN","L","BN","L"]],"check":"depth limit exactly reached","expected":[["x","x",2,"x",1],["BN","BN","L","BN","L"]],"passed":true},{"actual":[["x","x",3],["BN","BN","L"]],"check":"RLE from odd level","expected":[["x","x",3],["BN","BN","L"]],"passed":true},{"actual":[["x","x"],["BN","BN"]],"check":"control layout","expected":[["x","x"],["BN","BN"]],"passed":true},{"actual":[["x",1,"x",2,"x","x",2],["BN","L","BN","EN","BN","BN","L"]],"check":"control layout","expected":[["x",1,"x",2,"x","x",2],["BN","L","BN","EN","BN","BN","L"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: overflow blocking\", \"actual\": [[\"x\", \"x\", \"x\", \"x\", 2, \"x\", 2, \"x\", \"x\", 2, 2, \"x\", 2], [\"BN\", \"BN\", \"BN\", \"BN\", \"L\", \"BN\", \"L\", \"BN\", \"BN\", \"L\", \"L\", \"BN\", \"L\"]], \"expected\": [[\"x\", \"x\", \"x\", \"x\", 2, \"x\", 2, \"x\", \"x\", 2, 2, \"x\", 2], [\"BN\", \"BN\", \"BN\", \"BN\", \"L\", \"BN\", \"L\", \"BN\", \"BN\", \"L\", \"L\", \"BN\", \"L\"]], \"passed\": true}, {\"check\": \"regression: overflow blocking\", \"actual\": [[\"x\", \"x\", 1, 1, 1, \"x\", 1, \"x\", \"x\", 1, 1, \"x\", 1, 1], [\"BN\", \"BN\", \"EN\", \"ON\", \"L\", \"BN\", \"ON\", \"BN\", \"BN\", \"WS\", \"L\", \"BN\", \"R\", \"R\"]], \"expected\": [[\"x\", \"x\", 1, 1, 1, \"x\", 1, \"x\", \"x\", 1, 1, \"x\", 1, 1], [\"BN\", \"BN\", \"EN\", \"ON\", \"L\", \"BN\", \"ON\", \"BN\", \"BN\", \"WS\", \"L\", \"BN\", \"R\", \"R\"]], \"passed\": true}, {\"check\": \"regression: overflow blocking\", \"actual\": [[1, \"x\", 1, \"x\", 2, \"x\", \"x\", \"x\", 3, \"x\", 3, 3, 3, 3], [\"L\", \"BN\", \"EN\", \"BN\", \"R\", \"BN\", \"BN\", \"BN\", \"WS\", \"BN\", \"ON\", \"L\", \"R\", \"R\"]], \"expected\": [[1, \"x\", 1, \"x\", 2, \"x\", \"x\", \"x\", 2, \"x\", 2, 2, 2, 2], [\"L\", \"BN\", \"EN\", \"BN\", \"R\", \"BN\", \"BN\", \"BN\", \"WS\", \"BN\", \"ON\", \"L\", \"R\", \"R\"]], \"passed\": false}, {\"check\": \"regression: overflow blocking\", \"actual\": [[0, \"x\", 2, 2, \"x\", \"x\", \"x\", 2, \"x\", \"x\", \"x\", \"x\", 3, 3], [\"ON\", \"BN\", \"R\", \"ON\", \"BN\", \"BN\", \"BN\", \"L\", \"BN\", \"BN\", \"BN\", \"BN\", \"R\", \"EN\"]], \"expected\": [[0, \"x\", 2, 2, \"x\", \"x\", \"x\", 2, \"x\", \"x\", \"x\", \"x\", 2, 2], [\"ON\", \"BN\", \"R\", \"ON\", \"BN\", \"BN\", \"BN\", \"L\", \"BN\", \"BN\", \"BN\", \"BN\", \"R\", \"EN\"]], \"passed\": false}, {\"check\": \"depth limit exactly reached\", \"actual\": [[\"x\", \"x\", 2, \"x\", 1], [\"BN\", \"BN\", \"L\", \"BN\", \"L\"]], \"expected\": [[\"x\", \"x\", 2, \"x\", 1], [\"BN\", \"BN\", \"L\", \"BN\", \"L\"]], \"passed\": true}, {\"check\": \"RLE from odd level\", \"actual\": [[\"x\", \"x\", 3], [\"BN\", \"BN\", \"L\"]], \"expected\": [[\"x\", \"x\", 3], [\"BN\", \"BN\", \"L\"]], \"passed\": true}, {\"check\": \"control layout\", \"actual\": [[\"x\", \"x\"], [\"BN\", \"BN\"]], \"expected\": [[\"x\", \"x\"], [\"BN\", \"BN\"]], \"passed\": true}, {\"check\": \"control layout\", \"actual\": [[\"x\", 1, \"x\", 2, \"x\", \"x\", 2], [\"BN\", \"L\", \"BN\", \"EN\", \"BN\", \"BN\", \"L\"]], \"expected\": [[\"x\", 1, \"x\", 2, \"x\", \"x\", 2], [\"BN\", \"L\", \"BN\", \"EN\", \"BN\", \"BN\", \"L\"]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.272,"exit_code":1,"observations":[{"actual":[["x","x","x","x",2,"x",2,"x","x",3,3,"x",3],["BN","BN","BN","BN","L","BN","L","BN","BN","ON","L","BN","L"]],"check":"regression: overflow blocking","expected":[["x","x","x","x",2,"x",2,"x","x",2,2,"x",2],["BN","BN","BN","BN","L","BN","L","BN","BN","L","L","BN","L"]],"passed":false},{"actual":[["x","x",1,1,1,"x",1,"x","x",2,2,"x",2,2],["BN","BN","EN","ON","L","BN","ON","BN","BN","WS","L","BN","R","R"]],"check":"regression: overflow blocking","expected":[["x","x",1,1,1,"x",1,"x","x",1,1,"x",1,1],["BN","BN","EN","ON","L","BN","ON","BN","BN","WS","L","BN","R","R"]],"passed":false},{"actual":[[1,"x",1,"x",2,"x","x","x",3,"x",3,3,3,3],["L","BN","EN","BN","R","BN","BN","BN","WS","BN","ON","L","R","R"]],"check":"regression: overflow blocking","expected":[[1,"x",1,"x",2,"x","x","x",2,"x",2,2,2,2],["L","BN","EN","BN","R","BN","BN","BN","WS","BN","ON","L","R","R"]],"passed":false},{"actual":[[0,"x",2,2,"x","x","x",2,"x","x","x","x",3,3],["ON","BN","R","ON","BN","BN","BN","L","BN","BN","BN","BN","R","EN"]],"check":"regression: overflow blocking","expected":[[0,"x",2,2,"x","x","x",2,"x","x","x","x",2,2],["ON","BN","R","ON","BN","BN","BN","L","BN","BN","BN","BN","R","EN"]],"passed":false},{"actual":[["x","x",2,"x",1],["BN","BN","L","BN","L"]],"check":"depth limit exactly reached","expected":[["x","x",2,"x",1],["BN","BN","L","BN","L"]],"passed":true},{"actual":[["x","x",3],["BN","BN","L"]],"check":"RLE from odd level","expected":[["x","x",3],["BN","BN","L"]],"passed":true},{"actual":[["x","x"],["BN","BN"]],"check":"control layout","expected":[["x","x"],["BN","BN"]],"passed":true},{"actual":[["x",1,"x",2,"x","x",2],["BN","L","BN","EN","BN","BN","L"]],"check":"control layout","expected":[["x",1,"x",2,"x","x",2],["BN","L","BN","EN","BN","BN","L"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: overflow blocking\", \"actual\": [[\"x\", \"x\", \"x\", \"x\", 2, \"x\", 2, \"x\", \"x\", 3, 3, \"x\", 3], [\"BN\", \"BN\", \"BN\", \"BN\", \"L\", \"BN\", \"L\", \"BN\", \"BN\", \"ON\", \"L\", \"BN\", \"L\"]], \"expected\": [[\"x\", \"x\", \"x\", \"x\", 2, \"x\", 2, \"x\", \"x\", 2, 2, \"x\", 2], [\"BN\", \"BN\", \"BN\", \"BN\", \"L\", \"BN\", \"L\", \"BN\", \"BN\", \"L\", \"L\", \"BN\", \"L\"]], \"passed\": false}, {\"check\": \"regression: overflow blocking\", \"actual\": [[\"x\", \"x\", 1, 1, 1, \"x\", 1, \"x\", \"x\", 2, 2, \"x\", 2, 2], [\"BN\", \"BN\", \"EN\", \"ON\", \"L\", \"BN\", \"ON\", \"BN\", \"BN\", \"WS\", \"L\", \"BN\", \"R\", \"R\"]], \"expected\": [[\"x\", \"x\", 1, 1, 1, \"x\", 1, \"x\", \"x\", 1, 1, \"x\", 1, 1], [\"BN\", \"BN\", \"EN\", \"ON\", \"L\", \"BN\", \"ON\", \"BN\", \"BN\", \"WS\", \"L\", \"BN\", \"R\", \"R\"]], \"passed\": false}, {\"check\": \"regression: overflow blocking\", \"actual\": [[1, \"x\", 1, \"x\", 2, \"x\", \"x\", \"x\", 3, \"x\", 3, 3, 3, 3], [\"L\", \"BN\", \"EN\", \"BN\", \"R\", \"BN\", \"BN\", \"BN\", \"WS\", \"BN\", \"ON\", \"L\", \"R\", \"R\"]], \"expected\": [[1, \"x\", 1, \"x\", 2, \"x\", \"x\", \"x\", 2, \"x\", 2, 2, 2, 2], [\"L\", \"BN\", \"EN\", \"BN\", \"R\", \"BN\", \"BN\", \"BN\", \"WS\", \"BN\", \"ON\", \"L\", \"R\", \"R\"]], \"passed\": false}, {\"check\": \"regression: overflow blocking\", \"actual\": [[0, \"x\", 2, 2, \"x\", \"x\", \"x\", 2, \"x\", \"x\", \"x\", \"x\", 3, 3], [\"ON\", \"BN\", \"R\", \"ON\", \"BN\", \"BN\", \"BN\", \"L\", \"BN\", \"BN\", \"BN\", \"BN\", \"R\", \"EN\"]], \"expected\": [[0, \"x\", 2, 2, \"x\", \"x\", \"x\", 2, \"x\", \"x\", \"x\", \"x\", 2, 2], [\"ON\", \"BN\", \"R\", \"ON\", \"BN\", \"BN\", \"BN\", \"L\", \"BN\", \"BN\", \"BN\", \"BN\", \"R\", \"EN\"]], \"passed\": false}, {\"check\": \"depth limit exactly reached\", \"actual\": [[\"x\", \"x\", 2, \"x\", 1], [\"BN\", \"BN\", \"L\", \"BN\", \"L\"]], \"expected\": [[\"x\", \"x\", 2, \"x\", 1], [\"BN\", \"BN\", \"L\", \"BN\", \"L\"]], \"passed\": true}, {\"check\": \"RLE from odd level\", \"actual\": [[\"x\", \"x\", 3], [\"BN\", \"BN\", \"L\"]], \"expected\": [[\"x\", \"x\", 3], [\"BN\", \"BN\", \"L\"]], \"passed\": true}, {\"check\": \"control layout\", \"actual\": [[\"x\", \"x\"], [\"BN\", \"BN\"]], \"expected\": [[\"x\", \"x\"], [\"BN\", \"BN\"]], \"passed\": true}, {\"check\": \"control layout\", \"actual\": [[\"x\", 1, \"x\", 2, \"x\", \"x\", 2], [\"BN\", \"L\", \"BN\", \"EN\", \"BN\", \"BN\", \"L\"]], \"expected\": [[\"x\", 1, \"x\", 2, \"x\", \"x\", 2], [\"BN\", \"L\", \"BN\", \"EN\", \"BN\", \"BN\", \"L\"]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.777,"exit_code":0,"observations":[{"actual":[["x","x","x","x",2,"x",2,"x","x",2,2,"x",2],["BN","BN","BN","BN","L","BN","L","BN","BN","L","L","BN","L"]],"check":"regression: overflow blocking","expected":[["x","x","x","x",2,"x",2,"x","x",2,2,"x",2],["BN","BN","BN","BN","L","BN","L","BN","BN","L","L","BN","L"]],"passed":true},{"actual":[["x","x",1,1,1,"x",1,"x","x",1,1,"x",1,1],["BN","BN","EN","ON","L","BN","ON","BN","BN","WS","L","BN","R","R"]],"check":"regression: overflow blocking","expected":[["x","x",1,1,1,"x",1,"x","x",1,1,"x",1,1],["BN","BN","EN","ON","L","BN","ON","BN","BN","WS","L","BN","R","R"]],"passed":true},{"actual":[[1,"x",1,"x",2,"x","x","x",2,"x",2,2,2,2],["L","BN","EN","BN","R","BN","BN","BN","WS","BN","ON","L","R","R"]],"check":"regression: overflow blocking","expected":[[1,"x",1,"x",2,"x","x","x",2,"x",2,2,2,2],["L","BN","EN","BN","R","BN","BN","BN","WS","BN","ON","L","R","R"]],"passed":true},{"actual":[[0,"x",2,2,"x","x","x",2,"x","x","x","x",2,2],["ON","BN","R","ON","BN","BN","BN","L","BN","BN","BN","BN","R","EN"]],"check":"regression: overflow blocking","expected":[[0,"x",2,2,"x","x","x",2,"x","x","x","x",2,2],["ON","BN","R","ON","BN","BN","BN","L","BN","BN","BN","BN","R","EN"]],"passed":true},{"actual":[["x","x",2,"x",1],["BN","BN","L","BN","L"]],"check":"depth limit exactly reached","expected":[["x","x",2,"x",1],["BN","BN","L","BN","L"]],"passed":true},{"actual":[["x","x",3],["BN","BN","L"]],"check":"RLE from odd level","expected":[["x","x",3],["BN","BN","L"]],"passed":true},{"actual":[["x","x"],["BN","BN"]],"check":"control layout","expected":[["x","x"],["BN","BN"]],"passed":true},{"actual":[["x",1,"x",2,"x","x",2],["BN","L","BN","EN","BN","BN","L"]],"check":"control layout","expected":[["x",1,"x",2,"x","x",2],["BN","L","BN","EN","BN","BN","L"]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: overflow blocking\", \"actual\": [[\"x\", \"x\", \"x\", \"x\", 2, \"x\", 2, \"x\", \"x\", 2, 2, \"x\", 2], [\"BN\", \"BN\", \"BN\", \"BN\", \"L\", \"BN\", \"L\", \"BN\", \"BN\", \"L\", \"L\", \"BN\", \"L\"]], \"expected\": [[\"x\", \"x\", \"x\", \"x\", 2, \"x\", 2, \"x\", \"x\", 2, 2, \"x\", 2], [\"BN\", \"BN\", \"BN\", \"BN\", \"L\", \"BN\", \"L\", \"BN\", \"BN\", \"L\", \"L\", \"BN\", \"L\"]], \"passed\": true}, {\"check\": \"regression: overflow blocking\", \"actual\": [[\"x\", \"x\", 1, 1, 1, \"x\", 1, \"x\", \"x\", 1, 1, \"x\", 1, 1], [\"BN\", \"BN\", \"EN\", \"ON\", \"L\", \"BN\", \"ON\", \"BN\", \"BN\", \"WS\", \"L\", \"BN\", \"R\", \"R\"]], \"expected\": [[\"x\", \"x\", 1, 1, 1, \"x\", 1, \"x\", \"x\", 1, 1, \"x\", 1, 1], [\"BN\", \"BN\", \"EN\", \"ON\", \"L\", \"BN\", \"ON\", \"BN\", \"BN\", \"WS\", \"L\", \"BN\", \"R\", \"R\"]], \"passed\": true}, {\"check\": \"regression: overflow blocking\", \"actual\": [[1, \"x\", 1, \"x\", 2, \"x\", \"x\", \"x\", 2, \"x\", 2, 2, 2, 2], [\"L\", \"BN\", \"EN\", \"BN\", \"R\", \"BN\", \"BN\", \"BN\", \"WS\", \"BN\", \"ON\", \"L\", \"R\", \"R\"]], \"expected\": [[1, \"x\", 1, \"x\", 2, \"x\", \"x\", \"x\", 2, \"x\", 2, 2, 2, 2], [\"L\", \"BN\", \"EN\", \"BN\", \"R\", \"BN\", \"BN\", \"BN\", \"WS\", \"BN\", \"ON\", \"L\", \"R\", \"R\"]], \"passed\": true}, {\"check\": \"regression: overflow blocking\", \"actual\": [[0, \"x\", 2, 2, \"x\", \"x\", \"x\", 2, \"x\", \"x\", \"x\", \"x\", 2, 2], [\"ON\", \"BN\", \"R\", \"ON\", \"BN\", \"BN\", \"BN\", \"L\", \"BN\", \"BN\", \"BN\", \"BN\", \"R\", \"EN\"]], \"expected\": [[0, \"x\", 2, 2, \"x\", \"x\", \"x\", 2, \"x\", \"x\", \"x\", \"x\", 2, 2], [\"ON\", \"BN\", \"R\", \"ON\", \"BN\", \"BN\", \"BN\", \"L\", \"BN\", \"BN\", \"BN\", \"BN\", \"R\", \"EN\"]], \"passed\": true}, {\"check\": \"depth limit exactly reached\", \"actual\": [[\"x\", \"x\", 2, \"x\", 1], [\"BN\", \"BN\", \"L\", \"BN\", \"L\"]], \"expected\": [[\"x\", \"x\", 2, \"x\", 1], [\"BN\", \"BN\", \"L\", \"BN\", \"L\"]], \"passed\": true}, {\"check\": \"RLE from odd level\", \"actual\": [[\"x\", \"x\", 3], [\"BN\", \"BN\", \"L\"]], \"expected\": [[\"x\", \"x\", 3], [\"BN\", \"BN\", \"L\"]], \"passed\": true}, {\"check\": \"control layout\", \"actual\": [[\"x\", \"x\"], [\"BN\", \"BN\"]], \"expected\": [[\"x\", \"x\"], [\"BN\", \"BN\"]], \"passed\": true}, {\"check\": \"control layout\", \"actual\": [[\"x\", 1, \"x\", 2, \"x\", \"x\", 2], [\"BN\", \"L\", \"BN\", \"EN\", \"BN\", \"BN\", \"L\"]], \"expected\": [[\"x\", 1, \"x\", 2, \"x\", \"x\", 2], [\"BN\", \"L\", \"BN\", \"EN\", \"BN\", \"BN\", \"L\"]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}