@lucern/graph-primitives 1.0.28 → 1.0.30

package/dist/confidencePropagationDispatch.js

@@ -138,7 +138,7 @@ var dependsOnPropagationSpec = {
   description: "Structural gating. Textbook conditional deduction when edge conditionals exist, otherwise damped dependency cascade through downstream chains."
 };
 
-// src/edges/derivedFrom.ts
+// src/edges/derived-from.ts
 var derivedFromPropagationSpec = {
   edgeType: "derived_from",
   direction: "incoming",
@@ -191,7 +191,7 @@ var informsPropagationSpec = {
   description: "Evidence-bearing influence. Informs can chain through the graph with light per-hop damping."
 };
 
-// src/edges/propagationTypes.ts
+// src/edges/propagation-types.ts
 function isPropagationTraversalDirection(direction) {
   return direction === "outgoing" || direction === "incoming";
 }
@@ -264,6 +264,9 @@ var testsPropagationSpec = {
 };
 
 // src/edges/index.ts
+var canContinueTransitively2 = canContinueTransitively;
+var canTraverseHop2 = canTraverseHop;
+var isPropagationTraversalDirection2 = isPropagationTraversalDirection;
 var EDGE_PROPAGATION_SPECS = [
   supportsPropagationSpec,
   informsPropagationSpec,
@@ -280,7 +283,7 @@ function getEdgePropagationSpecs() {
   return EDGE_PROPAGATION_SPECS;
 }
 function getTraversalDirections(direction) {
-  if (isPropagationTraversalDirection(direction)) {
+  if (isPropagationTraversalDirection2(direction)) {
     return [direction];
   }
   return ["outgoing", "incoming"];
@@ -333,9 +336,8 @@ function edgeMatchesWorkspaceReasoningScope(edge, scope) {
 }
 
 // src/confidencePropagationDispatch.ts
-function resolveTraversalTargetNodeId(edge, direction) {
-  const targetNodeId = direction === "outgoing" ? edge.toNodeId : edge.fromNodeId;
-  return targetNodeId ?? void 0;
+function nodeIdToCacheKey(nodeId) {
+  return String(nodeId);
 }
 function readNodeOpinion(node) {
   const metadata = node.metadata ?? {};
@@ -351,112 +353,168 @@ function readNodeOpinion(node) {
     return mkOpinion(0, 0, 1, 0.5);
   }
 }
+function resolveTraversalTargetNodeId(edge, direction) {
+  const targetNodeId = direction === "outgoing" ? edge.toNodeId : edge.fromNodeId;
+  return targetNodeId ?? void 0;
+}
+function buildInitialState(sourceNodeId, sourceOpinion) {
+  return {
+    nodeId: sourceNodeId,
+    opinion: sourceOpinion,
+    hop: 0,
+    visitedNodeIds: /* @__PURE__ */ new Set([nodeIdToCacheKey(sourceNodeId)])
+  };
+}
+function extendVisited(currentVisited, targetNodeId) {
+  return /* @__PURE__ */ new Set([...currentVisited, nodeIdToCacheKey(targetNodeId)]);
+}
+function makeTransitiveState(current, targetNodeId, projectedOpinion, nextHop) {
+  return {
+    nodeId: targetNodeId,
+    opinion: projectedOpinion,
+    hop: nextHop,
+    visitedNodeIds: extendVisited(current.visitedNodeIds, targetNodeId)
+  };
+}
+function makeDispatchRecord(targetNodeId, spec, direction, edge, projectedOpinion, nextHop, result, existingDispatch) {
+  return {
+    targetNodeId,
+    edgeType: spec.edgeType,
+    traversedDirection: direction,
+    weight: edge.weight ?? 1,
+    opinion: projectedOpinion,
+    operator: result.operator,
+    rationale: existingDispatch ? `${existingDispatch.rationale}; ${result.rationale}` : result.rationale,
+    hop: nextHop
+  };
+}
+async function loadCachedNode(scope, nodeId) {
+  const cacheKey = nodeIdToCacheKey(nodeId);
+  if (!scope.nodeCache.has(cacheKey)) {
+    scope.nodeCache.set(cacheKey, await scope.args.getNode(nodeId));
+  }
+  return scope.nodeCache.get(cacheKey) ?? null;
+}
+async function collectTargetDispatch(state, nextHop, spec, direction, edge, queue, scope) {
+  const sourceScope = scope.args.sourceScope;
+  if (sourceScope && !edgeMatchesWorkspaceReasoningScope(edge, sourceScope)) {
+    return;
+  }
+  const targetNodeId = resolveTraversalTargetNodeId(edge, direction);
+  if (!targetNodeId) {
+    return;
+  }
+  const targetNodeIdKey = nodeIdToCacheKey(targetNodeId);
+  if (state.visitedNodeIds.has(targetNodeIdKey)) {
+    return;
+  }
+  const targetNode = await loadCachedNode(scope, targetNodeId);
+  if (targetNode?.nodeType !== "belief") {
+    return;
+  }
+  if (sourceScope && !nodeMatchesWorkspaceReasoningScope(targetNode, sourceScope)) {
+    return;
+  }
+  const targetOpinion = scope.opinionCache.get(targetNodeIdKey) ?? readNodeOpinion(targetNode);
+  const result = spec.operator(state.opinion, targetOpinion, edge, {
+    hop: nextHop,
+    sourceNodeId: state.nodeId,
+    targetNodeId,
+    traversedDirection: direction,
+    spec
+  });
+  if (!(result && hasProjectedOpinionChanged(targetOpinion, result.opinion))) {
+    return;
+  }
+  const projectedOpinion = mkOpinion(
+    result.opinion.b,
+    result.opinion.d,
+    result.opinion.u,
+    result.opinion.a
+  );
+  scope.opinionCache.set(targetNodeIdKey, projectedOpinion);
+  const existingDispatch = scope.dispatchesByTargetId.get(targetNodeIdKey);
+  scope.dispatchesByTargetId.set(
+    targetNodeIdKey,
+    makeDispatchRecord(
+      targetNodeId,
+      spec,
+      direction,
+      edge,
+      projectedOpinion,
+      nextHop,
+      result,
+      existingDispatch
+    )
+  );
+  if (canContinueTransitively2(spec, nextHop)) {
+    queue.push(
+      makeTransitiveState(state, targetNodeId, projectedOpinion, nextHop)
+    );
+  }
+}
+async function processTraversalSpec(state, nextHop, spec, queue, scope) {
+  const sourceNodeId = state.nodeId;
+  for (const direction of getTraversalDirections(spec.direction)) {
+    const edges = await scope.args.queryEdges({
+      nodeId: sourceNodeId,
+      spec,
+      direction,
+      hop: nextHop
+    });
+    for (const edge of edges) {
+      await collectTargetDispatch(
+        state,
+        nextHop,
+        spec,
+        direction,
+        edge,
+        queue,
+        scope
+      );
+    }
+  }
+}
+async function processQueuedState(state, queue, scope) {
+  const nextHop = state.hop + 1;
+  for (const spec of scope.traversalSpecs) {
+    if (!canTraverseHop2(spec, nextHop)) {
+      continue;
+    }
+    await processTraversalSpec(state, nextHop, spec, queue, scope);
+  }
+}
+function sortDispatches(dispatches) {
+  return Array.from(dispatches).sort((left, right) => {
+    if (left.hop !== right.hop) {
+      return left.hop - right.hop;
+    }
+    return String(left.targetNodeId).localeCompare(String(right.targetNodeId));
+  });
+}
 async function collectConfidencePropagationDispatches(args) {
   const dispatchesByTargetId = /* @__PURE__ */ new Map();
   const opinionCache = /* @__PURE__ */ new Map();
   const nodeCache = /* @__PURE__ */ new Map();
   const traversalSpecs = args.traversalSpecs ?? getEdgePropagationSpecs();
+  const scope = {
+    args,
+    dispatchesByTargetId,
+    opinionCache,
+    nodeCache,
+    traversalSpecs
+  };
   const queue = [
-    {
-      nodeId: args.sourceNodeId,
-      opinion: args.sourceOpinion,
-      hop: 0,
-      visitedNodeIds: /* @__PURE__ */ new Set([String(args.sourceNodeId)])
-    }
+    buildInitialState(args.sourceNodeId, args.sourceOpinion)
   ];
-  const loadNode = async (nodeId) => {
-    const cacheKey = String(nodeId);
-    if (!nodeCache.has(cacheKey)) {
-      nodeCache.set(cacheKey, await args.getNode(nodeId));
-    }
-    return nodeCache.get(cacheKey) ?? null;
-  };
   while (queue.length > 0) {
     const state = queue.shift();
     if (!state) {
       continue;
     }
-    for (const spec of traversalSpecs) {
-      const nextHop = state.hop + 1;
-      if (!canTraverseHop(spec, nextHop)) {
-        continue;
-      }
-      for (const direction of getTraversalDirections(spec.direction)) {
-        const edges = await args.queryEdges({
-          nodeId: state.nodeId,
-          spec,
-          direction,
-          hop: nextHop
-        });
-        for (const edge of edges) {
-          if (args.sourceScope && !edgeMatchesWorkspaceReasoningScope(edge, args.sourceScope)) {
-            continue;
-          }
-          const targetNodeId = resolveTraversalTargetNodeId(edge, direction);
-          if (!targetNodeId) {
-            continue;
-          }
-          if (state.visitedNodeIds.has(String(targetNodeId))) {
-            continue;
-          }
-          const targetNode = await loadNode(targetNodeId);
-          if (!targetNode || targetNode.nodeType !== "belief") {
-            continue;
-          }
-          if (args.sourceScope && !nodeMatchesWorkspaceReasoningScope(targetNode, args.sourceScope)) {
-            continue;
-          }
-          const cacheKey = String(targetNodeId);
-          const targetOpinion = opinionCache.get(cacheKey) ?? readNodeOpinion(targetNode);
-          const result = spec.operator(state.opinion, targetOpinion, edge, {
-            hop: nextHop,
-            sourceNodeId: state.nodeId,
-            targetNodeId,
-            traversedDirection: direction,
-            spec
-          });
-          if (!result || !hasProjectedOpinionChanged(targetOpinion, result.opinion)) {
-            continue;
-          }
-          const projectedOpinion = mkOpinion(
-            result.opinion.b,
-            result.opinion.d,
-            result.opinion.u,
-            result.opinion.a
-          );
-          opinionCache.set(cacheKey, projectedOpinion);
-          const existingDispatch = dispatchesByTargetId.get(cacheKey);
-          dispatchesByTargetId.set(cacheKey, {
-            targetNodeId,
-            edgeType: spec.edgeType,
-            traversedDirection: direction,
-            weight: edge.weight ?? 1,
-            opinion: projectedOpinion,
-            operator: result.operator,
-            rationale: existingDispatch ? `${existingDispatch.rationale}; ${result.rationale}` : result.rationale,
-            hop: nextHop
-          });
-          if (canContinueTransitively(spec, nextHop)) {
-            queue.push({
-              nodeId: targetNodeId,
-              opinion: projectedOpinion,
-              hop: nextHop,
-              visitedNodeIds: /* @__PURE__ */ new Set([
-                ...state.visitedNodeIds,
-                String(targetNodeId)
-              ])
-            });
-          }
-        }
-      }
-    }
+    await processQueuedState(state, queue, scope);
   }
-  return Array.from(dispatchesByTargetId.values()).sort((left, right) => {
-    if (left.hop !== right.hop) {
-      return left.hop - right.hop;
-    }
-    return String(left.targetNodeId).localeCompare(String(right.targetNodeId));
-  });
+  return sortDispatches(dispatchesByTargetId.values());
 }
 
 export { collectConfidencePropagationDispatches };

package/dist/confidencePropagationDispatch.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/edges/contains.ts","../src/edges/utils.ts","../src/edges/contradicts.ts","../src/edges/dependsOn.ts","../src/edges/derivedFrom.ts","../src/edges/elaborates.ts","../src/edges/informs.ts","../src/edges/propagationTypes.ts","../src/edges/refutes.ts","../src/edges/supports.ts","../src/edges/tests.ts","../src/edges/index.ts","../src/workspaceIsolation.ts","../src/confidencePropagationDispatch.ts"],"names":["project","mkOpinion"],"mappings":";;;;;;AAEO,IAAM,uBAAA,GAA+C;AAAA,EAC1D,QAAA,EAAU,UAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,CAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,UAAU,MAAM,IAAA;AAAA,EAChB,WAAA,EACE;AACJ,CAAA;ACIO,SAAS,iBACd,IAAA,EACc;AACd,EAAA,OAAO;AAAA,IACL,UAAA,EAAY,KAAK,UAAA,IAAc,MAAA;AAAA,IAC/B,aAAA,EAAe,KAAK,aAAA,IAAiB,MAAA;AAAA,IACrC,WAAA,EAAa,KAAK,WAAA,IAAe,MAAA;AAAA,IACjC,YAAA,EAAc,KAAK,YAAA,IAAgB,MAAA;AAAA,IACnC,eAAA,EAAiB,KAAK,eAAA,IAAmB;AAAA,GAC3C;AACF;AAEO,SAAS,kBAAA,CACd,eACA,OAAA,EACW;AACX,EAAA,IAAI,WAAW,CAAA,EAAG;AAChB,IAAA,OAAO,aAAA;AAAA,EACT;AAEA,EAAA,OAAO,cAAc,aAAA,EAAe,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,OAAO,CAAC,CAAA;AAC1D;AAEO,SAAS,iBAAA,CACd,MAAA,EACA,IAAA,EACA,GAAA,EACmB;AACnB,EAAA,OAAO;AAAA,IACL,GAAG,MAAA;AAAA,IACH,SAAA,EAAW,OAAO,GAAG,CAAA,MAAA,EAAS,KAAK,QAAQ,CAAA,SAAA,EAAY,KAAK,OAAA,CAAQ,OAAA;AAAA,MAClE;AAAA,KACD,CAAA,IAAA,EAAO,MAAA,CAAO,SAAS,CAAA;AAAA,GAC1B;AACF;AAEO,SAAS,wBAAA,CACd,aAAA,EACA,aAAA,EACA,UAAA,EACmB;AACnB,EAAA,MAAM,aAAa,aAAA,CAAc,aAAA,EAAe,IAAA,CAAK,GAAA,CAAI,UAAU,CAAC,CAAA;AACpE,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,gBAAA,CAAiB,aAAA,EAAe,UAAU,CAAA;AAAA,IACnD,QAAA,EAAU,mBAAA;AAAA,IACV,SAAA,EAAW,+BAA+B,UAAA,CAAW,OAAA;AAAA,MACnD;AAAA,KACD,CAAA,iBAAA,EAAoB,OAAA,CAAQ,aAAa,CAAA,CAAE,OAAA,CAAQ,CAAC,CAAC,CAAA;AAAA,GACxD;AACF;AAEO,SAAS,uBAAA,CACd,aAAA,EACA,aAAA,EACA,UAAA,EACmB;AACnB,EAAA,MAAM,aAAa,aAAA,CAAc,aAAA,EAAe,IAAA,CAAK,GAAA,CAAI,UAAU,CAAC,CAAA;AACpE,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,gBAAA,CAAiB,aAAA,EAAe,UAAU,CAAA;AAAA,IACnD,QAAA,EAAU,mBAAA;AAAA,IACV,SAAA,EAAW,CAAA,4BAAA,EAA+B,UAAA,CAAW,OAAA,CAAQ,CAAC,CAAC,CAAA,CAAA;AAAA,GACjE;AACF;AAEO,SAAS,oCAAA,CACd,aAAA,EACA,aAAA,EACA,UAAA,EACA,IAAA,EACmB;AACnB,EAAA,OAAO,oBAAA;AAAA,IACL,aAAA;AAAA,IACA,aAAA;AAAA,IACA,UAAA;AAAA,IACA,iBAAiB,IAAI;AAAA,GACvB;AACF;AAEO,IAAM,uBAAA,GAA0B,qBAAA;;;ACtFhC,IAAM,0BAAA,GAAkD;AAAA,EAC7D,QAAA,EAAU,aAAA;AAAA,EACV,SAAA,EAAW,eAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,IAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,iBAAiB,CAAC,IAAA,CAAK,GAAA,CAAI,IAAA,CAAK,UAAU,CAAC,CAAA;AACjD,IAAA,MAAM,MAAA,GAAS,oCAAA;AAAA,MACb,YAAA;AAAA,MACA,aAAA;AAAA,MACA,cAAA;AAAA,MACA;AAAA,KACF;AAEA,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;ACrBO,IAAM,wBAAA,GAAgD;AAAA,EAC3D,QAAA,EAAU,YAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,QAAA;AAAA,EACd,OAAA,EAAS,GAAA;AAAA,EACT,OAAA,EAAS,WAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,QAAA,GAAW,iBAAiB,IAAI,CAAA;AAEtC,IAAA,IAAI,QAAA,CAAS,YAAA,IAAgB,QAAA,CAAS,eAAA,EAAiB;AACrD,MAAA,MAAM,cAAA,GAAiB,oBAAA;AAAA,QACrB,YAAA;AAAA,QACA,SAAA;AAAA,UACE,SAAS,YAAA,CAAa,CAAA;AAAA,UACtB,SAAS,YAAA,CAAa,CAAA;AAAA,UACtB,SAAS,YAAA,CAAa,CAAA;AAAA,UACtB,SAAS,YAAA,CAAa;AAAA,SACxB;AAAA,QACA,SAAA;AAAA,UACE,SAAS,eAAA,CAAgB,CAAA;AAAA,UACzB,SAAS,eAAA,CAAgB,CAAA;AAAA,UACzB,SAAS,eAAA,CAAgB,CAAA;AAAA,UACzB,SAAS,eAAA,CAAgB;AAAA,SAC3B;AAAA,QACA,aAAA,CAAc;AAAA,OAChB;AAEA,MAAA,OAAO,iBAAA;AAAA,QACL;AAAA,UACE,OAAA,EAAS,cAAA;AAAA,UACT,QAAA,EAAU,uBAAA;AAAA,UACV,WAAW,CAAA,uCAAA,EAA0CA,OAAAA;AAAA,YACnD;AAAA,WACF,CAAE,OAAA,CAAQ,CAAC,CAAC,CAAA;AAAA,SACd;AAAA,QACA,OAAA,CAAQ,IAAA;AAAA,QACR,OAAA,CAAQ;AAAA,OACV;AAAA,IACF;AAEA,IAAA,MAAM,MAAA,GAAS,uBAAA;AAAA,MACb,YAAA;AAAA,MACA,aAAA;AAAA,MACA,SAAS,WAAA,IAAe;AAAA,KAC1B;AAEA,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;;;AC7DO,IAAM,0BAAA,GAAkD;AAAA,EAC7D,QAAA,EAAU,cAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,CAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,UAAU,MAAM,IAAA;AAAA,EAChB,WAAA,EACE;AACJ,CAAA;;;ACJO,IAAM,yBAAA,GAAiD;AAAA,EAC5D,QAAA,EAAU,YAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,QAAA;AAAA,EACd,OAAA,EAAS,GAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,gBAAA,GAAmB,KAAK,GAAA,CAAI,IAAA,CAAK,IAAI,IAAA,CAAK,MAAA,IAAU,IAAI,CAAA,EAAG,IAAI,CAAA;AACrE,IAAA,MAAM,MAAA,GAAS,uBAAA;AAAA,MACb,YAAA;AAAA,MACA,aAAA;AAAA,MACA;AAAA,KACF;AAEA,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;;;ACrBO,IAAM,sBAAA,GAA8C;AAAA,EACzD,QAAA,EAAU,SAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,IAAA;AAAA,EACT,OAAA,EAAS,WAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,MAAA,GAAS,KAAK,MAAA,IAAU,CAAA;AAC9B,IAAA,MAAM,MAAA,GACJ,MAAA,GAAS,CAAA,GACL,uBAAA,CAAwB,YAAA,EAAc,aAAA,EAAe,MAAM,CAAA,GAC3D,uBAAA,CAAwB,YAAA,EAAc,aAAA,EAAe,MAAM,CAAA;AAEjE,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;;;AC6BO,SAAS,gCACd,SAAA,EAC4C;AAC5C,EAAA,OAAO,SAAA,KAAc,cAAc,SAAA,KAAc,UAAA;AACnD;AAEO,SAAS,cAAA,CACd,MACA,OAAA,EACS;AACT,EAAA,OAAO,IAAA,CAAK,OAAA,KAAY,WAAA,IAAe,OAAA,IAAW,IAAA,CAAK,OAAA;AACzD;AAEO,SAAS,uBAAA,CACd,MACA,UAAA,EACS;AACT,EAAA,IAAI,IAAA,CAAK,iBAAiB,MAAA,EAAQ;AAChC,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,OAAO,IAAA,CAAK,OAAA,KAAY,WAAA,IAAe,UAAA,GAAa,IAAA,CAAK,OAAA;AAC3D;;;ACzEO,IAAM,sBAAA,GAA8C;AAAA,EACzD,QAAA,EAAU,SAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,GAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,iBAAiB,CAAC,IAAA,CAAK,GAAA,CAAI,IAAA,CAAK,UAAU,CAAC,CAAA;AACjD,IAAA,MAAM,MAAA,GAAS,uBAAA;AAAA,MACb,YAAA;AAAA,MACA,aAAA;AAAA,MACA;AAAA,KACF;AAEA,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;;;ACrBO,IAAM,uBAAA,GAA+C;AAAA,EAC1D,QAAA,EAAU,UAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,IAAA;AAAA,EACT,OAAA,EAAS,WAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,MAAA,GAAS,KAAK,MAAA,IAAU,CAAA;AAC9B,IAAA,MAAM,MAAA,GACJ,SAAS,CAAA,GACL,oCAAA;AAAA,MACE,YAAA;AAAA,MACA,aAAA;AAAA,MACA,MAAA;AAAA,MACA;AAAA,KACF,GACA,wBAAA,CAAyB,YAAA,EAAc,aAAA,EAAe,MAAM,CAAA;AAElE,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;;;AChCO,IAAM,oBAAA,GAA4C;AAAA,EACvD,QAAA,EAAU,OAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,CAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,UAAU,MAAM,IAAA;AAAA,EAChB,WAAA,EACE;AACJ,CAAA;;;ACuBO,IAAM,sBAAA,GAAyD;AAAA,EACpE,uBAAA;AAAA,EACA,sBAAA;AAAA,EACA,wBAAA;AAAA,EACA,0BAAA;AAAA,EACA,uBAAA;AAAA,EACA,oBAAA;AAAA,EACA,0BAAA;AAAA,EACA,sBAAA;AAAA,EACA;AACF,CAAA;AAEkC,IAAI,GAAA,CAGpC,sBAAA,CAAuB,GAAA,CAAI,CAAC,IAAA,KAAS,CAAC,IAAA,CAAK,QAAA,EAAU,IAAI,CAAC,CAAC;AAQtD,SAAS,uBAAA,GAA0D;AACxE,EAAA,OAAO,sBAAA;AACT;AAEO,SAAS,uBACd,SAAA,EAC0C;AAC1C,EAAA,IAAI,+BAAA,CAAgC,SAAS,CAAA,EAAG;AAC9C,IAAA,OAAO,CAAC,SAAS,CAAA;AAAA,EACnB;AAEA,EAAA,OAAO,CAAC,YAAY,UAAU,CAAA;AAChC;ACpCO,SAAS,oBAAoB,KAAA,EAAoC;AACtE,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA;AAAA,EACF;AACA,EAAA,MAAM,UAAA,GAAa,MAAM,IAAA,EAAK;AAC9B,EAAA,OAAO,UAAA,CAAW,MAAA,GAAS,CAAA,GAAI,UAAA,GAAa,MAAA;AAC9C;AAiDO,SAAS,kCAAA,CACd,MACA,KAAA,EACS;AACT,EAAA,IAAI,CAAC,IAAA,EAAM;AACT,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,MAAM,aAAA,GAAgB,mBAAA,CAAoB,KAAA,CAAM,QAAQ,CAAA;AACxD,EAAA,MAAM,gBAAA,GAAmB,mBAAA,CAAoB,KAAA,CAAM,WAAW,CAAA;AAC9D,EAAA,MAAM,YAAA,GAAe,mBAAA,CAAoB,IAAA,CAAK,QAAQ,CAAA;AACtD,EAAA,MAAM,eAAA,GAAkB,mBAAA,CAAoB,IAAA,CAAK,WAAW,CAAA;AAC5D,EAAA,MAAM,iBACJ,OAAO,IAAA,CAAK,cAAA,KAAmB,QAAA,GAAW,KAAK,cAAA,GAAiB,MAAA;AAElE,EAAA,IACE,aAAA,IACA,YAAA,IACA,aAAA,KAAkB,YAAA,EAClB;AACA,IAAA,OAAO,KAAA;AAAA,EACT;AAGA,EAAA,IAAI,cAAA,KAAmB,aAAA,IAAiB,eAAA,KAAoB,MAAA,EAAW;AACrE,IAAA,OAAO,IAAA;AAAA,EACT;AAIA,EAAA,IAAI,CAAC,gBAAA,IAAoB,IAAA,CAAK,iBAAA,KAAsB,WAAA,EAAa;AAC/D,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,IAAI,CAAC,gBAAA,EAAkB;AACrB,IAAA,OAAO,eAAA,KAAoB,MAAA;AAAA,EAC7B;AAEA,EAAA,OAAO,gBAAA,KAAqB,eAAA;AAC9B;AAEO,SAAS,kCAAA,CACd,MACA,KAAA,EACS;AACT,EAAA,IAAI,CAAC,IAAA,EAAM;AACT,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,MAAM,aAAA,GAAgB,mBAAA,CAAoB,KAAA,CAAM,QAAQ,CAAA;AACxD,EAAA,MAAM,gBAAA,GAAmB,mBAAA,CAAoB,KAAA,CAAM,WAAW,CAAA;AAC9D,EAAA,MAAM,YAAA,GAAe,mBAAA,CAAoB,IAAA,CAAK,QAAQ,CAAA;AACtD,EAAA,MAAM,eAAA,GAAkB,mBAAA,CAAoB,IAAA,CAAK,WAAW,CAAA;AAE5D,EAAA,IACE,aAAA,IACA,YAAA,IACA,aAAA,KAAkB,YAAA,EAClB;AACA,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,IAAI,CAAC,gBAAA,EAAkB;AACrB,IAAA,OAAO,eAAA,KAAoB,MAAA;AAAA,EAC7B;AAEA,EAAA,OAAO,gBAAA,KAAqB,eAAA;AAC9B;;;ACpGA,SAAS,4BAAA,CACP,MACA,SAAA,EACqB;AACrB,EAAA,MAAM,YAAA,GACJ,SAAA,KAAc,UAAA,GAAa,IAAA,CAAK,WAAW,IAAA,CAAK,UAAA;AAClD,EAAA,OAAO,YAAA,IAAgB,MAAA;AACzB;AAEA,SAAS,gBACP,IAAA,EACW;AACX,EAAA,MAAM,QAAA,GAAY,IAAA,CAAK,QAAA,IAAY,EAAC;AAEpC,EAAA,IAAI;AACF,IAAA,OAAO,qBAAA,CAAsB;AAAA,MAC3B,GAAG,QAAA;AAAA,MACH,WAAW,IAAA,CAAK,SAAA;AAAA,MAChB,WAAW,IAAA,CAAK,SAAA;AAAA,MAChB,WAAW,IAAA,CAAK,SAAA;AAAA,MAChB,WAAW,IAAA,CAAK;AAAA,KACjB,CAAA;AAAA,EACH,CAAA,CAAA,MAAQ;AACN,IAAA,OAAOC,SAAAA,CAAU,CAAA,EAAG,CAAA,EAAG,CAAA,EAAG,GAAG,CAAA;AAAA,EAC/B;AACF;AAEA,eAAsB,uCAEpB,IAAA,EAcoD;AACpD,EAAA,MAAM,oBAAA,uBAA2B,GAAA,EAG/B;AACF,EAAA,MAAM,YAAA,uBAAmB,GAAA,EAAuB;AAChD,EAAA,MAAM,SAAA,uBAAgB,GAAA,EAGpB;AACF,EAAA,MAAM,cAAA,GAAkB,IAAA,CAAK,cAAA,IAC3B,uBAAA,EAAwB;AAC1B,EAAA,MAAM,KAAA,GAKD;AAAA,IACH;AAAA,MACE,QAAQ,IAAA,CAAK,YAAA;AAAA,MACb,SAAS,IAAA,CAAK,aAAA;AAAA,MACd,GAAA,EAAK,CAAA;AAAA,MACL,cAAA,sBAAoB,GAAA,CAAI,CAAC,OAAO,IAAA,CAAK,YAAY,CAAC,CAAC;AAAA;AACrD,GACF;AAEA,EAAA,MAAM,QAAA,GAAW,OAAO,MAAA,KAAoB;AAC1C,IAAA,MAAM,QAAA,GAAW,OAAO,MAAM,CAAA;AAC9B,IAAA,IAAI,CAAC,SAAA,CAAU,GAAA,CAAI,QAAQ,CAAA,EAAG;AAC5B,MAAA,SAAA,CAAU,IAAI,QAAA,EAAU,MAAM,IAAA,CAAK,OAAA,CAAQ,MAAM,CAAC,CAAA;AAAA,IACpD;AACA,IAAA,OAAO,SAAA,CAAU,GAAA,CAAI,QAAQ,CAAA,IAAK,IAAA;AAAA,EACpC,CAAA;AAEA,EAAA,OAAO,KAAA,CAAM,SAAS,CAAA,EAAG;AACvB,IAAA,MAAM,KAAA,GAAQ,MAAM,KAAA,EAAM;AAC1B,IAAA,IAAI,CAAC,KAAA,EAAO;AACV,MAAA;AAAA,IACF;AAEA,IAAA,KAAA,MAAW,QAAQ,cAAA,EAAgB;AACjC,MAAA,MAAM,OAAA,GAAU,MAAM,GAAA,GAAM,CAAA;AAC5B,MAAA,IAAI,CAAC,cAAA,CAAe,IAAA,EAAM,OAAO,CAAA,EAAG;AAClC,QAAA;AAAA,MACF;AAEA,MAAA,KAAA,MAAW,SAAA,IAAa,sBAAA,CAAuB,IAAA,CAAK,SAAS,CAAA,EAAG;AAC9D,QAAA,MAAM,KAAA,GAAQ,MAAM,IAAA,CAAK,UAAA,CAAW;AAAA,UAClC,QAAQ,KAAA,CAAM,MAAA;AAAA,UACd,IAAA;AAAA,UACA,SAAA;AAAA,UACA,GAAA,EAAK;AAAA,SACN,CAAA;AAED,QAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,UAAA,IACE,KAAK,WAAA,IACL,CAAC,mCAAmC,IAAA,EAAM,IAAA,CAAK,WAAW,CAAA,EAC1D;AACA,YAAA;AAAA,UACF;AAEA,UAAA,MAAM,YAAA,GAAe,4BAAA,CAA6B,IAAA,EAAM,SAAS,CAAA;AACjE,UAAA,IAAI,CAAC,YAAA,EAAc;AACjB,YAAA;AAAA,UACF;AAEA,UAAA,IAAI,MAAM,cAAA,CAAe,GAAA,CAAI,MAAA,CAAO,YAAY,CAAC,CAAA,EAAG;AAClD,YAAA;AAAA,UACF;AAEA,UAAA,MAAM,UAAA,GAAa,MAAM,QAAA,CAAS,YAAY,CAAA;AAC9C,UAAA,IAAI,CAAC,UAAA,IAAc,UAAA,CAAW,QAAA,KAAa,QAAA,EAAU;AACnD,YAAA;AAAA,UACF;AAEA,UAAA,IACE,KAAK,WAAA,IACL,CAAC,mCAAmC,UAAA,EAAY,IAAA,CAAK,WAAW,CAAA,EAChE;AACA,YAAA;AAAA,UACF;AAEA,UAAA,MAAM,QAAA,GAAW,OAAO,YAAY,CAAA;AACpC,UAAA,MAAM,gBACJ,YAAA,CAAa,GAAA,CAAI,QAAQ,CAAA,IAAK,gBAAgB,UAAU,CAAA;AAC1D,UAAA,MAAM,SAAS,IAAA,CAAK,QAAA,CAAS,KAAA,CAAM,OAAA,EAAS,eAAe,IAAA,EAAM;AAAA,YAC/D,GAAA,EAAK,OAAA;AAAA,YACL,cAAc,KAAA,CAAM,MAAA;AAAA,YACpB,YAAA;AAAA,YACA,kBAAA,EAAoB,SAAA;AAAA,YACpB;AAAA,WACD,CAAA;AAED,UAAA,IACE,CAAC,MAAA,IACD,CAAC,2BAA2B,aAAA,EAAe,MAAA,CAAO,OAAO,CAAA,EACzD;AACA,YAAA;AAAA,UACF;AAEA,UAAA,MAAM,gBAAA,GAAmBA,SAAAA;AAAA,YACvB,OAAO,OAAA,CAAQ,CAAA;AAAA,YACf,OAAO,OAAA,CAAQ,CAAA;AAAA,YACf,OAAO,OAAA,CAAQ,CAAA;AAAA,YACf,OAAO,OAAA,CAAQ;AAAA,WACjB;AAEA,UAAA,YAAA,CAAa,GAAA,CAAI,UAAU,gBAAgB,CAAA;AAE3C,UAAA,MAAM,gBAAA,GAAmB,oBAAA,CAAqB,GAAA,CAAI,QAAQ,CAAA;AAC1D,UAAA,oBAAA,CAAqB,IAAI,QAAA,EAAU;AAAA,YACjC,YAAA;AAAA,YACA,UAAU,IAAA,CAAK,QAAA;AAAA,YACf,kBAAA,EAAoB,SAAA;AAAA,YACpB,MAAA,EAAQ,KAAK,MAAA,IAAU,CAAA;AAAA,YACvB,OAAA,EAAS,gBAAA;AAAA,YACT,UAAU,MAAA,CAAO,QAAA;AAAA,YACjB,SAAA,EAAW,mBACP,CAAA,EAAG,gBAAA,CAAiB,SAAS,CAAA,EAAA,EAAK,MAAA,CAAO,SAAS,CAAA,CAAA,GAClD,MAAA,CAAO,SAAA;AAAA,YACX,GAAA,EAAK;AAAA,WACN,CAAA;AAED,UAAA,IAAI,uBAAA,CAAwB,IAAA,EAAM,OAAO,CAAA,EAAG;AAC1C,YAAA,KAAA,CAAM,IAAA,CAAK;AAAA,cACT,MAAA,EAAQ,YAAA;AAAA,cACR,OAAA,EAAS,gBAAA;AAAA,cACT,GAAA,EAAK,OAAA;AAAA,cACL,cAAA,sBAAoB,GAAA,CAAI;AAAA,gBACtB,GAAG,KAAA,CAAM,cAAA;AAAA,gBACT,OAAO,YAAY;AAAA,eACpB;AAAA,aACF,CAAA;AAAA,UACH;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAEA,EAAA,OAAO,KAAA,CAAM,KAAK,oBAAA,CAAqB,MAAA,EAAQ,CAAA,CAAE,IAAA,CAAK,CAAC,IAAA,EAAM,KAAA,KAAU;AACrE,IAAA,IAAI,IAAA,CAAK,GAAA,KAAQ,KAAA,CAAM,GAAA,EAAK;AAC1B,MAAA,OAAO,IAAA,CAAK,MAAM,KAAA,CAAM,GAAA;AAAA,IAC1B;AACA,IAAA,OAAO,MAAA,CAAO,KAAK,YAAY,CAAA,CAAE,cAAc,MAAA,CAAO,KAAA,CAAM,YAAY,CAAC,CAAA;AAAA,EAC3E,CAAC,CAAA;AACH","file":"confidencePropagationDispatch.js","sourcesContent":["import type { EdgePropagationSpec } from \"./propagationTypes\";\n\nexport const containsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"contains\",\n  direction: \"outgoing\",\n  transitivity: \"none\",\n  damping: 1,\n  maxHops: 1,\n  operator: () => null,\n  description:\n    \"Structural containment only. Traversed for explicit semantics, but it never propagates opinions.\",\n};\n\n","import {\n  applyNegativeEvidence,\n  applyNegativeSupport,\n  cumulativeFusion,\n  project,\n  trustDiscount,\n  type EdgeMetadata,\n  type PropagationResult,\n  type SLOpinion,\n} from \"@lucern/confidence\";\nimport type {\n  EdgePropagationSpec,\n  PropagationEdgeRecord,\n} from \"./propagationTypes\";\n\nexport function readEdgeMetadata<TNodeId extends string>(\n  edge: PropagationEdgeRecord<TNodeId>\n): EdgeMetadata {\n  return {\n    constraint: edge.constraint ?? undefined,\n    normalization: edge.normalization ?? undefined,\n    propagation: edge.propagation ?? undefined,\n    conditionalA: edge.conditionalA ?? undefined,\n    conditionalNotA: edge.conditionalNotA ?? undefined,\n  };\n}\n\nexport function applyPerHopDamping(\n  sourceOpinion: SLOpinion,\n  damping: number\n): SLOpinion {\n  if (damping >= 1) {\n    return sourceOpinion;\n  }\n\n  return trustDiscount(sourceOpinion, Math.max(0, damping));\n}\n\nexport function annotateRationale(\n  result: PropagationResult,\n  spec: EdgePropagationSpec,\n  hop: number\n): PropagationResult {\n  return {\n    ...result,\n    rationale: `hop=${hop} edge=${spec.edgeType} damping=${spec.damping.toFixed(\n      2\n    )} :: ${result.rationale}`,\n  };\n}\n\nexport function propagatePositiveSupport(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(\n      2\n    )}) from source at ${project(sourceOpinion).toFixed(2)}`,\n  };\n}\n\nexport function propagatePositiveInform(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(2)})`,\n  };\n}\n\nexport function propagateNegativeSupportWithMetadata(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number,\n  edge: PropagationEdgeRecord\n): PropagationResult {\n  return applyNegativeSupport(\n    sourceOpinion,\n    targetOpinion,\n    edgeWeight,\n    readEdgeMetadata(edge)\n  );\n}\n\nexport const propagateNegativeInform = applyNegativeEvidence;\n","import type { EdgePropagationSpec } from \"./propagationTypes\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagateNegativeSupportWithMetadata,\n} from \"./utils\";\n\nexport const contradictsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"contradicts\",\n  direction: \"bidirectional\",\n  transitivity: \"none\",\n  damping: 0.85,\n  maxHops: 1,\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const negativeWeight = -Math.abs(edge.weight ?? 1);\n    const result = propagateNegativeSupportWithMetadata(\n      dampedSource,\n      targetOpinion,\n      negativeWeight,\n      edge\n    );\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Legacy contradiction edges move negative pressure in either direction, but never beyond one hop.\",\n};\n\n","import {\n  conditionalDeduction,\n  dampedDependencyCascade,\n  mkOpinion,\n  project,\n} from \"@lucern/confidence\";\nimport type { EdgePropagationSpec } from \"./propagationTypes\";\nimport { annotateRationale, applyPerHopDamping, readEdgeMetadata } from \"./utils\";\n\nexport const dependsOnPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"depends_on\",\n  direction: \"incoming\",\n  transitivity: \"damped\",\n  damping: 0.8,\n  maxHops: \"unbounded\",\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const metadata = readEdgeMetadata(edge);\n\n    if (metadata.conditionalA && metadata.conditionalNotA) {\n      const deducedOpinion = conditionalDeduction(\n        dampedSource,\n        mkOpinion(\n          metadata.conditionalA.b,\n          metadata.conditionalA.d,\n          metadata.conditionalA.u,\n          metadata.conditionalA.a\n        ),\n        mkOpinion(\n          metadata.conditionalNotA.b,\n          metadata.conditionalNotA.d,\n          metadata.conditionalNotA.u,\n          metadata.conditionalNotA.a\n        ),\n        targetOpinion.a\n      );\n\n      return annotateRationale(\n        {\n          opinion: deducedOpinion,\n          operator: \"conditional_deduction\",\n          rationale: `Conditional deduction: prerequisite at ${project(\n            dampedSource\n          ).toFixed(2)}`,\n        },\n        context.spec,\n        context.hop\n      );\n    }\n\n    const result = dampedDependencyCascade(\n      dampedSource,\n      targetOpinion,\n      metadata.propagation ?? \"continuous\"\n    );\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Structural gating. Textbook conditional deduction when edge conditionals exist, otherwise damped dependency cascade through downstream chains.\",\n};\n","import type { EdgePropagationSpec } from \"./propagationTypes\";\n\nexport const derivedFromPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"derived_from\",\n  direction: \"incoming\",\n  transitivity: \"none\",\n  damping: 1,\n  maxHops: 1,\n  operator: () => null,\n  description:\n    \"Provenance only. The traversal surface stays explicit, but confidence does not move across derived_from edges.\",\n};\n\n","import type { EdgePropagationSpec } from \"./propagationTypes\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagatePositiveInform,\n} from \"./utils\";\n\nexport const elaboratesPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"elaborates\",\n  direction: \"outgoing\",\n  transitivity: \"damped\",\n  damping: 0.7,\n  maxHops: 2,\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const contextualWeight = Math.min(Math.abs(edge.weight ?? 0.35), 0.35);\n    const result = propagatePositiveInform(\n      dampedSource,\n      targetOpinion,\n      contextualWeight\n    );\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Context-rich supporting detail. Elaborates carries a small positive effect with short, damped chaining.\",\n};\n\n","import type { EdgePropagationSpec } from \"./propagationTypes\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagateNegativeInform,\n  propagatePositiveInform,\n} from \"./utils\";\n\nexport const informsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"informs\",\n  direction: \"outgoing\",\n  transitivity: \"full\",\n  damping: 0.92,\n  maxHops: \"unbounded\",\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const weight = edge.weight ?? 1;\n    const result =\n      weight < 0\n        ? propagateNegativeInform(dampedSource, targetOpinion, weight)\n        : propagatePositiveInform(dampedSource, targetOpinion, weight);\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Evidence-bearing influence. Informs can chain through the graph with light per-hop damping.\",\n};\n\n","import type {\n  EdgeMetadata,\n  PropagationResult,\n  SLOpinion,\n} from \"@lucern/confidence\";\n\nexport type PropagationTraversalDirection = \"outgoing\" | \"incoming\";\n\nexport type PropagationSpecDirection =\n  | PropagationTraversalDirection\n  | \"bidirectional\";\n\nexport type PropagationEdgeType =\n  | \"supports\"\n  | \"depends_on\"\n  | \"informs\"\n  | \"contains\"\n  | \"tests\"\n  | \"derived_from\"\n  | \"contradicts\"\n  | \"refutes\"\n  | \"elaborates\";\n\nexport type PropagationEdgeRecord<TNodeId extends string = string> = {\n  fromNodeId?: TNodeId | null;\n  toNodeId?: TNodeId | null;\n  edgeType: string;\n  weight?: number | null;\n  constraint?: EdgeMetadata[\"constraint\"] | null;\n  normalization?: EdgeMetadata[\"normalization\"] | null;\n  propagation?: EdgeMetadata[\"propagation\"] | null;\n  conditionalA?: EdgeMetadata[\"conditionalA\"] | null;\n  conditionalNotA?: EdgeMetadata[\"conditionalNotA\"] | null;\n  tenantId?: string;\n  workspaceId?: string;\n};\n\nexport type EdgePropagationSpec<TNodeId extends string = string> = {\n  edgeType: PropagationEdgeType;\n  direction: PropagationSpecDirection;\n  transitivity: \"none\" | \"damped\" | \"full\";\n  damping: number;\n  maxHops: number | \"unbounded\";\n  operator: (\n    sourceOpinion: SLOpinion,\n    targetOpinion: SLOpinion,\n    edge: PropagationEdgeRecord<TNodeId>,\n    context: {\n      hop: number;\n      sourceNodeId: TNodeId;\n      targetNodeId: TNodeId;\n      traversedDirection: PropagationTraversalDirection;\n      spec: EdgePropagationSpec<TNodeId>;\n    }\n  ) => PropagationResult | null;\n  description: string;\n};\n\nexport function isPropagationTraversalDirection(\n  direction: string\n): direction is PropagationTraversalDirection {\n  return direction === \"outgoing\" || direction === \"incoming\";\n}\n\nexport function canTraverseHop<TNodeId extends string>(\n  spec: EdgePropagationSpec<TNodeId>,\n  nextHop: number\n): boolean {\n  return spec.maxHops === \"unbounded\" || nextHop <= spec.maxHops;\n}\n\nexport function canContinueTransitively<TNodeId extends string>(\n  spec: EdgePropagationSpec<TNodeId>,\n  currentHop: number\n): boolean {\n  if (spec.transitivity === \"none\") {\n    return false;\n  }\n\n  return spec.maxHops === \"unbounded\" || currentHop < spec.maxHops;\n}\n","import type { EdgePropagationSpec } from \"./propagationTypes\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagateNegativeInform,\n} from \"./utils\";\n\nexport const refutesPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"refutes\",\n  direction: \"outgoing\",\n  transitivity: \"none\",\n  damping: 0.9,\n  maxHops: 1,\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const negativeWeight = -Math.abs(edge.weight ?? 1);\n    const result = propagateNegativeInform(\n      dampedSource,\n      targetOpinion,\n      negativeWeight\n    );\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Explicit negative evidence semantics. Refutes is treated as strong one-hop counter-evidence.\",\n};\n\n","import type { EdgePropagationSpec } from \"./propagationTypes\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagateNegativeSupportWithMetadata,\n  propagatePositiveSupport,\n} from \"./utils\";\n\nexport const supportsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"supports\",\n  direction: \"outgoing\",\n  transitivity: \"full\",\n  damping: 0.85,\n  maxHops: \"unbounded\",\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const weight = edge.weight ?? 1;\n    const result =\n      weight < 0\n        ? propagateNegativeSupportWithMetadata(\n            dampedSource,\n            targetOpinion,\n            weight,\n            edge\n          )\n        : propagatePositiveSupport(dampedSource, targetOpinion, weight);\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Belief-to-belief influence. Supports chains transitively with moderate per-hop damping.\",\n};\n\n","import type { EdgePropagationSpec } from \"./propagationTypes\";\n\nexport const testsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"tests\",\n  direction: \"outgoing\",\n  transitivity: \"none\",\n  damping: 1,\n  maxHops: 1,\n  operator: () => null,\n  description:\n    \"Interrogation linkage only. Tests edges do not directly move confidence.\",\n};\n\n","import { containsPropagationSpec } from \"./contains\";\nimport { contradictsPropagationSpec } from \"./contradicts\";\nimport { dependsOnPropagationSpec } from \"./dependsOn\";\nimport { derivedFromPropagationSpec } from \"./derivedFrom\";\nimport { elaboratesPropagationSpec } from \"./elaborates\";\nimport { informsPropagationSpec } from \"./informs\";\nimport type {\n  EdgePropagationSpec,\n  PropagationEdgeType,\n  PropagationSpecDirection,\n  PropagationTraversalDirection,\n} from \"./propagationTypes\";\nimport {\n  canContinueTransitively,\n  canTraverseHop,\n  isPropagationTraversalDirection,\n} from \"./propagationTypes\";\nimport { refutesPropagationSpec } from \"./refutes\";\nimport { supportsPropagationSpec } from \"./supports\";\nimport { testsPropagationSpec } from \"./tests\";\n\nexport type {\n  EdgePropagationSpec,\n  PropagationEdgeRecord,\n  PropagationEdgeType,\n  PropagationSpecDirection,\n  PropagationTraversalDirection,\n} from \"./propagationTypes\";\nexport {\n  canContinueTransitively,\n  canTraverseHop,\n  isPropagationTraversalDirection,\n} from \"./propagationTypes\";\n\nexport const EDGE_PROPAGATION_SPECS: readonly EdgePropagationSpec[] = [\n  supportsPropagationSpec,\n  informsPropagationSpec,\n  dependsOnPropagationSpec,\n  derivedFromPropagationSpec,\n  containsPropagationSpec,\n  testsPropagationSpec,\n  contradictsPropagationSpec,\n  refutesPropagationSpec,\n  elaboratesPropagationSpec,\n] as const;\n\nconst EDGE_PROPAGATION_SPEC_MAP = new Map<\n  PropagationEdgeType,\n  EdgePropagationSpec\n>(EDGE_PROPAGATION_SPECS.map((spec) => [spec.edgeType, spec]));\n\nexport function getEdgePropagationSpec(\n  edgeType: string\n): EdgePropagationSpec | undefined {\n  return EDGE_PROPAGATION_SPEC_MAP.get(edgeType as PropagationEdgeType);\n}\n\nexport function getEdgePropagationSpecs(): readonly EdgePropagationSpec[] {\n  return EDGE_PROPAGATION_SPECS;\n}\n\nexport function getTraversalDirections(\n  direction: PropagationSpecDirection\n): readonly PropagationTraversalDirection[] {\n  if (isPropagationTraversalDirection(direction)) {\n    return [direction];\n  }\n\n  return [\"outgoing\", \"incoming\"];\n}\n","import {\n  getLayerForNodeType,\n  isNodeType,\n} from \"@lucern/contracts/schema-helpers/spine/tables/epistemicNodes\";\nimport {\n  resolveTopicProjectScope,\n  type TopicProjectScope,\n} from \"./topicScope\";\n\ntype StructuredInvariantError = Error & {\n  status: number;\n  code: string;\n  invariantCode?: string;\n  suggestion?: string;\n  details?: unknown;\n};\n\ntype ScopeLike = {\n  tenantId?: unknown;\n  workspaceId?: unknown;\n  epistemicLayer?: unknown;\n  nodeType?: unknown;\n  topicId?: unknown;\n  projectId?: unknown;\n  publicationStatus?: unknown;\n};\n\nexport type RuntimePackMutationContext = {\n  toolName?: string;\n  packKey?: string;\n  packInstallScope?: \"tenant\" | \"workspace\";\n};\n\nexport function normalizeScopeValue(value: unknown): string | undefined {\n  if (typeof value !== \"string\") {\n    return;\n  }\n  const normalized = value.trim();\n  return normalized.length > 0 ? normalized : undefined;\n}\n\nfunction throwWorkspaceIsolationError(args: {\n  message: string;\n  invariantCode: string;\n  suggestion: string;\n  details?: unknown;\n}): never {\n  const error = new Error(args.message) as StructuredInvariantError;\n  error.status = 409;\n  error.code = \"INVARIANT_VIOLATION\";\n  error.invariantCode = args.invariantCode;\n  error.suggestion = args.suggestion;\n  error.details = args.details;\n  throw error;\n}\n\nexport function assertWorkspaceScopedEpistemicNodeScope(args: {\n  scope: TopicProjectScope;\n  nodeType: string;\n  mutationName: string;\n}): void {\n  const layer = isNodeType(args.nodeType)\n    ? getLayerForNodeType(args.nodeType)\n    : undefined;\n  if (layer === \"ontological\") {\n    return;\n  }\n\n  const workspaceId = normalizeScopeValue(args.scope.workspaceId);\n  if (workspaceId) {\n    return;\n  }\n\n  throwWorkspaceIsolationError({\n    message:\n      \"Workspace-scoped reasoning isolation requires workspaceId on non-ontological node creation.\",\n    invariantCode: \"workspace.scope_required_for_epistemic_nodes\",\n    suggestion:\n      \"Resolve the topic/project scope through a workspace-bound topic before creating epistemic nodes.\",\n    details: {\n      mutationName: args.mutationName,\n      nodeType: args.nodeType,\n      topicId: args.scope.topicId,\n      projectId: args.scope.projectId,\n    },\n  });\n}\n\nexport function nodeMatchesWorkspaceReasoningScope(\n  node: ScopeLike | null | undefined,\n  scope: Pick<TopicProjectScope, \"tenantId\" | \"workspaceId\">\n): boolean {\n  if (!node) {\n    return false;\n  }\n\n  const scopeTenantId = normalizeScopeValue(scope.tenantId);\n  const scopeWorkspaceId = normalizeScopeValue(scope.workspaceId);\n  const nodeTenantId = normalizeScopeValue(node.tenantId);\n  const nodeWorkspaceId = normalizeScopeValue(node.workspaceId);\n  const epistemicLayer =\n    typeof node.epistemicLayer === \"string\" ? node.epistemicLayer : undefined;\n\n  if (\n    scopeTenantId &&\n    nodeTenantId &&\n    scopeTenantId !== nodeTenantId\n  ) {\n    return false;\n  }\n\n  // Ontological entities are tenant-global (no workspace required)\n  if (epistemicLayer === \"ontological\" && nodeWorkspaceId === undefined) {\n    return true;\n  }\n\n  // Published nodes are visible at tenant scope — the microservice API surface.\n  // The node stays in its workspace, but tenant-scope queries can see it.\n  if (!scopeWorkspaceId && node.publicationStatus === \"published\") {\n    return true;\n  }\n\n  if (!scopeWorkspaceId) {\n    return nodeWorkspaceId === undefined;\n  }\n\n  return scopeWorkspaceId === nodeWorkspaceId;\n}\n\nexport function edgeMatchesWorkspaceReasoningScope(\n  edge: ScopeLike | null | undefined,\n  scope: Pick<TopicProjectScope, \"tenantId\" | \"workspaceId\">\n): boolean {\n  if (!edge) {\n    return false;\n  }\n\n  const scopeTenantId = normalizeScopeValue(scope.tenantId);\n  const scopeWorkspaceId = normalizeScopeValue(scope.workspaceId);\n  const edgeTenantId = normalizeScopeValue(edge.tenantId);\n  const edgeWorkspaceId = normalizeScopeValue(edge.workspaceId);\n\n  if (\n    scopeTenantId &&\n    edgeTenantId &&\n    scopeTenantId !== edgeTenantId\n  ) {\n    return false;\n  }\n\n  if (!scopeWorkspaceId) {\n    return edgeWorkspaceId === undefined;\n  }\n\n  return scopeWorkspaceId === edgeWorkspaceId;\n}\n\nexport async function resolveNodeScopeForWorkspaceIsolation(\n  ctx: any,\n  node: ScopeLike | null | undefined\n): Promise<{\n  tenantId?: string;\n  workspaceId?: string;\n  epistemicLayer?: string;\n  nodeType?: string;\n}> {\n  const epistemicLayer =\n    typeof node?.epistemicLayer === \"string\" ? node.epistemicLayer : undefined;\n  const resolved = {\n    tenantId: normalizeScopeValue(node?.tenantId),\n    workspaceId: normalizeScopeValue(node?.workspaceId),\n    epistemicLayer,\n    nodeType: typeof node?.nodeType === \"string\" ? node.nodeType : undefined,\n  };\n\n  if (!node) {\n    return resolved;\n  }\n\n  if (resolved.epistemicLayer === \"ontological\") {\n    return resolved;\n  }\n\n  if (resolved.tenantId || resolved.workspaceId) {\n    return resolved;\n  }\n\n  if (node.topicId) {\n    const topicScope = await resolveTopicProjectScope(ctx, {\n      topicId: node.topicId as any,\n    });\n    return {\n      ...resolved,\n      tenantId: topicScope.tenantId,\n      workspaceId: topicScope.workspaceId,\n    };\n  }\n\n  if (node.projectId) {\n    const topicScope = await resolveTopicProjectScope(ctx, {\n      projectId: String(node.projectId),\n    });\n    return {\n      ...resolved,\n      tenantId: topicScope.tenantId,\n      workspaceId: topicScope.workspaceId,\n    };\n  }\n\n  return resolved;\n}\n\nexport function resolveRuntimePackMutationContext(args: {\n  runtimeToolName?: string;\n  runtimePackKey?: string;\n  runtimePackInstallScope?: \"tenant\" | \"workspace\";\n}): RuntimePackMutationContext | undefined {\n  if (\n    !args.runtimeToolName &&\n    !args.runtimePackKey &&\n    !args.runtimePackInstallScope\n  ) {\n    return;\n  }\n\n  return {\n    toolName: args.runtimeToolName,\n    packKey: args.runtimePackKey,\n    packInstallScope: args.runtimePackInstallScope,\n  };\n}\n\nexport function assertTenantPackWorkspaceMutationAllowed(args: {\n  runtime?: RuntimePackMutationContext;\n  target: ScopeLike;\n  mutationName: string;\n}): void {\n  if (\n    !args.runtime?.packKey ||\n    args.runtime.packInstallScope !== \"tenant\"\n  ) {\n    return;\n  }\n\n  const targetWorkspaceId = normalizeScopeValue(args.target.workspaceId);\n  const targetLayer =\n    typeof args.target.epistemicLayer === \"string\"\n      ? args.target.epistemicLayer\n      : undefined;\n\n  if (!targetWorkspaceId || targetLayer === \"ontological\") {\n    return;\n  }\n\n  throwWorkspaceIsolationError({\n    message:\n      `Tenant-scoped pack \"${args.runtime.packKey}\" cannot mutate workspace-scoped reasoning state.`,\n    invariantCode: \"workspace.tenant_pack_reasoning_write_forbidden\",\n    suggestion:\n      \"Use a workspace-scoped pack for workspace-local graph mutations, or route the change through tenant-global canonical entity flows.\",\n    details: {\n      mutationName: args.mutationName,\n      toolName: args.runtime.toolName,\n      packKey: args.runtime.packKey,\n      targetWorkspaceId,\n      targetNodeType: args.target.nodeType,\n      targetLayer,\n    },\n  });\n}\n","import {\n  hasProjectedOpinionChanged,\n  mkOpinion,\n  readOpinionFromRecord,\n  type SLOpinion,\n  type SLOperator,\n} from \"@lucern/confidence\";\nimport {\n  canContinueTransitively,\n  canTraverseHop,\n  getEdgePropagationSpecs,\n  getTraversalDirections,\n  type EdgePropagationSpec,\n  type PropagationEdgeRecord,\n  type PropagationEdgeType,\n  type PropagationTraversalDirection,\n} from \"./edges\";\nimport {\n  edgeMatchesWorkspaceReasoningScope,\n  nodeMatchesWorkspaceReasoningScope,\n} from \"./workspaceIsolation\";\n\nexport type PropagationDispatchScope = {\n  tenantId?: string;\n  workspaceId?: string;\n};\n\nexport type PropagationDispatchNode<TNodeId extends string = string> = {\n  _id?: TNodeId;\n  nodeType?: string;\n  tenantId?: string;\n  workspaceId?: string;\n  epistemicLayer?: string;\n  publicationStatus?: string;\n  metadata?: unknown;\n  opinion_b?: number;\n  opinion_d?: number;\n  opinion_u?: number;\n  opinion_a?: number;\n};\n\nexport type PropagationDispatchEdge<TNodeId extends string = string> =\n  PropagationEdgeRecord<TNodeId>;\n\nexport type ConfidencePropagationDispatch<TNodeId extends string = string> = {\n  targetNodeId: TNodeId;\n  edgeType: PropagationEdgeType;\n  traversedDirection: PropagationTraversalDirection;\n  weight: number;\n  opinion: SLOpinion;\n  operator: SLOperator;\n  rationale: string;\n  hop: number;\n};\n\nfunction resolveTraversalTargetNodeId<TNodeId extends string>(\n  edge: PropagationDispatchEdge<TNodeId>,\n  direction: PropagationTraversalDirection\n): TNodeId | undefined {\n  const targetNodeId =\n    direction === \"outgoing\" ? edge.toNodeId : edge.fromNodeId;\n  return targetNodeId ?? undefined;\n}\n\nfunction readNodeOpinion<TNodeId extends string>(\n  node: PropagationDispatchNode<TNodeId>\n): SLOpinion {\n  const metadata = (node.metadata ?? {}) as Record<string, unknown>;\n\n  try {\n    return readOpinionFromRecord({\n      ...metadata,\n      opinion_b: node.opinion_b,\n      opinion_d: node.opinion_d,\n      opinion_u: node.opinion_u,\n      opinion_a: node.opinion_a,\n    });\n  } catch {\n    return mkOpinion(0, 0, 1, 0.5);\n  }\n}\n\nexport async function collectConfidencePropagationDispatches<\n  TNodeId extends string = string,\n>(args: {\n  sourceNodeId: TNodeId;\n  sourceOpinion: SLOpinion;\n  sourceScope?: PropagationDispatchScope;\n  traversalSpecs?: readonly EdgePropagationSpec<TNodeId>[];\n  queryEdges: (args: {\n    nodeId: TNodeId;\n    spec: EdgePropagationSpec<TNodeId>;\n    direction: PropagationTraversalDirection;\n    hop: number;\n  }) => Promise<ReadonlyArray<PropagationDispatchEdge<TNodeId>>>;\n  getNode: (\n    nodeId: TNodeId\n  ) => Promise<PropagationDispatchNode<TNodeId> | null | undefined>;\n}): Promise<ConfidencePropagationDispatch<TNodeId>[]> {\n  const dispatchesByTargetId = new Map<\n    string,\n    ConfidencePropagationDispatch<TNodeId>\n  >();\n  const opinionCache = new Map<string, SLOpinion>();\n  const nodeCache = new Map<\n    string,\n    PropagationDispatchNode<TNodeId> | null | undefined\n  >();\n  const traversalSpecs = (args.traversalSpecs ??\n    getEdgePropagationSpecs()) as readonly EdgePropagationSpec<TNodeId>[];\n  const queue: Array<{\n    nodeId: TNodeId;\n    opinion: SLOpinion;\n    hop: number;\n    visitedNodeIds: Set<string>;\n  }> = [\n    {\n      nodeId: args.sourceNodeId,\n      opinion: args.sourceOpinion,\n      hop: 0,\n      visitedNodeIds: new Set([String(args.sourceNodeId)]),\n    },\n  ];\n\n  const loadNode = async (nodeId: TNodeId) => {\n    const cacheKey = String(nodeId);\n    if (!nodeCache.has(cacheKey)) {\n      nodeCache.set(cacheKey, await args.getNode(nodeId));\n    }\n    return nodeCache.get(cacheKey) ?? null;\n  };\n\n  while (queue.length > 0) {\n    const state = queue.shift();\n    if (!state) {\n      continue;\n    }\n\n    for (const spec of traversalSpecs) {\n      const nextHop = state.hop + 1;\n      if (!canTraverseHop(spec, nextHop)) {\n        continue;\n      }\n\n      for (const direction of getTraversalDirections(spec.direction)) {\n        const edges = await args.queryEdges({\n          nodeId: state.nodeId,\n          spec,\n          direction,\n          hop: nextHop,\n        });\n\n        for (const edge of edges) {\n          if (\n            args.sourceScope &&\n            !edgeMatchesWorkspaceReasoningScope(edge, args.sourceScope)\n          ) {\n            continue;\n          }\n\n          const targetNodeId = resolveTraversalTargetNodeId(edge, direction);\n          if (!targetNodeId) {\n            continue;\n          }\n\n          if (state.visitedNodeIds.has(String(targetNodeId))) {\n            continue;\n          }\n\n          const targetNode = await loadNode(targetNodeId);\n          if (!targetNode || targetNode.nodeType !== \"belief\") {\n            continue;\n          }\n\n          if (\n            args.sourceScope &&\n            !nodeMatchesWorkspaceReasoningScope(targetNode, args.sourceScope)\n          ) {\n            continue;\n          }\n\n          const cacheKey = String(targetNodeId);\n          const targetOpinion =\n            opinionCache.get(cacheKey) ?? readNodeOpinion(targetNode);\n          const result = spec.operator(state.opinion, targetOpinion, edge, {\n            hop: nextHop,\n            sourceNodeId: state.nodeId,\n            targetNodeId,\n            traversedDirection: direction,\n            spec,\n          });\n\n          if (\n            !result ||\n            !hasProjectedOpinionChanged(targetOpinion, result.opinion)\n          ) {\n            continue;\n          }\n\n          const projectedOpinion = mkOpinion(\n            result.opinion.b,\n            result.opinion.d,\n            result.opinion.u,\n            result.opinion.a\n          );\n\n          opinionCache.set(cacheKey, projectedOpinion);\n\n          const existingDispatch = dispatchesByTargetId.get(cacheKey);\n          dispatchesByTargetId.set(cacheKey, {\n            targetNodeId,\n            edgeType: spec.edgeType,\n            traversedDirection: direction,\n            weight: edge.weight ?? 1,\n            opinion: projectedOpinion,\n            operator: result.operator,\n            rationale: existingDispatch\n              ? `${existingDispatch.rationale}; ${result.rationale}`\n              : result.rationale,\n            hop: nextHop,\n          });\n\n          if (canContinueTransitively(spec, nextHop)) {\n            queue.push({\n              nodeId: targetNodeId,\n              opinion: projectedOpinion,\n              hop: nextHop,\n              visitedNodeIds: new Set([\n                ...state.visitedNodeIds,\n                String(targetNodeId),\n              ]),\n            });\n          }\n        }\n      }\n    }\n  }\n\n  return Array.from(dispatchesByTargetId.values()).sort((left, right) => {\n    if (left.hop !== right.hop) {\n      return left.hop - right.hop;\n    }\n    return String(left.targetNodeId).localeCompare(String(right.targetNodeId));\n  });\n}\n"]}
+{"version":3,"sources":["../src/edges/contains.ts","../src/edges/utils.ts","../src/edges/contradicts.ts","../src/edges/depends-on.ts","../src/edges/derived-from.ts","../src/edges/elaborates.ts","../src/edges/informs.ts","../src/edges/propagation-types.ts","../src/edges/refutes.ts","../src/edges/supports.ts","../src/edges/tests.ts","../src/edges/index.ts","../src/workspaceIsolation.ts","../src/confidencePropagationDispatch.ts"],"names":["project","canContinueTransitively","canTraverseHop","isPropagationTraversalDirection","mkOpinion"],"mappings":";;;;;;AAEO,IAAM,uBAAA,GAA+C;AAAA,EAC1D,QAAA,EAAU,UAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,CAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,UAAU,MAAM,IAAA;AAAA,EAChB,WAAA,EACE;AACJ,CAAA;ACIO,SAAS,iBACd,IAAA,EACc;AACd,EAAA,OAAO;AAAA,IACL,UAAA,EAAY,KAAK,UAAA,IAAc,MAAA;AAAA,IAC/B,aAAA,EAAe,KAAK,aAAA,IAAiB,MAAA;AAAA,IACrC,WAAA,EAAa,KAAK,WAAA,IAAe,MAAA;AAAA,IACjC,YAAA,EAAc,KAAK,YAAA,IAAgB,MAAA;AAAA,IACnC,eAAA,EAAiB,KAAK,eAAA,IAAmB;AAAA,GAC3C;AACF;AAEO,SAAS,kBAAA,CACd,eACA,OAAA,EACW;AACX,EAAA,IAAI,WAAW,CAAA,EAAG;AAChB,IAAA,OAAO,aAAA;AAAA,EACT;AAEA,EAAA,OAAO,cAAc,aAAA,EAAe,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,OAAO,CAAC,CAAA;AAC1D;AAEO,SAAS,iBAAA,CACd,MAAA,EACA,IAAA,EACA,GAAA,EACmB;AACnB,EAAA,OAAO;AAAA,IACL,GAAG,MAAA;AAAA,IACH,SAAA,EAAW,OAAO,GAAG,CAAA,MAAA,EAAS,KAAK,QAAQ,CAAA,SAAA,EAAY,KAAK,OAAA,CAAQ,OAAA;AAAA,MAClE;AAAA,KACD,CAAA,IAAA,EAAO,MAAA,CAAO,SAAS,CAAA;AAAA,GAC1B;AACF;AAEO,SAAS,wBAAA,CACd,aAAA,EACA,aAAA,EACA,UAAA,EACmB;AACnB,EAAA,MAAM,aAAa,aAAA,CAAc,aAAA,EAAe,IAAA,CAAK,GAAA,CAAI,UAAU,CAAC,CAAA;AACpE,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,gBAAA,CAAiB,aAAA,EAAe,UAAU,CAAA;AAAA,IACnD,QAAA,EAAU,mBAAA;AAAA,IACV,SAAA,EAAW,+BAA+B,UAAA,CAAW,OAAA;AAAA,MACnD;AAAA,KACD,CAAA,iBAAA,EAAoB,OAAA,CAAQ,aAAa,CAAA,CAAE,OAAA,CAAQ,CAAC,CAAC,CAAA;AAAA,GACxD;AACF;AAEO,SAAS,uBAAA,CACd,aAAA,EACA,aAAA,EACA,UAAA,EACmB;AACnB,EAAA,MAAM,aAAa,aAAA,CAAc,aAAA,EAAe,IAAA,CAAK,GAAA,CAAI,UAAU,CAAC,CAAA;AACpE,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,gBAAA,CAAiB,aAAA,EAAe,UAAU,CAAA;AAAA,IACnD,QAAA,EAAU,mBAAA;AAAA,IACV,SAAA,EAAW,CAAA,4BAAA,EAA+B,UAAA,CAAW,OAAA,CAAQ,CAAC,CAAC,CAAA,CAAA;AAAA,GACjE;AACF;AAEO,SAAS,oCAAA,CACd,aAAA,EACA,aAAA,EACA,UAAA,EACA,IAAA,EACmB;AACnB,EAAA,OAAO,oBAAA;AAAA,IACL,aAAA;AAAA,IACA,aAAA;AAAA,IACA,UAAA;AAAA,IACA,iBAAiB,IAAI;AAAA,GACvB;AACF;AAEO,IAAM,uBAAA,GAA0B,qBAAA;;;ACtFhC,IAAM,0BAAA,GAAkD;AAAA,EAC7D,QAAA,EAAU,aAAA;AAAA,EACV,SAAA,EAAW,eAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,IAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,iBAAiB,CAAC,IAAA,CAAK,GAAA,CAAI,IAAA,CAAK,UAAU,CAAC,CAAA;AACjD,IAAA,MAAM,MAAA,GAAS,oCAAA;AAAA,MACb,YAAA;AAAA,MACA,aAAA;AAAA,MACA,cAAA;AAAA,MACA;AAAA,KACF;AAEA,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;ACjBO,IAAM,wBAAA,GAAgD;AAAA,EAC3D,QAAA,EAAU,YAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,QAAA;AAAA,EACd,OAAA,EAAS,GAAA;AAAA,EACT,OAAA,EAAS,WAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,QAAA,GAAW,iBAAiB,IAAI,CAAA;AAEtC,IAAA,IAAI,QAAA,CAAS,YAAA,IAAgB,QAAA,CAAS,eAAA,EAAiB;AACrD,MAAA,MAAM,cAAA,GAAiB,oBAAA;AAAA,QACrB,YAAA;AAAA,QACA,SAAA;AAAA,UACE,SAAS,YAAA,CAAa,CAAA;AAAA,UACtB,SAAS,YAAA,CAAa,CAAA;AAAA,UACtB,SAAS,YAAA,CAAa,CAAA;AAAA,UACtB,SAAS,YAAA,CAAa;AAAA,SACxB;AAAA,QACA,SAAA;AAAA,UACE,SAAS,eAAA,CAAgB,CAAA;AAAA,UACzB,SAAS,eAAA,CAAgB,CAAA;AAAA,UACzB,SAAS,eAAA,CAAgB,CAAA;AAAA,UACzB,SAAS,eAAA,CAAgB;AAAA,SAC3B;AAAA,QACA,aAAA,CAAc;AAAA,OAChB;AAEA,MAAA,OAAO,iBAAA;AAAA,QACL;AAAA,UACE,OAAA,EAAS,cAAA;AAAA,UACT,QAAA,EAAU,uBAAA;AAAA,UACV,WAAW,CAAA,uCAAA,EAA0CA,OAAAA;AAAA,YACnD;AAAA,WACF,CAAE,OAAA,CAAQ,CAAC,CAAC,CAAA;AAAA,SACd;AAAA,QACA,OAAA,CAAQ,IAAA;AAAA,QACR,OAAA,CAAQ;AAAA,OACV;AAAA,IACF;AAEA,IAAA,MAAM,MAAA,GAAS,uBAAA;AAAA,MACb,YAAA;AAAA,MACA,aAAA;AAAA,MACA,SAAS,WAAA,IAAe;AAAA,KAC1B;AAEA,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;;;ACjEO,IAAM,0BAAA,GAAkD;AAAA,EAC7D,QAAA,EAAU,cAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,CAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,UAAU,MAAM,IAAA;AAAA,EAChB,WAAA,EACE;AACJ,CAAA;;;ACJO,IAAM,yBAAA,GAAiD;AAAA,EAC5D,QAAA,EAAU,YAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,QAAA;AAAA,EACd,OAAA,EAAS,GAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,gBAAA,GAAmB,KAAK,GAAA,CAAI,IAAA,CAAK,IAAI,IAAA,CAAK,MAAA,IAAU,IAAI,CAAA,EAAG,IAAI,CAAA;AACrE,IAAA,MAAM,MAAA,GAAS,uBAAA;AAAA,MACb,YAAA;AAAA,MACA,aAAA;AAAA,MACA;AAAA,KACF;AAEA,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;;;ACrBO,IAAM,sBAAA,GAA8C;AAAA,EACzD,QAAA,EAAU,SAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,IAAA;AAAA,EACT,OAAA,EAAS,WAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,MAAA,GAAS,KAAK,MAAA,IAAU,CAAA;AAC9B,IAAA,MAAM,MAAA,GACJ,MAAA,GAAS,CAAA,GACL,uBAAA,CAAwB,YAAA,EAAc,aAAA,EAAe,MAAM,CAAA,GAC3D,uBAAA,CAAwB,YAAA,EAAc,aAAA,EAAe,MAAM,CAAA;AAEjE,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;;;AC6BO,SAAS,gCACd,SAAA,EAC4C;AAC5C,EAAA,OAAO,SAAA,KAAc,cAAc,SAAA,KAAc,UAAA;AACnD;AAEO,SAAS,cAAA,CACd,MACA,OAAA,EACS;AACT,EAAA,OAAO,IAAA,CAAK,OAAA,KAAY,WAAA,IAAe,OAAA,IAAW,IAAA,CAAK,OAAA;AACzD;AAEO,SAAS,uBAAA,CACd,MACA,UAAA,EACS;AACT,EAAA,IAAI,IAAA,CAAK,iBAAiB,MAAA,EAAQ;AAChC,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,OAAO,IAAA,CAAK,OAAA,KAAY,WAAA,IAAe,UAAA,GAAa,IAAA,CAAK,OAAA;AAC3D;;;ACzEO,IAAM,sBAAA,GAA8C;AAAA,EACzD,QAAA,EAAU,SAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,GAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,iBAAiB,CAAC,IAAA,CAAK,GAAA,CAAI,IAAA,CAAK,UAAU,CAAC,CAAA;AACjD,IAAA,MAAM,MAAA,GAAS,uBAAA;AAAA,MACb,YAAA;AAAA,MACA,aAAA;AAAA,MACA;AAAA,KACF;AAEA,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;;;ACrBO,IAAM,uBAAA,GAA+C;AAAA,EAC1D,QAAA,EAAU,UAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,IAAA;AAAA,EACT,OAAA,EAAS,WAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,MAAA,GAAS,KAAK,MAAA,IAAU,CAAA;AAC9B,IAAA,MAAM,MAAA,GACJ,SAAS,CAAA,GACL,oCAAA;AAAA,MACE,YAAA;AAAA,MACA,aAAA;AAAA,MACA,MAAA;AAAA,MACA;AAAA,KACF,GACA,wBAAA,CAAyB,YAAA,EAAc,aAAA,EAAe,MAAM,CAAA;AAElE,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;;;AChCO,IAAM,oBAAA,GAA4C;AAAA,EACvD,QAAA,EAAU,OAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,CAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,UAAU,MAAM,IAAA;AAAA,EAChB,WAAA,EACE;AACJ,CAAA;;;ACkBA,IAAMC,wBAAAA,GAA0B,uBAAA;AAChC,IAAMC,eAAAA,GAAiB,cAAA;AACvB,IAAMC,gCAAAA,GAAkC,+BAAA;AAQjC,IAAM,sBAAA,GAAyD;AAAA,EACpE,uBAAA;AAAA,EACA,sBAAA;AAAA,EACA,wBAAA;AAAA,EACA,0BAAA;AAAA,EACA,uBAAA;AAAA,EACA,oBAAA;AAAA,EACA,0BAAA;AAAA,EACA,sBAAA;AAAA,EACA;AACF,CAAA;AAEkC,IAAI,GAAA,CAGpC,sBAAA,CAAuB,GAAA,CAAI,CAAC,IAAA,KAAS,CAAC,IAAA,CAAK,QAAA,EAAU,IAAI,CAAC,CAAC;AAQtD,SAAS,uBAAA,GAA0D;AACxE,EAAA,OAAO,sBAAA;AACT;AAEO,SAAS,uBACd,SAAA,EAC0C;AAC1C,EAAA,IAAIA,gCAAAA,CAAgC,SAAS,CAAA,EAAG;AAC9C,IAAA,OAAO,CAAC,SAAS,CAAA;AAAA,EACnB;AAEA,EAAA,OAAO,CAAC,YAAY,UAAU,CAAA;AAChC;AC1CO,SAAS,oBAAoB,KAAA,EAAoC;AACtE,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA;AAAA,EACF;AACA,EAAA,MAAM,UAAA,GAAa,MAAM,IAAA,EAAK;AAC9B,EAAA,OAAO,UAAA,CAAW,MAAA,GAAS,CAAA,GAAI,UAAA,GAAa,MAAA;AAC9C;AAiDO,SAAS,kCAAA,CACd,MACA,KAAA,EACS;AACT,EAAA,IAAI,CAAC,IAAA,EAAM;AACT,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,MAAM,aAAA,GAAgB,mBAAA,CAAoB,KAAA,CAAM,QAAQ,CAAA;AACxD,EAAA,MAAM,gBAAA,GAAmB,mBAAA,CAAoB,KAAA,CAAM,WAAW,CAAA;AAC9D,EAAA,MAAM,YAAA,GAAe,mBAAA,CAAoB,IAAA,CAAK,QAAQ,CAAA;AACtD,EAAA,MAAM,eAAA,GAAkB,mBAAA,CAAoB,IAAA,CAAK,WAAW,CAAA;AAC5D,EAAA,MAAM,iBACJ,OAAO,IAAA,CAAK,cAAA,KAAmB,QAAA,GAAW,KAAK,cAAA,GAAiB,MAAA;AAElE,EAAA,IAAI,aAAA,IAAiB,YAAA,IAAgB,aAAA,KAAkB,YAAA,EAAc;AACnE,IAAA,OAAO,KAAA;AAAA,EACT;AAGA,EAAA,IAAI,cAAA,KAAmB,aAAA,IAAiB,eAAA,KAAoB,MAAA,EAAW;AACrE,IAAA,OAAO,IAAA;AAAA,EACT;AAIA,EAAA,IAAI,CAAC,gBAAA,IAAoB,IAAA,CAAK,iBAAA,KAAsB,WAAA,EAAa;AAC/D,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,IAAI,CAAC,gBAAA,EAAkB;AACrB,IAAA,OAAO,eAAA,KAAoB,MAAA;AAAA,EAC7B;AAEA,EAAA,OAAO,gBAAA,KAAqB,eAAA;AAC9B;AAEO,SAAS,kCAAA,CACd,MACA,KAAA,EACS;AACT,EAAA,IAAI,CAAC,IAAA,EAAM;AACT,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,MAAM,aAAA,GAAgB,mBAAA,CAAoB,KAAA,CAAM,QAAQ,CAAA;AACxD,EAAA,MAAM,gBAAA,GAAmB,mBAAA,CAAoB,KAAA,CAAM,WAAW,CAAA;AAC9D,EAAA,MAAM,YAAA,GAAe,mBAAA,CAAoB,IAAA,CAAK,QAAQ,CAAA;AACtD,EAAA,MAAM,eAAA,GAAkB,mBAAA,CAAoB,IAAA,CAAK,WAAW,CAAA;AAE5D,EAAA,IAAI,aAAA,IAAiB,YAAA,IAAgB,aAAA,KAAkB,YAAA,EAAc;AACnE,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,IAAI,CAAC,gBAAA,EAAkB;AACrB,IAAA,OAAO,eAAA,KAAoB,MAAA;AAAA,EAC7B;AAEA,EAAA,OAAO,gBAAA,KAAqB,eAAA;AAC9B;;;ACvDA,SAAS,iBAAyC,MAAA,EAAyB;AACzE,EAAA,OAAO,OAAO,MAAM,CAAA;AACtB;AAEA,SAAS,gBACP,IAAA,EACW;AACX,EAAA,MAAM,QAAA,GAAY,IAAA,CAAK,QAAA,IAAY,EAAC;AAEpC,EAAA,IAAI;AACF,IAAA,OAAO,qBAAA,CAAsB;AAAA,MAC3B,GAAG,QAAA;AAAA,MACH,WAAW,IAAA,CAAK,SAAA;AAAA,MAChB,WAAW,IAAA,CAAK,SAAA;AAAA,MAChB,WAAW,IAAA,CAAK,SAAA;AAAA,MAChB,WAAW,IAAA,CAAK;AAAA,KACjB,CAAA;AAAA,EACH,CAAA,CAAA,MAAQ;AACN,IAAA,OAAOC,SAAAA,CAAU,CAAA,EAAG,CAAA,EAAG,CAAA,EAAG,GAAG,CAAA;AAAA,EAC/B;AACF;AAEA,SAAS,4BAAA,CACP,MACA,SAAA,EACqB;AACrB,EAAA,MAAM,YAAA,GACJ,SAAA,KAAc,UAAA,GAAa,IAAA,CAAK,WAAW,IAAA,CAAK,UAAA;AAClD,EAAA,OAAO,YAAA,IAAgB,MAAA;AACzB;AAEA,SAAS,iBAAA,CACP,cACA,aAAA,EACwB;AACxB,EAAA,OAAO;AAAA,IACL,MAAA,EAAQ,YAAA;AAAA,IACR,OAAA,EAAS,aAAA;AAAA,IACT,GAAA,EAAK,CAAA;AAAA,IACL,gCAAgB,IAAI,GAAA,CAAI,CAAC,gBAAA,CAAiB,YAAY,CAAC,CAAC;AAAA,GAC1D;AACF;AAEA,SAAS,aAAA,CACP,gBACA,YAAA,EACa;AACb,EAAA,uBAAO,IAAI,IAAI,CAAC,GAAG,gBAAgB,gBAAA,CAAiB,YAAY,CAAC,CAAC,CAAA;AACpE;AAEA,SAAS,mBAAA,CACP,OAAA,EACA,YAAA,EACA,gBAAA,EACA,OAAA,EACwB;AACxB,EAAA,OAAO;AAAA,IACL,MAAA,EAAQ,YAAA;AAAA,IACR,OAAA,EAAS,gBAAA;AAAA,IACT,GAAA,EAAK,OAAA;AAAA,IACL,cAAA,EAAgB,aAAA,CAAc,OAAA,CAAQ,cAAA,EAAgB,YAAY;AAAA,GACpE;AACF;AAEA,SAAS,kBAAA,CACP,cACA,IAAA,EACA,SAAA,EACA,MACA,gBAAA,EACA,OAAA,EACA,QACA,gBAAA,EACwC;AACxC,EAAA,OAAO;AAAA,IACL,YAAA;AAAA,IACA,UAAU,IAAA,CAAK,QAAA;AAAA,IACf,kBAAA,EAAoB,SAAA;AAAA,IACpB,MAAA,EAAQ,KAAK,MAAA,IAAU,CAAA;AAAA,IACvB,OAAA,EAAS,gBAAA;AAAA,IACT,UAAU,MAAA,CAAO,QAAA;AAAA,IACjB,SAAA,EAAW,mBACP,CAAA,EAAG,gBAAA,CAAiB,SAAS,CAAA,EAAA,EAAK,MAAA,CAAO,SAAS,CAAA,CAAA,GAClD,MAAA,CAAO,SAAA;AAAA,IACX,GAAA,EAAK;AAAA,GACP;AACF;AAEA,eAAe,cAAA,CACb,OACA,MAAA,EAC8D;AAC9D,EAAA,MAAM,QAAA,GAAW,iBAAiB,MAAM,CAAA;AACxC,EAAA,IAAI,CAAC,KAAA,CAAM,SAAA,CAAU,GAAA,CAAI,QAAQ,CAAA,EAAG;AAClC,IAAA,KAAA,CAAM,SAAA,CAAU,IAAI,QAAA,EAAU,MAAM,MAAM,IAAA,CAAK,OAAA,CAAQ,MAAM,CAAC,CAAA;AAAA,EAChE;AAEA,EAAA,OAAO,KAAA,CAAM,SAAA,CAAU,GAAA,CAAI,QAAQ,CAAA,IAAK,IAAA;AAC1C;AAEA,eAAe,sBACb,KAAA,EACA,OAAA,EACA,MACA,SAAA,EACA,IAAA,EACA,OACA,KAAA,EACe;AACf,EAAA,MAAM,WAAA,GAAc,MAAM,IAAA,CAAK,WAAA;AAC/B,EAAA,IAAI,WAAA,IAAe,CAAC,kCAAA,CAAmC,IAAA,EAAM,WAAW,CAAA,EAAG;AACzE,IAAA;AAAA,EACF;AAEA,EAAA,MAAM,YAAA,GAAe,4BAAA,CAA6B,IAAA,EAAM,SAAS,CAAA;AACjE,EAAA,IAAI,CAAC,YAAA,EAAc;AACjB,IAAA;AAAA,EACF;AAEA,EAAA,MAAM,eAAA,GAAkB,iBAAiB,YAAY,CAAA;AACrD,EAAA,IAAI,KAAA,CAAM,cAAA,CAAe,GAAA,CAAI,eAAe,CAAA,EAAG;AAC7C,IAAA;AAAA,EACF;AAEA,EAAA,MAAM,UAAA,GAAa,MAAM,cAAA,CAAe,KAAA,EAAO,YAAY,CAAA;AAC3D,EAAA,IAAI,UAAA,EAAY,aAAa,QAAA,EAAU;AACrC,IAAA;AAAA,EACF;AAEA,EAAA,IACE,WAAA,IACA,CAAC,kCAAA,CAAmC,UAAA,EAAY,WAAW,CAAA,EAC3D;AACA,IAAA;AAAA,EACF;AAEA,EAAA,MAAM,gBACJ,KAAA,CAAM,YAAA,CAAa,IAAI,eAAe,CAAA,IAAK,gBAAgB,UAAU,CAAA;AACvE,EAAA,MAAM,SAAS,IAAA,CAAK,QAAA,CAAS,KAAA,CAAM,OAAA,EAAS,eAAe,IAAA,EAAM;AAAA,IAC/D,GAAA,EAAK,OAAA;AAAA,IACL,cAAc,KAAA,CAAM,MAAA;AAAA,IACpB,YAAA;AAAA,IACA,kBAAA,EAAoB,SAAA;AAAA,IACpB;AAAA,GACD,CAAA;AAED,EAAA,IAAI,EAAE,MAAA,IAAU,0BAAA,CAA2B,aAAA,EAAe,MAAA,CAAO,OAAO,CAAA,CAAA,EAAI;AAC1E,IAAA;AAAA,EACF;AAEA,EAAA,MAAM,gBAAA,GAAmBA,SAAAA;AAAA,IACvB,OAAO,OAAA,CAAQ,CAAA;AAAA,IACf,OAAO,OAAA,CAAQ,CAAA;AAAA,IACf,OAAO,OAAA,CAAQ,CAAA;AAAA,IACf,OAAO,OAAA,CAAQ;AAAA,GACjB;AACA,EAAA,KAAA,CAAM,YAAA,CAAa,GAAA,CAAI,eAAA,EAAiB,gBAAgB,CAAA;AAExD,EAAA,MAAM,gBAAA,GAAmB,KAAA,CAAM,oBAAA,CAAqB,GAAA,CAAI,eAAe,CAAA;AACvE,EAAA,KAAA,CAAM,oBAAA,CAAqB,GAAA;AAAA,IACzB,eAAA;AAAA,IACA,kBAAA;AAAA,MACE,YAAA;AAAA,MACA,IAAA;AAAA,MACA,SAAA;AAAA,MACA,IAAA;AAAA,MACA,gBAAA;AAAA,MACA,OAAA;AAAA,MACA,MAAA;AAAA,MACA;AAAA;AACF,GACF;AAEA,EAAA,IAAIH,wBAAAA,CAAwB,IAAA,EAAM,OAAO,CAAA,EAAG;AAC1C,IAAA,KAAA,CAAM,IAAA;AAAA,MACJ,mBAAA,CAAoB,KAAA,EAAO,YAAA,EAAc,gBAAA,EAAkB,OAAO;AAAA,KACpE;AAAA,EACF;AACF;AAEA,eAAe,oBAAA,CACb,KAAA,EACA,OAAA,EACA,IAAA,EACA,OACA,KAAA,EACe;AACf,EAAA,MAAM,eAAe,KAAA,CAAM,MAAA;AAC3B,EAAA,KAAA,MAAW,SAAA,IAAa,sBAAA,CAAuB,IAAA,CAAK,SAAS,CAAA,EAAG;AAC9D,IAAA,MAAM,KAAA,GAAQ,MAAM,KAAA,CAAM,IAAA,CAAK,UAAA,CAAW;AAAA,MACxC,MAAA,EAAQ,YAAA;AAAA,MACR,IAAA;AAAA,MACA,SAAA;AAAA,MACA,GAAA,EAAK;AAAA,KACN,CAAA;AAED,IAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,MAAA,MAAM,qBAAA;AAAA,QACJ,KAAA;AAAA,QACA,OAAA;AAAA,QACA,IAAA;AAAA,QACA,SAAA;AAAA,QACA,IAAA;AAAA,QACA,KAAA;AAAA,QACA;AAAA,OACF;AAAA,IACF;AAAA,EACF;AACF;AAEA,eAAe,kBAAA,CACb,KAAA,EACA,KAAA,EACA,KAAA,EACe;AACf,EAAA,MAAM,OAAA,GAAU,MAAM,GAAA,GAAM,CAAA;AAC5B,EAAA,KAAA,MAAW,IAAA,IAAQ,MAAM,cAAA,EAAgB;AACvC,IAAA,IAAI,CAACC,eAAAA,CAAe,IAAA,EAAM,OAAO,CAAA,EAAG;AAClC,MAAA;AAAA,IACF;AAEA,IAAA,MAAM,oBAAA,CAAqB,KAAA,EAAO,OAAA,EAAS,IAAA,EAAM,OAAO,KAAK,CAAA;AAAA,EAC/D;AACF;AAEA,SAAS,eACP,UAAA,EAC0C;AAC1C,EAAA,OAAO,MAAM,IAAA,CAAK,UAAU,EAAE,IAAA,CAAK,CAAC,MAAM,KAAA,KAAU;AAClD,IAAA,IAAI,IAAA,CAAK,GAAA,KAAQ,KAAA,CAAM,GAAA,EAAK;AAC1B,MAAA,OAAO,IAAA,CAAK,MAAM,KAAA,CAAM,GAAA;AAAA,IAC1B;AACA,IAAA,OAAO,MAAA,CAAO,KAAK,YAAY,CAAA,CAAE,cAAc,MAAA,CAAO,KAAA,CAAM,YAAY,CAAC,CAAA;AAAA,EAC3E,CAAC,CAAA;AACH;AAEA,eAAsB,uCAGpB,IAAA,EACmD;AACnD,EAAA,MAAM,oBAAA,uBAA2B,GAAA,EAG/B;AACF,EAAA,MAAM,YAAA,uBAAmB,GAAA,EAAuB;AAChD,EAAA,MAAM,SAAA,uBAAgB,GAAA,EAGpB;AACF,EAAA,MAAM,cAAA,GAAkB,IAAA,CAAK,cAAA,IAC3B,uBAAA,EAAwB;AAE1B,EAAA,MAAM,KAAA,GAAiC;AAAA,IACrC,IAAA;AAAA,IACA,oBAAA;AAAA,IACA,YAAA;AAAA,IACA,SAAA;AAAA,IACA;AAAA,GACF;AAEA,EAAA,MAAM,KAAA,GAAkC;AAAA,IACtC,iBAAA,CAAkB,IAAA,CAAK,YAAA,EAAc,IAAA,CAAK,aAAa;AAAA,GACzD;AAEA,EAAA,OAAO,KAAA,CAAM,SAAS,CAAA,EAAG;AACvB,IAAA,MAAM,KAAA,GAAQ,MAAM,KAAA,EAAM;AAC1B,IAAA,IAAI,CAAC,KAAA,EAAO;AACV,MAAA;AAAA,IACF;AAEA,IAAA,MAAM,kBAAA,CAAmB,KAAA,EAAO,KAAA,EAAO,KAAK,CAAA;AAAA,EAC9C;AAEA,EAAA,OAAO,cAAA,CAAe,oBAAA,CAAqB,MAAA,EAAQ,CAAA;AACrD","file":"confidencePropagationDispatch.js","sourcesContent":["import type { EdgePropagationSpec } from \"./propagation-types\";\n\nexport const containsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"contains\",\n  direction: \"outgoing\",\n  transitivity: \"none\",\n  damping: 1,\n  maxHops: 1,\n  operator: () => null,\n  description:\n    \"Structural containment only. Traversed for explicit semantics, but it never propagates opinions.\",\n};\n","import {\n  applyNegativeEvidence,\n  applyNegativeSupport,\n  cumulativeFusion,\n  type EdgeMetadata,\n  type PropagationResult,\n  project,\n  type SLOpinion,\n  trustDiscount,\n} from \"@lucern/confidence\";\nimport type {\n  EdgePropagationSpec,\n  PropagationEdgeRecord,\n} from \"./propagation-types\";\n\nexport function readEdgeMetadata<TNodeId extends string>(\n  edge: PropagationEdgeRecord<TNodeId>\n): EdgeMetadata {\n  return {\n    constraint: edge.constraint ?? undefined,\n    normalization: edge.normalization ?? undefined,\n    propagation: edge.propagation ?? undefined,\n    conditionalA: edge.conditionalA ?? undefined,\n    conditionalNotA: edge.conditionalNotA ?? undefined,\n  };\n}\n\nexport function applyPerHopDamping(\n  sourceOpinion: SLOpinion,\n  damping: number\n): SLOpinion {\n  if (damping >= 1) {\n    return sourceOpinion;\n  }\n\n  return trustDiscount(sourceOpinion, Math.max(0, damping));\n}\n\nexport function annotateRationale(\n  result: PropagationResult,\n  spec: EdgePropagationSpec,\n  hop: number\n): PropagationResult {\n  return {\n    ...result,\n    rationale: `hop=${hop} edge=${spec.edgeType} damping=${spec.damping.toFixed(\n      2\n    )} :: ${result.rationale}`,\n  };\n}\n\nexport function propagatePositiveSupport(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(\n      2\n    )}) from source at ${project(sourceOpinion).toFixed(2)}`,\n  };\n}\n\nexport function propagatePositiveInform(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(2)})`,\n  };\n}\n\nexport function propagateNegativeSupportWithMetadata(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number,\n  edge: PropagationEdgeRecord\n): PropagationResult {\n  return applyNegativeSupport(\n    sourceOpinion,\n    targetOpinion,\n    edgeWeight,\n    readEdgeMetadata(edge)\n  );\n}\n\nexport const propagateNegativeInform = applyNegativeEvidence;\n","import type { EdgePropagationSpec } from \"./propagation-types\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagateNegativeSupportWithMetadata,\n} from \"./utils\";\n\nexport const contradictsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"contradicts\",\n  direction: \"bidirectional\",\n  transitivity: \"none\",\n  damping: 0.85,\n  maxHops: 1,\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const negativeWeight = -Math.abs(edge.weight ?? 1);\n    const result = propagateNegativeSupportWithMetadata(\n      dampedSource,\n      targetOpinion,\n      negativeWeight,\n      edge\n    );\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Legacy contradiction edges move negative pressure in either direction, but never beyond one hop.\",\n};\n","import {\n  conditionalDeduction,\n  dampedDependencyCascade,\n  mkOpinion,\n  project,\n} from \"@lucern/confidence\";\nimport type { EdgePropagationSpec } from \"./propagation-types\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  readEdgeMetadata,\n} from \"./utils\";\n\nexport const dependsOnPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"depends_on\",\n  direction: \"incoming\",\n  transitivity: \"damped\",\n  damping: 0.8,\n  maxHops: \"unbounded\",\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const metadata = readEdgeMetadata(edge);\n\n    if (metadata.conditionalA && metadata.conditionalNotA) {\n      const deducedOpinion = conditionalDeduction(\n        dampedSource,\n        mkOpinion(\n          metadata.conditionalA.b,\n          metadata.conditionalA.d,\n          metadata.conditionalA.u,\n          metadata.conditionalA.a\n        ),\n        mkOpinion(\n          metadata.conditionalNotA.b,\n          metadata.conditionalNotA.d,\n          metadata.conditionalNotA.u,\n          metadata.conditionalNotA.a\n        ),\n        targetOpinion.a\n      );\n\n      return annotateRationale(\n        {\n          opinion: deducedOpinion,\n          operator: \"conditional_deduction\",\n          rationale: `Conditional deduction: prerequisite at ${project(\n            dampedSource\n          ).toFixed(2)}`,\n        },\n        context.spec,\n        context.hop\n      );\n    }\n\n    const result = dampedDependencyCascade(\n      dampedSource,\n      targetOpinion,\n      metadata.propagation ?? \"continuous\"\n    );\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Structural gating. Textbook conditional deduction when edge conditionals exist, otherwise damped dependency cascade through downstream chains.\",\n};\n","import type { EdgePropagationSpec } from \"./propagation-types\";\n\nexport const derivedFromPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"derived_from\",\n  direction: \"incoming\",\n  transitivity: \"none\",\n  damping: 1,\n  maxHops: 1,\n  operator: () => null,\n  description:\n    \"Provenance only. The traversal surface stays explicit, but confidence does not move across derived_from edges.\",\n};\n","import type { EdgePropagationSpec } from \"./propagation-types\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagatePositiveInform,\n} from \"./utils\";\n\nexport const elaboratesPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"elaborates\",\n  direction: \"outgoing\",\n  transitivity: \"damped\",\n  damping: 0.7,\n  maxHops: 2,\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const contextualWeight = Math.min(Math.abs(edge.weight ?? 0.35), 0.35);\n    const result = propagatePositiveInform(\n      dampedSource,\n      targetOpinion,\n      contextualWeight\n    );\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Context-rich supporting detail. Elaborates carries a small positive effect with short, damped chaining.\",\n};\n","import type { EdgePropagationSpec } from \"./propagation-types\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagateNegativeInform,\n  propagatePositiveInform,\n} from \"./utils\";\n\nexport const informsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"informs\",\n  direction: \"outgoing\",\n  transitivity: \"full\",\n  damping: 0.92,\n  maxHops: \"unbounded\",\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const weight = edge.weight ?? 1;\n    const result =\n      weight < 0\n        ? propagateNegativeInform(dampedSource, targetOpinion, weight)\n        : propagatePositiveInform(dampedSource, targetOpinion, weight);\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Evidence-bearing influence. Informs can chain through the graph with light per-hop damping.\",\n};\n","import type {\n  EdgeMetadata,\n  PropagationResult,\n  SLOpinion,\n} from \"@lucern/confidence\";\n\nexport type PropagationTraversalDirection = \"outgoing\" | \"incoming\";\n\nexport type PropagationSpecDirection =\n  | PropagationTraversalDirection\n  | \"bidirectional\";\n\nexport type PropagationEdgeType =\n  | \"supports\"\n  | \"depends_on\"\n  | \"informs\"\n  | \"contains\"\n  | \"tests\"\n  | \"derived_from\"\n  | \"contradicts\"\n  | \"refutes\"\n  | \"elaborates\";\n\nexport interface PropagationEdgeRecord<TNodeId extends string = string> {\n  conditionalA?: EdgeMetadata[\"conditionalA\"] | null;\n  conditionalNotA?: EdgeMetadata[\"conditionalNotA\"] | null;\n  constraint?: EdgeMetadata[\"constraint\"] | null;\n  edgeType: string;\n  fromNodeId?: TNodeId | null;\n  normalization?: EdgeMetadata[\"normalization\"] | null;\n  propagation?: EdgeMetadata[\"propagation\"] | null;\n  tenantId?: string;\n  toNodeId?: TNodeId | null;\n  weight?: number | null;\n  workspaceId?: string;\n}\n\nexport interface EdgePropagationSpec<TNodeId extends string = string> {\n  damping: number;\n  description: string;\n  direction: PropagationSpecDirection;\n  edgeType: PropagationEdgeType;\n  maxHops: number | \"unbounded\";\n  operator: (\n    sourceOpinion: SLOpinion,\n    targetOpinion: SLOpinion,\n    edge: PropagationEdgeRecord<TNodeId>,\n    context: {\n      hop: number;\n      sourceNodeId: TNodeId;\n      targetNodeId: TNodeId;\n      traversedDirection: PropagationTraversalDirection;\n      spec: EdgePropagationSpec<TNodeId>;\n    }\n  ) => PropagationResult | null;\n  transitivity: \"none\" | \"damped\" | \"full\";\n}\n\nexport function isPropagationTraversalDirection(\n  direction: string\n): direction is PropagationTraversalDirection {\n  return direction === \"outgoing\" || direction === \"incoming\";\n}\n\nexport function canTraverseHop<TNodeId extends string>(\n  spec: EdgePropagationSpec<TNodeId>,\n  nextHop: number\n): boolean {\n  return spec.maxHops === \"unbounded\" || nextHop <= spec.maxHops;\n}\n\nexport function canContinueTransitively<TNodeId extends string>(\n  spec: EdgePropagationSpec<TNodeId>,\n  currentHop: number\n): boolean {\n  if (spec.transitivity === \"none\") {\n    return false;\n  }\n\n  return spec.maxHops === \"unbounded\" || currentHop < spec.maxHops;\n}\n","import type { EdgePropagationSpec } from \"./propagation-types\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagateNegativeInform,\n} from \"./utils\";\n\nexport const refutesPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"refutes\",\n  direction: \"outgoing\",\n  transitivity: \"none\",\n  damping: 0.9,\n  maxHops: 1,\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const negativeWeight = -Math.abs(edge.weight ?? 1);\n    const result = propagateNegativeInform(\n      dampedSource,\n      targetOpinion,\n      negativeWeight\n    );\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Explicit negative evidence semantics. Refutes is treated as strong one-hop counter-evidence.\",\n};\n","import type { EdgePropagationSpec } from \"./propagation-types\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagateNegativeSupportWithMetadata,\n  propagatePositiveSupport,\n} from \"./utils\";\n\nexport const supportsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"supports\",\n  direction: \"outgoing\",\n  transitivity: \"full\",\n  damping: 0.85,\n  maxHops: \"unbounded\",\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const weight = edge.weight ?? 1;\n    const result =\n      weight < 0\n        ? propagateNegativeSupportWithMetadata(\n            dampedSource,\n            targetOpinion,\n            weight,\n            edge\n          )\n        : propagatePositiveSupport(dampedSource, targetOpinion, weight);\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Belief-to-belief influence. Supports chains transitively with moderate per-hop damping.\",\n};\n","import type { EdgePropagationSpec } from \"./propagation-types\";\n\nexport const testsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"tests\",\n  direction: \"outgoing\",\n  transitivity: \"none\",\n  damping: 1,\n  maxHops: 1,\n  operator: () => null,\n  description:\n    \"Interrogation linkage only. Tests edges do not directly move confidence.\",\n};\n","import { containsPropagationSpec } from \"./contains\";\nimport { contradictsPropagationSpec } from \"./contradicts\";\nimport { dependsOnPropagationSpec } from \"./depends-on\";\nimport { derivedFromPropagationSpec } from \"./derived-from\";\nimport { elaboratesPropagationSpec } from \"./elaborates\";\nimport { informsPropagationSpec } from \"./informs\";\nimport type {\n  EdgePropagationSpec,\n  PropagationEdgeType,\n  PropagationSpecDirection,\n  PropagationTraversalDirection,\n} from \"./propagation-types\";\nimport {\n  canContinueTransitively as importedCanContinueTransitively,\n  canTraverseHop as importedCanTraverseHop,\n  isPropagationTraversalDirection as importedIsPropagationTraversalDirection,\n} from \"./propagation-types\";\nimport { refutesPropagationSpec } from \"./refutes\";\nimport { supportsPropagationSpec } from \"./supports\";\nimport { testsPropagationSpec } from \"./tests\";\n\nexport type {\n  EdgePropagationSpec,\n  PropagationEdgeRecord,\n  PropagationEdgeType,\n  PropagationSpecDirection,\n  PropagationTraversalDirection,\n} from \"./propagation-types\";\n\nconst canContinueTransitively = importedCanContinueTransitively;\nconst canTraverseHop = importedCanTraverseHop;\nconst isPropagationTraversalDirection = importedIsPropagationTraversalDirection;\n\nexport {\n  canContinueTransitively,\n  canTraverseHop,\n  isPropagationTraversalDirection,\n};\n\nexport const EDGE_PROPAGATION_SPECS: readonly EdgePropagationSpec[] = [\n  supportsPropagationSpec,\n  informsPropagationSpec,\n  dependsOnPropagationSpec,\n  derivedFromPropagationSpec,\n  containsPropagationSpec,\n  testsPropagationSpec,\n  contradictsPropagationSpec,\n  refutesPropagationSpec,\n  elaboratesPropagationSpec,\n] as const;\n\nconst EDGE_PROPAGATION_SPEC_MAP = new Map<\n  PropagationEdgeType,\n  EdgePropagationSpec\n>(EDGE_PROPAGATION_SPECS.map((spec) => [spec.edgeType, spec]));\n\nexport function getEdgePropagationSpec(\n  edgeType: string\n): EdgePropagationSpec | undefined {\n  return EDGE_PROPAGATION_SPEC_MAP.get(edgeType as PropagationEdgeType);\n}\n\nexport function getEdgePropagationSpecs(): readonly EdgePropagationSpec[] {\n  return EDGE_PROPAGATION_SPECS;\n}\n\nexport function getTraversalDirections(\n  direction: PropagationSpecDirection\n): readonly PropagationTraversalDirection[] {\n  if (isPropagationTraversalDirection(direction)) {\n    return [direction];\n  }\n\n  return [\"outgoing\", \"incoming\"];\n}\n","// biome-ignore-all lint/style/useFilenamingConvention: Public graph-primitives wildcard-export path; rename requires an export-map migration.\nimport {\n  getLayerForNodeType,\n  isNodeType,\n} from \"@lucern/contracts/schema-helpers/spine/tables/epistemicNodes\";\nimport type { MutationCtx, QueryCtx } from \"./convex\";\nimport { resolveTopicProjectScope, type TopicProjectScope } from \"./topicScope\";\n\ntype StructuredInvariantError = Error & {\n  status: number;\n  code: string;\n  invariantCode?: string;\n  suggestion?: string;\n  details?: unknown;\n};\n\ninterface ScopeLike {\n  epistemicLayer?: unknown;\n  nodeType?: unknown;\n  projectId?: unknown;\n  publicationStatus?: unknown;\n  tenantId?: unknown;\n  topicId?: unknown;\n  workspaceId?: unknown;\n}\n\nexport interface RuntimePackMutationContext {\n  packInstallScope?: \"tenant\" | \"workspace\";\n  packKey?: string;\n  toolName?: string;\n}\n\nexport function normalizeScopeValue(value: unknown): string | undefined {\n  if (typeof value !== \"string\") {\n    return;\n  }\n  const normalized = value.trim();\n  return normalized.length > 0 ? normalized : undefined;\n}\n\nfunction throwWorkspaceIsolationError(args: {\n  message: string;\n  invariantCode: string;\n  suggestion: string;\n  details?: unknown;\n}): never {\n  const error = new Error(args.message) as StructuredInvariantError;\n  error.status = 409;\n  error.code = \"INVARIANT_VIOLATION\";\n  error.invariantCode = args.invariantCode;\n  error.suggestion = args.suggestion;\n  error.details = args.details;\n  throw error;\n}\n\nexport function assertWorkspaceScopedEpistemicNodeScope(args: {\n  scope: TopicProjectScope;\n  nodeType: string;\n  mutationName: string;\n}): void {\n  const layer = isNodeType(args.nodeType)\n    ? getLayerForNodeType(args.nodeType)\n    : undefined;\n  if (layer === \"ontological\") {\n    return;\n  }\n\n  const workspaceId = normalizeScopeValue(args.scope.workspaceId);\n  if (workspaceId) {\n    return;\n  }\n\n  throwWorkspaceIsolationError({\n    message:\n      \"Workspace-scoped reasoning isolation requires workspaceId on non-ontological node creation.\",\n    invariantCode: \"workspace.scope_required_for_epistemic_nodes\",\n    suggestion:\n      \"Resolve the topic/project scope through a workspace-bound topic before creating epistemic nodes.\",\n    details: {\n      mutationName: args.mutationName,\n      nodeType: args.nodeType,\n      topicId: args.scope.topicId,\n      projectId: args.scope.projectId,\n    },\n  });\n}\n\nexport function nodeMatchesWorkspaceReasoningScope(\n  node: ScopeLike | null | undefined,\n  scope: Pick<TopicProjectScope, \"tenantId\" | \"workspaceId\">\n): boolean {\n  if (!node) {\n    return false;\n  }\n\n  const scopeTenantId = normalizeScopeValue(scope.tenantId);\n  const scopeWorkspaceId = normalizeScopeValue(scope.workspaceId);\n  const nodeTenantId = normalizeScopeValue(node.tenantId);\n  const nodeWorkspaceId = normalizeScopeValue(node.workspaceId);\n  const epistemicLayer =\n    typeof node.epistemicLayer === \"string\" ? node.epistemicLayer : undefined;\n\n  if (scopeTenantId && nodeTenantId && scopeTenantId !== nodeTenantId) {\n    return false;\n  }\n\n  // Ontological entities are tenant-global (no workspace required)\n  if (epistemicLayer === \"ontological\" && nodeWorkspaceId === undefined) {\n    return true;\n  }\n\n  // Published nodes are visible at tenant scope — the microservice API surface.\n  // The node stays in its workspace, but tenant-scope queries can see it.\n  if (!scopeWorkspaceId && node.publicationStatus === \"published\") {\n    return true;\n  }\n\n  if (!scopeWorkspaceId) {\n    return nodeWorkspaceId === undefined;\n  }\n\n  return scopeWorkspaceId === nodeWorkspaceId;\n}\n\nexport function edgeMatchesWorkspaceReasoningScope(\n  edge: ScopeLike | null | undefined,\n  scope: Pick<TopicProjectScope, \"tenantId\" | \"workspaceId\">\n): boolean {\n  if (!edge) {\n    return false;\n  }\n\n  const scopeTenantId = normalizeScopeValue(scope.tenantId);\n  const scopeWorkspaceId = normalizeScopeValue(scope.workspaceId);\n  const edgeTenantId = normalizeScopeValue(edge.tenantId);\n  const edgeWorkspaceId = normalizeScopeValue(edge.workspaceId);\n\n  if (scopeTenantId && edgeTenantId && scopeTenantId !== edgeTenantId) {\n    return false;\n  }\n\n  if (!scopeWorkspaceId) {\n    return edgeWorkspaceId === undefined;\n  }\n\n  return scopeWorkspaceId === edgeWorkspaceId;\n}\n\nexport async function resolveNodeScopeForWorkspaceIsolation(\n  ctx: QueryCtx | MutationCtx,\n  node: ScopeLike | null | undefined\n): Promise<{\n  tenantId?: string;\n  workspaceId?: string;\n  epistemicLayer?: string;\n  nodeType?: string;\n}> {\n  const epistemicLayer =\n    typeof node?.epistemicLayer === \"string\" ? node.epistemicLayer : undefined;\n  const resolved = {\n    tenantId: normalizeScopeValue(node?.tenantId),\n    workspaceId: normalizeScopeValue(node?.workspaceId),\n    epistemicLayer,\n    nodeType: typeof node?.nodeType === \"string\" ? node.nodeType : undefined,\n  };\n\n  if (!node) {\n    return resolved;\n  }\n\n  if (resolved.epistemicLayer === \"ontological\") {\n    return resolved;\n  }\n\n  if (resolved.tenantId || resolved.workspaceId) {\n    return resolved;\n  }\n\n  const topicId = normalizeScopeValue(node.topicId);\n  if (topicId) {\n    const topicScope = await resolveTopicProjectScope(ctx, {\n      topicId,\n    });\n    return {\n      ...resolved,\n      tenantId: topicScope.tenantId,\n      workspaceId: topicScope.workspaceId,\n    };\n  }\n\n  if (node.projectId) {\n    const topicScope = await resolveTopicProjectScope(ctx, {\n      projectId: String(node.projectId),\n    });\n    return {\n      ...resolved,\n      tenantId: topicScope.tenantId,\n      workspaceId: topicScope.workspaceId,\n    };\n  }\n\n  return resolved;\n}\n\nexport function resolveRuntimePackMutationContext(args: {\n  runtimeToolName?: string;\n  runtimePackKey?: string;\n  runtimePackInstallScope?: \"tenant\" | \"workspace\";\n}): RuntimePackMutationContext | undefined {\n  if (\n    !(\n      args.runtimeToolName ||\n      args.runtimePackKey ||\n      args.runtimePackInstallScope\n    )\n  ) {\n    return;\n  }\n\n  return {\n    toolName: args.runtimeToolName,\n    packKey: args.runtimePackKey,\n    packInstallScope: args.runtimePackInstallScope,\n  };\n}\n\nexport function assertTenantPackWorkspaceMutationAllowed(args: {\n  runtime?: RuntimePackMutationContext;\n  target: ScopeLike;\n  mutationName: string;\n}): void {\n  if (!args.runtime?.packKey || args.runtime.packInstallScope !== \"tenant\") {\n    return;\n  }\n\n  const targetWorkspaceId = normalizeScopeValue(args.target.workspaceId);\n  const targetLayer =\n    typeof args.target.epistemicLayer === \"string\"\n      ? args.target.epistemicLayer\n      : undefined;\n\n  if (!targetWorkspaceId || targetLayer === \"ontological\") {\n    return;\n  }\n\n  throwWorkspaceIsolationError({\n    message: `Tenant-scoped pack \"${args.runtime.packKey}\" cannot mutate workspace-scoped reasoning state.`,\n    invariantCode: \"workspace.tenant_pack_reasoning_write_forbidden\",\n    suggestion:\n      \"Use a workspace-scoped pack for workspace-local graph mutations, or route the change through tenant-global canonical entity flows.\",\n    details: {\n      mutationName: args.mutationName,\n      toolName: args.runtime.toolName,\n      packKey: args.runtime.packKey,\n      targetWorkspaceId,\n      targetNodeType: args.target.nodeType,\n      targetLayer,\n    },\n  });\n}\n","// biome-ignore-all lint/style/useFilenamingConvention: Public graph-primitives wildcard-export path; keep the existing camelCase filename.\nimport {\n  hasProjectedOpinionChanged,\n  mkOpinion,\n  readOpinionFromRecord,\n  type SLOperator,\n  type SLOpinion,\n} from \"@lucern/confidence\";\nimport {\n  canContinueTransitively,\n  canTraverseHop,\n  type EdgePropagationSpec,\n  getEdgePropagationSpecs,\n  getTraversalDirections,\n  type PropagationEdgeRecord,\n  type PropagationEdgeType,\n  type PropagationTraversalDirection,\n} from \"./edges\";\nimport {\n  edgeMatchesWorkspaceReasoningScope,\n  nodeMatchesWorkspaceReasoningScope,\n} from \"./workspaceIsolation\";\n\nexport interface PropagationDispatchScope {\n  tenantId?: string;\n  workspaceId?: string;\n}\n\nexport interface PropagationDispatchNode<TNodeId extends string = string> {\n  _id?: TNodeId;\n  epistemicLayer?: string;\n  metadata?: unknown;\n  nodeType?: string;\n  opinion_a?: number;\n  opinion_b?: number;\n  opinion_d?: number;\n  opinion_u?: number;\n  publicationStatus?: string;\n  tenantId?: string;\n  workspaceId?: string;\n}\n\nexport type PropagationDispatchEdge<TNodeId extends string = string> =\n  PropagationEdgeRecord<TNodeId>;\n\nexport interface ConfidencePropagationDispatch<\n  TNodeId extends string = string,\n> {\n  edgeType: PropagationEdgeType;\n  hop: number;\n  operator: SLOperator;\n  opinion: SLOpinion;\n  rationale: string;\n  targetNodeId: TNodeId;\n  traversedDirection: PropagationTraversalDirection;\n  weight: number;\n}\n\ninterface DispatchState<TNodeId extends string = string> {\n  hop: number;\n  nodeId: TNodeId;\n  opinion: SLOpinion;\n  visitedNodeIds: Set<string>;\n}\n\ninterface CollectConfidencePropagationDispatchesArgs<\n  TNodeId extends string = string,\n> {\n  getNode: (\n    nodeId: TNodeId\n  ) => Promise<PropagationDispatchNode<TNodeId> | null | undefined>;\n  queryEdges: (args: {\n    direction: PropagationTraversalDirection;\n    hop: number;\n    nodeId: TNodeId;\n    spec: EdgePropagationSpec<TNodeId>;\n  }) => Promise<readonly PropagationDispatchEdge<TNodeId>[]>;\n  sourceNodeId: TNodeId;\n  sourceOpinion: SLOpinion;\n  sourceScope?: PropagationDispatchScope;\n  traversalSpecs?: readonly EdgePropagationSpec<TNodeId>[];\n}\n\ninterface TraversalScope<TNodeId extends string = string> {\n  args: CollectConfidencePropagationDispatchesArgs<TNodeId>;\n  dispatchesByTargetId: Map<string, ConfidencePropagationDispatch<TNodeId>>;\n  nodeCache: Map<string, PropagationDispatchNode<TNodeId> | null | undefined>;\n  opinionCache: Map<string, SLOpinion>;\n  traversalSpecs: readonly EdgePropagationSpec<TNodeId>[];\n}\n\nfunction nodeIdToCacheKey<TNodeId extends string>(nodeId: TNodeId): string {\n  return String(nodeId);\n}\n\nfunction readNodeOpinion<TNodeId extends string>(\n  node: PropagationDispatchNode<TNodeId>\n): SLOpinion {\n  const metadata = (node.metadata ?? {}) as Record<string, unknown>;\n\n  try {\n    return readOpinionFromRecord({\n      ...metadata,\n      opinion_b: node.opinion_b,\n      opinion_d: node.opinion_d,\n      opinion_u: node.opinion_u,\n      opinion_a: node.opinion_a,\n    });\n  } catch {\n    return mkOpinion(0, 0, 1, 0.5);\n  }\n}\n\nfunction resolveTraversalTargetNodeId<TNodeId extends string>(\n  edge: PropagationDispatchEdge<TNodeId>,\n  direction: PropagationTraversalDirection\n): TNodeId | undefined {\n  const targetNodeId =\n    direction === \"outgoing\" ? edge.toNodeId : edge.fromNodeId;\n  return targetNodeId ?? undefined;\n}\n\nfunction buildInitialState<TNodeId extends string>(\n  sourceNodeId: TNodeId,\n  sourceOpinion: SLOpinion\n): DispatchState<TNodeId> {\n  return {\n    nodeId: sourceNodeId,\n    opinion: sourceOpinion,\n    hop: 0,\n    visitedNodeIds: new Set([nodeIdToCacheKey(sourceNodeId)]),\n  };\n}\n\nfunction extendVisited<TNodeId extends string>(\n  currentVisited: Set<string>,\n  targetNodeId: TNodeId\n): Set<string> {\n  return new Set([...currentVisited, nodeIdToCacheKey(targetNodeId)]);\n}\n\nfunction makeTransitiveState<TNodeId extends string>(\n  current: DispatchState<TNodeId>,\n  targetNodeId: TNodeId,\n  projectedOpinion: SLOpinion,\n  nextHop: number\n): DispatchState<TNodeId> {\n  return {\n    nodeId: targetNodeId,\n    opinion: projectedOpinion,\n    hop: nextHop,\n    visitedNodeIds: extendVisited(current.visitedNodeIds, targetNodeId),\n  };\n}\n\nfunction makeDispatchRecord<TNodeId extends string>(\n  targetNodeId: TNodeId,\n  spec: EdgePropagationSpec<TNodeId>,\n  direction: PropagationTraversalDirection,\n  edge: PropagationDispatchEdge<TNodeId>,\n  projectedOpinion: SLOpinion,\n  nextHop: number,\n  result: NonNullable<ReturnType<EdgePropagationSpec<TNodeId>[\"operator\"]>>,\n  existingDispatch?: ConfidencePropagationDispatch<TNodeId>\n): ConfidencePropagationDispatch<TNodeId> {\n  return {\n    targetNodeId,\n    edgeType: spec.edgeType,\n    traversedDirection: direction,\n    weight: edge.weight ?? 1,\n    opinion: projectedOpinion,\n    operator: result.operator,\n    rationale: existingDispatch\n      ? `${existingDispatch.rationale}; ${result.rationale}`\n      : result.rationale,\n    hop: nextHop,\n  };\n}\n\nasync function loadCachedNode<TNodeId extends string>(\n  scope: TraversalScope<TNodeId>,\n  nodeId: TNodeId\n): Promise<PropagationDispatchNode<TNodeId> | null | undefined> {\n  const cacheKey = nodeIdToCacheKey(nodeId);\n  if (!scope.nodeCache.has(cacheKey)) {\n    scope.nodeCache.set(cacheKey, await scope.args.getNode(nodeId));\n  }\n\n  return scope.nodeCache.get(cacheKey) ?? null;\n}\n\nasync function collectTargetDispatch<TNodeId extends string>(\n  state: DispatchState<TNodeId>,\n  nextHop: number,\n  spec: EdgePropagationSpec<TNodeId>,\n  direction: PropagationTraversalDirection,\n  edge: PropagationDispatchEdge<TNodeId>,\n  queue: DispatchState<TNodeId>[],\n  scope: TraversalScope<TNodeId>\n): Promise<void> {\n  const sourceScope = scope.args.sourceScope;\n  if (sourceScope && !edgeMatchesWorkspaceReasoningScope(edge, sourceScope)) {\n    return;\n  }\n\n  const targetNodeId = resolveTraversalTargetNodeId(edge, direction);\n  if (!targetNodeId) {\n    return;\n  }\n\n  const targetNodeIdKey = nodeIdToCacheKey(targetNodeId);\n  if (state.visitedNodeIds.has(targetNodeIdKey)) {\n    return;\n  }\n\n  const targetNode = await loadCachedNode(scope, targetNodeId);\n  if (targetNode?.nodeType !== \"belief\") {\n    return;\n  }\n\n  if (\n    sourceScope &&\n    !nodeMatchesWorkspaceReasoningScope(targetNode, sourceScope)\n  ) {\n    return;\n  }\n\n  const targetOpinion =\n    scope.opinionCache.get(targetNodeIdKey) ?? readNodeOpinion(targetNode);\n  const result = spec.operator(state.opinion, targetOpinion, edge, {\n    hop: nextHop,\n    sourceNodeId: state.nodeId,\n    targetNodeId,\n    traversedDirection: direction,\n    spec,\n  });\n\n  if (!(result && hasProjectedOpinionChanged(targetOpinion, result.opinion))) {\n    return;\n  }\n\n  const projectedOpinion = mkOpinion(\n    result.opinion.b,\n    result.opinion.d,\n    result.opinion.u,\n    result.opinion.a\n  );\n  scope.opinionCache.set(targetNodeIdKey, projectedOpinion);\n\n  const existingDispatch = scope.dispatchesByTargetId.get(targetNodeIdKey);\n  scope.dispatchesByTargetId.set(\n    targetNodeIdKey,\n    makeDispatchRecord(\n      targetNodeId,\n      spec,\n      direction,\n      edge,\n      projectedOpinion,\n      nextHop,\n      result,\n      existingDispatch\n    )\n  );\n\n  if (canContinueTransitively(spec, nextHop)) {\n    queue.push(\n      makeTransitiveState(state, targetNodeId, projectedOpinion, nextHop)\n    );\n  }\n}\n\nasync function processTraversalSpec<TNodeId extends string>(\n  state: DispatchState<TNodeId>,\n  nextHop: number,\n  spec: EdgePropagationSpec<TNodeId>,\n  queue: DispatchState<TNodeId>[],\n  scope: TraversalScope<TNodeId>\n): Promise<void> {\n  const sourceNodeId = state.nodeId;\n  for (const direction of getTraversalDirections(spec.direction)) {\n    const edges = await scope.args.queryEdges({\n      nodeId: sourceNodeId,\n      spec,\n      direction,\n      hop: nextHop,\n    });\n\n    for (const edge of edges) {\n      await collectTargetDispatch(\n        state,\n        nextHop,\n        spec,\n        direction,\n        edge,\n        queue,\n        scope\n      );\n    }\n  }\n}\n\nasync function processQueuedState<TNodeId extends string>(\n  state: DispatchState<TNodeId>,\n  queue: DispatchState<TNodeId>[],\n  scope: TraversalScope<TNodeId>\n): Promise<void> {\n  const nextHop = state.hop + 1;\n  for (const spec of scope.traversalSpecs) {\n    if (!canTraverseHop(spec, nextHop)) {\n      continue;\n    }\n\n    await processTraversalSpec(state, nextHop, spec, queue, scope);\n  }\n}\n\nfunction sortDispatches<TNodeId extends string>(\n  dispatches: Iterable<ConfidencePropagationDispatch<TNodeId>>\n): ConfidencePropagationDispatch<TNodeId>[] {\n  return Array.from(dispatches).sort((left, right) => {\n    if (left.hop !== right.hop) {\n      return left.hop - right.hop;\n    }\n    return String(left.targetNodeId).localeCompare(String(right.targetNodeId));\n  });\n}\n\nexport async function collectConfidencePropagationDispatches<\n  TNodeId extends string = string,\n>(\n  args: CollectConfidencePropagationDispatchesArgs<TNodeId>\n): Promise<ConfidencePropagationDispatch<TNodeId>[]> {\n  const dispatchesByTargetId = new Map<\n    string,\n    ConfidencePropagationDispatch<TNodeId>\n  >();\n  const opinionCache = new Map<string, SLOpinion>();\n  const nodeCache = new Map<\n    string,\n    PropagationDispatchNode<TNodeId> | null | undefined\n  >();\n  const traversalSpecs = (args.traversalSpecs ??\n    getEdgePropagationSpecs()) as readonly EdgePropagationSpec<TNodeId>[];\n\n  const scope: TraversalScope<TNodeId> = {\n    args,\n    dispatchesByTargetId,\n    opinionCache,\n    nodeCache,\n    traversalSpecs,\n  };\n\n  const queue: DispatchState<TNodeId>[] = [\n    buildInitialState(args.sourceNodeId, args.sourceOpinion),\n  ];\n\n  while (queue.length > 0) {\n    const state = queue.shift();\n    if (!state) {\n      continue;\n    }\n\n    await processQueuedState(state, queue, scope);\n  }\n\n  return sortDispatches(dispatchesByTargetId.values());\n}\n"]}

package/dist/{contradictions-51VLsESq.d.ts → contradictions-BATPuZTL.d.ts}

@@ -9,50 +9,50 @@
  * Detect contradictions for a project
  * Finds beliefs that have both supporting AND contradicting evidence
  */
-declare const detectContradictions: any;
+declare const detectContradictions: unknown;
 /**
  * Get all tracked contradictions for a project
  */
-declare const getByProject: any;
+declare const getByProject: unknown;
 /**
  * Get unresolved contradiction count for dashboard
  */
-declare const getUnresolvedCount: any;
+declare const getUnresolvedCount: unknown;
 /**
  * Get a single contradiction with full context
  */
-declare const getById: any;
+declare const getById: unknown;
 /**
  * Track a new contradiction
  */
-declare const create: any;
+declare const create: unknown;
 /**
  * Update contradiction status
  *
  * INVARIANT #14 ENFORCEMENT: All state transitions logged to epistemicAudit
  */
-declare const updateStatus: any;
+declare const updateStatus: unknown;
 /**
  * Resolve a contradiction with findings
  *
  * INVARIANT #14 ENFORCEMENT: All state transitions logged to epistemicAudit
  */
-declare const resolve: any;
+declare const resolve: unknown;
 /**
  * Update severity assessment
  *
  * INVARIANT #14 ENFORCEMENT: All state transitions logged to epistemicAudit
  */
-declare const updateSeverity: any;
+declare const updateSeverity: unknown;
 /**
  * Add AI analysis to a contradiction
  */
-declare const addAiAnalysis: any;
+declare const addAiAnalysis: unknown;
 /**
  * Scan project and auto-create contradictions for any beliefs with conflicting evidence
  * Called by cron job or manually
  */
-declare const scanAndCreateContradictions: any;
+declare const scanAndCreateContradictions: unknown;
 
 declare const contradictions_addAiAnalysis: typeof addAiAnalysis;
 declare const contradictions_create: typeof create;

package/dist/contradictions.d.ts

@@ -1 +1 @@
-export { a as addAiAnalysis, b as create, d as detectContradictions, g as getById, e as getByProject, f as getUnresolvedCount, r as resolve, s as scanAndCreateContradictions, u as updateSeverity, h as updateStatus } from './contradictions-51VLsESq.js';
+export { a as addAiAnalysis, b as create, d as detectContradictions, g as getById, e as getByProject, f as getUnresolvedCount, r as resolve, s as scanAndCreateContradictions, u as updateSeverity, h as updateStatus } from './contradictions-BATPuZTL.js';