@lucern/contracts 1.0.0 → 1.0.1

package/dist/tool-contracts.lifecycle.d.ts

@@ -0,0 +1,13 @@
+import { McpToolContract } from './tool-contracts.types.js';
+
+declare const CREATE_BELIEF: McpToolContract;
+declare const GET_BELIEF: McpToolContract;
+declare const REFINE_BELIEF: McpToolContract;
+declare const MODULATE_CONFIDENCE: McpToolContract;
+declare const FORK_BELIEF: McpToolContract;
+declare const ARCHIVE_BELIEF: McpToolContract;
+declare const CREATE_EPISTEMIC_CONTRACT: McpToolContract;
+declare const ADD_EVIDENCE: McpToolContract;
+declare const FLAG_CONTRADICTION: McpToolContract;
+
+export { ADD_EVIDENCE, ARCHIVE_BELIEF, CREATE_BELIEF, CREATE_EPISTEMIC_CONTRACT, FLAG_CONTRADICTION, FORK_BELIEF, GET_BELIEF, MODULATE_CONFIDENCE, REFINE_BELIEF };

package/dist/tool-contracts.lifecycle.js

@@ -0,0 +1,410 @@
+// src/tool-contracts.lifecycle.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 prior. Creation stores the vacuous opinion `(0, 0, 1, a)`; use modulate_confidence to record the first evidential update.",
+  parameters: {
+    canonicalText: {
+      type: "string",
+      description: "The belief statement \u2014 what the agent holds to be true"
+    },
+    topicId: {
+      type: "string",
+      description: "Optional topic scope hint for the belief"
+    },
+    baseRate: {
+      type: "number",
+      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",
+      description: "Belief type (e.g., hypothesis, belief, principle, invariant, tenet, forecast). Validated against schemaEnumConfig."
+    },
+    metadata: {
+      type: "object",
+      description: "Optional extra metadata merged into the node (e.g., { codeAnchors: ['path/to/file.ts'] } for coding intelligence)"
+    }
+  },
+  required: ["canonicalText"],
+  response: {
+    description: "The created canonical belief record",
+    fields: {
+      id: "string \u2014 canonical belief ID",
+      nodeId: "string \u2014 canonical belief ID",
+      beliefId: "string \u2014 canonical belief ID",
+      text: "string \u2014 canonical belief formulation",
+      topicId: "string",
+      status: "string \u2014 active | superseded | archived",
+      scoringState: "string \u2014 unscored | scored"
+    }
+  },
+  ownerModule: "graph-primitives",
+  ontologyPrimitive: "belief",
+  tier: "showcase"
+};
+var GET_BELIEF = {
+  name: "get_belief",
+  description: "Read one belief by ID. Like `git show` \u2014 resolves the canonical belief payload for a single identifier.",
+  parameters: {
+    id: { type: "string", description: "Canonical belief ID" }
+  },
+  required: ["id"],
+  response: {
+    description: "The canonical belief record",
+    fields: {
+      id: "string \u2014 canonical belief ID",
+      nodeId: "string \u2014 canonical belief ID",
+      beliefId: "string \u2014 canonical belief ID",
+      text: "string \u2014 canonical belief formulation",
+      topicId: "string",
+      status: "string \u2014 active | superseded | archived",
+      scoringState: "string \u2014 unscored | scored"
+    }
+  },
+  ownerModule: "graph-primitives",
+  ontologyPrimitive: "belief",
+  tier: "workhorse"
+};
+var REFINE_BELIEF = {
+  name: "refine_belief",
+  description: "Amend a draft belief in-place within an active worktree. Like `git commit --amend` \u2014 rewrites the last commit on a feature branch. Only valid before merge to main. Fails if the belief is already scored.",
+  parameters: {
+    nodeId: { type: "string", description: "The belief to refine" },
+    canonicalText: { type: "string", description: "Updated belief statement" },
+    rationale: { type: "string", description: "Why the refinement was made" }
+  },
+  required: ["nodeId", "canonicalText"],
+  response: {
+    description: "The updated belief node",
+    fields: {
+      nodeId: "string",
+      canonicalText: "string \u2014 updated text",
+      updatedAt: "number \u2014 timestamp"
+    }
+  },
+  ownerModule: "graph-primitives",
+  ontologyPrimitive: "belief",
+  tier: "showcase"
+};
+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. 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: {
+      type: "number",
+      description: "Subjective-logic belief mass `b` in [0, 1]"
+    },
+    disbelief: {
+      type: "number",
+      description: "Subjective-logic disbelief mass `d` in [0, 1]"
+    },
+    uncertainty: {
+      type: "number",
+      description: "Subjective-logic uncertainty mass `u` in [0, 1]"
+    },
+    baseRate: {
+      type: "number",
+      description: "Subjective-logic base rate `a` in [0, 1]. Required for tuple payloads."
+    },
+    worktreeId: {
+      type: "string",
+      description: "Completed worktree that tested this belief when confidence policy requires merge-backed scoring."
+    },
+    trigger: {
+      type: "string",
+      description: "What caused this confidence change",
+      enum: [
+        "evidence_added",
+        "evidence_removed",
+        "contradiction_detected",
+        "contradiction_resolved",
+        "agent_assessment",
+        "worktree_outcome",
+        "worktree_completed",
+        "fusion",
+        "discount",
+        "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",
+    "belief",
+    "disbelief",
+    "uncertainty",
+    "baseRate",
+    "trigger",
+    "rationale"
+  ],
+  response: {
+    description: "Confidence modulation result",
+    fields: {
+      beliefId: "string \u2014 canonical belief ID",
+      nodeId: "string \u2014 canonical belief ID",
+      newConfidence: "number",
+      previousConfidence: "number",
+      trigger: "string",
+      requestId: "string \u2014 request identifier for the scheduled cascade",
+      propagationSummary: "object \u2014 bounded inline cascade summary with totalCandidateTargets, inlineTargets, and remainingTargetCount"
+    }
+  },
+  ownerModule: "graph-primitives",
+  ontologyPrimitive: "belief",
+  tier: "showcase"
+};
+var FORK_BELIEF = {
+  name: "fork_belief",
+  description: "Branch off a scored belief to create a new version with a different formulation. Like `git fork` \u2014 the parent remains immutable with full history. The new belief gets a `supersedes` edge to the parent. Fork reasons: refinement, contradiction_response, scope_change, confidence_collapse, manual.",
+  parameters: {
+    nodeId: { type: "string", description: "The scored belief to fork from" },
+    newFormulation: {
+      type: "string",
+      description: "The evolved belief statement"
+    },
+    forkReason: {
+      type: "string",
+      description: "Why this fork was created",
+      enum: [
+        "refinement",
+        "contradiction_response",
+        "scope_change",
+        "confidence_collapse",
+        "manual"
+      ]
+    }
+  },
+  required: ["nodeId", "newFormulation", "forkReason"],
+  response: {
+    description: "The forked canonical belief record",
+    fields: {
+      id: "string \u2014 canonical child belief ID",
+      nodeId: "string \u2014 canonical child belief ID",
+      beliefId: "string \u2014 canonical child belief ID",
+      parentBeliefId: "string \u2014 canonical parent belief ID",
+      forkReason: "string"
+    }
+  },
+  ownerModule: "graph-primitives",
+  ontologyPrimitive: "belief",
+  tier: "showcase"
+};
+var ARCHIVE_BELIEF = {
+  name: "archive_belief",
+  description: "Soft-delete a belief by setting its status to archived. Like `git rm` \u2014 removed from the working tree but preserved in history. Beliefs are never truly deleted. Archived beliefs retain full lineage and confidence history.",
+  parameters: {
+    nodeId: { type: "string", description: "The belief to archive" },
+    rationale: {
+      type: "string",
+      description: "Why this belief is being archived"
+    }
+  },
+  required: ["nodeId"],
+  response: {
+    description: "Archived canonical belief record",
+    fields: {
+      beliefId: "string \u2014 canonical belief ID",
+      nodeId: "string \u2014 canonical belief ID",
+      previousStatus: "string | undefined",
+      newStatus: "string \u2014 'archived'",
+      status: "string \u2014 'archived'"
+    }
+  },
+  ownerModule: "graph-primitives",
+  ontologyPrimitive: "belief",
+  tier: "showcase"
+};
+var CREATE_EPISTEMIC_CONTRACT = {
+  name: "create_epistemic_contract",
+  description: "Bind a machine-evaluable epistemic contract to a belief. Like `git add` for falsification rules \u2014 records the verification condition, modulation policy, and evaluation schedule that keep a belief accountable to reality.",
+  parameters: {
+    beliefNodeId: {
+      type: "string",
+      description: "The belief node to bind this contract to"
+    },
+    title: {
+      type: "string",
+      description: "Contract title"
+    },
+    description: {
+      type: "string",
+      description: "Optional contract description"
+    },
+    conditionType: {
+      type: "string",
+      description: "What kind of contract condition to evaluate",
+      enum: ["assertion", "temporal", "evidential", "threshold", "composite"]
+    },
+    direction: {
+      type: "string",
+      description: "Whether satisfying the condition confirms or falsifies",
+      enum: ["confirms", "falsifies"]
+    },
+    condition: {
+      type: "object",
+      description: "Condition payload: { expression, evaluator, evaluatorConfig? }"
+    },
+    deadline: {
+      type: "number",
+      description: "Optional Unix timestamp deadline for temporal contracts"
+    },
+    compositeOf: {
+      type: "array",
+      description: "Optional array of sub-contract IDs for composite contracts"
+    },
+    compositeOperator: {
+      type: "string",
+      description: "How composite sub-contracts should be combined",
+      enum: ["all", "any", "majority"]
+    },
+    modulation: {
+      type: "object",
+      description: "Asymmetric modulation rules for confirmed, disconfirmed, expired, and partial outcomes"
+    },
+    evaluationSchedule: {
+      type: "string",
+      description: "When this contract should be evaluated",
+      enum: ["on_demand", "on_evidence", "periodic", "event_driven"]
+    },
+    periodicIntervalMs: {
+      type: "number",
+      description: "Optional interval in milliseconds for periodic contracts"
+    }
+  },
+  required: [
+    "beliefNodeId",
+    "title",
+    "conditionType",
+    "direction",
+    "condition",
+    "modulation",
+    "evaluationSchedule"
+  ],
+  response: {
+    description: "The created epistemic contract binding",
+    fields: {
+      id: "string \u2014 storage record ID",
+      contractId: "string \u2014 contract identifier",
+      beliefId: "string \u2014 canonical belief ID",
+      status: "string \u2014 initial contract status",
+      title: "string \u2014 contract title"
+    }
+  },
+  ownerModule: "graph-primitives",
+  ontologyPrimitive: "belief",
+  tier: "workhorse"
+};
+var ADD_EVIDENCE = {
+  name: "add_evidence",
+  description: "Commit evidence to the reasoning graph and attach it to a belief. Like `git add && git commit` \u2014 an atomic write that creates a traceable evidence object. Weight ranges from -1.0 (contradicts) to +1.0 (strongly supports). Evidence is always context-bound: tied to its source, the time it was captured, and the belief it informs.",
+  parameters: {
+    canonicalText: { type: "string", description: "The evidence statement" },
+    topicId: { type: "string", description: "Optional topic scope hint" },
+    sourceUrl: { type: "string", description: "URL of the source material" },
+    targetNodeId: {
+      type: "string",
+      description: "The belief this evidence bears on"
+    },
+    weight: {
+      type: "number",
+      description: "Support weight: -1.0 (contradicts) to +1.0 (supports)"
+    },
+    reasoning: {
+      type: "string",
+      description: "Why this evidence is relevant to the target belief"
+    },
+    title: {
+      type: "string",
+      description: "Optional short title for the evidence node"
+    },
+    content: {
+      type: "string",
+      description: "Optional long-form content (separate from canonicalText summary)"
+    },
+    contentType: {
+      type: "string",
+      description: "Content MIME type or format hint (e.g., 'text/markdown', 'code')"
+    },
+    metadata: {
+      type: "object",
+      description: "Optional extra metadata merged into the node (e.g., { codeAnchors: ['path/to/file.ts'], failedApproach: true } for coding intelligence)"
+    }
+  },
+  required: ["canonicalText", "targetNodeId", "reasoning"],
+  response: {
+    description: "The created evidence node and its edge",
+    fields: {
+      nodeId: "string \u2014 evidence node ID",
+      edgeId: "string \u2014 edge to target belief"
+    }
+  },
+  ownerModule: "graph-primitives",
+  ontologyPrimitive: "evidence",
+  tier: "showcase"
+};
+var FLAG_CONTRADICTION = {
+  name: "flag_contradiction",
+  description: "Flag a contradiction between two beliefs. Contradictions are first-class objects with their own lifecycle \u2014 they may remain permanently unresolved. Like a merge conflict that is allowed to persist. Contradictions can trigger structural changes: forking, confidence collapse, or decision blocking. Resolution is NEVER automatic \u2014 always surfaces for human review.",
+  parameters: {
+    beliefA: {
+      type: "string",
+      description: "First belief in the contradiction"
+    },
+    beliefB: {
+      type: "string",
+      description: "Second belief in the contradiction"
+    },
+    description: { type: "string", description: "What the tension is about" },
+    severity: {
+      type: "string",
+      description: "How serious the contradiction is",
+      enum: ["low", "medium", "high", "critical"]
+    },
+    topicId: { type: "string", description: "Optional topic scope hint" },
+    defeatType: {
+      type: "string",
+      description: "Pollock defeat classification: rebuts (direct contradiction), undercuts (attacks the inferential link), undermines (attacks a premise)",
+      enum: ["rebuts", "undercuts", "undermines"]
+    }
+  },
+  required: ["beliefA", "beliefB", "description"],
+  response: {
+    description: "The created contradiction object",
+    fields: {
+      contradictionId: "string",
+      status: "string \u2014 'unresolved'",
+      beliefA: "string",
+      beliefB: "string"
+    }
+  },
+  ownerModule: "graph-primitives",
+  ontologyPrimitive: "belief",
+  tier: "showcase"
+};
+
+export { ADD_EVIDENCE, ARCHIVE_BELIEF, CREATE_BELIEF, CREATE_EPISTEMIC_CONTRACT, FLAG_CONTRADICTION, FORK_BELIEF, GET_BELIEF, MODULATE_CONFIDENCE, REFINE_BELIEF };
+//# sourceMappingURL=tool-contracts.lifecycle.js.map
+//# sourceMappingURL=tool-contracts.lifecycle.js.map

package/dist/tool-contracts.lifecycle.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/tool-contracts.lifecycle.ts"],"names":[],"mappings":";AAEO,IAAM,aAAA,GAAiC;AAAA,EAC5C,IAAA,EAAM,eAAA;AAAA,EACN,WAAA,EACE,sQAAA;AAAA,EAGF,UAAA,EAAY;AAAA,IACV,aAAA,EAAe;AAAA,MACb,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,OAAA,EAAS;AAAA,MACP,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,QAAA,EAAU;AAAA,MACR,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EACE;AAAA,KACJ;AAAA,IACA,UAAA,EAAY;AAAA,MACV,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EACE;AAAA,KACJ;AAAA,IACA,QAAA,EAAU;AAAA,MACR,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EACE;AAAA;AACJ,GACF;AAAA,EACA,QAAA,EAAU,CAAC,eAAe,CAAA;AAAA,EAC1B,QAAA,EAAU;AAAA,IACR,WAAA,EAAa,qCAAA;AAAA,IACb,MAAA,EAAQ;AAAA,MACN,EAAA,EAAI,mCAAA;AAAA,MACJ,MAAA,EAAQ,mCAAA;AAAA,MACR,QAAA,EAAU,mCAAA;AAAA,MACV,IAAA,EAAM,4CAAA;AAAA,MACN,OAAA,EAAS,QAAA;AAAA,MACT,MAAA,EAAQ,8CAAA;AAAA,MACR,YAAA,EAAc;AAAA;AAChB,GACF;AAAA,EACA,WAAA,EAAa,kBAAA;AAAA,EACb,iBAAA,EAAmB,QAAA;AAAA,EACnB,IAAA,EAAM;AACR;AAEO,IAAM,UAAA,GAA8B;AAAA,EACzC,IAAA,EAAM,YAAA;AAAA,EACN,WAAA,EACE,8GAAA;AAAA,EAEF,UAAA,EAAY;AAAA,IACV,EAAA,EAAI,EAAE,IAAA,EAAM,QAAA,EAAU,aAAa,qBAAA;AAAsB,GAC3D;AAAA,EACA,QAAA,EAAU,CAAC,IAAI,CAAA;AAAA,EACf,QAAA,EAAU;AAAA,IACR,WAAA,EAAa,6BAAA;AAAA,IACb,MAAA,EAAQ;AAAA,MACN,EAAA,EAAI,mCAAA;AAAA,MACJ,MAAA,EAAQ,mCAAA;AAAA,MACR,QAAA,EAAU,mCAAA;AAAA,MACV,IAAA,EAAM,4CAAA;AAAA,MACN,OAAA,EAAS,QAAA;AAAA,MACT,MAAA,EAAQ,8CAAA;AAAA,MACR,YAAA,EAAc;AAAA;AAChB,GACF;AAAA,EACA,WAAA,EAAa,kBAAA;AAAA,EACb,iBAAA,EAAmB,QAAA;AAAA,EACnB,IAAA,EAAM;AACR;AAEO,IAAM,aAAA,GAAiC;AAAA,EAC5C,IAAA,EAAM,eAAA;AAAA,EACN,WAAA,EACE,iNAAA;AAAA,EAGF,UAAA,EAAY;AAAA,IACV,MAAA,EAAQ,EAAE,IAAA,EAAM,QAAA,EAAU,aAAa,sBAAA,EAAuB;AAAA,IAC9D,aAAA,EAAe,EAAE,IAAA,EAAM,QAAA,EAAU,aAAa,0BAAA,EAA2B;AAAA,IACzE,SAAA,EAAW,EAAE,IAAA,EAAM,QAAA,EAAU,aAAa,6BAAA;AAA8B,GAC1E;AAAA,EACA,QAAA,EAAU,CAAC,QAAA,EAAU,eAAe,CAAA;AAAA,EACpC,QAAA,EAAU;AAAA,IACR,WAAA,EAAa,yBAAA;AAAA,IACb,MAAA,EAAQ;AAAA,MACN,MAAA,EAAQ,QAAA;AAAA,MACR,aAAA,EAAe,4BAAA;AAAA,MACf,SAAA,EAAW;AAAA;AACb,GACF;AAAA,EACA,WAAA,EAAa,kBAAA;AAAA,EACb,iBAAA,EAAmB,QAAA;AAAA,EACnB,IAAA,EAAM;AACR;AAEO,IAAM,mBAAA,GAAuC;AAAA,EAClD,IAAA,EAAM,qBAAA;AAAA,EACN,WAAA,EACE,s4BAAA;AAAA,EAQF,UAAA,EAAY;AAAA,IACV,MAAA,EAAQ,EAAE,IAAA,EAAM,QAAA,EAAU,aAAa,qBAAA,EAAsB;AAAA,IAC7D,MAAA,EAAQ;AAAA,MACN,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,SAAA,EAAW;AAAA,MACT,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,WAAA,EAAa;AAAA,MACX,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,QAAA,EAAU;AAAA,MACR,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EACE;AAAA,KACJ;AAAA,IACA,UAAA,EAAY;AAAA,MACV,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EACE;AAAA,KACJ;AAAA,IACA,OAAA,EAAS;AAAA,MACP,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa,oCAAA;AAAA,MACb,IAAA,EAAM;AAAA,QACJ,gBAAA;AAAA,QACA,kBAAA;AAAA,QACA,wBAAA;AAAA,QACA,wBAAA;AAAA,QACA,kBAAA;AAAA,QACA,kBAAA;AAAA,QACA,oBAAA;AAAA,QACA,QAAA;AAAA,QACA,UAAA;AAAA,QACA;AAAA;AACF,KACF;AAAA,IACA,oBAAA,EAAsB;AAAA,MACpB,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,oBAAA,EAAsB;AAAA,MACpB,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,kBAAA,EAAoB;AAAA,MAClB,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,yBAAA,EAA2B;AAAA,MACzB,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EACE;AAAA,KACJ;AAAA,IACA,oBAAA,EAAsB;AAAA,MACpB,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EACE;AAAA,KACJ;AAAA,IACA,SAAA,EAAW;AAAA,MACT,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA;AACf,GACF;AAAA,EACA,QAAA,EAAU;AAAA,IACR,QAAA;AAAA,IACA,QAAA;AAAA,IACA,WAAA;AAAA,IACA,aAAA;AAAA,IACA,UAAA;AAAA,IACA,SAAA;AAAA,IACA;AAAA,GACF;AAAA,EACA,QAAA,EAAU;AAAA,IACR,WAAA,EAAa,8BAAA;AAAA,IACb,MAAA,EAAQ;AAAA,MACN,QAAA,EAAU,mCAAA;AAAA,MACV,MAAA,EAAQ,mCAAA;AAAA,MACR,aAAA,EAAe,QAAA;AAAA,MACf,kBAAA,EAAoB,QAAA;AAAA,MACpB,OAAA,EAAS,QAAA;AAAA,MACT,SAAA,EAAW,4DAAA;AAAA,MACX,kBAAA,EACE;AAAA;AACJ,GACF;AAAA,EACA,WAAA,EAAa,kBAAA;AAAA,EACb,iBAAA,EAAmB,QAAA;AAAA,EACnB,IAAA,EAAM;AACR;AAEO,IAAM,WAAA,GAA+B;AAAA,EAC1C,IAAA,EAAM,aAAA;AAAA,EACN,WAAA,EACE,6SAAA;AAAA,EAIF,UAAA,EAAY;AAAA,IACV,MAAA,EAAQ,EAAE,IAAA,EAAM,QAAA,EAAU,aAAa,gCAAA,EAAiC;AAAA,IACxE,cAAA,EAAgB;AAAA,MACd,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,UAAA,EAAY;AAAA,MACV,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa,2BAAA;AAAA,MACb,IAAA,EAAM;AAAA,QACJ,YAAA;AAAA,QACA,wBAAA;AAAA,QACA,cAAA;AAAA,QACA,qBAAA;AAAA,QACA;AAAA;AACF;AACF,GACF;AAAA,EACA,QAAA,EAAU,CAAC,QAAA,EAAU,gBAAA,EAAkB,YAAY,CAAA;AAAA,EACnD,QAAA,EAAU;AAAA,IACR,WAAA,EAAa,oCAAA;AAAA,IACb,MAAA,EAAQ;AAAA,MACN,EAAA,EAAI,yCAAA;AAAA,MACJ,MAAA,EAAQ,yCAAA;AAAA,MACR,QAAA,EAAU,yCAAA;AAAA,MACV,cAAA,EAAgB,0CAAA;AAAA,MAChB,UAAA,EAAY;AAAA;AACd,GACF;AAAA,EACA,WAAA,EAAa,kBAAA;AAAA,EACb,iBAAA,EAAmB,QAAA;AAAA,EACnB,IAAA,EAAM;AACR;AAEO,IAAM,cAAA,GAAkC;AAAA,EAC7C,IAAA,EAAM,gBAAA;AAAA,EACN,WAAA,EACE,oOAAA;AAAA,EAGF,UAAA,EAAY;AAAA,IACV,MAAA,EAAQ,EAAE,IAAA,EAAM,QAAA,EAAU,aAAa,uBAAA,EAAwB;AAAA,IAC/D,SAAA,EAAW;AAAA,MACT,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA;AACf,GACF;AAAA,EACA,QAAA,EAAU,CAAC,QAAQ,CAAA;AAAA,EACnB,QAAA,EAAU;AAAA,IACR,WAAA,EAAa,kCAAA;AAAA,IACb,MAAA,EAAQ;AAAA,MACN,QAAA,EAAU,mCAAA;AAAA,MACV,MAAA,EAAQ,mCAAA;AAAA,MACR,cAAA,EAAgB,oBAAA;AAAA,MAChB,SAAA,EAAW,0BAAA;AAAA,MACX,MAAA,EAAQ;AAAA;AACV,GACF;AAAA,EACA,WAAA,EAAa,kBAAA;AAAA,EACb,iBAAA,EAAmB,QAAA;AAAA,EACnB,IAAA,EAAM;AACR;AAEO,IAAM,yBAAA,GAA6C;AAAA,EACxD,IAAA,EAAM,2BAAA;AAAA,EACN,WAAA,EACE,kOAAA;AAAA,EAGF,UAAA,EAAY;AAAA,IACV,YAAA,EAAc;AAAA,MACZ,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,KAAA,EAAO;AAAA,MACL,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,WAAA,EAAa;AAAA,MACX,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,aAAA,EAAe;AAAA,MACb,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa,6CAAA;AAAA,MACb,MAAM,CAAC,WAAA,EAAa,UAAA,EAAY,YAAA,EAAc,aAAa,WAAW;AAAA,KACxE;AAAA,IACA,SAAA,EAAW;AAAA,MACT,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa,wDAAA;AAAA,MACb,IAAA,EAAM,CAAC,UAAA,EAAY,WAAW;AAAA,KAChC;AAAA,IACA,SAAA,EAAW;AAAA,MACT,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EACE;AAAA,KACJ;AAAA,IACA,QAAA,EAAU;AAAA,MACR,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,WAAA,EAAa;AAAA,MACX,IAAA,EAAM,OAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,iBAAA,EAAmB;AAAA,MACjB,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa,gDAAA;AAAA,MACb,IAAA,EAAM,CAAC,KAAA,EAAO,KAAA,EAAO,UAAU;AAAA,KACjC;AAAA,IACA,UAAA,EAAY;AAAA,MACV,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EACE;AAAA,KACJ;AAAA,IACA,kBAAA,EAAoB;AAAA,MAClB,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa,wCAAA;AAAA,MACb,IAAA,EAAM,CAAC,WAAA,EAAa,aAAA,EAAe,YAAY,cAAc;AAAA,KAC/D;AAAA,IACA,kBAAA,EAAoB;AAAA,MAClB,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA;AACf,GACF;AAAA,EACA,QAAA,EAAU;AAAA,IACR,cAAA;AAAA,IACA,OAAA;AAAA,IACA,eAAA;AAAA,IACA,WAAA;AAAA,IACA,WAAA;AAAA,IACA,YAAA;AAAA,IACA;AAAA,GACF;AAAA,EACA,QAAA,EAAU;AAAA,IACR,WAAA,EAAa,wCAAA;AAAA,IACb,MAAA,EAAQ;AAAA,MACN,EAAA,EAAI,iCAAA;AAAA,MACJ,UAAA,EAAY,mCAAA;AAAA,MACZ,QAAA,EAAU,mCAAA;AAAA,MACV,MAAA,EAAQ,uCAAA;AAAA,MACR,KAAA,EAAO;AAAA;AACT,GACF;AAAA,EACA,WAAA,EAAa,kBAAA;AAAA,EACb,iBAAA,EAAmB,QAAA;AAAA,EACnB,IAAA,EAAM;AACR;AAMO,IAAM,YAAA,GAAgC;AAAA,EAC3C,IAAA,EAAM,cAAA;AAAA,EACN,WAAA,EACE,+UAAA;AAAA,EAIF,UAAA,EAAY;AAAA,IACV,aAAA,EAAe,EAAE,IAAA,EAAM,QAAA,EAAU,aAAa,wBAAA,EAAyB;AAAA,IACvE,OAAA,EAAS,EAAE,IAAA,EAAM,QAAA,EAAU,aAAa,2BAAA,EAA4B;AAAA,IACpE,SAAA,EAAW,EAAE,IAAA,EAAM,QAAA,EAAU,aAAa,4BAAA,EAA6B;AAAA,IACvE,YAAA,EAAc;AAAA,MACZ,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,MAAA,EAAQ;AAAA,MACN,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,SAAA,EAAW;AAAA,MACT,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,KAAA,EAAO;AAAA,MACL,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,OAAA,EAAS;AAAA,MACP,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EACE;AAAA,KACJ;AAAA,IACA,WAAA,EAAa;AAAA,MACX,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EACE;AAAA,KACJ;AAAA,IACA,QAAA,EAAU;AAAA,MACR,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EACE;AAAA;AACJ,GACF;AAAA,EACA,QAAA,EAAU,CAAC,eAAA,EAAiB,cAAA,EAAgB,WAAW,CAAA;AAAA,EACvD,QAAA,EAAU;AAAA,IACR,WAAA,EAAa,wCAAA;AAAA,IACb,MAAA,EAAQ;AAAA,MACN,MAAA,EAAQ,gCAAA;AAAA,MACR,MAAA,EAAQ;AAAA;AACV,GACF;AAAA,EACA,WAAA,EAAa,kBAAA;AAAA,EACb,iBAAA,EAAmB,UAAA;AAAA,EACnB,IAAA,EAAM;AACR;AAMO,IAAM,kBAAA,GAAsC;AAAA,EACjD,IAAA,EAAM,oBAAA;AAAA,EACN,WAAA,EACE,sXAAA;AAAA,EAKF,UAAA,EAAY;AAAA,IACV,OAAA,EAAS;AAAA,MACP,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,OAAA,EAAS;AAAA,MACP,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,WAAA,EAAa,EAAE,IAAA,EAAM,QAAA,EAAU,aAAa,2BAAA,EAA4B;AAAA,IACxE,QAAA,EAAU;AAAA,MACR,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa,kCAAA;AAAA,MACb,IAAA,EAAM,CAAC,KAAA,EAAO,QAAA,EAAU,QAAQ,UAAU;AAAA,KAC5C;AAAA,IACA,OAAA,EAAS,EAAE,IAAA,EAAM,QAAA,EAAU,aAAa,2BAAA,EAA4B;AAAA,IACpE,UAAA,EAAY;AAAA,MACV,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EACE,wIAAA;AAAA,MACF,IAAA,EAAM,CAAC,QAAA,EAAU,WAAA,EAAa,YAAY;AAAA;AAC5C,GACF;AAAA,EACA,QAAA,EAAU,CAAC,SAAA,EAAW,SAAA,EAAW,aAAa,CAAA;AAAA,EAC9C,QAAA,EAAU;AAAA,IACR,WAAA,EAAa,kCAAA;AAAA,IACb,MAAA,EAAQ;AAAA,MACN,eAAA,EAAiB,QAAA;AAAA,MACjB,MAAA,EAAQ,4BAAA;AAAA,MACR,OAAA,EAAS,QAAA;AAAA,MACT,OAAA,EAAS;AAAA;AACX,GACF;AAAA,EACA,WAAA,EAAa,kBAAA;AAAA,EACb,iBAAA,EAAmB,QAAA;AAAA,EACnB,IAAA,EAAM;AACR","file":"tool-contracts.lifecycle.js","sourcesContent":["import type { McpToolContract } from \"./tool-contracts.types\";\n\nexport const CREATE_BELIEF: McpToolContract = {\n  name: \"create_belief\",\n  description:\n    \"Commit a new belief (knowledge unit) to the reasoning graph. \" +\n    \"Like `git commit` — creates an atomic, traceable knowledge object with a prior. \" +\n    \"Creation stores the vacuous opinion `(0, 0, 1, a)`; use modulate_confidence to record the first evidential update.\",\n  parameters: {\n    canonicalText: {\n      type: \"string\",\n      description: \"The belief statement — what the agent holds to be true\",\n    },\n    topicId: {\n      type: \"string\",\n      description: \"Optional topic scope hint for the belief\",\n    },\n    baseRate: {\n      type: \"number\",\n      description:\n        \"Prior probability used to seed the vacuous opinion `(0, 0, 1, a)` at creation time. Defaults to 0.5 when omitted.\",\n    },\n    beliefType: {\n      type: \"string\",\n      description:\n        \"Belief type (e.g., hypothesis, belief, principle, invariant, tenet, forecast). Validated against schemaEnumConfig.\",\n    },\n    metadata: {\n      type: \"object\",\n      description:\n        \"Optional extra metadata merged into the node (e.g., { codeAnchors: ['path/to/file.ts'] } for coding intelligence)\",\n    },\n  },\n  required: [\"canonicalText\"],\n  response: {\n    description: \"The created canonical belief record\",\n    fields: {\n      id: \"string — canonical belief ID\",\n      nodeId: \"string — canonical belief ID\",\n      beliefId: \"string — canonical belief ID\",\n      text: \"string — canonical belief formulation\",\n      topicId: \"string\",\n      status: \"string — active | superseded | archived\",\n      scoringState: \"string — unscored | scored\",\n    },\n  },\n  ownerModule: \"graph-primitives\",\n  ontologyPrimitive: \"belief\",\n  tier: \"showcase\",\n};\n\nexport const GET_BELIEF: McpToolContract = {\n  name: \"get_belief\",\n  description:\n    \"Read one belief by ID. \" +\n    \"Like `git show` — resolves the canonical belief payload for a single identifier.\",\n  parameters: {\n    id: { type: \"string\", description: \"Canonical belief ID\" },\n  },\n  required: [\"id\"],\n  response: {\n    description: \"The canonical belief record\",\n    fields: {\n      id: \"string — canonical belief ID\",\n      nodeId: \"string — canonical belief ID\",\n      beliefId: \"string — canonical belief ID\",\n      text: \"string — canonical belief formulation\",\n      topicId: \"string\",\n      status: \"string — active | superseded | archived\",\n      scoringState: \"string — unscored | scored\",\n    },\n  },\n  ownerModule: \"graph-primitives\",\n  ontologyPrimitive: \"belief\",\n  tier: \"workhorse\",\n};\n\nexport const REFINE_BELIEF: McpToolContract = {\n  name: \"refine_belief\",\n  description:\n    \"Amend a draft belief in-place within an active worktree. \" +\n    \"Like `git commit --amend` — rewrites the last commit on a feature branch. \" +\n    \"Only valid before merge to main. Fails if the belief is already scored.\",\n  parameters: {\n    nodeId: { type: \"string\", description: \"The belief to refine\" },\n    canonicalText: { type: \"string\", description: \"Updated belief statement\" },\n    rationale: { type: \"string\", description: \"Why the refinement was made\" },\n  },\n  required: [\"nodeId\", \"canonicalText\"],\n  response: {\n    description: \"The updated belief node\",\n    fields: {\n      nodeId: \"string\",\n      canonicalText: \"string — updated text\",\n      updatedAt: \"number — timestamp\",\n    },\n  },\n  ownerModule: \"graph-primitives\",\n  ontologyPrimitive: \"belief\",\n  tier: \"showcase\",\n};\n\nexport const MODULATE_CONFIDENCE: McpToolContract = {\n  name: \"modulate_confidence\",\n  description:\n    \"Record a confidence change for a belief. \" +\n    \"Like `git commit` to the credence log — an atomic, append-only write. \" +\n    \"Each modulation is a new entry in the history, not an overwrite. \" +\n    \"Scoring happens via merge; this tool records the individual data points. \" +\n    \"Pass the full subjective-logic tuple (`belief`, `disbelief`, `uncertainty`, `baseRate`) directly. \" +\n    \"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. \" +\n    \"Every modulation must cite a truth-bearing artifact: triggeringEvidenceId, triggeringQuestionId, triggeringAnswerId, triggeringContradictionId, or triggeringWorktreeId. \" +\n    \"Triggers: evidence_added, evidence_removed, contradiction_detected, contradiction_resolved, agent_assessment, worktree_outcome, worktree_completed, fusion, discount, deduction.\",\n  parameters: {\n    nodeId: { type: \"string\", description: \"The belief to score\" },\n    belief: {\n      type: \"number\",\n      description: \"Subjective-logic belief mass `b` in [0, 1]\",\n    },\n    disbelief: {\n      type: \"number\",\n      description: \"Subjective-logic disbelief mass `d` in [0, 1]\",\n    },\n    uncertainty: {\n      type: \"number\",\n      description: \"Subjective-logic uncertainty mass `u` in [0, 1]\",\n    },\n    baseRate: {\n      type: \"number\",\n      description:\n        \"Subjective-logic base rate `a` in [0, 1]. Required for tuple payloads.\",\n    },\n    worktreeId: {\n      type: \"string\",\n      description:\n        \"Completed worktree that tested this belief when confidence policy requires merge-backed scoring.\",\n    },\n    trigger: {\n      type: \"string\",\n      description: \"What caused this confidence change\",\n      enum: [\n        \"evidence_added\",\n        \"evidence_removed\",\n        \"contradiction_detected\",\n        \"contradiction_resolved\",\n        \"agent_assessment\",\n        \"worktree_outcome\",\n        \"worktree_completed\",\n        \"fusion\",\n        \"discount\",\n        \"deduction\",\n      ],\n    },\n    triggeringEvidenceId: {\n      type: \"string\",\n      description: \"Evidence node that caused an evidence-triggered modulation\",\n    },\n    triggeringQuestionId: {\n      type: \"string\",\n      description: \"Answered question whose resolution supports this modulation\",\n    },\n    triggeringAnswerId: {\n      type: \"string\",\n      description: \"Answer node whose content supports this modulation\",\n    },\n    triggeringContradictionId: {\n      type: \"string\",\n      description:\n        \"Contradiction record that caused a contradiction-triggered modulation\",\n    },\n    triggeringWorktreeId: {\n      type: \"string\",\n      description:\n        \"Completed worktree whose outcome caused a worktree-triggered modulation\",\n    },\n    rationale: {\n      type: \"string\",\n      description: \"Human-readable explanation of why confidence changed\",\n    },\n  },\n  required: [\n    \"nodeId\",\n    \"belief\",\n    \"disbelief\",\n    \"uncertainty\",\n    \"baseRate\",\n    \"trigger\",\n    \"rationale\",\n  ],\n  response: {\n    description: \"Confidence modulation result\",\n    fields: {\n      beliefId: \"string — canonical belief ID\",\n      nodeId: \"string — canonical belief ID\",\n      newConfidence: \"number\",\n      previousConfidence: \"number\",\n      trigger: \"string\",\n      requestId: \"string — request identifier for the scheduled cascade\",\n      propagationSummary:\n        \"object — bounded inline cascade summary with totalCandidateTargets, inlineTargets, and remainingTargetCount\",\n    },\n  },\n  ownerModule: \"graph-primitives\",\n  ontologyPrimitive: \"belief\",\n  tier: \"showcase\",\n};\n\nexport const FORK_BELIEF: McpToolContract = {\n  name: \"fork_belief\",\n  description:\n    \"Branch off a scored belief to create a new version with a different formulation. \" +\n    \"Like `git fork` — the parent remains immutable with full history. \" +\n    \"The new belief gets a `supersedes` edge to the parent. \" +\n    \"Fork reasons: refinement, contradiction_response, scope_change, confidence_collapse, manual.\",\n  parameters: {\n    nodeId: { type: \"string\", description: \"The scored belief to fork from\" },\n    newFormulation: {\n      type: \"string\",\n      description: \"The evolved belief statement\",\n    },\n    forkReason: {\n      type: \"string\",\n      description: \"Why this fork was created\",\n      enum: [\n        \"refinement\",\n        \"contradiction_response\",\n        \"scope_change\",\n        \"confidence_collapse\",\n        \"manual\",\n      ],\n    },\n  },\n  required: [\"nodeId\", \"newFormulation\", \"forkReason\"],\n  response: {\n    description: \"The forked canonical belief record\",\n    fields: {\n      id: \"string — canonical child belief ID\",\n      nodeId: \"string — canonical child belief ID\",\n      beliefId: \"string — canonical child belief ID\",\n      parentBeliefId: \"string — canonical parent belief ID\",\n      forkReason: \"string\",\n    },\n  },\n  ownerModule: \"graph-primitives\",\n  ontologyPrimitive: \"belief\",\n  tier: \"showcase\",\n};\n\nexport const ARCHIVE_BELIEF: McpToolContract = {\n  name: \"archive_belief\",\n  description:\n    \"Soft-delete a belief by setting its status to archived. \" +\n    \"Like `git rm` — removed from the working tree but preserved in history. \" +\n    \"Beliefs are never truly deleted. Archived beliefs retain full lineage and confidence history.\",\n  parameters: {\n    nodeId: { type: \"string\", description: \"The belief to archive\" },\n    rationale: {\n      type: \"string\",\n      description: \"Why this belief is being archived\",\n    },\n  },\n  required: [\"nodeId\"],\n  response: {\n    description: \"Archived canonical belief record\",\n    fields: {\n      beliefId: \"string — canonical belief ID\",\n      nodeId: \"string — canonical belief ID\",\n      previousStatus: \"string | undefined\",\n      newStatus: \"string — 'archived'\",\n      status: \"string — 'archived'\",\n    },\n  },\n  ownerModule: \"graph-primitives\",\n  ontologyPrimitive: \"belief\",\n  tier: \"showcase\",\n};\n\nexport const CREATE_EPISTEMIC_CONTRACT: McpToolContract = {\n  name: \"create_epistemic_contract\",\n  description:\n    \"Bind a machine-evaluable epistemic contract to a belief. \" +\n    \"Like `git add` for falsification rules — records the verification condition, modulation policy, \" +\n    \"and evaluation schedule that keep a belief accountable to reality.\",\n  parameters: {\n    beliefNodeId: {\n      type: \"string\",\n      description: \"The belief node to bind this contract to\",\n    },\n    title: {\n      type: \"string\",\n      description: \"Contract title\",\n    },\n    description: {\n      type: \"string\",\n      description: \"Optional contract description\",\n    },\n    conditionType: {\n      type: \"string\",\n      description: \"What kind of contract condition to evaluate\",\n      enum: [\"assertion\", \"temporal\", \"evidential\", \"threshold\", \"composite\"],\n    },\n    direction: {\n      type: \"string\",\n      description: \"Whether satisfying the condition confirms or falsifies\",\n      enum: [\"confirms\", \"falsifies\"],\n    },\n    condition: {\n      type: \"object\",\n      description:\n        \"Condition payload: { expression, evaluator, evaluatorConfig? }\",\n    },\n    deadline: {\n      type: \"number\",\n      description: \"Optional Unix timestamp deadline for temporal contracts\",\n    },\n    compositeOf: {\n      type: \"array\",\n      description: \"Optional array of sub-contract IDs for composite contracts\",\n    },\n    compositeOperator: {\n      type: \"string\",\n      description: \"How composite sub-contracts should be combined\",\n      enum: [\"all\", \"any\", \"majority\"],\n    },\n    modulation: {\n      type: \"object\",\n      description:\n        \"Asymmetric modulation rules for confirmed, disconfirmed, expired, and partial outcomes\",\n    },\n    evaluationSchedule: {\n      type: \"string\",\n      description: \"When this contract should be evaluated\",\n      enum: [\"on_demand\", \"on_evidence\", \"periodic\", \"event_driven\"],\n    },\n    periodicIntervalMs: {\n      type: \"number\",\n      description: \"Optional interval in milliseconds for periodic contracts\",\n    },\n  },\n  required: [\n    \"beliefNodeId\",\n    \"title\",\n    \"conditionType\",\n    \"direction\",\n    \"condition\",\n    \"modulation\",\n    \"evaluationSchedule\",\n  ],\n  response: {\n    description: \"The created epistemic contract binding\",\n    fields: {\n      id: \"string — storage record ID\",\n      contractId: \"string — contract identifier\",\n      beliefId: \"string — canonical belief ID\",\n      status: \"string — initial contract status\",\n      title: \"string — contract title\",\n    },\n  },\n  ownerModule: \"graph-primitives\",\n  ontologyPrimitive: \"belief\",\n  tier: \"workhorse\",\n};\n\n// =============================================================================\n// EVIDENCE TOOLS\n// =============================================================================\n\nexport const ADD_EVIDENCE: McpToolContract = {\n  name: \"add_evidence\",\n  description:\n    \"Commit evidence to the reasoning graph and attach it to a belief. \" +\n    \"Like `git add && git commit` — an atomic write that creates a traceable evidence object. \" +\n    \"Weight ranges from -1.0 (contradicts) to +1.0 (strongly supports). \" +\n    \"Evidence is always context-bound: tied to its source, the time it was captured, and the belief it informs.\",\n  parameters: {\n    canonicalText: { type: \"string\", description: \"The evidence statement\" },\n    topicId: { type: \"string\", description: \"Optional topic scope hint\" },\n    sourceUrl: { type: \"string\", description: \"URL of the source material\" },\n    targetNodeId: {\n      type: \"string\",\n      description: \"The belief this evidence bears on\",\n    },\n    weight: {\n      type: \"number\",\n      description: \"Support weight: -1.0 (contradicts) to +1.0 (supports)\",\n    },\n    reasoning: {\n      type: \"string\",\n      description: \"Why this evidence is relevant to the target belief\",\n    },\n    title: {\n      type: \"string\",\n      description: \"Optional short title for the evidence node\",\n    },\n    content: {\n      type: \"string\",\n      description:\n        \"Optional long-form content (separate from canonicalText summary)\",\n    },\n    contentType: {\n      type: \"string\",\n      description:\n        \"Content MIME type or format hint (e.g., 'text/markdown', 'code')\",\n    },\n    metadata: {\n      type: \"object\",\n      description:\n        \"Optional extra metadata merged into the node (e.g., { codeAnchors: ['path/to/file.ts'], failedApproach: true } for coding intelligence)\",\n    },\n  },\n  required: [\"canonicalText\", \"targetNodeId\", \"reasoning\"],\n  response: {\n    description: \"The created evidence node and its edge\",\n    fields: {\n      nodeId: \"string — evidence node ID\",\n      edgeId: \"string — edge to target belief\",\n    },\n  },\n  ownerModule: \"graph-primitives\",\n  ontologyPrimitive: \"evidence\",\n  tier: \"showcase\",\n};\n\n// =============================================================================\n// CONTRADICTION TOOLS\n// =============================================================================\n\nexport const FLAG_CONTRADICTION: McpToolContract = {\n  name: \"flag_contradiction\",\n  description:\n    \"Flag a contradiction between two beliefs. Contradictions are first-class objects \" +\n    \"with their own lifecycle — they may remain permanently unresolved. \" +\n    \"Like a merge conflict that is allowed to persist. \" +\n    \"Contradictions can trigger structural changes: forking, confidence collapse, or decision blocking. \" +\n    \"Resolution is NEVER automatic — always surfaces for human review.\",\n  parameters: {\n    beliefA: {\n      type: \"string\",\n      description: \"First belief in the contradiction\",\n    },\n    beliefB: {\n      type: \"string\",\n      description: \"Second belief in the contradiction\",\n    },\n    description: { type: \"string\", description: \"What the tension is about\" },\n    severity: {\n      type: \"string\",\n      description: \"How serious the contradiction is\",\n      enum: [\"low\", \"medium\", \"high\", \"critical\"],\n    },\n    topicId: { type: \"string\", description: \"Optional topic scope hint\" },\n    defeatType: {\n      type: \"string\",\n      description:\n        \"Pollock defeat classification: rebuts (direct contradiction), undercuts (attacks the inferential link), undermines (attacks a premise)\",\n      enum: [\"rebuts\", \"undercuts\", \"undermines\"],\n    },\n  },\n  required: [\"beliefA\", \"beliefB\", \"description\"],\n  response: {\n    description: \"The created contradiction object\",\n    fields: {\n      contradictionId: \"string\",\n      status: \"string — 'unresolved'\",\n      beliefA: \"string\",\n      beliefB: \"string\",\n    },\n  },\n  ownerModule: \"graph-primitives\",\n  ontologyPrimitive: \"belief\",\n  tier: \"showcase\",\n};\n\n// =============================================================================\n// WORKTREE TOOLS (git worktree add, git merge)\n// =============================================================================\n"]}

package/dist/tool-contracts.nodes-lenses.d.ts

@@ -0,0 +1,17 @@
+import { McpToolContract } from './tool-contracts.types.js';
+
+declare const CREATE_EPISTEMIC_NODE: McpToolContract;
+declare const GET_EPISTEMIC_NODE: McpToolContract;
+declare const LIST_EPISTEMIC_NODES: McpToolContract;
+declare const UPDATE_EPISTEMIC_NODE: McpToolContract;
+declare const ARCHIVE_EPISTEMIC_NODE: McpToolContract;
+declare const VERIFY_EPISTEMIC_NODE: McpToolContract;
+declare const SUPERSEDE_EPISTEMIC_NODE: McpToolContract;
+declare const BATCH_CREATE_EPISTEMIC_NODES: McpToolContract;
+declare const RECORD_JUDGMENT: McpToolContract;
+declare const CREATE_LENS: McpToolContract;
+declare const LIST_LENSES: McpToolContract;
+declare const APPLY_LENS_TO_TOPIC: McpToolContract;
+declare const REMOVE_LENS_FROM_TOPIC: McpToolContract;
+
+export { APPLY_LENS_TO_TOPIC, ARCHIVE_EPISTEMIC_NODE, BATCH_CREATE_EPISTEMIC_NODES, CREATE_EPISTEMIC_NODE, CREATE_LENS, GET_EPISTEMIC_NODE, LIST_EPISTEMIC_NODES, LIST_LENSES, RECORD_JUDGMENT, REMOVE_LENS_FROM_TOPIC, SUPERSEDE_EPISTEMIC_NODE, UPDATE_EPISTEMIC_NODE, VERIFY_EPISTEMIC_NODE };