gdharness 1.1.25 → 1.1.26

package/build/cli.js

@@ -17556,7 +17556,7 @@ var init_tool_definitions = __esm(() => {
           requires: ["projectPath"]
         },
         stop: {
-          summary: "end the run and answer with what it printed last, naming the process ended under endedPid: for a run the editor plays, the number its game announced under, read at the stop rather than remembered, and the operating system hands a freed number to the next process, so it can equal the game before it. A game that started processes of its own keeps them unless andChildren says to end those too. stopped is false, with the number under notSignalled, when that number no longer answers as the process the run was started as and nothing was signalled, and false with the number under stillGoing when what was told to end was still running ten seconds later",
+          summary: "end the run and answer with what it printed last, naming the process ended under endedPid: for a run the editor plays, the number its game announced under, read at the stop rather than remembered, and the operating system hands a freed number to the next process, so it can equal the game before it. A game that started processes of its own keeps them unless andChildren says to end those too. stopped is false, with the number under notSignalled, when that number no longer answers as the process the run was started as and nothing was signalled, the note naming which property it failed on, and false with the number under stillGoing when what was told to end was still running ten seconds later. endedThrough says how the stop ended a run that was going: keeper (the process that started the game ended it through the handle it holds), signal (its pid was signalled once shown to still be the run), or editor (the editor playing it was asked). A start that ends the run before it says how under endedPreviousRunThrough, with the same values, and one that refused to signal that run names the property it failed on under previousRunLeftBecause",
           requires: []
         },
         check: {
@@ -39767,7 +39767,7 @@ function stopVerdict(stop) {
     return {
       stopped: false,
       notSignalled: stop.endedPid,
-      note: `Nothing was ended: pid ${stop.endedPid ?? "unknown"} no longer answers as the process this run was started as (its engine, its project and when it started), so it was not signalled. If that process is still the game, end it yourself, for instance with runtime_invoke calling get_tree().quit() when the game has the runtime addon; if it is not, it belongs to something else.`,
+      note: `Nothing was ended: pid ${stop.endedPid ?? "unknown"} no longer answers as the process this run was started as (${stop.notEndedBecause ?? "its engine, its project and when it started"}), so it was not signalled. If that process is still the game, end it yourself, for instance with runtime_invoke calling get_tree().quit() when the game has the runtime addon; if it is not, it belongs to something else.`,
       withChildren: false
     };
   }
@@ -39788,6 +39788,15 @@ function stopVerdict(stop) {
     withChildren: true
   };
 }
+function previousRunHow(ended) {
+  if (ended === null) {
+    return {};
+  }
+  return {
+    ...ended.through === undefined || ended.ending === "refused" ? {} : { endedPreviousRunThrough: ended.through },
+    ...ended.ending === "refused" && ended.notEndedBecause !== undefined ? { previousRunLeftBecause: ended.notEndedBecause } : {}
+  };
+}
 function endedPreviousRun(ended) {
   if (ended?.ending !== "gone") {
     return;
@@ -42512,9 +42521,12 @@ class GodotServer {
     if (before !== null && await this.runStillGoing(before)) {
       this.logDebug("Ending the running game before starting another");
       const endingFrom = Date.now();
+      const ending = await this.endActiveGame("editor_run start, which ends the run that was going before it starts another", true);
       ended = {
         pid: before.pid ?? this.announcedPidOf(before) ?? null,
-        ending: await this.endActiveGame("editor_run start, which ends the run that was going before it starts another", true)
+        ending,
+        ...before.endedThrough === undefined ? {} : { through: before.endedThrough },
+        ...before.notEndedBecause === undefined ? {} : { notEndedBecause: before.notEndedBecause }
       };
       this.logDebug(`The running game was ${ended.ending} after ${Date.now() - endingFrom}ms`);
     }
@@ -42562,6 +42574,7 @@ class GodotServer {
       savesNote: asked.value.savesIn !== undefined && savesStayPut() ? SAVES_NOT_MOVED_NOTE : undefined,
       endedPreviousRun: endedPreviousRun(ended),
       previousRunLeft: previousRunLeft(ended),
+      ...previousRunHow(ended),
       runtime: await this.runtimeUp(project.value.path, alreadyPlaying, runtimeWaitMs, given.value.length > 0),
       message: `Use editor_output for what it prints and editor_run stop to end it.${spawnedInstead}${endedForThis}${alsoRunning}`
     });
@@ -42714,6 +42727,7 @@ class GodotServer {
       debugPort: readNumber(playAnswer, "debugPort"),
       endedPreviousRun: endedPreviousRun(ended),
       previousRunLeft: previousRunLeft(ended),
+      ...previousRunHow(ended),
       breakpoints: breakpoints.applied.length === 0 ? undefined : this.breakpointsAsProjectSpells(projectPath, breakpoints.applied),
       breakpointsRefused: breakpoints.refused.length === 0 ? undefined : breakpoints.refused.map((one) => ({
         scriptPath: projectSpelling(projectPath, one.scriptPath),
@@ -42868,6 +42882,7 @@ class GodotServer {
         running.log.record("warning", `This run was not ended here: the editor could not be asked to stop it (${asked.content[0]?.text ?? "no reason given"}).`);
         return "unreached";
       }
+      running.endedThrough = "editor";
       if (announced === undefined) {
         return await this.untilTheEditorStopsPlaying() ? "gone" : "lingering";
       }
@@ -42896,6 +42911,7 @@ class GodotServer {
     if (why !== null) {
       clearTheRecord();
       running.endedHere = null;
+      running.notEndedBecause = why;
       running.log.record("warning", `This run was not ended here: pid ${running.pid} no longer answers as the process the run was started as (${why}), so nothing was signalled. If that process is still the game, end it yourself; if it is not, it belongs to something else.`);
       return "refused";
     }
@@ -42920,6 +42936,9 @@ class GodotServer {
       running.exitCode = null;
       running.exitSignal = "SIGTERM";
     }
+    if (landed) {
+      running.endedThrough = "signal";
+    }
     clearTheRecord();
     running.log.record(gone ? "info" : "warning", declined !== null ? `gdharness could not signal pid ${running.pid}: the operating system refused it (${declined}). It had described that process as ${described}.` : !gone ? `gdharness signalled pid ${running.pid}, which the operating system described as ${described}, and it was still running ${STOP_WAIT_MS / 1000} seconds later.` : landed ? `gdharness ended pid ${running.pid}, which the operating system described as ${described}.` : `gdharness signalled pid ${running.pid} and it was already gone; the operating system had described it as ${described}.`);
     return gone ? "gone" : "lingering";
@@ -42930,6 +42949,9 @@ class GodotServer {
       this.logDebug(`The keeper of pid ${pid} could not be asked to end it (${asked.unreached})`);
       return null;
     }
+    if (asked === "signalled") {
+      run.endedThrough = "keeper";
+    }
     const gone = await untilGone([pid]);
     if (gone) {
       await this.untilTheExitIsRecorded(run);
@@ -43655,11 +43677,13 @@ class GodotServer {
       endedPid,
       throughEditor: stopped.throughEditor,
       exitSignal: stopped.exitSignal,
-      clean: cleanVerdict(stopped)
+      clean: cleanVerdict(stopped),
+      ...stopped.notEndedBecause === undefined ? {} : { notEndedBecause: stopped.notEndedBecause }
     });
     return this.jsonTextResponse({
       stopped: verdict.stopped,
       through: stopped.throughEditor ? "editor" : "gdharness",
+      endedThrough: wasRunning ? stopped.endedThrough : undefined,
       endedPid: verdict.endedPid,
       notSignalled: verdict.notSignalled,
       stillGoing: verdict.stillGoing,
@@ -43724,6 +43748,7 @@ class GodotServer {
       through: "gdharness",
       endedPid: gone ? pid : undefined,
       stillGoing: gone ? undefined : pid,
+      ...landed ? { endedThrough: "signal" } : {},
       ...childrenFields(ended),
       exitedBeforeStop: !landed,
       note: `${!gone ? `pid ${pid} was told to end and was still running ${STOP_WAIT_MS / 1000} seconds later, so it has not stopped: a game of this project that no server here was holding,` : landed ? `pid ${pid} was ended: a game of this project that no server here was holding,` : `pid ${pid} had already gone when it was signalled: a game of this project that no server here was holding,`} identified by its announcement and by its command line, ${read.executable} run with --path ${read.projectPath ?? ""}. Nothing here read what it printed or holds its exit code, so neither is in this answer.${gone ? "" : " editor_status says when it has gone."} ${aboutTheChildren(ended, false)}`

package/build/index.js

@@ -31540,7 +31540,7 @@ var TOOL_SPECS = [
         requires: ["projectPath"]
       },
       stop: {
-        summary: "end the run and answer with what it printed last, naming the process ended under endedPid: for a run the editor plays, the number its game announced under, read at the stop rather than remembered, and the operating system hands a freed number to the next process, so it can equal the game before it. A game that started processes of its own keeps them unless andChildren says to end those too. stopped is false, with the number under notSignalled, when that number no longer answers as the process the run was started as and nothing was signalled, and false with the number under stillGoing when what was told to end was still running ten seconds later",
+        summary: "end the run and answer with what it printed last, naming the process ended under endedPid: for a run the editor plays, the number its game announced under, read at the stop rather than remembered, and the operating system hands a freed number to the next process, so it can equal the game before it. A game that started processes of its own keeps them unless andChildren says to end those too. stopped is false, with the number under notSignalled, when that number no longer answers as the process the run was started as and nothing was signalled, the note naming which property it failed on, and false with the number under stillGoing when what was told to end was still running ten seconds later. endedThrough says how the stop ended a run that was going: keeper (the process that started the game ended it through the handle it holds), signal (its pid was signalled once shown to still be the run), or editor (the editor playing it was asked). A start that ends the run before it says how under endedPreviousRunThrough, with the same values, and one that refused to signal that run names the property it failed on under previousRunLeftBecause",
         requires: []
       },
       check: {
@@ -32287,7 +32287,7 @@ function stopVerdict(stop) {
     return {
       stopped: false,
       notSignalled: stop.endedPid,
-      note: `Nothing was ended: pid ${stop.endedPid ?? "unknown"} no longer answers as the process this run was started as (its engine, its project and when it started), so it was not signalled. If that process is still the game, end it yourself, for instance with runtime_invoke calling get_tree().quit() when the game has the runtime addon; if it is not, it belongs to something else.`,
+      note: `Nothing was ended: pid ${stop.endedPid ?? "unknown"} no longer answers as the process this run was started as (${stop.notEndedBecause ?? "its engine, its project and when it started"}), so it was not signalled. If that process is still the game, end it yourself, for instance with runtime_invoke calling get_tree().quit() when the game has the runtime addon; if it is not, it belongs to something else.`,
       withChildren: false
     };
   }
@@ -32308,6 +32308,15 @@ function stopVerdict(stop) {
     withChildren: true
   };
 }
+function previousRunHow(ended) {
+  if (ended === null) {
+    return {};
+  }
+  return {
+    ...ended.through === undefined || ended.ending === "refused" ? {} : { endedPreviousRunThrough: ended.through },
+    ...ended.ending === "refused" && ended.notEndedBecause !== undefined ? { previousRunLeftBecause: ended.notEndedBecause } : {}
+  };
+}
 function endedPreviousRun(ended) {
   if (ended?.ending !== "gone") {
     return;
@@ -35092,9 +35101,12 @@ class GodotServer {
     if (before !== null && await this.runStillGoing(before)) {
       this.logDebug("Ending the running game before starting another");
       const endingFrom = Date.now();
+      const ending = await this.endActiveGame("editor_run start, which ends the run that was going before it starts another", true);
       ended = {
         pid: before.pid ?? this.announcedPidOf(before) ?? null,
-        ending: await this.endActiveGame("editor_run start, which ends the run that was going before it starts another", true)
+        ending,
+        ...before.endedThrough === undefined ? {} : { through: before.endedThrough },
+        ...before.notEndedBecause === undefined ? {} : { notEndedBecause: before.notEndedBecause }
       };
       this.logDebug(`The running game was ${ended.ending} after ${Date.now() - endingFrom}ms`);
     }
@@ -35142,6 +35154,7 @@ class GodotServer {
       savesNote: asked.value.savesIn !== undefined && savesStayPut() ? SAVES_NOT_MOVED_NOTE : undefined,
       endedPreviousRun: endedPreviousRun(ended),
       previousRunLeft: previousRunLeft(ended),
+      ...previousRunHow(ended),
       runtime: await this.runtimeUp(project.value.path, alreadyPlaying, runtimeWaitMs, given.value.length > 0),
       message: `Use editor_output for what it prints and editor_run stop to end it.${spawnedInstead}${endedForThis}${alsoRunning}`
     });
@@ -35294,6 +35307,7 @@ class GodotServer {
       debugPort: readNumber(playAnswer, "debugPort"),
       endedPreviousRun: endedPreviousRun(ended),
       previousRunLeft: previousRunLeft(ended),
+      ...previousRunHow(ended),
       breakpoints: breakpoints.applied.length === 0 ? undefined : this.breakpointsAsProjectSpells(projectPath, breakpoints.applied),
       breakpointsRefused: breakpoints.refused.length === 0 ? undefined : breakpoints.refused.map((one) => ({
         scriptPath: projectSpelling(projectPath, one.scriptPath),
@@ -35448,6 +35462,7 @@ class GodotServer {
         running.log.record("warning", `This run was not ended here: the editor could not be asked to stop it (${asked.content[0]?.text ?? "no reason given"}).`);
         return "unreached";
       }
+      running.endedThrough = "editor";
       if (announced === undefined) {
         return await this.untilTheEditorStopsPlaying() ? "gone" : "lingering";
       }
@@ -35476,6 +35491,7 @@ class GodotServer {
     if (why !== null) {
       clearTheRecord();
       running.endedHere = null;
+      running.notEndedBecause = why;
       running.log.record("warning", `This run was not ended here: pid ${running.pid} no longer answers as the process the run was started as (${why}), so nothing was signalled. If that process is still the game, end it yourself; if it is not, it belongs to something else.`);
       return "refused";
     }
@@ -35500,6 +35516,9 @@ class GodotServer {
       running.exitCode = null;
       running.exitSignal = "SIGTERM";
     }
+    if (landed) {
+      running.endedThrough = "signal";
+    }
     clearTheRecord();
     running.log.record(gone ? "info" : "warning", declined !== null ? `gdharness could not signal pid ${running.pid}: the operating system refused it (${declined}). It had described that process as ${described}.` : !gone ? `gdharness signalled pid ${running.pid}, which the operating system described as ${described}, and it was still running ${STOP_WAIT_MS / 1000} seconds later.` : landed ? `gdharness ended pid ${running.pid}, which the operating system described as ${described}.` : `gdharness signalled pid ${running.pid} and it was already gone; the operating system had described it as ${described}.`);
     return gone ? "gone" : "lingering";
@@ -35510,6 +35529,9 @@ class GodotServer {
       this.logDebug(`The keeper of pid ${pid} could not be asked to end it (${asked.unreached})`);
       return null;
     }
+    if (asked === "signalled") {
+      run.endedThrough = "keeper";
+    }
     const gone = await untilGone([pid]);
     if (gone) {
       await this.untilTheExitIsRecorded(run);
@@ -36235,11 +36257,13 @@ class GodotServer {
       endedPid,
       throughEditor: stopped.throughEditor,
       exitSignal: stopped.exitSignal,
-      clean: cleanVerdict(stopped)
+      clean: cleanVerdict(stopped),
+      ...stopped.notEndedBecause === undefined ? {} : { notEndedBecause: stopped.notEndedBecause }
     });
     return this.jsonTextResponse({
       stopped: verdict.stopped,
       through: stopped.throughEditor ? "editor" : "gdharness",
+      endedThrough: wasRunning ? stopped.endedThrough : undefined,
       endedPid: verdict.endedPid,
       notSignalled: verdict.notSignalled,
       stillGoing: verdict.stillGoing,
@@ -36304,6 +36328,7 @@ class GodotServer {
       through: "gdharness",
       endedPid: gone ? pid : undefined,
       stillGoing: gone ? undefined : pid,
+      ...landed ? { endedThrough: "signal" } : {},
       ...childrenFields(ended),
       exitedBeforeStop: !landed,
       note: `${!gone ? `pid ${pid} was told to end and was still running ${STOP_WAIT_MS / 1000} seconds later, so it has not stopped: a game of this project that no server here was holding,` : landed ? `pid ${pid} was ended: a game of this project that no server here was holding,` : `pid ${pid} had already gone when it was signalled: a game of this project that no server here was holding,`} identified by its announcement and by its command line, ${read.executable} run with --path ${read.projectPath ?? ""}. Nothing here read what it printed or holds its exit code, so neither is in this answer.${gone ? "" : " editor_status says when it has gone."} ${aboutTheChildren(ended, false)}`

package/package.json

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