@lucern/contracts 0.3.0-alpha.10 → 0.3.0-alpha.12

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

@@ -83,6 +83,9 @@ type FunctionConvexTarget = {
     inputProjection?: ContractInputProjection;
     outputProjection?: ContractOutputProjection;
 };
+type FunctionGatewayTarget = {
+    handler: "tasks.create" | "tasks.list" | "tasks.update" | "tasks.complete";
+};
 
 declare const tasksContracts: readonly [{
     name: string;
@@ -115,6 +118,7 @@ declare const tasksContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
+    gateway: FunctionGatewayTarget | undefined;
     args: z.ZodTypeAny;
     returns: z.ZodTypeAny;
     input: z.ZodTypeAny;
@@ -154,6 +158,7 @@ declare const tasksContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
+    gateway: FunctionGatewayTarget | undefined;
     args: z.ZodTypeAny;
     returns: z.ZodTypeAny;
     input: z.ZodTypeAny;
@@ -193,6 +198,7 @@ declare const tasksContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
+    gateway: FunctionGatewayTarget | undefined;
     args: z.ZodTypeAny;
     returns: z.ZodTypeAny;
     input: z.ZodTypeAny;
@@ -232,6 +238,7 @@ declare const tasksContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
+    gateway: FunctionGatewayTarget | undefined;
     args: z.ZodTypeAny;
     returns: z.ZodTypeAny;
     input: z.ZodTypeAny;

package/dist/function-registry/tasks.js

@@ -3,6 +3,20 @@ import { v } from 'convex/values';
 
 // src/function-registry/helpers.ts
 
+// src/types/reasoning-method.ts
+var REASONING_METHODS = [
+  "deductive",
+  "inductive",
+  "abductive",
+  "analogical",
+  "causal",
+  "correlational",
+  "testimonial",
+  "statistical",
+  "implicit",
+  "pattern_match"
+];
+
 // src/lens-workflow.contract.ts
 var LENS_PERSPECTIVE_TYPES = [
   "investigation",
@@ -860,7 +874,7 @@ var CREATE_EDGE = {
     reasoningMethod: {
       type: "string",
       description: "How this was determined",
-      enum: ["deductive", "inductive", "abductive", "analogical", "empirical"]
+      enum: [...REASONING_METHODS]
     },
     metadata: {
       type: "object",
@@ -2587,6 +2601,10 @@ var CREATE_TASK = {
     tags: {
       type: "array",
       description: "Free-form string tags"
+    },
+    metadata: {
+      type: "object",
+      description: "Structured task metadata for handoff context and routing hints"
     }
   },
   required: ["title"],
@@ -2660,6 +2678,10 @@ var UPDATE_TASK = {
       type: "string",
       description: "Updated status",
       enum: ["todo", "in_progress", "blocked", "done"]
+    },
+    metadata: {
+      type: "object",
+      description: "Structured task metadata to replace or refine"
     }
   },
   required: ["taskId"],
@@ -4115,6 +4137,9 @@ var BEGIN_BUILD_SESSION = {
       sessionMode: "string \u2014 async | interactive",
       targetBeliefIds: "array \u2014 scoped belief IDs",
       targetQuestionIds: "array \u2014 scoped question IDs",
+      taskIds: "array \u2014 assigned task IDs for this worktree",
+      incompleteTaskIds: "array \u2014 assigned task IDs that still require done/deferred/blocked proof",
+      tasks: "array \u2014 assigned task packet with id, title, status, priority, links, and summaries",
       topBeliefs: "array \u2014 highest-confidence scoped beliefs",
       openQuestions: "array \u2014 open scoped questions",
       resolvedDecisions: "array \u2014 answered questions summarized for the session",
@@ -4619,6 +4644,13 @@ var LUCERN_OPERATION_MANIFEST = {
     "Lucern MCP-only platform operation for local agent/bootstrap or verification workflows. Hidden from public discovery."
   )
 };
+z.enum(["decision", "belief", "question", "theme", "deal", "topic", "claim", "evidence", "synthesis", "answer", "atomic_fact", "excerpt", "source", "company", "person", "investor", "function", "value_chain"]);
+var EDGE_TYPE_VALUES = ["supports", "informs", "depends_on", "derived_from", "contains", "tests", "supersedes", "responds_to", "belongs_to", "relates_to_thesis", "works_at", "invested_in", "competes_with", "participates_in", "founded_by", "evaluates", "performs", "function_in", "impacts", "raised_from", "mentioned_in", "perspective_on", "plays_theme", "answers", "explores", "qualifies", "based_on", "based_on_belief", "based_on_question", "blocked_by_contradiction", "informed_by_theme", "same_as", "reinforces", "parent_of", "child_of", "falsified_by", "exclusive_with", "collapses_if", "cascade_from", "counterfactual_of", "cascade_to", "mutually_exclusive", "correlates_with", "amplifies", "precondition_for", "in_tension_with", "strengthened_by", "weakened_by", "alternative_to", "subsumes", "validated_by", "required_for", "blocks", "prerequisite_for", "parallel_to", "corroborates", "extends", "same_source_as", "same_theme_as", "assumes", "would_predict", "analogous_to", "independent_of", "implements", "violates", "co_changes_with", "migrating_from", "migrating_to", "scoped_by", "about_entity", "entity_referenced_in", "contradicts", "cites", "summarizes", "related_to", "partially_answers", "refines", "branches_from"];
+var STORAGE_EDGE_TYPE_VALUES = [...EDGE_TYPE_VALUES, "extracted_from"];
+z.enum(EDGE_TYPE_VALUES);
+z.enum(STORAGE_EDGE_TYPE_VALUES);
+z.enum(["active", "archived", "watching"]);
+z.enum(["private", "team", "firm", "external", "public"]);
 
 // src/function-registry/helpers.ts
 var jsonObjectSchema = z.record(z.unknown());
@@ -4715,12 +4747,20 @@ function unwrapMcpParameterSchema(schema) {
         current = current._def.schema;
         continue;
       default:
-        return { schema: current, required, description: description ?? current.description };
+        return {
+          schema: current,
+          required,
+          description: description ?? current.description
+        };
     }
   }
 }
 function mcpParameterFromZod(fieldName, schema, contractName) {
-  const { schema: unwrapped, required, description: schemaDescription } = unwrapMcpParameterSchema(schema);
+  const {
+    schema: unwrapped,
+    required,
+    description: schemaDescription
+  } = unwrapMcpParameterSchema(schema);
   const description = schemaDescription ?? unwrapped.description ?? fieldName;
   switch (unwrapped._def.typeName) {
     case z.ZodFirstPartyTypeKind.ZodString:
@@ -4765,10 +4805,12 @@ function mcpContractFromArgsSchema(base, args, contractName) {
   const entries2 = Object.entries(getObjectShape(args)).sort(
     ([left], [right]) => left.localeCompare(right)
   );
-  const converted = entries2.map(([fieldName, schema]) => [
-    fieldName,
-    mcpParameterFromZod(fieldName, schema, contractName)
-  ]);
+  const converted = entries2.map(
+    ([fieldName, schema]) => [
+      fieldName,
+      mcpParameterFromZod(fieldName, schema, contractName)
+    ]
+  );
   return {
     ...base,
     parameters: Object.fromEntries(
@@ -4862,6 +4904,7 @@ function surfaceContract(args) {
       allowedPrincipalTypes: ["user", "service", "agent"]
     },
     convex: args.convex,
+    gateway: args.gateway,
     args: canonicalArgs,
     returns: canonicalReturns,
     input,
@@ -4881,12 +4924,17 @@ function defineProjection(def) {
 // src/projections/list-tasks.projection.ts
 var taskStatusSchema = z.enum(["todo", "in_progress", "blocked", "done"]).optional().describe("Filter by task status");
 var listTasksInputSchema = z.object({
-  topicId: z.string().describe("Topic scope"),
+  topicId: z.string().optional().describe("Topic scope"),
   worktreeId: z.string().optional().describe("Alias for linkedWorktreeId"),
   linkedWorktreeId: z.string().optional().describe("Filter to tasks linked to this worktree"),
   status: taskStatusSchema,
   limit: z.number().optional().describe("Maximum results")
-});
+}).refine(
+  (input) => Boolean(input.topicId || input.worktreeId || input.linkedWorktreeId),
+  {
+    message: "topicId or worktreeId is required"
+  }
+);
 function compactRecord2(input) {
   return Object.fromEntries(
     Object.entries(input).filter(([, value]) => value !== void 0)
@@ -4903,7 +4951,7 @@ var listTasksProjection = defineProjection({
     linkedWorktreeId: input.linkedWorktreeId ?? input.worktreeId
   }),
   convexArgsValidator: v.object({
-    topicId: v.string(),
+    topicId: v.optional(v.string()),
     status: v.optional(
       v.union(
         v.literal("todo"),
@@ -4942,7 +4990,8 @@ var createTaskArgs = z.object({
   linkedQuestionId: z.string().optional().describe("Question this task addresses."),
   assigneeId: z.string().optional().describe("Principal assigned to the task."),
   dueDate: z.number().optional().describe("Due date as epoch milliseconds."),
-  tags: z.array(z.string()).optional().describe("Free-form tags.")
+  tags: z.array(z.string()).optional().describe("Free-form tags."),
+  metadata: z.record(z.unknown()).optional().describe("Structured task metadata for handoff context and routing hints.")
 });
 var createTaskInput = (input) => compactRecord({
   title: input.title,
@@ -4956,7 +5005,8 @@ var createTaskInput = (input) => compactRecord({
   linkedQuestionId: input.linkedQuestionId,
   assigneeId: input.assigneeId,
   dueDate: input.dueDate,
-  tags: input.tags
+  tags: input.tags,
+  metadata: input.metadata
 });
 var taskInput = (input) => compactRecord({
   ...input,
@@ -4973,8 +5023,7 @@ var taskTopicInput = (input) => {
 };
 var completeTaskInput = (input) => compactRecord({
   taskId: input.taskId ?? input.id,
-  outputSummary: input.outputSummary ?? input.summary,
-  userId: input.userId
+  outputSummary: input.outputSummary ?? input.summary
 });
 var tasksContracts = [
   surfaceContract({
@@ -4992,6 +5041,7 @@ var tasksContracts = [
       kind: "mutation",
       inputProjection: createTaskInput
     },
+    gateway: { handler: "tasks.create" },
     args: createTaskArgs
   }),
   surfaceContract({
@@ -5010,6 +5060,7 @@ var tasksContracts = [
       kind: "query",
       inputProjection: taskTopicInput
     },
+    gateway: { handler: "tasks.list" },
     args: listTasksInputSchema
   }),
   surfaceContract({
@@ -5027,7 +5078,8 @@ var tasksContracts = [
       functionName: "update",
       kind: "mutation",
       inputProjection: taskInput
-    }
+    },
+    gateway: { handler: "tasks.update" }
   }),
   surfaceContract({
     name: "complete_task",
@@ -5043,7 +5095,8 @@ var tasksContracts = [
       functionName: "complete",
       kind: "mutation",
       inputProjection: completeTaskInput
-    }
+    },
+    gateway: { handler: "tasks.complete" }
   })
 ];