@tritard/waterbrother 0.16.20 → 0.16.21

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@tritard/waterbrother",
-  "version": "0.16.20",
+  "version": "0.16.21",
   "description": "Waterbrother: bring-your-own-model coding CLI with local tools, sessions, operator modes, and approval controls",
   "type": "module",
   "bin": {

package/src/tools.js

@@ -1112,6 +1112,87 @@ export function createToolRuntime({
     currentTurn.touchedPaths = uniqueStrings([...(currentTurn.touchedPaths || []), ...normalizePathList(paths)]);
   }
 
+  async function buildImplicitVerificationEntries(toolName, args = {}, parsedResult = null) {
+    if (!args?.path) return [];
+
+    const writeRoots = [...getCurrentWriteRoots(), ...getContractWriteRoots()];
+    const commandLabel = `${toolName} ${String(args.path)}`;
+
+    try {
+      if (toolName === "make_directory") {
+        const target = resolveSandboxPath(cwd, args.path, allowOutsideCwd, {
+          allowedWriteRoots: writeRoots
+        });
+        const stat = await fs.stat(target);
+        return [{
+          command: commandLabel,
+          ok: stat.isDirectory(),
+          implicit: true,
+          tool: toolName,
+          path: args.path,
+          detail: stat.isDirectory() ? "directory exists" : "target exists but is not a directory"
+        }];
+      }
+
+      if (toolName === "write_file" || toolName === "replace_in_file") {
+        const target = resolveSandboxPath(cwd, args.path, allowOutsideCwd, {
+          allowedWriteRoots: writeRoots
+        });
+        const stat = await fs.stat(target);
+        const entries = [{
+          command: commandLabel,
+          ok: stat.isFile(),
+          implicit: true,
+          tool: toolName,
+          path: args.path,
+          detail: stat.isFile() ? "file exists after write" : "target exists but is not a file"
+        }];
+        if (toolName === "write_file" && parsedResult?.bytes != null) {
+          entries.push({
+            command: `${toolName} bytes ${String(args.path)}`,
+            ok: stat.size === Number(parsedResult.bytes),
+            implicit: true,
+            tool: toolName,
+            path: args.path,
+            detail: `expected ${Number(parsedResult.bytes)} bytes, found ${stat.size}`
+          });
+        }
+        return entries;
+      }
+
+      if (toolName === "delete_path") {
+        const target = resolveSandboxPath(cwd, args.path, allowOutsideCwd, {
+          allowedWriteRoots: writeRoots
+        });
+        let exists = true;
+        try {
+          await fs.access(target);
+        } catch {
+          exists = false;
+        }
+        return [{
+          command: commandLabel,
+          ok: !exists,
+          implicit: true,
+          tool: toolName,
+          path: args.path,
+          detail: exists ? "path still exists" : "path no longer exists"
+        }];
+      }
+    } catch (error) {
+      return [{
+        command: commandLabel,
+        ok: false,
+        implicit: true,
+        tool: toolName,
+        path: args.path,
+        detail: error instanceof Error ? error.message : String(error)
+      }];
+    }
+
+    return [];
+  }
+
   function recordToolCall(entry = {}) {
     currentTurn.toolCalls.push({
       startedAt: new Date().toISOString(),
@@ -2246,6 +2327,12 @@ ${clipped}`;
       if ((MUTATING_TOOLS.has(name) || name === "restore_checkpoint") && toolEntry.status === "ok") {
         currentTurn.mutated = true;
       }
+      if (toolEntry.status === "ok") {
+        const implicitVerification = await buildImplicitVerificationEntries(name, args, parsed);
+        if (implicitVerification.length > 0) {
+          currentTurn.verification = [...(currentTurn.verification || []), ...implicitVerification];
+        }
+      }
       return result;
     } catch (error) {
       toolEntry.status = "error";