gdharness 0.13.13 → 0.13.14

package/build/cli.js

@@ -7557,6 +7557,41 @@ function cachedClasses(projectPath) {
   }
   return listed;
 }
+function missingMemberIn(message) {
+  const found = /The (method|property) "([^"(]+)(?:\(\))?" is not present on the inferred type "([^"]+)"/.exec(message);
+  if (found === null) {
+    return null;
+  }
+  return {
+    kind: found[1] === "property" ? "property" : "method",
+    member: found[2] ?? "",
+    type: found[3] ?? ""
+  };
+}
+function declaresMember(source, missing) {
+  const name = missing.member.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+  const declaration = missing.kind === "method" ? new RegExp(String.raw`^\s*(?:static\s+)?func\s+${name}\s*\(`, "m") : new RegExp(String.raw`^\s*(?:static\s+)?(?:@export\s+)?(?:var|const)\s+${name}\b`, "m");
+  return declaration.test(source);
+}
+function contradictedDiagnostics(messages, classes, sourceOf) {
+  const read = new Map;
+  const found = [];
+  for (const message of messages) {
+    const missing = missingMemberIn(message);
+    const declaredIn = missing === null ? undefined : classes.get(missing.type);
+    if (missing === null || declaredIn === undefined) {
+      continue;
+    }
+    if (!read.has(declaredIn)) {
+      read.set(declaredIn, sourceOf(declaredIn));
+    }
+    const source = read.get(declaredIn) ?? null;
+    if (source !== null && declaresMember(source, missing)) {
+      found.push({ ...missing, declaredIn });
+    }
+  }
+  return found;
+}
 function cacheWrittenAt(projectPath) {
   const cache = join6(projectPath, ".godot", "global_script_class_cache.cfg");
   try {
@@ -15749,7 +15784,7 @@ var init_tool_definitions = __esm(() => {
     },
     {
       name: "script_diagnostics",
-      description: "Errors and warnings for a script from the editor's language server, and whether the script is clean. Needs the editor running.",
+      description: "Errors and warnings for a script from the editor's language server, and whether the script is clean. Needs the editor running. Any diagnostic saying a member is not present on an inferred type is checked against the file the class cache points at, and one the file contradicts is named under contradictedByTheFile with staleAnalysis saying what to do: the language server hands dependents the type it analysed at startup, so a method added to an existing class_name is reported missing at every caller until the editor restarts.",
       parameters: {
         projectPath: PROJECT_PATH,
         scriptPath: SCRIPT_PATH
@@ -38015,14 +38050,44 @@ class GodotServer {
       const severity = asParams(entry)["severity"];
       return severity === 1 || severity === "error" || severity === "ERROR";
     }).length;
+    const contradicted = this.contradictedByTheFile(diagnostics, args);
     return this.jsonTextResponse(markIfStale({
       scriptPath: readString(args, "scriptPath"),
       clean: errors === 0,
       errors,
       warnings: diagnostics.length - errors,
-      diagnostics
+      diagnostics,
+      ...contradicted.length === 0 ? {} : {
+        contradictedByTheFile: contradicted,
+        staleAnalysis: `The editor is reporting against an older copy of ${contradicted.length === 1 ? "a type" : "some types"} named above. Each member listed is declared in the file the class cache points at, so those diagnostics are wrong however the code is written. editor_launch restart clears it; editor_rescan and project_import refresh_classes do not, because neither reaches the analysed types the language server built at startup.`
+      }
     }, this.godotBridge.getStatus().addonVersion, SERVER_VERSION));
   }
+  contradictedByTheFile(diagnostics, args) {
+    const messages = diagnostics.map((entry) => asParams(entry)["message"]).filter((message) => typeof message === "string");
+    if (!messages.some((message) => missingMemberIn(message) !== null)) {
+      return [];
+    }
+    const project = this.project(args);
+    if (!project.ok) {
+      return [];
+    }
+    const classes = cachedClasses(project.value.path);
+    if (classes === null) {
+      return [];
+    }
+    return contradictedDiagnostics(messages, classes, (resourcePath) => {
+      const contained = resolveWithinProject(project.value.path, resourcePath);
+      if (!contained.ok || !existsSync14(contained.absolutePath)) {
+        return null;
+      }
+      try {
+        return readFileSync15(contained.absolutePath, "utf8");
+      } catch {
+        return null;
+      }
+    });
+  }
   async handleLSP(toolName, args) {
     const port = this.editorServes("lspPort", "GDHARNESS_LSP_PORT", DEFAULT_LSP_PORT);
     if (this.lspClient !== null && this.lspClient.port !== port) {
@@ -40459,7 +40524,8 @@ function headlessSection() {
     "Needing nothing is not the same as changing nothing, and a gate wants both. Most of these",
     "write to the project because that is what they are for: `script_edit create` writes a file,",
     "`project_settings set` rewrites `project.godot`, `project_import reimport` and `refresh_classes`",
-    "write under `.godot`. The reading ops are the ones to gate on, and which is which is in each",
+    "write under `.godot`, and `project_import refresh_uids` writes a `.uid` beside each script that",
+    "had none. The reading ops are the ones to gate on, and which is which is in each",
     "op's own summary below rather than assumed from this list.",
     "",
     "Everything else needs the editor (`editor_*`, `debug_*`, `scene_*`, `resource_*`) or a running",

package/build/index.js

@@ -24817,6 +24817,41 @@ function cachedClasses(projectPath) {
   }
   return listed;
 }
+function missingMemberIn(message) {
+  const found = /The (method|property) "([^"(]+)(?:\(\))?" is not present on the inferred type "([^"]+)"/.exec(message);
+  if (found === null) {
+    return null;
+  }
+  return {
+    kind: found[1] === "property" ? "property" : "method",
+    member: found[2] ?? "",
+    type: found[3] ?? ""
+  };
+}
+function declaresMember(source, missing) {
+  const name = missing.member.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+  const declaration = missing.kind === "method" ? new RegExp(String.raw`^\s*(?:static\s+)?func\s+${name}\s*\(`, "m") : new RegExp(String.raw`^\s*(?:static\s+)?(?:@export\s+)?(?:var|const)\s+${name}\b`, "m");
+  return declaration.test(source);
+}
+function contradictedDiagnostics(messages, classes, sourceOf) {
+  const read = new Map;
+  const found = [];
+  for (const message of messages) {
+    const missing = missingMemberIn(message);
+    const declaredIn = missing === null ? undefined : classes.get(missing.type);
+    if (missing === null || declaredIn === undefined) {
+      continue;
+    }
+    if (!read.has(declaredIn)) {
+      read.set(declaredIn, sourceOf(declaredIn));
+    }
+    const source = read.get(declaredIn) ?? null;
+    if (source !== null && declaresMember(source, missing)) {
+      found.push({ ...missing, declaredIn });
+    }
+  }
+  return found;
+}
 function cacheWrittenAt(projectPath) {
   const cache = join3(projectPath, ".godot", "global_script_class_cache.cfg");
   try {
@@ -28866,7 +28901,7 @@ var TOOL_SPECS = [
   },
   {
     name: "script_diagnostics",
-    description: "Errors and warnings for a script from the editor's language server, and whether the script is clean. Needs the editor running.",
+    description: "Errors and warnings for a script from the editor's language server, and whether the script is clean. Needs the editor running. Any diagnostic saying a member is not present on an inferred type is checked against the file the class cache points at, and one the file contradicts is named under contradictedByTheFile with staleAnalysis saying what to do: the language server hands dependents the type it analysed at startup, so a method added to an existing class_name is reported missing at every caller until the editor restarts.",
     parameters: {
       projectPath: PROJECT_PATH,
       scriptPath: SCRIPT_PATH
@@ -30767,14 +30802,44 @@ class GodotServer {
       const severity = asParams(entry)["severity"];
       return severity === 1 || severity === "error" || severity === "ERROR";
     }).length;
+    const contradicted = this.contradictedByTheFile(diagnostics, args);
     return this.jsonTextResponse(markIfStale({
       scriptPath: readString(args, "scriptPath"),
       clean: errors === 0,
       errors,
       warnings: diagnostics.length - errors,
-      diagnostics
+      diagnostics,
+      ...contradicted.length === 0 ? {} : {
+        contradictedByTheFile: contradicted,
+        staleAnalysis: `The editor is reporting against an older copy of ${contradicted.length === 1 ? "a type" : "some types"} named above. Each member listed is declared in the file the class cache points at, so those diagnostics are wrong however the code is written. editor_launch restart clears it; editor_rescan and project_import refresh_classes do not, because neither reaches the analysed types the language server built at startup.`
+      }
     }, this.godotBridge.getStatus().addonVersion, SERVER_VERSION));
   }
+  contradictedByTheFile(diagnostics, args) {
+    const messages = diagnostics.map((entry) => asParams(entry)["message"]).filter((message) => typeof message === "string");
+    if (!messages.some((message) => missingMemberIn(message) !== null)) {
+      return [];
+    }
+    const project = this.project(args);
+    if (!project.ok) {
+      return [];
+    }
+    const classes = cachedClasses(project.value.path);
+    if (classes === null) {
+      return [];
+    }
+    return contradictedDiagnostics(messages, classes, (resourcePath) => {
+      const contained = resolveWithinProject(project.value.path, resourcePath);
+      if (!contained.ok || !existsSync9(contained.absolutePath)) {
+        return null;
+      }
+      try {
+        return readFileSync11(contained.absolutePath, "utf8");
+      } catch {
+        return null;
+      }
+    });
+  }
   async handleLSP(toolName, args) {
     const port = this.editorServes("lspPort", "GDHARNESS_LSP_PORT", DEFAULT_LSP_PORT);
     if (this.lspClient !== null && this.lspClient.port !== port) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "gdharness",
-  "version": "0.13.13",
+  "version": "0.13.14",
   "mcpName": "io.github.Aureliolo/gdharness",
   "description": "A harness for driving a Godot 4 project from an agent: editor addons, a runtime bridge into the running game, an MCP server in front of them, and a CLI that installs and diagnoses the Godot side.",
   "type": "module",