@exaudeus/workrail 1.16.1 → 1.17.1

package/dist/application/services/workflow-interpreter.js

@@ -196,7 +196,7 @@ let WorkflowInterpreter = class WorkflowInterpreter {
                         return (0, neverthrow_1.ok)(shouldEnter);
                     }
                     case 'while': {
-                        const res = this.evaluateWhileUntilCondition(loopCompiled, iteration, context, artifacts, frame, false);
+                        const res = this.evaluateWhileUntilCondition(loopCompiled, iteration, context, artifacts, frame, false, trace);
                         if (res.isOk()) {
                             const source = loopCompiled.conditionSource?.kind === 'artifact_contract' ? 'artifact'
                                 : loopCompiled.conditionSource?.kind === 'context_variable' ? 'context'
@@ -208,7 +208,7 @@ let WorkflowInterpreter = class WorkflowInterpreter {
                         return res;
                     }
                     case 'until': {
-                        const res = this.evaluateWhileUntilCondition(loopCompiled, iteration, context, artifacts, frame, true);
+                        const res = this.evaluateWhileUntilCondition(loopCompiled, iteration, context, artifacts, frame, true, trace);
                         if (res.isOk()) {
                             const source = loopCompiled.conditionSource?.kind === 'artifact_contract' ? 'artifact'
                                 : loopCompiled.conditionSource?.kind === 'context_variable' ? 'context'
@@ -303,7 +303,7 @@ let WorkflowInterpreter = class WorkflowInterpreter {
                 return (0, neverthrow_1.err)(error_1.Err.invalidState('Non-exhaustive loop decision'));
         }
     }
-    evaluateWhileUntilCondition(loopCompiled, iteration, context, artifacts, frame, invertForUntil) {
+    evaluateWhileUntilCondition(loopCompiled, iteration, context, artifacts, frame, invertForUntil, traceEntries = []) {
         const source = loopCompiled.conditionSource;
         if (!source) {
             if (!loopCompiled.loop.loop.condition) {
@@ -318,11 +318,19 @@ let WorkflowInterpreter = class WorkflowInterpreter {
         }
         switch (source.kind) {
             case 'artifact_contract': {
-                const result = (0, loop_control_evaluator_1.evaluateLoopControlFromArtifacts)(artifacts, source.loopId);
-                if (result.kind === 'found') {
-                    return (0, neverthrow_1.ok)(result.decision === 'continue');
+                const result = (0, loop_control_evaluator_1.evaluateLoopControlFromArtifacts)(artifacts);
+                traceEntries.push((0, decision_trace_builder_1.traceArtifactMatchResult)(source.loopId, iteration, result));
+                switch (result.kind) {
+                    case 'found':
+                        return (0, neverthrow_1.ok)(result.decision === 'continue');
+                    case 'not_found':
+                    case 'invalid':
+                        return (0, neverthrow_1.ok)(true);
+                    default: {
+                        const _exhaustive = result;
+                        return (0, neverthrow_1.ok)(true);
+                    }
                 }
-                return (0, neverthrow_1.ok)(true);
             }
             case 'context_variable': {
                 const raw = (0, condition_evaluator_1.evaluateCondition)(source.condition, this.projectLoopContextAtIteration(loopCompiled.loop, iteration, context));

package/dist/manifest.json

@@ -110,8 +110,8 @@
       "bytes": 1507
     },
     "application/services/workflow-interpreter.js": {
-      "sha256": "e6ea1bc6f3881bc46a901b78720dee584090f86809bfa1979f04efa4c8a35613",
-      "bytes": 21011
+      "sha256": "df7a04c0b2c578cf54e3bc818a08b6e1af18ea75f6ade4901b3e9ceeabf46814",
+      "bytes": 21430
     },
     "application/services/workflow-service.d.ts": {
       "sha256": "b92da17c6d91c90758ec42b4ee3bc448e5d5b1dfe7351f2fe0f5e1d10a715ec6",
@@ -598,8 +598,8 @@
       "bytes": 67
     },
     "mcp-server.js": {
-      "sha256": "7c431887c5601a5e49d17da6f8d687ef45d36d5c5d1e5b91696a6f9dcf90f014",
-      "bytes": 476
+      "sha256": "bf97a81d9bc5bb40d10ec8a06c73b322320e0a0afdaa88f19730efe781ace7cf",
+      "bytes": 1135
     },
     "mcp/error-mapper.d.ts": {
       "sha256": "c6e9db65c565063726442b73a4a0cf1a1c07d54c778a85cf0122c4c04ea6a5a9",
@@ -842,12 +842,12 @@
       "bytes": 12115
     },
     "mcp/server.d.ts": {
-      "sha256": "bec49b8d07e189a53db7100d2f0e1e84ffe03150f04e1b06908ee3282982b4a2",
-      "bytes": 168
+      "sha256": "782a9a50797cac9c5f30e79556f809351d7eb176a16d7c603c09a5133cc25303",
+      "bytes": 882
     },
     "mcp/server.js": {
-      "sha256": "4ca61965fdf522e5cc839e26220491638f03053a12f23c4eaf000b54b50ab7ad",
-      "bytes": 12934
+      "sha256": "5086b482d2eb3c42caac637282a5361b4db6e5d14aaeeb7c5ffdf75d211af0d8",
+      "bytes": 13422
     },
     "mcp/tool-description-provider.d.ts": {
       "sha256": "1d46abc3112e11b68e57197e846f5708293ec9b2281fa71a9124ee2aad71e41b",
@@ -881,6 +881,38 @@
       "sha256": "aa364f3e613fc61a39fc7336a723231da06852d92ec7840a95327aa370e42e1c",
       "bytes": 8360
     },
+    "mcp/transports/http-entry.d.ts": {
+      "sha256": "35d313b120dcf38643de9462559163581b89943fe432706986252e8b698b9507",
+      "bytes": 70
+    },
+    "mcp/transports/http-entry.js": {
+      "sha256": "3ecf3a39d4eb2d4b844e83296cf04238acfc7c91e9eca0e10c1e8a0fbae71721",
+      "bytes": 4279
+    },
+    "mcp/transports/http-listener.d.ts": {
+      "sha256": "5c512d31f001bd65eaaca5421ca8f80e614896fdfe803773aa1f6c893257f20e",
+      "bytes": 316
+    },
+    "mcp/transports/http-listener.js": {
+      "sha256": "9e055636c281b5fe09623aa017d2e773462ddbe65e42c0938ed897cac606bb62",
+      "bytes": 2555
+    },
+    "mcp/transports/stdio-entry.d.ts": {
+      "sha256": "4ced3c9e00ef67555781dea74315290eea8a9dbffd38155bc00c3fb07b0c1794",
+      "bytes": 59
+    },
+    "mcp/transports/stdio-entry.js": {
+      "sha256": "a1f75205084e632b78e1ec28fb82498f04ecdb66fa4a9d9678d885268b0ed885",
+      "bytes": 4509
+    },
+    "mcp/transports/transport-mode.d.ts": {
+      "sha256": "1c59128ab0174bd2a113fff17521e6339ca367f2b8980c2f2c164ec393c10518",
+      "bytes": 206
+    },
+    "mcp/transports/transport-mode.js": {
+      "sha256": "6627303319e87e047caf99d910626a331742089b90db180f6031aa9a1afc98eb",
+      "bytes": 747
+    },
     "mcp/types.d.ts": {
       "sha256": "2ef7f9c1bffbe365b06469dfad43b45c4ae3b5292dd269b33423bf1c8c9c7c43",
       "bytes": 4355
@@ -1330,12 +1362,12 @@
       "bytes": 1734
     },
     "v2/durable-core/domain/decision-trace-builder.d.ts": {
-      "sha256": "7caf53d88745ea8f05e3904dee6a03379af5f68cabd9580e99d93e0095992fc9",
-      "bytes": 1520
+      "sha256": "bcc7892a25099be88ca92770d98f2e7e232eef007ff8f48001aefe9c08ee876c",
+      "bytes": 1742
     },
     "v2/durable-core/domain/decision-trace-builder.js": {
-      "sha256": "011f3155612d782c8877238893e53ac3c30962596173202dcbf1a1c4f04932a0",
-      "bytes": 3711
+      "sha256": "411da4951de3603c811afe8f4fa93de724f162834522c84e99a219c28248bf73",
+      "bytes": 4332
     },
     "v2/durable-core/domain/function-definition-expander.d.ts": {
       "sha256": "2720e7c4dfbd9ec0cdf75eb4384fdbea18d4430aeae7f13d9215f0e5e4980468",
@@ -1354,12 +1386,12 @@
       "bytes": 908
     },
     "v2/durable-core/domain/loop-control-evaluator.d.ts": {
-      "sha256": "8fd92ad809a19a00a856374abb5a3e3cc8cbfe7c4a26fa28bc2994294d0bac2e",
-      "bytes": 533
+      "sha256": "fbda4d2cb49d71e066f1b9bc967d5b89f4e2d1c692b865b026cf9e0bad80ad99",
+      "bytes": 517
     },
     "v2/durable-core/domain/loop-control-evaluator.js": {
-      "sha256": "047dcc651b9b25c63e11c8efcff7d27d9d329297db94728a35f52e88399d6e73",
-      "bytes": 810
+      "sha256": "0db4f39141a02c3a60c50955e71e5d925a473cdd01a6d6661b2d6df5d4ca2643",
+      "bytes": 1071
     },
     "v2/durable-core/domain/loop-runtime.d.ts": {
       "sha256": "ee4f8857d72bf0066bccc351a4e8fd8e4800f3d540e9851bb4978179b8ebfc04",
@@ -1398,8 +1430,8 @@
       "bytes": 935
     },
     "v2/durable-core/domain/prompt-renderer.js": {
-      "sha256": "5c360d989c9b8ec6c8319943067b5e5e711d37086de1b8231c7c20c5285ec075",
-      "bytes": 12459
+      "sha256": "5021f3cc9e59db56c5aeddcc8ed6f69df7ea1b1f3011d685695021e039376e49",
+      "bytes": 13910
     },
     "v2/durable-core/domain/reason-model.d.ts": {
       "sha256": "650fcb2d9969a4e6123cccbd4913f4d57aeab21a19bb907aa1e11f95e5a95089",
@@ -1586,12 +1618,12 @@
       "bytes": 1728
     },
     "v2/durable-core/schemas/artifacts/loop-control.d.ts": {
-      "sha256": "f1201fe5ab9680b11959985bf6004adcd8227de74b8151a6b4457553d6394203",
-      "bytes": 2792
+      "sha256": "714e2980400da0aaf814c691d8915653393316e70bc9af9da72130bb07e959be",
+      "bytes": 2768
     },
     "v2/durable-core/schemas/artifacts/loop-control.js": {
-      "sha256": "8f0cb5a113d7700a2a0aca158a7463bd5528b40d2e16dc14d1596e997c5b3b0d",
-      "bytes": 2243
+      "sha256": "c4b2ed38f9fdda3fbe3e4b68b0a228890fd9a7c73117a6d202928acabe6fc0f9",
+      "bytes": 2115
     },
     "v2/durable-core/schemas/compiled-workflow/index.d.ts": {
       "sha256": "d13d2dbbcd0971f7c170788552f533c2605f26e0f352939bf5cd2348437d7519",

package/dist/mcp/server.d.ts

@@ -1,3 +1,21 @@
 import type { ToolContext } from './types.js';
+import { WorkspaceRootsManager } from './workspace-roots-manager.js';
+import { type ToolAnnotations } from './tool-factory.js';
+import type { WrappedToolHandler } from './types/workflow-tool-edition.js';
+interface Tool {
+    name: string;
+    description: string;
+    inputSchema: Record<string, unknown>;
+    annotations?: ToolAnnotations;
+}
 export declare function createToolContext(): Promise<ToolContext>;
+export interface ComposedServer {
+    readonly server: import('@modelcontextprotocol/sdk/server/index.js').Server;
+    readonly ctx: ToolContext;
+    readonly rootsManager: WorkspaceRootsManager;
+    readonly tools: readonly Tool[];
+    readonly handlers: Record<string, WrappedToolHandler>;
+}
+export declare function composeServer(): Promise<ComposedServer>;
 export declare function startServer(): Promise<void>;
+export {};

package/dist/mcp/server.js

@@ -34,6 +34,7 @@ var __importStar = (this && this.__importStar) || (function () {
 })();
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.createToolContext = createToolContext;
+exports.composeServer = composeServer;
 exports.startServer = startServer;
 const zod_to_json_schema_js_1 = require("./zod-to-json-schema.js");
 const container_js_1 = require("../di/container.js");
@@ -134,7 +135,7 @@ function toMcpTool(tool) {
         annotations: tool.annotations,
     };
 }
-async function startServer() {
+async function composeServer() {
     await (0, container_js_1.bootstrap)({ runtimeMode: { kind: 'production' } });
     const ctx = await createToolContext();
     if (ctx.v2 && ctx.httpServer && ctx.v2.dataDir && ctx.v2.directoryListing) {
@@ -204,6 +205,12 @@ async function startServer() {
             : ctx;
         return handler(args ?? {}, requestCtx);
     });
+    return { server, ctx, rootsManager, tools, handlers };
+}
+async function startServer() {
+    const { server, ctx, rootsManager } = await composeServer();
+    const { StdioServerTransport } = await Promise.resolve().then(() => __importStar(require('@modelcontextprotocol/sdk/server/stdio.js')));
+    const { RootsListChangedNotificationSchema, } = await Promise.resolve().then(() => __importStar(require('@modelcontextprotocol/sdk/types.js')));
     server.setNotificationHandler(RootsListChangedNotificationSchema, async () => {
         try {
             const result = await server.listRoots();

package/dist/mcp/transports/http-entry.d.ts

@@ -0,0 +1 @@
+export declare function startHttpServer(port: number): Promise<void>;

package/dist/mcp/transports/http-entry.js

@@ -0,0 +1,87 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.startHttpServer = startHttpServer;
+const server_js_1 = require("../server.js");
+const http_listener_js_1 = require("./http-listener.js");
+const container_js_1 = require("../../di/container.js");
+const tokens_js_1 = require("../../di/tokens.js");
+const crypto = __importStar(require("crypto"));
+const express_1 = __importDefault(require("express"));
+async function startHttpServer(port) {
+    const { server, ctx } = await (0, server_js_1.composeServer)();
+    const listener = (0, http_listener_js_1.createHttpListener)(port);
+    const { StreamableHTTPServerTransport } = await Promise.resolve().then(() => __importStar(require('@modelcontextprotocol/sdk/server/streamableHttp.js')));
+    const transport = new StreamableHTTPServerTransport({
+        sessionIdGenerator: () => crypto.randomUUID(),
+        enableJsonResponse: true,
+    });
+    listener.app.use(express_1.default.json());
+    listener.app.post('/mcp', (req, res) => transport.handleRequest(req, res, req.body));
+    listener.app.get('/mcp', (req, res) => transport.handleRequest(req, res));
+    listener.app.delete('/mcp', (req, res) => transport.handleRequest(req, res));
+    await listener.start();
+    await server.connect(transport);
+    const boundPort = listener.getBoundPort();
+    console.error('[Transport] WorkRail MCP Server running on HTTP');
+    console.error(`[Transport] MCP endpoint: http://localhost:${boundPort}/mcp`);
+    const shutdownEvents = container_js_1.container.resolve(tokens_js_1.DI.Runtime.ShutdownEvents);
+    const processSignals = container_js_1.container.resolve(tokens_js_1.DI.Runtime.ProcessSignals);
+    const terminator = container_js_1.container.resolve(tokens_js_1.DI.Runtime.ProcessTerminator);
+    processSignals.on('SIGINT', () => shutdownEvents.emit({ kind: 'shutdown_requested', signal: 'SIGINT' }));
+    processSignals.on('SIGTERM', () => shutdownEvents.emit({ kind: 'shutdown_requested', signal: 'SIGTERM' }));
+    processSignals.on('SIGHUP', () => shutdownEvents.emit({ kind: 'shutdown_requested', signal: 'SIGHUP' }));
+    let shutdownStarted = false;
+    shutdownEvents.onShutdown((event) => {
+        if (shutdownStarted)
+            return;
+        shutdownStarted = true;
+        void (async () => {
+            try {
+                console.error(`[Shutdown] Requested by ${event.signal}. Stopping services...`);
+                await listener.stop();
+                await ctx.httpServer?.stop();
+                terminator.terminate({ kind: 'success' });
+            }
+            catch (err) {
+                console.error('[Shutdown] Error while stopping services:', err);
+                terminator.terminate({ kind: 'failure' });
+            }
+        })();
+    });
+}

package/dist/mcp/transports/http-listener.d.ts

@@ -0,0 +1,9 @@
+import { type Application } from 'express';
+export interface HttpListener {
+    readonly app: Application;
+    readonly requestedPort: number;
+    getBoundPort(): number | null;
+    start(): Promise<void>;
+    stop(): Promise<void>;
+}
+export declare function createHttpListener(requestedPort: number): HttpListener;

package/dist/mcp/transports/http-listener.js

@@ -0,0 +1,64 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createHttpListener = createHttpListener;
+const express_1 = __importDefault(require("express"));
+const http_1 = require("http");
+function createHttpListener(requestedPort) {
+    const app = (0, express_1.default)();
+    let state = { kind: 'not_started' };
+    return {
+        app,
+        requestedPort,
+        getBoundPort() {
+            return state.kind === 'running' ? state.boundPort : null;
+        },
+        async start() {
+            if (state.kind === 'running') {
+                throw new Error('[HttpListener] Already started');
+            }
+            if (state.kind === 'stopped') {
+                throw new Error('[HttpListener] Cannot restart a stopped listener');
+            }
+            return new Promise((resolve, reject) => {
+                const server = (0, http_1.createServer)(app);
+                server.on('error', (err) => {
+                    if (err.code === 'EADDRINUSE') {
+                        reject(new Error(`[HttpListener] Port ${requestedPort} is already in use. ` +
+                            `Set WORKRAIL_HTTP_PORT to a different port or stop the conflicting process.`));
+                    }
+                    else {
+                        reject(err);
+                    }
+                });
+                server.listen(requestedPort, () => {
+                    const addr = server.address();
+                    const boundPort = addr && typeof addr === 'object' ? addr.port : requestedPort;
+                    state = { kind: 'running', server, boundPort };
+                    console.error(`[HttpListener] MCP HTTP transport listening on port ${boundPort}`);
+                    resolve();
+                });
+            });
+        },
+        async stop() {
+            if (state.kind !== 'running') {
+                return;
+            }
+            const serverToClose = state.server;
+            return new Promise((resolve, reject) => {
+                serverToClose.close((err) => {
+                    if (err) {
+                        reject(err);
+                    }
+                    else {
+                        state = { kind: 'stopped' };
+                        console.error(`[HttpListener] MCP HTTP transport stopped`);
+                        resolve();
+                    }
+                });
+            });
+        },
+    };
+}

package/dist/mcp/transports/stdio-entry.d.ts

@@ -0,0 +1 @@
+export declare function startStdioServer(): Promise<void>;

package/dist/mcp/transports/stdio-entry.js

@@ -0,0 +1,92 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.startStdioServer = startStdioServer;
+const server_js_1 = require("../server.js");
+const container_js_1 = require("../../di/container.js");
+const tokens_js_1 = require("../../di/tokens.js");
+async function startStdioServer() {
+    const { server, ctx, rootsManager } = await (0, server_js_1.composeServer)();
+    const { StdioServerTransport } = await Promise.resolve().then(() => __importStar(require('@modelcontextprotocol/sdk/server/stdio.js')));
+    const { RootsListChangedNotificationSchema, } = await Promise.resolve().then(() => __importStar(require('@modelcontextprotocol/sdk/types.js')));
+    server.setNotificationHandler(RootsListChangedNotificationSchema, async () => {
+        try {
+            const result = await server.listRoots();
+            rootsManager.updateRootUris(result.roots.map((r) => r.uri));
+            console.error(`[Roots] Updated workspace roots: ${result.roots.map((r) => r.uri).join(', ') || '(none)'}`);
+        }
+        catch {
+            console.error('[Roots] Failed to fetch updated roots after change notification');
+        }
+    });
+    const transport = new StdioServerTransport();
+    await server.connect(transport);
+    try {
+        const result = await server.listRoots();
+        rootsManager.updateRootUris(result.roots.map((r) => r.uri));
+        console.error(`[Roots] Initial workspace roots: ${result.roots.map((r) => r.uri).join(', ') || '(none)'}`);
+    }
+    catch {
+        console.error('[Roots] Client does not support roots/list; workspace context will use server CWD fallback');
+    }
+    console.error('[Transport] WorkRail MCP Server running on stdio');
+    const shutdownEvents = container_js_1.container.resolve(tokens_js_1.DI.Runtime.ShutdownEvents);
+    const processSignals = container_js_1.container.resolve(tokens_js_1.DI.Runtime.ProcessSignals);
+    const terminator = container_js_1.container.resolve(tokens_js_1.DI.Runtime.ProcessTerminator);
+    processSignals.on('SIGINT', () => shutdownEvents.emit({ kind: 'shutdown_requested', signal: 'SIGINT' }));
+    processSignals.on('SIGTERM', () => shutdownEvents.emit({ kind: 'shutdown_requested', signal: 'SIGTERM' }));
+    processSignals.on('SIGHUP', () => shutdownEvents.emit({ kind: 'shutdown_requested', signal: 'SIGHUP' }));
+    process.stdin.on('end', () => {
+        console.error('[MCP] stdin closed, initiating shutdown');
+        shutdownEvents.emit({ kind: 'shutdown_requested', signal: 'SIGHUP' });
+    });
+    let shutdownStarted = false;
+    shutdownEvents.onShutdown((event) => {
+        if (shutdownStarted)
+            return;
+        shutdownStarted = true;
+        void (async () => {
+            try {
+                console.error(`[Shutdown] Requested by ${event.signal}. Stopping services...`);
+                await ctx.httpServer?.stop();
+                terminator.terminate({ kind: 'success' });
+            }
+            catch (err) {
+                console.error('[Shutdown] Error while stopping services:', err);
+                terminator.terminate({ kind: 'failure' });
+            }
+        })();
+    });
+}

package/dist/mcp/transports/transport-mode.d.ts

@@ -0,0 +1,7 @@
+export type TransportMode = {
+    readonly kind: 'stdio';
+} | {
+    readonly kind: 'http';
+    readonly port: number;
+};
+export declare function resolveTransportMode(env: NodeJS.ProcessEnv): TransportMode;

package/dist/mcp/transports/transport-mode.js

@@ -0,0 +1,18 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.resolveTransportMode = resolveTransportMode;
+function resolveTransportMode(env) {
+    const transport = env.WORKRAIL_TRANSPORT ?? 'stdio';
+    if (transport === 'http') {
+        const portStr = env.WORKRAIL_HTTP_PORT ?? '3100';
+        const port = parseInt(portStr, 10);
+        if (isNaN(port) || port <= 0 || port > 65535) {
+            throw new Error(`Invalid WORKRAIL_HTTP_PORT: "${portStr}". Must be a number between 1-65535.`);
+        }
+        return { kind: 'http', port };
+    }
+    if (transport !== 'stdio') {
+        throw new Error(`Invalid WORKRAIL_TRANSPORT: "${transport}". Must be 'stdio' or 'http'.`);
+    }
+    return { kind: 'stdio' };
+}

package/dist/mcp-server.js

@@ -2,10 +2,26 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.startServer = void 0;
+const transport_mode_js_1 = require("./mcp/transports/transport-mode.js");
+const stdio_entry_js_1 = require("./mcp/transports/stdio-entry.js");
+const http_entry_js_1 = require("./mcp/transports/http-entry.js");
+const assert_never_js_1 = require("./runtime/assert-never.js");
 var server_js_1 = require("./mcp/server.js");
 Object.defineProperty(exports, "startServer", { enumerable: true, get: function () { return server_js_1.startServer; } });
-const server_js_2 = require("./mcp/server.js");
-(0, server_js_2.startServer)().catch((error) => {
-    console.error('Fatal error running server:', error);
-    process.exit(1);
-});
+const mode = (0, transport_mode_js_1.resolveTransportMode)(process.env);
+switch (mode.kind) {
+    case 'stdio':
+        (0, stdio_entry_js_1.startStdioServer)().catch((error) => {
+            console.error('[stdio] Fatal error:', error);
+            process.exit(1);
+        });
+        break;
+    case 'http':
+        (0, http_entry_js_1.startHttpServer)(mode.port).catch((error) => {
+            console.error('[http] Fatal error:', error);
+            process.exit(1);
+        });
+        break;
+    default:
+        (0, assert_never_js_1.assertNever)(mode);
+}

package/dist/v2/durable-core/domain/decision-trace-builder.d.ts

@@ -1,4 +1,5 @@
 import type { Result } from 'neverthrow';
+import type { LoopControlEvaluationResult } from './loop-control-evaluator.js';
 export type DecisionTraceEntryKind = 'selected_next_step' | 'evaluated_condition' | 'entered_loop' | 'exited_loop' | 'detected_non_tip_advance';
 export type DecisionTraceRef = {
     readonly kind: 'step_id';
@@ -22,6 +23,7 @@ export declare function traceEnteredLoop(loopId: string, iteration: number): Dec
 export declare function traceEvaluatedCondition(loopId: string, iteration: number, result: boolean, source: 'artifact' | 'context' | 'legacy'): DecisionTraceEntry;
 export declare function traceExitedLoop(loopId: string, reason: string): DecisionTraceEntry;
 export declare function traceSelectedNextStep(stepId: string): DecisionTraceEntry;
+export declare function traceArtifactMatchResult(loopId: string, iteration: number, result: LoopControlEvaluationResult): DecisionTraceEntry;
 export declare function applyTraceBudget(entries: readonly DecisionTraceEntry[]): readonly DecisionTraceEntry[];
 export declare function buildDecisionTraceEventData(traceId: string, entries: readonly DecisionTraceEntry[]): Result<{
     readonly traceId: string;

package/dist/v2/durable-core/domain/decision-trace-builder.js

@@ -4,6 +4,7 @@ exports.traceEnteredLoop = traceEnteredLoop;
 exports.traceEvaluatedCondition = traceEvaluatedCondition;
 exports.traceExitedLoop = traceExitedLoop;
 exports.traceSelectedNextStep = traceSelectedNextStep;
+exports.traceArtifactMatchResult = traceArtifactMatchResult;
 exports.applyTraceBudget = applyTraceBudget;
 exports.buildDecisionTraceEventData = buildDecisionTraceEventData;
 const neverthrow_1 = require("neverthrow");
@@ -38,6 +39,20 @@ function traceSelectedNextStep(stepId) {
         refs: [{ kind: 'step_id', stepId }],
     };
 }
+function traceArtifactMatchResult(loopId, iteration, result) {
+    const detail = (() => {
+        switch (result.kind) {
+            case 'found': return `decision="${result.decision}"`;
+            case 'not_found': return result.reason;
+            case 'invalid': return result.reason;
+        }
+    })();
+    return {
+        kind: 'evaluated_condition',
+        summary: `Loop '${loopId}' iteration ${iteration}: artifact match=${result.kind} — ${detail}`,
+        refs: [{ kind: 'loop_id', loopId }, { kind: 'iteration', value: iteration }],
+    };
+}
 function applyTraceBudget(entries) {
     const capped = entries.slice(0, constants_js_1.MAX_DECISION_TRACE_ENTRIES);
     let totalBytes = 0;

package/dist/v2/durable-core/domain/loop-control-evaluator.d.ts

@@ -10,4 +10,4 @@ export type LoopControlEvaluationResult = {
     readonly kind: 'invalid';
     readonly reason: string;
 };
-export declare function evaluateLoopControlFromArtifacts(artifacts: readonly unknown[], loopId: string): LoopControlEvaluationResult;
+export declare function evaluateLoopControlFromArtifacts(artifacts: readonly unknown[]): LoopControlEvaluationResult;

package/dist/v2/durable-core/domain/loop-control-evaluator.js

@@ -2,23 +2,30 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.evaluateLoopControlFromArtifacts = evaluateLoopControlFromArtifacts;
 const index_js_1 = require("../schemas/artifacts/index.js");
-function evaluateLoopControlFromArtifacts(artifacts, loopId) {
+function evaluateLoopControlFromArtifacts(artifacts) {
     if (artifacts.length === 0) {
         return {
             kind: 'not_found',
-            reason: `No artifacts provided to evaluate loop control for loopId=${loopId}`,
+            reason: 'No artifacts provided for loop control evaluation',
         };
     }
-    const artifact = (0, index_js_1.findLoopControlArtifact)(artifacts, loopId);
-    if (!artifact) {
+    const artifact = (0, index_js_1.findLoopControlArtifact)(artifacts);
+    if (artifact) {
         return {
-            kind: 'not_found',
-            reason: `No loop control artifact found for loopId=${loopId}`,
+            kind: 'found',
+            decision: artifact.decision,
+            artifact,
+        };
+    }
+    const hasKindMatch = artifacts.some(index_js_1.isLoopControlArtifact);
+    if (hasKindMatch) {
+        return {
+            kind: 'invalid',
+            reason: 'Artifact with kind=wr.loop_control found but failed schema validation (bad loopId format, missing decision, or extra fields)',
         };
     }
     return {
-        kind: 'found',
-        decision: artifact.decision,
-        artifact,
+        kind: 'not_found',
+        reason: 'No wr.loop_control artifact found',
     };
 }

package/dist/v2/durable-core/domain/prompt-renderer.js

@@ -114,24 +114,55 @@ function applyPromptBudget(combinedPrompt) {
     const decoder = new TextDecoder('utf-8');
     return decoder.decode(truncatedBytes) + markerText + omissionNote;
 }
+function resolveParentLoopMaxIterations(workflow, stepId) {
+    for (const step of workflow.definition.steps) {
+        if ((0, workflow_js_1.isLoopStepDefinition)(step) && Array.isArray(step.body)) {
+            for (const bodyStep of step.body) {
+                if (bodyStep.id === stepId) {
+                    return step.loop.maxIterations;
+                }
+            }
+        }
+    }
+    return undefined;
+}
+function buildScopeInstruction(iteration, maxIterations) {
+    if (iteration <= 1)
+        return 'Focus on what the first pass missed — do not re-litigate settled findings.';
+    if (maxIterations !== undefined && iteration + 1 >= maxIterations)
+        return 'FINAL PASS — verify prior amendments landed correctly. Only flag regressions or clearly missed issues.';
+    return 'Diminishing returns expected. Focus on gaps and regressions, not fresh territory.';
+}
 function buildLoopContextBanner(args) {
     if (args.loopPath.length === 0 || args.isExitStep)
         return '';
     const current = args.loopPath[args.loopPath.length - 1];
-    const iterationLabel = `Iteration ${current.iteration + 1}`;
-    return [
-        `---`,
-        `**LOOP: ${current.loopId} | ${iterationLabel}** — This step repeats intentionally; the workflow is not stuck or broken.`,
-        ``,
-        `Choose the instruction that matches your current task:`,
-        `- **Drafting / updating**: incorporate amendments discovered in previous iterations before writing.`,
-        `- **Auditing / reviewing**: look for what previous passes *missed*, not what they already caught.`,
-        `- **Applying changes**: follow prior findings precisely; don't re-debate settled decisions.`,
-        ``,
-        `Prior iteration work is visible in the **Ancestry Recap** section below (if present).`,
-        `---`,
-        ``,
-    ].join('\n');
+    const iterationNumber = current.iteration + 1;
+    const maxIter = args.maxIterations;
+    if (current.iteration === 0) {
+        const bound = maxIter !== undefined ? ` (up to ${maxIter} passes)` : '';
+        return [
+            `> This step is part of an iterative loop${bound}. After your work, a decision step determines whether another pass is needed.`,
+            ``,
+        ].join('\n');
+    }
+    const lines = ['---'];
+    if (maxIter !== undefined) {
+        const filled = Math.min(iterationNumber, maxIter);
+        const empty = Math.max(maxIter - filled, 0);
+        const bar = '\u2588'.repeat(filled) + '\u2591'.repeat(empty);
+        lines.push(`**Progress: [${bar}] Pass ${iterationNumber} of ${maxIter}**`);
+    }
+    else {
+        lines.push(`**Pass ${iterationNumber}**`);
+    }
+    lines.push('');
+    lines.push(`**Scope**: ${buildScopeInstruction(current.iteration, maxIter)}`);
+    lines.push('');
+    lines.push('Your previous work is in the **Ancestry Recap** below. Build on it — do not repeat work already done.');
+    lines.push('---');
+    lines.push('');
+    return lines.join('\n');
 }
 function formatOutputContractRequirements(outputContract) {
     const contractRef = outputContract?.contractRef;
@@ -143,7 +174,8 @@ function formatOutputContractRequirements(outputContract) {
                 `Artifact contract: ${index_js_2.LOOP_CONTROL_CONTRACT_REF}`,
                 `Provide an artifact with kind: "wr.loop_control"`,
                 `Required field: decision ("continue" | "stop")`,
-                `Optional field: loopId — omit unless targeting a specific named loop`,
+                `Do NOT include loopId — the engine matches automatically`,
+                `Canonical format:\n\`\`\`json\n{ "artifacts": [{ "kind": "wr.loop_control", "decision": "stop" }] }\n\`\`\``,
             ];
         default:
             return [
@@ -184,7 +216,8 @@ function renderPendingPrompt(args) {
         ? step.outputContract
         : undefined;
     const isExitStep = outputContract?.contractRef === index_js_2.LOOP_CONTROL_CONTRACT_REF;
-    const loopBanner = buildLoopContextBanner({ loopPath: args.loopPath, isExitStep });
+    const maxIterations = resolveParentLoopMaxIterations(args.workflow, args.stepId);
+    const loopBanner = buildLoopContextBanner({ loopPath: args.loopPath, isExitStep, maxIterations });
     const validationCriteria = step.validationCriteria;
     const requirements = (0, validation_requirements_extractor_js_1.extractValidationRequirements)(validationCriteria);
     const requirementsSection = requirements.length > 0

package/dist/v2/durable-core/schemas/artifacts/loop-control.d.ts

@@ -63,4 +63,4 @@ export declare const LoopControlArtifactV1Schema: z.ZodObject<{
 export type LoopControlArtifactV1 = z.infer<typeof LoopControlArtifactV1Schema>;
 export declare function isLoopControlArtifact(artifact: unknown): artifact is LoopControlArtifactV1;
 export declare function parseLoopControlArtifact(artifact: unknown): LoopControlArtifactV1 | null;
-export declare function findLoopControlArtifact(artifacts: readonly unknown[], expectedLoopId: string): LoopControlArtifactV1 | null;
+export declare function findLoopControlArtifact(artifacts: readonly unknown[]): LoopControlArtifactV1 | null;

package/dist/v2/durable-core/schemas/artifacts/loop-control.js

@@ -35,17 +35,14 @@ function parseLoopControlArtifact(artifact) {
     const result = exports.LoopControlArtifactV1Schema.safeParse(artifact);
     return result.success ? result.data : null;
 }
-function findLoopControlArtifact(artifacts, expectedLoopId) {
+function findLoopControlArtifact(artifacts) {
     for (let i = artifacts.length - 1; i >= 0; i--) {
         const artifact = artifacts[i];
         if (!isLoopControlArtifact(artifact))
             continue;
         const parsed = parseLoopControlArtifact(artifact);
-        if (!parsed)
-            continue;
-        if (parsed.loopId === undefined || parsed.loopId === expectedLoopId) {
+        if (parsed)
             return parsed;
-        }
     }
     return null;
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@exaudeus/workrail",
-  "version": "1.16.1",
+  "version": "1.17.1",
   "description": "Step-by-step workflow enforcement for AI agents via MCP",
   "license": "MIT",
   "repository": {

package/workflows/bug-investigation.agentic.v2.json

@@ -105,7 +105,7 @@
         {
           "id": "phase-4b-loop-decision",
           "title": "Evidence Loop Decision",
-          "prompt": "Decide whether the evidence loop should continue.\n\nDecision rules:\n- if `contradictionCount > 0` → continue\n- else if `unresolvedEvidenceGapCount > 0` → continue\n- else if `hasStrongAlternative = true` and the alternative is not meaningfully weaker → continue\n- else if `diagnosisType = inconclusive_but_narrowed` and further evidence is not realistically available → stop with bounded uncertainty\n- else → stop\n\nOutput exactly:\n```json\n{\n  \"artifacts\": [{\n    \"kind\": \"wr.loop_control\",\n    \"loopId\": \"bug_evidence_loop\",\n    \"decision\": \"continue\"\n  }]\n}\n```",
+          "prompt": "Decide whether the evidence loop should continue.\n\nDecision rules:\n- if `contradictionCount > 0` → continue\n- else if `unresolvedEvidenceGapCount > 0` → continue\n- else if `hasStrongAlternative = true` and the alternative is not meaningfully weaker → continue\n- else if `diagnosisType = inconclusive_but_narrowed` and further evidence is not realistically available → stop with bounded uncertainty\n- else → stop\n\nOutput exactly:\n```json\n{\n  \"artifacts\": [{\n    \"kind\": \"wr.loop_control\",\n    \"decision\": \"continue\"\n  }]\n}\n```",
           "requireConfirmation": true,
           "outputContract": {
             "contractRef": "wr.contracts.loop_control"

package/workflows/coding-task-workflow-agentic.v2.json

@@ -139,7 +139,7 @@
         {
           "id": "phase-4c-loop-decision",
           "title": "Loop Exit Decision",
-          "prompt": "Provide a loop control artifact.\n\nDecision rules:\n- if `planFindings` is non-empty → continue\n- if `planFindings` is empty → stop, but enumerate what was checked to justify the clean pass\n- if max iterations reached → stop and document remaining concerns\n\nOutput exactly:\n```json\n{\n  \"artifacts\": [{\n    \"kind\": \"wr.loop_control\",\n    \"loopId\": \"plan_audit_loop\",\n    \"decision\": \"continue\"\n  }]\n}\n```",
+          "prompt": "Provide a loop control artifact.\n\nDecision rules:\n- if `planFindings` is non-empty → continue\n- if `planFindings` is empty → stop, but enumerate what was checked to justify the clean pass\n- if max iterations reached → stop and document remaining concerns\n\nOutput exactly:\n```json\n{\n  \"artifacts\": [{\n    \"kind\": \"wr.loop_control\",\n    \"decision\": \"continue\"\n  }]\n}\n```",
           "requireConfirmation": true,
           "outputContract": {
             "contractRef": "wr.contracts.loop_control"

package/workflows/mr-review-workflow.agentic.v2.json

@@ -188,7 +188,7 @@
         {
           "id": "phase-4c-loop-decision",
           "title": "Synthesis Loop Decision",
-          "prompt": "Decide whether the synthesis loop should continue.\n\nDecision rules:\n- if `contradictionCount > 0` → continue\n- else if `coverageUncertainCount > 0` and the uncertainty materially affects the recommendation → continue\n- else if `falsePositiveRiskCount > 0` → continue\n- else if `recommendationDriftDetected = true` → continue\n- else → stop\n\nOutput exactly:\n```json\n{\n  \"artifacts\": [{\n    \"kind\": \"wr.loop_control\",\n    \"loopId\": \"mr_review_synthesis_loop\",\n    \"decision\": \"continue\"\n  }]\n}\n```",
+          "prompt": "Decide whether the synthesis loop should continue.\n\nDecision rules:\n- if `contradictionCount > 0` → continue\n- else if `coverageUncertainCount > 0` and the uncertainty materially affects the recommendation → continue\n- else if `falsePositiveRiskCount > 0` → continue\n- else if `recommendationDriftDetected = true` → continue\n- else → stop\n\nOutput exactly:\n```json\n{\n  \"artifacts\": [{\n    \"kind\": \"wr.loop_control\",\n    \"decision\": \"continue\"\n  }]\n}\n```",
           "requireConfirmation": true,
           "outputContract": {
             "contractRef": "wr.contracts.loop_control"

package/workflows/test-artifact-loop-control.json

@@ -13,7 +13,7 @@
     {
       "id": "init-loop",
       "title": "Initialize Loop",
-      "prompt": "Initialize the bounded iteration loop.\n\n**Provide a loop control artifact:**\n```json\n{\n  \"artifacts\": [{\n    \"kind\": \"wr.loop_control\",\n    \"loopId\": \"test-iteration\",\n    \"decision\": \"continue\",\n    \"metadata\": {\n      \"reason\": \"Starting iteration loop\"\n    }\n  }]\n}\n```\n\nThe artifact must have:\n- kind: 'wr.loop_control'\n- loopId: 'test-iteration' (lowercase with hyphens)\n- decision: 'continue' or 'stop'",
+      "prompt": "Initialize the bounded iteration loop.\n\n**Provide a loop control artifact:**\n```json\n{\n  \"artifacts\": [{\n    \"kind\": \"wr.loop_control\",\n    \"decision\": \"continue\",\n    \"metadata\": {\n      \"reason\": \"Starting iteration loop\"\n    }\n  }]\n}\n```\n\nThe artifact must have:\n- kind: 'wr.loop_control'\n- decision: 'continue' or 'stop'",
       "requireConfirmation": false,
       "outputContract": {
         "contractRef": "wr.contracts.loop_control"
@@ -42,7 +42,7 @@
         {
           "id": "decide-continue",
           "title": "Loop Decision",
-          "prompt": "Decide whether to continue or stop the loop.\n\n**Provide a loop control artifact:**\n```json\n{\n  \"artifacts\": [{\n    \"kind\": \"wr.loop_control\",\n    \"loopId\": \"test-iteration\",\n    \"decision\": \"continue\",\n    \"metadata\": {\n      \"reason\": \"More work needed\",\n      \"iterationIndex\": 1\n    }\n  }]\n}\n```\n\n**Decision logic:**\n- If more work is needed: decision = 'continue'\n- If work is complete: decision = 'stop'\n\nThe artifact must have:\n- kind: 'wr.loop_control'\n- loopId: 'test-iteration'\n- decision: 'continue' or 'stop'",
+          "prompt": "Decide whether to continue or stop the loop.\n\n**Provide a loop control artifact:**\n```json\n{\n  \"artifacts\": [{\n    \"kind\": \"wr.loop_control\",\n    \"decision\": \"continue\",\n    \"metadata\": {\n      \"reason\": \"More work needed\",\n      \"iterationIndex\": 1\n    }\n  }]\n}\n```\n\n**Decision logic:**\n- If more work is needed: decision = 'continue'\n- If work is complete: decision = 'stop'\n\nThe artifact must have:\n- kind: 'wr.loop_control'\n- decision: 'continue' or 'stop'",
           "requireConfirmation": true,
           "outputContract": {
             "contractRef": "wr.contracts.loop_control"

package/workflows/workflow-for-workflows.json

@@ -89,7 +89,7 @@
                 {
                     "id": "discovery-loop-decision",
                     "title": "Discovery Loop Decision",
-                    "prompt": "**Provide a loop control decision artifact.**\n\nBased on the discovery analysis above, decide whether to continue gathering requirements or proceed to synthesis.\n\n**Decision logic:**\n- If critical information is still missing (problem unclear, user needs undefined, success criteria absent): decision = 'continue'\n- If discovery is 80%+ complete (clear problem, user needs, success criteria, basic constraints): decision = 'stop'\n\n**Output (exact format):**\nProvide a loop control artifact:\n```json\n{\n  \"artifacts\": [{\n    \"kind\": \"wr.loop_control\",\n    \"loopId\": \"phase-0-discovery-loop\",\n    \"decision\": \"continue\",\n    \"metadata\": {\n      \"reason\": \"One sentence explaining why continuing or stopping\"\n    }\n  }]\n}\n```",
+                    "prompt": "**Provide a loop control decision artifact.**\n\nBased on the discovery analysis above, decide whether to continue gathering requirements or proceed to synthesis.\n\n**Decision logic:**\n- If critical information is still missing (problem unclear, user needs undefined, success criteria absent): decision = 'continue'\n- If discovery is 80%+ complete (clear problem, user needs, success criteria, basic constraints): decision = 'stop'\n\n**Output (exact format):**\nProvide a loop control artifact:\n```json\n{\n  \"artifacts\": [{\n    \"kind\": \"wr.loop_control\",\n    \"decision\": \"continue\",\n    \"metadata\": {\n      \"reason\": \"One sentence explaining why continuing or stopping\"\n    }\n  }]\n}\n```",
                     "agentRole": "You are a discovery analyst making an explicit go/no-go decision on whether enough requirements have been gathered.",
                     "requireConfirmation": false,
                     "outputContract": {
@@ -418,7 +418,7 @@
         {
             "id": "satisfaction-check",
             "title": "Iteration Satisfaction Check & Loop Decision",
-            "prompt": "Let's assess your satisfaction with the workflow so far.\n\n**Rate your satisfaction (1-10):**\n- 10: Perfect! Ready to deploy\n- 8-9: Very good, minor tweaks only\n- 6-7: Good foundation, needs refinement\n- 4-5: Major improvements needed\n- 1-3: Significant rework required\n\n**Decision logic:**\n- Score 9+: decision = 'stop' (proceed to completion)\n- Score <9: decision = 'continue' (iterate again, up to 3 times total)\n\nAgent: Set context.satisfactionScore and increment context.iterationCount.\n\n**Provide a loop control artifact:**\n```json\n{\n  \"artifacts\": [{\n    \"kind\": \"wr.loop_control\",\n    \"loopId\": \"phase-3-4-refinement-loop\",\n    \"decision\": \"continue\",\n    \"metadata\": {\n      \"reason\": \"Satisfaction score X/10 - [brief reason]\"\n    }\n  }]\n}\n```",
+            "prompt": "Let's assess your satisfaction with the workflow so far.\n\n**Rate your satisfaction (1-10):**\n- 10: Perfect! Ready to deploy\n- 8-9: Very good, minor tweaks only\n- 6-7: Good foundation, needs refinement\n- 4-5: Major improvements needed\n- 1-3: Significant rework required\n\n**Decision logic:**\n- Score 9+: decision = 'stop' (proceed to completion)\n- Score <9: decision = 'continue' (iterate again, up to 3 times total)\n\nAgent: Set context.satisfactionScore and increment context.iterationCount.\n\n**Provide a loop control artifact:**\n```json\n{\n  \"artifacts\": [{\n    \"kind\": \"wr.loop_control\",\n    \"decision\": \"continue\",\n    \"metadata\": {\n      \"reason\": \"Satisfaction score X/10 - [brief reason]\"\n    }\n  }]\n}\n```",
             "agentRole": "You are a quality assessment specialist. Guide the user through evaluating their workflow objectively. Provide a loop control artifact with the decision.",
             "requireConfirmation": false,
             "outputContract": {