@contractspec/lib.contracts 1.56.1 → 1.57.0

package/dist/operations/operation.d.ts

@@ -7,7 +7,6 @@ import { EventSpec } from "../events.js";
 import { AnySchemaModel } from "@contractspec/lib.schema";
 
 //#region src/operations/operation.d.ts
-
 /**
  * Distinguishes between state-changing operations (command) and read-only operations (query).
  */
@@ -77,17 +76,11 @@ interface OperationSpec<Input extends AnySchemaModel, Output extends AnySchemaMo
    */
   capability?: CapabilityRef;
   io: {
-    /** Zod schema for input body payload */
-    input: Input | null;
-    /** Zod schema for URL path parameters */
-    params?: AnySchemaModel;
-    /** Zod schema for query string parameters */
-    query?: AnySchemaModel;
-    /** Zod schema for HTTP headers */
-    headers?: AnySchemaModel;
-    /** Zod schema for output payload */
-    output: Output;
-    /** Named, typed errors this op may throw (optional) */
+    /** Zod schema for input body payload */input: Input | null; /** Zod schema for URL path parameters */
+    params?: AnySchemaModel; /** Zod schema for query string parameters */
+    query?: AnySchemaModel; /** Zod schema for HTTP headers */
+    headers?: AnySchemaModel; /** Zod schema for output payload */
+    output: Output; /** Named, typed errors this op may throw (optional) */
     errors?: Record<string, {
       description: string;
       http?: number;
@@ -96,24 +89,16 @@ interface OperationSpec<Input extends AnySchemaModel, Output extends AnySchemaMo
     }>;
   };
   policy: {
-    /** Minimal auth category allowed to call this op */
-    auth: 'anonymous' | 'user' | 'admin';
-    /** Idempotency hint. Queries default true; commands default false. */
-    idempotent?: boolean;
-    /** Soft rate limit suggestion; adapter enforces via limiter */
+    /** Minimal auth category allowed to call this op */auth: 'anonymous' | 'user' | 'admin'; /** Idempotency hint. Queries default true; commands default false. */
+    idempotent?: boolean; /** Soft rate limit suggestion; adapter enforces via limiter */
     rateLimit?: {
       rpm: number;
       key: 'user' | 'org' | 'global';
-    };
-    /** Feature flags that must be ON for this op to run */
-    flags?: string[];
-    /** Whether a human must approve before action (e.g., risky commands) */
-    escalate?: 'human_review' | null;
-    /** JSONPath-like pointers to redact from logs/prompts */
-    pii?: string[];
-    /** Referenced policy specs governing access */
-    policies?: PolicyRef[];
-    /** Field-level overrides referencing policy specs */
+    }; /** Feature flags that must be ON for this op to run */
+    flags?: string[]; /** Whether a human must approve before action (e.g., risky commands) */
+    escalate?: 'human_review' | null; /** JSONPath-like pointers to redact from logs/prompts */
+    pii?: string[]; /** Referenced policy specs governing access */
+    policies?: PolicyRef[]; /** Field-level overrides referencing policy specs */
     fieldPolicies?: {
       field: string;
       actions: ('read' | 'write')[];
@@ -121,11 +106,8 @@ interface OperationSpec<Input extends AnySchemaModel, Output extends AnySchemaMo
     }[];
   };
   sideEffects?: {
-    /** Declared events this op may emit; runtime will guard against others */
-    emits?: Events;
-    /** Analytics intents (names); the service decides the sink */
-    analytics?: string[];
-    /** Audit intents (labels); the service decides storage */
+    /** Declared events this op may emit; runtime will guard against others */emits?: Events; /** Analytics intents (names); the service decides the sink */
+    analytics?: string[]; /** Audit intents (labels); the service decides storage */
     audit?: string[];
   };
   telemetry?: {
@@ -135,30 +117,24 @@ interface OperationSpec<Input extends AnySchemaModel, Output extends AnySchemaMo
   tests?: TestSpecRef[];
   transport?: {
     rest?: {
-      /** Override HTTP method (default: POST for commands, GET for queries) */
-      method?: 'GET' | 'POST';
-      /** Override path (default derived from meta.name/version) */
+      /** Override HTTP method (default: POST for commands, GET for queries) */method?: 'GET' | 'POST'; /** Override path (default derived from meta.name/version) */
       path?: string;
     };
     gql?: {
-      /** Override field name (default: dots→underscores + _vN) */
-      field?: string;
+      /** Override field name (default: dots→underscores + _vN) */field?: string;
       returns?: string;
     };
     mcp?: {
-      /** Override tool identifier (default: "<name>.v<version>") */
-      toolName?: string;
+      /** Override tool identifier (default: "<name>.v<version>") */toolName?: string;
     };
   };
   acceptance?: {
-    /** Gherkin-lite scenarios for docs & auto tests */
-    scenarios?: {
+    /** Gherkin-lite scenarios for docs & auto tests */scenarios?: {
       key: string;
       given: string[];
       when: string[];
       then: string[];
-    }[];
-    /** Request/response examples (used for docs & snapshot tests) */
+    }[]; /** Request/response examples (used for docs & snapshot tests) */
     examples?: {
       key: string;
       input: unknown;

package/dist/operations/registry.d.ts

@@ -6,7 +6,6 @@ import { HandlerCtx } from "../types.js";
 import { AnySchemaModel } from "@contractspec/lib.schema";
 
 //#region src/operations/registry.d.ts
-
 type OperationKey = `${string}.v${string}`;
 declare function opKey(key: string, version: string): OperationKey;
 type AnyOperationHandler = (args: unknown, ctx: HandlerCtx) => Promise<unknown>;

package/dist/operations/registry.js

@@ -104,9 +104,9 @@ var OperationSpecRegistry = class extends SpecContractRegistry {
 			});
 			if (decision.effect === "deny") throw new Error(`PolicyDenied: ${spec.meta.key}.v${spec.meta.version}`);
 			if (decision.rateLimit && ctx.rateLimit) {
-				const key$1 = decision.rateLimit.key ?? "default";
+				const key = decision.rateLimit.key ?? "default";
 				const rpm = decision.rateLimit.rpm ?? 60;
-				await ctx.rateLimit(key$1, 1, rpm);
+				await ctx.rateLimit(key, 1, rpm);
 			}
 		}
 		const allowedEvents = /* @__PURE__ */ new Map();

package/dist/operations/report/getContractVerificationStatus.d.ts

@@ -1,6 +1,6 @@
 import { OperationSpec } from "../operation.js";
 import "../index.js";
-import * as _contractspec_lib_schema536 from "@contractspec/lib.schema";
+import * as _contractspec_lib_schema0 from "@contractspec/lib.schema";
 import { SchemaModel, ZodSchemaType } from "@contractspec/lib.schema";
 import * as z$2 from "zod";
 
@@ -10,34 +10,34 @@ import * as z$2 from "zod";
  */
 declare const ContractVerificationStatusModel: SchemaModel<{
   name: {
-    type: _contractspec_lib_schema536.FieldType<string, string>;
+    type: _contractspec_lib_schema0.FieldType<string, string>;
     isOptional: false;
   };
   lastVerifiedSha: {
-    type: _contractspec_lib_schema536.FieldType<string, string>;
+    type: _contractspec_lib_schema0.FieldType<string, string>;
     isOptional: true;
   };
   lastVerifiedDate: {
-    type: _contractspec_lib_schema536.FieldType<string, string>;
+    type: _contractspec_lib_schema0.FieldType<string, string>;
     isOptional: true;
   };
   surfaces: {
-    type: _contractspec_lib_schema536.FieldType<string, string>;
+    type: _contractspec_lib_schema0.FieldType<string, string>;
     isOptional: false;
     isArray: true;
   };
   driftMismatches: {
-    type: _contractspec_lib_schema536.FieldType<number, number>;
+    type: _contractspec_lib_schema0.FieldType<number, number>;
     isOptional: false;
   };
 }>;
 declare const GetContractVerificationStatusInput: SchemaModel<{
   projectPath: {
-    type: _contractspec_lib_schema536.FieldType<string, string>;
+    type: _contractspec_lib_schema0.FieldType<string, string>;
     isOptional: false;
   };
   baseline: {
-    type: _contractspec_lib_schema536.FieldType<string, string>;
+    type: _contractspec_lib_schema0.FieldType<string, string>;
     isOptional: true;
   };
 }>;
@@ -55,11 +55,11 @@ declare const GetContractVerificationStatusOutput: ZodSchemaType<z$2.ZodObject<{
  */
 declare const GetContractVerificationStatusQuery: OperationSpec<SchemaModel<{
   projectPath: {
-    type: _contractspec_lib_schema536.FieldType<string, string>;
+    type: _contractspec_lib_schema0.FieldType<string, string>;
     isOptional: false;
   };
   baseline: {
-    type: _contractspec_lib_schema536.FieldType<string, string>;
+    type: _contractspec_lib_schema0.FieldType<string, string>;
     isOptional: true;
   };
 }>, ZodSchemaType<z$2.ZodObject<{

package/dist/ownership.d.ts

@@ -2,7 +2,6 @@ import { DocId } from "./docs/registry.js";
 import "./docs/index.js";
 
 //#region src/ownership.d.ts
-
 /**
  * Lifecycle stability stages for specs.
  *
@@ -15,17 +14,11 @@ import "./docs/index.js";
  * - `deprecated`: Scheduled for removal, use alternatives
  */
 declare const StabilityEnum: {
-  /** Initial concept, not yet implemented. */
-  readonly Idea: "idea";
-  /** Currently being built, not ready for use. */
-  readonly InCreation: "in_creation";
-  /** Working but unstable, may change significantly. */
-  readonly Experimental: "experimental";
-  /** Feature-complete, seeking feedback before stabilization. */
-  readonly Beta: "beta";
-  /** Production-ready, follows semantic versioning. */
-  readonly Stable: "stable";
-  /** Scheduled for removal, use alternatives. */
+  /** Initial concept, not yet implemented. */readonly Idea: "idea"; /** Currently being built, not ready for use. */
+  readonly InCreation: "in_creation"; /** Working but unstable, may change significantly. */
+  readonly Experimental: "experimental"; /** Feature-complete, seeking feedback before stabilization. */
+  readonly Beta: "beta"; /** Production-ready, follows semantic versioning. */
+  readonly Stable: "stable"; /** Scheduled for removal, use alternatives. */
   readonly Deprecated: "deprecated";
 };
 /** Stability level for a spec's lifecycle stage. */
@@ -37,19 +30,12 @@ type Stability = (typeof StabilityEnum)[keyof typeof StabilityEnum];
  * Custom owner strings are also allowed for flexibility.
  */
 declare const OwnersEnum: {
-  /** Core platform team. */
-  readonly PlatformCore: "platform.core";
-  /** Sigil/auth team. */
-  readonly PlatformSigil: "platform.sigil";
-  /** Marketplace team. */
-  readonly PlatformMarketplace: "platform.marketplace";
-  /** Messaging/notifications team. */
-  readonly PlatformMessaging: "platform.messaging";
-  /** Content/CMS team. */
-  readonly PlatformContent: "platform.content";
-  /** Feature flags team. */
-  readonly PlatformFeatureFlags: "platform.featureflags";
-  /** Finance/billing team. */
+  /** Core platform team. */readonly PlatformCore: "platform.core"; /** Sigil/auth team. */
+  readonly PlatformSigil: "platform.sigil"; /** Marketplace team. */
+  readonly PlatformMarketplace: "platform.marketplace"; /** Messaging/notifications team. */
+  readonly PlatformMessaging: "platform.messaging"; /** Content/CMS team. */
+  readonly PlatformContent: "platform.content"; /** Feature flags team. */
+  readonly PlatformFeatureFlags: "platform.featureflags"; /** Finance/billing team. */
   readonly PlatformFinance: "platform.finance";
 };
 /**
@@ -59,19 +45,12 @@ declare const OwnersEnum: {
 type Owner = (typeof OwnersEnum)[keyof typeof OwnersEnum] | (string & {});
 /** @deprecated Use OwnersEnum instead. */
 declare const Owners: {
-  /** Core platform team. */
-  readonly PlatformCore: "platform.core";
-  /** Sigil/auth team. */
-  readonly PlatformSigil: "platform.sigil";
-  /** Marketplace team. */
-  readonly PlatformMarketplace: "platform.marketplace";
-  /** Messaging/notifications team. */
-  readonly PlatformMessaging: "platform.messaging";
-  /** Content/CMS team. */
-  readonly PlatformContent: "platform.content";
-  /** Feature flags team. */
-  readonly PlatformFeatureFlags: "platform.featureflags";
-  /** Finance/billing team. */
+  /** Core platform team. */readonly PlatformCore: "platform.core"; /** Sigil/auth team. */
+  readonly PlatformSigil: "platform.sigil"; /** Marketplace team. */
+  readonly PlatformMarketplace: "platform.marketplace"; /** Messaging/notifications team. */
+  readonly PlatformMessaging: "platform.messaging"; /** Content/CMS team. */
+  readonly PlatformContent: "platform.content"; /** Feature flags team. */
+  readonly PlatformFeatureFlags: "platform.featureflags"; /** Finance/billing team. */
   readonly PlatformFinance: "platform.finance";
 };
 /**
@@ -81,31 +60,18 @@ declare const Owners: {
  * Custom tag strings are also allowed for flexibility.
  */
 declare const TagsEnum: {
-  /** Spots/locations domain. */
-  readonly Spots: "spots";
-  /** Collectivity/community domain. */
-  readonly Collectivity: "collectivity";
-  /** Marketplace domain. */
-  readonly Marketplace: "marketplace";
-  /** Seller-related features. */
-  readonly Sellers: "sellers";
-  /** Authentication features. */
-  readonly Auth: "auth";
-  /** Login flows. */
-  readonly Login: "login";
-  /** Signup flows. */
-  readonly Signup: "signup";
-  /** Onboarding/guides. */
-  readonly Guide: "guide";
-  /** Documentation. */
-  readonly Docs: "docs";
-  /** Internationalization. */
-  readonly I18n: "i18n";
-  /** Incident management. */
-  readonly Incident: "incident";
-  /** Automation/workflows. */
-  readonly Automation: "automation";
-  /** Code hygiene/maintenance. */
+  /** Spots/locations domain. */readonly Spots: "spots"; /** Collectivity/community domain. */
+  readonly Collectivity: "collectivity"; /** Marketplace domain. */
+  readonly Marketplace: "marketplace"; /** Seller-related features. */
+  readonly Sellers: "sellers"; /** Authentication features. */
+  readonly Auth: "auth"; /** Login flows. */
+  readonly Login: "login"; /** Signup flows. */
+  readonly Signup: "signup"; /** Onboarding/guides. */
+  readonly Guide: "guide"; /** Documentation. */
+  readonly Docs: "docs"; /** Internationalization. */
+  readonly I18n: "i18n"; /** Incident management. */
+  readonly Incident: "incident"; /** Automation/workflows. */
+  readonly Automation: "automation"; /** Code hygiene/maintenance. */
   readonly Hygiene: "hygiene";
 };
 /**
@@ -115,31 +81,18 @@ declare const TagsEnum: {
 type Tag = (typeof TagsEnum)[keyof typeof TagsEnum] | (string & {});
 /** @deprecated Use TagsEnum instead. */
 declare const Tags: {
-  /** Spots/locations domain. */
-  readonly Spots: "spots";
-  /** Collectivity/community domain. */
-  readonly Collectivity: "collectivity";
-  /** Marketplace domain. */
-  readonly Marketplace: "marketplace";
-  /** Seller-related features. */
-  readonly Sellers: "sellers";
-  /** Authentication features. */
-  readonly Auth: "auth";
-  /** Login flows. */
-  readonly Login: "login";
-  /** Signup flows. */
-  readonly Signup: "signup";
-  /** Onboarding/guides. */
-  readonly Guide: "guide";
-  /** Documentation. */
-  readonly Docs: "docs";
-  /** Internationalization. */
-  readonly I18n: "i18n";
-  /** Incident management. */
-  readonly Incident: "incident";
-  /** Automation/workflows. */
-  readonly Automation: "automation";
-  /** Code hygiene/maintenance. */
+  /** Spots/locations domain. */readonly Spots: "spots"; /** Collectivity/community domain. */
+  readonly Collectivity: "collectivity"; /** Marketplace domain. */
+  readonly Marketplace: "marketplace"; /** Seller-related features. */
+  readonly Sellers: "sellers"; /** Authentication features. */
+  readonly Auth: "auth"; /** Login flows. */
+  readonly Login: "login"; /** Signup flows. */
+  readonly Signup: "signup"; /** Onboarding/guides. */
+  readonly Guide: "guide"; /** Documentation. */
+  readonly Docs: "docs"; /** Internationalization. */
+  readonly I18n: "i18n"; /** Incident management. */
+  readonly Incident: "incident"; /** Automation/workflows. */
+  readonly Automation: "automation"; /** Code hygiene/maintenance. */
   readonly Hygiene: "hygiene";
 };
 /**

package/dist/policy/guards.d.ts

@@ -2,7 +2,6 @@ import { AnyOperationSpec } from "../operations/operation.js";
 import { PolicyContext } from "./context.js";
 
 //#region src/policy/guards.d.ts
-
 /** Result of a policy guard check. */
 interface PolicyGuardResult {
   /** Whether the guard passed. */

package/dist/policy/guards.js

@@ -66,10 +66,10 @@ function checkPolicyForOperation(ctx, operation, flags = []) {
 function assertPolicyForOperation(ctx, operation, flags = []) {
 	const result = checkPolicyForOperation(ctx, operation, flags);
 	if (!result.allowed) {
-		const operationName$1 = `${operation.meta.key}.v${operation.meta.version}`;
-		ctx.auditAccess(operationName$1, "denied", result.reason);
+		const operationName = `${operation.meta.key}.v${operation.meta.version}`;
+		ctx.auditAccess(operationName, "denied", result.reason);
 		throw new PolicyViolationError("access_denied", {
-			operation: operationName$1,
+			operation: operationName,
 			reason: result.reason
 		});
 	}

package/dist/policy/index.d.ts

@@ -7,7 +7,6 @@ import { CombinedPolicyRequirements, PolicyGuardResult, assertCombinedPolicy, as
 import { PolicyConsistencyDeps, PolicyValidationError, PolicyValidationIssue, PolicyValidationLevel, PolicyValidationResult, assertPolicyConsistency, assertPolicySpecValid, validatePolicyConsistency, validatePolicySpec } from "./validation.js";
 
 //#region src/policy/index.d.ts
-
 /**
  * Helper to define a Policy.
  */

package/dist/policy/validation.d.ts

@@ -3,7 +3,6 @@ import { PolicyRegistry } from "./registry.js";
 import { OperationSpecRegistry } from "../operations/registry.js";
 
 //#region src/policy/validation.d.ts
-
 type PolicyValidationLevel = 'error' | 'warning' | 'info';
 interface PolicyValidationIssue {
   level: PolicyValidationLevel;

package/dist/product-intent/contract-patch-intent.d.ts

@@ -0,0 +1,103 @@
+import { ZodSchemaType } from "@contractspec/lib.schema";
+import * as z$2 from "zod";
+
+//#region src/product-intent/contract-patch-intent.d.ts
+declare const PatchChangeTypeSchema: z$2.ZodEnum<{
+  other: "other";
+  add_field: "add_field";
+  remove_field: "remove_field";
+  rename_field: "rename_field";
+  add_event: "add_event";
+  update_event: "update_event";
+  add_operation: "add_operation";
+  update_operation: "update_operation";
+  update_form: "update_form";
+  update_policy: "update_policy";
+  add_enum_value: "add_enum_value";
+  remove_enum_value: "remove_enum_value";
+}>;
+type PatchChangeType = z$2.infer<typeof PatchChangeTypeSchema>;
+declare const PatchChangeSchema: z$2.ZodObject<{
+  type: z$2.ZodEnum<{
+    other: "other";
+    add_field: "add_field";
+    remove_field: "remove_field";
+    rename_field: "rename_field";
+    add_event: "add_event";
+    update_event: "update_event";
+    add_operation: "add_operation";
+    update_operation: "update_operation";
+    update_form: "update_form";
+    update_policy: "update_policy";
+    add_enum_value: "add_enum_value";
+    remove_enum_value: "remove_enum_value";
+  }>;
+  target: z$2.ZodString;
+  detail: z$2.ZodString;
+}, z$2.core.$strip>;
+declare const PatchChangeModel: ZodSchemaType<z$2.ZodObject<{
+  type: z$2.ZodEnum<{
+    other: "other";
+    add_field: "add_field";
+    remove_field: "remove_field";
+    rename_field: "rename_field";
+    add_event: "add_event";
+    update_event: "update_event";
+    add_operation: "add_operation";
+    update_operation: "update_operation";
+    update_form: "update_form";
+    update_policy: "update_policy";
+    add_enum_value: "add_enum_value";
+    remove_enum_value: "remove_enum_value";
+  }>;
+  target: z$2.ZodString;
+  detail: z$2.ZodString;
+}, z$2.core.$strip>>;
+type PatchChange = z$2.infer<typeof PatchChangeSchema>;
+declare const ContractPatchIntentSchema: z$2.ZodObject<{
+  featureKey: z$2.ZodString;
+  changes: z$2.ZodArray<z$2.ZodObject<{
+    type: z$2.ZodEnum<{
+      other: "other";
+      add_field: "add_field";
+      remove_field: "remove_field";
+      rename_field: "rename_field";
+      add_event: "add_event";
+      update_event: "update_event";
+      add_operation: "add_operation";
+      update_operation: "update_operation";
+      update_form: "update_form";
+      update_policy: "update_policy";
+      add_enum_value: "add_enum_value";
+      remove_enum_value: "remove_enum_value";
+    }>;
+    target: z$2.ZodString;
+    detail: z$2.ZodString;
+  }, z$2.core.$strip>>;
+  acceptanceCriteria: z$2.ZodArray<z$2.ZodString>;
+}, z$2.core.$strip>;
+declare const ContractPatchIntentModel: ZodSchemaType<z$2.ZodObject<{
+  featureKey: z$2.ZodString;
+  changes: z$2.ZodArray<z$2.ZodObject<{
+    type: z$2.ZodEnum<{
+      other: "other";
+      add_field: "add_field";
+      remove_field: "remove_field";
+      rename_field: "rename_field";
+      add_event: "add_event";
+      update_event: "update_event";
+      add_operation: "add_operation";
+      update_operation: "update_operation";
+      update_form: "update_form";
+      update_policy: "update_policy";
+      add_enum_value: "add_enum_value";
+      remove_enum_value: "remove_enum_value";
+    }>;
+    target: z$2.ZodString;
+    detail: z$2.ZodString;
+  }, z$2.core.$strip>>;
+  acceptanceCriteria: z$2.ZodArray<z$2.ZodString>;
+}, z$2.core.$strip>>;
+type ContractPatchIntent = z$2.infer<typeof ContractPatchIntentSchema>;
+//#endregion
+export { ContractPatchIntent, ContractPatchIntentModel, PatchChange, PatchChangeModel, PatchChangeType };

package/dist/product-intent/contract-patch-intent.js

@@ -0,0 +1,33 @@
+import { ZodSchemaType } from "@contractspec/lib.schema";
+import * as z$2 from "zod";
+
+//#region src/product-intent/contract-patch-intent.ts
+const PatchChangeTypeSchema = z$2.enum([
+	"add_field",
+	"remove_field",
+	"rename_field",
+	"add_event",
+	"update_event",
+	"add_operation",
+	"update_operation",
+	"update_form",
+	"update_policy",
+	"add_enum_value",
+	"remove_enum_value",
+	"other"
+]);
+const PatchChangeSchema = z$2.object({
+	type: PatchChangeTypeSchema,
+	target: z$2.string().min(1),
+	detail: z$2.string().min(1)
+});
+const PatchChangeModel = new ZodSchemaType(PatchChangeSchema, { name: "PatchChange" });
+const ContractPatchIntentSchema = z$2.object({
+	featureKey: z$2.string().min(1),
+	changes: z$2.array(PatchChangeSchema),
+	acceptanceCriteria: z$2.array(z$2.string().min(1))
+});
+const ContractPatchIntentModel = new ZodSchemaType(ContractPatchIntentSchema, { name: "ContractPatchIntent" });
+
+//#endregion
+export { ContractPatchIntentModel, PatchChangeModel };

package/dist/product-intent/contract-spec-patch.d.ts

@@ -0,0 +1,89 @@
+import { ZodSchemaType } from "@contractspec/lib.schema";
+import * as z$2 from "zod";
+
+//#region src/product-intent/contract-spec-patch.d.ts
+declare const ContractPatchAddSchema: z$2.ZodObject<{
+  path: z$2.ZodString;
+  value: z$2.ZodUnknown;
+}, z$2.core.$strip>;
+declare const ContractPatchAddModel: ZodSchemaType<z$2.ZodObject<{
+  path: z$2.ZodString;
+  value: z$2.ZodUnknown;
+}, z$2.core.$strip>>;
+type ContractPatchAdd = z$2.infer<typeof ContractPatchAddSchema>;
+declare const ContractPatchUpdateSchema: z$2.ZodObject<{
+  path: z$2.ZodString;
+  value: z$2.ZodUnknown;
+}, z$2.core.$strip>;
+declare const ContractPatchUpdateModel: ZodSchemaType<z$2.ZodObject<{
+  path: z$2.ZodString;
+  value: z$2.ZodUnknown;
+}, z$2.core.$strip>>;
+type ContractPatchUpdate = z$2.infer<typeof ContractPatchUpdateSchema>;
+declare const ContractPatchRemoveSchema: z$2.ZodObject<{
+  path: z$2.ZodString;
+}, z$2.core.$strip>;
+declare const ContractPatchRemoveModel: ZodSchemaType<z$2.ZodObject<{
+  path: z$2.ZodString;
+}, z$2.core.$strip>>;
+type ContractPatchRemove = z$2.infer<typeof ContractPatchRemoveSchema>;
+declare const ContractSpecOverlaySchema: z$2.ZodObject<{
+  adds: z$2.ZodOptional<z$2.ZodArray<z$2.ZodObject<{
+    path: z$2.ZodString;
+    value: z$2.ZodUnknown;
+  }, z$2.core.$strip>>>;
+  updates: z$2.ZodOptional<z$2.ZodArray<z$2.ZodObject<{
+    path: z$2.ZodString;
+    value: z$2.ZodUnknown;
+  }, z$2.core.$strip>>>;
+  removes: z$2.ZodOptional<z$2.ZodArray<z$2.ZodObject<{
+    path: z$2.ZodString;
+  }, z$2.core.$strip>>>;
+}, z$2.core.$strip>;
+declare const ContractSpecOverlayModel: ZodSchemaType<z$2.ZodObject<{
+  adds: z$2.ZodOptional<z$2.ZodArray<z$2.ZodObject<{
+    path: z$2.ZodString;
+    value: z$2.ZodUnknown;
+  }, z$2.core.$strip>>>;
+  updates: z$2.ZodOptional<z$2.ZodArray<z$2.ZodObject<{
+    path: z$2.ZodString;
+    value: z$2.ZodUnknown;
+  }, z$2.core.$strip>>>;
+  removes: z$2.ZodOptional<z$2.ZodArray<z$2.ZodObject<{
+    path: z$2.ZodString;
+  }, z$2.core.$strip>>>;
+}, z$2.core.$strip>>;
+type ContractSpecOverlay = z$2.infer<typeof ContractSpecOverlaySchema>;
+declare const ContractSpecPatchSchema: z$2.ZodObject<{
+  overlay: z$2.ZodObject<{
+    adds: z$2.ZodOptional<z$2.ZodArray<z$2.ZodObject<{
+      path: z$2.ZodString;
+      value: z$2.ZodUnknown;
+    }, z$2.core.$strip>>>;
+    updates: z$2.ZodOptional<z$2.ZodArray<z$2.ZodObject<{
+      path: z$2.ZodString;
+      value: z$2.ZodUnknown;
+    }, z$2.core.$strip>>>;
+    removes: z$2.ZodOptional<z$2.ZodArray<z$2.ZodObject<{
+      path: z$2.ZodString;
+    }, z$2.core.$strip>>>;
+  }, z$2.core.$strip>;
+}, z$2.core.$strip>;
+declare const ContractSpecPatchModel: ZodSchemaType<z$2.ZodObject<{
+  overlay: z$2.ZodObject<{
+    adds: z$2.ZodOptional<z$2.ZodArray<z$2.ZodObject<{
+      path: z$2.ZodString;
+      value: z$2.ZodUnknown;
+    }, z$2.core.$strip>>>;
+    updates: z$2.ZodOptional<z$2.ZodArray<z$2.ZodObject<{
+      path: z$2.ZodString;
+      value: z$2.ZodUnknown;
+    }, z$2.core.$strip>>>;
+    removes: z$2.ZodOptional<z$2.ZodArray<z$2.ZodObject<{
+      path: z$2.ZodString;
+    }, z$2.core.$strip>>>;
+  }, z$2.core.$strip>;
+}, z$2.core.$strip>>;
+type ContractSpecPatch = z$2.infer<typeof ContractSpecPatchSchema>;
+//#endregion
+export { ContractPatchAdd, ContractPatchAddModel, ContractPatchRemove, ContractPatchRemoveModel, ContractPatchUpdate, ContractPatchUpdateModel, ContractSpecOverlay, ContractSpecOverlayModel, ContractSpecPatch, ContractSpecPatchModel };