@contractspec/lib.contracts 1.46.1 → 1.47.0

package/dist/onboarding-base.d.ts

@@ -1,136 +1,136 @@
 import { OperationSpec } from "./operations/operation.js";
 import "./index.js";
-import * as _contractspec_lib_schema165 from "@contractspec/lib.schema";
+import * as _contractspec_lib_schema97 from "@contractspec/lib.schema";
 import { SchemaModel } from "@contractspec/lib.schema";
 
 //#region src/onboarding-base.d.ts
 /** Save/update onboarding draft (auto-save during flow) */
 declare const SaveOnboardingDraftInput: SchemaModel<{
   data: {
-    type: _contractspec_lib_schema165.FieldType<unknown, unknown>;
+    type: _contractspec_lib_schema97.FieldType<unknown, unknown>;
     isOptional: false;
   };
 }>;
 declare const SaveOnboardingDraftOutput: SchemaModel<{
   id: {
-    type: _contractspec_lib_schema165.FieldType<string, string>;
+    type: _contractspec_lib_schema97.FieldType<string, string>;
     isOptional: false;
   };
   organizationId: {
-    type: _contractspec_lib_schema165.FieldType<string, string>;
+    type: _contractspec_lib_schema97.FieldType<string, string>;
     isOptional: false;
   };
 }>;
 declare const SaveOnboardingDraftBaseSpec: OperationSpec<SchemaModel<{
   data: {
-    type: _contractspec_lib_schema165.FieldType<unknown, unknown>;
+    type: _contractspec_lib_schema97.FieldType<unknown, unknown>;
     isOptional: false;
   };
 }>, SchemaModel<{
   id: {
-    type: _contractspec_lib_schema165.FieldType<string, string>;
+    type: _contractspec_lib_schema97.FieldType<string, string>;
     isOptional: false;
   };
   organizationId: {
-    type: _contractspec_lib_schema165.FieldType<string, string>;
+    type: _contractspec_lib_schema97.FieldType<string, string>;
     isOptional: false;
   };
 }>, undefined>;
 /** Get current onboarding draft (on mount/restore) */
 declare const GetOnboardingDraftOutput: SchemaModel<{
   id: {
-    type: _contractspec_lib_schema165.FieldType<string, string>;
+    type: _contractspec_lib_schema97.FieldType<string, string>;
     isOptional: true;
   };
   organizationId: {
-    type: _contractspec_lib_schema165.FieldType<string, string>;
+    type: _contractspec_lib_schema97.FieldType<string, string>;
     isOptional: true;
   };
   data: {
-    type: _contractspec_lib_schema165.FieldType<unknown, unknown>;
+    type: _contractspec_lib_schema97.FieldType<unknown, unknown>;
     isOptional: true;
   };
   createdAt: {
-    type: _contractspec_lib_schema165.FieldType<Date, string>;
+    type: _contractspec_lib_schema97.FieldType<Date, string>;
     isOptional: true;
   };
   updatedAt: {
-    type: _contractspec_lib_schema165.FieldType<Date, string>;
+    type: _contractspec_lib_schema97.FieldType<Date, string>;
     isOptional: true;
   };
 }>;
-declare const GetOnboardingDraftBaseSpec: OperationSpec<_contractspec_lib_schema165.AnySchemaModel, SchemaModel<{
+declare const GetOnboardingDraftBaseSpec: OperationSpec<_contractspec_lib_schema97.AnySchemaModel, SchemaModel<{
   id: {
-    type: _contractspec_lib_schema165.FieldType<string, string>;
+    type: _contractspec_lib_schema97.FieldType<string, string>;
     isOptional: true;
   };
   organizationId: {
-    type: _contractspec_lib_schema165.FieldType<string, string>;
+    type: _contractspec_lib_schema97.FieldType<string, string>;
     isOptional: true;
   };
   data: {
-    type: _contractspec_lib_schema165.FieldType<unknown, unknown>;
+    type: _contractspec_lib_schema97.FieldType<unknown, unknown>;
     isOptional: true;
   };
   createdAt: {
-    type: _contractspec_lib_schema165.FieldType<Date, string>;
+    type: _contractspec_lib_schema97.FieldType<Date, string>;
     isOptional: true;
   };
   updatedAt: {
-    type: _contractspec_lib_schema165.FieldType<Date, string>;
+    type: _contractspec_lib_schema97.FieldType<Date, string>;
     isOptional: true;
   };
 }>, undefined>;
 /** Delete onboarding draft (cleanup after completion or cancel) */
 declare const DeleteOnboardingDraftOutput: SchemaModel<{
   ok: {
-    type: _contractspec_lib_schema165.FieldType<boolean, boolean>;
+    type: _contractspec_lib_schema97.FieldType<boolean, boolean>;
     isOptional: false;
   };
 }>;
-declare const DeleteOnboardingDraftBaseSpec: OperationSpec<_contractspec_lib_schema165.AnySchemaModel, SchemaModel<{
+declare const DeleteOnboardingDraftBaseSpec: OperationSpec<_contractspec_lib_schema97.AnySchemaModel, SchemaModel<{
   ok: {
-    type: _contractspec_lib_schema165.FieldType<boolean, boolean>;
+    type: _contractspec_lib_schema97.FieldType<boolean, boolean>;
     isOptional: false;
   };
 }>, undefined>;
 /** Complete onboarding (final submit, creates entities) */
 declare const CompleteOnboardingBaseInput: SchemaModel<{
   data: {
-    type: _contractspec_lib_schema165.FieldType<unknown, unknown>;
+    type: _contractspec_lib_schema97.FieldType<unknown, unknown>;
     isOptional: false;
   };
 }>;
 declare const CompleteOnboardingBaseOutput: SchemaModel<{
   success: {
-    type: _contractspec_lib_schema165.FieldType<boolean, boolean>;
+    type: _contractspec_lib_schema97.FieldType<boolean, boolean>;
     isOptional: false;
   };
   userId: {
-    type: _contractspec_lib_schema165.FieldType<string, string>;
+    type: _contractspec_lib_schema97.FieldType<string, string>;
     isOptional: true;
   };
   organizationId: {
-    type: _contractspec_lib_schema165.FieldType<string, string>;
+    type: _contractspec_lib_schema97.FieldType<string, string>;
     isOptional: true;
   };
 }>;
 declare const CompleteOnboardingBaseSpec: OperationSpec<SchemaModel<{
   data: {
-    type: _contractspec_lib_schema165.FieldType<unknown, unknown>;
+    type: _contractspec_lib_schema97.FieldType<unknown, unknown>;
     isOptional: false;
   };
 }>, SchemaModel<{
   success: {
-    type: _contractspec_lib_schema165.FieldType<boolean, boolean>;
+    type: _contractspec_lib_schema97.FieldType<boolean, boolean>;
     isOptional: false;
   };
   userId: {
-    type: _contractspec_lib_schema165.FieldType<string, string>;
+    type: _contractspec_lib_schema97.FieldType<string, string>;
     isOptional: true;
   };
   organizationId: {
-    type: _contractspec_lib_schema165.FieldType<string, string>;
+    type: _contractspec_lib_schema97.FieldType<string, string>;
     isOptional: true;
   };
 }>, undefined>;

package/dist/operations/operation.d.ts

@@ -1,8 +1,8 @@
 import { OwnerShipMeta } from "../ownership.js";
 import { PolicyRef } from "../policy/spec.js";
-import { EventSpec } from "../events.js";
 import { ResourceRefDescriptor } from "../resources.js";
 import { TestSpecRef } from "../tests/spec.js";
+import { EventSpec } from "../events.js";
 import { AnySchemaModel } from "@contractspec/lib.schema";
 
 //#region src/operations/operation.d.ts

package/dist/server/mcp/createMcpServer.js

@@ -9,7 +9,7 @@ import { registerMcpPresentations } from "./registerPresentations.js";
 * and (optionally) presentations.\n+ *
 * ContractSpec exposes:\n+ * - Tools: `command` operations from `OperationSpecRegistry`.\n+ * - Resources: templates from `ResourceRegistry`.\n+ * - Prompts: templates from `PromptRegistry`.\n+ * - Presentations: V1 registry and/or V2 descriptors as read-only resources.\n+ */
 function createMcpServer(server, ops, resources, prompts, ctxFactories) {
-	ctxFactories.logger.info("Creating MCP server");
+	ctxFactories.logger.debug("Creating MCP server");
 	registerMcpTools(server, ops, { toolCtx: ctxFactories.toolCtx });
 	registerMcpResources(server, resources, {
 		logger: ctxFactories.logger,

package/dist/server/mcp/mcpTypes.d.ts

@@ -1,6 +1,6 @@
-import { HandlerCtx } from "../../types.js";
 import { PresentationRegistry } from "../../presentations/registry.js";
 import "../../presentations/index.js";
+import { HandlerCtx } from "../../types.js";
 import { Logger } from "@contractspec/lib.logger";
 
 //#region src/server/mcp/mcpTypes.d.ts

package/dist/server/mcp/registerPresentations.js

@@ -13,7 +13,7 @@ function registerMcpPresentations(server, ctx) {
 	for (const presentationSpec of ctx.presentations.list()) {
 		const baseKey = sanitizeMcpName(`presentation_${presentationSpec.meta.key}_v${presentationSpec.meta.version}`);
 		const baseUri = `presentation://${presentationSpec.meta.key}/v${presentationSpec.meta.version}`;
-		ctx.logger.info(`Registering presentation ${baseUri} for ${baseKey}`);
+		ctx.logger.debug(`Registering presentation ${baseUri} for ${baseKey}`);
 		server.registerResource(baseKey, baseUri, {
 			title: `${presentationSpec.meta.key} v${presentationSpec.meta.version}`,
 			description: presentationSpec.meta.description ?? "Presentation",

package/dist/server/mcp/registerResources.js

@@ -12,7 +12,7 @@ function mcpResourceMeta(resource) {
 }
 function registerMcpResources(server, resources, ctx) {
 	for (const resource of resources.listTemplates()) {
-		ctx.logger.info("Registering resource: " + resource.meta.uriTemplate);
+		ctx.logger.debug("Registering resource: " + resource.meta.uriTemplate);
 		server.registerResource(resource.meta.uriTemplate, new ResourceTemplate(resource.meta.uriTemplate, { list: void 0 }), mcpResourceMeta(resource), async (_uri, variables) => {
 			const parsedArgs = resource.input.parse(variables);
 			const out = await resource.resolve(parsedArgs, ctx.resourceCtx());
@@ -27,7 +27,7 @@ function registerMcpResources(server, resources, ctx) {
 				blob: Buffer.from(out.data).toString("base64")
 			}] };
 		});
-		ctx.logger.info("Registered resource: " + resource.meta.uriTemplate);
+		ctx.logger.debug("Registered resource: " + resource.meta.uriTemplate);
 	}
 }
 

package/dist/tests/index.d.ts

@@ -1,3 +1,3 @@
-import { Action, Assertion, CoverageRequirement, ExpectErrorAssertion, ExpectEventsAssertion, ExpectOutputAssertion, ExpectedEvent, Fixture, OperationTargetRef, TestRegistry, TestScenario, TestSpec, TestSpecMeta, TestSpecRef, TestTarget, WorkflowTargetRef, makeTestKey } from "./spec.js";
+import { Action, Assertion, CoverageRequirement, ExpectErrorAssertion, ExpectEventsAssertion, ExpectOutputAssertion, ExpectedEvent, Fixture, OperationTargetRef, TestRegistry, TestScenario, TestSpec, TestSpecMeta, TestSpecRef, TestTarget, WorkflowTargetRef, defineTestSpec, makeTestKey } from "./spec.js";
 import { AssertionResult, ScenarioRunResult, TestRunResult, TestRunner, TestRunnerConfig } from "./runner.js";
-export { Action, Assertion, AssertionResult, CoverageRequirement, ExpectErrorAssertion, ExpectEventsAssertion, ExpectOutputAssertion, ExpectedEvent, Fixture, OperationTargetRef, ScenarioRunResult, TestRegistry, TestRunResult, TestRunner, TestRunnerConfig, TestScenario, TestSpec, TestSpecMeta, TestSpecRef, TestTarget, WorkflowTargetRef, makeTestKey };
+export { Action, Assertion, AssertionResult, CoverageRequirement, ExpectErrorAssertion, ExpectEventsAssertion, ExpectOutputAssertion, ExpectedEvent, Fixture, OperationTargetRef, ScenarioRunResult, TestRegistry, TestRunResult, TestRunner, TestRunnerConfig, TestScenario, TestSpec, TestSpecMeta, TestSpecRef, TestTarget, WorkflowTargetRef, defineTestSpec, makeTestKey };

package/dist/tests/index.js

@@ -1,4 +1,4 @@
-import { TestRegistry, makeTestKey } from "./spec.js";
+import { TestRegistry, defineTestSpec, makeTestKey } from "./spec.js";
 import { TestRunner } from "./runner.js";
 
-export { TestRegistry, TestRunner, makeTestKey };
+export { TestRegistry, TestRunner, defineTestSpec, makeTestKey };

package/dist/tests/spec.d.ts

@@ -77,5 +77,6 @@ declare class TestRegistry {
   get(name: string, version?: string): TestSpec | undefined;
 }
 declare function makeTestKey(meta: TestSpecMeta): string;
+declare function defineTestSpec(spec: TestSpec): TestSpec;
 //#endregion
-export { Action, Assertion, CoverageRequirement, ExpectErrorAssertion, ExpectEventsAssertion, ExpectOutputAssertion, ExpectedEvent, Fixture, OperationTargetRef, TestRegistry, TestScenario, TestSpec, TestSpecMeta, TestSpecRef, TestTarget, WorkflowTargetRef, makeTestKey };
+export { Action, Assertion, CoverageRequirement, ExpectErrorAssertion, ExpectEventsAssertion, ExpectOutputAssertion, ExpectedEvent, Fixture, OperationTargetRef, TestRegistry, TestScenario, TestSpec, TestSpecMeta, TestSpecRef, TestTarget, WorkflowTargetRef, defineTestSpec, makeTestKey };

package/dist/tests/spec.js

@@ -26,6 +26,9 @@ var TestRegistry = class {
 function makeTestKey(meta) {
 	return testKey(meta);
 }
+function defineTestSpec(spec) {
+	return spec;
+}
 
 //#endregion
-export { TestRegistry, makeTestKey };
+export { TestRegistry, defineTestSpec, makeTestKey };

package/dist/types.d.ts

@@ -5,8 +5,8 @@ import { ResolvedBranding } from "./app-config/branding.js";
 import { Locale, MessageKey } from "./translations/catalog.js";
 import { ResolvedAppConfig, ResolvedIntegration, ResolvedKnowledge, ResolvedTranslation } from "./app-config/runtime.js";
 import { SecretProvider } from "./integrations/secrets/provider.js";
-import { EventRegistry } from "./events.js";
 import { SpecVariantResolver } from "./experiments/spec-resolver.js";
+import { EventRegistry } from "./events.js";
 
 //#region src/types.d.ts
 /**
@@ -14,7 +14,7 @@ import { SpecVariantResolver } from "./experiments/spec-resolver.js";
  */
 type Actor = 'anonymous' | 'user' | 'admin';
 type Channel = 'web' | 'mobile' | 'job' | 'agent';
-type ContractSpecType = 'app-config' | 'agent' | 'operation' | 'event' | 'presentation' | 'capability' | 'integration' | 'data-view' | 'feature' | 'workflow' | 'policy' | 'theme' | 'telemetry' | 'experiment' | 'knowledge-space';
+type ContractSpecType = 'app-config' | 'agent' | 'operation' | 'example' | 'event' | 'presentation' | 'capability' | 'integration' | 'data-view' | 'feature' | 'workflow' | 'policy' | 'theme' | 'telemetry' | 'experiment' | 'knowledge-space';
 interface FieldLevelDecision {
   field: string;
   effect: 'allow' | 'deny';

package/dist/workflow/index.d.ts

@@ -7,4 +7,11 @@ 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";
-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, evaluateExpression, validateWorkflowSpec };
+
+//#region src/workflow/index.d.ts
+/**
+ * Helper to define a Workflow.
+ */
+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 };

package/dist/workflow/index.js

@@ -6,4 +6,11 @@ import { InMemoryStateStore } from "./adapters/memory-store.js";
 import { PrismaStateStore } from "./adapters/db-adapter.js";
 import { createFileStateStore } from "./adapters/file-adapter.js";
 
-export { InMemoryStateStore, PrismaStateStore, WorkflowPreFlightError, WorkflowRegistry, WorkflowRunner, WorkflowValidationError, assertWorkflowSpecValid, createFileStateStore, evaluateExpression, validateWorkflowSpec };
+//#region src/workflow/index.ts
+/**
+* Helper to define a Workflow.
+*/
+const defineWorkflow = (spec) => spec;
+
+//#endregion
+export { InMemoryStateStore, PrismaStateStore, WorkflowPreFlightError, WorkflowRegistry, WorkflowRunner, WorkflowValidationError, assertWorkflowSpecValid, createFileStateStore, defineWorkflow, evaluateExpression, validateWorkflowSpec };

package/dist/workflow/runner.d.ts

@@ -1,10 +1,10 @@
+import { OpRef } from "../features/types.js";
+import "../features/index.js";
 import { GuardCondition, Step, WorkflowRegistry } from "./spec.js";
 import { ResolvedBranding } from "../app-config/branding.js";
 import { ResolvedAppConfig, ResolvedIntegration, ResolvedKnowledge, ResolvedTranslation } from "../app-config/runtime.js";
 import { SecretProvider } from "../integrations/secrets/provider.js";
 import { TranslationResolver } from "../types.js";
-import { OpRef } from "../features/types.js";
-import "../features/index.js";
 import { StateStore, WorkflowState } from "./state.js";
 
 //#region src/workflow/runner.d.ts

package/dist/workflow/spec.d.ts

@@ -1,10 +1,10 @@
 import { OwnerShipMeta } from "../ownership.js";
 import { CapabilityRef } from "../capabilities/capabilities.js";
 import "../capabilities/index.js";
-import { SpecContractRegistry } from "../registry.js";
 import { ExperimentRef } from "../experiments/spec.js";
 import { OpRef } from "../features/types.js";
 import "../features/index.js";
+import { SpecContractRegistry } from "../registry.js";
 
 //#region src/workflow/spec.d.ts
 /**

package/dist/workflow/validation.d.ts

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