@lucern/graph-primitives 0.3.0-alpha.0 → 0.3.0-alpha.10

package/dist/epistemicContractHelpers.js

@@ -1,320 +1,3 @@
-// ../confidence/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 };
+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 } from '@lucern/confidence';
 //# sourceMappingURL=epistemicContractHelpers.js.map
 //# sourceMappingURL=epistemicContractHelpers.js.map

package/dist/epistemicContractHelpers.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../confidence/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":"epistemicContractHelpers.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"]}
+{"version":3,"sources":[],"names":[],"mappings":"","file":"epistemicContractHelpers.js","sourcesContent":[]}

package/dist/epistemicContracts.d.ts

@@ -1,5 +1,5 @@
 import { Id, MutationCtx } from './convex.js';
-import { EpistemicContractEvaluationResult, EpistemicContractRecord } from '@lucern/confidence';
+import { EpistemicContractRecord, EpistemicContractEvaluationResult } from '@lucern/confidence';
 import 'convex/values';
 
 type BeliefNodeDoc = {