@dsh-edge/dsh-edge-agent 0.0.0-stage → 0.1.2

package/lib/dsh-adapter/invariant.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariant.d.ts","sourceRoot":"","sources":["../../src/dsh-adapter/invariant.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAEzC,eAAO,MAAM,YAAY,6BAA6B,CAAA;AAEtD,eAAO,MAAM,IAAI,6BAA6B,CAAA;AAE9C,eAAO,MAAM,MAAM,yBAA0B,CAAA;AAE7C,wBAAsB,KAAK,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC,CAQtE"}

package/lib/dsh-adapter/invariant.js

@@ -0,0 +1,22 @@
+/**
+ * Package-owned invariant companion. The harness exposes a `ctx.invariants`
+ * registry on the root context; each plugin can attach its own runtime
+ * assertions that the harness asserts during session lifecycle hooks.
+ *
+ * For dsh-edge-agent, the invariants we install ensure:
+ *   - All SessionEvents marked as model-visible are present in the log
+ *   - The privacy policy is loaded before any plugin reads it
+ *   - The threat level is consulted before every LLM request
+ */
+export const PACKAGE_NAME = '@dsh-edge/dsh-edge-agent';
+export const name = 'dsh-edge-agent-invariant';
+export const inject = ['invariants'];
+export async function apply(ctx) {
+    // Lazy-load the invariant registry to avoid pulling the runtime into
+    // pure type-graph evaluation paths.
+    const { installedRef } = await import('./invariant-install.js');
+    const dispose = ctx.invariants.register(PACKAGE_NAME, installedRef);
+    return async () => {
+        dispose();
+    };
+}

package/lib/dsh-adapter/llm-adapters.d.ts

@@ -0,0 +1,19 @@
+/**
+ * llm-adapters — bundled export of both local and cloud LLM adapters.
+ * This is a convenience surface: cordis.yml can mount a single row
+ * pointing here instead of two separate rows.
+ *
+ * Note: this is a re-export shim and does not register a Cordis plugin
+ * itself. The individual adapter files (local-llm-adapter.ts and
+ * cloud-llm-adapter.ts) own the `apply` exports and the canonical
+ * `name`/`Config` plugins; we re-export only the service classes and
+ * interfaces here to avoid collisions on the shared plugin-metadata
+ * names (`name`, `inject`, `Config`, `apply`).
+ *
+ * @module dsh-edge-agent/llm-adapters
+ */
+export type { LocalLlmAdapter } from './local-llm-adapter.js';
+export { LocalLlmAdapterImpl } from './local-llm-adapter.js';
+export type { CloudLlmAdapter } from './cloud-llm-adapter.js';
+export { CloudLlmAdapterImpl } from './cloud-llm-adapter.js';
+//# sourceMappingURL=llm-adapters.d.ts.map

package/lib/dsh-adapter/llm-adapters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"llm-adapters.d.ts","sourceRoot":"","sources":["../../src/dsh-adapter/llm-adapters.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,YAAY,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAA;AAE5D,YAAY,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAA"}

package/lib/dsh-adapter/llm-adapters.js

@@ -0,0 +1,16 @@
+/**
+ * llm-adapters — bundled export of both local and cloud LLM adapters.
+ * This is a convenience surface: cordis.yml can mount a single row
+ * pointing here instead of two separate rows.
+ *
+ * Note: this is a re-export shim and does not register a Cordis plugin
+ * itself. The individual adapter files (local-llm-adapter.ts and
+ * cloud-llm-adapter.ts) own the `apply` exports and the canonical
+ * `name`/`Config` plugins; we re-export only the service classes and
+ * interfaces here to avoid collisions on the shared plugin-metadata
+ * names (`name`, `inject`, `Config`, `apply`).
+ *
+ * @module dsh-edge-agent/llm-adapters
+ */
+export { LocalLlmAdapterImpl } from './local-llm-adapter.js';
+export { CloudLlmAdapterImpl } from './cloud-llm-adapter.js';

package/lib/dsh-adapter/llm-internal-caller.d.ts

@@ -0,0 +1,92 @@
+/**
+ * llm-internal-caller —— 区分「主对话出网」与「插件内部的 LLM 调用」。
+ *
+ * ## 为什么要这个
+ *
+ * 插件自己也会调 LLM：
+ *
+ * - `prompt-guard` —— 入口安检的**语义检测**（模型档）
+ * - `intent-router` —— **意图分类器**（jev / LLM 分类）
+ *
+ * 它们都走同一个 `ctx.llm.stream(...)`，所以在 adapter 眼里与主对话**完全
+ * 一致** —— 都落 `llm.local.start` / `llm.local.end` 审计行。
+ *
+ * §7.132 的现场：主人看到面板上「意图判定：等待 / 路由决策：等待」，
+ * 下面却有「答案出口：作答中… · 路由 local-llm/qwen3.8:27b · messageCount=1 ·
+ * promptLen=125」。查审计才发现 —— 那条 `llm.local.start` 是
+ * **prompt-guard 的安检调用**（单条消息、125 字符），不是主对话的出网
+ * （同一时刻还有一条 `messageCount=5 · promptLen=10171` 才是主对话）。
+ *
+ * 面板的答案出口节点取「最后一条 `llm.local.start`」，于是抓到了那条短的，
+ * 把主对话的真实出网状态盖掉了 —— **面板在显示一件没发生过的事**。
+ *
+ * ## 做法
+ *
+ * 内部调用在 options 里带一个额外字段 `edgeInternalCaller`，adapter 把它
+ * 落到出口审计行上（`internal` 字段），面板据此把内部调用排除在
+ * 「答案出口」之外。
+ *
+ * 字段名带 `edge` 前缀是为了不与宿主 dsh-llm 的 `GenerateOptions` 撞名 ——
+ * 宿主不认这个字段，会原样透传给 adapter。
+ */
+/** 内部调用方标识。 */
+export type InternalCaller = 'prompt-guard' | 'intent-classifier';
+/** 宿主 options 上的额外字段名。 */
+export declare const EDGE_INTERNAL_CALLER_FIELD = "edgeInternalCaller";
+/** 带内部调用标记的 options。 */
+export type WithInternalCaller<T> = T & {
+    [EDGE_INTERNAL_CALLER_FIELD]: InternalCaller;
+};
+/**
+ * 给 options 挂上内部调用标记。
+ *
+ * 返回的是**变量**而不是对象字面量 —— TS 的 excess property check 只对
+ * 直接传参的字面量生效，所以 `llm.stream(withInternalCaller({...}, 'x'))`
+ * 不会因为多了这个字段而报错。
+ */
+export declare function withInternalCaller<T extends object>(options: T, caller: InternalCaller): WithInternalCaller<T>;
+/** 从 options 里读出内部调用标记（没有就是 undefined = 主对话出网）。 */
+export declare function internalCallerOf(options: unknown): InternalCaller | undefined;
+/**
+ * 出网审计行要带的判别字段。
+ *
+ * - `internal` —— 内部调用标记（prompt-guard / intent-classifier）。没有这个
+ *   字段的行**可能**是宿主的内部插件调用（比如会话标题生成），但我们控制
+ *   不了它，只能靠下面的 `tools` 判别。
+ * - `tools` —— 这次请求带了几件工具。**主对话恒带 30+ 件**（agent loop 一定
+ *   带工具表），而一切内部调用（安检 / 分类器 / 标题生成）**一件都不带**。
+ *   实测（18:24-18:25 那轮）主对话 `tools=32`，同一时刻的三条内部调用
+ *   `tools=<none>` —— sessionId 全都相同，靠 sessionId 分不开，靠 tools 可以。
+ *
+ * ## 为什么 `tools` 恒落（哪怕宿主没传）
+ *
+ * 第一版是「宿主传了数组才落长度，否则**不落**该字段」—— 想保住旧数据。
+ * 但那只保住了**旧数据**，没保住**宿主的内部调用**：宿主的会话标题生成走
+ * 同一个 `ctx.llm.stream`，**不传 tools**，于是它落下来的行既没有 `internal`
+ * 也没有 `tools` —— 面板按「两者皆无 → 保留」的旧数据兼容分支，会把它当成
+ * 主对话的出网，**继续冒充答案出口**（18:34:59 那轮实测：
+ * `messageCount=1 · promptLen=96`）。
+ *
+ * 所以改成**恒落**：宿主传了数组就落长度，没传就落 `0`。
+ *
+ * 这样「字段不存在」与「字段为 0」就被区分开了：
+ *
+ * | 行的来源 | `tools` 字段 | 面板判据 | 结果 |
+ * |---|---|---|---|
+ * | 主对话 | `32` | `> 0` | **保留** ✓ |
+ * | 我们的内部调用 | `0` + `internal` | 有 `internal` | **排除** ✓ |
+ * | 宿主内部调用（标题生成） | `0` | `=== 0` | **排除** ✓ |
+ * | §7.132 之前的旧数据 | *字段不存在* | 既无 `internal` 也无 `tools` | **保留** ✓ |
+ *
+ * 旧数据不会被误判（字段缺失 ≠ 0），新数据里的内部调用一条不漏。
+ *
+ * 残留风险：若某个宿主版本**对主对话也不传 tools**，主对话会落 `tools=0`
+ * 而被排除，答案出口会漏显示。那是「少显示」而不是「显示假信息」——
+ * 按面板诚实性原则，宁可漏显示也不能让面板显示一件没发生过的事。
+ * 实测（18:24、18:34 两轮）宿主对主对话恒传 32 件工具。
+ */
+export declare function egressAuditFields(options: unknown): {
+    tools: number;
+    internal?: string;
+};
+//# sourceMappingURL=llm-internal-caller.d.ts.map

package/lib/dsh-adapter/llm-internal-caller.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"llm-internal-caller.d.ts","sourceRoot":"","sources":["../../src/dsh-adapter/llm-internal-caller.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,eAAe;AACf,MAAM,MAAM,cAAc,GAAG,cAAc,GAAG,mBAAmB,CAAA;AAEjE,0BAA0B;AAC1B,eAAO,MAAM,0BAA0B,uBAAuB,CAAA;AAE9D,wBAAwB;AACxB,MAAM,MAAM,kBAAkB,CAAC,CAAC,IAAI,CAAC,GAAG;IAAE,CAAC,0BAA0B,CAAC,EAAE,cAAc,CAAA;CAAE,CAAA;AAExF;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,MAAM,EACjD,OAAO,EAAE,CAAC,EACV,MAAM,EAAE,cAAc,GACrB,kBAAkB,CAAC,CAAC,CAAC,CAEvB;AAED,mDAAmD;AACnD,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,cAAc,GAAG,SAAS,CAI7E;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,OAAO,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,CASxF"}

package/lib/dsh-adapter/llm-internal-caller.js

@@ -0,0 +1,100 @@
+/**
+ * llm-internal-caller —— 区分「主对话出网」与「插件内部的 LLM 调用」。
+ *
+ * ## 为什么要这个
+ *
+ * 插件自己也会调 LLM：
+ *
+ * - `prompt-guard` —— 入口安检的**语义检测**（模型档）
+ * - `intent-router` —— **意图分类器**（jev / LLM 分类）
+ *
+ * 它们都走同一个 `ctx.llm.stream(...)`，所以在 adapter 眼里与主对话**完全
+ * 一致** —— 都落 `llm.local.start` / `llm.local.end` 审计行。
+ *
+ * §7.132 的现场：主人看到面板上「意图判定：等待 / 路由决策：等待」，
+ * 下面却有「答案出口：作答中… · 路由 local-llm/qwen3.8:27b · messageCount=1 ·
+ * promptLen=125」。查审计才发现 —— 那条 `llm.local.start` 是
+ * **prompt-guard 的安检调用**（单条消息、125 字符），不是主对话的出网
+ * （同一时刻还有一条 `messageCount=5 · promptLen=10171` 才是主对话）。
+ *
+ * 面板的答案出口节点取「最后一条 `llm.local.start`」，于是抓到了那条短的，
+ * 把主对话的真实出网状态盖掉了 —— **面板在显示一件没发生过的事**。
+ *
+ * ## 做法
+ *
+ * 内部调用在 options 里带一个额外字段 `edgeInternalCaller`，adapter 把它
+ * 落到出口审计行上（`internal` 字段），面板据此把内部调用排除在
+ * 「答案出口」之外。
+ *
+ * 字段名带 `edge` 前缀是为了不与宿主 dsh-llm 的 `GenerateOptions` 撞名 ——
+ * 宿主不认这个字段，会原样透传给 adapter。
+ */
+/** 宿主 options 上的额外字段名。 */
+export const EDGE_INTERNAL_CALLER_FIELD = 'edgeInternalCaller';
+/**
+ * 给 options 挂上内部调用标记。
+ *
+ * 返回的是**变量**而不是对象字面量 —— TS 的 excess property check 只对
+ * 直接传参的字面量生效，所以 `llm.stream(withInternalCaller({...}, 'x'))`
+ * 不会因为多了这个字段而报错。
+ */
+export function withInternalCaller(options, caller) {
+    return { ...options, [EDGE_INTERNAL_CALLER_FIELD]: caller };
+}
+/** 从 options 里读出内部调用标记（没有就是 undefined = 主对话出网）。 */
+export function internalCallerOf(options) {
+    if (options === null || typeof options !== 'object')
+        return undefined;
+    const raw = options[EDGE_INTERNAL_CALLER_FIELD];
+    return typeof raw === 'string' && raw.length > 0 ? raw : undefined;
+}
+/**
+ * 出网审计行要带的判别字段。
+ *
+ * - `internal` —— 内部调用标记（prompt-guard / intent-classifier）。没有这个
+ *   字段的行**可能**是宿主的内部插件调用（比如会话标题生成），但我们控制
+ *   不了它，只能靠下面的 `tools` 判别。
+ * - `tools` —— 这次请求带了几件工具。**主对话恒带 30+ 件**（agent loop 一定
+ *   带工具表），而一切内部调用（安检 / 分类器 / 标题生成）**一件都不带**。
+ *   实测（18:24-18:25 那轮）主对话 `tools=32`，同一时刻的三条内部调用
+ *   `tools=<none>` —— sessionId 全都相同，靠 sessionId 分不开，靠 tools 可以。
+ *
+ * ## 为什么 `tools` 恒落（哪怕宿主没传）
+ *
+ * 第一版是「宿主传了数组才落长度，否则**不落**该字段」—— 想保住旧数据。
+ * 但那只保住了**旧数据**，没保住**宿主的内部调用**：宿主的会话标题生成走
+ * 同一个 `ctx.llm.stream`，**不传 tools**，于是它落下来的行既没有 `internal`
+ * 也没有 `tools` —— 面板按「两者皆无 → 保留」的旧数据兼容分支，会把它当成
+ * 主对话的出网，**继续冒充答案出口**（18:34:59 那轮实测：
+ * `messageCount=1 · promptLen=96`）。
+ *
+ * 所以改成**恒落**：宿主传了数组就落长度，没传就落 `0`。
+ *
+ * 这样「字段不存在」与「字段为 0」就被区分开了：
+ *
+ * | 行的来源 | `tools` 字段 | 面板判据 | 结果 |
+ * |---|---|---|---|
+ * | 主对话 | `32` | `> 0` | **保留** ✓ |
+ * | 我们的内部调用 | `0` + `internal` | 有 `internal` | **排除** ✓ |
+ * | 宿主内部调用（标题生成） | `0` | `=== 0` | **排除** ✓ |
+ * | §7.132 之前的旧数据 | *字段不存在* | 既无 `internal` 也无 `tools` | **保留** ✓ |
+ *
+ * 旧数据不会被误判（字段缺失 ≠ 0），新数据里的内部调用一条不漏。
+ *
+ * 残留风险：若某个宿主版本**对主对话也不传 tools**，主对话会落 `tools=0`
+ * 而被排除，答案出口会漏显示。那是「少显示」而不是「显示假信息」——
+ * 按面板诚实性原则，宁可漏显示也不能让面板显示一件没发生过的事。
+ * 实测（18:24、18:34 两轮）宿主对主对话恒传 32 件工具。
+ */
+export function egressAuditFields(options) {
+    const out = { tools: 0 };
+    if (options !== null && typeof options === 'object') {
+        const tools = options.tools;
+        if (Array.isArray(tools))
+            out.tools = tools.length;
+    }
+    const caller = internalCallerOf(options);
+    if (caller !== undefined)
+        out.internal = caller;
+    return out;
+}

package/lib/dsh-adapter/llm-max-turns.d.ts

@@ -0,0 +1,55 @@
+/**
+ * §7.47.5 (2026-09-13) shared module: per-session consecutive tool-call
+ * runaway guard for LLM adapters.
+ *
+ * Originally introduced in §7.42 (2026-09-05, local-llm-adapter only) as
+ * MAX_CONSECUTIVE_TOOL_CALLS guard. §7.47.5 discovered that cloud-llm-adapter
+ * never adopted the guard, so cloud models (DeepSeek) could loop tool-calls
+ * indefinitely — news用例 hits the bug deterministically: "查询最新的AI新闻"
+ * triggers web_search → web_fetch cycles that never terminate with text
+ * (DeepSeek picks "call more tools" over "synthesize answer"), eventually
+ * dsh-agent-loop upper layer aborts with unknown reason → resultLen=0 →
+ * user sees empty reply.
+ *
+ * User feedback 2026-09-13: "每次修BUG通过日志来修理，确保日志里有所有错误的信息"
+ * — ops log showed 5+ tool-calls + chat finished reason=unknown + 0 errors,
+ * completely hiding the runaway. Adding the guard makes the failure mode
+ * visible (audit event + throw with deterministic MAX_TURNS_EXCEEDED code).
+ *
+ * The module-level Map + prune logic is shared between both adapters so
+ * we get unified session-level accounting: a session running across both
+ * adapters (e.g. classifier fallback LOCAL → CLOUD) maintains a single count.
+ */
+export declare const MAX_CONSECUTIVE_TOOL_CALLS = 20;
+/**
+ * Increment the consecutive-tool-call counter for this session and check
+ * whether it has exceeded the runaway threshold. Side effects:
+ *   - bumps the counter on each call (caller should only invoke when the
+ *     response was finishKind='tool-calls' with no text progress)
+ *   - periodically prunes stale entries (every 100 calls, drops entries
+ *     unseen for >5 min)
+ *   - resets the counter on natural-termination finish (stop / length)
+ *
+ * Returns the new count after increment. Caller decides whether to throw
+ * based on `> MAX_CONSECUTIVE_TOOL_CALLS`. We separate the increment + the
+ * throw so the audit + logger emit can fire BEFORE the throw (so ops log
+ * records the runaway even when the throw aborts the stream).
+ */
+export declare function bumpSessionToolCallCount(sessionId: unknown): number;
+/** Reset the counter for this session (called when the agent loop terminates
+ *  naturally — finishKind=stop / length). */
+export declare function resetSessionToolCallCount(sessionId: unknown): void;
+/** Read-only accessor for tests / ops log debugging. */
+export declare function peekSessionToolCallCount(sessionId: unknown): number;
+export declare const MAX_SSE_RETRIES_PER_SESSION = 1;
+/** Returns true when the session still has retry budget left and increments
+ *  the counter atomically; returns false when budget is exhausted.
+ *  Prune-on-counter-increment: piggyback on the same 100-call cadence as
+ *  the tool-call guard via a separate prune (cheap, one Map<10 entries). */
+export declare function tryConsumeSseRetryBudget(sessionId: unknown): boolean;
+/** Reset counter when the LLM call completes successfully (terminalChunk
+ *  reached). Mirrors resetSessionToolCallCount. */
+export declare function resetSessionSseRetryCount(sessionId: unknown): void;
+/** Read-only accessor for tests / ops log debugging. */
+export declare function peekSessionSseRetryCount(sessionId: unknown): number;
+//# sourceMappingURL=llm-max-turns.d.ts.map

package/lib/dsh-adapter/llm-max-turns.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"llm-max-turns.d.ts","sourceRoot":"","sources":["../../src/dsh-adapter/llm-max-turns.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,eAAO,MAAM,0BAA0B,KAAK,CAAA;AAe5C;;;;;;;;;;;;;GAaG;AACH,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,OAAO,GAAG,MAAM,CAenE;AAED;6CAC6C;AAC7C,wBAAgB,yBAAyB,CAAC,SAAS,EAAE,OAAO,GAAG,IAAI,CAGlE;AAED,wDAAwD;AACxD,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,OAAO,GAAG,MAAM,CAGnE;AAyBD,eAAO,MAAM,2BAA2B,IAAI,CAAA;AAS5C;;;4EAG4E;AAC5E,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAgBpE;AAED;mDACmD;AACnD,wBAAgB,yBAAyB,CAAC,SAAS,EAAE,OAAO,GAAG,IAAI,CAGlE;AAED,wDAAwD;AACxD,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,OAAO,GAAG,MAAM,CAGnE"}

package/lib/dsh-adapter/llm-max-turns.js

@@ -0,0 +1,127 @@
+/**
+ * §7.47.5 (2026-09-13) shared module: per-session consecutive tool-call
+ * runaway guard for LLM adapters.
+ *
+ * Originally introduced in §7.42 (2026-09-05, local-llm-adapter only) as
+ * MAX_CONSECUTIVE_TOOL_CALLS guard. §7.47.5 discovered that cloud-llm-adapter
+ * never adopted the guard, so cloud models (DeepSeek) could loop tool-calls
+ * indefinitely — news用例 hits the bug deterministically: "查询最新的AI新闻"
+ * triggers web_search → web_fetch cycles that never terminate with text
+ * (DeepSeek picks "call more tools" over "synthesize answer"), eventually
+ * dsh-agent-loop upper layer aborts with unknown reason → resultLen=0 →
+ * user sees empty reply.
+ *
+ * User feedback 2026-09-13: "每次修BUG通过日志来修理，确保日志里有所有错误的信息"
+ * — ops log showed 5+ tool-calls + chat finished reason=unknown + 0 errors,
+ * completely hiding the runaway. Adding the guard makes the failure mode
+ * visible (audit event + throw with deterministic MAX_TURNS_EXCEEDED code).
+ *
+ * The module-level Map + prune logic is shared between both adapters so
+ * we get unified session-level accounting: a session running across both
+ * adapters (e.g. classifier fallback LOCAL → CLOUD) maintains a single count.
+ */
+export const MAX_CONSECUTIVE_TOOL_CALLS = 20;
+const _sessionToolCallRuns = new Map();
+let _pruneCounter = 0;
+/** Resolve session key from GenerateOptions. Empty/missing falls back to 'default'. */
+function resolveSessionKey(sessionId) {
+    return typeof sessionId === 'string' && sessionId.length > 0 ? sessionId : 'default';
+}
+/**
+ * Increment the consecutive-tool-call counter for this session and check
+ * whether it has exceeded the runaway threshold. Side effects:
+ *   - bumps the counter on each call (caller should only invoke when the
+ *     response was finishKind='tool-calls' with no text progress)
+ *   - periodically prunes stale entries (every 100 calls, drops entries
+ *     unseen for >5 min)
+ *   - resets the counter on natural-termination finish (stop / length)
+ *
+ * Returns the new count after increment. Caller decides whether to throw
+ * based on `> MAX_CONSECUTIVE_TOOL_CALLS`. We separate the increment + the
+ * throw so the audit + logger emit can fire BEFORE the throw (so ops log
+ * records the runaway even when the throw aborts the stream).
+ */
+export function bumpSessionToolCallCount(sessionId) {
+    const key = resolveSessionKey(sessionId);
+    const now = Date.now();
+    const entry = _sessionToolCallRuns.get(key) ?? { count: 0, lastSeen: now };
+    entry.count += 1;
+    entry.lastSeen = now;
+    _sessionToolCallRuns.set(key, entry);
+    if (++_pruneCounter % 100 === 0) {
+        const cutoff = now - 5 * 60 * 1000;
+        for (const [k, v] of _sessionToolCallRuns) {
+            if (v.lastSeen < cutoff)
+                _sessionToolCallRuns.delete(k);
+        }
+    }
+    return entry.count;
+}
+/** Reset the counter for this session (called when the agent loop terminates
+ *  naturally — finishKind=stop / length). */
+export function resetSessionToolCallCount(sessionId) {
+    const key = resolveSessionKey(sessionId);
+    _sessionToolCallRuns.delete(key);
+}
+/** Read-only accessor for tests / ops log debugging. */
+export function peekSessionToolCallCount(sessionId) {
+    const key = resolveSessionKey(sessionId);
+    return _sessionToolCallRuns.get(key)?.count ?? 0;
+}
+// ---------------------------------------------------------------------------
+// §7.50 (2026-09-13): per-session SSE-retry counter for cloud-llm-adapter.
+//
+// Different bug, same per-session accounting shape. Shared module so the
+// counter is co-located with the tool-call guard and follows the same
+// pruning rules.
+//
+// Background: §7.48 system-prompt augmentation moved news verification
+// success from 2/5 → 3/5. The remaining 2/5 failures changed nature from
+// "DeepSeek doesn't synthesize" to "DeepSeek SSE stream 137-494ms disconnect"
+// — short-circuit aborts where the upstream TCP/SSE connection dropped
+// before any chunk arrived. DeepSeek upstream is known to occasionally
+// reset connections early (provider-side hiccup); without a retry the user
+// sees an empty reply even though the request was valid.
+//
+// §7.49 explored retrying at the agent-loop layer and was reverted:
+// dsh-agent-loop's turn model can't rescue kind=error, and new turns are
+// fire-and-forget (don't flow back to http-api response). So retry must
+// happen at the LLM adapter layer — wrap fetch + SSE parse in a retry
+// loop. This counter enforces ≤1 retry per session to bound worst-case
+// latency and avoid amplifying provider-side pressure.
+// ---------------------------------------------------------------------------
+export const MAX_SSE_RETRIES_PER_SESSION = 1;
+const _sessionSseRetries = new Map();
+/** Returns true when the session still has retry budget left and increments
+ *  the counter atomically; returns false when budget is exhausted.
+ *  Prune-on-counter-increment: piggyback on the same 100-call cadence as
+ *  the tool-call guard via a separate prune (cheap, one Map<10 entries). */
+export function tryConsumeSseRetryBudget(sessionId) {
+    const key = resolveSessionKey(sessionId);
+    const now = Date.now();
+    const entry = _sessionSseRetries.get(key) ?? { count: 0, lastSeen: now };
+    if (entry.count >= MAX_SSE_RETRIES_PER_SESSION)
+        return false;
+    entry.count += 1;
+    entry.lastSeen = now;
+    _sessionSseRetries.set(key, entry);
+    if (++_pruneCounter % 100 === 0) {
+        const cutoff = now - 5 * 60 * 1000;
+        for (const [k, v] of _sessionSseRetries) {
+            if (v.lastSeen < cutoff)
+                _sessionSseRetries.delete(k);
+        }
+    }
+    return true;
+}
+/** Reset counter when the LLM call completes successfully (terminalChunk
+ *  reached). Mirrors resetSessionToolCallCount. */
+export function resetSessionSseRetryCount(sessionId) {
+    const key = resolveSessionKey(sessionId);
+    _sessionSseRetries.delete(key);
+}
+/** Read-only accessor for tests / ops log debugging. */
+export function peekSessionSseRetryCount(sessionId) {
+    const key = resolveSessionKey(sessionId);
+    return _sessionSseRetries.get(key)?.count ?? 0;
+}

package/lib/dsh-adapter/llm-trace-store.d.ts

@@ -0,0 +1,131 @@
+/**
+ * llm-trace-store — §7.133 LLM request/response trace 的**正文存储**
+ *
+ * ## 为什么正文不进 audit 行
+ *
+ * §7.118 的 trace 走 `ctx.logger.info` → ops log 文件。而 Edge 面板的数据
+ * 源是 **audit-log**（edge-context-view 的 fold）—— 两条通路不相通，所以
+ * 面板看不到任何 request/response 正文。
+ *
+ * 修法有两条路：
+ *
+ *   A. 正文直接进 audit 行 —— 面板立刻能看到，但单轮主对话的 request
+ *      正文实测 **22.5 万字符**（promptLength=225630）。几十轮之后，
+ *      面板的常驻内存和渲染压力线性膨胀。
+ *   B. 面板只放**索引**（每次调用一行摘要），正文按需拉取 —— 索引行是
+ *      几十字节的标量，正文存在独立的 store 里，点开才取。
+ *
+ * 选 B。这与本仓一贯的纪律一致（§7.107「面板不得断言与审计数据相矛盾
+ * 的事」、§7.129「宁可漏显示也不能显示一件没发生过的事」）：面板常驻
+ * 的永远是**便宜的索引**，正文是**要才取**。
+ *
+ * ## store 的形状
+ *
+ * `traceId` → { kind: 'REQ' | 'RESP', caller?, trace }。ring buffer：
+ * 条数与总字节双上限 —— 单条 trace 正文上限 2 万字符（trace 模块自己
+ * 已按 maxChars 截断），所以 64 条 ≈ 1.3 MB 上界。
+ *
+ * ## 谁来写
+ *
+ * adapter（主对话出网）+ prompt-guard（安检）+ intent-router（分类器）。
+ * 三处都经 `emitTrace()` —— 它同时落 **audit 索引行**（进面板）与
+ * **正文**（进本 store）。
+ *
+ * 检测调用的标记沿用 §7.132 的 `edgeInternalCaller`：安检 = prompt-guard，
+ * 分类器 = intent-classifier，主对话没有这个字段。面板据此把「检测调用」
+ * 与「主对话出网」分开显示。
+ *
+ * @module dsh-edge-agent/llm-trace-store
+ */
+/** trace 的种类：请求 / 响应。 */
+export type TraceKind = 'REQ' | 'RESP';
+/**
+ * 一次调用的归属。§7.132 的内部调用标记（安检 / 分类器）。
+ *
+ * 与 `llm-internal-caller.ts` 的 `InternalCaller` 是**同一个联合类型**
+ * （两个字符串成员相同），TS 结构化类型允许互换 —— 这样 trace 模块不必
+ * 依赖 adapter 模块，两边也不会各写一份而漂移。
+ */
+export type TraceCaller = 'prompt-guard' | 'intent-classifier';
+export interface StoredTrace {
+    kind: TraceKind;
+    /** §7.132：内部调用标记；undefined = 主对话出网。 */
+    caller?: TraceCaller;
+    /** 完整 trace 对象（已脱敏 + 截断）。 */
+    trace: unknown;
+}
+export interface TraceStoreOptions {
+    /** 最多保留多少条 trace（超出丢最旧的）。 */
+    maxEntries: number;
+    /** 全部 trace 正文的总字节上限（超出丢最旧的）。 */
+    maxBytes: number;
+}
+/** 默认值：64 条 / 2 MB。 */
+export declare const DEFAULT_TRACE_STORE_OPTIONS: TraceStoreOptions;
+/**
+ * trace 正文存储。
+ *
+ * 纯内存 —— 进程退出即消失，这是对的：正文是**当轮**的观测数据，不是
+ * 审计记录（审计记录在 audit.plain.jsonl 里，且只存标量）。
+ */
+export declare class LlmTraceStore {
+    private readonly entries;
+    private readonly order;
+    private bytes;
+    private readonly opts;
+    constructor(options?: TraceStoreOptions);
+    /** 存一条 trace，返回它的 id（调用方拿去写索引行）。 */
+    put(id: string, entry: StoredTrace): void;
+    /** 取一条 trace；不存在返回 undefined。 */
+    get(id: string): StoredTrace | undefined;
+    /** 当前条数（面板显示「已记录 N 次调用」用）。 */
+    size(): number;
+    /** 丢掉最旧的直到双双回到上限内。 */
+    private evict;
+}
+/**
+ * §7.133: 生成 trace id。
+ *
+ * 单调计数 + 时间戳 —— 同一进程内唯一，且排序有意义（面板按时间排）。
+ */
+export declare function formatTraceId(seq: number, ts?: number): string;
+/** §7.133: 取下一个 trace id（进程内单调）。 */
+export declare function nextTraceId(): string;
+/** §7.134: 取一个新的 call id（进程内单调）。 */
+export declare function nextCallId(): string;
+/**
+ * §7.134: 取这次调用的 call id（第一次调用时创建，之后复用）。
+ *
+ * 传入的不是对象时（理论上不会发生）退化成「每次一个新 call id」——
+ * 宁可配不上，也不把两个不相干的调用错配成一对。
+ */
+export declare function callIdFor(options: unknown): string;
+/**
+ * trace store 的 service 形态。
+ *
+ * 为什么是**独立 service** 而不是 edge-context-view 的一个字段：
+ * edge-context-view 是 GUI 宿主才有的延迟注入插件（`ctx.inject(['connection'])`），
+ * 而写 trace 的是 adapter / prompt-guard / intent-router —— 它们在**任何**
+ * profile 里都要能写（headless 的 CLI profile 也要留痕）。
+ *
+ * 进程内只有一个实例：adapter 与面板读写的必须是**同一个** store，否则
+ * 面板点开索引行会永远 404。模块单例是这里最短也最可靠的路 —— ESM 的
+ * 模块缓存保证同一个 bundle 里的所有引用指向同一个实例。
+ */
+export interface LlmTraceStoreService {
+    put(id: string, entry: StoredTrace): void;
+    get(id: string): StoredTrace | undefined;
+    size(): number;
+}
+/** §7.133: 取进程内的 trace store（不存在则创建）。 */
+export declare function getTraceStore(): LlmTraceStoreService;
+/**
+ * 把 store 注册成 cordis service（名字固定为 `llmTraceStore`）。
+ *
+ * 独立于 plugin 的 apply() —— 由**首个使用者**惰性创建并注册，这样
+ * 不需要在 cordis.patch.yml 里加一行（那个 patch row 的形状门禁很严）。
+ * 注册是 best-effort：ctx 不是 plugin-level proxy 时静默跳过，写入方照常
+ * 用模块单例。
+ */
+export declare function provideTraceStore(ctx: unknown): LlmTraceStoreService;
+//# sourceMappingURL=llm-trace-store.d.ts.map

package/lib/dsh-adapter/llm-trace-store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"llm-trace-store.d.ts","sourceRoot":"","sources":["../../src/dsh-adapter/llm-trace-store.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH,yBAAyB;AACzB,MAAM,MAAM,SAAS,GAAG,KAAK,GAAG,MAAM,CAAA;AAEtC;;;;;;GAMG;AACH,MAAM,MAAM,WAAW,GAAG,cAAc,GAAG,mBAAmB,CAAA;AAE9D,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,SAAS,CAAA;IACf,uCAAuC;IACvC,MAAM,CAAC,EAAE,WAAW,CAAA;IACpB,6BAA6B;IAC7B,KAAK,EAAE,OAAO,CAAA;CACf;AAED,MAAM,WAAW,iBAAiB;IAChC,6BAA6B;IAC7B,UAAU,EAAE,MAAM,CAAA;IAClB,iCAAiC;IACjC,QAAQ,EAAE,MAAM,CAAA;CACjB;AAED,uBAAuB;AACvB,eAAO,MAAM,2BAA2B,EAAE,iBAGzC,CAAA;AAWD;;;;;GAKG;AACH,qBAAa,aAAa;IACxB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAiC;IACzD,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAe;IACrC,OAAO,CAAC,KAAK,CAAI;IACjB,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAmB;gBAE5B,OAAO,GAAE,iBAA+C;IAIpE,oCAAoC;IACpC,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,GAAG,IAAI;IAczC,iCAAiC;IACjC,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS;IAIxC,8BAA8B;IAC9B,IAAI,IAAI,MAAM;IAId,sBAAsB;IACtB,OAAO,CAAC,KAAK;CAad;AAOD;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,GAAE,MAAmB,GAAG,MAAM,CAE1E;AAED,oCAAoC;AACpC,wBAAgB,WAAW,IAAI,MAAM,CAEpC;AAmCD,oCAAoC;AACpC,wBAAgB,UAAU,IAAI,MAAM,CAEnC;AAED;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CASlD;AAID;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,oBAAoB;IACnC,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,GAAG,IAAI,CAAA;IACzC,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAAA;IACxC,IAAI,IAAI,MAAM,CAAA;CACf;AAKD,yCAAyC;AACzC,wBAAgB,aAAa,IAAI,oBAAoB,CAGpD;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,OAAO,GAAG,oBAAoB,CAkBpE"}