@lucern/contracts 0.3.0-alpha.3 → 0.3.0-alpha.5

package/dist/component-host-boundary.contract.d.ts

@@ -0,0 +1,41 @@
+/**
+ * Component host persistence boundary
+ *
+ * Host deployments may call component APIs, but they must not create or mutate
+ * component-owned tables directly through top-level ctx.db. This contract keeps
+ * tenant SDK clients from accidentally recreating Lucern kernel/identity tables
+ * as host "ghost tables".
+ */
+declare const COMPONENT_HOST_BOUNDARY_CONTRACT_VERSION: "2026-04-28";
+declare const COMPONENT_HOST_PROTECTED_TABLES: readonly ["backgroundJobRuns", "backgroundJobSettings", "systemLogs", "epistemicAudit", "platformPolicyDecisionLogs", "tenantApiKeys", "projectGrants", "userSessions"];
+type ComponentHostProtectedTable = (typeof COMPONENT_HOST_PROTECTED_TABLES)[number];
+declare const COMPONENT_HOST_PROTECTED_TABLE_OWNERS: {
+    readonly backgroundJobRuns: "kernel_component";
+    readonly backgroundJobSettings: "kernel_component";
+    readonly systemLogs: "kernel_component";
+    readonly epistemicAudit: "reasoning_kernel_component";
+    readonly platformPolicyDecisionLogs: "identity_component";
+    readonly tenantApiKeys: "identity_component";
+    readonly projectGrants: "identity_component";
+    readonly userSessions: "tenant_or_control_plane_schema";
+};
+declare const COMPONENT_HOST_DB_WRITE_OPERATIONS: readonly ["insert", "patch", "replace", "delete"];
+type ComponentHostDbWriteOperation = (typeof COMPONENT_HOST_DB_WRITE_OPERATIONS)[number];
+declare const COMPONENT_HOST_DB_READ_OPERATIONS: readonly ["query"];
+type ComponentHostDbReadOperation = (typeof COMPONENT_HOST_DB_READ_OPERATIONS)[number];
+type ComponentHostDbOperation = ComponentHostDbWriteOperation | ComponentHostDbReadOperation;
+declare const COMPONENT_HOST_WRITE_AUDIT_ROOTS: readonly ["apps/web/convex", "packages/server-core/src", "services/kernel-template/convex", "services/identity-template/convex", "services/master-control/convex"];
+type ComponentHostWriteAuditRoot = (typeof COMPONENT_HOST_WRITE_AUDIT_ROOTS)[number];
+declare const COMPONENT_HOST_WRITE_ALLOWED_EXCEPTIONS: readonly [{
+    readonly file: "services/master-control/convex/userSessions.ts";
+    readonly table: "userSessions";
+    readonly operation: "insert";
+    readonly reason: "Master Control declares and owns its own userSessions table for gateway session validation.";
+}, {
+    readonly file: "services/master-control/convex/userSessions.ts";
+    readonly table: "userSessions";
+    readonly operation: "query";
+    readonly reason: "Master Control declares and owns its own userSessions table for gateway session validation.";
+}];
+
+export { COMPONENT_HOST_BOUNDARY_CONTRACT_VERSION, COMPONENT_HOST_DB_READ_OPERATIONS, COMPONENT_HOST_DB_WRITE_OPERATIONS, COMPONENT_HOST_PROTECTED_TABLES, COMPONENT_HOST_PROTECTED_TABLE_OWNERS, COMPONENT_HOST_WRITE_ALLOWED_EXCEPTIONS, COMPONENT_HOST_WRITE_AUDIT_ROOTS, type ComponentHostDbOperation, type ComponentHostDbReadOperation, type ComponentHostDbWriteOperation, type ComponentHostProtectedTable, type ComponentHostWriteAuditRoot };

package/dist/component-host-boundary.contract.js

@@ -0,0 +1,54 @@
+// src/component-host-boundary.contract.ts
+var COMPONENT_HOST_BOUNDARY_CONTRACT_VERSION = "2026-04-28";
+var COMPONENT_HOST_PROTECTED_TABLES = [
+  "backgroundJobRuns",
+  "backgroundJobSettings",
+  "systemLogs",
+  "epistemicAudit",
+  "platformPolicyDecisionLogs",
+  "tenantApiKeys",
+  "projectGrants",
+  "userSessions"
+];
+var COMPONENT_HOST_PROTECTED_TABLE_OWNERS = {
+  backgroundJobRuns: "kernel_component",
+  backgroundJobSettings: "kernel_component",
+  systemLogs: "kernel_component",
+  epistemicAudit: "reasoning_kernel_component",
+  platformPolicyDecisionLogs: "identity_component",
+  tenantApiKeys: "identity_component",
+  projectGrants: "identity_component",
+  userSessions: "tenant_or_control_plane_schema"
+};
+var COMPONENT_HOST_DB_WRITE_OPERATIONS = [
+  "insert",
+  "patch",
+  "replace",
+  "delete"
+];
+var COMPONENT_HOST_DB_READ_OPERATIONS = ["query"];
+var COMPONENT_HOST_WRITE_AUDIT_ROOTS = [
+  "apps/web/convex",
+  "packages/server-core/src",
+  "services/kernel-template/convex",
+  "services/identity-template/convex",
+  "services/master-control/convex"
+];
+var COMPONENT_HOST_WRITE_ALLOWED_EXCEPTIONS = [
+  {
+    file: "services/master-control/convex/userSessions.ts",
+    table: "userSessions",
+    operation: "insert",
+    reason: "Master Control declares and owns its own userSessions table for gateway session validation."
+  },
+  {
+    file: "services/master-control/convex/userSessions.ts",
+    table: "userSessions",
+    operation: "query",
+    reason: "Master Control declares and owns its own userSessions table for gateway session validation."
+  }
+];
+
+export { COMPONENT_HOST_BOUNDARY_CONTRACT_VERSION, COMPONENT_HOST_DB_READ_OPERATIONS, COMPONENT_HOST_DB_WRITE_OPERATIONS, COMPONENT_HOST_PROTECTED_TABLES, COMPONENT_HOST_PROTECTED_TABLE_OWNERS, COMPONENT_HOST_WRITE_ALLOWED_EXCEPTIONS, COMPONENT_HOST_WRITE_AUDIT_ROOTS };
+//# sourceMappingURL=component-host-boundary.contract.js.map
+//# sourceMappingURL=component-host-boundary.contract.js.map

package/dist/component-host-boundary.contract.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/component-host-boundary.contract.ts"],"names":[],"mappings":";AASO,IAAM,wCAAA,GAA2C;AAEjD,IAAM,+BAAA,GAAkC;AAAA,EAC7C,mBAAA;AAAA,EACA,uBAAA;AAAA,EACA,YAAA;AAAA,EACA,gBAAA;AAAA,EACA,4BAAA;AAAA,EACA,eAAA;AAAA,EACA,eAAA;AAAA,EACA;AACF;AAIO,IAAM,qCAAA,GAAwC;AAAA,EACnD,iBAAA,EAAmB,kBAAA;AAAA,EACnB,qBAAA,EAAuB,kBAAA;AAAA,EACvB,UAAA,EAAY,kBAAA;AAAA,EACZ,cAAA,EAAgB,4BAAA;AAAA,EAChB,0BAAA,EAA4B,oBAAA;AAAA,EAC5B,aAAA,EAAe,oBAAA;AAAA,EACf,aAAA,EAAe,oBAAA;AAAA,EACf,YAAA,EAAc;AAChB;AAEO,IAAM,kCAAA,GAAqC;AAAA,EAChD,QAAA;AAAA,EACA,OAAA;AAAA,EACA,SAAA;AAAA,EACA;AACF;AAIO,IAAM,iCAAA,GAAoC,CAAC,OAAO;AAQlD,IAAM,gCAAA,GAAmC;AAAA,EAC9C,iBAAA;AAAA,EACA,0BAAA;AAAA,EACA,iCAAA;AAAA,EACA,mCAAA;AAAA,EACA;AACF;AAIO,IAAM,uCAAA,GAA0C;AAAA,EACrD;AAAA,IACE,IAAA,EAAM,gDAAA;AAAA,IACN,KAAA,EAAO,cAAA;AAAA,IACP,SAAA,EAAW,QAAA;AAAA,IACX,MAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,IAAA,EAAM,gDAAA;AAAA,IACN,KAAA,EAAO,cAAA;AAAA,IACP,SAAA,EAAW,OAAA;AAAA,IACX,MAAA,EACE;AAAA;AAEN","file":"component-host-boundary.contract.js","sourcesContent":["/**\n * Component host persistence boundary\n *\n * Host deployments may call component APIs, but they must not create or mutate\n * component-owned tables directly through top-level ctx.db. This contract keeps\n * tenant SDK clients from accidentally recreating Lucern kernel/identity tables\n * as host \"ghost tables\".\n */\n\nexport const COMPONENT_HOST_BOUNDARY_CONTRACT_VERSION = \"2026-04-28\" as const;\n\nexport const COMPONENT_HOST_PROTECTED_TABLES = [\n  \"backgroundJobRuns\",\n  \"backgroundJobSettings\",\n  \"systemLogs\",\n  \"epistemicAudit\",\n  \"platformPolicyDecisionLogs\",\n  \"tenantApiKeys\",\n  \"projectGrants\",\n  \"userSessions\",\n] as const;\nexport type ComponentHostProtectedTable =\n  (typeof COMPONENT_HOST_PROTECTED_TABLES)[number];\n\nexport const COMPONENT_HOST_PROTECTED_TABLE_OWNERS = {\n  backgroundJobRuns: \"kernel_component\",\n  backgroundJobSettings: \"kernel_component\",\n  systemLogs: \"kernel_component\",\n  epistemicAudit: \"reasoning_kernel_component\",\n  platformPolicyDecisionLogs: \"identity_component\",\n  tenantApiKeys: \"identity_component\",\n  projectGrants: \"identity_component\",\n  userSessions: \"tenant_or_control_plane_schema\",\n} as const satisfies Record<ComponentHostProtectedTable, string>;\n\nexport const COMPONENT_HOST_DB_WRITE_OPERATIONS = [\n  \"insert\",\n  \"patch\",\n  \"replace\",\n  \"delete\",\n] as const;\nexport type ComponentHostDbWriteOperation =\n  (typeof COMPONENT_HOST_DB_WRITE_OPERATIONS)[number];\n\nexport const COMPONENT_HOST_DB_READ_OPERATIONS = [\"query\"] as const;\nexport type ComponentHostDbReadOperation =\n  (typeof COMPONENT_HOST_DB_READ_OPERATIONS)[number];\n\nexport type ComponentHostDbOperation =\n  | ComponentHostDbWriteOperation\n  | ComponentHostDbReadOperation;\n\nexport const COMPONENT_HOST_WRITE_AUDIT_ROOTS = [\n  \"apps/web/convex\",\n  \"packages/server-core/src\",\n  \"services/kernel-template/convex\",\n  \"services/identity-template/convex\",\n  \"services/master-control/convex\",\n] as const;\nexport type ComponentHostWriteAuditRoot =\n  (typeof COMPONENT_HOST_WRITE_AUDIT_ROOTS)[number];\n\nexport const COMPONENT_HOST_WRITE_ALLOWED_EXCEPTIONS = [\n  {\n    file: \"services/master-control/convex/userSessions.ts\",\n    table: \"userSessions\",\n    operation: \"insert\",\n    reason:\n      \"Master Control declares and owns its own userSessions table for gateway session validation.\",\n  },\n  {\n    file: \"services/master-control/convex/userSessions.ts\",\n    table: \"userSessions\",\n    operation: \"query\",\n    reason:\n      \"Master Control declares and owns its own userSessions table for gateway session validation.\",\n  },\n] as const satisfies ReadonlyArray<{\n  file: string;\n  table: ComponentHostProtectedTable;\n  operation: ComponentHostDbOperation;\n  reason: string;\n}>;\n"]}

package/dist/edge-policy-manifest-DpmTtjmm.d.ts

@@ -0,0 +1,132 @@
+import { z } from 'zod';
+
+declare const EpistemicNodeTypeSchema: z.ZodEnum<["belief", "evidence", "question", "answer", "topic", "edge", "ontology", "lens", "contradiction"]>;
+type EpistemicNodeType = z.infer<typeof EpistemicNodeTypeSchema>;
+type GraphRef = {
+    kind: "epistemic_node";
+    nodeId: string;
+    nodeType: EpistemicNodeType;
+} | {
+    kind: "external_belief";
+    ref: {
+        tenantId: string;
+        beliefId: string;
+    };
+};
+declare const GraphRefSchema: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+    kind: z.ZodLiteral<"epistemic_node">;
+    nodeId: z.ZodString;
+    nodeType: z.ZodEnum<["belief", "evidence", "question", "answer", "topic", "edge", "ontology", "lens", "contradiction"]>;
+}, "strip", z.ZodTypeAny, {
+    kind: "epistemic_node";
+    nodeId: string;
+    nodeType: "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer";
+}, {
+    kind: "epistemic_node";
+    nodeId: string;
+    nodeType: "belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer";
+}>, z.ZodObject<{
+    kind: z.ZodLiteral<"external_belief">;
+    ref: z.ZodObject<{
+        tenantId: z.ZodString;
+        beliefId: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        tenantId: string;
+        beliefId: string;
+    }, {
+        tenantId: string;
+        beliefId: string;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    kind: "external_belief";
+    ref: {
+        tenantId: string;
+        beliefId: string;
+    };
+}, {
+    kind: "external_belief";
+    ref: {
+        tenantId: string;
+        beliefId: string;
+    };
+}>]>;
+
+declare const EdgePolicyEntrySchema: z.ZodObject<{
+    edgeType: z.ZodString;
+    fromKinds: z.ZodArray<z.ZodEnum<["epistemic_node", "external_belief"]>, "many">;
+    fromNodeTypes: z.ZodOptional<z.ZodArray<z.ZodEnum<["belief", "evidence", "question", "answer", "topic", "edge", "ontology", "lens", "contradiction"]>, "many">>;
+    toKinds: z.ZodArray<z.ZodEnum<["epistemic_node", "external_belief"]>, "many">;
+    toNodeTypes: z.ZodOptional<z.ZodArray<z.ZodEnum<["belief", "evidence", "question", "answer", "topic", "edge", "ontology", "lens", "contradiction"]>, "many">>;
+    description: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    description: string;
+    edgeType: string;
+    fromKinds: ("epistemic_node" | "external_belief")[];
+    toKinds: ("epistemic_node" | "external_belief")[];
+    fromNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
+    toNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
+}, {
+    description: string;
+    edgeType: string;
+    fromKinds: ("epistemic_node" | "external_belief")[];
+    toKinds: ("epistemic_node" | "external_belief")[];
+    fromNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
+    toNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
+}>;
+declare const EdgePolicyManifestSchema: z.ZodObject<{
+    manifestVersion: z.ZodLiteral<"1.0.0">;
+    policies: z.ZodArray<z.ZodObject<{
+        edgeType: z.ZodString;
+        fromKinds: z.ZodArray<z.ZodEnum<["epistemic_node", "external_belief"]>, "many">;
+        fromNodeTypes: z.ZodOptional<z.ZodArray<z.ZodEnum<["belief", "evidence", "question", "answer", "topic", "edge", "ontology", "lens", "contradiction"]>, "many">>;
+        toKinds: z.ZodArray<z.ZodEnum<["epistemic_node", "external_belief"]>, "many">;
+        toNodeTypes: z.ZodOptional<z.ZodArray<z.ZodEnum<["belief", "evidence", "question", "answer", "topic", "edge", "ontology", "lens", "contradiction"]>, "many">>;
+        description: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        description: string;
+        edgeType: string;
+        fromKinds: ("epistemic_node" | "external_belief")[];
+        toKinds: ("epistemic_node" | "external_belief")[];
+        fromNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
+        toNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
+    }, {
+        description: string;
+        edgeType: string;
+        fromKinds: ("epistemic_node" | "external_belief")[];
+        toKinds: ("epistemic_node" | "external_belief")[];
+        fromNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
+        toNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    policies: {
+        description: string;
+        edgeType: string;
+        fromKinds: ("epistemic_node" | "external_belief")[];
+        toKinds: ("epistemic_node" | "external_belief")[];
+        fromNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
+        toNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
+    }[];
+    manifestVersion: "1.0.0";
+}, {
+    policies: {
+        description: string;
+        edgeType: string;
+        fromKinds: ("epistemic_node" | "external_belief")[];
+        toKinds: ("epistemic_node" | "external_belief")[];
+        fromNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
+        toNodeTypes?: ("belief" | "evidence" | "question" | "edge" | "contradiction" | "topic" | "ontology" | "lens" | "answer")[] | undefined;
+    }[];
+    manifestVersion: "1.0.0";
+}>;
+type EdgePolicyEntry = z.infer<typeof EdgePolicyEntrySchema>;
+type EdgePolicyManifest = z.infer<typeof EdgePolicyManifestSchema>;
+type EdgePolicyViolation = {
+    code: "POLICY_VIOLATION";
+    edgeType: string;
+    from: GraphRef;
+    to: GraphRef;
+};
+declare function findEdgePolicy(manifest: EdgePolicyManifest, edgeType: string): EdgePolicyEntry | undefined;
+declare function assertEdgePolicyAllowed(manifest: EdgePolicyManifest, edgeType: string, from: GraphRef, to: GraphRef): void;
+
+export { EpistemicNodeTypeSchema as E, type GraphRef as G, type EpistemicNodeType as a, GraphRefSchema as b, EdgePolicyEntrySchema as c, EdgePolicyManifestSchema as d, type EdgePolicyEntry as e, type EdgePolicyManifest as f, type EdgePolicyViolation as g, findEdgePolicy as h, assertEdgePolicyAllowed as i };

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

@@ -1,4 +1,4 @@
-import * as zod from 'zod';
+import { z } from 'zod';
 
 /**
  * MCP Tool Contract Definitions
@@ -115,10 +115,10 @@ declare const beliefsContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
-    args: zod.ZodTypeAny;
-    returns: zod.ZodTypeAny;
-    input: zod.ZodTypeAny;
-    output: zod.ZodTypeAny;
+    args: z.ZodTypeAny;
+    returns: z.ZodTypeAny;
+    input: z.ZodTypeAny;
+    output: z.ZodTypeAny;
     openapi: {
         summary: string;
         tags: string[];
@@ -154,10 +154,10 @@ declare const beliefsContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
-    args: zod.ZodTypeAny;
-    returns: zod.ZodTypeAny;
-    input: zod.ZodTypeAny;
-    output: zod.ZodTypeAny;
+    args: z.ZodTypeAny;
+    returns: z.ZodTypeAny;
+    input: z.ZodTypeAny;
+    output: z.ZodTypeAny;
     openapi: {
         summary: string;
         tags: string[];
@@ -193,10 +193,10 @@ declare const beliefsContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
-    args: zod.ZodTypeAny;
-    returns: zod.ZodTypeAny;
-    input: zod.ZodTypeAny;
-    output: zod.ZodTypeAny;
+    args: z.ZodTypeAny;
+    returns: z.ZodTypeAny;
+    input: z.ZodTypeAny;
+    output: z.ZodTypeAny;
     openapi: {
         summary: string;
         tags: string[];
@@ -232,10 +232,10 @@ declare const beliefsContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
-    args: zod.ZodTypeAny;
-    returns: zod.ZodTypeAny;
-    input: zod.ZodTypeAny;
-    output: zod.ZodTypeAny;
+    args: z.ZodTypeAny;
+    returns: z.ZodTypeAny;
+    input: z.ZodTypeAny;
+    output: z.ZodTypeAny;
     openapi: {
         summary: string;
         tags: string[];
@@ -271,10 +271,10 @@ declare const beliefsContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
-    args: zod.ZodTypeAny;
-    returns: zod.ZodTypeAny;
-    input: zod.ZodTypeAny;
-    output: zod.ZodTypeAny;
+    args: z.ZodTypeAny;
+    returns: z.ZodTypeAny;
+    input: z.ZodTypeAny;
+    output: z.ZodTypeAny;
     openapi: {
         summary: string;
         tags: string[];
@@ -310,10 +310,10 @@ declare const beliefsContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
-    args: zod.ZodTypeAny;
-    returns: zod.ZodTypeAny;
-    input: zod.ZodTypeAny;
-    output: zod.ZodTypeAny;
+    args: z.ZodTypeAny;
+    returns: z.ZodTypeAny;
+    input: z.ZodTypeAny;
+    output: z.ZodTypeAny;
     openapi: {
         summary: string;
         tags: string[];
@@ -349,10 +349,10 @@ declare const beliefsContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
-    args: zod.ZodTypeAny;
-    returns: zod.ZodTypeAny;
-    input: zod.ZodTypeAny;
-    output: zod.ZodTypeAny;
+    args: z.ZodTypeAny;
+    returns: z.ZodTypeAny;
+    input: z.ZodTypeAny;
+    output: z.ZodTypeAny;
     openapi: {
         summary: string;
         tags: string[];
@@ -388,10 +388,10 @@ declare const beliefsContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
-    args: zod.ZodTypeAny;
-    returns: zod.ZodTypeAny;
-    input: zod.ZodTypeAny;
-    output: zod.ZodTypeAny;
+    args: z.ZodTypeAny;
+    returns: z.ZodTypeAny;
+    input: z.ZodTypeAny;
+    output: z.ZodTypeAny;
     openapi: {
         summary: string;
         tags: string[];
@@ -427,10 +427,10 @@ declare const beliefsContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
-    args: zod.ZodTypeAny;
-    returns: zod.ZodTypeAny;
-    input: zod.ZodTypeAny;
-    output: zod.ZodTypeAny;
+    args: z.ZodTypeAny;
+    returns: z.ZodTypeAny;
+    input: z.ZodTypeAny;
+    output: z.ZodTypeAny;
     openapi: {
         summary: string;
         tags: string[];
@@ -466,10 +466,10 @@ declare const beliefsContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
-    args: zod.ZodTypeAny;
-    returns: zod.ZodTypeAny;
-    input: zod.ZodTypeAny;
-    output: zod.ZodTypeAny;
+    args: z.ZodTypeAny;
+    returns: z.ZodTypeAny;
+    input: z.ZodTypeAny;
+    output: z.ZodTypeAny;
     openapi: {
         summary: string;
         tags: string[];