agentopology 0.9.2 → 0.10.0

package/dist/__tests__/e2e/matcher.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"matcher.test.js","sourceRoot":"","sources":["../../../src/__tests__/e2e/matcher.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAEvD,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAE,UAAU,GAAG,EAAE,EAAE,EAAE,CAAC;;;;;;;;;;;;;;EAcnD,UAAU;;;;;;;;;;EAUV,KAAK;;CAEN,CAAC;AACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,MAAc,EAAE,EAAE,CAAC,YAAY,IAAI,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC;AACxI,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,IAAY,EAAE,KAA2B,EAAE,EAAE,CACvE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC;AACvF,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;AACtE,MAAM,UAAU,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,uBAAuB,CAAE,CAAC,OAAO,CAAC,CAAC;AAEpH,QAAQ,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,cAAc,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,MAAM,CAAC,cAAc,CAAC,YAAY,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvE,MAAM,CAAC,cAAc,CAAC,YAAY,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvE,MAAM,CAAC,cAAc,CAAC,YAAY,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvE,MAAM,CAAC,cAAc,CAAC,cAAc,EAAE,eAAe,EAAE,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpF,MAAM,CAAC,cAAc,CAAC,YAAY,EAAE,WAAW,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7E,MAAM,CAAC,cAAc,CAAC,YAAY,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1E,MAAM,CAAC,cAAc,CAAC,YAAY,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3E,MAAM,CAAC,cAAc,CAAC,YAAY,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,MAAM,CAAC,cAAc,CAAC,YAAY,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yFAAyF,EAAE,GAAG,EAAE;QACjG,MAAM,CAAC,cAAc,CAAC,YAAY,EAAE,aAAa,EAAE,8BAA8B,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChG,MAAM,CAAC,cAAc,CAAC,YAAY,EAAE,iBAAiB,EAAE,8BAA8B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,MAAM,CAAC,cAAc,CAAC,aAAa,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,MAAM,CAAC,cAAc,CAAC,YAAY,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,EAAE,CAAC,gGAAgG,EAAE,GAAG,EAAE;QACxG,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,oEAAoE,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QAChI,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,0CAA0C,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6FAA6F,EAAE,GAAG,EAAE;QACrG,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,iEAAiE,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QACjI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,gEAAgE,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QAC9H,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0FAA0F,EAAE,GAAG,EAAE;QAClG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,6DAA6D,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACrI,MAAM,SAAS,GAAG,2IAA2I,CAAC;QAC9J,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,sDAAsD,CAAC,EAAE,SAAS,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC1I,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,QAAQ,CAClB,IAAI,CAAC,GAAG,EAAE,sDAAsD,CAAC;YACjE,IAAI,CAAC,GAAG,EAAE,iEAAiE,CAAC;YAC5E,IAAI,CAAC,GAAG,EAAE,6DAA6D,CAAC,CACzE,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,gFAAgF,CAAC,CAAC,CAAC;IAEtH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,gBAAgB,EAAE,CAAC,CAAC;QACrF,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QACxE,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC;QACtF,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACjD,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,iDAAiD,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QACzG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,EAAE,CAAC,8FAA8F,EAAE,GAAG,EAAE;QACtG,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,gDAAgD,CAAC,CAAC,CAAC,CAAC;QAC7F,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,uBAAuB,CAAE,CAAC,OAAO,CAAC,CAAC;QACnF,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,gDAAgD,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;QAC9G,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,gDAAgD,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/G,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,0DAA0D,EAAE,GAAG,EAAE;IACxE,MAAM,IAAI,GAAG,CAAC,OAAe,EAAE,QAAQ,GAAG,oBAAoB,EAAE,EAAE,CAChE,QAAQ,CAAC,IAAI,CAAC,aAAa,EAAE,6BAA6B,OAAO,8BAA8B,QAAQ,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAExH,EAAE,CAAC,6FAA6F,EAAE,GAAG,EAAE;QACrG,MAAM,GAAG,GAAG,IAAI,CAAC,0CAA0C,CAAC,CAAC;QAC7D,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;QACxC,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,2BAA2B,CAAC,CAAC;QAC5D,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC9C,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,2BAA2B,EAAE,CAAC,CAAC,CAAC;IAC1H,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qGAAqG,EAAE,GAAG,EAAE;QAC7G,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,0CAA0C,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAC,CAAC;QACpF,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC;QAC7F,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,uBAAuB,EAAE,2BAA2B,EAAE,4BAA4B,CAAC,CAAC,CAAC,CAAC;QACtJ,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/e2e/step-check.test.d.ts

@@ -0,0 +1,9 @@
+/**
+ * `agentopology step check <file.at> <step-id> [--unit U] [--dir D]` (N39).
+ * A hook guards a Claude Code session only: a script run from a terminal or a
+ * scheduler never sees it. The step calls step check at its start (by: code)
+ * and stops on exit 1. It reads ledgers and runs check scripts; it never
+ * writes.
+ */
+export {};
+//# sourceMappingURL=step-check.test.d.ts.map

package/dist/__tests__/e2e/step-check.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"step-check.test.d.ts","sourceRoot":"","sources":["../../../src/__tests__/e2e/step-check.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG"}

package/dist/__tests__/e2e/step-check.test.js

@@ -0,0 +1,158 @@
+/**
+ * `agentopology step check <file.at> <step-id> [--unit U] [--dir D]` (N39).
+ * A hook guards a Claude Code session only: a script run from a terminal or a
+ * scheduler never sees it. The step calls step check at its start (by: code)
+ * and stops on exit 1. It reads ledgers and runs check scripts; it never
+ * writes.
+ */
+import { describe, it, expect, beforeEach, afterEach } from "vitest";
+import { spawnSync } from "node:child_process";
+import * as fs from "node:fs";
+import * as os from "node:os";
+import { resolve, dirname, join } from "node:path";
+import { fileURLToPath } from "node:url";
+import { parse } from "../../parser/index.js";
+import { checkStep, renderStepReport } from "../../step/check.js";
+const here = dirname(fileURLToPath(import.meta.url));
+const CLI = resolve(here, "../../../dist/cli/index.js");
+const SRC = `topology ship : [pipeline] {
+  meta { version: "1.0.0" description: "Render, then publish" }
+  orchestrator { model: sonnet handles: [render, publish, notify, tidy] }
+  action render { kind: external commands: ["./tool render"] }
+  action publish { kind: external commands: ["./tool publish"] unit-from: "./tool publish (\\S+)" }
+  action notify { kind: external commands: ["./tool notify"] }
+  action tidy { kind: external commands: ["./tool tidy"] }
+  action archive { kind: external commands: ["./tool archive"] }
+  records {
+    record trace { path: "logs/{unit}/trace.jsonl" }
+  }
+  gates {
+    gate publish-ready {
+      after: render
+      before: publish
+      ledger: trace
+    }
+    gate notify-ready {
+      before: notify
+      run: "./check-notify.sh"
+    }
+    gate both {
+      after: render
+      before: archive
+      ledger: trace
+      run: "./check-notify.sh"
+    }
+    gate empty-gate {
+      before: tidy
+    }
+  }
+  flow { render -> publish -> notify -> tidy -> archive }
+}
+`;
+const ast = parse(SRC);
+// With one record declared, a gate with no ledger: reads it. Case (c) needs a topology with none.
+const bare = parse(SRC.replace(/  records \{[\s\S]*?\n  \}\n/, "").replace(/ledger: trace\n/g, ""));
+let dir;
+const at = (p) => join(dir, p);
+const rec = (step, ok, unit) => ({ step, ...(unit ? { unit } : {}), ok, at: "2026-01-01T00:00:00Z" });
+const ledger = (unit, lines) => {
+    fs.mkdirSync(at(`logs/${unit}`), { recursive: true });
+    fs.writeFileSync(at(`logs/${unit}/trace.jsonl`), lines.map((l) => JSON.stringify(l)).join("\n") + "\n");
+};
+const script = (code, name = "check-notify.sh") => fs.writeFileSync(at(name), `#!/bin/sh\necho "checked from $(pwd)" > ran.txt\necho "script said no" >&2\nexit ${code}\n`, { mode: 0o755 });
+beforeEach(() => { dir = fs.mkdtempSync(join(os.tmpdir(), "at-step-check-")); });
+afterEach(() => fs.rmSync(dir, { recursive: true, force: true }));
+describe("[N39] step check: the three ways a gate is satisfied", () => {
+    it("[N39] SC1 (a) a ledger whose last record for the after: step is ok satisfies the gate", () => {
+        ledger("ep42", [rec("render", true, "ep42")]);
+        const r = checkStep(ast, "publish", { unit: "ep42", dir });
+        expect(r.ok).toBe(true);
+        expect(r.gates).toEqual([expect.objectContaining({ gate: "publish-ready", ok: true })]);
+    });
+    it("[N39] SC2 (a) no record, a later ok:false, or no ledger file fails and says why", () => {
+        let r = checkStep(ast, "publish", { unit: "ep42", dir });
+        expect(r.ok).toBe(false);
+        expect(r.gates[0].reasons.join(" ")).toContain("logs/ep42/trace.jsonl");
+        ledger("ep42", [rec("render", true, "ep42"), rec("render", false, "ep42")]);
+        r = checkStep(ast, "publish", { unit: "ep42", dir });
+        expect(r.ok).toBe(false);
+        expect(r.gates[0].reasons.join(" ")).toMatch(/not ok/);
+    });
+    it("[N39] SC3 (a) the unit filter: another unit's ok record does not count, and a path with {unit} needs --unit", () => {
+        ledger("ep41", [rec("render", true, "ep41")]);
+        ledger("ep42", [rec("render", true, "ep41")]);
+        expect(checkStep(ast, "publish", { unit: "ep42", dir }).ok).toBe(false);
+        const none = checkStep(ast, "publish", { dir });
+        expect(none.ok).toBe(false);
+        expect(none.gates[0].reasons.join(" ")).toMatch(/--unit/);
+    });
+    it("[N39] SC4 a unit that would climb out of the project fails instead of reading a path", () => {
+        expect(checkStep(ast, "publish", { unit: "../../etc", dir }).ok).toBe(false);
+    });
+    it("[N39] SC5 (b) a run: that exits 0 from D satisfies the gate; non-zero fails, with its output", () => {
+        script(0);
+        let r = checkStep(ast, "notify", { dir });
+        expect(r.ok).toBe(true);
+        expect(fs.readFileSync(at("ran.txt"), "utf8")).toContain(fs.realpathSync(dir));
+        script(1);
+        r = checkStep(ast, "notify", { dir });
+        expect(r.ok).toBe(false);
+        expect(r.gates[0].reasons.join(" ")).toContain("script said no");
+    });
+    it("[N39] SC6 (c) a gate with neither ledger nor run: is unsatisfiable: nothing to check", () => {
+        const r = checkStep(bare, "tidy", { dir });
+        expect(r.ok).toBe(false);
+        expect(r.gates[0].reasons.join(" ")).toContain("nothing to check");
+        // a ledger answers "did the after: step finish ok?": with no after: there is nothing to look up, even with one record declared
+        expect(checkStep(ast, "tidy", { unit: "ep42", dir }).gates[0].reasons.join(" ")).toContain("nothing to check");
+    });
+    it("[N39] SC7 a gate with a ledger and a run: needs both", () => {
+        script(0);
+        expect(checkStep(ast, "archive", { unit: "ep42", dir }).ok).toBe(false);
+        ledger("ep42", [rec("render", true, "ep42")]);
+        expect(checkStep(ast, "archive", { unit: "ep42", dir }).ok).toBe(true);
+        script(3);
+        expect(checkStep(ast, "archive", { unit: "ep42", dir }).ok).toBe(false);
+    });
+    it("[N39] SC8 a step no gate guards passes with the line \"no gate guards <step>\"", () => {
+        const r = checkStep(ast, "render", { dir });
+        expect(r).toMatchObject({ ok: true, gates: [] });
+        expect(renderStepReport(r)).toEqual(["no gate guards render"]);
+    });
+    it("[N39] SC9 it never writes: the ledger is left as it was", () => {
+        ledger("ep42", [rec("render", true, "ep42")]);
+        const before = fs.readFileSync(at("logs/ep42/trace.jsonl"), "utf8");
+        checkStep(ast, "publish", { unit: "ep42", dir });
+        expect(fs.readFileSync(at("logs/ep42/trace.jsonl"), "utf8")).toBe(before);
+        expect(fs.readdirSync(dir).sort()).toEqual(["logs"]);
+    });
+    it("[N39] SC10 the rendering names each failing gate and why", () => {
+        const text = renderStepReport(checkStep(ast, "publish", { unit: "ep42", dir })).join("\n");
+        expect(text).toContain("publish-ready");
+        expect(text).toMatch(/fail/i);
+    });
+});
+describe("[N39] step check: the CLI", () => {
+    const run = (...args) => spawnSync("node", [CLI, "step", "check", ...args], { encoding: "utf8" });
+    let file;
+    beforeEach(() => { file = at("ship.at"); fs.writeFileSync(file, SRC); });
+    it("[N39] SC11 exits 0 when satisfied, 1 when not, naming the gate", () => {
+        ledger("ep42", [rec("render", true, "ep42")]);
+        const ok = run(file, "publish", "--unit", "ep42", "--dir", dir);
+        expect(ok.status).toBe(0);
+        const bad = run(file, "publish", "--unit", "ep43", "--dir", dir);
+        expect(bad.status).toBe(1);
+        expect(bad.stdout + bad.stderr).toContain("publish-ready");
+    });
+    it("[N39] SC12 an unguarded step exits 0 and says so; --dir defaults to .", () => {
+        const r = spawnSync("node", [CLI, "step", "check", file, "render"], { encoding: "utf8", cwd: dir });
+        expect(r.status).toBe(0);
+        expect(r.stdout).toContain("no gate guards render");
+    });
+    it("[N39] SC13 a step that is no node, or missing arguments, exits 1", () => {
+        expect(run(file, "nope", "--dir", dir).status).toBe(1);
+        expect(run(file).status).toBe(1);
+        expect(run().status).toBe(1);
+    });
+});
+//# sourceMappingURL=step-check.test.js.map

package/dist/__tests__/e2e/step-check.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"step-check.test.js","sourceRoot":"","sources":["../../../src/__tests__/e2e/step-check.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACrE,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAElE,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACrD,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,4BAA4B,CAAC,CAAC;AAExD,MAAM,GAAG,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiCX,CAAC;AACF,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;AACvB,kGAAkG;AAClG,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,8BAA8B,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC,CAAC;AAEpG,IAAI,GAAW,CAAC;AAChB,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;AACvC,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,EAAW,EAAE,IAAa,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,sBAAsB,EAAE,CAAC,CAAC;AAChI,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,KAAe,EAAE,EAAE;IAC/C,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,QAAQ,IAAI,cAAc,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;AAC1G,CAAC,CAAC;AACF,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,IAAI,GAAG,iBAAiB,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,oFAAoF,IAAI,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAErM,UAAU,CAAC,GAAG,EAAE,GAAG,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACjF,SAAS,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AAElE,QAAQ,CAAC,sDAAsD,EAAE,GAAG,EAAE;IACpE,EAAE,CAAC,uFAAuF,EAAE,GAAG,EAAE;QAC/F,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAC3D,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,IAAI,CAAC,GAAG,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QACzD,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;QACxE,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5E,CAAC,GAAG,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QACrD,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6GAA6G,EAAE,GAAG,EAAE;QACrH,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxE,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8FAA8F,EAAE,GAAG,EAAE;QACtG,MAAM,CAAC,CAAC,CAAC,CAAC;QACV,IAAI,CAAC,GAAG,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QAC1C,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/E,MAAM,CAAC,CAAC,CAAC,CAAC;QACV,CAAC,GAAG,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QACtC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,MAAM,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QAC3C,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QACnE,+HAA+H;QAC/H,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IACjH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,CAAC,CAAC,CAAC;QACV,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxE,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvE,MAAM,CAAC,CAAC,CAAC,CAAC;QACV,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QAC5C,MAAM,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QACjD,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,uBAAuB,CAAC,EAAE,MAAM,CAAC,CAAC;QACpE,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QACjD,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,uBAAuB,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1E,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,IAAI,GAAG,gBAAgB,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3F,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,MAAM,GAAG,GAAG,CAAC,GAAG,IAAc,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IAC5G,IAAI,IAAY,CAAC;IACjB,UAAU,CAAC,GAAG,EAAE,GAAG,IAAI,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEzE,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QAChE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QACjE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,CAAC,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QACpG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/e2e/strength.test.d.ts

@@ -0,0 +1,17 @@
+/**
+ * How strongly a step is enforced, written in the file (N32).
+ *
+ * `strength: refuse | detect | hope | none` says what stops a step: code or a
+ * hook refuses it, a critic detects it after the fact, prose hopes, or
+ * nothing. `by: code | hook | settings | gate` says which mechanism. A gate or
+ * hook can cite the code that refuses (`at: "file:line"`, `match:` the text
+ * expected there) and name its way around (`bypass:`). A flow edge can cite
+ * its guard (`[guard: lock-bash]`) or write its strength down
+ * (`[strength: none]`), so an absence is declared rather than implied.
+ *
+ * The validator checks the words and the references (V104 to V106). Whether
+ * the cited code is there and says what `match:` claims is read from disk by
+ * `guard --check`, not here: validate never reads the project.
+ */
+export {};
+//# sourceMappingURL=strength.test.d.ts.map

package/dist/__tests__/e2e/strength.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"strength.test.d.ts","sourceRoot":"","sources":["../../../src/__tests__/e2e/strength.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG"}

package/dist/__tests__/e2e/strength.test.js

@@ -0,0 +1,130 @@
+/**
+ * How strongly a step is enforced, written in the file (N32).
+ *
+ * `strength: refuse | detect | hope | none` says what stops a step: code or a
+ * hook refuses it, a critic detects it after the fact, prose hopes, or
+ * nothing. `by: code | hook | settings | gate` says which mechanism. A gate or
+ * hook can cite the code that refuses (`at: "file:line"`, `match:` the text
+ * expected there) and name its way around (`bypass:`). A flow edge can cite
+ * its guard (`[guard: lock-bash]`) or write its strength down
+ * (`[strength: none]`), so an absence is declared rather than implied.
+ *
+ * The validator checks the words and the references (V104 to V106). Whether
+ * the cited code is there and says what `match:` claims is read from disk by
+ * `guard --check`, not here: validate never reads the project.
+ */
+import { describe, it, expect } from "vitest";
+import { parse } from "../../parser/index.js";
+import { validate } from "../../parser/validator.js";
+import { serializeAST } from "../../import/serializer.js";
+const topology = (gateExtra = "", flowExtra = "", hookExtra = "") => `topology strong : [pipeline] {
+  meta {
+    version: "1.0.0"
+    description: "Strength probe"
+  }
+
+  orchestrator {
+    model: sonnet
+    handles: [publish]
+  }
+
+  agent writer {
+    model: sonnet
+    description: "Writes the post"
+    prompt {
+      Write the post.
+    }
+  }
+
+  action publish {
+    kind: external
+    description: "Posts it"
+    commands: ["./media post"]
+  }
+
+  hooks {
+    hook lock-bash {
+      on: PreToolUse
+      matcher: "Bash"
+      run: "harness/lock/hook.py"
+${hookExtra}    }
+  }
+
+  gates {
+    gate doctrine {
+      after: writer
+      before: publish
+      run: "scripts/doctrine.sh"
+      on-fail: halt
+${gateExtra}    }
+  }
+
+  flow {
+    writer -> publish${flowExtra}
+  }
+}
+`;
+const errors = (src, rule) => validate(parse(src)).filter((r) => r.rule === rule && r.level === "error");
+describe("strength is read, not dropped", () => {
+    it("[N32] a gate's strength, by, at, match and bypass are read", () => {
+        const ast = parse(topology(`      strength: refuse\n      by: code\n      at: "pxframes.py:949"\n      match: "PX_ALLOW_NO_DOCTRINE"\n      bypass: "PX_ALLOW_NO_DOCTRINE"\n`));
+        const gate = ast.nodes.find((n) => n.id === "doctrine");
+        expect(gate).toMatchObject({ strength: "refuse", by: "code", at: "pxframes.py:949", match: "PX_ALLOW_NO_DOCTRINE", bypass: "PX_ALLOW_NO_DOCTRINE" });
+        expect(validate(ast).filter((r) => r.level === "error")).toEqual([]);
+    });
+    it("[N32] a hook's strength and bypass are read", () => {
+        const ast = parse(topology("", "", `      strength: refuse\n      bypass: "AT_UNLOCK"\n`));
+        expect(ast.hooks[0]).toMatchObject({ strength: "refuse", bypass: "AT_UNLOCK" });
+    });
+    it("[N32] an edge's strength, at and guard are read, alone or after when", () => {
+        expect(parse(topology("", " [strength: none]")).edges[0]).toMatchObject({ from: "writer", to: "publish", strength: "none" });
+        expect(parse(topology("", ' [strength: hope, at: "story/SKILL.md"]')).edges[0]).toMatchObject({ strength: "hope", at: "story/SKILL.md" });
+        expect(parse(topology("", " [guard: lock-bash]")).edges[0]).toMatchObject({ to: "publish", guard: ["lock-bash"] });
+        expect(parse(topology("", " [guard: [lock-bash, doctrine]]")).edges[0]).toMatchObject({ to: "publish", guard: ["lock-bash", "doctrine"] });
+        const e = parse(topology("", " [when writer.verdict == done, guard: lock-bash]")).edges[0];
+        expect(e).toMatchObject({ to: "publish", condition: "writer.verdict == done", guard: ["lock-bash"] });
+    });
+    it("[N32] V102 accepts the new fields", () => {
+        const src = topology(`      strength: refuse\n      by: code\n      at: "x.py:1"\n      match: "y"\n      bypass: "z"\n`, " [guard: lock-bash]", `      strength: refuse\n      bypass: "AT_UNLOCK"\n`);
+        expect(errors(src, "V102")).toEqual([]);
+    });
+    it("[N32] everything round-trips through serialize and parse", () => {
+        const src = topology(`      strength: refuse\n      by: code\n      at: "pxframes.py:949"\n      match: "PX_ALLOW"\n      bypass: "PX_ALLOW"\n`, ' [when writer.verdict == done, strength: hope, at: "story/SKILL.md", guard: [lock-bash, doctrine]]', `      strength: refuse\n      bypass: "AT_UNLOCK"\n`);
+        const once = parse(src);
+        const twice = parse(serializeAST(once));
+        expect(twice.edges).toEqual(once.edges);
+        expect(twice.hooks).toEqual(once.hooks);
+        expect(twice.nodes.find((n) => n.id === "doctrine")).toEqual(once.nodes.find((n) => n.id === "doctrine"));
+    });
+});
+describe("the validator checks the words and the references", () => {
+    it("[N32] V104: an unknown strength or by is an error, on a gate, a hook and an edge", () => {
+        expect(errors(topology("      strength: maybe\n"), "V104")[0]?.message).toMatch(/maybe.*refuse, detect, hope, none/);
+        expect(errors(topology("      by: magic\n"), "V104")[0]?.message).toMatch(/magic.*code, hook, settings, gate/);
+        expect(errors(topology("", "", "      strength: strong\n"), "V104")).toHaveLength(1);
+        expect(errors(topology("", " [strength: solid]"), "V104")).toHaveLength(1);
+    });
+    it("[N32] V105: an edge's guard names a hook or gate the file declares", () => {
+        expect(errors(topology("", " [guard: lock-bash]"), "V105")).toEqual([]);
+        expect(errors(topology("", " [guard: doctrine]"), "V105")).toEqual([]);
+        const e = errors(topology("", " [guard: [lock-bash, lock-chrome]]"), "V105");
+        expect(e).toHaveLength(1);
+        expect(e[0].message).toContain("lock-chrome");
+    });
+    it("[N32] V106: an at: citation is a safe project-relative path, with an optional :line", () => {
+        expect(errors(topology('      at: "pxframes.py:949"\n'), "V106")).toEqual([]);
+        expect(errors(topology('      at: "story/SKILL.md"\n'), "V106")).toEqual([]);
+        expect(errors(topology('      at: "../other/x.py:3"\n'), "V106")).toHaveLength(1);
+        expect(errors(topology('      at: "/etc/x.py"\n'), "V106")).toHaveLength(1);
+        expect(errors(topology('      at: "x.py:twelve"\n'), "V106")).toHaveLength(1);
+        expect(errors(topology("", ' [strength: hope, at: "../x.md"]'), "V106")).toHaveLength(1);
+    });
+    it("[N32] a match: without an at: is an error: there is nowhere to look for it", () => {
+        expect(errors(topology('      match: "PX_ALLOW"\n'), "V106")[0]?.message).toMatch(/match.*at/);
+    });
+    it("[N32] a file with none of this is unaffected", () => {
+        const r = validate(parse(topology()));
+        expect(r.filter((x) => ["V104", "V105", "V106"].includes(x.rule))).toEqual([]);
+    });
+});
+//# sourceMappingURL=strength.test.js.map

package/dist/__tests__/e2e/strength.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"strength.test.js","sourceRoot":"","sources":["../../../src/__tests__/e2e/strength.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE1D,MAAM,QAAQ,GAAG,CAAC,SAAS,GAAG,EAAE,EAAE,SAAS,GAAG,EAAE,EAAE,SAAS,GAAG,EAAE,EAAE,EAAE,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA8BnE,SAAS;;;;;;;;;EAST,SAAS;;;;uBAIY,SAAS;;;CAG/B,CAAC;AAEF,MAAM,MAAM,GAAG,CAAC,GAAW,EAAE,IAAY,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC;AAEzH,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,kJAAkJ,CAAC,CAAC,CAAC;QAChL,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAQ,CAAC;QAC/D,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,sBAAsB,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC,CAAC;QACrJ,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,qDAAqD,CAAC,CAAC,CAAC;QAC3F,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QAC7H,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,yCAAyC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,gBAAgB,EAAE,CAAC,CAAC;QAC1I,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,qBAAqB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACnH,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,iCAAiC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC,CAAC;QAC3I,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,kDAAkD,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3F,MAAM,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,wBAAwB,EAAE,KAAK,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;IACxG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,QAAQ,CAAC,mGAAmG,EAAE,qBAAqB,EAAE,qDAAqD,CAAC,CAAC;QACxM,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,GAAG,GAAG,QAAQ,CAAC,0HAA0H,EAAE,oGAAoG,EAAE,qDAAqD,CAAC,CAAC;QAC9S,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QACxB,MAAM,KAAK,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC;IAC5G,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,yBAAyB,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,mCAAmC,CAAC,CAAC;QACrH,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,mCAAmC,CAAC,CAAC;QAC/G,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,0BAA0B,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACrF,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,oBAAoB,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,qBAAqB,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,oBAAoB,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACvE,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,oCAAoC,CAAC,EAAE,MAAM,CAAC,CAAC;QAC7E,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qFAAqF,EAAE,GAAG,EAAE;QAC7F,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,+BAA+B,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC9E,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,8BAA8B,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC7E,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,+BAA+B,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClF,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,yBAAyB,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5E,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,2BAA2B,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,kCAAkC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,2BAA2B,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACjG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/e2e/verified-on.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=verified-on.test.d.ts.map

package/dist/__tests__/e2e/verified-on.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verified-on.test.d.ts","sourceRoot":"","sources":["../../../src/__tests__/e2e/verified-on.test.ts"],"names":[],"mappings":""}

package/dist/__tests__/e2e/verified-on.test.js

@@ -0,0 +1,57 @@
+/**
+ * [N40] `validate` ends every run with the Claude Code version the output was
+ * checked against, so a user reading old output can tell whether it is stale.
+ * The numbers come from the conformance constants (themselves held to the
+ * contract snapshot by N37), never from a second copy that could drift.
+ */
+import { describe, it, expect } from "vitest";
+import { spawnSync } from "node:child_process";
+import * as fs from "node:fs";
+import * as os from "node:os";
+import { resolve, dirname, join } from "node:path";
+import { fileURLToPath } from "node:url";
+import { VERIFIED_ON, MINIMUM_VERSION, verifiedOnLine } from "../../conformance/claude-code.js";
+const here = dirname(fileURLToPath(import.meta.url));
+const CLI = resolve(here, "../../../dist/cli/index.js");
+const FIXTURE = resolve(here, "fixtures/compile.at");
+const LINE = `checked against Claude Code ${VERIFIED_ON} (supports ${MINIMUM_VERSION} and later)`;
+const run = (...args) => spawnSync("node", [CLI, ...args], { encoding: "utf8" });
+const lastLine = (out) => out.trimEnd().split("\n").pop().trim();
+// eslint-disable-next-line no-control-regex
+const plain = (s) => s.replace(/\x1b\[[0-9;]*m/g, "");
+describe("[N40] verified on", () => {
+    it("[N40] the line is built from the conformance constants", () => {
+        expect(verifiedOnLine()).toBe(LINE);
+    });
+    it("[N40] validate ends with the line on a clean file", () => {
+        const dir = fs.mkdtempSync(join(os.tmpdir(), "at-vo-"));
+        const f = join(dir, "ok.at");
+        fs.writeFileSync(f, `topology ok : [pipeline] {\n  meta { version: "1.0.0" description: "x" }\n  orchestrator { model: sonnet handles: [a] }\n  action a { kind: inline description: "d" }\n  flow { a -> end }\n}\n`);
+        const r = run("validate", f);
+        expect(lastLine(plain(r.stdout))).toBe(LINE);
+    });
+    it("[N40] validate ends with the line on warnings and on errors", () => {
+        const warn = run("validate", FIXTURE);
+        expect(lastLine(plain(warn.stdout))).toBe(LINE);
+        const dir = fs.mkdtempSync(join(os.tmpdir(), "at-vo-"));
+        const bad = join(dir, "bad.at");
+        fs.writeFileSync(bad, `topology bad : [pipeline] {\n  meta { version: "1.0.0" description: "x" bogus_field: 1 }\n  orchestrator { model: sonnet handles: [nope] }\n}\n`);
+        const err = run("validate", bad);
+        expect(err.status).toBe(1);
+        expect(lastLine(plain(err.stdout))).toBe(LINE);
+    });
+    it("[N40] validate --inventory ends with the line", () => {
+        const dir = fs.mkdtempSync(join(os.tmpdir(), "at-vo-"));
+        const r = run("validate", FIXTURE, "--inventory", dir);
+        expect(plain(r.stdout)).toContain(LINE);
+        expect(lastLine(plain(r.stdout))).toBe(LINE);
+    });
+    it("[N40] scaffold --target claude-code and targets show it", () => {
+        const dir = fs.mkdtempSync(join(os.tmpdir(), "at-vo-"));
+        const s = run("scaffold", FIXTURE, "--target", "claude-code", "--dry-run", "--output", dir);
+        expect(plain(s.stdout)).toContain(LINE);
+        const t = plain(run("targets").stdout).split("\n").find((l) => l.includes("claude-code"));
+        expect(t).toContain(LINE);
+    });
+});
+//# sourceMappingURL=verified-on.test.js.map

package/dist/__tests__/e2e/verified-on.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verified-on.test.js","sourceRoot":"","sources":["../../../src/__tests__/e2e/verified-on.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAEhG,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACrD,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,4BAA4B,CAAC,CAAC;AACxD,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;AACrD,MAAM,IAAI,GAAG,+BAA+B,WAAW,cAAc,eAAe,aAAa,CAAC;AAClG,MAAM,GAAG,GAAG,CAAC,GAAG,IAAc,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;AAC3F,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAG,CAAC,IAAI,EAAE,CAAC;AAC1E,4CAA4C;AAC5C,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;AAE9D,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAC7B,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,iMAAiM,CAAC,CAAC;QACvN,MAAM,CAAC,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACtC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAChC,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,iJAAiJ,CAAC,CAAC;QACzK,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,GAAG,GAAG,CAAC,UAAU,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,GAAG,GAAG,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;QAC5F,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAE,CAAC;QAC3F,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/open-findings.test.js

@@ -15,5 +15,6 @@ describe("open findings (spec/testing.md)", () => {
     it.todo("[F4] Agent `memory` scope (user/project/local) and `autoCompactWindow` are not first-class; `memory:` already names stores, so the scope needs another word");
     it.todo("[N25] An agent's `role:` is documented but never read; the role text comes only from the roles block by agent id");
     it.todo("[N26] V102 does not look inside free-form or not-yet-listed blocks (prompt, extensions, settings, env, memory, providers, mcp-servers, interfaces, triggers, depth, flow, ...)");
+    it.todo("[N35] A second top-level `hooks { }` block is dropped silently: only the first block's hooks are parsed and nothing warns");
 });
 //# sourceMappingURL=open-findings.test.js.map

package/dist/__tests__/open-findings.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"open-findings.test.js","sourceRoot":"","sources":["../../src/__tests__/open-findings.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAEtC,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,EAAE,CAAC,IAAI,CAAC,wKAAwK,CAAC,CAAC;IAClL,EAAE,CAAC,IAAI,CAAC,oIAAoI,CAAC,CAAC;IAC9I,EAAE,CAAC,IAAI,CAAC,0EAA0E,CAAC,CAAC;IACpF,EAAE,CAAC,IAAI,CAAC,wFAAwF,CAAC,CAAC;IAClG,EAAE,CAAC,IAAI,CAAC,6JAA6J,CAAC,CAAC;IACvK,EAAE,CAAC,IAAI,CAAC,kHAAkH,CAAC,CAAC;IAC5H,EAAE,CAAC,IAAI,CAAC,gLAAgL,CAAC,CAAC;AAC5L,CAAC,CAAC,CAAC"}
+{"version":3,"file":"open-findings.test.js","sourceRoot":"","sources":["../../src/__tests__/open-findings.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAEtC,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,EAAE,CAAC,IAAI,CAAC,wKAAwK,CAAC,CAAC;IAClL,EAAE,CAAC,IAAI,CAAC,oIAAoI,CAAC,CAAC;IAC9I,EAAE,CAAC,IAAI,CAAC,0EAA0E,CAAC,CAAC;IACpF,EAAE,CAAC,IAAI,CAAC,wFAAwF,CAAC,CAAC;IAClG,EAAE,CAAC,IAAI,CAAC,6JAA6J,CAAC,CAAC;IACvK,EAAE,CAAC,IAAI,CAAC,kHAAkH,CAAC,CAAC;IAC5H,EAAE,CAAC,IAAI,CAAC,gLAAgL,CAAC,CAAC;IAC1L,EAAE,CAAC,IAAI,CAAC,2HAA2H,CAAC,CAAC;AACvI,CAAC,CAAC,CAAC"}