Remove manual runtime controls from server detail

platform_web/contracts/workspace.ts

@@ -144,35 +144,16 @@ export interface PlatformOverviewSignal {
   at: string;
 }
 
-export type ServerDetailSection = "logs" | "terminal" | "runtime" | "config" | "plugins" | "llm" | "history";
+export type ServerDetailSection = "logs" | "terminal" | "config" | "llm" | "history" | `plugin:${string}`;
 
 export const serverDetailSections: Array<{ id: ServerDetailSection; label: string }> = [
   { id: "logs", label: "日志" },
   { id: "terminal", label: "管理终端" },
-  { id: "runtime", label: "运行操作" },
   { id: "config", label: "配置" },
-  { id: "plugins", label: "插件控制" },
   { id: "llm", label: "AI 助手" },
   { id: "history", label: "操作历史" }
 ];
 
-export interface PluginControlDescriptor {
-  key: string;
-  label: string;
-  description: string;
-  capability: string;
-	lifecycleAction?: "start" | "stop" | "status";
-  dangerous: boolean;
-}
-
-export interface PluginControlGroupView {
-  pluginId: string;
-  pluginName: string;
-  version: string;
-  status: string;
-  controls: PluginControlDescriptor[];
-}
-
 export interface DiffLine {
   kind: "same" | "added" | "removed";
   text: string;