dsh-context 0.54.4 → 0.56.0

package/lib/index.d.ts

@@ -1,37 +1,7 @@
 import { z } from "zod";
 import "@deepseek-ai/dsh-session";
+import z$1 from "@deepseek-ai/schemastery";
 import { Context } from "@deepseek-ai/cordis";
-//#region src/host/config.d.ts
-export interface Config {
-  /** Cap on kept per-step request records (the hard step backstop). */
-  maxRequestSteps?: number;
-  /** Newest whole-turn window kept; trimming crosses whole turns, never mid-turn. */
-  maxKeptTurns?: number;
-  maxEvents?: number;
-  /**
-   * Served surface nodes (newest carry the signal; live inject nodes are pinned — they land first and are few). Deliberately generous:
-   * auto-compaction keeps healthy surfaces far below it, so the browser effectively lists every live node; the bound is a
-   * pathological-session backstop (each push ships the whole value, ~150B/node).
-   */
-  maxNodes?: number;
-  /** Removed (shadowed) surface nodes kept for per-step reconstruction. */
-  maxArchiveNodes?: number;
-  /** Fold-derived file-operation records kept (the File Activity card's raw material). */
-  maxFileOps?: number;
-}
-/**
- * The cordis `Config` validator: strict on keys, defaults on the schema fields; tolerates `undefined` (a patch row without a `config:`
- * block — defaults win).
- */
-export declare const Config: z.ZodPreprocess<z.ZodObject<{
-  maxRequestSteps: z.ZodDefault<z.ZodNumber>;
-  maxKeptTurns: z.ZodDefault<z.ZodNumber>;
-  maxEvents: z.ZodDefault<z.ZodNumber>;
-  maxNodes: z.ZodDefault<z.ZodNumber>;
-  maxArchiveNodes: z.ZodDefault<z.ZodNumber>;
-  maxFileOps: z.ZodDefault<z.ZodNumber>;
-}, z.core.$strict>>;
-//#endregion
 //#region src/host/activity.d.ts
 /** The persisted fold state (the registry's `stateSchema` contract). */
 interface ActivityState {
@@ -65,15 +35,6 @@ interface HeadersState {
   headers: StoredHeaderRecord[];
 }
 //#endregion
-//#region src/host/logShapes.d.ts
-/**
- * The decode bucket a stream's `block-start.blockType` names: the model's
- * thinking, the answer text, or the tool-call arguments. Undefined for an
- * unknown/hostile marker, whose interval then stays unattributed rather than
- * poisoning a bucket.
- */
-type DecodeKind = 'reasoning' | 'text' | 'toolarg';
-//#endregion
 //#region src/host/fold.d.ts
 /**
  * History retention bounds (configurable since 0.11 — see config.ts; these
@@ -91,9 +52,8 @@ interface TimelineState {
   sums: Record<Category, number>;
   systemTokens: number;
   /**
-   * The live system-prompt nodes, oldest first — a V3 log's `system/message`
-   * surface nodes, or the single entry a V0/V2 `request/header.header.system`
-   * envelope defines. `systemTokens` is the LAST entry with tokens > 0 (the
+   * The live system-prompt nodes, oldest first — a log's `system/message`
+   * surface nodes. `systemTokens` is the LAST entry with tokens > 0 (the
    * harness's own "last nonempty surviving system" rule), so an empty dormant
    * node keeps its position without clearing the prompt. Bounded by
    * SYSTEM_NODES_MAX. ABSENT on rows folded before this field existed — the
@@ -101,16 +61,6 @@ interface TimelineState {
    * epoch's own envelope figure.
    */
   systems?: SystemPromptNode[];
-  /**
-   * Whether `systems` was built from the V0/V2 request ENVELOPE
-   * (`header.system`) rather than from V3 `system/message` events. Only then
-   * may a system-less header CLEAR the list: its canonical V0 meaning is
-   * "this request has no system prompt", while a V3 header never carries one
-   * (its prompt lives in the message history). Absent = log-sourced, and
-   * never materialized as an `undefined`-valued property (plain-JSON
-   * precondition — see the note above `model`).
-   */
-  systemsFromHeader?: true;
   toolsTokens: number;
   /**
    * The projection-cache precondition is plain JSON: a property whose value
@@ -127,6 +77,16 @@ interface TimelineState {
   lastModel?: string;
   contextWindow?: number;
   requests: RequestRecord[];
+  /**
+   * The number of turn runs in `requests` (a run = consecutive records
+   * sharing one `turn`). Maintained incrementally at the single append site
+   * and recomputed when a trim replaces the array, so the retention trim's
+   * cap check stays O(1) per event instead of walking every retained
+   * request. Absent on rows folded before the field existed — the first
+   * post-restore event recomputes it once (the same additive-optional shape
+   * as `detailRev`).
+   */
+  turnRuns?: number;
   events: ContextEventRecord[];
   /**
    * Recently removed surface nodes (stamped COPIES carrying `gone`), in
@@ -180,28 +140,16 @@ interface TimelineState {
   /**
    * The open step's start instant, armed by `step/start` and consumed by the
    * `assistant/message` (TTFT/generation split) and `step/end` (wall time)
-   * that follow it; `assistant/chunk` stamps `firstToken` on the step's first
-   * token delta — absent when the stream carried none (legacy or aborted
-   * steps), which leaves that call's model time unattributed. One slot, not a
-   * map: steps are sequential in the log, so the newest `step/start` is the
-   * one those events close — a hostile interleaved log degrades to skipped
-   * durations, never to unbounded state. Same arm/remove lifecycle as
-   * `pendingShadowedSeqs`.
-   *
-   * `decode` and `block` carry the generation split (reasoning / answer text /
-   * tool arguments — see TimingTotals): a V0 log's `assistant/chunk`
-   * `block-start` markers open `block` and close the previous one into
-   * `decode`; a V2+ log carries no such events, so `decode` stays absent and
-   * `assistant/message` reads the spans off its embedded stream instead.
+   * that follow it; the message's embedded stream stamps `firstToken` —
+   * absent when the stream carried none (an aborted step), which leaves that
+   * call's model time unattributed. One slot, not a map: steps are sequential
+   * in the log, so the newest `step/start` is the one those events close — a
+   * hostile interleaved log degrades to skipped durations, never to
+   * unbounded state. Same arm/remove lifecycle as `pendingShadowedSeqs`.
    */
   stepStart?: {
     time: number;
     firstToken?: number;
-    decode?: Record<DecodeKind, number>;
-    block?: {
-      kind: DecodeKind;
-      since: number;
-    };
   };
   /**
    * Tool callId → the call's name, start instant, and raw arguments, armed by
@@ -307,8 +255,7 @@ type Category = 'user' | 'inject' | 'skill' | 'assistant' | 'tool';
 /**
  * One live system-prompt node (Snapshot.systems) — the harness models the
  * system prompt as a surface node, so its TEXT is fetched on demand from the
- * event at `seq`: a V3 `system/message` event, or the V0/V2 `request/header`
- * whose envelope carried `header.system`. `tokens` is the node's heuristic
+ * `system/message` event at `seq`. `tokens` is the node's heuristic
  * price (0 for a dormant empty node, which the harness reads as "no system
  * prompt"); the effective figure is the LAST node with `tokens > 0`.
  */
@@ -362,6 +309,23 @@ interface ActivityDay {
 interface ContextActivity {
   days: Record<string, ActivityDay>;
 }
+/**
+ * The per-user display-preference vocabulary of the `dsh-context` settings
+ * namespace — the ONE declaration both halves share: the Host registers the
+ * namespace schema against it (host/settings.ts), the Client binds the scope
+ * and edits fields by name (client/settings.ts). Type-only, so both bundles
+ * erase it.
+ */
+type DefaultGranularity = 'step' | 'turn';
+type DefaultTrendMode = 'total' | 'delta';
+/** File Activity row order: most operations first, most-recently-touched first, or path ascending. */
+type DefaultFileSort = 'count' | 'latest' | 'path';
+/** Tool-definition row order: largest schema first, most call hits first, or name ascending. */
+type DefaultToolSort = 'size' | 'count' | 'name';
+/** Where the Context view is offered: the conversation tab, the right Sidebar, or both. */
+type DefaultPlacement = 'all' | 'tab' | 'sidebar';
+/** Whether the Context Insights panel's sidebar entry is offered at all. */
+type InsightsEntry = 'show' | 'hide';
 interface Snapshot {
   ok: boolean;
   /**
@@ -450,9 +414,9 @@ interface Snapshot {
   timing?: TimingTotals;
   /**
    * The live system-prompt nodes, oldest first — the browser's per-step source
-   * for the System section. Absent when the log carried no system prompt, and
-   * on older plugin builds (the client then falls back to the header epoch's
-   * own `systemTokens`, the pre-V3 shape).
+   * for the System section. Absent on rows folded before this field existed
+   * (older plugin builds; the client then falls back to the header epoch's
+   * own `systemTokens`, the legacy wire shape those builds served).
    */
   systems?: SystemPromptNode[];
   /**
@@ -534,7 +498,7 @@ interface ContextTimelineDetail {
  * One executed file operation (a settled file-tool call with a resolved
  * target), folded host-side from the durable tool lifecycle: the call's
  * name+arguments (`tool/call`), the result's presentation meta and error
- * (`tool/result`), or a nested Code-Mode settle (`tool/code-dispatch`,
+ * (`tool/result`), or a nested Code-Mode settle (`tool/ptc-dispatch`,
  * located on its parent run_code result via `parent` + `program`).
  *
  * `gone` is NOT host-stamped: the client joins it from the detail's archive
@@ -602,10 +566,9 @@ interface ToolTimingTotals {
  * Whole-session timing totals, host-folded from the durable `step/start` /
  * `step/end` / `tool/call` / `tool/result` lifecycle plus the model call's
  * first token (running totals over the COMPLETE session log — the same
- * never-trimmed framing as `cost`). The first token comes from a V0
- * `assistant/chunk` delta or from the call's own embedded stream
- * (`assistant/message.data.stream` / `assistant/attempt.data.stream`, the
- * V2+ settlement) — whichever the log carries, matching the harness's own
+ * never-trimmed framing as `cost`). The first token comes from the call's
+ * own embedded stream (`assistant/message.data.stream` /
+ * `assistant/attempt.data.stream`), matching the harness's own
  * session-stats fold. Durations are wall-clock milliseconds: `wallMs` sums
  * whole steps, `ttftMs` the step-start → first-token slice (the model wait)
  * and `genMs` the first-token → assistant-message slice (the generation) —
@@ -634,10 +597,22 @@ interface TimingTotals {
   genMs: number;
   /** Reasoning-decode slice of `genMs` (the model's thinking). */
   reasoningMs?: number;
+  /** Counted reasoning-decode blocks (the Thinking slice's tally). */
+  reasoningBlocks?: number;
   /** Answer-text decode slice of `genMs`. */
   textMs?: number;
+  /** Counted answer-text decode blocks (the Answer slice's tally). */
+  textBlocks?: number;
   /** Tool-call-argument decode slice of `genMs`. */
   toolArgMs?: number;
+  /**
+   * Counted tool-call-argument decode blocks — one per tool call whose
+   * arguments the stream decoded (the Tool args slice's tally). The counts are
+   * ADDITIVE-OPTIONAL like their spans: a row cached before they existed (or a
+   * call whose stream framed no blocks) carries none, and the card qualifies
+   * only what was actually counted.
+   */
+  toolArgBlocks?: number;
   /**
    * The decode-throughput seat, paired exactly as the harness's own
    * session-stats fold pairs them: `speedTokens` sums provider-reported
@@ -833,6 +808,65 @@ interface PlatformBalance {
   balances: PlatformBalanceEntry[];
 }
 //#endregion
+//#region src/host/config.d.ts
+export interface Config {
+  /** Cap on kept per-step request records (the hard step backstop). */
+  maxRequestSteps?: number;
+  /** Newest whole-turn window kept; trimming crosses whole turns, never mid-turn. */
+  maxKeptTurns?: number;
+  maxEvents?: number;
+  /**
+   * Served surface nodes (newest carry the signal; live inject nodes are pinned — they land first and are few). Deliberately generous:
+   * auto-compaction keeps healthy surfaces far below it, so the browser effectively lists every live node; the bound is a
+   * pathological-session backstop (each push ships the whole value, ~150B/node).
+   */
+  maxNodes?: number;
+  /** Removed (shadowed) surface nodes kept for per-step reconstruction. */
+  maxArchiveNodes?: number;
+  /** Fold-derived file-operation records kept (the File Activity card's raw material). */
+  maxFileOps?: number;
+  /** Where the Context view is offered (the conversation tab, the right Sidebar, or both). */
+  defaultPlacement?: DefaultPlacement;
+  /** Timeline default granularity (per step or per turn). */
+  defaultGranularity?: DefaultGranularity;
+  /** Timeline default trend mode (total or delta). */
+  defaultTrendMode?: DefaultTrendMode;
+  /** Tool-definition row default order. */
+  defaultToolSort?: DefaultToolSort;
+  /** File Activity row default order. */
+  defaultFileSort?: DefaultFileSort;
+  /** Whether the Context Insights panel's sidebar entry is offered. */
+  insightsEntry?: InsightsEntry;
+}
+/** The cordis `Config` validator and the Config-form generation's served schema. */
+export declare const Config: z$1<Schemastery.ObjectS<NoInfer<{
+  maxRequestSteps: z$1<number, number, Mode extends "volatile" | "volatile-defined" ? "volatile-defined" : "defined">;
+  maxKeptTurns: z$1<number, number, Mode extends "volatile" | "volatile-defined" ? "volatile-defined" : "defined">;
+  maxEvents: z$1<number, number, Mode extends "volatile" | "volatile-defined" ? "volatile-defined" : "defined">;
+  maxNodes: z$1<number, number, Mode extends "volatile" | "volatile-defined" ? "volatile-defined" : "defined">;
+  maxArchiveNodes: z$1<number, number, Mode extends "volatile" | "volatile-defined" ? "volatile-defined" : "defined">;
+  maxFileOps: z$1<number, number, Mode extends "volatile" | "volatile-defined" ? "volatile-defined" : "defined">;
+  defaultPlacement: z$1<"all" | "sidebar" | "tab", "all" | "sidebar" | "tab", Mode>;
+  defaultGranularity: z$1<"step" | "turn", "step" | "turn", Mode>;
+  defaultTrendMode: z$1<"delta" | "total", "delta" | "total", Mode>;
+  defaultToolSort: z$1<"count" | "name" | "size", "count" | "name" | "size", Mode>;
+  defaultFileSort: z$1<"count" | "latest" | "path", "count" | "latest" | "path", Mode>;
+  insightsEntry: z$1<"hide" | "show", "hide" | "show", Mode>;
+}>>, Schemastery.ObjectT<NoInfer<{
+  maxRequestSteps: z$1<number, number, Mode extends "volatile" | "volatile-defined" ? "volatile-defined" : "defined">;
+  maxKeptTurns: z$1<number, number, Mode extends "volatile" | "volatile-defined" ? "volatile-defined" : "defined">;
+  maxEvents: z$1<number, number, Mode extends "volatile" | "volatile-defined" ? "volatile-defined" : "defined">;
+  maxNodes: z$1<number, number, Mode extends "volatile" | "volatile-defined" ? "volatile-defined" : "defined">;
+  maxArchiveNodes: z$1<number, number, Mode extends "volatile" | "volatile-defined" ? "volatile-defined" : "defined">;
+  maxFileOps: z$1<number, number, Mode extends "volatile" | "volatile-defined" ? "volatile-defined" : "defined">;
+  defaultPlacement: z$1<"all" | "sidebar" | "tab", "all" | "sidebar" | "tab", Mode>;
+  defaultGranularity: z$1<"step" | "turn", "step" | "turn", Mode>;
+  defaultTrendMode: z$1<"delta" | "total", "delta" | "total", Mode>;
+  defaultToolSort: z$1<"count" | "name" | "size", "count" | "name" | "size", Mode>;
+  defaultFileSort: z$1<"count" | "latest" | "path", "count" | "latest" | "path", Mode>;
+  insightsEntry: z$1<"hide" | "show", "hide" | "show", Mode>;
+}>>, "plain">;
+//#endregion
 //#region src/host/index.d.ts
 export declare const name = "dsh-context";
 export declare const inject: string[];