@lucern/confidence 0.1.0-alpha.2

package/dist/v1/operations/contracts/epistemicContract.js

@@ -0,0 +1,320 @@
+// src/v1/operations/contracts/epistemicContract.ts
+var BUILT_IN_EVIDENTIAL_EVALUATOR = "evidential";
+var BUILT_IN_EVIDENTIAL_ALIASES = /* @__PURE__ */ new Set([
+  BUILT_IN_EVIDENTIAL_EVALUATOR,
+  "built_in_evidential",
+  "builtin_evidential"
+]);
+var BUILT_IN_METRIC_CHECKER = "metric_checker";
+var BUILT_IN_REFERENCE_CHECK_COUNTER = "reference_check_counter";
+var BUILT_IN_TEMPORAL_DEADLINE = "temporal_deadline";
+var BUILT_IN_MARKET_INDEX_COMPARATOR = "market_index_comparator";
+function clampConfidence(value) {
+  return Math.max(0, Math.min(1, value));
+}
+function generateContractId() {
+  if (typeof crypto !== "undefined" && typeof crypto.randomUUID === "function") {
+    return crypto.randomUUID();
+  }
+  return `contract-${Date.now()}-${Math.random().toString(36).slice(2, 10)}`;
+}
+function deriveContractStatus(result, currentStatus) {
+  if (currentStatus === "archived") {
+    return currentStatus;
+  }
+  switch (result) {
+    case "confirmed":
+      return "satisfied";
+    case "disconfirmed":
+      return "violated";
+    case "expired":
+      return "expired";
+    default:
+      return currentStatus === "satisfied" || currentStatus === "violated" || currentStatus === "expired" ? "active" : currentStatus;
+  }
+}
+function deriveVerificationTrigger(result) {
+  switch (result) {
+    case "confirmed":
+      return "verification_confirmed";
+    case "disconfirmed":
+      return "verification_disconfirmed";
+    case "expired":
+      return "verification_expired";
+    case "partial":
+      return "verification_partial";
+    default:
+      return null;
+  }
+}
+function deriveContractModulationPlan(args) {
+  const trigger = deriveVerificationTrigger(args.result);
+  if (!trigger) {
+    return null;
+  }
+  if (args.result === "confirmed") {
+    const rawNext = args.currentConfidence + args.modulation.onConfirmed.delta;
+    const confidenceAfter = clampConfidence(
+      Math.min(
+        args.modulation.onConfirmed.ceiling ?? Number.POSITIVE_INFINITY,
+        rawNext
+      )
+    );
+    return {
+      trigger,
+      confidenceBefore: args.currentConfidence,
+      confidenceAfter,
+      confidenceDelta: confidenceAfter - args.currentConfidence
+    };
+  }
+  if (args.result === "disconfirmed") {
+    const rawNext = args.currentConfidence + args.modulation.onDisconfirmed.delta;
+    const confidenceAfter = clampConfidence(
+      Math.max(args.modulation.onDisconfirmed.floor ?? 0, rawNext)
+    );
+    return {
+      trigger,
+      confidenceBefore: args.currentConfidence,
+      confidenceAfter,
+      confidenceDelta: confidenceAfter - args.currentConfidence
+    };
+  }
+  if (args.result === "expired" && args.modulation.onExpired) {
+    const confidenceAfter = clampConfidence(
+      args.currentConfidence + args.modulation.onExpired.delta
+    );
+    return {
+      trigger,
+      confidenceBefore: args.currentConfidence,
+      confidenceAfter,
+      confidenceDelta: confidenceAfter - args.currentConfidence
+    };
+  }
+  if (args.result === "partial" && args.modulation.onPartial) {
+    if ((args.resultConfidence ?? 0) < args.modulation.onPartial.threshold) {
+      return null;
+    }
+    const confidenceAfter = clampConfidence(
+      args.currentConfidence + args.modulation.onPartial.delta
+    );
+    return {
+      trigger,
+      confidenceBefore: args.currentConfidence,
+      confidenceAfter,
+      confidenceDelta: confidenceAfter - args.currentConfidence
+    };
+  }
+  return null;
+}
+function createInheritedContractRecord(contract, args) {
+  return {
+    beliefNodeId: args.beliefNodeId,
+    contractId: generateContractId(),
+    title: contract.title,
+    description: contract.description,
+    conditionType: contract.conditionType,
+    direction: contract.direction,
+    condition: contract.condition,
+    deadline: contract.deadline,
+    compositeOf: contract.compositeOf,
+    compositeOperator: contract.compositeOperator,
+    modulation: contract.modulation,
+    evaluationSchedule: contract.evaluationSchedule,
+    periodicIntervalMs: contract.periodicIntervalMs,
+    status: "active",
+    lineageSource: "inherited",
+    inheritedFromContractId: contract.contractId,
+    inheritedFromBeliefNodeId: contract.beliefNodeId,
+    inheritedAt: args.now,
+    topicId: args.topicId,
+    createdAt: args.now,
+    createdBy: args.createdBy,
+    updatedAt: args.now
+  };
+}
+function normalizeEvidentialAction(value) {
+  return value === "modulate_confidence" || value === "flag_review" || value === "archive" ? value : void 0;
+}
+function parseComparisonOperator(value, evaluatorName) {
+  if (value === "gte" || value === "lte" || value === "eq" || value === "gt" || value === "lt") {
+    return value;
+  }
+  throw new Error(
+    `${evaluatorName} requires operator to be one of gte, lte, eq, gt, or lt.`
+  );
+}
+function parseNumericThreshold(value, evaluatorName) {
+  if (typeof value === "number" && Number.isFinite(value)) {
+    return value;
+  }
+  throw new Error(`${evaluatorName} requires a finite numeric threshold.`);
+}
+function pickFiniteNumber(config, keys) {
+  for (const key of keys) {
+    const value = config[key];
+    if (typeof value === "number" && Number.isFinite(value)) {
+      return value;
+    }
+  }
+  return void 0;
+}
+function getEvaluatorInputRecord(inputData, nestedKey) {
+  if (!inputData || typeof inputData !== "object") {
+    return {};
+  }
+  const root = inputData;
+  const nested = root[nestedKey];
+  if (nested && typeof nested === "object") {
+    return nested;
+  }
+  return root;
+}
+function parseEvidentialEvaluatorConfig(value) {
+  if (!value || typeof value !== "object") {
+    throw new Error(
+      "Evidential contracts require condition.evaluatorConfig with metric/operator/threshold."
+    );
+  }
+  const config = value;
+  const metric = config.metric;
+  const operator = config.operator;
+  const threshold = config.threshold;
+  if (metric !== "evidence_count" && metric !== "contradiction_status" && metric !== "edge_freshness" && metric !== "dependent_count") {
+    throw new Error(`Unsupported evidential metric: ${String(metric)}`);
+  }
+  if (operator !== "gte" && operator !== "lte" && operator !== "eq" && operator !== "gt" && operator !== "lt") {
+    throw new Error(`Unsupported evidential operator: ${String(operator)}`);
+  }
+  if (typeof threshold !== "number" || !Number.isFinite(threshold)) {
+    throw new Error("Evidential contracts require a numeric threshold.");
+  }
+  const actionParams = config.actionParams && typeof config.actionParams === "object" && config.actionParams !== null ? config.actionParams : void 0;
+  return {
+    metric,
+    operator,
+    threshold,
+    action: normalizeEvidentialAction(config.action),
+    actionParams: actionParams && (typeof actionParams.targetConfidence === "number" || typeof actionParams.rationale === "string") ? {
+      targetConfidence: typeof actionParams.targetConfidence === "number" ? actionParams.targetConfidence : void 0,
+      rationale: typeof actionParams.rationale === "string" ? actionParams.rationale : void 0
+    } : void 0
+  };
+}
+function compareMetricValue(operator, left, right) {
+  switch (operator) {
+    case "gte":
+      return left >= right;
+    case "lte":
+      return left <= right;
+    case "eq":
+      return left === right;
+    case "gt":
+      return left > right;
+    case "lt":
+      return left < right;
+    default:
+      return false;
+  }
+}
+function resolveComparisonResult(direction, comparisonSatisfied) {
+  return direction === "falsifies" ? comparisonSatisfied ? "disconfirmed" : "confirmed" : comparisonSatisfied ? "confirmed" : "disconfirmed";
+}
+function buildComparisonRationale(args) {
+  const renderedObserved = args.observedValue === null ? "no data" : `${args.observedValue}${args.unit ? ` ${args.unit}` : ""}`;
+  const renderedThreshold = `${args.threshold}${args.unit ? ` ${args.unit}` : ""}`;
+  const clause = `${args.label} observed ${renderedObserved} against ${args.operator} ${renderedThreshold}`;
+  if (args.observedValue === null) {
+    return `${clause}; evaluator returned ${args.result} because no current data was available.`;
+  }
+  return `${clause}; comparison ${args.comparisonSatisfied ? "passed" : "failed"}, resulting in ${args.result}.`;
+}
+function buildEvidentialRationale(args) {
+  const observed = args.snapshot.value === null ? "no data" : String(args.snapshot.value);
+  const clause = `${args.snapshot.metric} observed ${observed} against ${args.config.operator} ${args.config.threshold}`;
+  if (args.snapshot.value === null) {
+    return `${clause}; evidential evaluator treated the comparison as unmet, resulting in ${args.result}.`;
+  }
+  return `${clause}; comparison ${args.comparisonSatisfied ? "passed" : "failed"}, resulting in ${args.result}.`;
+}
+function parseMetricCheckerConfig(value) {
+  if (!value || typeof value !== "object") {
+    throw new Error(
+      "metric_checker requires condition.evaluatorConfig with observedValue/operator/threshold."
+    );
+  }
+  const config = value;
+  return {
+    metric: typeof config.metric === "string" && config.metric.length > 0 ? config.metric : void 0,
+    operator: parseComparisonOperator(config.operator, BUILT_IN_METRIC_CHECKER),
+    threshold: parseNumericThreshold(config.threshold, BUILT_IN_METRIC_CHECKER),
+    observedValue: pickFiniteNumber(config, ["observedValue", "value"]),
+    currentValue: pickFiniteNumber(config, ["currentValue"]),
+    metricValue: pickFiniteNumber(config, ["metricValue"]),
+    unit: typeof config.unit === "string" && config.unit.length > 0 ? config.unit : void 0
+  };
+}
+function parseReferenceCheckCounterConfig(value) {
+  if (!value || typeof value !== "object") {
+    throw new Error(
+      "reference_check_counter requires condition.evaluatorConfig with tag/operator/threshold."
+    );
+  }
+  const config = value;
+  if (typeof config.tag !== "string" || config.tag.trim().length === 0) {
+    throw new Error("reference_check_counter requires a non-empty tag.");
+  }
+  return {
+    tag: config.tag.trim(),
+    operator: parseComparisonOperator(
+      config.operator,
+      BUILT_IN_REFERENCE_CHECK_COUNTER
+    ),
+    threshold: parseNumericThreshold(
+      config.threshold,
+      BUILT_IN_REFERENCE_CHECK_COUNTER
+    ),
+    caseSensitive: config.caseSensitive === true
+  };
+}
+function parseTemporalDeadlineConfig(value) {
+  if (!value || typeof value !== "object") {
+    return {};
+  }
+  const config = value;
+  return {
+    label: typeof config.label === "string" && config.label.length > 0 ? config.label : void 0,
+    completed: config.completed === true,
+    completedAt: pickFiniteNumber(config, ["completedAt"]),
+    observedAt: pickFiniteNumber(config, ["observedAt"]),
+    satisfiedAt: pickFiniteNumber(config, ["satisfiedAt"]),
+    achievedAt: pickFiniteNumber(config, ["achievedAt"])
+  };
+}
+function parseMarketIndexComparatorConfig(value) {
+  if (!value || typeof value !== "object") {
+    throw new Error(
+      "market_index_comparator requires condition.evaluatorConfig with subjectValue/benchmarkValue/operator/threshold."
+    );
+  }
+  const config = value;
+  return {
+    subject: typeof config.subject === "string" && config.subject.length > 0 ? config.subject : void 0,
+    subjectValue: pickFiniteNumber(config, ["subjectValue", "leftValue"]),
+    primaryValue: pickFiniteNumber(config, ["primaryValue"]),
+    benchmark: typeof config.benchmark === "string" && config.benchmark.length > 0 ? config.benchmark : void 0,
+    benchmarkValue: pickFiniteNumber(config, ["benchmarkValue", "rightValue"]),
+    comparisonValue: pickFiniteNumber(config, ["comparisonValue"]),
+    operator: parseComparisonOperator(
+      config.operator,
+      BUILT_IN_MARKET_INDEX_COMPARATOR
+    ),
+    threshold: parseNumericThreshold(
+      config.threshold,
+      BUILT_IN_MARKET_INDEX_COMPARATOR
+    )
+  };
+}
+
+export { BUILT_IN_EVIDENTIAL_ALIASES, BUILT_IN_EVIDENTIAL_EVALUATOR, BUILT_IN_MARKET_INDEX_COMPARATOR, BUILT_IN_METRIC_CHECKER, BUILT_IN_REFERENCE_CHECK_COUNTER, BUILT_IN_TEMPORAL_DEADLINE, buildComparisonRationale, buildEvidentialRationale, compareMetricValue, createInheritedContractRecord, deriveContractModulationPlan, deriveContractStatus, deriveVerificationTrigger, getEvaluatorInputRecord, normalizeEvidentialAction, parseComparisonOperator, parseEvidentialEvaluatorConfig, parseMarketIndexComparatorConfig, parseMetricCheckerConfig, parseNumericThreshold, parseReferenceCheckCounterConfig, parseTemporalDeadlineConfig, pickFiniteNumber, resolveComparisonResult };
+//# sourceMappingURL=epistemicContract.js.map
+//# sourceMappingURL=epistemicContract.js.map

package/dist/v1/operations/contracts/epistemicContract.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../../../src/v1/operations/contracts/epistemicContract.ts"],"names":[],"mappings":";AAkBO,IAAM,6BAAA,GAAgC;AACtC,IAAM,2BAAA,uBAAkC,GAAA,CAAI;AAAA,EACjD,6BAAA;AAAA,EACA,qBAAA;AAAA,EACA;AACF,CAAC;AACM,IAAM,uBAAA,GAA0B;AAChC,IAAM,gCAAA,GAAmC;AACzC,IAAM,0BAAA,GAA6B;AACnC,IAAM,gCAAA,GAAmC;AAEhD,SAAS,gBAAgB,KAAA,EAAuB;AAC9C,EAAA,OAAO,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,CAAC,CAAA;AACvC;AAEA,SAAS,kBAAA,GAA6B;AACpC,EAAA,IAAI,OAAO,MAAA,KAAW,WAAA,IAAe,OAAO,MAAA,CAAO,eAAe,UAAA,EAAY;AAC5E,IAAA,OAAO,OAAO,UAAA,EAAW;AAAA,EAC3B;AACA,EAAA,OAAO,CAAA,SAAA,EAAY,IAAA,CAAK,GAAA,EAAK,IAAI,IAAA,CAAK,MAAA,EAAO,CAAE,QAAA,CAAS,EAAE,CAAA,CAAE,KAAA,CAAM,CAAA,EAAG,EAAE,CAAC,CAAA,CAAA;AAC1E;AAEO,SAAS,oBAAA,CACd,QACA,aAAA,EACyB;AACzB,EAAA,IAAI,kBAAkB,UAAA,EAAY;AAChC,IAAA,OAAO,aAAA;AAAA,EACT;AAEA,EAAA,QAAQ,MAAA;AAAQ,IACd,KAAK,WAAA;AACH,MAAA,OAAO,WAAA;AAAA,IACT,KAAK,cAAA;AACH,MAAA,OAAO,UAAA;AAAA,IACT,KAAK,SAAA;AACH,MAAA,OAAO,SAAA;AAAA,IACT;AACE,MAAA,OAAO,kBAAkB,WAAA,IACvB,aAAA,KAAkB,UAAA,IAClB,aAAA,KAAkB,YAChB,QAAA,GACA,aAAA;AAAA;AAEV;AAEO,SAAS,0BACd,MAAA,EACsC;AACtC,EAAA,QAAQ,MAAA;AAAQ,IACd,KAAK,WAAA;AACH,MAAA,OAAO,wBAAA;AAAA,IACT,KAAK,cAAA;AACH,MAAA,OAAO,2BAAA;AAAA,IACT,KAAK,SAAA;AACH,MAAA,OAAO,sBAAA;AAAA,IACT,KAAK,SAAA;AACH,MAAA,OAAO,sBAAA;AAAA,IACT;AACE,MAAA,OAAO,IAAA;AAAA;AAEb;AAEO,SAAS,6BAA6B,IAAA,EAKX;AAChC,EAAA,MAAM,OAAA,GAAU,yBAAA,CAA0B,IAAA,CAAK,MAAM,CAAA;AACrD,EAAA,IAAI,CAAC,OAAA,EAAS;AACZ,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,IAAI,IAAA,CAAK,WAAW,WAAA,EAAa;AAC/B,IAAA,MAAM,OAAA,GAAU,IAAA,CAAK,iBAAA,GAAoB,IAAA,CAAK,WAAW,WAAA,CAAY,KAAA;AACrE,IAAA,MAAM,eAAA,GAAkB,eAAA;AAAA,MACtB,IAAA,CAAK,GAAA;AAAA,QACH,IAAA,CAAK,UAAA,CAAW,WAAA,CAAY,OAAA,IAAW,MAAA,CAAO,iBAAA;AAAA,QAC9C;AAAA;AACF,KACF;AACA,IAAA,OAAO;AAAA,MACL,OAAA;AAAA,MACA,kBAAkB,IAAA,CAAK,iBAAA;AAAA,MACvB,eAAA;AAAA,MACA,eAAA,EAAiB,kBAAkB,IAAA,CAAK;AAAA,KAC1C;AAAA,EACF;AAEA,EAAA,IAAI,IAAA,CAAK,WAAW,cAAA,EAAgB;AAClC,IAAA,MAAM,OAAA,GACJ,IAAA,CAAK,iBAAA,GAAoB,IAAA,CAAK,WAAW,cAAA,CAAe,KAAA;AAC1D,IAAA,MAAM,eAAA,GAAkB,eAAA;AAAA,MACtB,KAAK,GAAA,CAAI,IAAA,CAAK,WAAW,cAAA,CAAe,KAAA,IAAS,GAAG,OAAO;AAAA,KAC7D;AACA,IAAA,OAAO;AAAA,MACL,OAAA;AAAA,MACA,kBAAkB,IAAA,CAAK,iBAAA;AAAA,MACvB,eAAA;AAAA,MACA,eAAA,EAAiB,kBAAkB,IAAA,CAAK;AAAA,KAC1C;AAAA,EACF;AAEA,EAAA,IAAI,IAAA,CAAK,MAAA,KAAW,SAAA,IAAa,IAAA,CAAK,WAAW,SAAA,EAAW;AAC1D,IAAA,MAAM,eAAA,GAAkB,eAAA;AAAA,MACtB,IAAA,CAAK,iBAAA,GAAoB,IAAA,CAAK,UAAA,CAAW,SAAA,CAAU;AAAA,KACrD;AACA,IAAA,OAAO;AAAA,MACL,OAAA;AAAA,MACA,kBAAkB,IAAA,CAAK,iBAAA;AAAA,MACvB,eAAA;AAAA,MACA,eAAA,EAAiB,kBAAkB,IAAA,CAAK;AAAA,KAC1C;AAAA,EACF;AAEA,EAAA,IAAI,IAAA,CAAK,MAAA,KAAW,SAAA,IAAa,IAAA,CAAK,WAAW,SAAA,EAAW;AAC1D,IAAA,IAAA,CAAK,KAAK,gBAAA,IAAoB,CAAA,IAAK,IAAA,CAAK,UAAA,CAAW,UAAU,SAAA,EAAW;AACtE,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,eAAA,GAAkB,eAAA;AAAA,MACtB,IAAA,CAAK,iBAAA,GAAoB,IAAA,CAAK,UAAA,CAAW,SAAA,CAAU;AAAA,KACrD;AACA,IAAA,OAAO;AAAA,MACL,OAAA;AAAA,MACA,kBAAkB,IAAA,CAAK,iBAAA;AAAA,MACvB,eAAA;AAAA,MACA,eAAA,EAAiB,kBAAkB,IAAA,CAAK;AAAA,KAC1C;AAAA,EACF;AAEA,EAAA,OAAO,IAAA;AACT;AAEO,SAAS,6BAAA,CAId,UACA,IAAA,EAM8C;AAC9C,EAAA,OAAO;AAAA,IACL,cAAc,IAAA,CAAK,YAAA;AAAA,IACnB,YAAY,kBAAA,EAAmB;AAAA,IAC/B,OAAO,QAAA,CAAS,KAAA;AAAA,IAChB,aAAa,QAAA,CAAS,WAAA;AAAA,IACtB,eAAe,QAAA,CAAS,aAAA;AAAA,IACxB,WAAW,QAAA,CAAS,SAAA;AAAA,IACpB,WAAW,QAAA,CAAS,SAAA;AAAA,IACpB,UAAU,QAAA,CAAS,QAAA;AAAA,IACnB,aAAa,QAAA,CAAS,WAAA;AAAA,IACtB,mBAAmB,QAAA,CAAS,iBAAA;AAAA,IAC5B,YAAY,QAAA,CAAS,UAAA;AAAA,IACrB,oBAAoB,QAAA,CAAS,kBAAA;AAAA,IAC7B,oBAAoB,QAAA,CAAS,kBAAA;AAAA,IAC7B,MAAA,EAAQ,QAAA;AAAA,IACR,aAAA,EAAe,WAAA;AAAA,IACf,yBAAyB,QAAA,CAAS,UAAA;AAAA,IAClC,2BAA2B,QAAA,CAAS,YAAA;AAAA,IACpC,aAAa,IAAA,CAAK,GAAA;AAAA,IAClB,SAAS,IAAA,CAAK,OAAA;AAAA,IACd,WAAW,IAAA,CAAK,GAAA;AAAA,IAChB,WAAW,IAAA,CAAK,SAAA;AAAA,IAChB,WAAW,IAAA,CAAK;AAAA,GAClB;AACF;AAEO,SAAS,0BACd,KAAA,EAC8B;AAC9B,EAAA,OAAO,UAAU,qBAAA,IACf,KAAA,KAAU,aAAA,IACV,KAAA,KAAU,YACR,KAAA,GACA,MAAA;AACN;AAEO,SAAS,uBAAA,CACd,OACA,aAAA,EACoB;AACpB,EAAA,IACE,KAAA,KAAU,SACV,KAAA,KAAU,KAAA,IACV,UAAU,IAAA,IACV,KAAA,KAAU,IAAA,IACV,KAAA,KAAU,IAAA,EACV;AACA,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,IAAI,KAAA;AAAA,IACR,GAAG,aAAa,CAAA,wDAAA;AAAA,GAClB;AACF;AAEO,SAAS,qBAAA,CACd,OACA,aAAA,EACQ;AACR,EAAA,IAAI,OAAO,KAAA,KAAU,QAAA,IAAY,MAAA,CAAO,QAAA,CAAS,KAAK,CAAA,EAAG;AACvD,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,IAAI,KAAA,CAAM,CAAA,EAAG,aAAa,CAAA,qCAAA,CAAuC,CAAA;AACzE;AAEO,SAAS,gBAAA,CACd,QACA,IAAA,EACoB;AACpB,EAAA,KAAA,MAAW,OAAO,IAAA,EAAM;AACtB,IAAA,MAAM,KAAA,GAAQ,OAAO,GAAG,CAAA;AACxB,IAAA,IAAI,OAAO,KAAA,KAAU,QAAA,IAAY,MAAA,CAAO,QAAA,CAAS,KAAK,CAAA,EAAG;AACvD,MAAA,OAAO,KAAA;AAAA,IACT;AAAA,EACF;AACA,EAAA,OAAO,MAAA;AACT;AAEO,SAAS,uBAAA,CACd,WACA,SAAA,EACyB;AACzB,EAAA,IAAI,CAAC,SAAA,IAAa,OAAO,SAAA,KAAc,QAAA,EAAU;AAC/C,IAAA,OAAO,EAAC;AAAA,EACV;AAEA,EAAA,MAAM,IAAA,GAAO,SAAA;AACb,EAAA,MAAM,MAAA,GAAS,KAAK,SAAS,CAAA;AAC7B,EAAA,IAAI,MAAA,IAAU,OAAO,MAAA,KAAW,QAAA,EAAU;AACxC,IAAA,OAAO,MAAA;AAAA,EACT;AACA,EAAA,OAAO,IAAA;AACT;AAEO,SAAS,+BACd,KAAA,EAC2B;AAC3B,EAAA,IAAI,CAAC,KAAA,IAAS,OAAO,KAAA,KAAU,QAAA,EAAU;AACvC,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAEA,EAAA,MAAM,MAAA,GAAS,KAAA;AACf,EAAA,MAAM,SAAS,MAAA,CAAO,MAAA;AACtB,EAAA,MAAM,WAAW,MAAA,CAAO,QAAA;AACxB,EAAA,MAAM,YAAY,MAAA,CAAO,SAAA;AAEzB,EAAA,IACE,WAAW,gBAAA,IACX,MAAA,KAAW,0BACX,MAAA,KAAW,gBAAA,IACX,WAAW,iBAAA,EACX;AACA,IAAA,MAAM,IAAI,KAAA,CAAM,CAAA,+BAAA,EAAkC,MAAA,CAAO,MAAM,CAAC,CAAA,CAAE,CAAA;AAAA,EACpE;AAEA,EAAA,IACE,QAAA,KAAa,SACb,QAAA,KAAa,KAAA,IACb,aAAa,IAAA,IACb,QAAA,KAAa,IAAA,IACb,QAAA,KAAa,IAAA,EACb;AACA,IAAA,MAAM,IAAI,KAAA,CAAM,CAAA,iCAAA,EAAoC,MAAA,CAAO,QAAQ,CAAC,CAAA,CAAE,CAAA;AAAA,EACxE;AAEA,EAAA,IAAI,OAAO,SAAA,KAAc,QAAA,IAAY,CAAC,MAAA,CAAO,QAAA,CAAS,SAAS,CAAA,EAAG;AAChE,IAAA,MAAM,IAAI,MAAM,mDAAmD,CAAA;AAAA,EACrE;AAEA,EAAA,MAAM,YAAA,GACJ,MAAA,CAAO,YAAA,IACP,OAAO,MAAA,CAAO,YAAA,KAAiB,QAAA,IAC/B,MAAA,CAAO,YAAA,KAAiB,IAAA,GACnB,MAAA,CAAO,YAAA,GACR,MAAA;AAEN,EAAA,OAAO;AAAA,IACL,MAAA;AAAA,IACA,QAAA;AAAA,IACA,SAAA;AAAA,IACA,MAAA,EAAQ,yBAAA,CAA0B,MAAA,CAAO,MAAM,CAAA;AAAA,IAC/C,YAAA,EACE,iBACC,OAAO,YAAA,CAAa,qBAAqB,QAAA,IACxC,OAAO,YAAA,CAAa,SAAA,KAAc,QAAA,CAAA,GAChC;AAAA,MACE,kBACE,OAAO,YAAA,CAAa,gBAAA,KAAqB,QAAA,GACrC,aAAa,gBAAA,GACb,MAAA;AAAA,MACN,WACE,OAAO,YAAA,CAAa,SAAA,KAAc,QAAA,GAC9B,aAAa,SAAA,GACb;AAAA,KACR,GACA;AAAA,GACR;AACF;AAEO,SAAS,kBAAA,CACd,QAAA,EACA,IAAA,EACA,KAAA,EACS;AACT,EAAA,QAAQ,QAAA;AAAU,IAChB,KAAK,KAAA;AACH,MAAA,OAAO,IAAA,IAAQ,KAAA;AAAA,IACjB,KAAK,KAAA;AACH,MAAA,OAAO,IAAA,IAAQ,KAAA;AAAA,IACjB,KAAK,IAAA;AACH,MAAA,OAAO,IAAA,KAAS,KAAA;AAAA,IAClB,KAAK,IAAA;AACH,MAAA,OAAO,IAAA,GAAO,KAAA;AAAA,IAChB,KAAK,IAAA;AACH,MAAA,OAAO,IAAA,GAAO,KAAA;AAAA,IAChB;AACE,MAAA,OAAO,KAAA;AAAA;AAEb;AAEO,SAAS,uBAAA,CACd,WACA,mBAAA,EACmC;AACnC,EAAA,OAAO,cAAc,WAAA,GACjB,mBAAA,GACE,cAAA,GACA,WAAA,GACF,sBACE,WAAA,GACA,cAAA;AACR;AAEO,SAAS,yBAAyB,IAAA,EAQ9B;AACT,EAAA,MAAM,gBAAA,GACJ,IAAA,CAAK,aAAA,KAAkB,IAAA,GACnB,YACA,CAAA,EAAG,IAAA,CAAK,aAAa,CAAA,EAAG,KAAK,IAAA,GAAO,CAAA,CAAA,EAAI,IAAA,CAAK,IAAI,KAAK,EAAE,CAAA,CAAA;AAC9D,EAAA,MAAM,iBAAA,GAAoB,CAAA,EAAG,IAAA,CAAK,SAAS,CAAA,EAAG,IAAA,CAAK,IAAA,GAAO,CAAA,CAAA,EAAI,IAAA,CAAK,IAAI,CAAA,CAAA,GAAK,EAAE,CAAA,CAAA;AAC9E,EAAA,MAAM,MAAA,GAAS,CAAA,EAAG,IAAA,CAAK,KAAK,CAAA,UAAA,EAAa,gBAAgB,CAAA,SAAA,EAAY,IAAA,CAAK,QAAQ,CAAA,CAAA,EAAI,iBAAiB,CAAA,CAAA;AAEvG,EAAA,IAAI,IAAA,CAAK,kBAAkB,IAAA,EAAM;AAC/B,IAAA,OAAO,CAAA,EAAG,MAAM,CAAA,qBAAA,EAAwB,IAAA,CAAK,MAAM,CAAA,uCAAA,CAAA;AAAA,EACrD;AAEA,EAAA,OAAO,CAAA,EAAG,MAAM,CAAA,aAAA,EACd,IAAA,CAAK,sBAAsB,QAAA,GAAW,QACxC,CAAA,eAAA,EAAkB,IAAA,CAAK,MAAM,CAAA,CAAA,CAAA;AAC/B;AAEO,SAAS,yBAAyB,IAAA,EAK9B;AACT,EAAA,MAAM,QAAA,GACJ,KAAK,QAAA,CAAS,KAAA,KAAU,OAAO,SAAA,GAAY,MAAA,CAAO,IAAA,CAAK,QAAA,CAAS,KAAK,CAAA;AACvE,EAAA,MAAM,MAAA,GAAS,CAAA,EAAG,IAAA,CAAK,QAAA,CAAS,MAAM,CAAA,UAAA,EAAa,QAAQ,CAAA,SAAA,EAAY,IAAA,CAAK,MAAA,CAAO,QAAQ,CAAA,CAAA,EAAI,IAAA,CAAK,OAAO,SAAS,CAAA,CAAA;AAEpH,EAAA,IAAI,IAAA,CAAK,QAAA,CAAS,KAAA,KAAU,IAAA,EAAM;AAChC,IAAA,OAAO,CAAA,EAAG,MAAM,CAAA,qEAAA,EAAwE,IAAA,CAAK,MAAM,CAAA,CAAA,CAAA;AAAA,EACrG;AAEA,EAAA,OAAO,CAAA,EAAG,MAAM,CAAA,aAAA,EACd,IAAA,CAAK,sBAAsB,QAAA,GAAW,QACxC,CAAA,eAAA,EAAkB,IAAA,CAAK,MAAM,CAAA,CAAA,CAAA;AAC/B;AAEO,SAAS,yBACd,KAAA,EAC8B;AAC9B,EAAA,IAAI,CAAC,KAAA,IAAS,OAAO,KAAA,KAAU,QAAA,EAAU;AACvC,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAEA,EAAA,MAAM,MAAA,GAAS,KAAA;AACf,EAAA,OAAO;AAAA,IACL,MAAA,EACE,OAAO,MAAA,CAAO,MAAA,KAAW,QAAA,IAAY,OAAO,MAAA,CAAO,MAAA,GAAS,CAAA,GACxD,MAAA,CAAO,MAAA,GACP,MAAA;AAAA,IACN,QAAA,EAAU,uBAAA,CAAwB,MAAA,CAAO,QAAA,EAAU,uBAAuB,CAAA;AAAA,IAC1E,SAAA,EAAW,qBAAA,CAAsB,MAAA,CAAO,SAAA,EAAW,uBAAuB,CAAA;AAAA,IAC1E,eAAe,gBAAA,CAAiB,MAAA,EAAQ,CAAC,eAAA,EAAiB,OAAO,CAAC,CAAA;AAAA,IAClE,YAAA,EAAc,gBAAA,CAAiB,MAAA,EAAQ,CAAC,cAAc,CAAC,CAAA;AAAA,IACvD,WAAA,EAAa,gBAAA,CAAiB,MAAA,EAAQ,CAAC,aAAa,CAAC,CAAA;AAAA,IACrD,IAAA,EACE,OAAO,MAAA,CAAO,IAAA,KAAS,QAAA,IAAY,OAAO,IAAA,CAAK,MAAA,GAAS,CAAA,GACpD,MAAA,CAAO,IAAA,GACP;AAAA,GACR;AACF;AAEO,SAAS,iCACd,KAAA,EAC6B;AAC7B,EAAA,IAAI,CAAC,KAAA,IAAS,OAAO,KAAA,KAAU,QAAA,EAAU;AACvC,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAEA,EAAA,MAAM,MAAA,GAAS,KAAA;AACf,EAAA,IAAI,OAAO,OAAO,GAAA,KAAQ,QAAA,IAAY,OAAO,GAAA,CAAI,IAAA,EAAK,CAAE,MAAA,KAAW,CAAA,EAAG;AACpE,IAAA,MAAM,IAAI,MAAM,mDAAmD,CAAA;AAAA,EACrE;AAEA,EAAA,OAAO;AAAA,IACL,GAAA,EAAK,MAAA,CAAO,GAAA,CAAI,IAAA,EAAK;AAAA,IACrB,QAAA,EAAU,uBAAA;AAAA,MACR,MAAA,CAAO,QAAA;AAAA,MACP;AAAA,KACF;AAAA,IACA,SAAA,EAAW,qBAAA;AAAA,MACT,MAAA,CAAO,SAAA;AAAA,MACP;AAAA,KACF;AAAA,IACA,aAAA,EAAe,OAAO,aAAA,KAAkB;AAAA,GAC1C;AACF;AAEO,SAAS,4BACd,KAAA,EACiC;AACjC,EAAA,IAAI,CAAC,KAAA,IAAS,OAAO,KAAA,KAAU,QAAA,EAAU;AACvC,IAAA,OAAO,EAAC;AAAA,EACV;AAEA,EAAA,MAAM,MAAA,GAAS,KAAA;AACf,EAAA,OAAO;AAAA,IACL,KAAA,EACE,OAAO,MAAA,CAAO,KAAA,KAAU,QAAA,IAAY,OAAO,KAAA,CAAM,MAAA,GAAS,CAAA,GACtD,MAAA,CAAO,KAAA,GACP,MAAA;AAAA,IACN,SAAA,EAAW,OAAO,SAAA,KAAc,IAAA;AAAA,IAChC,WAAA,EAAa,gBAAA,CAAiB,MAAA,EAAQ,CAAC,aAAa,CAAC,CAAA;AAAA,IACrD,UAAA,EAAY,gBAAA,CAAiB,MAAA,EAAQ,CAAC,YAAY,CAAC,CAAA;AAAA,IACnD,WAAA,EAAa,gBAAA,CAAiB,MAAA,EAAQ,CAAC,aAAa,CAAC,CAAA;AAAA,IACrD,UAAA,EAAY,gBAAA,CAAiB,MAAA,EAAQ,CAAC,YAAY,CAAC;AAAA,GACrD;AACF;AAEO,SAAS,iCACd,KAAA,EAC6B;AAC7B,EAAA,IAAI,CAAC,KAAA,IAAS,OAAO,KAAA,KAAU,QAAA,EAAU;AACvC,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAEA,EAAA,MAAM,MAAA,GAAS,KAAA;AACf,EAAA,OAAO;AAAA,IACL,OAAA,EACE,OAAO,MAAA,CAAO,OAAA,KAAY,QAAA,IAAY,OAAO,OAAA,CAAQ,MAAA,GAAS,CAAA,GAC1D,MAAA,CAAO,OAAA,GACP,MAAA;AAAA,IACN,cAAc,gBAAA,CAAiB,MAAA,EAAQ,CAAC,cAAA,EAAgB,WAAW,CAAC,CAAA;AAAA,IACpE,YAAA,EAAc,gBAAA,CAAiB,MAAA,EAAQ,CAAC,cAAc,CAAC,CAAA;AAAA,IACvD,SAAA,EACE,OAAO,MAAA,CAAO,SAAA,KAAc,QAAA,IAAY,OAAO,SAAA,CAAU,MAAA,GAAS,CAAA,GAC9D,MAAA,CAAO,SAAA,GACP,MAAA;AAAA,IACN,gBAAgB,gBAAA,CAAiB,MAAA,EAAQ,CAAC,gBAAA,EAAkB,YAAY,CAAC,CAAA;AAAA,IACzE,eAAA,EAAiB,gBAAA,CAAiB,MAAA,EAAQ,CAAC,iBAAiB,CAAC,CAAA;AAAA,IAC7D,QAAA,EAAU,uBAAA;AAAA,MACR,MAAA,CAAO,QAAA;AAAA,MACP;AAAA,KACF;AAAA,IACA,SAAA,EAAW,qBAAA;AAAA,MACT,MAAA,CAAO,SAAA;AAAA,MACP;AAAA;AACF,GACF;AACF","file":"epistemicContract.js","sourcesContent":["import type {\n  ContractModulationPlan,\n  EpistemicContractDirection,\n  EpistemicContractEvaluationResult,\n  EpistemicContractModulation,\n  EpistemicContractRecord,\n  EpistemicContractStatus,\n  EvidentialAction,\n  EvidentialEvaluatorConfig,\n  EvidentialMetricSnapshot,\n  EvidentialOperator,\n  MarketIndexComparatorConfig,\n  MetricCheckerEvaluatorConfig,\n  ReferenceCheckCounterConfig,\n  TemporalDeadlineEvaluatorConfig,\n  VerificationConfidenceTrigger,\n} from \"../../types\";\n\nexport const BUILT_IN_EVIDENTIAL_EVALUATOR = \"evidential\";\nexport const BUILT_IN_EVIDENTIAL_ALIASES = new Set([\n  BUILT_IN_EVIDENTIAL_EVALUATOR,\n  \"built_in_evidential\",\n  \"builtin_evidential\",\n]);\nexport const BUILT_IN_METRIC_CHECKER = \"metric_checker\";\nexport const BUILT_IN_REFERENCE_CHECK_COUNTER = \"reference_check_counter\";\nexport const BUILT_IN_TEMPORAL_DEADLINE = \"temporal_deadline\";\nexport const BUILT_IN_MARKET_INDEX_COMPARATOR = \"market_index_comparator\";\n\nfunction clampConfidence(value: number): number {\n  return Math.max(0, Math.min(1, value));\n}\n\nfunction generateContractId(): string {\n  if (typeof crypto !== \"undefined\" && typeof crypto.randomUUID === \"function\") {\n    return crypto.randomUUID();\n  }\n  return `contract-${Date.now()}-${Math.random().toString(36).slice(2, 10)}`;\n}\n\nexport function deriveContractStatus(\n  result: EpistemicContractEvaluationResult,\n  currentStatus: EpistemicContractStatus\n): EpistemicContractStatus {\n  if (currentStatus === \"archived\") {\n    return currentStatus;\n  }\n\n  switch (result) {\n    case \"confirmed\":\n      return \"satisfied\";\n    case \"disconfirmed\":\n      return \"violated\";\n    case \"expired\":\n      return \"expired\";\n    default:\n      return currentStatus === \"satisfied\" ||\n        currentStatus === \"violated\" ||\n        currentStatus === \"expired\"\n        ? \"active\"\n        : currentStatus;\n  }\n}\n\nexport function deriveVerificationTrigger(\n  result: EpistemicContractEvaluationResult\n): VerificationConfidenceTrigger | null {\n  switch (result) {\n    case \"confirmed\":\n      return \"verification_confirmed\";\n    case \"disconfirmed\":\n      return \"verification_disconfirmed\";\n    case \"expired\":\n      return \"verification_expired\";\n    case \"partial\":\n      return \"verification_partial\";\n    default:\n      return null;\n  }\n}\n\nexport function deriveContractModulationPlan(args: {\n  currentConfidence: number;\n  modulation: EpistemicContractModulation;\n  result: EpistemicContractEvaluationResult;\n  resultConfidence?: number;\n}): ContractModulationPlan | null {\n  const trigger = deriveVerificationTrigger(args.result);\n  if (!trigger) {\n    return null;\n  }\n\n  if (args.result === \"confirmed\") {\n    const rawNext = args.currentConfidence + args.modulation.onConfirmed.delta;\n    const confidenceAfter = clampConfidence(\n      Math.min(\n        args.modulation.onConfirmed.ceiling ?? Number.POSITIVE_INFINITY,\n        rawNext\n      )\n    );\n    return {\n      trigger,\n      confidenceBefore: args.currentConfidence,\n      confidenceAfter,\n      confidenceDelta: confidenceAfter - args.currentConfidence,\n    };\n  }\n\n  if (args.result === \"disconfirmed\") {\n    const rawNext =\n      args.currentConfidence + args.modulation.onDisconfirmed.delta;\n    const confidenceAfter = clampConfidence(\n      Math.max(args.modulation.onDisconfirmed.floor ?? 0, rawNext)\n    );\n    return {\n      trigger,\n      confidenceBefore: args.currentConfidence,\n      confidenceAfter,\n      confidenceDelta: confidenceAfter - args.currentConfidence,\n    };\n  }\n\n  if (args.result === \"expired\" && args.modulation.onExpired) {\n    const confidenceAfter = clampConfidence(\n      args.currentConfidence + args.modulation.onExpired.delta\n    );\n    return {\n      trigger,\n      confidenceBefore: args.currentConfidence,\n      confidenceAfter,\n      confidenceDelta: confidenceAfter - args.currentConfidence,\n    };\n  }\n\n  if (args.result === \"partial\" && args.modulation.onPartial) {\n    if ((args.resultConfidence ?? 0) < args.modulation.onPartial.threshold) {\n      return null;\n    }\n    const confidenceAfter = clampConfidence(\n      args.currentConfidence + args.modulation.onPartial.delta\n    );\n    return {\n      trigger,\n      confidenceBefore: args.currentConfidence,\n      confidenceAfter,\n      confidenceDelta: confidenceAfter - args.currentConfidence,\n    };\n  }\n\n  return null;\n}\n\nexport function createInheritedContractRecord<\n  TBeliefId = string,\n  TTopicId = string | undefined,\n>(\n  contract: EpistemicContractRecord<any, any>,\n  args: {\n    beliefNodeId: TBeliefId;\n    topicId?: TTopicId;\n    createdBy: string;\n    now: number;\n  }\n): EpistemicContractRecord<TBeliefId, TTopicId> {\n  return {\n    beliefNodeId: args.beliefNodeId,\n    contractId: generateContractId(),\n    title: contract.title,\n    description: contract.description,\n    conditionType: contract.conditionType,\n    direction: contract.direction,\n    condition: contract.condition,\n    deadline: contract.deadline,\n    compositeOf: contract.compositeOf,\n    compositeOperator: contract.compositeOperator,\n    modulation: contract.modulation,\n    evaluationSchedule: contract.evaluationSchedule,\n    periodicIntervalMs: contract.periodicIntervalMs,\n    status: \"active\",\n    lineageSource: \"inherited\",\n    inheritedFromContractId: contract.contractId,\n    inheritedFromBeliefNodeId: contract.beliefNodeId as TBeliefId,\n    inheritedAt: args.now,\n    topicId: args.topicId,\n    createdAt: args.now,\n    createdBy: args.createdBy,\n    updatedAt: args.now,\n  };\n}\n\nexport function normalizeEvidentialAction(\n  value: unknown\n): EvidentialAction | undefined {\n  return value === \"modulate_confidence\" ||\n    value === \"flag_review\" ||\n    value === \"archive\"\n    ? value\n    : undefined;\n}\n\nexport function parseComparisonOperator(\n  value: unknown,\n  evaluatorName: string\n): EvidentialOperator {\n  if (\n    value === \"gte\" ||\n    value === \"lte\" ||\n    value === \"eq\" ||\n    value === \"gt\" ||\n    value === \"lt\"\n  ) {\n    return value;\n  }\n  throw new Error(\n    `${evaluatorName} requires operator to be one of gte, lte, eq, gt, or lt.`\n  );\n}\n\nexport function parseNumericThreshold(\n  value: unknown,\n  evaluatorName: string\n): number {\n  if (typeof value === \"number\" && Number.isFinite(value)) {\n    return value;\n  }\n  throw new Error(`${evaluatorName} requires a finite numeric threshold.`);\n}\n\nexport function pickFiniteNumber(\n  config: Record<string, unknown>,\n  keys: string[]\n): number | undefined {\n  for (const key of keys) {\n    const value = config[key];\n    if (typeof value === \"number\" && Number.isFinite(value)) {\n      return value;\n    }\n  }\n  return undefined;\n}\n\nexport function getEvaluatorInputRecord(\n  inputData: unknown,\n  nestedKey: string\n): Record<string, unknown> {\n  if (!inputData || typeof inputData !== \"object\") {\n    return {};\n  }\n\n  const root = inputData as Record<string, unknown>;\n  const nested = root[nestedKey];\n  if (nested && typeof nested === \"object\") {\n    return nested as Record<string, unknown>;\n  }\n  return root;\n}\n\nexport function parseEvidentialEvaluatorConfig(\n  value: unknown\n): EvidentialEvaluatorConfig {\n  if (!value || typeof value !== \"object\") {\n    throw new Error(\n      \"Evidential contracts require condition.evaluatorConfig with metric/operator/threshold.\"\n    );\n  }\n\n  const config = value as Record<string, unknown>;\n  const metric = config.metric;\n  const operator = config.operator;\n  const threshold = config.threshold;\n\n  if (\n    metric !== \"evidence_count\" &&\n    metric !== \"contradiction_status\" &&\n    metric !== \"edge_freshness\" &&\n    metric !== \"dependent_count\"\n  ) {\n    throw new Error(`Unsupported evidential metric: ${String(metric)}`);\n  }\n\n  if (\n    operator !== \"gte\" &&\n    operator !== \"lte\" &&\n    operator !== \"eq\" &&\n    operator !== \"gt\" &&\n    operator !== \"lt\"\n  ) {\n    throw new Error(`Unsupported evidential operator: ${String(operator)}`);\n  }\n\n  if (typeof threshold !== \"number\" || !Number.isFinite(threshold)) {\n    throw new Error(\"Evidential contracts require a numeric threshold.\");\n  }\n\n  const actionParams =\n    config.actionParams &&\n    typeof config.actionParams === \"object\" &&\n    config.actionParams !== null\n      ? (config.actionParams as Record<string, unknown>)\n      : undefined;\n\n  return {\n    metric,\n    operator,\n    threshold,\n    action: normalizeEvidentialAction(config.action),\n    actionParams:\n      actionParams &&\n      (typeof actionParams.targetConfidence === \"number\" ||\n        typeof actionParams.rationale === \"string\")\n        ? {\n            targetConfidence:\n              typeof actionParams.targetConfidence === \"number\"\n                ? actionParams.targetConfidence\n                : undefined,\n            rationale:\n              typeof actionParams.rationale === \"string\"\n                ? actionParams.rationale\n                : undefined,\n          }\n        : undefined,\n  };\n}\n\nexport function compareMetricValue(\n  operator: EvidentialOperator,\n  left: number,\n  right: number\n): boolean {\n  switch (operator) {\n    case \"gte\":\n      return left >= right;\n    case \"lte\":\n      return left <= right;\n    case \"eq\":\n      return left === right;\n    case \"gt\":\n      return left > right;\n    case \"lt\":\n      return left < right;\n    default:\n      return false;\n  }\n}\n\nexport function resolveComparisonResult(\n  direction: EpistemicContractDirection,\n  comparisonSatisfied: boolean\n): EpistemicContractEvaluationResult {\n  return direction === \"falsifies\"\n    ? comparisonSatisfied\n      ? \"disconfirmed\"\n      : \"confirmed\"\n    : comparisonSatisfied\n      ? \"confirmed\"\n      : \"disconfirmed\";\n}\n\nexport function buildComparisonRationale(args: {\n  label: string;\n  observedValue: number | null;\n  operator: EvidentialOperator;\n  threshold: number;\n  comparisonSatisfied: boolean;\n  result: EpistemicContractEvaluationResult;\n  unit?: string;\n}): string {\n  const renderedObserved =\n    args.observedValue === null\n      ? \"no data\"\n      : `${args.observedValue}${args.unit ? ` ${args.unit}` : \"\"}`;\n  const renderedThreshold = `${args.threshold}${args.unit ? ` ${args.unit}` : \"\"}`;\n  const clause = `${args.label} observed ${renderedObserved} against ${args.operator} ${renderedThreshold}`;\n\n  if (args.observedValue === null) {\n    return `${clause}; evaluator returned ${args.result} because no current data was available.`;\n  }\n\n  return `${clause}; comparison ${\n    args.comparisonSatisfied ? \"passed\" : \"failed\"\n  }, resulting in ${args.result}.`;\n}\n\nexport function buildEvidentialRationale(args: {\n  config: EvidentialEvaluatorConfig;\n  snapshot: EvidentialMetricSnapshot;\n  comparisonSatisfied: boolean;\n  result: EpistemicContractEvaluationResult;\n}): string {\n  const observed =\n    args.snapshot.value === null ? \"no data\" : String(args.snapshot.value);\n  const clause = `${args.snapshot.metric} observed ${observed} against ${args.config.operator} ${args.config.threshold}`;\n\n  if (args.snapshot.value === null) {\n    return `${clause}; evidential evaluator treated the comparison as unmet, resulting in ${args.result}.`;\n  }\n\n  return `${clause}; comparison ${\n    args.comparisonSatisfied ? \"passed\" : \"failed\"\n  }, resulting in ${args.result}.`;\n}\n\nexport function parseMetricCheckerConfig(\n  value: unknown\n): MetricCheckerEvaluatorConfig {\n  if (!value || typeof value !== \"object\") {\n    throw new Error(\n      \"metric_checker requires condition.evaluatorConfig with observedValue/operator/threshold.\"\n    );\n  }\n\n  const config = value as Record<string, unknown>;\n  return {\n    metric:\n      typeof config.metric === \"string\" && config.metric.length > 0\n        ? config.metric\n        : undefined,\n    operator: parseComparisonOperator(config.operator, BUILT_IN_METRIC_CHECKER),\n    threshold: parseNumericThreshold(config.threshold, BUILT_IN_METRIC_CHECKER),\n    observedValue: pickFiniteNumber(config, [\"observedValue\", \"value\"]),\n    currentValue: pickFiniteNumber(config, [\"currentValue\"]),\n    metricValue: pickFiniteNumber(config, [\"metricValue\"]),\n    unit:\n      typeof config.unit === \"string\" && config.unit.length > 0\n        ? config.unit\n        : undefined,\n  };\n}\n\nexport function parseReferenceCheckCounterConfig(\n  value: unknown\n): ReferenceCheckCounterConfig {\n  if (!value || typeof value !== \"object\") {\n    throw new Error(\n      \"reference_check_counter requires condition.evaluatorConfig with tag/operator/threshold.\"\n    );\n  }\n\n  const config = value as Record<string, unknown>;\n  if (typeof config.tag !== \"string\" || config.tag.trim().length === 0) {\n    throw new Error(\"reference_check_counter requires a non-empty tag.\");\n  }\n\n  return {\n    tag: config.tag.trim(),\n    operator: parseComparisonOperator(\n      config.operator,\n      BUILT_IN_REFERENCE_CHECK_COUNTER\n    ),\n    threshold: parseNumericThreshold(\n      config.threshold,\n      BUILT_IN_REFERENCE_CHECK_COUNTER\n    ),\n    caseSensitive: config.caseSensitive === true,\n  };\n}\n\nexport function parseTemporalDeadlineConfig(\n  value: unknown\n): TemporalDeadlineEvaluatorConfig {\n  if (!value || typeof value !== \"object\") {\n    return {};\n  }\n\n  const config = value as Record<string, unknown>;\n  return {\n    label:\n      typeof config.label === \"string\" && config.label.length > 0\n        ? config.label\n        : undefined,\n    completed: config.completed === true,\n    completedAt: pickFiniteNumber(config, [\"completedAt\"]),\n    observedAt: pickFiniteNumber(config, [\"observedAt\"]),\n    satisfiedAt: pickFiniteNumber(config, [\"satisfiedAt\"]),\n    achievedAt: pickFiniteNumber(config, [\"achievedAt\"]),\n  };\n}\n\nexport function parseMarketIndexComparatorConfig(\n  value: unknown\n): MarketIndexComparatorConfig {\n  if (!value || typeof value !== \"object\") {\n    throw new Error(\n      \"market_index_comparator requires condition.evaluatorConfig with subjectValue/benchmarkValue/operator/threshold.\"\n    );\n  }\n\n  const config = value as Record<string, unknown>;\n  return {\n    subject:\n      typeof config.subject === \"string\" && config.subject.length > 0\n        ? config.subject\n        : undefined,\n    subjectValue: pickFiniteNumber(config, [\"subjectValue\", \"leftValue\"]),\n    primaryValue: pickFiniteNumber(config, [\"primaryValue\"]),\n    benchmark:\n      typeof config.benchmark === \"string\" && config.benchmark.length > 0\n        ? config.benchmark\n        : undefined,\n    benchmarkValue: pickFiniteNumber(config, [\"benchmarkValue\", \"rightValue\"]),\n    comparisonValue: pickFiniteNumber(config, [\"comparisonValue\"]),\n    operator: parseComparisonOperator(\n      config.operator,\n      BUILT_IN_MARKET_INDEX_COMPARATOR\n    ),\n    threshold: parseNumericThreshold(\n      config.threshold,\n      BUILT_IN_MARKET_INDEX_COMPARATOR\n    ),\n  };\n}\n"]}

package/dist/v1/operations/contradiction/detectTupleContradiction.d.ts

@@ -0,0 +1,13 @@
+import { Opinion, TupleContradictionPolicy, TupleContradictionTransition } from '../../types.js';
+
+declare const DEFAULT_TUPLE_CONTRADICTION_BELIEF_THRESHOLD = 0.7;
+declare const DEFAULT_TUPLE_CONTRADICTION_DISBELIEF_THRESHOLD = 0.7;
+declare function normalizeTupleContradictionPolicy(policy?: Partial<TupleContradictionPolicy>): TupleContradictionPolicy;
+declare function detectTupleContradiction(opinion: Opinion, tauB?: number, tauD?: number): boolean;
+declare function evaluateTupleContradictionTransition(args: {
+    previousTupleContradicted?: boolean;
+    opinion: Opinion;
+    policy?: Partial<TupleContradictionPolicy>;
+}): TupleContradictionTransition;
+
+export { DEFAULT_TUPLE_CONTRADICTION_BELIEF_THRESHOLD, DEFAULT_TUPLE_CONTRADICTION_DISBELIEF_THRESHOLD, detectTupleContradiction, evaluateTupleContradictionTransition, normalizeTupleContradictionPolicy };

package/dist/v1/operations/contradiction/detectTupleContradiction.js

@@ -0,0 +1,40 @@
+// src/v1/operations/scoring.ts
+function clamp01(value) {
+  return Math.max(0, Math.min(1, value));
+}
+
+// src/v1/operations/contradiction/detectTupleContradiction.ts
+var DEFAULT_TUPLE_CONTRADICTION_BELIEF_THRESHOLD = 0.7;
+var DEFAULT_TUPLE_CONTRADICTION_DISBELIEF_THRESHOLD = 0.7;
+function normalizeTupleContradictionPolicy(policy = {}) {
+  return {
+    beliefThreshold: clamp01(
+      policy.beliefThreshold ?? DEFAULT_TUPLE_CONTRADICTION_BELIEF_THRESHOLD
+    ),
+    disbeliefThreshold: clamp01(
+      policy.disbeliefThreshold ?? DEFAULT_TUPLE_CONTRADICTION_DISBELIEF_THRESHOLD
+    )
+  };
+}
+function detectTupleContradiction(opinion, tauB = DEFAULT_TUPLE_CONTRADICTION_BELIEF_THRESHOLD, tauD = DEFAULT_TUPLE_CONTRADICTION_DISBELIEF_THRESHOLD) {
+  return opinion.b > tauB && opinion.d > tauD;
+}
+function evaluateTupleContradictionTransition(args) {
+  const policy = normalizeTupleContradictionPolicy(args.policy);
+  const tupleContradicted = detectTupleContradiction(
+    args.opinion,
+    policy.beliefThreshold,
+    policy.disbeliefThreshold
+  );
+  const previousTupleContradicted = Boolean(args.previousTupleContradicted);
+  return {
+    tupleContradicted,
+    crossedIntoTupleContradiction: !previousTupleContradicted && tupleContradicted,
+    crossedOutOfTupleContradiction: previousTupleContradicted && !tupleContradicted,
+    policy
+  };
+}
+
+export { DEFAULT_TUPLE_CONTRADICTION_BELIEF_THRESHOLD, DEFAULT_TUPLE_CONTRADICTION_DISBELIEF_THRESHOLD, detectTupleContradiction, evaluateTupleContradictionTransition, normalizeTupleContradictionPolicy };
+//# sourceMappingURL=detectTupleContradiction.js.map
+//# sourceMappingURL=detectTupleContradiction.js.map

package/dist/v1/operations/contradiction/detectTupleContradiction.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../../../src/v1/operations/scoring.ts","../../../../src/v1/operations/contradiction/detectTupleContradiction.ts"],"names":[],"mappings":";AAOO,SAAS,QAAQ,KAAA,EAAuB;AAC7C,EAAA,OAAO,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,CAAC,CAAA;AACvC;;;ACFO,IAAM,4CAAA,GAA+C;AACrD,IAAM,+CAAA,GAAkD;AAExD,SAAS,iCAAA,CACd,MAAA,GAA4C,EAAC,EACnB;AAC1B,EAAA,OAAO;AAAA,IACL,eAAA,EAAiB,OAAA;AAAA,MACf,OAAO,eAAA,IAAmB;AAAA,KAC5B;AAAA,IACA,kBAAA,EAAoB,OAAA;AAAA,MAClB,OAAO,kBAAA,IACL;AAAA;AACJ,GACF;AACF;AAEO,SAAS,wBAAA,CACd,OAAA,EACA,IAAA,GAAe,4CAAA,EACf,OAAe,+CAAA,EACN;AACT,EAAA,OAAO,OAAA,CAAQ,CAAA,GAAI,IAAA,IAAQ,OAAA,CAAQ,CAAA,GAAI,IAAA;AACzC;AAEO,SAAS,qCAAqC,IAAA,EAIpB;AAC/B,EAAA,MAAM,MAAA,GAAS,iCAAA,CAAkC,IAAA,CAAK,MAAM,CAAA;AAC5D,EAAA,MAAM,iBAAA,GAAoB,wBAAA;AAAA,IACxB,IAAA,CAAK,OAAA;AAAA,IACL,MAAA,CAAO,eAAA;AAAA,IACP,MAAA,CAAO;AAAA,GACT;AACA,EAAA,MAAM,yBAAA,GAA4B,OAAA,CAAQ,IAAA,CAAK,yBAAyB,CAAA;AAExE,EAAA,OAAO;AAAA,IACL,iBAAA;AAAA,IACA,6BAAA,EACE,CAAC,yBAAA,IAA6B,iBAAA;AAAA,IAChC,8BAAA,EACE,6BAA6B,CAAC,iBAAA;AAAA,IAChC;AAAA,GACF;AACF","file":"detectTupleContradiction.js","sourcesContent":["import type { Opinion, StoredOpinionFields } from \"../types\";\nimport { dogmatic, vacuous } from \"./subjectiveLogic\";\n\nfunction finiteNumber(value: unknown): number | undefined {\n  return typeof value === \"number\" && Number.isFinite(value) ? value : undefined;\n}\n\nexport function clamp01(value: number): number {\n  return Math.max(0, Math.min(1, value));\n}\n\nexport function confidenceFromOpinion(opinion: Opinion): number {\n  return clamp01(opinion.b + opinion.a * opinion.u);\n}\n\nexport function confidenceFromSL(\n  belief: number,\n  _disbelief: number,\n  uncertainty: number,\n  baseRate: number = 0.5\n): number {\n  return confidenceFromOpinion({\n    b: belief,\n    d: _disbelief,\n    u: uncertainty,\n    a: baseRate,\n  });\n}\n\nexport function toStoredOpinionFields(opinion: Opinion): StoredOpinionFields {\n  return {\n    belief: opinion.b,\n    disbelief: opinion.d,\n    uncertainty: opinion.u,\n    baseRate: opinion.a,\n  };\n}\n\nexport function readOpinionFromRecord(\n  source: unknown,\n  fallback: Partial<Opinion> = {}\n): Opinion {\n  const record =\n    source && typeof source === \"object\"\n      ? (source as Record<string, unknown>)\n      : {};\n\n  return {\n    b:\n      finiteNumber(record.b) ??\n      finiteNumber(record.belief) ??\n      finiteNumber(record.slBelief) ??\n      finiteNumber(record.opinion_b) ??\n      fallback.b ??\n      0,\n    d:\n      finiteNumber(record.d) ??\n      finiteNumber(record.disbelief) ??\n      finiteNumber(record.slDisbelief) ??\n      finiteNumber(record.opinion_d) ??\n      fallback.d ??\n      0,\n    u:\n      finiteNumber(record.u) ??\n      finiteNumber(record.uncertainty) ??\n      finiteNumber(record.slUncertainty) ??\n      finiteNumber(record.opinion_u) ??\n      fallback.u ??\n      1,\n    a:\n      finiteNumber(record.a) ??\n      finiteNumber(record.baseRate) ??\n      finiteNumber(record.slBaseRate) ??\n      finiteNumber(record.opinion_a) ??\n      fallback.a ??\n      0.5,\n  };\n}\n\nexport type OpinionFromScalarMode =\n  | \"base_rate\"\n  | \"dogmatic\"\n  | \"projected_with_u\";\n\nexport function opinionFromScalar(\n  value: number,\n  mode: OpinionFromScalarMode,\n  options?: { baseRate?: number; uncertainty?: number }\n): Opinion {\n  const clampedValue = clamp01(value);\n  const baseRate = clamp01(options?.baseRate ?? 0.5);\n\n  switch (mode) {\n    case \"base_rate\":\n      return {\n        b: 0,\n        d: 0,\n        u: 1,\n        a: clampedValue,\n      };\n    case \"dogmatic\":\n      return {\n        b: clampedValue,\n        d: 1 - clampedValue,\n        u: 0,\n        a: baseRate,\n      };\n    case \"projected_with_u\": {\n      const uncertainty = options?.uncertainty;\n      if (uncertainty === undefined) {\n        throw new Error(\n          \"opinionFromScalar(value, \\\"projected_with_u\\\") requires options.uncertainty.\"\n        );\n      }\n      const clampedUncertainty = clamp01(uncertainty);\n      const evidenceWeight = 1 - clampedUncertainty;\n      return {\n        b: clampedValue * evidenceWeight,\n        d: (1 - clampedValue) * evidenceWeight,\n        u: clampedUncertainty,\n        a: baseRate,\n      };\n    }\n  }\n\n  throw new Error(`Unsupported opinionFromScalar mode: ${mode}`);\n}\n\n/**\n * @deprecated Use opinionFromScalar(value, \"dogmatic\", { baseRate }) instead.\n */\nexport function toDogmaticOpinion(\n  confidence: number,\n  baseRate: number = 0.5\n): Opinion {\n  return opinionFromScalar(confidence, \"dogmatic\", { baseRate });\n}\n\n/** Interpret p as a prior with no observed evidence. */\nexport function opinionFromBaseRate(probability: number): Opinion {\n  return vacuous(clamp01(probability));\n}\n\n/** Interpret p as a certainty-equivalent projected probability. */\nexport function opinionFromDogmatic(\n  probability: number,\n  baseRate: number = 0.5\n): Opinion {\n  return dogmatic(clamp01(probability), clamp01(baseRate));\n}\n\n/**\n * Interpret p as a projected probability with an explicit uncertainty bucket.\n * The resulting opinion always projects back to p.\n */\nexport function opinionFromProjected(\n  probability: number,\n  uncertainty: number,\n  baseRate: number = 0.5\n): Opinion {\n  const p = clamp01(probability);\n  const u = clamp01(uncertainty);\n  const remainingMass = 1 - u;\n  return {\n    b: p * remainingMass,\n    d: (1 - p) * remainingMass,\n    u,\n    a: clamp01(baseRate),\n  };\n}\n\nexport function hasProjectedOpinionChanged(\n  current: Opinion,\n  next: Opinion,\n  tolerance: number = 0.01\n): boolean {\n  return Math.abs(confidenceFromOpinion(next) - confidenceFromOpinion(current)) >=\n    tolerance;\n}\n","import type {\n  Opinion,\n  TupleContradictionPolicy,\n  TupleContradictionTransition,\n} from \"../../types\";\nimport { clamp01 } from \"../scoring\";\n\nexport const DEFAULT_TUPLE_CONTRADICTION_BELIEF_THRESHOLD = 0.7;\nexport const DEFAULT_TUPLE_CONTRADICTION_DISBELIEF_THRESHOLD = 0.7;\n\nexport function normalizeTupleContradictionPolicy(\n  policy: Partial<TupleContradictionPolicy> = {}\n): TupleContradictionPolicy {\n  return {\n    beliefThreshold: clamp01(\n      policy.beliefThreshold ?? DEFAULT_TUPLE_CONTRADICTION_BELIEF_THRESHOLD\n    ),\n    disbeliefThreshold: clamp01(\n      policy.disbeliefThreshold ??\n        DEFAULT_TUPLE_CONTRADICTION_DISBELIEF_THRESHOLD\n    ),\n  };\n}\n\nexport function detectTupleContradiction(\n  opinion: Opinion,\n  tauB: number = DEFAULT_TUPLE_CONTRADICTION_BELIEF_THRESHOLD,\n  tauD: number = DEFAULT_TUPLE_CONTRADICTION_DISBELIEF_THRESHOLD\n): boolean {\n  return opinion.b > tauB && opinion.d > tauD;\n}\n\nexport function evaluateTupleContradictionTransition(args: {\n  previousTupleContradicted?: boolean;\n  opinion: Opinion;\n  policy?: Partial<TupleContradictionPolicy>;\n}): TupleContradictionTransition {\n  const policy = normalizeTupleContradictionPolicy(args.policy);\n  const tupleContradicted = detectTupleContradiction(\n    args.opinion,\n    policy.beliefThreshold,\n    policy.disbeliefThreshold\n  );\n  const previousTupleContradicted = Boolean(args.previousTupleContradicted);\n\n  return {\n    tupleContradicted,\n    crossedIntoTupleContradiction:\n      !previousTupleContradicted && tupleContradicted,\n    crossedOutOfTupleContradiction:\n      previousTupleContradicted && !tupleContradicted,\n    policy,\n  };\n}\n"]}

package/dist/v1/operations/contradiction/index.d.ts

@@ -0,0 +1,2 @@
+export { DEFAULT_TUPLE_CONTRADICTION_BELIEF_THRESHOLD, DEFAULT_TUPLE_CONTRADICTION_DISBELIEF_THRESHOLD, detectTupleContradiction, evaluateTupleContradictionTransition, normalizeTupleContradictionPolicy } from './detectTupleContradiction.js';
+import '../../types.js';

package/dist/v1/operations/contradiction/index.js

@@ -0,0 +1,40 @@
+// src/v1/operations/scoring.ts
+function clamp01(value) {
+  return Math.max(0, Math.min(1, value));
+}
+
+// src/v1/operations/contradiction/detectTupleContradiction.ts
+var DEFAULT_TUPLE_CONTRADICTION_BELIEF_THRESHOLD = 0.7;
+var DEFAULT_TUPLE_CONTRADICTION_DISBELIEF_THRESHOLD = 0.7;
+function normalizeTupleContradictionPolicy(policy = {}) {
+  return {
+    beliefThreshold: clamp01(
+      policy.beliefThreshold ?? DEFAULT_TUPLE_CONTRADICTION_BELIEF_THRESHOLD
+    ),
+    disbeliefThreshold: clamp01(
+      policy.disbeliefThreshold ?? DEFAULT_TUPLE_CONTRADICTION_DISBELIEF_THRESHOLD
+    )
+  };
+}
+function detectTupleContradiction(opinion, tauB = DEFAULT_TUPLE_CONTRADICTION_BELIEF_THRESHOLD, tauD = DEFAULT_TUPLE_CONTRADICTION_DISBELIEF_THRESHOLD) {
+  return opinion.b > tauB && opinion.d > tauD;
+}
+function evaluateTupleContradictionTransition(args) {
+  const policy = normalizeTupleContradictionPolicy(args.policy);
+  const tupleContradicted = detectTupleContradiction(
+    args.opinion,
+    policy.beliefThreshold,
+    policy.disbeliefThreshold
+  );
+  const previousTupleContradicted = Boolean(args.previousTupleContradicted);
+  return {
+    tupleContradicted,
+    crossedIntoTupleContradiction: !previousTupleContradicted && tupleContradicted,
+    crossedOutOfTupleContradiction: previousTupleContradicted && !tupleContradicted,
+    policy
+  };
+}
+
+export { DEFAULT_TUPLE_CONTRADICTION_BELIEF_THRESHOLD, DEFAULT_TUPLE_CONTRADICTION_DISBELIEF_THRESHOLD, detectTupleContradiction, evaluateTupleContradictionTransition, normalizeTupleContradictionPolicy };
+//# sourceMappingURL=index.js.map
+//# sourceMappingURL=index.js.map

package/dist/v1/operations/contradiction/index.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../../../src/v1/operations/scoring.ts","../../../../src/v1/operations/contradiction/detectTupleContradiction.ts"],"names":[],"mappings":";AAOO,SAAS,QAAQ,KAAA,EAAuB;AAC7C,EAAA,OAAO,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,CAAC,CAAA;AACvC;;;ACFO,IAAM,4CAAA,GAA+C;AACrD,IAAM,+CAAA,GAAkD;AAExD,SAAS,iCAAA,CACd,MAAA,GAA4C,EAAC,EACnB;AAC1B,EAAA,OAAO;AAAA,IACL,eAAA,EAAiB,OAAA;AAAA,MACf,OAAO,eAAA,IAAmB;AAAA,KAC5B;AAAA,IACA,kBAAA,EAAoB,OAAA;AAAA,MAClB,OAAO,kBAAA,IACL;AAAA;AACJ,GACF;AACF;AAEO,SAAS,wBAAA,CACd,OAAA,EACA,IAAA,GAAe,4CAAA,EACf,OAAe,+CAAA,EACN;AACT,EAAA,OAAO,OAAA,CAAQ,CAAA,GAAI,IAAA,IAAQ,OAAA,CAAQ,CAAA,GAAI,IAAA;AACzC;AAEO,SAAS,qCAAqC,IAAA,EAIpB;AAC/B,EAAA,MAAM,MAAA,GAAS,iCAAA,CAAkC,IAAA,CAAK,MAAM,CAAA;AAC5D,EAAA,MAAM,iBAAA,GAAoB,wBAAA;AAAA,IACxB,IAAA,CAAK,OAAA;AAAA,IACL,MAAA,CAAO,eAAA;AAAA,IACP,MAAA,CAAO;AAAA,GACT;AACA,EAAA,MAAM,yBAAA,GAA4B,OAAA,CAAQ,IAAA,CAAK,yBAAyB,CAAA;AAExE,EAAA,OAAO;AAAA,IACL,iBAAA;AAAA,IACA,6BAAA,EACE,CAAC,yBAAA,IAA6B,iBAAA;AAAA,IAChC,8BAAA,EACE,6BAA6B,CAAC,iBAAA;AAAA,IAChC;AAAA,GACF;AACF","file":"index.js","sourcesContent":["import type { Opinion, StoredOpinionFields } from \"../types\";\nimport { dogmatic, vacuous } from \"./subjectiveLogic\";\n\nfunction finiteNumber(value: unknown): number | undefined {\n  return typeof value === \"number\" && Number.isFinite(value) ? value : undefined;\n}\n\nexport function clamp01(value: number): number {\n  return Math.max(0, Math.min(1, value));\n}\n\nexport function confidenceFromOpinion(opinion: Opinion): number {\n  return clamp01(opinion.b + opinion.a * opinion.u);\n}\n\nexport function confidenceFromSL(\n  belief: number,\n  _disbelief: number,\n  uncertainty: number,\n  baseRate: number = 0.5\n): number {\n  return confidenceFromOpinion({\n    b: belief,\n    d: _disbelief,\n    u: uncertainty,\n    a: baseRate,\n  });\n}\n\nexport function toStoredOpinionFields(opinion: Opinion): StoredOpinionFields {\n  return {\n    belief: opinion.b,\n    disbelief: opinion.d,\n    uncertainty: opinion.u,\n    baseRate: opinion.a,\n  };\n}\n\nexport function readOpinionFromRecord(\n  source: unknown,\n  fallback: Partial<Opinion> = {}\n): Opinion {\n  const record =\n    source && typeof source === \"object\"\n      ? (source as Record<string, unknown>)\n      : {};\n\n  return {\n    b:\n      finiteNumber(record.b) ??\n      finiteNumber(record.belief) ??\n      finiteNumber(record.slBelief) ??\n      finiteNumber(record.opinion_b) ??\n      fallback.b ??\n      0,\n    d:\n      finiteNumber(record.d) ??\n      finiteNumber(record.disbelief) ??\n      finiteNumber(record.slDisbelief) ??\n      finiteNumber(record.opinion_d) ??\n      fallback.d ??\n      0,\n    u:\n      finiteNumber(record.u) ??\n      finiteNumber(record.uncertainty) ??\n      finiteNumber(record.slUncertainty) ??\n      finiteNumber(record.opinion_u) ??\n      fallback.u ??\n      1,\n    a:\n      finiteNumber(record.a) ??\n      finiteNumber(record.baseRate) ??\n      finiteNumber(record.slBaseRate) ??\n      finiteNumber(record.opinion_a) ??\n      fallback.a ??\n      0.5,\n  };\n}\n\nexport type OpinionFromScalarMode =\n  | \"base_rate\"\n  | \"dogmatic\"\n  | \"projected_with_u\";\n\nexport function opinionFromScalar(\n  value: number,\n  mode: OpinionFromScalarMode,\n  options?: { baseRate?: number; uncertainty?: number }\n): Opinion {\n  const clampedValue = clamp01(value);\n  const baseRate = clamp01(options?.baseRate ?? 0.5);\n\n  switch (mode) {\n    case \"base_rate\":\n      return {\n        b: 0,\n        d: 0,\n        u: 1,\n        a: clampedValue,\n      };\n    case \"dogmatic\":\n      return {\n        b: clampedValue,\n        d: 1 - clampedValue,\n        u: 0,\n        a: baseRate,\n      };\n    case \"projected_with_u\": {\n      const uncertainty = options?.uncertainty;\n      if (uncertainty === undefined) {\n        throw new Error(\n          \"opinionFromScalar(value, \\\"projected_with_u\\\") requires options.uncertainty.\"\n        );\n      }\n      const clampedUncertainty = clamp01(uncertainty);\n      const evidenceWeight = 1 - clampedUncertainty;\n      return {\n        b: clampedValue * evidenceWeight,\n        d: (1 - clampedValue) * evidenceWeight,\n        u: clampedUncertainty,\n        a: baseRate,\n      };\n    }\n  }\n\n  throw new Error(`Unsupported opinionFromScalar mode: ${mode}`);\n}\n\n/**\n * @deprecated Use opinionFromScalar(value, \"dogmatic\", { baseRate }) instead.\n */\nexport function toDogmaticOpinion(\n  confidence: number,\n  baseRate: number = 0.5\n): Opinion {\n  return opinionFromScalar(confidence, \"dogmatic\", { baseRate });\n}\n\n/** Interpret p as a prior with no observed evidence. */\nexport function opinionFromBaseRate(probability: number): Opinion {\n  return vacuous(clamp01(probability));\n}\n\n/** Interpret p as a certainty-equivalent projected probability. */\nexport function opinionFromDogmatic(\n  probability: number,\n  baseRate: number = 0.5\n): Opinion {\n  return dogmatic(clamp01(probability), clamp01(baseRate));\n}\n\n/**\n * Interpret p as a projected probability with an explicit uncertainty bucket.\n * The resulting opinion always projects back to p.\n */\nexport function opinionFromProjected(\n  probability: number,\n  uncertainty: number,\n  baseRate: number = 0.5\n): Opinion {\n  const p = clamp01(probability);\n  const u = clamp01(uncertainty);\n  const remainingMass = 1 - u;\n  return {\n    b: p * remainingMass,\n    d: (1 - p) * remainingMass,\n    u,\n    a: clamp01(baseRate),\n  };\n}\n\nexport function hasProjectedOpinionChanged(\n  current: Opinion,\n  next: Opinion,\n  tolerance: number = 0.01\n): boolean {\n  return Math.abs(confidenceFromOpinion(next) - confidenceFromOpinion(current)) >=\n    tolerance;\n}\n","import type {\n  Opinion,\n  TupleContradictionPolicy,\n  TupleContradictionTransition,\n} from \"../../types\";\nimport { clamp01 } from \"../scoring\";\n\nexport const DEFAULT_TUPLE_CONTRADICTION_BELIEF_THRESHOLD = 0.7;\nexport const DEFAULT_TUPLE_CONTRADICTION_DISBELIEF_THRESHOLD = 0.7;\n\nexport function normalizeTupleContradictionPolicy(\n  policy: Partial<TupleContradictionPolicy> = {}\n): TupleContradictionPolicy {\n  return {\n    beliefThreshold: clamp01(\n      policy.beliefThreshold ?? DEFAULT_TUPLE_CONTRADICTION_BELIEF_THRESHOLD\n    ),\n    disbeliefThreshold: clamp01(\n      policy.disbeliefThreshold ??\n        DEFAULT_TUPLE_CONTRADICTION_DISBELIEF_THRESHOLD\n    ),\n  };\n}\n\nexport function detectTupleContradiction(\n  opinion: Opinion,\n  tauB: number = DEFAULT_TUPLE_CONTRADICTION_BELIEF_THRESHOLD,\n  tauD: number = DEFAULT_TUPLE_CONTRADICTION_DISBELIEF_THRESHOLD\n): boolean {\n  return opinion.b > tauB && opinion.d > tauD;\n}\n\nexport function evaluateTupleContradictionTransition(args: {\n  previousTupleContradicted?: boolean;\n  opinion: Opinion;\n  policy?: Partial<TupleContradictionPolicy>;\n}): TupleContradictionTransition {\n  const policy = normalizeTupleContradictionPolicy(args.policy);\n  const tupleContradicted = detectTupleContradiction(\n    args.opinion,\n    policy.beliefThreshold,\n    policy.disbeliefThreshold\n  );\n  const previousTupleContradicted = Boolean(args.previousTupleContradicted);\n\n  return {\n    tupleContradicted,\n    crossedIntoTupleContradiction:\n      !previousTupleContradicted && tupleContradicted,\n    crossedOutOfTupleContradiction:\n      previousTupleContradicted && !tupleContradicted,\n    policy,\n  };\n}\n"]}

package/dist/v1/operations/dynamics/cascade.d.ts

@@ -0,0 +1,6 @@
+import { Opinion, PropagationMode, PropagationResult } from '../../types.js';
+
+declare function dampedDependencyOpinion(dependencyOpinion: Opinion, beliefOpinion: Opinion, mode?: PropagationMode, threshold?: number): Opinion;
+declare function dampedDependencyCascade(dependencyOpinion: Opinion, beliefOpinion: Opinion, mode?: PropagationMode): PropagationResult;
+
+export { dampedDependencyCascade, dampedDependencyOpinion };

package/dist/v1/operations/dynamics/cascade.js

@@ -0,0 +1,56 @@
+// src/v1/operations/subjectiveLogic/index.ts
+function opinion(belief, disbelief, uncertainty, baseRate = 0.5) {
+  const b = Math.max(0, Math.min(1, belief));
+  const d = Math.max(0, Math.min(1, disbelief));
+  const u = Math.max(0, Math.min(1, uncertainty));
+  const a = Math.max(0, Math.min(1, baseRate));
+  const sum = b + d + u;
+  if (sum === 0) {
+    return { b: 0, d: 0, u: 1, a };
+  }
+  return {
+    b: b / sum,
+    d: d / sum,
+    u: u / sum,
+    a
+  };
+}
+function project(o) {
+  return o.b + o.a * o.u;
+}
+
+// src/v1/operations/dynamics/cascade.ts
+function dampedDependencyOpinion(dependencyOpinion, beliefOpinion, mode = "continuous", threshold = 0.3) {
+  const dependencyProjection = project(dependencyOpinion);
+  if (mode === "threshold") {
+    if (dependencyProjection < threshold) {
+      return opinion(
+        0,
+        beliefOpinion.d + beliefOpinion.b * 0.5,
+        0.5,
+        beliefOpinion.a
+      );
+    }
+    return beliefOpinion;
+  }
+  const dampingFactor = Math.pow(dependencyProjection, 0.5);
+  return opinion(
+    beliefOpinion.b * dampingFactor,
+    beliefOpinion.d + beliefOpinion.b * (1 - dampingFactor) * 0.3,
+    beliefOpinion.u + beliefOpinion.b * (1 - dampingFactor) * 0.7,
+    beliefOpinion.a
+  );
+}
+function dampedDependencyCascade(dependencyOpinion, beliefOpinion, mode = "continuous") {
+  return {
+    opinion: dampedDependencyOpinion(dependencyOpinion, beliefOpinion, mode),
+    operator: "dependency_cascade",
+    rationale: `Damped dependency cascade (${mode}): prerequisite at ${project(
+      dependencyOpinion
+    ).toFixed(2)}`
+  };
+}
+
+export { dampedDependencyCascade, dampedDependencyOpinion };
+//# sourceMappingURL=cascade.js.map
+//# sourceMappingURL=cascade.js.map

package/dist/v1/operations/dynamics/cascade.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../../../src/v1/operations/subjectiveLogic/index.ts","../../../../src/v1/operations/dynamics/cascade.ts"],"names":[],"mappings":";AAEO,SAAS,OAAA,CACd,MAAA,EACA,SAAA,EACA,WAAA,EACA,WAAmB,GAAA,EACV;AACT,EAAA,MAAM,CAAA,GAAI,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,MAAM,CAAC,CAAA;AACzC,EAAA,MAAM,CAAA,GAAI,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,SAAS,CAAC,CAAA;AAC5C,EAAA,MAAM,CAAA,GAAI,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,WAAW,CAAC,CAAA;AAC9C,EAAA,MAAM,CAAA,GAAI,KAAK,GAAA,CAAI,CAAA,EAAG,KAAK,GAAA,CAAI,CAAA,EAAG,QAAQ,CAAC,CAAA;AAC3C,EAAA,MAAM,GAAA,GAAM,IAAI,CAAA,GAAI,CAAA;AAEpB,EAAA,IAAI,QAAQ,CAAA,EAAG;AACb,IAAA,OAAO,EAAE,CAAA,EAAG,CAAA,EAAG,GAAG,CAAA,EAAG,CAAA,EAAG,GAAG,CAAA,EAAE;AAAA,EAC/B;AAEA,EAAA,OAAO;AAAA,IACL,GAAG,CAAA,GAAI,GAAA;AAAA,IACP,GAAG,CAAA,GAAI,GAAA;AAAA,IACP,GAAG,CAAA,GAAI,GAAA;AAAA,IACP;AAAA,GACF;AACF;AAWO,SAAS,QAAQ,CAAA,EAAoB;AAC1C,EAAA,OAAO,CAAA,CAAE,CAAA,GAAI,CAAA,CAAE,CAAA,GAAI,CAAA,CAAE,CAAA;AACvB;;;AClCO,SAAS,wBACd,iBAAA,EACA,aAAA,EACA,IAAA,GAAwB,YAAA,EACxB,YAAoB,GAAA,EACX;AACT,EAAA,MAAM,oBAAA,GAAuB,QAAQ,iBAAiB,CAAA;AAEtD,EAAA,IAAI,SAAS,WAAA,EAAa;AACxB,IAAA,IAAI,uBAAuB,SAAA,EAAW;AACpC,MAAA,OAAO,OAAA;AAAA,QACL,CAAA;AAAA,QACA,aAAA,CAAc,CAAA,GAAI,aAAA,CAAc,CAAA,GAAI,GAAA;AAAA,QACpC,GAAA;AAAA,QACA,aAAA,CAAc;AAAA,OAChB;AAAA,IACF;AACA,IAAA,OAAO,aAAA;AAAA,EACT;AAEA,EAAA,MAAM,aAAA,GAAgB,IAAA,CAAK,GAAA,CAAI,oBAAA,EAAsB,GAAG,CAAA;AACxD,EAAA,OAAO,OAAA;AAAA,IACL,cAAc,CAAA,GAAI,aAAA;AAAA,IAClB,aAAA,CAAc,CAAA,GAAI,aAAA,CAAc,CAAA,IAAK,IAAI,aAAA,CAAA,GAAiB,GAAA;AAAA,IAC1D,aAAA,CAAc,CAAA,GAAI,aAAA,CAAc,CAAA,IAAK,IAAI,aAAA,CAAA,GAAiB,GAAA;AAAA,IAC1D,aAAA,CAAc;AAAA,GAChB;AACF;AAEO,SAAS,uBAAA,CACd,iBAAA,EACA,aAAA,EACA,IAAA,GAAwB,YAAA,EACL;AACnB,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,uBAAA,CAAwB,iBAAA,EAAmB,aAAA,EAAe,IAAI,CAAA;AAAA,IACvE,QAAA,EAAU,oBAAA;AAAA,IACV,SAAA,EAAW,CAAA,2BAAA,EAA8B,IAAI,CAAA,mBAAA,EAAsB,OAAA;AAAA,MACjE;AAAA,KACF,CAAE,OAAA,CAAQ,CAAC,CAAC,CAAA;AAAA,GACd;AACF","file":"cascade.js","sourcesContent":["import type { Opinion } from \"../../types\";\n\nexport function opinion(\n  belief: number,\n  disbelief: number,\n  uncertainty: number,\n  baseRate: number = 0.5\n): Opinion {\n  const b = Math.max(0, Math.min(1, belief));\n  const d = Math.max(0, Math.min(1, disbelief));\n  const u = Math.max(0, Math.min(1, uncertainty));\n  const a = Math.max(0, Math.min(1, baseRate));\n  const sum = b + d + u;\n\n  if (sum === 0) {\n    return { b: 0, d: 0, u: 1, a };\n  }\n\n  return {\n    b: b / sum,\n    d: d / sum,\n    u: u / sum,\n    a,\n  };\n}\n\nexport function vacuous(baseRate: number = 0.5): Opinion {\n  return { b: 0, d: 0, u: 1, a: baseRate };\n}\n\nexport function dogmatic(probability: number, baseRate: number = 0.5): Opinion {\n  const p = Math.max(0, Math.min(1, probability));\n  return { b: p, d: 1 - p, u: 0, a: baseRate };\n}\n\nexport function project(o: Opinion): number {\n  return o.b + o.a * o.u;\n}\n\nexport function confidenceLevel(o: Opinion): \"high\" | \"medium\" | \"low\" {\n  const projected = project(o);\n  if (o.u > 0.5) {\n    return \"low\";\n  }\n  if (projected >= 0.8 && o.u < 0.2) {\n    return \"high\";\n  }\n  if (projected >= 0.6) {\n    return \"medium\";\n  }\n  return \"low\";\n}\n\nexport function cumulativeFusion(left: Opinion, right: Opinion): Opinion {\n  if (left.u === 0 && right.u === 0) {\n    return opinion(\n      (left.b + right.b) / 2,\n      (left.d + right.d) / 2,\n      0,\n      (left.a + right.a) / 2\n    );\n  }\n\n  const k = left.u + right.u - left.u * right.u;\n  if (k === 0) {\n    return vacuous((left.a + right.a) / 2);\n  }\n\n  return opinion(\n    (left.b * right.u + right.b * left.u) / k,\n    (left.d * right.u + right.d * left.u) / k,\n    (left.u * right.u) / k,\n    (left.a + right.a) / 2\n  );\n}\n\nexport function averagingFusion(left: Opinion, right: Opinion): Opinion {\n  if (left.u === 0 && right.u === 0) {\n    return opinion(\n      (left.b + right.b) / 2,\n      (left.d + right.d) / 2,\n      0,\n      (left.a + right.a) / 2\n    );\n  }\n\n  const k = left.u + right.u;\n  if (k === 0) {\n    return vacuous((left.a + right.a) / 2);\n  }\n\n  return opinion(\n    (left.b * right.u + right.b * left.u) / k,\n    (left.d * right.u + right.d * left.u) / k,\n    (2 * left.u * right.u) / k,\n    (left.a + right.a) / 2\n  );\n}\n\nexport function trustDiscount(sourceOpinion: Opinion, trust: number): Opinion {\n  const weight = Math.max(0, Math.min(1, Math.abs(trust)));\n  return opinion(\n    weight * sourceOpinion.b,\n    weight * sourceOpinion.d,\n    1 - weight * (sourceOpinion.b + sourceOpinion.d),\n    sourceOpinion.a\n  );\n}\n\nconst EPSILON = 1e-9;\n\nfunction childBaseRateFallback(\n  ifTrue: Opinion,\n  ifFalse: Opinion,\n  fallbackBaseRate: number | undefined\n): number {\n  if (fallbackBaseRate !== undefined) {\n    return Math.max(0, Math.min(1, fallbackBaseRate));\n  }\n\n  if (Math.abs(ifTrue.a - ifFalse.a) <= EPSILON) {\n    return ifTrue.a;\n  }\n\n  return (ifTrue.a + ifFalse.a) / 2;\n}\n\nfunction computeConditionalDeductionBaseRate(\n  opinionA: Opinion,\n  ifTrue: Opinion,\n  ifFalse: Opinion,\n  fallbackBaseRate: number\n): number {\n  const denominator =\n    1 - opinionA.a * ifTrue.u - (1 - opinionA.a) * ifFalse.u;\n\n  if (ifTrue.u + ifFalse.u < 2 - EPSILON && Math.abs(denominator) > EPSILON) {\n    const baseRate =\n      (opinionA.a * ifTrue.b + (1 - opinionA.a) * ifFalse.b) / denominator;\n    if (baseRate >= -EPSILON && baseRate <= 1 + EPSILON) {\n      return Math.max(0, Math.min(1, baseRate));\n    }\n  }\n\n  return fallbackBaseRate;\n}\n\nfunction safeCorrectionTerm(\n  numerator: number,\n  denominator: number\n): number | undefined {\n  if (Math.abs(denominator) <= EPSILON) {\n    return undefined;\n  }\n\n  const value = numerator / denominator;\n  if (!Number.isFinite(value)) {\n    return undefined;\n  }\n\n  return Math.max(0, value);\n}\n\nexport function conditionalDeduction(\n  opinionA: Opinion,\n  ifTrue: Opinion,\n  ifFalse: Opinion,\n  fallbackBaseRate?: number\n): Opinion {\n  const fallbackChildBaseRate = childBaseRateFallback(\n    ifTrue,\n    ifFalse,\n    fallbackBaseRate\n  );\n  const childBaseRate = computeConditionalDeductionBaseRate(\n    opinionA,\n    ifTrue,\n    ifFalse,\n    fallbackChildBaseRate\n  );\n  const projectedAntecedent = project(opinionA);\n  const projectedAntecedentComplement = 1 - projectedAntecedent;\n  const intermediateBelief =\n    opinionA.b * ifTrue.b +\n    opinionA.d * ifFalse.b +\n    opinionA.u * (ifTrue.b * opinionA.a + ifFalse.b * (1 - opinionA.a));\n  const intermediateDisbelief =\n    opinionA.b * ifTrue.d +\n    opinionA.d * ifFalse.d +\n    opinionA.u * (ifTrue.d * opinionA.a + ifFalse.d * (1 - opinionA.a));\n  const intermediateUncertainty =\n    opinionA.b * ifTrue.u +\n    opinionA.d * ifFalse.u +\n    opinionA.u * (ifTrue.u * opinionA.a + ifFalse.u * (1 - opinionA.a));\n  const projectedVacuousDeduction =\n    ifTrue.b * opinionA.a +\n    ifFalse.b * (1 - opinionA.a) +\n    childBaseRate *\n      (ifTrue.u * opinionA.a + ifFalse.u * (1 - opinionA.a));\n  const projectedConditionalA =\n    ifTrue.b + childBaseRate * (1 - ifTrue.b - ifTrue.d);\n  let correction = 0;\n\n  if (\n    (ifTrue.b > ifFalse.b && ifTrue.d > ifFalse.d) ||\n    (ifTrue.b <= ifFalse.b && ifTrue.d <= ifFalse.d)\n  ) {\n    correction = 0;\n  } else if (ifTrue.b > ifFalse.b && ifTrue.d <= ifFalse.d) {\n    const beliefGap = ifTrue.b - ifFalse.b;\n    const disbeliefGap = ifFalse.d - ifTrue.d;\n\n    if (\n      projectedVacuousDeduction <= projectedConditionalA &&\n      projectedAntecedent <= opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          opinionA.a * opinionA.u * (intermediateBelief - ifTrue.b),\n          projectedAntecedent * childBaseRate\n        ) ?? 0;\n    } else if (\n      projectedVacuousDeduction <= projectedConditionalA &&\n      projectedAntecedent > opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          opinionA.a * opinionA.u * (intermediateDisbelief - ifTrue.d) * beliefGap,\n          projectedAntecedentComplement * childBaseRate * disbeliefGap\n        ) ?? 0;\n    } else if (\n      projectedVacuousDeduction > projectedConditionalA &&\n      projectedAntecedent <= opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          (1 - opinionA.a) *\n            opinionA.u *\n            (intermediateBelief - ifTrue.b) *\n            disbeliefGap,\n          projectedAntecedent * (1 - childBaseRate) * beliefGap\n        ) ?? 0;\n    } else {\n      correction =\n        safeCorrectionTerm(\n          (1 - opinionA.a) * opinionA.u * (intermediateDisbelief - ifTrue.d),\n          projectedAntecedentComplement * (1 - childBaseRate)\n        ) ?? 0;\n    }\n  } else {\n    const beliefGap = ifFalse.b - ifTrue.b;\n    const disbeliefGap = ifTrue.d - ifFalse.d;\n\n    if (\n      projectedVacuousDeduction <= projectedConditionalA &&\n      projectedAntecedent <= opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          (1 - opinionA.a) *\n            opinionA.u *\n            (intermediateDisbelief - ifTrue.d) *\n            beliefGap,\n          projectedAntecedent * childBaseRate * disbeliefGap\n        ) ?? 0;\n    } else if (\n      projectedVacuousDeduction <= projectedConditionalA &&\n      projectedAntecedent > opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          (1 - opinionA.a) * opinionA.u * (intermediateBelief - ifTrue.b),\n          projectedAntecedentComplement * childBaseRate\n        ) ?? 0;\n    } else if (\n      projectedVacuousDeduction > projectedConditionalA &&\n      projectedAntecedent <= opinionA.a\n    ) {\n      correction =\n        safeCorrectionTerm(\n          opinionA.a * opinionA.u * (intermediateDisbelief - ifTrue.d),\n          projectedAntecedent * (1 - childBaseRate)\n        ) ?? 0;\n    } else {\n      correction =\n        safeCorrectionTerm(\n          opinionA.a *\n            opinionA.u *\n            (intermediateBelief - ifTrue.b) *\n            disbeliefGap,\n          projectedAntecedentComplement * (1 - childBaseRate) * beliefGap\n        ) ?? 0;\n    }\n  }\n\n  return opinion(\n    intermediateBelief - childBaseRate * correction,\n    intermediateDisbelief - (1 - childBaseRate) * correction,\n    intermediateUncertainty + correction,\n    childBaseRate\n  );\n}\n\n/**\n * Abductive inference over a conditional.\n * Given an opinion on Y and conditionals P(Y|X), P(Y|~X), infer an opinion on X.\n */\nexport function conditionalAbduction(\n  opinionY: Opinion,\n  ifTrue: Opinion,\n  ifFalse: Opinion,\n  baseRateX: number\n): Opinion {\n  const priorX = Math.max(0, Math.min(1, baseRateX));\n  const probabilityY = project(opinionY);\n  const probabilityGivenTrue = project(ifTrue);\n  const probabilityGivenFalse = project(ifFalse);\n\n  const posteriorIfYDenominator =\n    probabilityGivenTrue * priorX +\n    probabilityGivenFalse * (1 - priorX);\n  const posteriorIfY =\n    posteriorIfYDenominator === 0\n      ? priorX\n      : (probabilityGivenTrue * priorX) / posteriorIfYDenominator;\n\n  const posteriorIfNotYDenominator =\n    (1 - probabilityGivenTrue) * priorX +\n    (1 - probabilityGivenFalse) * (1 - priorX);\n  const posteriorIfNotY =\n    posteriorIfNotYDenominator === 0\n      ? priorX\n      : ((1 - probabilityGivenTrue) * priorX) / posteriorIfNotYDenominator;\n\n  const projectedX =\n    probabilityY * posteriorIfY + (1 - probabilityY) * posteriorIfNotY;\n  const uncertainty = Math.max(\n    opinionY.u * 0.5,\n    probabilityY * ifTrue.u + (1 - probabilityY) * ifFalse.u\n  );\n\n  return opinion(\n    projectedX * (1 - uncertainty),\n    (1 - projectedX) * (1 - uncertainty),\n    uncertainty,\n    priorX\n  );\n}\n\nexport function negate(o: Opinion): Opinion {\n  return { b: o.d, d: o.b, u: o.u, a: 1 - o.a };\n}\n\nexport function constraintFusion(\n  left: Opinion,\n  right: Opinion,\n  mode: \"pressure\" | \"redistribute\" = \"pressure\"\n): { o1: Opinion; o2: Opinion } {\n  if (mode === \"redistribute\") {\n    const leftProjected = project(left);\n    const rightProjected = project(right);\n    const total = leftProjected + rightProjected;\n\n    if (total <= 1) {\n      return { o1: left, o2: right };\n    }\n\n    const scale = 1 / total;\n    return {\n      o1: opinion(\n        left.b * scale,\n        left.d + left.b * (1 - scale),\n        left.u,\n        left.a\n      ),\n      o2: opinion(\n        right.b * scale,\n        right.d + right.b * (1 - scale),\n        right.u,\n        right.a\n      ),\n    };\n  }\n\n  const pressureLeft = right.b * 0.5;\n  const pressureRight = left.b * 0.5;\n\n  return {\n    o1: opinion(\n      left.b - pressureLeft * 0.3,\n      left.d + pressureLeft * 0.3,\n      left.u,\n      left.a\n    ),\n    o2: opinion(\n      right.b - pressureRight * 0.3,\n      right.d + pressureRight * 0.3,\n      right.u,\n      right.a\n    ),\n  };\n}\n\nexport function evidenceBalance(o: Opinion): number {\n  const total = o.b + o.d;\n  if (total === 0) {\n    return 0;\n  }\n  return (o.b - o.d) / total;\n}\n\nexport function areTensioned(left: Opinion, right: Opinion): boolean {\n  return (\n    project(left) > 0.5 &&\n    project(right) > 0.5 &&\n    (left.d > 0.2 || right.d > 0.2)\n  );\n}\n\nexport function informationGain(o: Opinion): number {\n  if (o.u === 0) {\n    return 0;\n  }\n  if (o.u === 1) {\n    return 1;\n  }\n  return o.u * (1 - Math.abs(o.b - o.d));\n}\n","import type { Opinion, PropagationMode, PropagationResult } from \"../../types\";\nimport { opinion, project } from \"../subjectiveLogic\";\n\nexport function dampedDependencyOpinion(\n  dependencyOpinion: Opinion,\n  beliefOpinion: Opinion,\n  mode: PropagationMode = \"continuous\",\n  threshold: number = 0.3\n): Opinion {\n  const dependencyProjection = project(dependencyOpinion);\n\n  if (mode === \"threshold\") {\n    if (dependencyProjection < threshold) {\n      return opinion(\n        0,\n        beliefOpinion.d + beliefOpinion.b * 0.5,\n        0.5,\n        beliefOpinion.a\n      );\n    }\n    return beliefOpinion;\n  }\n\n  const dampingFactor = Math.pow(dependencyProjection, 0.5);\n  return opinion(\n    beliefOpinion.b * dampingFactor,\n    beliefOpinion.d + beliefOpinion.b * (1 - dampingFactor) * 0.3,\n    beliefOpinion.u + beliefOpinion.b * (1 - dampingFactor) * 0.7,\n    beliefOpinion.a\n  );\n}\n\nexport function dampedDependencyCascade(\n  dependencyOpinion: Opinion,\n  beliefOpinion: Opinion,\n  mode: PropagationMode = \"continuous\"\n): PropagationResult {\n  return {\n    opinion: dampedDependencyOpinion(dependencyOpinion, beliefOpinion, mode),\n    operator: \"dependency_cascade\",\n    rationale: `Damped dependency cascade (${mode}): prerequisite at ${project(\n      dependencyOpinion\n    ).toFixed(2)}`,\n  };\n}\n"]}

package/dist/v1/operations/dynamics/decay.d.ts

@@ -0,0 +1,25 @@
+import { DecayTier, DeadlineUrgencyTier, DeadlineUrgency, BeliefLifecycleBucket, EffectiveDecay, RescoringSchedule, Opinion } from '../../types.js';
+
+declare const DECAY_TIERS: Record<string, DecayTier>;
+declare const DEADLINE_URGENCY: Record<string, DeadlineUrgencyTier>;
+declare function computeBaseDecay(lastScoredAt: number): {
+    ageDays: number;
+    tier: DecayTier;
+    weight: number;
+};
+declare function computeDeadlineUrgency(expectedBy: number | null | undefined): DeadlineUrgency;
+declare function computeEffectiveDecay(lastScoredAt: number, expectedBy?: number | null, beliefStatus?: BeliefLifecycleBucket | string | null): EffectiveDecay;
+declare function getRescoringSchedule(opts: {
+    lastScoredAt: number;
+    temporalNature?: "factual" | "forecast" | "unknown" | null;
+    expectedBy?: number | null;
+    predictionMeta?: {
+        expectedBy?: number;
+        outcome?: unknown;
+    } | null;
+    confidence?: number;
+    beliefStatus?: string | null;
+}): RescoringSchedule;
+declare function decay(current: Opinion, daysSinceLastUpdate: number, halfLifeDays?: number): Opinion;
+
+export { DEADLINE_URGENCY, DECAY_TIERS, computeBaseDecay, computeDeadlineUrgency, computeEffectiveDecay, decay, getRescoringSchedule };