{"abstract":"The returned physical layout descriptor disagrees with the declared buffer mapping at right_count.","category":"Raster memory layout","checks":6,"contract":"A raster readback maps each row to two caller-provided physical segments. Segment boundary is a pixel index, not a byte count; segment two has its own noncontiguous origin. A requested valid x range becomes up to two byte spans. 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-scanline-scatter-gather","failed_approach":"The attempted repair uses max(0,p[\"count\"]-p[\"split\"]) and still violates the layout contract.","family":"s3-raster-memory-layout-scanline-scatter-gather-right-count","id":"FA-52946","implementations":{"attempt":{"sha256":"4a8b035445c9e36b8dda8fc6e1c91a1740fdce2f7246622cc258388e7987b0b0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(p):\n    p = dict(p)\n    left_count = max(0,min(p[\"start\"]+p[\"count\"],p[\"split\"])-p[\"start\"])\n    right_count = max(0,p[\"count\"]-p[\"split\"])\n    left_start = p[\"a\"]+p[\"start\"]*p[\"b\"]\n    right_local = max(p[\"start\"],p[\"split\"])-p[\"split\"]\n    right_start = p[\"bbase\"]+right_local*p[\"b\"]\n    left_bytes = left_count*p[\"b\"]\n    right_bytes = right_count*p[\"b\"]\n    spans = ([[left_start,left_bytes]] if left_count else [])+([[right_start,right_bytes]] if right_count else [])\n    destination_offsets = [0,left_bytes] if left_count and right_count else ([0] if p[\"count\"] else [])\n    total_bytes = sum(s[1] for s in spans)\n    return {'left_count': left_count, 'right_count': right_count, 'left_start': left_start, 'right_local': right_local, 'right_start': right_start, 'left_bytes': left_bytes, 'right_bytes': right_bytes, 'spans': spans, 'destination_offsets': destination_offsets, 'total_bytes': total_bytes}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [({'width': 12, 'split': 4, 'start': 0, 'count': 0, 'b': 2, 'a': 107, 'bbase': 400}, {'left_count': 0, 'right_count': 0, 'left_start': 107, 'right_local': 0, 'right_start': 400, 'left_bytes': 0, 'right_bytes': 0, 'spans': [], 'destination_offsets': [], 'total_bytes': 0}), ({'width': 13, 'split': 5, 'start': 1, 'count': 2, 'b': 2, 'a': 107, 'bbase': 413}, {'left_count': 2, 'right_count': 0, 'left_start': 109, 'right_local': 0, 'right_start': 413, 'left_bytes': 4, 'right_bytes': 0, 'spans': [[109, 4]], 'destination_offsets': [0], 'total_bytes': 4}), ({'width': 14, 'split': 6, 'start': 2, 'count': 6, 'b': 2, 'a': 107, 'bbase': 426}, {'left_count': 4, 'right_count': 2, 'left_start': 111, 'right_local': 0, 'right_start': 426, 'left_bytes': 8, 'right_bytes': 4, 'spans': [[111, 8], [426, 4]], 'destination_offsets': [0, 8], 'total_bytes': 12}), ({'width': 15, 'split': 4, 'start': 5, 'count': 4, 'b': 2, 'a': 107, 'bbase': 439}, {'left_count': 0, 'right_count': 4, 'left_start': 117, 'right_local': 1, 'right_start': 441, 'left_bytes': 0, 'right_bytes': 8, 'spans': [[441, 8]], 'destination_offsets': [0], 'total_bytes': 8}), ({'width': 16, 'split': 5, 'start': 0, 'count': 12, 'b': 2, 'a': 107, 'bbase': 452}, {'left_count': 5, 'right_count': 7, 'left_start': 107, 'right_local': 0, 'right_start': 452, 'left_bytes': 10, 'right_bytes': 14, 'spans': [[107, 10], [452, 14]], 'destination_offsets': [0, 10], 'total_bytes': 24}), ({'width': 17, 'split': 6, 'start': 6, 'count': 3, 'b': 2, 'a': 107, 'bbase': 465}, {'left_count': 0, 'right_count': 3, 'left_start': 119, 'right_local': 0, 'right_start': 465, 'left_bytes': 0, 'right_bytes': 6, 'spans': [[465, 6]], 'destination_offsets': [0], 'total_bytes': 6})], 2: [({'width': 12, 'split': 4, 'start': 0, 'count': 0, 'b': 3, 'a': 114, 'bbase': 400}, {'left_count': 0, 'right_count': 0, 'left_start': 114, 'right_local': 0, 'right_start': 400, 'left_bytes': 0, 'right_bytes': 0, 'spans': [], 'destination_offsets': [], 'total_bytes': 0}), ({'width': 13, 'split': 5, 'start': 1, 'count': 2, 'b': 3, 'a': 114, 'bbase': 413}, {'left_count': 2, 'right_count': 0, 'left_start': 117, 'right_local': 0, 'right_start': 413, 'left_bytes': 6, 'right_bytes': 0, 'spans': [[117, 6]], 'destination_offsets': [0], 'total_bytes': 6}), ({'width': 14, 'split': 6, 'start': 2, 'count': 6, 'b': 3, 'a': 114, 'bbase': 426}, {'left_count': 4, 'right_count': 2, 'left_start': 120, 'right_local': 0, 'right_start': 426, 'left_bytes': 12, 'right_bytes': 6, 'spans': [[120, 12], [426, 6]], 'destination_offsets': [0, 12], 'total_bytes': 18}), ({'width': 15, 'split': 4, 'start': 5, 'count': 4, 'b': 3, 'a': 114, 'bbase': 439}, {'left_count': 0, 'right_count': 4, 'left_start': 129, 'right_local': 1, 'right_start': 442, 'left_bytes': 0, 'right_bytes': 12, 'spans': [[442, 12]], 'destination_offsets': [0], 'total_bytes': 12}), ({'width': 16, 'split': 5, 'start': 0, 'count': 12, 'b': 3, 'a': 114, 'bbase': 452}, {'left_count': 5, 'right_count': 7, 'left_start': 114, 'right_local': 0, 'right_start': 452, 'left_bytes': 15, 'right_bytes': 21, 'spans': [[114, 15], [452, 21]], 'destination_offsets': [0, 15], 'total_bytes': 36}), ({'width': 17, 'split': 6, 'start': 6, 'count': 3, 'b': 3, 'a': 114, 'bbase': 465}, {'left_count': 0, 'right_count': 3, 'left_start': 132, 'right_local': 0, 'right_start': 465, 'left_bytes': 0, 'right_bytes': 9, 'spans': [[465, 9]], 'destination_offsets': [0], 'total_bytes': 9})], 3: [({'width': 12, 'split': 4, 'start': 0, 'count': 0, 'b': 4, 'a': 121, 'bbase': 400}, {'left_count': 0, 'right_count': 0, 'left_start': 121, 'right_local': 0, 'right_start': 400, 'left_bytes': 0, 'right_bytes': 0, 'spans': [], 'destination_offsets': [], 'total_bytes': 0}), ({'width': 13, 'split': 5, 'start': 1, 'count': 2, 'b': 4, 'a': 121, 'bbase': 413}, {'left_count': 2, 'right_count': 0, 'left_start': 125, 'right_local': 0, 'right_start': 413, 'left_bytes': 8, 'right_bytes': 0, 'spans': [[125, 8]], 'destination_offsets': [0], 'total_bytes': 8}), ({'width': 14, 'split': 6, 'start': 2, 'count': 6, 'b': 4, 'a': 121, 'bbase': 426}, {'left_count': 4, 'right_count': 2, 'left_start': 129, 'right_local': 0, 'right_start': 426, 'left_bytes': 16, 'right_bytes': 8, 'spans': [[129, 16], [426, 8]], 'destination_offsets': [0, 16], 'total_bytes': 24}), ({'width': 15, 'split': 4, 'start': 5, 'count': 4, 'b': 4, 'a': 121, 'bbase': 439}, {'left_count': 0, 'right_count': 4, 'left_start': 141, 'right_local': 1, 'right_start': 443, 'left_bytes': 0, 'right_bytes': 16, 'spans': [[443, 16]], 'destination_offsets': [0], 'total_bytes': 16}), ({'width': 16, 'split': 5, 'start': 0, 'count': 12, 'b': 4, 'a': 121, 'bbase': 452}, {'left_count': 5, 'right_count': 7, 'left_start': 121, 'right_local': 0, 'right_start': 452, 'left_bytes': 20, 'right_bytes': 28, 'spans': [[121, 20], [452, 28]], 'destination_offsets': [0, 20], 'total_bytes': 48}), ({'width': 17, 'split': 6, 'start': 6, 'count': 3, 'b': 4, 'a': 121, 'bbase': 465}, {'left_count': 0, 'right_count': 3, 'left_start': 145, 'right_local': 0, 'right_start': 465, 'left_bytes': 0, 'right_bytes': 12, 'spans': [[465, 12]], 'destination_offsets': [0], 'total_bytes': 12})], 4: [({'width': 12, 'split': 4, 'start': 0, 'count': 0, 'b': 5, 'a': 128, 'bbase': 400}, {'left_count': 0, 'right_count': 0, 'left_start': 128, 'right_local': 0, 'right_start': 400, 'left_bytes': 0, 'right_bytes': 0, 'spans': [], 'destination_offsets': [], 'total_bytes': 0}), ({'width': 13, 'split': 5, 'start': 1, 'count': 2, 'b': 5, 'a': 128, 'bbase': 413}, {'left_count': 2, 'right_count': 0, 'left_start': 133, 'right_local': 0, 'right_start': 413, 'left_bytes': 10, 'right_bytes': 0, 'spans': [[133, 10]], 'destination_offsets': [0], 'total_bytes': 10}), ({'width': 14, 'split': 6, 'start': 2, 'count': 6, 'b': 5, 'a': 128, 'bbase': 426}, {'left_count': 4, 'right_count': 2, 'left_start': 138, 'right_local': 0, 'right_start': 426, 'left_bytes': 20, 'right_bytes': 10, 'spans': [[138, 20], [426, 10]], 'destination_offsets': [0, 20], 'total_bytes': 30}), ({'width': 15, 'split': 4, 'start': 5, 'count': 4, 'b': 5, 'a': 128, 'bbase': 439}, {'left_count': 0, 'right_count': 4, 'left_start': 153, 'right_local': 1, 'right_start': 444, 'left_bytes': 0, 'right_bytes': 20, 'spans': [[444, 20]], 'destination_offsets': [0], 'total_bytes': 20}), ({'width': 16, 'split': 5, 'start': 0, 'count': 12, 'b': 5, 'a': 128, 'bbase': 452}, {'left_count': 5, 'right_count': 7, 'left_start': 128, 'right_local': 0, 'right_start': 452, 'left_bytes': 25, 'right_bytes': 35, 'spans': [[128, 25], [452, 35]], 'destination_offsets': [0, 25], 'total_bytes': 60}), ({'width': 17, 'split': 6, 'start': 6, 'count': 3, 'b': 5, 'a': 128, 'bbase': 465}, {'left_count': 0, 'right_count': 3, 'left_start': 158, 'right_local': 0, 'right_start': 465, 'left_bytes': 0, 'right_bytes': 15, 'spans': [[465, 15]], 'destination_offsets': [0], 'total_bytes': 15})], 5: [({'width': 12, 'split': 4, 'start': 0, 'count': 0, 'b': 6, 'a': 135, 'bbase': 400}, {'left_count': 0, 'right_count': 0, 'left_start': 135, 'right_local': 0, 'right_start': 400, 'left_bytes': 0, 'right_bytes': 0, 'spans': [], 'destination_offsets': [], 'total_bytes': 0}), ({'width': 13, 'split': 5, 'start': 1, 'count': 2, 'b': 6, 'a': 135, 'bbase': 413}, {'left_count': 2, 'right_count': 0, 'left_start': 141, 'right_local': 0, 'right_start': 413, 'left_bytes': 12, 'right_bytes': 0, 'spans': [[141, 12]], 'destination_offsets': [0], 'total_bytes': 12}), ({'width': 14, 'split': 6, 'start': 2, 'count': 6, 'b': 6, 'a': 135, 'bbase': 426}, {'left_count': 4, 'right_count': 2, 'left_start': 147, 'right_local': 0, 'right_start': 426, 'left_bytes': 24, 'right_bytes': 12, 'spans': [[147, 24], [426, 12]], 'destination_offsets': [0, 24], 'total_bytes': 36}), ({'width': 15, 'split': 4, 'start': 5, 'count': 4, 'b': 6, 'a': 135, 'bbase': 439}, {'left_count': 0, 'right_count': 4, 'left_start': 165, 'right_local': 1, 'right_start': 445, 'left_bytes': 0, 'right_bytes': 24, 'spans': [[445, 24]], 'destination_offsets': [0], 'total_bytes': 24}), ({'width': 16, 'split': 5, 'start': 0, 'count': 12, 'b': 6, 'a': 135, 'bbase': 452}, {'left_count': 5, 'right_count': 7, 'left_start': 135, 'right_local': 0, 'right_start': 452, 'left_bytes': 30, 'right_bytes': 42, 'spans': [[135, 30], [452, 42]], 'destination_offsets': [0, 30], 'total_bytes': 72}), ({'width': 17, 'split': 6, 'start': 6, 'count': 3, 'b': 6, 'a': 135, 'bbase': 465}, {'left_count': 0, 'right_count': 3, 'left_start': 171, 'right_local': 0, 'right_start': 465, 'left_bytes': 0, 'right_bytes': 18, 'spans': [[465, 18]], 'destination_offsets': [0], 'total_bytes': 18})]}\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":"8d68910b767effe6cebb400909c99f14647e2bc8319495341759ab647692d93d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(p):\n    p = dict(p)\n    left_count = max(0,min(p[\"start\"]+p[\"count\"],p[\"split\"])-p[\"start\"])\n    right_count = p[\"count\"]\n    left_start = p[\"a\"]+p[\"start\"]*p[\"b\"]\n    right_local = max(p[\"start\"],p[\"split\"])-p[\"split\"]\n    right_start = p[\"bbase\"]+right_local*p[\"b\"]\n    left_bytes = left_count*p[\"b\"]\n    right_bytes = right_count*p[\"b\"]\n    spans = ([[left_start,left_bytes]] if left_count else [])+([[right_start,right_bytes]] if right_count else [])\n    destination_offsets = [0,left_bytes] if left_count and right_count else ([0] if p[\"count\"] else [])\n    total_bytes = sum(s[1] for s in spans)\n    return {'left_count': left_count, 'right_count': right_count, 'left_start': left_start, 'right_local': right_local, 'right_start': right_start, 'left_bytes': left_bytes, 'right_bytes': right_bytes, 'spans': spans, 'destination_offsets': destination_offsets, 'total_bytes': total_bytes}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [({'width': 12, 'split': 4, 'start': 0, 'count': 0, 'b': 2, 'a': 107, 'bbase': 400}, {'left_count': 0, 'right_count': 0, 'left_start': 107, 'right_local': 0, 'right_start': 400, 'left_bytes': 0, 'right_bytes': 0, 'spans': [], 'destination_offsets': [], 'total_bytes': 0}), ({'width': 13, 'split': 5, 'start': 1, 'count': 2, 'b': 2, 'a': 107, 'bbase': 413}, {'left_count': 2, 'right_count': 0, 'left_start': 109, 'right_local': 0, 'right_start': 413, 'left_bytes': 4, 'right_bytes': 0, 'spans': [[109, 4]], 'destination_offsets': [0], 'total_bytes': 4}), ({'width': 14, 'split': 6, 'start': 2, 'count': 6, 'b': 2, 'a': 107, 'bbase': 426}, {'left_count': 4, 'right_count': 2, 'left_start': 111, 'right_local': 0, 'right_start': 426, 'left_bytes': 8, 'right_bytes': 4, 'spans': [[111, 8], [426, 4]], 'destination_offsets': [0, 8], 'total_bytes': 12}), ({'width': 15, 'split': 4, 'start': 5, 'count': 4, 'b': 2, 'a': 107, 'bbase': 439}, {'left_count': 0, 'right_count': 4, 'left_start': 117, 'right_local': 1, 'right_start': 441, 'left_bytes': 0, 'right_bytes': 8, 'spans': [[441, 8]], 'destination_offsets': [0], 'total_bytes': 8}), ({'width': 16, 'split': 5, 'start': 0, 'count': 12, 'b': 2, 'a': 107, 'bbase': 452}, {'left_count': 5, 'right_count': 7, 'left_start': 107, 'right_local': 0, 'right_start': 452, 'left_bytes': 10, 'right_bytes': 14, 'spans': [[107, 10], [452, 14]], 'destination_offsets': [0, 10], 'total_bytes': 24}), ({'width': 17, 'split': 6, 'start': 6, 'count': 3, 'b': 2, 'a': 107, 'bbase': 465}, {'left_count': 0, 'right_count': 3, 'left_start': 119, 'right_local': 0, 'right_start': 465, 'left_bytes': 0, 'right_bytes': 6, 'spans': [[465, 6]], 'destination_offsets': [0], 'total_bytes': 6})], 2: [({'width': 12, 'split': 4, 'start': 0, 'count': 0, 'b': 3, 'a': 114, 'bbase': 400}, {'left_count': 0, 'right_count': 0, 'left_start': 114, 'right_local': 0, 'right_start': 400, 'left_bytes': 0, 'right_bytes': 0, 'spans': [], 'destination_offsets': [], 'total_bytes': 0}), ({'width': 13, 'split': 5, 'start': 1, 'count': 2, 'b': 3, 'a': 114, 'bbase': 413}, {'left_count': 2, 'right_count': 0, 'left_start': 117, 'right_local': 0, 'right_start': 413, 'left_bytes': 6, 'right_bytes': 0, 'spans': [[117, 6]], 'destination_offsets': [0], 'total_bytes': 6}), ({'width': 14, 'split': 6, 'start': 2, 'count': 6, 'b': 3, 'a': 114, 'bbase': 426}, {'left_count': 4, 'right_count': 2, 'left_start': 120, 'right_local': 0, 'right_start': 426, 'left_bytes': 12, 'right_bytes': 6, 'spans': [[120, 12], [426, 6]], 'destination_offsets': [0, 12], 'total_bytes': 18}), ({'width': 15, 'split': 4, 'start': 5, 'count': 4, 'b': 3, 'a': 114, 'bbase': 439}, {'left_count': 0, 'right_count': 4, 'left_start': 129, 'right_local': 1, 'right_start': 442, 'left_bytes': 0, 'right_bytes': 12, 'spans': [[442, 12]], 'destination_offsets': [0], 'total_bytes': 12}), ({'width': 16, 'split': 5, 'start': 0, 'count': 12, 'b': 3, 'a': 114, 'bbase': 452}, {'left_count': 5, 'right_count': 7, 'left_start': 114, 'right_local': 0, 'right_start': 452, 'left_bytes': 15, 'right_bytes': 21, 'spans': [[114, 15], [452, 21]], 'destination_offsets': [0, 15], 'total_bytes': 36}), ({'width': 17, 'split': 6, 'start': 6, 'count': 3, 'b': 3, 'a': 114, 'bbase': 465}, {'left_count': 0, 'right_count': 3, 'left_start': 132, 'right_local': 0, 'right_start': 465, 'left_bytes': 0, 'right_bytes': 9, 'spans': [[465, 9]], 'destination_offsets': [0], 'total_bytes': 9})], 3: [({'width': 12, 'split': 4, 'start': 0, 'count': 0, 'b': 4, 'a': 121, 'bbase': 400}, {'left_count': 0, 'right_count': 0, 'left_start': 121, 'right_local': 0, 'right_start': 400, 'left_bytes': 0, 'right_bytes': 0, 'spans': [], 'destination_offsets': [], 'total_bytes': 0}), ({'width': 13, 'split': 5, 'start': 1, 'count': 2, 'b': 4, 'a': 121, 'bbase': 413}, {'left_count': 2, 'right_count': 0, 'left_start': 125, 'right_local': 0, 'right_start': 413, 'left_bytes': 8, 'right_bytes': 0, 'spans': [[125, 8]], 'destination_offsets': [0], 'total_bytes': 8}), ({'width': 14, 'split': 6, 'start': 2, 'count': 6, 'b': 4, 'a': 121, 'bbase': 426}, {'left_count': 4, 'right_count': 2, 'left_start': 129, 'right_local': 0, 'right_start': 426, 'left_bytes': 16, 'right_bytes': 8, 'spans': [[129, 16], [426, 8]], 'destination_offsets': [0, 16], 'total_bytes': 24}), ({'width': 15, 'split': 4, 'start': 5, 'count': 4, 'b': 4, 'a': 121, 'bbase': 439}, {'left_count': 0, 'right_count': 4, 'left_start': 141, 'right_local': 1, 'right_start': 443, 'left_bytes': 0, 'right_bytes': 16, 'spans': [[443, 16]], 'destination_offsets': [0], 'total_bytes': 16}), ({'width': 16, 'split': 5, 'start': 0, 'count': 12, 'b': 4, 'a': 121, 'bbase': 452}, {'left_count': 5, 'right_count': 7, 'left_start': 121, 'right_local': 0, 'right_start': 452, 'left_bytes': 20, 'right_bytes': 28, 'spans': [[121, 20], [452, 28]], 'destination_offsets': [0, 20], 'total_bytes': 48}), ({'width': 17, 'split': 6, 'start': 6, 'count': 3, 'b': 4, 'a': 121, 'bbase': 465}, {'left_count': 0, 'right_count': 3, 'left_start': 145, 'right_local': 0, 'right_start': 465, 'left_bytes': 0, 'right_bytes': 12, 'spans': [[465, 12]], 'destination_offsets': [0], 'total_bytes': 12})], 4: [({'width': 12, 'split': 4, 'start': 0, 'count': 0, 'b': 5, 'a': 128, 'bbase': 400}, {'left_count': 0, 'right_count': 0, 'left_start': 128, 'right_local': 0, 'right_start': 400, 'left_bytes': 0, 'right_bytes': 0, 'spans': [], 'destination_offsets': [], 'total_bytes': 0}), ({'width': 13, 'split': 5, 'start': 1, 'count': 2, 'b': 5, 'a': 128, 'bbase': 413}, {'left_count': 2, 'right_count': 0, 'left_start': 133, 'right_local': 0, 'right_start': 413, 'left_bytes': 10, 'right_bytes': 0, 'spans': [[133, 10]], 'destination_offsets': [0], 'total_bytes': 10}), ({'width': 14, 'split': 6, 'start': 2, 'count': 6, 'b': 5, 'a': 128, 'bbase': 426}, {'left_count': 4, 'right_count': 2, 'left_start': 138, 'right_local': 0, 'right_start': 426, 'left_bytes': 20, 'right_bytes': 10, 'spans': [[138, 20], [426, 10]], 'destination_offsets': [0, 20], 'total_bytes': 30}), ({'width': 15, 'split': 4, 'start': 5, 'count': 4, 'b': 5, 'a': 128, 'bbase': 439}, {'left_count': 0, 'right_count': 4, 'left_start': 153, 'right_local': 1, 'right_start': 444, 'left_bytes': 0, 'right_bytes': 20, 'spans': [[444, 20]], 'destination_offsets': [0], 'total_bytes': 20}), ({'width': 16, 'split': 5, 'start': 0, 'count': 12, 'b': 5, 'a': 128, 'bbase': 452}, {'left_count': 5, 'right_count': 7, 'left_start': 128, 'right_local': 0, 'right_start': 452, 'left_bytes': 25, 'right_bytes': 35, 'spans': [[128, 25], [452, 35]], 'destination_offsets': [0, 25], 'total_bytes': 60}), ({'width': 17, 'split': 6, 'start': 6, 'count': 3, 'b': 5, 'a': 128, 'bbase': 465}, {'left_count': 0, 'right_count': 3, 'left_start': 158, 'right_local': 0, 'right_start': 465, 'left_bytes': 0, 'right_bytes': 15, 'spans': [[465, 15]], 'destination_offsets': [0], 'total_bytes': 15})], 5: [({'width': 12, 'split': 4, 'start': 0, 'count': 0, 'b': 6, 'a': 135, 'bbase': 400}, {'left_count': 0, 'right_count': 0, 'left_start': 135, 'right_local': 0, 'right_start': 400, 'left_bytes': 0, 'right_bytes': 0, 'spans': [], 'destination_offsets': [], 'total_bytes': 0}), ({'width': 13, 'split': 5, 'start': 1, 'count': 2, 'b': 6, 'a': 135, 'bbase': 413}, {'left_count': 2, 'right_count': 0, 'left_start': 141, 'right_local': 0, 'right_start': 413, 'left_bytes': 12, 'right_bytes': 0, 'spans': [[141, 12]], 'destination_offsets': [0], 'total_bytes': 12}), ({'width': 14, 'split': 6, 'start': 2, 'count': 6, 'b': 6, 'a': 135, 'bbase': 426}, {'left_count': 4, 'right_count': 2, 'left_start': 147, 'right_local': 0, 'right_start': 426, 'left_bytes': 24, 'right_bytes': 12, 'spans': [[147, 24], [426, 12]], 'destination_offsets': [0, 24], 'total_bytes': 36}), ({'width': 15, 'split': 4, 'start': 5, 'count': 4, 'b': 6, 'a': 135, 'bbase': 439}, {'left_count': 0, 'right_count': 4, 'left_start': 165, 'right_local': 1, 'right_start': 445, 'left_bytes': 0, 'right_bytes': 24, 'spans': [[445, 24]], 'destination_offsets': [0], 'total_bytes': 24}), ({'width': 16, 'split': 5, 'start': 0, 'count': 12, 'b': 6, 'a': 135, 'bbase': 452}, {'left_count': 5, 'right_count': 7, 'left_start': 135, 'right_local': 0, 'right_start': 452, 'left_bytes': 30, 'right_bytes': 42, 'spans': [[135, 30], [452, 42]], 'destination_offsets': [0, 30], 'total_bytes': 72}), ({'width': 17, 'split': 6, 'start': 6, 'count': 3, 'b': 6, 'a': 135, 'bbase': 465}, {'left_count': 0, 'right_count': 3, 'left_start': 171, 'right_local': 0, 'right_start': 465, 'left_bytes': 0, 'right_bytes': 18, 'spans': [[465, 18]], 'destination_offsets': [0], 'total_bytes': 18})]}\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":"668064074963acd44f3559398cb827d7efef283af18182154c413d1331017265","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(p):\n    p = dict(p)\n    left_count = max(0,min(p[\"start\"]+p[\"count\"],p[\"split\"])-p[\"start\"])\n    right_count = p[\"count\"]-left_count\n    left_start = p[\"a\"]+p[\"start\"]*p[\"b\"]\n    right_local = max(p[\"start\"],p[\"split\"])-p[\"split\"]\n    right_start = p[\"bbase\"]+right_local*p[\"b\"]\n    left_bytes = left_count*p[\"b\"]\n    right_bytes = right_count*p[\"b\"]\n    spans = ([[left_start,left_bytes]] if left_count else [])+([[right_start,right_bytes]] if right_count else [])\n    destination_offsets = [0,left_bytes] if left_count and right_count else ([0] if p[\"count\"] else [])\n    total_bytes = sum(s[1] for s in spans)\n    return {'left_count': left_count, 'right_count': right_count, 'left_start': left_start, 'right_local': right_local, 'right_start': right_start, 'left_bytes': left_bytes, 'right_bytes': right_bytes, 'spans': spans, 'destination_offsets': destination_offsets, 'total_bytes': total_bytes}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [({'width': 12, 'split': 4, 'start': 0, 'count': 0, 'b': 2, 'a': 107, 'bbase': 400}, {'left_count': 0, 'right_count': 0, 'left_start': 107, 'right_local': 0, 'right_start': 400, 'left_bytes': 0, 'right_bytes': 0, 'spans': [], 'destination_offsets': [], 'total_bytes': 0}), ({'width': 13, 'split': 5, 'start': 1, 'count': 2, 'b': 2, 'a': 107, 'bbase': 413}, {'left_count': 2, 'right_count': 0, 'left_start': 109, 'right_local': 0, 'right_start': 413, 'left_bytes': 4, 'right_bytes': 0, 'spans': [[109, 4]], 'destination_offsets': [0], 'total_bytes': 4}), ({'width': 14, 'split': 6, 'start': 2, 'count': 6, 'b': 2, 'a': 107, 'bbase': 426}, {'left_count': 4, 'right_count': 2, 'left_start': 111, 'right_local': 0, 'right_start': 426, 'left_bytes': 8, 'right_bytes': 4, 'spans': [[111, 8], [426, 4]], 'destination_offsets': [0, 8], 'total_bytes': 12}), ({'width': 15, 'split': 4, 'start': 5, 'count': 4, 'b': 2, 'a': 107, 'bbase': 439}, {'left_count': 0, 'right_count': 4, 'left_start': 117, 'right_local': 1, 'right_start': 441, 'left_bytes': 0, 'right_bytes': 8, 'spans': [[441, 8]], 'destination_offsets': [0], 'total_bytes': 8}), ({'width': 16, 'split': 5, 'start': 0, 'count': 12, 'b': 2, 'a': 107, 'bbase': 452}, {'left_count': 5, 'right_count': 7, 'left_start': 107, 'right_local': 0, 'right_start': 452, 'left_bytes': 10, 'right_bytes': 14, 'spans': [[107, 10], [452, 14]], 'destination_offsets': [0, 10], 'total_bytes': 24}), ({'width': 17, 'split': 6, 'start': 6, 'count': 3, 'b': 2, 'a': 107, 'bbase': 465}, {'left_count': 0, 'right_count': 3, 'left_start': 119, 'right_local': 0, 'right_start': 465, 'left_bytes': 0, 'right_bytes': 6, 'spans': [[465, 6]], 'destination_offsets': [0], 'total_bytes': 6})], 2: [({'width': 12, 'split': 4, 'start': 0, 'count': 0, 'b': 3, 'a': 114, 'bbase': 400}, {'left_count': 0, 'right_count': 0, 'left_start': 114, 'right_local': 0, 'right_start': 400, 'left_bytes': 0, 'right_bytes': 0, 'spans': [], 'destination_offsets': [], 'total_bytes': 0}), ({'width': 13, 'split': 5, 'start': 1, 'count': 2, 'b': 3, 'a': 114, 'bbase': 413}, {'left_count': 2, 'right_count': 0, 'left_start': 117, 'right_local': 0, 'right_start': 413, 'left_bytes': 6, 'right_bytes': 0, 'spans': [[117, 6]], 'destination_offsets': [0], 'total_bytes': 6}), ({'width': 14, 'split': 6, 'start': 2, 'count': 6, 'b': 3, 'a': 114, 'bbase': 426}, {'left_count': 4, 'right_count': 2, 'left_start': 120, 'right_local': 0, 'right_start': 426, 'left_bytes': 12, 'right_bytes': 6, 'spans': [[120, 12], [426, 6]], 'destination_offsets': [0, 12], 'total_bytes': 18}), ({'width': 15, 'split': 4, 'start': 5, 'count': 4, 'b': 3, 'a': 114, 'bbase': 439}, {'left_count': 0, 'right_count': 4, 'left_start': 129, 'right_local': 1, 'right_start': 442, 'left_bytes': 0, 'right_bytes': 12, 'spans': [[442, 12]], 'destination_offsets': [0], 'total_bytes': 12}), ({'width': 16, 'split': 5, 'start': 0, 'count': 12, 'b': 3, 'a': 114, 'bbase': 452}, {'left_count': 5, 'right_count': 7, 'left_start': 114, 'right_local': 0, 'right_start': 452, 'left_bytes': 15, 'right_bytes': 21, 'spans': [[114, 15], [452, 21]], 'destination_offsets': [0, 15], 'total_bytes': 36}), ({'width': 17, 'split': 6, 'start': 6, 'count': 3, 'b': 3, 'a': 114, 'bbase': 465}, {'left_count': 0, 'right_count': 3, 'left_start': 132, 'right_local': 0, 'right_start': 465, 'left_bytes': 0, 'right_bytes': 9, 'spans': [[465, 9]], 'destination_offsets': [0], 'total_bytes': 9})], 3: [({'width': 12, 'split': 4, 'start': 0, 'count': 0, 'b': 4, 'a': 121, 'bbase': 400}, {'left_count': 0, 'right_count': 0, 'left_start': 121, 'right_local': 0, 'right_start': 400, 'left_bytes': 0, 'right_bytes': 0, 'spans': [], 'destination_offsets': [], 'total_bytes': 0}), ({'width': 13, 'split': 5, 'start': 1, 'count': 2, 'b': 4, 'a': 121, 'bbase': 413}, {'left_count': 2, 'right_count': 0, 'left_start': 125, 'right_local': 0, 'right_start': 413, 'left_bytes': 8, 'right_bytes': 0, 'spans': [[125, 8]], 'destination_offsets': [0], 'total_bytes': 8}), ({'width': 14, 'split': 6, 'start': 2, 'count': 6, 'b': 4, 'a': 121, 'bbase': 426}, {'left_count': 4, 'right_count': 2, 'left_start': 129, 'right_local': 0, 'right_start': 426, 'left_bytes': 16, 'right_bytes': 8, 'spans': [[129, 16], [426, 8]], 'destination_offsets': [0, 16], 'total_bytes': 24}), ({'width': 15, 'split': 4, 'start': 5, 'count': 4, 'b': 4, 'a': 121, 'bbase': 439}, {'left_count': 0, 'right_count': 4, 'left_start': 141, 'right_local': 1, 'right_start': 443, 'left_bytes': 0, 'right_bytes': 16, 'spans': [[443, 16]], 'destination_offsets': [0], 'total_bytes': 16}), ({'width': 16, 'split': 5, 'start': 0, 'count': 12, 'b': 4, 'a': 121, 'bbase': 452}, {'left_count': 5, 'right_count': 7, 'left_start': 121, 'right_local': 0, 'right_start': 452, 'left_bytes': 20, 'right_bytes': 28, 'spans': [[121, 20], [452, 28]], 'destination_offsets': [0, 20], 'total_bytes': 48}), ({'width': 17, 'split': 6, 'start': 6, 'count': 3, 'b': 4, 'a': 121, 'bbase': 465}, {'left_count': 0, 'right_count': 3, 'left_start': 145, 'right_local': 0, 'right_start': 465, 'left_bytes': 0, 'right_bytes': 12, 'spans': [[465, 12]], 'destination_offsets': [0], 'total_bytes': 12})], 4: [({'width': 12, 'split': 4, 'start': 0, 'count': 0, 'b': 5, 'a': 128, 'bbase': 400}, {'left_count': 0, 'right_count': 0, 'left_start': 128, 'right_local': 0, 'right_start': 400, 'left_bytes': 0, 'right_bytes': 0, 'spans': [], 'destination_offsets': [], 'total_bytes': 0}), ({'width': 13, 'split': 5, 'start': 1, 'count': 2, 'b': 5, 'a': 128, 'bbase': 413}, {'left_count': 2, 'right_count': 0, 'left_start': 133, 'right_local': 0, 'right_start': 413, 'left_bytes': 10, 'right_bytes': 0, 'spans': [[133, 10]], 'destination_offsets': [0], 'total_bytes': 10}), ({'width': 14, 'split': 6, 'start': 2, 'count': 6, 'b': 5, 'a': 128, 'bbase': 426}, {'left_count': 4, 'right_count': 2, 'left_start': 138, 'right_local': 0, 'right_start': 426, 'left_bytes': 20, 'right_bytes': 10, 'spans': [[138, 20], [426, 10]], 'destination_offsets': [0, 20], 'total_bytes': 30}), ({'width': 15, 'split': 4, 'start': 5, 'count': 4, 'b': 5, 'a': 128, 'bbase': 439}, {'left_count': 0, 'right_count': 4, 'left_start': 153, 'right_local': 1, 'right_start': 444, 'left_bytes': 0, 'right_bytes': 20, 'spans': [[444, 20]], 'destination_offsets': [0], 'total_bytes': 20}), ({'width': 16, 'split': 5, 'start': 0, 'count': 12, 'b': 5, 'a': 128, 'bbase': 452}, {'left_count': 5, 'right_count': 7, 'left_start': 128, 'right_local': 0, 'right_start': 452, 'left_bytes': 25, 'right_bytes': 35, 'spans': [[128, 25], [452, 35]], 'destination_offsets': [0, 25], 'total_bytes': 60}), ({'width': 17, 'split': 6, 'start': 6, 'count': 3, 'b': 5, 'a': 128, 'bbase': 465}, {'left_count': 0, 'right_count': 3, 'left_start': 158, 'right_local': 0, 'right_start': 465, 'left_bytes': 0, 'right_bytes': 15, 'spans': [[465, 15]], 'destination_offsets': [0], 'total_bytes': 15})], 5: [({'width': 12, 'split': 4, 'start': 0, 'count': 0, 'b': 6, 'a': 135, 'bbase': 400}, {'left_count': 0, 'right_count': 0, 'left_start': 135, 'right_local': 0, 'right_start': 400, 'left_bytes': 0, 'right_bytes': 0, 'spans': [], 'destination_offsets': [], 'total_bytes': 0}), ({'width': 13, 'split': 5, 'start': 1, 'count': 2, 'b': 6, 'a': 135, 'bbase': 413}, {'left_count': 2, 'right_count': 0, 'left_start': 141, 'right_local': 0, 'right_start': 413, 'left_bytes': 12, 'right_bytes': 0, 'spans': [[141, 12]], 'destination_offsets': [0], 'total_bytes': 12}), ({'width': 14, 'split': 6, 'start': 2, 'count': 6, 'b': 6, 'a': 135, 'bbase': 426}, {'left_count': 4, 'right_count': 2, 'left_start': 147, 'right_local': 0, 'right_start': 426, 'left_bytes': 24, 'right_bytes': 12, 'spans': [[147, 24], [426, 12]], 'destination_offsets': [0, 24], 'total_bytes': 36}), ({'width': 15, 'split': 4, 'start': 5, 'count': 4, 'b': 6, 'a': 135, 'bbase': 439}, {'left_count': 0, 'right_count': 4, 'left_start': 165, 'right_local': 1, 'right_start': 445, 'left_bytes': 0, 'right_bytes': 24, 'spans': [[445, 24]], 'destination_offsets': [0], 'total_bytes': 24}), ({'width': 16, 'split': 5, 'start': 0, 'count': 12, 'b': 6, 'a': 135, 'bbase': 452}, {'left_count': 5, 'right_count': 7, 'left_start': 135, 'right_local': 0, 'right_start': 452, 'left_bytes': 30, 'right_bytes': 42, 'spans': [[135, 30], [452, 42]], 'destination_offsets': [0, 30], 'total_bytes': 72}), ({'width': 17, 'split': 6, 'start': 6, 'count': 3, 'b': 6, 'a': 135, 'bbase': 465}, {'left_count': 0, 'right_count': 3, 'left_start': 171, 'right_local': 0, 'right_start': 465, 'left_bytes': 0, 'right_bytes': 18, 'spans': [[465, 18]], 'destination_offsets': [0], 'total_bytes': 18})]}\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-scanline-scatter-gather-right-count","generated_at":"2026-09-29T14:45:34.072651+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 right_count: p[\"count\"]-left_count.","root_cause":"Second segment length includes first segment or subtracts absolute split The faulty expression is p[\"count\"].","sha256":"d45c13ef8fa71502bf60d2caa4be659c1fff22d808cb4ac8ea026854573ac94b","title":"Scanline Scatter Gather: Second segment length includes first segment or subtracts absolute split · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.952,"exit_code":1,"observations":[{"actual":{"destination_offsets":[],"left_bytes":0,"left_count":0,"left_start":107,"right_bytes":0,"right_count":0,"right_local":0,"right_start":400,"spans":[],"total_bytes":0},"check":"layout fixture 1","expected":{"destination_offsets":[],"left_bytes":0,"left_count":0,"left_start":107,"right_bytes":0,"right_count":0,"right_local":0,"right_start":400,"spans":[],"total_bytes":0},"passed":true},{"actual":{"destination_offsets":[0],"left_bytes":4,"left_count":2,"left_start":109,"right_bytes":0,"right_count":0,"right_local":0,"right_start":413,"spans":[[109,4]],"total_bytes":4},"check":"layout fixture 2","expected":{"destination_offsets":[0],"left_bytes":4,"left_count":2,"left_start":109,"right_bytes":0,"right_count":0,"right_local":0,"right_start":413,"spans":[[109,4]],"total_bytes":4},"passed":true},{"actual":{"destination_offsets":[0],"left_bytes":8,"left_count":4,"left_start":111,"right_bytes":0,"right_count":0,"right_local":0,"right_start":426,"spans":[[111,8]],"total_bytes":8},"check":"layout fixture 3","expected":{"destination_offsets":[0,8],"left_bytes":8,"left_count":4,"left_start":111,"right_bytes":4,"right_count":2,"right_local":0,"right_start":426,"spans":[[111,8],[426,4]],"total_bytes":12},"passed":false},{"actual":{"destination_offsets":[0],"left_bytes":0,"left_count":0,"left_start":117,"right_bytes":0,"right_count":0,"right_local":1,"right_start":441,"spans":[],"total_bytes":0},"check":"layout fixture 4","expected":{"destination_offsets":[0],"left_bytes":0,"left_count":0,"left_start":117,"right_bytes":8,"right_count":4,"right_local":1,"right_start":441,"spans":[[441,8]],"total_bytes":8},"passed":false},{"actual":{"destination_offsets":[0,10],"left_bytes":10,"left_count":5,"left_start":107,"right_bytes":14,"right_count":7,"right_local":0,"right_start":452,"spans":[[107,10],[452,14]],"total_bytes":24},"check":"layout fixture 5","expected":{"destination_offsets":[0,10],"left_bytes":10,"left_count":5,"left_start":107,"right_bytes":14,"right_count":7,"right_local":0,"right_start":452,"spans":[[107,10],[452,14]],"total_bytes":24},"passed":true},{"actual":{"destination_offsets":[0],"left_bytes":0,"left_count":0,"left_start":119,"right_bytes":0,"right_count":0,"right_local":0,"right_start":465,"spans":[],"total_bytes":0},"check":"layout fixture 6","expected":{"destination_offsets":[0],"left_bytes":0,"left_count":0,"left_start":119,"right_bytes":6,"right_count":3,"right_local":0,"right_start":465,"spans":[[465,6]],"total_bytes":6},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layout fixture 1\", \"actual\": {\"left_count\": 0, \"right_count\": 0, \"left_start\": 107, \"right_local\": 0, \"right_start\": 400, \"left_bytes\": 0, \"right_bytes\": 0, \"spans\": [], \"destination_offsets\": [], \"total_bytes\": 0}, \"expected\": {\"left_count\": 0, \"right_count\": 0, \"left_start\": 107, \"right_local\": 0, \"right_start\": 400, \"left_bytes\": 0, \"right_bytes\": 0, \"spans\": [], \"destination_offsets\": [], \"total_bytes\": 0}, \"passed\": true}, {\"check\": \"layout fixture 2\", \"actual\": {\"left_count\": 2, \"right_count\": 0, \"left_start\": 109, \"right_local\": 0, \"right_start\": 413, \"left_bytes\": 4, \"right_bytes\": 0, \"spans\": [[109, 4]], \"destination_offsets\": [0], \"total_bytes\": 4}, \"expected\": {\"left_count\": 2, \"right_count\": 0, \"left_start\": 109, \"right_local\": 0, \"right_start\": 413, \"left_bytes\": 4, \"right_bytes\": 0, \"spans\": [[109, 4]], \"destination_offsets\": [0], \"total_bytes\": 4}, \"passed\": true}, {\"check\": \"layout fixture 3\", \"actual\": {\"left_count\": 4, \"right_count\": 0, \"left_start\": 111, \"right_local\": 0, \"right_start\": 426, \"left_bytes\": 8, \"right_bytes\": 0, \"spans\": [[111, 8]], \"destination_offsets\": [0], \"total_bytes\": 8}, \"expected\": {\"left_count\": 4, \"right_count\": 2, \"left_start\": 111, \"right_local\": 0, \"right_start\": 426, \"left_bytes\": 8, \"right_bytes\": 4, \"spans\": [[111, 8], [426, 4]], \"destination_offsets\": [0, 8], \"total_bytes\": 12}, \"passed\": false}, {\"check\": \"layout fixture 4\", \"actual\": {\"left_count\": 0, \"right_count\": 0, \"left_start\": 117, \"right_local\": 1, \"right_start\": 441, \"left_bytes\": 0, \"right_bytes\": 0, \"spans\": [], \"destination_offsets\": [0], \"total_bytes\": 0}, \"expected\": {\"left_count\": 0, \"right_count\": 4, \"left_start\": 117, \"right_local\": 1, \"right_start\": 441, \"left_bytes\": 0, \"right_bytes\": 8, \"spans\": [[441, 8]], \"destination_offsets\": [0], \"total_bytes\": 8}, \"passed\": false}, {\"check\": \"layout fixture 5\", \"actual\": {\"left_count\": 5, \"right_count\": 7, \"left_start\": 107, \"right_local\": 0, \"right_start\": 452, \"left_bytes\": 10, \"right_bytes\": 14, \"spans\": [[107, 10], [452, 14]], \"destination_offsets\": [0, 10], \"total_bytes\": 24}, \"expected\": {\"left_count\": 5, \"right_count\": 7, \"left_start\": 107, \"right_local\": 0, \"right_start\": 452, \"left_bytes\": 10, \"right_bytes\": 14, \"spans\": [[107, 10], [452, 14]], \"destination_offsets\": [0, 10], \"total_bytes\": 24}, \"passed\": true}, {\"check\": \"layout fixture 6\", \"actual\": {\"left_count\": 0, \"right_count\": 0, \"left_start\": 119, \"right_local\": 0, \"right_start\": 465, \"left_bytes\": 0, \"right_bytes\": 0, \"spans\": [], \"destination_offsets\": [0], \"total_bytes\": 0}, \"expected\": {\"left_count\": 0, \"right_count\": 3, \"left_start\": 119, \"right_local\": 0, \"right_start\": 465, \"left_bytes\": 0, \"right_bytes\": 6, \"spans\": [[465, 6]], \"destination_offsets\": [0], \"total_bytes\": 6}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.959,"exit_code":1,"observations":[{"actual":{"destination_offsets":[],"left_bytes":0,"left_count":0,"left_start":107,"right_bytes":0,"right_count":0,"right_local":0,"right_start":400,"spans":[],"total_bytes":0},"check":"layout fixture 1","expected":{"destination_offsets":[],"left_bytes":0,"left_count":0,"left_start":107,"right_bytes":0,"right_count":0,"right_local":0,"right_start":400,"spans":[],"total_bytes":0},"passed":true},{"actual":{"destination_offsets":[0,4],"left_bytes":4,"left_count":2,"left_start":109,"right_bytes":4,"right_count":2,"right_local":0,"right_start":413,"spans":[[109,4],[413,4]],"total_bytes":8},"check":"layout fixture 2","expected":{"destination_offsets":[0],"left_bytes":4,"left_count":2,"left_start":109,"right_bytes":0,"right_count":0,"right_local":0,"right_start":413,"spans":[[109,4]],"total_bytes":4},"passed":false},{"actual":{"destination_offsets":[0,8],"left_bytes":8,"left_count":4,"left_start":111,"right_bytes":12,"right_count":6,"right_local":0,"right_start":426,"spans":[[111,8],[426,12]],"total_bytes":20},"check":"layout fixture 3","expected":{"destination_offsets":[0,8],"left_bytes":8,"left_count":4,"left_start":111,"right_bytes":4,"right_count":2,"right_local":0,"right_start":426,"spans":[[111,8],[426,4]],"total_bytes":12},"passed":false},{"actual":{"destination_offsets":[0],"left_bytes":0,"left_count":0,"left_start":117,"right_bytes":8,"right_count":4,"right_local":1,"right_start":441,"spans":[[441,8]],"total_bytes":8},"check":"layout fixture 4","expected":{"destination_offsets":[0],"left_bytes":0,"left_count":0,"left_start":117,"right_bytes":8,"right_count":4,"right_local":1,"right_start":441,"spans":[[441,8]],"total_bytes":8},"passed":true},{"actual":{"destination_offsets":[0,10],"left_bytes":10,"left_count":5,"left_start":107,"right_bytes":24,"right_count":12,"right_local":0,"right_start":452,"spans":[[107,10],[452,24]],"total_bytes":34},"check":"layout fixture 5","expected":{"destination_offsets":[0,10],"left_bytes":10,"left_count":5,"left_start":107,"right_bytes":14,"right_count":7,"right_local":0,"right_start":452,"spans":[[107,10],[452,14]],"total_bytes":24},"passed":false},{"actual":{"destination_offsets":[0],"left_bytes":0,"left_count":0,"left_start":119,"right_bytes":6,"right_count":3,"right_local":0,"right_start":465,"spans":[[465,6]],"total_bytes":6},"check":"layout fixture 6","expected":{"destination_offsets":[0],"left_bytes":0,"left_count":0,"left_start":119,"right_bytes":6,"right_count":3,"right_local":0,"right_start":465,"spans":[[465,6]],"total_bytes":6},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layout fixture 1\", \"actual\": {\"left_count\": 0, \"right_count\": 0, \"left_start\": 107, \"right_local\": 0, \"right_start\": 400, \"left_bytes\": 0, \"right_bytes\": 0, \"spans\": [], \"destination_offsets\": [], \"total_bytes\": 0}, \"expected\": {\"left_count\": 0, \"right_count\": 0, \"left_start\": 107, \"right_local\": 0, \"right_start\": 400, \"left_bytes\": 0, \"right_bytes\": 0, \"spans\": [], \"destination_offsets\": [], \"total_bytes\": 0}, \"passed\": true}, {\"check\": \"layout fixture 2\", \"actual\": {\"left_count\": 2, \"right_count\": 2, \"left_start\": 109, \"right_local\": 0, \"right_start\": 413, \"left_bytes\": 4, \"right_bytes\": 4, \"spans\": [[109, 4], [413, 4]], \"destination_offsets\": [0, 4], \"total_bytes\": 8}, \"expected\": {\"left_count\": 2, \"right_count\": 0, \"left_start\": 109, \"right_local\": 0, \"right_start\": 413, \"left_bytes\": 4, \"right_bytes\": 0, \"spans\": [[109, 4]], \"destination_offsets\": [0], \"total_bytes\": 4}, \"passed\": false}, {\"check\": \"layout fixture 3\", \"actual\": {\"left_count\": 4, \"right_count\": 6, \"left_start\": 111, \"right_local\": 0, \"right_start\": 426, \"left_bytes\": 8, \"right_bytes\": 12, \"spans\": [[111, 8], [426, 12]], \"destination_offsets\": [0, 8], \"total_bytes\": 20}, \"expected\": {\"left_count\": 4, \"right_count\": 2, \"left_start\": 111, \"right_local\": 0, \"right_start\": 426, \"left_bytes\": 8, \"right_bytes\": 4, \"spans\": [[111, 8], [426, 4]], \"destination_offsets\": [0, 8], \"total_bytes\": 12}, \"passed\": false}, {\"check\": \"layout fixture 4\", \"actual\": {\"left_count\": 0, \"right_count\": 4, \"left_start\": 117, \"right_local\": 1, \"right_start\": 441, \"left_bytes\": 0, \"right_bytes\": 8, \"spans\": [[441, 8]], \"destination_offsets\": [0], \"total_bytes\": 8}, \"expected\": {\"left_count\": 0, \"right_count\": 4, \"left_start\": 117, \"right_local\": 1, \"right_start\": 441, \"left_bytes\": 0, \"right_bytes\": 8, \"spans\": [[441, 8]], \"destination_offsets\": [0], \"total_bytes\": 8}, \"passed\": true}, {\"check\": \"layout fixture 5\", \"actual\": {\"left_count\": 5, \"right_count\": 12, \"left_start\": 107, \"right_local\": 0, \"right_start\": 452, \"left_bytes\": 10, \"right_bytes\": 24, \"spans\": [[107, 10], [452, 24]], \"destination_offsets\": [0, 10], \"total_bytes\": 34}, \"expected\": {\"left_count\": 5, \"right_count\": 7, \"left_start\": 107, \"right_local\": 0, \"right_start\": 452, \"left_bytes\": 10, \"right_bytes\": 14, \"spans\": [[107, 10], [452, 14]], \"destination_offsets\": [0, 10], \"total_bytes\": 24}, \"passed\": false}, {\"check\": \"layout fixture 6\", \"actual\": {\"left_count\": 0, \"right_count\": 3, \"left_start\": 119, \"right_local\": 0, \"right_start\": 465, \"left_bytes\": 0, \"right_bytes\": 6, \"spans\": [[465, 6]], \"destination_offsets\": [0], \"total_bytes\": 6}, \"expected\": {\"left_count\": 0, \"right_count\": 3, \"left_start\": 119, \"right_local\": 0, \"right_start\": 465, \"left_bytes\": 0, \"right_bytes\": 6, \"spans\": [[465, 6]], \"destination_offsets\": [0], \"total_bytes\": 6}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.083,"exit_code":0,"observations":[{"actual":{"destination_offsets":[],"left_bytes":0,"left_count":0,"left_start":107,"right_bytes":0,"right_count":0,"right_local":0,"right_start":400,"spans":[],"total_bytes":0},"check":"layout fixture 1","expected":{"destination_offsets":[],"left_bytes":0,"left_count":0,"left_start":107,"right_bytes":0,"right_count":0,"right_local":0,"right_start":400,"spans":[],"total_bytes":0},"passed":true},{"actual":{"destination_offsets":[0],"left_bytes":4,"left_count":2,"left_start":109,"right_bytes":0,"right_count":0,"right_local":0,"right_start":413,"spans":[[109,4]],"total_bytes":4},"check":"layout fixture 2","expected":{"destination_offsets":[0],"left_bytes":4,"left_count":2,"left_start":109,"right_bytes":0,"right_count":0,"right_local":0,"right_start":413,"spans":[[109,4]],"total_bytes":4},"passed":true},{"actual":{"destination_offsets":[0,8],"left_bytes":8,"left_count":4,"left_start":111,"right_bytes":4,"right_count":2,"right_local":0,"right_start":426,"spans":[[111,8],[426,4]],"total_bytes":12},"check":"layout fixture 3","expected":{"destination_offsets":[0,8],"left_bytes":8,"left_count":4,"left_start":111,"right_bytes":4,"right_count":2,"right_local":0,"right_start":426,"spans":[[111,8],[426,4]],"total_bytes":12},"passed":true},{"actual":{"destination_offsets":[0],"left_bytes":0,"left_count":0,"left_start":117,"right_bytes":8,"right_count":4,"right_local":1,"right_start":441,"spans":[[441,8]],"total_bytes":8},"check":"layout fixture 4","expected":{"destination_offsets":[0],"left_bytes":0,"left_count":0,"left_start":117,"right_bytes":8,"right_count":4,"right_local":1,"right_start":441,"spans":[[441,8]],"total_bytes":8},"passed":true},{"actual":{"destination_offsets":[0,10],"left_bytes":10,"left_count":5,"left_start":107,"right_bytes":14,"right_count":7,"right_local":0,"right_start":452,"spans":[[107,10],[452,14]],"total_bytes":24},"check":"layout fixture 5","expected":{"destination_offsets":[0,10],"left_bytes":10,"left_count":5,"left_start":107,"right_bytes":14,"right_count":7,"right_local":0,"right_start":452,"spans":[[107,10],[452,14]],"total_bytes":24},"passed":true},{"actual":{"destination_offsets":[0],"left_bytes":0,"left_count":0,"left_start":119,"right_bytes":6,"right_count":3,"right_local":0,"right_start":465,"spans":[[465,6]],"total_bytes":6},"check":"layout fixture 6","expected":{"destination_offsets":[0],"left_bytes":0,"left_count":0,"left_start":119,"right_bytes":6,"right_count":3,"right_local":0,"right_start":465,"spans":[[465,6]],"total_bytes":6},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"layout fixture 1\", \"actual\": {\"left_count\": 0, \"right_count\": 0, \"left_start\": 107, \"right_local\": 0, \"right_start\": 400, \"left_bytes\": 0, \"right_bytes\": 0, \"spans\": [], \"destination_offsets\": [], \"total_bytes\": 0}, \"expected\": {\"left_count\": 0, \"right_count\": 0, \"left_start\": 107, \"right_local\": 0, \"right_start\": 400, \"left_bytes\": 0, \"right_bytes\": 0, \"spans\": [], \"destination_offsets\": [], \"total_bytes\": 0}, \"passed\": true}, {\"check\": \"layout fixture 2\", \"actual\": {\"left_count\": 2, \"right_count\": 0, \"left_start\": 109, \"right_local\": 0, \"right_start\": 413, \"left_bytes\": 4, \"right_bytes\": 0, \"spans\": [[109, 4]], \"destination_offsets\": [0], \"total_bytes\": 4}, \"expected\": {\"left_count\": 2, \"right_count\": 0, \"left_start\": 109, \"right_local\": 0, \"right_start\": 413, \"left_bytes\": 4, \"right_bytes\": 0, \"spans\": [[109, 4]], \"destination_offsets\": [0], \"total_bytes\": 4}, \"passed\": true}, {\"check\": \"layout fixture 3\", \"actual\": {\"left_count\": 4, \"right_count\": 2, \"left_start\": 111, \"right_local\": 0, \"right_start\": 426, \"left_bytes\": 8, \"right_bytes\": 4, \"spans\": [[111, 8], [426, 4]], \"destination_offsets\": [0, 8], \"total_bytes\": 12}, \"expected\": {\"left_count\": 4, \"right_count\": 2, \"left_start\": 111, \"right_local\": 0, \"right_start\": 426, \"left_bytes\": 8, \"right_bytes\": 4, \"spans\": [[111, 8], [426, 4]], \"destination_offsets\": [0, 8], \"total_bytes\": 12}, \"passed\": true}, {\"check\": \"layout fixture 4\", \"actual\": {\"left_count\": 0, \"right_count\": 4, \"left_start\": 117, \"right_local\": 1, \"right_start\": 441, \"left_bytes\": 0, \"right_bytes\": 8, \"spans\": [[441, 8]], \"destination_offsets\": [0], \"total_bytes\": 8}, \"expected\": {\"left_count\": 0, \"right_count\": 4, \"left_start\": 117, \"right_local\": 1, \"right_start\": 441, \"left_bytes\": 0, \"right_bytes\": 8, \"spans\": [[441, 8]], \"destination_offsets\": [0], \"total_bytes\": 8}, \"passed\": true}, {\"check\": \"layout fixture 5\", \"actual\": {\"left_count\": 5, \"right_count\": 7, \"left_start\": 107, \"right_local\": 0, \"right_start\": 452, \"left_bytes\": 10, \"right_bytes\": 14, \"spans\": [[107, 10], [452, 14]], \"destination_offsets\": [0, 10], \"total_bytes\": 24}, \"expected\": {\"left_count\": 5, \"right_count\": 7, \"left_start\": 107, \"right_local\": 0, \"right_start\": 452, \"left_bytes\": 10, \"right_bytes\": 14, \"spans\": [[107, 10], [452, 14]], \"destination_offsets\": [0, 10], \"total_bytes\": 24}, \"passed\": true}, {\"check\": \"layout fixture 6\", \"actual\": {\"left_count\": 0, \"right_count\": 3, \"left_start\": 119, \"right_local\": 0, \"right_start\": 465, \"left_bytes\": 0, \"right_bytes\": 6, \"spans\": [[465, 6]], \"destination_offsets\": [0], \"total_bytes\": 6}, \"expected\": {\"left_count\": 0, \"right_count\": 3, \"left_start\": 119, \"right_local\": 0, \"right_start\": 465, \"left_bytes\": 0, \"right_bytes\": 6, \"spans\": [[465, 6]], \"destination_offsets\": [0], \"total_bytes\": 6}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}