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

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

package/dist/function-registry/edges.js

@@ -2,6 +2,20 @@ import { z } from 'zod';
 
 // src/function-registry/edges.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",
@@ -859,7 +873,7 @@ var CREATE_EDGE = {
     reasoningMethod: {
       type: "string",
       description: "How this was determined",
-      enum: ["deductive", "inductive", "abductive", "analogical", "empirical"]
+      enum: [...REASONING_METHODS]
     },
     metadata: {
       type: "object",
@@ -2586,6 +2600,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"],
@@ -2659,6 +2677,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"],
@@ -4114,6 +4136,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",
@@ -4618,6 +4643,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());
@@ -4714,12 +4746,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:
@@ -4764,10 +4804,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(
@@ -4870,6 +4912,7 @@ function surfaceContract(args) {
       allowedPrincipalTypes: ["user", "service", "agent"]
     },
     convex: args.convex,
+    gateway: args.gateway,
     args: canonicalArgs,
     returns: canonicalReturns,
     input,
@@ -4965,13 +5008,6 @@ function assertEdgePolicyAllowed(manifest, edgeType, from, to) {
     throw error;
   }
 }
-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/manifests/edge-policy-manifest.data.ts
 var publicEpistemicNodeEdgePolicy = (edgeType) => ({
@@ -4988,6 +5024,7 @@ var edgePolicyManifest = {
 var CREATE_EDGE_TYPES = edgePolicyManifest.policies.map(
   (policy) => policy.edgeType
 );
+var REASONING_METHOD_TYPES = [...REASONING_METHODS];
 var createEdgeArgs = z.object({
   from: GraphRefSchema,
   to: GraphRefSchema,
@@ -4997,6 +5034,7 @@ var createEdgeArgs = z.object({
   confidence: z.number().optional(),
   context: z.string().optional(),
   reasoning: z.string().optional(),
+  reasoningMethod: z.enum(REASONING_METHOD_TYPES).optional(),
   derivationType: z.string().optional(),
   metadata: z.record(z.unknown()).optional(),
   topicId: z.string().optional(),
@@ -5075,6 +5113,7 @@ var edgesContracts = [
             weight: parsed.weight,
             confidence: parsed.confidence,
             context: parsed.context ?? parsed.reasoning,
+            reasoningMethod: parsed.reasoningMethod,
             derivationType: parsed.derivationType,
             metadata: parsed.metadata,
             skipLayerValidation: true,
@@ -5199,6 +5238,7 @@ var edgesContracts = [
                 weight: edge.weight,
                 confidence: edge.confidence,
                 context: edge.context ?? edge.reasoning,
+                reasoningMethod: edge.reasoningMethod,
                 derivationType: edge.derivationType,
                 metadata: edge.metadata,
                 topicId: edge.topicId