billion-context-dsh 0.2.13 → 0.2.15

package/README.en.md

@@ -3,7 +3,7 @@
 [English](./README.en.md) | [中文](./README.md)
 
 > **⚠️ Beta notice — not for production use**
-> This project (**v0.2.13**) is a work-in-progress beta. The [DeepSeek Harness](https://github.com/deepseek-ai/deepseek-harness) itself is also in **public beta**. **Do not use either in engineering / production environments** — expect breaking changes and rough edges.
+> This project (**v0.2.15**) is a work-in-progress beta. The [DeepSeek Harness](https://github.com/deepseek-ai/deepseek-harness) itself is also in **public beta**. **Do not use either in engineering / production environments** — expect breaking changes and rough edges.
 
 <p align="center">
 <strong>Built with gratitude on top of these projects</strong> — please give them a ⭐:

package/README.md

@@ -3,7 +3,7 @@
 [中文](./README.md) | [English](./README.en.md)
 
 > **⚠️ 测试版声明——请勿用于生产环境**
-> 本项目（**v0.2.13**）仍处于开发中的测试版。[DeepSeek Harness](https://github.com/deepseek-ai/deepseek-harness) 本身也处于**公开测试版**阶段。**请勿将两者用于工程化 / 生产环境**——预期会有破坏性变更与粗糙之处。
+> 本项目（**v0.2.15**）仍处于开发中的测试版。[DeepSeek Harness](https://github.com/deepseek-ai/deepseek-harness) 本身也处于**公开测试版**阶段。**请勿将两者用于工程化 / 生产环境**——预期会有破坏性变更与粗糙之处。
 
 <p align="center">
 <strong>衷心感谢以下项目——请给它们一个 ⭐：</strong>

package/dist/index.js

@@ -3502,7 +3502,7 @@ var AcpStateStore = class {
 };
 
 // src/tools.ts
-import { defineTool } from "@deepseek-ai/dsh-tools";
+import { defineTool, ToolArgsError } from "@deepseek-ai/dsh-tools";
 
 // src/config.ts
 function kernelConfigFor(input) {
@@ -3616,7 +3616,7 @@ var DEFAULT_PROMPTS = {
     footer: "Compress with: compress({ content: [{ startSeq, endSeq, summary }] }) \u2014 content is an array: batch multiple unrelated segments in one call, each entry its own block. Keep ranges disjoint.\nSnapshot taken at nudge time: the seqs go stale once the surface moves (a later compress shadows them), so re-run acp_status for fresh refs before compressing."
   },
   tools: {
-    compress: "Replace older conversation ranges with dense summaries you write. Each message seq is a surface reference. Single range: compress({ content: [{ startSeq, endSeq, summary }] }). Batch multiple unrelated ranges in one call (each content entry becomes its own block); keep ranges disjoint. Never compress content the current step is actively using. Compress boundaries are SURFACE SEQS (acp_status Surface: row, latest nudge table) \u2014 NOT the block refs (bN, e.g. b1) that acp_status COMPRESSED BLOCKS shows, which are for decompress only. Drilldown mN refs (e.g. m00306) are ALSO accepted as startSeq/endSeq \u2014 they are auto-mapped to the live surface seq; an unknown mN (never assigned on the current surface) fails with guidance. Seq refs must come from the CURRENT surface (acp_status or the latest nudge): a span whose edges were shadowed by an earlier compress is auto-remapped to its still-live content, a fully compressed span is reported as already compressed, and invented/other-session seqs fail with guidance. Good compression moments: stage or subtask completion, strategy switches, intermediate milestones, and wrapping up failed exploration \u2014 when the details are consumed and no longer critical for the task ahead. When you write a summary, turn dead-end exploration into a conclusion (what was tried, why it failed, the next step) \u2014 not a blow-by-blow; and keep the summary the ONLY record: self-contained, so a later reader (or you, after decompress) can continue without the original.",
+    compress: "Replace older conversation ranges with dense summaries you write. Each message seq is a surface reference. Single range: compress({ content: [{ startSeq, endSeq, summary }] }). Batch multiple unrelated ranges in one call (each content entry becomes its own block); keep ranges disjoint. Never compress content the current step is actively using. Compress boundaries are SURFACE SEQS (acp_status Surface: row, latest nudge table) \u2014 NOT the block refs (bN, e.g. b1) that acp_status COMPRESSED BLOCKS shows, which are for decompress only. Drilldown mN refs (e.g. m00306) are ALSO accepted as startSeq/endSeq \u2014 they are auto-mapped to the live surface seq; an unknown mN (never assigned on the current surface) fails with guidance. Seq refs must come from the CURRENT surface (acp_status or the latest nudge): a span whose edges were shadowed by an earlier compress is auto-remapped to its still-live content, a fully compressed span is reported as already compressed, and invented/other-session seqs fail with guidance. Good compression moments: stage or subtask completion whose details you have fully consumed and will not re-check, strategy switches, intermediate milestones, and wrapping up failed exploration \u2014 when the details are consumed and no longer critical for the task ahead. Before compressing, ask: will I need to re-verify any detail from this range in this task? If yes, keep it live. When you write a summary, turn dead-end exploration into a conclusion (what was tried, why it failed, the next step) \u2014 not a blow-by-blow; and keep the summary the ONLY record: self-contained, so a later reader (or you, after decompress) can continue without the original.",
     decompress: "Recover the original content of a compressed block by its blockId \u2014 the kernel block ref `bN` shown by acp_status (e.g. b1), or a compaction id from search_context (read-only; does not unshadow the range).",
     searchContext: "Search inside compressed blocks (summaries and original content) for information the model no longer sees in context. When a summary lacks a detail you need (exact values, error strings, decisions, verbatim code), SEARCH the compressed blocks FIRST \u2014 never guess or reconstruct from memory: search_context(query) locates the right block, then decompress only that block to recover the original.",
     acpStatus: 'Context status: overview of the current context \u2014 CONTEXT BREAKDOWN (tool/text/summaries token shares of the visible total), COMPRESSED BLOCKS ledger, and the nudge decision. No args = overview. Percentages are shares of the visible content, not the context window. Note: the block refs in COMPRESSED BLOCKS (bN, e.g. b1) are for decompress; compress uses the Surface: seq range, not bN. Drilldown: pass scope:"compressed" for a per-block list, or scope:"uncompressed" with view:"messages" (every visible message) / view:"ranges" (merged ranges); tool filters to one tool name, sort reorders (size/time/tool; age for compressed), limit caps rows (default 30). Drilldown row refs are kernel ids (mN) \u2014 feed them straight to compress as startSeq/endSeq (auto-mapped to the live surface seq); bN is for decompress, Surface: seqs also work in compress.'
@@ -3640,6 +3640,7 @@ WHEN NOT TO COMPRESS:
 - Content the current step is actively reading or reasoning about.
 - Important user messages \u2014 preserve their exact intent, constraints, and acceptance criteria.
 - Protected tool outputs \u2014 hard-excluded from compression ranges, survive intact in visible context.
+- Content you will still need to cite verbatim \u2014 in review/audit/verification tasks, keep source reads un-compressed until the final report is written. If you compressed it and now need the exact detail, decompress costs a full round-trip; prefer delaying the compress.
 
 {howToCompressRules}
 
@@ -3855,6 +3856,16 @@ var compressParameters = {
   // intentionally NOT `required: true` — a required property would reject the
   // wrapped shape before `handleCompress` can see it. The tool description
   // still tells the model content is mandatory.
+  //
+  // The items fields are the opposite case: startSeq/endSeq/summary MUST be
+  // `required: true`. Without that, a model call that omits `summary` (only
+  // startSeq/endSeq/topic present) passed schema validation and failed late
+  // inside the kernel with "Summary is empty" — and live sessions showed the
+  // model retrying the identical broken call in a loop. With the fields
+  // required, the same call is rejected at the schema gate with
+  // `missing required property "content[0].summary"`, which tells the model
+  // exactly which field to add (same pattern as decompress's required
+  // blockId / search_context's required query).
   arguments: { type: "json", description: "Tolerated wrapped-arguments form (model-generated); unwrapped in handleCompress. Prefer passing content directly." },
   topic: { type: "string", description: "Fallback topic for entries without their own." },
   content: {
@@ -3864,18 +3875,20 @@ var compressParameters = {
       type: "object",
       properties: {
         startSeq: {
+          required: true,
           oneOf: [
             { type: "integer", description: "First surface seq of the range." },
             { type: "string", description: "Seq as text; a trailing #callId fragment is ignored." }
           ]
         },
         endSeq: {
+          required: true,
           oneOf: [
             { type: "integer", description: "Inclusive last surface seq of the range." },
             { type: "string", description: "Seq as text; a trailing #callId fragment is ignored." }
           ]
         },
-        summary: { type: "string", description: "Complete technical summary replacing the range; keep paths, decisions, values verbatim. Minimum 50 characters." },
+        summary: { type: "string", required: true, description: "Complete technical summary replacing the range; keep paths, decisions, values verbatim. Minimum 50 characters." },
         topic: { type: "string", description: "Short label (3-5 words) for this range." }
       },
       additionalProperties: false
@@ -3946,6 +3959,18 @@ function unwrapEnvelope(args) {
   if (typeof inner !== "object" || inner === null || Array.isArray(inner)) return args;
   return { ...args, ...inner };
 }
+function validateContentItems(content) {
+  const violations = [];
+  content.forEach((item, index) => {
+    const path = `content[${index}]`;
+    if (item.startSeq === void 0) violations.push(`missing required property "${path}.startSeq"`);
+    if (item.endSeq === void 0) violations.push(`missing required property "${path}.endSeq"`);
+    if (typeof item.summary !== "string" || item.summary.trim().length === 0) {
+      violations.push(`missing required property "${path}.summary"`);
+    }
+  });
+  if (violations.length > 0) throw new ToolArgsError(violations);
+}
 async function handleCompress(env, args, exec) {
   const agent = requireAgent(exec);
   const session = agent.session;
@@ -3967,6 +3992,7 @@ async function handleCompress(env, args, exec) {
     };
   }
   args = unwrapped;
+  validateContentItems(args.content);
   const ranges = [];
   const alreadyCompressedNotes = [];
   for (const range of args.content) {