Merge latest master into codex/consolidate-agent-notes

# Conflicts: # .agents/notes/implemented/feature/2026-07-21-tui-no-banner.i18n.yaml # .agents/notes/implemented/feature/2026-07-21-tui-no-banner.md # .agents/notes/implemented/feature/2026-07-21-tui-no-banner.zh.md # .agents/notes/implemented/simplification/2026-07-20-retire-readline-front-door.i18n.yaml # .agents/notes/implemented/simplification/2026-07-20-retire-readline-front-door.md # .agents/notes/implemented/simplification/2026-07-20-retire-readline-front-door.zh.md
2026-07-26 00:57:51 +08:00
parent 17147df200 5f04c92f15
commit cd15711079
159 changed files with 9329 additions and 702 deletions
--- a/scripts/demo-code-mode.mjs
+++ b/scripts/demo-code-mode.mjs
@@ -7,7 +7,7 @@ import { spawn } from 'node:child_process'

 // Each UI's node invocation matches its base demo script plus the overlay config.
 const UIS = new Map([
-  ['tui', ['--import', 'tsx', 'packages/examples/tui-demo/src/bin.ts', 'examples/tui-agent/code-mode.cordis.yml']],
+  ['tui', ['--import', 'tsx', 'apps/cli/src/bin.ts', '--config', 'examples/tui-agent/code-mode.cordis.yml']],
  ['acp', ['--import', 'tsx', 'packages/examples/acp-demo/src/bin.ts', '--config', 'examples/acp-agent/code-mode.cordis.yml']],
 ])

--- a/scripts/doc-budgets.manifest.json
+++ b/scripts/doc-budgets.manifest.json
@@ -4,7 +4,7 @@
  "docs/architecture.md": 1800,
  "docs/cordis-primer.md": 600,
  "docs/defensive-patterns.md": 550,
-  "docs/testing.md": 1020,
+  "docs/testing.md": 1100,
  "examples/AGENTS.md": 310,
  "packages/AGENTS.md": 660,
  "packages/README.md": 790
--- a/scripts/gen-cordis-catalog.ts
+++ b/scripts/gen-cordis-catalog.ts
@@ -127,8 +127,10 @@ export const LINK_MAP: Record<string, string> = {
  SessionEventResultFilter: 'session-query.md',
  SessionEventSearchDocument: 'session-query.md',
  SessionEventSearchHit: 'session-query.md',
+  SessionEventSearchPage: 'session-query.md',
  SessionEventSearchRequest: 'session-query.md',
  SessionEventTrace: 'session-query.md',
+  SessionEventTraceObservation: 'session-query.md',
  SessionEventTraceRequest: 'session-query.md',
  SessionEventWindow: 'session-query.md',
  SessionLineageTrace: 'session-query.md',
@@ -138,6 +140,8 @@ export const LINK_MAP: Record<string, string> = {
  SessionSearchHit: 'session-query.md',
  SessionSearchPage: 'session-query.md',
  SessionSearchRequest: 'session-query.md',
+  SessionTitleObservation: 'session-query.md',
+  SessionTitleObservationResult: 'session-query.md',
  SessionTitleProvider: 'session-title.md',
  SessionTitleSnapshot: 'session-title.md',
  SkillDefinition: 'skills.md',
--- a/scripts/gen-doc-graphs.ts
+++ b/scripts/gen-doc-graphs.ts
@@ -166,8 +166,8 @@ const SERVICE_ROLES: ServiceRole[] = [
    title: 'Session reads, traces, filters, and search',
    mode: 'seam',
    implementations: ['session-query-sqlite'],
-    consumers: ['session-reference'],
-    note: 'The interface supplies exact reads, filters, and traces; its concrete backend adds full-text reconciliation, ranking, snippets, and cursor generations on the same service.',
+    consumers: ['session-reference', 'tool-session-query'],
+    note: 'The interface supplies exact reads, filters, and traces; its concrete backend adds full-text reconciliation, ranking, snippets, and cursor generations, while the model consumer owns workspace authority and cursor-free rendering.',
  },
  {
    key: 'sessionReferences',
--- a/scripts/gen-tool-catalog.ts
+++ b/scripts/gen-tool-catalog.ts
@@ -11,6 +11,8 @@ import { basename, resolve } from 'node:path'
 import { Context } from 'cordis'
 import type { ToolSchema } from '@deepseek-ai/dsh-llm'
 import AgentRegistry from '@deepseek-ai/dsh-agent'
+import SessionStore from '@deepseek-ai/dsh-session'
+import SessionQuerySqlite from '@deepseek-ai/dsh-session-query-sqlite'
 import GoalService from '@deepseek-ai/dsh-goal'
 import SystemPrompt from '@deepseek-ai/dsh-system-prompt'
 import ToolRegistry, { type Config as ToolsConfig } from '@deepseek-ai/dsh-tools'
@@ -39,6 +41,7 @@ import * as ToolGoal from '@deepseek-ai/dsh-tool-goal'
 import Lsp from '@deepseek-ai/dsh-lsp'
 import * as ToolLsp from '@deepseek-ai/dsh-tool-lsp'
 import * as ToolSkill from '@deepseek-ai/dsh-tool-skill'
+import * as ToolSessionQuery from '@deepseek-ai/dsh-tool-session-query'
 import * as ToolTasks from '@deepseek-ai/dsh-tool-tasks'
 import * as ToolTodo from '@deepseek-ai/dsh-tool-todo'
 import * as ToolSubagent from '@deepseek-ai/dsh-tool-subagent'
@@ -316,6 +319,20 @@ const TOOL_PACKAGES: ToolPackage[] = [
      await ctx.plugin(ToolSkill)
    },
  },
+  {
+    pkg: '@deepseek-ai/dsh-tool-session-query',
+    dir: 'tool-session-query',
+    source: 'packages/session-query/tool-session-query/src/index.ts',
+    requires: ['ctx.tools', 'ctx.systemPrompt', 'ctx.sessionQuery', 'a calling Agent for workspace authority'],
+    writes: ['tool/call', 'tool/result'],
+    async mount(ctx) {
+      await ctx.plugin(SessionStore)
+      await ctx.plugin(SessionQuerySqlite, { path: ':memory:' })
+      await ctx.plugin(ToolSessionQuery)
+    },
+    note:
+      'The five read-only tools hide provider cursors and authorize every result from the immutable calling agent session. The package is opt-in; compositions that need enforced deadlines or bounded inline output also mount the generic timeout or spill policies.',
+  },
  {
    pkg: '@deepseek-ai/dsh-tool-subagent',
    dir: 'tool-subagent',
--- a/scripts/type-equiv.manifest.json
+++ b/scripts/type-equiv.manifest.json
@@ -419,6 +419,16 @@
      "symbol": "SessionSurfaceSnapshot",
      "source": "packages/session-query/session-query/src/types.ts"
    },
+    {
+      "doc": "docs/core-data-structures/session-query.md",
+      "symbol": "SessionTitleObservation",
+      "source": "packages/session-query/session-query/src/types.ts"
+    },
+    {
+      "doc": "docs/core-data-structures/session-query.md",
+      "symbol": "SessionTitleObservationResult",
+      "source": "packages/session-query/session-query/src/types.ts"
+    },
    {
      "doc": "docs/core-data-structures/session-query.md",
      "symbol": "SessionEventRecord",
@@ -459,6 +469,11 @@
      "symbol": "SessionEventTrace",
      "source": "packages/session-query/session-query/src/types.ts"
    },
+    {
+      "doc": "docs/core-data-structures/session-query.md",
+      "symbol": "SessionEventTraceObservation",
+      "source": "packages/session-query/session-query/src/types.ts"
+    },
    {
      "doc": "docs/core-data-structures/session-title.md",
      "symbol": "SessionTitleProviderId",
@@ -1219,6 +1234,11 @@
      "symbol": "SessionSearchPage",
      "source": "packages/session-query/session-query/src/types.ts"
    },
+    {
+      "doc": "docs/core-data-structures/session-query.md",
+      "symbol": "SessionEventSearchPage",
+      "source": "packages/session-query/session-query/src/types.ts"
+    },
    {
      "doc": "docs/core-data-structures/session-query.md",
      "symbol": "SessionEventSearchHit",
@@ -1562,6 +1582,16 @@
      "symbol": "SessionSurfaceSnapshot",
      "source": "packages/session-query/session-query/src/types.ts"
    },
+    {
+      "doc": "docs/core-data-structures/session-query.zh.md",
+      "symbol": "SessionTitleObservation",
+      "source": "packages/session-query/session-query/src/types.ts"
+    },
+    {
+      "doc": "docs/core-data-structures/session-query.zh.md",
+      "symbol": "SessionTitleObservationResult",
+      "source": "packages/session-query/session-query/src/types.ts"
+    },
    {
      "doc": "docs/core-data-structures/session-query.zh.md",
      "symbol": "SessionEventRecord",
@@ -1602,6 +1632,11 @@
      "symbol": "SessionSearchPage",
      "source": "packages/session-query/session-query/src/types.ts"
    },
+    {
+      "doc": "docs/core-data-structures/session-query.zh.md",
+      "symbol": "SessionEventSearchPage",
+      "source": "packages/session-query/session-query/src/types.ts"
+    },
    {
      "doc": "docs/core-data-structures/session-query.zh.md",
      "symbol": "SessionEventSearchHit",
@@ -1647,6 +1682,11 @@
      "symbol": "SessionEventTrace",
      "source": "packages/session-query/session-query/src/types.ts"
    },
+    {
+      "doc": "docs/core-data-structures/session-query.zh.md",
+      "symbol": "SessionEventTraceObservation",
+      "source": "packages/session-query/session-query/src/types.ts"
+    },
    {
      "doc": "docs/core-data-structures/tools.zh.md",
      "symbol": "ToolOutputDefinition",