@lucern/graph-primitives 0.1.0-alpha.4 → 0.3.0-alpha.1

package/dist/edges/contradicts.js

@@ -1,125 +1,4 @@
-// ../confidence/src/v1/operations/subjectiveLogic/index.ts
-function opinion(belief, disbelief, uncertainty, baseRate = 0.5) {
-  const b = Math.max(0, Math.min(1, belief));
-  const d = Math.max(0, Math.min(1, disbelief));
-  const u = Math.max(0, Math.min(1, uncertainty));
-  const a = Math.max(0, Math.min(1, baseRate));
-  const sum = b + d + u;
-  if (sum === 0) {
-    return { b: 0, d: 0, u: 1, a };
-  }
-  return {
-    b: b / sum,
-    d: d / sum,
-    u: u / sum,
-    a
-  };
-}
-function vacuous(baseRate = 0.5) {
-  return { b: 0, d: 0, u: 1, a: baseRate };
-}
-function project(o) {
-  return o.b + o.a * o.u;
-}
-function cumulativeFusion(left, right) {
-  if (left.u === 0 && right.u === 0) {
-    return opinion(
-      (left.b + right.b) / 2,
-      (left.d + right.d) / 2,
-      0,
-      (left.a + right.a) / 2
-    );
-  }
-  const k = left.u + right.u - left.u * right.u;
-  if (k === 0) {
-    return vacuous((left.a + right.a) / 2);
-  }
-  return opinion(
-    (left.b * right.u + right.b * left.u) / k,
-    (left.d * right.u + right.d * left.u) / k,
-    left.u * right.u / k,
-    (left.a + right.a) / 2
-  );
-}
-function trustDiscount(sourceOpinion, trust) {
-  const weight = Math.max(0, Math.min(1, Math.abs(trust)));
-  return opinion(
-    weight * sourceOpinion.b,
-    weight * sourceOpinion.d,
-    1 - weight * (sourceOpinion.b + sourceOpinion.d),
-    sourceOpinion.a
-  );
-}
-function negate(o) {
-  return { b: o.d, d: o.b, u: o.u, a: 1 - o.a };
-}
-function constraintFusion(left, right, mode = "pressure") {
-  if (mode === "redistribute") {
-    const leftProjected = project(left);
-    const rightProjected = project(right);
-    const total = leftProjected + rightProjected;
-    if (total <= 1) {
-      return { o1: left, o2: right };
-    }
-    const scale = 1 / total;
-    return {
-      o1: opinion(
-        left.b * scale,
-        left.d + left.b * (1 - scale),
-        left.u,
-        left.a
-      ),
-      o2: opinion(
-        right.b * scale,
-        right.d + right.b * (1 - scale),
-        right.u,
-        right.a
-      )
-    };
-  }
-  const pressureLeft = right.b * 0.5;
-  const pressureRight = left.b * 0.5;
-  return {
-    o1: opinion(
-      left.b - pressureLeft * 0.3,
-      left.d + pressureLeft * 0.3,
-      left.u,
-      left.a
-    ),
-    o2: opinion(
-      right.b - pressureRight * 0.3,
-      right.d + pressureRight * 0.3,
-      right.u,
-      right.a
-    )
-  };
-}
-
-// ../confidence/src/v1/operations/dynamics/defeat.ts
-function applyNegativeSupport(source, target, weight, metadata = {}) {
-  if (metadata.constraint === "xor") {
-    const result = constraintFusion(
-      source,
-      target,
-      metadata.normalization ?? "pressure"
-    );
-    return {
-      opinion: result.o2,
-      operator: "constraint_fusion",
-      rationale: `XOR constraint: source belief at ${project(source).toFixed(
-        2
-      )} pressures target`
-    };
-  }
-  const discounted = trustDiscount(negate(source), Math.abs(weight));
-  return {
-    opinion: cumulativeFusion(target, discounted),
-    operator: "cumulative_fusion",
-    rationale: `Contradicting evidence (weight=${weight.toFixed(
-      2
-    )}) from source at ${project(source).toFixed(2)}`
-  };
-}
+import { trustDiscount, applyNegativeSupport } from '@lucern/confidence';
 
 // src/edges/utils.ts
 function readEdgeMetadata(edge) {

package/dist/edges/contradicts.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../../confidence/src/v1/operations/subjectiveLogic/index.ts","../../../confidence/src/v1/operations/dynamics/defeat.ts","../../src/edges/utils.ts","../../src/edges/contradicts.ts"],"names":[],"mappings":";AAEO,SAAS,OAAA,CACd,MAAA,EACA,SAAA,EACA,WAAA,EACA,WAAmB,GAAA,EACV;AACT,EAAA,MAAM,CAAA,GAAI,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,MAAM,CAAC,CAAA;AACzC,EAAA,MAAM,CAAA,GAAI,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,SAAS,CAAC,CAAA;AAC5C,EAAA,MAAM,CAAA,GAAI,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,WAAW,CAAC,CAAA;AAC9C,EAAA,MAAM,CAAA,GAAI,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,QAAQ,CAAC,CAAA;AAC3C,EAAA,MAAM,GAAA,GAAM,IAAI,CAAA,GAAI,CAAA;AAEpB,EAAA,IAAI,QAAQ,CAAA,EAAG;AACb,IAAA,OAAO,EAAE,CAAA,EAAG,CAAA,EAAG,GAAG,CAAA,EAAG,CAAA,EAAG,GAAG,CAAA,EAAE;AAAA,EAC/B;AAEA,EAAA,OAAO;AAAA,IACL,GAAG,CAAA,GAAI,GAAA;AAAA,IACP,GAAG,CAAA,GAAI,GAAA;AAAA,IACP,GAAG,CAAA,GAAI,GAAA;AAAA,IACP;AAAA,GACF;AACF;AAEO,SAAS,OAAA,CAAQ,WAAmB,GAAA,EAAc;AACvD,EAAA,OAAO,EAAE,GAAG,CAAA,EAAG,CAAA,EAAG,GAAG,CAAA,EAAG,CAAA,EAAG,GAAG,QAAA,EAAS;AACzC;AAOO,SAAS,QAAQ,CAAA,EAAoB;AAC1C,EAAA,OAAO,CAAA,CAAE,CAAA,GAAI,CAAA,CAAE,CAAA,GAAI,CAAA,CAAE,CAAA;AACvB;AAgBO,SAAS,gBAAA,CAAiB,MAAe,KAAA,EAAyB;AACvE,EAAA,IAAI,IAAA,CAAK,CAAA,KAAM,CAAA,IAAK,KAAA,CAAM,MAAM,CAAA,EAAG;AACjC,IAAA,OAAO,OAAA;AAAA,MAAA,CACJ,IAAA,CAAK,CAAA,GAAI,KAAA,CAAM,CAAA,IAAK,CAAA;AAAA,MAAA,CACpB,IAAA,CAAK,CAAA,GAAI,KAAA,CAAM,CAAA,IAAK,CAAA;AAAA,MACrB,CAAA;AAAA,MAAA,CACC,IAAA,CAAK,CAAA,GAAI,KAAA,CAAM,CAAA,IAAK;AAAA,KACvB;AAAA,EACF;AAEA,EAAA,MAAM,IAAI,IAAA,CAAK,CAAA,GAAI,MAAM,CAAA,GAAI,IAAA,CAAK,IAAI,KAAA,CAAM,CAAA;AAC5C,EAAA,IAAI,MAAM,CAAA,EAAG;AACX,IAAA,OAAO,OAAA,CAAA,CAAS,IAAA,CAAK,CAAA,GAAI,KAAA,CAAM,KAAK,CAAC,CAAA;AAAA,EACvC;AAEA,EAAA,OAAO,OAAA;AAAA,IAAA,CACJ,KAAK,CAAA,GAAI,KAAA,CAAM,IAAI,KAAA,CAAM,CAAA,GAAI,KAAK,CAAA,IAAK,CAAA;AAAA,IAAA,CACvC,KAAK,CAAA,GAAI,KAAA,CAAM,IAAI,KAAA,CAAM,CAAA,GAAI,KAAK,CAAA,IAAK,CAAA;AAAA,IACvC,IAAA,CAAK,CAAA,GAAI,KAAA,CAAM,CAAA,GAAK,CAAA;AAAA,IAAA,CACpB,IAAA,CAAK,CAAA,GAAI,KAAA,CAAM,CAAA,IAAK;AAAA,GACvB;AACF;AAyBO,SAAS,aAAA,CAAc,eAAwB,KAAA,EAAwB;AAC5E,EAAA,MAAM,MAAA,GAAS,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,IAAA,CAAK,GAAA,CAAI,KAAK,CAAC,CAAC,CAAA;AACvD,EAAA,OAAO,OAAA;AAAA,IACL,SAAS,aAAA,CAAc,CAAA;AAAA,IACvB,SAAS,aAAA,CAAc,CAAA;AAAA,IACvB,CAAA,GAAI,MAAA,IAAU,aAAA,CAAc,CAAA,GAAI,aAAA,CAAc,CAAA,CAAA;AAAA,IAC9C,aAAA,CAAc;AAAA,GAChB;AACF;AAkPO,SAAS,OAAO,CAAA,EAAqB;AAC1C,EAAA,OAAO,EAAE,CAAA,EAAG,CAAA,CAAE,CAAA,EAAG,CAAA,EAAG,CAAA,CAAE,CAAA,EAAG,CAAA,EAAG,CAAA,CAAE,CAAA,EAAG,CAAA,EAAG,CAAA,GAAI,EAAE,CAAA,EAAE;AAC9C;AAEO,SAAS,gBAAA,CACd,IAAA,EACA,KAAA,EACA,IAAA,GAAoC,UAAA,EACN;AAC9B,EAAA,IAAI,SAAS,cAAA,EAAgB;AAC3B,IAAA,MAAM,aAAA,GAAgB,QAAQ,IAAI,CAAA;AAClC,IAAA,MAAM,cAAA,GAAiB,QAAQ,KAAK,CAAA;AACpC,IAAA,MAAM,QAAQ,aAAA,GAAgB,cAAA;AAE9B,IAAA,IAAI,SAAS,CAAA,EAAG;AACd,MAAA,OAAO,EAAE,EAAA,EAAI,IAAA,EAAM,EAAA,EAAI,KAAA,EAAM;AAAA,IAC/B;AAEA,IAAA,MAAM,QAAQ,CAAA,GAAI,KAAA;AAClB,IAAA,OAAO;AAAA,MACL,EAAA,EAAI,OAAA;AAAA,QACF,KAAK,CAAA,GAAI,KAAA;AAAA,QACT,IAAA,CAAK,CAAA,GAAI,IAAA,CAAK,CAAA,IAAK,CAAA,GAAI,KAAA,CAAA;AAAA,QACvB,IAAA,CAAK,CAAA;AAAA,QACL,IAAA,CAAK;AAAA,OACP;AAAA,MACA,EAAA,EAAI,OAAA;AAAA,QACF,MAAM,CAAA,GAAI,KAAA;AAAA,QACV,KAAA,CAAM,CAAA,GAAI,KAAA,CAAM,CAAA,IAAK,CAAA,GAAI,KAAA,CAAA;AAAA,QACzB,KAAA,CAAM,CAAA;AAAA,QACN,KAAA,CAAM;AAAA;AACR,KACF;AAAA,EACF;AAEA,EAAA,MAAM,YAAA,GAAe,MAAM,CAAA,GAAI,GAAA;AAC/B,EAAA,MAAM,aAAA,GAAgB,KAAK,CAAA,GAAI,GAAA;AAE/B,EAAA,OAAO;AAAA,IACL,EAAA,EAAI,OAAA;AAAA,MACF,IAAA,CAAK,IAAI,YAAA,GAAe,GAAA;AAAA,MACxB,IAAA,CAAK,IAAI,YAAA,GAAe,GAAA;AAAA,MACxB,IAAA,CAAK,CAAA;AAAA,MACL,IAAA,CAAK;AAAA,KACP;AAAA,IACA,EAAA,EAAI,OAAA;AAAA,MACF,KAAA,CAAM,IAAI,aAAA,GAAgB,GAAA;AAAA,MAC1B,KAAA,CAAM,IAAI,aAAA,GAAgB,GAAA;AAAA,MAC1B,KAAA,CAAM,CAAA;AAAA,MACN,KAAA,CAAM;AAAA;AACR,GACF;AACF;;;ACxYO,SAAS,qBACd,MAAA,EACA,MAAA,EACA,MAAA,EACA,QAAA,GAAyB,EAAC,EACP;AACnB,EAAA,IAAI,QAAA,CAAS,eAAe,KAAA,EAAO;AACjC,IAAA,MAAM,MAAA,GAAS,gBAAA;AAAA,MACb,MAAA;AAAA,MACA,MAAA;AAAA,MACA,SAAS,aAAA,IAAiB;AAAA,KAC5B;AACA,IAAA,OAAO;AAAA,MACL,SAAS,MAAA,CAAO,EAAA;AAAA,MAChB,QAAA,EAAU,mBAAA;AAAA,MACV,SAAA,EAAW,CAAA,iCAAA,EAAoC,OAAA,CAAQ,MAAM,CAAA,CAAE,OAAA;AAAA,QAC7D;AAAA,OACD,CAAA,iBAAA;AAAA,KACH;AAAA,EACF;AAEA,EAAA,MAAM,UAAA,GAAa,cAAc,MAAA,CAAO,MAAM,GAAG,IAAA,CAAK,GAAA,CAAI,MAAM,CAAC,CAAA;AACjE,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,gBAAA,CAAiB,MAAA,EAAQ,UAAU,CAAA;AAAA,IAC5C,QAAA,EAAU,mBAAA;AAAA,IACV,SAAA,EAAW,kCAAkC,MAAA,CAAO,OAAA;AAAA,MAClD;AAAA,KACD,CAAA,iBAAA,EAAoB,OAAA,CAAQ,MAAM,CAAA,CAAE,OAAA,CAAQ,CAAC,CAAC,CAAA;AAAA,GACjD;AACF;;;ACvBO,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,EACS;AACT,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;AA8BO,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;;;ACpFO,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","file":"contradicts.js","sourcesContent":["import type { Opinion } from \"../../types\";\n\nexport function opinion(\n  belief: number,\n  disbelief: number,\n  uncertainty: number,\n  baseRate: number = 0.5\n): Opinion {\n  const b = Math.max(0, Math.min(1, belief));\n  const d = Math.max(0, Math.min(1, disbelief));\n  const u = Math.max(0, Math.min(1, uncertainty));\n  const a = Math.max(0, Math.min(1, baseRate));\n  const sum = b + d + u;\n\n  if (sum === 0) {\n    return { b: 0, d: 0, u: 1, a };\n  }\n\n  return {\n    b: b / sum,\n    d: d / sum,\n    u: u / sum,\n    a,\n  };\n}\n\nexport function vacuous(baseRate: number = 0.5): Opinion {\n  return { b: 0, d: 0, u: 1, a: baseRate };\n}\n\nexport function dogmatic(probability: number, baseRate: number = 0.5): Opinion {\n  const p = Math.max(0, Math.min(1, probability));\n  return { b: p, d: 1 - p, u: 0, a: baseRate };\n}\n\nexport function project(o: Opinion): number {\n  return o.b + o.a * o.u;\n}\n\nexport function confidenceLevel(o: Opinion): \"high\" | \"medium\" | \"low\" {\n  const projected = project(o);\n  if (o.u > 0.5) {\n    return \"low\";\n  }\n  if (projected >= 0.8 && o.u < 0.2) {\n    return \"high\";\n  }\n  if (projected >= 0.6) {\n    return \"medium\";\n  }\n  return \"low\";\n}\n\nexport function cumulativeFusion(left: Opinion, right: Opinion): Opinion {\n  if (left.u === 0 && right.u === 0) {\n    return opinion(\n      (left.b + right.b) / 2,\n      (left.d + right.d) / 2,\n      0,\n      (left.a + right.a) / 2\n    );\n  }\n\n  const k = left.u + right.u - left.u * right.u;\n  if (k === 0) {\n    return vacuous((left.a + right.a) / 2);\n  }\n\n  return opinion(\n    (left.b * right.u + right.b * left.u) / k,\n    (left.d * right.u + right.d * left.u) / k,\n    (left.u * right.u) / k,\n    (left.a + right.a) / 2\n  );\n}\n\nexport function averagingFusion(left: Opinion, right: Opinion): Opinion {\n  if (left.u === 0 && right.u === 0) {\n    return opinion(\n      (left.b + right.b) / 2,\n      (left.d + right.d) / 2,\n      0,\n      (left.a + right.a) / 2\n    );\n  }\n\n  const k = left.u + right.u;\n  if (k === 0) {\n    return vacuous((left.a + right.a) / 2);\n  }\n\n  return opinion(\n    (left.b * right.u + right.b * left.u) / k,\n    (left.d * right.u + right.d * left.u) / k,\n    (2 * left.u * right.u) / k,\n    (left.a + right.a) / 2\n  );\n}\n\nexport function trustDiscount(sourceOpinion: Opinion, trust: number): Opinion {\n  const weight = Math.max(0, Math.min(1, Math.abs(trust)));\n  return opinion(\n    weight * sourceOpinion.b,\n    weight * sourceOpinion.d,\n    1 - weight * (sourceOpinion.b + sourceOpinion.d),\n    sourceOpinion.a\n  );\n}\n\nconst EPSILON = 1e-9;\n\nfunction childBaseRateFallback(\n  ifTrue: Opinion,\n  ifFalse: Opinion,\n  fallbackBaseRate: number | undefined\n): number {\n  if (fallbackBaseRate !== undefined) {\n    return Math.max(0, Math.min(1, fallbackBaseRate));\n  }\n\n  if (Math.abs(ifTrue.a - ifFalse.a) <= EPSILON) {\n    return ifTrue.a;\n  }\n\n  return (ifTrue.a + ifFalse.a) / 2;\n}\n\nfunction computeConditionalDeductionBaseRate(\n  opinionA: Opinion,\n  ifTrue: Opinion,\n  ifFalse: Opinion,\n  fallbackBaseRate: number\n): number {\n  const denominator =\n    1 - opinionA.a * ifTrue.u - (1 - opinionA.a) * ifFalse.u;\n\n  if (ifTrue.u + ifFalse.u < 2 - EPSILON && Math.abs(denominator) > EPSILON) {\n    const baseRate =\n      (opinionA.a * ifTrue.b + (1 - opinionA.a) * ifFalse.b) / denominator;\n    if (baseRate >= -EPSILON && baseRate <= 1 + EPSILON) {\n      return Math.max(0, Math.min(1, baseRate));\n    }\n  }\n\n  return fallbackBaseRate;\n}\n\nfunction safeCorrectionTerm(\n  numerator: number,\n  denominator: number\n): number | undefined {\n  if (Math.abs(denominator) <= EPSILON) {\n    return undefined;\n  }\n\n  const value = numerator / denominator;\n  if (!Number.isFinite(value)) {\n    return undefined;\n  }\n\n  return Math.max(0, value);\n}\n\nexport function conditionalDeduction(\n  opinionA: Opinion,\n  ifTrue: Opinion,\n  ifFalse: Opinion,\n  fallbackBaseRate?: number\n): Opinion {\n  const fallbackChildBaseRate = childBaseRateFallback(\n    ifTrue,\n    ifFalse,\n    fallbackBaseRate\n  );\n  const childBaseRate = computeConditionalDeductionBaseRate(\n    opinionA,\n    ifTrue,\n    ifFalse,\n    fallbackChildBaseRate\n  );\n  const projectedAntecedent = project(opinionA);\n  const projectedAntecedentComplement = 1 - projectedAntecedent;\n  const intermediateBelief =\n    opinionA.b * ifTrue.b +\n    opinionA.d * ifFalse.b +\n    opinionA.u * (ifTrue.b * opinionA.a + ifFalse.b * (1 - opinionA.a));\n  const intermediateDisbelief =\n    opinionA.b * ifTrue.d +\n    opinionA.d * ifFalse.d +\n    opinionA.u * (ifTrue.d * opinionA.a + ifFalse.d * (1 - opinionA.a));\n  const intermediateUncertainty =\n    opinionA.b * ifTrue.u +\n    opinionA.d * ifFalse.u +\n    opinionA.u * (ifTrue.u * opinionA.a + ifFalse.u * (1 - opinionA.a));\n  const projectedVacuousDeduction =\n    ifTrue.b * opinionA.a +\n    ifFalse.b * (1 - opinionA.a) +\n    childBaseRate *\n      (ifTrue.u * opinionA.a + ifFalse.u * (1 - opinionA.a));\n  const projectedConditionalA =\n    ifTrue.b + childBaseRate * (1 - ifTrue.b - ifTrue.d);\n  let correction = 0;\n\n  if (\n    (ifTrue.b > ifFalse.b && ifTrue.d > ifFalse.d) ||\n    (ifTrue.b <= ifFalse.b && ifTrue.d <= ifFalse.d)\n  ) {\n    correction = 0;\n  } else if (ifTrue.b > ifFalse.b && ifTrue.d <= ifFalse.d) {\n    const beliefGap = ifTrue.b - ifFalse.b;\n    const disbeliefGap = ifFalse.d - ifTrue.d;\n\n    if (\n      projectedVacuousDeduction <= projectedConditionalA &&\n      projectedAntecedent <= opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          opinionA.a * opinionA.u * (intermediateBelief - ifTrue.b),\n          projectedAntecedent * childBaseRate\n        ) ?? 0;\n    } else if (\n      projectedVacuousDeduction <= projectedConditionalA &&\n      projectedAntecedent > opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          opinionA.a * opinionA.u * (intermediateDisbelief - ifTrue.d) * beliefGap,\n          projectedAntecedentComplement * childBaseRate * disbeliefGap\n        ) ?? 0;\n    } else if (\n      projectedVacuousDeduction > projectedConditionalA &&\n      projectedAntecedent <= opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          (1 - opinionA.a) *\n            opinionA.u *\n            (intermediateBelief - ifTrue.b) *\n            disbeliefGap,\n          projectedAntecedent * (1 - childBaseRate) * beliefGap\n        ) ?? 0;\n    } else {\n      correction =\n        safeCorrectionTerm(\n          (1 - opinionA.a) * opinionA.u * (intermediateDisbelief - ifTrue.d),\n          projectedAntecedentComplement * (1 - childBaseRate)\n        ) ?? 0;\n    }\n  } else {\n    const beliefGap = ifFalse.b - ifTrue.b;\n    const disbeliefGap = ifTrue.d - ifFalse.d;\n\n    if (\n      projectedVacuousDeduction <= projectedConditionalA &&\n      projectedAntecedent <= opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          (1 - opinionA.a) *\n            opinionA.u *\n            (intermediateDisbelief - ifTrue.d) *\n            beliefGap,\n          projectedAntecedent * childBaseRate * disbeliefGap\n        ) ?? 0;\n    } else if (\n      projectedVacuousDeduction <= projectedConditionalA &&\n      projectedAntecedent > opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          (1 - opinionA.a) * opinionA.u * (intermediateBelief - ifTrue.b),\n          projectedAntecedentComplement * childBaseRate\n        ) ?? 0;\n    } else if (\n      projectedVacuousDeduction > projectedConditionalA &&\n      projectedAntecedent <= opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          opinionA.a * opinionA.u * (intermediateDisbelief - ifTrue.d),\n          projectedAntecedent * (1 - childBaseRate)\n        ) ?? 0;\n    } else {\n      correction =\n        safeCorrectionTerm(\n          opinionA.a *\n            opinionA.u *\n            (intermediateBelief - ifTrue.b) *\n            disbeliefGap,\n          projectedAntecedentComplement * (1 - childBaseRate) * beliefGap\n        ) ?? 0;\n    }\n  }\n\n  return opinion(\n    intermediateBelief - childBaseRate * correction,\n    intermediateDisbelief - (1 - childBaseRate) * correction,\n    intermediateUncertainty + correction,\n    childBaseRate\n  );\n}\n\n/**\n * Abductive inference over a conditional.\n * Given an opinion on Y and conditionals P(Y|X), P(Y|~X), infer an opinion on X.\n */\nexport function conditionalAbduction(\n  opinionY: Opinion,\n  ifTrue: Opinion,\n  ifFalse: Opinion,\n  baseRateX: number\n): Opinion {\n  const priorX = Math.max(0, Math.min(1, baseRateX));\n  const probabilityY = project(opinionY);\n  const probabilityGivenTrue = project(ifTrue);\n  const probabilityGivenFalse = project(ifFalse);\n\n  const posteriorIfYDenominator =\n    probabilityGivenTrue * priorX +\n    probabilityGivenFalse * (1 - priorX);\n  const posteriorIfY =\n    posteriorIfYDenominator === 0\n      ? priorX\n      : (probabilityGivenTrue * priorX) / posteriorIfYDenominator;\n\n  const posteriorIfNotYDenominator =\n    (1 - probabilityGivenTrue) * priorX +\n    (1 - probabilityGivenFalse) * (1 - priorX);\n  const posteriorIfNotY =\n    posteriorIfNotYDenominator === 0\n      ? priorX\n      : ((1 - probabilityGivenTrue) * priorX) / posteriorIfNotYDenominator;\n\n  const projectedX =\n    probabilityY * posteriorIfY + (1 - probabilityY) * posteriorIfNotY;\n  const uncertainty = Math.max(\n    opinionY.u * 0.5,\n    probabilityY * ifTrue.u + (1 - probabilityY) * ifFalse.u\n  );\n\n  return opinion(\n    projectedX * (1 - uncertainty),\n    (1 - projectedX) * (1 - uncertainty),\n    uncertainty,\n    priorX\n  );\n}\n\nexport function negate(o: Opinion): Opinion {\n  return { b: o.d, d: o.b, u: o.u, a: 1 - o.a };\n}\n\nexport function constraintFusion(\n  left: Opinion,\n  right: Opinion,\n  mode: \"pressure\" | \"redistribute\" = \"pressure\"\n): { o1: Opinion; o2: Opinion } {\n  if (mode === \"redistribute\") {\n    const leftProjected = project(left);\n    const rightProjected = project(right);\n    const total = leftProjected + rightProjected;\n\n    if (total <= 1) {\n      return { o1: left, o2: right };\n    }\n\n    const scale = 1 / total;\n    return {\n      o1: opinion(\n        left.b * scale,\n        left.d + left.b * (1 - scale),\n        left.u,\n        left.a\n      ),\n      o2: opinion(\n        right.b * scale,\n        right.d + right.b * (1 - scale),\n        right.u,\n        right.a\n      ),\n    };\n  }\n\n  const pressureLeft = right.b * 0.5;\n  const pressureRight = left.b * 0.5;\n\n  return {\n    o1: opinion(\n      left.b - pressureLeft * 0.3,\n      left.d + pressureLeft * 0.3,\n      left.u,\n      left.a\n    ),\n    o2: opinion(\n      right.b - pressureRight * 0.3,\n      right.d + pressureRight * 0.3,\n      right.u,\n      right.a\n    ),\n  };\n}\n\nexport function evidenceBalance(o: Opinion): number {\n  const total = o.b + o.d;\n  if (total === 0) {\n    return 0;\n  }\n  return (o.b - o.d) / total;\n}\n\nexport function areTensioned(left: Opinion, right: Opinion): boolean {\n  return (\n    project(left) > 0.5 &&\n    project(right) > 0.5 &&\n    (left.d > 0.2 || right.d > 0.2)\n  );\n}\n\nexport function informationGain(o: Opinion): number {\n  if (o.u === 0) {\n    return 0;\n  }\n  if (o.u === 1) {\n    return 1;\n  }\n  return o.u * (1 - Math.abs(o.b - o.d));\n}\n","import type { EdgeMetadata, Opinion, PropagationResult } from \"../../types\";\nimport {\n  constraintFusion,\n  cumulativeFusion,\n  negate,\n  project,\n  trustDiscount,\n} from \"../subjectiveLogic\";\n\nexport function applyNegativeSupport(\n  source: Opinion,\n  target: Opinion,\n  weight: number,\n  metadata: EdgeMetadata = {}\n): PropagationResult {\n  if (metadata.constraint === \"xor\") {\n    const result = constraintFusion(\n      source,\n      target,\n      metadata.normalization ?? \"pressure\"\n    );\n    return {\n      opinion: result.o2,\n      operator: \"constraint_fusion\",\n      rationale: `XOR constraint: source belief at ${project(source).toFixed(\n        2\n      )} pressures target`,\n    };\n  }\n\n  const discounted = trustDiscount(negate(source), Math.abs(weight));\n  return {\n    opinion: cumulativeFusion(target, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Contradicting evidence (weight=${weight.toFixed(\n      2\n    )}) from source at ${project(source).toFixed(2)}`,\n  };\n}\n\nexport function applyNegativeEvidence(\n  source: Opinion,\n  target: Opinion,\n  weight: number\n): PropagationResult {\n  const discounted = trustDiscount(negate(source), Math.abs(weight));\n  return {\n    opinion: cumulativeFusion(target, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Contradicting evidence (weight=${weight.toFixed(2)})`,\n  };\n}\n","import {\n  applyNegativeEvidence,\n  applyNegativeSupport,\n  cumulativeFusion,\n  project,\n  trustDiscount,\n  type EdgeMetadata,\n  type Opinion,\n  type PropagationResult,\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: Opinion,\n  damping: number\n): Opinion {\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: Opinion,\n  targetOpinion: Opinion,\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: Opinion,\n  targetOpinion: Opinion,\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: Opinion,\n  targetOpinion: Opinion,\n  edgeWeight: number,\n  edge: PropagationEdgeRecord\n): PropagationResult {\n  return applyNegativeSupport(\n    sourceOpinion,\n    targetOpinion,\n    edgeWeight,\n    readEdgeMetadata(edge)\n  );\n}\n\nexport function propagateNegativeInform(\n  sourceOpinion: Opinion,\n  targetOpinion: Opinion,\n  edgeWeight: number\n): PropagationResult {\n  return applyNegativeEvidence(sourceOpinion, targetOpinion, edgeWeight);\n}\n\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"]}
+{"version":3,"sources":["../../src/edges/utils.ts","../../src/edges/contradicts.ts"],"names":[],"mappings":";;;AAeO,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;AA8BO,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;;;ACpFO,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","file":"contradicts.js","sourcesContent":["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 function propagateNegativeInform(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  return applyNegativeEvidence(sourceOpinion, targetOpinion, edgeWeight);\n}\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"]}

package/dist/edges/dependsOn.js

@@ -1,174 +1,6 @@
-// ../confidence/src/v1/operations/subjectiveLogic/index.ts
-function opinion(belief, disbelief, uncertainty, baseRate = 0.5) {
-  const b = Math.max(0, Math.min(1, belief));
-  const d = Math.max(0, Math.min(1, disbelief));
-  const u = Math.max(0, Math.min(1, uncertainty));
-  const a = Math.max(0, Math.min(1, baseRate));
-  const sum = b + d + u;
-  if (sum === 0) {
-    return { b: 0, d: 0, u: 1, a };
-  }
-  return {
-    b: b / sum,
-    d: d / sum,
-    u: u / sum,
-    a
-  };
-}
-function project(o) {
-  return o.b + o.a * o.u;
-}
-function trustDiscount(sourceOpinion, trust) {
-  const weight = Math.max(0, Math.min(1, Math.abs(trust)));
-  return opinion(
-    weight * sourceOpinion.b,
-    weight * sourceOpinion.d,
-    1 - weight * (sourceOpinion.b + sourceOpinion.d),
-    sourceOpinion.a
-  );
-}
-var EPSILON = 1e-9;
-function childBaseRateFallback(ifTrue, ifFalse, fallbackBaseRate) {
-  if (fallbackBaseRate !== void 0) {
-    return Math.max(0, Math.min(1, fallbackBaseRate));
-  }
-  if (Math.abs(ifTrue.a - ifFalse.a) <= EPSILON) {
-    return ifTrue.a;
-  }
-  return (ifTrue.a + ifFalse.a) / 2;
-}
-function computeConditionalDeductionBaseRate(opinionA, ifTrue, ifFalse, fallbackBaseRate) {
-  const denominator = 1 - opinionA.a * ifTrue.u - (1 - opinionA.a) * ifFalse.u;
-  if (ifTrue.u + ifFalse.u < 2 - EPSILON && Math.abs(denominator) > EPSILON) {
-    const baseRate = (opinionA.a * ifTrue.b + (1 - opinionA.a) * ifFalse.b) / denominator;
-    if (baseRate >= -EPSILON && baseRate <= 1 + EPSILON) {
-      return Math.max(0, Math.min(1, baseRate));
-    }
-  }
-  return fallbackBaseRate;
-}
-function safeCorrectionTerm(numerator, denominator) {
-  if (Math.abs(denominator) <= EPSILON) {
-    return void 0;
-  }
-  const value = numerator / denominator;
-  if (!Number.isFinite(value)) {
-    return void 0;
-  }
-  return Math.max(0, value);
-}
-function conditionalDeduction(opinionA, ifTrue, ifFalse, fallbackBaseRate) {
-  const fallbackChildBaseRate = childBaseRateFallback(
-    ifTrue,
-    ifFalse,
-    fallbackBaseRate
-  );
-  const childBaseRate = computeConditionalDeductionBaseRate(
-    opinionA,
-    ifTrue,
-    ifFalse,
-    fallbackChildBaseRate
-  );
-  const projectedAntecedent = project(opinionA);
-  const projectedAntecedentComplement = 1 - projectedAntecedent;
-  const intermediateBelief = opinionA.b * ifTrue.b + opinionA.d * ifFalse.b + opinionA.u * (ifTrue.b * opinionA.a + ifFalse.b * (1 - opinionA.a));
-  const intermediateDisbelief = opinionA.b * ifTrue.d + opinionA.d * ifFalse.d + opinionA.u * (ifTrue.d * opinionA.a + ifFalse.d * (1 - opinionA.a));
-  const intermediateUncertainty = opinionA.b * ifTrue.u + opinionA.d * ifFalse.u + opinionA.u * (ifTrue.u * opinionA.a + ifFalse.u * (1 - opinionA.a));
-  const projectedVacuousDeduction = ifTrue.b * opinionA.a + ifFalse.b * (1 - opinionA.a) + childBaseRate * (ifTrue.u * opinionA.a + ifFalse.u * (1 - opinionA.a));
-  const projectedConditionalA = ifTrue.b + childBaseRate * (1 - ifTrue.b - ifTrue.d);
-  let correction = 0;
-  if (ifTrue.b > ifFalse.b && ifTrue.d > ifFalse.d || ifTrue.b <= ifFalse.b && ifTrue.d <= ifFalse.d) {
-    correction = 0;
-  } else if (ifTrue.b > ifFalse.b && ifTrue.d <= ifFalse.d) {
-    const beliefGap = ifTrue.b - ifFalse.b;
-    const disbeliefGap = ifFalse.d - ifTrue.d;
-    if (projectedVacuousDeduction <= projectedConditionalA && projectedAntecedent <= opinionA.a) {
-      correction = safeCorrectionTerm(
-        opinionA.a * opinionA.u * (intermediateBelief - ifTrue.b),
-        projectedAntecedent * childBaseRate
-      ) ?? 0;
-    } else if (projectedVacuousDeduction <= projectedConditionalA && projectedAntecedent > opinionA.a) {
-      correction = safeCorrectionTerm(
-        opinionA.a * opinionA.u * (intermediateDisbelief - ifTrue.d) * beliefGap,
-        projectedAntecedentComplement * childBaseRate * disbeliefGap
-      ) ?? 0;
-    } else if (projectedVacuousDeduction > projectedConditionalA && projectedAntecedent <= opinionA.a) {
-      correction = safeCorrectionTerm(
-        (1 - opinionA.a) * opinionA.u * (intermediateBelief - ifTrue.b) * disbeliefGap,
-        projectedAntecedent * (1 - childBaseRate) * beliefGap
-      ) ?? 0;
-    } else {
-      correction = safeCorrectionTerm(
-        (1 - opinionA.a) * opinionA.u * (intermediateDisbelief - ifTrue.d),
-        projectedAntecedentComplement * (1 - childBaseRate)
-      ) ?? 0;
-    }
-  } else {
-    const beliefGap = ifFalse.b - ifTrue.b;
-    const disbeliefGap = ifTrue.d - ifFalse.d;
-    if (projectedVacuousDeduction <= projectedConditionalA && projectedAntecedent <= opinionA.a) {
-      correction = safeCorrectionTerm(
-        (1 - opinionA.a) * opinionA.u * (intermediateDisbelief - ifTrue.d) * beliefGap,
-        projectedAntecedent * childBaseRate * disbeliefGap
-      ) ?? 0;
-    } else if (projectedVacuousDeduction <= projectedConditionalA && projectedAntecedent > opinionA.a) {
-      correction = safeCorrectionTerm(
-        (1 - opinionA.a) * opinionA.u * (intermediateBelief - ifTrue.b),
-        projectedAntecedentComplement * childBaseRate
-      ) ?? 0;
-    } else if (projectedVacuousDeduction > projectedConditionalA && projectedAntecedent <= opinionA.a) {
-      correction = safeCorrectionTerm(
-        opinionA.a * opinionA.u * (intermediateDisbelief - ifTrue.d),
-        projectedAntecedent * (1 - childBaseRate)
-      ) ?? 0;
-    } else {
-      correction = safeCorrectionTerm(
-        opinionA.a * opinionA.u * (intermediateBelief - ifTrue.b) * disbeliefGap,
-        projectedAntecedentComplement * (1 - childBaseRate) * beliefGap
-      ) ?? 0;
-    }
-  }
-  return opinion(
-    intermediateBelief - childBaseRate * correction,
-    intermediateDisbelief - (1 - childBaseRate) * correction,
-    intermediateUncertainty + correction,
-    childBaseRate
-  );
-}
-
-// ../confidence/src/v1/operations/dynamics/cascade.ts
-function dampedDependencyOpinion(dependencyOpinion, beliefOpinion, mode = "continuous", threshold = 0.3) {
-  const dependencyProjection = project(dependencyOpinion);
-  if (mode === "threshold") {
-    if (dependencyProjection < threshold) {
-      return opinion(
-        0,
-        beliefOpinion.d + beliefOpinion.b * 0.5,
-        0.5,
-        beliefOpinion.a
-      );
-    }
-    return beliefOpinion;
-  }
-  const dampingFactor = Math.pow(dependencyProjection, 0.5);
-  return opinion(
-    beliefOpinion.b * dampingFactor,
-    beliefOpinion.d + beliefOpinion.b * (1 - dampingFactor) * 0.3,
-    beliefOpinion.u + beliefOpinion.b * (1 - dampingFactor) * 0.7,
-    beliefOpinion.a
-  );
-}
-function dampedDependencyCascade(dependencyOpinion, beliefOpinion, mode = "continuous") {
-  return {
-    opinion: dampedDependencyOpinion(dependencyOpinion, beliefOpinion, mode),
-    operator: "dependency_cascade",
-    rationale: `Damped dependency cascade (${mode}): prerequisite at ${project(
-      dependencyOpinion
-    ).toFixed(2)}`
-  };
-}
+import { conditionalDeduction, mkOpinion, project, dampedDependencyCascade, trustDiscount } from '@lucern/confidence';
 
-// src/edges/utils.ts
+// src/edges/dependsOn.ts
 function readEdgeMetadata(edge) {
   return {
     constraint: edge.constraint ?? void 0,
@@ -209,8 +41,18 @@ var dependsOnPropagationSpec = {
     if (metadata.conditionalA && metadata.conditionalNotA) {
       const deducedOpinion = conditionalDeduction(
         dampedSource,
-        metadata.conditionalA,
-        metadata.conditionalNotA,
+        mkOpinion(
+          metadata.conditionalA.b,
+          metadata.conditionalA.d,
+          metadata.conditionalA.u,
+          metadata.conditionalA.a
+        ),
+        mkOpinion(
+          metadata.conditionalNotA.b,
+          metadata.conditionalNotA.d,
+          metadata.conditionalNotA.u,
+          metadata.conditionalNotA.a
+        ),
         targetOpinion.a
       );
       return annotateRationale(

package/dist/edges/dependsOn.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../../confidence/src/v1/operations/subjectiveLogic/index.ts","../../../confidence/src/v1/operations/dynamics/cascade.ts","../../src/edges/utils.ts","../../src/edges/dependsOn.ts"],"names":[],"mappings":";AAEO,SAAS,OAAA,CACd,MAAA,EACA,SAAA,EACA,WAAA,EACA,WAAmB,GAAA,EACV;AACT,EAAA,MAAM,CAAA,GAAI,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,MAAM,CAAC,CAAA;AACzC,EAAA,MAAM,CAAA,GAAI,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,SAAS,CAAC,CAAA;AAC5C,EAAA,MAAM,CAAA,GAAI,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,WAAW,CAAC,CAAA;AAC9C,EAAA,MAAM,CAAA,GAAI,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,QAAQ,CAAC,CAAA;AAC3C,EAAA,MAAM,GAAA,GAAM,IAAI,CAAA,GAAI,CAAA;AAEpB,EAAA,IAAI,QAAQ,CAAA,EAAG;AACb,IAAA,OAAO,EAAE,CAAA,EAAG,CAAA,EAAG,GAAG,CAAA,EAAG,CAAA,EAAG,GAAG,CAAA,EAAE;AAAA,EAC/B;AAEA,EAAA,OAAO;AAAA,IACL,GAAG,CAAA,GAAI,GAAA;AAAA,IACP,GAAG,CAAA,GAAI,GAAA;AAAA,IACP,GAAG,CAAA,GAAI,GAAA;AAAA,IACP;AAAA,GACF;AACF;AAWO,SAAS,QAAQ,CAAA,EAAoB;AAC1C,EAAA,OAAO,CAAA,CAAE,CAAA,GAAI,CAAA,CAAE,CAAA,GAAI,CAAA,CAAE,CAAA;AACvB;AA8DO,SAAS,aAAA,CAAc,eAAwB,KAAA,EAAwB;AAC5E,EAAA,MAAM,MAAA,GAAS,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,IAAA,CAAK,GAAA,CAAI,KAAK,CAAC,CAAC,CAAA;AACvD,EAAA,OAAO,OAAA;AAAA,IACL,SAAS,aAAA,CAAc,CAAA;AAAA,IACvB,SAAS,aAAA,CAAc,CAAA;AAAA,IACvB,CAAA,GAAI,MAAA,IAAU,aAAA,CAAc,CAAA,GAAI,aAAA,CAAc,CAAA,CAAA;AAAA,IAC9C,aAAA,CAAc;AAAA,GAChB;AACF;AAEA,IAAM,OAAA,GAAU,IAAA;AAEhB,SAAS,qBAAA,CACP,MAAA,EACA,OAAA,EACA,gBAAA,EACQ;AACR,EAAA,IAAI,qBAAqB,MAAA,EAAW;AAClC,IAAA,OAAO,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,gBAAgB,CAAC,CAAA;AAAA,EAClD;AAEA,EAAA,IAAI,KAAK,GAAA,CAAI,MAAA,CAAO,IAAI,OAAA,CAAQ,CAAC,KAAK,OAAA,EAAS;AAC7C,IAAA,OAAO,MAAA,CAAO,CAAA;AAAA,EAChB;AAEA,EAAA,OAAA,CAAQ,MAAA,CAAO,CAAA,GAAI,OAAA,CAAQ,CAAA,IAAK,CAAA;AAClC;AAEA,SAAS,mCAAA,CACP,QAAA,EACA,MAAA,EACA,OAAA,EACA,gBAAA,EACQ;AACR,EAAA,MAAM,WAAA,GACJ,IAAI,QAAA,CAAS,CAAA,GAAI,OAAO,CAAA,GAAA,CAAK,CAAA,GAAI,QAAA,CAAS,CAAA,IAAK,OAAA,CAAQ,CAAA;AAEzD,EAAA,IAAI,MAAA,CAAO,CAAA,GAAI,OAAA,CAAQ,CAAA,GAAI,CAAA,GAAI,WAAW,IAAA,CAAK,GAAA,CAAI,WAAW,CAAA,GAAI,OAAA,EAAS;AACzE,IAAA,MAAM,QAAA,GAAA,CACH,SAAS,CAAA,GAAI,MAAA,CAAO,KAAK,CAAA,GAAI,QAAA,CAAS,CAAA,IAAK,OAAA,CAAQ,CAAA,IAAK,WAAA;AAC3D,IAAA,IAAI,QAAA,IAAY,CAAC,OAAA,IAAW,QAAA,IAAY,IAAI,OAAA,EAAS;AACnD,MAAA,OAAO,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,QAAQ,CAAC,CAAA;AAAA,IAC1C;AAAA,EACF;AAEA,EAAA,OAAO,gBAAA;AACT;AAEA,SAAS,kBAAA,CACP,WACA,WAAA,EACoB;AACpB,EAAA,IAAI,IAAA,CAAK,GAAA,CAAI,WAAW,CAAA,IAAK,OAAA,EAAS;AACpC,IAAA,OAAO,MAAA;AAAA,EACT;AAEA,EAAA,MAAM,QAAQ,SAAA,GAAY,WAAA;AAC1B,EAAA,IAAI,CAAC,MAAA,CAAO,QAAA,CAAS,KAAK,CAAA,EAAG;AAC3B,IAAA,OAAO,MAAA;AAAA,EACT;AAEA,EAAA,OAAO,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,KAAK,CAAA;AAC1B;AAEO,SAAS,oBAAA,CACd,QAAA,EACA,MAAA,EACA,OAAA,EACA,gBAAA,EACS;AACT,EAAA,MAAM,qBAAA,GAAwB,qBAAA;AAAA,IAC5B,MAAA;AAAA,IACA,OAAA;AAAA,IACA;AAAA,GACF;AACA,EAAA,MAAM,aAAA,GAAgB,mCAAA;AAAA,IACpB,QAAA;AAAA,IACA,MAAA;AAAA,IACA,OAAA;AAAA,IACA;AAAA,GACF;AACA,EAAA,MAAM,mBAAA,GAAsB,QAAQ,QAAQ,CAAA;AAC5C,EAAA,MAAM,gCAAgC,CAAA,GAAI,mBAAA;AAC1C,EAAA,MAAM,qBACJ,QAAA,CAAS,CAAA,GAAI,OAAO,CAAA,GACpB,QAAA,CAAS,IAAI,OAAA,CAAQ,CAAA,GACrB,QAAA,CAAS,CAAA,IAAK,OAAO,CAAA,GAAI,QAAA,CAAS,IAAI,OAAA,CAAQ,CAAA,IAAK,IAAI,QAAA,CAAS,CAAA,CAAA,CAAA;AAClE,EAAA,MAAM,wBACJ,QAAA,CAAS,CAAA,GAAI,OAAO,CAAA,GACpB,QAAA,CAAS,IAAI,OAAA,CAAQ,CAAA,GACrB,QAAA,CAAS,CAAA,IAAK,OAAO,CAAA,GAAI,QAAA,CAAS,IAAI,OAAA,CAAQ,CAAA,IAAK,IAAI,QAAA,CAAS,CAAA,CAAA,CAAA;AAClE,EAAA,MAAM,0BACJ,QAAA,CAAS,CAAA,GAAI,OAAO,CAAA,GACpB,QAAA,CAAS,IAAI,OAAA,CAAQ,CAAA,GACrB,QAAA,CAAS,CAAA,IAAK,OAAO,CAAA,GAAI,QAAA,CAAS,IAAI,OAAA,CAAQ,CAAA,IAAK,IAAI,QAAA,CAAS,CAAA,CAAA,CAAA;AAClE,EAAA,MAAM,4BACJ,MAAA,CAAO,CAAA,GAAI,SAAS,CAAA,GACpB,OAAA,CAAQ,KAAK,CAAA,GAAI,QAAA,CAAS,CAAA,CAAA,GAC1B,aAAA,IACG,OAAO,CAAA,GAAI,QAAA,CAAS,IAAI,OAAA,CAAQ,CAAA,IAAK,IAAI,QAAA,CAAS,CAAA,CAAA,CAAA;AACvD,EAAA,MAAM,wBACJ,MAAA,CAAO,CAAA,GAAI,iBAAiB,CAAA,GAAI,MAAA,CAAO,IAAI,MAAA,CAAO,CAAA,CAAA;AACpD,EAAA,IAAI,UAAA,GAAa,CAAA;AAEjB,EAAA,IACG,MAAA,CAAO,CAAA,GAAI,OAAA,CAAQ,CAAA,IAAK,OAAO,CAAA,GAAI,OAAA,CAAQ,CAAA,IAC3C,MAAA,CAAO,KAAK,OAAA,CAAQ,CAAA,IAAK,MAAA,CAAO,CAAA,IAAK,QAAQ,CAAA,EAC9C;AACA,IAAA,UAAA,GAAa,CAAA;AAAA,EACf,CAAA,MAAA,IAAW,OAAO,CAAA,GAAI,OAAA,CAAQ,KAAK,MAAA,CAAO,CAAA,IAAK,QAAQ,CAAA,EAAG;AACxD,IAAA,MAAM,SAAA,GAAY,MAAA,CAAO,CAAA,GAAI,OAAA,CAAQ,CAAA;AACrC,IAAA,MAAM,YAAA,GAAe,OAAA,CAAQ,CAAA,GAAI,MAAA,CAAO,CAAA;AAExC,IAAA,IACE,yBAAA,IAA6B,qBAAA,IAC7B,mBAAA,IAAuB,QAAA,CAAS,CAAA,EAChC;AACA,MAAA,UAAA,GACE,kBAAA;AAAA,QACE,QAAA,CAAS,CAAA,GAAI,QAAA,CAAS,CAAA,IAAK,qBAAqB,MAAA,CAAO,CAAA,CAAA;AAAA,QACvD,mBAAA,GAAsB;AAAA,OACxB,IAAK,CAAA;AAAA,IACT,CAAA,MAAA,IACE,yBAAA,IAA6B,qBAAA,IAC7B,mBAAA,GAAsB,SAAS,CAAA,EAC/B;AACA,MAAA,UAAA,GACE,kBAAA;AAAA,QACE,SAAS,CAAA,GAAI,QAAA,CAAS,CAAA,IAAK,qBAAA,GAAwB,OAAO,CAAA,CAAA,GAAK,SAAA;AAAA,QAC/D,gCAAgC,aAAA,GAAgB;AAAA,OAClD,IAAK,CAAA;AAAA,IACT,CAAA,MAAA,IACE,yBAAA,GAA4B,qBAAA,IAC5B,mBAAA,IAAuB,SAAS,CAAA,EAChC;AACA,MAAA,UAAA,GACE,kBAAA;AAAA,QAAA,CACG,IAAI,QAAA,CAAS,CAAA,IACZ,SAAS,CAAA,IACR,kBAAA,GAAqB,OAAO,CAAA,CAAA,GAC7B,YAAA;AAAA,QACF,mBAAA,IAAuB,IAAI,aAAA,CAAA,GAAiB;AAAA,OAC9C,IAAK,CAAA;AAAA,IACT,CAAA,MAAO;AACL,MAAA,UAAA,GACE,kBAAA;AAAA,QAAA,CACG,IAAI,QAAA,CAAS,CAAA,IAAK,QAAA,CAAS,CAAA,IAAK,wBAAwB,MAAA,CAAO,CAAA,CAAA;AAAA,QAChE,iCAAiC,CAAA,GAAI,aAAA;AAAA,OACvC,IAAK,CAAA;AAAA,IACT;AAAA,EACF,CAAA,MAAO;AACL,IAAA,MAAM,SAAA,GAAY,OAAA,CAAQ,CAAA,GAAI,MAAA,CAAO,CAAA;AACrC,IAAA,MAAM,YAAA,GAAe,MAAA,CAAO,CAAA,GAAI,OAAA,CAAQ,CAAA;AAExC,IAAA,IACE,yBAAA,IAA6B,qBAAA,IAC7B,mBAAA,IAAuB,QAAA,CAAS,CAAA,EAChC;AACA,MAAA,UAAA,GACE,kBAAA;AAAA,QAAA,CACG,IAAI,QAAA,CAAS,CAAA,IACZ,SAAS,CAAA,IACR,qBAAA,GAAwB,OAAO,CAAA,CAAA,GAChC,SAAA;AAAA,QACF,sBAAsB,aAAA,GAAgB;AAAA,OACxC,IAAK,CAAA;AAAA,IACT,CAAA,MAAA,IACE,yBAAA,IAA6B,qBAAA,IAC7B,mBAAA,GAAsB,SAAS,CAAA,EAC/B;AACA,MAAA,UAAA,GACE,kBAAA;AAAA,QAAA,CACG,IAAI,QAAA,CAAS,CAAA,IAAK,QAAA,CAAS,CAAA,IAAK,qBAAqB,MAAA,CAAO,CAAA,CAAA;AAAA,QAC7D,6BAAA,GAAgC;AAAA,OAClC,IAAK,CAAA;AAAA,IACT,CAAA,MAAA,IACE,yBAAA,GAA4B,qBAAA,IAC5B,mBAAA,IAAuB,SAAS,CAAA,EAChC;AACA,MAAA,UAAA,GACE,kBAAA;AAAA,QACE,QAAA,CAAS,CAAA,GAAI,QAAA,CAAS,CAAA,IAAK,wBAAwB,MAAA,CAAO,CAAA,CAAA;AAAA,QAC1D,uBAAuB,CAAA,GAAI,aAAA;AAAA,OAC7B,IAAK,CAAA;AAAA,IACT,CAAA,MAAO;AACL,MAAA,UAAA,GACE,kBAAA;AAAA,QACE,SAAS,CAAA,GACP,QAAA,CAAS,CAAA,IACR,kBAAA,GAAqB,OAAO,CAAA,CAAA,GAC7B,YAAA;AAAA,QACF,6BAAA,IAAiC,IAAI,aAAA,CAAA,GAAiB;AAAA,OACxD,IAAK,CAAA;AAAA,IACT;AAAA,EACF;AAEA,EAAA,OAAO,OAAA;AAAA,IACL,qBAAqB,aAAA,GAAgB,UAAA;AAAA,IACrC,qBAAA,GAAA,CAAyB,IAAI,aAAA,IAAiB,UAAA;AAAA,IAC9C,uBAAA,GAA0B,UAAA;AAAA,IAC1B;AAAA,GACF;AACF;;;AC1SO,SAAS,wBACd,iBAAA,EACA,aAAA,EACA,IAAA,GAAwB,YAAA,EACxB,YAAoB,GAAA,EACX;AACT,EAAA,MAAM,oBAAA,GAAuB,QAAQ,iBAAiB,CAAA;AAEtD,EAAA,IAAI,SAAS,WAAA,EAAa;AACxB,IAAA,IAAI,uBAAuB,SAAA,EAAW;AACpC,MAAA,OAAO,OAAA;AAAA,QACL,CAAA;AAAA,QACA,aAAA,CAAc,CAAA,GAAI,aAAA,CAAc,CAAA,GAAI,GAAA;AAAA,QACpC,GAAA;AAAA,QACA,aAAA,CAAc;AAAA,OAChB;AAAA,IACF;AACA,IAAA,OAAO,aAAA;AAAA,EACT;AAEA,EAAA,MAAM,aAAA,GAAgB,IAAA,CAAK,GAAA,CAAI,oBAAA,EAAsB,GAAG,CAAA;AACxD,EAAA,OAAO,OAAA;AAAA,IACL,cAAc,CAAA,GAAI,aAAA;AAAA,IAClB,aAAA,CAAc,CAAA,GAAI,aAAA,CAAc,CAAA,IAAK,IAAI,aAAA,CAAA,GAAiB,GAAA;AAAA,IAC1D,aAAA,CAAc,CAAA,GAAI,aAAA,CAAc,CAAA,IAAK,IAAI,aAAA,CAAA,GAAiB,GAAA;AAAA,IAC1D,aAAA,CAAc;AAAA,GAChB;AACF;AAEO,SAAS,uBAAA,CACd,iBAAA,EACA,aAAA,EACA,IAAA,GAAwB,YAAA,EACL;AACnB,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,uBAAA,CAAwB,iBAAA,EAAmB,aAAA,EAAe,IAAI,CAAA;AAAA,IACvE,QAAA,EAAU,oBAAA;AAAA,IACV,SAAA,EAAW,CAAA,2BAAA,EAA8B,IAAI,CAAA,mBAAA,EAAsB,OAAA;AAAA,MACjE;AAAA,KACF,CAAE,OAAA,CAAQ,CAAC,CAAC,CAAA;AAAA,GACd;AACF;;;AC7BO,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,EACS;AACT,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;;;ACzCO,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,QAAA,CAAS,YAAA;AAAA,QACT,QAAA,CAAS,eAAA;AAAA,QACT,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,EAA0C,OAAA;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","file":"dependsOn.js","sourcesContent":["import type { Opinion } from \"../../types\";\n\nexport function opinion(\n  belief: number,\n  disbelief: number,\n  uncertainty: number,\n  baseRate: number = 0.5\n): Opinion {\n  const b = Math.max(0, Math.min(1, belief));\n  const d = Math.max(0, Math.min(1, disbelief));\n  const u = Math.max(0, Math.min(1, uncertainty));\n  const a = Math.max(0, Math.min(1, baseRate));\n  const sum = b + d + u;\n\n  if (sum === 0) {\n    return { b: 0, d: 0, u: 1, a };\n  }\n\n  return {\n    b: b / sum,\n    d: d / sum,\n    u: u / sum,\n    a,\n  };\n}\n\nexport function vacuous(baseRate: number = 0.5): Opinion {\n  return { b: 0, d: 0, u: 1, a: baseRate };\n}\n\nexport function dogmatic(probability: number, baseRate: number = 0.5): Opinion {\n  const p = Math.max(0, Math.min(1, probability));\n  return { b: p, d: 1 - p, u: 0, a: baseRate };\n}\n\nexport function project(o: Opinion): number {\n  return o.b + o.a * o.u;\n}\n\nexport function confidenceLevel(o: Opinion): \"high\" | \"medium\" | \"low\" {\n  const projected = project(o);\n  if (o.u > 0.5) {\n    return \"low\";\n  }\n  if (projected >= 0.8 && o.u < 0.2) {\n    return \"high\";\n  }\n  if (projected >= 0.6) {\n    return \"medium\";\n  }\n  return \"low\";\n}\n\nexport function cumulativeFusion(left: Opinion, right: Opinion): Opinion {\n  if (left.u === 0 && right.u === 0) {\n    return opinion(\n      (left.b + right.b) / 2,\n      (left.d + right.d) / 2,\n      0,\n      (left.a + right.a) / 2\n    );\n  }\n\n  const k = left.u + right.u - left.u * right.u;\n  if (k === 0) {\n    return vacuous((left.a + right.a) / 2);\n  }\n\n  return opinion(\n    (left.b * right.u + right.b * left.u) / k,\n    (left.d * right.u + right.d * left.u) / k,\n    (left.u * right.u) / k,\n    (left.a + right.a) / 2\n  );\n}\n\nexport function averagingFusion(left: Opinion, right: Opinion): Opinion {\n  if (left.u === 0 && right.u === 0) {\n    return opinion(\n      (left.b + right.b) / 2,\n      (left.d + right.d) / 2,\n      0,\n      (left.a + right.a) / 2\n    );\n  }\n\n  const k = left.u + right.u;\n  if (k === 0) {\n    return vacuous((left.a + right.a) / 2);\n  }\n\n  return opinion(\n    (left.b * right.u + right.b * left.u) / k,\n    (left.d * right.u + right.d * left.u) / k,\n    (2 * left.u * right.u) / k,\n    (left.a + right.a) / 2\n  );\n}\n\nexport function trustDiscount(sourceOpinion: Opinion, trust: number): Opinion {\n  const weight = Math.max(0, Math.min(1, Math.abs(trust)));\n  return opinion(\n    weight * sourceOpinion.b,\n    weight * sourceOpinion.d,\n    1 - weight * (sourceOpinion.b + sourceOpinion.d),\n    sourceOpinion.a\n  );\n}\n\nconst EPSILON = 1e-9;\n\nfunction childBaseRateFallback(\n  ifTrue: Opinion,\n  ifFalse: Opinion,\n  fallbackBaseRate: number | undefined\n): number {\n  if (fallbackBaseRate !== undefined) {\n    return Math.max(0, Math.min(1, fallbackBaseRate));\n  }\n\n  if (Math.abs(ifTrue.a - ifFalse.a) <= EPSILON) {\n    return ifTrue.a;\n  }\n\n  return (ifTrue.a + ifFalse.a) / 2;\n}\n\nfunction computeConditionalDeductionBaseRate(\n  opinionA: Opinion,\n  ifTrue: Opinion,\n  ifFalse: Opinion,\n  fallbackBaseRate: number\n): number {\n  const denominator =\n    1 - opinionA.a * ifTrue.u - (1 - opinionA.a) * ifFalse.u;\n\n  if (ifTrue.u + ifFalse.u < 2 - EPSILON && Math.abs(denominator) > EPSILON) {\n    const baseRate =\n      (opinionA.a * ifTrue.b + (1 - opinionA.a) * ifFalse.b) / denominator;\n    if (baseRate >= -EPSILON && baseRate <= 1 + EPSILON) {\n      return Math.max(0, Math.min(1, baseRate));\n    }\n  }\n\n  return fallbackBaseRate;\n}\n\nfunction safeCorrectionTerm(\n  numerator: number,\n  denominator: number\n): number | undefined {\n  if (Math.abs(denominator) <= EPSILON) {\n    return undefined;\n  }\n\n  const value = numerator / denominator;\n  if (!Number.isFinite(value)) {\n    return undefined;\n  }\n\n  return Math.max(0, value);\n}\n\nexport function conditionalDeduction(\n  opinionA: Opinion,\n  ifTrue: Opinion,\n  ifFalse: Opinion,\n  fallbackBaseRate?: number\n): Opinion {\n  const fallbackChildBaseRate = childBaseRateFallback(\n    ifTrue,\n    ifFalse,\n    fallbackBaseRate\n  );\n  const childBaseRate = computeConditionalDeductionBaseRate(\n    opinionA,\n    ifTrue,\n    ifFalse,\n    fallbackChildBaseRate\n  );\n  const projectedAntecedent = project(opinionA);\n  const projectedAntecedentComplement = 1 - projectedAntecedent;\n  const intermediateBelief =\n    opinionA.b * ifTrue.b +\n    opinionA.d * ifFalse.b +\n    opinionA.u * (ifTrue.b * opinionA.a + ifFalse.b * (1 - opinionA.a));\n  const intermediateDisbelief =\n    opinionA.b * ifTrue.d +\n    opinionA.d * ifFalse.d +\n    opinionA.u * (ifTrue.d * opinionA.a + ifFalse.d * (1 - opinionA.a));\n  const intermediateUncertainty =\n    opinionA.b * ifTrue.u +\n    opinionA.d * ifFalse.u +\n    opinionA.u * (ifTrue.u * opinionA.a + ifFalse.u * (1 - opinionA.a));\n  const projectedVacuousDeduction =\n    ifTrue.b * opinionA.a +\n    ifFalse.b * (1 - opinionA.a) +\n    childBaseRate *\n      (ifTrue.u * opinionA.a + ifFalse.u * (1 - opinionA.a));\n  const projectedConditionalA =\n    ifTrue.b + childBaseRate * (1 - ifTrue.b - ifTrue.d);\n  let correction = 0;\n\n  if (\n    (ifTrue.b > ifFalse.b && ifTrue.d > ifFalse.d) ||\n    (ifTrue.b <= ifFalse.b && ifTrue.d <= ifFalse.d)\n  ) {\n    correction = 0;\n  } else if (ifTrue.b > ifFalse.b && ifTrue.d <= ifFalse.d) {\n    const beliefGap = ifTrue.b - ifFalse.b;\n    const disbeliefGap = ifFalse.d - ifTrue.d;\n\n    if (\n      projectedVacuousDeduction <= projectedConditionalA &&\n      projectedAntecedent <= opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          opinionA.a * opinionA.u * (intermediateBelief - ifTrue.b),\n          projectedAntecedent * childBaseRate\n        ) ?? 0;\n    } else if (\n      projectedVacuousDeduction <= projectedConditionalA &&\n      projectedAntecedent > opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          opinionA.a * opinionA.u * (intermediateDisbelief - ifTrue.d) * beliefGap,\n          projectedAntecedentComplement * childBaseRate * disbeliefGap\n        ) ?? 0;\n    } else if (\n      projectedVacuousDeduction > projectedConditionalA &&\n      projectedAntecedent <= opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          (1 - opinionA.a) *\n            opinionA.u *\n            (intermediateBelief - ifTrue.b) *\n            disbeliefGap,\n          projectedAntecedent * (1 - childBaseRate) * beliefGap\n        ) ?? 0;\n    } else {\n      correction =\n        safeCorrectionTerm(\n          (1 - opinionA.a) * opinionA.u * (intermediateDisbelief - ifTrue.d),\n          projectedAntecedentComplement * (1 - childBaseRate)\n        ) ?? 0;\n    }\n  } else {\n    const beliefGap = ifFalse.b - ifTrue.b;\n    const disbeliefGap = ifTrue.d - ifFalse.d;\n\n    if (\n      projectedVacuousDeduction <= projectedConditionalA &&\n      projectedAntecedent <= opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          (1 - opinionA.a) *\n            opinionA.u *\n            (intermediateDisbelief - ifTrue.d) *\n            beliefGap,\n          projectedAntecedent * childBaseRate * disbeliefGap\n        ) ?? 0;\n    } else if (\n      projectedVacuousDeduction <= projectedConditionalA &&\n      projectedAntecedent > opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          (1 - opinionA.a) * opinionA.u * (intermediateBelief - ifTrue.b),\n          projectedAntecedentComplement * childBaseRate\n        ) ?? 0;\n    } else if (\n      projectedVacuousDeduction > projectedConditionalA &&\n      projectedAntecedent <= opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          opinionA.a * opinionA.u * (intermediateDisbelief - ifTrue.d),\n          projectedAntecedent * (1 - childBaseRate)\n        ) ?? 0;\n    } else {\n      correction =\n        safeCorrectionTerm(\n          opinionA.a *\n            opinionA.u *\n            (intermediateBelief - ifTrue.b) *\n            disbeliefGap,\n          projectedAntecedentComplement * (1 - childBaseRate) * beliefGap\n        ) ?? 0;\n    }\n  }\n\n  return opinion(\n    intermediateBelief - childBaseRate * correction,\n    intermediateDisbelief - (1 - childBaseRate) * correction,\n    intermediateUncertainty + correction,\n    childBaseRate\n  );\n}\n\n/**\n * Abductive inference over a conditional.\n * Given an opinion on Y and conditionals P(Y|X), P(Y|~X), infer an opinion on X.\n */\nexport function conditionalAbduction(\n  opinionY: Opinion,\n  ifTrue: Opinion,\n  ifFalse: Opinion,\n  baseRateX: number\n): Opinion {\n  const priorX = Math.max(0, Math.min(1, baseRateX));\n  const probabilityY = project(opinionY);\n  const probabilityGivenTrue = project(ifTrue);\n  const probabilityGivenFalse = project(ifFalse);\n\n  const posteriorIfYDenominator =\n    probabilityGivenTrue * priorX +\n    probabilityGivenFalse * (1 - priorX);\n  const posteriorIfY =\n    posteriorIfYDenominator === 0\n      ? priorX\n      : (probabilityGivenTrue * priorX) / posteriorIfYDenominator;\n\n  const posteriorIfNotYDenominator =\n    (1 - probabilityGivenTrue) * priorX +\n    (1 - probabilityGivenFalse) * (1 - priorX);\n  const posteriorIfNotY =\n    posteriorIfNotYDenominator === 0\n      ? priorX\n      : ((1 - probabilityGivenTrue) * priorX) / posteriorIfNotYDenominator;\n\n  const projectedX =\n    probabilityY * posteriorIfY + (1 - probabilityY) * posteriorIfNotY;\n  const uncertainty = Math.max(\n    opinionY.u * 0.5,\n    probabilityY * ifTrue.u + (1 - probabilityY) * ifFalse.u\n  );\n\n  return opinion(\n    projectedX * (1 - uncertainty),\n    (1 - projectedX) * (1 - uncertainty),\n    uncertainty,\n    priorX\n  );\n}\n\nexport function negate(o: Opinion): Opinion {\n  return { b: o.d, d: o.b, u: o.u, a: 1 - o.a };\n}\n\nexport function constraintFusion(\n  left: Opinion,\n  right: Opinion,\n  mode: \"pressure\" | \"redistribute\" = \"pressure\"\n): { o1: Opinion; o2: Opinion } {\n  if (mode === \"redistribute\") {\n    const leftProjected = project(left);\n    const rightProjected = project(right);\n    const total = leftProjected + rightProjected;\n\n    if (total <= 1) {\n      return { o1: left, o2: right };\n    }\n\n    const scale = 1 / total;\n    return {\n      o1: opinion(\n        left.b * scale,\n        left.d + left.b * (1 - scale),\n        left.u,\n        left.a\n      ),\n      o2: opinion(\n        right.b * scale,\n        right.d + right.b * (1 - scale),\n        right.u,\n        right.a\n      ),\n    };\n  }\n\n  const pressureLeft = right.b * 0.5;\n  const pressureRight = left.b * 0.5;\n\n  return {\n    o1: opinion(\n      left.b - pressureLeft * 0.3,\n      left.d + pressureLeft * 0.3,\n      left.u,\n      left.a\n    ),\n    o2: opinion(\n      right.b - pressureRight * 0.3,\n      right.d + pressureRight * 0.3,\n      right.u,\n      right.a\n    ),\n  };\n}\n\nexport function evidenceBalance(o: Opinion): number {\n  const total = o.b + o.d;\n  if (total === 0) {\n    return 0;\n  }\n  return (o.b - o.d) / total;\n}\n\nexport function areTensioned(left: Opinion, right: Opinion): boolean {\n  return (\n    project(left) > 0.5 &&\n    project(right) > 0.5 &&\n    (left.d > 0.2 || right.d > 0.2)\n  );\n}\n\nexport function informationGain(o: Opinion): number {\n  if (o.u === 0) {\n    return 0;\n  }\n  if (o.u === 1) {\n    return 1;\n  }\n  return o.u * (1 - Math.abs(o.b - o.d));\n}\n","import type { Opinion, PropagationMode, PropagationResult } from \"../../types\";\nimport { opinion, project } from \"../subjectiveLogic\";\n\nexport function dampedDependencyOpinion(\n  dependencyOpinion: Opinion,\n  beliefOpinion: Opinion,\n  mode: PropagationMode = \"continuous\",\n  threshold: number = 0.3\n): Opinion {\n  const dependencyProjection = project(dependencyOpinion);\n\n  if (mode === \"threshold\") {\n    if (dependencyProjection < threshold) {\n      return opinion(\n        0,\n        beliefOpinion.d + beliefOpinion.b * 0.5,\n        0.5,\n        beliefOpinion.a\n      );\n    }\n    return beliefOpinion;\n  }\n\n  const dampingFactor = Math.pow(dependencyProjection, 0.5);\n  return opinion(\n    beliefOpinion.b * dampingFactor,\n    beliefOpinion.d + beliefOpinion.b * (1 - dampingFactor) * 0.3,\n    beliefOpinion.u + beliefOpinion.b * (1 - dampingFactor) * 0.7,\n    beliefOpinion.a\n  );\n}\n\nexport function dampedDependencyCascade(\n  dependencyOpinion: Opinion,\n  beliefOpinion: Opinion,\n  mode: PropagationMode = \"continuous\"\n): PropagationResult {\n  return {\n    opinion: dampedDependencyOpinion(dependencyOpinion, beliefOpinion, mode),\n    operator: \"dependency_cascade\",\n    rationale: `Damped dependency cascade (${mode}): prerequisite at ${project(\n      dependencyOpinion\n    ).toFixed(2)}`,\n  };\n}\n","import {\n  applyNegativeEvidence,\n  applyNegativeSupport,\n  cumulativeFusion,\n  project,\n  trustDiscount,\n  type EdgeMetadata,\n  type Opinion,\n  type PropagationResult,\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: Opinion,\n  damping: number\n): Opinion {\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: Opinion,\n  targetOpinion: Opinion,\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: Opinion,\n  targetOpinion: Opinion,\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: Opinion,\n  targetOpinion: Opinion,\n  edgeWeight: number,\n  edge: PropagationEdgeRecord\n): PropagationResult {\n  return applyNegativeSupport(\n    sourceOpinion,\n    targetOpinion,\n    edgeWeight,\n    readEdgeMetadata(edge)\n  );\n}\n\nexport function propagateNegativeInform(\n  sourceOpinion: Opinion,\n  targetOpinion: Opinion,\n  edgeWeight: number\n): PropagationResult {\n  return applyNegativeEvidence(sourceOpinion, targetOpinion, edgeWeight);\n}\n\n","import {\n  conditionalDeduction,\n  dampedDependencyCascade,\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        metadata.conditionalA,\n        metadata.conditionalNotA,\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\n"]}
+{"version":3,"sources":["../../src/edges/utils.ts","../../src/edges/dependsOn.ts"],"names":["project"],"mappings":";;;AAeO,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;;;ACxCO,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","file":"dependsOn.js","sourcesContent":["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 function propagateNegativeInform(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  return applyNegativeEvidence(sourceOpinion, targetOpinion, edgeWeight);\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"]}

package/dist/edges/elaborates.js

@@ -1,52 +1,4 @@
-// ../confidence/src/v1/operations/subjectiveLogic/index.ts
-function opinion(belief, disbelief, uncertainty, baseRate = 0.5) {
-  const b = Math.max(0, Math.min(1, belief));
-  const d = Math.max(0, Math.min(1, disbelief));
-  const u = Math.max(0, Math.min(1, uncertainty));
-  const a = Math.max(0, Math.min(1, baseRate));
-  const sum = b + d + u;
-  if (sum === 0) {
-    return { b: 0, d: 0, u: 1, a };
-  }
-  return {
-    b: b / sum,
-    d: d / sum,
-    u: u / sum,
-    a
-  };
-}
-function vacuous(baseRate = 0.5) {
-  return { b: 0, d: 0, u: 1, a: baseRate };
-}
-function cumulativeFusion(left, right) {
-  if (left.u === 0 && right.u === 0) {
-    return opinion(
-      (left.b + right.b) / 2,
-      (left.d + right.d) / 2,
-      0,
-      (left.a + right.a) / 2
-    );
-  }
-  const k = left.u + right.u - left.u * right.u;
-  if (k === 0) {
-    return vacuous((left.a + right.a) / 2);
-  }
-  return opinion(
-    (left.b * right.u + right.b * left.u) / k,
-    (left.d * right.u + right.d * left.u) / k,
-    left.u * right.u / k,
-    (left.a + right.a) / 2
-  );
-}
-function trustDiscount(sourceOpinion, trust) {
-  const weight = Math.max(0, Math.min(1, Math.abs(trust)));
-  return opinion(
-    weight * sourceOpinion.b,
-    weight * sourceOpinion.d,
-    1 - weight * (sourceOpinion.b + sourceOpinion.d),
-    sourceOpinion.a
-  );
-}
+import { trustDiscount, cumulativeFusion } from '@lucern/confidence';
 
 // src/edges/utils.ts
 function applyPerHopDamping(sourceOpinion, damping) {

package/dist/edges/elaborates.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../../confidence/src/v1/operations/subjectiveLogic/index.ts","../../src/edges/utils.ts","../../src/edges/elaborates.ts"],"names":[],"mappings":";AAEO,SAAS,OAAA,CACd,MAAA,EACA,SAAA,EACA,WAAA,EACA,WAAmB,GAAA,EACV;AACT,EAAA,MAAM,CAAA,GAAI,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,MAAM,CAAC,CAAA;AACzC,EAAA,MAAM,CAAA,GAAI,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,SAAS,CAAC,CAAA;AAC5C,EAAA,MAAM,CAAA,GAAI,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,WAAW,CAAC,CAAA;AAC9C,EAAA,MAAM,CAAA,GAAI,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,QAAQ,CAAC,CAAA;AAC3C,EAAA,MAAM,GAAA,GAAM,IAAI,CAAA,GAAI,CAAA;AAEpB,EAAA,IAAI,QAAQ,CAAA,EAAG;AACb,IAAA,OAAO,EAAE,CAAA,EAAG,CAAA,EAAG,GAAG,CAAA,EAAG,CAAA,EAAG,GAAG,CAAA,EAAE;AAAA,EAC/B;AAEA,EAAA,OAAO;AAAA,IACL,GAAG,CAAA,GAAI,GAAA;AAAA,IACP,GAAG,CAAA,GAAI,GAAA;AAAA,IACP,GAAG,CAAA,GAAI,GAAA;AAAA,IACP;AAAA,GACF;AACF;AAEO,SAAS,OAAA,CAAQ,WAAmB,GAAA,EAAc;AACvD,EAAA,OAAO,EAAE,GAAG,CAAA,EAAG,CAAA,EAAG,GAAG,CAAA,EAAG,CAAA,EAAG,GAAG,QAAA,EAAS;AACzC;AAyBO,SAAS,gBAAA,CAAiB,MAAe,KAAA,EAAyB;AACvE,EAAA,IAAI,IAAA,CAAK,CAAA,KAAM,CAAA,IAAK,KAAA,CAAM,MAAM,CAAA,EAAG;AACjC,IAAA,OAAO,OAAA;AAAA,MAAA,CACJ,IAAA,CAAK,CAAA,GAAI,KAAA,CAAM,CAAA,IAAK,CAAA;AAAA,MAAA,CACpB,IAAA,CAAK,CAAA,GAAI,KAAA,CAAM,CAAA,IAAK,CAAA;AAAA,MACrB,CAAA;AAAA,MAAA,CACC,IAAA,CAAK,CAAA,GAAI,KAAA,CAAM,CAAA,IAAK;AAAA,KACvB;AAAA,EACF;AAEA,EAAA,MAAM,IAAI,IAAA,CAAK,CAAA,GAAI,MAAM,CAAA,GAAI,IAAA,CAAK,IAAI,KAAA,CAAM,CAAA;AAC5C,EAAA,IAAI,MAAM,CAAA,EAAG;AACX,IAAA,OAAO,OAAA,CAAA,CAAS,IAAA,CAAK,CAAA,GAAI,KAAA,CAAM,KAAK,CAAC,CAAA;AAAA,EACvC;AAEA,EAAA,OAAO,OAAA;AAAA,IAAA,CACJ,KAAK,CAAA,GAAI,KAAA,CAAM,IAAI,KAAA,CAAM,CAAA,GAAI,KAAK,CAAA,IAAK,CAAA;AAAA,IAAA,CACvC,KAAK,CAAA,GAAI,KAAA,CAAM,IAAI,KAAA,CAAM,CAAA,GAAI,KAAK,CAAA,IAAK,CAAA;AAAA,IACvC,IAAA,CAAK,CAAA,GAAI,KAAA,CAAM,CAAA,GAAK,CAAA;AAAA,IAAA,CACpB,IAAA,CAAK,CAAA,GAAI,KAAA,CAAM,CAAA,IAAK;AAAA,GACvB;AACF;AAyBO,SAAS,aAAA,CAAc,eAAwB,KAAA,EAAwB;AAC5E,EAAA,MAAM,MAAA,GAAS,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,IAAA,CAAK,GAAA,CAAI,KAAK,CAAC,CAAC,CAAA;AACvD,EAAA,OAAO,OAAA;AAAA,IACL,SAAS,aAAA,CAAc,CAAA;AAAA,IACvB,SAAS,aAAA,CAAc,CAAA;AAAA,IACvB,CAAA,GAAI,MAAA,IAAU,aAAA,CAAc,CAAA,GAAI,aAAA,CAAc,CAAA,CAAA;AAAA,IAC9C,aAAA,CAAc;AAAA,GAChB;AACF;;;AChFO,SAAS,kBAAA,CACd,eACA,OAAA,EACS;AACT,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;AAiBO,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;;;ACtEO,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","file":"elaborates.js","sourcesContent":["import type { Opinion } from \"../../types\";\n\nexport function opinion(\n  belief: number,\n  disbelief: number,\n  uncertainty: number,\n  baseRate: number = 0.5\n): Opinion {\n  const b = Math.max(0, Math.min(1, belief));\n  const d = Math.max(0, Math.min(1, disbelief));\n  const u = Math.max(0, Math.min(1, uncertainty));\n  const a = Math.max(0, Math.min(1, baseRate));\n  const sum = b + d + u;\n\n  if (sum === 0) {\n    return { b: 0, d: 0, u: 1, a };\n  }\n\n  return {\n    b: b / sum,\n    d: d / sum,\n    u: u / sum,\n    a,\n  };\n}\n\nexport function vacuous(baseRate: number = 0.5): Opinion {\n  return { b: 0, d: 0, u: 1, a: baseRate };\n}\n\nexport function dogmatic(probability: number, baseRate: number = 0.5): Opinion {\n  const p = Math.max(0, Math.min(1, probability));\n  return { b: p, d: 1 - p, u: 0, a: baseRate };\n}\n\nexport function project(o: Opinion): number {\n  return o.b + o.a * o.u;\n}\n\nexport function confidenceLevel(o: Opinion): \"high\" | \"medium\" | \"low\" {\n  const projected = project(o);\n  if (o.u > 0.5) {\n    return \"low\";\n  }\n  if (projected >= 0.8 && o.u < 0.2) {\n    return \"high\";\n  }\n  if (projected >= 0.6) {\n    return \"medium\";\n  }\n  return \"low\";\n}\n\nexport function cumulativeFusion(left: Opinion, right: Opinion): Opinion {\n  if (left.u === 0 && right.u === 0) {\n    return opinion(\n      (left.b + right.b) / 2,\n      (left.d + right.d) / 2,\n      0,\n      (left.a + right.a) / 2\n    );\n  }\n\n  const k = left.u + right.u - left.u * right.u;\n  if (k === 0) {\n    return vacuous((left.a + right.a) / 2);\n  }\n\n  return opinion(\n    (left.b * right.u + right.b * left.u) / k,\n    (left.d * right.u + right.d * left.u) / k,\n    (left.u * right.u) / k,\n    (left.a + right.a) / 2\n  );\n}\n\nexport function averagingFusion(left: Opinion, right: Opinion): Opinion {\n  if (left.u === 0 && right.u === 0) {\n    return opinion(\n      (left.b + right.b) / 2,\n      (left.d + right.d) / 2,\n      0,\n      (left.a + right.a) / 2\n    );\n  }\n\n  const k = left.u + right.u;\n  if (k === 0) {\n    return vacuous((left.a + right.a) / 2);\n  }\n\n  return opinion(\n    (left.b * right.u + right.b * left.u) / k,\n    (left.d * right.u + right.d * left.u) / k,\n    (2 * left.u * right.u) / k,\n    (left.a + right.a) / 2\n  );\n}\n\nexport function trustDiscount(sourceOpinion: Opinion, trust: number): Opinion {\n  const weight = Math.max(0, Math.min(1, Math.abs(trust)));\n  return opinion(\n    weight * sourceOpinion.b,\n    weight * sourceOpinion.d,\n    1 - weight * (sourceOpinion.b + sourceOpinion.d),\n    sourceOpinion.a\n  );\n}\n\nconst EPSILON = 1e-9;\n\nfunction childBaseRateFallback(\n  ifTrue: Opinion,\n  ifFalse: Opinion,\n  fallbackBaseRate: number | undefined\n): number {\n  if (fallbackBaseRate !== undefined) {\n    return Math.max(0, Math.min(1, fallbackBaseRate));\n  }\n\n  if (Math.abs(ifTrue.a - ifFalse.a) <= EPSILON) {\n    return ifTrue.a;\n  }\n\n  return (ifTrue.a + ifFalse.a) / 2;\n}\n\nfunction computeConditionalDeductionBaseRate(\n  opinionA: Opinion,\n  ifTrue: Opinion,\n  ifFalse: Opinion,\n  fallbackBaseRate: number\n): number {\n  const denominator =\n    1 - opinionA.a * ifTrue.u - (1 - opinionA.a) * ifFalse.u;\n\n  if (ifTrue.u + ifFalse.u < 2 - EPSILON && Math.abs(denominator) > EPSILON) {\n    const baseRate =\n      (opinionA.a * ifTrue.b + (1 - opinionA.a) * ifFalse.b) / denominator;\n    if (baseRate >= -EPSILON && baseRate <= 1 + EPSILON) {\n      return Math.max(0, Math.min(1, baseRate));\n    }\n  }\n\n  return fallbackBaseRate;\n}\n\nfunction safeCorrectionTerm(\n  numerator: number,\n  denominator: number\n): number | undefined {\n  if (Math.abs(denominator) <= EPSILON) {\n    return undefined;\n  }\n\n  const value = numerator / denominator;\n  if (!Number.isFinite(value)) {\n    return undefined;\n  }\n\n  return Math.max(0, value);\n}\n\nexport function conditionalDeduction(\n  opinionA: Opinion,\n  ifTrue: Opinion,\n  ifFalse: Opinion,\n  fallbackBaseRate?: number\n): Opinion {\n  const fallbackChildBaseRate = childBaseRateFallback(\n    ifTrue,\n    ifFalse,\n    fallbackBaseRate\n  );\n  const childBaseRate = computeConditionalDeductionBaseRate(\n    opinionA,\n    ifTrue,\n    ifFalse,\n    fallbackChildBaseRate\n  );\n  const projectedAntecedent = project(opinionA);\n  const projectedAntecedentComplement = 1 - projectedAntecedent;\n  const intermediateBelief =\n    opinionA.b * ifTrue.b +\n    opinionA.d * ifFalse.b +\n    opinionA.u * (ifTrue.b * opinionA.a + ifFalse.b * (1 - opinionA.a));\n  const intermediateDisbelief =\n    opinionA.b * ifTrue.d +\n    opinionA.d * ifFalse.d +\n    opinionA.u * (ifTrue.d * opinionA.a + ifFalse.d * (1 - opinionA.a));\n  const intermediateUncertainty =\n    opinionA.b * ifTrue.u +\n    opinionA.d * ifFalse.u +\n    opinionA.u * (ifTrue.u * opinionA.a + ifFalse.u * (1 - opinionA.a));\n  const projectedVacuousDeduction =\n    ifTrue.b * opinionA.a +\n    ifFalse.b * (1 - opinionA.a) +\n    childBaseRate *\n      (ifTrue.u * opinionA.a + ifFalse.u * (1 - opinionA.a));\n  const projectedConditionalA =\n    ifTrue.b + childBaseRate * (1 - ifTrue.b - ifTrue.d);\n  let correction = 0;\n\n  if (\n    (ifTrue.b > ifFalse.b && ifTrue.d > ifFalse.d) ||\n    (ifTrue.b <= ifFalse.b && ifTrue.d <= ifFalse.d)\n  ) {\n    correction = 0;\n  } else if (ifTrue.b > ifFalse.b && ifTrue.d <= ifFalse.d) {\n    const beliefGap = ifTrue.b - ifFalse.b;\n    const disbeliefGap = ifFalse.d - ifTrue.d;\n\n    if (\n      projectedVacuousDeduction <= projectedConditionalA &&\n      projectedAntecedent <= opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          opinionA.a * opinionA.u * (intermediateBelief - ifTrue.b),\n          projectedAntecedent * childBaseRate\n        ) ?? 0;\n    } else if (\n      projectedVacuousDeduction <= projectedConditionalA &&\n      projectedAntecedent > opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          opinionA.a * opinionA.u * (intermediateDisbelief - ifTrue.d) * beliefGap,\n          projectedAntecedentComplement * childBaseRate * disbeliefGap\n        ) ?? 0;\n    } else if (\n      projectedVacuousDeduction > projectedConditionalA &&\n      projectedAntecedent <= opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          (1 - opinionA.a) *\n            opinionA.u *\n            (intermediateBelief - ifTrue.b) *\n            disbeliefGap,\n          projectedAntecedent * (1 - childBaseRate) * beliefGap\n        ) ?? 0;\n    } else {\n      correction =\n        safeCorrectionTerm(\n          (1 - opinionA.a) * opinionA.u * (intermediateDisbelief - ifTrue.d),\n          projectedAntecedentComplement * (1 - childBaseRate)\n        ) ?? 0;\n    }\n  } else {\n    const beliefGap = ifFalse.b - ifTrue.b;\n    const disbeliefGap = ifTrue.d - ifFalse.d;\n\n    if (\n      projectedVacuousDeduction <= projectedConditionalA &&\n      projectedAntecedent <= opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          (1 - opinionA.a) *\n            opinionA.u *\n            (intermediateDisbelief - ifTrue.d) *\n            beliefGap,\n          projectedAntecedent * childBaseRate * disbeliefGap\n        ) ?? 0;\n    } else if (\n      projectedVacuousDeduction <= projectedConditionalA &&\n      projectedAntecedent > opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          (1 - opinionA.a) * opinionA.u * (intermediateBelief - ifTrue.b),\n          projectedAntecedentComplement * childBaseRate\n        ) ?? 0;\n    } else if (\n      projectedVacuousDeduction > projectedConditionalA &&\n      projectedAntecedent <= opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          opinionA.a * opinionA.u * (intermediateDisbelief - ifTrue.d),\n          projectedAntecedent * (1 - childBaseRate)\n        ) ?? 0;\n    } else {\n      correction =\n        safeCorrectionTerm(\n          opinionA.a *\n            opinionA.u *\n            (intermediateBelief - ifTrue.b) *\n            disbeliefGap,\n          projectedAntecedentComplement * (1 - childBaseRate) * beliefGap\n        ) ?? 0;\n    }\n  }\n\n  return opinion(\n    intermediateBelief - childBaseRate * correction,\n    intermediateDisbelief - (1 - childBaseRate) * correction,\n    intermediateUncertainty + correction,\n    childBaseRate\n  );\n}\n\n/**\n * Abductive inference over a conditional.\n * Given an opinion on Y and conditionals P(Y|X), P(Y|~X), infer an opinion on X.\n */\nexport function conditionalAbduction(\n  opinionY: Opinion,\n  ifTrue: Opinion,\n  ifFalse: Opinion,\n  baseRateX: number\n): Opinion {\n  const priorX = Math.max(0, Math.min(1, baseRateX));\n  const probabilityY = project(opinionY);\n  const probabilityGivenTrue = project(ifTrue);\n  const probabilityGivenFalse = project(ifFalse);\n\n  const posteriorIfYDenominator =\n    probabilityGivenTrue * priorX +\n    probabilityGivenFalse * (1 - priorX);\n  const posteriorIfY =\n    posteriorIfYDenominator === 0\n      ? priorX\n      : (probabilityGivenTrue * priorX) / posteriorIfYDenominator;\n\n  const posteriorIfNotYDenominator =\n    (1 - probabilityGivenTrue) * priorX +\n    (1 - probabilityGivenFalse) * (1 - priorX);\n  const posteriorIfNotY =\n    posteriorIfNotYDenominator === 0\n      ? priorX\n      : ((1 - probabilityGivenTrue) * priorX) / posteriorIfNotYDenominator;\n\n  const projectedX =\n    probabilityY * posteriorIfY + (1 - probabilityY) * posteriorIfNotY;\n  const uncertainty = Math.max(\n    opinionY.u * 0.5,\n    probabilityY * ifTrue.u + (1 - probabilityY) * ifFalse.u\n  );\n\n  return opinion(\n    projectedX * (1 - uncertainty),\n    (1 - projectedX) * (1 - uncertainty),\n    uncertainty,\n    priorX\n  );\n}\n\nexport function negate(o: Opinion): Opinion {\n  return { b: o.d, d: o.b, u: o.u, a: 1 - o.a };\n}\n\nexport function constraintFusion(\n  left: Opinion,\n  right: Opinion,\n  mode: \"pressure\" | \"redistribute\" = \"pressure\"\n): { o1: Opinion; o2: Opinion } {\n  if (mode === \"redistribute\") {\n    const leftProjected = project(left);\n    const rightProjected = project(right);\n    const total = leftProjected + rightProjected;\n\n    if (total <= 1) {\n      return { o1: left, o2: right };\n    }\n\n    const scale = 1 / total;\n    return {\n      o1: opinion(\n        left.b * scale,\n        left.d + left.b * (1 - scale),\n        left.u,\n        left.a\n      ),\n      o2: opinion(\n        right.b * scale,\n        right.d + right.b * (1 - scale),\n        right.u,\n        right.a\n      ),\n    };\n  }\n\n  const pressureLeft = right.b * 0.5;\n  const pressureRight = left.b * 0.5;\n\n  return {\n    o1: opinion(\n      left.b - pressureLeft * 0.3,\n      left.d + pressureLeft * 0.3,\n      left.u,\n      left.a\n    ),\n    o2: opinion(\n      right.b - pressureRight * 0.3,\n      right.d + pressureRight * 0.3,\n      right.u,\n      right.a\n    ),\n  };\n}\n\nexport function evidenceBalance(o: Opinion): number {\n  const total = o.b + o.d;\n  if (total === 0) {\n    return 0;\n  }\n  return (o.b - o.d) / total;\n}\n\nexport function areTensioned(left: Opinion, right: Opinion): boolean {\n  return (\n    project(left) > 0.5 &&\n    project(right) > 0.5 &&\n    (left.d > 0.2 || right.d > 0.2)\n  );\n}\n\nexport function informationGain(o: Opinion): number {\n  if (o.u === 0) {\n    return 0;\n  }\n  if (o.u === 1) {\n    return 1;\n  }\n  return o.u * (1 - Math.abs(o.b - o.d));\n}\n","import {\n  applyNegativeEvidence,\n  applyNegativeSupport,\n  cumulativeFusion,\n  project,\n  trustDiscount,\n  type EdgeMetadata,\n  type Opinion,\n  type PropagationResult,\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: Opinion,\n  damping: number\n): Opinion {\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: Opinion,\n  targetOpinion: Opinion,\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: Opinion,\n  targetOpinion: Opinion,\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: Opinion,\n  targetOpinion: Opinion,\n  edgeWeight: number,\n  edge: PropagationEdgeRecord\n): PropagationResult {\n  return applyNegativeSupport(\n    sourceOpinion,\n    targetOpinion,\n    edgeWeight,\n    readEdgeMetadata(edge)\n  );\n}\n\nexport function propagateNegativeInform(\n  sourceOpinion: Opinion,\n  targetOpinion: Opinion,\n  edgeWeight: number\n): PropagationResult {\n  return applyNegativeEvidence(sourceOpinion, targetOpinion, edgeWeight);\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"]}
+{"version":3,"sources":["../../src/edges/utils.ts","../../src/edges/elaborates.ts"],"names":[],"mappings":";;;AA2BO,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;AAiBO,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;;;ACtEO,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","file":"elaborates.js","sourcesContent":["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 function propagateNegativeInform(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  return applyNegativeEvidence(sourceOpinion, targetOpinion, edgeWeight);\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"]}