@lucern/contracts 1.0.48 → 1.0.51

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;