Imagine you're sharing a recipe. Most robotics optimization libraries hand you a fully stocked kitchen — Drake, CasADi, Pyomo — with hundreds of tools, specific Python versions, GPU drivers, and dependency chains that rot within months. Amplify's move is different: instead of shipping the kitchen, it ships the recipe card. The algorithms themselves live inside the optimization model as constraints, written in AMPL's declarative language. If you can read the model file, you can reproduce the result. That's the core bet. The committed claim: trajectory optimization algorithms for robotics can be formulated entirely within the optimization model itself — dynamics, trajectories, and reference motions encoded as constraints in a declarative paradigm — and this yields a library that is both lightweight (537 lines, 80 chars/line) and reproducible with nothing more than a text editor and an AMPL solver connection. This is not a new algorithm. It's a new packaging philosophy. Where does this sit on the ladder? The paper compares Amplify against three established libraries across benchmark problems spanning bipedal locomotion and grasp planning. The comparison targets are likely Drake (Google), CasADi, and Pyomo or similar — the workhorses of the robotics trajectory optimization world. Amplify is not claiming faster solves or better optima. It's claiming equivalent results with radically less infrastructure. The comparison is about reproducibility friction, not computational performance, which is an honest framing but also a softer target. Architecturally, this belongs to the transcription-method family — the class of tools that convert continuous optimal control problems into finite-dimensional nonlinear programs (NLPs) via collocation or shooting methods. The twist is that the transcription happens entirely inside the AMPL modeling language's constraint system, using a declarative paradigm rather than the imperative code typical of Drake or CasADi. The compute property being leaned on is AMPL's cloud solver infrastructure (NEOS or similar), which offloads the actual solve and eliminates local dependency management. Integrity is mixed. The paper compares against three named libraries on benchmark problems, which is good. Code is available on GitHub, which is strong. But the benchmarks appear to be author-selected (not a pre-registered community suite), and the core claim — reproducibility — is inherently hard to validate without independent replication by other groups trying to reproduce results using only the published model files. The 537-line constraint is a nice discipline, but line count is a proxy for simplicity, not a guarantee of it. The milestone question is about adoption, not computation. The real test is whether other robotics researchers actually use Amplify's model files to reproduce published results without contacting the original authors. A concrete next number: if 5-10 independent groups can reproduce the bipedal locomotion and grasp planning results from the model files alone within 12-18 months, the reproducibility claim graduates from demonstrated to validated. That hasn't happened yet. The obvious experiment not run: having an independent lab — ideally one unfamiliar with AMPL — attempt to reproduce the benchmark results using only the published model files and documentation. The honest read is (a): this is a single-author paper, and organizing independent replication studies requires collaborators the author may not have had. The paper is submitted for review, so this gap may also reflect timing — replication takes time the publication cycle doesn't provide.
