@deepseek-ai/dsh-compaction-basic 0.1.2-alpha.3 → 0.1.2-alpha.4

package/README.i18n.yaml

@@ -2,5 +2,5 @@
 # side as of the last confirmed-consistent state. Both languages carry equal authority;
 # after editing either side, bring the other along and re-record with:
 #   pnpm run verify-translation-pairing --write packages/compaction/compaction-basic/README.md
-README.md: 60b6bb7fb3e4d7a36f0e609e64238ea1020def4d
-README.zh.md: e9f081c39720999f5ba537780a91582c41268fba
+README.md: 026a54a3cc0d2bf45873acf4f607eb7b392e5dbf
+README.zh.md: 60534f6ef1b065a0c19642c7d02315f66f2b19ca

package/README.md

@@ -134,7 +134,7 @@ The transaction validates the surface span and the durable lock, appends `compac
 | [`src/summarizer.ts`](src/summarizer.ts) | Default `ctx.llm.stream()` summarization, checkpoint framing, safe-summary projection |
 | [`src/config.ts`](src/config.ts) | Load-time validation and routed-model policy resolution |
 | [`src/types.ts`](src/types.ts) | `BasicCompactionConfig` and resolved policy vocabulary |
-| [`src/invariant.ts`](src/invariant.ts) | Invariant companion (no runtime invariant; the durable bracket is observable in the session log) |
+| — | No runtime invariant companion is published; this package exposes no independent event sequence or mutable data relation beyond contracts enforced at its owning seam. |
 
 </details>
 

package/README.zh.md

@@ -134,7 +134,7 @@ kind: "package-reference"
 | [`src/summarizer.ts`](src/summarizer.ts) | 默认 `ctx.llm.stream()` 摘要、检查点框定、安全摘要投影 |
 | [`src/config.ts`](src/config.ts) | 加载时验证与路由模型策略解析 |
 | [`src/types.ts`](src/types.ts) | `BasicCompactionConfig` 与已解析策略词汇 |
-| [`src/invariant.ts`](src/invariant.ts) | 不变式伴生插件（无运行时不变式；持久标记对可在会话日志中观察） |
+| — | 不发布运行时不变式伴生入口；持久标记对可在会话日志中观察。 |
 
 </details>
 

package/lib/index.js

@@ -4,6 +4,7 @@ import { BlockAssembler, CONTEXT_WINDOW_EXCEEDED_CODE, LlmError, contentHasImage
 import { assertNever, deepFreeze } from "@deepseek-ai/dsh-util-values";
 import { randomUUID } from "node:crypto";
 import { isDeepStrictEqual } from "node:util";
+import { SessionSeq } from "@deepseek-ai/dsh-session";
 //#region lib/types/config.js
 /**
 * Load-time validation and routed-model policy resolution for compaction-basic.
@@ -419,7 +420,7 @@ function selectCompactableRange(session, measurement, retainTokens) {
 async function compactSurfaceRegion(dependencies, session, start, end, agent, options, signal) {
 	if (options.owner === null) signal?.throwIfAborted();
 	const selection = validateSurfaceRegion(session, start, end);
-	const entryState = inspectCompactionEntryState(session.events);
+	const entryState = inspectCompactionEntryState(session);
 	assertCompactionInactive(entryState.unmatchedCompactionStart, entryState.latestEndSeedSeq, "compaction");
 	let owner;
 	if (options.owner === null) {
@@ -512,7 +513,7 @@ function assertCompactionInactive(unmatchedCompactionStart, latestEndSeedSeq, st
 * @param stage - operation label included in the busy diagnostic.
 */
 function assertNoActiveCompaction(session, stage) {
-	const entryState = inspectCompactionEntryState(session.events);
+	const entryState = inspectCompactionEntryState(session);
 	assertCompactionInactive(entryState.unmatchedCompactionStart, entryState.latestEndSeedSeq, stage);
 }
 /** Validate one requested surface-position span before asynchronous work begins. */
@@ -649,8 +650,7 @@ function completeCompaction(pending, endEvent) {
 */
 function buildSummarizationInput(session, shadowedSeqs) {
 	const header = session.requestHeader();
-	const events = session.events;
-	const regionMessages = shadowedSeqs.map((seq) => session.deriveEventMessage(events[seq])).filter((message) => message !== null);
+	const regionMessages = shadowedSeqs.map((seq) => session.deriveEventMessage(session.eventAt(seq))).filter((message) => message !== null);
 	return {
 		...header?.system === void 0 ? {} : { system: header.system },
 		...header?.tools === void 0 ? {} : { tools: header.tools },
@@ -658,14 +658,14 @@ function buildSummarizationInput(session, shadowedSeqs) {
 	};
 }
 /** Inspect open-turn, unmatched-compaction, and latest seed-boundary state independently. */
-function inspectCompactionEntryState(events) {
+function inspectCompactionEntryState(session) {
 	let openTurn = null;
 	let openTurnStateKnown = false;
 	let unmatchedCompactionStart;
 	let compactionEntryStateKnown = false;
 	let latestEndSeedSeq;
-	for (let index = events.length - 1; index >= 0; index -= 1) {
-		const event = events[index];
+	for (let seq = session.seq - 1; seq >= 0; seq -= 1) {
+		const event = session.eventAt(SessionSeq(seq));
 		if (latestEndSeedSeq === void 0 && event.type === "session/end-seed") latestEndSeedSeq = event.seq;
 		if (!compactionEntryStateKnown) {
 			if (event.type === "compaction/start") {

package/lib/types/index.d.ts

@@ -7,6 +7,7 @@ import { Context } from '@deepseek-ai/cordis';
 import z from '@deepseek-ai/schemastery';
 import { CompactionEngine } from '@deepseek-ai/dsh-compaction';
 import type { CompactionResult, CompactionTrigger } from '@deepseek-ai/dsh-compaction';
+import type { SessionSeq } from '@deepseek-ai/dsh-session';
 import type { Agent } from '@deepseek-ai/dsh-agent';
 import type { CommandId } from '@deepseek-ai/dsh-commands/brand';
 import type { SummarizationInput, SummaryResult } from './summarizer.ts';
@@ -66,7 +67,7 @@ export declare class BasicCompactionEngine extends CompactionEngine {
      * @param signal - optional summarization cancellation signal.
      * @returns the successful durable compaction result.
      */
-    compactRegion(start: number, end: number, agent: Agent, signal?: AbortSignal): Promise<CompactionResult>;
+    compactRegion(start: SessionSeq, end: SessionSeq, agent: Agent, signal?: AbortSignal): Promise<CompactionResult>;
     /**
      * Force one useful idle-session compaction below the pressure threshold, and
      * resolve only after its standalone marker pair is durably checkpointed.

package/lib/types/region.d.ts

@@ -7,7 +7,7 @@
 import type { CompactionResult } from '@deepseek-ai/dsh-compaction';
 import type { CommandId } from '@deepseek-ai/dsh-commands/brand';
 import type { TokenMeasurement, TokenMeter } from '@deepseek-ai/dsh-token-meter';
-import type { Session } from '@deepseek-ai/dsh-session';
+import { SessionSeq, type Session } from '@deepseek-ai/dsh-session';
 import type { Agent } from '@deepseek-ai/dsh-agent';
 import type { SummarizationInput, SummaryResult } from './summarizer.ts';
 interface RegionDependencies {
@@ -33,8 +33,8 @@ interface CompactionTransactionOptions {
  * @returns the inclusive positional seq range to compact, or `null`.
  */
 export declare function selectCompactableRange(session: Session, measurement: TokenMeasurement, retainTokens: number): {
-    start: number;
-    end: number;
+    start: SessionSeq;
+    end: SessionSeq;
 } | null;
 /**
  * Run the single compaction transaction over one selected positional span.
@@ -52,7 +52,7 @@ export declare function selectCompactableRange(session: Session, measurement: To
  * @param signal - optional summarization cancellation signal.
  * @returns the successful durable compaction result.
  */
-export declare function compactSurfaceRegion(dependencies: RegionDependencies, session: Session, start: number, end: number, agent: Agent, options: CompactionTransactionOptions, signal?: AbortSignal): Promise<CompactionResult>;
+export declare function compactSurfaceRegion(dependencies: RegionDependencies, session: Session, start: SessionSeq, end: SessionSeq, agent: Agent, options: CompactionTransactionOptions, signal?: AbortSignal): Promise<CompactionResult>;
 /**
  * Recheck the durable compaction lock after an asynchronous policy decision.
  * @param session - session whose latest marker state is inspected.

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@deepseek-ai/dsh-compaction-basic",
   "description": "Token-meter-driven compaction policy and LLM summarization backend for the DeepSeek Harness",
-  "version": "0.1.2-alpha.3",
+  "version": "0.1.2-alpha.4",
   "publishConfig": {
     "access": "public"
   },
@@ -18,29 +18,23 @@
       "types": "./lib/types/index.d.ts",
       "default": "./lib/index.js"
     },
-    "./invariant": {
-      "types": "./lib/types/invariant.d.ts",
-      "default": "./lib/invariant.js"
-    },
     "./src/*": "./src/*",
     "./package.json": "./package.json"
   },
   "files": [
     "lib/index.js",
-    "lib/invariant.js",
     "lib/types/**/*.d.ts"
   ],
   "license": "MIT",
   "peerDependencies": {
     "@deepseek-ai/cordis": "^4.0.2",
-    "@deepseek-ai/dsh-agent": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-commands": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-compaction": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-compaction-tool-result-pruner": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-invariants": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-llm": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-session": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-token-meter": "^0.1.2-alpha.3"
+    "@deepseek-ai/dsh-agent": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-commands": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-compaction": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-compaction-tool-result-pruner": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-llm": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-session": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-token-meter": "^0.1.2-alpha.4"
   },
   "peerDependenciesMeta": {
     "@deepseek-ai/dsh-compaction-tool-result-pruner": {
@@ -49,24 +43,24 @@
   },
   "dependencies": {
     "@deepseek-ai/schemastery": "^3.18.2",
-    "@deepseek-ai/dsh-util-values": "^0.1.2-alpha.3"
+    "@deepseek-ai/dsh-util-values": "^0.1.2-alpha.4"
   },
   "devDependencies": {
     "@deepseek-ai/cordis": "^4.0.2",
     "@deepseek-ai/cordis-plugin-include": "^1.0.7",
     "@deepseek-ai/cordis-plugin-loader": "^1.0.3",
-    "@deepseek-ai/dsh-agent": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-agent-loop": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-agent-loop-testkit": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-compaction": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-commands": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-compaction-tool-result-pruner": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-llm": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-invariants": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-llm-retry": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-session": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-session-projection": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-token-meter": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-tools": "^0.1.2-alpha.3"
+    "@deepseek-ai/dsh-agent": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-agent-loop-testkit": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-commands": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-compaction": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-compaction-tool-result-pruner": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-invariants": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-llm": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-agent-loop": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-session": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-session-projection": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-token-meter": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-tools": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-llm-retry": "^0.1.2-alpha.4"
   }
 }

package/lib/invariant.js

@@ -1,23 +0,0 @@
-//#region lib/types/invariant.js
-/**
-* Package-owned invariant companion for `@deepseek-ai/dsh-compaction-basic`.
-* @module @deepseek-ai/dsh-compaction-basic/invariant
-*/
-const PACKAGE_NAME = "@deepseek-ai/dsh-compaction-basic";
-/** Cordis companion plugin name. */
-const name = "compaction-basic-invariant";
-/** Service required before the companion can reserve package ownership. */
-const inject = ["invariants"];
-/**
-* No runtime invariant: this package exposes no independent event sequence or mutable data relation
-* beyond contracts enforced at its owning seam.
-*/
-const install = () => {};
-/**
-* Register this package's invariant companion.
-* @param ctx - Cordis context carrying the invariant service.
-* @returns the installed registration's disposer after setup succeeds.
-*/
-const apply = (ctx) => Promise.resolve(ctx.invariants.register(PACKAGE_NAME, install));
-//#endregion
-export { apply, inject, name };

package/lib/types/invariant.d.ts

@@ -1,16 +0,0 @@
-/**
- * Package-owned invariant companion for `@deepseek-ai/dsh-compaction-basic`.
- * @module @deepseek-ai/dsh-compaction-basic/invariant
- */
-import type { Context } from '@deepseek-ai/cordis';
-/** Cordis companion plugin name. */
-export declare const name = "compaction-basic-invariant";
-/** Service required before the companion can reserve package ownership. */
-export declare const inject: string[];
-/**
- * Register this package's invariant companion.
- * @param ctx - Cordis context carrying the invariant service.
- * @returns the installed registration's disposer after setup succeeds.
- */
-export declare const apply: (ctx: Context) => Promise<() => void>;
-//# sourceMappingURL=invariant.d.ts.map