@contractspec/lib.contracts 1.56.1 → 1.58.0

package/dist/operations/operation.d.ts

@@ -1,66 +1,67 @@
-import { ResourceRefDescriptor } from "../resources.js";
-import { PolicyRef } from "../policy/spec.js";
-import { TestSpecRef } from "../tests/spec.js";
-import { CapabilityRef } from "../capabilities/capabilities.js";
-import { OwnerShipMeta } from "../ownership.js";
-import { EventSpec } from "../events.js";
-import { AnySchemaModel } from "@contractspec/lib.schema";
-
-//#region src/operations/operation.d.ts
-
+/**
+ * ContractSpec: a single source of truth describing one operation (command/query).
+ * It carries narrative context for humans/agents AND machine-typed input/output/policy.
+ */
+import type { EventSpec } from '../events';
+import type { AnySchemaModel } from '@contractspec/lib.schema';
+import type { ResourceRefDescriptor } from '../resources';
+import type { OwnerShipMeta } from '../ownership';
+import type { PolicyRef } from '../policy/spec';
+import type { TestSpecRef } from '../tests/spec';
+import type { CapabilityRef } from '../capabilities/capabilities';
 /**
  * Distinguishes between state-changing operations (command) and read-only operations (query).
  */
-type OpKind = 'command' | 'query';
+export type OpKind = 'command' | 'query';
 /**
  * Type of implementation artifact.
  */
-type ImplementationType = 'handler' | 'component' | 'form' | 'test' | 'service' | 'hook' | 'other';
+export type ImplementationType = 'handler' | 'component' | 'form' | 'test' | 'service' | 'hook' | 'other';
 /**
  * Reference to an implementation file for a spec.
  * Used for explicit implementation mapping.
  */
-interface ImplementationRef {
-  /** Path to implementation file (relative to workspace root) */
-  path: string;
-  /** Type of implementation artifact */
-  type: ImplementationType;
-  /** Optional human-readable description */
-  description?: string;
+export interface ImplementationRef {
+    /** Path to implementation file (relative to workspace root) */
+    path: string;
+    /** Type of implementation artifact */
+    type: ImplementationType;
+    /** Optional human-readable description */
+    description?: string;
 }
-interface EmitDeclRef {
-  ref: EventSpec<AnySchemaModel>['meta'];
-  when: string;
+export interface EmitDeclRef {
+    ref: EventSpec<AnySchemaModel>['meta'];
+    when: string;
 }
-interface EmitDeclInline {
-  key: string;
-  version: string;
-  when: string;
-  payload: AnySchemaModel;
+export interface EmitDeclInline {
+    key: string;
+    version: string;
+    when: string;
+    payload: AnySchemaModel;
 }
 /**
  * Declaration of an event that an operation may emit.
  * Can be a reference to an `EventSpec` or an inline definition.
  */
-type EmitDecl = EmitDeclRef | EmitDeclInline;
-declare const isEmitDeclRef: (e: EmitDecl) => e is EmitDeclRef;
-interface TelemetryTrigger {
-  event: {
-    key: string;
-    version?: string;
-  };
-  properties?: (args: {
-    input: unknown;
-    output?: unknown;
-    error?: unknown;
-  }) => Record<string, unknown>;
+export type EmitDecl = EmitDeclRef | EmitDeclInline;
+export declare const isEmitDeclRef: (e: EmitDecl) => e is EmitDeclRef;
+export interface TelemetryTrigger {
+    event: {
+        key: string;
+        version?: string;
+    };
+    properties?: (args: {
+        input: unknown;
+        output?: unknown;
+        error?: unknown;
+    }) => Record<string, unknown>;
 }
-interface OperationSpecMeta extends OwnerShipMeta {
-  kind: OpKind;
-  /** Business goal: why this exists */
-  goal: string;
-  /** Background, constraints, scope edges (feeds docs & LLM context) */
-  context: string;
+export interface OperationSpecMeta extends OwnerShipMeta {
+    kind: OpKind;
+    /** Business goal: why this exists */
+    goal: string;
+    /** Background, constraints, scope edges (feeds docs & LLM context) */
+    context: string;
 }
 /**
  * The core specification interface for any operation (Command or Query).
@@ -69,124 +70,123 @@ interface OperationSpecMeta extends OwnerShipMeta {
  * @template Output - The Zod-backed schema model for the output payload, or a resource reference.
  * @template Events - Tuple of events that this operation may emit.
  */
-interface OperationSpec<Input extends AnySchemaModel, Output extends AnySchemaModel | ResourceRefDescriptor<boolean>, Events extends readonly EmitDecl[] | undefined = readonly EmitDecl[] | undefined> {
-  meta: OperationSpecMeta;
-  /**
-   * Optional reference to the capability that provides this operation.
-   * Used for bidirectional linking between capabilities and operations.
-   */
-  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) */
-    errors?: Record<string, {
-      description: string;
-      http?: number;
-      gqlCode?: string;
-      when: string;
-    }>;
-  };
-  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 */
-    rateLimit?: {
-      rpm: number;
-      key: 'user' | 'org' | 'global';
+export interface OperationSpec<Input extends AnySchemaModel, Output extends AnySchemaModel | ResourceRefDescriptor<boolean>, Events extends readonly EmitDecl[] | undefined = readonly EmitDecl[] | undefined> {
+    meta: OperationSpecMeta;
+    /**
+     * Optional reference to the capability that provides this operation.
+     * Used for bidirectional linking between capabilities and operations.
+     */
+    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) */
+        errors?: Record<string, {
+            description: string;
+            http?: number;
+            gqlCode?: string;
+            when: string;
+        }>;
+    };
+    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 */
+        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 */
+        fieldPolicies?: {
+            field: string;
+            actions: ('read' | 'write')[];
+            policy?: PolicyRef;
+        }[];
+    };
+    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 */
+        audit?: string[];
     };
-    /** 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')[];
-      policy?: PolicyRef;
-    }[];
-  };
-  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 */
-    audit?: string[];
-  };
-  telemetry?: {
-    success?: TelemetryTrigger;
-    failure?: TelemetryTrigger;
-  };
-  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) */
-      path?: string;
+    telemetry?: {
+        success?: TelemetryTrigger;
+        failure?: TelemetryTrigger;
     };
-    gql?: {
-      /** Override field name (default: dots→underscores + _vN) */
-      field?: string;
-      returns?: string;
+    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) */
+            path?: string;
+        };
+        gql?: {
+            /** Override field name (default: dots→underscores + _vN) */
+            field?: string;
+            returns?: string;
+        };
+        mcp?: {
+            /** Override tool identifier (default: "<name>.v<version>") */
+            toolName?: string;
+        };
     };
-    mcp?: {
-      /** Override tool identifier (default: "<name>.v<version>") */
-      toolName?: string;
+    acceptance?: {
+        /** Gherkin-lite scenarios for docs & auto tests */
+        scenarios?: {
+            key: string;
+            given: string[];
+            when: string[];
+            then: string[];
+        }[];
+        /** Request/response examples (used for docs & snapshot tests) */
+        examples?: {
+            key: string;
+            input: unknown;
+            output: unknown;
+        }[];
     };
-  };
-  acceptance?: {
-    /** Gherkin-lite scenarios for docs & auto tests */
-    scenarios?: {
-      key: string;
-      given: string[];
-      when: string[];
-      then: string[];
-    }[];
-    /** Request/response examples (used for docs & snapshot tests) */
-    examples?: {
-      key: string;
-      input: unknown;
-      output: unknown;
-    }[];
-  };
-  /**
-   * Explicit implementation file mappings.
-   * Used for tracking and verifying that this spec is correctly implemented.
-   */
-  implementations?: ImplementationRef[];
+    /**
+     * Explicit implementation file mappings.
+     * Used for tracking and verifying that this spec is correctly implemented.
+     */
+    implementations?: ImplementationRef[];
 }
-type AnyOperationSpec = OperationSpec<AnySchemaModel, AnySchemaModel | ResourceRefDescriptor<boolean>>;
+export type AnyOperationSpec = OperationSpec<AnySchemaModel, AnySchemaModel | ResourceRefDescriptor<boolean>>;
 /**
  * Helper to define a Command (write operation).
  * Sets `kind: 'command'` and defaults `idempotent: false`.
  */
-declare const defineCommand: <I extends AnySchemaModel, O extends AnySchemaModel | ResourceRefDescriptor<boolean>, E extends readonly EmitDecl[] | undefined = undefined>(spec: Omit<OperationSpec<I, O, E>, "meta" | "policy"> & {
-  meta: Omit<OperationSpec<I, O, E>["meta"], "kind">;
-  policy: Omit<OperationSpec<I, O, E>["policy"], "idempotent">;
+export declare const defineCommand: <I extends AnySchemaModel, O extends AnySchemaModel | ResourceRefDescriptor<boolean>, E extends readonly EmitDecl[] | undefined = undefined>(spec: Omit<OperationSpec<I, O, E>, "meta" | "policy"> & {
+    meta: Omit<OperationSpec<I, O, E>["meta"], "kind">;
+    policy: Omit<OperationSpec<I, O, E>["policy"], "idempotent">;
 }) => OperationSpec<I, O, E>;
 /**
  * Helper to define a Query (read-only operation).
  * Sets `kind: 'query'` and forces `idempotent: true`.
  */
-declare const defineQuery: <I extends AnySchemaModel, O extends AnySchemaModel | ResourceRefDescriptor<boolean>, E extends readonly EmitDecl[] | undefined = undefined>(spec: Omit<OperationSpec<I, O, E>, "meta" | "policy"> & {
-  meta: Omit<OperationSpec<I, O, E>["meta"], "kind">;
-  policy: Omit<OperationSpec<I, O, E>["policy"], "idempotent">;
+export declare const defineQuery: <I extends AnySchemaModel, O extends AnySchemaModel | ResourceRefDescriptor<boolean>, E extends readonly EmitDecl[] | undefined = undefined>(spec: Omit<OperationSpec<I, O, E>, "meta" | "policy"> & {
+    meta: Omit<OperationSpec<I, O, E>["meta"], "kind">;
+    policy: Omit<OperationSpec<I, O, E>["policy"], "idempotent">;
 }) => OperationSpec<I, O, E>;
-//#endregion
-export { AnyOperationSpec, EmitDecl, EmitDeclInline, EmitDeclRef, ImplementationRef, ImplementationType, OpKind, OperationSpec, OperationSpecMeta, TelemetryTrigger, defineCommand, defineQuery, isEmitDeclRef };
+//# sourceMappingURL=operation.d.ts.map

package/dist/operations/operation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"operation.d.ts","sourceRoot":"","sources":["../../src/operations/operation.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAElE;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;AAEzC;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAC1B,SAAS,GACT,WAAW,GACX,MAAM,GACN,MAAM,GACN,SAAS,GACT,MAAM,GACN,OAAO,CAAC;AAEZ;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,+DAA+D;IAC/D,IAAI,EAAE,MAAM,CAAC;IACb,sCAAsC;IACtC,IAAI,EAAE,kBAAkB,CAAC;IACzB,0CAA0C;IAC1C,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAGD,MAAM,WAAW,WAAW;IAC1B,GAAG,EAAE,SAAS,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,cAAc;IAC7B,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,cAAc,CAAC;CACzB;AACD;;;GAGG;AACH,MAAM,MAAM,QAAQ,GAAG,WAAW,GAAG,cAAc,CAAC;AACpD,eAAO,MAAM,aAAa,GAAI,GAAG,QAAQ,KAAG,CAAC,IAAI,WAAyB,CAAC;AAE3E,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACzC,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE;QAClB,KAAK,EAAE,OAAO,CAAC;QACf,MAAM,CAAC,EAAE,OAAO,CAAC;QACjB,KAAK,CAAC,EAAE,OAAO,CAAC;KACjB,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC/B;AAED,MAAM,WAAW,iBAAkB,SAAQ,aAAa;IACtD,IAAI,EAAE,MAAM,CAAC;IACb,qCAAqC;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,sEAAsE;IACtE,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,aAAa,CAC5B,KAAK,SAAS,cAAc,EAC5B,MAAM,SAAS,cAAc,GAAG,qBAAqB,CAAC,OAAO,CAAC,EAC9D,MAAM,SAAS,SAAS,QAAQ,EAAE,GAAG,SAAS,GAC1C,SAAS,QAAQ,EAAE,GACnB,SAAS;IAEb,IAAI,EAAE,iBAAiB,CAAC;IAExB;;;OAGG;IACH,UAAU,CAAC,EAAE,aAAa,CAAC;IAE3B,EAAE,EAAE;QACF,wCAAwC;QACxC,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC;QAEpB,yCAAyC;QACzC,MAAM,CAAC,EAAE,cAAc,CAAC;QAExB,6CAA6C;QAC7C,KAAK,CAAC,EAAE,cAAc,CAAC;QAEvB,kCAAkC;QAClC,OAAO,CAAC,EAAE,cAAc,CAAC;QAEzB,oCAAoC;QACpC,MAAM,EAAE,MAAM,CAAC;QACf,uDAAuD;QACvD,MAAM,CAAC,EAAE,MAAM,CACb,MAAM,EACN;YACE,WAAW,EAAE,MAAM,CAAC;YACpB,IAAI,CAAC,EAAE,MAAM,CAAC;YACd,OAAO,CAAC,EAAE,MAAM,CAAC;YACjB,IAAI,EAAE,MAAM,CAAC;SACd,CACF,CAAC;KACH,CAAC;IAEF,MAAM,EAAE;QACN,oDAAoD;QACpD,IAAI,EAAE,WAAW,GAAG,MAAM,GAAG,OAAO,CAAC;QACrC,sEAAsE;QACtE,UAAU,CAAC,EAAE,OAAO,CAAC;QACrB,+DAA+D;QAC/D,SAAS,CAAC,EAAE;YAAE,GAAG,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,GAAG,KAAK,GAAG,QAAQ,CAAA;SAAE,CAAC;QAC5D,uDAAuD;QACvD,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;QACjB,wEAAwE;QACxE,QAAQ,CAAC,EAAE,cAAc,GAAG,IAAI,CAAC;QACjC,yDAAyD;QACzD,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC;QACf,+CAA+C;QAC/C,QAAQ,CAAC,EAAE,SAAS,EAAE,CAAC;QACvB,qDAAqD;QACrD,aAAa,CAAC,EAAE;YACd,KAAK,EAAE,MAAM,CAAC;YACd,OAAO,EAAE,CAAC,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC;YAC9B,MAAM,CAAC,EAAE,SAAS,CAAC;SACpB,EAAE,CAAC;KACL,CAAC;IAEF,WAAW,CAAC,EAAE;QACZ,0EAA0E;QAC1E,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,8DAA8D;QAC9D,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;QACrB,0DAA0D;QAC1D,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;KAClB,CAAC;IAEF,SAAS,CAAC,EAAE;QACV,OAAO,CAAC,EAAE,gBAAgB,CAAC;QAC3B,OAAO,CAAC,EAAE,gBAAgB,CAAC;KAC5B,CAAC;IAEF,KAAK,CAAC,EAAE,WAAW,EAAE,CAAC;IAEtB,SAAS,CAAC,EAAE;QACV,IAAI,CAAC,EAAE;YACL,yEAAyE;YACzE,MAAM,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC;YACxB,6DAA6D;YAC7D,IAAI,CAAC,EAAE,MAAM,CAAC;SACf,CAAC;QACF,GAAG,CAAC,EAAE;YACJ,4DAA4D;YAC5D,KAAK,CAAC,EAAE,MAAM,CAAC;YACf,OAAO,CAAC,EAAE,MAAM,CAAC;SAGlB,CAAC;QACF,GAAG,CAAC,EAAE;YACJ,8DAA8D;YAC9D,QAAQ,CAAC,EAAE,MAAM,CAAC;SACnB,CAAC;KACH,CAAC;IAEF,UAAU,CAAC,EAAE;QACX,mDAAmD;QACnD,SAAS,CAAC,EAAE;YACV,GAAG,EAAE,MAAM,CAAC;YACZ,KAAK,EAAE,MAAM,EAAE,CAAC;YAChB,IAAI,EAAE,MAAM,EAAE,CAAC;YACf,IAAI,EAAE,MAAM,EAAE,CAAC;SAChB,EAAE,CAAC;QACJ,iEAAiE;QACjE,QAAQ,CAAC,EAAE;YAAE,GAAG,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,OAAO,CAAC;YAAC,MAAM,EAAE,OAAO,CAAA;SAAE,EAAE,CAAC;KAC/D,CAAC;IAEF;;;OAGG;IACH,eAAe,CAAC,EAAE,iBAAiB,EAAE,CAAC;CACvC;AAED,MAAM,MAAM,gBAAgB,GAAG,aAAa,CAC1C,cAAc,EACd,cAAc,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAChD,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,aAAa,GACxB,CAAC,SAAS,cAAc,EACxB,CAAC,SAAS,cAAc,GAAG,qBAAqB,CAAC,OAAO,CAAC,EACzD,CAAC,SAAS,SAAS,QAAQ,EAAE,GAAG,SAAS,GAAG,SAAS,EAErD,MAAM,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAC,GAAG;IACtD,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;IACnD,MAAM,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC,CAAC;CAC9D,KACA,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAStB,CAAC;AAEH;;;GAGG;AACH,eAAO,MAAM,WAAW,GACtB,CAAC,SAAS,cAAc,EACxB,CAAC,SAAS,cAAc,GAAG,qBAAqB,CAAC,OAAO,CAAC,EACzD,CAAC,SAAS,SAAS,QAAQ,EAAE,GAAG,SAAS,GAAG,SAAS,EAErD,MAAM,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAC,GAAG;IACtD,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;IACnD,MAAM,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC,CAAC;CAC9D,KACA,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAItB,CAAC"}

package/dist/operations/operation.js

@@ -1,35 +1,51 @@
-//#region src/operations/operation.ts
-const isEmitDeclRef = (e) => "ref" in e;
-/**
-* Helper to define a Command (write operation).
-* Sets `kind: 'command'` and defaults `idempotent: false`.
-*/
-const defineCommand = (spec) => ({
-	...spec,
-	meta: {
-		...spec.meta,
-		kind: "command"
-	},
-	policy: {
-		...spec.policy,
-		idempotent: spec.policy?.["policy"]?.idempotent ?? false
-	}
+// @bun
+var __defProp = Object.defineProperty;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __moduleCache = /* @__PURE__ */ new WeakMap;
+var __toCommonJS = (from) => {
+  var entry = __moduleCache.get(from), desc;
+  if (entry)
+    return entry;
+  entry = __defProp({}, "__esModule", { value: true });
+  if (from && typeof from === "object" || typeof from === "function")
+    __getOwnPropNames(from).map((key) => !__hasOwnProp.call(entry, key) && __defProp(entry, key, {
+      get: () => from[key],
+      enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable
+    }));
+  __moduleCache.set(from, entry);
+  return entry;
+};
+var __export = (target, all) => {
+  for (var name in all)
+    __defProp(target, name, {
+      get: all[name],
+      enumerable: true,
+      configurable: true,
+      set: (newValue) => all[name] = () => newValue
+    });
+};
+var __esm = (fn, res) => () => (fn && (res = fn(fn = 0)), res);
+var __require = import.meta.require;
+
+// src/operations/operation.ts
+var isEmitDeclRef = (e) => ("ref" in e);
+var defineCommand = (spec) => ({
+  ...spec,
+  meta: { ...spec.meta, kind: "command" },
+  policy: {
+    ...spec.policy,
+    idempotent: spec.policy?.["policy"]?.idempotent ?? false
+  }
 });
-/**
-* Helper to define a Query (read-only operation).
-* Sets `kind: 'query'` and forces `idempotent: true`.
-*/
-const defineQuery = (spec) => ({
-	...spec,
-	meta: {
-		...spec.meta,
-		kind: "query"
-	},
-	policy: {
-		...spec.policy,
-		idempotent: true
-	}
+var defineQuery = (spec) => ({
+  ...spec,
+  meta: { ...spec.meta, kind: "query" },
+  policy: { ...spec.policy, idempotent: true }
 });
-
-//#endregion
-export { defineCommand, defineQuery, isEmitDeclRef };
+export {
+  isEmitDeclRef,
+  defineQuery,
+  defineCommand
+};

package/dist/operations/registry.d.ts

@@ -1,54 +1,59 @@
-import { ResourceRefDescriptor } from "../resources.js";
-import { AnyOperationSpec, OperationSpec } from "./operation.js";
-import { SpecContractRegistry } from "../registry.js";
-import { HandlerForOperationSpec } from "../install.js";
-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;
+/**
+ * OperationSpecRegistry:
+ * - Registers ContractSpecs (unique by name+version)
+ * - Binds runtime handlers to specs
+ * - Provides lookup, iteration, and a safe execute() with validation/policy/enforcement
+ *
+ * Includes a minimal OpRegistry shim for backward-compat (deprecated).
+ */
+import { type AnyOperationSpec, type OperationSpec } from './operation';
+import type { ResourceRefDescriptor } from '../resources';
+import type { HandlerCtx } from '../types';
+import type { AnySchemaModel } from '@contractspec/lib.schema';
+import type { HandlerForOperationSpec } from '../install';
+import { SpecContractRegistry } from '../registry';
+export type OperationKey = `${string}.v${string}`;
+export declare function opKey(key: string, version: string): OperationKey;
 type AnyOperationHandler = (args: unknown, ctx: HandlerCtx) => Promise<unknown>;
 /**
  * In-memory registry for ContractSpecs and their bound handlers.
  * Provides validation, policy enforcement, and guarded event emission at execute time.
  */
-declare class OperationSpecRegistry extends SpecContractRegistry<'operation', AnyOperationSpec> {
-  private handlers;
-  constructor(items?: AnyOperationSpec[]);
-  /**
-   * Binds a runtime handler implementation to a previously registered spec.
-   *
-   * @param spec - The spec to bind to.
-   * @param handler - The async function implementing the business logic.
-   * @returns The registry instance for chaining.
-   * @throws If the spec is not found or a handler is already bound.
-   */
-  bind<I extends AnySchemaModel, O extends AnySchemaModel | ResourceRefDescriptor<boolean>>(spec: OperationSpec<I, O>, handler: HandlerForOperationSpec<OperationSpec<I, O>>): this;
-  /**
-   * Retrieves the bound handler for a spec.
-   */
-  getHandler(key: string, version?: string): AnyOperationHandler | undefined;
-  /** Iterate all bound operations (spec+handler). */
-  listBound(): {
-    spec: AnyOperationSpec;
-    handler: AnyOperationHandler;
-  }[];
-  /**
-   * Execute an operation by name/version with full runtime protections:
-   * 1. Validates input against Zod schema.
-   * 2. Enforces policy (Auth, RBAC, Rate Limits) via PDP.
-   * 3. Guards event emission to ensure only declared events are sent.
-   * 4. Validates output against Zod schema (if applicable).
-   * 5. Tracks telemetry (success/failure).
-   *
-   * @param key - Operation key.
-   * @param version - Operation version (optional, defaults to latest).
-   * @param rawInput - The raw input payload (e.g. from JSON body).
-   * @param ctx - The runtime context (actor, tenant, etc.).
-   */
-  execute(key: string, version: string | undefined, rawInput: unknown, ctx: HandlerCtx): Promise<unknown>;
+export declare class OperationSpecRegistry extends SpecContractRegistry<'operation', AnyOperationSpec> {
+    private handlers;
+    constructor(items?: AnyOperationSpec[]);
+    /**
+     * Binds a runtime handler implementation to a previously registered spec.
+     *
+     * @param spec - The spec to bind to.
+     * @param handler - The async function implementing the business logic.
+     * @returns The registry instance for chaining.
+     * @throws If the spec is not found or a handler is already bound.
+     */
+    bind<I extends AnySchemaModel, O extends AnySchemaModel | ResourceRefDescriptor<boolean>>(spec: OperationSpec<I, O>, handler: HandlerForOperationSpec<OperationSpec<I, O>>): this;
+    /**
+     * Retrieves the bound handler for a spec.
+     */
+    getHandler(key: string, version?: string): AnyOperationHandler | undefined;
+    /** Iterate all bound operations (spec+handler). */
+    listBound(): {
+        spec: AnyOperationSpec;
+        handler: AnyOperationHandler;
+    }[];
+    /**
+     * Execute an operation by name/version with full runtime protections:
+     * 1. Validates input against Zod schema.
+     * 2. Enforces policy (Auth, RBAC, Rate Limits) via PDP.
+     * 3. Guards event emission to ensure only declared events are sent.
+     * 4. Validates output against Zod schema (if applicable).
+     * 5. Tracks telemetry (success/failure).
+     *
+     * @param key - Operation key.
+     * @param version - Operation version (optional, defaults to latest).
+     * @param rawInput - The raw input payload (e.g. from JSON body).
+     * @param ctx - The runtime context (actor, tenant, etc.).
+     */
+    execute(key: string, version: string | undefined, rawInput: unknown, ctx: HandlerCtx): Promise<unknown>;
 }
-//#endregion
-export { OperationKey, OperationSpecRegistry, opKey };
+export {};
+//# sourceMappingURL=registry.d.ts.map

package/dist/operations/registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/operations/registry.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EACL,KAAK,gBAAgB,EAErB,KAAK,aAAa,EAEnB,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAC1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAE3C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAEnD,MAAM,MAAM,YAAY,GAAG,GAAG,MAAM,KAAK,MAAM,EAAE,CAAC;AAElD,wBAAgB,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,YAAY,CAEhE;AAED,KAAK,mBAAmB,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;AAEhF;;;GAGG;AACH,qBAAa,qBAAsB,SAAQ,oBAAoB,CAC7D,WAAW,EACX,gBAAgB,CACjB;IACC,OAAO,CAAC,QAAQ,CAAgD;gBAE7C,KAAK,CAAC,EAAE,gBAAgB,EAAE;IAI7C;;;;;;;OAOG;IACH,IAAI,CACF,CAAC,SAAS,cAAc,EACxB,CAAC,SAAS,cAAc,GAAG,qBAAqB,CAAC,OAAO,CAAC,EAEzD,IAAI,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EACzB,OAAO,EAAE,uBAAuB,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GACpD,IAAI;IAWP;;OAEG;IACH,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,mBAAmB,GAAG,SAAS;IAM1E,mDAAmD;IACnD,SAAS,IAAI;QAAE,IAAI,EAAE,gBAAgB,CAAC;QAAC,OAAO,EAAE,mBAAmB,CAAA;KAAE,EAAE;IASvE;;;;;;;;;;;;OAYG;IACG,OAAO,CACX,GAAG,EAAE,MAAM,EACX,OAAO,EAAE,MAAM,GAAG,SAAS,EAC3B,QAAQ,EAAE,OAAO,EACjB,GAAG,EAAE,UAAU,GACd,OAAO,CAAC,OAAO,CAAC;CA6KpB"}