Imagine you're managing a busy restaurant kitchen. You don't write one master plan for every cook, dishwasher, and server simultaneously — you'd drown in combinatorics. Instead, you give each station its own plan, then enforce coordination at the handoff points: the pass window where plates move from kitchen to floor. The constraint at the pass is what keeps the whole system coherent without requiring a god's-eye optimizer. That's exactly the mechanism in CRISP. The committed claim: a layered control architecture that decomposes a high-DOF humanoid (Unitree G1) into independently modeled subsystems — a single rigid body torso, two floating-base arms, and a lower body — connected by holonomic constraints whose Lagrange multipliers become decision variables in a single nonlinear model predictive controller (NMPC). This lets you optimize interaction wrenches (the forces transmitted at shoulder joints and between cooperating hands) in real time, without ever assembling the full-body dynamics into one monolithic model. The subsystem models stay small; the constraints do the coupling. The architecture sits squarely in the model-predictive-control family for legged/humanoid locomotion, but the novelty is in how the problem is factored. Prior whole-body MPC approaches — centroidal dynamics plus inverse dynamics (Dantec et al. 2022, Kim et al. 2024) — typically optimize a reduced model and then resolve full-body torques offline or in a second optimization layer. CRISP instead keeps multiple reduced models and explicitly optimizes the constraint forces between them, which means the interaction wrenches are first-class decision variables rather than afterthoughts computed post-hoc. For dual-arm cooperative manipulation, this distinction matters: you need the wrench the left hand exerts on the right through a shared object to be part of the planning, not a residual. The validation story is a mix of sim and hardware. In simulation (MuJoCo), optimized interaction wrenches closely match contact-sensor ground truth, and cooperative box-lifting trajectories track well. On hardware (Unitree G1), the NMPC runs online at an unspecified but reportedly real-time rate, demonstrating stable locomotion during dual-arm manipulation. The authors compare optimized wrenches against simulated contact measurements, which is internal consistency checking rather than independent validation. No direct quantitative comparison against a named competing whole-body MPC baseline is provided — the closest reference points are qualitative: other centroidal + WBC pipelines that cannot co-optimize interaction wrenches online. The most interesting engineering detail is the treatment of the closed kinematic chain formed when both hands grasp a common object. Rather than augmenting the full-body model, the chain appears as holonomic constraints linking two floating-base arm models, and the Lagrange multipliers parametrize the internal wrenches. This is clean and modular: swap the manipulation task (box, tray, tool) and you swap the constraint, not the dynamics. What's missing is a head-to-head benchmark. The paper argues that existing centroidal + inverse-dynamics pipelines cannot represent interaction wrenches as online decision variables, but it never runs the same task on a baseline pipeline and shows, numerically, what goes wrong. The hardware experiments show stable walking-and-lifting, which is impressive but not quantitatively compared to anything. The gap between "we validated on hardware" and "we beat X on hardware" is the gap this paper leaves open. The successor experiment that wasn't run — and almost certainly will be in the next paper — is dynamic cooperative manipulation: catching, throwing, or rapidly reacting to external disturbances on the shared object. The current demos are quasi-static lifts and trajectory tracking. The framework's claim to real-time wrench optimization should shine brightest under dynamic perturbation, and the absence of that test suggests either the solver isn't fast enough yet or they're saving it.
