@lucern/contracts 0.3.0-alpha.0 → 0.3.0-alpha.1

package/dist/function-registry/types.d.ts

@@ -1,6 +1,6 @@
 import { z } from 'zod';
 import { F as FunctionEffect } from '../defineFunction-DO97DKs4.js';
-import { M as McpToolContract } from '../tool-contracts-WCnuE9DW.js';
+import { M as McpToolContract } from '../tool-contracts-C92-9ueT.js';
 
 type FunctionKind = "query" | "mutation" | "action";
 type FunctionIdempotency = boolean | "required";
@@ -71,7 +71,7 @@ type FunctionContract = {
         allowedPrincipalTypes: FunctionPrincipalType[];
     };
     convex?: FunctionConvexTarget;
-    args: z.ZodObject<z.ZodRawShape>;
+    args: z.ZodTypeAny;
     returns: z.ZodTypeAny;
     input: z.ZodTypeAny;
     output: z.ZodTypeAny;

package/dist/function-registry/worktrees.d.ts

@@ -14,7 +14,7 @@ import * as zod from 'zod';
  *   2. Knowledge tools use epistemic verbs (create_belief, fork_belief, modulate_confidence)
  *   3. First sentence of description includes the git analog verb
  *   4. Description includes "Like `git X`" parenthetical
- *   5. Parameter names use domain terms (canonicalText, nodeId, confidence)
+ *   5. Parameter names use domain terms (canonicalText, nodeId, baseRate)
  */
 type McpToolContract = {
     /** Stable tool name — breaking change to rename */
@@ -115,11 +115,7 @@ declare const worktreesContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
-    args: zod.ZodObject<zod.ZodRawShape, zod.UnknownKeysParam, zod.ZodTypeAny, {
-        [x: string]: any;
-    }, {
-        [x: string]: any;
-    }>;
+    args: zod.ZodTypeAny;
     returns: zod.ZodTypeAny;
     input: zod.ZodTypeAny;
     output: zod.ZodTypeAny;
@@ -158,11 +154,7 @@ declare const worktreesContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
-    args: zod.ZodObject<zod.ZodRawShape, zod.UnknownKeysParam, zod.ZodTypeAny, {
-        [x: string]: any;
-    }, {
-        [x: string]: any;
-    }>;
+    args: zod.ZodTypeAny;
     returns: zod.ZodTypeAny;
     input: zod.ZodTypeAny;
     output: zod.ZodTypeAny;
@@ -201,11 +193,7 @@ declare const worktreesContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
-    args: zod.ZodObject<zod.ZodRawShape, zod.UnknownKeysParam, zod.ZodTypeAny, {
-        [x: string]: any;
-    }, {
-        [x: string]: any;
-    }>;
+    args: zod.ZodTypeAny;
     returns: zod.ZodTypeAny;
     input: zod.ZodTypeAny;
     output: zod.ZodTypeAny;
@@ -244,11 +232,7 @@ declare const worktreesContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
-    args: zod.ZodObject<zod.ZodRawShape, zod.UnknownKeysParam, zod.ZodTypeAny, {
-        [x: string]: any;
-    }, {
-        [x: string]: any;
-    }>;
+    args: zod.ZodTypeAny;
     returns: zod.ZodTypeAny;
     input: zod.ZodTypeAny;
     output: zod.ZodTypeAny;
@@ -287,11 +271,7 @@ declare const worktreesContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
-    args: zod.ZodObject<zod.ZodRawShape, zod.UnknownKeysParam, zod.ZodTypeAny, {
-        [x: string]: any;
-    }, {
-        [x: string]: any;
-    }>;
+    args: zod.ZodTypeAny;
     returns: zod.ZodTypeAny;
     input: zod.ZodTypeAny;
     output: zod.ZodTypeAny;
@@ -330,11 +310,7 @@ declare const worktreesContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
-    args: zod.ZodObject<zod.ZodRawShape, zod.UnknownKeysParam, zod.ZodTypeAny, {
-        [x: string]: any;
-    }, {
-        [x: string]: any;
-    }>;
+    args: zod.ZodTypeAny;
     returns: zod.ZodTypeAny;
     input: zod.ZodTypeAny;
     output: zod.ZodTypeAny;
@@ -373,11 +349,7 @@ declare const worktreesContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
-    args: zod.ZodObject<zod.ZodRawShape, zod.UnknownKeysParam, zod.ZodTypeAny, {
-        [x: string]: any;
-    }, {
-        [x: string]: any;
-    }>;
+    args: zod.ZodTypeAny;
     returns: zod.ZodTypeAny;
     input: zod.ZodTypeAny;
     output: zod.ZodTypeAny;
@@ -416,11 +388,7 @@ declare const worktreesContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
-    args: zod.ZodObject<zod.ZodRawShape, zod.UnknownKeysParam, zod.ZodTypeAny, {
-        [x: string]: any;
-    }, {
-        [x: string]: any;
-    }>;
+    args: zod.ZodTypeAny;
     returns: zod.ZodTypeAny;
     input: zod.ZodTypeAny;
     output: zod.ZodTypeAny;
@@ -459,11 +427,46 @@ declare const worktreesContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
-    args: zod.ZodObject<zod.ZodRawShape, zod.UnknownKeysParam, zod.ZodTypeAny, {
-        [x: string]: any;
-    }, {
-        [x: string]: any;
-    }>;
+    args: zod.ZodTypeAny;
+    returns: zod.ZodTypeAny;
+    input: zod.ZodTypeAny;
+    output: zod.ZodTypeAny;
+    openapi: {
+        summary: string;
+        tags: string[];
+    };
+}, {
+    name: string;
+    kind: FunctionKind;
+    idempotent: FunctionIdempotency;
+    effects: readonly FunctionEffect[];
+    invariants: readonly string[] | undefined;
+    surfaceIntent: FunctionSurfaceIntent;
+    domain: string;
+    surfaceClass: SurfaceClass;
+    surfaces: FunctionSurfaceMap;
+    replacedBy: string | undefined;
+    rest: {
+        method: "GET" | "POST" | "PATCH" | "DELETE";
+        path: string;
+    };
+    sdk: {
+        namespace: string;
+        method: string;
+    };
+    mcp: {
+        exposed: boolean;
+        toolName: string;
+    } & McpToolContract & {
+        exposed: boolean;
+        toolName: string;
+    };
+    auth: {
+        scopes: string[];
+        allowedPrincipalTypes: ("user" | "service" | "agent")[];
+    };
+    convex: FunctionConvexTarget | undefined;
+    args: zod.ZodTypeAny;
     returns: zod.ZodTypeAny;
     input: zod.ZodTypeAny;
     output: zod.ZodTypeAny;