billion-context-dsh 0.2.0 → 0.2.2

package/dist/nudge.d.ts

@@ -51,8 +51,16 @@ export declare function rangeTable(session: import('@deepseek-ai/dsh-session').S
  */
 export declare function buildNudge(agent: Agent, env: NudgeEnvironment, lastNudgeTurn: Map<string, number>): NudgeOutcome | null;
 /**
- * A short ADVISORY nudge — ACP is model-driven, the model decides whether and
- * when to compress. Full guidance (tools, philosophy, summary rules) lives in
- * the system prompt once, not in every nudge.
+ * Render the nudge message text. DEFAULT (no `config.prompts.nudge` override)
+ * calls the kernel's own `renderNudgeText` — EFFICIENCY_NOTE/EMERGENCY_HEADER,
+ * context breakdown, HOW_TO_COMPRESS_RULES, tier rules, and the batch tip all
+ * come from acp-kernel verbatim (the kernel-alignment principle). Only the
+ * ref-ID-oriented segments are replaced with our seq-based equivalents,
+ * because DSH has no `<acp>` ref tags — see docs/dsh-porting-verification.md:
+ * - `rangesStr` (mNNNNN refs) → the surface-seq range table;
+ * - the emergency JSON example (startId/endId) → a seq example;
+ * - the tier trigger block (block ids bN) → our tier line with surface seqs.
+ * When a host overrides any `prompts.nudge` slot, the template path is used so
+ * `config.prompts` keeps full control (custom copy wins over kernel defaults).
  */
 export declare function buildNudgeText(nudge: NudgeDecision, emergency: boolean, session: import('@deepseek-ai/dsh-session').Session, prompts?: ResolvedPrompts): string;

package/dist/prompts.d.ts

@@ -22,14 +22,20 @@ export type PromptOverride<T> = {
     [K in keyof T]?: PromptInput;
 };
 export interface NudgePrompts {
-    /** 普通档首句。占位符:{pct} */
+    /** 普通档首句。占位符:{pct} {philosophy} */
     normal: string;
-    /** 紧急档首句。占位符:{pct} */
+    /** 紧急档首句。占位符:{pct} {philosophy} */
     emergency: string;
-    /** 指导行。无占位符 */
+    /** 指导行（HOW_TO_COMPRESS_RULES）。无占位符 */
     guidance: string;
     /** tier 蒸馏行。占位符:{tier} {count} {prevTier} {tokens} {seqs} */
     tier: string;
+    /** 上下文分解。占位符:{system} {tool} {summaries} {code} {text} */
+    breakdown: string;
+    /** 增长行。占位符:{growth} */
+    growth: string;
+    /** 溢出提示。无占位符 */
+    tip: string;
 }
 export interface RangeTablePrompts {
     /** 表头。占位符:{surface} */
@@ -74,7 +80,7 @@ export declare function renderTemplate(template: string, vars: Record<string, st
  * 未传入时返回 DEFAULT_RESOLVED,零校验重跑。
  */
 export declare function resolvePrompts(input?: AcpPrompts): ResolvedPrompts;
-/** 渲染 system prompt 模板(注入 kernel 压缩哲学)。 */
+/** 渲染 system prompt 模板(注入 kernel 压缩哲学、压缩规则、蒸馏规则)。 */
 export declare function renderSystemPrompt(prompts: ResolvedPrompts): string;
 /**
  * 默认模板 —— 与 v4 之前的硬编码文案逐字节一致

package/dist/region.d.ts

@@ -143,6 +143,50 @@ export interface SeqCompressibleRange {
     readonly count: number;
     readonly tokens: number;
 }
+/**
+ * Hide one successful `compress` tool's call/result pair after its tool/result
+ * has been logged. The durable compaction summary is inserted BEFORE the
+ * current tool result (the compress tool runs mid-turn), so leaving the pair on
+ * the surface would produce `assistant(tool_calls) → user(summary) →
+ * tool(result)` — rejected by strict providers. Replacing both nodes with a
+ * plain user message (the result text) removes the pair from the derived
+ * surface without touching the compaction block.
+ */
+export declare function hideCompressToolPair(session: Session, callId: string, resultSeq?: number): boolean;
+/**
+ * Surface-level orphan cleanup: hide tool/result nodes with no matching call,
+ * assistant tool-call nodes whose calls all lack results, and "broken pairs"
+ * whose result is NOT adjacent to the call node on the surface (a
+ * non-tool/result node — typically the compaction summary a buggy older
+ * version inserted between a compress call and its result — sits between
+ * them). A single orphan result corrupts the whole tool-pairing balance cache
+ * (every range resolve throws), orphan calls fragment large ranges into tiny
+ * uncompressed fragments, and a broken pair cannot serialize for strict
+ * providers — the mechanisms behind issue #18's "only ~28 tokens visible".
+ * Uses the same durable prune protocol as `hideSurfaceSeqs`, so the removed
+ * nodes stay recoverable from the append-only log.
+ */
+export declare function stripOrphanedSurfaceToolMessages(session: Session, inFlightCallIds?: ReadonlySet<string>): number;
+/**
+ * All tool-call ids currently visible on the surface with no matching
+ * tool/result yet — the in-flight calls of the current step. Sibling tools
+ * called in the same assistant message as `compress` are in-flight too, so
+ * `handleCompress` must protect the whole set (not just its own call id) or
+ * the sibling call would be pruned as an orphan and its result would land
+ * orphaned (HTTP 400 until the next cleanup).
+ */
+export declare function openToolCallIds(session: Session): Set<string>;
+/**
+ * Schedule `hideCompressToolPair` on the microtask queue. `session.append`
+ * is NOT reentrant: running it synchronously inside a `session/event`
+ * listener (while the outer append is still publishing) throws "session
+ * append cannot reenter while another append is being published" on live,
+ * store-attached sessions, and the dispatcher silently swallows the error —
+ * so a synchronous hide is a silent no-op in production. A microtask drains
+ * after the current append fully publishes and before the agent loop resumes,
+ * so the pair is hidden before the next request is built.
+ */
+export declare function deferCompressPairHide(session: Session, callId: string, resultSeq: number, onError?: (error: unknown) => void): void;
 /**
  * Compute compressible spans directly from the surface — independent of the
  * kernel's ref map, which can drift after surface replacements in long

package/dist/system-prompt.d.ts

@@ -3,11 +3,11 @@
  * ACP_SYSTEM_PROMPT): the load-bearing compression guidance lives here, ONCE,
  * instead of being re-sent with every nudge. The nudge itself stays a short,
  * advisory notice — ACP is model-driven, the model decides whether and when
- * to compress (never "compress now").
+ * to compress.
  *
  * The text is DEFAULT_PROMPTS.systemPromptTemplate rendered with the kernel's
- * COMPRESS_PHILOSOPHY; hosts can override the whole section via
- * `config.prompts.systemPrompt` (see docs/configurable-prompts-design.md).
+ * COMPRESS_PHILOSOPHY and HOW_TO_COMPRESS_RULES; hosts can override the whole
+ * section via `config.prompts.systemPrompt` (see docs/configurable-prompts-design.md).
  * @module billion-context-dsh/system-prompt
  */
 export declare const ACP_SYSTEM_PROMPT: string;

package/dist/tools.d.ts

@@ -23,6 +23,13 @@ export interface ToolEnvironment extends KernelConfigInput {
     readonly windowFor?: (agent: Agent) => Promise<AcpWindow>;
     /** Resolved prompt templates (optional: falls back to DEFAULT_RESOLVED). */
     readonly prompts?: ResolvedPrompts;
+    /**
+     * Call ids of compress invocations that created a durable block. The engine
+     * listens for the matching `tool/result` and hides the call/result pair from
+     * the surface, preventing the compaction summary from sitting between them
+     * (strict providers reject that sequence with HTTP 400).
+     */
+    readonly compressCallIdsToHide?: Set<string>;
 }
 /** Build the four ACP model tools bound to one engine. */
 export declare function makeTools(env: ToolEnvironment): ToolDefinition[];

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "billion-context-dsh",
-	"version": "0.2.0",
+	"version": "0.2.2",
 	"description": "Active Context Pruning (ACP) for the DeepSeek Harness — model-driven context management as a CompactionEngine backend.",
 	"keywords": [
 		"deepseek",