@lucern/contracts 1.0.19 → 1.0.20

package/dist/tool-contracts.lifecycle.js

@@ -9,15 +9,7 @@ var CREATE_BELIEF = {
     },
     topicGlobalId: {
       type: "string",
-      description: "Required globalId (UUID) of the topic node in epistemicNodes that anchors the belief"
-    },
-    topicNodeId: {
-      type: "string",
-      description: "Optional internal epistemicNodes _id for the topic anchor. Prefer topicGlobalId for public callers."
-    },
-    topicId: {
-      type: "string",
-      description: "Deprecated compatibility alias for topicGlobalId. Must identify a topic epistemicNode, not a legacy topics-table row."
+      description: "Required UUIDv7 globalId of the topic node in epistemicNodes that anchors the belief. Legacy topics-table ids, Convex storage locators, and UUIDv4 values are refused."
     },
     baseRate: {
       type: "number",

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

@@ -1 +1 @@
-{"version":3,"sources":["../src/tool-contracts.lifecycle.ts"],"names":[],"mappings":";AAEO,IAAM,aAAA,GAAiC;AAAA,EAC5C,IAAA,EAAM,eAAA;AAAA,EACN,WAAA,EACE,qdAAA;AAAA,EAIF,UAAA,EAAY;AAAA,IACV,aAAA,EAAe;AAAA,MACb,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,aAAA,EAAe;AAAA,MACb,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,OAAA,EAAS;AAAA,MACP,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EACE;AAAA,KACJ;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,eAAA,EAAiB,eAAe,CAAA;AAAA,EAC3C,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,YAAA,EACE,8FAAA;AAAA,MACF,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,YAAA,EACE,8FAAA;AAAA,MACF,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,iBAAA,GAAqC;AAAA,EAChD,IAAA,EAAM,mBAAA;AAAA,EACN,WAAA,EACE,6MAAA;AAAA,EAEF,UAAA,EAAY;AAAA,IACV,MAAA,EAAQ,EAAE,IAAA,EAAM,QAAA,EAAU,aAAa,mCAAA,EAAoC;AAAA,IAC3E,MAAA,EAAQ,EAAE,IAAA,EAAM,QAAA,EAAU,aAAa,gCAAA,EAAiC;AAAA,IACxE,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,EAAE,IAAA,EAAM,QAAA,EAAU,aAAa,8BAAA,EAA+B;AAAA,IACxE,OAAA,EAAS;AAAA,MACP,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa,6CAAA;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,WAAA;AAAA,QACA;AAAA;AACF,KACF;AAAA,IACA,UAAA,EAAY;AAAA,MACV,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,CAAC,QAAA,EAAU,QAAA,EAAU,aAAa,aAAA,EAAe,UAAA,EAAY,WAAW,WAAW,CAAA;AAAA,EAC7F,QAAA,EAAU;AAAA,IACR,WAAA,EAAa,oCAAA;AAAA,IACb,MAAA,EAAQ;AAAA,MACN,MAAA,EAAQ,QAAA;AAAA,MACR,kBAAA,EAAoB,QAAA;AAAA,MACpB,aAAA,EAAe,QAAA;AAAA,MACf,kBAAA,EAAoB;AAAA;AACtB,GACF;AAAA,EACA,WAAA,EAAa,kBAAA;AAAA,EACb,iBAAA,EAAmB,QAAA;AAAA,EACnB,IAAA,EAAM,WAAA;AAAA,EACN,QAAA,EAAU;AACZ;AAEO,IAAM,WAAA,GAA+B;AAAA,EAC1C,IAAA,EAAM,aAAA;AAAA,EACN,WAAA,EACE,0XAAA;AAAA,EAGF,UAAA,EAAY;AAAA,IACV,MAAA,EAAQ,EAAE,IAAA,EAAM,QAAA,EAAU,aAAa,yBAAA,EAA0B;AAAA,IACjE,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;AAAA;AACF,KACF;AAAA,IACA,QAAA,EAAU;AAAA,MACR,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EACE,oFAAA;AAAA,MACF,IAAA,EAAM,CAAC,WAAA,EAAa,QAAQ;AAAA,KAC9B;AAAA,IACA,oBAAA,EAAsB;AAAA,MACpB,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EACE;AAAA;AACJ,GACF;AAAA,EACA,QAAA,EAAU,CAAC,QAAA,EAAU,gBAAA,EAAkB,cAAc,sBAAsB,CAAA;AAAA,EAC3E,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 requires a topic epistemic-node anchor and writes a `belongs_to` edge directly from belief node to topic node; orphan beliefs are invalid. \" +\n    \"Creation stores the vacuous opinion `(0, 0, 1, a)`; attach supporting or contradicting evidence with create_evidence or link_evidence_to_belief to record evidential updates.\",\n  parameters: {\n    canonicalText: {\n      type: \"string\",\n      description: \"The belief statement — what the agent holds to be true\",\n    },\n    topicGlobalId: {\n      type: \"string\",\n      description:\n        \"Required globalId (UUID) of the topic node in epistemicNodes that anchors the belief\",\n    },\n    topicNodeId: {\n      type: \"string\",\n      description:\n        \"Optional internal epistemicNodes _id for the topic anchor. Prefer topicGlobalId for public callers.\",\n    },\n    topicId: {\n      type: \"string\",\n      description:\n        \"Deprecated compatibility alias for topicGlobalId. Must identify a topic epistemicNode, not a legacy topics-table row.\",\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\", \"topicGlobalId\"],\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      beliefStatus:\n        \"string — assumption | hypothesis | active | superseded | resolved_true | resolved_false\",\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      beliefStatus:\n        \"string — assumption | hypothesis | active | superseded | resolved_true | resolved_false\",\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 APPEND_SL_SCORING: McpToolContract = {\n  name: \"append_sl_scoring\",\n  description:\n    \"Internal evidence-backed Subjective Logic scoring append. \" +\n    \"This is not a public MCP tool: callers should attach supporting or contradicting evidence, and governed system paths append the derived SL tuple.\",\n  parameters: {\n    nodeId: { type: \"string\", description: \"The belief receiving the SL score\" },\n    belief: { type: \"number\", description: \"Subjective Logic belief mass b\" },\n    disbelief: {\n      type: \"number\",\n      description: \"Subjective Logic disbelief mass d\",\n    },\n    uncertainty: {\n      type: \"number\",\n      description: \"Subjective Logic uncertainty mass u\",\n    },\n    baseRate: { type: \"number\", description: \"Subjective Logic base rate a\" },\n    trigger: {\n      type: \"string\",\n      description: \"Evidence-bearing cause of the scoring event\",\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        \"backfill_synthetic\",\n      ],\n    },\n    provenance: {\n      type: \"object\",\n      description:\n        \"At least one of evidence, question, answer, contradiction, or worktree.\",\n    },\n    rationale: {\n      type: \"string\",\n      description: \"Why this evidence-bearing event moved the SL tuple\",\n    },\n  },\n  required: [\"nodeId\", \"belief\", \"disbelief\", \"uncertainty\", \"baseRate\", \"trigger\", \"rationale\"],\n  response: {\n    description: \"Internal SL scoring append receipt\",\n    fields: {\n      nodeId: \"string\",\n      previousConfidence: \"number\",\n      newConfidence: \"number\",\n      beliefConfidenceId: \"string\",\n    },\n  },\n  ownerModule: \"graph-primitives\",\n  ontologyPrimitive: \"belief\",\n  tier: \"workhorse\",\n  internal: true,\n};\n\nexport const FORK_BELIEF: McpToolContract = {\n  name: \"fork_belief\",\n  description:\n    \"Branch off an evidence-bearing belief to create a new formulation. \" +\n    \"Like `git fork` — the parent remains immutable with full history, and every fork must cite evidence already attached to the parent through SL scoring. \" +\n    \"`forkMode=supersede` marks the parent superseded and requires contradicting evidence; `forkMode=branch` preserves the parent and creates a derived child.\",\n  parameters: {\n    nodeId: { type: \"string\", description: \"The 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      ],\n    },\n    forkMode: {\n      type: \"string\",\n      description:\n        \"supersede replaces the parent; branch creates a child while preserving the parent.\",\n      enum: [\"supersede\", \"branch\"],\n    },\n    triggeringEvidenceId: {\n      type: \"string\",\n      description:\n        \"Evidence already attached to the parent belief that caused the fork.\",\n    },\n  },\n  required: [\"nodeId\", \"newFormulation\", \"forkReason\", \"triggeringEvidenceId\"],\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"]}
+{"version":3,"sources":["../src/tool-contracts.lifecycle.ts"],"names":[],"mappings":";AAEO,IAAM,aAAA,GAAiC;AAAA,EAC5C,IAAA,EAAM,eAAA;AAAA,EACN,WAAA,EACE,qdAAA;AAAA,EAIF,UAAA,EAAY;AAAA,IACV,aAAA,EAAe;AAAA,MACb,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa;AAAA,KACf;AAAA,IACA,aAAA,EAAe;AAAA,MACb,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EACE;AAAA,KACJ;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,eAAA,EAAiB,eAAe,CAAA;AAAA,EAC3C,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,YAAA,EACE,8FAAA;AAAA,MACF,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,YAAA,EACE,8FAAA;AAAA,MACF,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,iBAAA,GAAqC;AAAA,EAChD,IAAA,EAAM,mBAAA;AAAA,EACN,WAAA,EACE,6MAAA;AAAA,EAEF,UAAA,EAAY;AAAA,IACV,MAAA,EAAQ,EAAE,IAAA,EAAM,QAAA,EAAU,aAAa,mCAAA,EAAoC;AAAA,IAC3E,MAAA,EAAQ,EAAE,IAAA,EAAM,QAAA,EAAU,aAAa,gCAAA,EAAiC;AAAA,IACxE,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,EAAE,IAAA,EAAM,QAAA,EAAU,aAAa,8BAAA,EAA+B;AAAA,IACxE,OAAA,EAAS;AAAA,MACP,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EAAa,6CAAA;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,WAAA;AAAA,QACA;AAAA;AACF,KACF;AAAA,IACA,UAAA,EAAY;AAAA,MACV,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,CAAC,QAAA,EAAU,QAAA,EAAU,aAAa,aAAA,EAAe,UAAA,EAAY,WAAW,WAAW,CAAA;AAAA,EAC7F,QAAA,EAAU;AAAA,IACR,WAAA,EAAa,oCAAA;AAAA,IACb,MAAA,EAAQ;AAAA,MACN,MAAA,EAAQ,QAAA;AAAA,MACR,kBAAA,EAAoB,QAAA;AAAA,MACpB,aAAA,EAAe,QAAA;AAAA,MACf,kBAAA,EAAoB;AAAA;AACtB,GACF;AAAA,EACA,WAAA,EAAa,kBAAA;AAAA,EACb,iBAAA,EAAmB,QAAA;AAAA,EACnB,IAAA,EAAM,WAAA;AAAA,EACN,QAAA,EAAU;AACZ;AAEO,IAAM,WAAA,GAA+B;AAAA,EAC1C,IAAA,EAAM,aAAA;AAAA,EACN,WAAA,EACE,0XAAA;AAAA,EAGF,UAAA,EAAY;AAAA,IACV,MAAA,EAAQ,EAAE,IAAA,EAAM,QAAA,EAAU,aAAa,yBAAA,EAA0B;AAAA,IACjE,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;AAAA;AACF,KACF;AAAA,IACA,QAAA,EAAU;AAAA,MACR,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EACE,oFAAA;AAAA,MACF,IAAA,EAAM,CAAC,WAAA,EAAa,QAAQ;AAAA,KAC9B;AAAA,IACA,oBAAA,EAAsB;AAAA,MACpB,IAAA,EAAM,QAAA;AAAA,MACN,WAAA,EACE;AAAA;AACJ,GACF;AAAA,EACA,QAAA,EAAU,CAAC,QAAA,EAAU,gBAAA,EAAkB,cAAc,sBAAsB,CAAA;AAAA,EAC3E,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 requires a topic epistemic-node anchor and writes a `belongs_to` edge directly from belief node to topic node; orphan beliefs are invalid. \" +\n    \"Creation stores the vacuous opinion `(0, 0, 1, a)`; attach supporting or contradicting evidence with create_evidence or link_evidence_to_belief to record evidential updates.\",\n  parameters: {\n    canonicalText: {\n      type: \"string\",\n      description: \"The belief statement — what the agent holds to be true\",\n    },\n    topicGlobalId: {\n      type: \"string\",\n      description:\n        \"Required UUIDv7 globalId of the topic node in epistemicNodes that anchors the belief. Legacy topics-table ids, Convex storage locators, and UUIDv4 values are refused.\",\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\", \"topicGlobalId\"],\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      beliefStatus:\n        \"string — assumption | hypothesis | active | superseded | resolved_true | resolved_false\",\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      beliefStatus:\n        \"string — assumption | hypothesis | active | superseded | resolved_true | resolved_false\",\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 APPEND_SL_SCORING: McpToolContract = {\n  name: \"append_sl_scoring\",\n  description:\n    \"Internal evidence-backed Subjective Logic scoring append. \" +\n    \"This is not a public MCP tool: callers should attach supporting or contradicting evidence, and governed system paths append the derived SL tuple.\",\n  parameters: {\n    nodeId: { type: \"string\", description: \"The belief receiving the SL score\" },\n    belief: { type: \"number\", description: \"Subjective Logic belief mass b\" },\n    disbelief: {\n      type: \"number\",\n      description: \"Subjective Logic disbelief mass d\",\n    },\n    uncertainty: {\n      type: \"number\",\n      description: \"Subjective Logic uncertainty mass u\",\n    },\n    baseRate: { type: \"number\", description: \"Subjective Logic base rate a\" },\n    trigger: {\n      type: \"string\",\n      description: \"Evidence-bearing cause of the scoring event\",\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        \"backfill_synthetic\",\n      ],\n    },\n    provenance: {\n      type: \"object\",\n      description:\n        \"At least one of evidence, question, answer, contradiction, or worktree.\",\n    },\n    rationale: {\n      type: \"string\",\n      description: \"Why this evidence-bearing event moved the SL tuple\",\n    },\n  },\n  required: [\"nodeId\", \"belief\", \"disbelief\", \"uncertainty\", \"baseRate\", \"trigger\", \"rationale\"],\n  response: {\n    description: \"Internal SL scoring append receipt\",\n    fields: {\n      nodeId: \"string\",\n      previousConfidence: \"number\",\n      newConfidence: \"number\",\n      beliefConfidenceId: \"string\",\n    },\n  },\n  ownerModule: \"graph-primitives\",\n  ontologyPrimitive: \"belief\",\n  tier: \"workhorse\",\n  internal: true,\n};\n\nexport const FORK_BELIEF: McpToolContract = {\n  name: \"fork_belief\",\n  description:\n    \"Branch off an evidence-bearing belief to create a new formulation. \" +\n    \"Like `git fork` — the parent remains immutable with full history, and every fork must cite evidence already attached to the parent through SL scoring. \" +\n    \"`forkMode=supersede` marks the parent superseded and requires contradicting evidence; `forkMode=branch` preserves the parent and creates a derived child.\",\n  parameters: {\n    nodeId: { type: \"string\", description: \"The 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      ],\n    },\n    forkMode: {\n      type: \"string\",\n      description:\n        \"supersede replaces the parent; branch creates a child while preserving the parent.\",\n      enum: [\"supersede\", \"branch\"],\n    },\n    triggeringEvidenceId: {\n      type: \"string\",\n      description:\n        \"Evidence already attached to the parent belief that caused the fork.\",\n    },\n  },\n  required: [\"nodeId\", \"newFormulation\", \"forkReason\", \"triggeringEvidenceId\"],\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.values.js

@@ -771,15 +771,7 @@ var CREATE_BELIEF = {
     },
     topicGlobalId: {
       type: "string",
-      description: "Required globalId (UUID) of the topic node in epistemicNodes that anchors the belief"
-    },
-    topicNodeId: {
-      type: "string",
-      description: "Optional internal epistemicNodes _id for the topic anchor. Prefer topicGlobalId for public callers."
-    },
-    topicId: {
-      type: "string",
-      description: "Deprecated compatibility alias for topicGlobalId. Must identify a topic epistemicNode, not a legacy topics-table row."
+      description: "Required UUIDv7 globalId of the topic node in epistemicNodes that anchors the belief. Legacy topics-table ids, Convex storage locators, and UUIDv4 values are refused."
     },
     baseRate: {
       type: "number",