FA-87959 / Inverse kinematics solvers / Member archive

CCD reports a sweep for the convergence check that stops it · case 04

Solves that start inside tolerance report one sweep instead of zero, and every count is one high after convergence.

Member previewVariant 4 · 3 implementations · 7 checks per implementation

Case contract

Input [lengths, angles, target, iters, tol, lim]: planar serial chain with relative joint angles in degrees and a symmetric joint limit +/-lim degrees. Each iteration first stops if the tip is within tol of target, else counts one sweep that visits joints from the tip joint down to the base, re-evaluating forward kinematics before each joint, rotating by the signed angle between tip and target vectors and clamping the joint. Return [angles (3 decimals), sweeps performed, final error (4 decimals)].

Why this case matters

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.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
loose tolerance	`[[5.0, 5.0, 5.0], 1, 0.1285]`	`[[5.0, 5.0, 5.0], 0, 0.1285]`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.