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

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

package/dist/function-registry/coding.js

@@ -2,6 +2,20 @@ import { z } from 'zod';
 
 // src/function-registry/coding.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(
@@ -4873,6 +4915,7 @@ function surfaceContract(args) {
       allowedPrincipalTypes: ["user", "service", "agent"]
     },
     convex: args.convex,
+    gateway: args.gateway,
     args: canonicalArgs,
     returns: canonicalReturns,
     input,
@@ -4885,6 +4928,69 @@ function surfaceContract(args) {
 }
 
 // src/function-registry/coding.ts
+function isRecord(value) {
+  return Boolean(value) && typeof value === "object" && !Array.isArray(value);
+}
+function stringValues(value) {
+  if (typeof value === "string") {
+    return [value];
+  }
+  if (Array.isArray(value)) {
+    return value.flatMap((item) => stringValues(item));
+  }
+  return [];
+}
+function nestedEvidenceRows(value) {
+  if (Array.isArray(value)) {
+    return value.flatMap((item) => nestedEvidenceRows(item));
+  }
+  if (!isRecord(value)) {
+    return [];
+  }
+  const nestedKeys = ["evidence", "items", "nodes"];
+  const nestedRows = nestedKeys.flatMap((key) => nestedEvidenceRows(value[key]));
+  return nestedRows.length > 0 ? nestedRows : [value];
+}
+function isFailedAttemptRow(row) {
+  const metadata = isRecord(row.metadata) ? row.metadata : null;
+  return metadata?.failedApproach === true || metadata?.isFailedAttempt === true;
+}
+function failureLogSearchFields(row) {
+  const metadata = isRecord(row.metadata) ? row.metadata : null;
+  return [
+    ...stringValues(row.id),
+    ...stringValues(row._id),
+    ...stringValues(row.title),
+    ...stringValues(row.text),
+    ...stringValues(row.canonicalText),
+    ...stringValues(row.content),
+    ...stringValues(metadata?.codeAnchor),
+    ...stringValues(metadata?.codeAnchors),
+    ...stringValues(metadata?.anchor),
+    ...stringValues(metadata?.anchors),
+    ...stringValues(metadata?.filePath),
+    ...stringValues(metadata?.filePaths),
+    ...stringValues(metadata?.path),
+    ...stringValues(metadata?.paths),
+    ...stringValues(metadata?.sourceRef),
+    ...stringValues(metadata?.touchedPaths)
+  ];
+}
+function projectFailureLog(output, input) {
+  const rawQuery = typeof input.query === "string" && input.query.trim().length > 0 ? input.query.trim() : void 0;
+  const searchKey = rawQuery?.toLowerCase();
+  const failures = nestedEvidenceRows(output).filter((row) => isFailedAttemptRow(row)).filter(
+    (row) => !searchKey ? true : failureLogSearchFields(row).some(
+      (field) => field.toLowerCase().includes(searchKey)
+    )
+  );
+  return {
+    query: rawQuery,
+    failures,
+    totalFound: failures.length,
+    showing: failures.length
+  };
+}
 var recordScopeLearningArgs = z.object({
   topicId: z.string().optional().describe("Topic scope ID"),
   summary: z.string().describe("Atomic learning statement"),
@@ -4974,6 +5080,8 @@ var attemptInput = (input, context) => withUserId(
     tags: ["code_attempt"],
     metadata: compactRecord({
       ...recordValue(input.metadata),
+      failedApproach: true,
+      isFailedAttempt: true,
       filePaths: input.filePaths,
       filePath: input.filePath,
       errorMessage: input.errorMessage,
@@ -5104,7 +5212,8 @@ var codingContracts = [
         limit: input.limit,
         status: input.status,
         userId: input.userId
-      })
+      }),
+      outputProjection: (output, input) => projectFailureLog(output, input)
     }
   })
 ];