@sayknow-cli/coding-agent 0.3.11 → 0.3.13

package/src/session/session-storage.ts

@@ -1,14 +1,84 @@
 import * as fs from "node:fs";
 import * as fsp from "node:fs/promises";
 import * as path from "node:path";
-import { isEnoent, peekFile, toError } from "@sayknow-cli/utils";
+import { isEnoent, pathIsWithin, peekFile, toError } from "@sayknow-cli/utils";
 
 const utf8Decoder = new TextDecoder("utf-8");
 
 export interface SessionStorageStat {
+	dev: bigint;
+	ino: bigint;
+
 	size: number;
 	mtimeMs: number;
+	mtimeNs: bigint;
 	mtime: Date;
+	isFile: boolean;
+}
+
+/** Exact bytes and identity captured from one opened regular-file descriptor. */
+export interface SessionStorageSnapshot {
+	bytes: Uint8Array;
+	stat: SessionStorageStat;
+}
+
+function statFromNode(stats: fs.BigIntStats): SessionStorageStat {
+	return {
+		dev: stats.dev,
+		ino: stats.ino,
+
+		size: Number(stats.size),
+		mtimeMs: Number(stats.mtimeMs),
+		mtimeNs: stats.mtimeNs,
+		mtime: stats.mtime,
+		isFile: stats.isFile(),
+	};
+}
+
+// =============================================================================
+// Certainty-aware writer close contract (ACP fail-closed deletion foundation)
+// =============================================================================
+/**
+ * Four-state writer close lifecycle. Only a successful underlying close confirms
+ * `closed`. A failure certified to have happened BEFORE the OS close was dispatched
+ * is `close_failed_retryable` (ownership of the numeric fd is still proven, so a
+ * later retry/finalizer close is safe). Any exception from an actually dispatched
+ * close call is terminal `close_unknown`: the numeric fd cannot be safely retried
+ * or finalizer-closed, and the writer blocks strict deletion.
+ */
+export type SessionStorageWriterCloseState = "open" | "close_failed_retryable" | "close_unknown" | "closed";
+
+/**
+ * Thrown by a {@link SessionStorageWriterCloseAdapter} to certify that a close
+ * failure occurred BEFORE the real OS close (`fs.closeSync`-equivalent) was ever
+ * dispatched. Because no OS close ran, the numeric fd is still owned and a retry
+ * is safe. Any other thrown value is treated as a dispatched close failure
+ * (`close_unknown`) and forbids retry/finalizer close of that fd.
+ */
+export class SessionStorageWriterRetryableCloseError extends Error {
+	override readonly name = "SessionStorageWriterRetryableCloseError";
+	constructor(message?: string, options?: ErrorOptions) {
+		super(message ?? "Certified pre-dispatch writer close failure", options);
+	}
+}
+
+/**
+ * Injectable dispatcher for the numeric-fd OS close. The default implementation
+ * calls `fs.closeSync(fd)`. Tests inject adapters that throw
+ * {@link SessionStorageWriterRetryableCloseError} to certify a pre-dispatch
+ * failure, or that call the real close and throw to simulate a dispatched
+ * failure (`close_unknown`).
+ */
+export interface SessionStorageWriterCloseAdapter {
+	close(fd: number): void;
+}
+
+/** Options for opening a {@link SessionStorageWriter}. */
+export interface SessionStorageWriterOpenOptions {
+	flags?: "a" | "w";
+	onError?: (err: Error) => void;
+	/** Injectable OS-close dispatcher; defaults to `fs.closeSync`. */
+	closeAdapter?: SessionStorageWriterCloseAdapter;
 }
 
 export interface SessionStorageWriter {
@@ -24,7 +94,18 @@ export interface SessionStorageWriter {
 	flush(): Promise<void>;
 	fsync(): Promise<void>;
 	close(): Promise<void>;
+	/**
+	 * Synchronously close the underlying descriptor. The certainty-aware close
+	 * state is updated synchronously and any close failure throws before this
+	 * returns, so sync callers (atomic rewrite) can observe a close failure
+	 * before proceeding to rename. Mirrors {@link close} semantics exactly.
+	 */
+	closeSync(): void;
 	getError(): Error | undefined;
+	/** Current certainty-aware close lifecycle state. */
+	getCloseState(): SessionStorageWriterCloseState;
+	/** Stored error for non-success close states (`close_failed_retryable`/`close_unknown`). */
+	getCloseError(): Error | undefined;
 }
 
 export interface SessionStorage {
@@ -32,8 +113,17 @@ export interface SessionStorage {
 	existsSync(path: string): boolean;
 	writeTextSync(path: string, content: string): void;
 	readTextSync(path: string): string;
+	/** Exact on-disk bytes for strict read-only session inspection. */
+	readBytesSync?(path: string): Uint8Array;
+	/** Exact bytes and descriptor-bound identity captured from one opened regular file. */
+	readSnapshotSync?(path: string): SessionStorageSnapshot;
 	statSync(path: string): SessionStorageStat;
 	listFilesSync(dir: string, pattern: string): string[];
+	/**
+	 * Strict directory scan that never suppresses scan/root errors. Used by strict
+	 * authorization inventory; the forgiving {@link listFilesSync} stays display-only.
+	 */
+	listFilesStrictSync?(dir: string, pattern: string): string[];
 
 	exists(path: string): Promise<boolean>;
 	readText(path: string): Promise<string>;
@@ -44,9 +134,108 @@ export interface SessionStorage {
 	unlink(path: string): Promise<void>;
 	unlinkSync(path: string): void;
 	deleteSessionWithArtifacts(sessionPath: string): Promise<void>;
-	openWriter(path: string, options?: { flags?: "a" | "w"; onError?: (err: Error) => void }): SessionStorageWriter;
+	/**
+	 * Verified hard delete bound to exact identity evidence. Removes the verified
+	 * artifact directory first, revalidates, and unlinks the transcript last. Returns
+	 * typed partial-cleanup evidence for exact-identity retry; never returns success
+	 * for a partial deletion.
+	 */
+	deleteSessionVerified?(target: VerifiedSessionDeleteTarget): Promise<VerifiedSessionDeleteResult>;
+	openWriter(path: string, options?: SessionStorageWriterOpenOptions): SessionStorageWriter;
 }
 
+// =============================================================================
+// Verified hard-delete identity + typed partial-cleanup evidence
+// =============================================================================
+
+/** Exact (dev, ino) identity fields used for ACP authorization binding. */
+export interface SessionStorageFileIdentity {
+	dev: bigint;
+	ino: bigint;
+}
+
+/** Kind of verification failure surfaced by {@link deleteSessionVerified}. */
+export type VerifiedDeleteFailureKind =
+	| "containment"
+	| "symlink"
+	| "stat"
+	| "identity"
+	| "header"
+	| "cwd"
+	| "artifacts";
+
+/**
+ * Thrown by {@link deleteSessionVerified} when canonical containment, transcript
+ * non-symlink/identity, header id/cwd, parent identity, or artifact identity
+ * verification fails. These are visible, sanitized failures: they never mutate
+ * the transcript or artifacts and grant zero authority.
+ */
+export class SessionDeleteVerificationError extends Error {
+	readonly kind: VerifiedDeleteFailureKind;
+	constructor(kind: VerifiedDeleteFailureKind, message: string, options?: ErrorOptions) {
+		super(message, options);
+		this.name = "SessionDeleteVerificationError";
+		this.kind = kind;
+	}
+}
+
+/**
+ * Exact identity evidence a verified hard delete binds to. All fields are captured
+ * at authorization time; delete revalidates each one before any mutation. Retry
+ * after a partial cleanup supplies the recorded artifact identity via
+ * {@link expectedArtifactsIdentity}.
+ */
+export interface VerifiedSessionDeleteTarget {
+	/** Canonical sessions root; the transcript must be contained within it. */
+	sessionsRoot: string;
+	/** Canonical transcript path (absolute `*.jsonl`). */
+	transcriptPath: string;
+	/** Expected session id parsed from the header. */
+	sessionId: string;
+	/** Expected canonical cwd parsed from the header. */
+	cwd: string;
+	/** Expected transcript file `(dev, ino)` captured at authorization. */
+	transcriptIdentity: SessionStorageFileIdentity;
+	/**
+	 * For retry after an `artifacts` `cleanup_pending`: the recorded artifact
+	 * directory identity to re-accept. A replacement/different artifact directory
+	 * fails closed. Omit on first attempt or to accept recorded absence.
+	 */
+	expectedArtifactsIdentity?: SessionStorageFileIdentity;
+}
+
+/**
+ * Outcome of a verified hard delete. Artifact removal happens first; only after
+ * revalidation is the transcript unlinked last. A partial deletion returns
+ * `cleanup_pending` with exact evidence for same-connection retry — never
+ * `deleted` and never `{}`.
+ */
+export type VerifiedSessionDeleteResult =
+	| { kind: "deleted" }
+	| {
+			kind: "cleanup_pending";
+			phase: "artifacts";
+			error: Error;
+			/** Artifact directory identity at failure time; undefined when absent. */
+			artifactsIdentity: SessionStorageFileIdentity | undefined;
+			/** Transcript identity (unchanged) for retry binding. */
+			transcriptIdentity: SessionStorageFileIdentity;
+	  }
+	| {
+			kind: "cleanup_pending";
+			phase: "transcript";
+			error: Error;
+			/** Transcript identity at failure time for retry binding. */
+			transcriptIdentity: SessionStorageFileIdentity;
+	  };
+
+/** Default OS-close dispatcher: a direct `fs.closeSync`. */
+const defaultCloseAdapter: SessionStorageWriterCloseAdapter = {
+	close(fd: number): void {
+		fs.closeSync(fd);
+	},
+};
+
 // FinalizationRegistry to clean up leaked file descriptors
 const writerRegistry = new FinalizationRegistry<number>(fd => {
 	try {
@@ -58,12 +247,15 @@ const writerRegistry = new FinalizationRegistry<number>(fd => {
 
 class FileSessionStorageWriter implements SessionStorageWriter {
 	#fd: number;
-	#closed = false;
+	#closeState: SessionStorageWriterCloseState = "open";
+	#closeError: Error | undefined;
 	#error: Error | undefined;
 	#onError: ((err: Error) => void) | undefined;
+	#closeAdapter: SessionStorageWriterCloseAdapter;
 
-	constructor(fpath: string, options?: { flags?: "a" | "w"; onError?: (err: Error) => void }) {
+	constructor(fpath: string, options?: SessionStorageWriterOpenOptions) {
 		this.#onError = options?.onError;
+		this.#closeAdapter = options?.closeAdapter ?? defaultCloseAdapter;
 		const flags = options?.flags ?? "a";
 		// Ensure parent directory exists
 		const dir = path.dirname(fpath);
@@ -83,8 +275,22 @@ class FileSessionStorageWriter implements SessionStorageWriter {
 		return error;
 	}
 
+	/** Deterministic error for any non-open state: writes/flush reject without append/reopen. */
+	#nonOpenWriteError(): Error {
+		switch (this.#closeState) {
+			case "closed":
+				return new Error("Writer closed");
+			case "close_unknown":
+				return this.#closeError ?? new Error("Writer close outcome is unknown; descriptor quarantined");
+			case "close_failed_retryable":
+				return this.#closeError ?? new Error("Writer close failed before dispatch (retryable); writes rejected");
+			default:
+				return new Error("Writer closed");
+		}
+	}
+
 	writeLineSync(line: string): void {
-		if (this.#closed) throw new Error("Writer closed");
+		if (this.#closeState !== "open") throw this.#nonOpenWriteError();
 		if (this.#error) throw this.#error;
 		try {
 			const buf = Buffer.from(line, "utf-8");
@@ -106,12 +312,13 @@ class FileSessionStorageWriter implements SessionStorageWriter {
 	}
 
 	async flush(): Promise<void> {
+		if (this.#closeState !== "open") throw this.#nonOpenWriteError();
 		if (this.#error) throw this.#error;
 		// OS buffers are flushed on fsync, nothing to do here
 	}
 
 	async fsync(): Promise<void> {
-		if (this.#closed) throw new Error("Writer closed");
+		if (this.#closeState !== "open") throw this.#nonOpenWriteError();
 		if (this.#error) throw this.#error;
 		try {
 			fs.fsyncSync(this.#fd);
@@ -120,21 +327,55 @@ class FileSessionStorageWriter implements SessionStorageWriter {
 		}
 	}
 
-	async close(): Promise<void> {
-		if (this.#closed) return;
-		this.#closed = true;
-		// Unregister from finalization - we're closing properly
-		writerRegistry.unregister(this);
+	closeSync(): void {
+		// Repeated close after success is a harmless idempotent no-op.
+		if (this.#closeState === "closed") return;
+		// Dispatched close already threw: outcome is uncertain. Never dispatch OS close
+		// for this numeric fd again; surface the stored non-quiescent error.
+		if (this.#closeState === "close_unknown") throw this.#closeError!;
+		// State is "open" or "close_failed_retryable": a close may be dispatched.
 		try {
-			fs.closeSync(this.#fd);
-		} catch {
-			// Ignore close errors
+			this.#closeAdapter.close(this.#fd);
+		} catch (err) {
+			if (err instanceof SessionStorageWriterRetryableCloseError) {
+				// Certified pre-dispatch failure: no OS close ran, ownership remains proven.
+				// Keep the FinalizationRegistry registration so an abandoned retryable writer
+				// can still be finalizer-closed.
+				this.#closeState = "close_failed_retryable";
+				this.#closeError = toError(err);
+				throw this.#closeError;
+			}
+			// An actual close was dispatched then threw (or the adapter threw after
+			// dispatching): ownership/outcome of the numeric fd is uncertain. Quarantine
+			// the fd and suppress finalizer close so a reused fd is never closed twice.
+			this.#closeState = "close_unknown";
+			this.#closeError = toError(err);
+			writerRegistry.unregister(this);
+			throw this.#closeError;
 		}
+		// Successful underlying close confirms closed.
+		this.#closeState = "closed";
+		this.#closeError = undefined;
+		writerRegistry.unregister(this);
+	}
+
+	async close(): Promise<void> {
+		// The synchronous dispatch above has no internal await; delegating keeps the
+		// async and sync close contracts observationally identical.
+		this.closeSync();
 	}
 
 	getError(): Error | undefined {
 		return this.#error;
 	}
+
+	getCloseState(): SessionStorageWriterCloseState {
+		return this.#closeState;
+	}
+
+	getCloseError(): Error | undefined {
+		return this.#closeError;
+	}
 }
 
 export class FileSessionStorage implements SessionStorage {
@@ -157,9 +398,25 @@ export class FileSessionStorage implements SessionStorage {
 		return fs.readFileSync(fpath, "utf-8");
 	}
 
+	readBytesSync(fpath: string): Uint8Array {
+		return this.readSnapshotSync(fpath).bytes;
+	}
+
+	readSnapshotSync(fpath: string): SessionStorageSnapshot {
+		const flags = fs.constants.O_RDONLY | fs.constants.O_NONBLOCK | (fs.constants.O_NOFOLLOW ?? 0);
+		const fd = fs.openSync(fpath, flags);
+		try {
+			const stat = statFromNode(fs.fstatSync(fd, { bigint: true }));
+
+			if (!stat.isFile) throw new Error(`Not a regular file: ${fpath}`);
+			return { bytes: fs.readFileSync(fd), stat };
+		} finally {
+			fs.closeSync(fd);
+		}
+	}
+
 	statSync(path: string): SessionStorageStat {
-		const stats = fs.statSync(path);
-		return { size: stats.size, mtimeMs: stats.mtimeMs, mtime: stats.mtime };
+		return statFromNode(fs.statSync(path, { bigint: true }));
 	}
 
 	listFilesSync(dir: string, pattern: string): string[] {
@@ -170,6 +427,12 @@ export class FileSessionStorage implements SessionStorage {
 		}
 	}
 
+	listFilesStrictSync(dir: string, pattern: string): string[] {
+		// Strict: never suppress scan/root errors. Authorization inventory depends on
+		// a complete enumeration; a swallowed error here would grant partial authority.
+		return Array.from(new Bun.Glob(pattern).scanSync(dir)).map(name => path.join(dir, name));
+	}
+
 	async exists(path: string): Promise<boolean> {
 		try {
 			await fs.promises.access(path);
@@ -216,7 +479,7 @@ export class FileSessionStorage implements SessionStorage {
 		fs.unlinkSync(path);
 	}
 
-	openWriter(path: string, options?: { flags?: "a" | "w"; onError?: (err: Error) => void }): SessionStorageWriter {
+	openWriter(path: string, options?: SessionStorageWriterOpenOptions): SessionStorageWriter {
 		return new FileSessionStorageWriter(path, options);
 	}
 
@@ -245,6 +508,169 @@ export class FileSessionStorage implements SessionStorage {
 			);
 		}
 	}
+	/**
+	 * Verified hard delete bound to exact identity evidence. Artifact directory first,
+	 * revalidate, transcript last. Partial deletion returns typed cleanup_pending
+	 * evidence; identity/symlink/containment/header/cwd mismatch throws.
+	 */
+	async deleteSessionVerified(target: VerifiedSessionDeleteTarget): Promise<VerifiedSessionDeleteResult> {
+		const { sessionsRoot, transcriptPath, sessionId, cwd, transcriptIdentity, expectedArtifactsIdentity } = target;
+		if (!transcriptPath.endsWith(".jsonl")) {
+			throw new SessionDeleteVerificationError("containment", "Transcript path is not a .jsonl file");
+		}
+		if (!pathIsWithin(sessionsRoot, transcriptPath)) {
+			throw new SessionDeleteVerificationError("containment", "Transcript is outside the sessions root");
+		}
+		const initial = this.#verifiedReadAndHeader(transcriptPath, sessionId, cwd);
+		const initialStat = initial.snapshot.stat;
+		if (initialStat.dev !== transcriptIdentity.dev || initialStat.ino !== transcriptIdentity.ino) {
+			throw new SessionDeleteVerificationError("identity", "Transcript identity does not match authorization");
+		}
+		const parentIdentity = this.#directoryIdentity(path.dirname(transcriptPath));
+
+		const artifactsDir = transcriptPath.slice(0, -6);
+		const artifactsIdentity = this.#optionalDirectoryIdentity(artifactsDir);
+		if (artifactsIdentity) {
+			if (
+				expectedArtifactsIdentity &&
+				(artifactsIdentity.dev !== expectedArtifactsIdentity.dev ||
+					artifactsIdentity.ino !== expectedArtifactsIdentity.ino)
+			) {
+				throw new SessionDeleteVerificationError(
+					"artifacts",
+					"Artifact directory identity does not match recorded cleanup evidence",
+				);
+			}
+			try {
+				await fsp.rm(artifactsDir, { recursive: true, force: true });
+			} catch (err) {
+				return {
+					kind: "cleanup_pending",
+					phase: "artifacts",
+					error: toError(err),
+					artifactsIdentity,
+					transcriptIdentity: { dev: initialStat.dev, ino: initialStat.ino },
+				};
+			}
+		}
+
+		const revalidate = this.#verifiedReadAndHeader(transcriptPath, sessionId, cwd);
+		const revalidateStat = revalidate.snapshot.stat;
+		if (revalidateStat.dev !== initialStat.dev || revalidateStat.ino !== initialStat.ino) {
+			throw new SessionDeleteVerificationError(
+				"identity",
+				"Transcript identity changed after artifact removal (replacement detected)",
+			);
+		}
+		const parentIdentityNow = this.#directoryIdentity(path.dirname(transcriptPath));
+		if (parentIdentityNow.dev !== parentIdentity.dev || parentIdentityNow.ino !== parentIdentity.ino) {
+			throw new SessionDeleteVerificationError("identity", "Parent directory identity changed during deletion");
+		}
+
+		try {
+			await this.unlink(transcriptPath);
+		} catch (err) {
+			if (isEnoent(err)) return { kind: "deleted" };
+			return {
+				kind: "cleanup_pending",
+				phase: "transcript",
+				error: toError(err),
+				transcriptIdentity: { dev: revalidateStat.dev, ino: revalidateStat.ino },
+			};
+		}
+		return { kind: "deleted" };
+	}
+
+	#verifiedReadAndHeader(
+		transcriptPath: string,
+		expectedSessionId: string,
+		expectedCwd: string,
+	): { snapshot: SessionStorageSnapshot } {
+		let snapshot: SessionStorageSnapshot;
+		try {
+			snapshot = this.readSnapshotSync(transcriptPath);
+		} catch (err) {
+			const code = (err as NodeJS.ErrnoException)?.code;
+			if (code === "ELOOP" || code === "SYMLINK") {
+				throw new SessionDeleteVerificationError("symlink", "Transcript path is a symlink");
+			}
+			throw new SessionDeleteVerificationError("stat", "Transcript could not be opened or read", {
+				cause: toError(err),
+			});
+		}
+		if (!snapshot.stat.isFile) {
+			throw new SessionDeleteVerificationError("symlink", "Transcript is not a regular file");
+		}
+		const header = parseFirstJsonlLine(snapshot.bytes);
+		if (!header) {
+			throw new SessionDeleteVerificationError("header", "Transcript header is missing or unreadable");
+		}
+		if (header.type !== "session" || typeof header.id !== "string") {
+			throw new SessionDeleteVerificationError("header", "Transcript header is not a valid session header");
+		}
+		if (header.id !== expectedSessionId) {
+			throw new SessionDeleteVerificationError("identity", "Transcript header id does not match authorization");
+		}
+		if (typeof header.cwd !== "string") {
+			throw new SessionDeleteVerificationError("cwd", "Transcript header is missing a cwd");
+		}
+		if (path.resolve(header.cwd) !== path.resolve(expectedCwd)) {
+			throw new SessionDeleteVerificationError("cwd", "Transcript header cwd does not match authorization");
+		}
+		return { snapshot };
+	}
+
+	#directoryIdentity(dirPath: string): SessionStorageFileIdentity {
+		let stat: fs.BigIntStats;
+		try {
+			stat = fs.lstatSync(dirPath, { bigint: true });
+		} catch (err) {
+			throw new SessionDeleteVerificationError("stat", "Directory could not be inspected", { cause: toError(err) });
+		}
+		if (stat.isSymbolicLink() || !stat.isDirectory()) {
+			throw new SessionDeleteVerificationError("symlink", "Directory is a symlink or not a directory");
+		}
+		return { dev: stat.dev, ino: stat.ino };
+	}
+
+	#optionalDirectoryIdentity(dirPath: string): SessionStorageFileIdentity | undefined {
+		let stat: fs.BigIntStats;
+		try {
+			stat = fs.lstatSync(dirPath, { bigint: true });
+		} catch (err) {
+			if (isEnoent(err)) return undefined;
+			throw new SessionDeleteVerificationError("artifacts", "Artifact directory could not be inspected", {
+				cause: toError(err),
+			});
+		}
+		if (stat.isSymbolicLink()) {
+			throw new SessionDeleteVerificationError("symlink", "Artifact directory is a symlink");
+		}
+		if (!stat.isDirectory()) {
+			// A non-directory artifact sibling (regular file, socket, device, ...) must
+			// not be silently treated as an absent artifacts directory: doing so would
+			// let the verified delete report success while a foreign artifact remains.
+			// Fail closed before any mutation.
+			throw new SessionDeleteVerificationError("artifacts", "Artifact path exists but is not a directory");
+		}
+		return { dev: stat.dev, ino: stat.ino };
+	}
+}
+
+/** Parse the first JSONL line as a generic record; returns undefined on parse failure. */
+function parseFirstJsonlLine(bytes: Uint8Array): Record<string, unknown> | undefined {
+	const NL = 0x0a;
+	const end = bytes.indexOf(NL);
+	const firstLine = end === -1 ? bytes : bytes.subarray(0, end);
+	if (firstLine.length === 0) return undefined;
+	try {
+		const text = utf8Decoder.decode(firstLine).trim();
+		if (!text) return undefined;
+		const value: unknown = JSON.parse(text);
+		return typeof value === "object" && value !== null ? (value as Record<string, unknown>) : undefined;
+	} catch {
+		return undefined;
+	}
 }
 
 function matchesPattern(name: string, pattern: string): boolean {
@@ -258,18 +684,18 @@ function matchesPattern(name: string, pattern: string): boolean {
 class MemorySessionStorageWriter implements SessionStorageWriter {
 	#storage: MemorySessionStorage;
 	#path: string;
-	#closed = false;
+	#closeState: SessionStorageWriterCloseState = "open";
+	#closeError: Error | undefined;
 	#error: Error | undefined;
 	#onError: ((err: Error) => void) | undefined;
 
-	constructor(
-		storage: MemorySessionStorage,
-		path: string,
-		options?: { flags?: "a" | "w"; onError?: (err: Error) => void },
-	) {
+	#closeAdapter: SessionStorageWriterCloseAdapter | undefined;
+
+	constructor(storage: MemorySessionStorage, path: string, options?: SessionStorageWriterOpenOptions) {
 		this.#storage = storage;
 		this.#path = path;
 		this.#onError = options?.onError;
+		this.#closeAdapter = options?.closeAdapter;
 		if ((options?.flags ?? "a") === "w") {
 			this.#storage.writeTextSync(path, "");
 		}
@@ -283,7 +709,7 @@ class MemorySessionStorageWriter implements SessionStorageWriter {
 	}
 
 	writeLineSync(line: string): void {
-		if (this.#closed) throw new Error("Writer closed");
+		if (this.#closeState !== "open") throw new Error("Writer closed");
 		if (this.#error) throw this.#error;
 		try {
 			const existing = this.#storage.existsSync(this.#path) ? this.#storage.readTextSync(this.#path) : "";
@@ -298,26 +724,73 @@ class MemorySessionStorageWriter implements SessionStorageWriter {
 	}
 
 	async flush(): Promise<void> {
+		if (this.#closeState !== "open") throw new Error("Writer closed");
 		if (this.#error) throw this.#error;
 	}
 
 	async fsync(): Promise<void> {
 		// No-op for in-memory storage
+		if (this.#closeState !== "open") throw new Error("Writer closed");
 		if (this.#error) throw this.#error;
 	}
 
+	closeSync(): void {
+		// In-memory close has no numeric fd. When a close adapter is injected it
+		// controls the certainty-aware lifecycle (used to exercise retryable /
+		// quarantined close paths end-to-end); without one the close always
+		// succeeds. The sentinel fd (-1) signals "no real descriptor".
+		if (this.#closeState === "closed") return;
+		if (this.#closeState === "close_unknown") throw this.#closeError!;
+		if (this.#closeAdapter) {
+			try {
+				this.#closeAdapter.close(-1);
+			} catch (err) {
+				if (err instanceof SessionStorageWriterRetryableCloseError) {
+					this.#closeState = "close_failed_retryable";
+					this.#closeError = toError(err);
+					throw this.#closeError;
+				}
+				this.#closeState = "close_unknown";
+				this.#closeError = toError(err);
+				throw this.#closeError;
+			}
+		}
+		this.#closeState = "closed";
+		this.#closeError = undefined;
+	}
+
 	async close(): Promise<void> {
-		if (this.#closed) return;
-		this.#closed = true;
+		this.closeSync();
 	}
 
 	getError(): Error | undefined {
 		return this.#error;
 	}
+
+	getCloseState(): SessionStorageWriterCloseState {
+		return this.#closeState;
+	}
+
+	getCloseError(): Error | undefined {
+		return this.#closeError;
+	}
 }
 
 export class MemorySessionStorage implements SessionStorage {
-	#files = new Map<string, { content: string; mtimeMs: number }>();
+	#files = new Map<string, { content: Buffer; mtimeMs: number; ino: bigint }>();
+	#nextInode = 1n;
+
+	#statFor(entry: { content: Buffer; mtimeMs: number; ino: bigint }): SessionStorageStat {
+		return {
+			dev: 0n,
+			ino: entry.ino,
+			size: entry.content.byteLength,
+			mtimeMs: entry.mtimeMs,
+			mtimeNs: BigInt(entry.mtimeMs) * 1_000_000n,
+			mtime: new Date(entry.mtimeMs),
+			isFile: true,
+		};
+	}
 
 	ensureDirSync(_dir: string): void {
 		// No-op for in-memory storage.
@@ -328,23 +801,34 @@ export class MemorySessionStorage implements SessionStorage {
 	}
 
 	writeTextSync(path: string, content: string): void {
-		this.#files.set(path, { content, mtimeMs: Date.now() });
+		const existing = this.#files.get(path);
+		this.#files.set(path, {
+			content: Buffer.from(content, "utf-8"),
+			mtimeMs: Date.now(),
+			ino: existing?.ino ?? this.#nextInode++,
+		});
 	}
 
 	readTextSync(path: string): string {
 		const entry = this.#files.get(path);
 		if (!entry) throw new Error(`File not found: ${path}`);
-		return entry.content;
+		return entry.content.toString("utf-8");
+	}
+
+	readBytesSync(path: string): Uint8Array {
+		return this.readSnapshotSync(path).bytes;
+	}
+
+	readSnapshotSync(path: string): SessionStorageSnapshot {
+		const entry = this.#files.get(path);
+		if (!entry) throw new Error(`File not found: ${path}`);
+		return { bytes: Buffer.from(entry.content), stat: this.#statFor(entry) };
 	}
 
 	statSync(path: string): SessionStorageStat {
 		const entry = this.#files.get(path);
 		if (!entry) throw new Error(`File not found: ${path}`);
-		return {
-			size: entry.content.length,
-			mtimeMs: entry.mtimeMs,
-			mtime: new Date(entry.mtimeMs),
-		};
+		return this.#statFor(entry);
 	}
 
 	listFilesSync(dir: string, pattern: string): string[] {
@@ -359,6 +843,10 @@ export class MemorySessionStorage implements SessionStorage {
 		}
 		return files;
 	}
+	listFilesStrictSync(dir: string, pattern: string): string[] {
+		// In-memory scan never suppresses; identical to the display scan.
+		return this.listFilesSync(dir, pattern);
+	}
 
 	exists(path: string): Promise<boolean> {
 		return Promise.resolve(this.existsSync(path));
@@ -367,13 +855,13 @@ export class MemorySessionStorage implements SessionStorage {
 	readText(path: string): Promise<string> {
 		const entry = this.#files.get(path);
 		if (!entry) return Promise.reject(new Error(`File not found: ${path}`));
-		return Promise.resolve(entry.content);
+		return Promise.resolve(entry.content.toString("utf-8"));
 	}
 
 	readTextPrefix(path: string, maxBytes: number): Promise<string> {
 		const entry = this.#files.get(path);
 		if (!entry) return Promise.reject(new Error(`File not found: ${path}`));
-		return Promise.resolve(entry.content.slice(0, maxBytes));
+		return Promise.resolve(entry.content.subarray(0, maxBytes).toString("utf-8"));
 	}
 
 	writeText(path: string, content: string): Promise<void> {
@@ -405,11 +893,67 @@ export class MemorySessionStorage implements SessionStorage {
 		this.#files.delete(path);
 	}
 
-	deleteSessionWithArtifacts(_sessionPath: string): Promise<void> {
+	deleteSessionWithArtifacts(sessionPath: string): Promise<void> {
+		this.#files.delete(sessionPath);
 		return Promise.resolve();
 	}
 
-	openWriter(path: string, options?: { flags?: "a" | "w"; onError?: (err: Error) => void }): SessionStorageWriter {
+	deleteSessionVerified(target: VerifiedSessionDeleteTarget): Promise<VerifiedSessionDeleteResult> {
+		const { sessionsRoot, transcriptPath, sessionId, cwd, transcriptIdentity } = target;
+		// Canonical containment: same gate as the file backend so the memory backend
+		// cannot grant deletion authority outside the sessions root.
+		if (!transcriptPath.endsWith(".jsonl")) {
+			return Promise.reject(
+				new SessionDeleteVerificationError("containment", "Transcript path is not a .jsonl file"),
+			);
+		}
+		if (!pathIsWithin(sessionsRoot, transcriptPath)) {
+			return Promise.reject(
+				new SessionDeleteVerificationError("containment", "Transcript is outside the sessions root"),
+			);
+		}
+		const entry = this.#files.get(transcriptPath);
+		if (!entry) return Promise.resolve({ kind: "deleted" });
+		const snapshot = this.readSnapshotSync(transcriptPath);
+		if (snapshot.stat.dev !== transcriptIdentity.dev || snapshot.stat.ino !== transcriptIdentity.ino) {
+			return Promise.reject(new SessionDeleteVerificationError("identity", "Transcript identity mismatch"));
+		}
+		const header = parseFirstJsonlLine(snapshot.bytes);
+		if (!header) {
+			return Promise.reject(
+				new SessionDeleteVerificationError("header", "Transcript header is missing or unreadable"),
+			);
+		}
+		// Require the typed session header exactly like the file backend: a memory
+		// backend must not accept a non-session artifact as a deletable transcript.
+		if (header.type !== "session" || typeof header.id !== "string") {
+			return Promise.reject(
+				new SessionDeleteVerificationError("header", "Transcript header is not a valid session header"),
+			);
+		}
+		if (header.id !== sessionId) {
+			return Promise.reject(new SessionDeleteVerificationError("identity", "Transcript header id mismatch"));
+		}
+		if (typeof header.cwd !== "string") {
+			return Promise.reject(new SessionDeleteVerificationError("cwd", "Transcript header is missing a cwd"));
+		}
+		if (path.resolve(header.cwd) !== path.resolve(cwd)) {
+			return Promise.reject(new SessionDeleteVerificationError("cwd", "Transcript header cwd mismatch"));
+		}
+		// Compatible artifact semantics: the memory backend models no directories, so
+		// a key at the artifact path is a non-directory sibling that must fail closed
+		// rather than be silently treated as an absent artifacts directory.
+		const artifactsPath = transcriptPath.slice(0, -6);
+		if (artifactsPath !== transcriptPath && this.#files.has(artifactsPath)) {
+			return Promise.reject(
+				new SessionDeleteVerificationError("artifacts", "Artifact path exists but is not a directory"),
+			);
+		}
+		this.#files.delete(transcriptPath);
+		return Promise.resolve({ kind: "deleted" });
+	}
+
+	openWriter(path: string, options?: SessionStorageWriterOpenOptions): SessionStorageWriter {
 		return new MemorySessionStorageWriter(this, path, options);
 	}
 }