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

package/dist/function-registry/tasks.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: {
@@ -396,7 +423,22 @@ var ADD_WORKTREE = {
   description: "Check out a branch into an active worktree for investigation. Like `git worktree add <branch>` \u2014 creates independent working state on a thematic branch. Beliefs committed within the worktree can be freely amended (draft code on a feature branch). When investigation is complete, `merge` integrates findings into main.",
   parameters: {
     title: { type: "string", description: "Worktree name/objective" },
-    topicId: { type: "string", description: "Optional topic scope hint" },
+    name: {
+      type: "string",
+      description: "Optional storage-name alias for callers that already use backend naming"
+    },
+    projectId: {
+      type: "string",
+      description: "Legacy topicId alias or resolver hint"
+    },
+    topicId: {
+      type: "string",
+      description: "Optional topic scope hint for resolver validation"
+    },
+    topicHint: {
+      type: "string",
+      description: "Natural-language topic hint for automatic topic resolution"
+    },
     branchId: {
       type: "string",
       description: "The branch this worktree investigates"
@@ -409,21 +451,122 @@ var ADD_WORKTREE = {
       type: "string",
       description: "The testable claim this worktree investigates"
     },
+    rationale: {
+      type: "string",
+      description: "Why this worktree exists and why it belongs in the campaign"
+    },
+    worktreeType: {
+      type: "string",
+      description: "Schema-enum worktree type used by the kernel lifecycle and retrieval layers"
+    },
+    gate: {
+      type: "string",
+      description: "Exit gate name for this worktree"
+    },
+    startDate: {
+      type: "number",
+      description: "Planned start timestamp in milliseconds since epoch"
+    },
+    endDate: {
+      type: "number",
+      description: "Planned end timestamp in milliseconds since epoch"
+    },
+    durationWeeks: {
+      type: "number",
+      description: "Planned duration in weeks"
+    },
+    confidenceImpact: {
+      type: "string",
+      description: "Expected confidence impact if the worktree succeeds",
+      enum: ["high", "medium", "low"]
+    },
+    beliefFocus: {
+      type: "string",
+      description: "Natural-language focus spanning the target belief neighborhood"
+    },
     beliefIds: {
       type: "array",
-      description: "Beliefs to test in this worktree"
+      description: "Legacy alias for targetBeliefIds"
+    },
+    beliefs: {
+      type: "array",
+      description: "Legacy alias for targetBeliefIds"
+    },
+    targetBeliefIds: {
+      type: "array",
+      description: "Belief node IDs this worktree is expected to test or update"
+    },
+    targetQuestionIds: {
+      type: "array",
+      description: "Question node IDs this worktree is expected to answer"
+    },
+    keyQuestions: {
+      type: "array",
+      description: "Inline key question objects with question, optional status, answer, answerConfidence, and linkedQuestionId"
+    },
+    evidenceSignals: {
+      type: "array",
+      description: "Evidence signal objects with signal, optional collected state, progress, and notes"
+    },
+    decisionGate: {
+      type: "object",
+      description: "Decision gate object with goCriteria, noGoSignals, optional verdict, rationale, decidedAt, and decidedBy"
+    },
+    goCriteria: {
+      type: "array",
+      description: "Shorthand go criteria used to build decisionGate"
+    },
+    noGoSignals: {
+      type: "array",
+      description: "Shorthand no-go signals used to build decisionGate"
+    },
+    proofArtifacts: {
+      type: "array",
+      description: "Expected proof artifacts required to close the worktree"
     },
     autoShape: {
       type: "boolean",
       description: "Whether to invoke inquiry auto-shaping during worktree creation"
     },
+    autoFixPolicy: {
+      type: "object",
+      description: "Policy for permitted automatic remediation inside the worktree"
+    },
     domainPackId: {
       type: "string",
       description: "Optional domain pack whose shaping hooks should influence generated questions and tasks"
     },
-    executionOrder: {
+    tags: {
+      type: "array",
+      description: "Additional topic-resolution tags for the worktree"
+    },
+    touchedPaths: {
+      type: "array",
+      description: "File paths used as topic-resolution signals"
+    },
+    sourceRef: {
+      type: "string",
+      description: "Source reference used as a topic-resolution signal"
+    },
+    sourceKind: {
+      type: "string",
+      description: "Source kind used as a topic-resolution signal"
+    },
+    campaign: {
       type: "number",
-      description: "Global execution order for this worktree"
+      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: "Position of this worktree inside its lane."
     },
     dependsOn: {
       type: "array",
@@ -433,12 +576,20 @@ var ADD_WORKTREE = {
       type: "array",
       description: "Worktree IDs blocked by this worktree"
     },
-    gate: {
+    staffingHint: {
       type: "string",
-      description: "Exit gate name for this worktree"
+      description: "Suggested staffing or agent allocation note"
+    },
+    lensId: {
+      type: "string",
+      description: "Lens that scopes this worktree when applicable"
+    },
+    lastReconciledAt: {
+      type: "number",
+      description: "Timestamp when worktree metadata was last reconciled"
     }
   },
-  required: ["title", "topicId"],
+  required: ["title"],
   response: {
     description: "The created worktree",
     fields: {
@@ -465,7 +616,7 @@ var MERGE = {
     worktreeId: { type: "string", description: "The worktree to merge" },
     outcomes: {
       type: "array",
-      description: "Scoring outcomes for each belief: { beliefId, confidence, rationale }"
+      description: "Merge outcomes as key-finding strings, or scoring outcomes for beliefs: { beliefId, confidence, rationale }"
     },
     summary: { type: "string", description: "Overall findings summary" }
   },
@@ -683,19 +834,23 @@ var FIND_CONTRADICTIONS = {
 };
 var CREATE_EDGE = {
   name: "create_edge",
-  description: "Commit a typed relationship between two nodes in the reasoning graph. Like `git commit` \u2014 an atomic write that declares a dependency between nodes. The engine enforces layer transition rules \u2014 for example, L1 \u2192 L3 direct edges are forbidden (must go through L2).",
+  description: "Commit a typed relationship between two nodes in the reasoning graph. Like `git commit` \u2014 an atomic write that declares a dependency between nodes. Accepts any public epistemic edge type between public graph node refs so agents can author the full spine.",
   parameters: {
-    sourceId: {
-      type: "string",
-      description: "Source node of the relationship"
+    from: {
+      type: "object",
+      description: "Source graph ref, e.g. { kind: 'epistemic_node', nodeId: '...', nodeType: 'topic' }"
     },
-    targetId: {
-      type: "string",
-      description: "Target node of the relationship"
+    to: {
+      type: "object",
+      description: "Target graph ref, e.g. { kind: 'epistemic_node', nodeId: '...', nodeType: 'belief' }"
     },
     edgeType: {
       type: "string",
-      description: "Relationship type (informs, tests, depends_on, supersedes, etc.)"
+      description: "Relationship type from the public epistemic edge enum."
+    },
+    globalId: {
+      type: "string",
+      description: "Optional idempotent edge global ID."
     },
     weight: {
       type: "number",
@@ -706,9 +861,13 @@ var CREATE_EDGE = {
       type: "string",
       description: "How this was determined",
       enum: ["deductive", "inductive", "abductive", "analogical", "empirical"]
+    },
+    metadata: {
+      type: "object",
+      description: "Optional edge metadata."
     }
   },
-  required: ["sourceId", "targetId", "edgeType"],
+  required: ["from", "to", "edgeType"],
   response: {
     description: "The created edge",
     fields: {
@@ -722,6 +881,240 @@ var CREATE_EDGE = {
   ontologyPrimitive: "edge",
   tier: "showcase"
 };
+var UPDATE_EDGE = {
+  name: "update_edge",
+  description: "Amend metadata on an existing graph edge. Like `git commit --amend` \u2014 changes the edge annotation without recreating the relationship.",
+  parameters: {
+    edgeId: { type: "string", description: "Edge ID or global ID to update" },
+    weight: { type: "number", description: "Updated edge weight" },
+    confidence: { type: "number", description: "Updated confidence" },
+    context: { type: "string", description: "Updated human-readable context" },
+    derivationType: { type: "string", description: "Updated derivation type" },
+    metadata: { type: "object", description: "Updated metadata" }
+  },
+  required: ["edgeId"],
+  response: {
+    description: "Edge update result",
+    fields: { success: "boolean" }
+  },
+  ownerModule: "graph-primitives",
+  ontologyPrimitive: "edge",
+  tier: "workhorse"
+};
+var REMOVE_EDGE = {
+  name: "remove_edge",
+  description: "Remove one graph edge by ID. Like `git rm` \u2014 deletes a single explicit relationship from the spine.",
+  parameters: {
+    edgeId: { type: "string", description: "Edge ID or global ID to remove" }
+  },
+  required: ["edgeId"],
+  response: {
+    description: "Edge removal result",
+    fields: { success: "boolean" }
+  },
+  ownerModule: "graph-primitives",
+  ontologyPrimitive: "edge",
+  tier: "workhorse"
+};
+var REMOVE_EDGES_BETWEEN = {
+  name: "remove_edges_between",
+  description: "Remove graph edges between two nodes. Like `git rm <pathspec>` \u2014 deletes relationships matching a source, target, and optional type.",
+  parameters: {
+    fromNodeId: { type: "string", description: "Source node ID or global ID" },
+    toNodeId: { type: "string", description: "Target node ID or global ID" },
+    edgeType: { type: "string", description: "Optional edge type filter" }
+  },
+  required: ["fromNodeId", "toNodeId"],
+  response: {
+    description: "Matched edge removal result",
+    fields: { deleted: "number" }
+  },
+  ownerModule: "graph-primitives",
+  ontologyPrimitive: "edge",
+  tier: "workhorse"
+};
+var BATCH_CREATE_EDGES = {
+  name: "batch_create_edges",
+  description: "Commit multiple typed graph edges. Like `git commit` with many staged paths \u2014 writes a batch of explicit relationships atomically per edge.",
+  parameters: {
+    edges: {
+      type: "array",
+      description: "Edges to create, each with from, to, edgeType, and optional weight/confidence/context."
+    },
+    skipLayerValidation: {
+      type: "boolean",
+      description: "Skip kernel layer validation for trusted materialization flows."
+    }
+  },
+  required: ["edges"],
+  response: {
+    description: "Batch edge creation result",
+    fields: {
+      created: "number",
+      results: "array",
+      errors: "array"
+    }
+  },
+  ownerModule: "graph-primitives",
+  ontologyPrimitive: "edge",
+  tier: "workhorse"
+};
+var CREATE_EPISTEMIC_NODE = {
+  name: "create_epistemic_node",
+  description: "Commit a generic epistemic graph node. Like `git commit` \u2014 creates a canonical node in the public spine for topics, beliefs, evidence, questions, answers, sources, and entities.",
+  parameters: {
+    globalId: { type: "string", description: "Optional idempotent node global ID" },
+    nodeType: { type: "string", description: "Public epistemic node type" },
+    canonicalText: { type: "string", description: "Canonical node text" },
+    text: { type: "string", description: "Alias for canonicalText" },
+    contentHash: { type: "string", description: "Optional idempotency content hash" },
+    sourceType: { type: "string", description: "Source type for provenance" },
+    topicId: { type: "string", description: "Optional topic scope" },
+    content: { type: "string", description: "Extended content" },
+    title: { type: "string", description: "Display title" },
+    metadata: { type: "object", description: "Optional node metadata" }
+  },
+  required: ["nodeType"],
+  response: {
+    description: "Created node result",
+    fields: {
+      nodeId: "string",
+      nodeGlobalId: "string",
+      isDuplicate: "boolean"
+    }
+  },
+  ownerModule: "reasoning-kernel",
+  ontologyPrimitive: "graph",
+  tier: "showcase"
+};
+var GET_EPISTEMIC_NODE = {
+  name: "get_epistemic_node",
+  description: "Read one epistemic graph node. Like `git show` \u2014 resolves a canonical spine node by ID or global ID.",
+  parameters: {
+    nodeId: { type: "string", description: "Node ID or global ID" }
+  },
+  required: ["nodeId"],
+  response: {
+    description: "The resolved node",
+    fields: { node: "object" }
+  },
+  ownerModule: "reasoning-kernel",
+  ontologyPrimitive: "graph",
+  tier: "workhorse"
+};
+var LIST_EPISTEMIC_NODES = {
+  name: "list_epistemic_nodes",
+  description: "List epistemic graph nodes. Like `git ls-tree` \u2014 lists canonical spine nodes by topic, type, status, or search query.",
+  parameters: {
+    topicId: { type: "string", description: "Optional topic scope" },
+    nodeType: { type: "string", description: "Optional node type filter" },
+    status: { type: "string", description: "Optional lifecycle status" },
+    searchQuery: { type: "string", description: "Optional text search query" },
+    limit: { type: "number", description: "Maximum nodes to return" }
+  },
+  required: [],
+  response: {
+    description: "Matching nodes",
+    fields: { nodes: "array" }
+  },
+  ownerModule: "reasoning-kernel",
+  ontologyPrimitive: "graph",
+  tier: "workhorse"
+};
+var UPDATE_EPISTEMIC_NODE = {
+  name: "update_epistemic_node",
+  description: "Amend an epistemic graph node. Like `git commit --amend` \u2014 updates mutable node metadata, text, status, or verification fields.",
+  parameters: {
+    nodeId: { type: "string", description: "Node ID or global ID" },
+    canonicalText: { type: "string", description: "Updated canonical text" },
+    text: { type: "string", description: "Alias for canonicalText" },
+    contentHash: { type: "string", description: "Updated content hash" },
+    content: { type: "string", description: "Updated content" },
+    title: { type: "string", description: "Updated display title" },
+    metadata: { type: "object", description: "Updated metadata" },
+    confidence: { type: "number", description: "Updated confidence" },
+    verificationStatus: { type: "string", description: "Updated verification status" },
+    status: { type: "string", description: "Updated lifecycle status" }
+  },
+  required: ["nodeId"],
+  response: {
+    description: "Node update result",
+    fields: { success: "boolean" }
+  },
+  ownerModule: "reasoning-kernel",
+  ontologyPrimitive: "graph",
+  tier: "workhorse"
+};
+var ARCHIVE_EPISTEMIC_NODE = {
+  name: "archive_epistemic_node",
+  description: "Archive an epistemic graph node. Like `git rm --cached` \u2014 removes a node from active traversal without hard-deleting it.",
+  parameters: {
+    nodeId: { type: "string", description: "Node ID or global ID" }
+  },
+  required: ["nodeId"],
+  response: {
+    description: "Archive result",
+    fields: { success: "boolean", effectiveStatus: "string" }
+  },
+  ownerModule: "reasoning-kernel",
+  ontologyPrimitive: "graph",
+  tier: "workhorse"
+};
+var VERIFY_EPISTEMIC_NODE = {
+  name: "verify_epistemic_node",
+  description: "Record verification state on an epistemic graph node. Like `git tag` \u2014 marks the node with a reviewed verification state.",
+  parameters: {
+    nodeId: { type: "string", description: "Node ID or global ID" },
+    verificationStatus: { type: "string", description: "Verification status" },
+    confidence: { type: "number", description: "Optional confidence update" }
+  },
+  required: ["nodeId", "verificationStatus"],
+  response: {
+    description: "Verification result",
+    fields: { success: "boolean" }
+  },
+  ownerModule: "reasoning-kernel",
+  ontologyPrimitive: "graph",
+  tier: "workhorse"
+};
+var SUPERSEDE_EPISTEMIC_NODE = {
+  name: "supersede_epistemic_node",
+  description: "Supersede an epistemic graph node with a new version. Like `git commit --amend` on an immutable history branch \u2014 creates the replacement and marks the old node superseded.",
+  parameters: {
+    oldNodeId: { type: "string", description: "Node ID or global ID to supersede" },
+    newGlobalId: { type: "string", description: "Optional replacement global ID" },
+    newCanonicalText: { type: "string", description: "Replacement canonical text" },
+    text: { type: "string", description: "Alias for newCanonicalText" },
+    newContentHash: { type: "string", description: "Optional replacement content hash" },
+    reason: { type: "string", description: "Reason for superseding" }
+  },
+  required: ["oldNodeId"],
+  response: {
+    description: "Supersede result",
+    fields: { oldNodeId: "string", newNodeId: "string" }
+  },
+  ownerModule: "reasoning-kernel",
+  ontologyPrimitive: "graph",
+  tier: "workhorse"
+};
+var BATCH_CREATE_EPISTEMIC_NODES = {
+  name: "batch_create_epistemic_nodes",
+  description: "Commit multiple epistemic graph nodes. Like `git commit` with many staged files \u2014 writes a batch of canonical spine nodes.",
+  parameters: {
+    nodes: {
+      type: "array",
+      description: "Nodes to create with nodeType, canonicalText/text, and optional metadata."
+    }
+  },
+  required: ["nodes"],
+  response: {
+    description: "Batch node creation result",
+    fields: { created: "number", results: "array" }
+  },
+  ownerModule: "reasoning-kernel",
+  ontologyPrimitive: "graph",
+  tier: "workhorse"
+};
 var RECORD_JUDGMENT = {
   name: "record_judgment",
   description: "Record a judgment \u2014 an irreversible commitment based on the current epistemic state. Like a `git tag` marking a release. A judgment synthesizes beliefs, evidence, and uncertainties into a determination. Once issued, a judgment is evaluated against the epistemic state that existed when it was made (knowledge horizon evaluation, Invariant #10).",
@@ -1019,6 +1412,74 @@ var GET_GRAPH_STRUCTURE_ANALYSIS = {
   ontologyPrimitive: "graph",
   tier: "showcase"
 };
+var LIST_GRAPH_INTELLIGENCE_QUERIES = {
+  name: "list_graph_intelligence_queries",
+  description: "List the Graph Intelligence query catalog that powers structural graph analysis experiences. Returns categories, query IDs, prompt templates, modes, and the public tool plan each query can use.",
+  parameters: {
+    categoryId: {
+      type: "string",
+      description: "Optional category filter, such as problems or strategic"
+    },
+    mode: {
+      type: "string",
+      description: "Optional mode filter: core, bias, stress, operational, alpha, semantic, or evidence"
+    }
+  },
+  required: [],
+  response: {
+    description: "Graph Intelligence query catalog and mode-to-tool mapping",
+    fields: {
+      categories: "array \u2014 query categories",
+      queries: "array \u2014 query definitions with prompt templates and tools",
+      quickQueries: "array \u2014 recommended one-click query presets",
+      publicToolNamesByMode: "object \u2014 public tool names available to each Graph Intelligence mode"
+    }
+  },
+  ownerModule: "graph-intelligence",
+  ontologyPrimitive: "graph",
+  tier: "showcase"
+};
+var RUN_GRAPH_INTELLIGENCE_QUERY = {
+  name: "run_graph_intelligence_query",
+  description: "Run a named Graph Intelligence query against a tenant topic graph. Returns the selected query, prompt, deterministic graph-analysis bundle, graph context, and public tool plan for model synthesis.",
+  parameters: {
+    topicId: { type: "string", description: "Topic to analyze" },
+    queryId: {
+      type: "string",
+      description: "Graph Intelligence query ID, such as confirmation-bias, pre-mortem, or thesis-summary"
+    },
+    prompt: {
+      type: "string",
+      description: "Optional custom prompt for custom analysis runs"
+    },
+    input: {
+      type: "string",
+      description: "Optional entity, theme, belief, company, or search text for input-driven queries"
+    },
+    mode: {
+      type: "string",
+      description: "Optional mode override: core, bias, stress, operational, alpha, semantic, or evidence"
+    },
+    limit: {
+      type: "number",
+      description: "Maximum graph context rows to return"
+    }
+  },
+  required: ["topicId"],
+  response: {
+    description: "Graph Intelligence query result bundle ready for model or prompt-library synthesis",
+    fields: {
+      query: "object \u2014 selected query definition",
+      prompt: "string \u2014 resolved prompt template",
+      toolPlan: "array \u2014 public tools and args the model can call next",
+      analysis: "object \u2014 structure, coverage, gap, and confirmation-bias analysis",
+      context: "object \u2014 sampled beliefs, questions, evidence, edges, and contradictions"
+    }
+  },
+  ownerModule: "graph-intelligence",
+  ontologyPrimitive: "graph",
+  tier: "showcase"
+};
 var GET_FALSIFICATION_QUESTIONS = {
   name: "get_falsification_questions",
   description: "Generate Popperian falsification questions for beliefs. Like `git test` \u2014 identifies the questions most likely to disprove current beliefs. Karl Popper as a tool: surfaces what would need to be true to invalidate each belief.",
@@ -1081,6 +1542,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 +1554,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 +1602,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 +1787,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 +1800,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 +2019,10 @@ var LIST_BELIEFS = {
     minConfidence: {
       type: "number",
       description: "Minimum confidence threshold"
+    },
+    limit: {
+      type: "number",
+      description: "Maximum results"
     }
   },
   required: ["topicId"],
@@ -1569,20 +2039,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 +2078,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 +2096,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 +2118,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 +2213,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: "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: "Global execution order (1 = first, higher = later)"
+      description: "Position of this worktree inside its lane."
     },
     dependsOn: {
       type: "array",
@@ -1739,18 +2272,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.",
@@ -1807,15 +2328,15 @@ var IDENTITY_WHOAMI = {
 };
 var COMPILE_CONTEXT = {
   name: "compile_context",
-  description: "Compile a focused reasoning context for a topic. Like `git log --graph --decorate` for the reasoning substrate \u2014 returns the canonical Pillar 3 context pack through the public API shape.",
+  description: "Compile a focused reasoning context. If topicId is omitted, Lucern resolves the best topic from the query. Like `git log --graph --decorate` for the reasoning substrate \u2014 returns the canonical Pillar 3 context pack through the public API shape.",
   parameters: {
     topicId: {
       type: "string",
-      description: "Topic scope ID to compile"
+      description: "Optional topic scope ID. Omit to resolve the topic from query."
     },
     query: {
       type: "string",
-      description: "Optional focus query used to rank context items"
+      description: "Focus query used to resolve the topic and rank context items. Required when topicId is omitted."
     },
     budget: {
       type: "number",
@@ -1839,7 +2360,7 @@ var COMPILE_CONTEXT = {
       description: "Include related ontological entities in the compiled result"
     }
   },
-  required: ["topicId"],
+  required: [],
   response: {
     description: "Compiled context pack for the requested topic",
     fields: {
@@ -2013,18 +2534,60 @@ var CREATE_TASK = {
   name: "create_task",
   description: "Create an execution task tied to the reasoning state. Like `git task` \u2014 tracks concrete work items (calls to make, data to gather, analyses to run) linked to questions, beliefs, or worktrees.",
   parameters: {
-    title: { type: "string", description: "Task description" },
+    title: { type: "string", description: "Task title" },
     topicId: { type: "string", description: "Topic scope" },
+    description: {
+      type: "string",
+      description: "Long-form task description"
+    },
     taskType: {
       type: "string",
-      description: "Type: research, interview, analysis, data_collection",
-      enum: ["research", "interview", "analysis", "data_collection"]
+      description: "Task taxonomy",
+      enum: [
+        "general",
+        "find_evidence",
+        "verify_claim",
+        "research",
+        "review",
+        "interview",
+        "analysis",
+        "track_metrics"
+      ]
+    },
+    priority: {
+      type: "string",
+      description: "Priority",
+      enum: ["urgent", "high", "medium", "low"]
+    },
+    status: {
+      type: "string",
+      description: "Initial status (defaults to todo)",
+      enum: ["todo", "in_progress", "blocked", "done"]
+    },
+    linkedWorktreeId: {
+      type: "string",
+      description: "Worktree this task belongs to"
+    },
+    linkedBeliefId: {
+      type: "string",
+      description: "Belief this task supports"
     },
     linkedQuestionId: {
       type: "string",
       description: "Question this task addresses"
     },
-    linkedWorktreeId: { type: "string", description: "Worktree scope" }
+    assigneeId: {
+      type: "string",
+      description: "Principal assigned to the task"
+    },
+    dueDate: {
+      type: "number",
+      description: "Due date as epoch milliseconds"
+    },
+    tags: {
+      type: "array",
+      description: "Free-form string tags"
+    }
   },
   required: ["title"],
   response: {
@@ -2120,6 +2683,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",
@@ -2140,6 +2707,10 @@ var CREATE_TOPIC = {
   name: "create_topic",
   description: "Create a new topic container for scoping knowledge. Like `git init` \u2014 initializes a new repository for a knowledge domain. Topics are hierarchical: a deal topic can nest under a theme topic. Types: domain, theme, deal, strategy, constitution, project, portfolio.",
   parameters: {
+    globalId: {
+      type: "string",
+      description: "Optional idempotent topic global ID"
+    },
     name: { type: "string", description: "Topic name" },
     type: {
       type: "string",
@@ -2150,6 +2721,18 @@ var CREATE_TOPIC = {
       type: "string",
       description: "Optional parent topic for nesting"
     },
+    parentTopicGlobalId: {
+      type: "string",
+      description: "Optional parent topic global ID for nesting"
+    },
+    tenantId: { type: "string", description: "Optional tenant scope" },
+    workspaceId: { type: "string", description: "Optional workspace scope" },
+    visibility: {
+      type: "string",
+      description: "Topic visibility",
+      enum: ["private", "team", "firm", "external", "public"]
+    },
+    metadata: { type: "object", description: "Optional topic metadata" },
     createdBy: { type: "string", description: "Who created this topic" }
   },
   required: ["name", "type"],
@@ -2158,6 +2741,9 @@ var CREATE_TOPIC = {
     fields: {
       id: "string \u2014 topic ID",
       globalId: "string \u2014 globally unique ID",
+      topicGlobalId: "string \u2014 topic global ID",
+      epistemicNodeId: "string \u2014 materialized topic node ID",
+      epistemicNodeGlobalId: "string \u2014 materialized topic node global ID",
       depth: "number \u2014 nesting depth"
     }
   },
@@ -2207,7 +2793,7 @@ var GET_TOPIC = {
       description: "Legacy alias for topicId"
     }
   },
-  required: [],
+  required: ["topicId"],
   response: {
     description: "Single topic record",
     fields: {
@@ -2288,6 +2874,65 @@ var GET_TOPIC_TREE = {
   ontologyPrimitive: "graph",
   tier: "workhorse"
 };
+var MATERIALIZE_TOPIC_GRAPH = {
+  name: "materialize_topic_graph",
+  description: "Backfill the topic graph spine. Like `git fsck --connectivity-only` with repair enabled \u2014 creates missing topic nodes and parent-child edges idempotently.",
+  parameters: {
+    rootTopicId: {
+      type: "string",
+      description: "Optional root topic for a bounded materialization pass"
+    },
+    dryRun: {
+      type: "boolean",
+      description: "When true, report missing rows without writing them"
+    }
+  },
+  required: [],
+  response: {
+    description: "Topic graph materialization counts",
+    fields: {
+      topicsSeen: "number",
+      nodesCreated: "number",
+      nodesExisting: "number",
+      edgesCreated: "number",
+      edgesExisting: "number",
+      errors: "array"
+    }
+  },
+  ownerModule: "reasoning-kernel",
+  ontologyPrimitive: "graph",
+  tier: "workhorse"
+};
+var GET_TOPIC_GRAPH_SPINE = {
+  name: "get_topic_graph_spine",
+  description: "Verify the topic graph spine. Like `git fsck` \u2014 reads topics, materialized topic nodes, parent-child edges, and missing spine rows.",
+  parameters: {
+    rootTopicId: {
+      type: "string",
+      description: "Optional root topic for a bounded verifier pass"
+    },
+    includeTopicBeliefEdges: {
+      type: "boolean",
+      description: "Include topic -> belief edges in the verifier payload"
+    }
+  },
+  required: [],
+  response: {
+    description: "Topic graph spine verification payload",
+    fields: {
+      ok: "boolean",
+      counts: "object",
+      topics: "array",
+      topicNodes: "array",
+      parentEdges: "array",
+      missingTopicNodes: "array",
+      missingParentEdges: "array"
+    }
+  },
+  ownerModule: "reasoning-kernel",
+  ontologyPrimitive: "graph",
+  tier: "workhorse"
+};
 var GET_CODE_CONTEXT = {
   name: "get_code_context",
   description: "Returns code-grounded beliefs, contracts, migration states, and failed attempts anchored to a specific file or function path. Like `git log -- <path>` \u2014 filters the knowledge graph to nodes anchored to a file path via metadata.codeAnchors. Results are separated by coding belief type: decisions, contracts, migrations, patterns, deprecations, and failures.",
@@ -2562,7 +3207,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 +3274,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 +3528,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 +3538,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",
@@ -3420,6 +4065,69 @@ var GENERATE_SESSION_HANDOFF = {
   tier: "showcase",
   internal: true
 };
+var BEGIN_BUILD_SESSION = {
+  name: "begin_build_session",
+  description: "Bootstrap a coding build session for a Lucern worktree. Like `git worktree add` plus `git status` \u2014 returns the compact context packet an agent needs before editing.",
+  parameters: {
+    worktreeId: {
+      type: "string",
+      description: "The Lucern worktree ID to bootstrap."
+    },
+    branch: {
+      type: "string",
+      description: "Optional git branch name. Auto-generated from the worktree name when omitted."
+    },
+    branchBase: {
+      type: "string",
+      description: 'Base branch for the feature branch. Default: "staging".'
+    },
+    prBase: {
+      type: "string",
+      description: 'Target branch for the PR. Default: "staging".'
+    },
+    sessionMode: {
+      type: "string",
+      description: 'Session mode: "async" for Codex/headless or "interactive" for live sessions.',
+      enum: ["async", "interactive"]
+    },
+    activateIfPlanning: {
+      type: "boolean",
+      description: "When true, automatically activate a planning worktree during bootstrap."
+    }
+  },
+  required: ["worktreeId"],
+  response: {
+    description: "A compact build-session packet with worktree metadata, graph anchors, questions, dependencies, and git defaults.",
+    fields: {
+      topicId: "string \u2014 canonical topic scope",
+      topicName: "string \u2014 human-readable topic name",
+      worktreeId: "string \u2014 worktree ID",
+      worktreeName: "string \u2014 human-readable worktree name",
+      branch: "string \u2014 git branch name",
+      branchBase: "string \u2014 base branch",
+      prBase: "string \u2014 PR target branch",
+      campaign: "number | null \u2014 top-level pipeline campaign",
+      lane: "string \u2014 campaign lane",
+      gate: "string \u2014 exit gate",
+      hypothesis: "string \u2014 worktree hypothesis",
+      focus: "string \u2014 session focus",
+      status: "string \u2014 worktree status after optional activation",
+      sessionMode: "string \u2014 async | interactive",
+      targetBeliefIds: "array \u2014 scoped belief IDs",
+      targetQuestionIds: "array \u2014 scoped question IDs",
+      topBeliefs: "array \u2014 highest-confidence scoped beliefs",
+      openQuestions: "array \u2014 open scoped questions",
+      resolvedDecisions: "array \u2014 answered questions summarized for the session",
+      dependencies: "array \u2014 upstream worktrees",
+      unblocks: "array \u2014 downstream worktrees",
+      mergeOrderNotes: "string \u2014 merge ordering advisory"
+    }
+  },
+  ownerModule: "bootstrap",
+  ontologyPrimitive: "worktree",
+  tier: "showcase",
+  internal: true
+};
 var MCP_TOOL_CONTRACTS = {
   // Belief lifecycle (commit, amend, fork, archive)
   create_belief: CREATE_BELIEF,
@@ -3462,11 +4170,26 @@ var MCP_TOOL_CONTRACTS = {
   bisect_confidence: BISECT_CONFIDENCE,
   // Edges (commit)
   create_edge: CREATE_EDGE,
+  update_edge: UPDATE_EDGE,
+  remove_edge: REMOVE_EDGE,
+  remove_edges_between: REMOVE_EDGES_BETWEEN,
+  batch_create_edges: BATCH_CREATE_EDGES,
+  // Epistemic node spine (commit/amend/show)
+  create_epistemic_node: CREATE_EPISTEMIC_NODE,
+  get_epistemic_node: GET_EPISTEMIC_NODE,
+  list_epistemic_nodes: LIST_EPISTEMIC_NODES,
+  update_epistemic_node: UPDATE_EPISTEMIC_NODE,
+  archive_epistemic_node: ARCHIVE_EPISTEMIC_NODE,
+  verify_epistemic_node: VERIFY_EPISTEMIC_NODE,
+  supersede_epistemic_node: SUPERSEDE_EPISTEMIC_NODE,
+  batch_create_epistemic_nodes: BATCH_CREATE_EPISTEMIC_NODES,
   // Judgments (tag)
   record_judgment: RECORD_JUDGMENT,
   // Graph intelligence (showcase)
   detect_confirmation_bias: DETECT_CONFIRMATION_BIAS,
   get_graph_structure_analysis: GET_GRAPH_STRUCTURE_ANALYSIS,
+  list_graph_intelligence_queries: LIST_GRAPH_INTELLIGENCE_QUERIES,
+  run_graph_intelligence_query: RUN_GRAPH_INTELLIGENCE_QUERY,
   get_falsification_questions: GET_FALSIFICATION_QUESTIONS,
   // Evidence operations (workhorse)
   search_evidence: SEARCH_EVIDENCE,
@@ -3489,6 +4212,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,
@@ -3512,6 +4236,7 @@ var MCP_TOOL_CONTRACTS = {
   get_agent_inbox: GET_AGENT_INBOX,
   claim_files: CLAIM_FILES,
   generate_session_handoff: GENERATE_SESSION_HANDOFF,
+  begin_build_session: BEGIN_BUILD_SESSION,
   // Policy / ACL (workhorse)
   check_permission: CHECK_PERMISSION,
   filter_by_permission: FILTER_BY_PERMISSION,
@@ -3531,6 +4256,8 @@ var MCP_TOOL_CONTRACTS = {
   get_topic: GET_TOPIC,
   update_topic: UPDATE_TOPIC,
   get_topic_tree: GET_TOPIC_TREE,
+  materialize_topic_graph: MATERIALIZE_TOPIC_GRAPH,
+  get_topic_graph_spine: GET_TOPIC_GRAPH_SPINE,
   // Coding intelligence (code-grounded knowledge)
   get_code_context: GET_CODE_CONTEXT,
   get_change_history: GET_CHANGE_HISTORY,
@@ -3635,18 +4362,34 @@ var MCP_CORE_OPERATION_NAMES = [
   "find_missing_questions",
   "get_high_priority_questions",
   "get_falsification_questions",
+  "create_epistemic_node",
+  "get_epistemic_node",
+  "list_epistemic_nodes",
+  "update_epistemic_node",
+  "archive_epistemic_node",
+  "verify_epistemic_node",
+  "supersede_epistemic_node",
+  "batch_create_epistemic_nodes",
   "create_topic",
   "get_topic",
   "list_topics",
   "update_topic",
-  "get_topic_tree"
+  "get_topic_tree",
+  "materialize_topic_graph",
+  "get_topic_graph_spine"
 ];
 var MCP_ANALYSIS_PLATFORM_OPERATION_NAMES = [
   "create_edge",
+  "update_edge",
+  "remove_edge",
+  "remove_edges_between",
+  "batch_create_edges",
   "query_lineage",
   "traverse_graph",
   "get_graph_neighborhood",
   "get_graph_structure_analysis",
+  "list_graph_intelligence_queries",
+  "run_graph_intelligence_query",
   "find_contradictions",
   "flag_contradiction",
   "detect_confirmation_bias",
@@ -3671,6 +4414,7 @@ var MCP_WORKFLOW_PLATFORM_OPERATION_NAMES = [
   "activate_worktree",
   "list_worktrees",
   "list_all_worktrees",
+  "list_campaigns",
   "update_worktree_targets",
   "update_worktree_metadata",
   "create_task",
@@ -3724,6 +4468,7 @@ var PLATFORM_INTERNAL_OPERATION_NAMES = [
   "get_change_history",
   "get_failure_log",
   "record_attempt",
+  "begin_build_session",
   "push",
   "open_pull_request",
   "record_judgment",
@@ -3778,7 +4523,6 @@ var SDK_ONLY_OPERATION_NAMES = [
   "find_semantic_orphans"
 ];
 var MCP_ONLY_INTERNAL_OPERATION_NAMES = [
-  "begin_build_session",
   "evaluate_engineering_contract",
   "evaluate_research_contract"
 ];
@@ -3878,6 +4622,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 +4657,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 +4711,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 +4733,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 {
@@ -3998,8 +4777,11 @@ function mcpContractFromArgsSchema(base, args, contractName) {
     required: converted.filter(([, field]) => field.required).map(([fieldName]) => fieldName)
   };
 }
-function defineFunctionContract(contract) {
-  return contract;
+var defineFunctionContract = (contract) => contract;
+function compactRecord(input) {
+  return Object.fromEntries(
+    Object.entries(input).filter(([, value]) => value !== void 0)
+  );
 }
 function surfaceMcpContract(name) {
   const contract = MCP_TOOL_CONTRACTS[name];
@@ -4045,7 +4827,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,
@@ -4089,11 +4873,109 @@ function surfaceContract(args) {
   });
 }
 
+// src/projections/projection-dsl.ts
+function defineProjection(def) {
+  return 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"),
+  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")
+});
+function compactRecord2(input) {
+  return Object.fromEntries(
+    Object.entries(input).filter(([, value]) => value !== void 0)
+  );
+}
+var listTasksProjection = defineProjection({
+  contractName: "list_tasks",
+  inputSchema: listTasksInputSchema,
+  project: (input) => compactRecord2({
+    topicId: input.topicId,
+    status: input.status,
+    userId: void 0,
+    limit: input.limit,
+    linkedWorktreeId: input.linkedWorktreeId ?? input.worktreeId
+  }),
+  convexArgsValidator: v.object({
+    topicId: v.string(),
+    status: v.optional(
+      v.union(
+        v.literal("todo"),
+        v.literal("in_progress"),
+        v.literal("blocked"),
+        v.literal("done")
+      )
+    ),
+    limit: v.optional(v.number()),
+    linkedWorktreeId: v.optional(v.string())
+  })
+});
+
 // src/function-registry/tasks.ts
-var taskInput = (input) => ({
+var taskPrioritySchema = z.enum(["urgent", "high", "medium", "low"]);
+var taskStatusSchema2 = z.enum(["todo", "in_progress", "blocked", "done"]);
+var taskTypeSchema = z.enum([
+  "general",
+  "find_evidence",
+  "verify_claim",
+  "research",
+  "review",
+  "interview",
+  "analysis",
+  "track_metrics"
+]);
+var createTaskArgs = z.object({
+  title: z.string().describe("Task title."),
+  topicId: z.string().optional().describe("Topic scope."),
+  description: z.string().optional().describe("Long-form task description."),
+  taskType: taskTypeSchema.optional().describe("Task taxonomy."),
+  priority: taskPrioritySchema.optional().describe("Priority. Defaults to medium when omitted by the server."),
+  status: taskStatusSchema2.optional().describe("Initial status. Defaults to todo."),
+  linkedWorktreeId: z.string().optional().describe("Worktree this task belongs to."),
+  linkedBeliefId: z.string().optional().describe("Belief this task supports."),
+  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.")
+});
+var createTaskInput = (input) => compactRecord({
+  title: input.title,
+  topicId: input.topicId,
+  description: input.description,
+  taskType: input.taskType,
+  priority: input.priority ?? "medium",
+  status: input.status ?? "todo",
+  linkedWorktreeId: input.linkedWorktreeId,
+  linkedBeliefId: input.linkedBeliefId,
+  linkedQuestionId: input.linkedQuestionId,
+  assigneeId: input.assigneeId,
+  dueDate: input.dueDate,
+  tags: input.tags
+});
+var taskInput = (input) => compactRecord({
   ...input,
   taskId: input.taskId ?? input.id
 });
+var taskTopicInput = (input) => {
+  const parsed = listTasksProjection.inputSchema.safeParse(input);
+  if (!parsed.success) {
+    throw new Error(
+      `list_tasks projection input rejected: ${parsed.error.message}`
+    );
+  }
+  return compactRecord(listTasksProjection.project(parsed.data));
+};
+var completeTaskInput = (input) => compactRecord({
+  taskId: input.taskId ?? input.id,
+  outputSummary: input.outputSummary ?? input.summary,
+  userId: input.userId
+});
 var tasksContracts = [
   surfaceContract({
     name: "create_task",
@@ -4107,8 +4989,10 @@ var tasksContracts = [
     convex: {
       module: "tasks",
       functionName: "create",
-      kind: "mutation"
-    }
+      kind: "mutation",
+      inputProjection: createTaskInput
+    },
+    args: createTaskArgs
   }),
   surfaceContract({
     name: "list_tasks",
@@ -4123,8 +5007,10 @@ var tasksContracts = [
     convex: {
       module: "tasks",
       functionName: "getByTopic",
-      kind: "query"
-    }
+      kind: "query",
+      inputProjection: taskTopicInput
+    },
+    args: listTasksInputSchema
   }),
   surfaceContract({
     name: "update_task",
@@ -4156,7 +5042,7 @@ var tasksContracts = [
       module: "tasks",
       functionName: "complete",
       kind: "mutation",
-      inputProjection: taskInput
+      inputProjection: completeTaskInput
     }
   })
 ];