You know how a good build system works? You write one Makefile — or one CMakeLists.txt — and it compiles to debug binaries, release binaries, test harnesses, and documentation, all from the same source of truth. Change the spec in one place, everything downstream stays consistent. Now imagine the opposite: you hand-write your debug build, then separately hand-write your release build, then separately hand-write your tests, and they all silently drift apart. That's the state of robot manipulation pipelines today. Model Predictive Control (MPC) gets one hand-tuned cost function. Reinforcement learning gets a separate hand-crafted reward. Behavior cloning gets trajectories that may not match either. The task semantics — what "pick up the mug" actually means in terms of geometry and contact — get re-specified at each stage, and nobody checks if they still agree. SUN Programs are the Makefile. The paper introduces typed executables where geometric relations ("gripper above mug handle") and contact predicates ("fingers closed on rim") are defined once, then compiled into five aligned outputs: MPC trajectory-optimization costs, satisfaction predicates that say when a stage is done, RL reward signals, transition guards between stages, and runtime diagnostics. The key word is "compiled" — these aren't templates or heuristics, they're typed programs with formal structure that a compiler can target to different backends. The system that synthesizes and executes them is called Kuafu, and it uses large vision-language models to go from natural language plus scene perception to SUN Programs automatically. The numbers tell a clear story about baselines. Across nine manipulation tasks, Kuafu achieves 82.03% macro-success rate. Sparse-reward RL — the standard "you get +1 when you succeed" approach — manages 35.67%. Stage-wise Behavior Cloning (Stage-BC) lands at 24.75%. That's a 2.3× gap over the next-best method. At 8192-way parallel simulation scale, the system generates 10.57× the successful trajectory time per hour compared to human teleoperation. This is the leverage number: you're replacing human demonstrators with a compiler that screens feasibility via MPC before burning RL compute on hopeless configurations. The sim-to-real transfer is where honest reading matters most. With 500 trajectories per task, Kuafu-generated data trains DP3 (Diffusion Policy 3D) policies to 46.0% simulation success versus 22.4% for alternatives — roughly 2× — and 34.7% on physical Franka and Kinova robots. That 34.7% real-robot number is the load-bearing result. It's not 82%. The sim-to-real gap is real and large. But getting to a third success rate on physical hardware with zero human demonstrations and zero hand-crafted dense rewards is the actual claim, and it's a meaningful one. Architecturally, this sits in the MPC-as-teacher, RL-as-student family — a lineage running through DAgger, MPC-guided policy search, and recent LLM-as-planner work. The distinctive move is making the compilation formal rather than ad-hoc: instead of using MPC trajectories as loose demonstrations, the semantic program guarantees that the RL reward is measuring the same thing the MPC cost was optimizing. The VLM component (for program synthesis from language) is upstream and modular — it generates the program, but the program's execution is deterministic compilation, not neural inference. The integrity picture is mixed in predictable ways. Validation is primarily same-team simulation across nine tasks, which is standard for this subfield but not independent. The real-robot experiments on two different platforms (Franka and Kinova) add genuine signal — different kinematics, different grippers, same pipeline. But the task selection (nine tasks, chosen by the authors) leaves room for cherry-picking. We don't know which tasks were tried and dropped. The 82% macro-success is averaged across tasks, and variance across individual tasks isn't highlighted in the abstract. The successor experiment that's conspicuously absent: scaling to tasks with deformable objects, tool use, or multi-object rearrangement where contact semantics get combinatorially harder. The SUN Program formalism leans on geometric and contact predicates that are clean for rigid-body pick-and-place. The moment you need to reason about cloth folding or pouring liquids, the typed-program abstraction gets tested in a fundamentally different way. My read: they know this is the next frontier and are either working on it for the follow-up or discovered that the current predicate vocabulary doesn't extend cleanly. Either way, it's the experiment that would either confirm or break the generality claim.
