@lucern/contracts 1.0.48 → 1.0.51

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

@@ -5,6 +5,7 @@ export declare const contextContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -50,6 +51,7 @@ export declare const contextContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -95,6 +97,7 @@ export declare const contextContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -140,6 +143,7 @@ export declare const contextContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -185,6 +189,7 @@ export declare const contextContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -230,6 +235,7 @@ export declare const contextContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -275,6 +281,7 @@ export declare const contextContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -320,6 +327,7 @@ export declare const contextContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -365,6 +373,7 @@ export declare const contextContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;

package/dist/function-registry/context.js

@@ -6156,6 +6156,7 @@ function surfaceContract(args) {
     idempotent: args.idempotent ?? args.kind !== "query",
     effects: resolvedEffects,
     invariants: args.invariants,
+    boundary: args.boundary,
     surfaceIntent: manifestEntry.surfaceIntent,
     domain: args.domain,
     surfaceClass: manifestEntry.surfaceClass,
@@ -6532,7 +6533,7 @@ var contextContracts = [
     sdkMethod: "ingestObservation",
     summary: "Ingest a non-destructive observation.",
     convex: {
-      module: "evidenceCreate",
+      module: "evidence",
       functionName: "create",
       kind: "mutation",
       inputProjection: observationInput,
@@ -6554,7 +6555,7 @@ var contextContracts = [
     sdkMethod: "getObservationContext",
     summary: "Read staged observation context.",
     convex: {
-      module: "evidenceQueries",
+      module: "evidence",
       functionName: "getByTopic",
       kind: "query",
       inputProjection: (input) => compactRecord({

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

@@ -1,9 +1,11 @@
+import { z } from "zod";
 export declare const contractsContracts: readonly [{
     name: string;
     kind: import("./types.js").FunctionKind;
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -35,10 +37,10 @@ export declare const contractsContracts: readonly [{
     };
     convex: import("./types.js").FunctionConvexTarget | undefined;
     gateway: import("./types.js").FunctionGatewayTarget | undefined;
-    args: import("zod").ZodTypeAny;
-    returns: import("zod").ZodTypeAny;
-    input: import("zod").ZodTypeAny;
-    output: import("zod").ZodTypeAny;
+    args: z.ZodTypeAny;
+    returns: z.ZodTypeAny;
+    input: z.ZodTypeAny;
+    output: z.ZodTypeAny;
     openapi: {
         summary: string;
         tags: string[];
@@ -49,6 +51,7 @@ export declare const contractsContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -80,10 +83,10 @@ export declare const contractsContracts: readonly [{
     };
     convex: import("./types.js").FunctionConvexTarget | undefined;
     gateway: import("./types.js").FunctionGatewayTarget | undefined;
-    args: import("zod").ZodTypeAny;
-    returns: import("zod").ZodTypeAny;
-    input: import("zod").ZodTypeAny;
-    output: import("zod").ZodTypeAny;
+    args: z.ZodTypeAny;
+    returns: z.ZodTypeAny;
+    input: z.ZodTypeAny;
+    output: z.ZodTypeAny;
     openapi: {
         summary: string;
         tags: string[];
@@ -94,6 +97,7 @@ export declare const contractsContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -125,10 +129,10 @@ export declare const contractsContracts: readonly [{
     };
     convex: import("./types.js").FunctionConvexTarget | undefined;
     gateway: import("./types.js").FunctionGatewayTarget | undefined;
-    args: import("zod").ZodTypeAny;
-    returns: import("zod").ZodTypeAny;
-    input: import("zod").ZodTypeAny;
-    output: import("zod").ZodTypeAny;
+    args: z.ZodTypeAny;
+    returns: z.ZodTypeAny;
+    input: z.ZodTypeAny;
+    output: z.ZodTypeAny;
     openapi: {
         summary: string;
         tags: string[];

package/dist/function-registry/contracts.js

@@ -1,7 +1,7 @@
 import { z } from 'zod';
 import 'convex/values';
 
-// src/function-registry/helpers.ts
+// src/function-registry/contracts.ts
 z.enum([
   "decision",
   "belief",
@@ -6139,6 +6139,7 @@ function surfaceContract(args) {
     idempotent: args.idempotent ?? args.kind !== "query",
     effects: resolvedEffects,
     invariants: args.invariants,
+    boundary: args.boundary,
     surfaceIntent: manifestEntry.surfaceIntent,
     domain: args.domain,
     surfaceClass: manifestEntry.surfaceClass,
@@ -6180,6 +6181,7 @@ function surfaceContract(args) {
 }
 
 // src/function-registry/contracts.ts
+var contractStatusReturns = z.array(z.record(z.unknown()));
 var contractsContracts = [
   surfaceContract({
     name: "create_epistemic_contract",
@@ -6224,7 +6226,8 @@ var contractsContracts = [
       module: "contracts",
       functionName: "getContractStatus",
       kind: "query"
-    }
+    },
+    returns: contractStatusReturns
   })
 ];
 

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

@@ -4,6 +4,7 @@ export declare const coordinationContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -49,6 +50,7 @@ export declare const coordinationContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -94,6 +96,7 @@ export declare const coordinationContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -139,6 +142,7 @@ export declare const coordinationContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -184,6 +188,7 @@ export declare const coordinationContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -229,6 +234,7 @@ export declare const coordinationContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -274,6 +280,7 @@ export declare const coordinationContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -319,6 +326,7 @@ export declare const coordinationContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -364,6 +372,7 @@ export declare const coordinationContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;

package/dist/function-registry/coordination.js

@@ -6144,6 +6144,7 @@ function surfaceContract(args) {
     idempotent: args.idempotent ?? args.kind !== "query",
     effects: resolvedEffects,
     invariants: args.invariants,
+    boundary: args.boundary,
     surfaceIntent: manifestEntry.surfaceIntent,
     domain: args.domain,
     surfaceClass: manifestEntry.surfaceClass,

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

@@ -1,10 +1,144 @@
 import { z } from "zod";
+export declare const createEdgeArgs: z.ZodEffects<z.ZodObject<{
+    from: z.ZodObject<{
+        kind: z.ZodLiteral<"epistemic_node">;
+        nodeId: z.ZodEffects<z.ZodString, string, string>;
+        nodeType: z.ZodEnum<["function" | "source" | "answer" | "decision" | "belief" | "question" | "theme" | "deal" | "topic" | "claim" | "evidence" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain" | "edge" | "contradiction" | "ontology" | "lens", ...("function" | "source" | "answer" | "decision" | "belief" | "question" | "theme" | "deal" | "topic" | "claim" | "evidence" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain" | "edge" | "contradiction" | "ontology" | "lens")[]]>;
+    }, "strip", z.ZodTypeAny, {
+        nodeType: "function" | "source" | "answer" | "decision" | "belief" | "question" | "theme" | "deal" | "topic" | "claim" | "evidence" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain" | "edge" | "contradiction" | "ontology" | "lens";
+        nodeId: string;
+        kind: "epistemic_node";
+    }, {
+        nodeType: "function" | "source" | "answer" | "decision" | "belief" | "question" | "theme" | "deal" | "topic" | "claim" | "evidence" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain" | "edge" | "contradiction" | "ontology" | "lens";
+        nodeId: string;
+        kind: "epistemic_node";
+    }>;
+    to: z.ZodObject<{
+        kind: z.ZodLiteral<"epistemic_node">;
+        nodeId: z.ZodEffects<z.ZodString, string, string>;
+        nodeType: z.ZodEnum<["function" | "source" | "answer" | "decision" | "belief" | "question" | "theme" | "deal" | "topic" | "claim" | "evidence" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain" | "edge" | "contradiction" | "ontology" | "lens", ...("function" | "source" | "answer" | "decision" | "belief" | "question" | "theme" | "deal" | "topic" | "claim" | "evidence" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain" | "edge" | "contradiction" | "ontology" | "lens")[]]>;
+    }, "strip", z.ZodTypeAny, {
+        nodeType: "function" | "source" | "answer" | "decision" | "belief" | "question" | "theme" | "deal" | "topic" | "claim" | "evidence" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain" | "edge" | "contradiction" | "ontology" | "lens";
+        nodeId: string;
+        kind: "epistemic_node";
+    }, {
+        nodeType: "function" | "source" | "answer" | "decision" | "belief" | "question" | "theme" | "deal" | "topic" | "claim" | "evidence" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain" | "edge" | "contradiction" | "ontology" | "lens";
+        nodeId: string;
+        kind: "epistemic_node";
+    }>;
+    edgeType: z.ZodEnum<[string, ...string[]]>;
+    globalId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    weight: z.ZodOptional<z.ZodNumber>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+    context: z.ZodOptional<z.ZodString>;
+    reasoning: z.ZodOptional<z.ZodString>;
+    reasoningMethod: z.ZodOptional<z.ZodEnum<[string, ...string[]]>>;
+    edgeRole: z.ZodOptional<z.ZodEnum<["migration_of"]>>;
+    derivationType: z.ZodOptional<z.ZodString>;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    topicId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    trustedBypassAccessCheck: z.ZodOptional<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    from: {
+        nodeType: "function" | "source" | "answer" | "decision" | "belief" | "question" | "theme" | "deal" | "topic" | "claim" | "evidence" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain" | "edge" | "contradiction" | "ontology" | "lens";
+        nodeId: string;
+        kind: "epistemic_node";
+    };
+    edgeType: string;
+    to: {
+        nodeType: "function" | "source" | "answer" | "decision" | "belief" | "question" | "theme" | "deal" | "topic" | "claim" | "evidence" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain" | "edge" | "contradiction" | "ontology" | "lens";
+        nodeId: string;
+        kind: "epistemic_node";
+    };
+    metadata?: Record<string, unknown> | undefined;
+    edgeRole?: "migration_of" | undefined;
+    globalId?: string | undefined;
+    topicId?: string | undefined;
+    confidence?: number | undefined;
+    context?: string | undefined;
+    weight?: number | undefined;
+    trustedBypassAccessCheck?: boolean | undefined;
+    reasoning?: string | undefined;
+    reasoningMethod?: string | undefined;
+    derivationType?: string | undefined;
+}, {
+    from: {
+        nodeType: "function" | "source" | "answer" | "decision" | "belief" | "question" | "theme" | "deal" | "topic" | "claim" | "evidence" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain" | "edge" | "contradiction" | "ontology" | "lens";
+        nodeId: string;
+        kind: "epistemic_node";
+    };
+    edgeType: string;
+    to: {
+        nodeType: "function" | "source" | "answer" | "decision" | "belief" | "question" | "theme" | "deal" | "topic" | "claim" | "evidence" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain" | "edge" | "contradiction" | "ontology" | "lens";
+        nodeId: string;
+        kind: "epistemic_node";
+    };
+    metadata?: Record<string, unknown> | undefined;
+    edgeRole?: "migration_of" | undefined;
+    globalId?: string | undefined;
+    topicId?: string | undefined;
+    confidence?: number | undefined;
+    context?: string | undefined;
+    weight?: number | undefined;
+    trustedBypassAccessCheck?: boolean | undefined;
+    reasoning?: string | undefined;
+    reasoningMethod?: string | undefined;
+    derivationType?: string | undefined;
+}>, {
+    from: {
+        nodeType: "function" | "source" | "answer" | "decision" | "belief" | "question" | "theme" | "deal" | "topic" | "claim" | "evidence" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain" | "edge" | "contradiction" | "ontology" | "lens";
+        nodeId: string;
+        kind: "epistemic_node";
+    };
+    edgeType: string;
+    to: {
+        nodeType: "function" | "source" | "answer" | "decision" | "belief" | "question" | "theme" | "deal" | "topic" | "claim" | "evidence" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain" | "edge" | "contradiction" | "ontology" | "lens";
+        nodeId: string;
+        kind: "epistemic_node";
+    };
+    metadata?: Record<string, unknown> | undefined;
+    edgeRole?: "migration_of" | undefined;
+    globalId?: string | undefined;
+    topicId?: string | undefined;
+    confidence?: number | undefined;
+    context?: string | undefined;
+    weight?: number | undefined;
+    trustedBypassAccessCheck?: boolean | undefined;
+    reasoning?: string | undefined;
+    reasoningMethod?: string | undefined;
+    derivationType?: string | undefined;
+}, {
+    from: {
+        nodeType: "function" | "source" | "answer" | "decision" | "belief" | "question" | "theme" | "deal" | "topic" | "claim" | "evidence" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain" | "edge" | "contradiction" | "ontology" | "lens";
+        nodeId: string;
+        kind: "epistemic_node";
+    };
+    edgeType: string;
+    to: {
+        nodeType: "function" | "source" | "answer" | "decision" | "belief" | "question" | "theme" | "deal" | "topic" | "claim" | "evidence" | "synthesis" | "atomic_fact" | "excerpt" | "company" | "person" | "investor" | "value_chain" | "edge" | "contradiction" | "ontology" | "lens";
+        nodeId: string;
+        kind: "epistemic_node";
+    };
+    metadata?: Record<string, unknown> | undefined;
+    edgeRole?: "migration_of" | undefined;
+    globalId?: string | undefined;
+    topicId?: string | undefined;
+    confidence?: number | undefined;
+    context?: string | undefined;
+    weight?: number | undefined;
+    trustedBypassAccessCheck?: boolean | undefined;
+    reasoning?: string | undefined;
+    reasoningMethod?: string | undefined;
+    derivationType?: string | undefined;
+}>;
+export type CreateEdgeArgs = z.infer<typeof createEdgeArgs>;
 export declare const edgesContracts: readonly [{
     name: string;
     kind: import("./types.js").FunctionKind;
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -50,6 +184,7 @@ export declare const edgesContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -95,6 +230,7 @@ export declare const edgesContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -140,6 +276,7 @@ export declare const edgesContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -185,6 +322,7 @@ export declare const edgesContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -230,6 +368,7 @@ export declare const edgesContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -275,6 +414,7 @@ export declare const edgesContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;

package/dist/function-registry/edges.js

@@ -6244,6 +6244,7 @@ function surfaceContract(args) {
     idempotent: args.idempotent ?? args.kind !== "query",
     effects: resolvedEffects,
     invariants: args.invariants,
+    boundary: args.boundary,
     surfaceIntent: manifestEntry.surfaceIntent,
     domain: args.domain,
     surfaceClass: manifestEntry.surfaceClass,
@@ -6393,7 +6394,7 @@ var edgesContracts = [
     sdkMethod: "createEdge",
     summary: "Create an epistemic edge.",
     convex: {
-      module: "edges",
+      module: "edgesMutations",
       functionName: "create",
       kind: "mutation",
       inputProjection: (input, context) => {
@@ -6430,7 +6431,10 @@ var edgesContracts = [
         );
       }
     },
-    args: createEdgeArgs
+    args: createEdgeArgs,
+    boundary: {
+      admission: ["source-span", "uuidv7-endpoints", "projection-parity"]
+    }
   }),
   surfaceContract({
     name: "update_edge",
@@ -6443,7 +6447,7 @@ var edgesContracts = [
     sdkMethod: "updateEdge",
     summary: "Update an epistemic edge.",
     convex: {
-      module: "edges",
+      module: "edgesMutations",
       functionName: "update",
       kind: "mutation",
       inputProjection: (input, context) => compactRecord({
@@ -6469,7 +6473,7 @@ var edgesContracts = [
     sdkMethod: "removeEdge",
     summary: "Remove an epistemic edge.",
     convex: {
-      module: "edges",
+      module: "edgesMutations",
       functionName: "remove",
       kind: "mutation",
       inputProjection: (input, context) => compactRecord({
@@ -6490,7 +6494,7 @@ var edgesContracts = [
     sdkMethod: "removeEdgesBetween",
     summary: "Remove epistemic edges between two nodes.",
     convex: {
-      module: "edges",
+      module: "edgesMutations",
       functionName: "removeBetween",
       kind: "mutation",
       inputProjection: (input) => {
@@ -6519,7 +6523,7 @@ var edgesContracts = [
     sdkMethod: "batchCreateEdges",
     summary: "Batch create epistemic edges.",
     convex: {
-      module: "edges",
+      module: "edgesMutations",
       functionName: "batchCreate",
       kind: "mutation",
       inputProjection: (input, context) => {
@@ -6568,7 +6572,7 @@ var edgesContracts = [
     sdkMethod: "queryLineage",
     summary: "Query graph lineage for a node.",
     convex: {
-      module: "edges",
+      module: "edgesQueries",
       functionName: "getLineage",
       kind: "query",
       inputProjection: (input) => compactRecord({
@@ -6594,7 +6598,7 @@ var edgesContracts = [
     sdkMethod: "queryAnchorHistory",
     summary: "Resolve anchor provenance history for a node.",
     convex: {
-      module: "edges",
+      module: "edgesQueries",
       functionName: "getLineage",
       kind: "query",
       inputProjection: (input) => compactRecord({
@@ -6612,4 +6616,4 @@ var edgesContracts = [
   })
 ];
 
-export { edgesContracts };
+export { createEdgeArgs, edgesContracts };

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

@@ -5,6 +5,7 @@ export declare const embeddingsContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -50,6 +51,7 @@ export declare const embeddingsContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -95,6 +97,7 @@ export declare const embeddingsContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;
@@ -140,6 +143,7 @@ export declare const embeddingsContracts: readonly [{
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly import("../dsl.js").FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: import("./types.js").SurfaceClass;

package/dist/function-registry/embeddings.js

@@ -6144,6 +6144,7 @@ function surfaceContract(args) {
     idempotent: args.idempotent ?? args.kind !== "query",
     effects: resolvedEffects,
     invariants: args.invariants,
+    boundary: args.boundary,
     surfaceIntent: manifestEntry.surfaceIntent,
     domain: args.domain,
     surfaceClass: manifestEntry.surfaceClass,