@lucern/graph-primitives 1.0.29 → 1.0.30

package/dist/edges/contradicts.js.map

@@ -1 +1 @@
-{"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 const propagateNegativeInform = applyNegativeEvidence;\n","import type { EdgePropagationSpec } from \"./propagationTypes\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagateNegativeSupportWithMetadata,\n} from \"./utils\";\n\nexport const contradictsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"contradicts\",\n  direction: \"bidirectional\",\n  transitivity: \"none\",\n  damping: 0.85,\n  maxHops: 1,\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const negativeWeight = -Math.abs(edge.weight ?? 1);\n    const result = propagateNegativeSupportWithMetadata(\n      dampedSource,\n      targetOpinion,\n      negativeWeight,\n      edge\n    );\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Legacy contradiction edges move negative pressure in either direction, but never beyond one hop.\",\n};\n\n"]}
+{"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  type EdgeMetadata,\n  type PropagationResult,\n  project,\n  type SLOpinion,\n  trustDiscount,\n} from \"@lucern/confidence\";\nimport type {\n  EdgePropagationSpec,\n  PropagationEdgeRecord,\n} from \"./propagation-types\";\n\nexport function readEdgeMetadata<TNodeId extends string>(\n  edge: PropagationEdgeRecord<TNodeId>\n): EdgeMetadata {\n  return {\n    constraint: edge.constraint ?? undefined,\n    normalization: edge.normalization ?? undefined,\n    propagation: edge.propagation ?? undefined,\n    conditionalA: edge.conditionalA ?? undefined,\n    conditionalNotA: edge.conditionalNotA ?? undefined,\n  };\n}\n\nexport function applyPerHopDamping(\n  sourceOpinion: SLOpinion,\n  damping: number\n): SLOpinion {\n  if (damping >= 1) {\n    return sourceOpinion;\n  }\n\n  return trustDiscount(sourceOpinion, Math.max(0, damping));\n}\n\nexport function annotateRationale(\n  result: PropagationResult,\n  spec: EdgePropagationSpec,\n  hop: number\n): PropagationResult {\n  return {\n    ...result,\n    rationale: `hop=${hop} edge=${spec.edgeType} damping=${spec.damping.toFixed(\n      2\n    )} :: ${result.rationale}`,\n  };\n}\n\nexport function propagatePositiveSupport(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(\n      2\n    )}) from source at ${project(sourceOpinion).toFixed(2)}`,\n  };\n}\n\nexport function propagatePositiveInform(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(2)})`,\n  };\n}\n\nexport function propagateNegativeSupportWithMetadata(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number,\n  edge: PropagationEdgeRecord\n): PropagationResult {\n  return applyNegativeSupport(\n    sourceOpinion,\n    targetOpinion,\n    edgeWeight,\n    readEdgeMetadata(edge)\n  );\n}\n\nexport const propagateNegativeInform = applyNegativeEvidence;\n","import type { EdgePropagationSpec } from \"./propagation-types\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagateNegativeSupportWithMetadata,\n} from \"./utils\";\n\nexport const contradictsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"contradicts\",\n  direction: \"bidirectional\",\n  transitivity: \"none\",\n  damping: 0.85,\n  maxHops: 1,\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const negativeWeight = -Math.abs(edge.weight ?? 1);\n    const result = propagateNegativeSupportWithMetadata(\n      dampedSource,\n      targetOpinion,\n      negativeWeight,\n      edge\n    );\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Legacy contradiction edges move negative pressure in either direction, but never beyond one hop.\",\n};\n"]}

package/dist/edges/{dependsOn.d.ts → depends-on.d.ts}

@@ -1,4 +1,4 @@
-import { EdgePropagationSpec } from './propagationTypes.js';
+import { EdgePropagationSpec } from './propagation-types.js';
 import '@lucern/confidence';
 
 declare const dependsOnPropagationSpec: EdgePropagationSpec;

package/dist/edges/{dependsOn.js → depends-on.js}

@@ -1,6 +1,6 @@
 import { conditionalDeduction, mkOpinion, project, dampedDependencyCascade, trustDiscount } from '@lucern/confidence';
 
-// src/edges/dependsOn.ts
+// src/edges/depends-on.ts
 function readEdgeMetadata(edge) {
   return {
     constraint: edge.constraint ?? void 0,
@@ -25,7 +25,7 @@ function annotateRationale(result, spec, hop) {
   };
 }
 
-// src/edges/dependsOn.ts
+// src/edges/depends-on.ts
 var dependsOnPropagationSpec = {
   edgeType: "depends_on",
   direction: "incoming",
@@ -78,5 +78,5 @@ var dependsOnPropagationSpec = {
 };
 
 export { dependsOnPropagationSpec };
-//# sourceMappingURL=dependsOn.js.map
-//# sourceMappingURL=dependsOn.js.map
+//# sourceMappingURL=depends-on.js.map
+//# sourceMappingURL=depends-on.js.map

package/dist/edges/depends-on.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/edges/utils.ts","../../src/edges/depends-on.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;;;ACpCO,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":"depends-on.js","sourcesContent":["import {\n  applyNegativeEvidence,\n  applyNegativeSupport,\n  cumulativeFusion,\n  type EdgeMetadata,\n  type PropagationResult,\n  project,\n  type SLOpinion,\n  trustDiscount,\n} from \"@lucern/confidence\";\nimport type {\n  EdgePropagationSpec,\n  PropagationEdgeRecord,\n} from \"./propagation-types\";\n\nexport function readEdgeMetadata<TNodeId extends string>(\n  edge: PropagationEdgeRecord<TNodeId>\n): EdgeMetadata {\n  return {\n    constraint: edge.constraint ?? undefined,\n    normalization: edge.normalization ?? undefined,\n    propagation: edge.propagation ?? undefined,\n    conditionalA: edge.conditionalA ?? undefined,\n    conditionalNotA: edge.conditionalNotA ?? undefined,\n  };\n}\n\nexport function applyPerHopDamping(\n  sourceOpinion: SLOpinion,\n  damping: number\n): SLOpinion {\n  if (damping >= 1) {\n    return sourceOpinion;\n  }\n\n  return trustDiscount(sourceOpinion, Math.max(0, damping));\n}\n\nexport function annotateRationale(\n  result: PropagationResult,\n  spec: EdgePropagationSpec,\n  hop: number\n): PropagationResult {\n  return {\n    ...result,\n    rationale: `hop=${hop} edge=${spec.edgeType} damping=${spec.damping.toFixed(\n      2\n    )} :: ${result.rationale}`,\n  };\n}\n\nexport function propagatePositiveSupport(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(\n      2\n    )}) from source at ${project(sourceOpinion).toFixed(2)}`,\n  };\n}\n\nexport function propagatePositiveInform(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(2)})`,\n  };\n}\n\nexport function propagateNegativeSupportWithMetadata(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number,\n  edge: PropagationEdgeRecord\n): PropagationResult {\n  return applyNegativeSupport(\n    sourceOpinion,\n    targetOpinion,\n    edgeWeight,\n    readEdgeMetadata(edge)\n  );\n}\n\nexport const propagateNegativeInform = applyNegativeEvidence;\n","import {\n  conditionalDeduction,\n  dampedDependencyCascade,\n  mkOpinion,\n  project,\n} from \"@lucern/confidence\";\nimport type { EdgePropagationSpec } from \"./propagation-types\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  readEdgeMetadata,\n} from \"./utils\";\n\nexport const dependsOnPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"depends_on\",\n  direction: \"incoming\",\n  transitivity: \"damped\",\n  damping: 0.8,\n  maxHops: \"unbounded\",\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const metadata = readEdgeMetadata(edge);\n\n    if (metadata.conditionalA && metadata.conditionalNotA) {\n      const deducedOpinion = conditionalDeduction(\n        dampedSource,\n        mkOpinion(\n          metadata.conditionalA.b,\n          metadata.conditionalA.d,\n          metadata.conditionalA.u,\n          metadata.conditionalA.a\n        ),\n        mkOpinion(\n          metadata.conditionalNotA.b,\n          metadata.conditionalNotA.d,\n          metadata.conditionalNotA.u,\n          metadata.conditionalNotA.a\n        ),\n        targetOpinion.a\n      );\n\n      return annotateRationale(\n        {\n          opinion: deducedOpinion,\n          operator: \"conditional_deduction\",\n          rationale: `Conditional deduction: prerequisite at ${project(\n            dampedSource\n          ).toFixed(2)}`,\n        },\n        context.spec,\n        context.hop\n      );\n    }\n\n    const result = dampedDependencyCascade(\n      dampedSource,\n      targetOpinion,\n      metadata.propagation ?? \"continuous\"\n    );\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Structural gating. Textbook conditional deduction when edge conditionals exist, otherwise damped dependency cascade through downstream chains.\",\n};\n"]}

package/dist/edges/{derivedFrom.d.ts → derived-from.d.ts}

@@ -1,4 +1,4 @@
-import { EdgePropagationSpec } from './propagationTypes.js';
+import { EdgePropagationSpec } from './propagation-types.js';
 import '@lucern/confidence';
 
 declare const derivedFromPropagationSpec: EdgePropagationSpec;

package/dist/edges/{derivedFrom.js → derived-from.js}

@@ -1,4 +1,4 @@
-// src/edges/derivedFrom.ts
+// src/edges/derived-from.ts
 var derivedFromPropagationSpec = {
   edgeType: "derived_from",
   direction: "incoming",
@@ -10,5 +10,5 @@ var derivedFromPropagationSpec = {
 };
 
 export { derivedFromPropagationSpec };
-//# sourceMappingURL=derivedFrom.js.map
-//# sourceMappingURL=derivedFrom.js.map
+//# sourceMappingURL=derived-from.js.map
+//# sourceMappingURL=derived-from.js.map

package/dist/edges/derived-from.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/edges/derived-from.ts"],"names":[],"mappings":";AAEO,IAAM,0BAAA,GAAkD;AAAA,EAC7D,QAAA,EAAU,cAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,CAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,UAAU,MAAM,IAAA;AAAA,EAChB,WAAA,EACE;AACJ","file":"derived-from.js","sourcesContent":["import type { EdgePropagationSpec } from \"./propagation-types\";\n\nexport const derivedFromPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"derived_from\",\n  direction: \"incoming\",\n  transitivity: \"none\",\n  damping: 1,\n  maxHops: 1,\n  operator: () => null,\n  description:\n    \"Provenance only. The traversal surface stays explicit, but confidence does not move across derived_from edges.\",\n};\n"]}

package/dist/edges/elaborates.d.ts

@@ -1,4 +1,4 @@
-import { EdgePropagationSpec } from './propagationTypes.js';
+import { EdgePropagationSpec } from './propagation-types.js';
 import '@lucern/confidence';
 
 declare const elaboratesPropagationSpec: EdgePropagationSpec;

package/dist/edges/elaborates.js.map

@@ -1 +1 @@
-{"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 const propagateNegativeInform = applyNegativeEvidence;\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  type EdgeMetadata,\n  type PropagationResult,\n  project,\n  type SLOpinion,\n  trustDiscount,\n} from \"@lucern/confidence\";\nimport type {\n  EdgePropagationSpec,\n  PropagationEdgeRecord,\n} from \"./propagation-types\";\n\nexport function readEdgeMetadata<TNodeId extends string>(\n  edge: PropagationEdgeRecord<TNodeId>\n): EdgeMetadata {\n  return {\n    constraint: edge.constraint ?? undefined,\n    normalization: edge.normalization ?? undefined,\n    propagation: edge.propagation ?? undefined,\n    conditionalA: edge.conditionalA ?? undefined,\n    conditionalNotA: edge.conditionalNotA ?? undefined,\n  };\n}\n\nexport function applyPerHopDamping(\n  sourceOpinion: SLOpinion,\n  damping: number\n): SLOpinion {\n  if (damping >= 1) {\n    return sourceOpinion;\n  }\n\n  return trustDiscount(sourceOpinion, Math.max(0, damping));\n}\n\nexport function annotateRationale(\n  result: PropagationResult,\n  spec: EdgePropagationSpec,\n  hop: number\n): PropagationResult {\n  return {\n    ...result,\n    rationale: `hop=${hop} edge=${spec.edgeType} damping=${spec.damping.toFixed(\n      2\n    )} :: ${result.rationale}`,\n  };\n}\n\nexport function propagatePositiveSupport(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(\n      2\n    )}) from source at ${project(sourceOpinion).toFixed(2)}`,\n  };\n}\n\nexport function propagatePositiveInform(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(2)})`,\n  };\n}\n\nexport function propagateNegativeSupportWithMetadata(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number,\n  edge: PropagationEdgeRecord\n): PropagationResult {\n  return applyNegativeSupport(\n    sourceOpinion,\n    targetOpinion,\n    edgeWeight,\n    readEdgeMetadata(edge)\n  );\n}\n\nexport const propagateNegativeInform = applyNegativeEvidence;\n","import type { EdgePropagationSpec } from \"./propagation-types\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  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"]}

package/dist/edges/index.d.ts

@@ -1,10 +1,14 @@
-import { EdgePropagationSpec, PropagationSpecDirection, PropagationTraversalDirection } from './propagationTypes.js';
-export { PropagationEdgeRecord, PropagationEdgeType, canContinueTransitively, canTraverseHop, isPropagationTraversalDirection } from './propagationTypes.js';
+import { EdgePropagationSpec, canContinueTransitively as canContinueTransitively$1, canTraverseHop as canTraverseHop$1, PropagationSpecDirection, PropagationTraversalDirection, isPropagationTraversalDirection as isPropagationTraversalDirection$1 } from './propagation-types.js';
+export { PropagationEdgeRecord, PropagationEdgeType } from './propagation-types.js';
 import '@lucern/confidence';
 
+declare const canContinueTransitively: typeof canContinueTransitively$1;
+declare const canTraverseHop: typeof canTraverseHop$1;
+declare const isPropagationTraversalDirection: typeof isPropagationTraversalDirection$1;
+
 declare const EDGE_PROPAGATION_SPECS: readonly EdgePropagationSpec[];
 declare function getEdgePropagationSpec(edgeType: string): EdgePropagationSpec | undefined;
 declare function getEdgePropagationSpecs(): readonly EdgePropagationSpec[];
 declare function getTraversalDirections(direction: PropagationSpecDirection): readonly PropagationTraversalDirection[];
 
-export { EDGE_PROPAGATION_SPECS, EdgePropagationSpec, PropagationSpecDirection, PropagationTraversalDirection, getEdgePropagationSpec, getEdgePropagationSpecs, getTraversalDirections };
+export { EDGE_PROPAGATION_SPECS, EdgePropagationSpec, PropagationSpecDirection, PropagationTraversalDirection, canContinueTransitively, canTraverseHop, getEdgePropagationSpec, getEdgePropagationSpecs, getTraversalDirections, isPropagationTraversalDirection };

package/dist/edges/index.js

@@ -135,7 +135,7 @@ var dependsOnPropagationSpec = {
   description: "Structural gating. Textbook conditional deduction when edge conditionals exist, otherwise damped dependency cascade through downstream chains."
 };
 
-// src/edges/derivedFrom.ts
+// src/edges/derived-from.ts
 var derivedFromPropagationSpec = {
   edgeType: "derived_from",
   direction: "incoming",
@@ -188,7 +188,7 @@ var informsPropagationSpec = {
   description: "Evidence-bearing influence. Informs can chain through the graph with light per-hop damping."
 };
 
-// src/edges/propagationTypes.ts
+// src/edges/propagation-types.ts
 function isPropagationTraversalDirection(direction) {
   return direction === "outgoing" || direction === "incoming";
 }
@@ -261,6 +261,9 @@ var testsPropagationSpec = {
 };
 
 // src/edges/index.ts
+var canContinueTransitively2 = canContinueTransitively;
+var canTraverseHop2 = canTraverseHop;
+var isPropagationTraversalDirection2 = isPropagationTraversalDirection;
 var EDGE_PROPAGATION_SPECS = [
   supportsPropagationSpec,
   informsPropagationSpec,
@@ -280,12 +283,12 @@ function getEdgePropagationSpecs() {
   return EDGE_PROPAGATION_SPECS;
 }
 function getTraversalDirections(direction) {
-  if (isPropagationTraversalDirection(direction)) {
+  if (isPropagationTraversalDirection2(direction)) {
     return [direction];
   }
   return ["outgoing", "incoming"];
 }
 
-export { EDGE_PROPAGATION_SPECS, canContinueTransitively, canTraverseHop, getEdgePropagationSpec, getEdgePropagationSpecs, getTraversalDirections, isPropagationTraversalDirection };
+export { EDGE_PROPAGATION_SPECS, canContinueTransitively2 as canContinueTransitively, canTraverseHop2 as canTraverseHop, getEdgePropagationSpec, getEdgePropagationSpecs, getTraversalDirections, isPropagationTraversalDirection2 as isPropagationTraversalDirection };
 //# sourceMappingURL=index.js.map
 //# sourceMappingURL=index.js.map

package/dist/edges/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/edges/contains.ts","../../src/edges/utils.ts","../../src/edges/contradicts.ts","../../src/edges/dependsOn.ts","../../src/edges/derivedFrom.ts","../../src/edges/elaborates.ts","../../src/edges/informs.ts","../../src/edges/propagationTypes.ts","../../src/edges/refutes.ts","../../src/edges/supports.ts","../../src/edges/tests.ts","../../src/edges/index.ts"],"names":["project"],"mappings":";;;AAEO,IAAM,uBAAA,GAA+C;AAAA,EAC1D,QAAA,EAAU,UAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,CAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,UAAU,MAAM,IAAA;AAAA,EAChB,WAAA,EACE;AACJ,CAAA;ACIO,SAAS,iBACd,IAAA,EACc;AACd,EAAA,OAAO;AAAA,IACL,UAAA,EAAY,KAAK,UAAA,IAAc,MAAA;AAAA,IAC/B,aAAA,EAAe,KAAK,aAAA,IAAiB,MAAA;AAAA,IACrC,WAAA,EAAa,KAAK,WAAA,IAAe,MAAA;AAAA,IACjC,YAAA,EAAc,KAAK,YAAA,IAAgB,MAAA;AAAA,IACnC,eAAA,EAAiB,KAAK,eAAA,IAAmB;AAAA,GAC3C;AACF;AAEO,SAAS,kBAAA,CACd,eACA,OAAA,EACW;AACX,EAAA,IAAI,WAAW,CAAA,EAAG;AAChB,IAAA,OAAO,aAAA;AAAA,EACT;AAEA,EAAA,OAAO,cAAc,aAAA,EAAe,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,OAAO,CAAC,CAAA;AAC1D;AAEO,SAAS,iBAAA,CACd,MAAA,EACA,IAAA,EACA,GAAA,EACmB;AACnB,EAAA,OAAO;AAAA,IACL,GAAG,MAAA;AAAA,IACH,SAAA,EAAW,OAAO,GAAG,CAAA,MAAA,EAAS,KAAK,QAAQ,CAAA,SAAA,EAAY,KAAK,OAAA,CAAQ,OAAA;AAAA,MAClE;AAAA,KACD,CAAA,IAAA,EAAO,MAAA,CAAO,SAAS,CAAA;AAAA,GAC1B;AACF;AAEO,SAAS,wBAAA,CACd,aAAA,EACA,aAAA,EACA,UAAA,EACmB;AACnB,EAAA,MAAM,aAAa,aAAA,CAAc,aAAA,EAAe,IAAA,CAAK,GAAA,CAAI,UAAU,CAAC,CAAA;AACpE,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,gBAAA,CAAiB,aAAA,EAAe,UAAU,CAAA;AAAA,IACnD,QAAA,EAAU,mBAAA;AAAA,IACV,SAAA,EAAW,+BAA+B,UAAA,CAAW,OAAA;AAAA,MACnD;AAAA,KACD,CAAA,iBAAA,EAAoB,OAAA,CAAQ,aAAa,CAAA,CAAE,OAAA,CAAQ,CAAC,CAAC,CAAA;AAAA,GACxD;AACF;AAEO,SAAS,uBAAA,CACd,aAAA,EACA,aAAA,EACA,UAAA,EACmB;AACnB,EAAA,MAAM,aAAa,aAAA,CAAc,aAAA,EAAe,IAAA,CAAK,GAAA,CAAI,UAAU,CAAC,CAAA;AACpE,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,gBAAA,CAAiB,aAAA,EAAe,UAAU,CAAA;AAAA,IACnD,QAAA,EAAU,mBAAA;AAAA,IACV,SAAA,EAAW,CAAA,4BAAA,EAA+B,UAAA,CAAW,OAAA,CAAQ,CAAC,CAAC,CAAA,CAAA;AAAA,GACjE;AACF;AAEO,SAAS,oCAAA,CACd,aAAA,EACA,aAAA,EACA,UAAA,EACA,IAAA,EACmB;AACnB,EAAA,OAAO,oBAAA;AAAA,IACL,aAAA;AAAA,IACA,aAAA;AAAA,IACA,UAAA;AAAA,IACA,iBAAiB,IAAI;AAAA,GACvB;AACF;AAEO,IAAM,uBAAA,GAA0B,qBAAA;;;ACtFhC,IAAM,0BAAA,GAAkD;AAAA,EAC7D,QAAA,EAAU,aAAA;AAAA,EACV,SAAA,EAAW,eAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,IAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,iBAAiB,CAAC,IAAA,CAAK,GAAA,CAAI,IAAA,CAAK,UAAU,CAAC,CAAA;AACjD,IAAA,MAAM,MAAA,GAAS,oCAAA;AAAA,MACb,YAAA;AAAA,MACA,aAAA;AAAA,MACA,cAAA;AAAA,MACA;AAAA,KACF;AAEA,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;ACrBO,IAAM,wBAAA,GAAgD;AAAA,EAC3D,QAAA,EAAU,YAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,QAAA;AAAA,EACd,OAAA,EAAS,GAAA;AAAA,EACT,OAAA,EAAS,WAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,QAAA,GAAW,iBAAiB,IAAI,CAAA;AAEtC,IAAA,IAAI,QAAA,CAAS,YAAA,IAAgB,QAAA,CAAS,eAAA,EAAiB;AACrD,MAAA,MAAM,cAAA,GAAiB,oBAAA;AAAA,QACrB,YAAA;AAAA,QACA,SAAA;AAAA,UACE,SAAS,YAAA,CAAa,CAAA;AAAA,UACtB,SAAS,YAAA,CAAa,CAAA;AAAA,UACtB,SAAS,YAAA,CAAa,CAAA;AAAA,UACtB,SAAS,YAAA,CAAa;AAAA,SACxB;AAAA,QACA,SAAA;AAAA,UACE,SAAS,eAAA,CAAgB,CAAA;AAAA,UACzB,SAAS,eAAA,CAAgB,CAAA;AAAA,UACzB,SAAS,eAAA,CAAgB,CAAA;AAAA,UACzB,SAAS,eAAA,CAAgB;AAAA,SAC3B;AAAA,QACA,aAAA,CAAc;AAAA,OAChB;AAEA,MAAA,OAAO,iBAAA;AAAA,QACL;AAAA,UACE,OAAA,EAAS,cAAA;AAAA,UACT,QAAA,EAAU,uBAAA;AAAA,UACV,WAAW,CAAA,uCAAA,EAA0CA,OAAAA;AAAA,YACnD;AAAA,WACF,CAAE,OAAA,CAAQ,CAAC,CAAC,CAAA;AAAA,SACd;AAAA,QACA,OAAA,CAAQ,IAAA;AAAA,QACR,OAAA,CAAQ;AAAA,OACV;AAAA,IACF;AAEA,IAAA,MAAM,MAAA,GAAS,uBAAA;AAAA,MACb,YAAA;AAAA,MACA,aAAA;AAAA,MACA,SAAS,WAAA,IAAe;AAAA,KAC1B;AAEA,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;;;AC7DO,IAAM,0BAAA,GAAkD;AAAA,EAC7D,QAAA,EAAU,cAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,CAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,UAAU,MAAM,IAAA;AAAA,EAChB,WAAA,EACE;AACJ,CAAA;;;ACJO,IAAM,yBAAA,GAAiD;AAAA,EAC5D,QAAA,EAAU,YAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,QAAA;AAAA,EACd,OAAA,EAAS,GAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,gBAAA,GAAmB,KAAK,GAAA,CAAI,IAAA,CAAK,IAAI,IAAA,CAAK,MAAA,IAAU,IAAI,CAAA,EAAG,IAAI,CAAA;AACrE,IAAA,MAAM,MAAA,GAAS,uBAAA;AAAA,MACb,YAAA;AAAA,MACA,aAAA;AAAA,MACA;AAAA,KACF;AAEA,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;;;ACrBO,IAAM,sBAAA,GAA8C;AAAA,EACzD,QAAA,EAAU,SAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,IAAA;AAAA,EACT,OAAA,EAAS,WAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,MAAA,GAAS,KAAK,MAAA,IAAU,CAAA;AAC9B,IAAA,MAAM,MAAA,GACJ,MAAA,GAAS,CAAA,GACL,uBAAA,CAAwB,YAAA,EAAc,aAAA,EAAe,MAAM,CAAA,GAC3D,uBAAA,CAAwB,YAAA,EAAc,aAAA,EAAe,MAAM,CAAA;AAEjE,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;;;AC6BO,SAAS,gCACd,SAAA,EAC4C;AAC5C,EAAA,OAAO,SAAA,KAAc,cAAc,SAAA,KAAc,UAAA;AACnD;AAEO,SAAS,cAAA,CACd,MACA,OAAA,EACS;AACT,EAAA,OAAO,IAAA,CAAK,OAAA,KAAY,WAAA,IAAe,OAAA,IAAW,IAAA,CAAK,OAAA;AACzD;AAEO,SAAS,uBAAA,CACd,MACA,UAAA,EACS;AACT,EAAA,IAAI,IAAA,CAAK,iBAAiB,MAAA,EAAQ;AAChC,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,OAAO,IAAA,CAAK,OAAA,KAAY,WAAA,IAAe,UAAA,GAAa,IAAA,CAAK,OAAA;AAC3D;;;ACzEO,IAAM,sBAAA,GAA8C;AAAA,EACzD,QAAA,EAAU,SAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,GAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,iBAAiB,CAAC,IAAA,CAAK,GAAA,CAAI,IAAA,CAAK,UAAU,CAAC,CAAA;AACjD,IAAA,MAAM,MAAA,GAAS,uBAAA;AAAA,MACb,YAAA;AAAA,MACA,aAAA;AAAA,MACA;AAAA,KACF;AAEA,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;;;ACrBO,IAAM,uBAAA,GAA+C;AAAA,EAC1D,QAAA,EAAU,UAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,IAAA;AAAA,EACT,OAAA,EAAS,WAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,MAAA,GAAS,KAAK,MAAA,IAAU,CAAA;AAC9B,IAAA,MAAM,MAAA,GACJ,SAAS,CAAA,GACL,oCAAA;AAAA,MACE,YAAA;AAAA,MACA,aAAA;AAAA,MACA,MAAA;AAAA,MACA;AAAA,KACF,GACA,wBAAA,CAAyB,YAAA,EAAc,aAAA,EAAe,MAAM,CAAA;AAElE,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;;;AChCO,IAAM,oBAAA,GAA4C;AAAA,EACvD,QAAA,EAAU,OAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,CAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,UAAU,MAAM,IAAA;AAAA,EAChB,WAAA,EACE;AACJ,CAAA;;;ACuBO,IAAM,sBAAA,GAAyD;AAAA,EACpE,uBAAA;AAAA,EACA,sBAAA;AAAA,EACA,wBAAA;AAAA,EACA,0BAAA;AAAA,EACA,uBAAA;AAAA,EACA,oBAAA;AAAA,EACA,0BAAA;AAAA,EACA,sBAAA;AAAA,EACA;AACF;AAEA,IAAM,yBAAA,GAA4B,IAAI,GAAA,CAGpC,sBAAA,CAAuB,GAAA,CAAI,CAAC,IAAA,KAAS,CAAC,IAAA,CAAK,QAAA,EAAU,IAAI,CAAC,CAAC,CAAA;AAEtD,SAAS,uBACd,QAAA,EACiC;AACjC,EAAA,OAAO,yBAAA,CAA0B,IAAI,QAA+B,CAAA;AACtE;AAEO,SAAS,uBAAA,GAA0D;AACxE,EAAA,OAAO,sBAAA;AACT;AAEO,SAAS,uBACd,SAAA,EAC0C;AAC1C,EAAA,IAAI,+BAAA,CAAgC,SAAS,CAAA,EAAG;AAC9C,IAAA,OAAO,CAAC,SAAS,CAAA;AAAA,EACnB;AAEA,EAAA,OAAO,CAAC,YAAY,UAAU,CAAA;AAChC","file":"index.js","sourcesContent":["import type { EdgePropagationSpec } from \"./propagationTypes\";\n\nexport const containsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"contains\",\n  direction: \"outgoing\",\n  transitivity: \"none\",\n  damping: 1,\n  maxHops: 1,\n  operator: () => null,\n  description:\n    \"Structural containment only. Traversed for explicit semantics, but it never propagates opinions.\",\n};\n\n","import {\n  applyNegativeEvidence,\n  applyNegativeSupport,\n  cumulativeFusion,\n  project,\n  trustDiscount,\n  type EdgeMetadata,\n  type PropagationResult,\n  type SLOpinion,\n} from \"@lucern/confidence\";\nimport type {\n  EdgePropagationSpec,\n  PropagationEdgeRecord,\n} from \"./propagationTypes\";\n\nexport function readEdgeMetadata<TNodeId extends string>(\n  edge: PropagationEdgeRecord<TNodeId>\n): EdgeMetadata {\n  return {\n    constraint: edge.constraint ?? undefined,\n    normalization: edge.normalization ?? undefined,\n    propagation: edge.propagation ?? undefined,\n    conditionalA: edge.conditionalA ?? undefined,\n    conditionalNotA: edge.conditionalNotA ?? undefined,\n  };\n}\n\nexport function applyPerHopDamping(\n  sourceOpinion: SLOpinion,\n  damping: number\n): SLOpinion {\n  if (damping >= 1) {\n    return sourceOpinion;\n  }\n\n  return trustDiscount(sourceOpinion, Math.max(0, damping));\n}\n\nexport function annotateRationale(\n  result: PropagationResult,\n  spec: EdgePropagationSpec,\n  hop: number\n): PropagationResult {\n  return {\n    ...result,\n    rationale: `hop=${hop} edge=${spec.edgeType} damping=${spec.damping.toFixed(\n      2\n    )} :: ${result.rationale}`,\n  };\n}\n\nexport function propagatePositiveSupport(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(\n      2\n    )}) from source at ${project(sourceOpinion).toFixed(2)}`,\n  };\n}\n\nexport function propagatePositiveInform(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(2)})`,\n  };\n}\n\nexport function propagateNegativeSupportWithMetadata(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number,\n  edge: PropagationEdgeRecord\n): PropagationResult {\n  return applyNegativeSupport(\n    sourceOpinion,\n    targetOpinion,\n    edgeWeight,\n    readEdgeMetadata(edge)\n  );\n}\n\nexport const propagateNegativeInform = applyNegativeEvidence;\n","import type { EdgePropagationSpec } from \"./propagationTypes\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagateNegativeSupportWithMetadata,\n} from \"./utils\";\n\nexport const contradictsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"contradicts\",\n  direction: \"bidirectional\",\n  transitivity: \"none\",\n  damping: 0.85,\n  maxHops: 1,\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const negativeWeight = -Math.abs(edge.weight ?? 1);\n    const result = propagateNegativeSupportWithMetadata(\n      dampedSource,\n      targetOpinion,\n      negativeWeight,\n      edge\n    );\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Legacy contradiction edges move negative pressure in either direction, but never beyond one hop.\",\n};\n\n","import {\n  conditionalDeduction,\n  dampedDependencyCascade,\n  mkOpinion,\n  project,\n} from \"@lucern/confidence\";\nimport type { EdgePropagationSpec } from \"./propagationTypes\";\nimport { annotateRationale, applyPerHopDamping, readEdgeMetadata } from \"./utils\";\n\nexport const dependsOnPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"depends_on\",\n  direction: \"incoming\",\n  transitivity: \"damped\",\n  damping: 0.8,\n  maxHops: \"unbounded\",\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const metadata = readEdgeMetadata(edge);\n\n    if (metadata.conditionalA && metadata.conditionalNotA) {\n      const deducedOpinion = conditionalDeduction(\n        dampedSource,\n        mkOpinion(\n          metadata.conditionalA.b,\n          metadata.conditionalA.d,\n          metadata.conditionalA.u,\n          metadata.conditionalA.a\n        ),\n        mkOpinion(\n          metadata.conditionalNotA.b,\n          metadata.conditionalNotA.d,\n          metadata.conditionalNotA.u,\n          metadata.conditionalNotA.a\n        ),\n        targetOpinion.a\n      );\n\n      return annotateRationale(\n        {\n          opinion: deducedOpinion,\n          operator: \"conditional_deduction\",\n          rationale: `Conditional deduction: prerequisite at ${project(\n            dampedSource\n          ).toFixed(2)}`,\n        },\n        context.spec,\n        context.hop\n      );\n    }\n\n    const result = dampedDependencyCascade(\n      dampedSource,\n      targetOpinion,\n      metadata.propagation ?? \"continuous\"\n    );\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Structural gating. Textbook conditional deduction when edge conditionals exist, otherwise damped dependency cascade through downstream chains.\",\n};\n","import type { EdgePropagationSpec } from \"./propagationTypes\";\n\nexport const derivedFromPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"derived_from\",\n  direction: \"incoming\",\n  transitivity: \"none\",\n  damping: 1,\n  maxHops: 1,\n  operator: () => null,\n  description:\n    \"Provenance only. The traversal surface stays explicit, but confidence does not move across derived_from edges.\",\n};\n\n","import type { EdgePropagationSpec } from \"./propagationTypes\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagatePositiveInform,\n} from \"./utils\";\n\nexport const elaboratesPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"elaborates\",\n  direction: \"outgoing\",\n  transitivity: \"damped\",\n  damping: 0.7,\n  maxHops: 2,\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const contextualWeight = Math.min(Math.abs(edge.weight ?? 0.35), 0.35);\n    const result = propagatePositiveInform(\n      dampedSource,\n      targetOpinion,\n      contextualWeight\n    );\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Context-rich supporting detail. Elaborates carries a small positive effect with short, damped chaining.\",\n};\n\n","import type { EdgePropagationSpec } from \"./propagationTypes\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagateNegativeInform,\n  propagatePositiveInform,\n} from \"./utils\";\n\nexport const informsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"informs\",\n  direction: \"outgoing\",\n  transitivity: \"full\",\n  damping: 0.92,\n  maxHops: \"unbounded\",\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const weight = edge.weight ?? 1;\n    const result =\n      weight < 0\n        ? propagateNegativeInform(dampedSource, targetOpinion, weight)\n        : propagatePositiveInform(dampedSource, targetOpinion, weight);\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Evidence-bearing influence. Informs can chain through the graph with light per-hop damping.\",\n};\n\n","import type {\n  EdgeMetadata,\n  PropagationResult,\n  SLOpinion,\n} from \"@lucern/confidence\";\n\nexport type PropagationTraversalDirection = \"outgoing\" | \"incoming\";\n\nexport type PropagationSpecDirection =\n  | PropagationTraversalDirection\n  | \"bidirectional\";\n\nexport type PropagationEdgeType =\n  | \"supports\"\n  | \"depends_on\"\n  | \"informs\"\n  | \"contains\"\n  | \"tests\"\n  | \"derived_from\"\n  | \"contradicts\"\n  | \"refutes\"\n  | \"elaborates\";\n\nexport type PropagationEdgeRecord<TNodeId extends string = string> = {\n  fromNodeId?: TNodeId | null;\n  toNodeId?: TNodeId | null;\n  edgeType: string;\n  weight?: number | null;\n  constraint?: EdgeMetadata[\"constraint\"] | null;\n  normalization?: EdgeMetadata[\"normalization\"] | null;\n  propagation?: EdgeMetadata[\"propagation\"] | null;\n  conditionalA?: EdgeMetadata[\"conditionalA\"] | null;\n  conditionalNotA?: EdgeMetadata[\"conditionalNotA\"] | null;\n  tenantId?: string;\n  workspaceId?: string;\n};\n\nexport type EdgePropagationSpec<TNodeId extends string = string> = {\n  edgeType: PropagationEdgeType;\n  direction: PropagationSpecDirection;\n  transitivity: \"none\" | \"damped\" | \"full\";\n  damping: number;\n  maxHops: number | \"unbounded\";\n  operator: (\n    sourceOpinion: SLOpinion,\n    targetOpinion: SLOpinion,\n    edge: PropagationEdgeRecord<TNodeId>,\n    context: {\n      hop: number;\n      sourceNodeId: TNodeId;\n      targetNodeId: TNodeId;\n      traversedDirection: PropagationTraversalDirection;\n      spec: EdgePropagationSpec<TNodeId>;\n    }\n  ) => PropagationResult | null;\n  description: string;\n};\n\nexport function isPropagationTraversalDirection(\n  direction: string\n): direction is PropagationTraversalDirection {\n  return direction === \"outgoing\" || direction === \"incoming\";\n}\n\nexport function canTraverseHop<TNodeId extends string>(\n  spec: EdgePropagationSpec<TNodeId>,\n  nextHop: number\n): boolean {\n  return spec.maxHops === \"unbounded\" || nextHop <= spec.maxHops;\n}\n\nexport function canContinueTransitively<TNodeId extends string>(\n  spec: EdgePropagationSpec<TNodeId>,\n  currentHop: number\n): boolean {\n  if (spec.transitivity === \"none\") {\n    return false;\n  }\n\n  return spec.maxHops === \"unbounded\" || currentHop < spec.maxHops;\n}\n","import type { EdgePropagationSpec } from \"./propagationTypes\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagateNegativeInform,\n} from \"./utils\";\n\nexport const refutesPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"refutes\",\n  direction: \"outgoing\",\n  transitivity: \"none\",\n  damping: 0.9,\n  maxHops: 1,\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const negativeWeight = -Math.abs(edge.weight ?? 1);\n    const result = propagateNegativeInform(\n      dampedSource,\n      targetOpinion,\n      negativeWeight\n    );\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Explicit negative evidence semantics. Refutes is treated as strong one-hop counter-evidence.\",\n};\n\n","import type { EdgePropagationSpec } from \"./propagationTypes\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagateNegativeSupportWithMetadata,\n  propagatePositiveSupport,\n} from \"./utils\";\n\nexport const supportsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"supports\",\n  direction: \"outgoing\",\n  transitivity: \"full\",\n  damping: 0.85,\n  maxHops: \"unbounded\",\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const weight = edge.weight ?? 1;\n    const result =\n      weight < 0\n        ? propagateNegativeSupportWithMetadata(\n            dampedSource,\n            targetOpinion,\n            weight,\n            edge\n          )\n        : propagatePositiveSupport(dampedSource, targetOpinion, weight);\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Belief-to-belief influence. Supports chains transitively with moderate per-hop damping.\",\n};\n\n","import type { EdgePropagationSpec } from \"./propagationTypes\";\n\nexport const testsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"tests\",\n  direction: \"outgoing\",\n  transitivity: \"none\",\n  damping: 1,\n  maxHops: 1,\n  operator: () => null,\n  description:\n    \"Interrogation linkage only. Tests edges do not directly move confidence.\",\n};\n\n","import { containsPropagationSpec } from \"./contains\";\nimport { contradictsPropagationSpec } from \"./contradicts\";\nimport { dependsOnPropagationSpec } from \"./dependsOn\";\nimport { derivedFromPropagationSpec } from \"./derivedFrom\";\nimport { elaboratesPropagationSpec } from \"./elaborates\";\nimport { informsPropagationSpec } from \"./informs\";\nimport type {\n  EdgePropagationSpec,\n  PropagationEdgeType,\n  PropagationSpecDirection,\n  PropagationTraversalDirection,\n} from \"./propagationTypes\";\nimport {\n  canContinueTransitively,\n  canTraverseHop,\n  isPropagationTraversalDirection,\n} from \"./propagationTypes\";\nimport { refutesPropagationSpec } from \"./refutes\";\nimport { supportsPropagationSpec } from \"./supports\";\nimport { testsPropagationSpec } from \"./tests\";\n\nexport type {\n  EdgePropagationSpec,\n  PropagationEdgeRecord,\n  PropagationEdgeType,\n  PropagationSpecDirection,\n  PropagationTraversalDirection,\n} from \"./propagationTypes\";\nexport {\n  canContinueTransitively,\n  canTraverseHop,\n  isPropagationTraversalDirection,\n} from \"./propagationTypes\";\n\nexport const EDGE_PROPAGATION_SPECS: readonly EdgePropagationSpec[] = [\n  supportsPropagationSpec,\n  informsPropagationSpec,\n  dependsOnPropagationSpec,\n  derivedFromPropagationSpec,\n  containsPropagationSpec,\n  testsPropagationSpec,\n  contradictsPropagationSpec,\n  refutesPropagationSpec,\n  elaboratesPropagationSpec,\n] as const;\n\nconst EDGE_PROPAGATION_SPEC_MAP = new Map<\n  PropagationEdgeType,\n  EdgePropagationSpec\n>(EDGE_PROPAGATION_SPECS.map((spec) => [spec.edgeType, spec]));\n\nexport function getEdgePropagationSpec(\n  edgeType: string\n): EdgePropagationSpec | undefined {\n  return EDGE_PROPAGATION_SPEC_MAP.get(edgeType as PropagationEdgeType);\n}\n\nexport function getEdgePropagationSpecs(): readonly EdgePropagationSpec[] {\n  return EDGE_PROPAGATION_SPECS;\n}\n\nexport function getTraversalDirections(\n  direction: PropagationSpecDirection\n): readonly PropagationTraversalDirection[] {\n  if (isPropagationTraversalDirection(direction)) {\n    return [direction];\n  }\n\n  return [\"outgoing\", \"incoming\"];\n}\n"]}
+{"version":3,"sources":["../../src/edges/contains.ts","../../src/edges/utils.ts","../../src/edges/contradicts.ts","../../src/edges/depends-on.ts","../../src/edges/derived-from.ts","../../src/edges/elaborates.ts","../../src/edges/informs.ts","../../src/edges/propagation-types.ts","../../src/edges/refutes.ts","../../src/edges/supports.ts","../../src/edges/tests.ts","../../src/edges/index.ts"],"names":["project","canContinueTransitively","canTraverseHop","isPropagationTraversalDirection"],"mappings":";;;AAEO,IAAM,uBAAA,GAA+C;AAAA,EAC1D,QAAA,EAAU,UAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,CAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,UAAU,MAAM,IAAA;AAAA,EAChB,WAAA,EACE;AACJ,CAAA;ACIO,SAAS,iBACd,IAAA,EACc;AACd,EAAA,OAAO;AAAA,IACL,UAAA,EAAY,KAAK,UAAA,IAAc,MAAA;AAAA,IAC/B,aAAA,EAAe,KAAK,aAAA,IAAiB,MAAA;AAAA,IACrC,WAAA,EAAa,KAAK,WAAA,IAAe,MAAA;AAAA,IACjC,YAAA,EAAc,KAAK,YAAA,IAAgB,MAAA;AAAA,IACnC,eAAA,EAAiB,KAAK,eAAA,IAAmB;AAAA,GAC3C;AACF;AAEO,SAAS,kBAAA,CACd,eACA,OAAA,EACW;AACX,EAAA,IAAI,WAAW,CAAA,EAAG;AAChB,IAAA,OAAO,aAAA;AAAA,EACT;AAEA,EAAA,OAAO,cAAc,aAAA,EAAe,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,OAAO,CAAC,CAAA;AAC1D;AAEO,SAAS,iBAAA,CACd,MAAA,EACA,IAAA,EACA,GAAA,EACmB;AACnB,EAAA,OAAO;AAAA,IACL,GAAG,MAAA;AAAA,IACH,SAAA,EAAW,OAAO,GAAG,CAAA,MAAA,EAAS,KAAK,QAAQ,CAAA,SAAA,EAAY,KAAK,OAAA,CAAQ,OAAA;AAAA,MAClE;AAAA,KACD,CAAA,IAAA,EAAO,MAAA,CAAO,SAAS,CAAA;AAAA,GAC1B;AACF;AAEO,SAAS,wBAAA,CACd,aAAA,EACA,aAAA,EACA,UAAA,EACmB;AACnB,EAAA,MAAM,aAAa,aAAA,CAAc,aAAA,EAAe,IAAA,CAAK,GAAA,CAAI,UAAU,CAAC,CAAA;AACpE,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,gBAAA,CAAiB,aAAA,EAAe,UAAU,CAAA;AAAA,IACnD,QAAA,EAAU,mBAAA;AAAA,IACV,SAAA,EAAW,+BAA+B,UAAA,CAAW,OAAA;AAAA,MACnD;AAAA,KACD,CAAA,iBAAA,EAAoB,OAAA,CAAQ,aAAa,CAAA,CAAE,OAAA,CAAQ,CAAC,CAAC,CAAA;AAAA,GACxD;AACF;AAEO,SAAS,uBAAA,CACd,aAAA,EACA,aAAA,EACA,UAAA,EACmB;AACnB,EAAA,MAAM,aAAa,aAAA,CAAc,aAAA,EAAe,IAAA,CAAK,GAAA,CAAI,UAAU,CAAC,CAAA;AACpE,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,gBAAA,CAAiB,aAAA,EAAe,UAAU,CAAA;AAAA,IACnD,QAAA,EAAU,mBAAA;AAAA,IACV,SAAA,EAAW,CAAA,4BAAA,EAA+B,UAAA,CAAW,OAAA,CAAQ,CAAC,CAAC,CAAA,CAAA;AAAA,GACjE;AACF;AAEO,SAAS,oCAAA,CACd,aAAA,EACA,aAAA,EACA,UAAA,EACA,IAAA,EACmB;AACnB,EAAA,OAAO,oBAAA;AAAA,IACL,aAAA;AAAA,IACA,aAAA;AAAA,IACA,UAAA;AAAA,IACA,iBAAiB,IAAI;AAAA,GACvB;AACF;AAEO,IAAM,uBAAA,GAA0B,qBAAA;;;ACtFhC,IAAM,0BAAA,GAAkD;AAAA,EAC7D,QAAA,EAAU,aAAA;AAAA,EACV,SAAA,EAAW,eAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,IAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,iBAAiB,CAAC,IAAA,CAAK,GAAA,CAAI,IAAA,CAAK,UAAU,CAAC,CAAA;AACjD,IAAA,MAAM,MAAA,GAAS,oCAAA;AAAA,MACb,YAAA;AAAA,MACA,aAAA;AAAA,MACA,cAAA;AAAA,MACA;AAAA,KACF;AAEA,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;ACjBO,IAAM,wBAAA,GAAgD;AAAA,EAC3D,QAAA,EAAU,YAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,QAAA;AAAA,EACd,OAAA,EAAS,GAAA;AAAA,EACT,OAAA,EAAS,WAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,QAAA,GAAW,iBAAiB,IAAI,CAAA;AAEtC,IAAA,IAAI,QAAA,CAAS,YAAA,IAAgB,QAAA,CAAS,eAAA,EAAiB;AACrD,MAAA,MAAM,cAAA,GAAiB,oBAAA;AAAA,QACrB,YAAA;AAAA,QACA,SAAA;AAAA,UACE,SAAS,YAAA,CAAa,CAAA;AAAA,UACtB,SAAS,YAAA,CAAa,CAAA;AAAA,UACtB,SAAS,YAAA,CAAa,CAAA;AAAA,UACtB,SAAS,YAAA,CAAa;AAAA,SACxB;AAAA,QACA,SAAA;AAAA,UACE,SAAS,eAAA,CAAgB,CAAA;AAAA,UACzB,SAAS,eAAA,CAAgB,CAAA;AAAA,UACzB,SAAS,eAAA,CAAgB,CAAA;AAAA,UACzB,SAAS,eAAA,CAAgB;AAAA,SAC3B;AAAA,QACA,aAAA,CAAc;AAAA,OAChB;AAEA,MAAA,OAAO,iBAAA;AAAA,QACL;AAAA,UACE,OAAA,EAAS,cAAA;AAAA,UACT,QAAA,EAAU,uBAAA;AAAA,UACV,WAAW,CAAA,uCAAA,EAA0CA,OAAAA;AAAA,YACnD;AAAA,WACF,CAAE,OAAA,CAAQ,CAAC,CAAC,CAAA;AAAA,SACd;AAAA,QACA,OAAA,CAAQ,IAAA;AAAA,QACR,OAAA,CAAQ;AAAA,OACV;AAAA,IACF;AAEA,IAAA,MAAM,MAAA,GAAS,uBAAA;AAAA,MACb,YAAA;AAAA,MACA,aAAA;AAAA,MACA,SAAS,WAAA,IAAe;AAAA,KAC1B;AAEA,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;;;ACjEO,IAAM,0BAAA,GAAkD;AAAA,EAC7D,QAAA,EAAU,cAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,CAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,UAAU,MAAM,IAAA;AAAA,EAChB,WAAA,EACE;AACJ,CAAA;;;ACJO,IAAM,yBAAA,GAAiD;AAAA,EAC5D,QAAA,EAAU,YAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,QAAA;AAAA,EACd,OAAA,EAAS,GAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,gBAAA,GAAmB,KAAK,GAAA,CAAI,IAAA,CAAK,IAAI,IAAA,CAAK,MAAA,IAAU,IAAI,CAAA,EAAG,IAAI,CAAA;AACrE,IAAA,MAAM,MAAA,GAAS,uBAAA;AAAA,MACb,YAAA;AAAA,MACA,aAAA;AAAA,MACA;AAAA,KACF;AAEA,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;;;ACrBO,IAAM,sBAAA,GAA8C;AAAA,EACzD,QAAA,EAAU,SAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,IAAA;AAAA,EACT,OAAA,EAAS,WAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,MAAA,GAAS,KAAK,MAAA,IAAU,CAAA;AAC9B,IAAA,MAAM,MAAA,GACJ,MAAA,GAAS,CAAA,GACL,uBAAA,CAAwB,YAAA,EAAc,aAAA,EAAe,MAAM,CAAA,GAC3D,uBAAA,CAAwB,YAAA,EAAc,aAAA,EAAe,MAAM,CAAA;AAEjE,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;;;AC6BO,SAAS,gCACd,SAAA,EAC4C;AAC5C,EAAA,OAAO,SAAA,KAAc,cAAc,SAAA,KAAc,UAAA;AACnD;AAEO,SAAS,cAAA,CACd,MACA,OAAA,EACS;AACT,EAAA,OAAO,IAAA,CAAK,OAAA,KAAY,WAAA,IAAe,OAAA,IAAW,IAAA,CAAK,OAAA;AACzD;AAEO,SAAS,uBAAA,CACd,MACA,UAAA,EACS;AACT,EAAA,IAAI,IAAA,CAAK,iBAAiB,MAAA,EAAQ;AAChC,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,OAAO,IAAA,CAAK,OAAA,KAAY,WAAA,IAAe,UAAA,GAAa,IAAA,CAAK,OAAA;AAC3D;;;ACzEO,IAAM,sBAAA,GAA8C;AAAA,EACzD,QAAA,EAAU,SAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,GAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,iBAAiB,CAAC,IAAA,CAAK,GAAA,CAAI,IAAA,CAAK,UAAU,CAAC,CAAA;AACjD,IAAA,MAAM,MAAA,GAAS,uBAAA;AAAA,MACb,YAAA;AAAA,MACA,aAAA;AAAA,MACA;AAAA,KACF;AAEA,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;;;ACrBO,IAAM,uBAAA,GAA+C;AAAA,EAC1D,QAAA,EAAU,UAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,IAAA;AAAA,EACT,OAAA,EAAS,WAAA;AAAA,EACT,QAAA,EAAU,CAAC,aAAA,EAAe,aAAA,EAAe,MAAM,OAAA,KAAY;AACzD,IAAA,MAAM,YAAA,GAAe,kBAAA;AAAA,MACnB,aAAA;AAAA,MACA,QAAQ,IAAA,CAAK;AAAA,KACf;AACA,IAAA,MAAM,MAAA,GAAS,KAAK,MAAA,IAAU,CAAA;AAC9B,IAAA,MAAM,MAAA,GACJ,SAAS,CAAA,GACL,oCAAA;AAAA,MACE,YAAA;AAAA,MACA,aAAA;AAAA,MACA,MAAA;AAAA,MACA;AAAA,KACF,GACA,wBAAA,CAAyB,YAAA,EAAc,aAAA,EAAe,MAAM,CAAA;AAElE,IAAA,OAAO,iBAAA,CAAkB,MAAA,EAAQ,OAAA,CAAQ,IAAA,EAAM,QAAQ,GAAG,CAAA;AAAA,EAC5D,CAAA;AAAA,EACA,WAAA,EACE;AACJ,CAAA;;;AChCO,IAAM,oBAAA,GAA4C;AAAA,EACvD,QAAA,EAAU,OAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,CAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,UAAU,MAAM,IAAA;AAAA,EAChB,WAAA,EACE;AACJ,CAAA;;;ACkBA,IAAMC,wBAAAA,GAA0B;AAChC,IAAMC,eAAAA,GAAiB;AACvB,IAAMC,gCAAAA,GAAkC;AAQjC,IAAM,sBAAA,GAAyD;AAAA,EACpE,uBAAA;AAAA,EACA,sBAAA;AAAA,EACA,wBAAA;AAAA,EACA,0BAAA;AAAA,EACA,uBAAA;AAAA,EACA,oBAAA;AAAA,EACA,0BAAA;AAAA,EACA,sBAAA;AAAA,EACA;AACF;AAEA,IAAM,yBAAA,GAA4B,IAAI,GAAA,CAGpC,sBAAA,CAAuB,GAAA,CAAI,CAAC,IAAA,KAAS,CAAC,IAAA,CAAK,QAAA,EAAU,IAAI,CAAC,CAAC,CAAA;AAEtD,SAAS,uBACd,QAAA,EACiC;AACjC,EAAA,OAAO,yBAAA,CAA0B,IAAI,QAA+B,CAAA;AACtE;AAEO,SAAS,uBAAA,GAA0D;AACxE,EAAA,OAAO,sBAAA;AACT;AAEO,SAAS,uBACd,SAAA,EAC0C;AAC1C,EAAA,IAAIA,gCAAAA,CAAgC,SAAS,CAAA,EAAG;AAC9C,IAAA,OAAO,CAAC,SAAS,CAAA;AAAA,EACnB;AAEA,EAAA,OAAO,CAAC,YAAY,UAAU,CAAA;AAChC","file":"index.js","sourcesContent":["import type { EdgePropagationSpec } from \"./propagation-types\";\n\nexport const containsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"contains\",\n  direction: \"outgoing\",\n  transitivity: \"none\",\n  damping: 1,\n  maxHops: 1,\n  operator: () => null,\n  description:\n    \"Structural containment only. Traversed for explicit semantics, but it never propagates opinions.\",\n};\n","import {\n  applyNegativeEvidence,\n  applyNegativeSupport,\n  cumulativeFusion,\n  type EdgeMetadata,\n  type PropagationResult,\n  project,\n  type SLOpinion,\n  trustDiscount,\n} from \"@lucern/confidence\";\nimport type {\n  EdgePropagationSpec,\n  PropagationEdgeRecord,\n} from \"./propagation-types\";\n\nexport function readEdgeMetadata<TNodeId extends string>(\n  edge: PropagationEdgeRecord<TNodeId>\n): EdgeMetadata {\n  return {\n    constraint: edge.constraint ?? undefined,\n    normalization: edge.normalization ?? undefined,\n    propagation: edge.propagation ?? undefined,\n    conditionalA: edge.conditionalA ?? undefined,\n    conditionalNotA: edge.conditionalNotA ?? undefined,\n  };\n}\n\nexport function applyPerHopDamping(\n  sourceOpinion: SLOpinion,\n  damping: number\n): SLOpinion {\n  if (damping >= 1) {\n    return sourceOpinion;\n  }\n\n  return trustDiscount(sourceOpinion, Math.max(0, damping));\n}\n\nexport function annotateRationale(\n  result: PropagationResult,\n  spec: EdgePropagationSpec,\n  hop: number\n): PropagationResult {\n  return {\n    ...result,\n    rationale: `hop=${hop} edge=${spec.edgeType} damping=${spec.damping.toFixed(\n      2\n    )} :: ${result.rationale}`,\n  };\n}\n\nexport function propagatePositiveSupport(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(\n      2\n    )}) from source at ${project(sourceOpinion).toFixed(2)}`,\n  };\n}\n\nexport function propagatePositiveInform(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(2)})`,\n  };\n}\n\nexport function propagateNegativeSupportWithMetadata(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number,\n  edge: PropagationEdgeRecord\n): PropagationResult {\n  return applyNegativeSupport(\n    sourceOpinion,\n    targetOpinion,\n    edgeWeight,\n    readEdgeMetadata(edge)\n  );\n}\n\nexport const propagateNegativeInform = applyNegativeEvidence;\n","import type { EdgePropagationSpec } from \"./propagation-types\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagateNegativeSupportWithMetadata,\n} from \"./utils\";\n\nexport const contradictsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"contradicts\",\n  direction: \"bidirectional\",\n  transitivity: \"none\",\n  damping: 0.85,\n  maxHops: 1,\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const negativeWeight = -Math.abs(edge.weight ?? 1);\n    const result = propagateNegativeSupportWithMetadata(\n      dampedSource,\n      targetOpinion,\n      negativeWeight,\n      edge\n    );\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Legacy contradiction edges move negative pressure in either direction, but never beyond one hop.\",\n};\n","import {\n  conditionalDeduction,\n  dampedDependencyCascade,\n  mkOpinion,\n  project,\n} from \"@lucern/confidence\";\nimport type { EdgePropagationSpec } from \"./propagation-types\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  readEdgeMetadata,\n} from \"./utils\";\n\nexport const dependsOnPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"depends_on\",\n  direction: \"incoming\",\n  transitivity: \"damped\",\n  damping: 0.8,\n  maxHops: \"unbounded\",\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const metadata = readEdgeMetadata(edge);\n\n    if (metadata.conditionalA && metadata.conditionalNotA) {\n      const deducedOpinion = conditionalDeduction(\n        dampedSource,\n        mkOpinion(\n          metadata.conditionalA.b,\n          metadata.conditionalA.d,\n          metadata.conditionalA.u,\n          metadata.conditionalA.a\n        ),\n        mkOpinion(\n          metadata.conditionalNotA.b,\n          metadata.conditionalNotA.d,\n          metadata.conditionalNotA.u,\n          metadata.conditionalNotA.a\n        ),\n        targetOpinion.a\n      );\n\n      return annotateRationale(\n        {\n          opinion: deducedOpinion,\n          operator: \"conditional_deduction\",\n          rationale: `Conditional deduction: prerequisite at ${project(\n            dampedSource\n          ).toFixed(2)}`,\n        },\n        context.spec,\n        context.hop\n      );\n    }\n\n    const result = dampedDependencyCascade(\n      dampedSource,\n      targetOpinion,\n      metadata.propagation ?? \"continuous\"\n    );\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Structural gating. Textbook conditional deduction when edge conditionals exist, otherwise damped dependency cascade through downstream chains.\",\n};\n","import type { EdgePropagationSpec } from \"./propagation-types\";\n\nexport const derivedFromPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"derived_from\",\n  direction: \"incoming\",\n  transitivity: \"none\",\n  damping: 1,\n  maxHops: 1,\n  operator: () => null,\n  description:\n    \"Provenance only. The traversal surface stays explicit, but confidence does not move across derived_from edges.\",\n};\n","import type { EdgePropagationSpec } from \"./propagation-types\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagatePositiveInform,\n} from \"./utils\";\n\nexport const elaboratesPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"elaborates\",\n  direction: \"outgoing\",\n  transitivity: \"damped\",\n  damping: 0.7,\n  maxHops: 2,\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const contextualWeight = Math.min(Math.abs(edge.weight ?? 0.35), 0.35);\n    const result = propagatePositiveInform(\n      dampedSource,\n      targetOpinion,\n      contextualWeight\n    );\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Context-rich supporting detail. Elaborates carries a small positive effect with short, damped chaining.\",\n};\n","import type { EdgePropagationSpec } from \"./propagation-types\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagateNegativeInform,\n  propagatePositiveInform,\n} from \"./utils\";\n\nexport const informsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"informs\",\n  direction: \"outgoing\",\n  transitivity: \"full\",\n  damping: 0.92,\n  maxHops: \"unbounded\",\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const weight = edge.weight ?? 1;\n    const result =\n      weight < 0\n        ? propagateNegativeInform(dampedSource, targetOpinion, weight)\n        : propagatePositiveInform(dampedSource, targetOpinion, weight);\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Evidence-bearing influence. Informs can chain through the graph with light per-hop damping.\",\n};\n","import type {\n  EdgeMetadata,\n  PropagationResult,\n  SLOpinion,\n} from \"@lucern/confidence\";\n\nexport type PropagationTraversalDirection = \"outgoing\" | \"incoming\";\n\nexport type PropagationSpecDirection =\n  | PropagationTraversalDirection\n  | \"bidirectional\";\n\nexport type PropagationEdgeType =\n  | \"supports\"\n  | \"depends_on\"\n  | \"informs\"\n  | \"contains\"\n  | \"tests\"\n  | \"derived_from\"\n  | \"contradicts\"\n  | \"refutes\"\n  | \"elaborates\";\n\nexport interface PropagationEdgeRecord<TNodeId extends string = string> {\n  conditionalA?: EdgeMetadata[\"conditionalA\"] | null;\n  conditionalNotA?: EdgeMetadata[\"conditionalNotA\"] | null;\n  constraint?: EdgeMetadata[\"constraint\"] | null;\n  edgeType: string;\n  fromNodeId?: TNodeId | null;\n  normalization?: EdgeMetadata[\"normalization\"] | null;\n  propagation?: EdgeMetadata[\"propagation\"] | null;\n  tenantId?: string;\n  toNodeId?: TNodeId | null;\n  weight?: number | null;\n  workspaceId?: string;\n}\n\nexport interface EdgePropagationSpec<TNodeId extends string = string> {\n  damping: number;\n  description: string;\n  direction: PropagationSpecDirection;\n  edgeType: PropagationEdgeType;\n  maxHops: number | \"unbounded\";\n  operator: (\n    sourceOpinion: SLOpinion,\n    targetOpinion: SLOpinion,\n    edge: PropagationEdgeRecord<TNodeId>,\n    context: {\n      hop: number;\n      sourceNodeId: TNodeId;\n      targetNodeId: TNodeId;\n      traversedDirection: PropagationTraversalDirection;\n      spec: EdgePropagationSpec<TNodeId>;\n    }\n  ) => PropagationResult | null;\n  transitivity: \"none\" | \"damped\" | \"full\";\n}\n\nexport function isPropagationTraversalDirection(\n  direction: string\n): direction is PropagationTraversalDirection {\n  return direction === \"outgoing\" || direction === \"incoming\";\n}\n\nexport function canTraverseHop<TNodeId extends string>(\n  spec: EdgePropagationSpec<TNodeId>,\n  nextHop: number\n): boolean {\n  return spec.maxHops === \"unbounded\" || nextHop <= spec.maxHops;\n}\n\nexport function canContinueTransitively<TNodeId extends string>(\n  spec: EdgePropagationSpec<TNodeId>,\n  currentHop: number\n): boolean {\n  if (spec.transitivity === \"none\") {\n    return false;\n  }\n\n  return spec.maxHops === \"unbounded\" || currentHop < spec.maxHops;\n}\n","import type { EdgePropagationSpec } from \"./propagation-types\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagateNegativeInform,\n} from \"./utils\";\n\nexport const refutesPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"refutes\",\n  direction: \"outgoing\",\n  transitivity: \"none\",\n  damping: 0.9,\n  maxHops: 1,\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const negativeWeight = -Math.abs(edge.weight ?? 1);\n    const result = propagateNegativeInform(\n      dampedSource,\n      targetOpinion,\n      negativeWeight\n    );\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Explicit negative evidence semantics. Refutes is treated as strong one-hop counter-evidence.\",\n};\n","import type { EdgePropagationSpec } from \"./propagation-types\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagateNegativeSupportWithMetadata,\n  propagatePositiveSupport,\n} from \"./utils\";\n\nexport const supportsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"supports\",\n  direction: \"outgoing\",\n  transitivity: \"full\",\n  damping: 0.85,\n  maxHops: \"unbounded\",\n  operator: (sourceOpinion, targetOpinion, edge, context) => {\n    const dampedSource = applyPerHopDamping(\n      sourceOpinion,\n      context.spec.damping\n    );\n    const weight = edge.weight ?? 1;\n    const result =\n      weight < 0\n        ? propagateNegativeSupportWithMetadata(\n            dampedSource,\n            targetOpinion,\n            weight,\n            edge\n          )\n        : propagatePositiveSupport(dampedSource, targetOpinion, weight);\n\n    return annotateRationale(result, context.spec, context.hop);\n  },\n  description:\n    \"Belief-to-belief influence. Supports chains transitively with moderate per-hop damping.\",\n};\n","import type { EdgePropagationSpec } from \"./propagation-types\";\n\nexport const testsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"tests\",\n  direction: \"outgoing\",\n  transitivity: \"none\",\n  damping: 1,\n  maxHops: 1,\n  operator: () => null,\n  description:\n    \"Interrogation linkage only. Tests edges do not directly move confidence.\",\n};\n","import { containsPropagationSpec } from \"./contains\";\nimport { contradictsPropagationSpec } from \"./contradicts\";\nimport { dependsOnPropagationSpec } from \"./depends-on\";\nimport { derivedFromPropagationSpec } from \"./derived-from\";\nimport { elaboratesPropagationSpec } from \"./elaborates\";\nimport { informsPropagationSpec } from \"./informs\";\nimport type {\n  EdgePropagationSpec,\n  PropagationEdgeType,\n  PropagationSpecDirection,\n  PropagationTraversalDirection,\n} from \"./propagation-types\";\nimport {\n  canContinueTransitively as importedCanContinueTransitively,\n  canTraverseHop as importedCanTraverseHop,\n  isPropagationTraversalDirection as importedIsPropagationTraversalDirection,\n} from \"./propagation-types\";\nimport { refutesPropagationSpec } from \"./refutes\";\nimport { supportsPropagationSpec } from \"./supports\";\nimport { testsPropagationSpec } from \"./tests\";\n\nexport type {\n  EdgePropagationSpec,\n  PropagationEdgeRecord,\n  PropagationEdgeType,\n  PropagationSpecDirection,\n  PropagationTraversalDirection,\n} from \"./propagation-types\";\n\nconst canContinueTransitively = importedCanContinueTransitively;\nconst canTraverseHop = importedCanTraverseHop;\nconst isPropagationTraversalDirection = importedIsPropagationTraversalDirection;\n\nexport {\n  canContinueTransitively,\n  canTraverseHop,\n  isPropagationTraversalDirection,\n};\n\nexport const EDGE_PROPAGATION_SPECS: readonly EdgePropagationSpec[] = [\n  supportsPropagationSpec,\n  informsPropagationSpec,\n  dependsOnPropagationSpec,\n  derivedFromPropagationSpec,\n  containsPropagationSpec,\n  testsPropagationSpec,\n  contradictsPropagationSpec,\n  refutesPropagationSpec,\n  elaboratesPropagationSpec,\n] as const;\n\nconst EDGE_PROPAGATION_SPEC_MAP = new Map<\n  PropagationEdgeType,\n  EdgePropagationSpec\n>(EDGE_PROPAGATION_SPECS.map((spec) => [spec.edgeType, spec]));\n\nexport function getEdgePropagationSpec(\n  edgeType: string\n): EdgePropagationSpec | undefined {\n  return EDGE_PROPAGATION_SPEC_MAP.get(edgeType as PropagationEdgeType);\n}\n\nexport function getEdgePropagationSpecs(): readonly EdgePropagationSpec[] {\n  return EDGE_PROPAGATION_SPECS;\n}\n\nexport function getTraversalDirections(\n  direction: PropagationSpecDirection\n): readonly PropagationTraversalDirection[] {\n  if (isPropagationTraversalDirection(direction)) {\n    return [direction];\n  }\n\n  return [\"outgoing\", \"incoming\"];\n}\n"]}

package/dist/edges/informs.d.ts

@@ -1,4 +1,4 @@
-import { EdgePropagationSpec } from './propagationTypes.js';
+import { EdgePropagationSpec } from './propagation-types.js';
 import '@lucern/confidence';
 
 declare const informsPropagationSpec: EdgePropagationSpec;

package/dist/edges/informs.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/edges/utils.ts","../../src/edges/informs.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;AAgBO,IAAM,uBAAA,GAA0B,qBAAA;;;ACrFhC,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 {\n  applyNegativeEvidence,\n  applyNegativeSupport,\n  cumulativeFusion,\n  project,\n  trustDiscount,\n  type EdgeMetadata,\n  type PropagationResult,\n  type SLOpinion,\n} from \"@lucern/confidence\";\nimport type {\n  EdgePropagationSpec,\n  PropagationEdgeRecord,\n} from \"./propagationTypes\";\n\nexport function readEdgeMetadata<TNodeId extends string>(\n  edge: PropagationEdgeRecord<TNodeId>\n): EdgeMetadata {\n  return {\n    constraint: edge.constraint ?? undefined,\n    normalization: edge.normalization ?? undefined,\n    propagation: edge.propagation ?? undefined,\n    conditionalA: edge.conditionalA ?? undefined,\n    conditionalNotA: edge.conditionalNotA ?? undefined,\n  };\n}\n\nexport function applyPerHopDamping(\n  sourceOpinion: SLOpinion,\n  damping: number\n): SLOpinion {\n  if (damping >= 1) {\n    return sourceOpinion;\n  }\n\n  return trustDiscount(sourceOpinion, Math.max(0, damping));\n}\n\nexport function annotateRationale(\n  result: PropagationResult,\n  spec: EdgePropagationSpec,\n  hop: number\n): PropagationResult {\n  return {\n    ...result,\n    rationale: `hop=${hop} edge=${spec.edgeType} damping=${spec.damping.toFixed(\n      2\n    )} :: ${result.rationale}`,\n  };\n}\n\nexport function propagatePositiveSupport(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(\n      2\n    )}) from source at ${project(sourceOpinion).toFixed(2)}`,\n  };\n}\n\nexport function propagatePositiveInform(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(2)})`,\n  };\n}\n\nexport function propagateNegativeSupportWithMetadata(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number,\n  edge: PropagationEdgeRecord\n): PropagationResult {\n  return applyNegativeSupport(\n    sourceOpinion,\n    targetOpinion,\n    edgeWeight,\n    readEdgeMetadata(edge)\n  );\n}\n\nexport const propagateNegativeInform = applyNegativeEvidence;\n","import type { EdgePropagationSpec } from \"./propagationTypes\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  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"]}
+{"version":3,"sources":["../../src/edges/utils.ts","../../src/edges/informs.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;AAgBO,IAAM,uBAAA,GAA0B,qBAAA;;;ACrFhC,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 {\n  applyNegativeEvidence,\n  applyNegativeSupport,\n  cumulativeFusion,\n  type EdgeMetadata,\n  type PropagationResult,\n  project,\n  type SLOpinion,\n  trustDiscount,\n} from \"@lucern/confidence\";\nimport type {\n  EdgePropagationSpec,\n  PropagationEdgeRecord,\n} from \"./propagation-types\";\n\nexport function readEdgeMetadata<TNodeId extends string>(\n  edge: PropagationEdgeRecord<TNodeId>\n): EdgeMetadata {\n  return {\n    constraint: edge.constraint ?? undefined,\n    normalization: edge.normalization ?? undefined,\n    propagation: edge.propagation ?? undefined,\n    conditionalA: edge.conditionalA ?? undefined,\n    conditionalNotA: edge.conditionalNotA ?? undefined,\n  };\n}\n\nexport function applyPerHopDamping(\n  sourceOpinion: SLOpinion,\n  damping: number\n): SLOpinion {\n  if (damping >= 1) {\n    return sourceOpinion;\n  }\n\n  return trustDiscount(sourceOpinion, Math.max(0, damping));\n}\n\nexport function annotateRationale(\n  result: PropagationResult,\n  spec: EdgePropagationSpec,\n  hop: number\n): PropagationResult {\n  return {\n    ...result,\n    rationale: `hop=${hop} edge=${spec.edgeType} damping=${spec.damping.toFixed(\n      2\n    )} :: ${result.rationale}`,\n  };\n}\n\nexport function propagatePositiveSupport(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(\n      2\n    )}) from source at ${project(sourceOpinion).toFixed(2)}`,\n  };\n}\n\nexport function propagatePositiveInform(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(2)})`,\n  };\n}\n\nexport function propagateNegativeSupportWithMetadata(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number,\n  edge: PropagationEdgeRecord\n): PropagationResult {\n  return applyNegativeSupport(\n    sourceOpinion,\n    targetOpinion,\n    edgeWeight,\n    readEdgeMetadata(edge)\n  );\n}\n\nexport const propagateNegativeInform = applyNegativeEvidence;\n","import type { EdgePropagationSpec } from \"./propagation-types\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  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"]}

package/dist/edges/{propagationTypes.d.ts → propagation-types.d.ts}

@@ -3,24 +3,24 @@ import { EdgeMetadata, SLOpinion, PropagationResult } from '@lucern/confidence';
 type PropagationTraversalDirection = "outgoing" | "incoming";
 type PropagationSpecDirection = PropagationTraversalDirection | "bidirectional";
 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;
+interface PropagationEdgeRecord<TNodeId extends string = string> {
+    conditionalA?: EdgeMetadata["conditionalA"] | null;
+    conditionalNotA?: EdgeMetadata["conditionalNotA"] | null;
     constraint?: EdgeMetadata["constraint"] | null;
+    edgeType: string;
+    fromNodeId?: TNodeId | null;
     normalization?: EdgeMetadata["normalization"] | null;
     propagation?: EdgeMetadata["propagation"] | null;
-    conditionalA?: EdgeMetadata["conditionalA"] | null;
-    conditionalNotA?: EdgeMetadata["conditionalNotA"] | null;
     tenantId?: string;
+    toNodeId?: TNodeId | null;
+    weight?: number | null;
     workspaceId?: string;
-};
-type EdgePropagationSpec<TNodeId extends string = string> = {
-    edgeType: PropagationEdgeType;
-    direction: PropagationSpecDirection;
-    transitivity: "none" | "damped" | "full";
+}
+interface EdgePropagationSpec<TNodeId extends string = string> {
     damping: number;
+    description: string;
+    direction: PropagationSpecDirection;
+    edgeType: PropagationEdgeType;
     maxHops: number | "unbounded";
     operator: (sourceOpinion: SLOpinion, targetOpinion: SLOpinion, edge: PropagationEdgeRecord<TNodeId>, context: {
         hop: number;
@@ -29,8 +29,8 @@ type EdgePropagationSpec<TNodeId extends string = string> = {
         traversedDirection: PropagationTraversalDirection;
         spec: EdgePropagationSpec<TNodeId>;
     }) => PropagationResult | null;
-    description: string;
-};
+    transitivity: "none" | "damped" | "full";
+}
 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;

package/dist/edges/{propagationTypes.js → propagation-types.js}

@@ -1,4 +1,4 @@
-// src/edges/propagationTypes.ts
+// src/edges/propagation-types.ts
 function isPropagationTraversalDirection(direction) {
   return direction === "outgoing" || direction === "incoming";
 }
@@ -13,5 +13,5 @@ function canContinueTransitively(spec, currentHop) {
 }
 
 export { canContinueTransitively, canTraverseHop, isPropagationTraversalDirection };
-//# sourceMappingURL=propagationTypes.js.map
-//# sourceMappingURL=propagationTypes.js.map
+//# sourceMappingURL=propagation-types.js.map
+//# sourceMappingURL=propagation-types.js.map

package/dist/edges/propagation-types.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/edges/propagation-types.ts"],"names":[],"mappings":";AA0DO,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":"propagation-types.js","sourcesContent":["import type {\n  EdgeMetadata,\n  PropagationResult,\n  SLOpinion,\n} from \"@lucern/confidence\";\n\nexport type PropagationTraversalDirection = \"outgoing\" | \"incoming\";\n\nexport type PropagationSpecDirection =\n  | PropagationTraversalDirection\n  | \"bidirectional\";\n\nexport type PropagationEdgeType =\n  | \"supports\"\n  | \"depends_on\"\n  | \"informs\"\n  | \"contains\"\n  | \"tests\"\n  | \"derived_from\"\n  | \"contradicts\"\n  | \"refutes\"\n  | \"elaborates\";\n\nexport interface PropagationEdgeRecord<TNodeId extends string = string> {\n  conditionalA?: EdgeMetadata[\"conditionalA\"] | null;\n  conditionalNotA?: EdgeMetadata[\"conditionalNotA\"] | null;\n  constraint?: EdgeMetadata[\"constraint\"] | null;\n  edgeType: string;\n  fromNodeId?: TNodeId | null;\n  normalization?: EdgeMetadata[\"normalization\"] | null;\n  propagation?: EdgeMetadata[\"propagation\"] | null;\n  tenantId?: string;\n  toNodeId?: TNodeId | null;\n  weight?: number | null;\n  workspaceId?: string;\n}\n\nexport interface EdgePropagationSpec<TNodeId extends string = string> {\n  damping: number;\n  description: string;\n  direction: PropagationSpecDirection;\n  edgeType: PropagationEdgeType;\n  maxHops: number | \"unbounded\";\n  operator: (\n    sourceOpinion: SLOpinion,\n    targetOpinion: SLOpinion,\n    edge: PropagationEdgeRecord<TNodeId>,\n    context: {\n      hop: number;\n      sourceNodeId: TNodeId;\n      targetNodeId: TNodeId;\n      traversedDirection: PropagationTraversalDirection;\n      spec: EdgePropagationSpec<TNodeId>;\n    }\n  ) => PropagationResult | null;\n  transitivity: \"none\" | \"damped\" | \"full\";\n}\n\nexport function isPropagationTraversalDirection(\n  direction: string\n): direction is PropagationTraversalDirection {\n  return direction === \"outgoing\" || direction === \"incoming\";\n}\n\nexport function canTraverseHop<TNodeId extends string>(\n  spec: EdgePropagationSpec<TNodeId>,\n  nextHop: number\n): boolean {\n  return spec.maxHops === \"unbounded\" || nextHop <= spec.maxHops;\n}\n\nexport function canContinueTransitively<TNodeId extends string>(\n  spec: EdgePropagationSpec<TNodeId>,\n  currentHop: number\n): boolean {\n  if (spec.transitivity === \"none\") {\n    return false;\n  }\n\n  return spec.maxHops === \"unbounded\" || currentHop < spec.maxHops;\n}\n"]}

package/dist/edges/refutes.d.ts

@@ -1,4 +1,4 @@
-import { EdgePropagationSpec } from './propagationTypes.js';
+import { EdgePropagationSpec } from './propagation-types.js';
 import '@lucern/confidence';
 
 declare const refutesPropagationSpec: EdgePropagationSpec;

package/dist/edges/refutes.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/edges/utils.ts","../../src/edges/refutes.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;AA4CO,IAAM,uBAAA,GAA0B,qBAAA;;;ACtFhC,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 {\n  applyNegativeEvidence,\n  applyNegativeSupport,\n  cumulativeFusion,\n  project,\n  trustDiscount,\n  type EdgeMetadata,\n  type PropagationResult,\n  type SLOpinion,\n} from \"@lucern/confidence\";\nimport type {\n  EdgePropagationSpec,\n  PropagationEdgeRecord,\n} from \"./propagationTypes\";\n\nexport function readEdgeMetadata<TNodeId extends string>(\n  edge: PropagationEdgeRecord<TNodeId>\n): EdgeMetadata {\n  return {\n    constraint: edge.constraint ?? undefined,\n    normalization: edge.normalization ?? undefined,\n    propagation: edge.propagation ?? undefined,\n    conditionalA: edge.conditionalA ?? undefined,\n    conditionalNotA: edge.conditionalNotA ?? undefined,\n  };\n}\n\nexport function applyPerHopDamping(\n  sourceOpinion: SLOpinion,\n  damping: number\n): SLOpinion {\n  if (damping >= 1) {\n    return sourceOpinion;\n  }\n\n  return trustDiscount(sourceOpinion, Math.max(0, damping));\n}\n\nexport function annotateRationale(\n  result: PropagationResult,\n  spec: EdgePropagationSpec,\n  hop: number\n): PropagationResult {\n  return {\n    ...result,\n    rationale: `hop=${hop} edge=${spec.edgeType} damping=${spec.damping.toFixed(\n      2\n    )} :: ${result.rationale}`,\n  };\n}\n\nexport function propagatePositiveSupport(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(\n      2\n    )}) from source at ${project(sourceOpinion).toFixed(2)}`,\n  };\n}\n\nexport function propagatePositiveInform(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(2)})`,\n  };\n}\n\nexport function propagateNegativeSupportWithMetadata(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number,\n  edge: PropagationEdgeRecord\n): PropagationResult {\n  return applyNegativeSupport(\n    sourceOpinion,\n    targetOpinion,\n    edgeWeight,\n    readEdgeMetadata(edge)\n  );\n}\n\nexport const propagateNegativeInform = applyNegativeEvidence;\n","import type { EdgePropagationSpec } from \"./propagationTypes\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  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"]}
+{"version":3,"sources":["../../src/edges/utils.ts","../../src/edges/refutes.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;AA4CO,IAAM,uBAAA,GAA0B,qBAAA;;;ACtFhC,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 {\n  applyNegativeEvidence,\n  applyNegativeSupport,\n  cumulativeFusion,\n  type EdgeMetadata,\n  type PropagationResult,\n  project,\n  type SLOpinion,\n  trustDiscount,\n} from \"@lucern/confidence\";\nimport type {\n  EdgePropagationSpec,\n  PropagationEdgeRecord,\n} from \"./propagation-types\";\n\nexport function readEdgeMetadata<TNodeId extends string>(\n  edge: PropagationEdgeRecord<TNodeId>\n): EdgeMetadata {\n  return {\n    constraint: edge.constraint ?? undefined,\n    normalization: edge.normalization ?? undefined,\n    propagation: edge.propagation ?? undefined,\n    conditionalA: edge.conditionalA ?? undefined,\n    conditionalNotA: edge.conditionalNotA ?? undefined,\n  };\n}\n\nexport function applyPerHopDamping(\n  sourceOpinion: SLOpinion,\n  damping: number\n): SLOpinion {\n  if (damping >= 1) {\n    return sourceOpinion;\n  }\n\n  return trustDiscount(sourceOpinion, Math.max(0, damping));\n}\n\nexport function annotateRationale(\n  result: PropagationResult,\n  spec: EdgePropagationSpec,\n  hop: number\n): PropagationResult {\n  return {\n    ...result,\n    rationale: `hop=${hop} edge=${spec.edgeType} damping=${spec.damping.toFixed(\n      2\n    )} :: ${result.rationale}`,\n  };\n}\n\nexport function propagatePositiveSupport(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(\n      2\n    )}) from source at ${project(sourceOpinion).toFixed(2)}`,\n  };\n}\n\nexport function propagatePositiveInform(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(2)})`,\n  };\n}\n\nexport function propagateNegativeSupportWithMetadata(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number,\n  edge: PropagationEdgeRecord\n): PropagationResult {\n  return applyNegativeSupport(\n    sourceOpinion,\n    targetOpinion,\n    edgeWeight,\n    readEdgeMetadata(edge)\n  );\n}\n\nexport const propagateNegativeInform = applyNegativeEvidence;\n","import type { EdgePropagationSpec } from \"./propagation-types\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  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"]}

package/dist/edges/supports.d.ts

@@ -1,4 +1,4 @@
-import { EdgePropagationSpec } from './propagationTypes.js';
+import { EdgePropagationSpec } from './propagation-types.js';
 import '@lucern/confidence';
 
 declare const supportsPropagationSpec: EdgePropagationSpec;

package/dist/edges/supports.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/edges/utils.ts","../../src/edges/supports.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;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 {\n  applyNegativeEvidence,\n  applyNegativeSupport,\n  cumulativeFusion,\n  project,\n  trustDiscount,\n  type EdgeMetadata,\n  type PropagationResult,\n  type SLOpinion,\n} from \"@lucern/confidence\";\nimport type {\n  EdgePropagationSpec,\n  PropagationEdgeRecord,\n} from \"./propagationTypes\";\n\nexport function readEdgeMetadata<TNodeId extends string>(\n  edge: PropagationEdgeRecord<TNodeId>\n): EdgeMetadata {\n  return {\n    constraint: edge.constraint ?? undefined,\n    normalization: edge.normalization ?? undefined,\n    propagation: edge.propagation ?? undefined,\n    conditionalA: edge.conditionalA ?? undefined,\n    conditionalNotA: edge.conditionalNotA ?? undefined,\n  };\n}\n\nexport function applyPerHopDamping(\n  sourceOpinion: SLOpinion,\n  damping: number\n): SLOpinion {\n  if (damping >= 1) {\n    return sourceOpinion;\n  }\n\n  return trustDiscount(sourceOpinion, Math.max(0, damping));\n}\n\nexport function annotateRationale(\n  result: PropagationResult,\n  spec: EdgePropagationSpec,\n  hop: number\n): PropagationResult {\n  return {\n    ...result,\n    rationale: `hop=${hop} edge=${spec.edgeType} damping=${spec.damping.toFixed(\n      2\n    )} :: ${result.rationale}`,\n  };\n}\n\nexport function propagatePositiveSupport(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(\n      2\n    )}) from source at ${project(sourceOpinion).toFixed(2)}`,\n  };\n}\n\nexport function propagatePositiveInform(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(2)})`,\n  };\n}\n\nexport function propagateNegativeSupportWithMetadata(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number,\n  edge: PropagationEdgeRecord\n): PropagationResult {\n  return applyNegativeSupport(\n    sourceOpinion,\n    targetOpinion,\n    edgeWeight,\n    readEdgeMetadata(edge)\n  );\n}\n\nexport const propagateNegativeInform = applyNegativeEvidence;\n","import type { EdgePropagationSpec } from \"./propagationTypes\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagateNegativeSupportWithMetadata,\n  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"]}
+{"version":3,"sources":["../../src/edges/utils.ts","../../src/edges/supports.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;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 {\n  applyNegativeEvidence,\n  applyNegativeSupport,\n  cumulativeFusion,\n  type EdgeMetadata,\n  type PropagationResult,\n  project,\n  type SLOpinion,\n  trustDiscount,\n} from \"@lucern/confidence\";\nimport type {\n  EdgePropagationSpec,\n  PropagationEdgeRecord,\n} from \"./propagation-types\";\n\nexport function readEdgeMetadata<TNodeId extends string>(\n  edge: PropagationEdgeRecord<TNodeId>\n): EdgeMetadata {\n  return {\n    constraint: edge.constraint ?? undefined,\n    normalization: edge.normalization ?? undefined,\n    propagation: edge.propagation ?? undefined,\n    conditionalA: edge.conditionalA ?? undefined,\n    conditionalNotA: edge.conditionalNotA ?? undefined,\n  };\n}\n\nexport function applyPerHopDamping(\n  sourceOpinion: SLOpinion,\n  damping: number\n): SLOpinion {\n  if (damping >= 1) {\n    return sourceOpinion;\n  }\n\n  return trustDiscount(sourceOpinion, Math.max(0, damping));\n}\n\nexport function annotateRationale(\n  result: PropagationResult,\n  spec: EdgePropagationSpec,\n  hop: number\n): PropagationResult {\n  return {\n    ...result,\n    rationale: `hop=${hop} edge=${spec.edgeType} damping=${spec.damping.toFixed(\n      2\n    )} :: ${result.rationale}`,\n  };\n}\n\nexport function propagatePositiveSupport(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(\n      2\n    )}) from source at ${project(sourceOpinion).toFixed(2)}`,\n  };\n}\n\nexport function propagatePositiveInform(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(2)})`,\n  };\n}\n\nexport function propagateNegativeSupportWithMetadata(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number,\n  edge: PropagationEdgeRecord\n): PropagationResult {\n  return applyNegativeSupport(\n    sourceOpinion,\n    targetOpinion,\n    edgeWeight,\n    readEdgeMetadata(edge)\n  );\n}\n\nexport const propagateNegativeInform = applyNegativeEvidence;\n","import type { EdgePropagationSpec } from \"./propagation-types\";\nimport {\n  annotateRationale,\n  applyPerHopDamping,\n  propagateNegativeSupportWithMetadata,\n  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"]}

package/dist/edges/tests.d.ts

@@ -1,4 +1,4 @@
-import { EdgePropagationSpec } from './propagationTypes.js';
+import { EdgePropagationSpec } from './propagation-types.js';
 import '@lucern/confidence';
 
 declare const testsPropagationSpec: EdgePropagationSpec;

package/dist/edges/tests.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/edges/tests.ts"],"names":[],"mappings":";AAEO,IAAM,oBAAA,GAA4C;AAAA,EACvD,QAAA,EAAU,OAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,CAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,UAAU,MAAM,IAAA;AAAA,EAChB,WAAA,EACE;AACJ","file":"tests.js","sourcesContent":["import type { EdgePropagationSpec } from \"./propagationTypes\";\n\nexport const testsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"tests\",\n  direction: \"outgoing\",\n  transitivity: \"none\",\n  damping: 1,\n  maxHops: 1,\n  operator: () => null,\n  description:\n    \"Interrogation linkage only. Tests edges do not directly move confidence.\",\n};\n\n"]}
+{"version":3,"sources":["../../src/edges/tests.ts"],"names":[],"mappings":";AAEO,IAAM,oBAAA,GAA4C;AAAA,EACvD,QAAA,EAAU,OAAA;AAAA,EACV,SAAA,EAAW,UAAA;AAAA,EACX,YAAA,EAAc,MAAA;AAAA,EACd,OAAA,EAAS,CAAA;AAAA,EACT,OAAA,EAAS,CAAA;AAAA,EACT,UAAU,MAAM,IAAA;AAAA,EAChB,WAAA,EACE;AACJ","file":"tests.js","sourcesContent":["import type { EdgePropagationSpec } from \"./propagation-types\";\n\nexport const testsPropagationSpec: EdgePropagationSpec = {\n  edgeType: \"tests\",\n  direction: \"outgoing\",\n  transitivity: \"none\",\n  damping: 1,\n  maxHops: 1,\n  operator: () => null,\n  description:\n    \"Interrogation linkage only. Tests edges do not directly move confidence.\",\n};\n"]}

package/dist/edges/utils.d.ts

@@ -1,5 +1,5 @@
 import { PropagationResult, SLOpinion, applyNegativeEvidence, EdgeMetadata } from '@lucern/confidence';
-import { EdgePropagationSpec, PropagationEdgeRecord } from './propagationTypes.js';
+import { EdgePropagationSpec, PropagationEdgeRecord } from './propagation-types.js';
 
 declare function readEdgeMetadata<TNodeId extends string>(edge: PropagationEdgeRecord<TNodeId>): EdgeMetadata;
 declare function applyPerHopDamping(sourceOpinion: SLOpinion, damping: number): SLOpinion;

package/dist/edges/utils.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/edges/utils.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;AAEO,SAAS,wBAAA,CACd,aAAA,EACA,aAAA,EACA,UAAA,EACmB;AACnB,EAAA,MAAM,aAAa,aAAA,CAAc,aAAA,EAAe,IAAA,CAAK,GAAA,CAAI,UAAU,CAAC,CAAA;AACpE,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,gBAAA,CAAiB,aAAA,EAAe,UAAU,CAAA;AAAA,IACnD,QAAA,EAAU,mBAAA;AAAA,IACV,SAAA,EAAW,+BAA+B,UAAA,CAAW,OAAA;AAAA,MACnD;AAAA,KACD,CAAA,iBAAA,EAAoB,OAAA,CAAQ,aAAa,CAAA,CAAE,OAAA,CAAQ,CAAC,CAAC,CAAA;AAAA,GACxD;AACF;AAEO,SAAS,uBAAA,CACd,aAAA,EACA,aAAA,EACA,UAAA,EACmB;AACnB,EAAA,MAAM,aAAa,aAAA,CAAc,aAAA,EAAe,IAAA,CAAK,GAAA,CAAI,UAAU,CAAC,CAAA;AACpE,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,gBAAA,CAAiB,aAAA,EAAe,UAAU,CAAA;AAAA,IACnD,QAAA,EAAU,mBAAA;AAAA,IACV,SAAA,EAAW,CAAA,4BAAA,EAA+B,UAAA,CAAW,OAAA,CAAQ,CAAC,CAAC,CAAA,CAAA;AAAA,GACjE;AACF;AAEO,SAAS,oCAAA,CACd,aAAA,EACA,aAAA,EACA,UAAA,EACA,IAAA,EACmB;AACnB,EAAA,OAAO,oBAAA;AAAA,IACL,aAAA;AAAA,IACA,aAAA;AAAA,IACA,UAAA;AAAA,IACA,iBAAiB,IAAI;AAAA,GACvB;AACF;AAEO,IAAM,uBAAA,GAA0B","file":"utils.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 const propagateNegativeInform = applyNegativeEvidence;\n"]}
+{"version":3,"sources":["../../src/edges/utils.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;AAEO,SAAS,wBAAA,CACd,aAAA,EACA,aAAA,EACA,UAAA,EACmB;AACnB,EAAA,MAAM,aAAa,aAAA,CAAc,aAAA,EAAe,IAAA,CAAK,GAAA,CAAI,UAAU,CAAC,CAAA;AACpE,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,gBAAA,CAAiB,aAAA,EAAe,UAAU,CAAA;AAAA,IACnD,QAAA,EAAU,mBAAA;AAAA,IACV,SAAA,EAAW,+BAA+B,UAAA,CAAW,OAAA;AAAA,MACnD;AAAA,KACD,CAAA,iBAAA,EAAoB,OAAA,CAAQ,aAAa,CAAA,CAAE,OAAA,CAAQ,CAAC,CAAC,CAAA;AAAA,GACxD;AACF;AAEO,SAAS,uBAAA,CACd,aAAA,EACA,aAAA,EACA,UAAA,EACmB;AACnB,EAAA,MAAM,aAAa,aAAA,CAAc,aAAA,EAAe,IAAA,CAAK,GAAA,CAAI,UAAU,CAAC,CAAA;AACpE,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,gBAAA,CAAiB,aAAA,EAAe,UAAU,CAAA;AAAA,IACnD,QAAA,EAAU,mBAAA;AAAA,IACV,SAAA,EAAW,CAAA,4BAAA,EAA+B,UAAA,CAAW,OAAA,CAAQ,CAAC,CAAC,CAAA,CAAA;AAAA,GACjE;AACF;AAEO,SAAS,oCAAA,CACd,aAAA,EACA,aAAA,EACA,UAAA,EACA,IAAA,EACmB;AACnB,EAAA,OAAO,oBAAA;AAAA,IACL,aAAA;AAAA,IACA,aAAA;AAAA,IACA,UAAA;AAAA,IACA,iBAAiB,IAAI;AAAA,GACvB;AACF;AAEO,IAAM,uBAAA,GAA0B","file":"utils.js","sourcesContent":["import {\n  applyNegativeEvidence,\n  applyNegativeSupport,\n  cumulativeFusion,\n  type EdgeMetadata,\n  type PropagationResult,\n  project,\n  type SLOpinion,\n  trustDiscount,\n} from \"@lucern/confidence\";\nimport type {\n  EdgePropagationSpec,\n  PropagationEdgeRecord,\n} from \"./propagation-types\";\n\nexport function readEdgeMetadata<TNodeId extends string>(\n  edge: PropagationEdgeRecord<TNodeId>\n): EdgeMetadata {\n  return {\n    constraint: edge.constraint ?? undefined,\n    normalization: edge.normalization ?? undefined,\n    propagation: edge.propagation ?? undefined,\n    conditionalA: edge.conditionalA ?? undefined,\n    conditionalNotA: edge.conditionalNotA ?? undefined,\n  };\n}\n\nexport function applyPerHopDamping(\n  sourceOpinion: SLOpinion,\n  damping: number\n): SLOpinion {\n  if (damping >= 1) {\n    return sourceOpinion;\n  }\n\n  return trustDiscount(sourceOpinion, Math.max(0, damping));\n}\n\nexport function annotateRationale(\n  result: PropagationResult,\n  spec: EdgePropagationSpec,\n  hop: number\n): PropagationResult {\n  return {\n    ...result,\n    rationale: `hop=${hop} edge=${spec.edgeType} damping=${spec.damping.toFixed(\n      2\n    )} :: ${result.rationale}`,\n  };\n}\n\nexport function propagatePositiveSupport(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(\n      2\n    )}) from source at ${project(sourceOpinion).toFixed(2)}`,\n  };\n}\n\nexport function propagatePositiveInform(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number\n): PropagationResult {\n  const discounted = trustDiscount(sourceOpinion, Math.abs(edgeWeight));\n  return {\n    opinion: cumulativeFusion(targetOpinion, discounted),\n    operator: \"cumulative_fusion\",\n    rationale: `Supporting evidence (weight=${edgeWeight.toFixed(2)})`,\n  };\n}\n\nexport function propagateNegativeSupportWithMetadata(\n  sourceOpinion: SLOpinion,\n  targetOpinion: SLOpinion,\n  edgeWeight: number,\n  edge: PropagationEdgeRecord\n): PropagationResult {\n  return applyNegativeSupport(\n    sourceOpinion,\n    targetOpinion,\n    edgeWeight,\n    readEdgeMetadata(edge)\n  );\n}\n\nexport const propagateNegativeInform = applyNegativeEvidence;\n"]}

package/dist/embeddingTrigger.d.ts

@@ -1,4 +1,6 @@
 import { Id } from './convex.js';
+import '@lucern/access-control/convex';
+import '@lucern/contracts/convex/unsafeAnyApi';
 import 'convex/values';
 
 /**
@@ -8,16 +10,22 @@ import 'convex/values';
  * is a public action in convex/embeddingActions.ts that calls Pinecone.
  */
 
+interface EmbeddingScheduler {
+    runAfter(delayMs: number, functionReference: unknown, args?: unknown): Promise<void>;
+}
+interface EmbeddingTriggerContext {
+    scheduler: EmbeddingScheduler;
+}
 interface EmbeddingTriggerArgs {
-    ctx: any;
-    nodeId: Id<"epistemicNodes">;
-    projectId?: string | null;
-    topicId?: string | null;
+    confidence?: number;
     createdBy: string;
+    ctx: EmbeddingTriggerContext;
+    hasAnswer?: boolean;
+    nodeId: Id<"epistemicNodes">;
     nodeType: "belief" | "question" | "evidence" | "answer" | "synthesis" | "theme" | "source";
+    projectId?: string | null;
     text: string;
-    hasAnswer?: boolean;
-    confidence?: number;
+    topicId?: string | null;
 }
 declare function scheduleEmbeddingGeneration(args: EmbeddingTriggerArgs): Promise<void>;