{"abstract":"Row distance is measured from the row top rather than the pixel center, skewing the disc vertically.","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":"Measuring from the row bottom mirrors the vertical skew.","family":"s3-raster-clipping-circle-span-scissor-row-sample-offset","id":"FA-51821","implementations":{"attempt":{"sha256":"e42374eab7016fc5e1dc553ab085f8e31d503896625f1b576c27777d2c9a6d59","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+2-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"},"broken":{"sha256":"e673a7bbad193bce917755510ddd8835b43655687daef1cd312962358665c3d8","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-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"},"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-row-sample-offset","generated_at":"2026-09-29T14:45:22.670494+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 row sample offset. 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":"Row distance is measured from the row top rather than the pixel center, skewing the disc vertically.","sha256":"a77f183e1af92a128cce1dec06ac63a7faf44b3f6bb5f6d4c25f19487966f611","title":"Circle span scissor: row sample offset · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.902,"exit_code":1,"observations":[{"actual":[[[1,1,5],[2,1,5],[3,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,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":false},{"actual":[[[1,1,3]]],"check":"explicit case 2","expected":[[[1,1,3],[2,1,3]]],"passed":false},{"actual":[[[1,1,6],[2,1,6],[3,1,6],[4,1,5]]],"check":"explicit case 3","expected":[[[1,1,6],[2,1,6],[3,1,6],[4,1,6]]],"passed":false},{"actual":[[[0,0,3],[1,0,2]]],"check":"explicit case 4","expected":[[[0,0,3],[1,0,3],[2,0,2]]],"passed":false},{"actual":[[[1,4,6],[2,4,6],[3,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]]],"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,4]]],"check":"explicit case 8","expected":[[[1,0,4],[2,0,5],[3,0,5],[4,0,5],[5,0,5]]],"passed":false},{"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]]], \"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, 1, 5]]], \"expected\": [[[0, 1, 5], [1, 0, 6], [2, 0, 6], [3, 0, 6], [4, 0, 6], [5, 1, 5]]], \"passed\": false}, {\"check\": \"explicit case 2\", \"actual\": [[[1, 1, 3]]], \"expected\": [[[1, 1, 3], [2, 1, 3]]], \"passed\": false}, {\"check\": \"explicit case 3\", \"actual\": [[[1, 1, 6], [2, 1, 6], [3, 1, 6], [4, 1, 5]]], \"expected\": [[[1, 1, 6], [2, 1, 6], [3, 1, 6], [4, 1, 6]]], \"passed\": false}, {\"check\": \"explicit case 4\", \"actual\": [[[0, 0, 3], [1, 0, 2]]], \"expected\": [[[0, 0, 3], [1, 0, 3], [2, 0, 2]]], \"passed\": false}, {\"check\": \"explicit case 5\", \"actual\": [[[1, 4, 6], [2, 4, 6], [3, 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]]], \"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, 4]]], \"expected\": [[[1, 0, 4], [2, 0, 5], [3, 0, 5], [4, 0, 5], [5, 0, 5]]], \"passed\": false}, {\"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":48.659,"exit_code":1,"observations":[{"actual":[[[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":[[[1,1,5],[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":false},{"actual":[[[2,1,3]]],"check":"explicit case 2","expected":[[[1,1,3],[2,1,3]]],"passed":false},{"actual":[[[1,1,5],[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":false},{"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":[[[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":[[[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":[[[2,0,4],[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":false},{"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\": [[[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\": [[[1, 1, 5], [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\": false}, {\"check\": \"explicit case 2\", \"actual\": [[[2, 1, 3]]], \"expected\": [[[1, 1, 3], [2, 1, 3]]], \"passed\": false}, {\"check\": \"explicit case 3\", \"actual\": [[[1, 1, 5], [2, 1, 6], [3, 1, 6], [4, 1, 6]]], \"expected\": [[[1, 1, 6], [2, 1, 6], [3, 1, 6], [4, 1, 6]]], \"passed\": false}, {\"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\": [[[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\": [[[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\": [[[2, 0, 4], [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\": false}, {\"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":43.905,"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"}