@deepseek-ai/dsh-api-workspace-files 0.1.5-alpha.1 → 0.1.5-alpha.2

package/lib/typert.remote-client.d.ts

@@ -8,29 +8,26 @@ import type { SessionId } from '@deepseek-ai/dsh-session/types'
 
 declare module '@deepseek-ai/dsh-typert-protocol' {
   interface TypertRemoteNamespace$776f726b737061636546696c6573 {
-    changes: (agentId: SessionId, signal?: AbortSignal) => AsyncIterable<WorkspaceFileWatchFrame>
-    list: (agentId: SessionId, path: string, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceDirectoryListing>>
-    read: (agentId: SessionId, path: string, range: WorkspaceFileRange, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceFileText>>
-    readBytes: (agentId: SessionId, path: string, range: WorkspaceByteRange, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceFileBytes>>
-    stat: (agentId: SessionId, path: string, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceFileStat>>
+    changes: (workspaceFileScopeId: SessionId, signal?: AbortSignal) => AsyncIterable<WorkspaceFileWatchFrame>
+    list: (workspaceFileScopeId: SessionId, path: string, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceDirectoryListing>>
+    read: (workspaceFileScopeId: SessionId, path: string, range: WorkspaceFileRange, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceFileText>>
+    readAll: (workspaceFileScopeId: SessionId, path: string, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceFileBytes>>
+    readBytes: (workspaceFileScopeId: SessionId, path: string, range: WorkspaceByteRange, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceFileBytes>>
+    readRelated: (workspaceFileScopeId: SessionId, path: string, relativePath: string, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceFileBytes>>
+    stat: (workspaceFileScopeId: SessionId, path: string, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceFileStat>>
   }
   interface TypertRemoteMap {
-    'workspaceFiles/changes': (agentId: SessionId, signal?: AbortSignal) => AsyncIterable<WorkspaceFileWatchFrame>
-    'workspaceFiles/list': (agentId: SessionId, path: string, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceDirectoryListing>>
-    'workspaceFiles/read': (agentId: SessionId, path: string, range: WorkspaceFileRange, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceFileText>>
-    'workspaceFiles/readBytes': (agentId: SessionId, path: string, range: WorkspaceByteRange, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceFileBytes>>
-    'workspaceFiles/stat': (agentId: SessionId, path: string, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceFileStat>>
+    'workspaceFiles/changes': (workspaceFileScopeId: SessionId, signal?: AbortSignal) => AsyncIterable<WorkspaceFileWatchFrame>
+    'workspaceFiles/list': (workspaceFileScopeId: SessionId, path: string, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceDirectoryListing>>
+    'workspaceFiles/read': (workspaceFileScopeId: SessionId, path: string, range: WorkspaceFileRange, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceFileText>>
+    'workspaceFiles/readAll': (workspaceFileScopeId: SessionId, path: string, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceFileBytes>>
+    'workspaceFiles/readBytes': (workspaceFileScopeId: SessionId, path: string, range: WorkspaceByteRange, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceFileBytes>>
+    'workspaceFiles/readRelated': (workspaceFileScopeId: SessionId, path: string, relativePath: string, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceFileBytes>>
+    'workspaceFiles/stat': (workspaceFileScopeId: SessionId, path: string, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceFileStat>>
   }
   interface TypertRemoteNamespaceMap {
     'workspaceFiles': TypertRemoteNamespace$776f726b737061636546696c6573
   }
-  interface TypertRemoteScopeMap {
-    'agent:workspaceFiles/changes': (signal?: AbortSignal) => AsyncIterable<WorkspaceFileWatchFrame>
-    'agent:workspaceFiles/list': (path: string, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceDirectoryListing>>
-    'agent:workspaceFiles/read': (path: string, range: WorkspaceFileRange, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceFileText>>
-    'agent:workspaceFiles/readBytes': (path: string, range: WorkspaceByteRange, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceFileBytes>>
-    'agent:workspaceFiles/stat': (path: string, signal?: AbortSignal) => Promise<RemoteResult<WorkspaceFileStat>>
-  }
 }
 
 export declare const TYPERT_REMOTE: TypertRemoteContribution

package/lib/typert.remote-client.js

@@ -40,6 +40,16 @@ const _deepseek_ai_dsh_api_workspace_files_workspaceFiles_read_result$schema = z
   'version': z.string().readonly(),
   'bytes': z.number().readonly().optional(),
 })
+const _deepseek_ai_dsh_api_workspace_files_workspaceFiles_readAll_parameter_0$schema = z.intersection(z.string(), z.unknown())
+const _deepseek_ai_dsh_api_workspace_files_workspaceFiles_readAll_parameter_1$schema = z.string()
+const _deepseek_ai_dsh_api_workspace_files_workspaceFiles_readAll_result$schema = z.object({
+  'offset': z.number().readonly(),
+  'data': z.string().readonly(),
+  'eof': z.boolean().readonly(),
+  'absolutePath': z.string().readonly(),
+  'version': z.string().readonly(),
+  'bytes': z.number().readonly().optional(),
+})
 const _deepseek_ai_dsh_api_workspace_files_workspaceFiles_readBytes_parameter_0$schema = z.intersection(z.string(), z.unknown())
 const _deepseek_ai_dsh_api_workspace_files_workspaceFiles_readBytes_parameter_1$schema = z.string()
 const _deepseek_ai_dsh_api_workspace_files_workspaceFiles_readBytes_parameter_2$schema = z.object({
@@ -54,6 +64,17 @@ const _deepseek_ai_dsh_api_workspace_files_workspaceFiles_readBytes_result$schem
   'version': z.string().readonly(),
   'bytes': z.number().readonly().optional(),
 })
+const _deepseek_ai_dsh_api_workspace_files_workspaceFiles_readRelated_parameter_0$schema = z.intersection(z.string(), z.unknown())
+const _deepseek_ai_dsh_api_workspace_files_workspaceFiles_readRelated_parameter_1$schema = z.string()
+const _deepseek_ai_dsh_api_workspace_files_workspaceFiles_readRelated_parameter_2$schema = z.string()
+const _deepseek_ai_dsh_api_workspace_files_workspaceFiles_readRelated_result$schema = z.object({
+  'offset': z.number().readonly(),
+  'data': z.string().readonly(),
+  'eof': z.boolean().readonly(),
+  'absolutePath': z.string().readonly(),
+  'version': z.string().readonly(),
+  'bytes': z.number().readonly().optional(),
+})
 const _deepseek_ai_dsh_api_workspace_files_workspaceFiles_stat_parameter_0$schema = z.intersection(z.string(), z.unknown())
 const _deepseek_ai_dsh_api_workspace_files_workspaceFiles_stat_parameter_1$schema = z.string()
 const _deepseek_ai_dsh_api_workspace_files_workspaceFiles_stat_result$schema = z.object({
@@ -72,16 +93,12 @@ export const TYPERT_REMOTE = {
       method: 'changes',
       mode: 'stream',
       invocation: { kind: 'direct' },
-      scope: {
-        context: 'agent',
-        wire: 'agentId',
-      },
       parameters: [
         {
-          name: 'agent',
-          wire: 'agentId',
+          name: 'workspaceFileScope',
+          wire: 'workspaceFileScopeId',
           source: 'lookup',
-          lookup: 'agent',
+          lookup: 'workspaceFileScope',
           codec: {
             mode: 'strict',
             typeSymbol: '@deepseek-ai/dsh-session/types#SessionId',
@@ -95,7 +112,7 @@ export const TYPERT_REMOTE = {
         typeSymbol: '@deepseek-ai/dsh-api-workspace-files/types#WorkspaceFileWatchFrame',
         schema: _deepseek_ai_dsh_api_workspace_files_workspaceFiles_changes_result$schema,
       },
-      sourceLocation: {"file":"packages/api/workspace-files/src/index.ts","line":274,"column":3},
+      sourceLocation: {"file":"packages/api/workspace-files/src/index.ts","line":365,"column":3},
     },
     {
       id: '@deepseek-ai/dsh-api-workspace-files#workspaceFiles/list',
@@ -103,16 +120,12 @@ export const TYPERT_REMOTE = {
       namespace: 'workspaceFiles',
       method: 'list',
       invocation: { kind: 'direct' },
-      scope: {
-        context: 'agent',
-        wire: 'agentId',
-      },
       parameters: [
         {
-          name: 'agent',
-          wire: 'agentId',
+          name: 'workspaceFileScope',
+          wire: 'workspaceFileScopeId',
           source: 'lookup',
-          lookup: 'agent',
+          lookup: 'workspaceFileScope',
           codec: {
             mode: 'strict',
             typeSymbol: '@deepseek-ai/dsh-session/types#SessionId',
@@ -136,7 +149,7 @@ export const TYPERT_REMOTE = {
         typeSymbol: '@deepseek-ai/dsh-api-workspace-files/types#WorkspaceDirectoryListing',
         schema: _deepseek_ai_dsh_api_workspace_files_workspaceFiles_list_result$schema,
       },
-      sourceLocation: {"file":"packages/api/workspace-files/src/index.ts","line":246,"column":9},
+      sourceLocation: {"file":"packages/api/workspace-files/src/index.ts","line":337,"column":9},
     },
     {
       id: '@deepseek-ai/dsh-api-workspace-files#workspaceFiles/read',
@@ -144,16 +157,12 @@ export const TYPERT_REMOTE = {
       namespace: 'workspaceFiles',
       method: 'read',
       invocation: { kind: 'direct' },
-      scope: {
-        context: 'agent',
-        wire: 'agentId',
-      },
       parameters: [
         {
-          name: 'agent',
-          wire: 'agentId',
+          name: 'workspaceFileScope',
+          wire: 'workspaceFileScopeId',
           source: 'lookup',
-          lookup: 'agent',
+          lookup: 'workspaceFileScope',
           codec: {
             mode: 'strict',
             typeSymbol: '@deepseek-ai/dsh-session/types#SessionId',
@@ -187,7 +196,44 @@ export const TYPERT_REMOTE = {
         typeSymbol: '@deepseek-ai/dsh-api-workspace-files/types#WorkspaceFileText',
         schema: _deepseek_ai_dsh_api_workspace_files_workspaceFiles_read_result$schema,
       },
-      sourceLocation: {"file":"packages/api/workspace-files/src/index.ts","line":197,"column":9},
+      sourceLocation: {"file":"packages/api/workspace-files/src/index.ts","line":232,"column":9},
+    },
+    {
+      id: '@deepseek-ai/dsh-api-workspace-files#workspaceFiles/readAll',
+      service: 'workspaceFiles',
+      namespace: 'workspaceFiles',
+      method: 'readAll',
+      invocation: { kind: 'direct' },
+      parameters: [
+        {
+          name: 'workspaceFileScope',
+          wire: 'workspaceFileScopeId',
+          source: 'lookup',
+          lookup: 'workspaceFileScope',
+          codec: {
+            mode: 'strict',
+            typeSymbol: '@deepseek-ai/dsh-session/types#SessionId',
+            schema: _deepseek_ai_dsh_api_workspace_files_workspaceFiles_readAll_parameter_0$schema,
+          },
+        },
+        {
+          name: 'path',
+          wire: 'path',
+          source: 'json',
+          codec: {
+            mode: 'strict',
+            typeSymbol: '@deepseek-ai/dsh-api-workspace-files#workspaceFiles/readAll:path',
+            schema: _deepseek_ai_dsh_api_workspace_files_workspaceFiles_readAll_parameter_1$schema,
+          },
+        },
+      ],
+      cancellation: { parameter: 'signal' },
+      result: {
+        mode: 'strict',
+        typeSymbol: '@deepseek-ai/dsh-api-workspace-files/types#WorkspaceFileBytes',
+        schema: _deepseek_ai_dsh_api_workspace_files_workspaceFiles_readAll_result$schema,
+      },
+      sourceLocation: {"file":"packages/api/workspace-files/src/index.ts","line":278,"column":9},
     },
     {
       id: '@deepseek-ai/dsh-api-workspace-files#workspaceFiles/readBytes',
@@ -195,16 +241,12 @@ export const TYPERT_REMOTE = {
       namespace: 'workspaceFiles',
       method: 'readBytes',
       invocation: { kind: 'direct' },
-      scope: {
-        context: 'agent',
-        wire: 'agentId',
-      },
       parameters: [
         {
-          name: 'agent',
-          wire: 'agentId',
+          name: 'workspaceFileScope',
+          wire: 'workspaceFileScopeId',
           source: 'lookup',
-          lookup: 'agent',
+          lookup: 'workspaceFileScope',
           codec: {
             mode: 'strict',
             typeSymbol: '@deepseek-ai/dsh-session/types#SessionId',
@@ -238,7 +280,54 @@ export const TYPERT_REMOTE = {
         typeSymbol: '@deepseek-ai/dsh-api-workspace-files/types#WorkspaceFileBytes',
         schema: _deepseek_ai_dsh_api_workspace_files_workspaceFiles_readBytes_result$schema,
       },
-      sourceLocation: {"file":"packages/api/workspace-files/src/index.ts","line":217,"column":9},
+      sourceLocation: {"file":"packages/api/workspace-files/src/index.ts","line":257,"column":9},
+    },
+    {
+      id: '@deepseek-ai/dsh-api-workspace-files#workspaceFiles/readRelated',
+      service: 'workspaceFiles',
+      namespace: 'workspaceFiles',
+      method: 'readRelated',
+      invocation: { kind: 'direct' },
+      parameters: [
+        {
+          name: 'workspaceFileScope',
+          wire: 'workspaceFileScopeId',
+          source: 'lookup',
+          lookup: 'workspaceFileScope',
+          codec: {
+            mode: 'strict',
+            typeSymbol: '@deepseek-ai/dsh-session/types#SessionId',
+            schema: _deepseek_ai_dsh_api_workspace_files_workspaceFiles_readRelated_parameter_0$schema,
+          },
+        },
+        {
+          name: 'path',
+          wire: 'path',
+          source: 'json',
+          codec: {
+            mode: 'strict',
+            typeSymbol: '@deepseek-ai/dsh-api-workspace-files#workspaceFiles/readRelated:path',
+            schema: _deepseek_ai_dsh_api_workspace_files_workspaceFiles_readRelated_parameter_1$schema,
+          },
+        },
+        {
+          name: 'relativePath',
+          wire: 'relativePath',
+          source: 'json',
+          codec: {
+            mode: 'strict',
+            typeSymbol: '@deepseek-ai/dsh-api-workspace-files#workspaceFiles/readRelated:relativePath',
+            schema: _deepseek_ai_dsh_api_workspace_files_workspaceFiles_readRelated_parameter_2$schema,
+          },
+        },
+      ],
+      cancellation: { parameter: 'signal' },
+      result: {
+        mode: 'strict',
+        typeSymbol: '@deepseek-ai/dsh-api-workspace-files/types#WorkspaceFileBytes',
+        schema: _deepseek_ai_dsh_api_workspace_files_workspaceFiles_readRelated_result$schema,
+      },
+      sourceLocation: {"file":"packages/api/workspace-files/src/index.ts","line":300,"column":9},
     },
     {
       id: '@deepseek-ai/dsh-api-workspace-files#workspaceFiles/stat',
@@ -246,16 +335,12 @@ export const TYPERT_REMOTE = {
       namespace: 'workspaceFiles',
       method: 'stat',
       invocation: { kind: 'direct' },
-      scope: {
-        context: 'agent',
-        wire: 'agentId',
-      },
       parameters: [
         {
-          name: 'agent',
-          wire: 'agentId',
+          name: 'workspaceFileScope',
+          wire: 'workspaceFileScopeId',
           source: 'lookup',
-          lookup: 'agent',
+          lookup: 'workspaceFileScope',
           codec: {
             mode: 'strict',
             typeSymbol: '@deepseek-ai/dsh-session/types#SessionId',
@@ -279,7 +364,7 @@ export const TYPERT_REMOTE = {
         typeSymbol: '@deepseek-ai/dsh-api-workspace-files/types#WorkspaceFileStat',
         schema: _deepseek_ai_dsh_api_workspace_files_workspaceFiles_stat_result$schema,
       },
-      sourceLocation: {"file":"packages/api/workspace-files/src/index.ts","line":233,"column":9},
+      sourceLocation: {"file":"packages/api/workspace-files/src/index.ts","line":324,"column":9},
     },
   ],
 }

package/lib/types/changes.d.ts

@@ -1,8 +1,8 @@
 /**
  * Producer of the `changes` stream: every `fs/observed` emission whose target
  * lies inside a generation's workspace root becomes one frame of that
- * generation. Observations are emitted by tools after their own filesystem
- * operation, so the feed covers Agent writes only; the OS is not watched.
+ * generation. Instrumented filesystem operations emit these observations; the
+ * operating system is not watched.
  * Each generation acknowledges its observation queue and resolved workspace
  * root with `ready` before emitting any queued or live changes.
  */

package/lib/types/changes.js

@@ -1,8 +1,8 @@
 /**
  * Producer of the `changes` stream: every `fs/observed` emission whose target
  * lies inside a generation's workspace root becomes one frame of that
- * generation. Observations are emitted by tools after their own filesystem
- * operation, so the feed covers Agent writes only; the OS is not watched.
+ * generation. Instrumented filesystem operations emit these observations; the
+ * operating system is not watched.
  * Each generation acknowledges its observation queue and resolved workspace
  * root with `ready` before emitting any queued or live changes.
  */

package/lib/types/client/change-feed.d.ts

@@ -7,15 +7,13 @@
  * arrives, hands each frame to the followers of its path, and disposes the
  * stream when the last follower leaves. A follower buffers session changes
  * until `stat` supplies its Host absolute path, then filters queued and live
- * frames by that path, with `\\` normalized to `/`. Resource addresses identify
- * reload requests; they never determine a notification path.
+ * frames by that path, with `\\` normalized to `/`.
  */
 import type { SessionId } from '@deepseek-ai/dsh-session/types';
 import type { WorkspaceFilesRemote } from './remote.ts';
 import type { WorkspaceFileNotice } from './types.ts';
 /** Notices of one follower, delivered in order and pulled by its consumer. */
 declare class Follower implements AsyncIterable<WorkspaceFileNotice> {
-    readonly address: string;
     private readonly leave;
     private readonly pending;
     private readonly started;
@@ -28,12 +26,9 @@ declare class Follower implements AsyncIterable<WorkspaceFileNotice> {
      */
     readonly ready: Promise<boolean>;
     /**
-     * @param address - resource address used for reload lookup.
      * @param leave - unregisters this follower and its abort listener.
      */
-    constructor(address: string, leave: () => void);
-    /** The normalized Host path, absent until a successful stat. */
-    get key(): string | undefined;
+    constructor(leave: () => void);
     /**
      * Select the Host path for queued and future changes.
      * @param absolutePath - the successful stat's absolute path.
@@ -44,9 +39,9 @@ declare class Follower implements AsyncIterable<WorkspaceFileNotice> {
     /**
      * Queue one notice.
      * @param notice - what the consumer receives next.
-     * @param key - normalized Host path for a change; absent for a reload.
+     * @param key - normalized Host path for the change.
      */
-    push(notice: WorkspaceFileNotice, key?: string): void;
+    push(notice: WorkspaceFileNotice, key: string): void;
     /** Deliver what is queued, then finish. */
     end(): void;
     /** Unregister even when the consumer has not started pulling notices. */
@@ -70,7 +65,7 @@ export declare class ChangeFeed {
      */
     constructor(remote: WorkspaceFilesRemote);
     /**
-     * Follow one resource address in one session before its Host path is known.
+     * Follow one resource in one session before its Host path is known.
      *
      * The follower is registered on call, not on first pull. Changes delivered
      * to this Client are queued while stat is pending. The first follower starts
@@ -82,17 +77,10 @@ export declare class ChangeFeed {
      * any session write can trigger a retry; after binding, only matching queued
      * and live changes pass.
      * @param sessionId - the session whose workspace holds the file.
-     * @param address - the resource address, used only for reload lookup.
      * @param signal - ends the follow.
      * @returns a single-consumer subscription with Host-path binding and explicit disposal.
      */
-    follow(sessionId: SessionId, address: string, signal: AbortSignal): Follower;
-    /**
-     * Ask an address and its same-session Host-path peers to `stat` again.
-     * @param sessionId - the session whose workspace holds the file.
-     * @param address - the resource address requesting a reload.
-     */
-    requestRestat(sessionId: SessionId, address: string): void;
+    follow(sessionId: SessionId, signal: AbortSignal): Follower;
     /**
      * Wait for every stream that is still closing, so an owner tearing down
      * leaves no Host stream behind.

package/lib/types/client/change-feed.js

@@ -8,7 +8,6 @@ function keyOf(path) {
 }
 /** Notices of one follower, delivered in order and pulled by its consumer. */
 class Follower {
-    address;
     leave;
     pending = [];
     started = Promise.withResolvers();
@@ -21,17 +20,11 @@ class Follower {
      */
     ready = this.started.promise;
     /**
-     * @param address - resource address used for reload lookup.
      * @param leave - unregisters this follower and its abort listener.
      */
-    constructor(address, leave) {
-        this.address = address;
+    constructor(leave) {
         this.leave = leave;
     }
-    /** The normalized Host path, absent until a successful stat. */
-    get key() {
-        return this.hostKey;
-    }
     /**
      * Select the Host path for queued and future changes.
      * @param absolutePath - the successful stat's absolute path.
@@ -46,7 +39,7 @@ class Follower {
     /**
      * Queue one notice.
      * @param notice - what the consumer receives next.
-     * @param key - normalized Host path for a change; absent for a reload.
+     * @param key - normalized Host path for the change.
      */
     push(notice, key) {
         this.pending.push({ key, notice });
@@ -68,7 +61,7 @@ class Follower {
             while (true) {
                 const next = this.pending.shift();
                 if (next !== undefined) {
-                    if (next.key === undefined || this.hostKey === undefined || next.key === this.hostKey)
+                    if (this.hostKey === undefined || next.key === this.hostKey)
                         yield next.notice;
                     continue;
                 }
@@ -130,22 +123,6 @@ class SessionFeed {
         if (this.followers.size === 0)
             this.close();
     }
-    /**
-     * Reload an address and every follower bound to the same Host path.
-     * @param address - the resource address requesting a reload.
-     */
-    requestRestat(address) {
-        const keys = new Set();
-        for (const follower of this.followers) {
-            if (follower.address === address && follower.key !== undefined)
-                keys.add(follower.key);
-        }
-        for (const follower of this.followers) {
-            if (follower.address === address || (follower.key !== undefined && keys.has(follower.key))) {
-                follower.push({ kind: 'restat' });
-            }
-        }
-    }
     async pump() {
         try {
             for await (const item of this.stream) {
@@ -227,7 +204,7 @@ export class ChangeFeed {
         this.remote = remote;
     }
     /**
-     * Follow one resource address in one session before its Host path is known.
+     * Follow one resource in one session before its Host path is known.
      *
      * The follower is registered on call, not on first pull. Changes delivered
      * to this Client are queued while stat is pending. The first follower starts
@@ -239,18 +216,17 @@ export class ChangeFeed {
      * any session write can trigger a retry; after binding, only matching queued
      * and live changes pass.
      * @param sessionId - the session whose workspace holds the file.
-     * @param address - the resource address, used only for reload lookup.
      * @param signal - ends the follow.
      * @returns a single-consumer subscription with Host-path binding and explicit disposal.
      */
-    follow(sessionId, address, signal) {
+    follow(sessionId, signal) {
         const feed = signal.aborted ? undefined : this.feedOf(sessionId);
         const leave = () => {
             signal.removeEventListener('abort', leave);
             follower.end();
             feed?.remove(follower);
         };
-        const follower = new Follower(address, leave);
+        const follower = new Follower(leave);
         if (feed === undefined) {
             follower.end();
         }
@@ -260,14 +236,6 @@ export class ChangeFeed {
         }
         return follower;
     }
-    /**
-     * Ask an address and its same-session Host-path peers to `stat` again.
-     * @param sessionId - the session whose workspace holds the file.
-     * @param address - the resource address requesting a reload.
-     */
-    requestRestat(sessionId, address) {
-        this.sessions.get(sessionId)?.requestRestat(address);
-    }
     /**
      * Wait for every stream that is still closing, so an owner tearing down
      * leaves no Host stream behind.

package/lib/types/client/index.d.ts

@@ -6,13 +6,12 @@
  * stream, and this module only wires them into `ctx.resources`.
  */
 import type { Context as ClientContext } from '@deepseek-ai/cordis';
-export type { SessionLookup } from './provider.ts';
-export type { WorkspaceFileParams, WorkspaceFileResource } from './types.ts';
-/** Required browser services: the resource model, the Remote carrier and its namespace, and the Session list. */
+export type { WorkspaceFileParams } from './types.ts';
+/** Required browser services: the resource model, the Remote carrier and its namespace. */
 export declare const inject: string[];
 /**
  * Client plugin body: register the `file` provider for this plugin's lifetime.
- * @param ctx - client root context carrying `resources`, the Remote face, and `sessions`.
+ * @param ctx - client root context carrying `resources` and the Remote face.
  */
 export declare function apply(ctx: ClientContext): void;
 //# sourceMappingURL=index.d.ts.map

package/lib/types/client/index.js

@@ -1,18 +1,14 @@
 import { ChangeFeed } from "./change-feed.js";
 import { createFileResourceProvider } from "./provider.js";
-/** Required browser services: the resource model, the Remote carrier and its namespace, and the Session list. */
-export const inject = ['resources', 'remote', 'remote.workspaceFiles', 'sessions'];
+/** Required browser services: the resource model, the Remote carrier and its namespace. */
+export const inject = ['resources', 'remote', 'remote.workspaceFiles'];
 /**
  * Client plugin body: register the `file` provider for this plugin's lifetime.
- * @param ctx - client root context carrying `resources`, the Remote face, and `sessions`.
+ * @param ctx - client root context carrying `resources` and the Remote face.
  */
 export function apply(ctx) {
-    // The current Session changes with navigation; absolute addresses read it on demand.
-    const sessions = {
-        current: () => ctx.sessions.list.getSnapshot().current,
-    };
     const changes = new ChangeFeed(ctx.remote);
-    const provider = createFileResourceProvider(ctx.remote, changes, sessions);
+    const provider = createFileResourceProvider(ctx.remote, changes);
     ctx.effect(() => {
         const release = ctx.resources.register(provider);
         // Teardown waits for every session stream still closing, so the plugin

package/lib/types/client/provider.d.ts

@@ -3,43 +3,32 @@
  * `RemoteResult` frames.
  *
  * An address names the file in one of two scopes. A `session` address,
- * `dsh-resource://file/session/<sessionId>/<path>`, carries a path relative to
- * that Session's workspace root: the Host receives the relative path as-is and
+ * `dsh-resource://file/session/<sessionId>/<path>`, carries an absolute path or one
+ * relative to that Session's workspace root: the Host receives the path as-is and
  * resolves it against the root it holds. Only the Host's `stat.absolutePath`
  * selects the change-feed key; no Client Session summary is needed.
  * An `absolute` address, `dsh-resource://file/absolute/<path>`, carries no
- * Session and is read through the Session on screen. An address neither scope
+ * Session and cannot authorize a Host call. An address neither scope
  * resolves yields one failure frame — `workspace-file/unsupported-address` for
  * a string outside the grammar, `workspace-file/unknown-workspace` when the
- * absolute address has no current Session — and ends.
+ * address carries no Session — and ends.
  *
  * The first frame is the file's `stat`; every Host-reported write yields the
- * metadata flagged `changed`; a reported disappearance, or a write while the
- * last stat had failed, runs `stat` again and flags what it finds; a reload
- * runs `stat` again and clears the flag. Failures travel as `ok: false` frames, never as thrown errors: the
+ * metadata with its reported version; a reported disappearance, or a write while the
+ * last stat had failed, runs `stat` again. Failures travel as `ok: false` frames, never as thrown errors: the
  * Remote face does not reject, and anything thrown inside the stream is a
  * programming error the resource model lets surface. A failed stat does not end
- * the stream: the next write or reload stats again. One {@link ChangeFeed}
+ * the stream: the next write stats again. One {@link ChangeFeed}
  * serves every open file of the Client.
  */
 import type { ResourceProvider } from '@deepseek-ai/dsh-client-resources/client';
-import type { SessionId } from '@deepseek-ai/dsh-session/types';
 import type { ChangeFeed } from './change-feed.ts';
 import type { WorkspaceFilesRemote } from './remote.ts';
-/** The current Session used to authorize an absolute address. */
-export interface SessionLookup {
-    /**
-     * The Session on screen, which an `absolute` address is read through.
-     * @returns its id, or `undefined` while no Session is current.
-     */
-    current(): SessionId | undefined;
-}
 /**
- * Build the `file` provider over one Remote face, one change feed, and the Client's Session list.
+ * Build the `file` provider over one Remote face and one change feed.
  * @param remote - the Remote face carrying `workspaceFiles.stat`.
  * @param changes - the per-session change fan-out.
- * @param sessions - the current Session, read for absolute addresses on every open and reload.
  * @returns the provider to register into `ctx.resources`.
  */
-export declare function createFileResourceProvider(remote: WorkspaceFilesRemote, changes: ChangeFeed, sessions: SessionLookup): ResourceProvider<'file'>;
+export declare function createFileResourceProvider(remote: WorkspaceFilesRemote, changes: ChangeFeed): ResourceProvider<'file'>;
 //# sourceMappingURL=provider.d.ts.map