@lucern/contracts 1.0.48 → 1.0.51

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

@@ -1,10 +1,253 @@
 import { z } from "zod";
+export declare const createEvidenceArgs: z.ZodObject<{
+    topicId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    text: z.ZodString;
+    source: z.ZodOptional<z.ZodString>;
+    sourceUrl: z.ZodOptional<z.ZodString>;
+    externalSourceUrl: z.ZodOptional<z.ZodString>;
+    targetId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    linkedBeliefNodeId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    evidenceRelation: z.ZodOptional<z.ZodEnum<["supports", "contradicts"]>>;
+    beliefRelations: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        beliefId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+        beliefNodeId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+        targetId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+        relation: z.ZodOptional<z.ZodEnum<["supports", "contradicts", "supporting", "contradicting"]>>;
+        evidenceRelation: z.ZodOptional<z.ZodEnum<["supports", "contradicts"]>>;
+        confidence: z.ZodOptional<z.ZodNumber>;
+        weight: z.ZodEffects<z.ZodNumber, number, number>;
+        rationale: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        weight: number;
+        beliefId?: string | undefined;
+        beliefNodeId?: string | undefined;
+        targetId?: string | undefined;
+        evidenceRelation?: "supports" | "contradicts" | undefined;
+        confidence?: number | undefined;
+        rationale?: string | undefined;
+        relation?: "supports" | "contradicts" | "contradicting" | "supporting" | undefined;
+    }, {
+        weight: number;
+        beliefId?: string | undefined;
+        beliefNodeId?: string | undefined;
+        targetId?: string | undefined;
+        evidenceRelation?: "supports" | "contradicts" | undefined;
+        confidence?: number | undefined;
+        rationale?: string | undefined;
+        relation?: "supports" | "contradicts" | "contradicting" | "supporting" | undefined;
+    }>, "many">>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+    weight: z.ZodEffects<z.ZodNumber, number, number>;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    rationale: z.ZodString;
+    reasoning: z.ZodOptional<z.ZodString>;
+    title: z.ZodOptional<z.ZodString>;
+    content: z.ZodOptional<z.ZodString>;
+    contentType: z.ZodOptional<z.ZodString>;
+    kind: z.ZodOptional<z.ZodString>;
+    tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    sourceType: z.ZodOptional<z.ZodString>;
+    externalSourceType: z.ZodOptional<z.ZodString>;
+    sourceQuestionId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    methodology: z.ZodOptional<z.ZodEnum<["primary_research", "expert_interview", "customer_interview", "field_observation", "proprietary_data", "desk_research", "regulatory_filing", "news_article", "academic_paper", "ai_synthesis", "ai_extraction"]>>;
+    informationAsymmetry: z.ZodOptional<z.ZodEnum<["proprietary", "early", "common"]>>;
+    sourceQuality: z.ZodOptional<z.ZodEnum<["primary", "analyzed", "secondary", "tertiary", "unknown"]>>;
+    sourceDescription: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    text: string;
+    weight: number;
+    rationale: string;
+    source?: string | undefined;
+    content?: string | undefined;
+    title?: string | undefined;
+    metadata?: Record<string, unknown> | undefined;
+    sourceType?: string | undefined;
+    topicId?: string | undefined;
+    targetId?: string | undefined;
+    evidenceRelation?: "supports" | "contradicts" | undefined;
+    methodology?: "proprietary_data" | "primary_research" | "expert_interview" | "customer_interview" | "field_observation" | "desk_research" | "regulatory_filing" | "news_article" | "academic_paper" | "ai_synthesis" | "ai_extraction" | undefined;
+    informationAsymmetry?: "proprietary" | "early" | "common" | undefined;
+    sourceQuality?: "unknown" | "primary" | "analyzed" | "secondary" | "tertiary" | undefined;
+    confidence?: number | undefined;
+    sourceUrl?: string | undefined;
+    kind?: string | undefined;
+    contentType?: string | undefined;
+    sourceQuestionId?: string | undefined;
+    sourceDescription?: string | undefined;
+    externalSourceType?: string | undefined;
+    tags?: string[] | undefined;
+    reasoning?: string | undefined;
+    beliefRelations?: {
+        weight: number;
+        beliefId?: string | undefined;
+        beliefNodeId?: string | undefined;
+        targetId?: string | undefined;
+        evidenceRelation?: "supports" | "contradicts" | undefined;
+        confidence?: number | undefined;
+        rationale?: string | undefined;
+        relation?: "supports" | "contradicts" | "contradicting" | "supporting" | undefined;
+    }[] | undefined;
+    linkedBeliefNodeId?: string | undefined;
+    externalSourceUrl?: string | undefined;
+}, {
+    text: string;
+    weight: number;
+    rationale: string;
+    source?: string | undefined;
+    content?: string | undefined;
+    title?: string | undefined;
+    metadata?: Record<string, unknown> | undefined;
+    sourceType?: string | undefined;
+    topicId?: string | undefined;
+    targetId?: string | undefined;
+    evidenceRelation?: "supports" | "contradicts" | undefined;
+    methodology?: "proprietary_data" | "primary_research" | "expert_interview" | "customer_interview" | "field_observation" | "desk_research" | "regulatory_filing" | "news_article" | "academic_paper" | "ai_synthesis" | "ai_extraction" | undefined;
+    informationAsymmetry?: "proprietary" | "early" | "common" | undefined;
+    sourceQuality?: "unknown" | "primary" | "analyzed" | "secondary" | "tertiary" | undefined;
+    confidence?: number | undefined;
+    sourceUrl?: string | undefined;
+    kind?: string | undefined;
+    contentType?: string | undefined;
+    sourceQuestionId?: string | undefined;
+    sourceDescription?: string | undefined;
+    externalSourceType?: string | undefined;
+    tags?: string[] | undefined;
+    reasoning?: string | undefined;
+    beliefRelations?: {
+        weight: number;
+        beliefId?: string | undefined;
+        beliefNodeId?: string | undefined;
+        targetId?: string | undefined;
+        evidenceRelation?: "supports" | "contradicts" | undefined;
+        confidence?: number | undefined;
+        rationale?: string | undefined;
+        relation?: "supports" | "contradicts" | "contradicting" | "supporting" | undefined;
+    }[] | undefined;
+    linkedBeliefNodeId?: string | undefined;
+    externalSourceUrl?: string | undefined;
+}>;
+export type CreateEvidenceArgs = z.infer<typeof createEvidenceArgs>;
+export declare const linkEvidenceToBeliefArgs: z.ZodEffects<z.ZodEffects<z.ZodObject<{
+    evidenceId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    evidenceNodeId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    insightId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    beliefId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    beliefNodeId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    targetId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    relation: z.ZodOptional<z.ZodEnum<["supports", "contradicts", "supporting", "contradicting"]>>;
+    evidenceRelation: z.ZodOptional<z.ZodEnum<["supports", "contradicts"]>>;
+    type: z.ZodOptional<z.ZodEnum<["supporting", "contradicting"]>>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+    weight: z.ZodEffects<z.ZodNumber, number, number>;
+    rationale: z.ZodOptional<z.ZodString>;
+    context: z.ZodOptional<z.ZodString>;
+    topicId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    trustedBypassAccessCheck: z.ZodOptional<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    weight: number;
+    type?: "contradicting" | "supporting" | undefined;
+    topicId?: string | undefined;
+    beliefId?: string | undefined;
+    beliefNodeId?: string | undefined;
+    evidenceId?: string | undefined;
+    evidenceNodeId?: string | undefined;
+    targetId?: string | undefined;
+    evidenceRelation?: "supports" | "contradicts" | undefined;
+    confidence?: number | undefined;
+    context?: string | undefined;
+    rationale?: string | undefined;
+    trustedBypassAccessCheck?: boolean | undefined;
+    insightId?: string | undefined;
+    relation?: "supports" | "contradicts" | "contradicting" | "supporting" | undefined;
+}, {
+    weight: number;
+    type?: "contradicting" | "supporting" | undefined;
+    topicId?: string | undefined;
+    beliefId?: string | undefined;
+    beliefNodeId?: string | undefined;
+    evidenceId?: string | undefined;
+    evidenceNodeId?: string | undefined;
+    targetId?: string | undefined;
+    evidenceRelation?: "supports" | "contradicts" | undefined;
+    confidence?: number | undefined;
+    context?: string | undefined;
+    rationale?: string | undefined;
+    trustedBypassAccessCheck?: boolean | undefined;
+    insightId?: string | undefined;
+    relation?: "supports" | "contradicts" | "contradicting" | "supporting" | undefined;
+}>, {
+    weight: number;
+    type?: "contradicting" | "supporting" | undefined;
+    topicId?: string | undefined;
+    beliefId?: string | undefined;
+    beliefNodeId?: string | undefined;
+    evidenceId?: string | undefined;
+    evidenceNodeId?: string | undefined;
+    targetId?: string | undefined;
+    evidenceRelation?: "supports" | "contradicts" | undefined;
+    confidence?: number | undefined;
+    context?: string | undefined;
+    rationale?: string | undefined;
+    trustedBypassAccessCheck?: boolean | undefined;
+    insightId?: string | undefined;
+    relation?: "supports" | "contradicts" | "contradicting" | "supporting" | undefined;
+}, {
+    weight: number;
+    type?: "contradicting" | "supporting" | undefined;
+    topicId?: string | undefined;
+    beliefId?: string | undefined;
+    beliefNodeId?: string | undefined;
+    evidenceId?: string | undefined;
+    evidenceNodeId?: string | undefined;
+    targetId?: string | undefined;
+    evidenceRelation?: "supports" | "contradicts" | undefined;
+    confidence?: number | undefined;
+    context?: string | undefined;
+    rationale?: string | undefined;
+    trustedBypassAccessCheck?: boolean | undefined;
+    insightId?: string | undefined;
+    relation?: "supports" | "contradicts" | "contradicting" | "supporting" | undefined;
+}>, {
+    weight: number;
+    type?: "contradicting" | "supporting" | undefined;
+    topicId?: string | undefined;
+    beliefId?: string | undefined;
+    beliefNodeId?: string | undefined;
+    evidenceId?: string | undefined;
+    evidenceNodeId?: string | undefined;
+    targetId?: string | undefined;
+    evidenceRelation?: "supports" | "contradicts" | undefined;
+    confidence?: number | undefined;
+    context?: string | undefined;
+    rationale?: string | undefined;
+    trustedBypassAccessCheck?: boolean | undefined;
+    insightId?: string | undefined;
+    relation?: "supports" | "contradicts" | "contradicting" | "supporting" | undefined;
+}, {
+    weight: number;
+    type?: "contradicting" | "supporting" | undefined;
+    topicId?: string | undefined;
+    beliefId?: string | undefined;
+    beliefNodeId?: string | undefined;
+    evidenceId?: string | undefined;
+    evidenceNodeId?: string | undefined;
+    targetId?: string | undefined;
+    evidenceRelation?: "supports" | "contradicts" | undefined;
+    confidence?: number | undefined;
+    context?: string | undefined;
+    rationale?: string | undefined;
+    trustedBypassAccessCheck?: boolean | undefined;
+    insightId?: string | undefined;
+    relation?: "supports" | "contradicts" | "contradicting" | "supporting" | undefined;
+}>;
+export type LinkEvidenceToBeliefArgs = z.infer<typeof linkEvidenceToBeliefArgs>;
 export declare const evidenceContracts: 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 +293,7 @@ export declare const evidenceContracts: 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 +339,7 @@ export declare const evidenceContracts: 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 +385,7 @@ export declare const evidenceContracts: 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 +431,7 @@ export declare const evidenceContracts: 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 +477,7 @@ export declare const evidenceContracts: 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 +523,7 @@ export declare const evidenceContracts: 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 +569,7 @@ export declare const evidenceContracts: 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 +615,7 @@ export declare const evidenceContracts: 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/evidence.js

@@ -12664,6 +12664,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,
@@ -12823,6 +12824,80 @@ var addEvidenceArgs = z.object({
   contentType: z.string().optional().describe("Content format or MIME hint."),
   metadata: jsonRecordSchema2.optional().describe("Optional metadata merged into the evidence node.")
 });
+var linkEvidenceToBeliefArgs = z.object({
+  evidenceId: uuidV7StringSchema2.optional().describe("Evidence node ID."),
+  evidenceNodeId: uuidV7StringSchema2.optional().describe("Evidence node ID alias."),
+  insightId: uuidV7StringSchema2.optional().describe("Legacy evidence node ID alias."),
+  beliefId: uuidV7StringSchema2.optional().describe("Belief node ID."),
+  beliefNodeId: uuidV7StringSchema2.optional().describe("Belief node ID alias."),
+  targetId: uuidV7StringSchema2.optional().describe("Belief target ID alias."),
+  relation: z.enum(["supports", "contradicts", "supporting", "contradicting"]).optional().describe("Relation alias for how the evidence bears on the belief."),
+  evidenceRelation: evidenceRelationSchema2.optional().describe("Canonical relation: supports or contradicts."),
+  type: z.enum(["supporting", "contradicting"]).optional().describe("Kernel edge relation alias derived from the weight sign."),
+  confidence: z.number().optional().describe(
+    "Deprecated read-only hint. Runtime SL confidence is derived from signed weight."
+  ),
+  weight: z.number().min(-1).max(1).refine((value) => value !== 0, {
+    message: "Evidence impact weight must be nonzero."
+  }).describe(
+    "Required signed impact score from -1.0 to +1.0 for this belief."
+  ),
+  rationale: z.string().optional().describe("Why this relation exists."),
+  context: z.string().optional().describe("Relation context alias."),
+  topicId: uuidV7StringSchema2.optional().describe("Topic scope hint."),
+  trustedBypassAccessCheck: z.boolean().optional()
+}).superRefine((input, ctx) => {
+  if (input.evidenceId || input.evidenceNodeId || input.insightId) {
+    return;
+  }
+  ctx.addIssue({
+    code: z.ZodIssueCode.custom,
+    message: "Provide evidenceId, evidenceNodeId, or insightId.",
+    path: ["evidenceId"]
+  });
+}).superRefine((input, ctx) => {
+  if (input.beliefId || input.beliefNodeId || input.targetId) {
+    return;
+  }
+  ctx.addIssue({
+    code: z.ZodIssueCode.custom,
+    message: "Provide beliefId, beliefNodeId, or targetId.",
+    path: ["beliefId"]
+  });
+});
+var linkEvidenceToQuestionArgs = z.object({
+  evidenceId: uuidV7StringSchema2.optional().describe("Evidence node ID."),
+  evidenceNodeId: uuidV7StringSchema2.optional().describe("Evidence node ID alias."),
+  insightId: uuidV7StringSchema2.optional().describe("Legacy evidence node ID alias."),
+  questionId: uuidV7StringSchema2.optional().describe("Question node ID."),
+  questionNodeId: uuidV7StringSchema2.optional().describe("Question node ID alias."),
+  targetId: uuidV7StringSchema2.optional().describe("Question target ID alias."),
+  relevance: z.number().min(0).max(1).optional().describe("Positive relevance score for question-level evidence."),
+  impactScore: z.number().min(0).max(1).optional().describe("Relevance alias accepted by older callers."),
+  weight: z.number().min(0).max(1).optional().describe("Relevance alias accepted by edge callers."),
+  rationale: z.string().optional().describe("Why this relation exists."),
+  context: z.string().optional().describe("Relation context alias."),
+  topicId: uuidV7StringSchema2.optional().describe("Topic scope hint."),
+  trustedBypassAccessCheck: z.boolean().optional()
+}).superRefine((input, ctx) => {
+  if (input.evidenceId || input.evidenceNodeId || input.insightId) {
+    return;
+  }
+  ctx.addIssue({
+    code: z.ZodIssueCode.custom,
+    message: "Provide evidenceId, evidenceNodeId, or insightId.",
+    path: ["evidenceId"]
+  });
+}).superRefine((input, ctx) => {
+  if (input.questionId || input.questionNodeId || input.targetId) {
+    return;
+  }
+  ctx.addIssue({
+    code: z.ZodIssueCode.custom,
+    message: "Provide questionId, questionNodeId, or targetId.",
+    path: ["questionId"]
+  });
+});
 var createEvidenceInput = (input, context) => {
   const parsed = createEvidenceProjection.inputSchema.safeParse(input);
   if (!parsed.success) {
@@ -12888,7 +12963,7 @@ var linkEvidenceToQuestionEdgeInput = (input, context) => withCreatedBy(
     toNodeId: input.questionId ?? input.questionNodeId ?? input.targetId,
     edgeType: "responds_to",
     globalId: typeof input.globalId === "string" ? input.globalId : generateUuidV7(),
-    weight: input.impactScore ?? input.weight,
+    weight: input.relevance ?? input.impactScore ?? input.weight,
     context: input.rationale ?? input.context,
     // RR.3: responds_to (evidence L2 -> question L3) is a registered layer
     // rule; enforcement now happens at the kernel write-gateway chokepoint.
@@ -12908,12 +12983,20 @@ var evidenceContracts = [
     sdkMethod: "createEvidence",
     summary: "Create evidence.",
     convex: {
-      module: "evidenceCreate",
+      module: "evidence",
       functionName: "create",
       kind: "mutation",
       inputProjection: createEvidenceInput
     },
-    args: createEvidenceArgs
+    args: createEvidenceArgs,
+    boundary: {
+      admission: [
+        "no-floating-evidence",
+        "signed-evidence",
+        "source-span",
+        "uuidv7-endpoints"
+      ]
+    }
   }),
   surfaceContract({
     name: "add_evidence",
@@ -12926,7 +13009,7 @@ var evidenceContracts = [
     sdkMethod: "addEvidence",
     summary: "Legacy evidence creation alias that writes through create_evidence.",
     convex: {
-      module: "evidenceCreate",
+      module: "evidence",
       functionName: "create",
       kind: "mutation",
       inputProjection: (input, context) => {
@@ -13026,10 +13109,14 @@ var evidenceContracts = [
     sdkMethod: "linkEvidenceToBelief",
     summary: "Link evidence to a belief.",
     convex: {
-      module: "beliefs",
+      module: "beliefsRelationships",
       functionName: "linkEvidence",
       kind: "mutation",
       inputProjection: linkEvidenceToBeliefInput
+    },
+    args: linkEvidenceToBeliefArgs,
+    boundary: {
+      admission: ["signed-evidence", "uuidv7-endpoints"]
     }
   }),
   surfaceContract({
@@ -13042,11 +13129,12 @@ var evidenceContracts = [
     sdkMethod: "linkEvidenceToQuestion",
     summary: "Link evidence to a question.",
     convex: {
-      module: "edges",
+      module: "edgesMutations",
       functionName: "create",
       kind: "mutation",
       inputProjection: linkEvidenceToQuestionEdgeInput
-    }
+    },
+    args: linkEvidenceToQuestionArgs
   }),
   surfaceContract({
     name: "link_evidence",
@@ -13058,12 +13146,13 @@ var evidenceContracts = [
     sdkMethod: "linkEvidence",
     summary: "Link evidence to a target node.",
     convex: {
-      module: "edges",
+      module: "edgesMutations",
       functionName: "create",
       kind: "mutation",
       inputProjection: linkEvidenceToBeliefEdgeInput
-    }
+    },
+    args: linkEvidenceToBeliefArgs
   })
 ];
 
-export { evidenceContracts };
+export { createEvidenceArgs, evidenceContracts, linkEvidenceToBeliefArgs };

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

@@ -5,6 +5,7 @@ export declare const graphContracts: 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 graphContracts: 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 graphContracts: 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 graphContracts: 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 graphContracts: 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 graphContracts: 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 graphContracts: 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 graphContracts: 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 graphContracts: 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;
@@ -410,6 +419,7 @@ export declare const graphContracts: 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;
@@ -455,6 +465,7 @@ export declare const graphContracts: 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;
@@ -500,6 +511,7 @@ export declare const graphContracts: 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;
@@ -545,6 +557,7 @@ export declare const graphContracts: 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;
@@ -590,6 +603,7 @@ export declare const graphContracts: 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;
@@ -635,6 +649,7 @@ export declare const graphContracts: 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/graph.js

@@ -6226,6 +6226,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,
@@ -6465,7 +6466,7 @@ var graphContracts = [
     sdkMethod: "traverseGraph",
     summary: "Traverse graph lineage from a node.",
     convex: {
-      module: "edges",
+      module: "edgesQueries",
       functionName: "getLineage",
       kind: "query",
       inputProjection: lineageInput
@@ -6482,7 +6483,7 @@ var graphContracts = [
     sdkMethod: "getGraphNeighborhood",
     summary: "Read graph neighborhood edges for roots or a topic.",
     convex: {
-      module: "edges",
+      module: "edgesQueries",
       functionName: "getByTopic",
       kind: "query",
       inputProjection: topicEdgesInput
@@ -6650,7 +6651,7 @@ var graphContracts = [
     sdkMethod: "discoverEntityConnections",
     summary: "Discover graph connections for an entity.",
     convex: {
-      module: "edges",
+      module: "edgesQueries",
       functionName: "getLineage",
       kind: "query",
       inputProjection: lineageInput
@@ -6682,7 +6683,7 @@ var graphContracts = [
     sdkMethod: "traceEntityImpact",
     summary: "Trace graph impact for an entity.",
     convex: {
-      module: "edges",
+      module: "edgesQueries",
       functionName: "getLineage",
       kind: "query",
       inputProjection: lineageInput

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

@@ -61,12 +61,14 @@ export declare function surfaceContract(args: {
     output?: z.ZodTypeAny;
     effects?: readonly FunctionEffect[];
     invariants?: readonly string[];
+    boundary?: FunctionContract["boundary"];
 }): {
     name: string;
     kind: import("./types.js").FunctionKind;
     idempotent: import("./types.js").FunctionIdempotency;
     effects: readonly FunctionEffect[];
     invariants: readonly string[] | undefined;
+    boundary: import("./types.js").BoundarySpec | undefined;
     surfaceIntent: import("./types.js").FunctionSurfaceIntent;
     domain: string;
     surfaceClass: SurfaceClass;