@exaudeus/workrail 1.12.0 → 1.13.0

package/dist/application/services/workflow-compiler.d.ts

@@ -14,10 +14,8 @@ export interface CompiledWorkflow {
     readonly compiledLoops: ReadonlyMap<string, CompiledLoop>;
     readonly loopBodyStepIds: ReadonlySet<string>;
 }
+export declare function resolveDefinitionSteps(steps: readonly (WorkflowStepDefinition | LoopStepDefinition)[], features: readonly string[]): Result<readonly (WorkflowStepDefinition | LoopStepDefinition)[], DomainError>;
 export declare class WorkflowCompiler {
-    private readonly refRegistry;
-    private readonly featureRegistry;
-    private readonly templateRegistry;
     compile(workflow: Workflow): Result<CompiledWorkflow, DomainError>;
     private deriveConditionSource;
     private resolveLoopBody;

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

@@ -7,6 +7,7 @@ var __decorate = (this && this.__decorate) || function (decorators, target, key,
 };
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.WorkflowCompiler = void 0;
+exports.resolveDefinitionSteps = resolveDefinitionSteps;
 const tsyringe_1 = require("tsyringe");
 const workflow_1 = require("../../types/workflow");
 const index_1 = require("../../v2/durable-core/schemas/artifacts/index");
@@ -19,43 +20,47 @@ const resolve_features_1 = require("./compiler/resolve-features");
 const feature_registry_1 = require("./compiler/feature-registry");
 const resolve_templates_1 = require("./compiler/resolve-templates");
 const template_registry_1 = require("./compiler/template-registry");
-let WorkflowCompiler = class WorkflowCompiler {
-    constructor() {
-        this.refRegistry = (0, ref_registry_1.createRefRegistry)();
-        this.featureRegistry = (0, feature_registry_1.createFeatureRegistry)();
-        this.templateRegistry = (0, template_registry_1.createTemplateRegistry)();
+const _refRegistry = (0, ref_registry_1.createRefRegistry)();
+const _featureRegistry = (0, feature_registry_1.createFeatureRegistry)();
+const _templateRegistry = (0, template_registry_1.createTemplateRegistry)();
+function resolveDefinitionSteps(steps, features) {
+    const templatesResult = (0, resolve_templates_1.resolveTemplatesPass)(steps, _templateRegistry);
+    if (templatesResult.isErr()) {
+        const e = templatesResult.error;
+        const message = e.code === 'TEMPLATE_RESOLVE_ERROR'
+            ? `Step '${e.stepId}': template error — ${e.cause.message}`
+            : `Step '${e.stepId}': template expansion error — ${e.cause.message}`;
+        return (0, neverthrow_1.err)(error_1.Err.invalidState(message));
+    }
+    const featuresResult = (0, resolve_features_1.resolveFeaturesPass)(templatesResult.value, features, _featureRegistry);
+    if (featuresResult.isErr()) {
+        const e = featuresResult.error;
+        const message = e.code === 'FEATURE_RESOLVE_ERROR'
+            ? `Feature error — ${e.cause.message}`
+            : e.message;
+        return (0, neverthrow_1.err)(error_1.Err.invalidState(message));
+    }
+    const refsResult = (0, resolve_refs_1.resolveRefsPass)(featuresResult.value, _refRegistry);
+    if (refsResult.isErr()) {
+        const e = refsResult.error;
+        return (0, neverthrow_1.err)(error_1.Err.invalidState(`Step '${e.stepId}': ref resolution error — ${e.cause.message}`));
     }
+    const blocksResult = (0, prompt_blocks_1.resolvePromptBlocksPass)(refsResult.value);
+    if (blocksResult.isErr()) {
+        const e = blocksResult.error;
+        const message = e.code === 'PROMPT_AND_BLOCKS_BOTH_SET'
+            ? e.message
+            : `Step '${e.stepId}': promptBlocks error — ${e.cause.message}`;
+        return (0, neverthrow_1.err)(error_1.Err.invalidState(message));
+    }
+    return (0, neverthrow_1.ok)(blocksResult.value);
+}
+let WorkflowCompiler = class WorkflowCompiler {
     compile(workflow) {
-        const templatesResult = (0, resolve_templates_1.resolveTemplatesPass)(workflow.definition.steps, this.templateRegistry);
-        if (templatesResult.isErr()) {
-            const e = templatesResult.error;
-            const message = e.code === 'TEMPLATE_RESOLVE_ERROR'
-                ? `Step '${e.stepId}': template error — ${e.cause.message}`
-                : `Step '${e.stepId}': template expansion error — ${e.cause.message}`;
-            return (0, neverthrow_1.err)(error_1.Err.invalidState(message));
-        }
-        const featuresResult = (0, resolve_features_1.resolveFeaturesPass)(templatesResult.value, workflow.definition.features ?? [], this.featureRegistry);
-        if (featuresResult.isErr()) {
-            const e = featuresResult.error;
-            const message = e.code === 'FEATURE_RESOLVE_ERROR'
-                ? `Feature error — ${e.cause.message}`
-                : e.message;
-            return (0, neverthrow_1.err)(error_1.Err.invalidState(message));
-        }
-        const refsResult = (0, resolve_refs_1.resolveRefsPass)(featuresResult.value, this.refRegistry);
-        if (refsResult.isErr()) {
-            const e = refsResult.error;
-            return (0, neverthrow_1.err)(error_1.Err.invalidState(`Step '${e.stepId}': ref resolution error — ${e.cause.message}`));
-        }
-        const blocksResult = (0, prompt_blocks_1.resolvePromptBlocksPass)(refsResult.value);
-        if (blocksResult.isErr()) {
-            const e = blocksResult.error;
-            const message = e.code === 'PROMPT_AND_BLOCKS_BOTH_SET'
-                ? e.message
-                : `Step '${e.stepId}': promptBlocks error — ${e.cause.message}`;
-            return (0, neverthrow_1.err)(error_1.Err.invalidState(message));
-        }
-        const steps = blocksResult.value;
+        const resolvedResult = resolveDefinitionSteps(workflow.definition.steps, workflow.definition.features ?? []);
+        if (resolvedResult.isErr())
+            return (0, neverthrow_1.err)(resolvedResult.error);
+        const steps = resolvedResult.value;
         const stepById = new Map();
         for (const step of steps) {
             if (stepById.has(step.id)) {

package/dist/manifest.json

@@ -98,12 +98,12 @@
       "bytes": 31038
     },
     "application/services/workflow-compiler.d.ts": {
-      "sha256": "d1371ca551a908a7f95078d20e02203d7b24525659d9160d50b06fd2708ca4a9",
-      "bytes": 1101
+      "sha256": "41d0643ae2f07e5ce77a6e02344b5ca5b3c26bde828fbb307528a2ae097ac9d5",
+      "bytes": 1211
     },
     "application/services/workflow-compiler.js": {
-      "sha256": "4fad72793de969fce4f269d154fc5743a329fc1e015e63b3c6e6ba12bcdeafc7",
-      "bytes": 8017
+      "sha256": "db74bfe006cf703cc0c32165e09e2c684e24fcf7b538ecbc1273daf67012dc2d",
+      "bytes": 8182
     },
     "application/services/workflow-interpreter.d.ts": {
       "sha256": "56b5b5ad06d42096deba9f0abe7642c18a355a1e598749aab1730df4e9847674",
@@ -2174,8 +2174,8 @@
       "bytes": 463
     },
     "v2/read-only/v1-to-v2-shim.js": {
-      "sha256": "6ea788b80605db6d2057b3d5e520be48ace8afe6d8f37bf55cef00ba1471a6b7",
-      "bytes": 1935
+      "sha256": "36a9c3f0faf71c49fc9624f41c26c452e276f4ac15190f2d22d89a003a2bb099",
+      "bytes": 2678
     },
     "v2/usecases/enumerate-sessions.d.ts": {
       "sha256": "6043d64b45360dfc6a15b822d9f013a0832127596706bf81569dfce256236d2d",

package/dist/v2/read-only/v1-to-v2-shim.js

@@ -2,6 +2,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.compileV1WorkflowToV2PreviewSnapshot = compileV1WorkflowToV2PreviewSnapshot;
 exports.compileV1WorkflowToPinnedSnapshot = compileV1WorkflowToPinnedSnapshot;
+const workflow_compiler_js_1 = require("../../application/services/workflow-compiler.js");
 function compileV1WorkflowToV2PreviewSnapshot(workflow) {
     const firstStep = workflow.definition.steps[0];
     if (!firstStep) {
@@ -20,9 +21,19 @@ function compileV1WorkflowToV2PreviewSnapshot(workflow) {
         };
     }
     const isLoop = firstStep.type === 'loop';
-    const prompt = !isLoop && typeof firstStep.prompt === 'string'
-        ? firstStep.prompt
-        : `Loop step '${firstStep.id}' cannot be previewed in v2 Slice 1 (loop execution/compilation not implemented yet).`;
+    let prompt;
+    if (isLoop) {
+        prompt = `Loop step '${firstStep.id}' cannot be previewed in v2 Slice 1 (loop execution/compilation not implemented yet).`;
+    }
+    else if (typeof firstStep.prompt === 'string') {
+        prompt = firstStep.prompt;
+    }
+    else {
+        const resolved = (0, workflow_compiler_js_1.resolveDefinitionSteps)([firstStep], workflow.definition.features ?? []);
+        prompt = resolved.isOk() && resolved.value[0]?.prompt
+            ? resolved.value[0].prompt
+            : `Step '${firstStep.id}' has no prompt (promptBlocks resolution failed).`;
+    }
     return {
         schemaVersion: 1,
         sourceKind: 'v1_preview',
@@ -38,6 +49,10 @@ function compileV1WorkflowToV2PreviewSnapshot(workflow) {
     };
 }
 function compileV1WorkflowToPinnedSnapshot(workflow) {
+    const resolved = (0, workflow_compiler_js_1.resolveDefinitionSteps)(workflow.definition.steps, workflow.definition.features ?? []);
+    const resolvedDefinition = resolved.isOk()
+        ? { ...workflow.definition, steps: resolved.value }
+        : workflow.definition;
     return {
         schemaVersion: 1,
         sourceKind: 'v1_pinned',
@@ -45,6 +60,6 @@ function compileV1WorkflowToPinnedSnapshot(workflow) {
         name: workflow.definition.name,
         description: workflow.definition.description,
         version: workflow.definition.version,
-        definition: workflow.definition,
+        definition: resolvedDefinition,
     };
 }

package/package.json

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

package/spec/workflow.schema.json

@@ -1,6 +1,6 @@
 {
   "$schema": "http://json-schema.org/draft-07/schema#",
-  "$id": "https://workflowlookup.io/schemas/workflow/v0.2.0",
+  "$id": "https://workflowlookup.io/schemas/workflow/v0.3.0",
   "title": "Workflow Schema",
   "description": "Schema for defining workflows in the Workflow Orchestration System",
   "type": "object",
@@ -124,6 +124,16 @@
         }
       },
       "additionalProperties": false
+    },
+    "features": {
+      "type": "array",
+      "description": "Compiler features to apply to this workflow (e.g. wr.features.memory_context). Features inject content into promptBlocks at compile time.",
+      "items": {
+        "type": "string",
+        "minLength": 1,
+        "maxLength": 128
+      },
+      "uniqueItems": true
     }
   },
   "required": [
@@ -179,6 +189,7 @@
         "id": { "$ref": "#/$defs/stepId", "description": "Unique identifier for the step" },
         "title": { "type": "string", "minLength": 1, "maxLength": 128 },
         "prompt": { "type": "string", "minLength": 1, "maxLength": 8192 },
+        "promptBlocks": { "$ref": "#/$defs/promptBlocks" },
         "agentRole": { "type": "string", "minLength": 10, "maxLength": 1024 },
         "guidance": { "type": "array", "items": { "type": "string" } },
         "askForFiles": { "type": "boolean", "default": false },
@@ -190,9 +201,10 @@
         "notesOptional": { "type": "boolean", "description": "When true, output.notesMarkdown is not required for this step. Steps with outputContract are automatically exempt. Use sparingly for mechanical steps with no substantive work to document." },
         "functionDefinitions": { "type": "array", "items": { "$ref": "#/$defs/functionDefinition" } },
         "functionCalls": { "type": "array", "items": { "$ref": "#/$defs/functionCall" } },
-        "functionReferences": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z_][a-zA-Z0-9_]*\\(\\)$" } }
+        "functionReferences": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z_][a-zA-Z0-9_]*\\(\\)$" } },
+        "templateCall": { "$ref": "#/$defs/templateCall" }
       },
-      "required": ["id", "title", "prompt"],
+      "required": ["id", "title"],
       "additionalProperties": false
     },
     "loopStep": {
@@ -589,6 +601,83 @@
       },
       "required": ["name", "args"],
       "additionalProperties": false
+    },
+    "promptBlocks": {
+      "type": "object",
+      "description": "Structured prompt blocks. Alternative to raw prompt string. Rendered into prompt during compilation in deterministic order: goal, constraints, procedure, outputRequired, verify.",
+      "properties": {
+        "goal": { "$ref": "#/$defs/promptValue" },
+        "constraints": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/promptValue" }
+        },
+        "procedure": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/promptValue" }
+        },
+        "outputRequired": {
+          "type": "object",
+          "description": "Key-value pairs describing required outputs",
+          "additionalProperties": { "type": "string" }
+        },
+        "verify": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/promptValue" }
+        }
+      },
+      "additionalProperties": false
+    },
+    "promptValue": {
+      "description": "A prompt value: either a plain string or an array of prompt parts (text and refs).",
+      "oneOf": [
+        { "type": "string" },
+        {
+          "type": "array",
+          "items": { "$ref": "#/$defs/promptPart" }
+        }
+      ]
+    },
+    "promptPart": {
+      "description": "A single part of a prompt value: literal text or a reference to a canonical WorkRail snippet.",
+      "oneOf": [
+        {
+          "type": "object",
+          "properties": {
+            "kind": { "const": "text" },
+            "text": { "type": "string" }
+          },
+          "required": ["kind", "text"],
+          "additionalProperties": false
+        },
+        {
+          "type": "object",
+          "properties": {
+            "kind": { "const": "ref" },
+            "refId": { "type": "string", "minLength": 1 }
+          },
+          "required": ["kind", "refId"],
+          "additionalProperties": false
+        }
+      ]
+    },
+    "templateCall": {
+      "type": "object",
+      "description": "Template call: expands this step into one or more steps at compile time.",
+      "properties": {
+        "templateId": {
+          "type": "string",
+          "description": "The template ID to expand (e.g. wr.templates.capability_probe)",
+          "minLength": 1,
+          "maxLength": 128
+        },
+        "args": {
+          "type": "object",
+          "description": "Arguments to pass to the template",
+          "additionalProperties": true
+        }
+      },
+      "required": ["templateId"],
+      "additionalProperties": false
     }
   }
 }