@contractspec/lib.contracts 1.50.0 → 1.51.0

package/dist/capabilities/validation.js

@@ -0,0 +1,141 @@
+//#region src/capabilities/validation.ts
+/**
+* Validates bidirectional consistency between capabilities and their surfaces.
+*
+* Checks:
+* 1. Forward validation: Every surface ref in capability `provides` exists
+* 2. Reverse validation: Every spec with `capability` field is in that capability's `provides`
+*
+* @param deps - Registries to validate against
+* @returns Validation result with errors and warnings
+*
+* @example
+* ```typescript
+* const result = validateCapabilityConsistency({
+*   capabilities: capabilityRegistry,
+*   operations: operationRegistry,
+*   events: eventRegistry,
+* });
+*
+* if (!result.valid) {
+*   console.error('Capability validation failed:', result.errors);
+* }
+* ```
+*/
+function validateCapabilityConsistency(deps) {
+	const errors = [];
+	const warnings = [];
+	for (const capability of deps.capabilities.list()) {
+		const capKey = `${capability.meta.key}.v${capability.meta.version}`;
+		for (const surface of capability.provides ?? []) if (!checkSurfaceExists(deps, surface.surface, surface.key)) errors.push({
+			type: "missing_surface_spec",
+			message: `Capability "${capKey}" provides ${surface.surface} "${surface.key}" but spec not found`,
+			capabilityKey: capKey,
+			surface: surface.surface,
+			specKey: surface.key
+		});
+	}
+	if (deps.operations) {
+		for (const op of deps.operations.list()) if (op.capability) {
+			const capSpec = deps.capabilities.get(op.capability.key, op.capability.version);
+			if (!capSpec) errors.push({
+				type: "capability_not_found",
+				message: `Operation "${op.meta.key}" references capability "${op.capability.key}.v${op.capability.version}" but capability not found`,
+				specKey: op.meta.key,
+				capabilityKey: `${op.capability.key}.v${op.capability.version}`,
+				surface: "operation"
+			});
+			else if (!capSpec.provides?.some((p) => p.surface === "operation" && p.key === op.meta.key)) errors.push({
+				type: "surface_not_in_provides",
+				message: `Operation "${op.meta.key}" claims capability "${op.capability.key}.v${op.capability.version}" but not in capability's provides`,
+				specKey: op.meta.key,
+				capabilityKey: `${op.capability.key}.v${op.capability.version}`,
+				surface: "operation"
+			});
+		}
+	}
+	if (deps.events) {
+		for (const event of deps.events.list()) if (event.capability) {
+			const capSpec = deps.capabilities.get(event.capability.key, event.capability.version);
+			if (!capSpec) errors.push({
+				type: "capability_not_found",
+				message: `Event "${event.meta.key}" references capability "${event.capability.key}.v${event.capability.version}" but capability not found`,
+				specKey: event.meta.key,
+				capabilityKey: `${event.capability.key}.v${event.capability.version}`,
+				surface: "event"
+			});
+			else if (!capSpec.provides?.some((p) => p.surface === "event" && p.key === event.meta.key)) errors.push({
+				type: "surface_not_in_provides",
+				message: `Event "${event.meta.key}" claims capability "${event.capability.key}.v${event.capability.version}" but not in capability's provides`,
+				specKey: event.meta.key,
+				capabilityKey: `${event.capability.key}.v${event.capability.version}`,
+				surface: "event"
+			});
+		}
+	}
+	if (deps.presentations) {
+		for (const pres of deps.presentations.list()) if (pres.capability) {
+			const capSpec = deps.capabilities.get(pres.capability.key, pres.capability.version);
+			if (!capSpec) errors.push({
+				type: "capability_not_found",
+				message: `Presentation "${pres.meta.key}" references capability "${pres.capability.key}.v${pres.capability.version}" but capability not found`,
+				specKey: pres.meta.key,
+				capabilityKey: `${pres.capability.key}.v${pres.capability.version}`,
+				surface: "presentation"
+			});
+			else if (!capSpec.provides?.some((p) => p.surface === "presentation" && p.key === pres.meta.key)) errors.push({
+				type: "surface_not_in_provides",
+				message: `Presentation "${pres.meta.key}" claims capability "${pres.capability.key}.v${pres.capability.version}" but not in capability's provides`,
+				specKey: pres.meta.key,
+				capabilityKey: `${pres.capability.key}.v${pres.capability.version}`,
+				surface: "presentation"
+			});
+		}
+	}
+	return {
+		valid: errors.length === 0,
+		errors,
+		warnings
+	};
+}
+/**
+* Check if a spec exists for a given surface type and key.
+*/
+function checkSurfaceExists(deps, surface, key) {
+	switch (surface) {
+		case "operation": return deps.operations?.has(key) ?? true;
+		case "event": return deps.events?.has(key) ?? true;
+		case "presentation": return deps.presentations?.has(key) ?? true;
+		case "workflow":
+		case "resource": return true;
+		default: return true;
+	}
+}
+/**
+* Finds specs that have no capability assignment (orphan specs).
+* This is informational - orphan specs are allowed but may indicate
+* incomplete capability modeling.
+*
+* @param deps - Registries to check
+* @returns List of spec keys without capability assignment
+*/
+function findOrphanSpecs(deps) {
+	const result = {
+		operations: [],
+		events: [],
+		presentations: []
+	};
+	if (deps.operations) {
+		for (const op of deps.operations.list()) if (!op.capability) result.operations.push(op.meta.key);
+	}
+	if (deps.events) {
+		for (const event of deps.events.list()) if (!event.capability) result.events.push(event.meta.key);
+	}
+	if (deps.presentations) {
+		for (const pres of deps.presentations.list()) if (!pres.capability) result.presentations.push(pres.meta.key);
+	}
+	return result;
+}
+
+//#endregion
+export { findOrphanSpecs, validateCapabilityConsistency };

package/dist/client/react/feature-render.d.ts

@@ -1,8 +1,8 @@
 import { PresentationSpec, PresentationTarget } from "../../presentations/presentations.js";
-import { FeatureModuleSpec } from "../../features/types.js";
-import { FeatureRegistry } from "../../features/registry.js";
 import { ComponentMap, TransformEngine } from "../../presentations/transform-engine.js";
 import "../../presentations/index.js";
+import { FeatureModuleSpec } from "../../features/types.js";
+import { FeatureRegistry } from "../../features/registry.js";
 import "../../features/index.js";
 import React from "react";
 import { BlockConfig } from "@blocknote/core";

package/dist/contract-registry/schemas.d.ts

@@ -46,12 +46,12 @@ declare const ContractRegistryItemSchema: z.ZodObject<{
   description: z.ZodString;
   meta: z.ZodObject<{
     stability: z.ZodEnum<{
-      deprecated: "deprecated";
       idea: "idea";
       in_creation: "in_creation";
       experimental: "experimental";
       beta: "beta";
       stable: "stable";
+      deprecated: "deprecated";
     }>;
     owners: z.ZodDefault<z.ZodArray<z.ZodString>>;
     tags: z.ZodDefault<z.ZodArray<z.ZodString>>;
@@ -95,12 +95,12 @@ declare const ContractRegistryManifestSchema: z.ZodObject<{
     description: z.ZodString;
     meta: z.ZodObject<{
       stability: z.ZodEnum<{
-        deprecated: "deprecated";
         idea: "idea";
         in_creation: "in_creation";
         experimental: "experimental";
         beta: "beta";
         stable: "stable";
+        deprecated: "deprecated";
       }>;
       owners: z.ZodDefault<z.ZodArray<z.ZodString>>;
       tags: z.ZodDefault<z.ZodArray<z.ZodString>>;

package/dist/data-views/runtime.d.ts

@@ -1,5 +1,5 @@
-import { OperationSpecRegistry } from "../operations/registry.js";
 import "../operations/index.js";
+import { OperationSpecRegistry } from "../operations/registry.js";
 import { DataViewSpec } from "./spec.js";
 import { DataViewRegistry } from "./registry.js";
 import "./index.js";

package/dist/events.d.ts

@@ -1,3 +1,4 @@
+import { CapabilityRef } from "./capabilities/capabilities.js";
 import { DocId } from "./docs/registry.js";
 import { OwnerShipMeta } from "./ownership.js";
 import { SpecContractRegistry } from "./registry.js";
@@ -25,6 +26,11 @@ interface EventSpecMeta extends Omit<OwnerShipMeta, 'docId'> {
 interface EventSpec<T extends AnySchemaModel> {
   /** Event metadata including key, version, and ownership. */
   meta: EventSpecMeta;
+  /**
+   * Optional reference to the capability that provides this event.
+   * Used for bidirectional linking between capabilities and events.
+   */
+  capability?: CapabilityRef;
   /**
    * JSON paths to PII fields that should be redacted in logs/exports.
    * @example ['email', 'user.phone', 'billing.address']

package/dist/examples/schema.d.ts

@@ -4,13 +4,13 @@ import { z as z$1 } from "zod";
 //#region src/examples/schema.d.ts
 declare const ExampleKindSchema: z$1.ZodEnum<{
   knowledge: "knowledge";
-  library: "library";
+  template: "template";
   workflow: "workflow";
   integration: "integration";
-  template: "template";
   blueprint: "blueprint";
   ui: "ui";
   script: "script";
+  library: "library";
 }>;
 declare const ExampleVisibilitySchema: z$1.ZodEnum<{
   experimental: "experimental";
@@ -25,12 +25,12 @@ declare const ExampleSandboxModeSchema: z$1.ZodEnum<{
   evolution: "evolution";
 }>;
 declare const StabilitySchema: z$1.ZodEnum<{
-  deprecated: "deprecated";
   idea: "idea";
   in_creation: "in_creation";
   experimental: "experimental";
   beta: "beta";
   stable: "stable";
+  deprecated: "deprecated";
 }>;
 declare const ExampleDocumentationSchema: z$1.ZodObject<{
   rootDocId: z$1.ZodOptional<z$1.ZodString>;
@@ -93,25 +93,25 @@ declare const ExampleMetaSchema: z$1.ZodObject<{
   description: z$1.ZodString;
   domain: z$1.ZodOptional<z$1.ZodString>;
   stability: z$1.ZodEnum<{
-    deprecated: "deprecated";
     idea: "idea";
     in_creation: "in_creation";
     experimental: "experimental";
     beta: "beta";
     stable: "stable";
+    deprecated: "deprecated";
   }>;
   owners: z$1.ZodArray<z$1.ZodString>;
   tags: z$1.ZodArray<z$1.ZodString>;
   docId: z$1.ZodOptional<z$1.ZodArray<z$1.ZodString>>;
   kind: z$1.ZodEnum<{
     knowledge: "knowledge";
-    library: "library";
+    template: "template";
     workflow: "workflow";
     integration: "integration";
-    template: "template";
     blueprint: "blueprint";
     ui: "ui";
     script: "script";
+    library: "library";
   }>;
   visibility: z$1.ZodEnum<{
     experimental: "experimental";
@@ -141,25 +141,25 @@ declare const ExampleSpecSchema: z$1.ZodObject<{
     description: z$1.ZodString;
     domain: z$1.ZodOptional<z$1.ZodString>;
     stability: z$1.ZodEnum<{
-      deprecated: "deprecated";
       idea: "idea";
       in_creation: "in_creation";
       experimental: "experimental";
       beta: "beta";
       stable: "stable";
+      deprecated: "deprecated";
     }>;
     owners: z$1.ZodArray<z$1.ZodString>;
     tags: z$1.ZodArray<z$1.ZodString>;
     docId: z$1.ZodOptional<z$1.ZodArray<z$1.ZodString>>;
     kind: z$1.ZodEnum<{
       knowledge: "knowledge";
-      library: "library";
+      template: "template";
       workflow: "workflow";
       integration: "integration";
-      template: "template";
       blueprint: "blueprint";
       ui: "ui";
       script: "script";
+      library: "library";
     }>;
     visibility: z$1.ZodEnum<{
       experimental: "experimental";
@@ -221,10 +221,10 @@ declare function safeParseExampleSpec(data: unknown): z$1.ZodSafeParseResult<{
     version: string;
     key: string;
     description: string;
-    stability: "deprecated" | "idea" | "in_creation" | "experimental" | "beta" | "stable";
+    stability: "idea" | "in_creation" | "experimental" | "beta" | "stable" | "deprecated";
     owners: string[];
     tags: string[];
-    kind: "knowledge" | "library" | "workflow" | "integration" | "template" | "blueprint" | "ui" | "script";
+    kind: "knowledge" | "template" | "workflow" | "integration" | "blueprint" | "ui" | "script" | "library";
     visibility: "experimental" | "public" | "internal";
     title?: string | undefined;
     domain?: string | undefined;

package/dist/experiments/spec.d.ts

@@ -1,5 +1,5 @@
-import { OwnerShipMeta } from "../ownership.js";
 import { OptionalVersionedSpecRef } from "../versioning/refs.js";
+import { OwnerShipMeta } from "../ownership.js";
 import { PolicyRef } from "../policy/spec.js";
 import { TelemetryEventDef } from "../telemetry/spec.js";
 import { SpecContractRegistry } from "../registry.js";

package/dist/features/install.d.ts

@@ -1,11 +1,11 @@
-import { PresentationSpec } from "../presentations/presentations.js";
 import { CapabilityRegistry } from "../capabilities/capabilities.js";
-import "../capabilities/index.js";
+import { PresentationSpec } from "../presentations/presentations.js";
 import { OperationSpecRegistry } from "../operations/registry.js";
-import { FeatureModuleSpec } from "./types.js";
-import { FeatureRegistry } from "./registry.js";
 import { PresentationRegistry } from "../presentations/registry.js";
 import "../presentations/index.js";
+import "../capabilities/index.js";
+import { FeatureModuleSpec } from "./types.js";
+import { FeatureRegistry } from "./registry.js";
 
 //#region src/features/install.d.ts
 /** Dependencies for installing a feature. */

package/dist/features/types.d.ts

@@ -1,11 +1,11 @@
-import { PresentationTarget } from "../presentations/presentations.js";
-import { OwnerShipMeta } from "../ownership.js";
 import { SpecKeyRef, VersionedSpecRef } from "../versioning/refs.js";
 import { CapabilityRef, CapabilityRequirement } from "../capabilities/capabilities.js";
-import "../capabilities/index.js";
-import { ExperimentRef } from "../experiments/spec.js";
+import { PresentationTarget } from "../presentations/presentations.js";
+import { OwnerShipMeta } from "../ownership.js";
 import { ImplementationRef } from "../operations/operation.js";
 import "../operations/index.js";
+import "../capabilities/index.js";
+import { ExperimentRef } from "../experiments/spec.js";
 
 //#region src/features/types.d.ts
 /** Minimal metadata to identify and categorize a feature module. */

package/dist/index.d.ts

@@ -1,4 +1,8 @@
 import { DocBlock, DocBlockLink, DocKind, DocVisibility } from "./docs/types.js";
+import { OptionalVersionedSpecRef, SpecKeyRef, VersionedSpecRef, createKeyRef, createOptionalRef, createVersionedRef, formatVersionedRefKey, isOptionalVersionedSpecRef, isSpecKeyRef, isVersionedSpecRef, parseVersionedRefKey } from "./versioning/refs.js";
+import { ChangeEntry, ChangeType, ChangelogDocBlock, ChangelogEntry, ChangelogJsonExport, ChangelogResult, SemanticVersion, VersionAnalysis, VersionAnalysisResult, VersionBumpType, isChangeType, isChangelogDocBlock, isVersionBumpType } from "./versioning/types.js";
+import { bumpVersion, compareVersions, determineBumpType, formatVersion, getBumpTypePriority, getMaxBumpType, isValidVersion, isVersionEqual, isVersionGreater, isVersionLess, parseVersion, parseVersionStrict, validateVersion } from "./versioning/utils.js";
+import { CapabilityKind, CapabilityMeta, CapabilityRef, CapabilityRegistry, CapabilityRequirement, CapabilitySpec, CapabilitySurface, CapabilitySurfaceRef, capabilityKey, defineCapability } from "./capabilities/capabilities.js";
 import { PresentationSource, PresentationSourceBlocknotejs, PresentationSourceComponentReact, PresentationSpec, PresentationSpecMeta, PresentationTarget, definePresentation } from "./presentations/presentations.js";
 import { DocPresentationOptions, DocPresentationRoute, docBlockToPresentationSpec, docBlocksToPresentationRoutes, docBlocksToPresentationSpecs, mapDocRoutes } from "./docs/presentations.js";
 import { DocId, DocRegistry, defaultDocRegistry, docId, listRegisteredDocBlocks, registerDocBlocks } from "./docs/registry.js";
@@ -7,29 +11,28 @@ import { metaDocs } from "./docs/meta.docs.js";
 import "./docs/index.js";
 import { Owner, OwnerShipMeta, Owners, OwnersEnum, Stability, StabilityEnum, Tag, Tags, TagsEnum } from "./ownership.js";
 import { FilterableItem, GroupKeyFn, GroupedItems, GroupingStrategies, RegistryFilter, filterBy, getUniqueDomains, getUniqueOwners, getUniqueTags, groupBy, groupByMultiple, groupByToArray } from "./registry-utils.js";
-import { OptionalVersionedSpecRef, SpecKeyRef, VersionedSpecRef, createKeyRef, createOptionalRef, createVersionedRef, formatVersionedRefKey, isOptionalVersionedSpecRef, isSpecKeyRef, isVersionedSpecRef, parseVersionedRefKey } from "./versioning/refs.js";
-import { ChangeEntry, ChangeType, ChangelogDocBlock, ChangelogEntry, ChangelogJsonExport, ChangelogResult, SemanticVersion, VersionAnalysis, VersionAnalysisResult, VersionBumpType, isChangeType, isChangelogDocBlock, isVersionBumpType } from "./versioning/types.js";
-import { bumpVersion, compareVersions, determineBumpType, formatVersion, getBumpTypePriority, getMaxBumpType, isValidVersion, isVersionEqual, isVersionGreater, isVersionLess, parseVersion, parseVersionStrict, validateVersion } from "./versioning/utils.js";
 import { AttributeMatcher, ConsentDefinition, FieldPolicyRule, PIIPolicy, PolicyCondition, PolicyEffect, PolicyMeta, PolicyOPAConfig, PolicyRef, PolicyRule, PolicySpec, RateLimitDefinition, RelationshipDefinition, RelationshipMatcher, ResourceMatcher, SubjectMatcher } from "./policy/spec.js";
 import { TelemetryAnomalyAction, TelemetryAnomalyDetectionConfig, TelemetryAnomalyThreshold, TelemetryConfig, TelemetryEventDef, TelemetryMeta, TelemetryPrivacyLevel, TelemetryPropertyDef, TelemetryProviderConfig, TelemetryRegistry, TelemetryRetentionConfig, TelemetrySamplingConfig, TelemetrySpec, makeTelemetryKey } from "./telemetry/spec.js";
 import { TelemetryAnomalyEvent, TelemetryAnomalyMonitor, TelemetryAnomalyMonitorOptions } from "./telemetry/anomaly.js";
 import { RuntimeTelemetryProvider, TelemetryDispatch, TelemetryEventContext, TelemetryTracker, TelemetryTrackerOptions } from "./telemetry/tracker.js";
 import "./telemetry/index.js";
-import { CapabilityKind, CapabilityMeta, CapabilityRef, CapabilityRegistry, CapabilityRequirement, CapabilitySpec, CapabilitySurface, CapabilitySurfaceRef, capabilityKey, defineCapability } from "./capabilities/capabilities.js";
-import { openBankingAccountsReadCapability, openBankingBalancesReadCapability, openBankingTransactionsReadCapability, registerOpenBankingCapabilities } from "./capabilities/openbanking.js";
-import "./capabilities/index.js";
-import { AllocationStrategy, ExperimentMeta, ExperimentOverride, ExperimentOverrideType, ExperimentRef, ExperimentRegistry, ExperimentSpec, ExperimentVariant, MetricAggregation, SuccessMetric, TargetingRule, makeExperimentKey } from "./experiments/spec.js";
 import { ResourceMeta, ResourceRefDescriptor, ResourceRegistry, ResourceTemplateSpec, defineResourceTemplate, isResourceRef, resourceRef } from "./resources.js";
 import { Action, Assertion, CoverageRequirement, ExpectErrorAssertion, ExpectEventsAssertion, ExpectOutputAssertion, ExpectedEvent, Fixture, OperationTargetRef, TestRegistry, TestScenario, TestSpec, TestSpecMeta, TestSpecRef, TestTarget, WorkflowTargetRef, defineTestSpec, makeTestKey } from "./tests/spec.js";
 import { AnyOperationSpec, EmitDecl, EmitDeclInline, EmitDeclRef, ImplementationRef, ImplementationType, OpKind, OperationSpec, OperationSpecMeta, TelemetryTrigger, defineCommand, defineQuery, isEmitDeclRef } from "./operations/operation.js";
+import "./operations/index.js";
 import { EventParam, HandlerForOperationSpec, OperationSpecInput, OperationSpecOutput, RuntimeSpecOutput, ZodOperationSpecInput, installOp, makeEmit, op } from "./install.js";
 import { OperationKey, OperationSpecRegistry, opKey } from "./operations/registry.js";
-import "./operations/index.js";
-import { DataViewRef, EventRef, FeatureModuleMeta, FeatureModuleSpec, FeatureRef, FormRef, OpRef, PresentationRef } from "./features/types.js";
-import { FeatureRegistry } from "./features/registry.js";
 import { ComponentMap, PresentationRenderer, PresentationValidator, ReactRenderDescriptor, RenderContext, TransformEngine, createDefaultTransformEngine, registerBasicValidation, registerDefaultReactRenderer, registerReactToMarkdownRenderer } from "./presentations/transform-engine.js";
 import { PresentationRegistry } from "./presentations/registry.js";
 import "./presentations/index.js";
+import { CapabilityValidationDeps, CapabilityValidationError, CapabilityValidationResult, findOrphanSpecs, validateCapabilityConsistency } from "./capabilities/validation.js";
+import { CapabilityContext, CapabilityMissingError, createBypassCapabilityContext, createCapabilityContext, createEmptyCapabilityContext } from "./capabilities/context.js";
+import { CapabilityGuardResult, assertCapabilityForEvent, assertCapabilityForOperation, assertCapabilityForPresentation, checkCapabilityForEvent, checkCapabilityForOperation, checkCapabilityForPresentation, filterEventsByCapability, filterOperationsByCapability, filterPresentationsByCapability } from "./capabilities/guards.js";
+import { openBankingAccountsReadCapability, openBankingBalancesReadCapability, openBankingTransactionsReadCapability, registerOpenBankingCapabilities } from "./capabilities/openbanking.js";
+import "./capabilities/index.js";
+import { AllocationStrategy, ExperimentMeta, ExperimentOverride, ExperimentOverrideType, ExperimentRef, ExperimentRegistry, ExperimentSpec, ExperimentVariant, MetricAggregation, SuccessMetric, TargetingRule, makeExperimentKey } from "./experiments/spec.js";
+import { DataViewRef, EventRef, FeatureModuleMeta, FeatureModuleSpec, FeatureRef, FormRef, OpRef, PresentationRef } from "./features/types.js";
+import { FeatureRegistry } from "./features/registry.js";
 import { InstallFeatureDeps, installFeature } from "./features/install.js";
 import { validateFeatureTargetsV2 } from "./features/validation.js";
 import { defineFeature } from "./features/index.js";
@@ -78,7 +81,10 @@ import { ModelRegistry } from "./model-registry.js";
 import { CompleteOnboardingBaseInput, CompleteOnboardingBaseOutput, CompleteOnboardingBaseSpec, DeleteOnboardingDraftBaseSpec, DeleteOnboardingDraftOutput, GetOnboardingDraftBaseSpec, GetOnboardingDraftOutput, SaveOnboardingDraftBaseSpec, SaveOnboardingDraftInput, SaveOnboardingDraftOutput } from "./onboarding-base.js";
 import { DecisionContext, PolicyEngine, ResourceContext, SubjectContext, SubjectRelationship } from "./policy/engine.js";
 import { OPAAdapterOptions, OPAClient, OPAEvaluationResult, OPAPolicyAdapter, buildOPAInput } from "./policy/opa-adapter.js";
-import "./policy/index.js";
+import { AuditEntry, AuditHandler, PolicyContext, PolicyContextOptions, PolicyUser, PolicyViolationDetails, PolicyViolationError, PolicyViolationType, RateLimitResult, RateLimitState, createAnonymousPolicyContext, createBypassPolicyContext, createPolicyContext } from "./policy/context.js";
+import { CombinedPolicyRequirements, PolicyGuardResult, assertCombinedPolicy, assertPermission, assertPolicyForOperation, assertRole, checkAllPermissions, checkAnyRole, checkCombinedPolicy, checkPermission, checkPolicyForOperation, checkRole, filterOperationsByPolicy } from "./policy/guards.js";
+import { PolicyConsistencyDeps, PolicyValidationError, PolicyValidationIssue, PolicyValidationLevel, PolicyValidationResult, assertPolicyConsistency, assertPolicySpecValid, validatePolicyConsistency, validatePolicySpec } from "./policy/validation.js";
+import { definePolicy } from "./policy/index.js";
 import { DataMigrationStep, MigrationCheck, MigrationMeta, MigrationPlan, MigrationRegistry, MigrationSpec, MigrationStep, MigrationStepBase, MigrationStepKind, SchemaMigrationStep, ValidationMigrationStep } from "./migrations.js";
 import { AssertionResult, ScenarioRunResult, TestRunResult, TestRunner, TestRunnerConfig } from "./tests/runner.js";
 import "./tests/index.js";
@@ -133,13 +139,15 @@ import { TenantTranslationOverride } from "./translations/tenant.js";
 import { BumpStrategy, ChangelogFormat, ChangelogTier, ContractsrcConfig, ContractsrcFileConfig, FolderConventions, FormatterConfig, FormatterType, OpenApiConfig, OpenApiExportConfig, OpenApiSourceConfig, ResolvedContractsrcConfig, RuleSyncConfig, RuleSyncTarget, SchemaFormat, VersioningConfig } from "./workspace-config/contractsrc-types.js";
 import { BumpStrategySchema, ChangelogFormatSchema, ChangelogTierSchema, ContractsrcSchema, DEFAULT_CONTRACTSRC, FolderConventionsSchema, FormatterConfigSchema, FormatterTypeSchema, OpenApiConfigSchema, OpenApiExportConfigSchema, OpenApiSourceConfigSchema, RuleSyncConfigSchema, RuleSyncTargetSchema, SchemaFormatSchema, VersioningConfigSchema } from "./workspace-config/contractsrc-schema.js";
 import "./workspace-config/index.js";
-import { ValidateWorkflowSpecOptions, WorkflowValidationError, WorkflowValidationIssue, WorkflowValidationLevel, assertWorkflowSpecValid, validateWorkflowSpec } from "./workflow/validation.js";
+import { ValidateWorkflowSpecOptions, WorkflowConsistencyDeps, WorkflowValidationError, WorkflowValidationIssue, WorkflowValidationLevel, WorkflowValidationResult, assertWorkflowConsistency, assertWorkflowSpecValid, validateCompensation, validateRetryConfig, validateSlaConfig, validateWorkflowComprehensive, validateWorkflowConsistency, validateWorkflowSpec } from "./workflow/validation.js";
 import { StateStore, StepExecution, WorkflowState, WorkflowStateFilters } from "./workflow/state.js";
 import { GuardContext, GuardEvaluator, OperationExecutor, OperationExecutorContext, WorkflowPreFlightError, WorkflowPreFlightIssue, WorkflowPreFlightIssueSeverity, WorkflowPreFlightIssueType, WorkflowPreFlightResult, WorkflowRunner, WorkflowRunnerConfig } from "./workflow/runner.js";
 import { ExpressionContext, evaluateExpression } from "./workflow/expression.js";
 import { InMemoryStateStore } from "./workflow/adapters/memory-store.js";
 import { PrismaStateStore } from "./workflow/adapters/db-adapter.js";
 import { FileStateStoreOptions, createFileStateStore } from "./workflow/adapters/file-adapter.js";
+import { AvailableTransition, SlaStatus, WorkflowContext, WorkflowContextError, WorkflowContextErrorType, WorkflowEvent, WorkflowTransitionResult, calculateWorkflowProgress, createWorkflowContext, getAverageStepDuration, getWorkflowDuration } from "./workflow/context.js";
+import { SLABreachEvent, SLAMonitor } from "./workflow/sla-monitor.js";
 import { defineWorkflow } from "./workflow/index.js";
 import { SchemaMarkdownOptions, schemaToMarkdown, schemaToMarkdownDetail, schemaToMarkdownList, schemaToMarkdownSummary, schemaToMarkdownTable } from "./schema-to-markdown.js";
 import { AgentPrompt, AgentType, BatchExportOptions, ExportableItem, FeatureExportOptions, FeatureExportResult, FeatureLookup, ImplementationPlan, LLMExportFormat, SpecExportOptions, SpecExportResult, SpecLookup, VerificationIssue, VerificationReport, VerificationTier } from "./llm/types.js";
@@ -156,4 +164,4 @@ import { SerializedDataViewSpec, SerializedEventSpec, SerializedFieldConfig, Ser
 import { serializeDataViewSpec, serializeEventSpec, serializeFormSpec, serializeOperationSpec, serializePresentationSpec, serializeSchemaModel } from "./serialization/serializers.js";
 import "./serialization/index.js";
 import { defineSchemaModel } from "@contractspec/lib.schema";
-export { AGENT_SYSTEM_PROMPTS, AccountBalanceRecord, Action, ActionExecutionResult, Actor, AgentPrompt, AgentType, AllocationStrategy, AnyEventSpec, AnyOperationSpec, AppBlueprintMeta, AppBlueprintRegistry, AppBlueprintSpec, AppComposition, AppCompositionDeps, AppIntegrationBinding, AppIntegrationSlot, AppKnowledgeBinding, AppRouteConfig, AppThemeBinding, ArrayFieldSpec, Assertion, AssertionResult, AttributeMatcher, BankAccountRecord, BankTransactionRecord, BaseFieldSpec, BatchExportOptions, BehaviorSignal, BehaviorSignalEnvelope, BehaviorSignalProvider, BlueprintTranslationCatalog, BlueprintUpdater, BumpStrategy, BumpStrategySchema, CalendarAttendee, CalendarEvent, CalendarEventInput, CalendarEventUpdateInput, CalendarListEventsQuery, CalendarListEventsResult, CalendarProvider, CalendarReminder, CapabilityKind, CapabilityMeta, CapabilityRef, CapabilityRegistry, CapabilityRequirement, CapabilitySpec, CapabilitySurface, CapabilitySurfaceRef, CapturePaymentInput, ChangeEntry, ChangeType, ChangelogDocBlock, ChangelogEntry, ChangelogFormat, ChangelogFormatSchema, ChangelogJsonExport, ChangelogResult, ChangelogTier, ChangelogTierSchema, Channel, CheckboxFieldSpec, CompensationStep, CompensationStrategy, CompleteOnboardingBaseInput, CompleteOnboardingBaseOutput, CompleteOnboardingBaseSpec, ComponentMap, ComponentVariantDefinition, ComponentVariantSpec, ComposeOptions, ComputationMap, ConnectionStatus, ConsentDefinition, ConstraintDecl, ConstraintHandler, ContractRegistryFile, ContractRegistryFileSchema, ContractRegistryItem, ContractRegistryItemParsed, ContractRegistryItemSchema, ContractRegistryItemType, ContractRegistryItemTypeSchema, ContractRegistryManifest, ContractRegistryManifestParsed, ContractRegistryManifestSchema, ContractSpecType, ContractsrcConfig, ContractsrcFileConfig, ContractsrcSchema, CoverageRequirement, CreateCustomerInput, CreateIntegrationConnection, CreateKnowledgeSource, CreatePaymentIntentInput, CreateRendererOptions, CrossValidationContext, DEFAULT_CONTRACTSRC, DataMigrationStep, DataViewAction, DataViewBaseConfig, DataViewConfig, DataViewDetailConfig, DataViewField, DataViewFieldFormat, DataViewFilter, DataViewGridConfig, DataViewKind, DataViewListConfig, DataViewMeta, DataViewRef, DataViewRegistry, DataViewSections, DataViewSource, DataViewSpec, DataViewStates, DataViewTableColumn, DataViewTableConfig, DecisionContext, DeleteIntegrationConnection, DeleteKnowledgeSource, DeleteObjectInput, DeleteOnboardingDraftBaseSpec, DeleteOnboardingDraftOutput, DocBlock, DocBlockLink, DocId, DocKind, DocPresentationOptions, DocPresentationRoute, DocRegistry, DocVisibility, DriverSlots, EmailAddress, EmailAttachment, EmailInboundProvider, EmailMessage, EmailMessagesSinceQuery, EmailOutboundMessage, EmailOutboundProvider, EmailOutboundResult, EmailThread, EmailThreadListQuery, EmbeddingDocument, EmbeddingProvider, EmbeddingResult, EmbeddingVector, EmitDecl, EmitDeclInline, EmitDeclRef, EnhanceFields, ErrorSignal, ErrorSignalEnvelope, ErrorSignalProvider, EventEnvelope, EventKey, EventParam, EventPublisher, EventRef, EventRegistry, EventSpec, EventSpecMeta, ExampleDocumentation, ExampleDocumentationSchema, ExampleEntrypoints, ExampleEntrypointsSchema, ExampleKind, ExampleKindEnum, ExampleKindSchema, ExampleMcpSupport, ExampleMeta, ExampleMetaSchema, ExampleRegistry, ExampleSandboxMode, ExampleSandboxModeEnum, ExampleSandboxModeSchema, ExampleSandboxSupport, ExampleSpec, ExampleSpecSchema, ExampleStudioSupport, ExampleSurfaces, ExampleSurfacesSchema, ExampleValidationError, ExampleValidationWarning, ExampleVisibility, ExampleVisibilityEnum, ExampleVisibilitySchema, ExecutionStatus, ExecutorProposalSink, ExecutorResultPayload, ExecutorSinkLogger, ExecutorSinkOptions, ExpectErrorAssertion, ExpectEventsAssertion, ExpectOutputAssertion, ExpectedEvent, ExperimentContext, ExperimentEvaluation, ExperimentEvaluator, ExperimentEvaluatorConfig, ExperimentMeta, ExperimentOverride, ExperimentOverrideType, ExperimentRef, ExperimentRegistry, ExperimentSpec, ExperimentVariant, ExportableItem, ExpressionContext, FeatureExportOptions, FeatureExportResult, FeatureFlagState, FeatureLookup, FeatureModuleMeta, FeatureModuleSpec, FeatureRef, FeatureRegistry, FieldLevelDecision, FieldPolicyRule, FieldSpec, FileStateStoreOptions, FilterableItem, Fixture, FolderConventions, FolderConventionsSchema, FormAction, FormOption, FormRef, FormRegistry, FormSpec, FormValuesFor, FormatterConfig, FormatterConfigSchema, FormatterType, FormatterTypeSchema, GetObjectResult, GetOnboardingDraftBaseSpec, GetOnboardingDraftOutput, GroupFieldSpec, GroupKeyFn, GroupedItems, GroupingStrategies, GuardCondition, GuardConditionKind, GuardContext, GuardEvaluator, HandlerCtx, HandlerForOperationSpec, ImplementationPlan, ImplementationRef, ImplementationType, InMemoryStateStore, InstallFeatureDeps, IntegrationByokSetup, IntegrationCapabilityMapping, IntegrationCategory, IntegrationConfigSchema, IntegrationConnection, IntegrationConnectionHealth, IntegrationConnectionMeta, IntegrationHealthCheck, IntegrationMeta, IntegrationOwnershipMode, IntegrationSecretSchema, IntegrationSpec, IntegrationSpecRegistry, IntegrationUsageMetrics, JsonSchema, KnowledgeAccessPolicy, KnowledgeCategory, KnowledgeIndexingConfig, KnowledgeRetentionPolicy, KnowledgeSourceConfig, KnowledgeSourceMeta, KnowledgeSourceType, KnowledgeSpaceMeta, KnowledgeSpaceRegistry, KnowledgeSpaceSpec, LLMChatOptions, LLMContentPart, LLMExportFormat, LLMMessage, LLMProvider, LLMResponse, LLMRole, LLMStreamChunk, LLMTextPart, LLMTokenUsage, LLMToolCallPart, LLMToolDefinition, LLMToolResultPart, ListIntegrationConnections, ListInvoicesQuery, ListKnowledgeSources, ListObjectsQuery, ListObjectsResult, ListTransactionsQuery, Locale, MessageKey, MetricAggregation, MigrationCheck, MigrationExecutor, MigrationMeta, MigrationPlan, MigrationRegistry, MigrationSpec, MigrationStep, MigrationStepBase, MigrationStepKind, MissingReference, ModelRegistry, Money, OPAAdapterOptions, OPAClient, OPAEvaluationResult, OPAPolicyAdapter, OPENBANKING_PII_FIELDS, OPENBANKING_TELEMETRY_EVENTS, ObjectStorageProvider, OpKind, OpRef, OpenApiConfig, OpenApiConfigSchema, OpenApiDocument, OpenApiExportConfig, OpenApiExportConfigSchema, OpenApiExportOptions, OpenApiServer, OpenApiSourceConfig, OpenApiSourceConfigSchema, OpenBankingAccountBalance, OpenBankingAccountDetails, OpenBankingAccountOwnership, OpenBankingAccountSummary, OpenBankingBalanceType, OpenBankingConnectionStatus, OpenBankingFeature, OpenBankingGetAccount, OpenBankingGetAccountDetailsParams, OpenBankingGetBalances, OpenBankingGetBalancesParams, OpenBankingGetConnectionStatusParams, OpenBankingGuardResult, OpenBankingListAccounts, OpenBankingListAccountsParams, OpenBankingListAccountsResult, OpenBankingListTransactions, OpenBankingListTransactionsParams, OpenBankingListTransactionsResult, OpenBankingProvider, OpenBankingRefreshBalances, OpenBankingSyncAccounts, OpenBankingSyncTransactions, OpenBankingTelemetryEvent, OpenBankingTransaction, OperationExecutor, OperationExecutorContext, OperationKey, OperationSpec, OperationSpecInput, OperationSpecMeta, OperationSpecOutput, OperationSpecRegistry, OperationTargetRef, OptionalVersionedSpecRef, OptionsSource, Owner, OwnerShipMeta, Owners, OwnersEnum, PIIPolicy, PaymentCustomer, PaymentIntent, PaymentIntentStatus, PaymentInvoice, PaymentRefund, PaymentTransaction, PaymentsProvider, PlatformTranslationCatalog, PolicyCondition, PolicyDecider, PolicyDeciderInput, PolicyDecision, PolicyEffect, PolicyEngine, PolicyMeta, PolicyOPAConfig, PolicyRef, PolicyRegistry, PolicyRule, PolicySpec, Predicate, PredicateOp, PresentationRef, PresentationRegistry, PresentationRenderer, PresentationSource, PresentationSourceBlocknotejs, PresentationSourceComponentReact, PresentationSpec, PresentationSpecMeta, PresentationTarget, PresentationValidator, PrismaStateStore, PromptArg, PromptContentPart, PromptMeta, PromptPolicy, PromptRegistry, PromptSpec, PromptStability, ProposalAction, ProposalBlocker, ProposalConfidence, ProposalExecutionResult, ProposalExecutor, ProposalExecutorDeps, ProposalExecutorOptions, ProposalSink, ProposalTarget, PutObjectInput, RadioFieldSpec, RateLimitDefinition, RateLimiter, ReactRenderDescriptor, RefundPaymentInput, RegenerationContext, RegenerationRule, RegenerationTrigger, RegeneratorOptions, RegeneratorService, RegeneratorSignal, RegistryFilter, RelationshipDefinition, RelationshipMatcher, RenderContext, RenderOptions, ResolveAppConfigDeps, ResolvedAppConfig, ResolvedContractsrcConfig, ResolvedIntegration, ResolvedKnowledge, ResolvedTranslation, ResolverMap, ResourceContext, ResourceMatcher, ResourceMeta, ResourceRefDescriptor, ResourceRegistry, ResourceTemplateSpec, RestOptions, RetryPolicy, RnReusablesDriver, RuleSyncConfig, RuleSyncConfigSchema, RuleSyncTarget, RuleSyncTargetSchema, RunMigrationsAction, RunTestsAction, RuntimeContract, RuntimeSpecOutput, RuntimeTelemetryProvider, SLA, SaveOnboardingDraftBaseSpec, SaveOnboardingDraftInput, SaveOnboardingDraftOutput, ScenarioRunResult, SchemaFormat, SchemaFormatSchema, SchemaMarkdownOptions, SchemaMigrationStep, SelectFieldSpec, SemanticVersion, SendSmsInput, SerializedDataViewSpec, SerializedEventSpec, SerializedFieldConfig, SerializedFormSpec, SerializedOperationSpec, SerializedPresentationSpec, SerializedSchemaModel, ShadcnDriver, SignalAdapters, SignedUrlOptions, SmsDeliveryStatus, SmsMessage, SmsProvider, SpecChangeProposal, SpecExportOptions, SpecExportResult, SpecKeyRef, SpecLookup, SpecPointer, SpecVariantResolver, Stability, StabilityEnum, StateStore, Step, StepAction, StepExecution, StepType, StorageObjectBody, StorageObjectMetadata, SubjectContext, SubjectMatcher, SubjectRelationship, SuccessMetric, SwitchFieldSpec, Tag, Tags, TagsEnum, TargetingRule, TelemetryAnomalyAction, TelemetryAnomalyDetectionConfig, TelemetryAnomalyEvent, TelemetryAnomalyMonitor, TelemetryAnomalyMonitorOptions, TelemetryAnomalyThreshold, TelemetryBinding, TelemetryConfig, TelemetryDispatch, TelemetryEventContext, TelemetryEventDef, TelemetryMeta, TelemetryPrivacyLevel, TelemetryPropertyDef, TelemetryProviderConfig, TelemetryRegistry, TelemetryRetentionConfig, TelemetrySamplingConfig, TelemetrySignal, TelemetrySignalEnvelope, TelemetrySignalProvider, TelemetrySpec, TelemetryTracker, TelemetryTrackerOptions, TelemetryTrigger, TenantAppConfig, TenantAppConfigMeta, TenantConfigUpdater, TenantRouteOverride, TenantSpecOverride, TenantTranslationOverride, TestExecutor, TestIntegrationConnection, TestRegistry, TestRunResult, TestRunner, TestRunnerConfig, TestScenario, TestSpec, TestSpecMeta, TestSpecRef, TestTarget, TextFieldSpec, TextareaFieldSpec, ThemeMeta, ThemeOverride, ThemeRef, ThemeRegistry, ThemeScope, ThemeSpec, ThemeToken, ThemeTokens, TokenCountResult, TransformEngine, Transition, TranslationCatalogMeta, TranslationCatalogPointer, TranslationEntry, TranslationResolver, TriggerKnowledgeSourceSync, TriggerRegenerationAction, TypedOptionsSource, TypedPredicate, TypedWhenClause, UpdateBlueprintAction, UpdateIntegrationConnection, UpdateKnowledgeSource, UpdateTenantConfigAction, ValidateExampleResult, ValidateExamplesResult, ValidateWorkflowSpecOptions, ValidationContext, ValidationIssue, ValidationMigrationStep, ValidationResult, ValidationSeverity, VectorDeleteRequest, VectorDocument, VectorSearchQuery, VectorSearchResult, VectorStoreProvider, VectorUpsertRequest, VerificationIssue, VerificationReport, VerificationTier, VersionAnalysis, VersionAnalysisResult, VersionBumpType, VersionedSpecRef, VersioningConfig, VersioningConfigSchema, Voice, VoiceProvider, VoiceSynthesisInput, VoiceSynthesisResult, WhenClause, WorkflowDefinition, WorkflowMeta, WorkflowPreFlightError, WorkflowPreFlightIssue, WorkflowPreFlightIssueSeverity, WorkflowPreFlightIssueType, WorkflowPreFlightResult, WorkflowRegistry, WorkflowRunner, WorkflowRunnerConfig, WorkflowSpec, WorkflowState, WorkflowStateFilters, WorkflowStatus, WorkflowTargetRef, WorkflowValidationError, WorkflowValidationIssue, WorkflowValidationLevel, ZodOperationSpecInput, assertPrimaryOpenBankingReady, assertWorkflowSpecValid, behaviorToEnvelope, buildOPAInput, buildZodWithRelations, bumpVersion, capabilityKey, compareVersions, composeAppConfig, createDefaultIntegrationSpecRegistry, createDefaultTransformEngine, createEngineWithDefaults, createFeatureModule, createFetchHandler, createFileStateStore, createFormRenderer, createKeyRef, createMcpServer, createOptionalRef, createVersionedRef, dataViewKey, defaultDocRegistry, defaultGqlField, defaultMcpPrompt, defaultMcpTool, defaultRestPath, defineAppConfig, defineCapability, defineCommand, defineDataView, defineEvent, defineExample, defineFeature, defineFormSpec, defineIntegration, definePresentation, definePrompt, defineQuery, defineResourceTemplate, defineSchemaModel, defineTestSpec, defineWorkflow, determineBumpType, docBlockToMarkdown, docBlockToPresentationSpec, docBlocksToPresentationRoutes, docBlocksToPresentationSpecs, docId, elevenLabsIntegrationSpec, elysiaPlugin, emailThreadsKnowledgeSpace, ensurePrimaryOpenBankingIntegration, errorToEnvelope, evalPredicate, evaluateExpression, eventKey, eventToMarkdown, exportFeature, exportSpec, expressRouter, featureToMarkdown, filterBy, financialDocsKnowledgeSpace, financialOverviewKnowledgeSpace, formatPlanForAgent, formatVersion, formatVersionedRefKey, gcsStorageIntegrationSpec, generateFixViolationsPrompt, generateImplementationPlan, generateImplementationPrompt, generateReviewPrompt, generateTestPrompt, generateVerificationPrompt, getBumpTypePriority, getMaxBumpType, getUniqueDomains, getUniqueOwners, getUniqueTags, gmailIntegrationSpec, googleCalendarIntegrationSpec, groupBy, groupByMultiple, groupByToArray, installFeature, installOp, integrationContracts, isChangeType, isChangelogDocBlock, isEmitDeclRef, isExampleKind, isExampleVisibility, isFeatureRef, isOptionalVersionedSpecRef, isResourceRef, isSpecKeyRef, isSpecPointer, isValidVersion, isVersionBumpType, isVersionEqual, isVersionGreater, isVersionLess, isVersionedSpecRef, jsonSchemaForSpec, knowledgeContracts, listRegisteredDocBlocks, makeAppBlueprintKey, makeEmit, makeExperimentKey, makeIntegrationSpecKey, makeKnowledgeSpaceKey, makeNextAppHandler, makeNextPagesHandler, makeTelemetryKey, makeTestKey, makeThemeRef, mapDocRoutes, metaDocs, mistralIntegrationSpec, op, opKey, openApiForRegistry, openBankingAccountsReadCapability, openBankingBalancesReadCapability, openBankingTransactionsReadCapability, operationSpecToAgentPrompt, operationSpecToContextMarkdown, operationSpecToFullMarkdown, parseExampleDocumentation, parseExampleEntrypoints, parseExampleMeta, parseExampleSpec, parseExampleSurfaces, parseVersion, parseVersionStrict, parseVersionedRefKey, postmarkIntegrationSpec, powensIntegrationSpec, presentationToMarkdown, productCanonKnowledgeSpace, qdrantIntegrationSpec, redactOpenBankingTelemetryPayload, registerBasicValidation, registerContractsOnBuilder, registerDefaultReactRenderer, registerDocBlocks, registerElevenLabsIntegration, registerEmailThreadsKnowledgeSpace, registerFeature, registerFinancialDocsKnowledgeSpace, registerFinancialOverviewKnowledgeSpace, registerGcsStorageIntegration, registerGmailIntegration, registerGoogleCalendarIntegration, registerIntegrationContracts, registerKnowledgeContracts, registerMistralIntegration, registerOpenBankingCapabilities, registerOpenBankingContracts, registerPostmarkIntegration, registerPowensIntegration, registerProductCanonKnowledgeSpace, registerQdrantIntegration, registerReactToMarkdownRenderer, registerStripeIntegration, registerSupportFaqKnowledgeSpace, registerTwilioSmsIntegration, registerUploadedDocsKnowledgeSpace, renderFeaturePresentation, resolveAppConfig, resourceRef, rnReusablesDriver, safeParseExampleSpec, sanitizeMcpName, schemaToMarkdown, schemaToMarkdownDetail, schemaToMarkdownList, schemaToMarkdownSummary, schemaToMarkdownTable, serializeDataViewSpec, serializeEventSpec, serializeFormSpec, serializeOperationSpec, serializePresentationSpec, serializeSchemaModel, shadcnDriver, stripeIntegrationSpec, supportFaqKnowledgeSpace, techContractsDocs, telemetryToEnvelope, twilioSmsIntegrationSpec, uploadedDocsKnowledgeSpace, validateBlueprint, validateConfig, validateExample, validateExampleReferences, validateExamples, validateFeatureTargetsV2, validateResolvedConfig, validateTenantConfig, validateVersion, validateWorkflowSpec };
+export { AGENT_SYSTEM_PROMPTS, AccountBalanceRecord, Action, ActionExecutionResult, Actor, AgentPrompt, AgentType, AllocationStrategy, AnyEventSpec, AnyOperationSpec, AppBlueprintMeta, AppBlueprintRegistry, AppBlueprintSpec, AppComposition, AppCompositionDeps, AppIntegrationBinding, AppIntegrationSlot, AppKnowledgeBinding, AppRouteConfig, AppThemeBinding, ArrayFieldSpec, Assertion, AssertionResult, AttributeMatcher, AuditEntry, AuditHandler, AvailableTransition, BankAccountRecord, BankTransactionRecord, BaseFieldSpec, BatchExportOptions, BehaviorSignal, BehaviorSignalEnvelope, BehaviorSignalProvider, BlueprintTranslationCatalog, BlueprintUpdater, BumpStrategy, BumpStrategySchema, CalendarAttendee, CalendarEvent, CalendarEventInput, CalendarEventUpdateInput, CalendarListEventsQuery, CalendarListEventsResult, CalendarProvider, CalendarReminder, CapabilityContext, CapabilityGuardResult, CapabilityKind, CapabilityMeta, CapabilityMissingError, CapabilityRef, CapabilityRegistry, CapabilityRequirement, CapabilitySpec, CapabilitySurface, CapabilitySurfaceRef, CapabilityValidationDeps, CapabilityValidationError, CapabilityValidationResult, CapturePaymentInput, ChangeEntry, ChangeType, ChangelogDocBlock, ChangelogEntry, ChangelogFormat, ChangelogFormatSchema, ChangelogJsonExport, ChangelogResult, ChangelogTier, ChangelogTierSchema, Channel, CheckboxFieldSpec, CombinedPolicyRequirements, CompensationStep, CompensationStrategy, CompleteOnboardingBaseInput, CompleteOnboardingBaseOutput, CompleteOnboardingBaseSpec, ComponentMap, ComponentVariantDefinition, ComponentVariantSpec, ComposeOptions, ComputationMap, ConnectionStatus, ConsentDefinition, ConstraintDecl, ConstraintHandler, ContractRegistryFile, ContractRegistryFileSchema, ContractRegistryItem, ContractRegistryItemParsed, ContractRegistryItemSchema, ContractRegistryItemType, ContractRegistryItemTypeSchema, ContractRegistryManifest, ContractRegistryManifestParsed, ContractRegistryManifestSchema, ContractSpecType, ContractsrcConfig, ContractsrcFileConfig, ContractsrcSchema, CoverageRequirement, CreateCustomerInput, CreateIntegrationConnection, CreateKnowledgeSource, CreatePaymentIntentInput, CreateRendererOptions, CrossValidationContext, DEFAULT_CONTRACTSRC, DataMigrationStep, DataViewAction, DataViewBaseConfig, DataViewConfig, DataViewDetailConfig, DataViewField, DataViewFieldFormat, DataViewFilter, DataViewGridConfig, DataViewKind, DataViewListConfig, DataViewMeta, DataViewRef, DataViewRegistry, DataViewSections, DataViewSource, DataViewSpec, DataViewStates, DataViewTableColumn, DataViewTableConfig, DecisionContext, DeleteIntegrationConnection, DeleteKnowledgeSource, DeleteObjectInput, DeleteOnboardingDraftBaseSpec, DeleteOnboardingDraftOutput, DocBlock, DocBlockLink, DocId, DocKind, DocPresentationOptions, DocPresentationRoute, DocRegistry, DocVisibility, DriverSlots, EmailAddress, EmailAttachment, EmailInboundProvider, EmailMessage, EmailMessagesSinceQuery, EmailOutboundMessage, EmailOutboundProvider, EmailOutboundResult, EmailThread, EmailThreadListQuery, EmbeddingDocument, EmbeddingProvider, EmbeddingResult, EmbeddingVector, EmitDecl, EmitDeclInline, EmitDeclRef, EnhanceFields, ErrorSignal, ErrorSignalEnvelope, ErrorSignalProvider, EventEnvelope, EventKey, EventParam, EventPublisher, EventRef, EventRegistry, EventSpec, EventSpecMeta, ExampleDocumentation, ExampleDocumentationSchema, ExampleEntrypoints, ExampleEntrypointsSchema, ExampleKind, ExampleKindEnum, ExampleKindSchema, ExampleMcpSupport, ExampleMeta, ExampleMetaSchema, ExampleRegistry, ExampleSandboxMode, ExampleSandboxModeEnum, ExampleSandboxModeSchema, ExampleSandboxSupport, ExampleSpec, ExampleSpecSchema, ExampleStudioSupport, ExampleSurfaces, ExampleSurfacesSchema, ExampleValidationError, ExampleValidationWarning, ExampleVisibility, ExampleVisibilityEnum, ExampleVisibilitySchema, ExecutionStatus, ExecutorProposalSink, ExecutorResultPayload, ExecutorSinkLogger, ExecutorSinkOptions, ExpectErrorAssertion, ExpectEventsAssertion, ExpectOutputAssertion, ExpectedEvent, ExperimentContext, ExperimentEvaluation, ExperimentEvaluator, ExperimentEvaluatorConfig, ExperimentMeta, ExperimentOverride, ExperimentOverrideType, ExperimentRef, ExperimentRegistry, ExperimentSpec, ExperimentVariant, ExportableItem, ExpressionContext, FeatureExportOptions, FeatureExportResult, FeatureFlagState, FeatureLookup, FeatureModuleMeta, FeatureModuleSpec, FeatureRef, FeatureRegistry, FieldLevelDecision, FieldPolicyRule, FieldSpec, FileStateStoreOptions, FilterableItem, Fixture, FolderConventions, FolderConventionsSchema, FormAction, FormOption, FormRef, FormRegistry, FormSpec, FormValuesFor, FormatterConfig, FormatterConfigSchema, FormatterType, FormatterTypeSchema, GetObjectResult, GetOnboardingDraftBaseSpec, GetOnboardingDraftOutput, GroupFieldSpec, GroupKeyFn, GroupedItems, GroupingStrategies, GuardCondition, GuardConditionKind, GuardContext, GuardEvaluator, HandlerCtx, HandlerForOperationSpec, ImplementationPlan, ImplementationRef, ImplementationType, InMemoryStateStore, InstallFeatureDeps, IntegrationByokSetup, IntegrationCapabilityMapping, IntegrationCategory, IntegrationConfigSchema, IntegrationConnection, IntegrationConnectionHealth, IntegrationConnectionMeta, IntegrationHealthCheck, IntegrationMeta, IntegrationOwnershipMode, IntegrationSecretSchema, IntegrationSpec, IntegrationSpecRegistry, IntegrationUsageMetrics, JsonSchema, KnowledgeAccessPolicy, KnowledgeCategory, KnowledgeIndexingConfig, KnowledgeRetentionPolicy, KnowledgeSourceConfig, KnowledgeSourceMeta, KnowledgeSourceType, KnowledgeSpaceMeta, KnowledgeSpaceRegistry, KnowledgeSpaceSpec, LLMChatOptions, LLMContentPart, LLMExportFormat, LLMMessage, LLMProvider, LLMResponse, LLMRole, LLMStreamChunk, LLMTextPart, LLMTokenUsage, LLMToolCallPart, LLMToolDefinition, LLMToolResultPart, ListIntegrationConnections, ListInvoicesQuery, ListKnowledgeSources, ListObjectsQuery, ListObjectsResult, ListTransactionsQuery, Locale, MessageKey, MetricAggregation, MigrationCheck, MigrationExecutor, MigrationMeta, MigrationPlan, MigrationRegistry, MigrationSpec, MigrationStep, MigrationStepBase, MigrationStepKind, MissingReference, ModelRegistry, Money, OPAAdapterOptions, OPAClient, OPAEvaluationResult, OPAPolicyAdapter, OPENBANKING_PII_FIELDS, OPENBANKING_TELEMETRY_EVENTS, ObjectStorageProvider, OpKind, OpRef, OpenApiConfig, OpenApiConfigSchema, OpenApiDocument, OpenApiExportConfig, OpenApiExportConfigSchema, OpenApiExportOptions, OpenApiServer, OpenApiSourceConfig, OpenApiSourceConfigSchema, OpenBankingAccountBalance, OpenBankingAccountDetails, OpenBankingAccountOwnership, OpenBankingAccountSummary, OpenBankingBalanceType, OpenBankingConnectionStatus, OpenBankingFeature, OpenBankingGetAccount, OpenBankingGetAccountDetailsParams, OpenBankingGetBalances, OpenBankingGetBalancesParams, OpenBankingGetConnectionStatusParams, OpenBankingGuardResult, OpenBankingListAccounts, OpenBankingListAccountsParams, OpenBankingListAccountsResult, OpenBankingListTransactions, OpenBankingListTransactionsParams, OpenBankingListTransactionsResult, OpenBankingProvider, OpenBankingRefreshBalances, OpenBankingSyncAccounts, OpenBankingSyncTransactions, OpenBankingTelemetryEvent, OpenBankingTransaction, OperationExecutor, OperationExecutorContext, OperationKey, OperationSpec, OperationSpecInput, OperationSpecMeta, OperationSpecOutput, OperationSpecRegistry, OperationTargetRef, OptionalVersionedSpecRef, OptionsSource, Owner, OwnerShipMeta, Owners, OwnersEnum, PIIPolicy, PaymentCustomer, PaymentIntent, PaymentIntentStatus, PaymentInvoice, PaymentRefund, PaymentTransaction, PaymentsProvider, PlatformTranslationCatalog, PolicyCondition, PolicyConsistencyDeps, PolicyContext, PolicyContextOptions, PolicyDecider, PolicyDeciderInput, PolicyDecision, PolicyEffect, PolicyEngine, PolicyGuardResult, PolicyMeta, PolicyOPAConfig, PolicyRef, PolicyRegistry, PolicyRule, PolicySpec, PolicyUser, PolicyValidationError, PolicyValidationIssue, PolicyValidationLevel, PolicyValidationResult, PolicyViolationDetails, PolicyViolationError, PolicyViolationType, Predicate, PredicateOp, PresentationRef, PresentationRegistry, PresentationRenderer, PresentationSource, PresentationSourceBlocknotejs, PresentationSourceComponentReact, PresentationSpec, PresentationSpecMeta, PresentationTarget, PresentationValidator, PrismaStateStore, PromptArg, PromptContentPart, PromptMeta, PromptPolicy, PromptRegistry, PromptSpec, PromptStability, ProposalAction, ProposalBlocker, ProposalConfidence, ProposalExecutionResult, ProposalExecutor, ProposalExecutorDeps, ProposalExecutorOptions, ProposalSink, ProposalTarget, PutObjectInput, RadioFieldSpec, RateLimitDefinition, RateLimitResult, RateLimitState, RateLimiter, ReactRenderDescriptor, RefundPaymentInput, RegenerationContext, RegenerationRule, RegenerationTrigger, RegeneratorOptions, RegeneratorService, RegeneratorSignal, RegistryFilter, RelationshipDefinition, RelationshipMatcher, RenderContext, RenderOptions, ResolveAppConfigDeps, ResolvedAppConfig, ResolvedContractsrcConfig, ResolvedIntegration, ResolvedKnowledge, ResolvedTranslation, ResolverMap, ResourceContext, ResourceMatcher, ResourceMeta, ResourceRefDescriptor, ResourceRegistry, ResourceTemplateSpec, RestOptions, RetryPolicy, RnReusablesDriver, RuleSyncConfig, RuleSyncConfigSchema, RuleSyncTarget, RuleSyncTargetSchema, RunMigrationsAction, RunTestsAction, RuntimeContract, RuntimeSpecOutput, RuntimeTelemetryProvider, SLA, SLABreachEvent, SLAMonitor, SaveOnboardingDraftBaseSpec, SaveOnboardingDraftInput, SaveOnboardingDraftOutput, ScenarioRunResult, SchemaFormat, SchemaFormatSchema, SchemaMarkdownOptions, SchemaMigrationStep, SelectFieldSpec, SemanticVersion, SendSmsInput, SerializedDataViewSpec, SerializedEventSpec, SerializedFieldConfig, SerializedFormSpec, SerializedOperationSpec, SerializedPresentationSpec, SerializedSchemaModel, ShadcnDriver, SignalAdapters, SignedUrlOptions, SlaStatus, SmsDeliveryStatus, SmsMessage, SmsProvider, SpecChangeProposal, SpecExportOptions, SpecExportResult, SpecKeyRef, SpecLookup, SpecPointer, SpecVariantResolver, Stability, StabilityEnum, StateStore, Step, StepAction, StepExecution, StepType, StorageObjectBody, StorageObjectMetadata, SubjectContext, SubjectMatcher, SubjectRelationship, SuccessMetric, SwitchFieldSpec, Tag, Tags, TagsEnum, TargetingRule, TelemetryAnomalyAction, TelemetryAnomalyDetectionConfig, TelemetryAnomalyEvent, TelemetryAnomalyMonitor, TelemetryAnomalyMonitorOptions, TelemetryAnomalyThreshold, TelemetryBinding, TelemetryConfig, TelemetryDispatch, TelemetryEventContext, TelemetryEventDef, TelemetryMeta, TelemetryPrivacyLevel, TelemetryPropertyDef, TelemetryProviderConfig, TelemetryRegistry, TelemetryRetentionConfig, TelemetrySamplingConfig, TelemetrySignal, TelemetrySignalEnvelope, TelemetrySignalProvider, TelemetrySpec, TelemetryTracker, TelemetryTrackerOptions, TelemetryTrigger, TenantAppConfig, TenantAppConfigMeta, TenantConfigUpdater, TenantRouteOverride, TenantSpecOverride, TenantTranslationOverride, TestExecutor, TestIntegrationConnection, TestRegistry, TestRunResult, TestRunner, TestRunnerConfig, TestScenario, TestSpec, TestSpecMeta, TestSpecRef, TestTarget, TextFieldSpec, TextareaFieldSpec, ThemeMeta, ThemeOverride, ThemeRef, ThemeRegistry, ThemeScope, ThemeSpec, ThemeToken, ThemeTokens, TokenCountResult, TransformEngine, Transition, TranslationCatalogMeta, TranslationCatalogPointer, TranslationEntry, TranslationResolver, TriggerKnowledgeSourceSync, TriggerRegenerationAction, TypedOptionsSource, TypedPredicate, TypedWhenClause, UpdateBlueprintAction, UpdateIntegrationConnection, UpdateKnowledgeSource, UpdateTenantConfigAction, ValidateExampleResult, ValidateExamplesResult, ValidateWorkflowSpecOptions, ValidationContext, ValidationIssue, ValidationMigrationStep, ValidationResult, ValidationSeverity, VectorDeleteRequest, VectorDocument, VectorSearchQuery, VectorSearchResult, VectorStoreProvider, VectorUpsertRequest, VerificationIssue, VerificationReport, VerificationTier, VersionAnalysis, VersionAnalysisResult, VersionBumpType, VersionedSpecRef, VersioningConfig, VersioningConfigSchema, Voice, VoiceProvider, VoiceSynthesisInput, VoiceSynthesisResult, WhenClause, WorkflowConsistencyDeps, WorkflowContext, WorkflowContextError, WorkflowContextErrorType, WorkflowDefinition, WorkflowEvent, WorkflowMeta, WorkflowPreFlightError, WorkflowPreFlightIssue, WorkflowPreFlightIssueSeverity, WorkflowPreFlightIssueType, WorkflowPreFlightResult, WorkflowRegistry, WorkflowRunner, WorkflowRunnerConfig, WorkflowSpec, WorkflowState, WorkflowStateFilters, WorkflowStatus, WorkflowTargetRef, WorkflowTransitionResult, WorkflowValidationError, WorkflowValidationIssue, WorkflowValidationLevel, WorkflowValidationResult, ZodOperationSpecInput, assertCapabilityForEvent, assertCapabilityForOperation, assertCapabilityForPresentation, assertCombinedPolicy, assertPermission, assertPolicyConsistency, assertPolicyForOperation, assertPolicySpecValid, assertPrimaryOpenBankingReady, assertRole, assertWorkflowConsistency, assertWorkflowSpecValid, behaviorToEnvelope, buildOPAInput, buildZodWithRelations, bumpVersion, calculateWorkflowProgress, capabilityKey, checkAllPermissions, checkAnyRole, checkCapabilityForEvent, checkCapabilityForOperation, checkCapabilityForPresentation, checkCombinedPolicy, checkPermission, checkPolicyForOperation, checkRole, compareVersions, composeAppConfig, createAnonymousPolicyContext, createBypassCapabilityContext, createBypassPolicyContext, createCapabilityContext, createDefaultIntegrationSpecRegistry, createDefaultTransformEngine, createEmptyCapabilityContext, createEngineWithDefaults, createFeatureModule, createFetchHandler, createFileStateStore, createFormRenderer, createKeyRef, createMcpServer, createOptionalRef, createPolicyContext, createVersionedRef, createWorkflowContext, dataViewKey, defaultDocRegistry, defaultGqlField, defaultMcpPrompt, defaultMcpTool, defaultRestPath, defineAppConfig, defineCapability, defineCommand, defineDataView, defineEvent, defineExample, defineFeature, defineFormSpec, defineIntegration, definePolicy, definePresentation, definePrompt, defineQuery, defineResourceTemplate, defineSchemaModel, defineTestSpec, defineWorkflow, determineBumpType, docBlockToMarkdown, docBlockToPresentationSpec, docBlocksToPresentationRoutes, docBlocksToPresentationSpecs, docId, elevenLabsIntegrationSpec, elysiaPlugin, emailThreadsKnowledgeSpace, ensurePrimaryOpenBankingIntegration, errorToEnvelope, evalPredicate, evaluateExpression, eventKey, eventToMarkdown, exportFeature, exportSpec, expressRouter, featureToMarkdown, filterBy, filterEventsByCapability, filterOperationsByCapability, filterOperationsByPolicy, filterPresentationsByCapability, financialDocsKnowledgeSpace, financialOverviewKnowledgeSpace, findOrphanSpecs, formatPlanForAgent, formatVersion, formatVersionedRefKey, gcsStorageIntegrationSpec, generateFixViolationsPrompt, generateImplementationPlan, generateImplementationPrompt, generateReviewPrompt, generateTestPrompt, generateVerificationPrompt, getAverageStepDuration, getBumpTypePriority, getMaxBumpType, getUniqueDomains, getUniqueOwners, getUniqueTags, getWorkflowDuration, gmailIntegrationSpec, googleCalendarIntegrationSpec, groupBy, groupByMultiple, groupByToArray, installFeature, installOp, integrationContracts, isChangeType, isChangelogDocBlock, isEmitDeclRef, isExampleKind, isExampleVisibility, isFeatureRef, isOptionalVersionedSpecRef, isResourceRef, isSpecKeyRef, isSpecPointer, isValidVersion, isVersionBumpType, isVersionEqual, isVersionGreater, isVersionLess, isVersionedSpecRef, jsonSchemaForSpec, knowledgeContracts, listRegisteredDocBlocks, makeAppBlueprintKey, makeEmit, makeExperimentKey, makeIntegrationSpecKey, makeKnowledgeSpaceKey, makeNextAppHandler, makeNextPagesHandler, makeTelemetryKey, makeTestKey, makeThemeRef, mapDocRoutes, metaDocs, mistralIntegrationSpec, op, opKey, openApiForRegistry, openBankingAccountsReadCapability, openBankingBalancesReadCapability, openBankingTransactionsReadCapability, operationSpecToAgentPrompt, operationSpecToContextMarkdown, operationSpecToFullMarkdown, parseExampleDocumentation, parseExampleEntrypoints, parseExampleMeta, parseExampleSpec, parseExampleSurfaces, parseVersion, parseVersionStrict, parseVersionedRefKey, postmarkIntegrationSpec, powensIntegrationSpec, presentationToMarkdown, productCanonKnowledgeSpace, qdrantIntegrationSpec, redactOpenBankingTelemetryPayload, registerBasicValidation, registerContractsOnBuilder, registerDefaultReactRenderer, registerDocBlocks, registerElevenLabsIntegration, registerEmailThreadsKnowledgeSpace, registerFeature, registerFinancialDocsKnowledgeSpace, registerFinancialOverviewKnowledgeSpace, registerGcsStorageIntegration, registerGmailIntegration, registerGoogleCalendarIntegration, registerIntegrationContracts, registerKnowledgeContracts, registerMistralIntegration, registerOpenBankingCapabilities, registerOpenBankingContracts, registerPostmarkIntegration, registerPowensIntegration, registerProductCanonKnowledgeSpace, registerQdrantIntegration, registerReactToMarkdownRenderer, registerStripeIntegration, registerSupportFaqKnowledgeSpace, registerTwilioSmsIntegration, registerUploadedDocsKnowledgeSpace, renderFeaturePresentation, resolveAppConfig, resourceRef, rnReusablesDriver, safeParseExampleSpec, sanitizeMcpName, schemaToMarkdown, schemaToMarkdownDetail, schemaToMarkdownList, schemaToMarkdownSummary, schemaToMarkdownTable, serializeDataViewSpec, serializeEventSpec, serializeFormSpec, serializeOperationSpec, serializePresentationSpec, serializeSchemaModel, shadcnDriver, stripeIntegrationSpec, supportFaqKnowledgeSpace, techContractsDocs, telemetryToEnvelope, twilioSmsIntegrationSpec, uploadedDocsKnowledgeSpace, validateBlueprint, validateCapabilityConsistency, validateCompensation, validateConfig, validateExample, validateExampleReferences, validateExamples, validateFeatureTargetsV2, validatePolicyConsistency, validatePolicySpec, validateResolvedConfig, validateRetryConfig, validateSlaConfig, validateTenantConfig, validateVersion, validateWorkflowComprehensive, validateWorkflowConsistency, validateWorkflowSpec };

package/dist/index.js

@@ -26,6 +26,9 @@ import { makeNextAppHandler } from "./server/rest-next-app.js";
 import { makeNextPagesHandler } from "./server/rest-next-pages.js";
 import "./server/index.js";
 import { CapabilityRegistry, capabilityKey, defineCapability } from "./capabilities/capabilities.js";
+import { findOrphanSpecs, validateCapabilityConsistency } from "./capabilities/validation.js";
+import { CapabilityMissingError, createBypassCapabilityContext, createCapabilityContext, createEmptyCapabilityContext } from "./capabilities/context.js";
+import { assertCapabilityForEvent, assertCapabilityForOperation, assertCapabilityForPresentation, checkCapabilityForEvent, checkCapabilityForOperation, checkCapabilityForPresentation, filterEventsByCapability, filterOperationsByCapability, filterPresentationsByCapability } from "./capabilities/guards.js";
 import { Owners, OwnersEnum, StabilityEnum, Tags, TagsEnum } from "./ownership.js";
 import { openBankingAccountsReadCapability, openBankingBalancesReadCapability, openBankingTransactionsReadCapability, registerOpenBankingCapabilities } from "./capabilities/openbanking.js";
 import "./capabilities/index.js";
@@ -47,7 +50,10 @@ import "./data-views/index.js";
 import { PolicyRegistry } from "./policy/registry.js";
 import { PolicyEngine } from "./policy/engine.js";
 import { OPAPolicyAdapter, buildOPAInput } from "./policy/opa-adapter.js";
-import "./policy/index.js";
+import { PolicyViolationError, createAnonymousPolicyContext, createBypassPolicyContext, createPolicyContext } from "./policy/context.js";
+import { assertCombinedPolicy, assertPermission, assertPolicyForOperation, assertRole, checkAllPermissions, checkAnyRole, checkCombinedPolicy, checkPermission, checkPolicyForOperation, checkRole, filterOperationsByPolicy } from "./policy/guards.js";
+import { PolicyValidationError, assertPolicyConsistency, assertPolicySpecValid, validatePolicyConsistency, validatePolicySpec } from "./policy/validation.js";
+import { definePolicy } from "./policy/index.js";
 import { ThemeRegistry, makeThemeRef } from "./themes.js";
 import { MigrationRegistry } from "./migrations.js";
 import { TelemetryRegistry, makeTelemetryKey } from "./telemetry/spec.js";
@@ -100,12 +106,14 @@ import "./regenerator/index.js";
 import { BumpStrategySchema, ChangelogFormatSchema, ChangelogTierSchema, ContractsrcSchema, DEFAULT_CONTRACTSRC, FolderConventionsSchema, FormatterConfigSchema, FormatterTypeSchema, OpenApiConfigSchema, OpenApiExportConfigSchema, OpenApiSourceConfigSchema, RuleSyncConfigSchema, RuleSyncTargetSchema, SchemaFormatSchema, VersioningConfigSchema } from "./workspace-config/contractsrc-schema.js";
 import "./workspace-config/index.js";
 import { WorkflowRegistry } from "./workflow/spec.js";
-import { WorkflowValidationError, assertWorkflowSpecValid, validateWorkflowSpec } from "./workflow/validation.js";
+import { WorkflowValidationError, assertWorkflowConsistency, assertWorkflowSpecValid, validateCompensation, validateRetryConfig, validateSlaConfig, validateWorkflowComprehensive, validateWorkflowConsistency, validateWorkflowSpec } from "./workflow/validation.js";
 import { evaluateExpression } from "./workflow/expression.js";
 import { WorkflowPreFlightError, WorkflowRunner } from "./workflow/runner.js";
 import { InMemoryStateStore } from "./workflow/adapters/memory-store.js";
 import { PrismaStateStore } from "./workflow/adapters/db-adapter.js";
 import { createFileStateStore } from "./workflow/adapters/file-adapter.js";
+import { WorkflowContextError, calculateWorkflowProgress, createWorkflowContext, getAverageStepDuration, getWorkflowDuration } from "./workflow/context.js";
+import { SLAMonitor } from "./workflow/sla-monitor.js";
 import { defineWorkflow } from "./workflow/index.js";
 import { docBlockToPresentationSpec, docBlocksToPresentationRoutes, docBlocksToPresentationSpecs, mapDocRoutes } from "./docs/presentations.js";
 import { DocRegistry, defaultDocRegistry, docId, listRegisteredDocBlocks, registerDocBlocks } from "./docs/registry.js";
@@ -131,4 +139,4 @@ import { defineSchemaModel } from "@contractspec/lib.schema";
 init_registry_utils();
 
 //#endregion
-export { AGENT_SYSTEM_PROMPTS, AccountBalanceRecord, AppBlueprintRegistry, BankAccountRecord, BankTransactionRecord, BumpStrategySchema, CapabilityRegistry, ChangelogFormatSchema, ChangelogTierSchema, CompleteOnboardingBaseInput, CompleteOnboardingBaseOutput, CompleteOnboardingBaseSpec, ContractRegistryFileSchema, ContractRegistryItemSchema, ContractRegistryItemTypeSchema, ContractRegistryManifestSchema, ContractsrcSchema, CreateIntegrationConnection, CreateKnowledgeSource, DEFAULT_CONTRACTSRC, DataViewRegistry, DeleteIntegrationConnection, DeleteKnowledgeSource, DeleteOnboardingDraftBaseSpec, DeleteOnboardingDraftOutput, DocRegistry, EventRegistry, ExampleDocumentationSchema, ExampleEntrypointsSchema, ExampleKindEnum, ExampleKindSchema, ExampleMetaSchema, ExampleRegistry, ExampleSandboxModeEnum, ExampleSandboxModeSchema, ExampleSpecSchema, ExampleSurfacesSchema, ExampleVisibilityEnum, ExampleVisibilitySchema, ExecutorProposalSink, ExperimentEvaluator, ExperimentRegistry, FeatureRegistry, FolderConventionsSchema, FormRegistry, FormatterConfigSchema, FormatterTypeSchema, GetOnboardingDraftBaseSpec, GetOnboardingDraftOutput, GroupingStrategies, InMemoryStateStore, IntegrationSpecRegistry, KnowledgeSpaceRegistry, ListIntegrationConnections, ListKnowledgeSources, MigrationRegistry, ModelRegistry, OPAPolicyAdapter, OPENBANKING_PII_FIELDS, OPENBANKING_TELEMETRY_EVENTS, OpenApiConfigSchema, OpenApiExportConfigSchema, OpenApiSourceConfigSchema, OpenBankingFeature, OpenBankingGetAccount, OpenBankingGetBalances, OpenBankingListAccounts, OpenBankingListTransactions, OpenBankingRefreshBalances, OpenBankingSyncAccounts, OpenBankingSyncTransactions, OperationSpecRegistry, Owners, OwnersEnum, PolicyEngine, PolicyRegistry, PresentationRegistry, PrismaStateStore, PromptRegistry, ProposalExecutor, RegeneratorService, ResourceRegistry, RuleSyncConfigSchema, RuleSyncTargetSchema, SaveOnboardingDraftBaseSpec, SaveOnboardingDraftInput, SaveOnboardingDraftOutput, SchemaFormatSchema, StabilityEnum, Tags, TagsEnum, TelemetryAnomalyMonitor, TelemetryRegistry, TelemetryTracker, TestIntegrationConnection, TestRegistry, TestRunner, ThemeRegistry, TransformEngine, TriggerKnowledgeSourceSync, UpdateIntegrationConnection, UpdateKnowledgeSource, VersioningConfigSchema, WorkflowPreFlightError, WorkflowRegistry, WorkflowRunner, WorkflowValidationError, assertPrimaryOpenBankingReady, assertWorkflowSpecValid, behaviorToEnvelope, buildOPAInput, buildZodWithRelations, bumpVersion, capabilityKey, compareVersions, composeAppConfig, createDefaultIntegrationSpecRegistry, createDefaultTransformEngine, createEngineWithDefaults, createFeatureModule, createFetchHandler, createFileStateStore, createFormRenderer, createKeyRef, createMcpServer, createOptionalRef, createVersionedRef, dataViewKey, defaultDocRegistry, defaultGqlField, defaultMcpPrompt, defaultMcpTool, defaultRestPath, defineAppConfig, defineCapability, defineCommand, defineDataView, defineEvent, defineExample, defineFeature, defineFormSpec, defineIntegration, definePresentation, definePrompt, defineQuery, defineResourceTemplate, defineSchemaModel, defineTestSpec, defineWorkflow, determineBumpType, docBlockToMarkdown, docBlockToPresentationSpec, docBlocksToPresentationRoutes, docBlocksToPresentationSpecs, docId, elevenLabsIntegrationSpec, elysiaPlugin, emailThreadsKnowledgeSpace, ensurePrimaryOpenBankingIntegration, errorToEnvelope, evalPredicate, evaluateExpression, eventKey, eventToMarkdown, exportFeature, exportSpec, expressRouter, featureToMarkdown, filterBy, financialDocsKnowledgeSpace, financialOverviewKnowledgeSpace, formatPlanForAgent, formatVersion, formatVersionedRefKey, gcsStorageIntegrationSpec, generateFixViolationsPrompt, generateImplementationPlan, generateImplementationPrompt, generateReviewPrompt, generateTestPrompt, generateVerificationPrompt, getBumpTypePriority, getMaxBumpType, getUniqueDomains, getUniqueOwners, getUniqueTags, gmailIntegrationSpec, googleCalendarIntegrationSpec, groupBy, groupByMultiple, groupByToArray, installFeature, installOp, integrationContracts, isChangeType, isChangelogDocBlock, isEmitDeclRef, isExampleKind, isExampleVisibility, isFeatureRef, isOptionalVersionedSpecRef, isResourceRef, isSpecKeyRef, isSpecPointer, isValidVersion, isVersionBumpType, isVersionEqual, isVersionGreater, isVersionLess, isVersionedSpecRef, jsonSchemaForSpec, knowledgeContracts, listRegisteredDocBlocks, makeAppBlueprintKey, makeEmit, makeExperimentKey, makeIntegrationSpecKey, makeKnowledgeSpaceKey, makeNextAppHandler, makeNextPagesHandler, makeTelemetryKey, makeTestKey, makeThemeRef, mapDocRoutes, metaDocs, mistralIntegrationSpec, op, opKey, openApiForRegistry, openBankingAccountsReadCapability, openBankingBalancesReadCapability, openBankingTransactionsReadCapability, operationSpecToAgentPrompt, operationSpecToContextMarkdown, operationSpecToFullMarkdown, parseExampleDocumentation, parseExampleEntrypoints, parseExampleMeta, parseExampleSpec, parseExampleSurfaces, parseVersion, parseVersionStrict, parseVersionedRefKey, postmarkIntegrationSpec, powensIntegrationSpec, presentationToMarkdown, productCanonKnowledgeSpace, qdrantIntegrationSpec, redactOpenBankingTelemetryPayload, registerBasicValidation, registerContractsOnBuilder, registerDefaultReactRenderer, registerDocBlocks, registerElevenLabsIntegration, registerEmailThreadsKnowledgeSpace, registerFeature, registerFinancialDocsKnowledgeSpace, registerFinancialOverviewKnowledgeSpace, registerGcsStorageIntegration, registerGmailIntegration, registerGoogleCalendarIntegration, registerIntegrationContracts, registerKnowledgeContracts, registerMistralIntegration, registerOpenBankingCapabilities, registerOpenBankingContracts, registerPostmarkIntegration, registerPowensIntegration, registerProductCanonKnowledgeSpace, registerQdrantIntegration, registerReactToMarkdownRenderer, registerStripeIntegration, registerSupportFaqKnowledgeSpace, registerTwilioSmsIntegration, registerUploadedDocsKnowledgeSpace, renderFeaturePresentation, resolveAppConfig, resourceRef, rnReusablesDriver, safeParseExampleSpec, sanitizeMcpName, schemaToMarkdown, schemaToMarkdownDetail, schemaToMarkdownList, schemaToMarkdownSummary, schemaToMarkdownTable, serializeDataViewSpec, serializeEventSpec, serializeFormSpec, serializeOperationSpec, serializePresentationSpec, serializeSchemaModel, shadcnDriver, stripeIntegrationSpec, supportFaqKnowledgeSpace, techContractsDocs, telemetryToEnvelope, twilioSmsIntegrationSpec, uploadedDocsKnowledgeSpace, validateBlueprint, validateConfig, validateExample, validateExampleReferences, validateExamples, validateFeatureTargetsV2, validateResolvedConfig, validateTenantConfig, validateVersion, validateWorkflowSpec };
+export { AGENT_SYSTEM_PROMPTS, AccountBalanceRecord, AppBlueprintRegistry, BankAccountRecord, BankTransactionRecord, BumpStrategySchema, CapabilityMissingError, CapabilityRegistry, ChangelogFormatSchema, ChangelogTierSchema, CompleteOnboardingBaseInput, CompleteOnboardingBaseOutput, CompleteOnboardingBaseSpec, ContractRegistryFileSchema, ContractRegistryItemSchema, ContractRegistryItemTypeSchema, ContractRegistryManifestSchema, ContractsrcSchema, CreateIntegrationConnection, CreateKnowledgeSource, DEFAULT_CONTRACTSRC, DataViewRegistry, DeleteIntegrationConnection, DeleteKnowledgeSource, DeleteOnboardingDraftBaseSpec, DeleteOnboardingDraftOutput, DocRegistry, EventRegistry, ExampleDocumentationSchema, ExampleEntrypointsSchema, ExampleKindEnum, ExampleKindSchema, ExampleMetaSchema, ExampleRegistry, ExampleSandboxModeEnum, ExampleSandboxModeSchema, ExampleSpecSchema, ExampleSurfacesSchema, ExampleVisibilityEnum, ExampleVisibilitySchema, ExecutorProposalSink, ExperimentEvaluator, ExperimentRegistry, FeatureRegistry, FolderConventionsSchema, FormRegistry, FormatterConfigSchema, FormatterTypeSchema, GetOnboardingDraftBaseSpec, GetOnboardingDraftOutput, GroupingStrategies, InMemoryStateStore, IntegrationSpecRegistry, KnowledgeSpaceRegistry, ListIntegrationConnections, ListKnowledgeSources, MigrationRegistry, ModelRegistry, OPAPolicyAdapter, OPENBANKING_PII_FIELDS, OPENBANKING_TELEMETRY_EVENTS, OpenApiConfigSchema, OpenApiExportConfigSchema, OpenApiSourceConfigSchema, OpenBankingFeature, OpenBankingGetAccount, OpenBankingGetBalances, OpenBankingListAccounts, OpenBankingListTransactions, OpenBankingRefreshBalances, OpenBankingSyncAccounts, OpenBankingSyncTransactions, OperationSpecRegistry, Owners, OwnersEnum, PolicyEngine, PolicyRegistry, PolicyValidationError, PolicyViolationError, PresentationRegistry, PrismaStateStore, PromptRegistry, ProposalExecutor, RegeneratorService, ResourceRegistry, RuleSyncConfigSchema, RuleSyncTargetSchema, SLAMonitor, SaveOnboardingDraftBaseSpec, SaveOnboardingDraftInput, SaveOnboardingDraftOutput, SchemaFormatSchema, StabilityEnum, Tags, TagsEnum, TelemetryAnomalyMonitor, TelemetryRegistry, TelemetryTracker, TestIntegrationConnection, TestRegistry, TestRunner, ThemeRegistry, TransformEngine, TriggerKnowledgeSourceSync, UpdateIntegrationConnection, UpdateKnowledgeSource, VersioningConfigSchema, WorkflowContextError, WorkflowPreFlightError, WorkflowRegistry, WorkflowRunner, WorkflowValidationError, assertCapabilityForEvent, assertCapabilityForOperation, assertCapabilityForPresentation, assertCombinedPolicy, assertPermission, assertPolicyConsistency, assertPolicyForOperation, assertPolicySpecValid, assertPrimaryOpenBankingReady, assertRole, assertWorkflowConsistency, assertWorkflowSpecValid, behaviorToEnvelope, buildOPAInput, buildZodWithRelations, bumpVersion, calculateWorkflowProgress, capabilityKey, checkAllPermissions, checkAnyRole, checkCapabilityForEvent, checkCapabilityForOperation, checkCapabilityForPresentation, checkCombinedPolicy, checkPermission, checkPolicyForOperation, checkRole, compareVersions, composeAppConfig, createAnonymousPolicyContext, createBypassCapabilityContext, createBypassPolicyContext, createCapabilityContext, createDefaultIntegrationSpecRegistry, createDefaultTransformEngine, createEmptyCapabilityContext, createEngineWithDefaults, createFeatureModule, createFetchHandler, createFileStateStore, createFormRenderer, createKeyRef, createMcpServer, createOptionalRef, createPolicyContext, createVersionedRef, createWorkflowContext, dataViewKey, defaultDocRegistry, defaultGqlField, defaultMcpPrompt, defaultMcpTool, defaultRestPath, defineAppConfig, defineCapability, defineCommand, defineDataView, defineEvent, defineExample, defineFeature, defineFormSpec, defineIntegration, definePolicy, definePresentation, definePrompt, defineQuery, defineResourceTemplate, defineSchemaModel, defineTestSpec, defineWorkflow, determineBumpType, docBlockToMarkdown, docBlockToPresentationSpec, docBlocksToPresentationRoutes, docBlocksToPresentationSpecs, docId, elevenLabsIntegrationSpec, elysiaPlugin, emailThreadsKnowledgeSpace, ensurePrimaryOpenBankingIntegration, errorToEnvelope, evalPredicate, evaluateExpression, eventKey, eventToMarkdown, exportFeature, exportSpec, expressRouter, featureToMarkdown, filterBy, filterEventsByCapability, filterOperationsByCapability, filterOperationsByPolicy, filterPresentationsByCapability, financialDocsKnowledgeSpace, financialOverviewKnowledgeSpace, findOrphanSpecs, formatPlanForAgent, formatVersion, formatVersionedRefKey, gcsStorageIntegrationSpec, generateFixViolationsPrompt, generateImplementationPlan, generateImplementationPrompt, generateReviewPrompt, generateTestPrompt, generateVerificationPrompt, getAverageStepDuration, getBumpTypePriority, getMaxBumpType, getUniqueDomains, getUniqueOwners, getUniqueTags, getWorkflowDuration, gmailIntegrationSpec, googleCalendarIntegrationSpec, groupBy, groupByMultiple, groupByToArray, installFeature, installOp, integrationContracts, isChangeType, isChangelogDocBlock, isEmitDeclRef, isExampleKind, isExampleVisibility, isFeatureRef, isOptionalVersionedSpecRef, isResourceRef, isSpecKeyRef, isSpecPointer, isValidVersion, isVersionBumpType, isVersionEqual, isVersionGreater, isVersionLess, isVersionedSpecRef, jsonSchemaForSpec, knowledgeContracts, listRegisteredDocBlocks, makeAppBlueprintKey, makeEmit, makeExperimentKey, makeIntegrationSpecKey, makeKnowledgeSpaceKey, makeNextAppHandler, makeNextPagesHandler, makeTelemetryKey, makeTestKey, makeThemeRef, mapDocRoutes, metaDocs, mistralIntegrationSpec, op, opKey, openApiForRegistry, openBankingAccountsReadCapability, openBankingBalancesReadCapability, openBankingTransactionsReadCapability, operationSpecToAgentPrompt, operationSpecToContextMarkdown, operationSpecToFullMarkdown, parseExampleDocumentation, parseExampleEntrypoints, parseExampleMeta, parseExampleSpec, parseExampleSurfaces, parseVersion, parseVersionStrict, parseVersionedRefKey, postmarkIntegrationSpec, powensIntegrationSpec, presentationToMarkdown, productCanonKnowledgeSpace, qdrantIntegrationSpec, redactOpenBankingTelemetryPayload, registerBasicValidation, registerContractsOnBuilder, registerDefaultReactRenderer, registerDocBlocks, registerElevenLabsIntegration, registerEmailThreadsKnowledgeSpace, registerFeature, registerFinancialDocsKnowledgeSpace, registerFinancialOverviewKnowledgeSpace, registerGcsStorageIntegration, registerGmailIntegration, registerGoogleCalendarIntegration, registerIntegrationContracts, registerKnowledgeContracts, registerMistralIntegration, registerOpenBankingCapabilities, registerOpenBankingContracts, registerPostmarkIntegration, registerPowensIntegration, registerProductCanonKnowledgeSpace, registerQdrantIntegration, registerReactToMarkdownRenderer, registerStripeIntegration, registerSupportFaqKnowledgeSpace, registerTwilioSmsIntegration, registerUploadedDocsKnowledgeSpace, renderFeaturePresentation, resolveAppConfig, resourceRef, rnReusablesDriver, safeParseExampleSpec, sanitizeMcpName, schemaToMarkdown, schemaToMarkdownDetail, schemaToMarkdownList, schemaToMarkdownSummary, schemaToMarkdownTable, serializeDataViewSpec, serializeEventSpec, serializeFormSpec, serializeOperationSpec, serializePresentationSpec, serializeSchemaModel, shadcnDriver, stripeIntegrationSpec, supportFaqKnowledgeSpace, techContractsDocs, telemetryToEnvelope, twilioSmsIntegrationSpec, uploadedDocsKnowledgeSpace, validateBlueprint, validateCapabilityConsistency, validateCompensation, validateConfig, validateExample, validateExampleReferences, validateExamples, validateFeatureTargetsV2, validatePolicyConsistency, validatePolicySpec, validateResolvedConfig, validateRetryConfig, validateSlaConfig, validateTenantConfig, validateVersion, validateWorkflowComprehensive, validateWorkflowConsistency, validateWorkflowSpec };

package/dist/install.d.ts

@@ -1,7 +1,7 @@
 import { ResourceRefDescriptor } from "./resources.js";
 import { AnyOperationSpec, EmitDecl, OperationSpec } from "./operations/operation.js";
-import { OperationSpecRegistry } from "./operations/registry.js";
 import "./operations/index.js";
+import { OperationSpecRegistry } from "./operations/registry.js";
 import { HandlerCtx } from "./types.js";
 import { EventSpec } from "./events.js";
 import { AnySchemaModel, ZodSchemaModel } from "@contractspec/lib.schema";