{"abstract":"A ray ending exactly on a cell border misses that cell.","category":"Collision detection broadphase","checks":8,"contract":"solve(o, d, cs, max_t): Amanatides-Woo traversal of a uniform grid for a ray o+t*d (d not normalized). Start in cell floor(o/cs); step the axis with the smaller next boundary t (x on ties) while that t <= max_t, at most 64 cells. Return the visited cells [[ix,iy],...].","contract_signature":"o, d, cs, max_t","evaluation_group":"w2-collision_detection_broadphase-grid-ray-dda","failed_approach":"Scaling max_t by the cell size mixes parameter and world units.","family":"w2-collision_detection_broadphase-grid-ray-dda-traversal-cutoff","id":"FA-87611","implementations":{"attempt":{"sha256":"d9868e590e70dc71fba6ec50371995abcfc7fb2b0f06269b4f8ad8b64074532d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(o, d, cs, max_t):\n    ix, iy = math.floor(o[0] / cs), math.floor(o[1] / cs)\n    sx = 1 if d[0] > 0 else (-1 if d[0] < 0 else 0)\n    sy = 1 if d[1] > 0 else (-1 if d[1] < 0 else 0)\n    inf = float('inf')\n    if sx > 0:\n        tmx = ((ix + 1) * cs - o[0]) / d[0]\n    elif sx < 0:\n        tmx = (ix * cs - o[0]) / d[0]\n    else:\n        tmx = inf\n    if sy > 0:\n        tmy = ((iy + 1) * cs - o[1]) / d[1]\n    elif sy < 0:\n        tmy = (iy * cs - o[1]) / d[1]\n    else:\n        tmy = inf\n    tdx = cs / abs(d[0]) if sx else inf\n    tdy = cs / abs(d[1]) if sy else inf\n    cells = [[ix, iy]]\n    while len(cells) < 64:\n        if tmx <= tmy:\n            t, ax = tmx, 0\n        else:\n            t, ax = tmy, 1\n        if t > max_t * cs:\n            break\n        if ax == 0:\n            ix += sx\n            tmx += tdx\n        else:\n            iy += sy\n            tmy += tdy\n        cells.append([ix, iy])\n    return cells\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[[[1.5, -1.75], [0, 1], 2.0, 1.0], [[0, -1]]], [[[1.75, 1.5], [-4, -1], 0.5, 1.0], [[3, 3], [3, 2], [2, 2], [1, 2], [0, 2], [-1, 2], [-1, 1], [-2, 1], [-3, 1], [-4, 1], [-5, 1], [-5, 0]]], [[[1.0, -1.0], [2, 1], 0.5, 1.0], [[2, -2], [3, -2], [4, -2], [4, -1], [5, -1], [6, -1], [6, 0]]], [[[-0.25, -1.25], [-1, 2], 0.5, 0.5], [[-1, -3], [-1, -2], [-2, -2], [-2, -1]]], [[[1.25, 0.75], [0, 1], 0.5, 2.0], [[2, 1], [2, 2], [2, 3], [2, 4], [2, 5]]], [[[-2.0, -1.5], [-4, 4], 0.5, 0.5], [[-4, -3], [-5, -3], [-6, -3], [-6, -2], [-7, -2], [-7, -1], [-8, -1], [-8, 0], [-9, 0], [-9, 1]]], [[[0.0, -1.5], [-2, -1], 1.0, 0.5], [[0, -2], [-1, -2], [-2, -2], [-2, -3]]], [[[-1.25, -1.75], [2, 0], 1.0, 3.0], [[-2, -2], [-1, -2], [0, -2], [1, -2], [2, -2], [3, -2], [4, -2]]]], [[[[-2.0, 1.5], [2, -1], 0.5, 1.0], [[-4, 3], [-4, 2], [-3, 2], [-2, 2], [-2, 1], [-1, 1], [0, 1], [0, 0]]], [[[1.5, -0.75], [1, 4], 0.5, 0.5], [[3, -2], [3, -1], [3, 0], [3, 1], [3, 2], [4, 2]]], [[[0.75, -0.25], [-1, 4], 0.5, 2.0], [[1, -1], [1, 0], [1, 1], [0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [-1, 5], [-1, 6], [-1, 7], [-1, 8], [-1, 9], [-2, 9], [-2, 10], [-2, 11], [-2, 12], [-2, 13], [-3, 13], [-3, 14], [-3, 15]]], [[[0.5, 1.25], [-4, 0], 2.0, 0.5], [[0, 0], [-1, 0]]], [[[-1.75, -2.0], [-1, -1], 2.0, 1.0], [[-1, -1], [-1, -2], [-2, -2]]], [[[1.25, 0.75], [0, 0], 1.0, 3.0], [[1, 0]]], [[[1.5, 1.75], [2, 4], 2.0, 1.0], [[0, 0], [0, 1], [1, 1], [1, 2]]], [[[-1.25, 2.0], [0, -2], 0.5, 1.0], [[-3, 4], [-3, 3], [-3, 2], [-3, 1], [-3, 0], [-3, -1]]]], [[[[-0.75, -1.0], [1, -2], 2.0, 1.0], [[-1, -1], [-1, -2], [0, -2]]], [[[-1.0, -1.0], [-4, 4], 0.5, 0.5], [[-2, -2], [-3, -2], [-4, -2], [-4, -1], [-5, -1], [-5, 0], [-6, 0], [-6, 1], [-7, 1], [-7, 2]]], [[[1.25, 0.5], [0, 1], 2.0, 1.0], [[0, 0]]], [[[1.75, 1.75], [4, -2], 2.0, 0.5], [[0, 0], [1, 0]]], [[[1.0, -2.0], [-1, 1], 2.0, 2.0], [[0, -1], [-1, -1], [-1, 0]]], [[[0.25, 0.25], [-1, 0], 1.0, 1.0], [[0, 0], [-1, 0]]], [[[-1.75, 1.0], [0, 0], 1.0, 1.0], [[-2, 1]]], [[[0.0, -0.25], [-1, -1], 0.5, 2.0], [[0, -1], [-1, -1], [-1, -2], [-2, -2], [-2, -3], [-3, -3], [-3, -4], [-4, -4], [-4, -5], [-5, -5]]]], [[[[0.25, 0.25], [-1, 4], 2.0, 0.5], [[0, 0], [-1, 0], [-1, 1]]], [[[2.0, -1.75], [4, -2], 2.0, 3.0], [[1, -1], [1, -2], [2, -2], [3, -2], [3, -3], [4, -3], [5, -3], [5, -4], [6, -4], [7, -4]]], [[[-1.0, 0.75], [2, 0], 0.5, 1.0], [[-2, 1], [-1, 1], [0, 1], [1, 1], [2, 1]]], [[[-0.5, -1.5], [-1, -1], 0.5, 2.0], [[-1, -3], [-2, -3], [-2, -4], [-3, -4], [-3, -5], [-4, -5], [-4, -6], [-5, -6], [-5, -7], [-6, -7], [-6, -8]]], [[[-1.25, 0.75], [-2, -2], 0.5, 0.5], [[-3, 1], [-4, 1], [-4, 0], [-5, 0], [-5, -1]]], [[[-0.5, -0.75], [-2, 0], 2.0, 3.0], [[-1, -1], [-2, -1], [-3, -1], [-4, -1]]], [[[1.25, 1.0], [-4, -1], 1.0, 1.0], [[1, 1], [1, 0], [0, 0], [-1, 0], [-2, 0], [-3, 0], [-3, -1]]], [[[1.75, -1.75], [1, -1], 1.0, 3.0], [[1, -2], [2, -2], [2, -3], [3, -3], [3, -4], [4, -4], [4, -5]]]], [[[[-1.75, 0.25], [4, 0], 2.0, 0.5], [[-1, 0], [0, 0]]], [[[0.5, 1.5], [0, 2], 1.0, 0.5], [[0, 1], [0, 2]]], [[[-0.75, 0.0], [0, -2], 0.5, 3.0], [[-2, 0], [-2, -1], [-2, -2], [-2, -3], [-2, -4], [-2, -5], [-2, -6], [-2, -7], [-2, -8], [-2, -9], [-2, -10], [-2, -11], [-2, -12], [-2, -13]]], [[[0.0, 2.0], [-1, -2], 2.0, 0.5], [[0, 1], [-1, 1], [-1, 0]]], [[[-0.75, -1.0], [1, 4], 2.0, 3.0], [[-1, -1], [-1, 0], [0, 0], [0, 1], [0, 2], [0, 3], [0, 4], [1, 4], [1, 5]]], [[[0.5, -1.0], [-4, 4], 1.0, 2.0], [[0, -1], [-1, -1], [-1, 0], [-2, 0], [-2, 1], [-3, 1], [-3, 2], [-4, 2], [-4, 3], [-5, 3], [-5, 4], [-6, 4], [-6, 5], [-7, 5], [-7, 6], [-8, 6], [-8, 7]]], [[[1.25, 0.0], [1, -2], 2.0, 2.0], [[0, 0], [0, -1], [1, -1], [1, -2], [1, -3]]], [[[1.0, -2.0], [-2, 0], 2.0, 2.0], [[0, -1], [-1, -1], [-2, -1]]]]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"case %d\" % i, solve(*args), 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":"f721892e316098b14a37f980b21c2e84bc4bef6c05e5736b5a2e112031a5dd84","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(o, d, cs, max_t):\n    ix, iy = math.floor(o[0] / cs), math.floor(o[1] / cs)\n    sx = 1 if d[0] > 0 else (-1 if d[0] < 0 else 0)\n    sy = 1 if d[1] > 0 else (-1 if d[1] < 0 else 0)\n    inf = float('inf')\n    if sx > 0:\n        tmx = ((ix + 1) * cs - o[0]) / d[0]\n    elif sx < 0:\n        tmx = (ix * cs - o[0]) / d[0]\n    else:\n        tmx = inf\n    if sy > 0:\n        tmy = ((iy + 1) * cs - o[1]) / d[1]\n    elif sy < 0:\n        tmy = (iy * cs - o[1]) / d[1]\n    else:\n        tmy = inf\n    tdx = cs / abs(d[0]) if sx else inf\n    tdy = cs / abs(d[1]) if sy else inf\n    cells = [[ix, iy]]\n    while len(cells) < 64:\n        if tmx <= tmy:\n            t, ax = tmx, 0\n        else:\n            t, ax = tmy, 1\n        if t >= max_t:\n            break\n        if ax == 0:\n            ix += sx\n            tmx += tdx\n        else:\n            iy += sy\n            tmy += tdy\n        cells.append([ix, iy])\n    return cells\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[[[1.5, -1.75], [0, 1], 2.0, 1.0], [[0, -1]]], [[[1.75, 1.5], [-4, -1], 0.5, 1.0], [[3, 3], [3, 2], [2, 2], [1, 2], [0, 2], [-1, 2], [-1, 1], [-2, 1], [-3, 1], [-4, 1], [-5, 1], [-5, 0]]], [[[1.0, -1.0], [2, 1], 0.5, 1.0], [[2, -2], [3, -2], [4, -2], [4, -1], [5, -1], [6, -1], [6, 0]]], [[[-0.25, -1.25], [-1, 2], 0.5, 0.5], [[-1, -3], [-1, -2], [-2, -2], [-2, -1]]], [[[1.25, 0.75], [0, 1], 0.5, 2.0], [[2, 1], [2, 2], [2, 3], [2, 4], [2, 5]]], [[[-2.0, -1.5], [-4, 4], 0.5, 0.5], [[-4, -3], [-5, -3], [-6, -3], [-6, -2], [-7, -2], [-7, -1], [-8, -1], [-8, 0], [-9, 0], [-9, 1]]], [[[0.0, -1.5], [-2, -1], 1.0, 0.5], [[0, -2], [-1, -2], [-2, -2], [-2, -3]]], [[[-1.25, -1.75], [2, 0], 1.0, 3.0], [[-2, -2], [-1, -2], [0, -2], [1, -2], [2, -2], [3, -2], [4, -2]]]], [[[[-2.0, 1.5], [2, -1], 0.5, 1.0], [[-4, 3], [-4, 2], [-3, 2], [-2, 2], [-2, 1], [-1, 1], [0, 1], [0, 0]]], [[[1.5, -0.75], [1, 4], 0.5, 0.5], [[3, -2], [3, -1], [3, 0], [3, 1], [3, 2], [4, 2]]], [[[0.75, -0.25], [-1, 4], 0.5, 2.0], [[1, -1], [1, 0], [1, 1], [0, 1], [0, 2], [0, 3], [0, 4], [0, 5], [-1, 5], [-1, 6], [-1, 7], [-1, 8], [-1, 9], [-2, 9], [-2, 10], [-2, 11], [-2, 12], [-2, 13], [-3, 13], [-3, 14], [-3, 15]]], [[[0.5, 1.25], [-4, 0], 2.0, 0.5], [[0, 0], [-1, 0]]], [[[-1.75, -2.0], [-1, -1], 2.0, 1.0], [[-1, -1], [-1, -2], [-2, -2]]], [[[1.25, 0.75], [0, 0], 1.0, 3.0], [[1, 0]]], [[[1.5, 1.75], [2, 4], 2.0, 1.0], [[0, 0], [0, 1], [1, 1], [1, 2]]], [[[-1.25, 2.0], [0, -2], 0.5, 1.0], [[-3, 4], [-3, 3], [-3, 2], [-3, 1], [-3, 0], [-3, -1]]]], [[[[-0.75, -1.0], [1, -2], 2.0, 1.0], [[-1, -1], [-1, -2], [0, -2]]], [[[-1.0, -1.0], [-4, 4], 0.5, 0.5], [[-2, -2], [-3, -2], [-4, -2], [-4, -1], [-5, -1], [-5, 0], [-6, 0], [-6, 1], [-7, 1], [-7, 2]]], [[[1.25, 0.5], [0, 1], 2.0, 1.0], [[0, 0]]], [[[1.75, 1.75], [4, -2], 2.0, 0.5], [[0, 0], [1, 0]]], [[[1.0, -2.0], [-1, 1], 2.0, 2.0], [[0, -1], [-1, -1], [-1, 0]]], [[[0.25, 0.25], [-1, 0], 1.0, 1.0], [[0, 0], [-1, 0]]], [[[-1.75, 1.0], [0, 0], 1.0, 1.0], [[-2, 1]]], [[[0.0, -0.25], [-1, -1], 0.5, 2.0], [[0, -1], [-1, -1], [-1, -2], [-2, -2], [-2, -3], [-3, -3], [-3, -4], [-4, -4], [-4, -5], [-5, -5]]]], [[[[0.25, 0.25], [-1, 4], 2.0, 0.5], [[0, 0], [-1, 0], [-1, 1]]], [[[2.0, -1.75], [4, -2], 2.0, 3.0], [[1, -1], [1, -2], [2, -2], [3, -2], [3, -3], [4, -3], [5, -3], [5, -4], [6, -4], [7, -4]]], [[[-1.0, 0.75], [2, 0], 0.5, 1.0], [[-2, 1], [-1, 1], [0, 1], [1, 1], [2, 1]]], [[[-0.5, -1.5], [-1, -1], 0.5, 2.0], [[-1, -3], [-2, -3], [-2, -4], [-3, -4], [-3, -5], [-4, -5], [-4, -6], [-5, -6], [-5, -7], [-6, -7], [-6, -8]]], [[[-1.25, 0.75], [-2, -2], 0.5, 0.5], [[-3, 1], [-4, 1], [-4, 0], [-5, 0], [-5, -1]]], [[[-0.5, -0.75], [-2, 0], 2.0, 3.0], [[-1, -1], [-2, -1], [-3, -1], [-4, -1]]], [[[1.25, 1.0], [-4, -1], 1.0, 1.0], [[1, 1], [1, 0], [0, 0], [-1, 0], [-2, 0], [-3, 0], [-3, -1]]], [[[1.75, -1.75], [1, -1], 1.0, 3.0], [[1, -2], [2, -2], [2, -3], [3, -3], [3, -4], [4, -4], [4, -5]]]], [[[[-1.75, 0.25], [4, 0], 2.0, 0.5], [[-1, 0], [0, 0]]], [[[0.5, 1.5], [0, 2], 1.0, 0.5], [[0, 1], [0, 2]]], [[[-0.75, 0.0], [0, -2], 0.5, 3.0], [[-2, 0], [-2, -1], [-2, -2], [-2, -3], [-2, -4], [-2, -5], [-2, -6], [-2, -7], [-2, -8], [-2, -9], [-2, -10], [-2, -11], [-2, -12], [-2, -13]]], [[[0.0, 2.0], [-1, -2], 2.0, 0.5], [[0, 1], [-1, 1], [-1, 0]]], [[[-0.75, -1.0], [1, 4], 2.0, 3.0], [[-1, -1], [-1, 0], [0, 0], [0, 1], [0, 2], [0, 3], [0, 4], [1, 4], [1, 5]]], [[[0.5, -1.0], [-4, 4], 1.0, 2.0], [[0, -1], [-1, -1], [-1, 0], [-2, 0], [-2, 1], [-3, 1], [-3, 2], [-4, 2], [-4, 3], [-5, 3], [-5, 4], [-6, 4], [-6, 5], [-7, 5], [-7, 6], [-8, 6], [-8, 7]]], [[[1.25, 0.0], [1, -2], 2.0, 2.0], [[0, 0], [0, -1], [1, -1], [1, -2], [1, -3]]], [[[1.0, -2.0], [-2, 0], 2.0, 2.0], [[0, -1], [-1, -1], [-2, -1]]]]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"case %d\" % i, solve(*args), 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":"A deterministic bounded teaching model with stipulated toy conventions; not a production physics engine or spatial index. 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":"w2-collision_detection_broadphase-grid-ray-dda-traversal-cutoff","generated_at":"2026-09-29T14:51:00.495051+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Broadphase stages decide which object pairs ever reach narrowphase; a wrong boundary, ordering or bookkeeping rule silently drops real contacts or floods the solver with false candidates.","root_cause":"The stop test is t >= max_t.","sha256":"c2101ab4df7c704bc5716a69a4993dd12d9eb9d3dc42860144fc9f6649d0aad0","title":"Traversal stops before a boundary reached exactly at max_t · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":41.365,"exit_code":1,"observations":[{"actual":[[0,-1],[0,0]],"check":"case 0","expected":[[0,-1]],"passed":false},{"actual":[[3,3],[3,2],[2,2],[1,2],[0,2],[-1,2],[-1,1]],"check":"case 1","expected":[[3,3],[3,2],[2,2],[1,2],[0,2],[-1,2],[-1,1],[-2,1],[-3,1],[-4,1],[-5,1],[-5,0]],"passed":false},{"actual":[[2,-2],[3,-2],[4,-2],[4,-1]],"check":"case 2","expected":[[2,-2],[3,-2],[4,-2],[4,-1],[5,-1],[6,-1],[6,0]],"passed":false},{"actual":[[-1,-3],[-1,-2],[-2,-2]],"check":"case 3","expected":[[-1,-3],[-1,-2],[-2,-2],[-2,-1]],"passed":false},{"actual":[[2,1],[2,2],[2,3]],"check":"case 4","expected":[[2,1],[2,2],[2,3],[2,4],[2,5]],"passed":false},{"actual":[[-4,-3],[-5,-3],[-6,-3],[-6,-2],[-7,-2],[-7,-1]],"check":"case 5","expected":[[-4,-3],[-5,-3],[-6,-3],[-6,-2],[-7,-2],[-7,-1],[-8,-1],[-8,0],[-9,0],[-9,1]],"passed":false},{"actual":[[0,-2],[-1,-2],[-2,-2],[-2,-3]],"check":"case 6","expected":[[0,-2],[-1,-2],[-2,-2],[-2,-3]],"passed":true},{"actual":[[-2,-2],[-1,-2],[0,-2],[1,-2],[2,-2],[3,-2],[4,-2]],"check":"case 7","expected":[[-2,-2],[-1,-2],[0,-2],[1,-2],[2,-2],[3,-2],[4,-2]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"case 0\", \"actual\": [[0, -1], [0, 0]], \"expected\": [[0, -1]], \"passed\": false}, {\"check\": \"case 1\", \"actual\": [[3, 3], [3, 2], [2, 2], [1, 2], [0, 2], [-1, 2], [-1, 1]], \"expected\": [[3, 3], [3, 2], [2, 2], [1, 2], [0, 2], [-1, 2], [-1, 1], [-2, 1], [-3, 1], [-4, 1], [-5, 1], [-5, 0]], \"passed\": false}, {\"check\": \"case 2\", \"actual\": [[2, -2], [3, -2], [4, -2], [4, -1]], \"expected\": [[2, -2], [3, -2], [4, -2], [4, -1], [5, -1], [6, -1], [6, 0]], \"passed\": false}, {\"check\": \"case 3\", \"actual\": [[-1, -3], [-1, -2], [-2, -2]], \"expected\": [[-1, -3], [-1, -2], [-2, -2], [-2, -1]], \"passed\": false}, {\"check\": \"case 4\", \"actual\": [[2, 1], [2, 2], [2, 3]], \"expected\": [[2, 1], [2, 2], [2, 3], [2, 4], [2, 5]], \"passed\": false}, {\"check\": \"case 5\", \"actual\": [[-4, -3], [-5, -3], [-6, -3], [-6, -2], [-7, -2], [-7, -1]], \"expected\": [[-4, -3], [-5, -3], [-6, -3], [-6, -2], [-7, -2], [-7, -1], [-8, -1], [-8, 0], [-9, 0], [-9, 1]], \"passed\": false}, {\"check\": \"case 6\", \"actual\": [[0, -2], [-1, -2], [-2, -2], [-2, -3]], \"expected\": [[0, -2], [-1, -2], [-2, -2], [-2, -3]], \"passed\": true}, {\"check\": \"case 7\", \"actual\": [[-2, -2], [-1, -2], [0, -2], [1, -2], [2, -2], [3, -2], [4, -2]], \"expected\": [[-2, -2], [-1, -2], [0, -2], [1, -2], [2, -2], [3, -2], [4, -2]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.955,"exit_code":1,"observations":[{"actual":[[0,-1]],"check":"case 0","expected":[[0,-1]],"passed":true},{"actual":[[3,3],[3,2],[2,2],[1,2],[0,2],[-1,2],[-1,1],[-2,1],[-3,1],[-4,1],[-5,1]],"check":"case 1","expected":[[3,3],[3,2],[2,2],[1,2],[0,2],[-1,2],[-1,1],[-2,1],[-3,1],[-4,1],[-5,1],[-5,0]],"passed":false},{"actual":[[2,-2],[3,-2],[4,-2],[4,-1],[5,-1]],"check":"case 2","expected":[[2,-2],[3,-2],[4,-2],[4,-1],[5,-1],[6,-1],[6,0]],"passed":false},{"actual":[[-1,-3],[-1,-2],[-2,-2],[-2,-1]],"check":"case 3","expected":[[-1,-3],[-1,-2],[-2,-2],[-2,-1]],"passed":true},{"actual":[[2,1],[2,2],[2,3],[2,4],[2,5]],"check":"case 4","expected":[[2,1],[2,2],[2,3],[2,4],[2,5]],"passed":true},{"actual":[[-4,-3],[-5,-3],[-6,-3],[-6,-2],[-7,-2],[-7,-1],[-8,-1],[-8,0]],"check":"case 5","expected":[[-4,-3],[-5,-3],[-6,-3],[-6,-2],[-7,-2],[-7,-1],[-8,-1],[-8,0],[-9,0],[-9,1]],"passed":false},{"actual":[[0,-2],[-1,-2]],"check":"case 6","expected":[[0,-2],[-1,-2],[-2,-2],[-2,-3]],"passed":false},{"actual":[[-2,-2],[-1,-2],[0,-2],[1,-2],[2,-2],[3,-2],[4,-2]],"check":"case 7","expected":[[-2,-2],[-1,-2],[0,-2],[1,-2],[2,-2],[3,-2],[4,-2]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"case 0\", \"actual\": [[0, -1]], \"expected\": [[0, -1]], \"passed\": true}, {\"check\": \"case 1\", \"actual\": [[3, 3], [3, 2], [2, 2], [1, 2], [0, 2], [-1, 2], [-1, 1], [-2, 1], [-3, 1], [-4, 1], [-5, 1]], \"expected\": [[3, 3], [3, 2], [2, 2], [1, 2], [0, 2], [-1, 2], [-1, 1], [-2, 1], [-3, 1], [-4, 1], [-5, 1], [-5, 0]], \"passed\": false}, {\"check\": \"case 2\", \"actual\": [[2, -2], [3, -2], [4, -2], [4, -1], [5, -1]], \"expected\": [[2, -2], [3, -2], [4, -2], [4, -1], [5, -1], [6, -1], [6, 0]], \"passed\": false}, {\"check\": \"case 3\", \"actual\": [[-1, -3], [-1, -2], [-2, -2], [-2, -1]], \"expected\": [[-1, -3], [-1, -2], [-2, -2], [-2, -1]], \"passed\": true}, {\"check\": \"case 4\", \"actual\": [[2, 1], [2, 2], [2, 3], [2, 4], [2, 5]], \"expected\": [[2, 1], [2, 2], [2, 3], [2, 4], [2, 5]], \"passed\": true}, {\"check\": \"case 5\", \"actual\": [[-4, -3], [-5, -3], [-6, -3], [-6, -2], [-7, -2], [-7, -1], [-8, -1], [-8, 0]], \"expected\": [[-4, -3], [-5, -3], [-6, -3], [-6, -2], [-7, -2], [-7, -1], [-8, -1], [-8, 0], [-9, 0], [-9, 1]], \"passed\": false}, {\"check\": \"case 6\", \"actual\": [[0, -2], [-1, -2]], \"expected\": [[0, -2], [-1, -2], [-2, -2], [-2, -3]], \"passed\": false}, {\"check\": \"case 7\", \"actual\": [[-2, -2], [-1, -2], [0, -2], [1, -2], [2, -2], [3, -2], [4, -2]], \"expected\": [[-2, -2], [-1, -2], [0, -2], [1, -2], [2, -2], [3, -2], [4, -2]], \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}