Imagine a crowded farmers' market where every vendor is simultaneously trying to wheel their cart to the best spot. A centralized solution would be a market manager with a megaphone telling everyone exactly when to move — it works, but it's slow, fragile, and doesn't scale. WarpWeaver's insight is that the vendors can figure it out themselves if you give them a pricing mechanism: charge rent for contested floor space, let each vendor plan their own route given the current prices, then update prices based on who's still colliding. Each round of bidding narrows the gap. That's column generation applied to multi-robot coordination, and it works in real time. The committed claim: for differentially flat multi-robot systems, you can replace centralized joint-space optimization with decentralized dispersive tree search plus a rent-based negotiation protocol, and the result provably approaches the joint optimum with a certifiable near-optimality bound at quiescence. This isn't just another safe-navigation planner — it targets actual cost optimality, which decentralized real-time planners have mostly given up on. The architecture sits in the family of sampling-based motion planners — specifically, dispersive trees of forward-propagated commands for differentially flat systems, extended from a recent single-robot framework. The multi-robot coupling is handled by column generation from linear programming, where each robot solves a local subproblem (growing its dispersive tree) and a coordinator updates dual variables (rents on shared spatiotemporal cells) asynchronously. The key structural insight is that inter-robot coupling can be replaced by local constraints under which each robot's dispersive tree already contains a near-optimal trajectory — you just need the negotiation to find it. On the Dynobench suite, WarpWeaver reduces total travel time by up to 22% against centralized offline planners (db-CBS, which gets unlimited compute time) and by up to 37% against the decentralized real-time baseline (db-ECBS). On a graph connectivity task, it nearly doubles the success rate of a task-specific planner. These numbers are strong — beating a centralized offline method in solution quality while running decentralized and in real time is a genuine result, not incremental. Integrity is solid but bounded. The simulation benchmarks use the community Dynobench suite, which is a recognized multi-robot planning benchmark. The hardware experiments involve six robots planning onboard, which moves this past pure simulation. However, the six-robot hardware demo is a proof of implementability, not a stress test — real scalability questions remain open at 20+ robots or in highly dynamic environments. The near-optimality certificate is a mathematical guarantee at quiescence, but the paper acknowledges that real-time deadlines often cut negotiation short, and the gap between the achieved solution and the certified bound under truncation isn't fully characterized. The milestone to watch is scaling: six robots on hardware today, but the real unlock is 20-50 robots in dense, dynamic environments (warehouse logistics, drone swarms) where centralized planners are simply infeasible. The gap is probably 2-4 years — the algorithmic framework is there, but onboard compute and communication latency in dense teams will be the binding constraints. The obvious experiment not run is scaling to significantly larger teams (20+ robots) and adversarial or highly dynamic environments. The honest read: this is partly compute/hardware budget (six physical robots is already nontrivial for an academic lab), and partly that the asynchronous convergence properties under extreme truncation and communication delays are likely the next paper's contribution. The authors are clearly building toward that — the receding-horizon, anytime structure is designed for it.
