indusagi 0.12.33 → 0.13.0

package/dist/interop.js

@@ -427,6 +427,7 @@ async function startServerFleet(config) {
 }
 
 // src/capabilities/kernel/spec.ts
+var READ_STATE_HANDLE_KEY = "readState";
 function coerceInput(raw) {
   if (typeof raw === "string") {
     const trimmed = raw.trim();
@@ -878,6 +879,55 @@ var standardBudget = {
 `
 };
 
+// src/capabilities/files/read-state-gate.ts
+var READ_BEFORE_EDIT_MESSAGE = "File has not been read yet. Read it first before writing to it.";
+var MODIFIED_SINCE_READ_MESSAGE = "File has been modified since read, either by the user or by a linter. Read it again before attempting to write it.";
+function getReadStateHandle(ctx) {
+  const bag = ctx.framework;
+  if (!bag || typeof bag !== "object") return void 0;
+  const candidate = bag[READ_STATE_HANDLE_KEY];
+  if (!candidate || typeof candidate !== "object") return void 0;
+  const handle = candidate;
+  if (typeof handle.get !== "function" || typeof handle.set !== "function" || typeof handle.has !== "function") {
+    return void 0;
+  }
+  return handle;
+}
+async function recordReadState(ctx, absPath, handle) {
+  if (!handle) return;
+  try {
+    const info = await ctx.fs.stat(absPath);
+    const record = {
+      mtimeMs: Math.floor(info.modifiedMs),
+      size: info.size,
+      readAt: Date.now()
+    };
+    handle.set(absPath, record);
+  } catch {
+  }
+}
+async function enforceReadGate(ctx, absPath, handle) {
+  if (!handle) return { ok: true };
+  if (!handle.has(absPath)) {
+    return { ok: false, message: READ_BEFORE_EDIT_MESSAGE };
+  }
+  const recorded = handle.get(absPath);
+  if (!recorded) {
+    return { ok: false, message: READ_BEFORE_EDIT_MESSAGE };
+  }
+  let info;
+  try {
+    info = await ctx.fs.stat(absPath);
+  } catch {
+    return { ok: true };
+  }
+  const currentMtime = Math.floor(info.modifiedMs);
+  if (currentMtime > recorded.mtimeMs || info.size !== recorded.size) {
+    return { ok: false, message: MODIFIED_SINCE_READ_MESSAGE };
+  }
+  return { ok: true };
+}
+
 // src/capabilities/files/read.ts
 var GUTTER_WIDTH = 6;
 var DESCRIPTION = [
@@ -980,6 +1030,7 @@ var readTool = defineTool({
       const detail = err instanceof Error ? err.message : String(err);
       return failure(`Could not read ${path}: ${detail}`);
     }
+    await recordReadState(ctx, path, getReadStateHandle(ctx));
     const allLines = toLines(text);
     const totalLines = allLines.length;
     if (totalLines === 0) {
@@ -1087,11 +1138,19 @@ var writeTool = defineTool({
   async run(input, ctx) {
     const path = readPath(input?.path);
     const content = readContent(input?.content);
+    const handle = getReadStateHandle(ctx);
+    if (handle && await ctx.fs.exists(path)) {
+      const gate = await enforceReadGate(ctx, path, handle);
+      if (!gate.ok) {
+        return asText(gate.message, true);
+      }
+    }
     const folder = parentDir(path);
     if (folder.length > 0) {
       await ctx.fs.mkdir(folder, { recursive: true });
     }
     await ctx.fs.writeFile(path, content, "utf8");
+    await recordReadState(ctx, path, handle);
     const bytes = Buffer.byteLength(content, "utf8");
     const unit = bytes === 1 ? "byte" : "bytes";
     return asText(`Saved ${bytes} ${unit} to ${path}.`);
@@ -1381,6 +1440,11 @@ async function runEdit(input, ctx) {
   if (!info.isFile) {
     return failure2(`${path} is not a regular file, so it cannot be edited.`);
   }
+  const handle = getReadStateHandle(ctx);
+  const gate = await enforceReadGate(ctx, path, handle);
+  if (!gate.ok) {
+    return failure2(gate.message);
+  }
   const before = await ctx.fs.readFile(path, "utf8");
   const literalHits = countLiteral(before, oldText);
   if (literalHits > 0) {
@@ -1394,6 +1458,7 @@ async function runEdit(input, ctx) {
       return failure2(`The replacement left ${path} unchanged.`);
     }
     await ctx.fs.writeFile(path, after2, "utf8");
+    await recordReadState(ctx, path, handle);
     return success(path, before, after2, replaceAll ? literalHits : 1);
   }
   const spans = findFuzzySpans(before, oldText);
@@ -1417,6 +1482,7 @@ async function runEdit(input, ctx) {
     return failure2(`The fuzzy replacement left ${path} unchanged.`);
   }
   await ctx.fs.writeFile(path, after, "utf8");
+  await recordReadState(ctx, path, handle);
   return success(path, before, after, targets.length);
 }
 var editTool = defineTool({