@exaudeus/workrail 1.17.0 → 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",
@@ -1362,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",
@@ -1386,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",
@@ -1430,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",
@@ -1618,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/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.17.0",
+  "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": {