@contractspec/lib.contracts 1.50.0 → 1.52.0

package/dist/workflow/context.js

@@ -0,0 +1,227 @@
+//#region src/workflow/context.ts
+/**
+* Error thrown when a workflow operation fails.
+*/
+var WorkflowContextError = class extends Error {
+	errorType;
+	workflowId;
+	details;
+	constructor(type, workflowId, message, details) {
+		super(message);
+		this.name = "WorkflowContextError";
+		this.errorType = type;
+		this.workflowId = workflowId;
+		this.details = details;
+	}
+};
+var WorkflowContextImpl = class {
+	constructor(state, spec) {
+		this.state = state;
+		this.spec = spec;
+	}
+	get workflowId() {
+		return this.state.workflowId;
+	}
+	get workflowKey() {
+		return this.state.workflowName;
+	}
+	get workflowVersion() {
+		return this.state.workflowVersion;
+	}
+	get currentStep() {
+		return this.state.currentStep;
+	}
+	get status() {
+		return this.state.status;
+	}
+	get data() {
+		return this.state.data;
+	}
+	get history() {
+		return this.state.history;
+	}
+	getState() {
+		return this.state;
+	}
+	getData(key) {
+		return this.state.data[key];
+	}
+	isTerminal() {
+		return this.state.status === "completed" || this.state.status === "failed" || this.state.status === "cancelled";
+	}
+	isRunning() {
+		return this.state.status === "running";
+	}
+	getCurrentStepDef() {
+		return this.spec.definition.steps.find((s) => s.id === this.state.currentStep);
+	}
+	getRetryCount(stepId) {
+		const id = stepId ?? this.state.currentStep;
+		return this.state.retryCounts?.[id] ?? 0;
+	}
+	canTransition(toStepId) {
+		return this.spec.definition.transitions.filter((t) => t.from === this.state.currentStep && t.to === toStepId).length > 0;
+	}
+	getAvailableTransitions() {
+		return this.spec.definition.transitions.filter((t) => t.from === this.state.currentStep).map((t) => ({
+			from: t.from,
+			to: t.to,
+			label: t.label,
+			condition: t.condition
+		}));
+	}
+	hasNextStep() {
+		return this.spec.definition.transitions.some((t) => t.from === this.state.currentStep);
+	}
+	getRemainingTime(slaKey) {
+		const sla = this.spec.definition.sla;
+		if (!sla) return null;
+		const now = Date.now();
+		if (slaKey === "totalDuration") {
+			if (!sla.totalDurationMs) return null;
+			const elapsed$1 = now - this.state.createdAt.getTime();
+			return Math.max(0, sla.totalDurationMs - elapsed$1);
+		}
+		const stepLimit = sla.stepDurationMs?.[slaKey];
+		if (!stepLimit) return null;
+		const stepExecution = this.state.history.find((h) => h.stepId === slaKey && h.status === "running");
+		if (!stepExecution) return stepLimit;
+		const elapsed = now - stepExecution.startedAt.getTime();
+		return Math.max(0, stepLimit - elapsed);
+	}
+	isSlaViolated(slaKey) {
+		const remaining = this.getRemainingTime(slaKey);
+		return remaining !== null && remaining <= 0;
+	}
+	getAllSlaStatuses() {
+		const sla = this.spec.definition.sla;
+		if (!sla) return [];
+		const statuses = [];
+		const now = Date.now();
+		if (sla.totalDurationMs) {
+			const elapsed = now - this.state.createdAt.getTime();
+			const remaining = Math.max(0, sla.totalDurationMs - elapsed);
+			statuses.push({
+				key: "totalDuration",
+				type: "workflow",
+				limitMs: sla.totalDurationMs,
+				elapsedMs: elapsed,
+				remainingMs: remaining,
+				violated: remaining <= 0,
+				percentUsed: elapsed / sla.totalDurationMs * 100
+			});
+		}
+		if (sla.stepDurationMs) for (const [stepId, limitMs] of Object.entries(sla.stepDurationMs)) {
+			const stepExecution = this.state.history.find((h) => h.stepId === stepId && h.status === "running");
+			const elapsed = stepExecution ? now - stepExecution.startedAt.getTime() : 0;
+			const remaining = Math.max(0, limitMs - elapsed);
+			statuses.push({
+				key: stepId,
+				type: "step",
+				stepId,
+				limitMs,
+				elapsedMs: elapsed,
+				remainingMs: remaining,
+				violated: stepExecution !== void 0 && remaining <= 0,
+				percentUsed: elapsed / limitMs * 100
+			});
+		}
+		return statuses;
+	}
+	hasCompensation() {
+		return this.spec.definition.compensation !== void 0;
+	}
+	getCompensableSteps() {
+		const compensation = this.spec.definition.compensation;
+		if (!compensation) return [];
+		return compensation.steps.map((s) => s.stepId);
+	}
+	getEvents() {
+		const events = [];
+		for (const execution of this.state.history) {
+			events.push({
+				timestamp: execution.startedAt,
+				type: "step_started",
+				stepId: execution.stepId,
+				input: execution.input
+			});
+			if (execution.completedAt) {
+				if (execution.status === "completed") events.push({
+					timestamp: execution.completedAt,
+					type: "step_completed",
+					stepId: execution.stepId,
+					output: execution.output
+				});
+				else if (execution.status === "failed") events.push({
+					timestamp: execution.completedAt,
+					type: "step_failed",
+					stepId: execution.stepId,
+					error: execution.error
+				});
+			}
+		}
+		events.sort((a, b) => a.timestamp.getTime() - b.timestamp.getTime());
+		return events;
+	}
+};
+/**
+* Creates a workflow context from state and spec.
+*
+* @param state - Current workflow state
+* @param spec - Workflow specification
+* @returns WorkflowContext for interacting with the workflow
+*
+* @example
+* ```typescript
+* const state = await runner.getState(workflowId);
+* const spec = registry.get(state.workflowName, state.workflowVersion);
+* const ctx = createWorkflowContext(state, spec);
+*
+* console.log('Current step:', ctx.currentStep);
+* console.log('Available transitions:', ctx.getAvailableTransitions());
+* ```
+*/
+function createWorkflowContext(state, spec) {
+	return new WorkflowContextImpl(state, spec);
+}
+/**
+* Calculate workflow progress as a percentage.
+*
+* @param ctx - Workflow context
+* @returns Progress percentage (0-100)
+*/
+function calculateWorkflowProgress(ctx) {
+	const state = ctx.getState();
+	const completedSteps = new Set(state.history.filter((h) => h.status === "completed").map((h) => h.stepId));
+	completedSteps.size + (ctx.isTerminal() ? 0 : 1);
+	if (ctx.status === "completed") return 100;
+	if (ctx.status === "failed" || ctx.status === "cancelled") return completedSteps.size > 0 ? Math.min(99, completedSteps.size * 20) : 0;
+	return Math.min(99, completedSteps.size * 20);
+}
+/**
+* Get the duration of a workflow in milliseconds.
+*
+* @param ctx - Workflow context
+* @returns Duration in milliseconds
+*/
+function getWorkflowDuration(ctx) {
+	const state = ctx.getState();
+	return (ctx.isTerminal() ? state.updatedAt.getTime() : Date.now()) - state.createdAt.getTime();
+}
+/**
+* Get the average step duration in milliseconds.
+*
+* @param ctx - Workflow context
+* @returns Average duration or 0 if no completed steps
+*/
+function getAverageStepDuration(ctx) {
+	const completedSteps = ctx.history.filter((h) => h.status === "completed" && h.completedAt);
+	if (completedSteps.length === 0) return 0;
+	return completedSteps.reduce((sum, step) => {
+		if (!step.completedAt) return sum;
+		return sum + (step.completedAt.getTime() - step.startedAt.getTime());
+	}, 0) / completedSteps.length;
+}
+
+//#endregion
+export { WorkflowContextError, calculateWorkflowProgress, createWorkflowContext, getAverageStepDuration, getWorkflowDuration };

package/dist/workflow/index.d.ts

@@ -1,6 +1,6 @@
 import { FormRef } from "../features/types.js";
 import { CompensationStep, CompensationStrategy, GuardCondition, GuardConditionKind, RetryPolicy, SLA, Step, StepAction, StepType, Transition, WorkflowDefinition, WorkflowMeta, WorkflowRegistry, WorkflowSpec, WorkflowStatus } from "./spec.js";
-import { ValidateWorkflowSpecOptions, WorkflowValidationError, WorkflowValidationIssue, WorkflowValidationLevel, assertWorkflowSpecValid, validateWorkflowSpec } from "./validation.js";
+import { ValidateWorkflowSpecOptions, WorkflowConsistencyDeps, WorkflowValidationError, WorkflowValidationIssue, WorkflowValidationLevel, WorkflowValidationResult, assertWorkflowConsistency, assertWorkflowSpecValid, validateCompensation, validateRetryConfig, validateSlaConfig, validateWorkflowComprehensive, validateWorkflowConsistency, validateWorkflowSpec } from "./validation.js";
 import { StateStore, StepExecution, WorkflowState, WorkflowStateFilters } from "./state.js";
 import { GuardContext, GuardEvaluator, OperationExecutor, OperationExecutorContext, WorkflowPreFlightError, WorkflowPreFlightIssue, WorkflowPreFlightIssueSeverity, WorkflowPreFlightIssueType, WorkflowPreFlightResult, WorkflowRunner, WorkflowRunnerConfig } from "./runner.js";
 import { ExpressionContext, evaluateExpression } from "./expression.js";
@@ -8,6 +8,8 @@ import { InMemoryStateStore } from "./adapters/memory-store.js";
 import { PrismaStateStore } from "./adapters/db-adapter.js";
 import { FileStateStoreOptions, createFileStateStore } from "./adapters/file-adapter.js";
 import "./adapters/index.js";
+import { AvailableTransition, SlaStatus, WorkflowContext, WorkflowContextError, WorkflowContextErrorType, WorkflowEvent, WorkflowTransitionResult, calculateWorkflowProgress, createWorkflowContext, getAverageStepDuration, getWorkflowDuration } from "./context.js";
+import { SLABreachEvent, SLAMonitor } from "./sla-monitor.js";
 
 //#region src/workflow/index.d.ts
 /**
@@ -15,4 +17,4 @@ import "./adapters/index.js";
  */
 declare const defineWorkflow: (spec: WorkflowSpec) => WorkflowSpec;
 //#endregion
-export { CompensationStep, CompensationStrategy, ExpressionContext, FileStateStoreOptions, FormRef, GuardCondition, GuardConditionKind, GuardContext, GuardEvaluator, InMemoryStateStore, OperationExecutor, OperationExecutorContext, PrismaStateStore, RetryPolicy, SLA, StateStore, Step, StepAction, StepExecution, StepType, Transition, ValidateWorkflowSpecOptions, WorkflowDefinition, WorkflowMeta, WorkflowPreFlightError, WorkflowPreFlightIssue, WorkflowPreFlightIssueSeverity, WorkflowPreFlightIssueType, WorkflowPreFlightResult, WorkflowRegistry, WorkflowRunner, WorkflowRunnerConfig, WorkflowSpec, WorkflowState, WorkflowStateFilters, WorkflowStatus, WorkflowValidationError, WorkflowValidationIssue, WorkflowValidationLevel, assertWorkflowSpecValid, createFileStateStore, defineWorkflow, evaluateExpression, validateWorkflowSpec };
+export { AvailableTransition, CompensationStep, CompensationStrategy, ExpressionContext, FileStateStoreOptions, FormRef, GuardCondition, GuardConditionKind, GuardContext, GuardEvaluator, InMemoryStateStore, OperationExecutor, OperationExecutorContext, PrismaStateStore, RetryPolicy, SLA, SLABreachEvent, SLAMonitor, SlaStatus, StateStore, Step, StepAction, StepExecution, StepType, Transition, ValidateWorkflowSpecOptions, WorkflowConsistencyDeps, WorkflowContext, WorkflowContextError, WorkflowContextErrorType, WorkflowDefinition, WorkflowEvent, WorkflowMeta, WorkflowPreFlightError, WorkflowPreFlightIssue, WorkflowPreFlightIssueSeverity, WorkflowPreFlightIssueType, WorkflowPreFlightResult, WorkflowRegistry, WorkflowRunner, WorkflowRunnerConfig, WorkflowSpec, WorkflowState, WorkflowStateFilters, WorkflowStatus, WorkflowTransitionResult, WorkflowValidationError, WorkflowValidationIssue, WorkflowValidationLevel, WorkflowValidationResult, assertWorkflowConsistency, assertWorkflowSpecValid, calculateWorkflowProgress, createFileStateStore, createWorkflowContext, defineWorkflow, evaluateExpression, getAverageStepDuration, getWorkflowDuration, validateCompensation, validateRetryConfig, validateSlaConfig, validateWorkflowComprehensive, validateWorkflowConsistency, validateWorkflowSpec };

package/dist/workflow/index.js

@@ -1,10 +1,12 @@
 import { WorkflowRegistry } from "./spec.js";
-import { WorkflowValidationError, assertWorkflowSpecValid, validateWorkflowSpec } from "./validation.js";
+import { WorkflowValidationError, assertWorkflowConsistency, assertWorkflowSpecValid, validateCompensation, validateRetryConfig, validateSlaConfig, validateWorkflowComprehensive, validateWorkflowConsistency, validateWorkflowSpec } from "./validation.js";
 import { evaluateExpression } from "./expression.js";
 import { WorkflowPreFlightError, WorkflowRunner } from "./runner.js";
 import { InMemoryStateStore } from "./adapters/memory-store.js";
 import { PrismaStateStore } from "./adapters/db-adapter.js";
 import { createFileStateStore } from "./adapters/file-adapter.js";
+import { WorkflowContextError, calculateWorkflowProgress, createWorkflowContext, getAverageStepDuration, getWorkflowDuration } from "./context.js";
+import { SLAMonitor } from "./sla-monitor.js";
 
 //#region src/workflow/index.ts
 /**
@@ -13,4 +15,4 @@ import { createFileStateStore } from "./adapters/file-adapter.js";
 const defineWorkflow = (spec) => spec;
 
 //#endregion
-export { InMemoryStateStore, PrismaStateStore, WorkflowPreFlightError, WorkflowRegistry, WorkflowRunner, WorkflowValidationError, assertWorkflowSpecValid, createFileStateStore, defineWorkflow, evaluateExpression, validateWorkflowSpec };
+export { InMemoryStateStore, PrismaStateStore, SLAMonitor, WorkflowContextError, WorkflowPreFlightError, WorkflowRegistry, WorkflowRunner, WorkflowValidationError, assertWorkflowConsistency, assertWorkflowSpecValid, calculateWorkflowProgress, createFileStateStore, createWorkflowContext, defineWorkflow, evaluateExpression, getAverageStepDuration, getWorkflowDuration, validateCompensation, validateRetryConfig, validateSlaConfig, validateWorkflowComprehensive, validateWorkflowConsistency, validateWorkflowSpec };

package/dist/workflow/spec.d.ts

@@ -1,5 +1,5 @@
-import { OwnerShipMeta } from "../ownership.js";
 import { CapabilityRef } from "../capabilities/capabilities.js";
+import { OwnerShipMeta } from "../ownership.js";
 import "../capabilities/index.js";
 import { ExperimentRef } from "../experiments/spec.js";
 import { FormRef, OpRef } from "../features/types.js";

package/dist/workflow/validation.d.ts

@@ -1,5 +1,7 @@
+import { CapabilityRegistry } from "../capabilities/capabilities.js";
 import { OperationSpecRegistry } from "../operations/registry.js";
-import { WorkflowSpec } from "./spec.js";
+import { WorkflowRegistry, WorkflowSpec } from "./spec.js";
+import { EventRegistry } from "../events.js";
 import { FormRegistry } from "../forms/forms.js";
 import "../forms/index.js";
 
@@ -25,5 +27,65 @@ declare class WorkflowValidationError extends Error {
  */
 declare function validateWorkflowSpec(spec: WorkflowSpec, options?: ValidateWorkflowSpecOptions): WorkflowValidationIssue[];
 declare function assertWorkflowSpecValid(spec: WorkflowSpec, options?: ValidateWorkflowSpecOptions): void;
+interface WorkflowConsistencyDeps {
+  workflows: WorkflowRegistry;
+  operations?: OperationSpecRegistry;
+  forms?: FormRegistry;
+  events?: EventRegistry;
+  capabilities?: CapabilityRegistry;
+}
+interface WorkflowValidationResult {
+  valid: boolean;
+  issues: WorkflowValidationIssue[];
+}
+/**
+ * Validate workflow consistency across registries.
+ *
+ * Checks that:
+ * - All workflow specs are internally valid
+ * - Operations referenced by steps exist
+ * - Forms referenced by steps exist
+ * - Capabilities required by steps exist
+ *
+ * @param deps - Registry dependencies
+ * @returns Validation result
+ */
+declare function validateWorkflowConsistency(deps: WorkflowConsistencyDeps): WorkflowValidationResult;
+/**
+ * Assert workflow consistency across registries.
+ *
+ * @param deps - Registry dependencies
+ * @throws {WorkflowValidationError} If validation fails
+ */
+declare function assertWorkflowConsistency(deps: WorkflowConsistencyDeps): void;
+/**
+ * Validate SLA configuration is reasonable.
+ *
+ * @param spec - Workflow spec to validate
+ * @returns Array of validation issues
+ */
+declare function validateSlaConfig(spec: WorkflowSpec): WorkflowValidationIssue[];
+/**
+ * Validate compensation configuration.
+ *
+ * @param spec - Workflow spec to validate
+ * @returns Array of validation issues
+ */
+declare function validateCompensation(spec: WorkflowSpec): WorkflowValidationIssue[];
+/**
+ * Validate retry configuration.
+ *
+ * @param spec - Workflow spec to validate
+ * @returns Array of validation issues
+ */
+declare function validateRetryConfig(spec: WorkflowSpec): WorkflowValidationIssue[];
+/**
+ * Perform comprehensive workflow validation.
+ *
+ * @param spec - Workflow spec to validate
+ * @param options - Validation options
+ * @returns Validation result
+ */
+declare function validateWorkflowComprehensive(spec: WorkflowSpec, options?: ValidateWorkflowSpecOptions): WorkflowValidationResult;
 //#endregion
-export { ValidateWorkflowSpecOptions, WorkflowValidationError, WorkflowValidationIssue, WorkflowValidationLevel, assertWorkflowSpecValid, validateWorkflowSpec };
+export { ValidateWorkflowSpecOptions, WorkflowConsistencyDeps, WorkflowValidationError, WorkflowValidationIssue, WorkflowValidationLevel, WorkflowValidationResult, assertWorkflowConsistency, assertWorkflowSpecValid, validateCompensation, validateRetryConfig, validateSlaConfig, validateWorkflowComprehensive, validateWorkflowConsistency, validateWorkflowSpec };

package/dist/workflow/validation.js

@@ -171,6 +171,199 @@ function detectCycles(adjacency, issues) {
 	};
 	for (const node of adjacency.keys()) dfs(node);
 }
+/**
+* Validate workflow consistency across registries.
+*
+* Checks that:
+* - All workflow specs are internally valid
+* - Operations referenced by steps exist
+* - Forms referenced by steps exist
+* - Capabilities required by steps exist
+*
+* @param deps - Registry dependencies
+* @returns Validation result
+*/
+function validateWorkflowConsistency(deps) {
+	const issues = [];
+	for (const workflow of deps.workflows.list()) {
+		const specIssues = validateWorkflowSpec(workflow, {
+			operations: deps.operations,
+			forms: deps.forms
+		});
+		issues.push(...specIssues.map((i) => ({
+			...i,
+			message: `[${workflow.meta.key}.v${workflow.meta.version}] ${i.message}`
+		})));
+		if (deps.capabilities) {
+			for (const step of workflow.definition.steps) for (const capRef of step.requiredCapabilities ?? []) if (!deps.capabilities.get(capRef.key, capRef.version)) issues.push({
+				level: "error",
+				message: `[${workflow.meta.key}.v${workflow.meta.version}] Step "${step.id}" references unknown capability "${capRef.key}.v${capRef.version}"`,
+				context: {
+					stepId: step.id,
+					capability: capRef
+				}
+			});
+		}
+		if (workflow.definition.compensation && deps.operations) {
+			for (const compStep of workflow.definition.compensation.steps) if (!deps.operations.get(compStep.operation.key, compStep.operation.version)) issues.push({
+				level: "error",
+				message: `[${workflow.meta.key}.v${workflow.meta.version}] Compensation for step "${compStep.stepId}" references unknown operation "${compStep.operation.key}.v${compStep.operation.version}"`,
+				context: {
+					stepId: compStep.stepId,
+					operation: compStep.operation
+				}
+			});
+		}
+		if (workflow.definition.sla?.stepDurationMs) {
+			const stepIds = new Set(workflow.definition.steps.map((s) => s.id));
+			for (const stepId of Object.keys(workflow.definition.sla.stepDurationMs)) if (!stepIds.has(stepId)) issues.push({
+				level: "warning",
+				message: `[${workflow.meta.key}.v${workflow.meta.version}] SLA references unknown step "${stepId}"`,
+				context: { stepId }
+			});
+		}
+	}
+	return {
+		valid: issues.filter((i) => i.level === "error").length === 0,
+		issues
+	};
+}
+/**
+* Assert workflow consistency across registries.
+*
+* @param deps - Registry dependencies
+* @throws {WorkflowValidationError} If validation fails
+*/
+function assertWorkflowConsistency(deps) {
+	const result = validateWorkflowConsistency(deps);
+	if (!result.valid) throw new WorkflowValidationError("Workflow consistency check failed", result.issues);
+}
+/**
+* Validate SLA configuration is reasonable.
+*
+* @param spec - Workflow spec to validate
+* @returns Array of validation issues
+*/
+function validateSlaConfig(spec) {
+	const issues = [];
+	const sla = spec.definition.sla;
+	if (!sla) return issues;
+	if (sla.totalDurationMs !== void 0 && sla.totalDurationMs <= 0) issues.push({
+		level: "error",
+		message: "SLA totalDurationMs must be positive",
+		context: { totalDurationMs: sla.totalDurationMs }
+	});
+	if (sla.stepDurationMs) {
+		for (const [stepId, duration] of Object.entries(sla.stepDurationMs)) if (duration <= 0) issues.push({
+			level: "error",
+			message: `SLA stepDurationMs for "${stepId}" must be positive`,
+			context: {
+				stepId,
+				duration
+			}
+		});
+		const stepDurationsSum = Object.values(sla.stepDurationMs).reduce((sum, d) => sum + d, 0);
+		if (sla.totalDurationMs && stepDurationsSum > sla.totalDurationMs) issues.push({
+			level: "warning",
+			message: `Sum of step durations (${stepDurationsSum}ms) exceeds total duration (${sla.totalDurationMs}ms)`,
+			context: {
+				stepDurationsSum,
+				totalDurationMs: sla.totalDurationMs
+			}
+		});
+	}
+	return issues;
+}
+/**
+* Validate compensation configuration.
+*
+* @param spec - Workflow spec to validate
+* @returns Array of validation issues
+*/
+function validateCompensation(spec) {
+	const issues = [];
+	const compensation = spec.definition.compensation;
+	if (!compensation) return issues;
+	const stepIds = new Set(spec.definition.steps.map((s) => s.id));
+	const coveredSteps = /* @__PURE__ */ new Set();
+	for (const compStep of compensation.steps) {
+		if (!stepIds.has(compStep.stepId)) issues.push({
+			level: "error",
+			message: `Compensation references unknown step "${compStep.stepId}"`,
+			context: { stepId: compStep.stepId }
+		});
+		if (coveredSteps.has(compStep.stepId)) issues.push({
+			level: "warning",
+			message: `Multiple compensation handlers for step "${compStep.stepId}"`,
+			context: { stepId: compStep.stepId }
+		});
+		coveredSteps.add(compStep.stepId);
+		if (!compStep.operation?.key || !compStep.operation?.version) issues.push({
+			level: "error",
+			message: `Compensation for step "${compStep.stepId}" must specify operation with key and version`,
+			context: { stepId: compStep.stepId }
+		});
+	}
+	const automationSteps = spec.definition.steps.filter((s) => s.type === "automation");
+	for (const step of automationSteps) if (!coveredSteps.has(step.id)) issues.push({
+		level: "warning",
+		message: `Automation step "${step.id}" has no compensation handler`,
+		context: { stepId: step.id }
+	});
+	return issues;
+}
+/**
+* Validate retry configuration.
+*
+* @param spec - Workflow spec to validate
+* @returns Array of validation issues
+*/
+function validateRetryConfig(spec) {
+	const issues = [];
+	for (const step of spec.definition.steps) {
+		if (!step.retry) continue;
+		if (step.retry.maxAttempts <= 0) issues.push({
+			level: "error",
+			message: `Step "${step.id}" retry maxAttempts must be positive`,
+			context: {
+				stepId: step.id,
+				maxAttempts: step.retry.maxAttempts
+			}
+		});
+		if (step.retry.delayMs <= 0) issues.push({
+			level: "error",
+			message: `Step "${step.id}" retry delayMs must be positive`,
+			context: {
+				stepId: step.id,
+				delayMs: step.retry.delayMs
+			}
+		});
+		if (step.retry.maxDelayMs !== void 0 && step.retry.maxDelayMs < step.retry.delayMs) issues.push({
+			level: "warning",
+			message: `Step "${step.id}" retry maxDelayMs (${step.retry.maxDelayMs}) is less than delayMs (${step.retry.delayMs})`,
+			context: { stepId: step.id }
+		});
+	}
+	return issues;
+}
+/**
+* Perform comprehensive workflow validation.
+*
+* @param spec - Workflow spec to validate
+* @param options - Validation options
+* @returns Validation result
+*/
+function validateWorkflowComprehensive(spec, options = {}) {
+	const issues = [];
+	issues.push(...validateWorkflowSpec(spec, options));
+	issues.push(...validateSlaConfig(spec));
+	issues.push(...validateCompensation(spec));
+	issues.push(...validateRetryConfig(spec));
+	return {
+		valid: issues.filter((i) => i.level === "error").length === 0,
+		issues
+	};
+}
 
 //#endregion
-export { WorkflowValidationError, assertWorkflowSpecValid, validateWorkflowSpec };
+export { WorkflowValidationError, assertWorkflowConsistency, assertWorkflowSpecValid, validateCompensation, validateRetryConfig, validateSlaConfig, validateWorkflowComprehensive, validateWorkflowConsistency, validateWorkflowSpec };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@contractspec/lib.contracts",
-  "version": "1.50.0",
+  "version": "1.52.0",
   "description": "Core contract specification definitions and runtime",
   "keywords": [
     "contractspec",
@@ -25,18 +25,19 @@
     "test": "bun test"
   },
   "devDependencies": {
-    "@contractspec/tool.tsdown": "1.50.0",
-    "@contractspec/tool.typescript": "1.50.0",
+    "@contractspec/tool.tsdown": "1.52.0",
+    "@contractspec/tool.typescript": "1.52.0",
     "@types/express": "^5.0.3",
     "@types/turndown": "^5.0.6",
     "tsdown": "^0.19.0",
-    "typescript": "^5.9.3"
+    "typescript": "^5.9.3",
+    "vitest": "^4.0.18"
   },
   "dependencies": {
     "@aws-sdk/client-secrets-manager": "^3.966.0",
     "@aws-sdk/client-sqs": "^3.966.0",
-    "@contractspec/lib.logger": "1.50.0",
-    "@contractspec/lib.schema": "1.50.0",
+    "@contractspec/lib.logger": "1.52.0",
+    "@contractspec/lib.schema": "1.52.0",
     "@elevenlabs/elevenlabs-js": "^2.30.0",
     "@google-cloud/secret-manager": "^6.1.1",
     "@google-cloud/storage": "^7.18.0",
@@ -95,8 +96,11 @@
     "./app-config/validation": "./dist/app-config/validation.js",
     "./capabilities": "./dist/capabilities/index.js",
     "./capabilities/capabilities": "./dist/capabilities/capabilities.js",
+    "./capabilities/context": "./dist/capabilities/context.js",
     "./capabilities/docs/capabilities.docblock": "./dist/capabilities/docs/capabilities.docblock.js",
+    "./capabilities/guards": "./dist/capabilities/guards.js",
     "./capabilities/openbanking": "./dist/capabilities/openbanking.js",
+    "./capabilities/validation": "./dist/capabilities/validation.js",
     "./client": "./dist/client/index.js",
     "./client/react": "./dist/client/react/index.js",
     "./client/react/drivers/rn-reusables": "./dist/client/react/drivers/rn-reusables.js",
@@ -282,11 +286,14 @@
     "./operations/registry": "./dist/operations/registry.js",
     "./ownership": "./dist/ownership.js",
     "./policy": "./dist/policy/index.js",
+    "./policy/context": "./dist/policy/context.js",
     "./policy/docs/policy.docblock": "./dist/policy/docs/policy.docblock.js",
     "./policy/engine": "./dist/policy/engine.js",
+    "./policy/guards": "./dist/policy/guards.js",
     "./policy/opa-adapter": "./dist/policy/opa-adapter.js",
     "./policy/registry": "./dist/policy/registry.js",
     "./policy/spec": "./dist/policy/spec.js",
+    "./policy/validation": "./dist/policy/validation.js",
     "./presentations": "./dist/presentations/index.js",
     "./presentations/docs/presentations-conventions.docblock": "./dist/presentations/docs/presentations-conventions.docblock.js",
     "./presentations/presentations": "./dist/presentations/presentations.js",
@@ -335,8 +342,12 @@
     "./tests/runner": "./dist/tests/runner.js",
     "./tests/spec": "./dist/tests/spec.js",
     "./themes": "./dist/themes.js",
+    "./translations": "./dist/translations/index.js",
     "./translations/catalog": "./dist/translations/catalog.js",
+    "./translations/registry": "./dist/translations/registry.js",
+    "./translations/spec": "./dist/translations/spec.js",
     "./translations/tenant": "./dist/translations/tenant.js",
+    "./translations/validation": "./dist/translations/validation.js",
     "./types": "./dist/types.js",
     "./versioning": "./dist/versioning/index.js",
     "./versioning/refs": "./dist/versioning/refs.js",
@@ -347,6 +358,7 @@
     "./workflow/adapters/db-adapter": "./dist/workflow/adapters/db-adapter.js",
     "./workflow/adapters/file-adapter": "./dist/workflow/adapters/file-adapter.js",
     "./workflow/adapters/memory-store": "./dist/workflow/adapters/memory-store.js",
+    "./workflow/context": "./dist/workflow/context.js",
     "./workflow/expression": "./dist/workflow/expression.js",
     "./workflow/overview.docblock": "./dist/workflow/overview.docblock.js",
     "./workflow/runner": "./dist/workflow/runner.js",