{"abstract":"Headings other than zero produce wild wrist offsets and wrist joint angles.","category":"Inverse kinematics solvers","checks":7,"contract":"Input [l1,l2,l3,px,py,phi,elbow]: planar three-link arm, phi is the required tool heading in degrees. Subtract l3 along phi to get the wrist centre, solve the two-link sub-chain (elbow \"up\" gives q2>=0), set q3=phi-q1-q2 and wrap each joint to [-180,180) in degrees rounded to 4 places. A wrist centre outside |l1-l2|..l1+l2 returns \"unreachable\".","contract_signature":"x","evaluation_group":"w2-inverse_kinematics_solvers-three-link-wrist-center","failed_approach":"Scaling by pi/360 converts half the angle.","family":"w2-inverse_kinematics_solvers-three-link-wrist-center-tool-heading-units","id":"FA-87881","implementations":{"attempt":{"sha256":"1a5b4e96962734e6a33728b3a979171d2db850c5ebc1c3901da400af4d3a29d4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    l1,l2,l3,px,py,phi,elbow=x\n    a=phi*math.pi/360\n    wx=px-l3*math.cos(a)\n    wy=py-l3*math.sin(a)\n    r2=wx*wx+wy*wy\n    if r2>(l1+l2)**2+1e-9 or r2<(l1-l2)**2-1e-9: return 'unreachable'\n    c=(r2-l1*l1-l2*l2)/(2*l1*l2)\n    c=max(-1.0,min(1.0,c))\n    s=math.sqrt(1.0-c*c)*(1 if elbow=='up' else -1)\n    q1=math.atan2(wy,wx)-math.atan2(l2*s,l1+l2*c)\n    q2=math.atan2(s,c)\n    q3=a-q1-q2\n    out=[]\n    for q in (q1,q2,q3):\n        d=math.degrees(q)\n        d=(d+180.0)%360.0-180.0\n        out.append(round(d,4))\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['tool pointing along x', [[2, 1.5, 0.5, 3, 1, 0, 'up']], [-11.5172, 80.4059, -68.8887]], ['tool pointing up', [[2, 1.5, 0.5, 2, 2, 90, 'down']], [73.7398, -90.0, 106.2602]], ['tool pointing back', [[2, 2, 1, -1, 2, 180, 'up']], [30.0, 120.0, 30.0]], ['tool pointing down', [[2, 1, 0.5, 1.5, -1, -90, 'up']], [-48.0197, 128.6822, -170.6625]], ['wrist just reachable', [[1, 1, 1, 2.5, 0, 0, 'up']], [-41.4096, 82.8192, -41.4096]], ['tip in reach but wrist not', [[1, 1, 1, 2.5, 0, 180, 'up']], 'unreachable'], ['diagonal heading', [[2, 1, 1, 2, 2, 45, 'down']], [74.8541, -114.4698, 84.6157]]], [['tool pointing back', [[2, 2, 1, -1, 2, 180, 'up']], [30.0, 120.0, 30.0]], ['wrist just reachable', [[1, 1, 1, 2.5, 0, 0, 'up']], [-41.4096, 82.8192, -41.4096]], ['tip in reach but wrist not', [[1, 1, 1, 2.5, 0, 180, 'up']], 'unreachable'], ['diagonal heading', [[2, 1, 1, 2, 2, 45, 'down']], [74.8541, -114.4698, 84.6157]], ['multi-turn heading', [[2, 1.5, 0.5, 1, 2.5, 405, 'up']], [32.3158, 101.7795, -89.0953]], ['negative heading', [[3, 2, 1, 3, -2, -30, 'down']], [5.9393, -121.0875, 85.1482]], ['third quadrant wrist', [[2, 2, 0.5, -2, -2, 225, 'up']], [170.5989, 108.8023, -54.4011]]], [['tool pointing down', [[2, 1, 0.5, 1.5, -1, -90, 'up']], [-48.0197, 128.6822, -170.6625]], ['multi-turn heading', [[2, 1.5, 0.5, 1, 2.5, 405, 'up']], [32.3158, 101.7795, -89.0953]], ['negative heading', [[3, 2, 1, 3, -2, -30, 'down']], [5.9393, -121.0875, 85.1482]], ['third quadrant wrist', [[2, 2, 0.5, -2, -2, 225, 'up']], [170.5989, 108.8023, -54.4011]], ['zero length tool', [[2, 1, 0, 2, 1, 60, 'up']], [0.0, 90.0, -30.0]], ['heading 150', [[2, 1.5, 1, -1, 2.5, 150, 'down']], [137.8289, -111.8395, 124.0106]], ['wrist in inner hole', [[3, 1, 1, 2.2, 0, 0, 'up']], 'unreachable']], [['diagonal heading', [[2, 1, 1, 2, 2, 45, 'down']], [74.8541, -114.4698, 84.6157]], ['zero length tool', [[2, 1, 0, 2, 1, 60, 'up']], [0.0, 90.0, -30.0]], ['heading 150', [[2, 1.5, 1, -1, 2.5, 150, 'down']], [137.8289, -111.8395, 124.0106]], ['wrist in inner hole', [[3, 1, 1, 2.2, 0, 0, 'up']], 'unreachable'], ['wrist behind tip beyond reach', [[1, 1, 1, 1.5, 0, 180, 'up']], 'unreachable'], ['wrist stretched', [[2, 1, 1, 4, 0, 0, 'down']], [0.0, 0.0, 0.0]], ['heading -135', [[1.5, 1.5, 0.5, -1.2, -1.7, -135, 'down']], [-64.1702, -115.9708, 45.141]]], [['multi-turn heading', [[2, 1.5, 0.5, 1, 2.5, 405, 'up']], [32.3158, 101.7795, -89.0953]], ['wrist behind tip beyond reach', [[1, 1, 1, 1.5, 0, 180, 'up']], 'unreachable'], ['wrist stretched', [[2, 1, 1, 4, 0, 0, 'down']], [0.0, 0.0, 0.0]], ['heading -135', [[1.5, 1.5, 0.5, -1.2, -1.7, -135, 'down']], [-64.1702, -115.9708, 45.141]], ['near base with long tool', [[2, 2, 2, 0.5, 0.5, 10, 'up']], [105.7453, 136.645, 127.6097]], ['heading 300', [[2.5, 1.5, 0.8, 1, -3, 300, 'up']], [-111.095, 112.0608, -60.9658]], ['heading -300', [[2.5, 1.5, 0.8, 1, 3, -300, 'down']], [111.095, -112.0608, 60.9658]]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, 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":"4e933e76447dca54694a18dcd929bb3b83c5aa542df23b8168471e89739e889d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(x):\n    l1,l2,l3,px,py,phi,elbow=x\n    a=phi\n    wx=px-l3*math.cos(a)\n    wy=py-l3*math.sin(a)\n    r2=wx*wx+wy*wy\n    if r2>(l1+l2)**2+1e-9 or r2<(l1-l2)**2-1e-9: return 'unreachable'\n    c=(r2-l1*l1-l2*l2)/(2*l1*l2)\n    c=max(-1.0,min(1.0,c))\n    s=math.sqrt(1.0-c*c)*(1 if elbow=='up' else -1)\n    q1=math.atan2(wy,wx)-math.atan2(l2*s,l1+l2*c)\n    q2=math.atan2(s,c)\n    q3=a-q1-q2\n    out=[]\n    for q in (q1,q2,q3):\n        d=math.degrees(q)\n        d=(d+180.0)%360.0-180.0\n        out.append(round(d,4))\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['tool pointing along x', [[2, 1.5, 0.5, 3, 1, 0, 'up']], [-11.5172, 80.4059, -68.8887]], ['tool pointing up', [[2, 1.5, 0.5, 2, 2, 90, 'down']], [73.7398, -90.0, 106.2602]], ['tool pointing back', [[2, 2, 1, -1, 2, 180, 'up']], [30.0, 120.0, 30.0]], ['tool pointing down', [[2, 1, 0.5, 1.5, -1, -90, 'up']], [-48.0197, 128.6822, -170.6625]], ['wrist just reachable', [[1, 1, 1, 2.5, 0, 0, 'up']], [-41.4096, 82.8192, -41.4096]], ['tip in reach but wrist not', [[1, 1, 1, 2.5, 0, 180, 'up']], 'unreachable'], ['diagonal heading', [[2, 1, 1, 2, 2, 45, 'down']], [74.8541, -114.4698, 84.6157]]], [['tool pointing back', [[2, 2, 1, -1, 2, 180, 'up']], [30.0, 120.0, 30.0]], ['wrist just reachable', [[1, 1, 1, 2.5, 0, 0, 'up']], [-41.4096, 82.8192, -41.4096]], ['tip in reach but wrist not', [[1, 1, 1, 2.5, 0, 180, 'up']], 'unreachable'], ['diagonal heading', [[2, 1, 1, 2, 2, 45, 'down']], [74.8541, -114.4698, 84.6157]], ['multi-turn heading', [[2, 1.5, 0.5, 1, 2.5, 405, 'up']], [32.3158, 101.7795, -89.0953]], ['negative heading', [[3, 2, 1, 3, -2, -30, 'down']], [5.9393, -121.0875, 85.1482]], ['third quadrant wrist', [[2, 2, 0.5, -2, -2, 225, 'up']], [170.5989, 108.8023, -54.4011]]], [['tool pointing down', [[2, 1, 0.5, 1.5, -1, -90, 'up']], [-48.0197, 128.6822, -170.6625]], ['multi-turn heading', [[2, 1.5, 0.5, 1, 2.5, 405, 'up']], [32.3158, 101.7795, -89.0953]], ['negative heading', [[3, 2, 1, 3, -2, -30, 'down']], [5.9393, -121.0875, 85.1482]], ['third quadrant wrist', [[2, 2, 0.5, -2, -2, 225, 'up']], [170.5989, 108.8023, -54.4011]], ['zero length tool', [[2, 1, 0, 2, 1, 60, 'up']], [0.0, 90.0, -30.0]], ['heading 150', [[2, 1.5, 1, -1, 2.5, 150, 'down']], [137.8289, -111.8395, 124.0106]], ['wrist in inner hole', [[3, 1, 1, 2.2, 0, 0, 'up']], 'unreachable']], [['diagonal heading', [[2, 1, 1, 2, 2, 45, 'down']], [74.8541, -114.4698, 84.6157]], ['zero length tool', [[2, 1, 0, 2, 1, 60, 'up']], [0.0, 90.0, -30.0]], ['heading 150', [[2, 1.5, 1, -1, 2.5, 150, 'down']], [137.8289, -111.8395, 124.0106]], ['wrist in inner hole', [[3, 1, 1, 2.2, 0, 0, 'up']], 'unreachable'], ['wrist behind tip beyond reach', [[1, 1, 1, 1.5, 0, 180, 'up']], 'unreachable'], ['wrist stretched', [[2, 1, 1, 4, 0, 0, 'down']], [0.0, 0.0, 0.0]], ['heading -135', [[1.5, 1.5, 0.5, -1.2, -1.7, -135, 'down']], [-64.1702, -115.9708, 45.141]]], [['multi-turn heading', [[2, 1.5, 0.5, 1, 2.5, 405, 'up']], [32.3158, 101.7795, -89.0953]], ['wrist behind tip beyond reach', [[1, 1, 1, 1.5, 0, 180, 'up']], 'unreachable'], ['wrist stretched', [[2, 1, 1, 4, 0, 0, 'down']], [0.0, 0.0, 0.0]], ['heading -135', [[1.5, 1.5, 0.5, -1.2, -1.7, -135, 'down']], [-64.1702, -115.9708, 45.141]], ['near base with long tool', [[2, 2, 2, 0.5, 0.5, 10, 'up']], [105.7453, 136.645, 127.6097]], ['heading 300', [[2.5, 1.5, 0.8, 1, -3, 300, 'up']], [-111.095, 112.0608, -60.9658]], ['heading -300', [[2.5, 1.5, 0.8, 1, 3, -300, 'down']], [111.095, -112.0608, 60.9658]]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, 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":"Deterministic planar or low-dimensional teaching model with a stipulated convention; not a general robotics library. 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-inverse_kinematics_solvers-three-link-wrist-center-tool-heading-units","generated_at":"2026-09-29T14:51:03.015081+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Inverse kinematics code turns task-space goals into joint commands; a wrong branch, sign, limit or update order sends a real arm to the wrong pose.","root_cause":"The phi input is never converted, so 90 degrees is treated as 90 radians.","sha256":"80aeb0261f8e4cef3af841def44a1ef4c27ac6a726ce28c790062107c7282ee4","title":"Tool heading in degrees is used directly as radians · 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":42.409,"exit_code":1,"observations":[{"actual":[-11.5172,80.4059,-68.8887],"check":"tool pointing along x","expected":[-11.5172,80.4059,-68.8887],"passed":true},{"actual":[84.6459,-97.9362,58.2903],"check":"tool pointing up","expected":[73.7398,-90.0,106.2602],"passed":false},{"actual":[65.7048,138.5904,-114.2952],"check":"tool pointing back","expected":[30.0,120.0,30.0],"passed":false},{"actual":[-55.4058,144.7798,-134.374],"check":"tool pointing down","expected":[-48.0197,128.6822,-170.6625],"passed":false},{"actual":[-41.4096,82.8192,-41.4096],"check":"wrist just reachable","expected":[-41.4096,82.8192,-41.4096],"passed":true},{"actual":"unreachable","check":"tip in reach but wrist not","expected":"unreachable","passed":true},{"actual":[85.7008,-107.8522,44.6514],"check":"diagonal heading","expected":[74.8541,-114.4698,84.6157],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"tool pointing along x\", \"actual\": [-11.5172, 80.4059, -68.8887], \"expected\": [-11.5172, 80.4059, -68.8887], \"passed\": true}, {\"check\": \"tool pointing up\", \"actual\": [84.6459, -97.9362, 58.2903], \"expected\": [73.7398, -90.0, 106.2602], \"passed\": false}, {\"check\": \"tool pointing back\", \"actual\": [65.7048, 138.5904, -114.2952], \"expected\": [30.0, 120.0, 30.0], \"passed\": false}, {\"check\": \"tool pointing down\", \"actual\": [-55.4058, 144.7798, -134.374], \"expected\": [-48.0197, 128.6822, -170.6625], \"passed\": false}, {\"check\": \"wrist just reachable\", \"actual\": [-41.4096, 82.8192, -41.4096], \"expected\": [-41.4096, 82.8192, -41.4096], \"passed\": true}, {\"check\": \"tip in reach but wrist not\", \"actual\": \"unreachable\", \"expected\": \"unreachable\", \"passed\": true}, {\"check\": \"diagonal heading\", \"actual\": [85.7008, -107.8522, 44.6514], \"expected\": [74.8541, -114.4698, 84.6157], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.156,"exit_code":1,"observations":[{"actual":[-11.5172,80.4059,-68.8887],"check":"tool pointing along x","expected":[-11.5172,80.4059,-68.8887],"passed":true},{"actual":[67.8456,-79.3568,128.1314],"check":"tool pointing up","expected":[73.7398,-90.0,106.2602],"passed":false},{"actual":[53.1852,89.9449,90.1102],"check":"tool pointing back","expected":[30.0,120.0,30.0],"passed":false},{"actual":[-47.6865,115.4975,175.5688],"check":"tool pointing down","expected":[-48.0197,128.6822,-170.6625],"passed":false},{"actual":[-41.4096,82.8192,-41.4096],"check":"wrist just reachable","expected":[-41.4096,82.8192,-41.4096],"passed":true},{"actual":"unreachable","check":"tip in reach but wrist not","expected":"unreachable","passed":true},{"actual":[67.6355,-112.1001,102.7746],"check":"diagonal heading","expected":[74.8541,-114.4698,84.6157],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"tool pointing along x\", \"actual\": [-11.5172, 80.4059, -68.8887], \"expected\": [-11.5172, 80.4059, -68.8887], \"passed\": true}, {\"check\": \"tool pointing up\", \"actual\": [67.8456, -79.3568, 128.1314], \"expected\": [73.7398, -90.0, 106.2602], \"passed\": false}, {\"check\": \"tool pointing back\", \"actual\": [53.1852, 89.9449, 90.1102], \"expected\": [30.0, 120.0, 30.0], \"passed\": false}, {\"check\": \"tool pointing down\", \"actual\": [-47.6865, 115.4975, 175.5688], \"expected\": [-48.0197, 128.6822, -170.6625], \"passed\": false}, {\"check\": \"wrist just reachable\", \"actual\": [-41.4096, 82.8192, -41.4096], \"expected\": [-41.4096, 82.8192, -41.4096], \"passed\": true}, {\"check\": \"tip in reach but wrist not\", \"actual\": \"unreachable\", \"expected\": \"unreachable\", \"passed\": true}, {\"check\": \"diagonal heading\", \"actual\": [67.6355, -112.1001, 102.7746], \"expected\": [74.8541, -114.4698, 84.6157], \"passed\": false}], \"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."}}