{"abstract":"The returned physical layout descriptor disagrees with the declared buffer mapping at dims.","category":"Raster memory layout","checks":6,"contract":"Four ceil-halved mip levels each contain all array layers. Each layer owns a one-byte tag and tightly packed texels; level records add a five-byte header. Return the allocation directory and selected layer origin. 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-major-array","failed_approach":"The attempted repair uses [[p[\"w\"],p[\"h\"]]]*4 and still violates the layout contract.","family":"s3-raster-memory-layout-mip-major-array-dims","id":"FA-52091","implementations":{"attempt":{"sha256":"6ae4a27e886f6a9e8eef346347f41d7356d9c2789d43afb8c2b5de35363df7ac","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(p):\n    p = dict(p)\n    dims = [[p[\"w\"],p[\"h\"]]]*4\n    texel_counts = [w*h for w,h in dims]\n    layer_pitches = [t*p[\"b\"]+1 for t in texel_counts]\n    level_spans = [q*p[\"layers\"]+5 for q in layer_pitches]\n    level_offsets = [sum(level_spans[:i]) for i in range(4)]\n    selected_pitch = layer_pitches[p[\"level\"]]\n    selected_header = p[\"base\"]+level_offsets[p[\"level\"]]\n    layer_origin = selected_header+5+p[\"layer\"]*selected_pitch\n    payload_origin = layer_origin+1\n    allocation_end = p[\"base\"]+sum(level_spans)\n    return {'dims': dims, 'texel_counts': texel_counts, 'layer_pitches': layer_pitches, 'level_spans': level_spans, 'level_offsets': level_offsets, 'selected_pitch': selected_pitch, 'selected_header': selected_header, 'layer_origin': layer_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': 6, 'h': 3, 'b': 2, 'layers': 2, 'layer': 0, 'level': 0, 'base': 13}, {'dims': [[6, 3], [3, 2], [2, 1], [1, 1]], 'texel_counts': [18, 6, 2, 1], 'layer_pitches': [37, 13, 5, 3], 'level_spans': [79, 31, 15, 11], 'level_offsets': [0, 79, 110, 125], 'selected_pitch': 37, 'selected_header': 13, 'layer_origin': 18, 'payload_origin': 19, 'allocation_end': 149}), ({'w': 7, 'h': 4, 'b': 2, 'layers': 3, 'layer': 1, 'level': 1, 'base': 13}, {'dims': [[7, 4], [4, 2], [2, 1], [1, 1]], 'texel_counts': [28, 8, 2, 1], 'layer_pitches': [57, 17, 5, 3], 'level_spans': [176, 56, 20, 14], 'level_offsets': [0, 176, 232, 252], 'selected_pitch': 17, 'selected_header': 189, 'layer_origin': 211, 'payload_origin': 212, 'allocation_end': 279}), ({'w': 8, 'h': 5, 'b': 2, 'layers': 4, 'layer': 2, 'level': 2, 'base': 13}, {'dims': [[8, 5], [4, 3], [2, 2], [1, 1]], 'texel_counts': [40, 12, 4, 1], 'layer_pitches': [81, 25, 9, 3], 'level_spans': [329, 105, 41, 17], 'level_offsets': [0, 329, 434, 475], 'selected_pitch': 9, 'selected_header': 447, 'layer_origin': 470, 'payload_origin': 471, 'allocation_end': 505}), ({'w': 9, 'h': 6, 'b': 2, 'layers': 2, 'layer': 1, 'level': 3, 'base': 13}, {'dims': [[9, 6], [5, 3], [3, 2], [2, 1]], 'texel_counts': [54, 15, 6, 2], 'layer_pitches': [109, 31, 13, 5], 'level_spans': [223, 67, 31, 15], 'level_offsets': [0, 223, 290, 321], 'selected_pitch': 5, 'selected_header': 334, 'layer_origin': 344, 'payload_origin': 345, 'allocation_end': 349}), ({'w': 10, 'h': 7, 'b': 2, 'layers': 3, 'layer': 1, 'level': 0, 'base': 13}, {'dims': [[10, 7], [5, 4], [3, 2], [2, 1]], 'texel_counts': [70, 20, 6, 2], 'layer_pitches': [141, 41, 13, 5], 'level_spans': [428, 128, 44, 20], 'level_offsets': [0, 428, 556, 600], 'selected_pitch': 141, 'selected_header': 13, 'layer_origin': 159, 'payload_origin': 160, 'allocation_end': 633}), ({'w': 11, 'h': 8, 'b': 2, 'layers': 4, 'layer': 1, 'level': 1, 'base': 13}, {'dims': [[11, 8], [6, 4], [3, 2], [2, 1]], 'texel_counts': [88, 24, 6, 2], 'layer_pitches': [177, 49, 13, 5], 'level_spans': [713, 201, 57, 25], 'level_offsets': [0, 713, 914, 971], 'selected_pitch': 49, 'selected_header': 726, 'layer_origin': 780, 'payload_origin': 781, 'allocation_end': 1009})], 2: [({'w': 7, 'h': 3, 'b': 3, 'layers': 2, 'layer': 0, 'level': 0, 'base': 26}, {'dims': [[7, 3], [4, 2], [2, 1], [1, 1]], 'texel_counts': [21, 8, 2, 1], 'layer_pitches': [64, 25, 7, 4], 'level_spans': [133, 55, 19, 13], 'level_offsets': [0, 133, 188, 207], 'selected_pitch': 64, 'selected_header': 26, 'layer_origin': 31, 'payload_origin': 32, 'allocation_end': 246}), ({'w': 8, 'h': 4, 'b': 3, 'layers': 3, 'layer': 1, 'level': 1, 'base': 26}, {'dims': [[8, 4], [4, 2], [2, 1], [1, 1]], 'texel_counts': [32, 8, 2, 1], 'layer_pitches': [97, 25, 7, 4], 'level_spans': [296, 80, 26, 17], 'level_offsets': [0, 296, 376, 402], 'selected_pitch': 25, 'selected_header': 322, 'layer_origin': 352, 'payload_origin': 353, 'allocation_end': 445}), ({'w': 9, 'h': 5, 'b': 3, 'layers': 4, 'layer': 2, 'level': 2, 'base': 26}, {'dims': [[9, 5], [5, 3], [3, 2], [2, 1]], 'texel_counts': [45, 15, 6, 2], 'layer_pitches': [136, 46, 19, 7], 'level_spans': [549, 189, 81, 33], 'level_offsets': [0, 549, 738, 819], 'selected_pitch': 19, 'selected_header': 764, 'layer_origin': 807, 'payload_origin': 808, 'allocation_end': 878}), ({'w': 10, 'h': 6, 'b': 3, 'layers': 2, 'layer': 1, 'level': 3, 'base': 26}, {'dims': [[10, 6], [5, 3], [3, 2], [2, 1]], 'texel_counts': [60, 15, 6, 2], 'layer_pitches': [181, 46, 19, 7], 'level_spans': [367, 97, 43, 19], 'level_offsets': [0, 367, 464, 507], 'selected_pitch': 7, 'selected_header': 533, 'layer_origin': 545, 'payload_origin': 546, 'allocation_end': 552}), ({'w': 11, 'h': 7, 'b': 3, 'layers': 3, 'layer': 1, 'level': 0, 'base': 26}, {'dims': [[11, 7], [6, 4], [3, 2], [2, 1]], 'texel_counts': [77, 24, 6, 2], 'layer_pitches': [232, 73, 19, 7], 'level_spans': [701, 224, 62, 26], 'level_offsets': [0, 701, 925, 987], 'selected_pitch': 232, 'selected_header': 26, 'layer_origin': 263, 'payload_origin': 264, 'allocation_end': 1039}), ({'w': 12, 'h': 8, 'b': 3, 'layers': 4, 'layer': 1, 'level': 1, 'base': 26}, {'dims': [[12, 8], [6, 4], [3, 2], [2, 1]], 'texel_counts': [96, 24, 6, 2], 'layer_pitches': [289, 73, 19, 7], 'level_spans': [1161, 297, 81, 33], 'level_offsets': [0, 1161, 1458, 1539], 'selected_pitch': 73, 'selected_header': 1187, 'layer_origin': 1265, 'payload_origin': 1266, 'allocation_end': 1598})], 3: [({'w': 8, 'h': 3, 'b': 4, 'layers': 2, 'layer': 0, 'level': 0, 'base': 39}, {'dims': [[8, 3], [4, 2], [2, 1], [1, 1]], 'texel_counts': [24, 8, 2, 1], 'layer_pitches': [97, 33, 9, 5], 'level_spans': [199, 71, 23, 15], 'level_offsets': [0, 199, 270, 293], 'selected_pitch': 97, 'selected_header': 39, 'layer_origin': 44, 'payload_origin': 45, 'allocation_end': 347}), ({'w': 9, 'h': 4, 'b': 4, 'layers': 3, 'layer': 1, 'level': 1, 'base': 39}, {'dims': [[9, 4], [5, 2], [3, 1], [2, 1]], 'texel_counts': [36, 10, 3, 2], 'layer_pitches': [145, 41, 13, 9], 'level_spans': [440, 128, 44, 32], 'level_offsets': [0, 440, 568, 612], 'selected_pitch': 41, 'selected_header': 479, 'layer_origin': 525, 'payload_origin': 526, 'allocation_end': 683}), ({'w': 10, 'h': 5, 'b': 4, 'layers': 4, 'layer': 2, 'level': 2, 'base': 39}, {'dims': [[10, 5], [5, 3], [3, 2], [2, 1]], 'texel_counts': [50, 15, 6, 2], 'layer_pitches': [201, 61, 25, 9], 'level_spans': [809, 249, 105, 41], 'level_offsets': [0, 809, 1058, 1163], 'selected_pitch': 25, 'selected_header': 1097, 'layer_origin': 1152, 'payload_origin': 1153, 'allocation_end': 1243}), ({'w': 11, 'h': 6, 'b': 4, 'layers': 2, 'layer': 1, 'level': 3, 'base': 39}, {'dims': [[11, 6], [6, 3], [3, 2], [2, 1]], 'texel_counts': [66, 18, 6, 2], 'layer_pitches': [265, 73, 25, 9], 'level_spans': [535, 151, 55, 23], 'level_offsets': [0, 535, 686, 741], 'selected_pitch': 9, 'selected_header': 780, 'layer_origin': 794, 'payload_origin': 795, 'allocation_end': 803}), ({'w': 12, 'h': 7, 'b': 4, 'layers': 3, 'layer': 1, 'level': 0, 'base': 39}, {'dims': [[12, 7], [6, 4], [3, 2], [2, 1]], 'texel_counts': [84, 24, 6, 2], 'layer_pitches': [337, 97, 25, 9], 'level_spans': [1016, 296, 80, 32], 'level_offsets': [0, 1016, 1312, 1392], 'selected_pitch': 337, 'selected_header': 39, 'layer_origin': 381, 'payload_origin': 382, 'allocation_end': 1463}), ({'w': 13, 'h': 8, 'b': 4, 'layers': 4, 'layer': 1, 'level': 1, 'base': 39}, {'dims': [[13, 8], [7, 4], [4, 2], [2, 1]], 'texel_counts': [104, 28, 8, 2], 'layer_pitches': [417, 113, 33, 9], 'level_spans': [1673, 457, 137, 41], 'level_offsets': [0, 1673, 2130, 2267], 'selected_pitch': 113, 'selected_header': 1712, 'layer_origin': 1830, 'payload_origin': 1831, 'allocation_end': 2347})], 4: [({'w': 9, 'h': 3, 'b': 5, 'layers': 2, 'layer': 0, 'level': 0, 'base': 52}, {'dims': [[9, 3], [5, 2], [3, 1], [2, 1]], 'texel_counts': [27, 10, 3, 2], 'layer_pitches': [136, 51, 16, 11], 'level_spans': [277, 107, 37, 27], 'level_offsets': [0, 277, 384, 421], 'selected_pitch': 136, 'selected_header': 52, 'layer_origin': 57, 'payload_origin': 58, 'allocation_end': 500}), ({'w': 10, 'h': 4, 'b': 5, 'layers': 3, 'layer': 1, 'level': 1, 'base': 52}, {'dims': [[10, 4], [5, 2], [3, 1], [2, 1]], 'texel_counts': [40, 10, 3, 2], 'layer_pitches': [201, 51, 16, 11], 'level_spans': [608, 158, 53, 38], 'level_offsets': [0, 608, 766, 819], 'selected_pitch': 51, 'selected_header': 660, 'layer_origin': 716, 'payload_origin': 717, 'allocation_end': 909}), ({'w': 11, 'h': 5, 'b': 5, 'layers': 4, 'layer': 2, 'level': 2, 'base': 52}, {'dims': [[11, 5], [6, 3], [3, 2], [2, 1]], 'texel_counts': [55, 18, 6, 2], 'layer_pitches': [276, 91, 31, 11], 'level_spans': [1109, 369, 129, 49], 'level_offsets': [0, 1109, 1478, 1607], 'selected_pitch': 31, 'selected_header': 1530, 'layer_origin': 1597, 'payload_origin': 1598, 'allocation_end': 1708}), ({'w': 12, 'h': 6, 'b': 5, 'layers': 2, 'layer': 1, 'level': 3, 'base': 52}, {'dims': [[12, 6], [6, 3], [3, 2], [2, 1]], 'texel_counts': [72, 18, 6, 2], 'layer_pitches': [361, 91, 31, 11], 'level_spans': [727, 187, 67, 27], 'level_offsets': [0, 727, 914, 981], 'selected_pitch': 11, 'selected_header': 1033, 'layer_origin': 1049, 'payload_origin': 1050, 'allocation_end': 1060}), ({'w': 13, 'h': 7, 'b': 5, 'layers': 3, 'layer': 1, 'level': 0, 'base': 52}, {'dims': [[13, 7], [7, 4], [4, 2], [2, 1]], 'texel_counts': [91, 28, 8, 2], 'layer_pitches': [456, 141, 41, 11], 'level_spans': [1373, 428, 128, 38], 'level_offsets': [0, 1373, 1801, 1929], 'selected_pitch': 456, 'selected_header': 52, 'layer_origin': 513, 'payload_origin': 514, 'allocation_end': 2019}), ({'w': 14, 'h': 8, 'b': 5, 'layers': 4, 'layer': 1, 'level': 1, 'base': 52}, {'dims': [[14, 8], [7, 4], [4, 2], [2, 1]], 'texel_counts': [112, 28, 8, 2], 'layer_pitches': [561, 141, 41, 11], 'level_spans': [2249, 569, 169, 49], 'level_offsets': [0, 2249, 2818, 2987], 'selected_pitch': 141, 'selected_header': 2301, 'layer_origin': 2447, 'payload_origin': 2448, 'allocation_end': 3088})], 5: [({'w': 10, 'h': 3, 'b': 6, 'layers': 2, 'layer': 0, 'level': 0, 'base': 65}, {'dims': [[10, 3], [5, 2], [3, 1], [2, 1]], 'texel_counts': [30, 10, 3, 2], 'layer_pitches': [181, 61, 19, 13], 'level_spans': [367, 127, 43, 31], 'level_offsets': [0, 367, 494, 537], 'selected_pitch': 181, 'selected_header': 65, 'layer_origin': 70, 'payload_origin': 71, 'allocation_end': 633}), ({'w': 11, 'h': 4, 'b': 6, 'layers': 3, 'layer': 1, 'level': 1, 'base': 65}, {'dims': [[11, 4], [6, 2], [3, 1], [2, 1]], 'texel_counts': [44, 12, 3, 2], 'layer_pitches': [265, 73, 19, 13], 'level_spans': [800, 224, 62, 44], 'level_offsets': [0, 800, 1024, 1086], 'selected_pitch': 73, 'selected_header': 865, 'layer_origin': 943, 'payload_origin': 944, 'allocation_end': 1195}), ({'w': 12, 'h': 5, 'b': 6, 'layers': 4, 'layer': 2, 'level': 2, 'base': 65}, {'dims': [[12, 5], [6, 3], [3, 2], [2, 1]], 'texel_counts': [60, 18, 6, 2], 'layer_pitches': [361, 109, 37, 13], 'level_spans': [1449, 441, 153, 57], 'level_offsets': [0, 1449, 1890, 2043], 'selected_pitch': 37, 'selected_header': 1955, 'layer_origin': 2034, 'payload_origin': 2035, 'allocation_end': 2165}), ({'w': 13, 'h': 6, 'b': 6, 'layers': 2, 'layer': 1, 'level': 3, 'base': 65}, {'dims': [[13, 6], [7, 3], [4, 2], [2, 1]], 'texel_counts': [78, 21, 8, 2], 'layer_pitches': [469, 127, 49, 13], 'level_spans': [943, 259, 103, 31], 'level_offsets': [0, 943, 1202, 1305], 'selected_pitch': 13, 'selected_header': 1370, 'layer_origin': 1388, 'payload_origin': 1389, 'allocation_end': 1401}), ({'w': 14, 'h': 7, 'b': 6, 'layers': 3, 'layer': 1, 'level': 0, 'base': 65}, {'dims': [[14, 7], [7, 4], [4, 2], [2, 1]], 'texel_counts': [98, 28, 8, 2], 'layer_pitches': [589, 169, 49, 13], 'level_spans': [1772, 512, 152, 44], 'level_offsets': [0, 1772, 2284, 2436], 'selected_pitch': 589, 'selected_header': 65, 'layer_origin': 659, 'payload_origin': 660, 'allocation_end': 2545}), ({'w': 15, 'h': 8, 'b': 6, 'layers': 4, 'layer': 1, 'level': 1, 'base': 65}, {'dims': [[15, 8], [8, 4], [4, 2], [2, 1]], 'texel_counts': [120, 32, 8, 2], 'layer_pitches': [721, 193, 49, 13], 'level_spans': [2889, 777, 201, 57], 'level_offsets': [0, 2889, 3666, 3867], 'selected_pitch': 193, 'selected_header': 2954, 'layer_origin': 3152, 'payload_origin': 3153, 'allocation_end': 3989})]}\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":"3448e2d126ca3cfa0225ab20cfb6134ac21eee122592425632f2a08c080a68aa","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(p):\n    p = dict(p)\n    dims = [[max(1,p[\"w\"]>>i),max(1,p[\"h\"]>>i)] for i in range(4)]\n    texel_counts = [w*h for w,h in dims]\n    layer_pitches = [t*p[\"b\"]+1 for t in texel_counts]\n    level_spans = [q*p[\"layers\"]+5 for q in layer_pitches]\n    level_offsets = [sum(level_spans[:i]) for i in range(4)]\n    selected_pitch = layer_pitches[p[\"level\"]]\n    selected_header = p[\"base\"]+level_offsets[p[\"level\"]]\n    layer_origin = selected_header+5+p[\"layer\"]*selected_pitch\n    payload_origin = layer_origin+1\n    allocation_end = p[\"base\"]+sum(level_spans)\n    return {'dims': dims, 'texel_counts': texel_counts, 'layer_pitches': layer_pitches, 'level_spans': level_spans, 'level_offsets': level_offsets, 'selected_pitch': selected_pitch, 'selected_header': selected_header, 'layer_origin': layer_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': 6, 'h': 3, 'b': 2, 'layers': 2, 'layer': 0, 'level': 0, 'base': 13}, {'dims': [[6, 3], [3, 2], [2, 1], [1, 1]], 'texel_counts': [18, 6, 2, 1], 'layer_pitches': [37, 13, 5, 3], 'level_spans': [79, 31, 15, 11], 'level_offsets': [0, 79, 110, 125], 'selected_pitch': 37, 'selected_header': 13, 'layer_origin': 18, 'payload_origin': 19, 'allocation_end': 149}), ({'w': 7, 'h': 4, 'b': 2, 'layers': 3, 'layer': 1, 'level': 1, 'base': 13}, {'dims': [[7, 4], [4, 2], [2, 1], [1, 1]], 'texel_counts': [28, 8, 2, 1], 'layer_pitches': [57, 17, 5, 3], 'level_spans': [176, 56, 20, 14], 'level_offsets': [0, 176, 232, 252], 'selected_pitch': 17, 'selected_header': 189, 'layer_origin': 211, 'payload_origin': 212, 'allocation_end': 279}), ({'w': 8, 'h': 5, 'b': 2, 'layers': 4, 'layer': 2, 'level': 2, 'base': 13}, {'dims': [[8, 5], [4, 3], [2, 2], [1, 1]], 'texel_counts': [40, 12, 4, 1], 'layer_pitches': [81, 25, 9, 3], 'level_spans': [329, 105, 41, 17], 'level_offsets': [0, 329, 434, 475], 'selected_pitch': 9, 'selected_header': 447, 'layer_origin': 470, 'payload_origin': 471, 'allocation_end': 505}), ({'w': 9, 'h': 6, 'b': 2, 'layers': 2, 'layer': 1, 'level': 3, 'base': 13}, {'dims': [[9, 6], [5, 3], [3, 2], [2, 1]], 'texel_counts': [54, 15, 6, 2], 'layer_pitches': [109, 31, 13, 5], 'level_spans': [223, 67, 31, 15], 'level_offsets': [0, 223, 290, 321], 'selected_pitch': 5, 'selected_header': 334, 'layer_origin': 344, 'payload_origin': 345, 'allocation_end': 349}), ({'w': 10, 'h': 7, 'b': 2, 'layers': 3, 'layer': 1, 'level': 0, 'base': 13}, {'dims': [[10, 7], [5, 4], [3, 2], [2, 1]], 'texel_counts': [70, 20, 6, 2], 'layer_pitches': [141, 41, 13, 5], 'level_spans': [428, 128, 44, 20], 'level_offsets': [0, 428, 556, 600], 'selected_pitch': 141, 'selected_header': 13, 'layer_origin': 159, 'payload_origin': 160, 'allocation_end': 633}), ({'w': 11, 'h': 8, 'b': 2, 'layers': 4, 'layer': 1, 'level': 1, 'base': 13}, {'dims': [[11, 8], [6, 4], [3, 2], [2, 1]], 'texel_counts': [88, 24, 6, 2], 'layer_pitches': [177, 49, 13, 5], 'level_spans': [713, 201, 57, 25], 'level_offsets': [0, 713, 914, 971], 'selected_pitch': 49, 'selected_header': 726, 'layer_origin': 780, 'payload_origin': 781, 'allocation_end': 1009})], 2: [({'w': 7, 'h': 3, 'b': 3, 'layers': 2, 'layer': 0, 'level': 0, 'base': 26}, {'dims': [[7, 3], [4, 2], [2, 1], [1, 1]], 'texel_counts': [21, 8, 2, 1], 'layer_pitches': [64, 25, 7, 4], 'level_spans': [133, 55, 19, 13], 'level_offsets': [0, 133, 188, 207], 'selected_pitch': 64, 'selected_header': 26, 'layer_origin': 31, 'payload_origin': 32, 'allocation_end': 246}), ({'w': 8, 'h': 4, 'b': 3, 'layers': 3, 'layer': 1, 'level': 1, 'base': 26}, {'dims': [[8, 4], [4, 2], [2, 1], [1, 1]], 'texel_counts': [32, 8, 2, 1], 'layer_pitches': [97, 25, 7, 4], 'level_spans': [296, 80, 26, 17], 'level_offsets': [0, 296, 376, 402], 'selected_pitch': 25, 'selected_header': 322, 'layer_origin': 352, 'payload_origin': 353, 'allocation_end': 445}), ({'w': 9, 'h': 5, 'b': 3, 'layers': 4, 'layer': 2, 'level': 2, 'base': 26}, {'dims': [[9, 5], [5, 3], [3, 2], [2, 1]], 'texel_counts': [45, 15, 6, 2], 'layer_pitches': [136, 46, 19, 7], 'level_spans': [549, 189, 81, 33], 'level_offsets': [0, 549, 738, 819], 'selected_pitch': 19, 'selected_header': 764, 'layer_origin': 807, 'payload_origin': 808, 'allocation_end': 878}), ({'w': 10, 'h': 6, 'b': 3, 'layers': 2, 'layer': 1, 'level': 3, 'base': 26}, {'dims': [[10, 6], [5, 3], [3, 2], [2, 1]], 'texel_counts': [60, 15, 6, 2], 'layer_pitches': [181, 46, 19, 7], 'level_spans': [367, 97, 43, 19], 'level_offsets': [0, 367, 464, 507], 'selected_pitch': 7, 'selected_header': 533, 'layer_origin': 545, 'payload_origin': 546, 'allocation_end': 552}), ({'w': 11, 'h': 7, 'b': 3, 'layers': 3, 'layer': 1, 'level': 0, 'base': 26}, {'dims': [[11, 7], [6, 4], [3, 2], [2, 1]], 'texel_counts': [77, 24, 6, 2], 'layer_pitches': [232, 73, 19, 7], 'level_spans': [701, 224, 62, 26], 'level_offsets': [0, 701, 925, 987], 'selected_pitch': 232, 'selected_header': 26, 'layer_origin': 263, 'payload_origin': 264, 'allocation_end': 1039}), ({'w': 12, 'h': 8, 'b': 3, 'layers': 4, 'layer': 1, 'level': 1, 'base': 26}, {'dims': [[12, 8], [6, 4], [3, 2], [2, 1]], 'texel_counts': [96, 24, 6, 2], 'layer_pitches': [289, 73, 19, 7], 'level_spans': [1161, 297, 81, 33], 'level_offsets': [0, 1161, 1458, 1539], 'selected_pitch': 73, 'selected_header': 1187, 'layer_origin': 1265, 'payload_origin': 1266, 'allocation_end': 1598})], 3: [({'w': 8, 'h': 3, 'b': 4, 'layers': 2, 'layer': 0, 'level': 0, 'base': 39}, {'dims': [[8, 3], [4, 2], [2, 1], [1, 1]], 'texel_counts': [24, 8, 2, 1], 'layer_pitches': [97, 33, 9, 5], 'level_spans': [199, 71, 23, 15], 'level_offsets': [0, 199, 270, 293], 'selected_pitch': 97, 'selected_header': 39, 'layer_origin': 44, 'payload_origin': 45, 'allocation_end': 347}), ({'w': 9, 'h': 4, 'b': 4, 'layers': 3, 'layer': 1, 'level': 1, 'base': 39}, {'dims': [[9, 4], [5, 2], [3, 1], [2, 1]], 'texel_counts': [36, 10, 3, 2], 'layer_pitches': [145, 41, 13, 9], 'level_spans': [440, 128, 44, 32], 'level_offsets': [0, 440, 568, 612], 'selected_pitch': 41, 'selected_header': 479, 'layer_origin': 525, 'payload_origin': 526, 'allocation_end': 683}), ({'w': 10, 'h': 5, 'b': 4, 'layers': 4, 'layer': 2, 'level': 2, 'base': 39}, {'dims': [[10, 5], [5, 3], [3, 2], [2, 1]], 'texel_counts': [50, 15, 6, 2], 'layer_pitches': [201, 61, 25, 9], 'level_spans': [809, 249, 105, 41], 'level_offsets': [0, 809, 1058, 1163], 'selected_pitch': 25, 'selected_header': 1097, 'layer_origin': 1152, 'payload_origin': 1153, 'allocation_end': 1243}), ({'w': 11, 'h': 6, 'b': 4, 'layers': 2, 'layer': 1, 'level': 3, 'base': 39}, {'dims': [[11, 6], [6, 3], [3, 2], [2, 1]], 'texel_counts': [66, 18, 6, 2], 'layer_pitches': [265, 73, 25, 9], 'level_spans': [535, 151, 55, 23], 'level_offsets': [0, 535, 686, 741], 'selected_pitch': 9, 'selected_header': 780, 'layer_origin': 794, 'payload_origin': 795, 'allocation_end': 803}), ({'w': 12, 'h': 7, 'b': 4, 'layers': 3, 'layer': 1, 'level': 0, 'base': 39}, {'dims': [[12, 7], [6, 4], [3, 2], [2, 1]], 'texel_counts': [84, 24, 6, 2], 'layer_pitches': [337, 97, 25, 9], 'level_spans': [1016, 296, 80, 32], 'level_offsets': [0, 1016, 1312, 1392], 'selected_pitch': 337, 'selected_header': 39, 'layer_origin': 381, 'payload_origin': 382, 'allocation_end': 1463}), ({'w': 13, 'h': 8, 'b': 4, 'layers': 4, 'layer': 1, 'level': 1, 'base': 39}, {'dims': [[13, 8], [7, 4], [4, 2], [2, 1]], 'texel_counts': [104, 28, 8, 2], 'layer_pitches': [417, 113, 33, 9], 'level_spans': [1673, 457, 137, 41], 'level_offsets': [0, 1673, 2130, 2267], 'selected_pitch': 113, 'selected_header': 1712, 'layer_origin': 1830, 'payload_origin': 1831, 'allocation_end': 2347})], 4: [({'w': 9, 'h': 3, 'b': 5, 'layers': 2, 'layer': 0, 'level': 0, 'base': 52}, {'dims': [[9, 3], [5, 2], [3, 1], [2, 1]], 'texel_counts': [27, 10, 3, 2], 'layer_pitches': [136, 51, 16, 11], 'level_spans': [277, 107, 37, 27], 'level_offsets': [0, 277, 384, 421], 'selected_pitch': 136, 'selected_header': 52, 'layer_origin': 57, 'payload_origin': 58, 'allocation_end': 500}), ({'w': 10, 'h': 4, 'b': 5, 'layers': 3, 'layer': 1, 'level': 1, 'base': 52}, {'dims': [[10, 4], [5, 2], [3, 1], [2, 1]], 'texel_counts': [40, 10, 3, 2], 'layer_pitches': [201, 51, 16, 11], 'level_spans': [608, 158, 53, 38], 'level_offsets': [0, 608, 766, 819], 'selected_pitch': 51, 'selected_header': 660, 'layer_origin': 716, 'payload_origin': 717, 'allocation_end': 909}), ({'w': 11, 'h': 5, 'b': 5, 'layers': 4, 'layer': 2, 'level': 2, 'base': 52}, {'dims': [[11, 5], [6, 3], [3, 2], [2, 1]], 'texel_counts': [55, 18, 6, 2], 'layer_pitches': [276, 91, 31, 11], 'level_spans': [1109, 369, 129, 49], 'level_offsets': [0, 1109, 1478, 1607], 'selected_pitch': 31, 'selected_header': 1530, 'layer_origin': 1597, 'payload_origin': 1598, 'allocation_end': 1708}), ({'w': 12, 'h': 6, 'b': 5, 'layers': 2, 'layer': 1, 'level': 3, 'base': 52}, {'dims': [[12, 6], [6, 3], [3, 2], [2, 1]], 'texel_counts': [72, 18, 6, 2], 'layer_pitches': [361, 91, 31, 11], 'level_spans': [727, 187, 67, 27], 'level_offsets': [0, 727, 914, 981], 'selected_pitch': 11, 'selected_header': 1033, 'layer_origin': 1049, 'payload_origin': 1050, 'allocation_end': 1060}), ({'w': 13, 'h': 7, 'b': 5, 'layers': 3, 'layer': 1, 'level': 0, 'base': 52}, {'dims': [[13, 7], [7, 4], [4, 2], [2, 1]], 'texel_counts': [91, 28, 8, 2], 'layer_pitches': [456, 141, 41, 11], 'level_spans': [1373, 428, 128, 38], 'level_offsets': [0, 1373, 1801, 1929], 'selected_pitch': 456, 'selected_header': 52, 'layer_origin': 513, 'payload_origin': 514, 'allocation_end': 2019}), ({'w': 14, 'h': 8, 'b': 5, 'layers': 4, 'layer': 1, 'level': 1, 'base': 52}, {'dims': [[14, 8], [7, 4], [4, 2], [2, 1]], 'texel_counts': [112, 28, 8, 2], 'layer_pitches': [561, 141, 41, 11], 'level_spans': [2249, 569, 169, 49], 'level_offsets': [0, 2249, 2818, 2987], 'selected_pitch': 141, 'selected_header': 2301, 'layer_origin': 2447, 'payload_origin': 2448, 'allocation_end': 3088})], 5: [({'w': 10, 'h': 3, 'b': 6, 'layers': 2, 'layer': 0, 'level': 0, 'base': 65}, {'dims': [[10, 3], [5, 2], [3, 1], [2, 1]], 'texel_counts': [30, 10, 3, 2], 'layer_pitches': [181, 61, 19, 13], 'level_spans': [367, 127, 43, 31], 'level_offsets': [0, 367, 494, 537], 'selected_pitch': 181, 'selected_header': 65, 'layer_origin': 70, 'payload_origin': 71, 'allocation_end': 633}), ({'w': 11, 'h': 4, 'b': 6, 'layers': 3, 'layer': 1, 'level': 1, 'base': 65}, {'dims': [[11, 4], [6, 2], [3, 1], [2, 1]], 'texel_counts': [44, 12, 3, 2], 'layer_pitches': [265, 73, 19, 13], 'level_spans': [800, 224, 62, 44], 'level_offsets': [0, 800, 1024, 1086], 'selected_pitch': 73, 'selected_header': 865, 'layer_origin': 943, 'payload_origin': 944, 'allocation_end': 1195}), ({'w': 12, 'h': 5, 'b': 6, 'layers': 4, 'layer': 2, 'level': 2, 'base': 65}, {'dims': [[12, 5], [6, 3], [3, 2], [2, 1]], 'texel_counts': [60, 18, 6, 2], 'layer_pitches': [361, 109, 37, 13], 'level_spans': [1449, 441, 153, 57], 'level_offsets': [0, 1449, 1890, 2043], 'selected_pitch': 37, 'selected_header': 1955, 'layer_origin': 2034, 'payload_origin': 2035, 'allocation_end': 2165}), ({'w': 13, 'h': 6, 'b': 6, 'layers': 2, 'layer': 1, 'level': 3, 'base': 65}, {'dims': [[13, 6], [7, 3], [4, 2], [2, 1]], 'texel_counts': [78, 21, 8, 2], 'layer_pitches': [469, 127, 49, 13], 'level_spans': [943, 259, 103, 31], 'level_offsets': [0, 943, 1202, 1305], 'selected_pitch': 13, 'selected_header': 1370, 'layer_origin': 1388, 'payload_origin': 1389, 'allocation_end': 1401}), ({'w': 14, 'h': 7, 'b': 6, 'layers': 3, 'layer': 1, 'level': 0, 'base': 65}, {'dims': [[14, 7], [7, 4], [4, 2], [2, 1]], 'texel_counts': [98, 28, 8, 2], 'layer_pitches': [589, 169, 49, 13], 'level_spans': [1772, 512, 152, 44], 'level_offsets': [0, 1772, 2284, 2436], 'selected_pitch': 589, 'selected_header': 65, 'layer_origin': 659, 'payload_origin': 660, 'allocation_end': 2545}), ({'w': 15, 'h': 8, 'b': 6, 'layers': 4, 'layer': 1, 'level': 1, 'base': 65}, {'dims': [[15, 8], [8, 4], [4, 2], [2, 1]], 'texel_counts': [120, 32, 8, 2], 'layer_pitches': [721, 193, 49, 13], 'level_spans': [2889, 777, 201, 57], 'level_offsets': [0, 2889, 3666, 3867], 'selected_pitch': 193, 'selected_header': 2954, 'layer_origin': 3152, 'payload_origin': 3153, 'allocation_end': 3989})]}\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":"6392a82b0a101f227e8739952280c2a833bc3850e968375b3090e27bbed03819","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(p):\n    p = dict(p)\n    dims = [[max(1,(p[\"w\"]+(1<<i)-1)//(1<<i)),max(1,(p[\"h\"]+(1<<i)-1)//(1<<i))] for i in range(4)]\n    texel_counts = [w*h for w,h in dims]\n    layer_pitches = [t*p[\"b\"]+1 for t in texel_counts]\n    level_spans = [q*p[\"layers\"]+5 for q in layer_pitches]\n    level_offsets = [sum(level_spans[:i]) for i in range(4)]\n    selected_pitch = layer_pitches[p[\"level\"]]\n    selected_header = p[\"base\"]+level_offsets[p[\"level\"]]\n    layer_origin = selected_header+5+p[\"layer\"]*selected_pitch\n    payload_origin = layer_origin+1\n    allocation_end = p[\"base\"]+sum(level_spans)\n    return {'dims': dims, 'texel_counts': texel_counts, 'layer_pitches': layer_pitches, 'level_spans': level_spans, 'level_offsets': level_offsets, 'selected_pitch': selected_pitch, 'selected_header': selected_header, 'layer_origin': layer_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': 6, 'h': 3, 'b': 2, 'layers': 2, 'layer': 0, 'level': 0, 'base': 13}, {'dims': [[6, 3], [3, 2], [2, 1], [1, 1]], 'texel_counts': [18, 6, 2, 1], 'layer_pitches': [37, 13, 5, 3], 'level_spans': [79, 31, 15, 11], 'level_offsets': [0, 79, 110, 125], 'selected_pitch': 37, 'selected_header': 13, 'layer_origin': 18, 'payload_origin': 19, 'allocation_end': 149}), ({'w': 7, 'h': 4, 'b': 2, 'layers': 3, 'layer': 1, 'level': 1, 'base': 13}, {'dims': [[7, 4], [4, 2], [2, 1], [1, 1]], 'texel_counts': [28, 8, 2, 1], 'layer_pitches': [57, 17, 5, 3], 'level_spans': [176, 56, 20, 14], 'level_offsets': [0, 176, 232, 252], 'selected_pitch': 17, 'selected_header': 189, 'layer_origin': 211, 'payload_origin': 212, 'allocation_end': 279}), ({'w': 8, 'h': 5, 'b': 2, 'layers': 4, 'layer': 2, 'level': 2, 'base': 13}, {'dims': [[8, 5], [4, 3], [2, 2], [1, 1]], 'texel_counts': [40, 12, 4, 1], 'layer_pitches': [81, 25, 9, 3], 'level_spans': [329, 105, 41, 17], 'level_offsets': [0, 329, 434, 475], 'selected_pitch': 9, 'selected_header': 447, 'layer_origin': 470, 'payload_origin': 471, 'allocation_end': 505}), ({'w': 9, 'h': 6, 'b': 2, 'layers': 2, 'layer': 1, 'level': 3, 'base': 13}, {'dims': [[9, 6], [5, 3], [3, 2], [2, 1]], 'texel_counts': [54, 15, 6, 2], 'layer_pitches': [109, 31, 13, 5], 'level_spans': [223, 67, 31, 15], 'level_offsets': [0, 223, 290, 321], 'selected_pitch': 5, 'selected_header': 334, 'layer_origin': 344, 'payload_origin': 345, 'allocation_end': 349}), ({'w': 10, 'h': 7, 'b': 2, 'layers': 3, 'layer': 1, 'level': 0, 'base': 13}, {'dims': [[10, 7], [5, 4], [3, 2], [2, 1]], 'texel_counts': [70, 20, 6, 2], 'layer_pitches': [141, 41, 13, 5], 'level_spans': [428, 128, 44, 20], 'level_offsets': [0, 428, 556, 600], 'selected_pitch': 141, 'selected_header': 13, 'layer_origin': 159, 'payload_origin': 160, 'allocation_end': 633}), ({'w': 11, 'h': 8, 'b': 2, 'layers': 4, 'layer': 1, 'level': 1, 'base': 13}, {'dims': [[11, 8], [6, 4], [3, 2], [2, 1]], 'texel_counts': [88, 24, 6, 2], 'layer_pitches': [177, 49, 13, 5], 'level_spans': [713, 201, 57, 25], 'level_offsets': [0, 713, 914, 971], 'selected_pitch': 49, 'selected_header': 726, 'layer_origin': 780, 'payload_origin': 781, 'allocation_end': 1009})], 2: [({'w': 7, 'h': 3, 'b': 3, 'layers': 2, 'layer': 0, 'level': 0, 'base': 26}, {'dims': [[7, 3], [4, 2], [2, 1], [1, 1]], 'texel_counts': [21, 8, 2, 1], 'layer_pitches': [64, 25, 7, 4], 'level_spans': [133, 55, 19, 13], 'level_offsets': [0, 133, 188, 207], 'selected_pitch': 64, 'selected_header': 26, 'layer_origin': 31, 'payload_origin': 32, 'allocation_end': 246}), ({'w': 8, 'h': 4, 'b': 3, 'layers': 3, 'layer': 1, 'level': 1, 'base': 26}, {'dims': [[8, 4], [4, 2], [2, 1], [1, 1]], 'texel_counts': [32, 8, 2, 1], 'layer_pitches': [97, 25, 7, 4], 'level_spans': [296, 80, 26, 17], 'level_offsets': [0, 296, 376, 402], 'selected_pitch': 25, 'selected_header': 322, 'layer_origin': 352, 'payload_origin': 353, 'allocation_end': 445}), ({'w': 9, 'h': 5, 'b': 3, 'layers': 4, 'layer': 2, 'level': 2, 'base': 26}, {'dims': [[9, 5], [5, 3], [3, 2], [2, 1]], 'texel_counts': [45, 15, 6, 2], 'layer_pitches': [136, 46, 19, 7], 'level_spans': [549, 189, 81, 33], 'level_offsets': [0, 549, 738, 819], 'selected_pitch': 19, 'selected_header': 764, 'layer_origin': 807, 'payload_origin': 808, 'allocation_end': 878}), ({'w': 10, 'h': 6, 'b': 3, 'layers': 2, 'layer': 1, 'level': 3, 'base': 26}, {'dims': [[10, 6], [5, 3], [3, 2], [2, 1]], 'texel_counts': [60, 15, 6, 2], 'layer_pitches': [181, 46, 19, 7], 'level_spans': [367, 97, 43, 19], 'level_offsets': [0, 367, 464, 507], 'selected_pitch': 7, 'selected_header': 533, 'layer_origin': 545, 'payload_origin': 546, 'allocation_end': 552}), ({'w': 11, 'h': 7, 'b': 3, 'layers': 3, 'layer': 1, 'level': 0, 'base': 26}, {'dims': [[11, 7], [6, 4], [3, 2], [2, 1]], 'texel_counts': [77, 24, 6, 2], 'layer_pitches': [232, 73, 19, 7], 'level_spans': [701, 224, 62, 26], 'level_offsets': [0, 701, 925, 987], 'selected_pitch': 232, 'selected_header': 26, 'layer_origin': 263, 'payload_origin': 264, 'allocation_end': 1039}), ({'w': 12, 'h': 8, 'b': 3, 'layers': 4, 'layer': 1, 'level': 1, 'base': 26}, {'dims': [[12, 8], [6, 4], [3, 2], [2, 1]], 'texel_counts': [96, 24, 6, 2], 'layer_pitches': [289, 73, 19, 7], 'level_spans': [1161, 297, 81, 33], 'level_offsets': [0, 1161, 1458, 1539], 'selected_pitch': 73, 'selected_header': 1187, 'layer_origin': 1265, 'payload_origin': 1266, 'allocation_end': 1598})], 3: [({'w': 8, 'h': 3, 'b': 4, 'layers': 2, 'layer': 0, 'level': 0, 'base': 39}, {'dims': [[8, 3], [4, 2], [2, 1], [1, 1]], 'texel_counts': [24, 8, 2, 1], 'layer_pitches': [97, 33, 9, 5], 'level_spans': [199, 71, 23, 15], 'level_offsets': [0, 199, 270, 293], 'selected_pitch': 97, 'selected_header': 39, 'layer_origin': 44, 'payload_origin': 45, 'allocation_end': 347}), ({'w': 9, 'h': 4, 'b': 4, 'layers': 3, 'layer': 1, 'level': 1, 'base': 39}, {'dims': [[9, 4], [5, 2], [3, 1], [2, 1]], 'texel_counts': [36, 10, 3, 2], 'layer_pitches': [145, 41, 13, 9], 'level_spans': [440, 128, 44, 32], 'level_offsets': [0, 440, 568, 612], 'selected_pitch': 41, 'selected_header': 479, 'layer_origin': 525, 'payload_origin': 526, 'allocation_end': 683}), ({'w': 10, 'h': 5, 'b': 4, 'layers': 4, 'layer': 2, 'level': 2, 'base': 39}, {'dims': [[10, 5], [5, 3], [3, 2], [2, 1]], 'texel_counts': [50, 15, 6, 2], 'layer_pitches': [201, 61, 25, 9], 'level_spans': [809, 249, 105, 41], 'level_offsets': [0, 809, 1058, 1163], 'selected_pitch': 25, 'selected_header': 1097, 'layer_origin': 1152, 'payload_origin': 1153, 'allocation_end': 1243}), ({'w': 11, 'h': 6, 'b': 4, 'layers': 2, 'layer': 1, 'level': 3, 'base': 39}, {'dims': [[11, 6], [6, 3], [3, 2], [2, 1]], 'texel_counts': [66, 18, 6, 2], 'layer_pitches': [265, 73, 25, 9], 'level_spans': [535, 151, 55, 23], 'level_offsets': [0, 535, 686, 741], 'selected_pitch': 9, 'selected_header': 780, 'layer_origin': 794, 'payload_origin': 795, 'allocation_end': 803}), ({'w': 12, 'h': 7, 'b': 4, 'layers': 3, 'layer': 1, 'level': 0, 'base': 39}, {'dims': [[12, 7], [6, 4], [3, 2], [2, 1]], 'texel_counts': [84, 24, 6, 2], 'layer_pitches': [337, 97, 25, 9], 'level_spans': [1016, 296, 80, 32], 'level_offsets': [0, 1016, 1312, 1392], 'selected_pitch': 337, 'selected_header': 39, 'layer_origin': 381, 'payload_origin': 382, 'allocation_end': 1463}), ({'w': 13, 'h': 8, 'b': 4, 'layers': 4, 'layer': 1, 'level': 1, 'base': 39}, {'dims': [[13, 8], [7, 4], [4, 2], [2, 1]], 'texel_counts': [104, 28, 8, 2], 'layer_pitches': [417, 113, 33, 9], 'level_spans': [1673, 457, 137, 41], 'level_offsets': [0, 1673, 2130, 2267], 'selected_pitch': 113, 'selected_header': 1712, 'layer_origin': 1830, 'payload_origin': 1831, 'allocation_end': 2347})], 4: [({'w': 9, 'h': 3, 'b': 5, 'layers': 2, 'layer': 0, 'level': 0, 'base': 52}, {'dims': [[9, 3], [5, 2], [3, 1], [2, 1]], 'texel_counts': [27, 10, 3, 2], 'layer_pitches': [136, 51, 16, 11], 'level_spans': [277, 107, 37, 27], 'level_offsets': [0, 277, 384, 421], 'selected_pitch': 136, 'selected_header': 52, 'layer_origin': 57, 'payload_origin': 58, 'allocation_end': 500}), ({'w': 10, 'h': 4, 'b': 5, 'layers': 3, 'layer': 1, 'level': 1, 'base': 52}, {'dims': [[10, 4], [5, 2], [3, 1], [2, 1]], 'texel_counts': [40, 10, 3, 2], 'layer_pitches': [201, 51, 16, 11], 'level_spans': [608, 158, 53, 38], 'level_offsets': [0, 608, 766, 819], 'selected_pitch': 51, 'selected_header': 660, 'layer_origin': 716, 'payload_origin': 717, 'allocation_end': 909}), ({'w': 11, 'h': 5, 'b': 5, 'layers': 4, 'layer': 2, 'level': 2, 'base': 52}, {'dims': [[11, 5], [6, 3], [3, 2], [2, 1]], 'texel_counts': [55, 18, 6, 2], 'layer_pitches': [276, 91, 31, 11], 'level_spans': [1109, 369, 129, 49], 'level_offsets': [0, 1109, 1478, 1607], 'selected_pitch': 31, 'selected_header': 1530, 'layer_origin': 1597, 'payload_origin': 1598, 'allocation_end': 1708}), ({'w': 12, 'h': 6, 'b': 5, 'layers': 2, 'layer': 1, 'level': 3, 'base': 52}, {'dims': [[12, 6], [6, 3], [3, 2], [2, 1]], 'texel_counts': [72, 18, 6, 2], 'layer_pitches': [361, 91, 31, 11], 'level_spans': [727, 187, 67, 27], 'level_offsets': [0, 727, 914, 981], 'selected_pitch': 11, 'selected_header': 1033, 'layer_origin': 1049, 'payload_origin': 1050, 'allocation_end': 1060}), ({'w': 13, 'h': 7, 'b': 5, 'layers': 3, 'layer': 1, 'level': 0, 'base': 52}, {'dims': [[13, 7], [7, 4], [4, 2], [2, 1]], 'texel_counts': [91, 28, 8, 2], 'layer_pitches': [456, 141, 41, 11], 'level_spans': [1373, 428, 128, 38], 'level_offsets': [0, 1373, 1801, 1929], 'selected_pitch': 456, 'selected_header': 52, 'layer_origin': 513, 'payload_origin': 514, 'allocation_end': 2019}), ({'w': 14, 'h': 8, 'b': 5, 'layers': 4, 'layer': 1, 'level': 1, 'base': 52}, {'dims': [[14, 8], [7, 4], [4, 2], [2, 1]], 'texel_counts': [112, 28, 8, 2], 'layer_pitches': [561, 141, 41, 11], 'level_spans': [2249, 569, 169, 49], 'level_offsets': [0, 2249, 2818, 2987], 'selected_pitch': 141, 'selected_header': 2301, 'layer_origin': 2447, 'payload_origin': 2448, 'allocation_end': 3088})], 5: [({'w': 10, 'h': 3, 'b': 6, 'layers': 2, 'layer': 0, 'level': 0, 'base': 65}, {'dims': [[10, 3], [5, 2], [3, 1], [2, 1]], 'texel_counts': [30, 10, 3, 2], 'layer_pitches': [181, 61, 19, 13], 'level_spans': [367, 127, 43, 31], 'level_offsets': [0, 367, 494, 537], 'selected_pitch': 181, 'selected_header': 65, 'layer_origin': 70, 'payload_origin': 71, 'allocation_end': 633}), ({'w': 11, 'h': 4, 'b': 6, 'layers': 3, 'layer': 1, 'level': 1, 'base': 65}, {'dims': [[11, 4], [6, 2], [3, 1], [2, 1]], 'texel_counts': [44, 12, 3, 2], 'layer_pitches': [265, 73, 19, 13], 'level_spans': [800, 224, 62, 44], 'level_offsets': [0, 800, 1024, 1086], 'selected_pitch': 73, 'selected_header': 865, 'layer_origin': 943, 'payload_origin': 944, 'allocation_end': 1195}), ({'w': 12, 'h': 5, 'b': 6, 'layers': 4, 'layer': 2, 'level': 2, 'base': 65}, {'dims': [[12, 5], [6, 3], [3, 2], [2, 1]], 'texel_counts': [60, 18, 6, 2], 'layer_pitches': [361, 109, 37, 13], 'level_spans': [1449, 441, 153, 57], 'level_offsets': [0, 1449, 1890, 2043], 'selected_pitch': 37, 'selected_header': 1955, 'layer_origin': 2034, 'payload_origin': 2035, 'allocation_end': 2165}), ({'w': 13, 'h': 6, 'b': 6, 'layers': 2, 'layer': 1, 'level': 3, 'base': 65}, {'dims': [[13, 6], [7, 3], [4, 2], [2, 1]], 'texel_counts': [78, 21, 8, 2], 'layer_pitches': [469, 127, 49, 13], 'level_spans': [943, 259, 103, 31], 'level_offsets': [0, 943, 1202, 1305], 'selected_pitch': 13, 'selected_header': 1370, 'layer_origin': 1388, 'payload_origin': 1389, 'allocation_end': 1401}), ({'w': 14, 'h': 7, 'b': 6, 'layers': 3, 'layer': 1, 'level': 0, 'base': 65}, {'dims': [[14, 7], [7, 4], [4, 2], [2, 1]], 'texel_counts': [98, 28, 8, 2], 'layer_pitches': [589, 169, 49, 13], 'level_spans': [1772, 512, 152, 44], 'level_offsets': [0, 1772, 2284, 2436], 'selected_pitch': 589, 'selected_header': 65, 'layer_origin': 659, 'payload_origin': 660, 'allocation_end': 2545}), ({'w': 15, 'h': 8, 'b': 6, 'layers': 4, 'layer': 1, 'level': 1, 'base': 65}, {'dims': [[15, 8], [8, 4], [4, 2], [2, 1]], 'texel_counts': [120, 32, 8, 2], 'layer_pitches': [721, 193, 49, 13], 'level_spans': [2889, 777, 201, 57], 'level_offsets': [0, 2889, 3666, 3867], 'selected_pitch': 193, 'selected_header': 2954, 'layer_origin': 3152, 'payload_origin': 3153, 'allocation_end': 3989})]}\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-major-array-dims","generated_at":"2026-09-29T14:45:25.522115+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 dims: [[max(1,(p[\"w\"]+(1<<i)-1)//(1<<i)),max(1,(p[\"h\"]+(1<<i)-1)//(1<<i))] for i in range(4)].","root_cause":"Array mip dimensions are truncated or held constant The faulty expression is [[max(1,p[\"w\"]>>i),max(1,p[\"h\"]>>i)] for i in range(4)].","sha256":"75b541d466c782ddf8128a8ba4d84a6be5fc204e2ac267c2f5a92afea03c1cb8","title":"Mip Major Array: Array mip dimensions are truncated or held constant · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.306,"exit_code":1,"observations":[{"actual":{"allocation_end":329,"dims":[[6,3],[6,3],[6,3],[6,3]],"layer_origin":18,"layer_pitches":[37,37,37,37],"level_offsets":[0,79,158,237],"level_spans":[79,79,79,79],"payload_origin":19,"selected_header":13,"selected_pitch":37,"texel_counts":[18,18,18,18]},"check":"layout fixture 1","expected":{"allocation_end":149,"dims":[[6,3],[3,2],[2,1],[1,1]],"layer_origin":18,"layer_pitches":[37,13,5,3],"level_offsets":[0,79,110,125],"level_spans":[79,31,15,11],"payload_origin":19,"selected_header":13,"selected_pitch":37,"texel_counts":[18,6,2,1]},"passed":false},{"actual":{"allocation_end":717,"dims":[[7,4],[7,4],[7,4],[7,4]],"layer_origin":251,"layer_pitches":[57,57,57,57],"level_offsets":[0,176,352,528],"level_spans":[176,176,176,176],"payload_origin":252,"selected_header":189,"selected_pitch":57,"texel_counts":[28,28,28,28]},"check":"layout fixture 2","expected":{"allocation_end":279,"dims":[[7,4],[4,2],[2,1],[1,1]],"layer_origin":211,"layer_pitches":[57,17,5,3],"level_offsets":[0,176,232,252],"level_spans":[176,56,20,14],"payload_origin":212,"selected_header":189,"selected_pitch":17,"texel_counts":[28,8,2,1]},"passed":false},{"actual":{"allocation_end":1329,"dims":[[8,5],[8,5],[8,5],[8,5]],"layer_origin":838,"layer_pitches":[81,81,81,81],"level_offsets":[0,329,658,987],"level_spans":[329,329,329,329],"payload_origin":839,"selected_header":671,"selected_pitch":81,"texel_counts":[40,40,40,40]},"check":"layout fixture 3","expected":{"allocation_end":505,"dims":[[8,5],[4,3],[2,2],[1,1]],"layer_origin":470,"layer_pitches":[81,25,9,3],"level_offsets":[0,329,434,475],"level_spans":[329,105,41,17],"payload_origin":471,"selected_header":447,"selected_pitch":9,"texel_counts":[40,12,4,1]},"passed":false},{"actual":{"allocation_end":905,"dims":[[9,6],[9,6],[9,6],[9,6]],"layer_origin":796,"layer_pitches":[109,109,109,109],"level_offsets":[0,223,446,669],"level_spans":[223,223,223,223],"payload_origin":797,"selected_header":682,"selected_pitch":109,"texel_counts":[54,54,54,54]},"check":"layout fixture 4","expected":{"allocation_end":349,"dims":[[9,6],[5,3],[3,2],[2,1]],"layer_origin":344,"layer_pitches":[109,31,13,5],"level_offsets":[0,223,290,321],"level_spans":[223,67,31,15],"payload_origin":345,"selected_header":334,"selected_pitch":5,"texel_counts":[54,15,6,2]},"passed":false},{"actual":{"allocation_end":1725,"dims":[[10,7],[10,7],[10,7],[10,7]],"layer_origin":159,"layer_pitches":[141,141,141,141],"level_offsets":[0,428,856,1284],"level_spans":[428,428,428,428],"payload_origin":160,"selected_header":13,"selected_pitch":141,"texel_counts":[70,70,70,70]},"check":"layout fixture 5","expected":{"allocation_end":633,"dims":[[10,7],[5,4],[3,2],[2,1]],"layer_origin":159,"layer_pitches":[141,41,13,5],"level_offsets":[0,428,556,600],"level_spans":[428,128,44,20],"payload_origin":160,"selected_header":13,"selected_pitch":141,"texel_counts":[70,20,6,2]},"passed":false},{"actual":{"allocation_end":2865,"dims":[[11,8],[11,8],[11,8],[11,8]],"layer_origin":908,"layer_pitches":[177,177,177,177],"level_offsets":[0,713,1426,2139],"level_spans":[713,713,713,713],"payload_origin":909,"selected_header":726,"selected_pitch":177,"texel_counts":[88,88,88,88]},"check":"layout fixture 6","expected":{"allocation_end":1009,"dims":[[11,8],[6,4],[3,2],[2,1]],"layer_origin":780,"layer_pitches":[177,49,13,5],"level_offsets":[0,713,914,971],"level_spans":[713,201,57,25],"payload_origin":781,"selected_header":726,"selected_pitch":49,"texel_counts":[88,24,6,2]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layout fixture 1\", \"actual\": {\"dims\": [[6, 3], [6, 3], [6, 3], [6, 3]], \"texel_counts\": [18, 18, 18, 18], \"layer_pitches\": [37, 37, 37, 37], \"level_spans\": [79, 79, 79, 79], \"level_offsets\": [0, 79, 158, 237], \"selected_pitch\": 37, \"selected_header\": 13, \"layer_origin\": 18, \"payload_origin\": 19, \"allocation_end\": 329}, \"expected\": {\"dims\": [[6, 3], [3, 2], [2, 1], [1, 1]], \"texel_counts\": [18, 6, 2, 1], \"layer_pitches\": [37, 13, 5, 3], \"level_spans\": [79, 31, 15, 11], \"level_offsets\": [0, 79, 110, 125], \"selected_pitch\": 37, \"selected_header\": 13, \"layer_origin\": 18, \"payload_origin\": 19, \"allocation_end\": 149}, \"passed\": false}, {\"check\": \"layout fixture 2\", \"actual\": {\"dims\": [[7, 4], [7, 4], [7, 4], [7, 4]], \"texel_counts\": [28, 28, 28, 28], \"layer_pitches\": [57, 57, 57, 57], \"level_spans\": [176, 176, 176, 176], \"level_offsets\": [0, 176, 352, 528], \"selected_pitch\": 57, \"selected_header\": 189, \"layer_origin\": 251, \"payload_origin\": 252, \"allocation_end\": 717}, \"expected\": {\"dims\": [[7, 4], [4, 2], [2, 1], [1, 1]], \"texel_counts\": [28, 8, 2, 1], \"layer_pitches\": [57, 17, 5, 3], \"level_spans\": [176, 56, 20, 14], \"level_offsets\": [0, 176, 232, 252], \"selected_pitch\": 17, \"selected_header\": 189, \"layer_origin\": 211, \"payload_origin\": 212, \"allocation_end\": 279}, \"passed\": false}, {\"check\": \"layout fixture 3\", \"actual\": {\"dims\": [[8, 5], [8, 5], [8, 5], [8, 5]], \"texel_counts\": [40, 40, 40, 40], \"layer_pitches\": [81, 81, 81, 81], \"level_spans\": [329, 329, 329, 329], \"level_offsets\": [0, 329, 658, 987], \"selected_pitch\": 81, \"selected_header\": 671, \"layer_origin\": 838, \"payload_origin\": 839, \"allocation_end\": 1329}, \"expected\": {\"dims\": [[8, 5], [4, 3], [2, 2], [1, 1]], \"texel_counts\": [40, 12, 4, 1], \"layer_pitches\": [81, 25, 9, 3], \"level_spans\": [329, 105, 41, 17], \"level_offsets\": [0, 329, 434, 475], \"selected_pitch\": 9, \"selected_header\": 447, \"layer_origin\": 470, \"payload_origin\": 471, \"allocation_end\": 505}, \"passed\": false}, {\"check\": \"layout fixture 4\", \"actual\": {\"dims\": [[9, 6], [9, 6], [9, 6], [9, 6]], \"texel_counts\": [54, 54, 54, 54], \"layer_pitches\": [109, 109, 109, 109], \"level_spans\": [223, 223, 223, 223], \"level_offsets\": [0, 223, 446, 669], \"selected_pitch\": 109, \"selected_header\": 682, \"layer_origin\": 796, \"payload_origin\": 797, \"allocation_end\": 905}, \"expected\": {\"dims\": [[9, 6], [5, 3], [3, 2], [2, 1]], \"texel_counts\": [54, 15, 6, 2], \"layer_pitches\": [109, 31, 13, 5], \"level_spans\": [223, 67, 31, 15], \"level_offsets\": [0, 223, 290, 321], \"selected_pitch\": 5, \"selected_header\": 334, \"layer_origin\": 344, \"payload_origin\": 345, \"allocation_end\": 349}, \"passed\": false}, {\"check\": \"layout fixture 5\", \"actual\": {\"dims\": [[10, 7], [10, 7], [10, 7], [10, 7]], \"texel_counts\": [70, 70, 70, 70], \"layer_pitches\": [141, 141, 141, 141], \"level_spans\": [428, 428, 428, 428], \"level_offsets\": [0, 428, 856, 1284], \"selected_pitch\": 141, \"selected_header\": 13, \"layer_origin\": 159, \"payload_origin\": 160, \"allocation_end\": 1725}, \"expected\": {\"dims\": [[10, 7], [5, 4], [3, 2], [2, 1]], \"texel_counts\": [70, 20, 6, 2], \"layer_pitches\": [141, 41, 13, 5], \"level_spans\": [428, 128, 44, 20], \"level_offsets\": [0, 428, 556, 600], \"selected_pitch\": 141, \"selected_header\": 13, \"layer_origin\": 159, \"payload_origin\": 160, \"allocation_end\": 633}, \"passed\": false}, {\"check\": \"layout fixture 6\", \"actual\": {\"dims\": [[11, 8], [11, 8], [11, 8], [11, 8]], \"texel_counts\": [88, 88, 88, 88], \"layer_pitches\": [177, 177, 177, 177], \"level_spans\": [713, 713, 713, 713], \"level_offsets\": [0, 713, 1426, 2139], \"selected_pitch\": 177, \"selected_header\": 726, \"layer_origin\": 908, \"payload_origin\": 909, \"allocation_end\": 2865}, \"expected\": {\"dims\": [[11, 8], [6, 4], [3, 2], [2, 1]], \"texel_counts\": [88, 24, 6, 2], \"layer_pitches\": [177, 49, 13, 5], \"level_spans\": [713, 201, 57, 25], \"level_offsets\": [0, 713, 914, 971], \"selected_pitch\": 49, \"selected_header\": 726, \"layer_origin\": 780, \"payload_origin\": 781, \"allocation_end\": 1009}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.352,"exit_code":1,"observations":[{"actual":{"allocation_end":133,"dims":[[6,3],[3,1],[1,1],[1,1]],"layer_origin":18,"layer_pitches":[37,7,3,3],"level_offsets":[0,79,98,109],"level_spans":[79,19,11,11],"payload_origin":19,"selected_header":13,"selected_pitch":37,"texel_counts":[18,3,1,1]},"check":"layout fixture 1","expected":{"allocation_end":149,"dims":[[6,3],[3,2],[2,1],[1,1]],"layer_origin":18,"layer_pitches":[37,13,5,3],"level_offsets":[0,79,110,125],"level_spans":[79,31,15,11],"payload_origin":19,"selected_header":13,"selected_pitch":37,"texel_counts":[18,6,2,1]},"passed":false},{"actual":{"allocation_end":261,"dims":[[7,4],[3,2],[1,1],[1,1]],"layer_origin":207,"layer_pitches":[57,13,3,3],"level_offsets":[0,176,220,234],"level_spans":[176,44,14,14],"payload_origin":208,"selected_header":189,"selected_pitch":13,"texel_counts":[28,6,1,1]},"check":"layout fixture 2","expected":{"allocation_end":279,"dims":[[7,4],[4,2],[2,1],[1,1]],"layer_origin":211,"layer_pitches":[57,17,5,3],"level_offsets":[0,176,232,252],"level_spans":[176,56,20,14],"payload_origin":212,"selected_header":189,"selected_pitch":17,"texel_counts":[28,8,2,1]},"passed":false},{"actual":{"allocation_end":457,"dims":[[8,5],[4,2],[2,1],[1,1]],"layer_origin":430,"layer_pitches":[81,17,5,3],"level_offsets":[0,329,402,427],"level_spans":[329,73,25,17],"payload_origin":431,"selected_header":415,"selected_pitch":5,"texel_counts":[40,8,2,1]},"check":"layout fixture 3","expected":{"allocation_end":505,"dims":[[8,5],[4,3],[2,2],[1,1]],"layer_origin":470,"layer_pitches":[81,25,9,3],"level_offsets":[0,329,434,475],"level_spans":[329,105,41,17],"payload_origin":471,"selected_header":447,"selected_pitch":9,"texel_counts":[40,12,4,1]},"passed":false},{"actual":{"allocation_end":317,"dims":[[9,6],[4,3],[2,1],[1,1]],"layer_origin":314,"layer_pitches":[109,25,5,3],"level_offsets":[0,223,278,293],"level_spans":[223,55,15,11],"payload_origin":315,"selected_header":306,"selected_pitch":3,"texel_counts":[54,12,2,1]},"check":"layout fixture 4","expected":{"allocation_end":349,"dims":[[9,6],[5,3],[3,2],[2,1]],"layer_origin":344,"layer_pitches":[109,31,13,5],"level_offsets":[0,223,290,321],"level_spans":[223,67,31,15],"payload_origin":345,"selected_header":334,"selected_pitch":5,"texel_counts":[54,15,6,2]},"passed":false},{"actual":{"allocation_end":573,"dims":[[10,7],[5,3],[2,1],[1,1]],"layer_origin":159,"layer_pitches":[141,31,5,3],"level_offsets":[0,428,526,546],"level_spans":[428,98,20,14],"payload_origin":160,"selected_header":13,"selected_pitch":141,"texel_counts":[70,15,2,1]},"check":"layout fixture 5","expected":{"allocation_end":633,"dims":[[10,7],[5,4],[3,2],[2,1]],"layer_origin":159,"layer_pitches":[141,41,13,5],"level_offsets":[0,428,556,600],"level_spans":[428,128,44,20],"payload_origin":160,"selected_header":13,"selected_pitch":141,"texel_counts":[70,20,6,2]},"passed":false},{"actual":{"allocation_end":953,"dims":[[11,8],[5,4],[2,2],[1,1]],"layer_origin":772,"layer_pitches":[177,41,9,3],"level_offsets":[0,713,882,923],"level_spans":[713,169,41,17],"payload_origin":773,"selected_header":726,"selected_pitch":41,"texel_counts":[88,20,4,1]},"check":"layout fixture 6","expected":{"allocation_end":1009,"dims":[[11,8],[6,4],[3,2],[2,1]],"layer_origin":780,"layer_pitches":[177,49,13,5],"level_offsets":[0,713,914,971],"level_spans":[713,201,57,25],"payload_origin":781,"selected_header":726,"selected_pitch":49,"texel_counts":[88,24,6,2]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layout fixture 1\", \"actual\": {\"dims\": [[6, 3], [3, 1], [1, 1], [1, 1]], \"texel_counts\": [18, 3, 1, 1], \"layer_pitches\": [37, 7, 3, 3], \"level_spans\": [79, 19, 11, 11], \"level_offsets\": [0, 79, 98, 109], \"selected_pitch\": 37, \"selected_header\": 13, \"layer_origin\": 18, \"payload_origin\": 19, \"allocation_end\": 133}, \"expected\": {\"dims\": [[6, 3], [3, 2], [2, 1], [1, 1]], \"texel_counts\": [18, 6, 2, 1], \"layer_pitches\": [37, 13, 5, 3], \"level_spans\": [79, 31, 15, 11], \"level_offsets\": [0, 79, 110, 125], \"selected_pitch\": 37, \"selected_header\": 13, \"layer_origin\": 18, \"payload_origin\": 19, \"allocation_end\": 149}, \"passed\": false}, {\"check\": \"layout fixture 2\", \"actual\": {\"dims\": [[7, 4], [3, 2], [1, 1], [1, 1]], \"texel_counts\": [28, 6, 1, 1], \"layer_pitches\": [57, 13, 3, 3], \"level_spans\": [176, 44, 14, 14], \"level_offsets\": [0, 176, 220, 234], \"selected_pitch\": 13, \"selected_header\": 189, \"layer_origin\": 207, \"payload_origin\": 208, \"allocation_end\": 261}, \"expected\": {\"dims\": [[7, 4], [4, 2], [2, 1], [1, 1]], \"texel_counts\": [28, 8, 2, 1], \"layer_pitches\": [57, 17, 5, 3], \"level_spans\": [176, 56, 20, 14], \"level_offsets\": [0, 176, 232, 252], \"selected_pitch\": 17, \"selected_header\": 189, \"layer_origin\": 211, \"payload_origin\": 212, \"allocation_end\": 279}, \"passed\": false}, {\"check\": \"layout fixture 3\", \"actual\": {\"dims\": [[8, 5], [4, 2], [2, 1], [1, 1]], \"texel_counts\": [40, 8, 2, 1], \"layer_pitches\": [81, 17, 5, 3], \"level_spans\": [329, 73, 25, 17], \"level_offsets\": [0, 329, 402, 427], \"selected_pitch\": 5, \"selected_header\": 415, \"layer_origin\": 430, \"payload_origin\": 431, \"allocation_end\": 457}, \"expected\": {\"dims\": [[8, 5], [4, 3], [2, 2], [1, 1]], \"texel_counts\": [40, 12, 4, 1], \"layer_pitches\": [81, 25, 9, 3], \"level_spans\": [329, 105, 41, 17], \"level_offsets\": [0, 329, 434, 475], \"selected_pitch\": 9, \"selected_header\": 447, \"layer_origin\": 470, \"payload_origin\": 471, \"allocation_end\": 505}, \"passed\": false}, {\"check\": \"layout fixture 4\", \"actual\": {\"dims\": [[9, 6], [4, 3], [2, 1], [1, 1]], \"texel_counts\": [54, 12, 2, 1], \"layer_pitches\": [109, 25, 5, 3], \"level_spans\": [223, 55, 15, 11], \"level_offsets\": [0, 223, 278, 293], \"selected_pitch\": 3, \"selected_header\": 306, \"layer_origin\": 314, \"payload_origin\": 315, \"allocation_end\": 317}, \"expected\": {\"dims\": [[9, 6], [5, 3], [3, 2], [2, 1]], \"texel_counts\": [54, 15, 6, 2], \"layer_pitches\": [109, 31, 13, 5], \"level_spans\": [223, 67, 31, 15], \"level_offsets\": [0, 223, 290, 321], \"selected_pitch\": 5, \"selected_header\": 334, \"layer_origin\": 344, \"payload_origin\": 345, \"allocation_end\": 349}, \"passed\": false}, {\"check\": \"layout fixture 5\", \"actual\": {\"dims\": [[10, 7], [5, 3], [2, 1], [1, 1]], \"texel_counts\": [70, 15, 2, 1], \"layer_pitches\": [141, 31, 5, 3], \"level_spans\": [428, 98, 20, 14], \"level_offsets\": [0, 428, 526, 546], \"selected_pitch\": 141, \"selected_header\": 13, \"layer_origin\": 159, \"payload_origin\": 160, \"allocation_end\": 573}, \"expected\": {\"dims\": [[10, 7], [5, 4], [3, 2], [2, 1]], \"texel_counts\": [70, 20, 6, 2], \"layer_pitches\": [141, 41, 13, 5], \"level_spans\": [428, 128, 44, 20], \"level_offsets\": [0, 428, 556, 600], \"selected_pitch\": 141, \"selected_header\": 13, \"layer_origin\": 159, \"payload_origin\": 160, \"allocation_end\": 633}, \"passed\": false}, {\"check\": \"layout fixture 6\", \"actual\": {\"dims\": [[11, 8], [5, 4], [2, 2], [1, 1]], \"texel_counts\": [88, 20, 4, 1], \"layer_pitches\": [177, 41, 9, 3], \"level_spans\": [713, 169, 41, 17], \"level_offsets\": [0, 713, 882, 923], \"selected_pitch\": 41, \"selected_header\": 726, \"layer_origin\": 772, \"payload_origin\": 773, \"allocation_end\": 953}, \"expected\": {\"dims\": [[11, 8], [6, 4], [3, 2], [2, 1]], \"texel_counts\": [88, 24, 6, 2], \"layer_pitches\": [177, 49, 13, 5], \"level_spans\": [713, 201, 57, 25], \"level_offsets\": [0, 713, 914, 971], \"selected_pitch\": 49, \"selected_header\": 726, \"layer_origin\": 780, \"payload_origin\": 781, \"allocation_end\": 1009}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.177,"exit_code":0,"observations":[{"actual":{"allocation_end":149,"dims":[[6,3],[3,2],[2,1],[1,1]],"layer_origin":18,"layer_pitches":[37,13,5,3],"level_offsets":[0,79,110,125],"level_spans":[79,31,15,11],"payload_origin":19,"selected_header":13,"selected_pitch":37,"texel_counts":[18,6,2,1]},"check":"layout fixture 1","expected":{"allocation_end":149,"dims":[[6,3],[3,2],[2,1],[1,1]],"layer_origin":18,"layer_pitches":[37,13,5,3],"level_offsets":[0,79,110,125],"level_spans":[79,31,15,11],"payload_origin":19,"selected_header":13,"selected_pitch":37,"texel_counts":[18,6,2,1]},"passed":true},{"actual":{"allocation_end":279,"dims":[[7,4],[4,2],[2,1],[1,1]],"layer_origin":211,"layer_pitches":[57,17,5,3],"level_offsets":[0,176,232,252],"level_spans":[176,56,20,14],"payload_origin":212,"selected_header":189,"selected_pitch":17,"texel_counts":[28,8,2,1]},"check":"layout fixture 2","expected":{"allocation_end":279,"dims":[[7,4],[4,2],[2,1],[1,1]],"layer_origin":211,"layer_pitches":[57,17,5,3],"level_offsets":[0,176,232,252],"level_spans":[176,56,20,14],"payload_origin":212,"selected_header":189,"selected_pitch":17,"texel_counts":[28,8,2,1]},"passed":true},{"actual":{"allocation_end":505,"dims":[[8,5],[4,3],[2,2],[1,1]],"layer_origin":470,"layer_pitches":[81,25,9,3],"level_offsets":[0,329,434,475],"level_spans":[329,105,41,17],"payload_origin":471,"selected_header":447,"selected_pitch":9,"texel_counts":[40,12,4,1]},"check":"layout fixture 3","expected":{"allocation_end":505,"dims":[[8,5],[4,3],[2,2],[1,1]],"layer_origin":470,"layer_pitches":[81,25,9,3],"level_offsets":[0,329,434,475],"level_spans":[329,105,41,17],"payload_origin":471,"selected_header":447,"selected_pitch":9,"texel_counts":[40,12,4,1]},"passed":true},{"actual":{"allocation_end":349,"dims":[[9,6],[5,3],[3,2],[2,1]],"layer_origin":344,"layer_pitches":[109,31,13,5],"level_offsets":[0,223,290,321],"level_spans":[223,67,31,15],"payload_origin":345,"selected_header":334,"selected_pitch":5,"texel_counts":[54,15,6,2]},"check":"layout fixture 4","expected":{"allocation_end":349,"dims":[[9,6],[5,3],[3,2],[2,1]],"layer_origin":344,"layer_pitches":[109,31,13,5],"level_offsets":[0,223,290,321],"level_spans":[223,67,31,15],"payload_origin":345,"selected_header":334,"selected_pitch":5,"texel_counts":[54,15,6,2]},"passed":true},{"actual":{"allocation_end":633,"dims":[[10,7],[5,4],[3,2],[2,1]],"layer_origin":159,"layer_pitches":[141,41,13,5],"level_offsets":[0,428,556,600],"level_spans":[428,128,44,20],"payload_origin":160,"selected_header":13,"selected_pitch":141,"texel_counts":[70,20,6,2]},"check":"layout fixture 5","expected":{"allocation_end":633,"dims":[[10,7],[5,4],[3,2],[2,1]],"layer_origin":159,"layer_pitches":[141,41,13,5],"level_offsets":[0,428,556,600],"level_spans":[428,128,44,20],"payload_origin":160,"selected_header":13,"selected_pitch":141,"texel_counts":[70,20,6,2]},"passed":true},{"actual":{"allocation_end":1009,"dims":[[11,8],[6,4],[3,2],[2,1]],"layer_origin":780,"layer_pitches":[177,49,13,5],"level_offsets":[0,713,914,971],"level_spans":[713,201,57,25],"payload_origin":781,"selected_header":726,"selected_pitch":49,"texel_counts":[88,24,6,2]},"check":"layout fixture 6","expected":{"allocation_end":1009,"dims":[[11,8],[6,4],[3,2],[2,1]],"layer_origin":780,"layer_pitches":[177,49,13,5],"level_offsets":[0,713,914,971],"level_spans":[713,201,57,25],"payload_origin":781,"selected_header":726,"selected_pitch":49,"texel_counts":[88,24,6,2]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layout fixture 1\", \"actual\": {\"dims\": [[6, 3], [3, 2], [2, 1], [1, 1]], \"texel_counts\": [18, 6, 2, 1], \"layer_pitches\": [37, 13, 5, 3], \"level_spans\": [79, 31, 15, 11], \"level_offsets\": [0, 79, 110, 125], \"selected_pitch\": 37, \"selected_header\": 13, \"layer_origin\": 18, \"payload_origin\": 19, \"allocation_end\": 149}, \"expected\": {\"dims\": [[6, 3], [3, 2], [2, 1], [1, 1]], \"texel_counts\": [18, 6, 2, 1], \"layer_pitches\": [37, 13, 5, 3], \"level_spans\": [79, 31, 15, 11], \"level_offsets\": [0, 79, 110, 125], \"selected_pitch\": 37, \"selected_header\": 13, \"layer_origin\": 18, \"payload_origin\": 19, \"allocation_end\": 149}, \"passed\": true}, {\"check\": \"layout fixture 2\", \"actual\": {\"dims\": [[7, 4], [4, 2], [2, 1], [1, 1]], \"texel_counts\": [28, 8, 2, 1], \"layer_pitches\": [57, 17, 5, 3], \"level_spans\": [176, 56, 20, 14], \"level_offsets\": [0, 176, 232, 252], \"selected_pitch\": 17, \"selected_header\": 189, \"layer_origin\": 211, \"payload_origin\": 212, \"allocation_end\": 279}, \"expected\": {\"dims\": [[7, 4], [4, 2], [2, 1], [1, 1]], \"texel_counts\": [28, 8, 2, 1], \"layer_pitches\": [57, 17, 5, 3], \"level_spans\": [176, 56, 20, 14], \"level_offsets\": [0, 176, 232, 252], \"selected_pitch\": 17, \"selected_header\": 189, \"layer_origin\": 211, \"payload_origin\": 212, \"allocation_end\": 279}, \"passed\": true}, {\"check\": \"layout fixture 3\", \"actual\": {\"dims\": [[8, 5], [4, 3], [2, 2], [1, 1]], \"texel_counts\": [40, 12, 4, 1], \"layer_pitches\": [81, 25, 9, 3], \"level_spans\": [329, 105, 41, 17], \"level_offsets\": [0, 329, 434, 475], \"selected_pitch\": 9, \"selected_header\": 447, \"layer_origin\": 470, \"payload_origin\": 471, \"allocation_end\": 505}, \"expected\": {\"dims\": [[8, 5], [4, 3], [2, 2], [1, 1]], \"texel_counts\": [40, 12, 4, 1], \"layer_pitches\": [81, 25, 9, 3], \"level_spans\": [329, 105, 41, 17], \"level_offsets\": [0, 329, 434, 475], \"selected_pitch\": 9, \"selected_header\": 447, \"layer_origin\": 470, \"payload_origin\": 471, \"allocation_end\": 505}, \"passed\": true}, {\"check\": \"layout fixture 4\", \"actual\": {\"dims\": [[9, 6], [5, 3], [3, 2], [2, 1]], \"texel_counts\": [54, 15, 6, 2], \"layer_pitches\": [109, 31, 13, 5], \"level_spans\": [223, 67, 31, 15], \"level_offsets\": [0, 223, 290, 321], \"selected_pitch\": 5, \"selected_header\": 334, \"layer_origin\": 344, \"payload_origin\": 345, \"allocation_end\": 349}, \"expected\": {\"dims\": [[9, 6], [5, 3], [3, 2], [2, 1]], \"texel_counts\": [54, 15, 6, 2], \"layer_pitches\": [109, 31, 13, 5], \"level_spans\": [223, 67, 31, 15], \"level_offsets\": [0, 223, 290, 321], \"selected_pitch\": 5, \"selected_header\": 334, \"layer_origin\": 344, \"payload_origin\": 345, \"allocation_end\": 349}, \"passed\": true}, {\"check\": \"layout fixture 5\", \"actual\": {\"dims\": [[10, 7], [5, 4], [3, 2], [2, 1]], \"texel_counts\": [70, 20, 6, 2], \"layer_pitches\": [141, 41, 13, 5], \"level_spans\": [428, 128, 44, 20], \"level_offsets\": [0, 428, 556, 600], \"selected_pitch\": 141, \"selected_header\": 13, \"layer_origin\": 159, \"payload_origin\": 160, \"allocation_end\": 633}, \"expected\": {\"dims\": [[10, 7], [5, 4], [3, 2], [2, 1]], \"texel_counts\": [70, 20, 6, 2], \"layer_pitches\": [141, 41, 13, 5], \"level_spans\": [428, 128, 44, 20], \"level_offsets\": [0, 428, 556, 600], \"selected_pitch\": 141, \"selected_header\": 13, \"layer_origin\": 159, \"payload_origin\": 160, \"allocation_end\": 633}, \"passed\": true}, {\"check\": \"layout fixture 6\", \"actual\": {\"dims\": [[11, 8], [6, 4], [3, 2], [2, 1]], \"texel_counts\": [88, 24, 6, 2], \"layer_pitches\": [177, 49, 13, 5], \"level_spans\": [713, 201, 57, 25], \"level_offsets\": [0, 713, 914, 971], \"selected_pitch\": 49, \"selected_header\": 726, \"layer_origin\": 780, \"payload_origin\": 781, \"allocation_end\": 1009}, \"expected\": {\"dims\": [[11, 8], [6, 4], [3, 2], [2, 1]], \"texel_counts\": [88, 24, 6, 2], \"layer_pitches\": [177, 49, 13, 5], \"level_spans\": [713, 201, 57, 25], \"level_offsets\": [0, 713, 914, 971], \"selected_pitch\": 49, \"selected_header\": 726, \"layer_origin\": 780, \"payload_origin\": 781, \"allocation_end\": 1009}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}