dsh-multi-folder 0.2.2 → 0.2.3

package/docs/design.md

@@ -46,9 +46,13 @@ A listener on the `tools/execute` around-dispatch waterfall handles `write`, `ed
      default pipeline, which raises the canonical abort error.
    The result carries the same canonical value/content shapes as the shipped tools, so
    downstream presentation keeps working.
-5. Anything else — unknown tools, paths outside every secondary directory, escalation
-   arguments (`sandbox_permissions`), missing optional services (`shell`, `jobs`),
-   or any error — falls through to `next()` and the default pipeline.
+5. Anything else — unknown tools, paths outside every secondary directory, missing
+   optional services (`shell`, `jobs`), or a failure **before** the target is
+   resolved into a secondary directory (path resolution, config lookup, service
+   lookup) — falls through to `next()` and the default pipeline. An explicit
+   escalation request (`sandbox_permissions` carrying a non-empty mode string) also
+   belongs to the default pipeline, which owns the approval flow; a `null`/empty
+   value is not a request and is intercepted normally.
 
 **Why mode parity is free:** the mode field of the standing policy is never touched.
 The DSH sandbox backends treat the per-call policy as fully specified and fence by its

package/lib/index.js

@@ -16,6 +16,13 @@
  *    here with the session's standing sandbox policy re-rooted to that
  *    directory — identical semantics to the primary workspace in every mode
  *    (read-only denies, workspace-write allows, danger-full-access allows).
+ *    Interception OWNS such a call from the moment its target is resolved
+ *    inside a secondary directory: an interception failure is reported as the
+ *    call's own error and NEVER falls through to the default pipeline, which
+ *    fences every call against the PRIMARY workspace root and would therefore
+ *    turn any ordinary failure (a missing `old_string`, a locked target, an
+ *    unreadable file) into the spurious
+ *    `[sandbox: file access denied under workspace-write mode]` marker.
  *    Interception hydrates the configuration AWAITED (never a fire-and-forget
  *    read) and looks the dirs up by BOTH the policy root and the header cwd
  *    spelling, so a cold first call and a symlinked workspace cannot fall
@@ -544,6 +551,30 @@ export function apply(ctx) {
     return read.delta + (read.delta.length > 0 && !read.delta.endsWith('\n') ? '\n' : '') + notices.join('\n')
   }
 
+  /**
+   * Model-facing failure for a call the interception OWNS (see the ownership
+   * rule below). A claimed call is never handed back to the default pipeline,
+   * so its real error reaches the model in the shipped tools' error envelope —
+   * `Error: <message>` plus the `FS_*` code — instead of the primary-rooted
+   * sandbox denial. A genuine sandbox denial (read-only mode) keeps the standard
+   * marker plus the one-shot escalation hint, exactly as the shipped
+   * `write`/`edit` tools render it, so the escalation flow is unchanged.
+   */
+  const ownedFailure = (error, policy) => {
+    const code = error && typeof error.code === 'string' && error.code.length > 0 ? error.code : undefined
+    const message =
+      code === 'FS_SANDBOX_DENIED'
+        ? '[sandbox: file access denied under ' + policy.mode + ' mode]\n' +
+          '[sandbox: escalation available \u2014 retry this exact operation once with sandbox_permissions ' +
+          '(the narrowest wider mode that suffices) + justification; the approval prompt asks the user]'
+        : String(error && error.message ? error.message : error)
+    return {
+      isError: true,
+      error: { message, ...(code === undefined ? {} : { info: { code } }) },
+      content: [{ type: 'text', text: 'Error: ' + message }],
+    }
+  }
+
   ctx.on('tools/execute', async (exec, next) => {
     // Hydration must be AWAITED on the interception path, not fire-and-forget:
     // a first call that arrives before the config read resolves would see an
@@ -560,12 +591,21 @@ export function apply(ctx) {
       await loadDirs(headerCwd)
     }
     if (!INTERCEPT_TOOLS.has(exec.name)) return next()
+    // Non-null once the call's target has been resolved into a configured
+    // secondary directory: from that point the interception OWNS the call and a
+    // failure must be reported as this call's error, never handed back to the
+    // default pipeline (which fences against the PRIMARY workspace root and
+    // would answer any failure with the spurious workspace-write denial).
+    let owned = null
     try {
       const args = exec.arguments
       const standing = sandboxPolicy.resolve(exec.agent ? { session: exec.agent.session } : {})
       const primary = standing.workspaceRoot
-      // An explicit escalation request belongs to the default pipeline.
-      if (args && args.sandbox_permissions !== undefined) return next()
+      // An explicit escalation request belongs to the default pipeline (it owns
+      // the approval flow). Only a non-empty mode string is a request: a
+      // null/empty value is not, and must not hand a secondary-directory
+      // mutation to the primary-rooted pipeline.
+      if (args && typeof args.sandbox_permissions === 'string' && args.sandbox_permissions.length > 0) return next()
       // The policy root is realpath-canonicalized by sandbox-policy while
       // hydration is keyed by the session cwd as spelled in the header; on a
       // workspace reached through a symlinked/junctioned ancestor the two
@@ -579,7 +619,20 @@ export function apply(ctx) {
         if (filePath === null) return next()
         // Resolve first so `..`, symlinks, and case differences canonicalize
         // before containment matching (same cwd the shipped tools use).
-        const target = await fs.resolve(filePath, { cwd: primary })
+        let target
+        try {
+          target = await fs.resolve(filePath, { cwd: primary })
+        } catch (error) {
+          // An unresolvable ABSOLUTE path that is lexically inside a secondary
+          // directory is still this plugin's call to answer: the default pipeline
+          // would resolve it against the PRIMARY root and report the sandbox
+          // denial, hiding the resolution failure.
+          if (dirs !== null && isAbsolute(filePath)) {
+            const rawHit = longestRootFirst(dirs).find((d) => pathInside(filePath, d))
+            if (rawHit !== undefined) return ownedFailure(error, { ...standing, workspaceRoot: rawHit })
+          }
+          return next()
+        }
         const abs = fs.processPath(target)
         // Security boundary: configuration is user-managed. Reject direct
         // write/edit attempts against the host-owned config file, even before
@@ -601,6 +654,7 @@ export function apply(ctx) {
         const policy = { ...standing, workspaceRoot: hit }
 
         if (exec.name === 'write') {
+          owned = { policy }
           const outcome = await fs.writeText(target, String(args.content), undefined, exec.signal, policy)
           // Keep the observation layer coherent with the shipped write tool's
           // contract: a successful create/update is a presence observation.
@@ -628,6 +682,7 @@ export function apply(ctx) {
         const newString = args && typeof args.new_string === 'string' ? args.new_string : null
         if (oldString === null || newString === null) return next()
         const replaceAll = args.replace_all === true
+        owned = { policy }
         const outcome = await fs.editText(
           target,
           { oldString, newString, replaceAll },
@@ -684,6 +739,7 @@ export function apply(ctx) {
           if (exec.signal && exec.signal.aborted) return next()
           const jobs = ctx.get('jobs')
           if (jobs === undefined) return next()
+          owned = { policy }
           const jobId = jobs.start({
             kind: exec.name,
             label: String(args.command),
@@ -704,6 +760,7 @@ export function apply(ctx) {
           }
         }
 
+        owned = { policy }
         const result = await shell.run(shell.resolve({ ...request, signal: exec.signal }))
         if (result.aborted) {
           return {
@@ -744,9 +801,14 @@ export function apply(ctx) {
         return { isError: false, value, content: [{ type: 'text', text: shellRender(value) }] }
       }
       return next()
-    } catch {
-      // Any interception failure falls back to the default pipeline.
-      return next()
+    } catch (error) {
+      // A failure BEFORE the call was claimed (path resolution, config lookup,
+      // shell service lookup) falls back to the default pipeline. A failure
+      // AFTER the claim — the mutation or the shell run itself — does not: the
+      // default pipeline fences the call against the PRIMARY workspace root, so
+      // it could only answer with the spurious workspace-write denial and would
+      // hide the real cause (for example a missing `old_string`).
+      return owned === null ? next() : ownedFailure(error, owned.policy)
     }
   })
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "dsh-multi-folder",
-  "version": "0.2.2",
+  "version": "0.2.3",
   "description": "DeepSeek Harness plugin: secondary working directories for a project. The agent keeps the primary workspace as cwd, gains equal write/exec permissions on configured secondary directories under workspace-write mode, and is notified of configuration changes at the next message boundary. Configurable from the session header AND from the session-creation page (before the first message) through a sessionless multiFolder remote API.",
   "keywords": [
     "dsh-plugin",