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

package/dist/function-registry/evidence.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 evidenceContracts: readonly [{
     name: string;
@@ -115,6 +118,7 @@ declare const evidenceContracts: 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 evidenceContracts: 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 evidenceContracts: 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 evidenceContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
+    gateway: FunctionGatewayTarget | undefined;
     args: z.ZodTypeAny;
     returns: z.ZodTypeAny;
     input: z.ZodTypeAny;
@@ -271,6 +278,7 @@ declare const evidenceContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
+    gateway: FunctionGatewayTarget | undefined;
     args: z.ZodTypeAny;
     returns: z.ZodTypeAny;
     input: z.ZodTypeAny;
@@ -310,6 +318,7 @@ declare const evidenceContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
+    gateway: FunctionGatewayTarget | undefined;
     args: z.ZodTypeAny;
     returns: z.ZodTypeAny;
     input: z.ZodTypeAny;
@@ -349,6 +358,7 @@ declare const evidenceContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
+    gateway: FunctionGatewayTarget | undefined;
     args: z.ZodTypeAny;
     returns: z.ZodTypeAny;
     input: z.ZodTypeAny;
@@ -388,6 +398,7 @@ declare const evidenceContracts: readonly [{
         allowedPrincipalTypes: ("user" | "service" | "agent")[];
     };
     convex: FunctionConvexTarget | undefined;
+    gateway: FunctionGatewayTarget | undefined;
     args: z.ZodTypeAny;
     returns: z.ZodTypeAny;
     input: z.ZodTypeAny;

package/dist/function-registry/evidence.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(
@@ -4880,6 +4922,7 @@ function surfaceContract(args) {
       allowedPrincipalTypes: ["user", "service", "agent"]
     },
     convex: args.convex,
+    gateway: args.gateway,
     args: canonicalArgs,
     returns: canonicalReturns,
     input,
@@ -4919,7 +4962,7 @@ var createEvidenceInputSchemaBase = z.object({
   targetId: z.string().optional(),
   targetNodeId: z.string().optional(),
   linkedBeliefNodeId: z.string().optional(),
-  evidenceRelation: z.enum(["supports", "contradicts", "neutral"]).optional(),
+  evidenceRelation: z.enum(["supports", "contradicts"]).optional(),
   confidence: z.number().optional(),
   weight: z.number().optional(),
   reasoning: z.string().optional(),
@@ -5004,8 +5047,7 @@ var createEvidenceProjection = defineProjection({
     evidenceRelation: v.optional(
       v.union(
         v.literal("supports"),
-        v.literal("contradicts"),
-        v.literal("neutral")
+        v.literal("contradicts")
       )
     ),
     confidence: v.optional(v.number()),
@@ -5014,7 +5056,7 @@ var createEvidenceProjection = defineProjection({
   })
 });
 var jsonRecordSchema2 = z.record(z.unknown());
-var evidenceRelationSchema = z.enum(["supports", "contradicts", "neutral"]);
+var evidenceRelationSchema = z.enum(["supports", "contradicts"]);
 var createEvidenceArgs = z.object({
   topicId: z.string().optional().describe("Topic scope for the evidence."),
   text: z.string().describe("Canonical evidence text."),