@lucern/contracts 1.0.50 → 1.0.51

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

@@ -1,10 +1,103 @@
 import { z } from "zod";
+export declare const createQuestionArgs: z.ZodEffects<z.ZodObject<{
+    text: z.ZodOptional<z.ZodString>;
+    questionText: z.ZodOptional<z.ZodString>;
+    question: z.ZodOptional<z.ZodString>;
+    topicId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    priority: z.ZodOptional<z.ZodEnum<["urgent", "high", "medium", "low"]>>;
+    linkedBeliefId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    linkedBeliefNodeId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    category: z.ZodOptional<z.ZodString>;
+    source: z.ZodOptional<z.ZodString>;
+    testType: z.ZodOptional<z.ZodEnum<["validates", "invalidates", "clarifies"]>>;
+    importance: z.ZodOptional<z.ZodNumber>;
+    epistemicUnlock: z.ZodOptional<z.ZodString>;
+    sourceQuestionIds: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
+    linkedWorktreeId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    questionType: z.ZodOptional<z.ZodEnum<["validation", "falsification", "assumption_probe", "prediction_test", "counterfactual", "discovery", "clarification", "comparison", "causal", "mechanism", "general"]>>;
+    questionPriority: z.ZodOptional<z.ZodEnum<["critical", "high", "medium", "low"]>>;
+}, "strip", z.ZodTypeAny, {
+    source?: string | undefined;
+    priority?: "high" | "low" | "medium" | "urgent" | undefined;
+    metadata?: Record<string, unknown> | undefined;
+    text?: string | undefined;
+    question?: string | undefined;
+    topicId?: string | undefined;
+    linkedBeliefNodeId?: string | undefined;
+    linkedWorktreeId?: string | undefined;
+    linkedBeliefId?: string | undefined;
+    questionText?: string | undefined;
+    category?: string | undefined;
+    testType?: "validates" | "invalidates" | "clarifies" | undefined;
+    importance?: number | undefined;
+    epistemicUnlock?: string | undefined;
+    sourceQuestionIds?: string[] | undefined;
+    questionType?: "validation" | "comparison" | "causal" | "general" | "discovery" | "clarification" | "falsification" | "assumption_probe" | "prediction_test" | "counterfactual" | "mechanism" | undefined;
+    questionPriority?: "high" | "low" | "medium" | "critical" | undefined;
+}, {
+    source?: string | undefined;
+    priority?: "high" | "low" | "medium" | "urgent" | undefined;
+    metadata?: Record<string, unknown> | undefined;
+    text?: string | undefined;
+    question?: string | undefined;
+    topicId?: string | undefined;
+    linkedBeliefNodeId?: string | undefined;
+    linkedWorktreeId?: string | undefined;
+    linkedBeliefId?: string | undefined;
+    questionText?: string | undefined;
+    category?: string | undefined;
+    testType?: "validates" | "invalidates" | "clarifies" | undefined;
+    importance?: number | undefined;
+    epistemicUnlock?: string | undefined;
+    sourceQuestionIds?: string[] | undefined;
+    questionType?: "validation" | "comparison" | "causal" | "general" | "discovery" | "clarification" | "falsification" | "assumption_probe" | "prediction_test" | "counterfactual" | "mechanism" | undefined;
+    questionPriority?: "high" | "low" | "medium" | "critical" | undefined;
+}>, {
+    source?: string | undefined;
+    priority?: "high" | "low" | "medium" | "urgent" | undefined;
+    metadata?: Record<string, unknown> | undefined;
+    text?: string | undefined;
+    question?: string | undefined;
+    topicId?: string | undefined;
+    linkedBeliefNodeId?: string | undefined;
+    linkedWorktreeId?: string | undefined;
+    linkedBeliefId?: string | undefined;
+    questionText?: string | undefined;
+    category?: string | undefined;
+    testType?: "validates" | "invalidates" | "clarifies" | undefined;
+    importance?: number | undefined;
+    epistemicUnlock?: string | undefined;
+    sourceQuestionIds?: string[] | undefined;
+    questionType?: "validation" | "comparison" | "causal" | "general" | "discovery" | "clarification" | "falsification" | "assumption_probe" | "prediction_test" | "counterfactual" | "mechanism" | undefined;
+    questionPriority?: "high" | "low" | "medium" | "critical" | undefined;
+}, {
+    source?: string | undefined;
+    priority?: "high" | "low" | "medium" | "urgent" | undefined;
+    metadata?: Record<string, unknown> | undefined;
+    text?: string | undefined;
+    question?: string | undefined;
+    topicId?: string | undefined;
+    linkedBeliefNodeId?: string | undefined;
+    linkedWorktreeId?: string | undefined;
+    linkedBeliefId?: string | undefined;
+    questionText?: string | undefined;
+    category?: string | undefined;
+    testType?: "validates" | "invalidates" | "clarifies" | undefined;
+    importance?: number | undefined;
+    epistemicUnlock?: string | undefined;
+    sourceQuestionIds?: string[] | undefined;
+    questionType?: "validation" | "comparison" | "causal" | "general" | "discovery" | "clarification" | "falsification" | "assumption_probe" | "prediction_test" | "counterfactual" | "mechanism" | undefined;
+    questionPriority?: "high" | "low" | "medium" | "critical" | undefined;
+}>;
+export type CreateQuestionArgs = z.infer<typeof createQuestionArgs>;
 export declare const questionsContracts: 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 +143,7 @@ export declare const questionsContracts: 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 +189,7 @@ export declare const questionsContracts: 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 +235,7 @@ export declare const questionsContracts: 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 +281,7 @@ export declare const questionsContracts: 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 +327,7 @@ export declare const questionsContracts: 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 +373,7 @@ export declare const questionsContracts: 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 +419,7 @@ export declare const questionsContracts: 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 +465,7 @@ export declare const questionsContracts: 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 +511,7 @@ export declare const questionsContracts: 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 +557,7 @@ export declare const questionsContracts: 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 +603,7 @@ export declare const questionsContracts: 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/questions.js

@@ -6153,6 +6153,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,
@@ -6306,7 +6307,7 @@ var falsificationQuestionsArgs = z.object({
 });
 var questionNodeInput = (input) => compactRecord({
   nodeId: input.nodeId ?? input.id ?? input.questionId,
-  questionId: input.questionId
+  questionId: input.questionId ?? input.id ?? input.nodeId
 });
 var questionTopicInput = (input) => compactRecord({
   topicId: input.topicId,
@@ -6356,7 +6357,10 @@ var questionsContracts = [
       kind: "mutation",
       inputProjection: createQuestionInput
     },
-    args: createQuestionArgs
+    args: createQuestionArgs,
+    boundary: {
+      admission: ["source-span", "uuidv7-endpoints"]
+    }
   }),
   surfaceContract({
     name: "get_question",
@@ -6430,7 +6434,7 @@ var questionsContracts = [
       inputProjection: (input, context) => withUserId(
         compactRecord({
           questionId: input.questionId ?? input.id,
-          nodeId: input.nodeId,
+          nodeId: input.nodeId ?? input.id ?? input.questionId,
           status: input.status,
           answer: input.answer,
           answerStatus: input.answerStatus
@@ -6570,7 +6574,8 @@ var questionsContracts = [
         ...questionTopicInput(input),
         status: input.includeAnswered === true ? void 0 : "open"
       })
-    }
+    },
+    args: missingQuestionsArgs.extend({ includeAnswered: z.boolean().optional() }).omit({ status: true })
   }),
   surfaceContract({
     name: "get_falsification_questions",
@@ -6591,4 +6596,4 @@ var questionsContracts = [
   })
 ];
 
-export { questionsContracts };
+export { createQuestionArgs, questionsContracts };

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

@@ -1,10 +1,93 @@
 import { z } from "zod";
+export declare const createTaskArgs: z.ZodObject<{
+    title: z.ZodString;
+    topicId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    description: z.ZodOptional<z.ZodString>;
+    taskType: z.ZodOptional<z.ZodEnum<["general", "find_evidence", "verify_claim", "research", "review", "interview", "analysis", "track_metrics"]>>;
+    priority: z.ZodOptional<z.ZodEnum<["urgent", "high", "medium", "low"]>>;
+    status: z.ZodOptional<z.ZodEnum<["todo", "in_progress", "blocked", "done"]>>;
+    linkedWorktreeId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    linkedBeliefId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    linkedQuestionId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    assigneeId: z.ZodOptional<z.ZodString>;
+    dueDate: z.ZodOptional<z.ZodNumber>;
+    tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, "strip", z.ZodTypeAny, {
+    title: string;
+    priority?: "high" | "low" | "medium" | "urgent" | undefined;
+    metadata?: Record<string, unknown> | undefined;
+    description?: string | undefined;
+    status?: "done" | "blocked" | "todo" | "in_progress" | undefined;
+    topicId?: string | undefined;
+    tags?: string[] | undefined;
+    taskType?: "analysis" | "general" | "find_evidence" | "verify_claim" | "research" | "review" | "interview" | "track_metrics" | undefined;
+    linkedWorktreeId?: string | undefined;
+    linkedBeliefId?: string | undefined;
+    linkedQuestionId?: string | undefined;
+    assigneeId?: string | undefined;
+    dueDate?: number | undefined;
+}, {
+    title: string;
+    priority?: "high" | "low" | "medium" | "urgent" | undefined;
+    metadata?: Record<string, unknown> | undefined;
+    description?: string | undefined;
+    status?: "done" | "blocked" | "todo" | "in_progress" | undefined;
+    topicId?: string | undefined;
+    tags?: string[] | undefined;
+    taskType?: "analysis" | "general" | "find_evidence" | "verify_claim" | "research" | "review" | "interview" | "track_metrics" | undefined;
+    linkedWorktreeId?: string | undefined;
+    linkedBeliefId?: string | undefined;
+    linkedQuestionId?: string | undefined;
+    assigneeId?: string | undefined;
+    dueDate?: number | undefined;
+}>;
+export type CreateTaskArgs = z.infer<typeof createTaskArgs>;
+export declare const updateTaskArgs: z.ZodObject<{
+    taskId: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    priority: z.ZodOptional<z.ZodEnum<["urgent", "high", "medium", "low"]>>;
+    status: z.ZodOptional<z.ZodEnum<["todo", "in_progress", "blocked", "done"]>>;
+    linkedWorktreeId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    linkedBeliefId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    linkedQuestionId: z.ZodOptional<z.ZodEffects<z.ZodString, string, string>>;
+    assigneeId: z.ZodOptional<z.ZodString>;
+    blockedReason: z.ZodOptional<z.ZodString>;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, "strip", z.ZodTypeAny, {
+    taskId: string;
+    priority?: "high" | "low" | "medium" | "urgent" | undefined;
+    title?: string | undefined;
+    metadata?: Record<string, unknown> | undefined;
+    description?: string | undefined;
+    status?: "done" | "blocked" | "todo" | "in_progress" | undefined;
+    linkedWorktreeId?: string | undefined;
+    linkedBeliefId?: string | undefined;
+    linkedQuestionId?: string | undefined;
+    assigneeId?: string | undefined;
+    blockedReason?: string | undefined;
+}, {
+    taskId: string;
+    priority?: "high" | "low" | "medium" | "urgent" | undefined;
+    title?: string | undefined;
+    metadata?: Record<string, unknown> | undefined;
+    description?: string | undefined;
+    status?: "done" | "blocked" | "todo" | "in_progress" | undefined;
+    linkedWorktreeId?: string | undefined;
+    linkedBeliefId?: string | undefined;
+    linkedQuestionId?: string | undefined;
+    assigneeId?: string | undefined;
+    blockedReason?: string | undefined;
+}>;
+export type UpdateTaskArgs = z.infer<typeof updateTaskArgs>;
 export declare const tasksContracts: 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 +133,7 @@ export declare const tasksContracts: 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 +179,7 @@ export declare const tasksContracts: 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 +225,7 @@ export declare const tasksContracts: 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/tasks.js

@@ -6194,6 +6194,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,
@@ -6387,4 +6388,4 @@ var tasksContracts = [
   })
 ];
 
-export { tasksContracts };
+export { createTaskArgs, tasksContracts, updateTaskArgs };

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

@@ -5,6 +5,7 @@ export declare const topicsContracts: 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 topicsContracts: 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 topicsContracts: 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 topicsContracts: 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 topicsContracts: 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 topicsContracts: 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 topicsContracts: 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/topics.js

@@ -6161,6 +6161,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,
@@ -6210,6 +6211,8 @@ var topicVisibilitySchema = z.enum([
   "public"
 ]);
 var topicStatusSchema = z.enum(["active", "archived", "watching"]);
+var topicListReturns = z.array(z.record(z.unknown()));
+var topicTreeReturns = z.union([topicListReturns, z.null()]);
 var topicTypeSchema = z.enum(TOPIC_TYPE_VALUES);
 var createTopicArgs = z.object({
   globalId: uuidV7StringSchema.optional().describe(
@@ -6338,7 +6341,8 @@ var topicsContracts = [
       kind: "query",
       inputProjection: listTopicsInput
     },
-    args: listTopicsArgs
+    args: listTopicsArgs,
+    returns: topicListReturns
   }),
   surfaceContract({
     name: "update_topic",
@@ -6374,7 +6378,8 @@ var topicsContracts = [
       kind: "query",
       inputProjection: topicTreeInput
     },
-    args: getTopicTreeArgs
+    args: getTopicTreeArgs,
+    returns: topicTreeReturns
   }),
   surfaceContract({
     name: "materialize_topic_graph",

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

@@ -42,6 +42,45 @@ export type FunctionMcpContract = McpToolContract & {
     exposed: boolean;
     toolName: string;
 };
+/**
+ * The kinds of graph node a public identity can reference. Canonical home for
+ * the set the boundary's `UuidV7`/`GraphIdentity` brand and the resolver share.
+ */
+export type GraphIdentityKind = "topic" | "node" | "belief" | "question" | "evidence" | "edge" | "worktree" | "task" | "contradiction" | "ontology";
+/** How a graph identity reference is resolved at the boundary. */
+export type GraphIdentityResolveMode = "public-runtime" | "internal-migration";
+/** One graph-identity argument the boundary must brand + resolve. */
+export interface IdentityRefSpec {
+    array?: boolean;
+    kind: GraphIdentityKind;
+    /** Defaults to "public-runtime" (UUIDv7 globalId only; legacy _id forbidden). */
+    mode?: GraphIdentityResolveMode;
+    optional?: boolean;
+    /** Dot-path to the field in the contract args (e.g. "worktreeId", "beliefRelations.beliefId"). */
+    path: string;
+}
+export type ScopeRuleKey = "topic-required" | "worktree" | "task" | "global";
+export interface ScopeSpec {
+    path?: string;
+    rule: ScopeRuleKey;
+}
+export type AdmissionRuleKey = "signed-evidence" | "no-floating-evidence" | "source-span" | "ontology-release" | "projection-parity" | "uuidv7-endpoints";
+export type ReceiptRuleKey = "operator-v1" | "retrieval" | "write";
+export interface ReceiptSpec {
+    rule: ReceiptRuleKey;
+}
+/**
+ * Declarative boundary semantics for a contract. The canonical Effect boundary
+ * codec (`@lucern/boundary`) reads this to compose identity → scope → admission
+ * → receipt refinements on top of the contract's Zod. This is the manifest
+ * self-describing its boundary; refinements are never hand-wired per surface.
+ */
+export interface BoundarySpec {
+    admission?: readonly AdmissionRuleKey[];
+    identity?: readonly IdentityRefSpec[];
+    receipts?: readonly ReceiptSpec[];
+    scope?: readonly ScopeSpec[];
+}
 export interface FunctionContract {
     args: z.ZodTypeAny;
     auth: {
@@ -67,6 +106,13 @@ export interface FunctionContract {
             grantCore: "checkProjectAccessDetailed";
         };
     };
+    /**
+     * Declarative boundary semantics consumed by the canonical Effect boundary
+     * (`@lucern/boundary`). Optional during migration; the
+     * `all-contracts-have-boundary-codec` gate requires every graph-writing
+     * contract to populate it before the legacy facet decoders are deleted.
+     */
+    boundary?: BoundarySpec;
     cli?: {
         subcommand: string;
         description: string;