@deepseek-ai/dsh-session-title 0.1.2-alpha.3 → 0.1.2-alpha.4

package/lib/index.js

@@ -3,6 +3,7 @@ import z from "@deepseek-ai/schemastery";
 import { z as z$1 } from "zod";
 import { isAgentLoopRequest } from "@deepseek-ai/dsh-llm";
 import { assertNever, deepFreeze } from "@deepseek-ai/dsh-util-values";
+import { SessionSeq } from "@deepseek-ai/dsh-session";
 //#region lib/types/normalize.js
 /** Title text normalization and UTF-8-safe truncation. */
 /** Operating-system-command escape sequences, including unterminated tails. */
@@ -133,13 +134,13 @@ const EMPTY_TITLE_INPUT = {
 	lastSeq: null
 };
 const sessionTitleUserMessageSchema = z$1.object({
-	seq: z$1.number().int().nonnegative(),
+	seq: z$1.number().int().nonnegative().max(Number.MAX_SAFE_INTEGER).transform(SessionSeq),
 	text: z$1.string()
 }).strict();
 const titleInputStateSchema = z$1.object({
 	first: sessionTitleUserMessageSchema.nullable(),
 	count: z$1.number().int().nonnegative(),
-	lastSeq: z$1.number().int().nonnegative().nullable()
+	lastSeq: z$1.number().int().nonnegative().max(Number.MAX_SAFE_INTEGER).transform(SessionSeq).nullable()
 }).strict().superRefine((state, context) => {
 	const empty = state.first === null && state.lastSeq === null && state.count === 0;
 	const populated = state.first !== null && state.lastSeq !== null && state.count > 0 && state.first.seq <= state.lastSeq;
@@ -278,7 +279,7 @@ var SessionTitleService = class extends Service {
 	* @returns latest title snapshot, or `undefined` before eligible input.
 	*/
 	get(session) {
-		return foldSessionTitle(session.events);
+		return foldSessionTitle(session.snapshotEvents());
 	}
 	/**
 	* Accept an explicit user title. Appends a `session/title` event with the
@@ -452,7 +453,7 @@ var SessionTitleService = class extends Service {
 			this.assertCurrent(session, work);
 			await this.ensureFallback(session);
 			this.assertCurrent(session, work);
-			const messages = collectSessionTitleMessages(session.events, work.throughSeq);
+			const messages = collectSessionTitleMessages(session.snapshotEvents(), work.throughSeq);
 			const result = await work.registration.provider.generate({
 				session,
 				messages,
@@ -488,10 +489,11 @@ var SessionTitleService = class extends Service {
 		const order = new Map(messages.map((message, index) => [message.seq, index]));
 		let previous = -1;
 		for (const seq of candidate.messageSeqs) {
-			if (typeof seq !== "number") throw new Error("session-title provider messageSeqs must be unique, ordered seqs from the request");
-			const index = order.get(seq);
-			if (!Number.isSafeInteger(seq) || seq < 0 || index === void 0 || index <= previous) throw new Error("session-title provider messageSeqs must be unique, ordered seqs from the request");
-			messageSeqs.push(seq);
+			if (typeof seq !== "number" || !Number.isSafeInteger(seq) || seq < 0) throw new Error("session-title provider messageSeqs must be unique, ordered seqs from the request");
+			const sessionSeq = SessionSeq(seq);
+			const index = order.get(sessionSeq);
+			if (index === void 0 || index <= previous) throw new Error("session-title provider messageSeqs must be unique, ordered seqs from the request");
+			messageSeqs.push(sessionSeq);
 			previous = index;
 		}
 		const modelCandidate = candidate.model;

package/lib/invariant.js

@@ -1,3 +1,4 @@
+import { SessionSeq } from "@deepseek-ai/dsh-session";
 //#region lib/types/invariant.js
 /**
 * Package-owned invariant companion for `@deepseek-ai/dsh-session-title`.
@@ -16,16 +17,36 @@ const inject = ["invariants"];
 * relationship every appended `session/title` event must keep, whichever
 * writer produced it.
 */
+function validate(session, event, fail) {
+	const { source, messageSeqs } = event.data;
+	if (messageSeqs.length === 0 !== (source.kind === "user")) {
+		const requirement = source.kind === "user" ? "cite no message seqs" : "cite at least one message seq";
+		fail(`session/title event ${String(event.seq)} with source "${source.kind}" must ${requirement}; got ${String(messageSeqs.length)}`);
+	}
+	const seen = /* @__PURE__ */ new Set();
+	for (const seq of messageSeqs) {
+		let checked;
+		try {
+			checked = SessionSeq(seq);
+		} catch {
+			fail(`session/title event ${String(event.seq)} has an invalid message seq ${String(seq)}`);
+		}
+		if (seen.has(checked)) fail(`session/title event ${String(event.seq)} repeats message seq ${checked}`);
+		seen.add(checked);
+		const cited = checked < event.seq ? session.eventAt(checked) : void 0;
+		if (cited?.type !== "user/message" || cited.data.source.kind !== "user") fail(`session/title event ${String(event.seq)} message seq ${checked} must name an earlier human user/message`);
+	}
+}
 const install = Object.assign((ctx, fail) => {
+	const validateExisting = (session) => {
+		for (const event of session.snapshotEvents()) if (event.type === "session/title") validate(session, event, fail);
+	};
+	ctx.sessions.list().forEach(validateExisting);
+	ctx.on("session/created", validateExisting, { global: true });
 	ctx.on("internal/dispatch", (_mode, eventName, args) => {
 		if (eventName !== "session/event") return;
-		const [, event] = args;
-		if (event.type !== "session/title") return;
-		const { source, messageSeqs } = event.data;
-		if (messageSeqs.length === 0 !== (source.kind === "user")) {
-			const requirement = source.kind === "user" ? "cite no message seqs" : "cite at least one message seq";
-			fail(`session/title event ${String(event.seq)} with source "${source.kind}" must ${requirement}; got ${String(messageSeqs.length)}`);
-		}
+		const [session, event] = args;
+		if (event.type === "session/title") validate(session, event, fail);
 	}, { global: true });
 }, { inject: ["sessions"] });
 /**

package/lib/types/index.d.ts

@@ -7,6 +7,7 @@ import z from '@deepseek-ai/schemastery';
 import { z as zod } from 'zod';
 import type { Branded } from '@deepseek-ai/dsh-brand';
 import type { Session, SessionEvent } from '@deepseek-ai/dsh-session';
+import { SessionSeq } from '@deepseek-ai/dsh-session';
 export type { SessionTitleEventData, SessionTitleModelProvenance, SessionTitleSnapshot, SessionTitleSource, SessionTitleUserMessage, TitleProjection, } from './types.ts';
 import type { SessionTitleEventData, SessionTitleModelProvenance, SessionTitleSnapshot, SessionTitleUserMessage } from './types.ts';
 /** Identifies one session-title provider registration. */
@@ -68,7 +69,7 @@ export interface SessionTitleProviderResult {
     /** Proposed title text. */
     readonly title: string;
     /** Exact seqs from `request.messages` used by this result. */
-    readonly messageSeqs: readonly number[];
+    readonly messageSeqs: readonly SessionSeq[];
     /** Auxiliary LLM route, when generation used a model. */
     readonly model?: SessionTitleModelProvenance;
 }

package/lib/types/index.js

@@ -7,6 +7,7 @@ import z from '@deepseek-ai/schemastery';
 import { z as zod } from 'zod';
 import { isAgentLoopRequest } from '@deepseek-ai/dsh-llm';
 import { assertNever, deepFreeze } from '@deepseek-ai/dsh-util-values';
+import { SessionSeq } from '@deepseek-ai/dsh-session';
 import { fallbackSessionTitle, normalizeSessionTitle } from "./normalize.js";
 /**
  * Brand a raw provider id.
@@ -75,13 +76,13 @@ function titleSnapshotFromState(state) {
 }
 const EMPTY_TITLE_INPUT = { first: null, count: 0, lastSeq: null };
 const sessionTitleUserMessageSchema = zod.object({
-    seq: zod.number().int().nonnegative(),
+    seq: zod.number().int().nonnegative().max(Number.MAX_SAFE_INTEGER).transform(SessionSeq),
     text: zod.string(),
 }).strict();
 const titleInputStateSchema = zod.object({
     first: sessionTitleUserMessageSchema.nullable(),
     count: zod.number().int().nonnegative(),
-    lastSeq: zod.number().int().nonnegative().nullable(),
+    lastSeq: zod.number().int().nonnegative().max(Number.MAX_SAFE_INTEGER).transform(SessionSeq).nullable(),
 }).strict().superRefine((state, context) => {
     const empty = state.first === null && state.lastSeq === null && state.count === 0;
     const populated = state.first !== null
@@ -235,7 +236,7 @@ export class SessionTitleService extends Service {
      * @returns latest title snapshot, or `undefined` before eligible input.
      */
     get(session) {
-        return foldSessionTitle(session.events);
+        return foldSessionTitle(session.snapshotEvents());
     }
     /**
      * Accept an explicit user title. Appends a `session/title` event with the
@@ -439,7 +440,7 @@ export class SessionTitleService extends Service {
             this.assertCurrent(session, work);
             await this.ensureFallback(session);
             this.assertCurrent(session, work);
-            const messages = collectSessionTitleMessages(session.events, work.throughSeq);
+            const messages = collectSessionTitleMessages(session.snapshotEvents(), work.throughSeq);
             const result = await work.registration.provider.generate({
                 session,
                 messages,
@@ -483,14 +484,15 @@ export class SessionTitleService extends Service {
         const order = new Map(messages.map((message, index) => [message.seq, index]));
         let previous = -1;
         for (const seq of candidate.messageSeqs) {
-            if (typeof seq !== 'number') {
+            if (typeof seq !== 'number' || !Number.isSafeInteger(seq) || seq < 0) {
                 throw new Error('session-title provider messageSeqs must be unique, ordered seqs from the request');
             }
-            const index = order.get(seq);
-            if (!Number.isSafeInteger(seq) || seq < 0 || index === undefined || index <= previous) {
+            const sessionSeq = SessionSeq(seq);
+            const index = order.get(sessionSeq);
+            if (index === undefined || index <= previous) {
                 throw new Error('session-title provider messageSeqs must be unique, ordered seqs from the request');
             }
-            messageSeqs.push(seq);
+            messageSeqs.push(sessionSeq);
             previous = index;
         }
         const modelCandidate = candidate.model;

package/lib/types/invariant.js

@@ -2,6 +2,7 @@
  * Package-owned invariant companion for `@deepseek-ai/dsh-session-title`.
  * @module @deepseek-ai/dsh-session-title/invariant
  */
+import { SessionSeq } from '@deepseek-ai/dsh-session';
 const PACKAGE_NAME = '@deepseek-ai/dsh-session-title';
 /** Cordis companion plugin name. */
 export const name = 'session-title-invariant';
@@ -15,20 +16,48 @@ export const inject = ['invariants'];
  * relationship every appended `session/title` event must keep, whichever
  * writer produced it.
  */
+function validate(session, event, fail) {
+    const { source, messageSeqs } = event.data;
+    if ((messageSeqs.length === 0) !== (source.kind === 'user')) {
+        const requirement = source.kind === 'user' ? 'cite no message seqs' : 'cite at least one message seq';
+        fail(`session/title event ${String(event.seq)} with source "${source.kind}" must ${requirement}; got ${String(messageSeqs.length)}`);
+    }
+    const seen = new Set();
+    for (const seq of messageSeqs) {
+        let checked;
+        try {
+            checked = SessionSeq(seq);
+        }
+        catch {
+            fail(`session/title event ${String(event.seq)} has an invalid message seq ${String(seq)}`);
+        }
+        if (seen.has(checked)) {
+            fail(`session/title event ${String(event.seq)} repeats message seq ${checked}`);
+        }
+        seen.add(checked);
+        const cited = checked < event.seq ? session.eventAt(checked) : undefined;
+        if (cited?.type !== 'user/message' || cited.data.source.kind !== 'user') {
+            fail(`session/title event ${String(event.seq)} message seq ${checked} must name an earlier human user/message`);
+        }
+    }
+}
 const install = Object.assign((ctx, fail) => {
+    const validateExisting = (session) => {
+        for (const event of session.snapshotEvents()) {
+            if (event.type === 'session/title')
+                validate(session, event, fail);
+        }
+    };
+    ctx.sessions.list().forEach(validateExisting);
+    ctx.on('session/created', validateExisting, { global: true });
     // internal/dispatch interception rejects the append before publication
     // (the session/event listener would only observe the already-committed log).
     ctx.on('internal/dispatch', (_mode, eventName, args) => {
         if (eventName !== 'session/event')
             return;
-        const [, event] = args;
-        if (event.type !== 'session/title')
-            return;
-        const { source, messageSeqs } = event.data;
-        if ((messageSeqs.length === 0) !== (source.kind === 'user')) {
-            const requirement = source.kind === 'user' ? 'cite no message seqs' : 'cite at least one message seq';
-            fail(`session/title event ${String(event.seq)} with source "${source.kind}" must ${requirement}; got ${String(messageSeqs.length)}`);
-        }
+        const [session, event] = args;
+        if (event.type === 'session/title')
+            validate(session, event, fail);
     }, { global: true });
 }, { inject: ['sessions'] });
 /**

package/lib/types/types.d.ts

@@ -9,6 +9,7 @@
  */
 export {};
 import type { Branded } from '@deepseek-ai/dsh-brand';
+import type { OptionalSessionSeq, SessionSeq } from '@deepseek-ai/dsh-session/types';
 /** Identifies one session-title provider registration. */
 export type SessionTitleProviderId = Branded<'SessionTitleProviderId'>;
 /** Exact auxiliary model route that produced a title. */
@@ -34,14 +35,14 @@ export interface SessionTitleEventData {
     /** Normalized non-empty title text. */
     readonly title: string;
     /** Exact human `user/message` seqs used to derive this title; empty for an explicit user rename. */
-    readonly messageSeqs: number[];
+    readonly messageSeqs: SessionSeq[];
     /** Whether the built-in fallback, a registered provider, or the user supplied the title. */
     readonly source: SessionTitleSource;
 }
 /** Latest folded title plus the title event's durable envelope facts. */
 export interface SessionTitleSnapshot extends SessionTitleEventData {
     /** Seq of the latest `session/title` event. */
-    readonly eventSeq: number;
+    readonly eventSeq: SessionSeq;
     /** Timestamp of the latest `session/title` event. */
     readonly updatedAt: number;
 }
@@ -50,7 +51,7 @@ export type TitleProjection = SessionTitleSnapshot;
 /** One eligible human text message exposed to title providers. */
 export interface SessionTitleUserMessage {
     /** Source `user/message` event seq. */
-    readonly seq: number;
+    readonly seq: SessionSeq;
     /** Exact concatenated text-block content. */
     readonly text: string;
 }
@@ -61,7 +62,7 @@ export interface TitleInputState {
     /** Total eligible messages folded so far. */
     readonly count: number;
     /** Seq of the newest eligible message, or null before any. */
-    readonly lastSeq: number | null;
+    readonly lastSeq: OptionalSessionSeq;
 }
 declare module '@deepseek-ai/dsh-session-projection/types' {
     interface SessionProjectionStateMap {

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@deepseek-ai/dsh-session-title",
   "description": "Log-backed session title service and provider registry for the DeepSeek Harness",
-  "version": "0.1.2-alpha.3",
+  "version": "0.1.2-alpha.4",
   "publishConfig": {
     "access": "public"
   },
@@ -42,27 +42,27 @@
   "license": "MIT",
   "peerDependencies": {
     "@deepseek-ai/cordis": "^4.0.2",
-    "@deepseek-ai/dsh-agent": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-brand": "^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-session-projection": "^0.1.2-alpha.3"
+    "@deepseek-ai/dsh-brand": "^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-session": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-session-projection": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-agent": "^0.1.2-alpha.4"
   },
   "dependencies": {
     "zod": "^4.4.3",
     "@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/dsh-agent": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-agent-loop": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-brand": "^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-session-persistence-jsonl": "^0.1.2-alpha.3",
-    "@deepseek-ai/dsh-session-projection": "^0.1.2-alpha.3"
+    "@deepseek-ai/dsh-agent": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-agent-loop": "^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-session-persistence-jsonl": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-session-projection": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-brand": "^0.1.2-alpha.4",
+    "@deepseek-ai/dsh-session": "^0.1.2-alpha.4"
   }
 }