@exaudeus/workrail 1.9.0 → 1.11.0

package/dist/application/services/compiler/feature-registry.d.ts

@@ -0,0 +1,19 @@
+import type { Result } from 'neverthrow';
+import type { PromptValue } from './prompt-blocks.js';
+export interface FeatureDefinition {
+    readonly id: string;
+    readonly constraints?: readonly PromptValue[];
+    readonly procedure?: readonly PromptValue[];
+    readonly verify?: readonly PromptValue[];
+}
+export type FeatureResolveError = {
+    readonly code: 'UNKNOWN_FEATURE';
+    readonly featureId: string;
+    readonly message: string;
+};
+export interface FeatureRegistry {
+    readonly resolve: (featureId: string) => Result<FeatureDefinition, FeatureResolveError>;
+    readonly has: (featureId: string) => boolean;
+    readonly knownIds: () => readonly string[];
+}
+export declare function createFeatureRegistry(): FeatureRegistry;

package/dist/application/services/compiler/feature-registry.js

@@ -0,0 +1,37 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createFeatureRegistry = createFeatureRegistry;
+const neverthrow_1 = require("neverthrow");
+const FEATURE_DEFINITIONS = [
+    {
+        id: 'wr.features.memory_context',
+        constraints: [
+            [
+                { kind: 'ref', refId: 'wr.refs.memory_usage' },
+            ],
+        ],
+    },
+];
+function createFeatureRegistry() {
+    const byId = new Map(FEATURE_DEFINITIONS.map(f => [f.id, f]));
+    const knownIds = FEATURE_DEFINITIONS.map(f => f.id);
+    return {
+        resolve(featureId) {
+            const def = byId.get(featureId);
+            if (!def) {
+                return (0, neverthrow_1.err)({
+                    code: 'UNKNOWN_FEATURE',
+                    featureId,
+                    message: `Unknown feature '${featureId}'. Known features: ${knownIds.join(', ')}`,
+                });
+            }
+            return (0, neverthrow_1.ok)(def);
+        },
+        has(featureId) {
+            return byId.has(featureId);
+        },
+        knownIds() {
+            return knownIds;
+        },
+    };
+}

package/dist/application/services/compiler/resolve-features.d.ts

@@ -0,0 +1,12 @@
+import type { Result } from 'neverthrow';
+import type { FeatureRegistry, FeatureResolveError } from './feature-registry.js';
+import type { WorkflowStepDefinition, LoopStepDefinition } from '../../../types/workflow-definition.js';
+export type ResolveFeaturesPassError = {
+    readonly code: 'FEATURE_RESOLVE_ERROR';
+    readonly cause: FeatureResolveError;
+} | {
+    readonly code: 'FEATURE_ON_RAW_PROMPT_STEP';
+    readonly stepId: string;
+    readonly message: string;
+};
+export declare function resolveFeaturesPass(steps: readonly (WorkflowStepDefinition | LoopStepDefinition)[], featureIds: readonly string[], registry: FeatureRegistry): Result<readonly (WorkflowStepDefinition | LoopStepDefinition)[], ResolveFeaturesPassError>;

package/dist/application/services/compiler/resolve-features.js

@@ -0,0 +1,65 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.resolveFeaturesPass = resolveFeaturesPass;
+const neverthrow_1 = require("neverthrow");
+const workflow_definition_js_1 = require("../../../types/workflow-definition.js");
+function appendValues(existing, injected) {
+    if (!injected || injected.length === 0)
+        return existing;
+    if (!existing || existing.length === 0)
+        return injected;
+    return [...existing, ...injected];
+}
+function applyFeatureToBlocks(blocks, feature) {
+    return {
+        ...blocks,
+        constraints: appendValues(blocks.constraints, feature.constraints),
+        procedure: appendValues(blocks.procedure, feature.procedure),
+        verify: appendValues(blocks.verify, feature.verify),
+    };
+}
+function applyFeaturesToStep(step, features) {
+    if (!step.promptBlocks || features.length === 0)
+        return step;
+    let blocks = step.promptBlocks;
+    for (const feature of features) {
+        blocks = applyFeatureToBlocks(blocks, feature);
+    }
+    return { ...step, promptBlocks: blocks };
+}
+function resolveFeaturesPass(steps, featureIds, registry) {
+    if (featureIds.length === 0)
+        return (0, neverthrow_1.ok)(steps);
+    const features = [];
+    for (const id of featureIds) {
+        const res = registry.resolve(id);
+        if (res.isErr()) {
+            return (0, neverthrow_1.err)({ code: 'FEATURE_RESOLVE_ERROR', cause: res.error });
+        }
+        features.push(res.value);
+    }
+    const resolved = [];
+    for (const step of steps) {
+        if ((0, workflow_definition_js_1.isLoopStepDefinition)(step)) {
+            const resolvedLoop = applyFeaturesToStep(step, features);
+            if (Array.isArray(step.body)) {
+                const bodyResolved = step.body.map(bodyStep => applyFeaturesToStep(bodyStep, features));
+                resolved.push({
+                    ...step,
+                    ...(resolvedLoop.promptBlocks ? { promptBlocks: resolvedLoop.promptBlocks } : {}),
+                    body: bodyResolved,
+                });
+            }
+            else {
+                resolved.push({
+                    ...step,
+                    ...(resolvedLoop.promptBlocks ? { promptBlocks: resolvedLoop.promptBlocks } : {}),
+                });
+            }
+        }
+        else {
+            resolved.push(applyFeaturesToStep(step, features));
+        }
+    }
+    return (0, neverthrow_1.ok)(resolved);
+}

package/dist/application/services/compiler/resolve-templates.d.ts

@@ -0,0 +1,13 @@
+import type { Result } from 'neverthrow';
+import type { TemplateRegistry, TemplateResolveError, TemplateExpandError } from './template-registry.js';
+import type { WorkflowStepDefinition, LoopStepDefinition } from '../../../types/workflow-definition.js';
+export type ResolveTemplatesPassError = {
+    readonly code: 'TEMPLATE_RESOLVE_ERROR';
+    readonly stepId: string;
+    readonly cause: TemplateResolveError;
+} | {
+    readonly code: 'TEMPLATE_EXPAND_ERROR';
+    readonly stepId: string;
+    readonly cause: TemplateExpandError;
+};
+export declare function resolveTemplatesPass(steps: readonly (WorkflowStepDefinition | LoopStepDefinition)[], registry: TemplateRegistry): Result<readonly (WorkflowStepDefinition | LoopStepDefinition)[], ResolveTemplatesPassError>;

package/dist/application/services/compiler/resolve-templates.js

@@ -0,0 +1,54 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.resolveTemplatesPass = resolveTemplatesPass;
+const neverthrow_1 = require("neverthrow");
+const workflow_definition_js_1 = require("../../../types/workflow-definition.js");
+function resolveStepTemplate(step, registry) {
+    if (!step.templateCall)
+        return (0, neverthrow_1.ok)([step]);
+    const { templateId, args } = step.templateCall;
+    const expanderResult = registry.resolve(templateId);
+    if (expanderResult.isErr()) {
+        return (0, neverthrow_1.err)({
+            code: 'TEMPLATE_RESOLVE_ERROR',
+            stepId: step.id,
+            cause: expanderResult.error,
+        });
+    }
+    const expandResult = expanderResult.value(step.id, args ?? {});
+    if (expandResult.isErr()) {
+        return (0, neverthrow_1.err)({
+            code: 'TEMPLATE_EXPAND_ERROR',
+            stepId: step.id,
+            cause: expandResult.error,
+        });
+    }
+    return (0, neverthrow_1.ok)(expandResult.value);
+}
+function resolveTemplatesPass(steps, registry) {
+    const resolved = [];
+    for (const step of steps) {
+        if ((0, workflow_definition_js_1.isLoopStepDefinition)(step)) {
+            if (Array.isArray(step.body)) {
+                const bodyResolved = [];
+                for (const bodyStep of step.body) {
+                    const res = resolveStepTemplate(bodyStep, registry);
+                    if (res.isErr())
+                        return (0, neverthrow_1.err)(res.error);
+                    bodyResolved.push(...res.value);
+                }
+                resolved.push({ ...step, body: bodyResolved });
+            }
+            else {
+                resolved.push(step);
+            }
+        }
+        else {
+            const res = resolveStepTemplate(step, registry);
+            if (res.isErr())
+                return (0, neverthrow_1.err)(res.error);
+            resolved.push(...res.value);
+        }
+    }
+    return (0, neverthrow_1.ok)(resolved);
+}

package/dist/application/services/compiler/template-registry.d.ts

@@ -0,0 +1,19 @@
+import type { Result } from 'neverthrow';
+import type { WorkflowStepDefinition } from '../../../types/workflow-definition.js';
+export type TemplateExpander = (callerId: string, args: Readonly<Record<string, unknown>>) => Result<readonly WorkflowStepDefinition[], TemplateExpandError>;
+export type TemplateExpandError = {
+    readonly code: 'TEMPLATE_EXPAND_FAILED';
+    readonly templateId: string;
+    readonly message: string;
+};
+export type TemplateResolveError = {
+    readonly code: 'UNKNOWN_TEMPLATE';
+    readonly templateId: string;
+    readonly message: string;
+};
+export interface TemplateRegistry {
+    readonly resolve: (templateId: string) => Result<TemplateExpander, TemplateResolveError>;
+    readonly has: (templateId: string) => boolean;
+    readonly knownIds: () => readonly string[];
+}
+export declare function createTemplateRegistry(): TemplateRegistry;

package/dist/application/services/compiler/template-registry.js

@@ -0,0 +1,27 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createTemplateRegistry = createTemplateRegistry;
+const neverthrow_1 = require("neverthrow");
+const TEMPLATE_DEFINITIONS = new Map();
+function createTemplateRegistry() {
+    const knownIds = [...TEMPLATE_DEFINITIONS.keys()];
+    return {
+        resolve(templateId) {
+            const expander = TEMPLATE_DEFINITIONS.get(templateId);
+            if (!expander) {
+                return (0, neverthrow_1.err)({
+                    code: 'UNKNOWN_TEMPLATE',
+                    templateId,
+                    message: `Unknown template '${templateId}'. Known templates: ${knownIds.length > 0 ? knownIds.join(', ') : '(none)'}`,
+                });
+            }
+            return (0, neverthrow_1.ok)(expander);
+        },
+        has(templateId) {
+            return TEMPLATE_DEFINITIONS.has(templateId);
+        },
+        knownIds() {
+            return knownIds;
+        },
+    };
+}

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

@@ -16,6 +16,8 @@ export interface CompiledWorkflow {
 }
 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

@@ -15,12 +15,34 @@ const error_1 = require("../../domain/execution/error");
 const prompt_blocks_1 = require("./compiler/prompt-blocks");
 const resolve_refs_1 = require("./compiler/resolve-refs");
 const ref_registry_1 = require("./compiler/ref-registry");
+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)();
     }
     compile(workflow) {
-        const refsResult = (0, resolve_refs_1.resolveRefsPass)(workflow.definition.steps, this.refRegistry);
+        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}`));

package/dist/manifest.json

@@ -1,6 +1,14 @@
 {
   "distDir": "dist",
   "files": {
+    "application/services/compiler/feature-registry.d.ts": {
+      "sha256": "0df999218ba4dac5cf3fad34f3291e2b217b662badef01ee20f1258c4d03d13f",
+      "bytes": 740
+    },
+    "application/services/compiler/feature-registry.js": {
+      "sha256": "0350c0bd6ab92b1f38f58d12e2d2064af4275b34dfabf7e1677df9eb284d8ba4",
+      "bytes": 1124
+    },
     "application/services/compiler/prompt-blocks.d.ts": {
       "sha256": "2f40fd7599bd351584505152e9916fdea60891833d22c774c8ac9955f01ccf66",
       "bytes": 1416
@@ -17,6 +25,14 @@
       "sha256": "075b14ab0efd34df85eb9b564362d2415eacffc13f44f1ba54bdc5e8229a7d2e",
       "bytes": 2008
     },
+    "application/services/compiler/resolve-features.d.ts": {
+      "sha256": "bb5d0719f1156fe5fc92464bc828407b7be1b1149e79e70e71669cf54dce4ddc",
+      "bytes": 733
+    },
+    "application/services/compiler/resolve-features.js": {
+      "sha256": "04637806407d1888b8b0d78ee05a92eb08c9bb33f695a3db4ad6373e5666831a",
+      "bytes": 2444
+    },
     "application/services/compiler/resolve-refs.d.ts": {
       "sha256": "64ed63007495f8b95baeb5f867a6b6ac39f097ad5976803b2642defa80ed31bf",
       "bytes": 581
@@ -25,6 +41,22 @@
       "sha256": "9f9e2a44cec6dfd6d870a645b38e4faf52e17c9ef3654fd600ebcd9943f532c5",
       "bytes": 4214
     },
+    "application/services/compiler/resolve-templates.d.ts": {
+      "sha256": "623e4b9e7b65c1cbe8a6acee232ba3fa7b11c9394f22a77c7443a02681b0a0a8",
+      "bytes": 767
+    },
+    "application/services/compiler/resolve-templates.js": {
+      "sha256": "2d7bef8627cd933fa265d9faf9b0d6ced860bd66b39793af7ffa97956ba38a09",
+      "bytes": 1997
+    },
+    "application/services/compiler/template-registry.d.ts": {
+      "sha256": "16221e2671a95456abfd875fc7caceb40058f351a5a371e13acf53def2f77b24",
+      "bytes": 873
+    },
+    "application/services/compiler/template-registry.js": {
+      "sha256": "79ea2925e1d4a003a0b07a5f4c99cdc5fb8aa73e0b2be4e239435bf7bf1ffb13",
+      "bytes": 972
+    },
     "application/services/enhanced-error-service.d.ts": {
       "sha256": "b6fe8fad92717f0962f87aa9c0f88277bf28fe2b5e3cfd7875612ee57eb8c684",
       "bytes": 601
@@ -66,12 +98,12 @@
       "bytes": 31038
     },
     "application/services/workflow-compiler.d.ts": {
-      "sha256": "65d65befc721926c125836692a0982f3cdef57f429326cde1b48e2fbc8593c98",
-      "bytes": 1024
+      "sha256": "d1371ca551a908a7f95078d20e02203d7b24525659d9160d50b06fd2708ca4a9",
+      "bytes": 1101
     },
     "application/services/workflow-compiler.js": {
-      "sha256": "7d03802161c8802553122be3132efb77dc42214f232d333df73230012a7ff9b5",
-      "bytes": 6581
+      "sha256": "4fad72793de969fce4f269d154fc5743a329fc1e015e63b3c6e6ba12bcdeafc7",
+      "bytes": 8017
     },
     "application/services/workflow-interpreter.d.ts": {
       "sha256": "56b5b5ad06d42096deba9f0abe7642c18a355a1e598749aab1730df4e9847674",
@@ -1082,8 +1114,8 @@
       "bytes": 395
     },
     "types/workflow-definition.d.ts": {
-      "sha256": "cb7d6be7e9aa0d4b7b17323cd167edad2f616b6a8c2149df6c40e4d965e7d9b8",
-      "bytes": 3744
+      "sha256": "13681513404db7396b07ded2c72fac53a9e42a76e5016c34f0fc77fc6591aa5a",
+      "bytes": 3951
     },
     "types/workflow-definition.js": {
       "sha256": "e269d62f27b7f37f870183d6b77800b7aa1e22dabc894374bab8f34db049a55b",

package/dist/types/workflow-definition.d.ts

@@ -18,10 +18,15 @@ export interface WorkflowStepDefinition {
     readonly validationCriteria?: ValidationCriteria;
     readonly outputContract?: OutputContract;
     readonly notesOptional?: boolean;
+    readonly templateCall?: TemplateCall;
     readonly functionDefinitions?: readonly FunctionDefinition[];
     readonly functionCalls?: readonly FunctionCall[];
     readonly functionReferences?: readonly string[];
 }
+export interface TemplateCall {
+    readonly templateId: string;
+    readonly args?: Readonly<Record<string, unknown>>;
+}
 export interface LoopStepDefinition extends WorkflowStepDefinition {
     readonly type: 'loop';
     readonly loop: LoopConfigDefinition;
@@ -79,6 +84,7 @@ export interface WorkflowDefinition {
     readonly metaGuidance?: readonly string[];
     readonly functionDefinitions?: readonly FunctionDefinition[];
     readonly recommendedPreferences?: WorkflowRecommendedPreferences;
+    readonly features?: readonly string[];
 }
 export declare function isLoopStepDefinition(step: WorkflowStepDefinition | LoopStepDefinition): step is LoopStepDefinition;
 export declare function isWorkflowStepDefinition(step: WorkflowStepDefinition | LoopStepDefinition): step is WorkflowStepDefinition;

package/package.json

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