@lucern/graph-primitives 0.1.0-alpha.2

package/dist/edges/informs.js

@@ -0,0 +1,112 @@
+// ../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
+  );
+}
+function negate(o) {
+  return { b: o.d, d: o.b, u: o.u, a: 1 - o.a };
+}
+
+// ../confidence/src/v1/operations/dynamics/defeat.ts
+function applyNegativeEvidence(source, target, weight) {
+  const discounted = trustDiscount(negate(source), Math.abs(weight));
+  return {
+    opinion: cumulativeFusion(target, discounted),
+    operator: "cumulative_fusion",
+    rationale: `Contradicting evidence (weight=${weight.toFixed(2)})`
+  };
+}
+
+// src/edges/utils.ts
+function applyPerHopDamping(sourceOpinion, damping) {
+  if (damping >= 1) {
+    return sourceOpinion;
+  }
+  return trustDiscount(sourceOpinion, Math.max(0, damping));
+}
+function annotateRationale(result, spec, hop) {
+  return {
+    ...result,
+    rationale: `hop=${hop} edge=${spec.edgeType} damping=${spec.damping.toFixed(
+      2
+    )} :: ${result.rationale}`
+  };
+}
+function propagatePositiveInform(sourceOpinion, targetOpinion, edgeWeight) {
+  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));
+  return {
+    opinion: cumulativeFusion(targetOpinion, discounted),
+    operator: "cumulative_fusion",
+    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(2)})`
+  };
+}
+function propagateNegativeInform(sourceOpinion, targetOpinion, edgeWeight) {
+  return applyNegativeEvidence(sourceOpinion, targetOpinion, edgeWeight);
+}
+
+// src/edges/informs.ts
+var informsPropagationSpec = {
+  edgeType: "informs",
+  direction: "outgoing",
+  transitivity: "full",
+  damping: 0.92,
+  maxHops: "unbounded",
+  operator: (sourceOpinion, targetOpinion, edge, context) => {
+    const dampedSource = applyPerHopDamping(
+      sourceOpinion,
+      context.spec.damping
+    );
+    const weight = edge.weight ?? 1;
+    const result = weight < 0 ? propagateNegativeInform(dampedSource, targetOpinion, weight) : propagatePositiveInform(dampedSource, targetOpinion, weight);
+    return annotateRationale(result, context.spec, context.hop);
+  },
+  description: "Evidence-bearing influence. Informs can chain through the graph with light per-hop damping."
+};
+
+export { informsPropagationSpec };
+//# sourceMappingURL=informs.js.map
+//# sourceMappingURL=informs.js.map

package/dist/edges/informs.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../../confidence/src/v1/operations/subjectiveLogic/index.ts","../../../confidence/src/v1/operations/dynamics/defeat.ts","../../src/edges/utils.ts","../../src/edges/informs.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;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;;;ACvTO,SAAS,qBAAA,CACd,MAAA,EACA,MAAA,EACA,MAAA,EACmB;AACnB,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,CAAA,+BAAA,EAAkC,MAAA,CAAO,OAAA,CAAQ,CAAC,CAAC,CAAA,CAAA;AAAA,GAChE;AACF;;;ACxBO,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;AAgBO,SAAS,uBAAA,CACd,aAAA,EACA,aAAA,EACA,UAAA,EACmB;AACnB,EAAA,OAAO,qBAAA,CAAsB,aAAA,EAAe,aAAA,EAAe,UAAU,CAAA;AACvE;;;AC3FO,IAAM,sBAAA,GAA8C;AAAA,EACzD,QAAA,EAAU,SAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,IAAA;AAAA,EACT,OAAA,EAAS,WAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,MAAA,GAAS,KAAK,MAAA,IAAU,CAAA;AAC9B,IAAA,MAAM,MAAA,GACJ,MAAA,GAAS,CAAA,GACL,uBAAA,CAAwB,YAAA,EAAc,aAAA,EAAe,MAAM,CAAA,GAC3D,uBAAA,CAAwB,YAAA,EAAc,aAAA,EAAe,MAAM,CAAA;AAEjE,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ","file":"informs.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  propagateNegativeInform,\n  propagatePositiveInform,\n} from \"./utils\";\n\nexport const informsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"informs\",\n  direction: \"outgoing\",\n  transitivity: \"full\",\n  damping: 0.92,\n  maxHops: \"unbounded\",\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const weight = edge.weight ?? 1;\n    const result =\n      weight < 0\n        ? propagateNegativeInform(dampedSource, targetOpinion, weight)\n        : propagatePositiveInform(dampedSource, targetOpinion, weight);\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Evidence-bearing influence. Informs can chain through the graph with light per-hop damping.\",\n};\n\n"]}

package/dist/edges/propagationTypes.d.ts

@@ -0,0 +1,39 @@
+import { EdgeMetadata, Opinion, PropagationResult } from '@lucern/confidence';
+
+type PropagationTraversalDirection = "outgoing" | "incoming";
+type PropagationSpecDirection = PropagationTraversalDirection | "bidirectional";
+type PropagationTransitivity = "none" | "damped" | "full";
+type PropagationEdgeType = "supports" | "depends_on" | "informs" | "contains" | "tests" | "derived_from" | "contradicts" | "refutes" | "elaborates";
+type PropagationEdgeRecord<TNodeId extends string = string> = {
+    fromNodeId?: TNodeId | null;
+    toNodeId?: TNodeId | null;
+    edgeType: string;
+    weight?: number | null;
+    constraint?: EdgeMetadata["constraint"] | null;
+    normalization?: EdgeMetadata["normalization"] | null;
+    propagation?: EdgeMetadata["propagation"] | null;
+    conditionalA?: EdgeMetadata["conditionalA"] | null;
+    conditionalNotA?: EdgeMetadata["conditionalNotA"] | null;
+    tenantId?: string;
+    workspaceId?: string;
+};
+type EdgePropagationSpec<TNodeId extends string = string> = {
+    edgeType: PropagationEdgeType;
+    direction: PropagationSpecDirection;
+    transitivity: PropagationTransitivity;
+    damping: number;
+    maxHops: number | "unbounded";
+    operator: (sourceOpinion: Opinion, targetOpinion: Opinion, edge: PropagationEdgeRecord<TNodeId>, context: {
+        hop: number;
+        sourceNodeId: TNodeId;
+        targetNodeId: TNodeId;
+        traversedDirection: PropagationTraversalDirection;
+        spec: EdgePropagationSpec<TNodeId>;
+    }) => PropagationResult | null;
+    description: string;
+};
+declare function isPropagationTraversalDirection(direction: string): direction is PropagationTraversalDirection;
+declare function canTraverseHop<TNodeId extends string>(spec: EdgePropagationSpec<TNodeId>, nextHop: number): boolean;
+declare function canContinueTransitively<TNodeId extends string>(spec: EdgePropagationSpec<TNodeId>, currentHop: number): boolean;
+
+export { type EdgePropagationSpec, type PropagationEdgeRecord, type PropagationEdgeType, type PropagationSpecDirection, type PropagationTransitivity, type PropagationTraversalDirection, canContinueTransitively, canTraverseHop, isPropagationTraversalDirection };

package/dist/edges/propagationTypes.js

@@ -0,0 +1,17 @@
+// src/edges/propagationTypes.ts
+function isPropagationTraversalDirection(direction) {
+  return direction === "outgoing" || direction === "incoming";
+}
+function canTraverseHop(spec, nextHop) {
+  return spec.maxHops === "unbounded" || nextHop <= spec.maxHops;
+}
+function canContinueTransitively(spec, currentHop) {
+  if (spec.transitivity === "none") {
+    return false;
+  }
+  return spec.maxHops === "unbounded" || currentHop < spec.maxHops;
+}
+
+export { canContinueTransitively, canTraverseHop, isPropagationTraversalDirection };
+//# sourceMappingURL=propagationTypes.js.map
+//# sourceMappingURL=propagationTypes.js.map

package/dist/edges/propagationTypes.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/edges/propagationTypes.ts"],"names":[],"mappings":";AA4DO,SAAS,gCACd,SAAA,EAC4C;AAC5C,EAAA,OAAO,SAAA,KAAc,cAAc,SAAA,KAAc,UAAA;AACnD;AAEO,SAAS,cAAA,CACd,MACA,OAAA,EACS;AACT,EAAA,OAAO,IAAA,CAAK,OAAA,KAAY,WAAA,IAAe,OAAA,IAAW,IAAA,CAAK,OAAA;AACzD;AAEO,SAAS,uBAAA,CACd,MACA,UAAA,EACS;AACT,EAAA,IAAI,IAAA,CAAK,iBAAiB,MAAA,EAAQ;AAChC,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,OAAO,IAAA,CAAK,OAAA,KAAY,WAAA,IAAe,UAAA,GAAa,IAAA,CAAK,OAAA;AAC3D","file":"propagationTypes.js","sourcesContent":["import type {\n  EdgeMetadata,\n  Opinion,\n  PropagationResult,\n} from \"@lucern/confidence\";\n\nexport type PropagationTraversalDirection = \"outgoing\" | \"incoming\";\n\nexport type PropagationSpecDirection =\n  | PropagationTraversalDirection\n  | \"bidirectional\";\n\nexport type PropagationTransitivity = \"none\" | \"damped\" | \"full\";\n\nexport type PropagationEdgeType =\n  | \"supports\"\n  | \"depends_on\"\n  | \"informs\"\n  | \"contains\"\n  | \"tests\"\n  | \"derived_from\"\n  | \"contradicts\"\n  | \"refutes\"\n  | \"elaborates\";\n\nexport type PropagationEdgeRecord<TNodeId extends string = string> = {\n  fromNodeId?: TNodeId | null;\n  toNodeId?: TNodeId | null;\n  edgeType: string;\n  weight?: number | null;\n  constraint?: EdgeMetadata[\"constraint\"] | null;\n  normalization?: EdgeMetadata[\"normalization\"] | null;\n  propagation?: EdgeMetadata[\"propagation\"] | null;\n  conditionalA?: EdgeMetadata[\"conditionalA\"] | null;\n  conditionalNotA?: EdgeMetadata[\"conditionalNotA\"] | null;\n  tenantId?: string;\n  workspaceId?: string;\n};\n\nexport type EdgePropagationSpec<TNodeId extends string = string> = {\n  edgeType: PropagationEdgeType;\n  direction: PropagationSpecDirection;\n  transitivity: PropagationTransitivity;\n  damping: number;\n  maxHops: number | \"unbounded\";\n  operator: (\n    sourceOpinion: Opinion,\n    targetOpinion: Opinion,\n    edge: PropagationEdgeRecord<TNodeId>,\n    context: {\n      hop: number;\n      sourceNodeId: TNodeId;\n      targetNodeId: TNodeId;\n      traversedDirection: PropagationTraversalDirection;\n      spec: EdgePropagationSpec<TNodeId>;\n    }\n  ) => PropagationResult | null;\n  description: string;\n};\n\nexport function isPropagationTraversalDirection(\n  direction: string\n): direction is PropagationTraversalDirection {\n  return direction === \"outgoing\" || direction === \"incoming\";\n}\n\nexport function canTraverseHop<TNodeId extends string>(\n  spec: EdgePropagationSpec<TNodeId>,\n  nextHop: number\n): boolean {\n  return spec.maxHops === \"unbounded\" || nextHop <= spec.maxHops;\n}\n\nexport function canContinueTransitively<TNodeId extends string>(\n  spec: EdgePropagationSpec<TNodeId>,\n  currentHop: number\n): boolean {\n  if (spec.transitivity === \"none\") {\n    return false;\n  }\n\n  return spec.maxHops === \"unbounded\" || currentHop < spec.maxHops;\n}\n"]}

package/dist/edges/refutes.d.ts

@@ -0,0 +1,6 @@
+import { EdgePropagationSpec } from './propagationTypes.js';
+import '@lucern/confidence';
+
+declare const refutesPropagationSpec: EdgePropagationSpec;
+
+export { refutesPropagationSpec };

package/dist/edges/refutes.js

@@ -0,0 +1,108 @@
+// ../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
+  );
+}
+function negate(o) {
+  return { b: o.d, d: o.b, u: o.u, a: 1 - o.a };
+}
+
+// ../confidence/src/v1/operations/dynamics/defeat.ts
+function applyNegativeEvidence(source, target, weight) {
+  const discounted = trustDiscount(negate(source), Math.abs(weight));
+  return {
+    opinion: cumulativeFusion(target, discounted),
+    operator: "cumulative_fusion",
+    rationale: `Contradicting evidence (weight=${weight.toFixed(2)})`
+  };
+}
+
+// src/edges/utils.ts
+function applyPerHopDamping(sourceOpinion, damping) {
+  if (damping >= 1) {
+    return sourceOpinion;
+  }
+  return trustDiscount(sourceOpinion, Math.max(0, damping));
+}
+function annotateRationale(result, spec, hop) {
+  return {
+    ...result,
+    rationale: `hop=${hop} edge=${spec.edgeType} damping=${spec.damping.toFixed(
+      2
+    )} :: ${result.rationale}`
+  };
+}
+function propagateNegativeInform(sourceOpinion, targetOpinion, edgeWeight) {
+  return applyNegativeEvidence(sourceOpinion, targetOpinion, edgeWeight);
+}
+
+// src/edges/refutes.ts
+var refutesPropagationSpec = {
+  edgeType: "refutes",
+  direction: "outgoing",
+  transitivity: "none",
+  damping: 0.9,
+  maxHops: 1,
+  operator: (sourceOpinion, targetOpinion, edge, context) => {
+    const dampedSource = applyPerHopDamping(
+      sourceOpinion,
+      context.spec.damping
+    );
+    const negativeWeight = -Math.abs(edge.weight ?? 1);
+    const result = propagateNegativeInform(
+      dampedSource,
+      targetOpinion,
+      negativeWeight
+    );
+    return annotateRationale(result, context.spec, context.hop);
+  },
+  description: "Explicit negative evidence semantics. Refutes is treated as strong one-hop counter-evidence."
+};
+
+export { refutesPropagationSpec };
+//# sourceMappingURL=refutes.js.map
+//# sourceMappingURL=refutes.js.map

package/dist/edges/refutes.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../../confidence/src/v1/operations/subjectiveLogic/index.ts","../../../confidence/src/v1/operations/dynamics/defeat.ts","../../src/edges/utils.ts","../../src/edges/refutes.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;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;;;ACvTO,SAAS,qBAAA,CACd,MAAA,EACA,MAAA,EACA,MAAA,EACmB;AACnB,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,CAAA,+BAAA,EAAkC,MAAA,CAAO,OAAA,CAAQ,CAAC,CAAC,CAAA,CAAA;AAAA,GAChE;AACF;;;ACxBO,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;AA4CO,SAAS,uBAAA,CACd,aAAA,EACA,aAAA,EACA,UAAA,EACmB;AACnB,EAAA,OAAO,qBAAA,CAAsB,aAAA,EAAe,aAAA,EAAe,UAAU,CAAA;AACvE;;;AC5FO,IAAM,sBAAA,GAA8C;AAAA,EACzD,QAAA,EAAU,SAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,GAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,iBAAiB,CAAC,IAAA,CAAK,GAAA,CAAI,IAAA,CAAK,UAAU,CAAC,CAAA;AACjD,IAAA,MAAM,MAAA,GAAS,uBAAA;AAAA,MACb,YAAA;AAAA,MACA,aAAA;AAAA,MACA;AAAA,KACF;AAEA,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ","file":"refutes.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  propagateNegativeInform,\n} from \"./utils\";\n\nexport const refutesPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"refutes\",\n  direction: \"outgoing\",\n  transitivity: \"none\",\n  damping: 0.9,\n  maxHops: 1,\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const negativeWeight = -Math.abs(edge.weight ?? 1);\n    const result = propagateNegativeInform(\n      dampedSource,\n      targetOpinion,\n      negativeWeight\n    );\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Explicit negative evidence semantics. Refutes is treated as strong one-hop counter-evidence.\",\n};\n\n"]}

package/dist/edges/supports.d.ts

@@ -0,0 +1,6 @@
+import { EdgePropagationSpec } from './propagationTypes.js';
+import '@lucern/confidence';
+
+declare const supportsPropagationSpec: EdgePropagationSpec;
+
+export { supportsPropagationSpec };

package/dist/edges/supports.js

@@ -0,0 +1,193 @@
+// ../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)}`
+  };
+}
+
+// src/edges/utils.ts
+function readEdgeMetadata(edge) {
+  return {
+    constraint: edge.constraint ?? void 0,
+    normalization: edge.normalization ?? void 0,
+    propagation: edge.propagation ?? void 0,
+    conditionalA: edge.conditionalA ?? void 0,
+    conditionalNotA: edge.conditionalNotA ?? void 0
+  };
+}
+function applyPerHopDamping(sourceOpinion, damping) {
+  if (damping >= 1) {
+    return sourceOpinion;
+  }
+  return trustDiscount(sourceOpinion, Math.max(0, damping));
+}
+function annotateRationale(result, spec, hop) {
+  return {
+    ...result,
+    rationale: `hop=${hop} edge=${spec.edgeType} damping=${spec.damping.toFixed(
+      2
+    )} :: ${result.rationale}`
+  };
+}
+function propagatePositiveSupport(sourceOpinion, targetOpinion, edgeWeight) {
+  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));
+  return {
+    opinion: cumulativeFusion(targetOpinion, discounted),
+    operator: "cumulative_fusion",
+    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(
+      2
+    )}) from source at ${project(sourceOpinion).toFixed(2)}`
+  };
+}
+function propagateNegativeSupportWithMetadata(sourceOpinion, targetOpinion, edgeWeight, edge) {
+  return applyNegativeSupport(
+    sourceOpinion,
+    targetOpinion,
+    edgeWeight,
+    readEdgeMetadata(edge)
+  );
+}
+
+// src/edges/supports.ts
+var supportsPropagationSpec = {
+  edgeType: "supports",
+  direction: "outgoing",
+  transitivity: "full",
+  damping: 0.85,
+  maxHops: "unbounded",
+  operator: (sourceOpinion, targetOpinion, edge, context) => {
+    const dampedSource = applyPerHopDamping(
+      sourceOpinion,
+      context.spec.damping
+    );
+    const weight = edge.weight ?? 1;
+    const result = weight < 0 ? propagateNegativeSupportWithMetadata(
+      dampedSource,
+      targetOpinion,
+      weight,
+      edge
+    ) : propagatePositiveSupport(dampedSource, targetOpinion, weight);
+    return annotateRationale(result, context.spec, context.hop);
+  },
+  description: "Belief-to-belief influence. Supports chains transitively with moderate per-hop damping."
+};
+
+export { supportsPropagationSpec };
+//# sourceMappingURL=supports.js.map
+//# sourceMappingURL=supports.js.map

package/dist/edges/supports.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../../confidence/src/v1/operations/subjectiveLogic/index.ts","../../../confidence/src/v1/operations/dynamics/defeat.ts","../../src/edges/utils.ts","../../src/edges/supports.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;AAEO,SAAS,wBAAA,CACd,aAAA,EACA,aAAA,EACA,UAAA,EACmB;AACnB,EAAA,MAAM,aAAa,aAAA,CAAc,aAAA,EAAe,IAAA,CAAK,GAAA,CAAI,UAAU,CAAC,CAAA;AACpE,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,gBAAA,CAAiB,aAAA,EAAe,UAAU,CAAA;AAAA,IACnD,QAAA,EAAU,mBAAA;AAAA,IACV,SAAA,EAAW,+BAA+B,UAAA,CAAW,OAAA;AAAA,MACnD;AAAA,KACD,CAAA,iBAAA,EAAoB,OAAA,CAAQ,aAAa,CAAA,CAAE,OAAA,CAAQ,CAAC,CAAC,CAAA;AAAA,GACxD;AACF;AAeO,SAAS,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;;;ACnFO,IAAM,uBAAA,GAA+C;AAAA,EAC1D,QAAA,EAAU,UAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,IAAA;AAAA,EACT,OAAA,EAAS,WAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,MAAA,GAAS,KAAK,MAAA,IAAU,CAAA;AAC9B,IAAA,MAAM,MAAA,GACJ,SAAS,CAAA,GACL,oCAAA;AAAA,MACE,YAAA;AAAA,MACA,aAAA;AAAA,MACA,MAAA;AAAA,MACA;AAAA,KACF,GACA,wBAAA,CAAyB,YAAA,EAAc,aAAA,EAAe,MAAM,CAAA;AAElE,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ","file":"supports.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  propagatePositiveSupport,\n} from \"./utils\";\n\nexport const supportsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"supports\",\n  direction: \"outgoing\",\n  transitivity: \"full\",\n  damping: 0.85,\n  maxHops: \"unbounded\",\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const weight = edge.weight ?? 1;\n    const result =\n      weight < 0\n        ? propagateNegativeSupportWithMetadata(\n            dampedSource,\n            targetOpinion,\n            weight,\n            edge\n          )\n        : propagatePositiveSupport(dampedSource, targetOpinion, weight);\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Belief-to-belief influence. Supports chains transitively with moderate per-hop damping.\",\n};\n\n"]}

package/dist/edges/tests.d.ts

@@ -0,0 +1,6 @@
+import { EdgePropagationSpec } from './propagationTypes.js';
+import '@lucern/confidence';
+
+declare const testsPropagationSpec: EdgePropagationSpec;
+
+export { testsPropagationSpec };