@lucern/contracts 0.3.0-alpha.0 → 0.3.0-alpha.1

package/dist/function-registry/beliefs.js

@@ -1,4 +1,5 @@
 import { z } from 'zod';
+import { v } from 'convex/values';
 
 // src/function-registry/helpers.ts
 
@@ -14,7 +15,7 @@ var LENS_PERSPECTIVE_TYPES = [
 // src/tool-contracts.ts
 var CREATE_BELIEF = {
   name: "create_belief",
-  description: "Commit a new belief (knowledge unit) to the reasoning graph. Like `git commit` \u2014 creates an atomic, traceable knowledge object with a mandatory prior. Creation stores the vacuous opinion `(0, 0, 1, a)`; use modulate_confidence to record the first evidential update.",
+  description: "Commit a new belief (knowledge unit) to the reasoning graph. Like `git commit` \u2014 creates an atomic, traceable knowledge object with a prior. Creation stores the vacuous opinion `(0, 0, 1, a)`; use modulate_confidence to record the first evidential update.",
   parameters: {
     canonicalText: {
       type: "string",
@@ -26,7 +27,7 @@ var CREATE_BELIEF = {
     },
     baseRate: {
       type: "number",
-      description: "Required prior probability used to seed the vacuous opinion `(0, 0, 1, a)` at creation time."
+      description: "Prior probability used to seed the vacuous opinion `(0, 0, 1, a)` at creation time. Defaults to 0.5 when omitted."
     },
     beliefType: {
       type: "string",
@@ -37,7 +38,7 @@ var CREATE_BELIEF = {
       description: "Optional extra metadata merged into the node (e.g., { codeAnchors: ['path/to/file.ts'] } for coding intelligence)"
     }
   },
-  required: ["canonicalText", "baseRate"],
+  required: ["canonicalText"],
   response: {
     description: "The created canonical belief record",
     fields: {
@@ -100,7 +101,7 @@ var REFINE_BELIEF = {
 };
 var MODULATE_CONFIDENCE = {
   name: "modulate_confidence",
-  description: "Record a confidence change for a belief. Like `git commit` to the credence log \u2014 an atomic, append-only write. Each modulation is a new entry in the history, not an overwrite. Scoring happens via merge; this tool records the individual data points. Pass the full subjective-logic tuple (`belief`, `disbelief`, `uncertainty`, `baseRate`) directly. If a caller only has a scalar probability, use `@lucern/sdk` helpers `opinionFromBaseRate`, `opinionFromDogmatic`, or `opinionFromProjected` to name the intended interpretation before calling this tool. Triggers: evidence_added, evidence_removed, contradiction_detected, contradiction_resolved, agent_assessment, worktree_outcome, worktree_completed, fusion, discount, deduction, manual, decay.",
+  description: "Record a confidence change for a belief. Like `git commit` to the credence log \u2014 an atomic, append-only write. Each modulation is a new entry in the history, not an overwrite. Scoring happens via merge; this tool records the individual data points. Pass the full subjective-logic tuple (`belief`, `disbelief`, `uncertainty`, `baseRate`) directly. If a caller only has a scalar probability, use `@lucern/sdk` helpers `opinionFromBaseRate`, `opinionFromDogmatic`, or `opinionFromProjected` to name the intended interpretation before calling this tool. Every modulation must cite a truth-bearing artifact: triggeringEvidenceId, triggeringQuestionId, triggeringAnswerId, triggeringContradictionId, or triggeringWorktreeId. Triggers: evidence_added, evidence_removed, contradiction_detected, contradiction_resolved, agent_assessment, worktree_outcome, worktree_completed, fusion, discount, deduction.",
   parameters: {
     nodeId: { type: "string", description: "The belief to score" },
     belief: {
@@ -119,9 +120,9 @@ var MODULATE_CONFIDENCE = {
       type: "number",
       description: "Subjective-logic base rate `a` in [0, 1]. Required for tuple payloads."
     },
-    confidence: {
-      type: "number",
-      description: "Deprecated scalar confidence value in [0, 1]. Scalar-only payloads are rejected as AMBIGUOUS_SCALAR."
+    worktreeId: {
+      type: "string",
+      description: "Completed worktree that tested this belief when confidence policy requires merge-backed scoring."
     },
     trigger: {
       type: "string",
@@ -136,17 +137,43 @@ var MODULATE_CONFIDENCE = {
         "worktree_completed",
         "fusion",
         "discount",
-        "deduction",
-        "manual",
-        "decay"
+        "deduction"
       ]
     },
+    triggeringEvidenceId: {
+      type: "string",
+      description: "Evidence node that caused an evidence-triggered modulation"
+    },
+    triggeringQuestionId: {
+      type: "string",
+      description: "Answered question whose resolution supports this modulation"
+    },
+    triggeringAnswerId: {
+      type: "string",
+      description: "Answer node whose content supports this modulation"
+    },
+    triggeringContradictionId: {
+      type: "string",
+      description: "Contradiction record that caused a contradiction-triggered modulation"
+    },
+    triggeringWorktreeId: {
+      type: "string",
+      description: "Completed worktree whose outcome caused a worktree-triggered modulation"
+    },
     rationale: {
       type: "string",
       description: "Human-readable explanation of why confidence changed"
     }
   },
-  required: ["nodeId", "trigger", "rationale"],
+  required: [
+    "nodeId",
+    "belief",
+    "disbelief",
+    "uncertainty",
+    "baseRate",
+    "trigger",
+    "rationale"
+  ],
   response: {
     description: "Confidence modulation result",
     fields: {
@@ -340,7 +367,7 @@ var ADD_EVIDENCE = {
       description: "Optional extra metadata merged into the node (e.g., { codeAnchors: ['path/to/file.ts'], failedApproach: true } for coding intelligence)"
     }
   },
-  required: ["canonicalText", "targetNodeId"],
+  required: ["canonicalText", "targetNodeId", "reasoning"],
   response: {
     description: "The created evidence node and its edge",
     fields: {
@@ -421,9 +448,21 @@ var ADD_WORKTREE = {
       type: "string",
       description: "Optional domain pack whose shaping hooks should influence generated questions and tasks"
     },
-    executionOrder: {
+    campaign: {
+      type: "number",
+      description: "Top-level pipeline campaign number. Campaigns define the outer execution slice."
+    },
+    lane: {
+      type: "string",
+      description: "GitButler-aligned workstream lane name inside the campaign."
+    },
+    laneOrderInCampaign: {
+      type: "number",
+      description: "Ordering for this lane within its campaign."
+    },
+    orderInLane: {
       type: "number",
-      description: "Global execution order for this worktree"
+      description: "Position of this worktree inside its lane."
     },
     dependsOn: {
       type: "array",
@@ -1081,6 +1120,10 @@ var CREATE_EVIDENCE = {
       type: "object",
       description: "Optional metadata merged into the canonical evidence node"
     },
+    rationale: {
+      type: "string",
+      description: "Why this evidence should enter the reasoning graph"
+    },
     title: { type: "string", description: "Optional short title" },
     content: { type: "string", description: "Optional long-form content" },
     contentType: {
@@ -1089,7 +1132,7 @@ var CREATE_EVIDENCE = {
     },
     kind: { type: "string", description: "Optional evidence kind" }
   },
-  required: ["text"],
+  required: ["text", "rationale"],
   response: {
     description: "The created canonical evidence record",
     fields: {
@@ -1137,7 +1180,7 @@ var LIST_EVIDENCE = {
     limit: { type: "number", description: "Max results" },
     cursor: { type: "string", description: "Pagination cursor" }
   },
-  required: [],
+  required: ["topicId"],
   response: {
     description: "Canonical evidence page",
     fields: {
@@ -1322,6 +1365,7 @@ var ANSWER_QUESTION = {
   description: "Answer a question with optional evidence links. Like `git commit` on the question thread \u2014 records the answer and closes the loop with a canonical answered state.",
   parameters: {
     id: { type: "string", description: "Canonical question ID" },
+    topicId: { type: "string", description: "Topic scope for the answer" },
     text: { type: "string", description: "Answer text" },
     confidence: {
       type: "string",
@@ -1334,7 +1378,7 @@ var ANSWER_QUESTION = {
     },
     rationale: { type: "string", description: "Why this answer is credible" }
   },
-  required: ["id", "text"],
+  required: ["id", "topicId", "text"],
   response: {
     description: "Answer result",
     fields: {
@@ -1553,6 +1597,10 @@ var LIST_BELIEFS = {
     minConfidence: {
       type: "number",
       description: "Minimum confidence threshold"
+    },
+    limit: {
+      type: "number",
+      description: "Maximum results"
     }
   },
   required: ["topicId"],
@@ -1569,20 +1617,37 @@ var LIST_BELIEFS = {
 };
 var LIST_WORKTREES = {
   name: "list_worktrees",
-  description: "List all worktrees for a topic. Like `git worktree list` \u2014 shows active and completed investigation branches with their phase, status, and belief counts.",
+  description: "List all worktrees for a topic. Like `git worktree list` \u2014 shows active and completed investigation branches with lifecycle phase, pipeline campaign/lane, status, and belief counts.",
   parameters: {
     topicId: { type: "string", description: "Topic scope" },
     status: {
       type: "string",
       description: "Filter: active, merged, abandoned",
       enum: ["active", "merged", "abandoned"]
+    },
+    groupBy: {
+      type: "string",
+      description: "Optional grouping mode for the response.",
+      enum: ["campaign", "lane", "flat"]
+    },
+    lane: {
+      type: "string",
+      description: "Filter by GitButler-aligned lane name."
+    },
+    campaign: {
+      type: "number",
+      description: "Filter by top-level pipeline campaign number."
+    },
+    limit: {
+      type: "number",
+      description: "Maximum results to return."
     }
   },
   required: ["topicId"],
   response: {
-    description: "Worktrees with phase, status, belief count, and creation time",
+    description: "Worktrees with lifecycle phase, campaign, lane, status, belief count, and creation time",
     fields: {
-      worktrees: "array \u2014 { worktreeId, title, phase, status, beliefCount, createdAt }"
+      worktrees: "array \u2014 { worktreeId, title, phase, campaign, lane, laneOrderInCampaign, orderInLane, status, beliefCount, createdAt }"
     }
   },
   ownerModule: "workflow-engine",
@@ -1591,7 +1656,7 @@ var LIST_WORKTREES = {
 };
 var LIST_ALL_WORKTREES = {
   name: "list_all_worktrees",
-  description: "List ALL worktrees across ALL topics in one query. No topic scope required. Like `git worktree list --all` \u2014 returns the complete pipeline inventory with track, trackPosition, executionBand, dependencies, and status. Supports filtering by status, track, and executionBand. This is the PM's primary pipeline query \u2014 one call, full picture.",
+  description: "List ALL worktrees across ALL topics in one query. No topic scope required. Like `git worktree list --all` \u2014 returns the complete pipeline inventory with campaign, lane, lane order, dependencies, and status. Supports filtering by status, lane, and campaign. This is the PM's primary pipeline query \u2014 one call, full picture.",
   parameters: {
     status: {
       type: "string",
@@ -1609,13 +1674,18 @@ var LIST_ALL_WORKTREES = {
         "dismissed"
       ]
     },
-    track: {
+    lane: {
       type: "string",
-      description: "Filter by track name (e.g., 'ontology', 'tc-scope', 'control-plane', 'dev-portal', 'mcp-sdk-parity')"
+      description: "Filter by lane name (e.g., 'ontology', 'tc-scope', 'control-plane', 'dev-portal', 'mcp-sdk-parity')"
     },
-    executionBand: {
+    campaign: {
       type: "number",
-      description: "Filter by execution band number (e.g., 1, 2, 3). Returns only worktrees in that parallel execution group."
+      description: "Filter by campaign number (e.g., 1, 2, 3). Returns only worktrees in that campaign."
+    },
+    groupBy: {
+      type: "string",
+      description: "Optional grouping mode for the response.",
+      enum: ["campaign", "lane", "flat"]
     },
     limit: {
       type: "number",
@@ -1626,10 +1696,39 @@ var LIST_ALL_WORKTREES = {
   response: {
     description: "All worktrees across all topics with full pipeline metadata",
     fields: {
-      worktrees: "array \u2014 { worktreeId, title, topicId, topicName, phase, status, hypothesis, track, trackPosition, executionBand, executionOrder, dependsOn, blocks, gate, createdAt }",
+      worktrees: "array \u2014 { worktreeId, title, topicId, topicName, phase, status, hypothesis, campaign, lane, laneOrderInCampaign, orderInLane, dependsOn, blocks, gate, createdAt }",
       total: "number \u2014 total count after filtering",
-      tracks: "object \u2014 { trackName: count } summary of worktrees per track",
-      bands: "object \u2014 { bandNumber: count } summary of worktrees per execution band"
+      lanes: "object \u2014 { laneName: count } summary of worktrees per lane",
+      campaigns: "object \u2014 { campaignNumber: count } summary of worktrees per campaign"
+    }
+  },
+  ownerModule: "workflow-engine",
+  ontologyPrimitive: "worktree",
+  tier: "showcase"
+};
+var LIST_CAMPAIGNS = {
+  name: "list_campaigns",
+  description: "List compact pipeline campaigns with their nested lanes. Use this to see the top-level campaign > lane > worktree shape without pulling the full worktree inventory.",
+  parameters: {
+    topicId: {
+      type: "string",
+      description: "Optional topic scope."
+    },
+    status: {
+      type: "string",
+      description: "Optional worktree status filter before grouping campaigns and lanes."
+    },
+    limit: {
+      type: "number",
+      description: "Maximum worktrees to scan before grouping."
+    }
+  },
+  required: [],
+  response: {
+    description: "Pipeline campaigns with nested lane summaries.",
+    fields: {
+      campaigns: "array \u2014 { campaign, lanes: [{ lane, laneOrderInCampaign, worktreeCount, activeCount, readyCount, blockedCount, completedCount, nextWorktree }] }",
+      totalWorktrees: "number \u2014 total worktrees scanned after filtering"
     }
   },
   ownerModule: "workflow-engine",
@@ -1692,16 +1791,28 @@ var UPDATE_WORKTREE_TARGETS = {
 };
 var UPDATE_WORKTREE_METADATA = {
   name: "update_worktree_metadata",
-  description: "Update worktree sequencing metadata \u2014 execution order, dependencies, blocking relations, and gates. Like `git config` for a worktree \u2014 sets the scheduling and dependency metadata that determines when this worktree can activate relative to others. Use to backfill or correct sequencing data.",
+  description: "Update worktree sequencing metadata \u2014 campaign, lane, dependencies, blocking relations, and gates. Like `git config` for a worktree \u2014 sets the scheduling and dependency metadata that determines when this worktree can activate relative to others. Use to backfill or correct sequencing data.",
   parameters: {
     worktreeId: { type: "string", description: "The worktree to update" },
     hypothesis: {
       type: "string",
       description: "Testable claim this worktree investigates"
     },
-    executionOrder: {
+    campaign: {
       type: "number",
-      description: "Global execution order (1 = first, higher = later)"
+      description: "Top-level pipeline campaign number."
+    },
+    lane: {
+      type: "string",
+      description: "GitButler-aligned workstream lane name inside the campaign."
+    },
+    laneOrderInCampaign: {
+      type: "number",
+      description: "Ordering for this lane within the campaign."
+    },
+    orderInLane: {
+      type: "number",
+      description: "Position of this worktree inside its lane."
     },
     dependsOn: {
       type: "array",
@@ -1739,18 +1850,6 @@ var UPDATE_WORKTREE_METADATA = {
       type: "object",
       description: "Calibrated auto-fix policy controlling dry-run vs safe execution, per-run action caps, and permitted mutation tiers."
     },
-    track: {
-      type: "string",
-      description: "Parallel workstream name (e.g., 'ontology', 'tc-scope', 'control-plane', 'dev-portal', 'mcp-sdk-parity', 'execution-program'). Groups worktrees into named lanes for pipeline visualization and PM analysis."
-    },
-    trackPosition: {
-      type: "number",
-      description: "Position within the track (1-indexed). E.g., TC-A=1, TC-B=2, TC-C=3 within the 'tc-scope' track."
-    },
-    executionBand: {
-      type: "number",
-      description: "Parallel execution band number. All worktrees in the same band can run simultaneously. Band 2 = OE-B + TC-A, Band 3 = TC-B + 11D-R + S2-13A, etc."
-    },
     status: {
       type: "string",
       description: "Override the worktree status. Use for lifecycle transitions like marking a worktree superseded, long-term, or as a raw idea.",
@@ -2120,6 +2219,10 @@ var LIST_TASKS = {
       type: "string",
       description: "Filter to tasks linked to this worktree"
     },
+    worktreeId: {
+      type: "string",
+      description: "Alias for linkedWorktreeId"
+    },
     status: {
       type: "string",
       description: "Filter by status: todo, in_progress, blocked, done",
@@ -2207,7 +2310,7 @@ var GET_TOPIC = {
       description: "Legacy alias for topicId"
     }
   },
-  required: [],
+  required: ["topicId"],
   response: {
     description: "Single topic record",
     fields: {
@@ -2562,7 +2665,7 @@ var GET_ONTOLOGY = {
       description: "Tenant scope for key lookup. Omit for platform-level."
     }
   },
-  required: [],
+  required: ["id"],
   response: {
     description: "Ontology definition with latest published version",
     fields: {
@@ -2629,7 +2732,7 @@ var MATCH_ENTITY_TYPE = {
       description: "Optional maximum number of ranked matches to return"
     }
   },
-  required: ["text"],
+  required: ["text", "ontologyId"],
   response: {
     description: "Ranked ontology entity type matches",
     fields: {
@@ -2883,7 +2986,7 @@ var RECORD_SCOPE_LEARNING = {
 };
 var PIPELINE_SNAPSHOT = {
   name: "pipeline_snapshot",
-  description: "Summarize a topic's worktree pipeline in band-and-lane form. Like `git status --short` for Lucern execution \u2014 returns the hinge worktree, next planned wave, blockers, critical path, superseded work, and graph hygiene debt.",
+  description: "Summarize a topic's worktree pipeline in campaign-and-lane form. Like `git status --short` for Lucern execution \u2014 returns the hinge worktree, next planned wave, blockers, critical path, superseded work, and graph hygiene debt.",
   parameters: {
     topicId: { type: "string", description: "Topic scope ID" }
   },
@@ -2893,14 +2996,14 @@ var PIPELINE_SNAPSHOT = {
     fields: {
       topicId: "string",
       topicName: "string",
-      currentBand: "number | null",
-      nextBand: "number | null",
+      currentCampaign: "number | null",
+      nextCampaign: "number | null",
       activeWorktrees: "array \u2014 current hinge worktree(s)",
-      nextWave: "array \u2014 worktrees in the next planned band",
+      nextWave: "array \u2014 worktrees in the next planned campaign",
       readyNow: "array \u2014 planning worktrees with dependencies completed",
       blockedBy: "array \u2014 grouped blockers",
       criticalPath: "array \u2014 ordered incomplete worktree chain",
-      bands: "array \u2014 incomplete worktrees grouped by executionBand",
+      campaigns: "array \u2014 incomplete worktrees grouped by campaign",
       superseded: "array \u2014 worktrees marked superseded or not for activation",
       graphHygiene: "object \u2014 untargeted and taskless worktree debt",
       riskQuestions: "array \u2014 critical/high open questions",
@@ -3489,6 +3592,7 @@ var MCP_TOOL_CONTRACTS = {
   list_beliefs: LIST_BELIEFS,
   list_worktrees: LIST_WORKTREES,
   list_all_worktrees: LIST_ALL_WORKTREES,
+  list_campaigns: LIST_CAMPAIGNS,
   activate_worktree: ACTIVATE_WORKTREE,
   update_worktree_targets: UPDATE_WORKTREE_TARGETS,
   update_worktree_metadata: UPDATE_WORKTREE_METADATA,
@@ -3671,6 +3775,7 @@ var MCP_WORKFLOW_PLATFORM_OPERATION_NAMES = [
   "activate_worktree",
   "list_worktrees",
   "list_all_worktrees",
+  "list_campaigns",
   "update_worktree_targets",
   "update_worktree_metadata",
   "create_task",
@@ -3878,6 +3983,7 @@ var LUCERN_OPERATION_MANIFEST = {
 
 // src/function-registry/helpers.ts
 var jsonObjectSchema = z.record(z.unknown());
+var sdkSessionIdSchema = z.string().optional();
 function mcpContractShape(contract) {
   const required = new Set(contract.required);
   return Object.fromEntries(
@@ -3912,10 +4018,40 @@ function argsSchemaFromMcpContract(contract) {
   return z.object(mcpContractShape(contract));
 }
 function inputSchemaFromMcpContract(contract) {
-  return argsSchemaFromMcpContract(contract).passthrough();
+  return withInternalSurfaceFields(argsSchemaFromMcpContract(contract));
+}
+function withInternalSurfaceFields(schema) {
+  return schema.extend({ __sdkSessionId: sdkSessionIdSchema }).strict();
+}
+function normalizeInputSchema(schema) {
+  if (schema instanceof z.ZodObject) {
+    return withInternalSurfaceFields(schema);
+  }
+  return schema;
+}
+function unwrapObjectSchema(schema) {
+  let current = schema;
+  while (true) {
+    switch (current._def.typeName) {
+      case z.ZodFirstPartyTypeKind.ZodEffects:
+        current = current._def.schema;
+        continue;
+      case z.ZodFirstPartyTypeKind.ZodBranded:
+        current = current._def.type;
+        continue;
+      default:
+        return current instanceof z.ZodObject ? current : void 0;
+    }
+  }
 }
 function getObjectShape(schema) {
-  const shape = typeof schema._def.shape === "function" ? schema._def.shape() : schema._def.shape;
+  const objectSchema = unwrapObjectSchema(schema);
+  if (!objectSchema) {
+    throw new Error(
+      `Expected a Zod object schema, received ${schema._def.typeName}.`
+    );
+  }
+  const shape = typeof objectSchema._def.shape === "function" ? objectSchema._def.shape() : objectSchema._def.shape;
   return shape;
 }
 function unwrapMcpParameterSchema(schema) {
@@ -3936,6 +4072,9 @@ function unwrapMcpParameterSchema(schema) {
       case z.ZodFirstPartyTypeKind.ZodBranded:
         current = current._def.type;
         continue;
+      case z.ZodFirstPartyTypeKind.ZodEffects:
+        current = current._def.schema;
+        continue;
       default:
         return { schema: current, required, description: description ?? current.description };
     }
@@ -3955,6 +4094,7 @@ function mcpParameterFromZod(fieldName, schema, contractName) {
       return { parameter: { type: "array", description }, required };
     case z.ZodFirstPartyTypeKind.ZodObject:
     case z.ZodFirstPartyTypeKind.ZodRecord:
+    case z.ZodFirstPartyTypeKind.ZodDiscriminatedUnion:
       return { parameter: { type: "object", description }, required };
     case z.ZodFirstPartyTypeKind.ZodEnum:
       return {
@@ -4010,6 +4150,11 @@ function withUserId(input, context) {
     userId: typeof input.userId === "string" ? input.userId : authUserId(context)
   };
 }
+function compactRecord(input) {
+  return Object.fromEntries(
+    Object.entries(input).filter(([, value]) => value !== void 0)
+  );
+}
 function surfaceMcpContract(name) {
   const contract = MCP_TOOL_CONTRACTS[name];
   if (!contract) {
@@ -4054,7 +4199,9 @@ function surfaceContract(args) {
   const canonicalArgs = args.args ?? argsSchemaFromMcpContract(baseMcp);
   const mcp = args.args ? mcpContractFromArgsSchema(baseMcp, canonicalArgs, args.name) : baseMcp;
   const canonicalReturns = args.returns ?? jsonObjectSchema;
-  const input = args.input ?? inputSchemaFromMcpContract(mcp);
+  const input = normalizeInputSchema(
+    args.input ?? inputSchemaFromMcpContract(mcp)
+  );
   const output = args.output ?? canonicalReturns;
   return defineFunctionContract({
     name: args.name,
@@ -4098,43 +4245,242 @@ function surfaceContract(args) {
   });
 }
 
+// src/projections/projection-dsl.ts
+function defineProjection(def) {
+  return def;
+}
+
+// src/projections/list-beliefs.projection.ts
+var beliefStatusSchema = z.enum(["active", "superseded", "archived", "unscored", "scored"]).optional().describe("Filter by belief lifecycle or scoring status");
+var listBeliefsInputSchema = z.object({
+  topicId: z.string().describe("Topic scope"),
+  worktreeId: z.string().optional().describe("Filter to worktree scope"),
+  status: beliefStatusSchema,
+  minConfidence: z.number().optional().describe("Minimum confidence threshold"),
+  limit: z.number().optional().describe("Maximum results"),
+  includeEdgeAssociated: z.boolean().optional().describe("Include beliefs associated to the topic through edges")
+});
+function kernelStatus(status) {
+  return status === "active" || status === "superseded" || status === "archived" ? status : void 0;
+}
+function compactRecord2(input) {
+  return Object.fromEntries(
+    Object.entries(input).filter(([, value]) => value !== void 0)
+  );
+}
+var listBeliefsProjection = defineProjection({
+  contractName: "list_beliefs",
+  inputSchema: listBeliefsInputSchema,
+  project: (input) => compactRecord2({
+    topicId: input.topicId,
+    status: kernelStatus(input.status),
+    limit: input.limit,
+    includeEdgeAssociated: input.includeEdgeAssociated
+  }),
+  convexArgsValidator: v.object({
+    topicId: v.string(),
+    status: v.optional(
+      v.union(
+        v.literal("active"),
+        v.literal("superseded"),
+        v.literal("archived")
+      )
+    ),
+    limit: v.optional(v.number()),
+    includeEdgeAssociated: v.optional(v.boolean())
+  })
+});
+var confidenceTriggerSchema = z.enum([
+  "evidence_added",
+  "evidence_removed",
+  "contradiction_resolved",
+  "agent_assessment",
+  "worktree_outcome",
+  "worktree_completed",
+  "contradiction_detected",
+  "answer_recorded",
+  "fusion",
+  "discount",
+  "deduction",
+  "backfill_synthetic"
+]);
+var provenanceSchema = z.object({
+  evidence: z.string().optional(),
+  question: z.string().optional(),
+  answer: z.string().optional(),
+  contradiction: z.string().optional(),
+  worktree: z.string().optional()
+});
+var slOpinionProjectionSchema = z.object({
+  belief: z.number(),
+  disbelief: z.number(),
+  uncertainty: z.number(),
+  baseRate: z.number()
+});
+var modulateConfidenceInputObjectSchema = z.object({
+  nodeId: z.string().optional(),
+  beliefNodeId: z.string().optional(),
+  worktreeId: z.string().optional(),
+  opinion: slOpinionProjectionSchema.optional(),
+  belief: z.number().optional(),
+  disbelief: z.number().optional(),
+  uncertainty: z.number().optional(),
+  baseRate: z.number().optional(),
+  trigger: confidenceTriggerSchema,
+  provenance: provenanceSchema.optional(),
+  triggeringEvidenceId: z.string().optional(),
+  triggeringQuestionId: z.string().optional(),
+  triggeringAnswerId: z.string().optional(),
+  triggeringContradictionId: z.string().optional(),
+  triggeringWorktreeId: z.string().optional(),
+  rationale: z.string(),
+  trustedBypassAccessCheck: z.boolean().optional()
+});
+var modulateConfidenceInputSchema = modulateConfidenceInputObjectSchema.superRefine((input, ctx) => {
+  if (hasProvenance(input)) {
+    return;
+  }
+  ctx.addIssue({
+    code: z.ZodIssueCode.custom,
+    message: "modulate_confidence requires evidence, question, answer, contradiction, or worktree provenance",
+    path: ["provenance"]
+  });
+});
+var modulateConfidenceProjection = defineProjection({
+  contractName: "modulate_confidence",
+  inputSchema: modulateConfidenceInputSchema,
+  project: (input) => {
+    const nodeId = input.beliefNodeId ?? input.nodeId;
+    if (!nodeId) {
+      throw new Error("modulate_confidence requires beliefNodeId or nodeId");
+    }
+    const opinion = input.opinion ?? {
+      belief: requireNumber(input.belief, "belief"),
+      disbelief: requireNumber(input.disbelief, "disbelief"),
+      uncertainty: requireNumber(input.uncertainty, "uncertainty"),
+      baseRate: requireNumber(input.baseRate, "baseRate")
+    };
+    assertProvenance(input);
+    return {
+      nodeId,
+      worktreeId: input.worktreeId,
+      belief: opinion.belief,
+      disbelief: opinion.disbelief,
+      uncertainty: opinion.uncertainty,
+      baseRate: opinion.baseRate,
+      trigger: input.trigger === "answer_recorded" ? "agent_assessment" : input.trigger,
+      triggeringEvidenceId: input.provenance?.evidence ?? input.triggeringEvidenceId,
+      triggeringQuestionId: input.provenance?.question ?? input.triggeringQuestionId,
+      triggeringAnswerId: input.provenance?.answer ?? input.triggeringAnswerId,
+      triggeringContradictionId: input.provenance?.contradiction ?? input.triggeringContradictionId,
+      triggeringWorktreeId: input.provenance?.worktree ?? input.triggeringWorktreeId,
+      rationale: input.rationale,
+      trustedBypassAccessCheck: input.trustedBypassAccessCheck ?? true
+    };
+  },
+  convexArgsValidator: v.object({
+    nodeId: v.string(),
+    worktreeId: v.optional(v.string()),
+    belief: v.number(),
+    disbelief: v.number(),
+    uncertainty: v.number(),
+    baseRate: v.number(),
+    trigger: v.union(
+      v.literal("evidence_added"),
+      v.literal("evidence_removed"),
+      v.literal("worktree_completed"),
+      v.literal("contradiction_detected"),
+      v.literal("contradiction_resolved"),
+      v.literal("agent_assessment"),
+      v.literal("worktree_outcome"),
+      v.literal("fusion"),
+      v.literal("discount"),
+      v.literal("deduction"),
+      v.literal("backfill_synthetic")
+    ),
+    triggeringEvidenceId: v.optional(v.string()),
+    triggeringQuestionId: v.optional(v.string()),
+    triggeringAnswerId: v.optional(v.string()),
+    triggeringContradictionId: v.optional(v.string()),
+    triggeringWorktreeId: v.optional(v.string()),
+    rationale: v.string(),
+    trustedBypassAccessCheck: v.optional(v.boolean())
+  })
+});
+function requireNumber(value, field) {
+  if (value === void 0) {
+    throw new Error(`modulate_confidence requires ${field}`);
+  }
+  return value;
+}
+function assertProvenance(input) {
+  if (!hasProvenance(input)) {
+    throw new Error(
+      "modulate_confidence requires evidence, question, answer, contradiction, or worktree provenance"
+    );
+  }
+}
+function hasProvenance(input) {
+  return input.trigger === "backfill_synthetic" || Boolean(input.provenance && Object.values(input.provenance).some(Boolean)) || Boolean(input.triggeringEvidenceId) || Boolean(input.triggeringQuestionId) || Boolean(input.triggeringAnswerId) || Boolean(input.triggeringContradictionId) || Boolean(input.triggeringWorktreeId);
+}
+
 // src/function-registry/beliefs.ts
-var withBeliefId = (input) => ({
-  ...input,
+var beliefLookupInput = (input) => compactRecord({
   nodeId: input.nodeId ?? input.id ?? input.beliefId,
-  beliefId: input.beliefId ?? input.id ?? input.nodeId
+  beliefId: input.beliefId
 });
-var createBeliefInput = (input, context) => withUserId(
-  {
-    ...input,
-    formulation: input.formulation ?? input.canonicalText,
-    baseRate: input.baseRate ?? 0.5,
-    trustedBypassAccessCheck: input.trustedBypassAccessCheck ?? true
-  },
-  context
-);
+var beliefNodeInput = (input) => compactRecord({
+  nodeId: input.nodeId ?? input.id ?? input.beliefId
+});
+var beliefTopicInput = (input) => {
+  const parsed = listBeliefsProjection.inputSchema.safeParse(input);
+  if (!parsed.success) {
+    throw new Error(
+      `list_beliefs projection input rejected: ${parsed.error.message}`
+    );
+  }
+  return compactRecord(listBeliefsProjection.project(parsed.data));
+};
+var createBeliefInput = (input, context) => {
+  return withUserId(
+    compactRecord({
+      projectId: input.projectId,
+      topicId: input.topicId,
+      formulation: input.formulation ?? input.canonicalText,
+      beliefType: input.beliefType,
+      rationale: input.rationale,
+      pillar: input.pillar,
+      worktreeId: input.worktreeId,
+      sourceBeliefIds: input.sourceBeliefIds,
+      sourceType: input.sourceType,
+      reversibility: input.reversibility,
+      predictionMeta: input.predictionMeta,
+      baseRate: input.baseRate ?? 0.5,
+      metadata: input.metadata,
+      trustedBypassAccessCheck: input.trustedBypassAccessCheck ?? true
+    }),
+    context
+  );
+};
 var forkBeliefInput = (input, context) => withUserId(
-  {
-    ...input,
+  compactRecord({
     parentNodeId: input.parentNodeId ?? input.nodeId ?? input.id,
+    newFormulation: input.newFormulation,
+    forkReason: input.forkReason,
+    rationale: input.rationale,
     trustedBypassAccessCheck: input.trustedBypassAccessCheck ?? true
-  },
+  }),
   context
 );
 var confidenceInput = (input, context) => {
-  const confidence = typeof input.confidence === "number" ? input.confidence : void 0;
-  const belief = typeof input.belief === "number" ? input.belief : confidence ?? 0.5;
-  const disbelief = typeof input.disbelief === "number" ? input.disbelief : 0;
-  const uncertainty = typeof input.uncertainty === "number" ? input.uncertainty : Math.max(0, 1 - belief - disbelief);
+  const parsed = modulateConfidenceProjection.inputSchema.safeParse(input);
+  if (!parsed.success) {
+    throw new Error(
+      `modulate_confidence projection input rejected: ${parsed.error.message}`
+    );
+  }
   return withUserId(
-    {
-      ...input,
-      belief,
-      disbelief,
-      uncertainty,
-      baseRate: input.baseRate ?? 0.5,
-      trustedBypassAccessCheck: input.trustedBypassAccessCheck ?? true
-    },
+    compactRecord(modulateConfidenceProjection.project(parsed.data)),
     context
   );
 };
@@ -4169,7 +4515,7 @@ var beliefsContracts = [
       module: "beliefs",
       functionName: "getById",
       kind: "query",
-      inputProjection: withBeliefId
+      inputProjection: beliefLookupInput
     }
   }),
   surfaceContract({
@@ -4185,8 +4531,10 @@ var beliefsContracts = [
     convex: {
       module: "beliefs",
       functionName: "getByTopic",
-      kind: "query"
-    }
+      kind: "query",
+      inputProjection: beliefTopicInput
+    },
+    args: listBeliefsInputSchema
   }),
   surfaceContract({
     name: "refine_belief",
@@ -4204,7 +4552,7 @@ var beliefsContracts = [
       kind: "mutation",
       inputProjection: (input, context) => withUserId(
         {
-          ...withBeliefId(input),
+          ...beliefLookupInput(input),
           trustedBypassAccessCheck: input.trustedBypassAccessCheck ?? true
         },
         context
@@ -4225,7 +4573,8 @@ var beliefsContracts = [
       functionName: "modulateConfidence",
       kind: "mutation",
       inputProjection: confidenceInput
-    }
+    },
+    args: modulateConfidenceInputSchema
   }),
   surfaceContract({
     name: "fork_belief",
@@ -4258,10 +4607,10 @@ var beliefsContracts = [
       functionName: "archive",
       kind: "mutation",
       inputProjection: (input, context) => withUserId(
-        {
-          ...withBeliefId(input),
+        compactRecord({
+          ...beliefNodeInput(input),
           reason: input.reason ?? input.rationale
-        },
+        }),
         context
       )
     }
@@ -4279,10 +4628,12 @@ var beliefsContracts = [
       module: "nodes",
       functionName: "search",
       kind: "query",
-      inputProjection: (input) => ({
-        ...input,
+      inputProjection: (input) => compactRecord({
         searchQuery: input.searchQuery ?? input.query,
-        nodeType: "belief"
+        projectId: input.projectId,
+        topicId: input.topicId,
+        nodeType: "belief",
+        limit: input.limit
       })
     }
   }),
@@ -4299,7 +4650,7 @@ var beliefsContracts = [
       module: "beliefs",
       functionName: "getConfidenceHistory",
       kind: "query",
-      inputProjection: withBeliefId
+      inputProjection: beliefNodeInput
     }
   }),
   surfaceContract({
@@ -4316,7 +4667,7 @@ var beliefsContracts = [
       module: "beliefs",
       functionName: "getConfidenceHistory",
       kind: "query",
-      inputProjection: withBeliefId
+      inputProjection: beliefNodeInput
     }
   })
 ];