super-dsh 0.3.0-c → 0.3.0-e

package/node_modules/better-dsh/docs/80_upstream-docs-and-skills/dsh-dev-skill/src/docs/subsystems/terminal.zh.md

@@ -1,184 +0,0 @@
-# 持久 PTY 会话
-
-[English](terminal.md) | 中文
-
-PTY 后端、`ctx.terminals` 与面向模型的消费方共享的类型。[持久 PTY Agent Note](../../.agents/notes/implemented/feature/2026-07-16-persistent-pty-sessions.zh.md) 负责记录决策依据；本页记录来自 [`packages/terminal/terminal/src/types.ts`](../../packages/terminal/terminal/src/types.ts) 的跨包词汇。
-
-## 标识与就绪
-
-`TerminalSessionId` 是由服务铸造的branded id。可选名称是拥有者本地的显示元数据；授权比较的是拥有该会话的确切 `Agent`，而不是名称或猜测的 id。
-
-`TerminalWaitReason` 说明一次发送为何返回。它与 `TerminalSessionStatus` 无关：一次发送可能因静默或超时而返回，但顶层 shell 仍然存活；`session_exit` 表示该 shell 已退出，而不是某个任意的前台子进程已退出。
-
-```ts type-equiv
-/** Why one interactive send returned control to its caller. */
-type TerminalWaitReason = 'stdin_read' | 'inferred_idle' | 'timeout' | 'session_exit'
-```
-
-```ts type-equiv
-/** Top-level PTY process status, independent of a send's wait reason. */
-type TerminalSessionStatus =
-  | { kind: 'running' }
-  | { kind: 'exited'; exitCode: number | null; signal: NodeJS.Signals | null }
-```
-
-## 后端与活跃会话
-
-后端负责启动某种已注册类型的会话并检测其就绪状态。`TerminalSessionService` 只在初始化成功后才发布返回的会话，随后负责 id 授权与清理。无法清理部分启动资源时，后端会以 `TerminalBackendCleanupError` 拒绝启动；这样，资源释放流程既能保留清理失败，也不会用它替换调用方的取消原因。后端会话拥有终端状态，并负责让已捕获的资源完全停稳。
-
-```ts type-equiv
-/** Replaceable provider for one PTY session type. */
-interface TerminalBackend {
-  /** Stable type selected by {@link TerminalSpawnRequest.type}. */
-  readonly type: string
-  /** Create an unpublished session or reject after cleaning partial resources; cleanup failure uses {@link TerminalBackendCleanupError}. */
-  spawn(spec: TerminalBackendSpawnSpec): Promise<TerminalBackendSession>
-}
-```
-
-```ts type-equiv
-/** Backend-owned live session retained by {@link TerminalSessionService}. */
-interface TerminalBackendSession {
-  /** Initial bounded terminal output returned from `terminal_open`. */
-  readonly motd: string
-  /** Top-level process id when one exists. */
-  readonly pid?: number
-  /** Start one exclusive send operation. */
-  startSend(request: TerminalSendRequest): TerminalSendOperation
-  /** Read one bounded page from retained scrollback. */
-  read(request: TerminalReadRequest): TerminalReadResult
-  /** Signal the verified foreground process group. */
-  signal(signal: TerminalSignal): Promise<TerminalSignalResult>
-  /** Observe top-level process status. */
-  status(): TerminalSessionStatus
-  /** Idempotently close the captured owned process tree and await quiescence. */
-  close(reason: string): Promise<void>
-}
-```
-
-## 发送与保留输出
-
-一个活跃会话同时只接受一个活动发送。该操作向通用后台任务提供读取后即推进的输出游标，并向前台调用方提供最终结果。`TerminalReadResult` 则为有界的会话 scrollback 单独分页。
-
-```ts type-equiv
-/** Live backend-owned send; exactly one may be active per PTY session. */
-interface TerminalSendOperation {
-  /** Resolves after readiness, timeout, cancellation, or top-level process exit. */
-  done: Promise<TerminalSendResult>
-  /** Consume output produced since the prior call. */
-  readOutput(): TerminalSendRead
-  /** Request `SIGINT`; returns false after the operation settled. */
-  cancel(): boolean
-}
-```
-
-```ts type-equiv
-/** Settled result for one foreground or background send. */
-interface TerminalSendResult {
-  /** Bounded rendered terminal delta remaining at settlement. */
-  viewport: string
-  /** Why the wait returned; this does not imply arbitrary child-process exit. */
-  waitReason: TerminalWaitReason
-  /** Top-level session status observed at settlement. */
-  sessionStatus: TerminalSessionStatus
-  /** Whether output was dropped from the operation or retained scrollback. */
-  truncated: boolean
-}
-```
-
-## 归属与持久性
-
-`TerminalSessionService` 会将一项等待完成的清理附加到确切的拥有者作用域，拒绝其他拥有者的操作，并让会话在后端或工具插件重载期间保持存活。PTY 状态与原始字节仍局限在进程内。模型输入与有界返回输出通过现有 `tool/call`、`tool/result` 和任务结果路径持久保存，而不是重复记录 PTY 会话事件。
-
-<!-- BEGIN GENERATED cordis-surface (gen-cordis-catalog.ts) — do not edit between markers -->
-
-<a id="cordis-surface"></a>
-
-## Cordis API
-
-Generated from source by `scripts/gen-cordis-catalog.ts` (verified fresh by `pnpm run verify-cordis-catalog` in doc-sync; regenerate with `pnpm run gen-cordis-catalog`) — the language sides differ only in locale-specific paired document paths. Signature blocks use a `ts cordis-catalog` fence and keep the original source JSDoc; dispatch modes are defined in the [primer](../cordis-primer.zh.md#dispatch-modes), and the framework-inherited `ctx` API lives in [cordis-api/inherited.md](../cordis-api/inherited.md).
-
-<a id="ctxterminals--terminalsessionservice"></a>
-
-### `ctx.terminals` — `TerminalSessionService`
-
-In-process registry for replaceable PTY backends and exact-Agent sessions.
-
-```ts cordis-catalog
-/**
- * Register one backend type for this effect scope.
- * @param backend - provider with a non-empty unique type.
- * @returns disposer that removes exactly this contribution.
- */
-registerBackend(backend: TerminalBackend): () => void
-
-/**
- * List registered backend types in registration order.
- * @returns fresh backend type names.
- */
-listBackends(): string[]
-
-/**
- * Create and publish one owner-scoped session after backend setup succeeds.
- * @param owner - exact registered Agent that owns access and cleanup.
- * @param request - backend type plus optional owner-local name and cwd.
- * @param signal - cancellation of unpublished setup.
- * @returns published identity, metadata, status, and MOTD.
- */
-async spawn(owner: Agent, request: TerminalSpawnRequest, signal?: AbortSignal): Promise<TerminalSpawnResult>
-
-/**
- * Test whether an exact owner has a published session or unpublished spawn.
- * @param owner - exact live owner to inspect.
- * @returns true across the entire spawn-to-close interval, with no publication gap.
- */
-hasOwnerActivity(owner: Agent): boolean
-
-/**
- * Start one exclusive interactive send.
- * @param owner - exact session owner.
- * @param id - target PTY identity.
- * @param request - explicit text, submit behavior, and cancellation.
- * @returns live operation handle for foreground await or task registration.
- */
-startSend(owner: Agent, id: TerminalSessionId, request: TerminalSendRequest): TerminalSendOperation
-
-/**
- * Read one bounded scrollback page from an owned session.
- * @param owner - exact session owner.
- * @param id - target PTY identity.
- * @param request - optional newest-relative offset and line count.
- * @returns bounded retained text and pagination metadata.
- */
-read(owner: Agent, id: TerminalSessionId, request: TerminalReadRequest = {}): TerminalReadResult
-
-/**
- * Deliver an allowed signal through an owned backend session.
- * @param owner - exact session owner.
- * @param id - target PTY identity.
- * @param signal - allowed POSIX signal name.
- * @returns delivered foreground process-group identity.
- */
-signal(owner: Agent, id: TerminalSessionId, signal: TerminalSignal): Promise<TerminalSignalResult>
-
-/**
- * Close one owned session and remove it only after quiescent backend cleanup.
- * @param owner - exact session owner.
- * @param id - target PTY identity.
- * @param reason - diagnostic cleanup reason.
- * @returns true for a newly closed session, false when the same close is already in flight.
- */
-async kill(owner: Agent, id: TerminalSessionId, reason: string = 'model request'): Promise<boolean>
-
-/**
- * List fresh snapshots for exactly one owner.
- * @param owner - exact owner whose sessions are visible.
- * @returns owner-visible snapshots in publication order.
- */
-list(owner: Agent): TerminalSessionSnapshot[]
-```
-
-Types: [Agent](core.zh.md)
-
-Source: [`packages/terminal/terminal/src/index.ts`](../../packages/terminal/terminal/src/index.ts)
-<!-- END GENERATED cordis-surface -->

package/node_modules/better-dsh/docs/80_upstream-docs-and-skills/dsh-dev-skill/src/docs/subsystems/todo.md

@@ -1,32 +0,0 @@
-# Todo
-
-English | [中文](todo.zh.md)
-
-The durable todo vocabulary owned by [`@deepseek-ai/dsh-tool-todo`](../../packages/todo/tool-todo/README.md). The model-facing tool replaces one agent session's whole list; the package also owns the event declaration, replay projection, and invariant companion. Tool behavior and configuration are on the [package README](../../packages/todo/tool-todo/README.md).
-
-Source: [`packages/todo/tool-todo/src/types.ts`](../../packages/todo/tool-todo/src/types.ts)
-
-## `TodoItem` — one list entry
-
-```ts type-equiv
-/**
- * One entry in an agent's todo list — the unit of the `todo/write`
- * whole-list snapshot declared by this package.
- *
- * Deliberately minimal: a human-readable `content` line and a three-state
- * `status`. No id, priority, or `activeForm` — the list is replaced wholesale
- * on every write (last-write-wins), so entries need no stable identity. The
- * three statuses describe the complete portable lifecycle needed by model and
- * UI consumers.
- */
-interface TodoItem {
-  /** What this task is — a short imperative line shown in the UI. */
-  content: string
-  /** Lifecycle state. `in_progress` marks a task being worked now; parallel work may mark several. */
-  status: 'pending' | 'in_progress' | 'completed'
-}
-```
-
-## Durable event and invariant
-
-The package declaration-merges `todo/write: { todos: TodoItem[] }` into `SessionEventMap`. The event is log-only and carries the complete replacement list; the generated [persistence catalog](../persistence-catalog.md#todowrite--log-only) records its declaration site. The package's invariant companion validates existing and newly announced sessions in one pass, then tracks committed turn boundaries incrementally so every live `todo/write` is checked before append without rescanning the log.

package/node_modules/better-dsh/docs/80_upstream-docs-and-skills/dsh-dev-skill/src/docs/subsystems/todo.zh.md

@@ -1,32 +0,0 @@
-# Todo
-
-[English](todo.md) | 中文
-
-本页记录 [`@deepseek-ai/dsh-tool-todo`](../../packages/todo/tool-todo/README.zh.md) 拥有的持久 todo 词汇。面向模型的工具会整体替换一个 agent（智能体）会话的列表；该包还拥有事件声明、回放投影和不变量配套插件。工具行为与配置见[包 README](../../packages/todo/tool-todo/README.zh.md)。
-
-源码：[`packages/todo/tool-todo/src/types.ts`](../../packages/todo/tool-todo/src/types.ts)
-
-## `TodoItem`：一条列表项
-
-```ts type-equiv
-/**
- * One entry in an agent's todo list — the unit of the `todo/write`
- * whole-list snapshot declared by this package.
- *
- * Deliberately minimal: a human-readable `content` line and a three-state
- * `status`. No id, priority, or `activeForm` — the list is replaced wholesale
- * on every write (last-write-wins), so entries need no stable identity. The
- * three statuses describe the complete portable lifecycle needed by model and
- * UI consumers.
- */
-interface TodoItem {
-  /** What this task is — a short imperative line shown in the UI. */
-  content: string
-  /** Lifecycle state. `in_progress` marks a task being worked now; parallel work may mark several. */
-  status: 'pending' | 'in_progress' | 'completed'
-}
-```
-
-## 持久事件与不变量
-
-该包通过声明合并把 `todo/write: { todos: TodoItem[] }` 加入 `SessionEventMap`。此事件仅写入日志，并携带完整替换列表；生成的[持久化目录](../persistence-catalog.zh.md#todowrite--log-only)会记录其声明位置。该包的不变量配套插件会单次遍历校验现有会话和新发布的会话，随后增量追踪已提交的轮次边界，使每个实时 `todo/write` 都能在追加前得到校验，而无需重新扫描日志。

package/node_modules/better-dsh/docs/80_upstream-docs-and-skills/dsh-dev-skill/src/docs/subsystems/token-meter.md

@@ -1,105 +0,0 @@
-# Token Meter
-
-English | [中文](token-meter.zh.md)
-
-`@deepseek-ai/dsh-token-meter` exposes one detached replay snapshot for request pressure and positional surface pricing. `logRevision` is the number of durable events consumed for every field in the measurement.
-
-Source: [`packages/llm/token-meter/src/types.ts`](../../packages/llm/token-meter/src/types.ts)
-
-## `TokenMeasurement`
-
-```ts type-equiv
-/** Detached immutable request-pressure and surface snapshot at one consumed log revision. */
-interface TokenMeasurement {
-  /** Number of durable events consumed; equal to the next unread event seq. */
-  readonly logRevision: SessionLogOffset
-  /** Provider or heuristic anchor used for this measurement. */
-  readonly baseline: TokenMeasurementBaseline
-  /** Signed repricing of current surface content relative to the baseline anchor. */
-  readonly surfaceDeltaTokens: number
-  /** Non-negative current request-and-response pressure. */
-  readonly totalTokens: number
-  /** Total route-priced request tokens across the current surface; equals the sum of the node prices. */
-  readonly surfaceTokens: number
-  /** Current surface nodes in positional head-to-tail order. */
-  readonly nodes: readonly TokenSurfaceNode[]
-}
-```
-
-Every measurement resolves the effective envelope's routed provider/model to that route's declared request-image pricing through `ctx.llm`, so image occurrences are priced as the visual tokens plus model-visible text the request actually sends; routes and compositions without declared pricing keep the fixed heuristic. `baseline.kind === 'usage'` means the latest successful provider call has the same canonical request envelope and its total is no lower than that call's full route-priced anchor. `estimated` means no reusable conservative usage anchor exists, so the service priced the complete envelope and surface itself. A later successful request replaces the earlier anchor; signed `surfaceDeltaTokens` preserves growth and shrinkage relative to a matching anchor, repricing both sides under the same route. `totalTokens` remains request-and-response pressure, while `surfaceTokens` is the surface-only route-priced total and equals the sum of the node prices.
-
-## `TokenSurfaceNode`
-
-```ts type-equiv
-/** One token-priced node in the current ordered session surface. */
-interface TokenSurfaceNode {
-  /** Durable sequence number of the surface event. */
-  readonly seq: SessionSeq
-  /**
-   * Request-pressure tokens for the exact message projected by this node under
-   * the measured route: image occurrences carry the route's declared visual
-   * price when the routed adapter declares one, and the fixed heuristic
-   * otherwise. Trigger, retention, and range selection all read this price.
-   */
-  readonly tokens: number
-  /**
-   * Fixed-heuristic tokens for the same message, independent of any route.
-   * The shadow-price protocol prices replacements with this value so the O(1)
-   * projection fold stays in agreement with its own appends.
-   */
-  readonly heuristicTokens: number
-}
-```
-
-Surface order is authoritative; replacement nodes can have higher durable seqs than later positional nodes. The snapshot is immutable and does not grow when the underlying replay fold advances.
-
-<!-- BEGIN GENERATED cordis-surface (gen-cordis-catalog.ts) — do not edit between markers -->
-
-<a id="cordis-surface"></a>
-
-## Cordis API
-
-Generated from source by `scripts/gen-cordis-catalog.ts` (verified fresh by `pnpm run verify-cordis-catalog` in doc-sync; regenerate with `pnpm run gen-cordis-catalog`) — the language sides differ only in locale-specific paired document paths. Signature blocks use a `ts cordis-catalog` fence and keep the original source JSDoc; dispatch modes are defined in the [primer](../cordis-primer.md#dispatch-modes), and the framework-inherited `ctx` API lives in [cordis-api/inherited.md](../cordis-api/inherited.md).
-
-<a id="ctxtokenmeter--tokenmeter"></a>
-
-### `ctx.tokenMeter` — `TokenMeter`
-
-Replay owner for one service-wide estimator and isolated per-session folds.
-
-```ts cordis-catalog
-/**
- * Measure current request pressure and surface through the durable tail.
- *
- * The effective envelope's routed provider/model selects the request-image
- * pricing every node is priced under: a route whose adapter declares image
- * pricing charges each retained image its visual tokens plus its
- * model-visible text, while other routes keep the fixed heuristic. Provider
- * usage is reused only when the latest successful call's canonical request
- * envelope matches `requestHeader` and its total is no lower than that
- * call's full route-priced anchor; otherwise the complete envelope and
- * surface are repriced.
- *
- * `requestHeader` replaces the latest logged envelope for pressure and node
- * pricing; the node set always describes the current session surface. Every
- * call clones those positional nodes, so measurement is O(surface).
- *
- * @param session - session to replay through its current durable tail.
- * @param requestHeader - optional effective request envelope replacing the latest logged header.
- * @returns a detached deeply immutable pressure and surface measurement.
- */
-measure(session: Session, requestHeader?: EpochHeader): TokenMeasurement
-
-/**
- * Heuristically price one model-visible message (instance face of the pure
- * `estimateMessage` export from `estimate.ts`).
- * @param message - message to price without mutation.
- * @returns content and role-framing tokens under the fixed service heuristic.
- */
-estimateMessage(message: Message): number
-```
-
-Types: [EpochHeader](session.md) · [Message](llm-streaming.md) · [Session](session.md)
-
-Source: [`packages/llm/token-meter/src/index.ts`](../../packages/llm/token-meter/src/index.ts)
-<!-- END GENERATED cordis-surface -->

package/node_modules/better-dsh/docs/80_upstream-docs-and-skills/dsh-dev-skill/src/docs/subsystems/token-meter.zh.md

@@ -1,105 +0,0 @@
-# Token 计量
-
-[English](token-meter.md) | 中文
-
-`@deepseek-ai/dsh-token-meter` 公开一个独立的回放快照，用于表示请求压力与按位置计算的表层定价。`logRevision` 表示生成该计量中每个字段时所消费的持久事件数量。
-
-来源：[`packages/llm/token-meter/src/types.ts`](../../packages/llm/token-meter/src/types.ts)
-
-## `TokenMeasurement`
-
-```ts type-equiv
-/** Detached immutable request-pressure and surface snapshot at one consumed log revision. */
-interface TokenMeasurement {
-  /** Number of durable events consumed; equal to the next unread event seq. */
-  readonly logRevision: SessionLogOffset
-  /** Provider or heuristic anchor used for this measurement. */
-  readonly baseline: TokenMeasurementBaseline
-  /** Signed repricing of current surface content relative to the baseline anchor. */
-  readonly surfaceDeltaTokens: number
-  /** Non-negative current request-and-response pressure. */
-  readonly totalTokens: number
-  /** Total route-priced request tokens across the current surface; equals the sum of the node prices. */
-  readonly surfaceTokens: number
-  /** Current surface nodes in positional head-to-tail order. */
-  readonly nodes: readonly TokenSurfaceNode[]
-}
-```
-
-每次计量都会通过 `ctx.llm` 把生效信封的路由 provider/model 解析为该路由声明的请求图片定价，因此图片出现处按请求实际发送的视觉 token 加模型可见文本计价；未声明定价的路由与组合保持固定启发式规则。`baseline.kind === 'usage'` 表示最近一次成功的提供方调用具有相同的规范请求 envelope，且该调用的总量不低于其完整路由定价锚点。`estimated` 表示不存在可复用的保守 usage 锚点，因此服务自行对完整信封和表层定价。后续成功请求会替换早先的锚点；有符号的 `surfaceDeltaTokens` 会保留相对于匹配锚点的增长与缩减，且两侧按同一路由重新定价。`totalTokens` 仍表示请求与响应压力，`surfaceTokens` 则是表层的路由定价总量，等于所有节点价格之和。
-
-## `TokenSurfaceNode`
-
-```ts type-equiv
-/** One token-priced node in the current ordered session surface. */
-interface TokenSurfaceNode {
-  /** Durable sequence number of the surface event. */
-  readonly seq: SessionSeq
-  /**
-   * Request-pressure tokens for the exact message projected by this node under
-   * the measured route: image occurrences carry the route's declared visual
-   * price when the routed adapter declares one, and the fixed heuristic
-   * otherwise. Trigger, retention, and range selection all read this price.
-   */
-  readonly tokens: number
-  /**
-   * Fixed-heuristic tokens for the same message, independent of any route.
-   * The shadow-price protocol prices replacements with this value so the O(1)
-   * projection fold stays in agreement with its own appends.
-   */
-  readonly heuristicTokens: number
-}
-```
-
-表层顺序具有权威性；替换节点的持久 seq 可能高于位置排在其后的节点。该快照不可变，不会随底层回放折叠推进而增长。
-
-<!-- BEGIN GENERATED cordis-surface (gen-cordis-catalog.ts) — do not edit between markers -->
-
-<a id="cordis-surface"></a>
-
-## Cordis API
-
-Generated from source by `scripts/gen-cordis-catalog.ts` (verified fresh by `pnpm run verify-cordis-catalog` in doc-sync; regenerate with `pnpm run gen-cordis-catalog`) — the language sides differ only in locale-specific paired document paths. Signature blocks use a `ts cordis-catalog` fence and keep the original source JSDoc; dispatch modes are defined in the [primer](../cordis-primer.zh.md#dispatch-modes), and the framework-inherited `ctx` API lives in [cordis-api/inherited.md](../cordis-api/inherited.md).
-
-<a id="ctxtokenmeter--tokenmeter"></a>
-
-### `ctx.tokenMeter` — `TokenMeter`
-
-Replay owner for one service-wide estimator and isolated per-session folds.
-
-```ts cordis-catalog
-/**
- * Measure current request pressure and surface through the durable tail.
- *
- * The effective envelope's routed provider/model selects the request-image
- * pricing every node is priced under: a route whose adapter declares image
- * pricing charges each retained image its visual tokens plus its
- * model-visible text, while other routes keep the fixed heuristic. Provider
- * usage is reused only when the latest successful call's canonical request
- * envelope matches `requestHeader` and its total is no lower than that
- * call's full route-priced anchor; otherwise the complete envelope and
- * surface are repriced.
- *
- * `requestHeader` replaces the latest logged envelope for pressure and node
- * pricing; the node set always describes the current session surface. Every
- * call clones those positional nodes, so measurement is O(surface).
- *
- * @param session - session to replay through its current durable tail.
- * @param requestHeader - optional effective request envelope replacing the latest logged header.
- * @returns a detached deeply immutable pressure and surface measurement.
- */
-measure(session: Session, requestHeader?: EpochHeader): TokenMeasurement
-
-/**
- * Heuristically price one model-visible message (instance face of the pure
- * `estimateMessage` export from `estimate.ts`).
- * @param message - message to price without mutation.
- * @returns content and role-framing tokens under the fixed service heuristic.
- */
-estimateMessage(message: Message): number
-```
-
-Types: [EpochHeader](session.zh.md) · [Message](llm-streaming.zh.md) · [Session](session.zh.md)
-
-Source: [`packages/llm/token-meter/src/index.ts`](../../packages/llm/token-meter/src/index.ts)
-<!-- END GENERATED cordis-surface -->