{"abstract":"The returned physical layout descriptor disagrees with the declared buffer mapping at texel_counts.","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.","contract_signature":"p","evaluation_group":"s3-raster-memory-layout-mip-major-array","failed_approach":"The attempted repair uses [w*w for w,h in dims] and still violates the layout contract.","family":"s3-raster-memory-layout-mip-major-array-texel-counts","id":"FA-52096","implementations":{"attempt":{"sha256":"8d5809228d1f32644d2a05fbcd9cc542e47bd108cfb486463c02c166d74970d3","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*w 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":"3bad8204433dbcead18ca06d8fc0b4418fda58b26a02f5ba5835d167c2b1b971","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-texel-counts","generated_at":"2026-09-29T14:45:25.934013+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.","root_cause":"Rectangular array mip area uses sum or square The faulty expression is [w+h for w,h in dims].","sha256":"88e8bdd4cd2b2736b04af1061f9ce3604620d5dd0a4870722697a6e4cf1c8f22","title":"Mip Major Array: Rectangular array mip area uses sum or square · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":42.545,"exit_code":1,"observations":[{"actual":{"allocation_end":241,"dims":[[6,3],[3,2],[2,1],[1,1]],"layer_origin":18,"layer_pitches":[73,19,9,3],"level_offsets":[0,151,194,217],"level_spans":[151,43,23,11],"payload_origin":19,"selected_header":13,"selected_pitch":73,"texel_counts":[36,9,4,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":465,"dims":[[7,4],[4,2],[2,1],[1,1]],"layer_origin":353,"layer_pitches":[99,33,9,3],"level_offsets":[0,302,406,438],"level_spans":[302,104,32,14],"payload_origin":354,"selected_header":315,"selected_pitch":33,"texel_counts":[49,16,4,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":729,"dims":[[8,5],[4,3],[2,2],[1,1]],"layer_origin":694,"layer_pitches":[129,33,9,3],"level_offsets":[0,521,658,699],"level_spans":[521,137,41,17],"payload_origin":695,"selected_header":671,"selected_pitch":9,"texel_counts":[64,16,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":false},{"actual":{"allocation_end":517,"dims":[[9,6],[5,3],[3,2],[2,1]],"layer_origin":508,"layer_pitches":[163,51,19,9],"level_offsets":[0,331,438,481],"level_spans":[331,107,43,23],"payload_origin":509,"selected_header":494,"selected_pitch":9,"texel_counts":[81,25,9,4]},"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":873,"dims":[[10,7],[5,4],[3,2],[2,1]],"layer_origin":219,"layer_pitches":[201,51,19,9],"level_offsets":[0,608,766,828],"level_spans":[608,158,62,32],"payload_origin":220,"selected_header":13,"selected_pitch":201,"texel_counts":[100,25,9,4]},"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":1409,"dims":[[11,8],[6,4],[3,2],[2,1]],"layer_origin":1068,"layer_pitches":[243,73,19,9],"level_offsets":[0,977,1274,1355],"level_spans":[977,297,81,41],"payload_origin":1069,"selected_header":990,"selected_pitch":73,"texel_counts":[121,36,9,4]},"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, 2], [2, 1], [1, 1]], \"texel_counts\": [36, 9, 4, 1], \"layer_pitches\": [73, 19, 9, 3], \"level_spans\": [151, 43, 23, 11], \"level_offsets\": [0, 151, 194, 217], \"selected_pitch\": 73, \"selected_header\": 13, \"layer_origin\": 18, \"payload_origin\": 19, \"allocation_end\": 241}, \"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], [4, 2], [2, 1], [1, 1]], \"texel_counts\": [49, 16, 4, 1], \"layer_pitches\": [99, 33, 9, 3], \"level_spans\": [302, 104, 32, 14], \"level_offsets\": [0, 302, 406, 438], \"selected_pitch\": 33, \"selected_header\": 315, \"layer_origin\": 353, \"payload_origin\": 354, \"allocation_end\": 465}, \"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, 3], [2, 2], [1, 1]], \"texel_counts\": [64, 16, 4, 1], \"layer_pitches\": [129, 33, 9, 3], \"level_spans\": [521, 137, 41, 17], \"level_offsets\": [0, 521, 658, 699], \"selected_pitch\": 9, \"selected_header\": 671, \"layer_origin\": 694, \"payload_origin\": 695, \"allocation_end\": 729}, \"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], [5, 3], [3, 2], [2, 1]], \"texel_counts\": [81, 25, 9, 4], \"layer_pitches\": [163, 51, 19, 9], \"level_spans\": [331, 107, 43, 23], \"level_offsets\": [0, 331, 438, 481], \"selected_pitch\": 9, \"selected_header\": 494, \"layer_origin\": 508, \"payload_origin\": 509, \"allocation_end\": 517}, \"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, 4], [3, 2], [2, 1]], \"texel_counts\": [100, 25, 9, 4], \"layer_pitches\": [201, 51, 19, 9], \"level_spans\": [608, 158, 62, 32], \"level_offsets\": [0, 608, 766, 828], \"selected_pitch\": 201, \"selected_header\": 13, \"layer_origin\": 219, \"payload_origin\": 220, \"allocation_end\": 873}, \"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], [6, 4], [3, 2], [2, 1]], \"texel_counts\": [121, 36, 9, 4], \"layer_pitches\": [243, 73, 19, 9], \"level_spans\": [977, 297, 81, 41], \"level_offsets\": [0, 977, 1274, 1355], \"selected_pitch\": 73, \"selected_header\": 990, \"layer_origin\": 1068, \"payload_origin\": 1069, \"allocation_end\": 1409}, \"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":40.692,"exit_code":1,"observations":[{"actual":{"allocation_end":117,"dims":[[6,3],[3,2],[2,1],[1,1]],"layer_origin":18,"layer_pitches":[19,11,7,5],"level_offsets":[0,43,70,89],"level_spans":[43,27,19,15],"payload_origin":19,"selected_header":13,"selected_pitch":19,"texel_counts":[9,5,3,2]},"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":177,"dims":[[7,4],[4,2],[2,1],[1,1]],"layer_origin":105,"layer_pitches":[23,13,7,5],"level_offsets":[0,74,118,144],"level_spans":[74,44,26,20],"payload_origin":106,"selected_header":87,"selected_pitch":13,"texel_counts":[11,6,3,2]},"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":257,"dims":[[8,5],[4,3],[2,2],[1,1]],"layer_origin":214,"layer_pitches":[27,15,9,5],"level_offsets":[0,113,178,219],"level_spans":[113,65,41,25],"payload_origin":215,"selected_header":191,"selected_pitch":9,"texel_counts":[13,7,4,2]},"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":165,"dims":[[9,6],[5,3],[3,2],[2,1]],"layer_origin":158,"layer_pitches":[31,17,11,7],"level_offsets":[0,67,106,133],"level_spans":[67,39,27,19],"payload_origin":159,"selected_header":146,"selected_pitch":7,"texel_counts":[15,8,5,3]},"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":249,"dims":[[10,7],[5,4],[3,2],[2,1]],"layer_origin":53,"layer_pitches":[35,19,11,7],"level_offsets":[0,110,172,210],"level_spans":[110,62,38,26],"payload_origin":54,"selected_header":13,"selected_pitch":35,"texel_counts":[17,9,5,3]},"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":345,"dims":[[11,8],[6,4],[3,2],[2,1]],"layer_origin":200,"layer_pitches":[39,21,11,7],"level_offsets":[0,161,250,299],"level_spans":[161,89,49,33],"payload_origin":201,"selected_header":174,"selected_pitch":21,"texel_counts":[19,10,5,3]},"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, 2], [2, 1], [1, 1]], \"texel_counts\": [9, 5, 3, 2], \"layer_pitches\": [19, 11, 7, 5], \"level_spans\": [43, 27, 19, 15], \"level_offsets\": [0, 43, 70, 89], \"selected_pitch\": 19, \"selected_header\": 13, \"layer_origin\": 18, \"payload_origin\": 19, \"allocation_end\": 117}, \"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], [4, 2], [2, 1], [1, 1]], \"texel_counts\": [11, 6, 3, 2], \"layer_pitches\": [23, 13, 7, 5], \"level_spans\": [74, 44, 26, 20], \"level_offsets\": [0, 74, 118, 144], \"selected_pitch\": 13, \"selected_header\": 87, \"layer_origin\": 105, \"payload_origin\": 106, \"allocation_end\": 177}, \"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, 3], [2, 2], [1, 1]], \"texel_counts\": [13, 7, 4, 2], \"layer_pitches\": [27, 15, 9, 5], \"level_spans\": [113, 65, 41, 25], \"level_offsets\": [0, 113, 178, 219], \"selected_pitch\": 9, \"selected_header\": 191, \"layer_origin\": 214, \"payload_origin\": 215, \"allocation_end\": 257}, \"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], [5, 3], [3, 2], [2, 1]], \"texel_counts\": [15, 8, 5, 3], \"layer_pitches\": [31, 17, 11, 7], \"level_spans\": [67, 39, 27, 19], \"level_offsets\": [0, 67, 106, 133], \"selected_pitch\": 7, \"selected_header\": 146, \"layer_origin\": 158, \"payload_origin\": 159, \"allocation_end\": 165}, \"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, 4], [3, 2], [2, 1]], \"texel_counts\": [17, 9, 5, 3], \"layer_pitches\": [35, 19, 11, 7], \"level_spans\": [110, 62, 38, 26], \"level_offsets\": [0, 110, 172, 210], \"selected_pitch\": 35, \"selected_header\": 13, \"layer_origin\": 53, \"payload_origin\": 54, \"allocation_end\": 249}, \"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], [6, 4], [3, 2], [2, 1]], \"texel_counts\": [19, 10, 5, 3], \"layer_pitches\": [39, 21, 11, 7], \"level_spans\": [161, 89, 49, 33], \"level_offsets\": [0, 161, 250, 299], \"selected_pitch\": 21, \"selected_header\": 174, \"layer_origin\": 200, \"payload_origin\": 201, \"allocation_end\": 345}, \"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"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}