@rsaglobaltech/specgate 0.22.3 → 0.24.0

package/CHANGELOG.md

@@ -9,6 +9,66 @@ The release process is in [`docs/release-process.md`](docs/release-process.md).
 
 ## [Unreleased]
 
+## [0.24.0] — 2026-10-26
+
+A live view you can work from, and a harness that survives a night: what a twenty-requirement chain in a Next.js app ran into.
+
+### Added
+
+- **A requirement opens into everything the project holds about it**
+  (REQ-180): clicking a requirement in `/live` shows its statement, its
+  scenarios with their steps, the spec file and line that define it, its
+  assumptions, the tests that name it, its feature, every attempt with the
+  stage it failed at, and the files the last attempt changed, each linked to
+  the editor.
+- **The agent's session in the live view** (REQ-182):
+  `harness events --from claude` now records the model, the context of each message against the
+  model's window, and the session's tokens, cost and turns; `harness run`
+  keeps the run's queue and each attempt's prompt beside the events. The
+  sidebar is the run's work queue (now, needs attention, up next with an
+  estimate, finished recently), the summary adds tokens and cost, and an
+  Agent tab shows the selected attempt's session and the prompt it was given.
+
+### Changed
+
+- **The live view groups by module and keeps its header in view** (REQ-181):
+  the header and summary stay put while the page scrolls; the centre is a
+  matrix by module, one segment per requirement, queued ones included; and a
+  Traceability view shows the matrix as it stands, filtered as you type.
+
+### Fixed
+
+- **The harness no longer fills the disk** (REQ-184): the in-flight view
+  copied each worktree whole, `.next/cache` included, until a chain stopped
+  with ENOSPC. It now copies only what git keeps, and a requirement does not
+  start with less than 2 GB free (`SPECGATE_HARNESS_MIN_FREE_GB`).
+- **Re-running delivered requirements works in the order asked** (REQ-185):
+  `--req` order is kept, and a branch whose own work is already merged is
+  recreated without `--force`.
+- **One harness run per working copy** (REQ-186): a lock beside the events
+  refuses a second run; `check` warns while a run holds it; a post-merge
+  failure says it ran in the working copy.
+- **`check` fills the test command's placeholders** (REQ-183): a test command
+  with `{req}` ran with the literal text. `check` runs it for the whole
+  project, with the placeholders empty; `apply` and `done` fill `{req}` with
+  the requirement they deliver.
+- **The live view takes the last attempt that started**, not the highest
+  attempt number, so a new run's attempt 1 is not hidden by an earlier run's
+  attempt 3.
+
+## [0.23.0] — 2026-10-25
+
+The live view, read like a CI run: watch the harness work through a run requirement by requirement, step by step.
+
+### Changed
+
+- **The live view reads like a CI run** (REQ-179): `/live` listed every
+  requirement the same way, by id alone. It now has a sidebar of the run's
+  requirements by module, a summary of the run, its requirements as a graph of
+  jobs, and the selected one's steps (Agent, each gate stage, the stages still
+  to come) with the agent's stream as the log of the step in progress. Each
+  requirement shows its title from the specification. Light and dark.
+
 ## [0.22.3] — 2026-10-25
 
 What a first project from a brief tripped over, from statuses to the harness's first attempt: rehearsed on a Spanish brief with eight modules and a Next.js monorepo.

package/dist/packages/core/src/domain/DoneVerification.js

@@ -1,10 +1,29 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.NO_TEST_COMMAND_WARNING = void 0;
+exports.gateTestCommand = gateTestCommand;
 exports.planDoneVerification = planDoneVerification;
 exports.planGateCheck = planGateCheck;
 exports.deliveryBlocker = deliveryBlocker;
 const TraceabilityFormat_1 = require("./TraceabilityFormat");
+/**
+ * The test command as the gate outside the harness runs it (REQ-183): `{req}`
+ * is the requirement being delivered, or empty when the whole project is
+ * checked; `{scenario}` and `{feature_file}` are always empty, since no one
+ * scenario is meant. The harness fills them per requirement; `check` used to
+ * run them as written, and a command that named the requirement broke it.
+ */
+function gateTestCommand(testCmd, reqId) {
+    return testCmd
+        .split("{req}")
+        .join(reqId || "")
+        .split("{scenario}")
+        .join("")
+        .split("{feature_file}")
+        .join("")
+        .replace(/[ \t]+$/gm, "")
+        .trim();
+}
 /**
  * The checks `done` should run, in the order they should run.
  *
@@ -33,7 +52,7 @@ function planDoneVerification(projectDir, opts) {
     const archCmd = (opts.archCmd || "").trim();
     if (archCmd !== "")
         steps.push({ stage: "arch", argv: [archCmd] });
-    const testCmd = (opts.testCmd || "").trim();
+    const testCmd = gateTestCommand((opts.testCmd || "").trim(), opts.reqId);
     if (testCmd !== "")
         steps.push({ stage: "tests", argv: [testCmd] });
     return { steps, testsUnverified: testCmd === "" };
@@ -51,7 +70,7 @@ function planGateCheck(projectDir, testCmd, archCmd) {
     const arch = (archCmd || "").trim();
     if (arch !== "")
         steps.push({ stage: "arch", argv: [arch] });
-    const cmd = (testCmd || "").trim();
+    const cmd = gateTestCommand((testCmd || "").trim());
     if (cmd !== "")
         steps.push({ stage: "tests", argv: [cmd] });
     return { steps, testsUnverified: cmd === "" };

package/dist/packages/core/src/domain/DoneVerification.js.map

@@ -1 +1 @@
-{"version":3,"file":"DoneVerification.js","sourceRoot":"","sources":["../../../../../packages/core/src/domain/DoneVerification.ts"],"names":[],"mappings":";;;AA2EA,oDA6BC;AAUD,sCAWC;AA8BD,0CAcC;AAzKD,6DAA8F;AAoE9F;;;;;;GAMG;AACH,SAAgB,oBAAoB,CAClC,UAAkB,EAClB,IAAsB;IAEtB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;IAE9E,MAAM,YAAY,GAAG,CAAC,UAAU,CAAC,CAAC;IAClC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,0EAA0E;QAC1E,oEAAoE;QACpE,sEAAsE;QACtE,oEAAoE;QACpE,yEAAyE;QACzE,2DAA2D;QAC3D,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAChC,CAAC;IACD,IAAI,IAAI,CAAC,KAAK;QAAE,YAAY,CAAC,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAE9D,MAAM,KAAK,GAAuB,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;IAE9E,2EAA2E;IAC3E,2EAA2E;IAC3E,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5C,IAAI,OAAO,KAAK,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAEnE,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5C,IAAI,OAAO,KAAK,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAEpE,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,OAAO,KAAK,EAAE,EAAE,CAAC;AACpD,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,aAAa,CAC3B,UAAkB,EAClB,OAAgB,EAChB,OAAgB;IAEhB,MAAM,KAAK,GAAuB,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC;IAC1F,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACpC,IAAI,IAAI,KAAK,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7D,MAAM,GAAG,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACnC,IAAI,GAAG,KAAK,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5D,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,GAAG,KAAK,EAAE,EAAE,CAAC;AAChD,CAAC;AAED,iFAAiF;AACpE,QAAA,uBAAuB,GAAG,MAAM,CAAC,MAAM,CAAC;IACnD,OAAO,EAAE,4EAA4E;IACrF,GAAG,EAAE;QACH,0EAA0E;QAC1E,gGAAgG;QAChG,0CAA0C;KAC3C;CACF,CAAC,CAAC;AAQH;;;;;;;;;;;GAWG;AACH,SAAgB,eAAe,CAAC,YAAoB,EAAE,KAAa;IACjE,MAAM,IAAI,GAAG,IAAA,2CAAsB,EAAC,YAAY,CAAC,CAAC;IAClD,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,OAAO,GAAG,IAAA,oCAAe,EAAC,YAAY,CAAC;SAC1C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAA,kCAAa,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC;SAC1C,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,qBAAqB,CAAC,CAAC;IAChF,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,OAAO;QACL,IAAI,EAAE,0BAA0B;QAChC,OAAO,EAAE,GAAG,KAAK,kDAAkD;QACnE,GAAG,EACD,0EAA0E;YAC1E,sGAAsG;KACzG,CAAC;AACJ,CAAC"}
+{"version":3,"file":"DoneVerification.js","sourceRoot":"","sources":["../../../../../packages/core/src/domain/DoneVerification.ts"],"names":[],"mappings":";;;AA2EA,0CAUC;AASD,oDA6BC;AAUD,sCAWC;AA8BD,0CAcC;AA5LD,6DAA8F;AAoE9F;;;;;;GAMG;AACH,SAAgB,eAAe,CAAC,OAAe,EAAE,KAAc;IAC7D,OAAO,OAAO;SACX,KAAK,CAAC,OAAO,CAAC;SACd,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;SACjB,KAAK,CAAC,YAAY,CAAC;SACnB,IAAI,CAAC,EAAE,CAAC;SACR,KAAK,CAAC,gBAAgB,CAAC;SACvB,IAAI,CAAC,EAAE,CAAC;SACR,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC;SACxB,IAAI,EAAE,CAAC;AACZ,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,oBAAoB,CAClC,UAAkB,EAClB,IAAsB;IAEtB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;IAE9E,MAAM,YAAY,GAAG,CAAC,UAAU,CAAC,CAAC;IAClC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,0EAA0E;QAC1E,oEAAoE;QACpE,sEAAsE;QACtE,oEAAoE;QACpE,yEAAyE;QACzE,2DAA2D;QAC3D,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAChC,CAAC;IACD,IAAI,IAAI,CAAC,KAAK;QAAE,YAAY,CAAC,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAE9D,MAAM,KAAK,GAAuB,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;IAE9E,2EAA2E;IAC3E,2EAA2E;IAC3E,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5C,IAAI,OAAO,KAAK,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAEnE,MAAM,OAAO,GAAG,eAAe,CAAC,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACzE,IAAI,OAAO,KAAK,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAEpE,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,OAAO,KAAK,EAAE,EAAE,CAAC;AACpD,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,aAAa,CAC3B,UAAkB,EAClB,OAAgB,EAChB,OAAgB;IAEhB,MAAM,KAAK,GAAuB,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC;IAC1F,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACpC,IAAI,IAAI,KAAK,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7D,MAAM,GAAG,GAAG,eAAe,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACpD,IAAI,GAAG,KAAK,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5D,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,GAAG,KAAK,EAAE,EAAE,CAAC;AAChD,CAAC;AAED,iFAAiF;AACpE,QAAA,uBAAuB,GAAG,MAAM,CAAC,MAAM,CAAC;IACnD,OAAO,EAAE,4EAA4E;IACrF,GAAG,EAAE;QACH,0EAA0E;QAC1E,gGAAgG;QAChG,0CAA0C;KAC3C;CACF,CAAC,CAAC;AAQH;;;;;;;;;;;GAWG;AACH,SAAgB,eAAe,CAAC,YAAoB,EAAE,KAAa;IACjE,MAAM,IAAI,GAAG,IAAA,2CAAsB,EAAC,YAAY,CAAC,CAAC;IAClD,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,OAAO,GAAG,IAAA,oCAAe,EAAC,YAAY,CAAC;SAC1C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAA,kCAAa,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC;SAC1C,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,qBAAqB,CAAC,CAAC;IAChF,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,OAAO;QACL,IAAI,EAAE,0BAA0B;QAChC,OAAO,EAAE,GAAG,KAAK,kDAAkD;QACnE,GAAG,EACD,0EAA0E;YAC1E,sGAAsG;KACzG,CAAC;AACJ,CAAC"}

package/dist/packages/core/test/unit/done-verification.test.js

@@ -84,4 +84,22 @@ const DoneVerification_1 = require("../../src/domain/DoneVerification");
     assert.match(DoneVerification_1.NO_TEST_COMMAND_WARNING.fix.join(" "), /`apply` and `check`/);
     assert.doesNotMatch(DoneVerification_1.NO_TEST_COMMAND_WARNING.fix.join(" "), /`done`/);
 });
+// REQ-183 — the gate's placeholders outside the harness. `check` ran
+// `node check.mjs {req}` with the literal text `{req}`, so a test command that
+// names the requirement broke every `check` (fuhrerschein, S1).
+(0, node_test_1.test)("REQ-183 SCN-183a: check runs the test command for the whole project, its placeholders empty", () => {
+    const plan = (0, DoneVerification_1.planGateCheck)("/p", "npm test && node e2e-names.mjs {req} {scenario} {feature_file}");
+    const tests = plan.steps.find((s) => s.stage === "tests");
+    assert.equal(tests?.argv[0], "npm test && node e2e-names.mjs");
+});
+(0, node_test_1.test)("REQ-183 SCN-183b: done and apply run it for the requirement they deliver", () => {
+    const plan = (0, DoneVerification_1.planDoneVerification)("/p", {
+        check: true,
+        strict: false,
+        reqId: "REQ-007",
+        testCmd: "npm test && node e2e-names.mjs {req}",
+    });
+    const tests = plan.steps.find((s) => s.stage === "tests");
+    assert.equal(tests?.argv[0], "npm test && node e2e-names.mjs REQ-007");
+});
 //# sourceMappingURL=done-verification.test.js.map

package/dist/packages/core/test/unit/done-verification.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"done-verification.test.js","sourceRoot":"","sources":["../../../../../packages/core/test/unit/done-verification.test.ts"],"names":[],"mappings":";AAAA;;GAEG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,yCAAiC;AACjC,2DAA6C;AAE7C,wEAAkG;AAElG,IAAA,gBAAI,EAAC,kEAAkE,EAAE,GAAG,EAAE;IAC5E,MAAM,IAAI,GAAG,IAAA,uCAAoB,EAAC,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IACzE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACjC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,KAAK,EAAE,mDAAmD,CAAC,CAAC;AACjG,CAAC,CAAC,CAAC;AAEH,IAAA,gBAAI,EAAC,mBAAmB,EAAE,GAAG,EAAE;IAC7B,MAAM,IAAI,GAAG,IAAA,uCAAoB,EAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IACxE,MAAM,CAAC,SAAS,CACd,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAC9B,CAAC,UAAU,CAAC,CACb,CAAC;IACF,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC;AAEH,IAAA,gBAAI,EAAC,0DAA0D,EAAE,GAAG,EAAE;IACpE,6EAA6E;IAC7E,mEAAmE;IACnE,4EAA4E;IAC5E,yDAAyD;IACzD,MAAM,IAAI,GAAG,IAAA,uCAAoB,EAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACvE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;AAC3D,CAAC,CAAC,CAAC;AAEH,IAAA,gBAAI,EAAC,sDAAsD,EAAE,GAAG,EAAE;IAChE,MAAM,IAAI,GAAG,IAAA,uCAAoB,EAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IACzF,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,cAAc,EAAE,SAAS,CAAC,CAAC,CAAC;AACtF,CAAC,CAAC,CAAC;AAEH,IAAA,gBAAI,EAAC,4DAA4D,EAAE,GAAG,EAAE;IACtE,6EAA6E;IAC7E,2EAA2E;IAC3E,MAAM,IAAI,GAAG,IAAA,uCAAoB,EAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;IAC7F,MAAM,CAAC,SAAS,CACd,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAC9B,CAAC,UAAU,EAAE,OAAO,CAAC,CACtB,CAAC;IACF,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;AAC5C,CAAC,CAAC,CAAC;AAEH,IAAA,gBAAI,EAAC,4DAA4D,EAAE,GAAG,EAAE;IACtE,kDAAkD;IAClD,KAAK,MAAM,OAAO,IAAI,CAAC,SAAS,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,GAAG,IAAA,uCAAoB,EAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;QACjF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;QAC5F,MAAM,CAAC,SAAS,CACd,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAC9B,CAAC,UAAU,CAAC,CACb,CAAC;IACJ,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAA,gBAAI,EAAC,+CAA+C,EAAE,GAAG,EAAE;IACzD,MAAM,CAAC,KAAK,CAAC,0CAAuB,CAAC,OAAO,EAAE,6BAA6B,CAAC,CAAC;IAC7E,MAAM,CAAC,EAAE,CAAC,0CAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3E,oEAAoE;IACpE,MAAM,CAAC,KAAK,CAAC,0CAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,qBAAqB,CAAC,CAAC;IAC3E,MAAM,CAAC,YAAY,CAAC,0CAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC;AACvE,CAAC,CAAC,CAAC"}
+{"version":3,"file":"done-verification.test.js","sourceRoot":"","sources":["../../../../../packages/core/test/unit/done-verification.test.ts"],"names":[],"mappings":";AAAA;;GAEG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,yCAAiC;AACjC,2DAA6C;AAE7C,wEAI2C;AAE3C,IAAA,gBAAI,EAAC,kEAAkE,EAAE,GAAG,EAAE;IAC5E,MAAM,IAAI,GAAG,IAAA,uCAAoB,EAAC,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IACzE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACjC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,KAAK,EAAE,mDAAmD,CAAC,CAAC;AACjG,CAAC,CAAC,CAAC;AAEH,IAAA,gBAAI,EAAC,mBAAmB,EAAE,GAAG,EAAE;IAC7B,MAAM,IAAI,GAAG,IAAA,uCAAoB,EAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IACxE,MAAM,CAAC,SAAS,CACd,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAC9B,CAAC,UAAU,CAAC,CACb,CAAC;IACF,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC;AAEH,IAAA,gBAAI,EAAC,0DAA0D,EAAE,GAAG,EAAE;IACpE,6EAA6E;IAC7E,mEAAmE;IACnE,4EAA4E;IAC5E,yDAAyD;IACzD,MAAM,IAAI,GAAG,IAAA,uCAAoB,EAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACvE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;AAC3D,CAAC,CAAC,CAAC;AAEH,IAAA,gBAAI,EAAC,sDAAsD,EAAE,GAAG,EAAE;IAChE,MAAM,IAAI,GAAG,IAAA,uCAAoB,EAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IACzF,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,cAAc,EAAE,SAAS,CAAC,CAAC,CAAC;AACtF,CAAC,CAAC,CAAC;AAEH,IAAA,gBAAI,EAAC,4DAA4D,EAAE,GAAG,EAAE;IACtE,6EAA6E;IAC7E,2EAA2E;IAC3E,MAAM,IAAI,GAAG,IAAA,uCAAoB,EAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;IAC7F,MAAM,CAAC,SAAS,CACd,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAC9B,CAAC,UAAU,EAAE,OAAO,CAAC,CACtB,CAAC;IACF,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;AAC5C,CAAC,CAAC,CAAC;AAEH,IAAA,gBAAI,EAAC,4DAA4D,EAAE,GAAG,EAAE;IACtE,kDAAkD;IAClD,KAAK,MAAM,OAAO,IAAI,CAAC,SAAS,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,GAAG,IAAA,uCAAoB,EAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;QACjF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;QAC5F,MAAM,CAAC,SAAS,CACd,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAC9B,CAAC,UAAU,CAAC,CACb,CAAC;IACJ,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAA,gBAAI,EAAC,+CAA+C,EAAE,GAAG,EAAE;IACzD,MAAM,CAAC,KAAK,CAAC,0CAAuB,CAAC,OAAO,EAAE,6BAA6B,CAAC,CAAC;IAC7E,MAAM,CAAC,EAAE,CAAC,0CAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3E,oEAAoE;IACpE,MAAM,CAAC,KAAK,CAAC,0CAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,qBAAqB,CAAC,CAAC;IAC3E,MAAM,CAAC,YAAY,CAAC,0CAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC;AACvE,CAAC,CAAC,CAAC;AAEH,qEAAqE;AACrE,+EAA+E;AAC/E,gEAAgE;AAChE,IAAA,gBAAI,EAAC,6FAA6F,EAAE,GAAG,EAAE;IACvG,MAAM,IAAI,GAAG,IAAA,gCAAa,EACxB,IAAI,EACJ,gEAAgE,CACjE,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC;IAC1D,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,gCAAgC,CAAC,CAAC;AACjE,CAAC,CAAC,CAAC;AAEH,IAAA,gBAAI,EAAC,0EAA0E,EAAE,GAAG,EAAE;IACpF,MAAM,IAAI,GAAG,IAAA,uCAAoB,EAAC,IAAI,EAAE;QACtC,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,KAAK;QACb,KAAK,EAAE,SAAS;QAChB,OAAO,EAAE,sCAAsC;KAChD,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC;IAC1D,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,wCAAwC,CAAC,CAAC;AACzE,CAAC,CAAC,CAAC"}

package/dist/scripts/cli/commands/harness/RunCommand.js

@@ -81,6 +81,7 @@ const prompt_1 = require("../../../harness/prompt");
 const init_1 = require("../../../harness/init");
 const in_flight_1 = require("../../../lib/in-flight");
 const harness_events_1 = require("../../../lib/harness-events");
+const harness_guard_1 = require("../../../lib/harness-guard");
 const HarnessEvents_1 = require("../../../../packages/core/src/domain/HarnessEvents");
 /**
  * `read` against the project as it will be after its open changes are
@@ -990,6 +991,14 @@ function attemptRequirement(req, ctx) {
                 const promptFile = path.join(os.tmpdir(), `specgate-harness-prompt-${req.requirement}-${crypto.randomBytes(4).toString("hex")}.md`);
                 fs.writeFileSync(promptFile, prompt, "utf8");
                 archivePrompt(worktreeDir, req.requirement, attempt, step, prompt);
+                // The live view shows what the agent was told and how big it was (REQ-182).
+                (0, harness_events_1.keepPrompt)(ctx.projectDir || worktreeDir, req.requirement, attempt, prompt);
+                event({
+                    type: "prompt",
+                    role: step.profile || (step.advisory ? "reviewer" : "agent"),
+                    chars: prompt.length,
+                    lines: prompt.split("\n").length,
+                });
                 // D1: a profile chosen by matching this requirement, when one matches.
                 // The role ladder still wins — `attempt_profiles` names a profile for
                 // *this step*, and a step that says which role it is has already
@@ -1667,15 +1676,32 @@ function processRequirement(req, ctx) {
         };
     }
     const worktreeDir = path.join(os.tmpdir(), `specgate-harness-${req.requirement}-${crypto.randomBytes(4).toString("hex")}`);
+    // A full disk mid-copy ended a night's chain with ENOSPC (REQ-184): stop
+    // before starting, with the reason, instead.
+    const lowDisk = (0, harness_guard_1.lowDiskMessage)((0, harness_guard_1.freeBytes)(os.tmpdir()), (0, harness_guard_1.minFreeBytes)(), os.tmpdir());
+    if (lowDisk) {
+        return {
+            requirement: req.requirement,
+            category: req.category,
+            result: "fail",
+            attempts: 0,
+            branch,
+            error: `Not started: ${lowDisk}`,
+        };
+    }
     // Three ways to meet an existing branch, and until C3 there were only two:
     // skip it, or delete it with --force. After an interruption — a crash, a
     // Ctrl-C, a spend limit — neither is what anyone wants.
     let resuming = false;
-    if (branchExists(projectDir, branch)) {
-        if (ctx.resume) {
+    const exists = branchExists(projectDir, branch);
+    // A branch already merged into the base holds nothing to lose (REQ-185).
+    const merged = exists && (0, harness_guard_1.branchMergedInto)(projectDir, branch, baseRef);
+    const action = (0, harness_guard_1.existingBranchAction)({ exists, merged, resume: Boolean(ctx.resume), force });
+    if (exists) {
+        if (action === "resume") {
             resuming = true;
         }
-        else if (!force) {
+        else if (action === "skip") {
             return {
                 requirement: req.requirement,
                 category: req.category,
@@ -1687,6 +1713,8 @@ function processRequirement(req, ctx) {
             };
         }
         else {
+            if (merged && !force)
+                info(`${req.requirement}: ${branch} is already merged — recreating it`);
             git(projectDir, ["branch", "-D", branch]);
         }
     }
@@ -2047,7 +2075,9 @@ async function runChain(pending, ctx, hintByReq) {
                 result: "fail",
                 error: `post-merge gate: ${gate.stage}\n${String(gate.output || "").slice(-4000)}`,
             });
-            warn(`${req.requirement}: green on ${branch}, red once merged — the merge was undone`);
+            warn(`${req.requirement}: green on ${branch}, red once merged — the merge was undone. ` +
+                `This gate runs in the working copy: tests or a server started there by hand ` +
+                `while the harness runs can break it.`);
             stop(`the chain stopped at ${req.requirement}`);
             break;
         }
@@ -2393,7 +2423,8 @@ class RunCommand extends command_1.BaseCommand {
             });
             if (args.reqs.length > 0) {
                 const wanted = new Set(args.reqs);
-                pending = pending.filter((r) => wanted.has(r.requirement));
+                // In the order given (REQ-185): the plan's order reshuffled a chain silently.
+                pending = (0, harness_guard_1.orderAsGiven)(pending.filter((r) => wanted.has(r.requirement)), args.reqs);
                 const found = new Set(pending.map((r) => r.requirement));
                 for (const want of args.reqs) {
                     if (!found.has(want))
@@ -2497,6 +2528,20 @@ class RunCommand extends command_1.BaseCommand {
                 strictArtifacts: args.strictArtifacts,
                 verbose: args.verbose,
             };
+            // One run per working copy (REQ-186): the post-merge gate runs in it.
+            if (!process.env.SPECGATE_HARNESS_WORKER) {
+                const release = (0, harness_guard_1.acquireRunLock)(projectDir, pending.map((r) => r.requirement));
+                if (!release) {
+                    const holder = (0, harness_guard_1.runLockHolder)(projectDir);
+                    throw new Error(`Another harness run (pid ${holder ? holder.pid : "?"}) is working in this project` +
+                        (holder ? ` on ${holder.reqs.join(", ")}` : "") +
+                        `. Wait for it to finish: its post-merge gate runs in this working copy.`);
+                }
+            }
+            // What the live view lists as up next (REQ-182).
+            if (!process.env.SPECGATE_HARNESS_WORKER) {
+                (0, harness_events_1.writeQueue)(projectDir, pending.map((r) => r.requirement));
+            }
             const startedAt = new Date().toISOString();
             const results = args.chain
                 ? await runChain(pending, ctx, hintByReq)