{"abstract":"Reported velocity is wrong whenever the last step differs from the first.","category":"Physics integrator stability","checks":8,"contract":"solve(x0, v0, w2, g, dts): position Verlet with variable steps, acceleration -w2*x+g. First step is Taylor x1=x0+v0*h0+0.5*a(x0)*h0^2; then x_{n+1}=x_n+(x_n-x_{n-1})*(h_n/h_{n-1})+a(x_n)*h_n*(h_n+h_{n-1})/2. Velocity estimate is (x_n-x_{n-1})/h_last. Empty dts returns the initial state. Return [x, v] rounded.","evaluation_group":"w2-physics_integrator_stability-time-corrected-verlet","failed_approach":"Dividing by the mean step length still mismatches the last displacement.","family":"w2-physics_integrator_stability-time-corrected-verlet-velocity-estimate-step","id":"FA-87146","implementations":{"attempt":{"sha256":"b2734c2585857a360181260e4007e0505343673243000f8fd23d6f26206251ae","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x0, v0, w2, g, dts):\n    def acc(p):\n        return -w2 * p + g\n    if not dts:\n        return [round(x0, 6), round(v0, 6)]\n    prev = x0\n    x = x0 + v0 * dts[0] + 0.5 * acc(x0) * dts[0] * dts[0]\n    for i in range(1, len(dts)):\n        h, hp = dts[i], dts[i - 1]\n        nxt = x + (x - prev) * (h / hp) + acc(x) * h * (h + hp) / 2\n        prev, x = x, nxt\n    v = (x - prev) / (sum(dts) / len(dts))\n    return [round(x, 6), round(v, 6)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[[-1.619, -0.338, 11.211, 0.0, [0.03, 0.01, 0.02, 0.01]], [-1.598199, 0.839977]], [[-1.195, 0.979, 7.176, -9.81, [0.03, 0.03, 0.05, 0.02, 0.03, 0.03]], [-1.038473, 0.66576]], [[-1.471, 0.053, 5.614, -9.81, [0.01, 0.03]], [-1.470123, 0.014154]], [[1.699, 1.89, 11.648, 2.0, [0.01, 0.01, 0.01]], [1.747613, 1.439167]], [[-0.64, -1.038, 3.026, -9.81, [0.01, 0.02, 0.05]], [-0.748017, -1.466874]], [[-1.565, 1.894, 9.158, 2.0, [0.03, 0.02, 0.02, 0.03]], [-1.297197, 3.207236]], [[1.122, 1.423, 17.941, -9.81, [0.03, 0.05, 0.02, 0.03, 0.03, 0.02]], [0.892542, -3.585623]], [[1.513, 0.14, 19.472, 0.0, [0.03, 0.02, 0.02, 0.01, 0.03, 0.02]], [1.287869, -3.251244]]], [[[1.862, 1.422, 6.208, 2.0, [0.01, 0.03, 0.03, 0.01, 0.01]], [1.950431, 0.584063]], [[0.685, -1.105, 19.009, -9.81, [0.03, 0.05, 0.01, 0.02, 0.03]], [0.32196, -3.660507]], [[-0.078, 1.151, 6.047, 0.0, [0.02, 0.01, 0.02, 0.01, 0.01, 0.03, 0.05]], [0.096206, 1.157257]], [[-1.613, -0.622, 8.807, -9.81, [0.02, 0.03, 0.01, 0.05, 0.03]], [-1.655241, -0.043343]], [[-1.953, 1.838, 13.851, 2.0, [0.03, 0.05, 0.05, 0.01, 0.02, 0.01, 0.03]], [-1.062022, 6.37742]], [[-0.889, 0.43, 14.698, 0.0, [0.01, 0.03, 0.05, 0.05, 0.02]], [-0.661664, 2.211445]], [[-1.926, 1.549, 6.213, -9.81, [0.01, 0.03, 0.01, 0.02, 0.02]], [-1.778987, 1.690133]], [[0.412, -1.173, 12.93, 0.0, [0.03, 0.05, 0.03, 0.01, 0.01, 0.01]], [0.203048, -1.72765]]], [[[0.854, -1.02, 18.521, 2.0, [0.01, 0.01, 0.01, 0.03, 0.03, 0.05]], [0.587236, -2.434127]], [[1.409, 1.358, 6.866, -9.81, [0.02, 0.03]], [1.452425, 0.67206]], [[0.908, 1.194, 12.697, -9.81, [0.01, 0.05, 0.03, 0.01]], [0.919611, -0.859237]], [[0.713, -0.809, 17.736, -9.81, [0.02, 0.03, 0.02]], [0.602417, -2.116921]], [[0.727, 1.438, 6.895, 2.0, [0.05, 0.01, 0.01, 0.05, 0.02, 0.05, 0.05]], [0.966442, 0.602832]], [[0.781, -0.925, 5.968, 2.0, [0.05, 0.01]], [0.720799, -1.062479]], [[1.111, -1.009, 10.758, 0.0, [0.03, 0.05, 0.05, 0.05, 0.03]], [0.661033, -2.983284]], [[1.952, 1.187, 17.407, 0.0, [0.01, 0.02, 0.03, 0.01, 0.05, 0.01, 0.01, 0.05]], [1.571477, -4.269375]]], [[[1.541, -0.559, 13.316, 2.0, [0.01, 0.02, 0.05, 0.01, 0.05, 0.01, 0.03, 0.01, 0.05]], [0.921697, -3.990283]], [[1.356, 0.43, 6.172, -9.81, [0.03, 0.03, 0.01, 0.02, 0.02, 0.03]], [1.238615, -1.827115]], [[0.712, -1.32, 18.303, -9.81, [0.01, 0.05, 0.02, 0.02, 0.05, 0.01, 0.03, 0.01, 0.01]], [-0.001573, -4.938097]], [[-1.464, 1.574, 11.607, 2.0, [0.05, 0.02, 0.05, 0.01, 0.05, 0.02]], [-0.806018, 4.6123]], [[1.469, 0.687, 17.408, 2.0, [0.02, 0.05]], [1.459063, -0.379255]], [[-0.101, 1.196, 2.452, -9.81, [0.03, 0.02, 0.01, 0.03, 0.03, 0.02, 0.03, 0.01, 0.01]], [-0.048386, -0.598008]], [[1.678, -1.604, 6.016, 2.0, [0.02, 0.03, 0.05, 0.02, 0.05, 0.05, 0.02]], [1.087528, -3.119149]], [[-1.863, 1.623, 16.996, 0.0, [0.05, 0.01]], [-1.709241, 3.302938]]], [[[1.686, 1.833, 18.796, 2.0, [0.05, 0.03, 0.03, 0.03, 0.01, 0.05]], [1.451037, -3.390776]], [[-1.649, -1.262, 17.944, 2.0, [0.05, 0.03, 0.01, 0.03, 0.03, 0.01, 0.05, 0.01, 0.05]], [-0.887193, 5.798575]], [[0.838, -1.307, 3.091, 2.0, [0.03, 0.05, 0.03, 0.02, 0.02, 0.02, 0.03, 0.02, 0.01]], [0.529959, -1.335404]], [[-0.323, -0.978, 13.635, 2.0, [0.01, 0.01, 0.02, 0.02]], [-0.369754, -0.643529]], [[-0.102, -0.108, 9.259, 2.0, [0.03, 0.01, 0.05, 0.01, 0.03, 0.03, 0.05, 0.01, 0.05]], [-0.026457, 0.577844]], [[-0.233, 1.656, 10.109, -9.81, [0.02, 0.03, 0.01]], [-0.147526, 1.223195]], [[-0.245, 1.48, 17.152, 0.0, [0.02, 0.03, 0.02, 0.01, 0.01, 0.01, 0.03]], [-0.026787, 1.78343]], [[1.301, 1.97, 10.917, 2.0, [0.03, 0.02, 0.03]], [1.41814, 1.139533]]]]\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":"4a28f1bb4e165130c81cf575e4ec365ac1b06e810d1556de68170f10e00cb180","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x0, v0, w2, g, dts):\n    def acc(p):\n        return -w2 * p + g\n    if not dts:\n        return [round(x0, 6), round(v0, 6)]\n    prev = x0\n    x = x0 + v0 * dts[0] + 0.5 * acc(x0) * dts[0] * dts[0]\n    for i in range(1, len(dts)):\n        h, hp = dts[i], dts[i - 1]\n        nxt = x + (x - prev) * (h / hp) + acc(x) * h * (h + hp) / 2\n        prev, x = x, nxt\n    v = (x - prev) / dts[0]\n    return [round(x, 6), round(v, 6)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[[-1.619, -0.338, 11.211, 0.0, [0.03, 0.01, 0.02, 0.01]], [-1.598199, 0.839977]], [[-1.195, 0.979, 7.176, -9.81, [0.03, 0.03, 0.05, 0.02, 0.03, 0.03]], [-1.038473, 0.66576]], [[-1.471, 0.053, 5.614, -9.81, [0.01, 0.03]], [-1.470123, 0.014154]], [[1.699, 1.89, 11.648, 2.0, [0.01, 0.01, 0.01]], [1.747613, 1.439167]], [[-0.64, -1.038, 3.026, -9.81, [0.01, 0.02, 0.05]], [-0.748017, -1.466874]], [[-1.565, 1.894, 9.158, 2.0, [0.03, 0.02, 0.02, 0.03]], [-1.297197, 3.207236]], [[1.122, 1.423, 17.941, -9.81, [0.03, 0.05, 0.02, 0.03, 0.03, 0.02]], [0.892542, -3.585623]], [[1.513, 0.14, 19.472, 0.0, [0.03, 0.02, 0.02, 0.01, 0.03, 0.02]], [1.287869, -3.251244]]], [[[1.862, 1.422, 6.208, 2.0, [0.01, 0.03, 0.03, 0.01, 0.01]], [1.950431, 0.584063]], [[0.685, -1.105, 19.009, -9.81, [0.03, 0.05, 0.01, 0.02, 0.03]], [0.32196, -3.660507]], [[-0.078, 1.151, 6.047, 0.0, [0.02, 0.01, 0.02, 0.01, 0.01, 0.03, 0.05]], [0.096206, 1.157257]], [[-1.613, -0.622, 8.807, -9.81, [0.02, 0.03, 0.01, 0.05, 0.03]], [-1.655241, -0.043343]], [[-1.953, 1.838, 13.851, 2.0, [0.03, 0.05, 0.05, 0.01, 0.02, 0.01, 0.03]], [-1.062022, 6.37742]], [[-0.889, 0.43, 14.698, 0.0, [0.01, 0.03, 0.05, 0.05, 0.02]], [-0.661664, 2.211445]], [[-1.926, 1.549, 6.213, -9.81, [0.01, 0.03, 0.01, 0.02, 0.02]], [-1.778987, 1.690133]], [[0.412, -1.173, 12.93, 0.0, [0.03, 0.05, 0.03, 0.01, 0.01, 0.01]], [0.203048, -1.72765]]], [[[0.854, -1.02, 18.521, 2.0, [0.01, 0.01, 0.01, 0.03, 0.03, 0.05]], [0.587236, -2.434127]], [[1.409, 1.358, 6.866, -9.81, [0.02, 0.03]], [1.452425, 0.67206]], [[0.908, 1.194, 12.697, -9.81, [0.01, 0.05, 0.03, 0.01]], [0.919611, -0.859237]], [[0.713, -0.809, 17.736, -9.81, [0.02, 0.03, 0.02]], [0.602417, -2.116921]], [[0.727, 1.438, 6.895, 2.0, [0.05, 0.01, 0.01, 0.05, 0.02, 0.05, 0.05]], [0.966442, 0.602832]], [[0.781, -0.925, 5.968, 2.0, [0.05, 0.01]], [0.720799, -1.062479]], [[1.111, -1.009, 10.758, 0.0, [0.03, 0.05, 0.05, 0.05, 0.03]], [0.661033, -2.983284]], [[1.952, 1.187, 17.407, 0.0, [0.01, 0.02, 0.03, 0.01, 0.05, 0.01, 0.01, 0.05]], [1.571477, -4.269375]]], [[[1.541, -0.559, 13.316, 2.0, [0.01, 0.02, 0.05, 0.01, 0.05, 0.01, 0.03, 0.01, 0.05]], [0.921697, -3.990283]], [[1.356, 0.43, 6.172, -9.81, [0.03, 0.03, 0.01, 0.02, 0.02, 0.03]], [1.238615, -1.827115]], [[0.712, -1.32, 18.303, -9.81, [0.01, 0.05, 0.02, 0.02, 0.05, 0.01, 0.03, 0.01, 0.01]], [-0.001573, -4.938097]], [[-1.464, 1.574, 11.607, 2.0, [0.05, 0.02, 0.05, 0.01, 0.05, 0.02]], [-0.806018, 4.6123]], [[1.469, 0.687, 17.408, 2.0, [0.02, 0.05]], [1.459063, -0.379255]], [[-0.101, 1.196, 2.452, -9.81, [0.03, 0.02, 0.01, 0.03, 0.03, 0.02, 0.03, 0.01, 0.01]], [-0.048386, -0.598008]], [[1.678, -1.604, 6.016, 2.0, [0.02, 0.03, 0.05, 0.02, 0.05, 0.05, 0.02]], [1.087528, -3.119149]], [[-1.863, 1.623, 16.996, 0.0, [0.05, 0.01]], [-1.709241, 3.302938]]], [[[1.686, 1.833, 18.796, 2.0, [0.05, 0.03, 0.03, 0.03, 0.01, 0.05]], [1.451037, -3.390776]], [[-1.649, -1.262, 17.944, 2.0, [0.05, 0.03, 0.01, 0.03, 0.03, 0.01, 0.05, 0.01, 0.05]], [-0.887193, 5.798575]], [[0.838, -1.307, 3.091, 2.0, [0.03, 0.05, 0.03, 0.02, 0.02, 0.02, 0.03, 0.02, 0.01]], [0.529959, -1.335404]], [[-0.323, -0.978, 13.635, 2.0, [0.01, 0.01, 0.02, 0.02]], [-0.369754, -0.643529]], [[-0.102, -0.108, 9.259, 2.0, [0.03, 0.01, 0.05, 0.01, 0.03, 0.03, 0.05, 0.01, 0.05]], [-0.026457, 0.577844]], [[-0.233, 1.656, 10.109, -9.81, [0.02, 0.03, 0.01]], [-0.147526, 1.223195]], [[-0.245, 1.48, 17.152, 0.0, [0.02, 0.03, 0.02, 0.01, 0.01, 0.01, 0.03]], [-0.026787, 1.78343]], [[1.301, 1.97, 10.917, 2.0, [0.03, 0.02, 0.03]], [1.41814, 1.139533]]]]\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"},"fixed":{"sha256":"ef0b88eaecf757a765c6cb81a9a48a7f4f80aee94d8ffb1c0c1fbef3dffa508d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x0, v0, w2, g, dts):\n    def acc(p):\n        return -w2 * p + g\n    if not dts:\n        return [round(x0, 6), round(v0, 6)]\n    prev = x0\n    x = x0 + v0 * dts[0] + 0.5 * acc(x0) * dts[0] * dts[0]\n    for i in range(1, len(dts)):\n        h, hp = dts[i], dts[i - 1]\n        nxt = x + (x - prev) * (h / hp) + acc(x) * h * (h + hp) / 2\n        prev, x = x, nxt\n    v = (x - prev) / dts[-1]\n    return [round(x, 6), round(v, 6)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[[-1.619, -0.338, 11.211, 0.0, [0.03, 0.01, 0.02, 0.01]], [-1.598199, 0.839977]], [[-1.195, 0.979, 7.176, -9.81, [0.03, 0.03, 0.05, 0.02, 0.03, 0.03]], [-1.038473, 0.66576]], [[-1.471, 0.053, 5.614, -9.81, [0.01, 0.03]], [-1.470123, 0.014154]], [[1.699, 1.89, 11.648, 2.0, [0.01, 0.01, 0.01]], [1.747613, 1.439167]], [[-0.64, -1.038, 3.026, -9.81, [0.01, 0.02, 0.05]], [-0.748017, -1.466874]], [[-1.565, 1.894, 9.158, 2.0, [0.03, 0.02, 0.02, 0.03]], [-1.297197, 3.207236]], [[1.122, 1.423, 17.941, -9.81, [0.03, 0.05, 0.02, 0.03, 0.03, 0.02]], [0.892542, -3.585623]], [[1.513, 0.14, 19.472, 0.0, [0.03, 0.02, 0.02, 0.01, 0.03, 0.02]], [1.287869, -3.251244]]], [[[1.862, 1.422, 6.208, 2.0, [0.01, 0.03, 0.03, 0.01, 0.01]], [1.950431, 0.584063]], [[0.685, -1.105, 19.009, -9.81, [0.03, 0.05, 0.01, 0.02, 0.03]], [0.32196, -3.660507]], [[-0.078, 1.151, 6.047, 0.0, [0.02, 0.01, 0.02, 0.01, 0.01, 0.03, 0.05]], [0.096206, 1.157257]], [[-1.613, -0.622, 8.807, -9.81, [0.02, 0.03, 0.01, 0.05, 0.03]], [-1.655241, -0.043343]], [[-1.953, 1.838, 13.851, 2.0, [0.03, 0.05, 0.05, 0.01, 0.02, 0.01, 0.03]], [-1.062022, 6.37742]], [[-0.889, 0.43, 14.698, 0.0, [0.01, 0.03, 0.05, 0.05, 0.02]], [-0.661664, 2.211445]], [[-1.926, 1.549, 6.213, -9.81, [0.01, 0.03, 0.01, 0.02, 0.02]], [-1.778987, 1.690133]], [[0.412, -1.173, 12.93, 0.0, [0.03, 0.05, 0.03, 0.01, 0.01, 0.01]], [0.203048, -1.72765]]], [[[0.854, -1.02, 18.521, 2.0, [0.01, 0.01, 0.01, 0.03, 0.03, 0.05]], [0.587236, -2.434127]], [[1.409, 1.358, 6.866, -9.81, [0.02, 0.03]], [1.452425, 0.67206]], [[0.908, 1.194, 12.697, -9.81, [0.01, 0.05, 0.03, 0.01]], [0.919611, -0.859237]], [[0.713, -0.809, 17.736, -9.81, [0.02, 0.03, 0.02]], [0.602417, -2.116921]], [[0.727, 1.438, 6.895, 2.0, [0.05, 0.01, 0.01, 0.05, 0.02, 0.05, 0.05]], [0.966442, 0.602832]], [[0.781, -0.925, 5.968, 2.0, [0.05, 0.01]], [0.720799, -1.062479]], [[1.111, -1.009, 10.758, 0.0, [0.03, 0.05, 0.05, 0.05, 0.03]], [0.661033, -2.983284]], [[1.952, 1.187, 17.407, 0.0, [0.01, 0.02, 0.03, 0.01, 0.05, 0.01, 0.01, 0.05]], [1.571477, -4.269375]]], [[[1.541, -0.559, 13.316, 2.0, [0.01, 0.02, 0.05, 0.01, 0.05, 0.01, 0.03, 0.01, 0.05]], [0.921697, -3.990283]], [[1.356, 0.43, 6.172, -9.81, [0.03, 0.03, 0.01, 0.02, 0.02, 0.03]], [1.238615, -1.827115]], [[0.712, -1.32, 18.303, -9.81, [0.01, 0.05, 0.02, 0.02, 0.05, 0.01, 0.03, 0.01, 0.01]], [-0.001573, -4.938097]], [[-1.464, 1.574, 11.607, 2.0, [0.05, 0.02, 0.05, 0.01, 0.05, 0.02]], [-0.806018, 4.6123]], [[1.469, 0.687, 17.408, 2.0, [0.02, 0.05]], [1.459063, -0.379255]], [[-0.101, 1.196, 2.452, -9.81, [0.03, 0.02, 0.01, 0.03, 0.03, 0.02, 0.03, 0.01, 0.01]], [-0.048386, -0.598008]], [[1.678, -1.604, 6.016, 2.0, [0.02, 0.03, 0.05, 0.02, 0.05, 0.05, 0.02]], [1.087528, -3.119149]], [[-1.863, 1.623, 16.996, 0.0, [0.05, 0.01]], [-1.709241, 3.302938]]], [[[1.686, 1.833, 18.796, 2.0, [0.05, 0.03, 0.03, 0.03, 0.01, 0.05]], [1.451037, -3.390776]], [[-1.649, -1.262, 17.944, 2.0, [0.05, 0.03, 0.01, 0.03, 0.03, 0.01, 0.05, 0.01, 0.05]], [-0.887193, 5.798575]], [[0.838, -1.307, 3.091, 2.0, [0.03, 0.05, 0.03, 0.02, 0.02, 0.02, 0.03, 0.02, 0.01]], [0.529959, -1.335404]], [[-0.323, -0.978, 13.635, 2.0, [0.01, 0.01, 0.02, 0.02]], [-0.369754, -0.643529]], [[-0.102, -0.108, 9.259, 2.0, [0.03, 0.01, 0.05, 0.01, 0.03, 0.03, 0.05, 0.01, 0.05]], [-0.026457, 0.577844]], [[-0.233, 1.656, 10.109, -9.81, [0.02, 0.03, 0.01]], [-0.147526, 1.223195]], [[-0.245, 1.48, 17.152, 0.0, [0.02, 0.03, 0.02, 0.01, 0.01, 0.01, 0.03]], [-0.026787, 1.78343]], [[1.301, 1.97, 10.917, 2.0, [0.03, 0.02, 0.03]], [1.41814, 1.139533]]]]\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 and rounded float output; not a production physics engine or a proof of numerical stability. 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-physics_integrator_stability-time-corrected-verlet-velocity-estimate-step","generated_at":"2026-09-29T14:50:56.000247+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Game and robotics physics loops depend on integrator update order, step control and stabilization terms; a wrong decision point turns a stable simulation into drifting or exploding motion.","repair":"Divide by the last step length.","root_cause":"The backward difference uses dts[0].","sha256":"f1993bcf56f8d65fcf11a5857a714c45eca9eab788d7e9b50aa02545ac737679","title":"Verlet velocity estimate divides by the first step length · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.29,"exit_code":1,"observations":[{"actual":[-1.598199,0.479987],"check":"case 0","expected":[-1.598199,0.839977],"passed":false},{"actual":[-1.038473,0.63072],"check":"case 1","expected":[-1.038473,0.66576],"passed":false},{"actual":[-1.470123,0.021231],"check":"case 2","expected":[-1.470123,0.014154],"passed":false},{"actual":[1.747613,1.439167],"check":"case 3","expected":[1.747613,1.439167],"passed":true},{"actual":[-0.748017,-2.750388],"check":"case 4","expected":[-0.748017,-1.466874],"passed":false},{"actual":[-1.297197,3.848683],"check":"case 5","expected":[-1.297197,3.207236],"passed":false},{"actual":[0.892542,-2.390415],"check":"case 6","expected":[0.892542,-3.585623],"passed":false},{"actual":[1.287869,-3.001148],"check":"case 7","expected":[1.287869,-3.251244],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"case 0\", \"actual\": [-1.598199, 0.479987], \"expected\": [-1.598199, 0.839977], \"passed\": false}, {\"check\": \"case 1\", \"actual\": [-1.038473, 0.63072], \"expected\": [-1.038473, 0.66576], \"passed\": false}, {\"check\": \"case 2\", \"actual\": [-1.470123, 0.021231], \"expected\": [-1.470123, 0.014154], \"passed\": false}, {\"check\": \"case 3\", \"actual\": [1.747613, 1.439167], \"expected\": [1.747613, 1.439167], \"passed\": true}, {\"check\": \"case 4\", \"actual\": [-0.748017, -2.750388], \"expected\": [-0.748017, -1.466874], \"passed\": false}, {\"check\": \"case 5\", \"actual\": [-1.297197, 3.848683], \"expected\": [-1.297197, 3.207236], \"passed\": false}, {\"check\": \"case 6\", \"actual\": [0.892542, -2.390415], \"expected\": [0.892542, -3.585623], \"passed\": false}, {\"check\": \"case 7\", \"actual\": [1.287869, -3.001148], \"expected\": [1.287869, -3.251244], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.274,"exit_code":1,"observations":[{"actual":[-1.598199,0.279992],"check":"case 0","expected":[-1.598199,0.839977],"passed":false},{"actual":[-1.038473,0.66576],"check":"case 1","expected":[-1.038473,0.66576],"passed":true},{"actual":[-1.470123,0.042462],"check":"case 2","expected":[-1.470123,0.014154],"passed":false},{"actual":[1.747613,1.439167],"check":"case 3","expected":[1.747613,1.439167],"passed":true},{"actual":[-0.748017,-7.334368],"check":"case 4","expected":[-0.748017,-1.466874],"passed":false},{"actual":[-1.297197,3.207236],"check":"case 5","expected":[-1.297197,3.207236],"passed":true},{"actual":[0.892542,-2.390415],"check":"case 6","expected":[0.892542,-3.585623],"passed":false},{"actual":[1.287869,-2.167496],"check":"case 7","expected":[1.287869,-3.251244],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"case 0\", \"actual\": [-1.598199, 0.279992], \"expected\": [-1.598199, 0.839977], \"passed\": false}, {\"check\": \"case 1\", \"actual\": [-1.038473, 0.66576], \"expected\": [-1.038473, 0.66576], \"passed\": true}, {\"check\": \"case 2\", \"actual\": [-1.470123, 0.042462], \"expected\": [-1.470123, 0.014154], \"passed\": false}, {\"check\": \"case 3\", \"actual\": [1.747613, 1.439167], \"expected\": [1.747613, 1.439167], \"passed\": true}, {\"check\": \"case 4\", \"actual\": [-0.748017, -7.334368], \"expected\": [-0.748017, -1.466874], \"passed\": false}, {\"check\": \"case 5\", \"actual\": [-1.297197, 3.207236], \"expected\": [-1.297197, 3.207236], \"passed\": true}, {\"check\": \"case 6\", \"actual\": [0.892542, -2.390415], \"expected\": [0.892542, -3.585623], \"passed\": false}, {\"check\": \"case 7\", \"actual\": [1.287869, -2.167496], \"expected\": [1.287869, -3.251244], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.578,"exit_code":0,"observations":[{"actual":[-1.598199,0.839977],"check":"case 0","expected":[-1.598199,0.839977],"passed":true},{"actual":[-1.038473,0.66576],"check":"case 1","expected":[-1.038473,0.66576],"passed":true},{"actual":[-1.470123,0.014154],"check":"case 2","expected":[-1.470123,0.014154],"passed":true},{"actual":[1.747613,1.439167],"check":"case 3","expected":[1.747613,1.439167],"passed":true},{"actual":[-0.748017,-1.466874],"check":"case 4","expected":[-0.748017,-1.466874],"passed":true},{"actual":[-1.297197,3.207236],"check":"case 5","expected":[-1.297197,3.207236],"passed":true},{"actual":[0.892542,-3.585623],"check":"case 6","expected":[0.892542,-3.585623],"passed":true},{"actual":[1.287869,-3.251244],"check":"case 7","expected":[1.287869,-3.251244],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"case 0\", \"actual\": [-1.598199, 0.839977], \"expected\": [-1.598199, 0.839977], \"passed\": true}, {\"check\": \"case 1\", \"actual\": [-1.038473, 0.66576], \"expected\": [-1.038473, 0.66576], \"passed\": true}, {\"check\": \"case 2\", \"actual\": [-1.470123, 0.014154], \"expected\": [-1.470123, 0.014154], \"passed\": true}, {\"check\": \"case 3\", \"actual\": [1.747613, 1.439167], \"expected\": [1.747613, 1.439167], \"passed\": true}, {\"check\": \"case 4\", \"actual\": [-0.748017, -1.466874], \"expected\": [-0.748017, -1.466874], \"passed\": true}, {\"check\": \"case 5\", \"actual\": [-1.297197, 3.207236], \"expected\": [-1.297197, 3.207236], \"passed\": true}, {\"check\": \"case 6\", \"actual\": [0.892542, -3.585623], \"expected\": [0.892542, -3.585623], \"passed\": true}, {\"check\": \"case 7\", \"actual\": [1.287869, -3.251244], \"expected\": [1.287869, -3.251244], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}