From 52c122642ddeb8ce286441d1b9d7d19422b0b29f Mon Sep 17 00:00:00 2001
From: Vladimir Krivosheev <vladimir.krivosheev@jetbrains.com>
Date: Fri, 13 Feb 2026 19:06:43 +0100
Subject: [PATCH] IJPL-233558 add specs

GitOrigin-RevId: 8094fa3846246c68a3785726babb2d75c2536c1a
---
 plugins/agent-workbench/chat/src/AgentChatEditorService.kt    | 2 ++
 plugins/agent-workbench/chat/src/AgentChatFileEditor.kt       | 2 ++
 .../agent-workbench/chat/src/AgentChatFileEditorProvider.kt   | 2 ++
 .../agent-workbench/sessions/src/AgentChatOpenModeSettings.kt | 2 ++
 .../sessions/src/AgentSessionsDedicatedFrameToggleAction.kt   | 2 ++
 plugins/agent-workbench/sessions/src/AgentSessionsService.kt  | 4 ++++
 .../agent-workbench/sessions/src/AgentSessionsToolWindow.kt   | 3 +++
 .../src/AgentWorkbenchDedicatedFrameProjectManager.kt         | 2 ++
 plugins/agent-workbench/sessions/src/SessionTree.kt           | 3 +++
 .../sessions/src/SessionTreeNewSessionActions.kt              | 4 +++-
 plugins/agent-workbench/sessions/src/SessionTreeRows.kt       | 4 ++++
 plugins/agent-workbench/sessions/src/SessionTreeState.kt      | 2 +-
 .../src/providers/codex/CodexRolloutSessionBackend.kt         | 2 ++
 .../sessions/src/providers/codex/CodexSessionSource.kt        | 3 +++
 14 files changed, 35 insertions(+), 2 deletions(-)

diff --git a/plugins/agent-workbench/chat/src/AgentChatEditorService.kt b/plugins/agent-workbench/chat/src/AgentChatEditorService.kt
index 1fbd92f9651b..6657139bee72 100644
--- a/plugins/agent-workbench/chat/src/AgentChatEditorService.kt
+++ b/plugins/agent-workbench/chat/src/AgentChatEditorService.kt
@@ -1,6 +1,8 @@
 // Copyright 2000-2026 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license.
 package com.intellij.agent.workbench.chat
 
+// @spec community/plugins/agent-workbench/spec/agent-chat-editor.spec.md
+
 import com.intellij.openapi.components.Service
 import com.intellij.openapi.fileEditor.FileEditorManager
 import com.intellij.openapi.project.Project
diff --git a/plugins/agent-workbench/chat/src/AgentChatFileEditor.kt b/plugins/agent-workbench/chat/src/AgentChatFileEditor.kt
index 9e263e472189..36c38ad367f9 100644
--- a/plugins/agent-workbench/chat/src/AgentChatFileEditor.kt
+++ b/plugins/agent-workbench/chat/src/AgentChatFileEditor.kt
@@ -1,6 +1,8 @@
 // Copyright 2000-2026 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license.
 package com.intellij.agent.workbench.chat
 
+// @spec community/plugins/agent-workbench/spec/agent-chat-editor.spec.md
+
 import com.intellij.openapi.fileEditor.FileEditor
 import com.intellij.openapi.fileEditor.FileEditorState
 import com.intellij.openapi.util.Disposer
diff --git a/plugins/agent-workbench/chat/src/AgentChatFileEditorProvider.kt b/plugins/agent-workbench/chat/src/AgentChatFileEditorProvider.kt
index be3a9b03a765..1acfb02f42e0 100644
--- a/plugins/agent-workbench/chat/src/AgentChatFileEditorProvider.kt
+++ b/plugins/agent-workbench/chat/src/AgentChatFileEditorProvider.kt
@@ -1,6 +1,8 @@
 // Copyright 2000-2026 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license.
 package com.intellij.agent.workbench.chat
 
+// @spec community/plugins/agent-workbench/spec/agent-chat-editor.spec.md
+
 import com.intellij.openapi.application.EDT
 import com.intellij.openapi.editor.Document
 import com.intellij.openapi.fileEditor.AsyncFileEditorProvider
diff --git a/plugins/agent-workbench/sessions/src/AgentChatOpenModeSettings.kt b/plugins/agent-workbench/sessions/src/AgentChatOpenModeSettings.kt
index f42873bfff58..67109d3c9343 100644
--- a/plugins/agent-workbench/sessions/src/AgentChatOpenModeSettings.kt
+++ b/plugins/agent-workbench/sessions/src/AgentChatOpenModeSettings.kt
@@ -1,6 +1,8 @@
 // Copyright 2000-2026 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license.
 package com.intellij.agent.workbench.sessions
 
+// @spec community/plugins/agent-workbench/spec/agent-dedicated-frame.spec.md
+
 import com.intellij.openapi.options.advanced.AdvancedSettings
 
 internal const val OPEN_CHAT_IN_DEDICATED_FRAME_SETTING_ID: String = "agent.workbench.chat.open.in.dedicated.frame"
diff --git a/plugins/agent-workbench/sessions/src/AgentSessionsDedicatedFrameToggleAction.kt b/plugins/agent-workbench/sessions/src/AgentSessionsDedicatedFrameToggleAction.kt
index fbade459fc06..f4cb750b1e0d 100644
--- a/plugins/agent-workbench/sessions/src/AgentSessionsDedicatedFrameToggleAction.kt
+++ b/plugins/agent-workbench/sessions/src/AgentSessionsDedicatedFrameToggleAction.kt
@@ -1,6 +1,8 @@
 // Copyright 2000-2026 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license.
 package com.intellij.agent.workbench.sessions
 
+// @spec community/plugins/agent-workbench/spec/agent-dedicated-frame.spec.md
+
 import com.intellij.openapi.actionSystem.ActionUpdateThread
 import com.intellij.openapi.actionSystem.AnActionEvent
 import com.intellij.openapi.project.DumbAwareToggleAction
diff --git a/plugins/agent-workbench/sessions/src/AgentSessionsService.kt b/plugins/agent-workbench/sessions/src/AgentSessionsService.kt
index d0271ada3c15..7b64339a4521 100644
--- a/plugins/agent-workbench/sessions/src/AgentSessionsService.kt
+++ b/plugins/agent-workbench/sessions/src/AgentSessionsService.kt
@@ -1,6 +1,10 @@
 // Copyright 2000-2026 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license.
 package com.intellij.agent.workbench.sessions
 
+// @spec community/plugins/agent-workbench/spec/agent-sessions.spec.md
+// @spec community/plugins/agent-workbench/spec/agent-dedicated-frame.spec.md
+// @spec community/plugins/agent-workbench/spec/actions/new-thread.spec.md
+
 import com.intellij.agent.workbench.chat.AgentChatEditorService
 import com.intellij.agent.workbench.codex.common.CodexCliNotFoundException
 import com.intellij.agent.workbench.sessions.codex.SharedCodexAppServerService
diff --git a/plugins/agent-workbench/sessions/src/AgentSessionsToolWindow.kt b/plugins/agent-workbench/sessions/src/AgentSessionsToolWindow.kt
index 0ebc65ed6de1..4e6098c913ed 100644
--- a/plugins/agent-workbench/sessions/src/AgentSessionsToolWindow.kt
+++ b/plugins/agent-workbench/sessions/src/AgentSessionsToolWindow.kt
@@ -1,5 +1,8 @@
 package com.intellij.agent.workbench.sessions
 
+// @spec community/plugins/agent-workbench/spec/agent-sessions.spec.md
+// @spec community/plugins/agent-workbench/spec/agent-sessions-thread-visibility.spec.md
+
 import androidx.compose.foundation.layout.Arrangement
 import androidx.compose.foundation.layout.Column
 import androidx.compose.foundation.layout.fillMaxSize
diff --git a/plugins/agent-workbench/sessions/src/AgentWorkbenchDedicatedFrameProjectManager.kt b/plugins/agent-workbench/sessions/src/AgentWorkbenchDedicatedFrameProjectManager.kt
index 5f248635d01e..6bb73b1e81e4 100644
--- a/plugins/agent-workbench/sessions/src/AgentWorkbenchDedicatedFrameProjectManager.kt
+++ b/plugins/agent-workbench/sessions/src/AgentWorkbenchDedicatedFrameProjectManager.kt
@@ -1,6 +1,8 @@
 // Copyright 2000-2026 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license.
 package com.intellij.agent.workbench.sessions
 
+// @spec community/plugins/agent-workbench/spec/agent-dedicated-frame.spec.md
+
 import com.intellij.diagnostic.WindowsDefenderChecker
 import com.intellij.ide.RecentProjectsManager
 import com.intellij.ide.RecentProjectsManagerBase
diff --git a/plugins/agent-workbench/sessions/src/SessionTree.kt b/plugins/agent-workbench/sessions/src/SessionTree.kt
index ad7a72206191..dc0868a0b273 100644
--- a/plugins/agent-workbench/sessions/src/SessionTree.kt
+++ b/plugins/agent-workbench/sessions/src/SessionTree.kt
@@ -1,5 +1,8 @@
 package com.intellij.agent.workbench.sessions
 
+// @spec community/plugins/agent-workbench/spec/agent-sessions.spec.md
+// @spec community/plugins/agent-workbench/spec/agent-sessions-thread-visibility.spec.md
+
 import androidx.compose.foundation.focusable
 import androidx.compose.foundation.layout.fillMaxSize
 import androidx.compose.runtime.Composable
diff --git a/plugins/agent-workbench/sessions/src/SessionTreeNewSessionActions.kt b/plugins/agent-workbench/sessions/src/SessionTreeNewSessionActions.kt
index 00b3ff7dc6a0..f4647c602aa1 100644
--- a/plugins/agent-workbench/sessions/src/SessionTreeNewSessionActions.kt
+++ b/plugins/agent-workbench/sessions/src/SessionTreeNewSessionActions.kt
@@ -1,6 +1,9 @@
 // Copyright 2000-2026 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license.
 package com.intellij.agent.workbench.sessions
 
+// @spec community/plugins/agent-workbench/spec/actions/new-thread.spec.md
+
+import androidx.compose.foundation.ExperimentalFoundationApi
 import androidx.compose.foundation.layout.Arrangement
 import androidx.compose.foundation.layout.Box
 import androidx.compose.foundation.layout.Row
@@ -15,7 +18,6 @@ import androidx.compose.ui.Alignment
 import androidx.compose.ui.Modifier
 import androidx.compose.ui.input.InputMode
 import androidx.compose.ui.unit.dp
-import androidx.compose.foundation.ExperimentalFoundationApi
 import org.jetbrains.jewel.foundation.ExperimentalJewelApi
 import org.jetbrains.jewel.foundation.modifier.onHover
 import org.jetbrains.jewel.foundation.theme.JewelTheme
diff --git a/plugins/agent-workbench/sessions/src/SessionTreeRows.kt b/plugins/agent-workbench/sessions/src/SessionTreeRows.kt
index 155a2d2b143d..5b5b29c1093e 100644
--- a/plugins/agent-workbench/sessions/src/SessionTreeRows.kt
+++ b/plugins/agent-workbench/sessions/src/SessionTreeRows.kt
@@ -1,5 +1,9 @@
 package com.intellij.agent.workbench.sessions
 
+// @spec community/plugins/agent-workbench/spec/agent-sessions.spec.md
+// @spec community/plugins/agent-workbench/spec/agent-sessions-thread-visibility.spec.md
+// @spec community/plugins/agent-workbench/spec/actions/new-thread.spec.md
+
 import androidx.compose.foundation.ContextMenuArea
 import androidx.compose.foundation.ExperimentalFoundationApi
 import androidx.compose.foundation.background
diff --git a/plugins/agent-workbench/sessions/src/SessionTreeState.kt b/plugins/agent-workbench/sessions/src/SessionTreeState.kt
index 0f2d96cad452..9baa81334a67 100644
--- a/plugins/agent-workbench/sessions/src/SessionTreeState.kt
+++ b/plugins/agent-workbench/sessions/src/SessionTreeState.kt
@@ -14,7 +14,7 @@ import org.jetbrains.jewel.foundation.lazy.tree.rememberTreeState
 /**
  * Tracks tree open nodes and auto-open behavior for on-demand project loading.
  *
- * Spec: `community/plugins/agent-workbench/spec/agent-sessions.spec.md`
+ * @spec community/plugins/agent-workbench/spec/agent-sessions.spec.md
  */
 @Stable
 internal class SessionTreeStateHolder(
diff --git a/plugins/agent-workbench/sessions/src/providers/codex/CodexRolloutSessionBackend.kt b/plugins/agent-workbench/sessions/src/providers/codex/CodexRolloutSessionBackend.kt
index b577342804a7..4251432696d2 100644
--- a/plugins/agent-workbench/sessions/src/providers/codex/CodexRolloutSessionBackend.kt
+++ b/plugins/agent-workbench/sessions/src/providers/codex/CodexRolloutSessionBackend.kt
@@ -1,6 +1,8 @@
 // Copyright 2000-2026 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license.
 package com.intellij.agent.workbench.sessions.providers.codex
 
+// @spec community/plugins/agent-workbench/spec/agent-sessions-codex-rollout-source.spec.md
+
 import com.fasterxml.jackson.core.JsonFactory
 import com.fasterxml.jackson.core.JsonParser
 import com.fasterxml.jackson.core.JsonToken
diff --git a/plugins/agent-workbench/sessions/src/providers/codex/CodexSessionSource.kt b/plugins/agent-workbench/sessions/src/providers/codex/CodexSessionSource.kt
index 8562c8c79de9..4fdb14bc281c 100644
--- a/plugins/agent-workbench/sessions/src/providers/codex/CodexSessionSource.kt
+++ b/plugins/agent-workbench/sessions/src/providers/codex/CodexSessionSource.kt
@@ -1,6 +1,9 @@
 // Copyright 2000-2026 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license.
 package com.intellij.agent.workbench.sessions.providers.codex
 
+// @spec community/plugins/agent-workbench/spec/agent-sessions.spec.md
+// @spec community/plugins/agent-workbench/spec/agent-sessions-codex-rollout-source.spec.md
+
 import com.intellij.agent.workbench.codex.common.CodexThread
 import com.intellij.agent.workbench.codex.common.normalizeRootPath
 import com.intellij.agent.workbench.sessions.AgentSessionProvider