@lucern/contracts 0.3.0-alpha.17 → 0.3.0-alpha.3

package/dist/function-registry/beliefs.js

@@ -1,21 +1,7 @@
 import { z } from 'zod';
 import { v } from 'convex/values';
 
-// src/function-registry/beliefs.ts
-
-// src/types/reasoning-method.ts
-var REASONING_METHODS = [
-  "deductive",
-  "inductive",
-  "abductive",
-  "analogical",
-  "causal",
-  "correlational",
-  "testimonial",
-  "statistical",
-  "implicit",
-  "pattern_match"
-];
+// src/function-registry/helpers.ts
 
 // src/lens-workflow.contract.ts
 var LENS_PERSPECTIVE_TYPES = [
@@ -437,22 +423,7 @@ 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" },
-    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"
-    },
+    topicId: { type: "string", description: "Optional topic scope hint" },
     branchId: {
       type: "string",
       description: "The branch this worktree investigates"
@@ -465,107 +436,18 @@ 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: "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"
+      description: "Beliefs to test in this 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"
     },
-    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: "Top-level pipeline campaign number. Campaigns define the outer execution slice."
@@ -590,20 +472,12 @@ var ADD_WORKTREE = {
       type: "array",
       description: "Worktree IDs blocked by this worktree"
     },
-    staffingHint: {
-      type: "string",
-      description: "Suggested staffing or agent allocation note"
-    },
-    lensId: {
+    gate: {
       type: "string",
-      description: "Lens that scopes this worktree when applicable"
-    },
-    lastReconciledAt: {
-      type: "number",
-      description: "Timestamp when worktree metadata was last reconciled"
+      description: "Exit gate name for this worktree"
     }
   },
-  required: ["title"],
+  required: ["title", "topicId"],
   response: {
     description: "The created worktree",
     fields: {
@@ -630,7 +504,7 @@ var MERGE = {
     worktreeId: { type: "string", description: "The worktree to merge" },
     outcomes: {
       type: "array",
-      description: "Merge outcomes as key-finding strings, or scoring outcomes for beliefs: { beliefId, confidence, rationale }"
+      description: "Scoring outcomes for each belief: { beliefId, confidence, rationale }"
     },
     summary: { type: "string", description: "Overall findings summary" }
   },
@@ -848,23 +722,19 @@ 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. Accepts any public epistemic edge type between public graph node refs so agents can author the full spine.",
+  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).",
   parameters: {
-    from: {
-      type: "object",
-      description: "Source graph ref, e.g. { kind: 'epistemic_node', nodeId: '...', nodeType: 'topic' }"
-    },
-    to: {
-      type: "object",
-      description: "Target graph ref, e.g. { kind: 'epistemic_node', nodeId: '...', nodeType: 'belief' }"
+    sourceId: {
+      type: "string",
+      description: "Source node of the relationship"
     },
-    edgeType: {
+    targetId: {
       type: "string",
-      description: "Relationship type from the public epistemic edge enum."
+      description: "Target node of the relationship"
     },
-    globalId: {
+    edgeType: {
       type: "string",
-      description: "Optional idempotent edge global ID."
+      description: "Relationship type (informs, tests, depends_on, supersedes, etc.)"
     },
     weight: {
       type: "number",
@@ -874,14 +744,10 @@ var CREATE_EDGE = {
     reasoningMethod: {
       type: "string",
       description: "How this was determined",
-      enum: [...REASONING_METHODS]
-    },
-    metadata: {
-      type: "object",
-      description: "Optional edge metadata."
+      enum: ["deductive", "inductive", "abductive", "analogical", "empirical"]
     }
   },
-  required: ["from", "to", "edgeType"],
+  required: ["sourceId", "targetId", "edgeType"],
   response: {
     description: "The created edge",
     fields: {
@@ -895,240 +761,6 @@ 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).",
@@ -1426,74 +1058,6 @@ 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.",
@@ -2328,8 +1892,8 @@ var IDENTITY_WHOAMI = {
   response: {
     description: "Canonical identity summary for the current session",
     fields: {
-      principalId: "string \u2014 canonical principal identifier; for humans this is the Clerk user_... ID",
-      principalType: "string \u2014 human, service, agent, group, or external_viewer",
+      principalId: "string \u2014 canonical federated principal identifier",
+      principalType: "string \u2014 human, service, or agent",
       tenantId: "string | undefined \u2014 resolved tenant scope",
       workspaceId: "string | undefined \u2014 resolved workspace scope",
       scopes: "string[] | undefined \u2014 granted scopes for this session",
@@ -2340,60 +1904,17 @@ var IDENTITY_WHOAMI = {
   ontologyPrimitive: "identity",
   tier: "workhorse"
 };
-var RESOLVE_INTERACTIVE_PRINCIPAL = {
-  name: "resolve_interactive_principal",
-  description: "Read the Permit-backed Lucern principal context for an authenticated Clerk user. Like `git config --get user.email` plus the repository ACL \u2014 resolves the Clerk subject into tenant/workspace authorization context.",
-  parameters: {
-    clerkId: {
-      type: "string",
-      description: "Authenticated Clerk subject (`sub`). Clerk proves identity only; it is not the authorization record."
-    },
-    tenantId: {
-      type: "string",
-      description: "Optional tenant scope. Omit only when the Clerk alias is globally unambiguous."
-    },
-    workspaceId: {
-      type: "string",
-      description: "Optional workspace scope. Required when the principal has access to multiple workspaces and no default can be inferred."
-    },
-    providerProjectId: {
-      type: "string",
-      description: "Optional Clerk project or provider instance id for tenants with multiple identity providers."
-    }
-  },
-  required: ["clerkId"],
-  response: {
-    description: "Permit-backed Lucern principal context for tenant SDK bootstrap",
-    fields: {
-      principalId: "string \u2014 canonical Clerk user_... ID for human sessions",
-      principalType: "string \u2014 human, service, agent, group, or external_viewer",
-      clerkId: "string \u2014 authenticated Clerk subject alias",
-      tenantId: "string \u2014 resolved tenant scope",
-      workspaceId: "string | null \u2014 resolved workspace scope",
-      roles: "string[] \u2014 effective Permit roles",
-      scopes: "string[] \u2014 effective scopes derived from Permit/control-plane projection",
-      groupIds: "string[] \u2014 active Permit group memberships",
-      principalStatus: "string \u2014 active, invited, suspended, disabled, revoked, or missing",
-      tenantStatus: "string \u2014 projected tenant resource status",
-      workspaceStatus: "string \u2014 projected workspace resource status",
-      permit: "object \u2014 Permit subject, tenant, and optional workspace tuple"
-    }
-  },
-  ownerModule: "control-plane",
-  ontologyPrimitive: "identity",
-  tier: "workhorse"
-};
 var COMPILE_CONTEXT = {
   name: "compile_context",
-  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.",
+  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.",
   parameters: {
     topicId: {
       type: "string",
-      description: "Optional topic scope ID. Omit to resolve the topic from query."
+      description: "Topic scope ID to compile"
     },
     query: {
       type: "string",
-      description: "Focus query used to resolve the topic and rank context items. Required when topicId is omitted."
+      description: "Optional focus query used to rank context items"
     },
     budget: {
       type: "number",
@@ -2417,7 +1938,7 @@ var COMPILE_CONTEXT = {
       description: "Include related ontological entities in the compiled result"
     }
   },
-  required: [],
+  required: ["topicId"],
   response: {
     description: "Compiled context pack for the requested topic",
     fields: {
@@ -2591,64 +2112,18 @@ 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 title" },
+    title: { type: "string", description: "Task description" },
     topicId: { type: "string", description: "Topic scope" },
-    description: {
-      type: "string",
-      description: "Long-form task description"
-    },
     taskType: {
       type: "string",
-      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"
+      description: "Type: research, interview, analysis, data_collection",
+      enum: ["research", "interview", "analysis", "data_collection"]
     },
     linkedQuestionId: {
       type: "string",
       description: "Question this task addresses"
     },
-    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"
-    },
-    metadata: {
-      type: "object",
-      description: "Structured task metadata for handoff context and routing hints"
-    }
+    linkedWorktreeId: { type: "string", description: "Worktree scope" }
   },
   required: ["title"],
   response: {
@@ -2721,10 +2196,6 @@ var UPDATE_TASK = {
       type: "string",
       description: "Updated status",
       enum: ["todo", "in_progress", "blocked", "done"]
-    },
-    metadata: {
-      type: "object",
-      description: "Structured task metadata to replace or refine"
     }
   },
   required: ["taskId"],
@@ -2772,10 +2243,6 @@ 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",
@@ -2786,18 +2253,6 @@ 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"],
@@ -2806,9 +2261,6 @@ 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"
     }
   },
@@ -2939,65 +2391,6 @@ 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.",
@@ -3193,7 +2586,7 @@ var MANAGE_WRITE_POLICY = {
     },
     role: {
       type: "string",
-      description: "Role to set policy for (required for 'set'). E.g. 'agent:internal' or a Permit role key such as 'workspace_admin'."
+      description: "Role to set policy for (required for 'set'). E.g. 'agent:internal', 'user:analyst'."
     },
     permission: {
       type: "string",
@@ -4130,72 +3523,6 @@ 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",
-      taskIds: "array \u2014 assigned task IDs for this worktree",
-      incompleteTaskIds: "array \u2014 assigned task IDs that still require done/deferred/blocked proof",
-      tasks: "array \u2014 assigned task packet with id, title, status, priority, links, and summaries",
-      topBeliefs: "array \u2014 highest-confidence scoped beliefs",
-      openQuestions: "array \u2014 open scoped questions",
-      resolvedDecisions: "array \u2014 answered questions summarized for the session",
-      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,
@@ -4238,26 +3565,11 @@ 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,
@@ -4285,7 +3597,6 @@ var MCP_TOOL_CONTRACTS = {
   update_worktree_targets: UPDATE_WORKTREE_TARGETS,
   update_worktree_metadata: UPDATE_WORKTREE_METADATA,
   identity_whoami: IDENTITY_WHOAMI,
-  resolve_interactive_principal: RESOLVE_INTERACTIVE_PRINCIPAL,
   compile_context: COMPILE_CONTEXT,
   record_scope_learning: RECORD_SCOPE_LEARNING,
   pipeline_snapshot: PIPELINE_SNAPSHOT,
@@ -4305,7 +3616,6 @@ 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,
@@ -4325,8 +3635,6 @@ 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,
@@ -4403,7 +3711,6 @@ function entries(names, surfaceClass, surfaceIntent, surfaces, rationale) {
 var MCP_CORE_OPERATION_NAMES = [
   "compile_context",
   "identity_whoami",
-  "resolve_interactive_principal",
   "check_permission",
   "filter_by_permission",
   "create_belief",
@@ -4432,34 +3739,18 @@ 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",
-  "materialize_topic_graph",
-  "get_topic_graph_spine"
+  "get_topic_tree"
 ];
 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",
@@ -4538,7 +3829,6 @@ var PLATFORM_INTERNAL_OPERATION_NAMES = [
   "get_change_history",
   "get_failure_log",
   "record_attempt",
-  "begin_build_session",
   "push",
   "open_pull_request",
   "record_judgment",
@@ -4593,6 +3883,7 @@ var SDK_ONLY_OPERATION_NAMES = [
   "find_semantic_orphans"
 ];
 var MCP_ONLY_INTERNAL_OPERATION_NAMES = [
+  "begin_build_session",
   "evaluate_engineering_contract",
   "evaluate_research_contract"
 ];
@@ -4689,13 +3980,6 @@ var LUCERN_OPERATION_MANIFEST = {
     "Lucern MCP-only platform operation for local agent/bootstrap or verification workflows. Hidden from public discovery."
   )
 };
-z.enum(["decision", "belief", "question", "theme", "deal", "topic", "claim", "evidence", "synthesis", "answer", "atomic_fact", "excerpt", "source", "company", "person", "investor", "function", "value_chain"]);
-var EDGE_TYPE_VALUES = ["supports", "informs", "depends_on", "derived_from", "contains", "tests", "supersedes", "responds_to", "belongs_to", "relates_to_thesis", "works_at", "invested_in", "competes_with", "participates_in", "founded_by", "evaluates", "performs", "function_in", "impacts", "raised_from", "mentioned_in", "perspective_on", "plays_theme", "answers", "explores", "qualifies", "based_on", "based_on_belief", "based_on_question", "blocked_by_contradiction", "informed_by_theme", "same_as", "reinforces", "parent_of", "child_of", "falsified_by", "exclusive_with", "collapses_if", "cascade_from", "counterfactual_of", "cascade_to", "mutually_exclusive", "correlates_with", "amplifies", "precondition_for", "in_tension_with", "strengthened_by", "weakened_by", "alternative_to", "subsumes", "validated_by", "required_for", "blocks", "prerequisite_for", "parallel_to", "corroborates", "extends", "same_source_as", "same_theme_as", "assumes", "would_predict", "analogous_to", "independent_of", "implements", "violates", "co_changes_with", "migrating_from", "migrating_to", "scoped_by", "about_entity", "entity_referenced_in", "contradicts", "cites", "summarizes", "related_to", "partially_answers", "refines", "branches_from"];
-var STORAGE_EDGE_TYPE_VALUES = [...EDGE_TYPE_VALUES, "extracted_from"];
-z.enum(EDGE_TYPE_VALUES);
-z.enum(STORAGE_EDGE_TYPE_VALUES);
-z.enum(["active", "archived", "watching"]);
-z.enum(["private", "team", "firm", "external", "public"]);
 
 // src/function-registry/helpers.ts
 var jsonObjectSchema = z.record(z.unknown());
@@ -4792,20 +4076,12 @@ function unwrapMcpParameterSchema(schema) {
         current = current._def.schema;
         continue;
       default:
-        return {
-          schema: current,
-          required,
-          description: description ?? current.description
-        };
+        return { schema: current, required, description: description ?? current.description };
     }
   }
 }
 function mcpParameterFromZod(fieldName, schema, contractName) {
-  const {
-    schema: unwrapped,
-    required,
-    description: schemaDescription
-  } = unwrapMcpParameterSchema(schema);
+  const { schema: unwrapped, required, description: schemaDescription } = unwrapMcpParameterSchema(schema);
   const description = schemaDescription ?? unwrapped.description ?? fieldName;
   switch (unwrapped._def.typeName) {
     case z.ZodFirstPartyTypeKind.ZodString:
@@ -4850,12 +4126,10 @@ function mcpContractFromArgsSchema(base, args, contractName) {
   const entries2 = Object.entries(getObjectShape(args)).sort(
     ([left], [right]) => left.localeCompare(right)
   );
-  const converted = entries2.map(
-    ([fieldName, schema]) => [
-      fieldName,
-      mcpParameterFromZod(fieldName, schema, contractName)
-    ]
-  );
+  const converted = entries2.map(([fieldName, schema]) => [
+    fieldName,
+    mcpParameterFromZod(fieldName, schema, contractName)
+  ]);
   return {
     ...base,
     parameters: Object.fromEntries(
@@ -4864,7 +4138,9 @@ function mcpContractFromArgsSchema(base, args, contractName) {
     required: converted.filter(([, field]) => field.required).map(([fieldName]) => fieldName)
   };
 }
-var defineFunctionContract = (contract) => contract;
+function defineFunctionContract(contract) {
+  return contract;
+}
 function authUserId(context) {
   return context.userId ?? context.principalId ?? "lucern-agent";
 }
@@ -4955,16 +4231,9 @@ function surfaceContract(args) {
       scopes: args.scopes ?? [
         args.kind === "query" ? `${args.domain}.read` : `${args.domain}.write`
       ],
-      allowedPrincipalTypes: [
-        "user",
-        "service",
-        "agent",
-        "group",
-        "external_viewer"
-      ]
+      allowedPrincipalTypes: ["user", "service", "agent"]
     },
     convex: args.convex,
-    gateway: args.gateway,
     args: canonicalArgs,
     returns: canonicalReturns,
     input,
@@ -4999,7 +4268,7 @@ function compactRecord2(input) {
     Object.entries(input).filter(([, value]) => value !== void 0)
   );
 }
-defineProjection({
+var listBeliefsProjection = defineProjection({
   contractName: "list_beliefs",
   inputSchema: listBeliefsInputSchema,
   project: (input) => compactRecord2({
@@ -5156,45 +4425,6 @@ function hasProvenance(input) {
 }
 
 // src/function-registry/beliefs.ts
-var jsonRecordSchema = z.record(z.unknown());
-var sourceTypeSchema = z.enum(["human", "ai_extracted", "ai_generated"]);
-var reversibilitySchema = z.enum([
-  "irreversible",
-  "hard_to_reverse",
-  "reversible",
-  "trivial"
-]);
-var predictionMetaSchema = z.object({
-  isPrediction: z.boolean().describe("Whether this belief is a prediction."),
-  registeredAt: z.number().describe("Timestamp when the prediction was registered."),
-  expectedBy: z.number().optional().describe("Timestamp when the prediction should be evaluated.")
-});
-var createBeliefArgs = z.object({
-  canonicalText: z.string().describe("The belief statement the agent holds to be true."),
-  topicId: z.string().optional().describe("Topic scope hint for the belief."),
-  baseRate: z.number().optional().describe("Prior base rate used to seed the vacuous opinion."),
-  beliefType: z.string().optional().describe("Schema belief type."),
-  metadata: jsonRecordSchema.optional().describe("Extra metadata merged into the belief node."),
-  rationale: z.string().optional().describe("Why this belief should enter the reasoning graph."),
-  pillar: z.string().optional().describe("Innovation pillar or product pillar associated with the belief."),
-  worktreeId: z.string().optional().describe("Worktree responsible for creating or testing this belief."),
-  sourceBeliefIds: z.array(z.string()).optional().describe("Source belief IDs this belief derives from."),
-  sourceType: sourceTypeSchema.optional().describe("Actor/source class that produced the belief."),
-  reversibility: reversibilitySchema.optional().describe("How reversible the belief's implied decision is."),
-  predictionMeta: predictionMetaSchema.optional().describe("Prediction lifecycle metadata when this belief is a forecast.")
-});
-var forkBeliefArgs = z.object({
-  nodeId: z.string().describe("The scored belief to fork from."),
-  newFormulation: z.string().describe("The evolved belief statement."),
-  forkReason: z.enum([
-    "refinement",
-    "contradiction_response",
-    "scope_change",
-    "confidence_collapse",
-    "manual"
-  ]).describe("Why this fork was created."),
-  rationale: z.string().optional().describe("Why the fork is warranted.")
-});
 var beliefLookupInput = (input) => compactRecord({
   nodeId: input.nodeId ?? input.id ?? input.beliefId,
   beliefId: input.beliefId
@@ -5202,6 +4432,15 @@ var beliefLookupInput = (input) => compactRecord({
 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({
@@ -5260,8 +4499,7 @@ var beliefsContracts = [
       functionName: "create",
       kind: "mutation",
       inputProjection: createBeliefInput
-    },
-    args: createBeliefArgs
+    }
   }),
   surfaceContract({
     name: "get_belief",
@@ -5290,8 +4528,11 @@ var beliefsContracts = [
     sdkNamespace: "beliefs",
     sdkMethod: "listBeliefs",
     summary: "List beliefs for a topic.",
-    gateway: {
-      handler: "beliefs.list"
+    convex: {
+      module: "beliefs",
+      functionName: "getByTopic",
+      kind: "query",
+      inputProjection: beliefTopicInput
     },
     args: listBeliefsInputSchema
   }),
@@ -5349,8 +4590,7 @@ var beliefsContracts = [
       functionName: "forkBelief",
       kind: "mutation",
       inputProjection: forkBeliefInput
-    },
-    args: forkBeliefArgs
+    }
   }),
   surfaceContract({
     name: "archive_belief",