{"abstract":"The returned physical layout descriptor disagrees with the declared buffer mapping at row_pitches.","category":"Raster memory layout","checks":6,"contract":"Store four mip levels consecutively. Each level uses ceil-halving, keeps dimensions at least one, has a two-byte row guard and a three-byte level header. A four-entry directory of two-byte offsets precedes all levels. Return the named intermediate layout descriptor and final address fields; all quantities are integer byte offsets unless explicitly stated.","evaluation_group":"s3-raster-memory-layout-mip-chain-directory","failed_approach":"The attempted repair uses [widths[0]*p[\"b\"]+2]*4 and still violates the layout contract.","family":"s3-raster-memory-layout-mip-chain-directory-row-pitches","id":"FA-52051","implementations":{"attempt":{"sha256":"194b99f962065ad9bbe01c007e3a6897a7c600d18aff0cc861bc50f8672a9ccc","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(p):\n    p = dict(p)\n    widths = [max(1,(p[\"w\"]+(1<<i)-1)//(1<<i)) for i in range(4)]\n    heights = [max(1,(p[\"h\"]+(1<<i)-1)//(1<<i)) for i in range(4)]\n    row_pitches = [widths[0]*p[\"b\"]+2]*4\n    level_sizes = [row_pitches[i]*heights[i]+3 for i in range(4)]\n    directory_size = 4*2\n    level_offsets = [directory_size+sum(level_sizes[:i]) for i in range(4)]\n    selected_size = level_sizes[p[\"level\"]]\n    level_origin = p[\"base\"]+level_offsets[p[\"level\"]]\n    payload_origin = level_origin+3\n    allocation_end = p[\"base\"]+directory_size+sum(level_sizes)\n    return {'widths': widths, 'heights': heights, 'row_pitches': row_pitches, 'level_sizes': level_sizes, 'directory_size': directory_size, 'level_offsets': level_offsets, 'selected_size': selected_size, 'level_origin': level_origin, 'payload_origin': payload_origin, 'allocation_end': allocation_end}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [({'w': 8, 'h': 5, 'b': 2, 'base': 9, 'level': 0, 'x': 0, 'y': 0}, {'widths': [8, 4, 2, 1], 'heights': [5, 3, 2, 1], 'row_pitches': [18, 10, 6, 4], 'level_sizes': [93, 33, 15, 7], 'directory_size': 8, 'level_offsets': [8, 101, 134, 149], 'selected_size': 93, 'level_origin': 17, 'payload_origin': 20, 'allocation_end': 165}), ({'w': 9, 'h': 6, 'b': 2, 'base': 9, 'level': 1, 'x': 0, 'y': 0}, {'widths': [9, 5, 3, 2], 'heights': [6, 3, 2, 1], 'row_pitches': [20, 12, 8, 6], 'level_sizes': [123, 39, 19, 9], 'directory_size': 8, 'level_offsets': [8, 131, 170, 189], 'selected_size': 39, 'level_origin': 140, 'payload_origin': 143, 'allocation_end': 207}), ({'w': 10, 'h': 7, 'b': 2, 'base': 9, 'level': 2, 'x': 0, 'y': 0}, {'widths': [10, 5, 3, 2], 'heights': [7, 4, 2, 1], 'row_pitches': [22, 12, 8, 6], 'level_sizes': [157, 51, 19, 9], 'directory_size': 8, 'level_offsets': [8, 165, 216, 235], 'selected_size': 19, 'level_origin': 225, 'payload_origin': 228, 'allocation_end': 253}), ({'w': 11, 'h': 8, 'b': 2, 'base': 9, 'level': 3, 'x': 0, 'y': 0}, {'widths': [11, 6, 3, 2], 'heights': [8, 4, 2, 1], 'row_pitches': [24, 14, 8, 6], 'level_sizes': [195, 59, 19, 9], 'directory_size': 8, 'level_offsets': [8, 203, 262, 281], 'selected_size': 9, 'level_origin': 290, 'payload_origin': 293, 'allocation_end': 299}), ({'w': 12, 'h': 9, 'b': 2, 'base': 9, 'level': 0, 'x': 0, 'y': 0}, {'widths': [12, 6, 3, 2], 'heights': [9, 5, 3, 2], 'row_pitches': [26, 14, 8, 6], 'level_sizes': [237, 73, 27, 15], 'directory_size': 8, 'level_offsets': [8, 245, 318, 345], 'selected_size': 237, 'level_origin': 17, 'payload_origin': 20, 'allocation_end': 369}), ({'w': 13, 'h': 10, 'b': 2, 'base': 9, 'level': 1, 'x': 0, 'y': 0}, {'widths': [13, 7, 4, 2], 'heights': [10, 5, 3, 2], 'row_pitches': [28, 16, 10, 6], 'level_sizes': [283, 83, 33, 15], 'directory_size': 8, 'level_offsets': [8, 291, 374, 407], 'selected_size': 83, 'level_origin': 300, 'payload_origin': 303, 'allocation_end': 431})], 2: [({'w': 9, 'h': 5, 'b': 3, 'base': 18, 'level': 0, 'x': 0, 'y': 0}, {'widths': [9, 5, 3, 2], 'heights': [5, 3, 2, 1], 'row_pitches': [29, 17, 11, 8], 'level_sizes': [148, 54, 25, 11], 'directory_size': 8, 'level_offsets': [8, 156, 210, 235], 'selected_size': 148, 'level_origin': 26, 'payload_origin': 29, 'allocation_end': 264}), ({'w': 10, 'h': 6, 'b': 3, 'base': 18, 'level': 1, 'x': 0, 'y': 0}, {'widths': [10, 5, 3, 2], 'heights': [6, 3, 2, 1], 'row_pitches': [32, 17, 11, 8], 'level_sizes': [195, 54, 25, 11], 'directory_size': 8, 'level_offsets': [8, 203, 257, 282], 'selected_size': 54, 'level_origin': 221, 'payload_origin': 224, 'allocation_end': 311}), ({'w': 11, 'h': 7, 'b': 3, 'base': 18, 'level': 2, 'x': 0, 'y': 0}, {'widths': [11, 6, 3, 2], 'heights': [7, 4, 2, 1], 'row_pitches': [35, 20, 11, 8], 'level_sizes': [248, 83, 25, 11], 'directory_size': 8, 'level_offsets': [8, 256, 339, 364], 'selected_size': 25, 'level_origin': 357, 'payload_origin': 360, 'allocation_end': 393}), ({'w': 12, 'h': 8, 'b': 3, 'base': 18, 'level': 3, 'x': 0, 'y': 0}, {'widths': [12, 6, 3, 2], 'heights': [8, 4, 2, 1], 'row_pitches': [38, 20, 11, 8], 'level_sizes': [307, 83, 25, 11], 'directory_size': 8, 'level_offsets': [8, 315, 398, 423], 'selected_size': 11, 'level_origin': 441, 'payload_origin': 444, 'allocation_end': 452}), ({'w': 13, 'h': 9, 'b': 3, 'base': 18, 'level': 0, 'x': 0, 'y': 0}, {'widths': [13, 7, 4, 2], 'heights': [9, 5, 3, 2], 'row_pitches': [41, 23, 14, 8], 'level_sizes': [372, 118, 45, 19], 'directory_size': 8, 'level_offsets': [8, 380, 498, 543], 'selected_size': 372, 'level_origin': 26, 'payload_origin': 29, 'allocation_end': 580}), ({'w': 14, 'h': 10, 'b': 3, 'base': 18, 'level': 1, 'x': 0, 'y': 0}, {'widths': [14, 7, 4, 2], 'heights': [10, 5, 3, 2], 'row_pitches': [44, 23, 14, 8], 'level_sizes': [443, 118, 45, 19], 'directory_size': 8, 'level_offsets': [8, 451, 569, 614], 'selected_size': 118, 'level_origin': 469, 'payload_origin': 472, 'allocation_end': 651})], 3: [({'w': 10, 'h': 5, 'b': 4, 'base': 27, 'level': 0, 'x': 0, 'y': 0}, {'widths': [10, 5, 3, 2], 'heights': [5, 3, 2, 1], 'row_pitches': [42, 22, 14, 10], 'level_sizes': [213, 69, 31, 13], 'directory_size': 8, 'level_offsets': [8, 221, 290, 321], 'selected_size': 213, 'level_origin': 35, 'payload_origin': 38, 'allocation_end': 361}), ({'w': 11, 'h': 6, 'b': 4, 'base': 27, 'level': 1, 'x': 0, 'y': 0}, {'widths': [11, 6, 3, 2], 'heights': [6, 3, 2, 1], 'row_pitches': [46, 26, 14, 10], 'level_sizes': [279, 81, 31, 13], 'directory_size': 8, 'level_offsets': [8, 287, 368, 399], 'selected_size': 81, 'level_origin': 314, 'payload_origin': 317, 'allocation_end': 439}), ({'w': 12, 'h': 7, 'b': 4, 'base': 27, 'level': 2, 'x': 0, 'y': 0}, {'widths': [12, 6, 3, 2], 'heights': [7, 4, 2, 1], 'row_pitches': [50, 26, 14, 10], 'level_sizes': [353, 107, 31, 13], 'directory_size': 8, 'level_offsets': [8, 361, 468, 499], 'selected_size': 31, 'level_origin': 495, 'payload_origin': 498, 'allocation_end': 539}), ({'w': 13, 'h': 8, 'b': 4, 'base': 27, 'level': 3, 'x': 0, 'y': 0}, {'widths': [13, 7, 4, 2], 'heights': [8, 4, 2, 1], 'row_pitches': [54, 30, 18, 10], 'level_sizes': [435, 123, 39, 13], 'directory_size': 8, 'level_offsets': [8, 443, 566, 605], 'selected_size': 13, 'level_origin': 632, 'payload_origin': 635, 'allocation_end': 645}), ({'w': 14, 'h': 9, 'b': 4, 'base': 27, 'level': 0, 'x': 0, 'y': 0}, {'widths': [14, 7, 4, 2], 'heights': [9, 5, 3, 2], 'row_pitches': [58, 30, 18, 10], 'level_sizes': [525, 153, 57, 23], 'directory_size': 8, 'level_offsets': [8, 533, 686, 743], 'selected_size': 525, 'level_origin': 35, 'payload_origin': 38, 'allocation_end': 793}), ({'w': 15, 'h': 10, 'b': 4, 'base': 27, 'level': 1, 'x': 0, 'y': 0}, {'widths': [15, 8, 4, 2], 'heights': [10, 5, 3, 2], 'row_pitches': [62, 34, 18, 10], 'level_sizes': [623, 173, 57, 23], 'directory_size': 8, 'level_offsets': [8, 631, 804, 861], 'selected_size': 173, 'level_origin': 658, 'payload_origin': 661, 'allocation_end': 911})], 4: [({'w': 11, 'h': 5, 'b': 5, 'base': 36, 'level': 0, 'x': 0, 'y': 0}, {'widths': [11, 6, 3, 2], 'heights': [5, 3, 2, 1], 'row_pitches': [57, 32, 17, 12], 'level_sizes': [288, 99, 37, 15], 'directory_size': 8, 'level_offsets': [8, 296, 395, 432], 'selected_size': 288, 'level_origin': 44, 'payload_origin': 47, 'allocation_end': 483}), ({'w': 12, 'h': 6, 'b': 5, 'base': 36, 'level': 1, 'x': 0, 'y': 0}, {'widths': [12, 6, 3, 2], 'heights': [6, 3, 2, 1], 'row_pitches': [62, 32, 17, 12], 'level_sizes': [375, 99, 37, 15], 'directory_size': 8, 'level_offsets': [8, 383, 482, 519], 'selected_size': 99, 'level_origin': 419, 'payload_origin': 422, 'allocation_end': 570}), ({'w': 13, 'h': 7, 'b': 5, 'base': 36, 'level': 2, 'x': 0, 'y': 0}, {'widths': [13, 7, 4, 2], 'heights': [7, 4, 2, 1], 'row_pitches': [67, 37, 22, 12], 'level_sizes': [472, 151, 47, 15], 'directory_size': 8, 'level_offsets': [8, 480, 631, 678], 'selected_size': 47, 'level_origin': 667, 'payload_origin': 670, 'allocation_end': 729}), ({'w': 14, 'h': 8, 'b': 5, 'base': 36, 'level': 3, 'x': 0, 'y': 0}, {'widths': [14, 7, 4, 2], 'heights': [8, 4, 2, 1], 'row_pitches': [72, 37, 22, 12], 'level_sizes': [579, 151, 47, 15], 'directory_size': 8, 'level_offsets': [8, 587, 738, 785], 'selected_size': 15, 'level_origin': 821, 'payload_origin': 824, 'allocation_end': 836}), ({'w': 15, 'h': 9, 'b': 5, 'base': 36, 'level': 0, 'x': 0, 'y': 0}, {'widths': [15, 8, 4, 2], 'heights': [9, 5, 3, 2], 'row_pitches': [77, 42, 22, 12], 'level_sizes': [696, 213, 69, 27], 'directory_size': 8, 'level_offsets': [8, 704, 917, 986], 'selected_size': 696, 'level_origin': 44, 'payload_origin': 47, 'allocation_end': 1049}), ({'w': 16, 'h': 10, 'b': 5, 'base': 36, 'level': 1, 'x': 0, 'y': 0}, {'widths': [16, 8, 4, 2], 'heights': [10, 5, 3, 2], 'row_pitches': [82, 42, 22, 12], 'level_sizes': [823, 213, 69, 27], 'directory_size': 8, 'level_offsets': [8, 831, 1044, 1113], 'selected_size': 213, 'level_origin': 867, 'payload_origin': 870, 'allocation_end': 1176})], 5: [({'w': 12, 'h': 5, 'b': 6, 'base': 45, 'level': 0, 'x': 0, 'y': 0}, {'widths': [12, 6, 3, 2], 'heights': [5, 3, 2, 1], 'row_pitches': [74, 38, 20, 14], 'level_sizes': [373, 117, 43, 17], 'directory_size': 8, 'level_offsets': [8, 381, 498, 541], 'selected_size': 373, 'level_origin': 53, 'payload_origin': 56, 'allocation_end': 603}), ({'w': 13, 'h': 6, 'b': 6, 'base': 45, 'level': 1, 'x': 0, 'y': 0}, {'widths': [13, 7, 4, 2], 'heights': [6, 3, 2, 1], 'row_pitches': [80, 44, 26, 14], 'level_sizes': [483, 135, 55, 17], 'directory_size': 8, 'level_offsets': [8, 491, 626, 681], 'selected_size': 135, 'level_origin': 536, 'payload_origin': 539, 'allocation_end': 743}), ({'w': 14, 'h': 7, 'b': 6, 'base': 45, 'level': 2, 'x': 0, 'y': 0}, {'widths': [14, 7, 4, 2], 'heights': [7, 4, 2, 1], 'row_pitches': [86, 44, 26, 14], 'level_sizes': [605, 179, 55, 17], 'directory_size': 8, 'level_offsets': [8, 613, 792, 847], 'selected_size': 55, 'level_origin': 837, 'payload_origin': 840, 'allocation_end': 909}), ({'w': 15, 'h': 8, 'b': 6, 'base': 45, 'level': 3, 'x': 0, 'y': 0}, {'widths': [15, 8, 4, 2], 'heights': [8, 4, 2, 1], 'row_pitches': [92, 50, 26, 14], 'level_sizes': [739, 203, 55, 17], 'directory_size': 8, 'level_offsets': [8, 747, 950, 1005], 'selected_size': 17, 'level_origin': 1050, 'payload_origin': 1053, 'allocation_end': 1067}), ({'w': 16, 'h': 9, 'b': 6, 'base': 45, 'level': 0, 'x': 0, 'y': 0}, {'widths': [16, 8, 4, 2], 'heights': [9, 5, 3, 2], 'row_pitches': [98, 50, 26, 14], 'level_sizes': [885, 253, 81, 31], 'directory_size': 8, 'level_offsets': [8, 893, 1146, 1227], 'selected_size': 885, 'level_origin': 53, 'payload_origin': 56, 'allocation_end': 1303}), ({'w': 17, 'h': 10, 'b': 6, 'base': 45, 'level': 1, 'x': 0, 'y': 0}, {'widths': [17, 9, 5, 3], 'heights': [10, 5, 3, 2], 'row_pitches': [104, 56, 32, 20], 'level_sizes': [1043, 283, 99, 43], 'directory_size': 8, 'level_offsets': [8, 1051, 1334, 1433], 'selected_size': 283, 'level_origin': 1096, 'payload_origin': 1099, 'allocation_end': 1521})]}\nfor i, (p, expected) in enumerate(cases[N]):\n    check(\"layout fixture \" + str(i + 1), solve(p), 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":"090b57f13188c2dd3b7770308900ffea0f23bc270fd167714ccecab9434ef145","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(p):\n    p = dict(p)\n    widths = [max(1,(p[\"w\"]+(1<<i)-1)//(1<<i)) for i in range(4)]\n    heights = [max(1,(p[\"h\"]+(1<<i)-1)//(1<<i)) for i in range(4)]\n    row_pitches = [w*p[\"b\"] for w in widths]\n    level_sizes = [row_pitches[i]*heights[i]+3 for i in range(4)]\n    directory_size = 4*2\n    level_offsets = [directory_size+sum(level_sizes[:i]) for i in range(4)]\n    selected_size = level_sizes[p[\"level\"]]\n    level_origin = p[\"base\"]+level_offsets[p[\"level\"]]\n    payload_origin = level_origin+3\n    allocation_end = p[\"base\"]+directory_size+sum(level_sizes)\n    return {'widths': widths, 'heights': heights, 'row_pitches': row_pitches, 'level_sizes': level_sizes, 'directory_size': directory_size, 'level_offsets': level_offsets, 'selected_size': selected_size, 'level_origin': level_origin, 'payload_origin': payload_origin, 'allocation_end': allocation_end}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [({'w': 8, 'h': 5, 'b': 2, 'base': 9, 'level': 0, 'x': 0, 'y': 0}, {'widths': [8, 4, 2, 1], 'heights': [5, 3, 2, 1], 'row_pitches': [18, 10, 6, 4], 'level_sizes': [93, 33, 15, 7], 'directory_size': 8, 'level_offsets': [8, 101, 134, 149], 'selected_size': 93, 'level_origin': 17, 'payload_origin': 20, 'allocation_end': 165}), ({'w': 9, 'h': 6, 'b': 2, 'base': 9, 'level': 1, 'x': 0, 'y': 0}, {'widths': [9, 5, 3, 2], 'heights': [6, 3, 2, 1], 'row_pitches': [20, 12, 8, 6], 'level_sizes': [123, 39, 19, 9], 'directory_size': 8, 'level_offsets': [8, 131, 170, 189], 'selected_size': 39, 'level_origin': 140, 'payload_origin': 143, 'allocation_end': 207}), ({'w': 10, 'h': 7, 'b': 2, 'base': 9, 'level': 2, 'x': 0, 'y': 0}, {'widths': [10, 5, 3, 2], 'heights': [7, 4, 2, 1], 'row_pitches': [22, 12, 8, 6], 'level_sizes': [157, 51, 19, 9], 'directory_size': 8, 'level_offsets': [8, 165, 216, 235], 'selected_size': 19, 'level_origin': 225, 'payload_origin': 228, 'allocation_end': 253}), ({'w': 11, 'h': 8, 'b': 2, 'base': 9, 'level': 3, 'x': 0, 'y': 0}, {'widths': [11, 6, 3, 2], 'heights': [8, 4, 2, 1], 'row_pitches': [24, 14, 8, 6], 'level_sizes': [195, 59, 19, 9], 'directory_size': 8, 'level_offsets': [8, 203, 262, 281], 'selected_size': 9, 'level_origin': 290, 'payload_origin': 293, 'allocation_end': 299}), ({'w': 12, 'h': 9, 'b': 2, 'base': 9, 'level': 0, 'x': 0, 'y': 0}, {'widths': [12, 6, 3, 2], 'heights': [9, 5, 3, 2], 'row_pitches': [26, 14, 8, 6], 'level_sizes': [237, 73, 27, 15], 'directory_size': 8, 'level_offsets': [8, 245, 318, 345], 'selected_size': 237, 'level_origin': 17, 'payload_origin': 20, 'allocation_end': 369}), ({'w': 13, 'h': 10, 'b': 2, 'base': 9, 'level': 1, 'x': 0, 'y': 0}, {'widths': [13, 7, 4, 2], 'heights': [10, 5, 3, 2], 'row_pitches': [28, 16, 10, 6], 'level_sizes': [283, 83, 33, 15], 'directory_size': 8, 'level_offsets': [8, 291, 374, 407], 'selected_size': 83, 'level_origin': 300, 'payload_origin': 303, 'allocation_end': 431})], 2: [({'w': 9, 'h': 5, 'b': 3, 'base': 18, 'level': 0, 'x': 0, 'y': 0}, {'widths': [9, 5, 3, 2], 'heights': [5, 3, 2, 1], 'row_pitches': [29, 17, 11, 8], 'level_sizes': [148, 54, 25, 11], 'directory_size': 8, 'level_offsets': [8, 156, 210, 235], 'selected_size': 148, 'level_origin': 26, 'payload_origin': 29, 'allocation_end': 264}), ({'w': 10, 'h': 6, 'b': 3, 'base': 18, 'level': 1, 'x': 0, 'y': 0}, {'widths': [10, 5, 3, 2], 'heights': [6, 3, 2, 1], 'row_pitches': [32, 17, 11, 8], 'level_sizes': [195, 54, 25, 11], 'directory_size': 8, 'level_offsets': [8, 203, 257, 282], 'selected_size': 54, 'level_origin': 221, 'payload_origin': 224, 'allocation_end': 311}), ({'w': 11, 'h': 7, 'b': 3, 'base': 18, 'level': 2, 'x': 0, 'y': 0}, {'widths': [11, 6, 3, 2], 'heights': [7, 4, 2, 1], 'row_pitches': [35, 20, 11, 8], 'level_sizes': [248, 83, 25, 11], 'directory_size': 8, 'level_offsets': [8, 256, 339, 364], 'selected_size': 25, 'level_origin': 357, 'payload_origin': 360, 'allocation_end': 393}), ({'w': 12, 'h': 8, 'b': 3, 'base': 18, 'level': 3, 'x': 0, 'y': 0}, {'widths': [12, 6, 3, 2], 'heights': [8, 4, 2, 1], 'row_pitches': [38, 20, 11, 8], 'level_sizes': [307, 83, 25, 11], 'directory_size': 8, 'level_offsets': [8, 315, 398, 423], 'selected_size': 11, 'level_origin': 441, 'payload_origin': 444, 'allocation_end': 452}), ({'w': 13, 'h': 9, 'b': 3, 'base': 18, 'level': 0, 'x': 0, 'y': 0}, {'widths': [13, 7, 4, 2], 'heights': [9, 5, 3, 2], 'row_pitches': [41, 23, 14, 8], 'level_sizes': [372, 118, 45, 19], 'directory_size': 8, 'level_offsets': [8, 380, 498, 543], 'selected_size': 372, 'level_origin': 26, 'payload_origin': 29, 'allocation_end': 580}), ({'w': 14, 'h': 10, 'b': 3, 'base': 18, 'level': 1, 'x': 0, 'y': 0}, {'widths': [14, 7, 4, 2], 'heights': [10, 5, 3, 2], 'row_pitches': [44, 23, 14, 8], 'level_sizes': [443, 118, 45, 19], 'directory_size': 8, 'level_offsets': [8, 451, 569, 614], 'selected_size': 118, 'level_origin': 469, 'payload_origin': 472, 'allocation_end': 651})], 3: [({'w': 10, 'h': 5, 'b': 4, 'base': 27, 'level': 0, 'x': 0, 'y': 0}, {'widths': [10, 5, 3, 2], 'heights': [5, 3, 2, 1], 'row_pitches': [42, 22, 14, 10], 'level_sizes': [213, 69, 31, 13], 'directory_size': 8, 'level_offsets': [8, 221, 290, 321], 'selected_size': 213, 'level_origin': 35, 'payload_origin': 38, 'allocation_end': 361}), ({'w': 11, 'h': 6, 'b': 4, 'base': 27, 'level': 1, 'x': 0, 'y': 0}, {'widths': [11, 6, 3, 2], 'heights': [6, 3, 2, 1], 'row_pitches': [46, 26, 14, 10], 'level_sizes': [279, 81, 31, 13], 'directory_size': 8, 'level_offsets': [8, 287, 368, 399], 'selected_size': 81, 'level_origin': 314, 'payload_origin': 317, 'allocation_end': 439}), ({'w': 12, 'h': 7, 'b': 4, 'base': 27, 'level': 2, 'x': 0, 'y': 0}, {'widths': [12, 6, 3, 2], 'heights': [7, 4, 2, 1], 'row_pitches': [50, 26, 14, 10], 'level_sizes': [353, 107, 31, 13], 'directory_size': 8, 'level_offsets': [8, 361, 468, 499], 'selected_size': 31, 'level_origin': 495, 'payload_origin': 498, 'allocation_end': 539}), ({'w': 13, 'h': 8, 'b': 4, 'base': 27, 'level': 3, 'x': 0, 'y': 0}, {'widths': [13, 7, 4, 2], 'heights': [8, 4, 2, 1], 'row_pitches': [54, 30, 18, 10], 'level_sizes': [435, 123, 39, 13], 'directory_size': 8, 'level_offsets': [8, 443, 566, 605], 'selected_size': 13, 'level_origin': 632, 'payload_origin': 635, 'allocation_end': 645}), ({'w': 14, 'h': 9, 'b': 4, 'base': 27, 'level': 0, 'x': 0, 'y': 0}, {'widths': [14, 7, 4, 2], 'heights': [9, 5, 3, 2], 'row_pitches': [58, 30, 18, 10], 'level_sizes': [525, 153, 57, 23], 'directory_size': 8, 'level_offsets': [8, 533, 686, 743], 'selected_size': 525, 'level_origin': 35, 'payload_origin': 38, 'allocation_end': 793}), ({'w': 15, 'h': 10, 'b': 4, 'base': 27, 'level': 1, 'x': 0, 'y': 0}, {'widths': [15, 8, 4, 2], 'heights': [10, 5, 3, 2], 'row_pitches': [62, 34, 18, 10], 'level_sizes': [623, 173, 57, 23], 'directory_size': 8, 'level_offsets': [8, 631, 804, 861], 'selected_size': 173, 'level_origin': 658, 'payload_origin': 661, 'allocation_end': 911})], 4: [({'w': 11, 'h': 5, 'b': 5, 'base': 36, 'level': 0, 'x': 0, 'y': 0}, {'widths': [11, 6, 3, 2], 'heights': [5, 3, 2, 1], 'row_pitches': [57, 32, 17, 12], 'level_sizes': [288, 99, 37, 15], 'directory_size': 8, 'level_offsets': [8, 296, 395, 432], 'selected_size': 288, 'level_origin': 44, 'payload_origin': 47, 'allocation_end': 483}), ({'w': 12, 'h': 6, 'b': 5, 'base': 36, 'level': 1, 'x': 0, 'y': 0}, {'widths': [12, 6, 3, 2], 'heights': [6, 3, 2, 1], 'row_pitches': [62, 32, 17, 12], 'level_sizes': [375, 99, 37, 15], 'directory_size': 8, 'level_offsets': [8, 383, 482, 519], 'selected_size': 99, 'level_origin': 419, 'payload_origin': 422, 'allocation_end': 570}), ({'w': 13, 'h': 7, 'b': 5, 'base': 36, 'level': 2, 'x': 0, 'y': 0}, {'widths': [13, 7, 4, 2], 'heights': [7, 4, 2, 1], 'row_pitches': [67, 37, 22, 12], 'level_sizes': [472, 151, 47, 15], 'directory_size': 8, 'level_offsets': [8, 480, 631, 678], 'selected_size': 47, 'level_origin': 667, 'payload_origin': 670, 'allocation_end': 729}), ({'w': 14, 'h': 8, 'b': 5, 'base': 36, 'level': 3, 'x': 0, 'y': 0}, {'widths': [14, 7, 4, 2], 'heights': [8, 4, 2, 1], 'row_pitches': [72, 37, 22, 12], 'level_sizes': [579, 151, 47, 15], 'directory_size': 8, 'level_offsets': [8, 587, 738, 785], 'selected_size': 15, 'level_origin': 821, 'payload_origin': 824, 'allocation_end': 836}), ({'w': 15, 'h': 9, 'b': 5, 'base': 36, 'level': 0, 'x': 0, 'y': 0}, {'widths': [15, 8, 4, 2], 'heights': [9, 5, 3, 2], 'row_pitches': [77, 42, 22, 12], 'level_sizes': [696, 213, 69, 27], 'directory_size': 8, 'level_offsets': [8, 704, 917, 986], 'selected_size': 696, 'level_origin': 44, 'payload_origin': 47, 'allocation_end': 1049}), ({'w': 16, 'h': 10, 'b': 5, 'base': 36, 'level': 1, 'x': 0, 'y': 0}, {'widths': [16, 8, 4, 2], 'heights': [10, 5, 3, 2], 'row_pitches': [82, 42, 22, 12], 'level_sizes': [823, 213, 69, 27], 'directory_size': 8, 'level_offsets': [8, 831, 1044, 1113], 'selected_size': 213, 'level_origin': 867, 'payload_origin': 870, 'allocation_end': 1176})], 5: [({'w': 12, 'h': 5, 'b': 6, 'base': 45, 'level': 0, 'x': 0, 'y': 0}, {'widths': [12, 6, 3, 2], 'heights': [5, 3, 2, 1], 'row_pitches': [74, 38, 20, 14], 'level_sizes': [373, 117, 43, 17], 'directory_size': 8, 'level_offsets': [8, 381, 498, 541], 'selected_size': 373, 'level_origin': 53, 'payload_origin': 56, 'allocation_end': 603}), ({'w': 13, 'h': 6, 'b': 6, 'base': 45, 'level': 1, 'x': 0, 'y': 0}, {'widths': [13, 7, 4, 2], 'heights': [6, 3, 2, 1], 'row_pitches': [80, 44, 26, 14], 'level_sizes': [483, 135, 55, 17], 'directory_size': 8, 'level_offsets': [8, 491, 626, 681], 'selected_size': 135, 'level_origin': 536, 'payload_origin': 539, 'allocation_end': 743}), ({'w': 14, 'h': 7, 'b': 6, 'base': 45, 'level': 2, 'x': 0, 'y': 0}, {'widths': [14, 7, 4, 2], 'heights': [7, 4, 2, 1], 'row_pitches': [86, 44, 26, 14], 'level_sizes': [605, 179, 55, 17], 'directory_size': 8, 'level_offsets': [8, 613, 792, 847], 'selected_size': 55, 'level_origin': 837, 'payload_origin': 840, 'allocation_end': 909}), ({'w': 15, 'h': 8, 'b': 6, 'base': 45, 'level': 3, 'x': 0, 'y': 0}, {'widths': [15, 8, 4, 2], 'heights': [8, 4, 2, 1], 'row_pitches': [92, 50, 26, 14], 'level_sizes': [739, 203, 55, 17], 'directory_size': 8, 'level_offsets': [8, 747, 950, 1005], 'selected_size': 17, 'level_origin': 1050, 'payload_origin': 1053, 'allocation_end': 1067}), ({'w': 16, 'h': 9, 'b': 6, 'base': 45, 'level': 0, 'x': 0, 'y': 0}, {'widths': [16, 8, 4, 2], 'heights': [9, 5, 3, 2], 'row_pitches': [98, 50, 26, 14], 'level_sizes': [885, 253, 81, 31], 'directory_size': 8, 'level_offsets': [8, 893, 1146, 1227], 'selected_size': 885, 'level_origin': 53, 'payload_origin': 56, 'allocation_end': 1303}), ({'w': 17, 'h': 10, 'b': 6, 'base': 45, 'level': 1, 'x': 0, 'y': 0}, {'widths': [17, 9, 5, 3], 'heights': [10, 5, 3, 2], 'row_pitches': [104, 56, 32, 20], 'level_sizes': [1043, 283, 99, 43], 'directory_size': 8, 'level_offsets': [8, 1051, 1334, 1433], 'selected_size': 283, 'level_origin': 1096, 'payload_origin': 1099, 'allocation_end': 1521})]}\nfor i, (p, expected) in enumerate(cases[N]):\n    check(\"layout fixture \" + str(i + 1), solve(p), 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":"64f44750ae29ff50098cea127e9bb5cd57d81e6436eb0f1dbddc2ed3970c2177","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(p):\n    p = dict(p)\n    widths = [max(1,(p[\"w\"]+(1<<i)-1)//(1<<i)) for i in range(4)]\n    heights = [max(1,(p[\"h\"]+(1<<i)-1)//(1<<i)) for i in range(4)]\n    row_pitches = [w*p[\"b\"]+2 for w in widths]\n    level_sizes = [row_pitches[i]*heights[i]+3 for i in range(4)]\n    directory_size = 4*2\n    level_offsets = [directory_size+sum(level_sizes[:i]) for i in range(4)]\n    selected_size = level_sizes[p[\"level\"]]\n    level_origin = p[\"base\"]+level_offsets[p[\"level\"]]\n    payload_origin = level_origin+3\n    allocation_end = p[\"base\"]+directory_size+sum(level_sizes)\n    return {'widths': widths, 'heights': heights, 'row_pitches': row_pitches, 'level_sizes': level_sizes, 'directory_size': directory_size, 'level_offsets': level_offsets, 'selected_size': selected_size, 'level_origin': level_origin, 'payload_origin': payload_origin, 'allocation_end': allocation_end}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [({'w': 8, 'h': 5, 'b': 2, 'base': 9, 'level': 0, 'x': 0, 'y': 0}, {'widths': [8, 4, 2, 1], 'heights': [5, 3, 2, 1], 'row_pitches': [18, 10, 6, 4], 'level_sizes': [93, 33, 15, 7], 'directory_size': 8, 'level_offsets': [8, 101, 134, 149], 'selected_size': 93, 'level_origin': 17, 'payload_origin': 20, 'allocation_end': 165}), ({'w': 9, 'h': 6, 'b': 2, 'base': 9, 'level': 1, 'x': 0, 'y': 0}, {'widths': [9, 5, 3, 2], 'heights': [6, 3, 2, 1], 'row_pitches': [20, 12, 8, 6], 'level_sizes': [123, 39, 19, 9], 'directory_size': 8, 'level_offsets': [8, 131, 170, 189], 'selected_size': 39, 'level_origin': 140, 'payload_origin': 143, 'allocation_end': 207}), ({'w': 10, 'h': 7, 'b': 2, 'base': 9, 'level': 2, 'x': 0, 'y': 0}, {'widths': [10, 5, 3, 2], 'heights': [7, 4, 2, 1], 'row_pitches': [22, 12, 8, 6], 'level_sizes': [157, 51, 19, 9], 'directory_size': 8, 'level_offsets': [8, 165, 216, 235], 'selected_size': 19, 'level_origin': 225, 'payload_origin': 228, 'allocation_end': 253}), ({'w': 11, 'h': 8, 'b': 2, 'base': 9, 'level': 3, 'x': 0, 'y': 0}, {'widths': [11, 6, 3, 2], 'heights': [8, 4, 2, 1], 'row_pitches': [24, 14, 8, 6], 'level_sizes': [195, 59, 19, 9], 'directory_size': 8, 'level_offsets': [8, 203, 262, 281], 'selected_size': 9, 'level_origin': 290, 'payload_origin': 293, 'allocation_end': 299}), ({'w': 12, 'h': 9, 'b': 2, 'base': 9, 'level': 0, 'x': 0, 'y': 0}, {'widths': [12, 6, 3, 2], 'heights': [9, 5, 3, 2], 'row_pitches': [26, 14, 8, 6], 'level_sizes': [237, 73, 27, 15], 'directory_size': 8, 'level_offsets': [8, 245, 318, 345], 'selected_size': 237, 'level_origin': 17, 'payload_origin': 20, 'allocation_end': 369}), ({'w': 13, 'h': 10, 'b': 2, 'base': 9, 'level': 1, 'x': 0, 'y': 0}, {'widths': [13, 7, 4, 2], 'heights': [10, 5, 3, 2], 'row_pitches': [28, 16, 10, 6], 'level_sizes': [283, 83, 33, 15], 'directory_size': 8, 'level_offsets': [8, 291, 374, 407], 'selected_size': 83, 'level_origin': 300, 'payload_origin': 303, 'allocation_end': 431})], 2: [({'w': 9, 'h': 5, 'b': 3, 'base': 18, 'level': 0, 'x': 0, 'y': 0}, {'widths': [9, 5, 3, 2], 'heights': [5, 3, 2, 1], 'row_pitches': [29, 17, 11, 8], 'level_sizes': [148, 54, 25, 11], 'directory_size': 8, 'level_offsets': [8, 156, 210, 235], 'selected_size': 148, 'level_origin': 26, 'payload_origin': 29, 'allocation_end': 264}), ({'w': 10, 'h': 6, 'b': 3, 'base': 18, 'level': 1, 'x': 0, 'y': 0}, {'widths': [10, 5, 3, 2], 'heights': [6, 3, 2, 1], 'row_pitches': [32, 17, 11, 8], 'level_sizes': [195, 54, 25, 11], 'directory_size': 8, 'level_offsets': [8, 203, 257, 282], 'selected_size': 54, 'level_origin': 221, 'payload_origin': 224, 'allocation_end': 311}), ({'w': 11, 'h': 7, 'b': 3, 'base': 18, 'level': 2, 'x': 0, 'y': 0}, {'widths': [11, 6, 3, 2], 'heights': [7, 4, 2, 1], 'row_pitches': [35, 20, 11, 8], 'level_sizes': [248, 83, 25, 11], 'directory_size': 8, 'level_offsets': [8, 256, 339, 364], 'selected_size': 25, 'level_origin': 357, 'payload_origin': 360, 'allocation_end': 393}), ({'w': 12, 'h': 8, 'b': 3, 'base': 18, 'level': 3, 'x': 0, 'y': 0}, {'widths': [12, 6, 3, 2], 'heights': [8, 4, 2, 1], 'row_pitches': [38, 20, 11, 8], 'level_sizes': [307, 83, 25, 11], 'directory_size': 8, 'level_offsets': [8, 315, 398, 423], 'selected_size': 11, 'level_origin': 441, 'payload_origin': 444, 'allocation_end': 452}), ({'w': 13, 'h': 9, 'b': 3, 'base': 18, 'level': 0, 'x': 0, 'y': 0}, {'widths': [13, 7, 4, 2], 'heights': [9, 5, 3, 2], 'row_pitches': [41, 23, 14, 8], 'level_sizes': [372, 118, 45, 19], 'directory_size': 8, 'level_offsets': [8, 380, 498, 543], 'selected_size': 372, 'level_origin': 26, 'payload_origin': 29, 'allocation_end': 580}), ({'w': 14, 'h': 10, 'b': 3, 'base': 18, 'level': 1, 'x': 0, 'y': 0}, {'widths': [14, 7, 4, 2], 'heights': [10, 5, 3, 2], 'row_pitches': [44, 23, 14, 8], 'level_sizes': [443, 118, 45, 19], 'directory_size': 8, 'level_offsets': [8, 451, 569, 614], 'selected_size': 118, 'level_origin': 469, 'payload_origin': 472, 'allocation_end': 651})], 3: [({'w': 10, 'h': 5, 'b': 4, 'base': 27, 'level': 0, 'x': 0, 'y': 0}, {'widths': [10, 5, 3, 2], 'heights': [5, 3, 2, 1], 'row_pitches': [42, 22, 14, 10], 'level_sizes': [213, 69, 31, 13], 'directory_size': 8, 'level_offsets': [8, 221, 290, 321], 'selected_size': 213, 'level_origin': 35, 'payload_origin': 38, 'allocation_end': 361}), ({'w': 11, 'h': 6, 'b': 4, 'base': 27, 'level': 1, 'x': 0, 'y': 0}, {'widths': [11, 6, 3, 2], 'heights': [6, 3, 2, 1], 'row_pitches': [46, 26, 14, 10], 'level_sizes': [279, 81, 31, 13], 'directory_size': 8, 'level_offsets': [8, 287, 368, 399], 'selected_size': 81, 'level_origin': 314, 'payload_origin': 317, 'allocation_end': 439}), ({'w': 12, 'h': 7, 'b': 4, 'base': 27, 'level': 2, 'x': 0, 'y': 0}, {'widths': [12, 6, 3, 2], 'heights': [7, 4, 2, 1], 'row_pitches': [50, 26, 14, 10], 'level_sizes': [353, 107, 31, 13], 'directory_size': 8, 'level_offsets': [8, 361, 468, 499], 'selected_size': 31, 'level_origin': 495, 'payload_origin': 498, 'allocation_end': 539}), ({'w': 13, 'h': 8, 'b': 4, 'base': 27, 'level': 3, 'x': 0, 'y': 0}, {'widths': [13, 7, 4, 2], 'heights': [8, 4, 2, 1], 'row_pitches': [54, 30, 18, 10], 'level_sizes': [435, 123, 39, 13], 'directory_size': 8, 'level_offsets': [8, 443, 566, 605], 'selected_size': 13, 'level_origin': 632, 'payload_origin': 635, 'allocation_end': 645}), ({'w': 14, 'h': 9, 'b': 4, 'base': 27, 'level': 0, 'x': 0, 'y': 0}, {'widths': [14, 7, 4, 2], 'heights': [9, 5, 3, 2], 'row_pitches': [58, 30, 18, 10], 'level_sizes': [525, 153, 57, 23], 'directory_size': 8, 'level_offsets': [8, 533, 686, 743], 'selected_size': 525, 'level_origin': 35, 'payload_origin': 38, 'allocation_end': 793}), ({'w': 15, 'h': 10, 'b': 4, 'base': 27, 'level': 1, 'x': 0, 'y': 0}, {'widths': [15, 8, 4, 2], 'heights': [10, 5, 3, 2], 'row_pitches': [62, 34, 18, 10], 'level_sizes': [623, 173, 57, 23], 'directory_size': 8, 'level_offsets': [8, 631, 804, 861], 'selected_size': 173, 'level_origin': 658, 'payload_origin': 661, 'allocation_end': 911})], 4: [({'w': 11, 'h': 5, 'b': 5, 'base': 36, 'level': 0, 'x': 0, 'y': 0}, {'widths': [11, 6, 3, 2], 'heights': [5, 3, 2, 1], 'row_pitches': [57, 32, 17, 12], 'level_sizes': [288, 99, 37, 15], 'directory_size': 8, 'level_offsets': [8, 296, 395, 432], 'selected_size': 288, 'level_origin': 44, 'payload_origin': 47, 'allocation_end': 483}), ({'w': 12, 'h': 6, 'b': 5, 'base': 36, 'level': 1, 'x': 0, 'y': 0}, {'widths': [12, 6, 3, 2], 'heights': [6, 3, 2, 1], 'row_pitches': [62, 32, 17, 12], 'level_sizes': [375, 99, 37, 15], 'directory_size': 8, 'level_offsets': [8, 383, 482, 519], 'selected_size': 99, 'level_origin': 419, 'payload_origin': 422, 'allocation_end': 570}), ({'w': 13, 'h': 7, 'b': 5, 'base': 36, 'level': 2, 'x': 0, 'y': 0}, {'widths': [13, 7, 4, 2], 'heights': [7, 4, 2, 1], 'row_pitches': [67, 37, 22, 12], 'level_sizes': [472, 151, 47, 15], 'directory_size': 8, 'level_offsets': [8, 480, 631, 678], 'selected_size': 47, 'level_origin': 667, 'payload_origin': 670, 'allocation_end': 729}), ({'w': 14, 'h': 8, 'b': 5, 'base': 36, 'level': 3, 'x': 0, 'y': 0}, {'widths': [14, 7, 4, 2], 'heights': [8, 4, 2, 1], 'row_pitches': [72, 37, 22, 12], 'level_sizes': [579, 151, 47, 15], 'directory_size': 8, 'level_offsets': [8, 587, 738, 785], 'selected_size': 15, 'level_origin': 821, 'payload_origin': 824, 'allocation_end': 836}), ({'w': 15, 'h': 9, 'b': 5, 'base': 36, 'level': 0, 'x': 0, 'y': 0}, {'widths': [15, 8, 4, 2], 'heights': [9, 5, 3, 2], 'row_pitches': [77, 42, 22, 12], 'level_sizes': [696, 213, 69, 27], 'directory_size': 8, 'level_offsets': [8, 704, 917, 986], 'selected_size': 696, 'level_origin': 44, 'payload_origin': 47, 'allocation_end': 1049}), ({'w': 16, 'h': 10, 'b': 5, 'base': 36, 'level': 1, 'x': 0, 'y': 0}, {'widths': [16, 8, 4, 2], 'heights': [10, 5, 3, 2], 'row_pitches': [82, 42, 22, 12], 'level_sizes': [823, 213, 69, 27], 'directory_size': 8, 'level_offsets': [8, 831, 1044, 1113], 'selected_size': 213, 'level_origin': 867, 'payload_origin': 870, 'allocation_end': 1176})], 5: [({'w': 12, 'h': 5, 'b': 6, 'base': 45, 'level': 0, 'x': 0, 'y': 0}, {'widths': [12, 6, 3, 2], 'heights': [5, 3, 2, 1], 'row_pitches': [74, 38, 20, 14], 'level_sizes': [373, 117, 43, 17], 'directory_size': 8, 'level_offsets': [8, 381, 498, 541], 'selected_size': 373, 'level_origin': 53, 'payload_origin': 56, 'allocation_end': 603}), ({'w': 13, 'h': 6, 'b': 6, 'base': 45, 'level': 1, 'x': 0, 'y': 0}, {'widths': [13, 7, 4, 2], 'heights': [6, 3, 2, 1], 'row_pitches': [80, 44, 26, 14], 'level_sizes': [483, 135, 55, 17], 'directory_size': 8, 'level_offsets': [8, 491, 626, 681], 'selected_size': 135, 'level_origin': 536, 'payload_origin': 539, 'allocation_end': 743}), ({'w': 14, 'h': 7, 'b': 6, 'base': 45, 'level': 2, 'x': 0, 'y': 0}, {'widths': [14, 7, 4, 2], 'heights': [7, 4, 2, 1], 'row_pitches': [86, 44, 26, 14], 'level_sizes': [605, 179, 55, 17], 'directory_size': 8, 'level_offsets': [8, 613, 792, 847], 'selected_size': 55, 'level_origin': 837, 'payload_origin': 840, 'allocation_end': 909}), ({'w': 15, 'h': 8, 'b': 6, 'base': 45, 'level': 3, 'x': 0, 'y': 0}, {'widths': [15, 8, 4, 2], 'heights': [8, 4, 2, 1], 'row_pitches': [92, 50, 26, 14], 'level_sizes': [739, 203, 55, 17], 'directory_size': 8, 'level_offsets': [8, 747, 950, 1005], 'selected_size': 17, 'level_origin': 1050, 'payload_origin': 1053, 'allocation_end': 1067}), ({'w': 16, 'h': 9, 'b': 6, 'base': 45, 'level': 0, 'x': 0, 'y': 0}, {'widths': [16, 8, 4, 2], 'heights': [9, 5, 3, 2], 'row_pitches': [98, 50, 26, 14], 'level_sizes': [885, 253, 81, 31], 'directory_size': 8, 'level_offsets': [8, 893, 1146, 1227], 'selected_size': 885, 'level_origin': 53, 'payload_origin': 56, 'allocation_end': 1303}), ({'w': 17, 'h': 10, 'b': 6, 'base': 45, 'level': 1, 'x': 0, 'y': 0}, {'widths': [17, 9, 5, 3], 'heights': [10, 5, 3, 2], 'row_pitches': [104, 56, 32, 20], 'level_sizes': [1043, 283, 99, 43], 'directory_size': 8, 'level_offsets': [8, 1051, 1334, 1433], 'selected_size': 283, 'level_origin': 1096, 'payload_origin': 1099, 'allocation_end': 1521})]}\nfor i, (p, expected) in enumerate(cases[N]):\n    check(\"layout fixture \" + str(i + 1), solve(p), 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":"Stipulated deterministic toy buffer layout; not a graphics API, codec, GPU vendor tiling specification, or hardware-conformance claim. Inputs satisfy the dimensions and bounds stated by the model. 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":"s3-raster-memory-layout-mip-chain-directory-row-pitches","generated_at":"2026-09-29T14:45:25.215805+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Offline raster resource, upload, readback, and storage-layout regression model.","repair":"Apply the stipulated layout rule at row_pitches: [w*p[\"b\"]+2 for w in widths].","root_cause":"Mip row guards are missing or level-zero stride reused The faulty expression is [w*p[\"b\"] for w in widths].","sha256":"3d3cfbefa48aa40e018a0570e099ca9e01355fa7654ff8330da87eefaf708e38","title":"Mip Chain Directory: Mip row guards are missing or level-zero stride reused · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.528,"exit_code":1,"observations":[{"actual":{"allocation_end":227,"directory_size":8,"heights":[5,3,2,1],"level_offsets":[8,101,158,197],"level_origin":17,"level_sizes":[93,57,39,21],"payload_origin":20,"row_pitches":[18,18,18,18],"selected_size":93,"widths":[8,4,2,1]},"check":"layout fixture 1","expected":{"allocation_end":165,"directory_size":8,"heights":[5,3,2,1],"level_offsets":[8,101,134,149],"level_origin":17,"level_sizes":[93,33,15,7],"payload_origin":20,"row_pitches":[18,10,6,4],"selected_size":93,"widths":[8,4,2,1]},"passed":false},{"actual":{"allocation_end":269,"directory_size":8,"heights":[6,3,2,1],"level_offsets":[8,131,194,237],"level_origin":140,"level_sizes":[123,63,43,23],"payload_origin":143,"row_pitches":[20,20,20,20],"selected_size":63,"widths":[9,5,3,2]},"check":"layout fixture 2","expected":{"allocation_end":207,"directory_size":8,"heights":[6,3,2,1],"level_offsets":[8,131,170,189],"level_origin":140,"level_sizes":[123,39,19,9],"payload_origin":143,"row_pitches":[20,12,8,6],"selected_size":39,"widths":[9,5,3,2]},"passed":false},{"actual":{"allocation_end":337,"directory_size":8,"heights":[7,4,2,1],"level_offsets":[8,165,256,303],"level_origin":265,"level_sizes":[157,91,47,25],"payload_origin":268,"row_pitches":[22,22,22,22],"selected_size":47,"widths":[10,5,3,2]},"check":"layout fixture 3","expected":{"allocation_end":253,"directory_size":8,"heights":[7,4,2,1],"level_offsets":[8,165,216,235],"level_origin":225,"level_sizes":[157,51,19,9],"payload_origin":228,"row_pitches":[22,12,8,6],"selected_size":19,"widths":[10,5,3,2]},"passed":false},{"actual":{"allocation_end":389,"directory_size":8,"heights":[8,4,2,1],"level_offsets":[8,203,302,353],"level_origin":362,"level_sizes":[195,99,51,27],"payload_origin":365,"row_pitches":[24,24,24,24],"selected_size":27,"widths":[11,6,3,2]},"check":"layout fixture 4","expected":{"allocation_end":299,"directory_size":8,"heights":[8,4,2,1],"level_offsets":[8,203,262,281],"level_origin":290,"level_sizes":[195,59,19,9],"payload_origin":293,"row_pitches":[24,14,8,6],"selected_size":9,"widths":[11,6,3,2]},"passed":false},{"actual":{"allocation_end":523,"directory_size":8,"heights":[9,5,3,2],"level_offsets":[8,245,378,459],"level_origin":17,"level_sizes":[237,133,81,55],"payload_origin":20,"row_pitches":[26,26,26,26],"selected_size":237,"widths":[12,6,3,2]},"check":"layout fixture 5","expected":{"allocation_end":369,"directory_size":8,"heights":[9,5,3,2],"level_offsets":[8,245,318,345],"level_origin":17,"level_sizes":[237,73,27,15],"payload_origin":20,"row_pitches":[26,14,8,6],"selected_size":237,"widths":[12,6,3,2]},"passed":false},{"actual":{"allocation_end":589,"directory_size":8,"heights":[10,5,3,2],"level_offsets":[8,291,434,521],"level_origin":300,"level_sizes":[283,143,87,59],"payload_origin":303,"row_pitches":[28,28,28,28],"selected_size":143,"widths":[13,7,4,2]},"check":"layout fixture 6","expected":{"allocation_end":431,"directory_size":8,"heights":[10,5,3,2],"level_offsets":[8,291,374,407],"level_origin":300,"level_sizes":[283,83,33,15],"payload_origin":303,"row_pitches":[28,16,10,6],"selected_size":83,"widths":[13,7,4,2]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layout fixture 1\", \"actual\": {\"widths\": [8, 4, 2, 1], \"heights\": [5, 3, 2, 1], \"row_pitches\": [18, 18, 18, 18], \"level_sizes\": [93, 57, 39, 21], \"directory_size\": 8, \"level_offsets\": [8, 101, 158, 197], \"selected_size\": 93, \"level_origin\": 17, \"payload_origin\": 20, \"allocation_end\": 227}, \"expected\": {\"widths\": [8, 4, 2, 1], \"heights\": [5, 3, 2, 1], \"row_pitches\": [18, 10, 6, 4], \"level_sizes\": [93, 33, 15, 7], \"directory_size\": 8, \"level_offsets\": [8, 101, 134, 149], \"selected_size\": 93, \"level_origin\": 17, \"payload_origin\": 20, \"allocation_end\": 165}, \"passed\": false}, {\"check\": \"layout fixture 2\", \"actual\": {\"widths\": [9, 5, 3, 2], \"heights\": [6, 3, 2, 1], \"row_pitches\": [20, 20, 20, 20], \"level_sizes\": [123, 63, 43, 23], \"directory_size\": 8, \"level_offsets\": [8, 131, 194, 237], \"selected_size\": 63, \"level_origin\": 140, \"payload_origin\": 143, \"allocation_end\": 269}, \"expected\": {\"widths\": [9, 5, 3, 2], \"heights\": [6, 3, 2, 1], \"row_pitches\": [20, 12, 8, 6], \"level_sizes\": [123, 39, 19, 9], \"directory_size\": 8, \"level_offsets\": [8, 131, 170, 189], \"selected_size\": 39, \"level_origin\": 140, \"payload_origin\": 143, \"allocation_end\": 207}, \"passed\": false}, {\"check\": \"layout fixture 3\", \"actual\": {\"widths\": [10, 5, 3, 2], \"heights\": [7, 4, 2, 1], \"row_pitches\": [22, 22, 22, 22], \"level_sizes\": [157, 91, 47, 25], \"directory_size\": 8, \"level_offsets\": [8, 165, 256, 303], \"selected_size\": 47, \"level_origin\": 265, \"payload_origin\": 268, \"allocation_end\": 337}, \"expected\": {\"widths\": [10, 5, 3, 2], \"heights\": [7, 4, 2, 1], \"row_pitches\": [22, 12, 8, 6], \"level_sizes\": [157, 51, 19, 9], \"directory_size\": 8, \"level_offsets\": [8, 165, 216, 235], \"selected_size\": 19, \"level_origin\": 225, \"payload_origin\": 228, \"allocation_end\": 253}, \"passed\": false}, {\"check\": \"layout fixture 4\", \"actual\": {\"widths\": [11, 6, 3, 2], \"heights\": [8, 4, 2, 1], \"row_pitches\": [24, 24, 24, 24], \"level_sizes\": [195, 99, 51, 27], \"directory_size\": 8, \"level_offsets\": [8, 203, 302, 353], \"selected_size\": 27, \"level_origin\": 362, \"payload_origin\": 365, \"allocation_end\": 389}, \"expected\": {\"widths\": [11, 6, 3, 2], \"heights\": [8, 4, 2, 1], \"row_pitches\": [24, 14, 8, 6], \"level_sizes\": [195, 59, 19, 9], \"directory_size\": 8, \"level_offsets\": [8, 203, 262, 281], \"selected_size\": 9, \"level_origin\": 290, \"payload_origin\": 293, \"allocation_end\": 299}, \"passed\": false}, {\"check\": \"layout fixture 5\", \"actual\": {\"widths\": [12, 6, 3, 2], \"heights\": [9, 5, 3, 2], \"row_pitches\": [26, 26, 26, 26], \"level_sizes\": [237, 133, 81, 55], \"directory_size\": 8, \"level_offsets\": [8, 245, 378, 459], \"selected_size\": 237, \"level_origin\": 17, \"payload_origin\": 20, \"allocation_end\": 523}, \"expected\": {\"widths\": [12, 6, 3, 2], \"heights\": [9, 5, 3, 2], \"row_pitches\": [26, 14, 8, 6], \"level_sizes\": [237, 73, 27, 15], \"directory_size\": 8, \"level_offsets\": [8, 245, 318, 345], \"selected_size\": 237, \"level_origin\": 17, \"payload_origin\": 20, \"allocation_end\": 369}, \"passed\": false}, {\"check\": \"layout fixture 6\", \"actual\": {\"widths\": [13, 7, 4, 2], \"heights\": [10, 5, 3, 2], \"row_pitches\": [28, 28, 28, 28], \"level_sizes\": [283, 143, 87, 59], \"directory_size\": 8, \"level_offsets\": [8, 291, 434, 521], \"selected_size\": 143, \"level_origin\": 300, \"payload_origin\": 303, \"allocation_end\": 589}, \"expected\": {\"widths\": [13, 7, 4, 2], \"heights\": [10, 5, 3, 2], \"row_pitches\": [28, 16, 10, 6], \"level_sizes\": [283, 83, 33, 15], \"directory_size\": 8, \"level_offsets\": [8, 291, 374, 407], \"selected_size\": 83, \"level_origin\": 300, \"payload_origin\": 303, \"allocation_end\": 431}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.958,"exit_code":1,"observations":[{"actual":{"allocation_end":143,"directory_size":8,"heights":[5,3,2,1],"level_offsets":[8,91,118,129],"level_origin":17,"level_sizes":[83,27,11,5],"payload_origin":20,"row_pitches":[16,8,4,2],"selected_size":83,"widths":[8,4,2,1]},"check":"layout fixture 1","expected":{"allocation_end":165,"directory_size":8,"heights":[5,3,2,1],"level_offsets":[8,101,134,149],"level_origin":17,"level_sizes":[93,33,15,7],"payload_origin":20,"row_pitches":[18,10,6,4],"selected_size":93,"widths":[8,4,2,1]},"passed":false},{"actual":{"allocation_end":183,"directory_size":8,"heights":[6,3,2,1],"level_offsets":[8,119,152,167],"level_origin":128,"level_sizes":[111,33,15,7],"payload_origin":131,"row_pitches":[18,10,6,4],"selected_size":33,"widths":[9,5,3,2]},"check":"layout fixture 2","expected":{"allocation_end":207,"directory_size":8,"heights":[6,3,2,1],"level_offsets":[8,131,170,189],"level_origin":140,"level_sizes":[123,39,19,9],"payload_origin":143,"row_pitches":[20,12,8,6],"selected_size":39,"widths":[9,5,3,2]},"passed":false},{"actual":{"allocation_end":225,"directory_size":8,"heights":[7,4,2,1],"level_offsets":[8,151,194,209],"level_origin":203,"level_sizes":[143,43,15,7],"payload_origin":206,"row_pitches":[20,10,6,4],"selected_size":15,"widths":[10,5,3,2]},"check":"layout fixture 3","expected":{"allocation_end":253,"directory_size":8,"heights":[7,4,2,1],"level_offsets":[8,165,216,235],"level_origin":225,"level_sizes":[157,51,19,9],"payload_origin":228,"row_pitches":[22,12,8,6],"selected_size":19,"widths":[10,5,3,2]},"passed":false},{"actual":{"allocation_end":269,"directory_size":8,"heights":[8,4,2,1],"level_offsets":[8,187,238,253],"level_origin":262,"level_sizes":[179,51,15,7],"payload_origin":265,"row_pitches":[22,12,6,4],"selected_size":7,"widths":[11,6,3,2]},"check":"layout fixture 4","expected":{"allocation_end":299,"directory_size":8,"heights":[8,4,2,1],"level_offsets":[8,203,262,281],"level_origin":290,"level_sizes":[195,59,19,9],"payload_origin":293,"row_pitches":[24,14,8,6],"selected_size":9,"widths":[11,6,3,2]},"passed":false},{"actual":{"allocation_end":331,"directory_size":8,"heights":[9,5,3,2],"level_offsets":[8,227,290,311],"level_origin":17,"level_sizes":[219,63,21,11],"payload_origin":20,"row_pitches":[24,12,6,4],"selected_size":219,"widths":[12,6,3,2]},"check":"layout fixture 5","expected":{"allocation_end":369,"directory_size":8,"heights":[9,5,3,2],"level_offsets":[8,245,318,345],"level_origin":17,"level_sizes":[237,73,27,15],"payload_origin":20,"row_pitches":[26,14,8,6],"selected_size":237,"widths":[12,6,3,2]},"passed":false},{"actual":{"allocation_end":391,"directory_size":8,"heights":[10,5,3,2],"level_offsets":[8,271,344,371],"level_origin":280,"level_sizes":[263,73,27,11],"payload_origin":283,"row_pitches":[26,14,8,4],"selected_size":73,"widths":[13,7,4,2]},"check":"layout fixture 6","expected":{"allocation_end":431,"directory_size":8,"heights":[10,5,3,2],"level_offsets":[8,291,374,407],"level_origin":300,"level_sizes":[283,83,33,15],"payload_origin":303,"row_pitches":[28,16,10,6],"selected_size":83,"widths":[13,7,4,2]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layout fixture 1\", \"actual\": {\"widths\": [8, 4, 2, 1], \"heights\": [5, 3, 2, 1], \"row_pitches\": [16, 8, 4, 2], \"level_sizes\": [83, 27, 11, 5], \"directory_size\": 8, \"level_offsets\": [8, 91, 118, 129], \"selected_size\": 83, \"level_origin\": 17, \"payload_origin\": 20, \"allocation_end\": 143}, \"expected\": {\"widths\": [8, 4, 2, 1], \"heights\": [5, 3, 2, 1], \"row_pitches\": [18, 10, 6, 4], \"level_sizes\": [93, 33, 15, 7], \"directory_size\": 8, \"level_offsets\": [8, 101, 134, 149], \"selected_size\": 93, \"level_origin\": 17, \"payload_origin\": 20, \"allocation_end\": 165}, \"passed\": false}, {\"check\": \"layout fixture 2\", \"actual\": {\"widths\": [9, 5, 3, 2], \"heights\": [6, 3, 2, 1], \"row_pitches\": [18, 10, 6, 4], \"level_sizes\": [111, 33, 15, 7], \"directory_size\": 8, \"level_offsets\": [8, 119, 152, 167], \"selected_size\": 33, \"level_origin\": 128, \"payload_origin\": 131, \"allocation_end\": 183}, \"expected\": {\"widths\": [9, 5, 3, 2], \"heights\": [6, 3, 2, 1], \"row_pitches\": [20, 12, 8, 6], \"level_sizes\": [123, 39, 19, 9], \"directory_size\": 8, \"level_offsets\": [8, 131, 170, 189], \"selected_size\": 39, \"level_origin\": 140, \"payload_origin\": 143, \"allocation_end\": 207}, \"passed\": false}, {\"check\": \"layout fixture 3\", \"actual\": {\"widths\": [10, 5, 3, 2], \"heights\": [7, 4, 2, 1], \"row_pitches\": [20, 10, 6, 4], \"level_sizes\": [143, 43, 15, 7], \"directory_size\": 8, \"level_offsets\": [8, 151, 194, 209], \"selected_size\": 15, \"level_origin\": 203, \"payload_origin\": 206, \"allocation_end\": 225}, \"expected\": {\"widths\": [10, 5, 3, 2], \"heights\": [7, 4, 2, 1], \"row_pitches\": [22, 12, 8, 6], \"level_sizes\": [157, 51, 19, 9], \"directory_size\": 8, \"level_offsets\": [8, 165, 216, 235], \"selected_size\": 19, \"level_origin\": 225, \"payload_origin\": 228, \"allocation_end\": 253}, \"passed\": false}, {\"check\": \"layout fixture 4\", \"actual\": {\"widths\": [11, 6, 3, 2], \"heights\": [8, 4, 2, 1], \"row_pitches\": [22, 12, 6, 4], \"level_sizes\": [179, 51, 15, 7], \"directory_size\": 8, \"level_offsets\": [8, 187, 238, 253], \"selected_size\": 7, \"level_origin\": 262, \"payload_origin\": 265, \"allocation_end\": 269}, \"expected\": {\"widths\": [11, 6, 3, 2], \"heights\": [8, 4, 2, 1], \"row_pitches\": [24, 14, 8, 6], \"level_sizes\": [195, 59, 19, 9], \"directory_size\": 8, \"level_offsets\": [8, 203, 262, 281], \"selected_size\": 9, \"level_origin\": 290, \"payload_origin\": 293, \"allocation_end\": 299}, \"passed\": false}, {\"check\": \"layout fixture 5\", \"actual\": {\"widths\": [12, 6, 3, 2], \"heights\": [9, 5, 3, 2], \"row_pitches\": [24, 12, 6, 4], \"level_sizes\": [219, 63, 21, 11], \"directory_size\": 8, \"level_offsets\": [8, 227, 290, 311], \"selected_size\": 219, \"level_origin\": 17, \"payload_origin\": 20, \"allocation_end\": 331}, \"expected\": {\"widths\": [12, 6, 3, 2], \"heights\": [9, 5, 3, 2], \"row_pitches\": [26, 14, 8, 6], \"level_sizes\": [237, 73, 27, 15], \"directory_size\": 8, \"level_offsets\": [8, 245, 318, 345], \"selected_size\": 237, \"level_origin\": 17, \"payload_origin\": 20, \"allocation_end\": 369}, \"passed\": false}, {\"check\": \"layout fixture 6\", \"actual\": {\"widths\": [13, 7, 4, 2], \"heights\": [10, 5, 3, 2], \"row_pitches\": [26, 14, 8, 4], \"level_sizes\": [263, 73, 27, 11], \"directory_size\": 8, \"level_offsets\": [8, 271, 344, 371], \"selected_size\": 73, \"level_origin\": 280, \"payload_origin\": 283, \"allocation_end\": 391}, \"expected\": {\"widths\": [13, 7, 4, 2], \"heights\": [10, 5, 3, 2], \"row_pitches\": [28, 16, 10, 6], \"level_sizes\": [283, 83, 33, 15], \"directory_size\": 8, \"level_offsets\": [8, 291, 374, 407], \"selected_size\": 83, \"level_origin\": 300, \"payload_origin\": 303, \"allocation_end\": 431}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.974,"exit_code":0,"observations":[{"actual":{"allocation_end":165,"directory_size":8,"heights":[5,3,2,1],"level_offsets":[8,101,134,149],"level_origin":17,"level_sizes":[93,33,15,7],"payload_origin":20,"row_pitches":[18,10,6,4],"selected_size":93,"widths":[8,4,2,1]},"check":"layout fixture 1","expected":{"allocation_end":165,"directory_size":8,"heights":[5,3,2,1],"level_offsets":[8,101,134,149],"level_origin":17,"level_sizes":[93,33,15,7],"payload_origin":20,"row_pitches":[18,10,6,4],"selected_size":93,"widths":[8,4,2,1]},"passed":true},{"actual":{"allocation_end":207,"directory_size":8,"heights":[6,3,2,1],"level_offsets":[8,131,170,189],"level_origin":140,"level_sizes":[123,39,19,9],"payload_origin":143,"row_pitches":[20,12,8,6],"selected_size":39,"widths":[9,5,3,2]},"check":"layout fixture 2","expected":{"allocation_end":207,"directory_size":8,"heights":[6,3,2,1],"level_offsets":[8,131,170,189],"level_origin":140,"level_sizes":[123,39,19,9],"payload_origin":143,"row_pitches":[20,12,8,6],"selected_size":39,"widths":[9,5,3,2]},"passed":true},{"actual":{"allocation_end":253,"directory_size":8,"heights":[7,4,2,1],"level_offsets":[8,165,216,235],"level_origin":225,"level_sizes":[157,51,19,9],"payload_origin":228,"row_pitches":[22,12,8,6],"selected_size":19,"widths":[10,5,3,2]},"check":"layout fixture 3","expected":{"allocation_end":253,"directory_size":8,"heights":[7,4,2,1],"level_offsets":[8,165,216,235],"level_origin":225,"level_sizes":[157,51,19,9],"payload_origin":228,"row_pitches":[22,12,8,6],"selected_size":19,"widths":[10,5,3,2]},"passed":true},{"actual":{"allocation_end":299,"directory_size":8,"heights":[8,4,2,1],"level_offsets":[8,203,262,281],"level_origin":290,"level_sizes":[195,59,19,9],"payload_origin":293,"row_pitches":[24,14,8,6],"selected_size":9,"widths":[11,6,3,2]},"check":"layout fixture 4","expected":{"allocation_end":299,"directory_size":8,"heights":[8,4,2,1],"level_offsets":[8,203,262,281],"level_origin":290,"level_sizes":[195,59,19,9],"payload_origin":293,"row_pitches":[24,14,8,6],"selected_size":9,"widths":[11,6,3,2]},"passed":true},{"actual":{"allocation_end":369,"directory_size":8,"heights":[9,5,3,2],"level_offsets":[8,245,318,345],"level_origin":17,"level_sizes":[237,73,27,15],"payload_origin":20,"row_pitches":[26,14,8,6],"selected_size":237,"widths":[12,6,3,2]},"check":"layout fixture 5","expected":{"allocation_end":369,"directory_size":8,"heights":[9,5,3,2],"level_offsets":[8,245,318,345],"level_origin":17,"level_sizes":[237,73,27,15],"payload_origin":20,"row_pitches":[26,14,8,6],"selected_size":237,"widths":[12,6,3,2]},"passed":true},{"actual":{"allocation_end":431,"directory_size":8,"heights":[10,5,3,2],"level_offsets":[8,291,374,407],"level_origin":300,"level_sizes":[283,83,33,15],"payload_origin":303,"row_pitches":[28,16,10,6],"selected_size":83,"widths":[13,7,4,2]},"check":"layout fixture 6","expected":{"allocation_end":431,"directory_size":8,"heights":[10,5,3,2],"level_offsets":[8,291,374,407],"level_origin":300,"level_sizes":[283,83,33,15],"payload_origin":303,"row_pitches":[28,16,10,6],"selected_size":83,"widths":[13,7,4,2]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layout fixture 1\", \"actual\": {\"widths\": [8, 4, 2, 1], \"heights\": [5, 3, 2, 1], \"row_pitches\": [18, 10, 6, 4], \"level_sizes\": [93, 33, 15, 7], \"directory_size\": 8, \"level_offsets\": [8, 101, 134, 149], \"selected_size\": 93, \"level_origin\": 17, \"payload_origin\": 20, \"allocation_end\": 165}, \"expected\": {\"widths\": [8, 4, 2, 1], \"heights\": [5, 3, 2, 1], \"row_pitches\": [18, 10, 6, 4], \"level_sizes\": [93, 33, 15, 7], \"directory_size\": 8, \"level_offsets\": [8, 101, 134, 149], \"selected_size\": 93, \"level_origin\": 17, \"payload_origin\": 20, \"allocation_end\": 165}, \"passed\": true}, {\"check\": \"layout fixture 2\", \"actual\": {\"widths\": [9, 5, 3, 2], \"heights\": [6, 3, 2, 1], \"row_pitches\": [20, 12, 8, 6], \"level_sizes\": [123, 39, 19, 9], \"directory_size\": 8, \"level_offsets\": [8, 131, 170, 189], \"selected_size\": 39, \"level_origin\": 140, \"payload_origin\": 143, \"allocation_end\": 207}, \"expected\": {\"widths\": [9, 5, 3, 2], \"heights\": [6, 3, 2, 1], \"row_pitches\": [20, 12, 8, 6], \"level_sizes\": [123, 39, 19, 9], \"directory_size\": 8, \"level_offsets\": [8, 131, 170, 189], \"selected_size\": 39, \"level_origin\": 140, \"payload_origin\": 143, \"allocation_end\": 207}, \"passed\": true}, {\"check\": \"layout fixture 3\", \"actual\": {\"widths\": [10, 5, 3, 2], \"heights\": [7, 4, 2, 1], \"row_pitches\": [22, 12, 8, 6], \"level_sizes\": [157, 51, 19, 9], \"directory_size\": 8, \"level_offsets\": [8, 165, 216, 235], \"selected_size\": 19, \"level_origin\": 225, \"payload_origin\": 228, \"allocation_end\": 253}, \"expected\": {\"widths\": [10, 5, 3, 2], \"heights\": [7, 4, 2, 1], \"row_pitches\": [22, 12, 8, 6], \"level_sizes\": [157, 51, 19, 9], \"directory_size\": 8, \"level_offsets\": [8, 165, 216, 235], \"selected_size\": 19, \"level_origin\": 225, \"payload_origin\": 228, \"allocation_end\": 253}, \"passed\": true}, {\"check\": \"layout fixture 4\", \"actual\": {\"widths\": [11, 6, 3, 2], \"heights\": [8, 4, 2, 1], \"row_pitches\": [24, 14, 8, 6], \"level_sizes\": [195, 59, 19, 9], \"directory_size\": 8, \"level_offsets\": [8, 203, 262, 281], \"selected_size\": 9, \"level_origin\": 290, \"payload_origin\": 293, \"allocation_end\": 299}, \"expected\": {\"widths\": [11, 6, 3, 2], \"heights\": [8, 4, 2, 1], \"row_pitches\": [24, 14, 8, 6], \"level_sizes\": [195, 59, 19, 9], \"directory_size\": 8, \"level_offsets\": [8, 203, 262, 281], \"selected_size\": 9, \"level_origin\": 290, \"payload_origin\": 293, \"allocation_end\": 299}, \"passed\": true}, {\"check\": \"layout fixture 5\", \"actual\": {\"widths\": [12, 6, 3, 2], \"heights\": [9, 5, 3, 2], \"row_pitches\": [26, 14, 8, 6], \"level_sizes\": [237, 73, 27, 15], \"directory_size\": 8, \"level_offsets\": [8, 245, 318, 345], \"selected_size\": 237, \"level_origin\": 17, \"payload_origin\": 20, \"allocation_end\": 369}, \"expected\": {\"widths\": [12, 6, 3, 2], \"heights\": [9, 5, 3, 2], \"row_pitches\": [26, 14, 8, 6], \"level_sizes\": [237, 73, 27, 15], \"directory_size\": 8, \"level_offsets\": [8, 245, 318, 345], \"selected_size\": 237, \"level_origin\": 17, \"payload_origin\": 20, \"allocation_end\": 369}, \"passed\": true}, {\"check\": \"layout fixture 6\", \"actual\": {\"widths\": [13, 7, 4, 2], \"heights\": [10, 5, 3, 2], \"row_pitches\": [28, 16, 10, 6], \"level_sizes\": [283, 83, 33, 15], \"directory_size\": 8, \"level_offsets\": [8, 291, 374, 407], \"selected_size\": 83, \"level_origin\": 300, \"payload_origin\": 303, \"allocation_end\": 431}, \"expected\": {\"widths\": [13, 7, 4, 2], \"heights\": [10, 5, 3, 2], \"row_pitches\": [28, 16, 10, 6], \"level_sizes\": [283, 83, 33, 15], \"directory_size\": 8, \"level_offsets\": [8, 291, 374, 407], \"selected_size\": 83, \"level_origin\": 300, \"payload_origin\": 303, \"allocation_end\": 431}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}