{"abstract":"The returned physical layout descriptor disagrees with the declared buffer mapping at tail_map.","category":"Raster memory layout","checks":6,"contract":"Mip levels below a threshold share one fixed-size tail page. Larger levels each own whole pages. Tail levels are packed in reverse level order, each with a two-byte tag; tail capacity is caller-provided and sufficient. 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-small-mip-tail-packing","failed_approach":"The attempted repair uses {level:tail_origin+sum(tail_spans[:j+1])+2 for j,level in enumerate(tail_levels)} and still violates the layout contract.","family":"s3-raster-memory-layout-small-mip-tail-packing-tail-map","id":"FA-52716","implementations":{"attempt":{"sha256":"36ef4e83ebdc44db084571128b967041ba0c83b8f87e2c4598e501cb30910471","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(p):\n    p = dict(p)\n    tail_first = next(i for i,s in enumerate(p[\"sizes\"]) if s<p[\"threshold\"])\n    large_pages = [(s+63)//64 for s in p[\"sizes\"][:tail_first]]\n    tail_levels = list(range(len(p[\"sizes\"])-1,tail_first-1,-1))\n    tail_origin = p[\"base\"]+sum(large_pages)*64\n    tail_spans = [p[\"sizes\"][i]+2 for i in tail_levels]\n    tail_map = {level:tail_origin+sum(tail_spans[:j+1])+2 for j,level in enumerate(tail_levels)}\n    large_map = {i:p[\"base\"]+sum(large_pages[:i])*64 for i in range(tail_first)}\n    selected = dict(large_map,**{}).get(p[\"level\"],tail_map.get(p[\"level\"],-1))\n    tail_used = sum(tail_spans)\n    allocation_end = tail_origin+p[\"tail_capacity\"]\n    return {'tail_first': tail_first, 'large_pages': large_pages, 'tail_levels': tail_levels, 'tail_origin': tail_origin, 'tail_spans': tail_spans, 'tail_map': tail_map, 'large_map': large_map, 'selected': selected, 'tail_used': tail_used, 'allocation_end': allocation_end}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [({'sizes': [121, 61, 17, 5, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 7, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 199, 'tail_spans': [3, 7, 19], 'tail_map': {4: 201, 3: 204, 2: 211}, 'large_map': {0: 7, 1: 135}, 'selected': 7, 'tail_used': 29, 'allocation_end': 327}), ({'sizes': [122, 62, 18, 6, 1], 'threshold': 32, 'page': 64, 'level': 1, 'base': 7, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 199, 'tail_spans': [3, 8, 20], 'tail_map': {4: 201, 3: 204, 2: 212}, 'large_map': {0: 7, 1: 135}, 'selected': 135, 'tail_used': 31, 'allocation_end': 327}), ({'sizes': [123, 63, 19, 7, 1], 'threshold': 32, 'page': 64, 'level': 2, 'base': 7, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 199, 'tail_spans': [3, 9, 21], 'tail_map': {4: 201, 3: 204, 2: 213}, 'large_map': {0: 7, 1: 135}, 'selected': 213, 'tail_used': 33, 'allocation_end': 327}), ({'sizes': [124, 64, 20, 8, 1], 'threshold': 32, 'page': 64, 'level': 3, 'base': 7, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 199, 'tail_spans': [3, 10, 22], 'tail_map': {4: 201, 3: 204, 2: 214}, 'large_map': {0: 7, 1: 135}, 'selected': 204, 'tail_used': 35, 'allocation_end': 327}), ({'sizes': [125, 65, 21, 9, 1], 'threshold': 32, 'page': 64, 'level': 4, 'base': 7, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 263, 'tail_spans': [3, 11, 23], 'tail_map': {4: 265, 3: 268, 2: 279}, 'large_map': {0: 7, 1: 135}, 'selected': 265, 'tail_used': 37, 'allocation_end': 391}), ({'sizes': [126, 66, 22, 10, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 7, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 263, 'tail_spans': [3, 12, 24], 'tail_map': {4: 265, 3: 268, 2: 280}, 'large_map': {0: 7, 1: 135}, 'selected': 7, 'tail_used': 39, 'allocation_end': 391})], 2: [({'sizes': [122, 61, 17, 5, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 14, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 206, 'tail_spans': [3, 7, 19], 'tail_map': {4: 208, 3: 211, 2: 218}, 'large_map': {0: 14, 1: 142}, 'selected': 14, 'tail_used': 29, 'allocation_end': 334}), ({'sizes': [123, 62, 18, 6, 1], 'threshold': 32, 'page': 64, 'level': 1, 'base': 14, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 206, 'tail_spans': [3, 8, 20], 'tail_map': {4: 208, 3: 211, 2: 219}, 'large_map': {0: 14, 1: 142}, 'selected': 142, 'tail_used': 31, 'allocation_end': 334}), ({'sizes': [124, 63, 19, 7, 1], 'threshold': 32, 'page': 64, 'level': 2, 'base': 14, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 206, 'tail_spans': [3, 9, 21], 'tail_map': {4: 208, 3: 211, 2: 220}, 'large_map': {0: 14, 1: 142}, 'selected': 220, 'tail_used': 33, 'allocation_end': 334}), ({'sizes': [125, 64, 20, 8, 1], 'threshold': 32, 'page': 64, 'level': 3, 'base': 14, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 206, 'tail_spans': [3, 10, 22], 'tail_map': {4: 208, 3: 211, 2: 221}, 'large_map': {0: 14, 1: 142}, 'selected': 211, 'tail_used': 35, 'allocation_end': 334}), ({'sizes': [126, 65, 21, 9, 1], 'threshold': 32, 'page': 64, 'level': 4, 'base': 14, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 270, 'tail_spans': [3, 11, 23], 'tail_map': {4: 272, 3: 275, 2: 286}, 'large_map': {0: 14, 1: 142}, 'selected': 272, 'tail_used': 37, 'allocation_end': 398}), ({'sizes': [127, 66, 22, 10, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 14, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 270, 'tail_spans': [3, 12, 24], 'tail_map': {4: 272, 3: 275, 2: 287}, 'large_map': {0: 14, 1: 142}, 'selected': 14, 'tail_used': 39, 'allocation_end': 398})], 3: [({'sizes': [123, 61, 17, 5, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 21, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 213, 'tail_spans': [3, 7, 19], 'tail_map': {4: 215, 3: 218, 2: 225}, 'large_map': {0: 21, 1: 149}, 'selected': 21, 'tail_used': 29, 'allocation_end': 341}), ({'sizes': [124, 62, 18, 6, 1], 'threshold': 32, 'page': 64, 'level': 1, 'base': 21, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 213, 'tail_spans': [3, 8, 20], 'tail_map': {4: 215, 3: 218, 2: 226}, 'large_map': {0: 21, 1: 149}, 'selected': 149, 'tail_used': 31, 'allocation_end': 341}), ({'sizes': [125, 63, 19, 7, 1], 'threshold': 32, 'page': 64, 'level': 2, 'base': 21, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 213, 'tail_spans': [3, 9, 21], 'tail_map': {4: 215, 3: 218, 2: 227}, 'large_map': {0: 21, 1: 149}, 'selected': 227, 'tail_used': 33, 'allocation_end': 341}), ({'sizes': [126, 64, 20, 8, 1], 'threshold': 32, 'page': 64, 'level': 3, 'base': 21, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 213, 'tail_spans': [3, 10, 22], 'tail_map': {4: 215, 3: 218, 2: 228}, 'large_map': {0: 21, 1: 149}, 'selected': 218, 'tail_used': 35, 'allocation_end': 341}), ({'sizes': [127, 65, 21, 9, 1], 'threshold': 32, 'page': 64, 'level': 4, 'base': 21, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 277, 'tail_spans': [3, 11, 23], 'tail_map': {4: 279, 3: 282, 2: 293}, 'large_map': {0: 21, 1: 149}, 'selected': 279, 'tail_used': 37, 'allocation_end': 405}), ({'sizes': [128, 66, 22, 10, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 21, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 277, 'tail_spans': [3, 12, 24], 'tail_map': {4: 279, 3: 282, 2: 294}, 'large_map': {0: 21, 1: 149}, 'selected': 21, 'tail_used': 39, 'allocation_end': 405})], 4: [({'sizes': [124, 61, 17, 5, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 28, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 220, 'tail_spans': [3, 7, 19], 'tail_map': {4: 222, 3: 225, 2: 232}, 'large_map': {0: 28, 1: 156}, 'selected': 28, 'tail_used': 29, 'allocation_end': 348}), ({'sizes': [125, 62, 18, 6, 1], 'threshold': 32, 'page': 64, 'level': 1, 'base': 28, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 220, 'tail_spans': [3, 8, 20], 'tail_map': {4: 222, 3: 225, 2: 233}, 'large_map': {0: 28, 1: 156}, 'selected': 156, 'tail_used': 31, 'allocation_end': 348}), ({'sizes': [126, 63, 19, 7, 1], 'threshold': 32, 'page': 64, 'level': 2, 'base': 28, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 220, 'tail_spans': [3, 9, 21], 'tail_map': {4: 222, 3: 225, 2: 234}, 'large_map': {0: 28, 1: 156}, 'selected': 234, 'tail_used': 33, 'allocation_end': 348}), ({'sizes': [127, 64, 20, 8, 1], 'threshold': 32, 'page': 64, 'level': 3, 'base': 28, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 220, 'tail_spans': [3, 10, 22], 'tail_map': {4: 222, 3: 225, 2: 235}, 'large_map': {0: 28, 1: 156}, 'selected': 225, 'tail_used': 35, 'allocation_end': 348}), ({'sizes': [128, 65, 21, 9, 1], 'threshold': 32, 'page': 64, 'level': 4, 'base': 28, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 284, 'tail_spans': [3, 11, 23], 'tail_map': {4: 286, 3: 289, 2: 300}, 'large_map': {0: 28, 1: 156}, 'selected': 286, 'tail_used': 37, 'allocation_end': 412}), ({'sizes': [129, 66, 22, 10, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 28, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [3, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 348, 'tail_spans': [3, 12, 24], 'tail_map': {4: 350, 3: 353, 2: 365}, 'large_map': {0: 28, 1: 220}, 'selected': 28, 'tail_used': 39, 'allocation_end': 476})], 5: [({'sizes': [125, 61, 17, 5, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 35, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 227, 'tail_spans': [3, 7, 19], 'tail_map': {4: 229, 3: 232, 2: 239}, 'large_map': {0: 35, 1: 163}, 'selected': 35, 'tail_used': 29, 'allocation_end': 355}), ({'sizes': [126, 62, 18, 6, 1], 'threshold': 32, 'page': 64, 'level': 1, 'base': 35, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 227, 'tail_spans': [3, 8, 20], 'tail_map': {4: 229, 3: 232, 2: 240}, 'large_map': {0: 35, 1: 163}, 'selected': 163, 'tail_used': 31, 'allocation_end': 355}), ({'sizes': [127, 63, 19, 7, 1], 'threshold': 32, 'page': 64, 'level': 2, 'base': 35, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 227, 'tail_spans': [3, 9, 21], 'tail_map': {4: 229, 3: 232, 2: 241}, 'large_map': {0: 35, 1: 163}, 'selected': 241, 'tail_used': 33, 'allocation_end': 355}), ({'sizes': [128, 64, 20, 8, 1], 'threshold': 32, 'page': 64, 'level': 3, 'base': 35, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 227, 'tail_spans': [3, 10, 22], 'tail_map': {4: 229, 3: 232, 2: 242}, 'large_map': {0: 35, 1: 163}, 'selected': 232, 'tail_used': 35, 'allocation_end': 355}), ({'sizes': [129, 65, 21, 9, 1], 'threshold': 32, 'page': 64, 'level': 4, 'base': 35, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [3, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 355, 'tail_spans': [3, 11, 23], 'tail_map': {4: 357, 3: 360, 2: 371}, 'large_map': {0: 35, 1: 227}, 'selected': 357, 'tail_used': 37, 'allocation_end': 483}), ({'sizes': [130, 66, 22, 10, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 35, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [3, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 355, 'tail_spans': [3, 12, 24], 'tail_map': {4: 357, 3: 360, 2: 372}, 'large_map': {0: 35, 1: 227}, 'selected': 35, 'tail_used': 39, 'allocation_end': 483})]}\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":"0bcdee7598faa9c8014860a6c9c874989e1d37f76b3ba0c2e35efb9e91657452","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(p):\n    p = dict(p)\n    tail_first = next(i for i,s in enumerate(p[\"sizes\"]) if s<p[\"threshold\"])\n    large_pages = [(s+63)//64 for s in p[\"sizes\"][:tail_first]]\n    tail_levels = list(range(len(p[\"sizes\"])-1,tail_first-1,-1))\n    tail_origin = p[\"base\"]+sum(large_pages)*64\n    tail_spans = [p[\"sizes\"][i]+2 for i in tail_levels]\n    tail_map = {level:tail_origin+sum(tail_spans[:j]) for j,level in enumerate(tail_levels)}\n    large_map = {i:p[\"base\"]+sum(large_pages[:i])*64 for i in range(tail_first)}\n    selected = dict(large_map,**{}).get(p[\"level\"],tail_map.get(p[\"level\"],-1))\n    tail_used = sum(tail_spans)\n    allocation_end = tail_origin+p[\"tail_capacity\"]\n    return {'tail_first': tail_first, 'large_pages': large_pages, 'tail_levels': tail_levels, 'tail_origin': tail_origin, 'tail_spans': tail_spans, 'tail_map': tail_map, 'large_map': large_map, 'selected': selected, 'tail_used': tail_used, 'allocation_end': allocation_end}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [({'sizes': [121, 61, 17, 5, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 7, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 199, 'tail_spans': [3, 7, 19], 'tail_map': {4: 201, 3: 204, 2: 211}, 'large_map': {0: 7, 1: 135}, 'selected': 7, 'tail_used': 29, 'allocation_end': 327}), ({'sizes': [122, 62, 18, 6, 1], 'threshold': 32, 'page': 64, 'level': 1, 'base': 7, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 199, 'tail_spans': [3, 8, 20], 'tail_map': {4: 201, 3: 204, 2: 212}, 'large_map': {0: 7, 1: 135}, 'selected': 135, 'tail_used': 31, 'allocation_end': 327}), ({'sizes': [123, 63, 19, 7, 1], 'threshold': 32, 'page': 64, 'level': 2, 'base': 7, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 199, 'tail_spans': [3, 9, 21], 'tail_map': {4: 201, 3: 204, 2: 213}, 'large_map': {0: 7, 1: 135}, 'selected': 213, 'tail_used': 33, 'allocation_end': 327}), ({'sizes': [124, 64, 20, 8, 1], 'threshold': 32, 'page': 64, 'level': 3, 'base': 7, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 199, 'tail_spans': [3, 10, 22], 'tail_map': {4: 201, 3: 204, 2: 214}, 'large_map': {0: 7, 1: 135}, 'selected': 204, 'tail_used': 35, 'allocation_end': 327}), ({'sizes': [125, 65, 21, 9, 1], 'threshold': 32, 'page': 64, 'level': 4, 'base': 7, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 263, 'tail_spans': [3, 11, 23], 'tail_map': {4: 265, 3: 268, 2: 279}, 'large_map': {0: 7, 1: 135}, 'selected': 265, 'tail_used': 37, 'allocation_end': 391}), ({'sizes': [126, 66, 22, 10, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 7, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 263, 'tail_spans': [3, 12, 24], 'tail_map': {4: 265, 3: 268, 2: 280}, 'large_map': {0: 7, 1: 135}, 'selected': 7, 'tail_used': 39, 'allocation_end': 391})], 2: [({'sizes': [122, 61, 17, 5, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 14, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 206, 'tail_spans': [3, 7, 19], 'tail_map': {4: 208, 3: 211, 2: 218}, 'large_map': {0: 14, 1: 142}, 'selected': 14, 'tail_used': 29, 'allocation_end': 334}), ({'sizes': [123, 62, 18, 6, 1], 'threshold': 32, 'page': 64, 'level': 1, 'base': 14, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 206, 'tail_spans': [3, 8, 20], 'tail_map': {4: 208, 3: 211, 2: 219}, 'large_map': {0: 14, 1: 142}, 'selected': 142, 'tail_used': 31, 'allocation_end': 334}), ({'sizes': [124, 63, 19, 7, 1], 'threshold': 32, 'page': 64, 'level': 2, 'base': 14, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 206, 'tail_spans': [3, 9, 21], 'tail_map': {4: 208, 3: 211, 2: 220}, 'large_map': {0: 14, 1: 142}, 'selected': 220, 'tail_used': 33, 'allocation_end': 334}), ({'sizes': [125, 64, 20, 8, 1], 'threshold': 32, 'page': 64, 'level': 3, 'base': 14, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 206, 'tail_spans': [3, 10, 22], 'tail_map': {4: 208, 3: 211, 2: 221}, 'large_map': {0: 14, 1: 142}, 'selected': 211, 'tail_used': 35, 'allocation_end': 334}), ({'sizes': [126, 65, 21, 9, 1], 'threshold': 32, 'page': 64, 'level': 4, 'base': 14, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 270, 'tail_spans': [3, 11, 23], 'tail_map': {4: 272, 3: 275, 2: 286}, 'large_map': {0: 14, 1: 142}, 'selected': 272, 'tail_used': 37, 'allocation_end': 398}), ({'sizes': [127, 66, 22, 10, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 14, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 270, 'tail_spans': [3, 12, 24], 'tail_map': {4: 272, 3: 275, 2: 287}, 'large_map': {0: 14, 1: 142}, 'selected': 14, 'tail_used': 39, 'allocation_end': 398})], 3: [({'sizes': [123, 61, 17, 5, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 21, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 213, 'tail_spans': [3, 7, 19], 'tail_map': {4: 215, 3: 218, 2: 225}, 'large_map': {0: 21, 1: 149}, 'selected': 21, 'tail_used': 29, 'allocation_end': 341}), ({'sizes': [124, 62, 18, 6, 1], 'threshold': 32, 'page': 64, 'level': 1, 'base': 21, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 213, 'tail_spans': [3, 8, 20], 'tail_map': {4: 215, 3: 218, 2: 226}, 'large_map': {0: 21, 1: 149}, 'selected': 149, 'tail_used': 31, 'allocation_end': 341}), ({'sizes': [125, 63, 19, 7, 1], 'threshold': 32, 'page': 64, 'level': 2, 'base': 21, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 213, 'tail_spans': [3, 9, 21], 'tail_map': {4: 215, 3: 218, 2: 227}, 'large_map': {0: 21, 1: 149}, 'selected': 227, 'tail_used': 33, 'allocation_end': 341}), ({'sizes': [126, 64, 20, 8, 1], 'threshold': 32, 'page': 64, 'level': 3, 'base': 21, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 213, 'tail_spans': [3, 10, 22], 'tail_map': {4: 215, 3: 218, 2: 228}, 'large_map': {0: 21, 1: 149}, 'selected': 218, 'tail_used': 35, 'allocation_end': 341}), ({'sizes': [127, 65, 21, 9, 1], 'threshold': 32, 'page': 64, 'level': 4, 'base': 21, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 277, 'tail_spans': [3, 11, 23], 'tail_map': {4: 279, 3: 282, 2: 293}, 'large_map': {0: 21, 1: 149}, 'selected': 279, 'tail_used': 37, 'allocation_end': 405}), ({'sizes': [128, 66, 22, 10, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 21, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 277, 'tail_spans': [3, 12, 24], 'tail_map': {4: 279, 3: 282, 2: 294}, 'large_map': {0: 21, 1: 149}, 'selected': 21, 'tail_used': 39, 'allocation_end': 405})], 4: [({'sizes': [124, 61, 17, 5, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 28, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 220, 'tail_spans': [3, 7, 19], 'tail_map': {4: 222, 3: 225, 2: 232}, 'large_map': {0: 28, 1: 156}, 'selected': 28, 'tail_used': 29, 'allocation_end': 348}), ({'sizes': [125, 62, 18, 6, 1], 'threshold': 32, 'page': 64, 'level': 1, 'base': 28, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 220, 'tail_spans': [3, 8, 20], 'tail_map': {4: 222, 3: 225, 2: 233}, 'large_map': {0: 28, 1: 156}, 'selected': 156, 'tail_used': 31, 'allocation_end': 348}), ({'sizes': [126, 63, 19, 7, 1], 'threshold': 32, 'page': 64, 'level': 2, 'base': 28, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 220, 'tail_spans': [3, 9, 21], 'tail_map': {4: 222, 3: 225, 2: 234}, 'large_map': {0: 28, 1: 156}, 'selected': 234, 'tail_used': 33, 'allocation_end': 348}), ({'sizes': [127, 64, 20, 8, 1], 'threshold': 32, 'page': 64, 'level': 3, 'base': 28, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 220, 'tail_spans': [3, 10, 22], 'tail_map': {4: 222, 3: 225, 2: 235}, 'large_map': {0: 28, 1: 156}, 'selected': 225, 'tail_used': 35, 'allocation_end': 348}), ({'sizes': [128, 65, 21, 9, 1], 'threshold': 32, 'page': 64, 'level': 4, 'base': 28, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 284, 'tail_spans': [3, 11, 23], 'tail_map': {4: 286, 3: 289, 2: 300}, 'large_map': {0: 28, 1: 156}, 'selected': 286, 'tail_used': 37, 'allocation_end': 412}), ({'sizes': [129, 66, 22, 10, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 28, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [3, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 348, 'tail_spans': [3, 12, 24], 'tail_map': {4: 350, 3: 353, 2: 365}, 'large_map': {0: 28, 1: 220}, 'selected': 28, 'tail_used': 39, 'allocation_end': 476})], 5: [({'sizes': [125, 61, 17, 5, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 35, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 227, 'tail_spans': [3, 7, 19], 'tail_map': {4: 229, 3: 232, 2: 239}, 'large_map': {0: 35, 1: 163}, 'selected': 35, 'tail_used': 29, 'allocation_end': 355}), ({'sizes': [126, 62, 18, 6, 1], 'threshold': 32, 'page': 64, 'level': 1, 'base': 35, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 227, 'tail_spans': [3, 8, 20], 'tail_map': {4: 229, 3: 232, 2: 240}, 'large_map': {0: 35, 1: 163}, 'selected': 163, 'tail_used': 31, 'allocation_end': 355}), ({'sizes': [127, 63, 19, 7, 1], 'threshold': 32, 'page': 64, 'level': 2, 'base': 35, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 227, 'tail_spans': [3, 9, 21], 'tail_map': {4: 229, 3: 232, 2: 241}, 'large_map': {0: 35, 1: 163}, 'selected': 241, 'tail_used': 33, 'allocation_end': 355}), ({'sizes': [128, 64, 20, 8, 1], 'threshold': 32, 'page': 64, 'level': 3, 'base': 35, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 227, 'tail_spans': [3, 10, 22], 'tail_map': {4: 229, 3: 232, 2: 242}, 'large_map': {0: 35, 1: 163}, 'selected': 232, 'tail_used': 35, 'allocation_end': 355}), ({'sizes': [129, 65, 21, 9, 1], 'threshold': 32, 'page': 64, 'level': 4, 'base': 35, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [3, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 355, 'tail_spans': [3, 11, 23], 'tail_map': {4: 357, 3: 360, 2: 371}, 'large_map': {0: 35, 1: 227}, 'selected': 357, 'tail_used': 37, 'allocation_end': 483}), ({'sizes': [130, 66, 22, 10, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 35, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [3, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 355, 'tail_spans': [3, 12, 24], 'tail_map': {4: 357, 3: 360, 2: 372}, 'large_map': {0: 35, 1: 227}, 'selected': 35, 'tail_used': 39, 'allocation_end': 483})]}\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":"d46c75c87e5248cb41d37223b6126e391807ef83f1c04a3178c0cd3f9ca9d8b8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(p):\n    p = dict(p)\n    tail_first = next(i for i,s in enumerate(p[\"sizes\"]) if s<p[\"threshold\"])\n    large_pages = [(s+63)//64 for s in p[\"sizes\"][:tail_first]]\n    tail_levels = list(range(len(p[\"sizes\"])-1,tail_first-1,-1))\n    tail_origin = p[\"base\"]+sum(large_pages)*64\n    tail_spans = [p[\"sizes\"][i]+2 for i in tail_levels]\n    tail_map = {level:tail_origin+sum(tail_spans[:j])+2 for j,level in enumerate(tail_levels)}\n    large_map = {i:p[\"base\"]+sum(large_pages[:i])*64 for i in range(tail_first)}\n    selected = dict(large_map,**{}).get(p[\"level\"],tail_map.get(p[\"level\"],-1))\n    tail_used = sum(tail_spans)\n    allocation_end = tail_origin+p[\"tail_capacity\"]\n    return {'tail_first': tail_first, 'large_pages': large_pages, 'tail_levels': tail_levels, 'tail_origin': tail_origin, 'tail_spans': tail_spans, 'tail_map': tail_map, 'large_map': large_map, 'selected': selected, 'tail_used': tail_used, 'allocation_end': allocation_end}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [({'sizes': [121, 61, 17, 5, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 7, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 199, 'tail_spans': [3, 7, 19], 'tail_map': {4: 201, 3: 204, 2: 211}, 'large_map': {0: 7, 1: 135}, 'selected': 7, 'tail_used': 29, 'allocation_end': 327}), ({'sizes': [122, 62, 18, 6, 1], 'threshold': 32, 'page': 64, 'level': 1, 'base': 7, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 199, 'tail_spans': [3, 8, 20], 'tail_map': {4: 201, 3: 204, 2: 212}, 'large_map': {0: 7, 1: 135}, 'selected': 135, 'tail_used': 31, 'allocation_end': 327}), ({'sizes': [123, 63, 19, 7, 1], 'threshold': 32, 'page': 64, 'level': 2, 'base': 7, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 199, 'tail_spans': [3, 9, 21], 'tail_map': {4: 201, 3: 204, 2: 213}, 'large_map': {0: 7, 1: 135}, 'selected': 213, 'tail_used': 33, 'allocation_end': 327}), ({'sizes': [124, 64, 20, 8, 1], 'threshold': 32, 'page': 64, 'level': 3, 'base': 7, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 199, 'tail_spans': [3, 10, 22], 'tail_map': {4: 201, 3: 204, 2: 214}, 'large_map': {0: 7, 1: 135}, 'selected': 204, 'tail_used': 35, 'allocation_end': 327}), ({'sizes': [125, 65, 21, 9, 1], 'threshold': 32, 'page': 64, 'level': 4, 'base': 7, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 263, 'tail_spans': [3, 11, 23], 'tail_map': {4: 265, 3: 268, 2: 279}, 'large_map': {0: 7, 1: 135}, 'selected': 265, 'tail_used': 37, 'allocation_end': 391}), ({'sizes': [126, 66, 22, 10, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 7, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 263, 'tail_spans': [3, 12, 24], 'tail_map': {4: 265, 3: 268, 2: 280}, 'large_map': {0: 7, 1: 135}, 'selected': 7, 'tail_used': 39, 'allocation_end': 391})], 2: [({'sizes': [122, 61, 17, 5, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 14, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 206, 'tail_spans': [3, 7, 19], 'tail_map': {4: 208, 3: 211, 2: 218}, 'large_map': {0: 14, 1: 142}, 'selected': 14, 'tail_used': 29, 'allocation_end': 334}), ({'sizes': [123, 62, 18, 6, 1], 'threshold': 32, 'page': 64, 'level': 1, 'base': 14, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 206, 'tail_spans': [3, 8, 20], 'tail_map': {4: 208, 3: 211, 2: 219}, 'large_map': {0: 14, 1: 142}, 'selected': 142, 'tail_used': 31, 'allocation_end': 334}), ({'sizes': [124, 63, 19, 7, 1], 'threshold': 32, 'page': 64, 'level': 2, 'base': 14, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 206, 'tail_spans': [3, 9, 21], 'tail_map': {4: 208, 3: 211, 2: 220}, 'large_map': {0: 14, 1: 142}, 'selected': 220, 'tail_used': 33, 'allocation_end': 334}), ({'sizes': [125, 64, 20, 8, 1], 'threshold': 32, 'page': 64, 'level': 3, 'base': 14, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 206, 'tail_spans': [3, 10, 22], 'tail_map': {4: 208, 3: 211, 2: 221}, 'large_map': {0: 14, 1: 142}, 'selected': 211, 'tail_used': 35, 'allocation_end': 334}), ({'sizes': [126, 65, 21, 9, 1], 'threshold': 32, 'page': 64, 'level': 4, 'base': 14, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 270, 'tail_spans': [3, 11, 23], 'tail_map': {4: 272, 3: 275, 2: 286}, 'large_map': {0: 14, 1: 142}, 'selected': 272, 'tail_used': 37, 'allocation_end': 398}), ({'sizes': [127, 66, 22, 10, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 14, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 270, 'tail_spans': [3, 12, 24], 'tail_map': {4: 272, 3: 275, 2: 287}, 'large_map': {0: 14, 1: 142}, 'selected': 14, 'tail_used': 39, 'allocation_end': 398})], 3: [({'sizes': [123, 61, 17, 5, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 21, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 213, 'tail_spans': [3, 7, 19], 'tail_map': {4: 215, 3: 218, 2: 225}, 'large_map': {0: 21, 1: 149}, 'selected': 21, 'tail_used': 29, 'allocation_end': 341}), ({'sizes': [124, 62, 18, 6, 1], 'threshold': 32, 'page': 64, 'level': 1, 'base': 21, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 213, 'tail_spans': [3, 8, 20], 'tail_map': {4: 215, 3: 218, 2: 226}, 'large_map': {0: 21, 1: 149}, 'selected': 149, 'tail_used': 31, 'allocation_end': 341}), ({'sizes': [125, 63, 19, 7, 1], 'threshold': 32, 'page': 64, 'level': 2, 'base': 21, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 213, 'tail_spans': [3, 9, 21], 'tail_map': {4: 215, 3: 218, 2: 227}, 'large_map': {0: 21, 1: 149}, 'selected': 227, 'tail_used': 33, 'allocation_end': 341}), ({'sizes': [126, 64, 20, 8, 1], 'threshold': 32, 'page': 64, 'level': 3, 'base': 21, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 213, 'tail_spans': [3, 10, 22], 'tail_map': {4: 215, 3: 218, 2: 228}, 'large_map': {0: 21, 1: 149}, 'selected': 218, 'tail_used': 35, 'allocation_end': 341}), ({'sizes': [127, 65, 21, 9, 1], 'threshold': 32, 'page': 64, 'level': 4, 'base': 21, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 277, 'tail_spans': [3, 11, 23], 'tail_map': {4: 279, 3: 282, 2: 293}, 'large_map': {0: 21, 1: 149}, 'selected': 279, 'tail_used': 37, 'allocation_end': 405}), ({'sizes': [128, 66, 22, 10, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 21, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 277, 'tail_spans': [3, 12, 24], 'tail_map': {4: 279, 3: 282, 2: 294}, 'large_map': {0: 21, 1: 149}, 'selected': 21, 'tail_used': 39, 'allocation_end': 405})], 4: [({'sizes': [124, 61, 17, 5, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 28, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 220, 'tail_spans': [3, 7, 19], 'tail_map': {4: 222, 3: 225, 2: 232}, 'large_map': {0: 28, 1: 156}, 'selected': 28, 'tail_used': 29, 'allocation_end': 348}), ({'sizes': [125, 62, 18, 6, 1], 'threshold': 32, 'page': 64, 'level': 1, 'base': 28, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 220, 'tail_spans': [3, 8, 20], 'tail_map': {4: 222, 3: 225, 2: 233}, 'large_map': {0: 28, 1: 156}, 'selected': 156, 'tail_used': 31, 'allocation_end': 348}), ({'sizes': [126, 63, 19, 7, 1], 'threshold': 32, 'page': 64, 'level': 2, 'base': 28, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 220, 'tail_spans': [3, 9, 21], 'tail_map': {4: 222, 3: 225, 2: 234}, 'large_map': {0: 28, 1: 156}, 'selected': 234, 'tail_used': 33, 'allocation_end': 348}), ({'sizes': [127, 64, 20, 8, 1], 'threshold': 32, 'page': 64, 'level': 3, 'base': 28, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 220, 'tail_spans': [3, 10, 22], 'tail_map': {4: 222, 3: 225, 2: 235}, 'large_map': {0: 28, 1: 156}, 'selected': 225, 'tail_used': 35, 'allocation_end': 348}), ({'sizes': [128, 65, 21, 9, 1], 'threshold': 32, 'page': 64, 'level': 4, 'base': 28, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 284, 'tail_spans': [3, 11, 23], 'tail_map': {4: 286, 3: 289, 2: 300}, 'large_map': {0: 28, 1: 156}, 'selected': 286, 'tail_used': 37, 'allocation_end': 412}), ({'sizes': [129, 66, 22, 10, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 28, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [3, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 348, 'tail_spans': [3, 12, 24], 'tail_map': {4: 350, 3: 353, 2: 365}, 'large_map': {0: 28, 1: 220}, 'selected': 28, 'tail_used': 39, 'allocation_end': 476})], 5: [({'sizes': [125, 61, 17, 5, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 35, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 227, 'tail_spans': [3, 7, 19], 'tail_map': {4: 229, 3: 232, 2: 239}, 'large_map': {0: 35, 1: 163}, 'selected': 35, 'tail_used': 29, 'allocation_end': 355}), ({'sizes': [126, 62, 18, 6, 1], 'threshold': 32, 'page': 64, 'level': 1, 'base': 35, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 227, 'tail_spans': [3, 8, 20], 'tail_map': {4: 229, 3: 232, 2: 240}, 'large_map': {0: 35, 1: 163}, 'selected': 163, 'tail_used': 31, 'allocation_end': 355}), ({'sizes': [127, 63, 19, 7, 1], 'threshold': 32, 'page': 64, 'level': 2, 'base': 35, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 227, 'tail_spans': [3, 9, 21], 'tail_map': {4: 229, 3: 232, 2: 241}, 'large_map': {0: 35, 1: 163}, 'selected': 241, 'tail_used': 33, 'allocation_end': 355}), ({'sizes': [128, 64, 20, 8, 1], 'threshold': 32, 'page': 64, 'level': 3, 'base': 35, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [2, 1], 'tail_levels': [4, 3, 2], 'tail_origin': 227, 'tail_spans': [3, 10, 22], 'tail_map': {4: 229, 3: 232, 2: 242}, 'large_map': {0: 35, 1: 163}, 'selected': 232, 'tail_used': 35, 'allocation_end': 355}), ({'sizes': [129, 65, 21, 9, 1], 'threshold': 32, 'page': 64, 'level': 4, 'base': 35, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [3, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 355, 'tail_spans': [3, 11, 23], 'tail_map': {4: 357, 3: 360, 2: 371}, 'large_map': {0: 35, 1: 227}, 'selected': 357, 'tail_used': 37, 'allocation_end': 483}), ({'sizes': [130, 66, 22, 10, 1], 'threshold': 32, 'page': 64, 'level': 0, 'base': 35, 'tail_capacity': 128}, {'tail_first': 2, 'large_pages': [3, 2], 'tail_levels': [4, 3, 2], 'tail_origin': 355, 'tail_spans': [3, 12, 24], 'tail_map': {4: 357, 3: 360, 2: 372}, 'large_map': {0: 35, 1: 227}, 'selected': 35, 'tail_used': 39, 'allocation_end': 483})]}\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-small-mip-tail-packing-tail-map","generated_at":"2026-09-29T14:45:31.644747+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 tail_map: {level:tail_origin+sum(tail_spans[:j])+2 for j,level in enumerate(tail_levels)}.","root_cause":"Tail level directory points to tag or end of own record The faulty expression is {level:tail_origin+sum(tail_spans[:j]) for j,level in enumerate(tail_levels)}.","sha256":"04516628e4ecab7bf081ec23b0ebec452a7a8ba4d27d3fcf1f44a7adb7184de2","title":"Small Mip Tail Packing: Tail level directory points to tag or end of own record · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.268,"exit_code":1,"observations":[{"actual":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":7,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":230,"3":211,"4":204},"tail_origin":199,"tail_spans":[3,7,19],"tail_used":29},"check":"layout fixture 1","expected":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":7,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":211,"3":204,"4":201},"tail_origin":199,"tail_spans":[3,7,19],"tail_used":29},"passed":false},{"actual":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":135,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":232,"3":212,"4":204},"tail_origin":199,"tail_spans":[3,8,20],"tail_used":31},"check":"layout fixture 2","expected":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":135,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":212,"3":204,"4":201},"tail_origin":199,"tail_spans":[3,8,20],"tail_used":31},"passed":false},{"actual":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":234,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":234,"3":213,"4":204},"tail_origin":199,"tail_spans":[3,9,21],"tail_used":33},"check":"layout fixture 3","expected":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":213,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":213,"3":204,"4":201},"tail_origin":199,"tail_spans":[3,9,21],"tail_used":33},"passed":false},{"actual":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":214,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":236,"3":214,"4":204},"tail_origin":199,"tail_spans":[3,10,22],"tail_used":35},"check":"layout fixture 4","expected":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":204,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":214,"3":204,"4":201},"tail_origin":199,"tail_spans":[3,10,22],"tail_used":35},"passed":false},{"actual":{"allocation_end":391,"large_map":{"0":7,"1":135},"large_pages":[2,2],"selected":268,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":302,"3":279,"4":268},"tail_origin":263,"tail_spans":[3,11,23],"tail_used":37},"check":"layout fixture 5","expected":{"allocation_end":391,"large_map":{"0":7,"1":135},"large_pages":[2,2],"selected":265,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":279,"3":268,"4":265},"tail_origin":263,"tail_spans":[3,11,23],"tail_used":37},"passed":false},{"actual":{"allocation_end":391,"large_map":{"0":7,"1":135},"large_pages":[2,2],"selected":7,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":304,"3":280,"4":268},"tail_origin":263,"tail_spans":[3,12,24],"tail_used":39},"check":"layout fixture 6","expected":{"allocation_end":391,"large_map":{"0":7,"1":135},"large_pages":[2,2],"selected":7,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":280,"3":268,"4":265},"tail_origin":263,"tail_spans":[3,12,24],"tail_used":39},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layout fixture 1\", \"actual\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 7, 19], \"tail_map\": {\"4\": 204, \"3\": 211, \"2\": 230}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 7, \"tail_used\": 29, \"allocation_end\": 327}, \"expected\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 7, 19], \"tail_map\": {\"4\": 201, \"3\": 204, \"2\": 211}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 7, \"tail_used\": 29, \"allocation_end\": 327}, \"passed\": false}, {\"check\": \"layout fixture 2\", \"actual\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 8, 20], \"tail_map\": {\"4\": 204, \"3\": 212, \"2\": 232}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 135, \"tail_used\": 31, \"allocation_end\": 327}, \"expected\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 8, 20], \"tail_map\": {\"4\": 201, \"3\": 204, \"2\": 212}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 135, \"tail_used\": 31, \"allocation_end\": 327}, \"passed\": false}, {\"check\": \"layout fixture 3\", \"actual\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 9, 21], \"tail_map\": {\"4\": 204, \"3\": 213, \"2\": 234}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 234, \"tail_used\": 33, \"allocation_end\": 327}, \"expected\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 9, 21], \"tail_map\": {\"4\": 201, \"3\": 204, \"2\": 213}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 213, \"tail_used\": 33, \"allocation_end\": 327}, \"passed\": false}, {\"check\": \"layout fixture 4\", \"actual\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 10, 22], \"tail_map\": {\"4\": 204, \"3\": 214, \"2\": 236}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 214, \"tail_used\": 35, \"allocation_end\": 327}, \"expected\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 10, 22], \"tail_map\": {\"4\": 201, \"3\": 204, \"2\": 214}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 204, \"tail_used\": 35, \"allocation_end\": 327}, \"passed\": false}, {\"check\": \"layout fixture 5\", \"actual\": {\"tail_first\": 2, \"large_pages\": [2, 2], \"tail_levels\": [4, 3, 2], \"tail_origin\": 263, \"tail_spans\": [3, 11, 23], \"tail_map\": {\"4\": 268, \"3\": 279, \"2\": 302}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 268, \"tail_used\": 37, \"allocation_end\": 391}, \"expected\": {\"tail_first\": 2, \"large_pages\": [2, 2], \"tail_levels\": [4, 3, 2], \"tail_origin\": 263, \"tail_spans\": [3, 11, 23], \"tail_map\": {\"4\": 265, \"3\": 268, \"2\": 279}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 265, \"tail_used\": 37, \"allocation_end\": 391}, \"passed\": false}, {\"check\": \"layout fixture 6\", \"actual\": {\"tail_first\": 2, \"large_pages\": [2, 2], \"tail_levels\": [4, 3, 2], \"tail_origin\": 263, \"tail_spans\": [3, 12, 24], \"tail_map\": {\"4\": 268, \"3\": 280, \"2\": 304}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 7, \"tail_used\": 39, \"allocation_end\": 391}, \"expected\": {\"tail_first\": 2, \"large_pages\": [2, 2], \"tail_levels\": [4, 3, 2], \"tail_origin\": 263, \"tail_spans\": [3, 12, 24], \"tail_map\": {\"4\": 265, \"3\": 268, \"2\": 280}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 7, \"tail_used\": 39, \"allocation_end\": 391}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.56,"exit_code":1,"observations":[{"actual":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":7,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":209,"3":202,"4":199},"tail_origin":199,"tail_spans":[3,7,19],"tail_used":29},"check":"layout fixture 1","expected":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":7,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":211,"3":204,"4":201},"tail_origin":199,"tail_spans":[3,7,19],"tail_used":29},"passed":false},{"actual":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":135,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":210,"3":202,"4":199},"tail_origin":199,"tail_spans":[3,8,20],"tail_used":31},"check":"layout fixture 2","expected":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":135,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":212,"3":204,"4":201},"tail_origin":199,"tail_spans":[3,8,20],"tail_used":31},"passed":false},{"actual":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":211,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":211,"3":202,"4":199},"tail_origin":199,"tail_spans":[3,9,21],"tail_used":33},"check":"layout fixture 3","expected":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":213,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":213,"3":204,"4":201},"tail_origin":199,"tail_spans":[3,9,21],"tail_used":33},"passed":false},{"actual":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":202,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":212,"3":202,"4":199},"tail_origin":199,"tail_spans":[3,10,22],"tail_used":35},"check":"layout fixture 4","expected":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":204,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":214,"3":204,"4":201},"tail_origin":199,"tail_spans":[3,10,22],"tail_used":35},"passed":false},{"actual":{"allocation_end":391,"large_map":{"0":7,"1":135},"large_pages":[2,2],"selected":263,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":277,"3":266,"4":263},"tail_origin":263,"tail_spans":[3,11,23],"tail_used":37},"check":"layout fixture 5","expected":{"allocation_end":391,"large_map":{"0":7,"1":135},"large_pages":[2,2],"selected":265,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":279,"3":268,"4":265},"tail_origin":263,"tail_spans":[3,11,23],"tail_used":37},"passed":false},{"actual":{"allocation_end":391,"large_map":{"0":7,"1":135},"large_pages":[2,2],"selected":7,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":278,"3":266,"4":263},"tail_origin":263,"tail_spans":[3,12,24],"tail_used":39},"check":"layout fixture 6","expected":{"allocation_end":391,"large_map":{"0":7,"1":135},"large_pages":[2,2],"selected":7,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":280,"3":268,"4":265},"tail_origin":263,"tail_spans":[3,12,24],"tail_used":39},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layout fixture 1\", \"actual\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 7, 19], \"tail_map\": {\"4\": 199, \"3\": 202, \"2\": 209}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 7, \"tail_used\": 29, \"allocation_end\": 327}, \"expected\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 7, 19], \"tail_map\": {\"4\": 201, \"3\": 204, \"2\": 211}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 7, \"tail_used\": 29, \"allocation_end\": 327}, \"passed\": false}, {\"check\": \"layout fixture 2\", \"actual\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 8, 20], \"tail_map\": {\"4\": 199, \"3\": 202, \"2\": 210}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 135, \"tail_used\": 31, \"allocation_end\": 327}, \"expected\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 8, 20], \"tail_map\": {\"4\": 201, \"3\": 204, \"2\": 212}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 135, \"tail_used\": 31, \"allocation_end\": 327}, \"passed\": false}, {\"check\": \"layout fixture 3\", \"actual\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 9, 21], \"tail_map\": {\"4\": 199, \"3\": 202, \"2\": 211}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 211, \"tail_used\": 33, \"allocation_end\": 327}, \"expected\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 9, 21], \"tail_map\": {\"4\": 201, \"3\": 204, \"2\": 213}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 213, \"tail_used\": 33, \"allocation_end\": 327}, \"passed\": false}, {\"check\": \"layout fixture 4\", \"actual\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 10, 22], \"tail_map\": {\"4\": 199, \"3\": 202, \"2\": 212}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 202, \"tail_used\": 35, \"allocation_end\": 327}, \"expected\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 10, 22], \"tail_map\": {\"4\": 201, \"3\": 204, \"2\": 214}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 204, \"tail_used\": 35, \"allocation_end\": 327}, \"passed\": false}, {\"check\": \"layout fixture 5\", \"actual\": {\"tail_first\": 2, \"large_pages\": [2, 2], \"tail_levels\": [4, 3, 2], \"tail_origin\": 263, \"tail_spans\": [3, 11, 23], \"tail_map\": {\"4\": 263, \"3\": 266, \"2\": 277}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 263, \"tail_used\": 37, \"allocation_end\": 391}, \"expected\": {\"tail_first\": 2, \"large_pages\": [2, 2], \"tail_levels\": [4, 3, 2], \"tail_origin\": 263, \"tail_spans\": [3, 11, 23], \"tail_map\": {\"4\": 265, \"3\": 268, \"2\": 279}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 265, \"tail_used\": 37, \"allocation_end\": 391}, \"passed\": false}, {\"check\": \"layout fixture 6\", \"actual\": {\"tail_first\": 2, \"large_pages\": [2, 2], \"tail_levels\": [4, 3, 2], \"tail_origin\": 263, \"tail_spans\": [3, 12, 24], \"tail_map\": {\"4\": 263, \"3\": 266, \"2\": 278}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 7, \"tail_used\": 39, \"allocation_end\": 391}, \"expected\": {\"tail_first\": 2, \"large_pages\": [2, 2], \"tail_levels\": [4, 3, 2], \"tail_origin\": 263, \"tail_spans\": [3, 12, 24], \"tail_map\": {\"4\": 265, \"3\": 268, \"2\": 280}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 7, \"tail_used\": 39, \"allocation_end\": 391}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.801,"exit_code":0,"observations":[{"actual":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":7,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":211,"3":204,"4":201},"tail_origin":199,"tail_spans":[3,7,19],"tail_used":29},"check":"layout fixture 1","expected":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":7,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":211,"3":204,"4":201},"tail_origin":199,"tail_spans":[3,7,19],"tail_used":29},"passed":true},{"actual":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":135,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":212,"3":204,"4":201},"tail_origin":199,"tail_spans":[3,8,20],"tail_used":31},"check":"layout fixture 2","expected":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":135,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":212,"3":204,"4":201},"tail_origin":199,"tail_spans":[3,8,20],"tail_used":31},"passed":true},{"actual":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":213,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":213,"3":204,"4":201},"tail_origin":199,"tail_spans":[3,9,21],"tail_used":33},"check":"layout fixture 3","expected":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":213,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":213,"3":204,"4":201},"tail_origin":199,"tail_spans":[3,9,21],"tail_used":33},"passed":true},{"actual":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":204,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":214,"3":204,"4":201},"tail_origin":199,"tail_spans":[3,10,22],"tail_used":35},"check":"layout fixture 4","expected":{"allocation_end":327,"large_map":{"0":7,"1":135},"large_pages":[2,1],"selected":204,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":214,"3":204,"4":201},"tail_origin":199,"tail_spans":[3,10,22],"tail_used":35},"passed":true},{"actual":{"allocation_end":391,"large_map":{"0":7,"1":135},"large_pages":[2,2],"selected":265,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":279,"3":268,"4":265},"tail_origin":263,"tail_spans":[3,11,23],"tail_used":37},"check":"layout fixture 5","expected":{"allocation_end":391,"large_map":{"0":7,"1":135},"large_pages":[2,2],"selected":265,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":279,"3":268,"4":265},"tail_origin":263,"tail_spans":[3,11,23],"tail_used":37},"passed":true},{"actual":{"allocation_end":391,"large_map":{"0":7,"1":135},"large_pages":[2,2],"selected":7,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":280,"3":268,"4":265},"tail_origin":263,"tail_spans":[3,12,24],"tail_used":39},"check":"layout fixture 6","expected":{"allocation_end":391,"large_map":{"0":7,"1":135},"large_pages":[2,2],"selected":7,"tail_first":2,"tail_levels":[4,3,2],"tail_map":{"2":280,"3":268,"4":265},"tail_origin":263,"tail_spans":[3,12,24],"tail_used":39},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layout fixture 1\", \"actual\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 7, 19], \"tail_map\": {\"4\": 201, \"3\": 204, \"2\": 211}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 7, \"tail_used\": 29, \"allocation_end\": 327}, \"expected\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 7, 19], \"tail_map\": {\"4\": 201, \"3\": 204, \"2\": 211}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 7, \"tail_used\": 29, \"allocation_end\": 327}, \"passed\": true}, {\"check\": \"layout fixture 2\", \"actual\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 8, 20], \"tail_map\": {\"4\": 201, \"3\": 204, \"2\": 212}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 135, \"tail_used\": 31, \"allocation_end\": 327}, \"expected\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 8, 20], \"tail_map\": {\"4\": 201, \"3\": 204, \"2\": 212}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 135, \"tail_used\": 31, \"allocation_end\": 327}, \"passed\": true}, {\"check\": \"layout fixture 3\", \"actual\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 9, 21], \"tail_map\": {\"4\": 201, \"3\": 204, \"2\": 213}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 213, \"tail_used\": 33, \"allocation_end\": 327}, \"expected\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 9, 21], \"tail_map\": {\"4\": 201, \"3\": 204, \"2\": 213}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 213, \"tail_used\": 33, \"allocation_end\": 327}, \"passed\": true}, {\"check\": \"layout fixture 4\", \"actual\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 10, 22], \"tail_map\": {\"4\": 201, \"3\": 204, \"2\": 214}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 204, \"tail_used\": 35, \"allocation_end\": 327}, \"expected\": {\"tail_first\": 2, \"large_pages\": [2, 1], \"tail_levels\": [4, 3, 2], \"tail_origin\": 199, \"tail_spans\": [3, 10, 22], \"tail_map\": {\"4\": 201, \"3\": 204, \"2\": 214}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 204, \"tail_used\": 35, \"allocation_end\": 327}, \"passed\": true}, {\"check\": \"layout fixture 5\", \"actual\": {\"tail_first\": 2, \"large_pages\": [2, 2], \"tail_levels\": [4, 3, 2], \"tail_origin\": 263, \"tail_spans\": [3, 11, 23], \"tail_map\": {\"4\": 265, \"3\": 268, \"2\": 279}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 265, \"tail_used\": 37, \"allocation_end\": 391}, \"expected\": {\"tail_first\": 2, \"large_pages\": [2, 2], \"tail_levels\": [4, 3, 2], \"tail_origin\": 263, \"tail_spans\": [3, 11, 23], \"tail_map\": {\"4\": 265, \"3\": 268, \"2\": 279}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 265, \"tail_used\": 37, \"allocation_end\": 391}, \"passed\": true}, {\"check\": \"layout fixture 6\", \"actual\": {\"tail_first\": 2, \"large_pages\": [2, 2], \"tail_levels\": [4, 3, 2], \"tail_origin\": 263, \"tail_spans\": [3, 12, 24], \"tail_map\": {\"4\": 265, \"3\": 268, \"2\": 280}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 7, \"tail_used\": 39, \"allocation_end\": 391}, \"expected\": {\"tail_first\": 2, \"large_pages\": [2, 2], \"tail_levels\": [4, 3, 2], \"tail_origin\": 263, \"tail_spans\": [3, 12, 24], \"tail_map\": {\"4\": 265, \"3\": 268, \"2\": 280}, \"large_map\": {\"0\": 7, \"1\": 135}, \"selected\": 7, \"tail_used\": 39, \"allocation_end\": 391}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}