{"abstract":"Launched bodies start from rest apart from the acceleration term.","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":"Adding v0 without the step length adds a velocity to a position.","family":"w2-physics_integrator_stability-time-corrected-verlet-bootstrap-initial-velocity","id":"FA-87151","implementations":{"attempt":{"sha256":"ecee38c354efb16d7f6c2afa850983a64dfcd0db8b5046acc3ea5322ec1bab59","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 + 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 = [[[[0.043, 0.281, 14.181, -9.81, [0.03, 0.05, 0.02, 0.02, 0.03, 0.02]], [-0.057871, -1.335146]], [[-1.571, -1.847, 12.561, 0.0, [0.05, 0.05]], [-1.654908, -0.324492]], [[1.96, 1.554, 13.101, 0.0, [0.01, 0.02, 0.02, 0.03, 0.02]], [1.985105, -0.797275]], [[0.617, -1.642, 8.295, -9.81, [0.05, 0.01, 0.02, 0.01, 0.03, 0.02]], [0.248614, -3.42338]], [[-0.64, -1.038, 3.026, -9.81, [0.01, 0.02, 0.05]], [-0.748017, -1.466874]], [[-0.083, -0.339, 3.131, 0.0, [0.05, 0.02]], [-0.106057, -0.321586]], [[1.835, -1.641, 6.597, 2.0, [0.02, 0.02]], [1.761368, -1.939568]], [[-1.559, 0.132, 13.212, 0.0, [0.05, 0.05, 0.02, 0.03, 0.01, 0.01]], [-1.249546, 3.301322]]], [[[1.862, 1.422, 6.208, 2.0, [0.01, 0.03, 0.03, 0.01, 0.01]], [1.950431, 0.584063]], [[-1.61, -1.732, 8.212, 0.0, [0.05, 0.05, 0.03, 0.03, 0.05, 0.02, 0.01]], [-1.628363, 1.520418]], [[0.644, -0.151, 13.871, -9.81, [0.02, 0.02, 0.01, 0.01, 0.05, 0.02, 0.03]], [0.387894, -2.717601]], [[1.693, 1.184, 10.982, -9.81, [0.02, 0.03, 0.05, 0.05]], [1.550068, -2.368135]], [[0.487, 0.867, 0.777, -9.81, [0.05, 0.05, 0.03, 0.01, 0.02, 0.01, 0.05]], [0.430783, -1.12279]], [[0.623, 0.084, 19.474, 0.0, [0.02, 0.01]], [0.620063, -0.21909]], [[-0.485, 1.456, 18.965, 2.0, [0.01, 0.03, 0.05, 0.05, 0.02, 0.02]], [-0.07504, 2.805631]], [[1.678, 1.014, 7.008, -9.81, [0.02, 0.01, 0.01, 0.03, 0.01, 0.05, 0.05]], [1.510529, -2.322643]]], [[[-1.478, -0.428, 14.024, 2.0, [0.01, 0.02, 0.01]], [-1.476913, 0.36867]], [[-1.241, -0.995, 19.089, -9.81, [0.01, 0.01, 0.03, 0.05, 0.02, 0.05, 0.02, 0.03]], [-1.117034, 1.855358]], [[-0.873, -1.85, 3.249, 2.0, [0.03, 0.01, 0.05, 0.03, 0.01, 0.05, 0.01, 0.03]], [-1.154179, -0.756734]], [[1.462, -1.373, 3.135, 0.0, [0.05, 0.02, 0.02, 0.01, 0.02, 0.05, 0.03]], [1.102151, -2.133217]], [[1.606, 1.967, 9.66, 0.0, [0.05, 0.03, 0.01, 0.02, 0.03, 0.05, 0.01]], [1.674706, -1.223548]], [[-0.635, -0.168, 10.919, -9.81, [0.03, 0.05, 0.03, 0.01, 0.03, 0.03, 0.05, 0.02]], [-0.757474, -0.737512]], [[-1.655, 0.554, 15.555, -9.81, [0.03, 0.02, 0.01, 0.01, 0.03, 0.01]], [-1.500918, 2.131832]], [[0.106, -1.937, 2.608, 0.0, [0.03, 0.01, 0.03, 0.05, 0.01, 0.05, 0.05, 0.02]], [-0.374085, -1.858207]]], [[[-0.434, -1.688, 15.899, 0.0, [0.03, 0.05, 0.01, 0.02]], [-0.573341, -0.885589]], [[-1.996, 0.382, 13.281, 2.0, [0.05, 0.02, 0.05, 0.03, 0.02, 0.01]], [-1.486075, 4.955798]], [[-0.786, 1.689, 5.769, 2.0, [0.03, 0.05, 0.03, 0.03]], [-0.490174, 2.418931]], [[-0.101, -1.02, 19.226, 2.0, [0.05, 0.01]], [-0.154839, -0.776626]], [[1.286, 1.196, 2.402, 0.0, [0.05, 0.05, 0.02, 0.01, 0.05, 0.05, 0.05, 0.03, 0.05]], [1.499807, 0.049865]], [[0.278, 1.61, 10.377, -9.81, [0.05, 0.03, 0.02, 0.05, 0.03, 0.05]], [0.295151, -1.14607]], [[-1.698, 0.325, 6.546, -9.81, [0.02, 0.02]], [-1.683974, 0.363268]], [[-0.516, 0.344, 13.779, -9.81, [0.01, 0.03, 0.01, 0.01, 0.03, 0.05]], [-0.495793, 0.012391]]], [[[1.069, 0.063, 3.1, 0.0, [0.01, 0.02, 0.01, 0.02, 0.03, 0.02, 0.01, 0.01]], [1.049237, -0.349388]], [[0.705, -0.579, 5.962, 0.0, [0.03, 0.05, 0.03, 0.03, 0.02, 0.03, 0.05, 0.03, 0.02, 0.03]], [0.333218, -1.592526]], [[-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.391, 1.387, 17.389, -9.81, [0.05, 0.03, 0.01]], [0.447014, -0.078323]], [[1.94, 0.689, 18.476, 0.0, [0.05, 0.01, 0.03, 0.01, 0.05, 0.02, 0.03, 0.02, 0.02]], [1.133627, -6.57541]], [[-1.434, -0.348, 10.741, -9.81, [0.03, 0.03, 0.03, 0.01, 0.05, 0.03, 0.03, 0.03, 0.01, 0.01]], [-1.336072, 1.031162]], [[1.097, 0.642, 16.162, 2.0, [0.01, 0.03]], [1.110042, 0.246936]], [[-0.08, 0.73, 11.393, -9.81, [0.03, 0.03, 0.05, 0.01, 0.01, 0.01, 0.01]], [-0.072953, -0.593702]]]]\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":"8bdd430eea6ebe4f63fd4dc40007e7eb6c1ed785d1871e66984787f2d82b7a7e","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 + 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 = [[[[0.043, 0.281, 14.181, -9.81, [0.03, 0.05, 0.02, 0.02, 0.03, 0.02]], [-0.057871, -1.335146]], [[-1.571, -1.847, 12.561, 0.0, [0.05, 0.05]], [-1.654908, -0.324492]], [[1.96, 1.554, 13.101, 0.0, [0.01, 0.02, 0.02, 0.03, 0.02]], [1.985105, -0.797275]], [[0.617, -1.642, 8.295, -9.81, [0.05, 0.01, 0.02, 0.01, 0.03, 0.02]], [0.248614, -3.42338]], [[-0.64, -1.038, 3.026, -9.81, [0.01, 0.02, 0.05]], [-0.748017, -1.466874]], [[-0.083, -0.339, 3.131, 0.0, [0.05, 0.02]], [-0.106057, -0.321586]], [[1.835, -1.641, 6.597, 2.0, [0.02, 0.02]], [1.761368, -1.939568]], [[-1.559, 0.132, 13.212, 0.0, [0.05, 0.05, 0.02, 0.03, 0.01, 0.01]], [-1.249546, 3.301322]]], [[[1.862, 1.422, 6.208, 2.0, [0.01, 0.03, 0.03, 0.01, 0.01]], [1.950431, 0.584063]], [[-1.61, -1.732, 8.212, 0.0, [0.05, 0.05, 0.03, 0.03, 0.05, 0.02, 0.01]], [-1.628363, 1.520418]], [[0.644, -0.151, 13.871, -9.81, [0.02, 0.02, 0.01, 0.01, 0.05, 0.02, 0.03]], [0.387894, -2.717601]], [[1.693, 1.184, 10.982, -9.81, [0.02, 0.03, 0.05, 0.05]], [1.550068, -2.368135]], [[0.487, 0.867, 0.777, -9.81, [0.05, 0.05, 0.03, 0.01, 0.02, 0.01, 0.05]], [0.430783, -1.12279]], [[0.623, 0.084, 19.474, 0.0, [0.02, 0.01]], [0.620063, -0.21909]], [[-0.485, 1.456, 18.965, 2.0, [0.01, 0.03, 0.05, 0.05, 0.02, 0.02]], [-0.07504, 2.805631]], [[1.678, 1.014, 7.008, -9.81, [0.02, 0.01, 0.01, 0.03, 0.01, 0.05, 0.05]], [1.510529, -2.322643]]], [[[-1.478, -0.428, 14.024, 2.0, [0.01, 0.02, 0.01]], [-1.476913, 0.36867]], [[-1.241, -0.995, 19.089, -9.81, [0.01, 0.01, 0.03, 0.05, 0.02, 0.05, 0.02, 0.03]], [-1.117034, 1.855358]], [[-0.873, -1.85, 3.249, 2.0, [0.03, 0.01, 0.05, 0.03, 0.01, 0.05, 0.01, 0.03]], [-1.154179, -0.756734]], [[1.462, -1.373, 3.135, 0.0, [0.05, 0.02, 0.02, 0.01, 0.02, 0.05, 0.03]], [1.102151, -2.133217]], [[1.606, 1.967, 9.66, 0.0, [0.05, 0.03, 0.01, 0.02, 0.03, 0.05, 0.01]], [1.674706, -1.223548]], [[-0.635, -0.168, 10.919, -9.81, [0.03, 0.05, 0.03, 0.01, 0.03, 0.03, 0.05, 0.02]], [-0.757474, -0.737512]], [[-1.655, 0.554, 15.555, -9.81, [0.03, 0.02, 0.01, 0.01, 0.03, 0.01]], [-1.500918, 2.131832]], [[0.106, -1.937, 2.608, 0.0, [0.03, 0.01, 0.03, 0.05, 0.01, 0.05, 0.05, 0.02]], [-0.374085, -1.858207]]], [[[-0.434, -1.688, 15.899, 0.0, [0.03, 0.05, 0.01, 0.02]], [-0.573341, -0.885589]], [[-1.996, 0.382, 13.281, 2.0, [0.05, 0.02, 0.05, 0.03, 0.02, 0.01]], [-1.486075, 4.955798]], [[-0.786, 1.689, 5.769, 2.0, [0.03, 0.05, 0.03, 0.03]], [-0.490174, 2.418931]], [[-0.101, -1.02, 19.226, 2.0, [0.05, 0.01]], [-0.154839, -0.776626]], [[1.286, 1.196, 2.402, 0.0, [0.05, 0.05, 0.02, 0.01, 0.05, 0.05, 0.05, 0.03, 0.05]], [1.499807, 0.049865]], [[0.278, 1.61, 10.377, -9.81, [0.05, 0.03, 0.02, 0.05, 0.03, 0.05]], [0.295151, -1.14607]], [[-1.698, 0.325, 6.546, -9.81, [0.02, 0.02]], [-1.683974, 0.363268]], [[-0.516, 0.344, 13.779, -9.81, [0.01, 0.03, 0.01, 0.01, 0.03, 0.05]], [-0.495793, 0.012391]]], [[[1.069, 0.063, 3.1, 0.0, [0.01, 0.02, 0.01, 0.02, 0.03, 0.02, 0.01, 0.01]], [1.049237, -0.349388]], [[0.705, -0.579, 5.962, 0.0, [0.03, 0.05, 0.03, 0.03, 0.02, 0.03, 0.05, 0.03, 0.02, 0.03]], [0.333218, -1.592526]], [[-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.391, 1.387, 17.389, -9.81, [0.05, 0.03, 0.01]], [0.447014, -0.078323]], [[1.94, 0.689, 18.476, 0.0, [0.05, 0.01, 0.03, 0.01, 0.05, 0.02, 0.03, 0.02, 0.02]], [1.133627, -6.57541]], [[-1.434, -0.348, 10.741, -9.81, [0.03, 0.03, 0.03, 0.01, 0.05, 0.03, 0.03, 0.03, 0.01, 0.01]], [-1.336072, 1.031162]], [[1.097, 0.642, 16.162, 2.0, [0.01, 0.03]], [1.110042, 0.246936]], [[-0.08, 0.73, 11.393, -9.81, [0.03, 0.03, 0.05, 0.01, 0.01, 0.01, 0.01]], [-0.072953, -0.593702]]]]\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":"b52a84250ea433e8506e619d2fda4602bbf9784a1a404bebad31effd60c5851d","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 = [[[[0.043, 0.281, 14.181, -9.81, [0.03, 0.05, 0.02, 0.02, 0.03, 0.02]], [-0.057871, -1.335146]], [[-1.571, -1.847, 12.561, 0.0, [0.05, 0.05]], [-1.654908, -0.324492]], [[1.96, 1.554, 13.101, 0.0, [0.01, 0.02, 0.02, 0.03, 0.02]], [1.985105, -0.797275]], [[0.617, -1.642, 8.295, -9.81, [0.05, 0.01, 0.02, 0.01, 0.03, 0.02]], [0.248614, -3.42338]], [[-0.64, -1.038, 3.026, -9.81, [0.01, 0.02, 0.05]], [-0.748017, -1.466874]], [[-0.083, -0.339, 3.131, 0.0, [0.05, 0.02]], [-0.106057, -0.321586]], [[1.835, -1.641, 6.597, 2.0, [0.02, 0.02]], [1.761368, -1.939568]], [[-1.559, 0.132, 13.212, 0.0, [0.05, 0.05, 0.02, 0.03, 0.01, 0.01]], [-1.249546, 3.301322]]], [[[1.862, 1.422, 6.208, 2.0, [0.01, 0.03, 0.03, 0.01, 0.01]], [1.950431, 0.584063]], [[-1.61, -1.732, 8.212, 0.0, [0.05, 0.05, 0.03, 0.03, 0.05, 0.02, 0.01]], [-1.628363, 1.520418]], [[0.644, -0.151, 13.871, -9.81, [0.02, 0.02, 0.01, 0.01, 0.05, 0.02, 0.03]], [0.387894, -2.717601]], [[1.693, 1.184, 10.982, -9.81, [0.02, 0.03, 0.05, 0.05]], [1.550068, -2.368135]], [[0.487, 0.867, 0.777, -9.81, [0.05, 0.05, 0.03, 0.01, 0.02, 0.01, 0.05]], [0.430783, -1.12279]], [[0.623, 0.084, 19.474, 0.0, [0.02, 0.01]], [0.620063, -0.21909]], [[-0.485, 1.456, 18.965, 2.0, [0.01, 0.03, 0.05, 0.05, 0.02, 0.02]], [-0.07504, 2.805631]], [[1.678, 1.014, 7.008, -9.81, [0.02, 0.01, 0.01, 0.03, 0.01, 0.05, 0.05]], [1.510529, -2.322643]]], [[[-1.478, -0.428, 14.024, 2.0, [0.01, 0.02, 0.01]], [-1.476913, 0.36867]], [[-1.241, -0.995, 19.089, -9.81, [0.01, 0.01, 0.03, 0.05, 0.02, 0.05, 0.02, 0.03]], [-1.117034, 1.855358]], [[-0.873, -1.85, 3.249, 2.0, [0.03, 0.01, 0.05, 0.03, 0.01, 0.05, 0.01, 0.03]], [-1.154179, -0.756734]], [[1.462, -1.373, 3.135, 0.0, [0.05, 0.02, 0.02, 0.01, 0.02, 0.05, 0.03]], [1.102151, -2.133217]], [[1.606, 1.967, 9.66, 0.0, [0.05, 0.03, 0.01, 0.02, 0.03, 0.05, 0.01]], [1.674706, -1.223548]], [[-0.635, -0.168, 10.919, -9.81, [0.03, 0.05, 0.03, 0.01, 0.03, 0.03, 0.05, 0.02]], [-0.757474, -0.737512]], [[-1.655, 0.554, 15.555, -9.81, [0.03, 0.02, 0.01, 0.01, 0.03, 0.01]], [-1.500918, 2.131832]], [[0.106, -1.937, 2.608, 0.0, [0.03, 0.01, 0.03, 0.05, 0.01, 0.05, 0.05, 0.02]], [-0.374085, -1.858207]]], [[[-0.434, -1.688, 15.899, 0.0, [0.03, 0.05, 0.01, 0.02]], [-0.573341, -0.885589]], [[-1.996, 0.382, 13.281, 2.0, [0.05, 0.02, 0.05, 0.03, 0.02, 0.01]], [-1.486075, 4.955798]], [[-0.786, 1.689, 5.769, 2.0, [0.03, 0.05, 0.03, 0.03]], [-0.490174, 2.418931]], [[-0.101, -1.02, 19.226, 2.0, [0.05, 0.01]], [-0.154839, -0.776626]], [[1.286, 1.196, 2.402, 0.0, [0.05, 0.05, 0.02, 0.01, 0.05, 0.05, 0.05, 0.03, 0.05]], [1.499807, 0.049865]], [[0.278, 1.61, 10.377, -9.81, [0.05, 0.03, 0.02, 0.05, 0.03, 0.05]], [0.295151, -1.14607]], [[-1.698, 0.325, 6.546, -9.81, [0.02, 0.02]], [-1.683974, 0.363268]], [[-0.516, 0.344, 13.779, -9.81, [0.01, 0.03, 0.01, 0.01, 0.03, 0.05]], [-0.495793, 0.012391]]], [[[1.069, 0.063, 3.1, 0.0, [0.01, 0.02, 0.01, 0.02, 0.03, 0.02, 0.01, 0.01]], [1.049237, -0.349388]], [[0.705, -0.579, 5.962, 0.0, [0.03, 0.05, 0.03, 0.03, 0.02, 0.03, 0.05, 0.03, 0.02, 0.03]], [0.333218, -1.592526]], [[-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.391, 1.387, 17.389, -9.81, [0.05, 0.03, 0.01]], [0.447014, -0.078323]], [[1.94, 0.689, 18.476, 0.0, [0.05, 0.01, 0.03, 0.01, 0.05, 0.02, 0.03, 0.02, 0.02]], [1.133627, -6.57541]], [[-1.434, -0.348, 10.741, -9.81, [0.03, 0.03, 0.03, 0.01, 0.05, 0.03, 0.03, 0.03, 0.01, 0.01]], [-1.336072, 1.031162]], [[1.097, 0.642, 16.162, 2.0, [0.01, 0.03]], [1.110042, 0.246936]], [[-0.08, 0.73, 11.393, -9.81, [0.03, 0.03, 0.05, 0.01, 0.01, 0.01, 0.01]], [-0.072953, -0.593702]]]]\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-bootstrap-initial-velocity","generated_at":"2026-09-29T14:50:56.000482+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":"Include v0*h0 in the first position.","root_cause":"x1 omits v0*h0.","sha256":"397128bb9790400d52de8536568c0a59a41c154faef2fc18b281afc4bfa4768e","title":"Verlet bootstrap ignores the initial velocity · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.453,"exit_code":1,"observations":[{"actual":[1.38732,6.152378],"check":"case 0","expected":[-0.057871,-1.335146],"passed":false},{"actual":[-5.109108,-34.315484],"check":"case 1","expected":[-1.654908,-0.324492],"passed":false},{"actual":[17.052982,145.051384],"check":"case 2","expected":[1.985105,-0.797275],"passed":false},{"actual":[-4.008738,-32.468278],"check":"case 3","expected":[0.248614,-3.42338],"passed":false},{"actual":[-8.949392,-103.855823],"check":"case 4","expected":[-0.748017,-1.466874],"passed":false},{"actual":[-0.556221,-6.727294],"check":"case 5","expected":[-0.106057,-0.321586],"passed":false},{"actual":[-1.450749,-82.136385],"check":"case 6","expected":[1.761368,-1.939568],"passed":false},{"actual":[-0.848349,5.370468],"check":"case 7","expected":[-1.249546,3.301322],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"case 0\", \"actual\": [1.38732, 6.152378], \"expected\": [-0.057871, -1.335146], \"passed\": false}, {\"check\": \"case 1\", \"actual\": [-5.109108, -34.315484], \"expected\": [-1.654908, -0.324492], \"passed\": false}, {\"check\": \"case 2\", \"actual\": [17.052982, 145.051384], \"expected\": [1.985105, -0.797275], \"passed\": false}, {\"check\": \"case 3\", \"actual\": [-4.008738, -32.468278], \"expected\": [0.248614, -3.42338], \"passed\": false}, {\"check\": \"case 4\", \"actual\": [-8.949392, -103.855823], \"expected\": [-0.748017, -1.466874], \"passed\": false}, {\"check\": \"case 5\", \"actual\": [-0.556221, -6.727294], \"expected\": [-0.106057, -0.321586], \"passed\": false}, {\"check\": \"case 6\", \"actual\": [-1.450749, -82.136385], \"expected\": [1.761368, -1.939568], \"passed\": false}, {\"check\": \"case 7\", \"actual\": [-0.848349, 5.370468], \"expected\": [-1.249546, 3.301322], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.764,"exit_code":1,"observations":[{"actual":[-0.102567,-1.566719],"check":"case 0","expected":[-0.057871,-1.335146],"passed":false},{"actual":[-1.473108,1.464508],"check":"case 1","expected":[-1.654908,-0.324492],"passed":false},{"actual":[1.832904,-2.270494],"check":"case 2","expected":[1.985105,-0.797275],"passed":false},{"actual":[0.472685,-1.894701],"check":"case 3","expected":[0.248614,-3.42338],"passed":false},{"actual":[-0.665175,-0.432642],"check":"case 4","expected":[-0.748017,-1.466874],"passed":false},{"actual":[-0.082364,0.015557],"check":"case 5","expected":[-0.106057,-0.321586],"passed":false},{"actual":[1.826921,-0.302898],"check":"case 6","expected":[1.761368,-1.939568],"passed":false},{"actual":[-1.270661,3.19242],"check":"case 7","expected":[-1.249546,3.301322],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"case 0\", \"actual\": [-0.102567, -1.566719], \"expected\": [-0.057871, -1.335146], \"passed\": false}, {\"check\": \"case 1\", \"actual\": [-1.473108, 1.464508], \"expected\": [-1.654908, -0.324492], \"passed\": false}, {\"check\": \"case 2\", \"actual\": [1.832904, -2.270494], \"expected\": [1.985105, -0.797275], \"passed\": false}, {\"check\": \"case 3\", \"actual\": [0.472685, -1.894701], \"expected\": [0.248614, -3.42338], \"passed\": false}, {\"check\": \"case 4\", \"actual\": [-0.665175, -0.432642], \"expected\": [-0.748017, -1.466874], \"passed\": false}, {\"check\": \"case 5\", \"actual\": [-0.082364, 0.015557], \"expected\": [-0.106057, -0.321586], \"passed\": false}, {\"check\": \"case 6\", \"actual\": [1.826921, -0.302898], \"expected\": [1.761368, -1.939568], \"passed\": false}, {\"check\": \"case 7\", \"actual\": [-1.270661, 3.19242], \"expected\": [-1.249546, 3.301322], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":39.127,"exit_code":0,"observations":[{"actual":[-0.057871,-1.335146],"check":"case 0","expected":[-0.057871,-1.335146],"passed":true},{"actual":[-1.654908,-0.324492],"check":"case 1","expected":[-1.654908,-0.324492],"passed":true},{"actual":[1.985105,-0.797275],"check":"case 2","expected":[1.985105,-0.797275],"passed":true},{"actual":[0.248614,-3.42338],"check":"case 3","expected":[0.248614,-3.42338],"passed":true},{"actual":[-0.748017,-1.466874],"check":"case 4","expected":[-0.748017,-1.466874],"passed":true},{"actual":[-0.106057,-0.321586],"check":"case 5","expected":[-0.106057,-0.321586],"passed":true},{"actual":[1.761368,-1.939568],"check":"case 6","expected":[1.761368,-1.939568],"passed":true},{"actual":[-1.249546,3.301322],"check":"case 7","expected":[-1.249546,3.301322],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"case 0\", \"actual\": [-0.057871, -1.335146], \"expected\": [-0.057871, -1.335146], \"passed\": true}, {\"check\": \"case 1\", \"actual\": [-1.654908, -0.324492], \"expected\": [-1.654908, -0.324492], \"passed\": true}, {\"check\": \"case 2\", \"actual\": [1.985105, -0.797275], \"expected\": [1.985105, -0.797275], \"passed\": true}, {\"check\": \"case 3\", \"actual\": [0.248614, -3.42338], \"expected\": [0.248614, -3.42338], \"passed\": true}, {\"check\": \"case 4\", \"actual\": [-0.748017, -1.466874], \"expected\": [-0.748017, -1.466874], \"passed\": true}, {\"check\": \"case 5\", \"actual\": [-0.106057, -0.321586], \"expected\": [-0.106057, -0.321586], \"passed\": true}, {\"check\": \"case 6\", \"actual\": [1.761368, -1.939568], \"expected\": [1.761368, -1.939568], \"passed\": true}, {\"check\": \"case 7\", \"actual\": [-1.249546, 3.301322], \"expected\": [-1.249546, 3.301322], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}