gdharness 0.13.10 → 0.13.11

package/build/cli.js

@@ -14897,10 +14897,10 @@ function isValueComplete(value) {
   return depth <= 0 && !inString;
 }
 function settingKeys(content) {
-  const named = new Set;
+  const named = new Map;
   for (const [section, entries] of Object.entries(parseProjectGodot(content))) {
-    for (const key of Object.keys(entries)) {
-      named.add(`${section}/${key}`);
+    for (const [key, value] of Object.entries(entries)) {
+      named.set(`${section}/${key}`, value);
     }
   }
   return named;
@@ -15787,7 +15787,10 @@ var init_tool_definitions = __esm(() => {
           summary: "run the project until it quits or is stopped",
           requires: ["projectPath"]
         },
-        stop: { summary: "end the run and answer with what it printed last", requires: [] },
+        stop: {
+          summary: "end the run and answer with what it printed last, naming the process ended under endedPid: a game that started processes of its own keeps them",
+          requires: []
+        },
         check: {
           summary: "boot headless, quit after a few frames, and report the verdict",
           requires: ["projectPath"]
@@ -38030,12 +38033,12 @@ class GodotServer {
   }
   settingKeysOf(projectPath) {
     if (projectPath === undefined) {
-      return new Set;
+      return new Map;
     }
     try {
       return settingKeys(readFileSync15(join17(projectPath, "project.godot"), "utf8"));
     } catch {
-      return new Set;
+      return new Map;
     }
   }
   async handleRestartEditor() {
@@ -38067,7 +38070,7 @@ class GodotServer {
     }
     const now = this.godotBridge.getStatus();
     const after = this.settingKeysOf(before.projectPath);
-    const dropped = [...settingsBefore].filter((key) => !after.has(key));
+    const dropped = [...settingsBefore].filter(([key]) => !after.has(key));
     return this.jsonTextResponse({
       restarted: true,
       editorPid: now.editorPid,
@@ -38075,8 +38078,8 @@ class GodotServer {
       serverVersion: SERVER_VERSION,
       addonIsStale: now.addonVersion !== SERVER_VERSION,
       staleNote: addonMismatch(now.addonVersion, SERVER_VERSION),
-      settingsDropped: dropped.length > 0 ? dropped : undefined,
-      settingsNote: dropped.length > 0 ? 'The editor saved project.godot on its way out and these keys are no longer in it. Godot writes only what differs from its own defaults, so a key named deliberately at its default value is redundant to the editor and is dropped on save. If any of them were pinned on purpose, to keep "set to this on purpose" and "not set" apart, put them back: nothing else will say they have gone until something depends on one.' : undefined,
+      settingsDropped: dropped.length > 0 ? dropped.map(([setting, was]) => ({ setting, was })) : undefined,
+      settingsNote: dropped.length > 0 ? `The editor saved project.godot on its way out and these keys are no longer in it, with the value each one held. Godot writes only what differs from its own defaults, so a key named deliberately at its default value is redundant to the editor and is dropped on save; it will be dropped again on the next restart. If any of them were pinned on purpose, to keep "set to this on purpose" and "not set" apart, project_settings set puts one back: ${dropped.map(([setting, was]) => `setting "${setting}" value ${JSON.stringify(was)}`).join(", ")}. Nothing else will say they have gone until something depends on one.` : undefined,
       tookMs: Date.now() - began
     });
   }
@@ -38701,11 +38704,13 @@ class GodotServer {
     return this.jsonTextResponse({
       stopped: true,
       through: stopped.throughEditor ? "editor" : "gdharness",
+      endedPid: stopped.pid,
       exitedBeforeStop: stopped.exitCode !== null,
       exitCode: stopped.exitCode,
       errors: stopped.log.count("error"),
       warnings: stopped.log.count("warning"),
       clean: stopped.log.count("error") === 0,
+      note: stopped.throughEditor ? "The editor was asked to stop the scene it is playing. Anything that game started for itself, with OS.create_process or otherwise, is not the editor's to stop and is still running." : "The process named under endedPid was ended. Anything that game started for itself, with OS.create_process or otherwise, is a separate process and is still running.",
       entries: forAnswer(stopped.log.select({ severity: "warning", sinceLastCall: false, limit: 200 }).entries)
     });
   }

package/build/index.js

@@ -27558,10 +27558,10 @@ function isValueComplete(value) {
   return depth <= 0 && !inString;
 }
 function settingKeys(content) {
-  const named = new Set;
+  const named = new Map;
   for (const [section, entries] of Object.entries(parseProjectGodot(content))) {
-    for (const key of Object.keys(entries)) {
-      named.add(`${section}/${key}`);
+    for (const [key, value] of Object.entries(entries)) {
+      named.set(`${section}/${key}`, value);
     }
   }
   return named;
@@ -28877,7 +28877,10 @@ var TOOL_SPECS = [
         summary: "run the project until it quits or is stopped",
         requires: ["projectPath"]
       },
-      stop: { summary: "end the run and answer with what it printed last", requires: [] },
+      stop: {
+        summary: "end the run and answer with what it printed last, naming the process ended under endedPid: a game that started processes of its own keeps them",
+        requires: []
+      },
       check: {
         summary: "boot headless, quit after a few frames, and report the verdict",
         requires: ["projectPath"]
@@ -30784,12 +30787,12 @@ class GodotServer {
   }
   settingKeysOf(projectPath) {
     if (projectPath === undefined) {
-      return new Set;
+      return new Map;
     }
     try {
       return settingKeys(readFileSync11(join11(projectPath, "project.godot"), "utf8"));
     } catch {
-      return new Set;
+      return new Map;
     }
   }
   async handleRestartEditor() {
@@ -30821,7 +30824,7 @@ class GodotServer {
     }
     const now = this.godotBridge.getStatus();
     const after = this.settingKeysOf(before.projectPath);
-    const dropped = [...settingsBefore].filter((key) => !after.has(key));
+    const dropped = [...settingsBefore].filter(([key]) => !after.has(key));
     return this.jsonTextResponse({
       restarted: true,
       editorPid: now.editorPid,
@@ -30829,8 +30832,8 @@ class GodotServer {
       serverVersion: SERVER_VERSION,
       addonIsStale: now.addonVersion !== SERVER_VERSION,
       staleNote: addonMismatch(now.addonVersion, SERVER_VERSION),
-      settingsDropped: dropped.length > 0 ? dropped : undefined,
-      settingsNote: dropped.length > 0 ? 'The editor saved project.godot on its way out and these keys are no longer in it. Godot writes only what differs from its own defaults, so a key named deliberately at its default value is redundant to the editor and is dropped on save. If any of them were pinned on purpose, to keep "set to this on purpose" and "not set" apart, put them back: nothing else will say they have gone until something depends on one.' : undefined,
+      settingsDropped: dropped.length > 0 ? dropped.map(([setting, was]) => ({ setting, was })) : undefined,
+      settingsNote: dropped.length > 0 ? `The editor saved project.godot on its way out and these keys are no longer in it, with the value each one held. Godot writes only what differs from its own defaults, so a key named deliberately at its default value is redundant to the editor and is dropped on save; it will be dropped again on the next restart. If any of them were pinned on purpose, to keep "set to this on purpose" and "not set" apart, project_settings set puts one back: ${dropped.map(([setting, was]) => `setting "${setting}" value ${JSON.stringify(was)}`).join(", ")}. Nothing else will say they have gone until something depends on one.` : undefined,
       tookMs: Date.now() - began
     });
   }
@@ -31455,11 +31458,13 @@ class GodotServer {
     return this.jsonTextResponse({
       stopped: true,
       through: stopped.throughEditor ? "editor" : "gdharness",
+      endedPid: stopped.pid,
       exitedBeforeStop: stopped.exitCode !== null,
       exitCode: stopped.exitCode,
       errors: stopped.log.count("error"),
       warnings: stopped.log.count("warning"),
       clean: stopped.log.count("error") === 0,
+      note: stopped.throughEditor ? "The editor was asked to stop the scene it is playing. Anything that game started for itself, with OS.create_process or otherwise, is not the editor's to stop and is still running." : "The process named under endedPid was ended. Anything that game started for itself, with OS.create_process or otherwise, is a separate process and is still running.",
       entries: forAnswer(stopped.log.select({ severity: "warning", sinceLastCall: false, limit: 200 }).entries)
     });
   }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "gdharness",
-  "version": "0.13.10",
+  "version": "0.13.11",
   "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",