Fix deploy delete fallback verification

Author: codex

cmd/aima/tooldeps_deploy.go

@@ -474,6 +474,7 @@ func buildDeployDeps(ac *appContext, deps *mcp.ToolDeps,
 		deletedAt := time.Now()
 		tombstoneKeys := []string{name}
 		seenKeys := map[string]struct{}{normalizeDeletedDeploymentKey(name): {}}
+		verificationQueries := []string{name}
 		rememberKey := func(key string) {
 			norm := normalizeDeletedDeploymentKey(key)
 			if norm == "" {
@@ -485,6 +486,18 @@ func buildDeployDeps(ac *appContext, deps *mcp.ToolDeps,
 			seenKeys[norm] = struct{}{}
 			tombstoneKeys = append(tombstoneKeys, key)
 		}
+		rememberVerificationQuery := func(key string) {
+			norm := normalizeDeletedDeploymentKey(key)
+			if norm == "" {
+				return
+			}
+			for _, existing := range verificationQueries {
+				if normalizeDeletedDeploymentKey(existing) == norm {
+					return
+				}
+			}
+			verificationQueries = append(verificationQueries, key)
+		}
 
 		for _, match := range matches {
 			if match.Runtime == nil || match.Status == nil {
@@ -494,11 +507,16 @@ func buildDeployDeps(ac *appContext, deps *mcp.ToolDeps,
 				return fmt.Errorf("delete deployment %q on %s: %w", match.Status.Name, match.Runtime.Name(), err)
 			}
 			rememberKey(match.Status.Name)
-			rememberKey(deploymentModelKey(match.Status))
+			modelKey := deploymentModelKey(match.Status)
+			rememberKey(modelKey)
+			rememberVerificationQuery(match.Status.Name)
+			rememberVerificationQuery(modelKey)
 		}
 
-		if remaining := findMatchingDeployments(ctx, name, nil, rt, nativeRt, dockerRt); len(remaining) > 0 {
-			return fmt.Errorf("delete deployment %q: deployment still active after delete (%s)", name, summarizeMatchedDeployments(remaining))
+		for _, query := range verificationQueries {
+			if remaining := findMatchingDeployments(ctx, query, nil, rt, nativeRt, dockerRt); len(remaining) > 0 {
+				return fmt.Errorf("delete deployment %q: deployment still active after delete (%s)", name, summarizeMatchedDeployments(remaining))
+			}
 		}
 
 		for _, key := range tombstoneKeys {

cmd/aima/uat_chain_test.go

@@ -260,6 +260,61 @@ func TestDeployDeleteFallsBackFromModelNameToResolvedDeploymentName(t *testing.T
 	}
 }
 
+func TestDeployDeleteFallbackFailsWhenResolvedDeploymentStillActive(t *testing.T) {
+	ctx := context.Background()
+	db, err := state.Open(ctx, ":memory:")
+	if err != nil {
+		t.Fatalf("Open: %v", err)
+	}
+	defer db.Close()
+
+	deploy := &aimaRuntime.DeploymentStatus{
+		Name:    "qwen3-6-35b-a3b-sglang",
+		Phase:   "running",
+		Ready:   true,
+		Runtime: "docker",
+		Labels: map[string]string{
+			"aima.dev/model":  "qwen3-6-35b-a3b",
+			"aima.dev/engine": "sglang",
+		},
+	}
+	dockerRt := &deleteTrackingRuntime{
+		name:    "docker",
+		status:  map[string]*aimaRuntime.DeploymentStatus{deploy.Name: deploy},
+		aliases: map[string]string{"qwen3.6-35b-a3b": deploy.Name},
+		keep:    map[string]bool{deploy.Name: true},
+	}
+
+	deps := &mcp.ToolDeps{}
+	buildDeployDeps(&appContext{
+		db:       db,
+		rt:       dockerRt,
+		dockerRt: dockerRt,
+		proxy:    proxy.NewServer(),
+	}, deps,
+		func(context.Context, string, func(string, string), func(int64, int64)) error { return nil },
+		func(context.Context, string, string, string, map[string]any, bool, func(string, string), func(engine.ProgressEvent), func(int64, int64)) (json.RawMessage, error) {
+			return nil, nil
+		},
+	)
+
+	err = deps.DeployDelete(ctx, "qwen3.6-35b-a3b")
+	if err == nil {
+		t.Fatal("DeployDelete error = nil, want verification failure")
+	}
+	if !strings.Contains(err.Error(), "still active after delete") {
+		t.Fatalf("DeployDelete error = %v, want still-active verification failure", err)
+	}
+
+	tombstones, err := db.ListDeletedDeploymentsSince(ctx, time.Now().Add(-time.Minute))
+	if err != nil {
+		t.Fatalf("ListDeletedDeploymentsSince: %v", err)
+	}
+	if len(tombstones) != 0 {
+		t.Fatalf("deleted deployment tombstones = %v, want empty on failed delete", tombstones)
+	}
+}
+
 func TestDeployListAndStatusExposeTopLevelModelAndEngine(t *testing.T) {
 	ctx := context.Background()
 	db, err := state.Open(ctx, ":memory:")