{"abstract":"The doubled half-width is rounded instead of floored, admitting pixel centers just outside the disc.","category":"Raster clipping","checks":10,"contract":"Each command is [cx,cy,r,scissor] for a filled disc centred on the integer pixel-corner point (cx,cy). Pixel (x,y) is covered when its center (x+1/2,y+1/2) lies within the closed disc. Rows of the half-open scissor [left,top,right,bottom) intersected with [0,size) are scanned in order, computing exact integer span bounds with half-pixel doubled coordinates and an integer square root, then clipping to scissor columns. Non-empty spans are [row,start,end).","evaluation_group":"s3-raster-clipping-circle-span-scissor","failed_approach":"Rewriting the rounding with an offset still rounds up.","family":"s3-raster-clipping-circle-span-scissor-float-root-rounding","id":"FA-51831","implementations":{"attempt":{"sha256":"cb0a545544b87f2c4ee0a05bc491b9bc7aef00bd5fdff1cb037b7b8454b33e68","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom math import isqrt\nN = 1\nobservations = []\ndef solve(commands, size):\n    out=[]\n    for cx,cy,r,clip in commands:\n        l,t,rr,b=max(clip[0],0),max(clip[1],0),min(clip[2],size),min(clip[3],size)\n        spans=[]\n        for y in range(t,b):\n            m=4*r*r-(2*y+1-2*cy)**2\n            if m<0: continue\n            k=int(m**0.5+0.5)\n            xa=-((1+k-2*cx)//2)\n            xb=(2*cx-1+k)//2+1\n            xa,xb=max(xa,l),min(xb,rr)\n            if xa<xb: spans.append([y,xa,xb])\n        out.append(spans)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nif N == 1:\n    check('explicit case 0', solve([[3, 3, 2, [0, 0, 6, 6]]], 6), [[[1, 2, 4], [2, 1, 5], [3, 1, 5], [4, 2, 4]]])\n    check('explicit case 1', solve([[3, 3, 3, [0, 0, 6, 6]]], 6), [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]])\n    check('explicit case 2', solve([[2, 2, 1, [0, 0, 6, 6]]], 6), [[[1, 1, 3], [2, 1, 3]]])\n    check('explicit case 3', solve([[3, 3, 3, [1, 1, 6, 5]]], 6), [[[1, 1, 6], [2, 1, 6], [3, 1, 6], [4, 1, 6]]])\n    check('explicit case 4', solve([[0, 0, 3, [0, 0, 6, 6]]], 6), [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]])\n    check('explicit case 5', solve([[6, 3, 2, [0, 0, 6, 6]]], 6), [[[1, 5, 6], [2, 4, 6], [3, 4, 6], [4, 5, 6]]])\n    check('explicit case 6', solve([[4, 2, 4, [2, 0, 6, 4]]], 6), [[[0, 2, 6], [1, 2, 6], [2, 2, 6], [3, 2, 6]]])\n    check('explicit case 7', solve([[1, 3, 2, [0, 0, 6, 6]]], 6), [[[1, 0, 2], [2, 0, 3], [3, 0, 3], [4, 0, 2]]])\n    check('explicit case 8', solve([[2, 4, 3, [0, 0, 6, 6]]], 6), [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5]]])\n    check('explicit case 9', solve([[3, 2, 5, [0, 0, 6, 6]]], 6), [[[0, 0, 6], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 0, 6]]])\nif N == 2:\n    check('explicit case 0', solve([[3, 3, 2, [0, 0, 7, 7]]], 7), [[[1, 2, 4], [2, 1, 5], [3, 1, 5], [4, 2, 4]]])\n    check('explicit case 1', solve([[3, 3, 3, [0, 0, 7, 7]]], 7), [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]])\n    check('explicit case 2', solve([[2, 2, 1, [0, 0, 7, 7]]], 7), [[[1, 1, 3], [2, 1, 3]]])\n    check('explicit case 3', solve([[3, 3, 3, [1, 1, 7, 6]]], 7), [[[1, 1, 6], [2, 1, 6], [3, 1, 6], [4, 1, 6], [5, 1, 5]]])\n    check('explicit case 4', solve([[0, 0, 3, [0, 0, 7, 7]]], 7), [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]])\n    check('explicit case 5', solve([[7, 3, 2, [0, 0, 7, 7]]], 7), [[[1, 6, 7], [2, 5, 7], [3, 5, 7], [4, 6, 7]]])\n    check('explicit case 6', solve([[4, 2, 4, [2, 0, 7, 4]]], 7), [[[0, 2, 7], [1, 2, 7], [2, 2, 7], [3, 2, 7]]])\n    check('explicit case 7', solve([[1, 3, 2, [0, 0, 7, 7]]], 7), [[[1, 0, 2], [2, 0, 3], [3, 0, 3], [4, 0, 2]]])\n    check('explicit case 8', solve([[2, 4, 3, [0, 0, 7, 7]]], 7), [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5], [6, 0, 4]]])\n    check('explicit case 9', solve([[3, 2, 5, [0, 0, 7, 7]]], 7), [[[0, 0, 7], [1, 0, 7], [2, 0, 7], [3, 0, 7], [4, 0, 7], [5, 0, 7], [6, 1, 5]]])\nif N == 3:\n    check('explicit case 0', solve([[3, 3, 2, [0, 0, 8, 8]]], 8), [[[1, 2, 4], [2, 1, 5], [3, 1, 5], [4, 2, 4]]])\n    check('explicit case 1', solve([[3, 3, 3, [0, 0, 8, 8]]], 8), [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]])\n    check('explicit case 2', solve([[2, 2, 1, [0, 0, 8, 8]]], 8), [[[1, 1, 3], [2, 1, 3]]])\n    check('explicit case 3', solve([[4, 4, 4, [1, 1, 8, 7]]], 8), [[[1, 1, 7], [2, 1, 8], [3, 1, 8], [4, 1, 8], [5, 1, 8], [6, 1, 7]]])\n    check('explicit case 4', solve([[0, 0, 3, [0, 0, 8, 8]]], 8), [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]])\n    check('explicit case 5', solve([[8, 3, 2, [0, 0, 8, 8]]], 8), [[[1, 7, 8], [2, 6, 8], [3, 6, 8], [4, 7, 8]]])\n    check('explicit case 6', solve([[4, 2, 4, [2, 0, 8, 4]]], 8), [[[0, 2, 8], [1, 2, 8], [2, 2, 8], [3, 2, 8]]])\n    check('explicit case 7', solve([[1, 3, 2, [0, 0, 8, 8]]], 8), [[[1, 0, 2], [2, 0, 3], [3, 0, 3], [4, 0, 2]]])\n    check('explicit case 8', solve([[2, 4, 3, [0, 0, 8, 8]]], 8), [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5], [6, 0, 4]]])\n    check('explicit case 9', solve([[3, 2, 5, [0, 0, 8, 8]]], 8), [[[0, 0, 8], [1, 0, 8], [2, 0, 8], [3, 0, 8], [4, 0, 7], [5, 0, 7], [6, 1, 5]]])\nif N == 4:\n    check('explicit case 0', solve([[3, 3, 2, [0, 0, 9, 9]]], 9), [[[1, 2, 4], [2, 1, 5], [3, 1, 5], [4, 2, 4]]])\n    check('explicit case 1', solve([[3, 3, 3, [0, 0, 9, 9]]], 9), [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]])\n    check('explicit case 2', solve([[2, 2, 1, [0, 0, 9, 9]]], 9), [[[1, 1, 3], [2, 1, 3]]])\n    check('explicit case 3', solve([[4, 4, 4, [1, 1, 9, 8]]], 9), [[[1, 1, 7], [2, 1, 8], [3, 1, 8], [4, 1, 8], [5, 1, 8], [6, 1, 7], [7, 2, 6]]])\n    check('explicit case 4', solve([[0, 0, 3, [0, 0, 9, 9]]], 9), [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]])\n    check('explicit case 5', solve([[9, 3, 2, [0, 0, 9, 9]]], 9), [[[1, 8, 9], [2, 7, 9], [3, 7, 9], [4, 8, 9]]])\n    check('explicit case 6', solve([[4, 2, 4, [2, 0, 9, 4]]], 9), [[[0, 2, 8], [1, 2, 8], [2, 2, 8], [3, 2, 8]]])\n    check('explicit case 7', solve([[1, 3, 2, [0, 0, 9, 9]]], 9), [[[1, 0, 2], [2, 0, 3], [3, 0, 3], [4, 0, 2]]])\n    check('explicit case 8', solve([[2, 4, 3, [0, 0, 9, 9]]], 9), [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5], [6, 0, 4]]])\n    check('explicit case 9', solve([[3, 2, 5, [0, 0, 9, 9]]], 9), [[[0, 0, 8], [1, 0, 8], [2, 0, 8], [3, 0, 8], [4, 0, 7], [5, 0, 7], [6, 1, 5]]])\nif N == 5:\n    check('explicit case 0', solve([[3, 3, 2, [0, 0, 10, 10]]], 10), [[[1, 2, 4], [2, 1, 5], [3, 1, 5], [4, 2, 4]]])\n    check('explicit case 1', solve([[3, 3, 3, [0, 0, 10, 10]]], 10), [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]])\n    check('explicit case 2', solve([[2, 2, 1, [0, 0, 10, 10]]], 10), [[[1, 1, 3], [2, 1, 3]]])\n    check('explicit case 3', solve([[5, 5, 5, [1, 1, 10, 9]]], 10), [[[1, 1, 9], [2, 1, 9], [3, 1, 10], [4, 1, 10], [5, 1, 10], [6, 1, 10], [7, 1, 9], [8, 1, 9]]])\n    check('explicit case 4', solve([[0, 0, 3, [0, 0, 10, 10]]], 10), [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]])\n    check('explicit case 5', solve([[10, 3, 2, [0, 0, 10, 10]]], 10), [[[1, 9, 10], [2, 8, 10], [3, 8, 10], [4, 9, 10]]])\n    check('explicit case 6', solve([[4, 2, 4, [2, 0, 10, 4]]], 10), [[[0, 2, 8], [1, 2, 8], [2, 2, 8], [3, 2, 8]]])\n    check('explicit case 7', solve([[1, 3, 2, [0, 0, 10, 10]]], 10), [[[1, 0, 2], [2, 0, 3], [3, 0, 3], [4, 0, 2]]])\n    check('explicit case 8', solve([[2, 4, 3, [0, 0, 10, 10]]], 10), [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5], [6, 0, 4]]])\n    check('explicit case 9', solve([[3, 2, 5, [0, 0, 10, 10]]], 10), [[[0, 0, 8], [1, 0, 8], [2, 0, 8], [3, 0, 8], [4, 0, 7], [5, 0, 7], [6, 1, 5]]])\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":"a8065419088f2c146829f04cbf27c95a0ec1d69a932e7ff51db4d5170e72be49","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom math import isqrt\nN = 1\nobservations = []\ndef solve(commands, size):\n    out=[]\n    for cx,cy,r,clip in commands:\n        l,t,rr,b=max(clip[0],0),max(clip[1],0),min(clip[2],size),min(clip[3],size)\n        spans=[]\n        for y in range(t,b):\n            m=4*r*r-(2*y+1-2*cy)**2\n            if m<0: continue\n            k=round(m**0.5)\n            xa=-((1+k-2*cx)//2)\n            xb=(2*cx-1+k)//2+1\n            xa,xb=max(xa,l),min(xb,rr)\n            if xa<xb: spans.append([y,xa,xb])\n        out.append(spans)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nif N == 1:\n    check('explicit case 0', solve([[3, 3, 2, [0, 0, 6, 6]]], 6), [[[1, 2, 4], [2, 1, 5], [3, 1, 5], [4, 2, 4]]])\n    check('explicit case 1', solve([[3, 3, 3, [0, 0, 6, 6]]], 6), [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]])\n    check('explicit case 2', solve([[2, 2, 1, [0, 0, 6, 6]]], 6), [[[1, 1, 3], [2, 1, 3]]])\n    check('explicit case 3', solve([[3, 3, 3, [1, 1, 6, 5]]], 6), [[[1, 1, 6], [2, 1, 6], [3, 1, 6], [4, 1, 6]]])\n    check('explicit case 4', solve([[0, 0, 3, [0, 0, 6, 6]]], 6), [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]])\n    check('explicit case 5', solve([[6, 3, 2, [0, 0, 6, 6]]], 6), [[[1, 5, 6], [2, 4, 6], [3, 4, 6], [4, 5, 6]]])\n    check('explicit case 6', solve([[4, 2, 4, [2, 0, 6, 4]]], 6), [[[0, 2, 6], [1, 2, 6], [2, 2, 6], [3, 2, 6]]])\n    check('explicit case 7', solve([[1, 3, 2, [0, 0, 6, 6]]], 6), [[[1, 0, 2], [2, 0, 3], [3, 0, 3], [4, 0, 2]]])\n    check('explicit case 8', solve([[2, 4, 3, [0, 0, 6, 6]]], 6), [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5]]])\n    check('explicit case 9', solve([[3, 2, 5, [0, 0, 6, 6]]], 6), [[[0, 0, 6], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 0, 6]]])\nif N == 2:\n    check('explicit case 0', solve([[3, 3, 2, [0, 0, 7, 7]]], 7), [[[1, 2, 4], [2, 1, 5], [3, 1, 5], [4, 2, 4]]])\n    check('explicit case 1', solve([[3, 3, 3, [0, 0, 7, 7]]], 7), [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]])\n    check('explicit case 2', solve([[2, 2, 1, [0, 0, 7, 7]]], 7), [[[1, 1, 3], [2, 1, 3]]])\n    check('explicit case 3', solve([[3, 3, 3, [1, 1, 7, 6]]], 7), [[[1, 1, 6], [2, 1, 6], [3, 1, 6], [4, 1, 6], [5, 1, 5]]])\n    check('explicit case 4', solve([[0, 0, 3, [0, 0, 7, 7]]], 7), [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]])\n    check('explicit case 5', solve([[7, 3, 2, [0, 0, 7, 7]]], 7), [[[1, 6, 7], [2, 5, 7], [3, 5, 7], [4, 6, 7]]])\n    check('explicit case 6', solve([[4, 2, 4, [2, 0, 7, 4]]], 7), [[[0, 2, 7], [1, 2, 7], [2, 2, 7], [3, 2, 7]]])\n    check('explicit case 7', solve([[1, 3, 2, [0, 0, 7, 7]]], 7), [[[1, 0, 2], [2, 0, 3], [3, 0, 3], [4, 0, 2]]])\n    check('explicit case 8', solve([[2, 4, 3, [0, 0, 7, 7]]], 7), [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5], [6, 0, 4]]])\n    check('explicit case 9', solve([[3, 2, 5, [0, 0, 7, 7]]], 7), [[[0, 0, 7], [1, 0, 7], [2, 0, 7], [3, 0, 7], [4, 0, 7], [5, 0, 7], [6, 1, 5]]])\nif N == 3:\n    check('explicit case 0', solve([[3, 3, 2, [0, 0, 8, 8]]], 8), [[[1, 2, 4], [2, 1, 5], [3, 1, 5], [4, 2, 4]]])\n    check('explicit case 1', solve([[3, 3, 3, [0, 0, 8, 8]]], 8), [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]])\n    check('explicit case 2', solve([[2, 2, 1, [0, 0, 8, 8]]], 8), [[[1, 1, 3], [2, 1, 3]]])\n    check('explicit case 3', solve([[4, 4, 4, [1, 1, 8, 7]]], 8), [[[1, 1, 7], [2, 1, 8], [3, 1, 8], [4, 1, 8], [5, 1, 8], [6, 1, 7]]])\n    check('explicit case 4', solve([[0, 0, 3, [0, 0, 8, 8]]], 8), [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]])\n    check('explicit case 5', solve([[8, 3, 2, [0, 0, 8, 8]]], 8), [[[1, 7, 8], [2, 6, 8], [3, 6, 8], [4, 7, 8]]])\n    check('explicit case 6', solve([[4, 2, 4, [2, 0, 8, 4]]], 8), [[[0, 2, 8], [1, 2, 8], [2, 2, 8], [3, 2, 8]]])\n    check('explicit case 7', solve([[1, 3, 2, [0, 0, 8, 8]]], 8), [[[1, 0, 2], [2, 0, 3], [3, 0, 3], [4, 0, 2]]])\n    check('explicit case 8', solve([[2, 4, 3, [0, 0, 8, 8]]], 8), [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5], [6, 0, 4]]])\n    check('explicit case 9', solve([[3, 2, 5, [0, 0, 8, 8]]], 8), [[[0, 0, 8], [1, 0, 8], [2, 0, 8], [3, 0, 8], [4, 0, 7], [5, 0, 7], [6, 1, 5]]])\nif N == 4:\n    check('explicit case 0', solve([[3, 3, 2, [0, 0, 9, 9]]], 9), [[[1, 2, 4], [2, 1, 5], [3, 1, 5], [4, 2, 4]]])\n    check('explicit case 1', solve([[3, 3, 3, [0, 0, 9, 9]]], 9), [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]])\n    check('explicit case 2', solve([[2, 2, 1, [0, 0, 9, 9]]], 9), [[[1, 1, 3], [2, 1, 3]]])\n    check('explicit case 3', solve([[4, 4, 4, [1, 1, 9, 8]]], 9), [[[1, 1, 7], [2, 1, 8], [3, 1, 8], [4, 1, 8], [5, 1, 8], [6, 1, 7], [7, 2, 6]]])\n    check('explicit case 4', solve([[0, 0, 3, [0, 0, 9, 9]]], 9), [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]])\n    check('explicit case 5', solve([[9, 3, 2, [0, 0, 9, 9]]], 9), [[[1, 8, 9], [2, 7, 9], [3, 7, 9], [4, 8, 9]]])\n    check('explicit case 6', solve([[4, 2, 4, [2, 0, 9, 4]]], 9), [[[0, 2, 8], [1, 2, 8], [2, 2, 8], [3, 2, 8]]])\n    check('explicit case 7', solve([[1, 3, 2, [0, 0, 9, 9]]], 9), [[[1, 0, 2], [2, 0, 3], [3, 0, 3], [4, 0, 2]]])\n    check('explicit case 8', solve([[2, 4, 3, [0, 0, 9, 9]]], 9), [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5], [6, 0, 4]]])\n    check('explicit case 9', solve([[3, 2, 5, [0, 0, 9, 9]]], 9), [[[0, 0, 8], [1, 0, 8], [2, 0, 8], [3, 0, 8], [4, 0, 7], [5, 0, 7], [6, 1, 5]]])\nif N == 5:\n    check('explicit case 0', solve([[3, 3, 2, [0, 0, 10, 10]]], 10), [[[1, 2, 4], [2, 1, 5], [3, 1, 5], [4, 2, 4]]])\n    check('explicit case 1', solve([[3, 3, 3, [0, 0, 10, 10]]], 10), [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]])\n    check('explicit case 2', solve([[2, 2, 1, [0, 0, 10, 10]]], 10), [[[1, 1, 3], [2, 1, 3]]])\n    check('explicit case 3', solve([[5, 5, 5, [1, 1, 10, 9]]], 10), [[[1, 1, 9], [2, 1, 9], [3, 1, 10], [4, 1, 10], [5, 1, 10], [6, 1, 10], [7, 1, 9], [8, 1, 9]]])\n    check('explicit case 4', solve([[0, 0, 3, [0, 0, 10, 10]]], 10), [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]])\n    check('explicit case 5', solve([[10, 3, 2, [0, 0, 10, 10]]], 10), [[[1, 9, 10], [2, 8, 10], [3, 8, 10], [4, 9, 10]]])\n    check('explicit case 6', solve([[4, 2, 4, [2, 0, 10, 4]]], 10), [[[0, 2, 8], [1, 2, 8], [2, 2, 8], [3, 2, 8]]])\n    check('explicit case 7', solve([[1, 3, 2, [0, 0, 10, 10]]], 10), [[[1, 0, 2], [2, 0, 3], [3, 0, 3], [4, 0, 2]]])\n    check('explicit case 8', solve([[2, 4, 3, [0, 0, 10, 10]]], 10), [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5], [6, 0, 4]]])\n    check('explicit case 9', solve([[3, 2, 5, [0, 0, 10, 10]]], 10), [[[0, 0, 8], [1, 0, 8], [2, 0, 8], [3, 0, 8], [4, 0, 7], [5, 0, 7], [6, 1, 5]]])\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":"c548acc932506688c4fae5fdb9262f2a9392099598ab72612c7ca12b67705445","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nfrom math import isqrt\nN = 1\nobservations = []\ndef solve(commands, size):\n    out=[]\n    for cx,cy,r,clip in commands:\n        l,t,rr,b=max(clip[0],0),max(clip[1],0),min(clip[2],size),min(clip[3],size)\n        spans=[]\n        for y in range(t,b):\n            m=4*r*r-(2*y+1-2*cy)**2\n            if m<0: continue\n            k=isqrt(m)\n            xa=-((1+k-2*cx)//2)\n            xb=(2*cx-1+k)//2+1\n            xa,xb=max(xa,l),min(xb,rr)\n            if xa<xb: spans.append([y,xa,xb])\n        out.append(spans)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nif N == 1:\n    check('explicit case 0', solve([[3, 3, 2, [0, 0, 6, 6]]], 6), [[[1, 2, 4], [2, 1, 5], [3, 1, 5], [4, 2, 4]]])\n    check('explicit case 1', solve([[3, 3, 3, [0, 0, 6, 6]]], 6), [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]])\n    check('explicit case 2', solve([[2, 2, 1, [0, 0, 6, 6]]], 6), [[[1, 1, 3], [2, 1, 3]]])\n    check('explicit case 3', solve([[3, 3, 3, [1, 1, 6, 5]]], 6), [[[1, 1, 6], [2, 1, 6], [3, 1, 6], [4, 1, 6]]])\n    check('explicit case 4', solve([[0, 0, 3, [0, 0, 6, 6]]], 6), [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]])\n    check('explicit case 5', solve([[6, 3, 2, [0, 0, 6, 6]]], 6), [[[1, 5, 6], [2, 4, 6], [3, 4, 6], [4, 5, 6]]])\n    check('explicit case 6', solve([[4, 2, 4, [2, 0, 6, 4]]], 6), [[[0, 2, 6], [1, 2, 6], [2, 2, 6], [3, 2, 6]]])\n    check('explicit case 7', solve([[1, 3, 2, [0, 0, 6, 6]]], 6), [[[1, 0, 2], [2, 0, 3], [3, 0, 3], [4, 0, 2]]])\n    check('explicit case 8', solve([[2, 4, 3, [0, 0, 6, 6]]], 6), [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5]]])\n    check('explicit case 9', solve([[3, 2, 5, [0, 0, 6, 6]]], 6), [[[0, 0, 6], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 0, 6]]])\nif N == 2:\n    check('explicit case 0', solve([[3, 3, 2, [0, 0, 7, 7]]], 7), [[[1, 2, 4], [2, 1, 5], [3, 1, 5], [4, 2, 4]]])\n    check('explicit case 1', solve([[3, 3, 3, [0, 0, 7, 7]]], 7), [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]])\n    check('explicit case 2', solve([[2, 2, 1, [0, 0, 7, 7]]], 7), [[[1, 1, 3], [2, 1, 3]]])\n    check('explicit case 3', solve([[3, 3, 3, [1, 1, 7, 6]]], 7), [[[1, 1, 6], [2, 1, 6], [3, 1, 6], [4, 1, 6], [5, 1, 5]]])\n    check('explicit case 4', solve([[0, 0, 3, [0, 0, 7, 7]]], 7), [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]])\n    check('explicit case 5', solve([[7, 3, 2, [0, 0, 7, 7]]], 7), [[[1, 6, 7], [2, 5, 7], [3, 5, 7], [4, 6, 7]]])\n    check('explicit case 6', solve([[4, 2, 4, [2, 0, 7, 4]]], 7), [[[0, 2, 7], [1, 2, 7], [2, 2, 7], [3, 2, 7]]])\n    check('explicit case 7', solve([[1, 3, 2, [0, 0, 7, 7]]], 7), [[[1, 0, 2], [2, 0, 3], [3, 0, 3], [4, 0, 2]]])\n    check('explicit case 8', solve([[2, 4, 3, [0, 0, 7, 7]]], 7), [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5], [6, 0, 4]]])\n    check('explicit case 9', solve([[3, 2, 5, [0, 0, 7, 7]]], 7), [[[0, 0, 7], [1, 0, 7], [2, 0, 7], [3, 0, 7], [4, 0, 7], [5, 0, 7], [6, 1, 5]]])\nif N == 3:\n    check('explicit case 0', solve([[3, 3, 2, [0, 0, 8, 8]]], 8), [[[1, 2, 4], [2, 1, 5], [3, 1, 5], [4, 2, 4]]])\n    check('explicit case 1', solve([[3, 3, 3, [0, 0, 8, 8]]], 8), [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]])\n    check('explicit case 2', solve([[2, 2, 1, [0, 0, 8, 8]]], 8), [[[1, 1, 3], [2, 1, 3]]])\n    check('explicit case 3', solve([[4, 4, 4, [1, 1, 8, 7]]], 8), [[[1, 1, 7], [2, 1, 8], [3, 1, 8], [4, 1, 8], [5, 1, 8], [6, 1, 7]]])\n    check('explicit case 4', solve([[0, 0, 3, [0, 0, 8, 8]]], 8), [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]])\n    check('explicit case 5', solve([[8, 3, 2, [0, 0, 8, 8]]], 8), [[[1, 7, 8], [2, 6, 8], [3, 6, 8], [4, 7, 8]]])\n    check('explicit case 6', solve([[4, 2, 4, [2, 0, 8, 4]]], 8), [[[0, 2, 8], [1, 2, 8], [2, 2, 8], [3, 2, 8]]])\n    check('explicit case 7', solve([[1, 3, 2, [0, 0, 8, 8]]], 8), [[[1, 0, 2], [2, 0, 3], [3, 0, 3], [4, 0, 2]]])\n    check('explicit case 8', solve([[2, 4, 3, [0, 0, 8, 8]]], 8), [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5], [6, 0, 4]]])\n    check('explicit case 9', solve([[3, 2, 5, [0, 0, 8, 8]]], 8), [[[0, 0, 8], [1, 0, 8], [2, 0, 8], [3, 0, 8], [4, 0, 7], [5, 0, 7], [6, 1, 5]]])\nif N == 4:\n    check('explicit case 0', solve([[3, 3, 2, [0, 0, 9, 9]]], 9), [[[1, 2, 4], [2, 1, 5], [3, 1, 5], [4, 2, 4]]])\n    check('explicit case 1', solve([[3, 3, 3, [0, 0, 9, 9]]], 9), [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]])\n    check('explicit case 2', solve([[2, 2, 1, [0, 0, 9, 9]]], 9), [[[1, 1, 3], [2, 1, 3]]])\n    check('explicit case 3', solve([[4, 4, 4, [1, 1, 9, 8]]], 9), [[[1, 1, 7], [2, 1, 8], [3, 1, 8], [4, 1, 8], [5, 1, 8], [6, 1, 7], [7, 2, 6]]])\n    check('explicit case 4', solve([[0, 0, 3, [0, 0, 9, 9]]], 9), [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]])\n    check('explicit case 5', solve([[9, 3, 2, [0, 0, 9, 9]]], 9), [[[1, 8, 9], [2, 7, 9], [3, 7, 9], [4, 8, 9]]])\n    check('explicit case 6', solve([[4, 2, 4, [2, 0, 9, 4]]], 9), [[[0, 2, 8], [1, 2, 8], [2, 2, 8], [3, 2, 8]]])\n    check('explicit case 7', solve([[1, 3, 2, [0, 0, 9, 9]]], 9), [[[1, 0, 2], [2, 0, 3], [3, 0, 3], [4, 0, 2]]])\n    check('explicit case 8', solve([[2, 4, 3, [0, 0, 9, 9]]], 9), [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5], [6, 0, 4]]])\n    check('explicit case 9', solve([[3, 2, 5, [0, 0, 9, 9]]], 9), [[[0, 0, 8], [1, 0, 8], [2, 0, 8], [3, 0, 8], [4, 0, 7], [5, 0, 7], [6, 1, 5]]])\nif N == 5:\n    check('explicit case 0', solve([[3, 3, 2, [0, 0, 10, 10]]], 10), [[[1, 2, 4], [2, 1, 5], [3, 1, 5], [4, 2, 4]]])\n    check('explicit case 1', solve([[3, 3, 3, [0, 0, 10, 10]]], 10), [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]])\n    check('explicit case 2', solve([[2, 2, 1, [0, 0, 10, 10]]], 10), [[[1, 1, 3], [2, 1, 3]]])\n    check('explicit case 3', solve([[5, 5, 5, [1, 1, 10, 9]]], 10), [[[1, 1, 9], [2, 1, 9], [3, 1, 10], [4, 1, 10], [5, 1, 10], [6, 1, 10], [7, 1, 9], [8, 1, 9]]])\n    check('explicit case 4', solve([[0, 0, 3, [0, 0, 10, 10]]], 10), [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]])\n    check('explicit case 5', solve([[10, 3, 2, [0, 0, 10, 10]]], 10), [[[1, 9, 10], [2, 8, 10], [3, 8, 10], [4, 9, 10]]])\n    check('explicit case 6', solve([[4, 2, 4, [2, 0, 10, 4]]], 10), [[[0, 2, 8], [1, 2, 8], [2, 2, 8], [3, 2, 8]]])\n    check('explicit case 7', solve([[1, 3, 2, [0, 0, 10, 10]]], 10), [[[1, 0, 2], [2, 0, 3], [3, 0, 3], [4, 0, 2]]])\n    check('explicit case 8', solve([[2, 4, 3, [0, 0, 10, 10]]], 10), [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5], [6, 0, 4]]])\n    check('explicit case 9', solve([[3, 2, 5, [0, 0, 10, 10]]], 10), [[[0, 0, 8], [1, 0, 8], [2, 0, 8], [3, 0, 8], [4, 0, 7], [5, 0, 7], [6, 1, 5]]])\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":"Exact integer/rational arithmetic on small stipulated fixtures models the clipping decision only; no memory layout, GPU pipeline, graphics API or standards conformance is claimed. 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-clipping-circle-span-scissor-float-root-rounding","generated_at":"2026-09-29T14:45:22.994297+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Raster clipping decides which pixels a primitive may touch; a single wrong clip decision writes outside the target or scissor, or silently drops visible coverage.","repair":"Restore the specified clipping decision at float root rounding. Each command is [cx,cy,r,scissor] for a filled disc centred on the integer pixel-corner point (cx,cy). Pixel (x,y) is covered when its center (x+1/2,y+1/2) lies within the closed disc. Rows of the half-open scissor [left,top,right,bottom) intersected with [0,size) are scanned in order, computing exact integer span bounds with half-pixel doubled coordinates and an integer square root, then clipping to scissor columns. Non-empty spans are [row,start,end).","root_cause":"The doubled half-width is rounded instead of floored, admitting pixel centers just outside the disc.","sha256":"e91f740fec64a22ecdc893217ebae757ec7fecc2da72aeff563c98da0a67a2e0","title":"Circle span scissor: float root rounding · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":55.947,"exit_code":1,"observations":[{"actual":[[[1,1,5],[2,1,5],[3,1,5],[4,1,5]]],"check":"explicit case 0","expected":[[[1,2,4],[2,1,5],[3,1,5],[4,2,4]]],"passed":false},{"actual":[[[0,1,5],[1,0,6],[2,0,6],[3,0,6],[4,0,6],[5,1,5]]],"check":"explicit case 1","expected":[[[0,1,5],[1,0,6],[2,0,6],[3,0,6],[4,0,6],[5,1,5]]],"passed":true},{"actual":[[[1,1,3],[2,1,3]]],"check":"explicit case 2","expected":[[[1,1,3],[2,1,3]]],"passed":true},{"actual":[[[1,1,6],[2,1,6],[3,1,6],[4,1,6]]],"check":"explicit case 3","expected":[[[1,1,6],[2,1,6],[3,1,6],[4,1,6]]],"passed":true},{"actual":[[[0,0,3],[1,0,3],[2,0,2]]],"check":"explicit case 4","expected":[[[0,0,3],[1,0,3],[2,0,2]]],"passed":true},{"actual":[[[1,4,6],[2,4,6],[3,4,6],[4,4,6]]],"check":"explicit case 5","expected":[[[1,5,6],[2,4,6],[3,4,6],[4,5,6]]],"passed":false},{"actual":[[[0,2,6],[1,2,6],[2,2,6],[3,2,6]]],"check":"explicit case 6","expected":[[[0,2,6],[1,2,6],[2,2,6],[3,2,6]]],"passed":true},{"actual":[[[1,0,3],[2,0,3],[3,0,3],[4,0,3]]],"check":"explicit case 7","expected":[[[1,0,2],[2,0,3],[3,0,3],[4,0,2]]],"passed":false},{"actual":[[[1,0,4],[2,0,5],[3,0,5],[4,0,5],[5,0,5]]],"check":"explicit case 8","expected":[[[1,0,4],[2,0,5],[3,0,5],[4,0,5],[5,0,5]]],"passed":true},{"actual":[[[0,0,6],[1,0,6],[2,0,6],[3,0,6],[4,0,6],[5,0,6]]],"check":"explicit case 9","expected":[[[0,0,6],[1,0,6],[2,0,6],[3,0,6],[4,0,6],[5,0,6]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit case 0\", \"actual\": [[[1, 1, 5], [2, 1, 5], [3, 1, 5], [4, 1, 5]]], \"expected\": [[[1, 2, 4], [2, 1, 5], [3, 1, 5], [4, 2, 4]]], \"passed\": false}, {\"check\": \"explicit case 1\", \"actual\": [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]], \"expected\": [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]], \"passed\": true}, {\"check\": \"explicit case 2\", \"actual\": [[[1, 1, 3], [2, 1, 3]]], \"expected\": [[[1, 1, 3], [2, 1, 3]]], \"passed\": true}, {\"check\": \"explicit case 3\", \"actual\": [[[1, 1, 6], [2, 1, 6], [3, 1, 6], [4, 1, 6]]], \"expected\": [[[1, 1, 6], [2, 1, 6], [3, 1, 6], [4, 1, 6]]], \"passed\": true}, {\"check\": \"explicit case 4\", \"actual\": [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]], \"expected\": [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]], \"passed\": true}, {\"check\": \"explicit case 5\", \"actual\": [[[1, 4, 6], [2, 4, 6], [3, 4, 6], [4, 4, 6]]], \"expected\": [[[1, 5, 6], [2, 4, 6], [3, 4, 6], [4, 5, 6]]], \"passed\": false}, {\"check\": \"explicit case 6\", \"actual\": [[[0, 2, 6], [1, 2, 6], [2, 2, 6], [3, 2, 6]]], \"expected\": [[[0, 2, 6], [1, 2, 6], [2, 2, 6], [3, 2, 6]]], \"passed\": true}, {\"check\": \"explicit case 7\", \"actual\": [[[1, 0, 3], [2, 0, 3], [3, 0, 3], [4, 0, 3]]], \"expected\": [[[1, 0, 2], [2, 0, 3], [3, 0, 3], [4, 0, 2]]], \"passed\": false}, {\"check\": \"explicit case 8\", \"actual\": [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5]]], \"expected\": [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5]]], \"passed\": true}, {\"check\": \"explicit case 9\", \"actual\": [[[0, 0, 6], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 0, 6]]], \"expected\": [[[0, 0, 6], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 0, 6]]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":55.73,"exit_code":1,"observations":[{"actual":[[[1,1,5],[2,1,5],[3,1,5],[4,1,5]]],"check":"explicit case 0","expected":[[[1,2,4],[2,1,5],[3,1,5],[4,2,4]]],"passed":false},{"actual":[[[0,1,5],[1,0,6],[2,0,6],[3,0,6],[4,0,6],[5,1,5]]],"check":"explicit case 1","expected":[[[0,1,5],[1,0,6],[2,0,6],[3,0,6],[4,0,6],[5,1,5]]],"passed":true},{"actual":[[[1,1,3],[2,1,3]]],"check":"explicit case 2","expected":[[[1,1,3],[2,1,3]]],"passed":true},{"actual":[[[1,1,6],[2,1,6],[3,1,6],[4,1,6]]],"check":"explicit case 3","expected":[[[1,1,6],[2,1,6],[3,1,6],[4,1,6]]],"passed":true},{"actual":[[[0,0,3],[1,0,3],[2,0,2]]],"check":"explicit case 4","expected":[[[0,0,3],[1,0,3],[2,0,2]]],"passed":true},{"actual":[[[1,4,6],[2,4,6],[3,4,6],[4,4,6]]],"check":"explicit case 5","expected":[[[1,5,6],[2,4,6],[3,4,6],[4,5,6]]],"passed":false},{"actual":[[[0,2,6],[1,2,6],[2,2,6],[3,2,6]]],"check":"explicit case 6","expected":[[[0,2,6],[1,2,6],[2,2,6],[3,2,6]]],"passed":true},{"actual":[[[1,0,3],[2,0,3],[3,0,3],[4,0,3]]],"check":"explicit case 7","expected":[[[1,0,2],[2,0,3],[3,0,3],[4,0,2]]],"passed":false},{"actual":[[[1,0,4],[2,0,5],[3,0,5],[4,0,5],[5,0,5]]],"check":"explicit case 8","expected":[[[1,0,4],[2,0,5],[3,0,5],[4,0,5],[5,0,5]]],"passed":true},{"actual":[[[0,0,6],[1,0,6],[2,0,6],[3,0,6],[4,0,6],[5,0,6]]],"check":"explicit case 9","expected":[[[0,0,6],[1,0,6],[2,0,6],[3,0,6],[4,0,6],[5,0,6]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit case 0\", \"actual\": [[[1, 1, 5], [2, 1, 5], [3, 1, 5], [4, 1, 5]]], \"expected\": [[[1, 2, 4], [2, 1, 5], [3, 1, 5], [4, 2, 4]]], \"passed\": false}, {\"check\": \"explicit case 1\", \"actual\": [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]], \"expected\": [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]], \"passed\": true}, {\"check\": \"explicit case 2\", \"actual\": [[[1, 1, 3], [2, 1, 3]]], \"expected\": [[[1, 1, 3], [2, 1, 3]]], \"passed\": true}, {\"check\": \"explicit case 3\", \"actual\": [[[1, 1, 6], [2, 1, 6], [3, 1, 6], [4, 1, 6]]], \"expected\": [[[1, 1, 6], [2, 1, 6], [3, 1, 6], [4, 1, 6]]], \"passed\": true}, {\"check\": \"explicit case 4\", \"actual\": [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]], \"expected\": [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]], \"passed\": true}, {\"check\": \"explicit case 5\", \"actual\": [[[1, 4, 6], [2, 4, 6], [3, 4, 6], [4, 4, 6]]], \"expected\": [[[1, 5, 6], [2, 4, 6], [3, 4, 6], [4, 5, 6]]], \"passed\": false}, {\"check\": \"explicit case 6\", \"actual\": [[[0, 2, 6], [1, 2, 6], [2, 2, 6], [3, 2, 6]]], \"expected\": [[[0, 2, 6], [1, 2, 6], [2, 2, 6], [3, 2, 6]]], \"passed\": true}, {\"check\": \"explicit case 7\", \"actual\": [[[1, 0, 3], [2, 0, 3], [3, 0, 3], [4, 0, 3]]], \"expected\": [[[1, 0, 2], [2, 0, 3], [3, 0, 3], [4, 0, 2]]], \"passed\": false}, {\"check\": \"explicit case 8\", \"actual\": [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5]]], \"expected\": [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5]]], \"passed\": true}, {\"check\": \"explicit case 9\", \"actual\": [[[0, 0, 6], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 0, 6]]], \"expected\": [[[0, 0, 6], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 0, 6]]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":58.453,"exit_code":0,"observations":[{"actual":[[[1,2,4],[2,1,5],[3,1,5],[4,2,4]]],"check":"explicit case 0","expected":[[[1,2,4],[2,1,5],[3,1,5],[4,2,4]]],"passed":true},{"actual":[[[0,1,5],[1,0,6],[2,0,6],[3,0,6],[4,0,6],[5,1,5]]],"check":"explicit case 1","expected":[[[0,1,5],[1,0,6],[2,0,6],[3,0,6],[4,0,6],[5,1,5]]],"passed":true},{"actual":[[[1,1,3],[2,1,3]]],"check":"explicit case 2","expected":[[[1,1,3],[2,1,3]]],"passed":true},{"actual":[[[1,1,6],[2,1,6],[3,1,6],[4,1,6]]],"check":"explicit case 3","expected":[[[1,1,6],[2,1,6],[3,1,6],[4,1,6]]],"passed":true},{"actual":[[[0,0,3],[1,0,3],[2,0,2]]],"check":"explicit case 4","expected":[[[0,0,3],[1,0,3],[2,0,2]]],"passed":true},{"actual":[[[1,5,6],[2,4,6],[3,4,6],[4,5,6]]],"check":"explicit case 5","expected":[[[1,5,6],[2,4,6],[3,4,6],[4,5,6]]],"passed":true},{"actual":[[[0,2,6],[1,2,6],[2,2,6],[3,2,6]]],"check":"explicit case 6","expected":[[[0,2,6],[1,2,6],[2,2,6],[3,2,6]]],"passed":true},{"actual":[[[1,0,2],[2,0,3],[3,0,3],[4,0,2]]],"check":"explicit case 7","expected":[[[1,0,2],[2,0,3],[3,0,3],[4,0,2]]],"passed":true},{"actual":[[[1,0,4],[2,0,5],[3,0,5],[4,0,5],[5,0,5]]],"check":"explicit case 8","expected":[[[1,0,4],[2,0,5],[3,0,5],[4,0,5],[5,0,5]]],"passed":true},{"actual":[[[0,0,6],[1,0,6],[2,0,6],[3,0,6],[4,0,6],[5,0,6]]],"check":"explicit case 9","expected":[[[0,0,6],[1,0,6],[2,0,6],[3,0,6],[4,0,6],[5,0,6]]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"explicit case 0\", \"actual\": [[[1, 2, 4], [2, 1, 5], [3, 1, 5], [4, 2, 4]]], \"expected\": [[[1, 2, 4], [2, 1, 5], [3, 1, 5], [4, 2, 4]]], \"passed\": true}, {\"check\": \"explicit case 1\", \"actual\": [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]], \"expected\": [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]], \"passed\": true}, {\"check\": \"explicit case 2\", \"actual\": [[[1, 1, 3], [2, 1, 3]]], \"expected\": [[[1, 1, 3], [2, 1, 3]]], \"passed\": true}, {\"check\": \"explicit case 3\", \"actual\": [[[1, 1, 6], [2, 1, 6], [3, 1, 6], [4, 1, 6]]], \"expected\": [[[1, 1, 6], [2, 1, 6], [3, 1, 6], [4, 1, 6]]], \"passed\": true}, {\"check\": \"explicit case 4\", \"actual\": [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]], \"expected\": [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]], \"passed\": true}, {\"check\": \"explicit case 5\", \"actual\": [[[1, 5, 6], [2, 4, 6], [3, 4, 6], [4, 5, 6]]], \"expected\": [[[1, 5, 6], [2, 4, 6], [3, 4, 6], [4, 5, 6]]], \"passed\": true}, {\"check\": \"explicit case 6\", \"actual\": [[[0, 2, 6], [1, 2, 6], [2, 2, 6], [3, 2, 6]]], \"expected\": [[[0, 2, 6], [1, 2, 6], [2, 2, 6], [3, 2, 6]]], \"passed\": true}, {\"check\": \"explicit case 7\", \"actual\": [[[1, 0, 2], [2, 0, 3], [3, 0, 3], [4, 0, 2]]], \"expected\": [[[1, 0, 2], [2, 0, 3], [3, 0, 3], [4, 0, 2]]], \"passed\": true}, {\"check\": \"explicit case 8\", \"actual\": [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5]]], \"expected\": [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5]]], \"passed\": true}, {\"check\": \"explicit case 9\", \"actual\": [[[0, 0, 6], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 0, 6]]], \"expected\": [[[0, 0, 6], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 0, 6]]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}