Method cleanup

src/node/services/backgroundProcessManager.ts:1348–1365

* Clean up all processes for a workspace. * Terminates running processes and removes from memory. * Output directories are left on disk (cleaned by OS for /tmp, or on workspace deletion for local).

(workspaceId: string)

   * Output directories are left on disk (cleaned by OS for /tmp, or on workspace deletion for local).
   */
  async cleanup(workspaceId: string): Promise<void> {
    log.debug(`BackgroundProcessManager.cleanup(${workspaceId}) called`);
    const matching = Array.from(this.processes.values()).filter(
      (p) => p.workspaceId === workspaceId
    );

    // Terminate all running processes
    await Promise.all(matching.map((p) => this.terminate(p.id)));

    // Remove from memory (output dirs left on disk for OS/workspace cleanup)
    // All per-process state (outputBytesRead, outputLock) is stored in the
    // BackgroundProcess object, so cleanup is automatic when we delete here.
    for (const p of matching) {
      this.processes.delete(p.id);
    }

    log.debug(`Cleaned up ${matching.length} process(es) for workspace ${workspaceId}`);
  }
}