@lucern/graph-primitives 1.0.0 → 1.0.1

package/dist/epistemicContracts.metrics.d.ts

@@ -0,0 +1,26 @@
+import { Id } from './convex.js';
+import { ContractReadCtx, ContradictionStatusCounts, EvidenceFreshness, EpistemicEvaluatorContext, EpistemicEvaluatorResult } from './epistemicContracts.types.js';
+import 'convex/values';
+import '@lucern/confidence';
+
+/** Metric helpers and evidential snapshots used by contract evaluators. */
+
+declare function computeEvidenceCountMetric(ctx: ContractReadCtx, beliefNodeId: Id<"epistemicNodes">): Promise<number>;
+declare function computeContradictionCounts(ctx: ContractReadCtx, beliefNodeId: Id<"epistemicNodes">): Promise<ContradictionStatusCounts>;
+declare function computeEvidenceFreshness(ctx: ContractReadCtx, beliefNodeId: Id<"epistemicNodes">, now?: number): Promise<EvidenceFreshness>;
+declare function computeDependentBeliefCount(ctx: ContractReadCtx, beliefNodeId: Id<"epistemicNodes">): Promise<number>;
+declare function evaluateBuiltInEvidentialContract(args: EpistemicEvaluatorContext): Promise<EpistemicEvaluatorResult>;
+declare function evaluateMetricCheckerContract(args: EpistemicEvaluatorContext): Promise<EpistemicEvaluatorResult>;
+declare function evaluateReferenceCheckCounterContract(args: EpistemicEvaluatorContext): Promise<EpistemicEvaluatorResult>;
+declare function evaluateTemporalDeadlineContract(args: EpistemicEvaluatorContext): Promise<EpistemicEvaluatorResult>;
+declare function evaluateMarketIndexComparatorContract(args: EpistemicEvaluatorContext): Promise<EpistemicEvaluatorResult>;
+declare const METRIC_COMPARATOR_EVALUATOR_NAMES: {
+    evidential: string;
+    evidentialAliases: Set<string>;
+    metricChecker: string;
+    referenceCheckCounter: string;
+    temporalDeadline: string;
+    marketIndexComparator: string;
+};
+
+export { METRIC_COMPARATOR_EVALUATOR_NAMES, computeContradictionCounts, computeDependentBeliefCount, computeEvidenceCountMetric, computeEvidenceFreshness, evaluateBuiltInEvidentialContract, evaluateMarketIndexComparatorContract, evaluateMetricCheckerContract, evaluateReferenceCheckCounterContract, evaluateTemporalDeadlineContract };

package/dist/epistemicContracts.metrics.js

@@ -0,0 +1,427 @@
+import { parseEvidentialEvaluatorConfig, compareMetricValue, buildEvidentialRationale, parseMetricCheckerConfig, getEvaluatorInputRecord, pickFiniteNumber, resolveComparisonResult, buildComparisonRationale, parseReferenceCheckCounterConfig, parseTemporalDeadlineConfig, parseMarketIndexComparatorConfig } from '@lucern/confidence';
+
+// src/epistemicContractHelpers.ts
+
+// src/epistemicContracts.metrics.ts
+var ACTIVE_CONTRADICTION_STATUSES = /* @__PURE__ */ new Set([
+  "unresolved",
+  "investigating",
+  "accepted_as_permanent"
+]);
+var DEPENDENT_EDGE_TYPES = /* @__PURE__ */ new Set([
+  "depends_on"
+]);
+function classifyContradictionStatus(status) {
+  if (typeof status !== "string") {
+    return "active";
+  }
+  if (ACTIVE_CONTRADICTION_STATUSES.has(status)) {
+    return "active";
+  }
+  if (status === "resolved_support" || status === "resolved_contra" || status === "belief_forked") {
+    return "resolved";
+  }
+  return "resolved";
+}
+function getEdgeTimestamp(edge) {
+  if (typeof edge.updatedAt === "number") {
+    return edge.updatedAt;
+  }
+  if (typeof edge.createdAt === "number") {
+    return edge.createdAt;
+  }
+  if (typeof edge._creationTime === "number") {
+    return edge._creationTime;
+  }
+  return null;
+}
+async function getEvidenceLinks(ctx, beliefNodeId) {
+  const edges = await ctx.db.query("epistemicEdges").withIndex(
+    "by_to_type",
+    (q) => q.eq("toNodeId", beliefNodeId).eq("edgeType", "informs")
+  ).collect();
+  if (edges.length === 0) {
+    return [];
+  }
+  const nodes = await Promise.all(edges.map((edge) => ctx.db.get(edge.fromNodeId)));
+  return edges.flatMap((edge, index) => {
+    const node = nodes[index];
+    if (!node || node.nodeType !== "evidence" || node.status === "archived") {
+      return [];
+    }
+    return [{ edge, node }];
+  });
+}
+function getEvidenceTags(node) {
+  const metadata = node.metadata && typeof node.metadata === "object" ? node.metadata : null;
+  const tags = metadata?.tags;
+  if (!Array.isArray(tags)) {
+    return [];
+  }
+  return tags.filter((tag) => typeof tag === "string");
+}
+async function computeEvidenceCountMetric(ctx, beliefNodeId) {
+  return (await getEvidenceLinks(ctx, beliefNodeId)).length;
+}
+async function computeTaggedEvidenceCount(args) {
+  const expectedTag = args.caseSensitive ? args.tag : args.tag.toLowerCase();
+  const matchedEvidenceIds = (await getEvidenceLinks(args.ctx, args.beliefNodeId)).filter(
+    ({ node }) => getEvidenceTags(node).some(
+      (tag) => (args.caseSensitive ? tag : tag.toLowerCase()) === expectedTag
+    )
+  ).map(({ node }) => String(node._id));
+  return {
+    count: matchedEvidenceIds.length,
+    matchedEvidenceIds
+  };
+}
+async function computeContradictionCounts(ctx, beliefNodeId) {
+  const contradictions = await ctx.db.query("contradictions").withIndex("by_beliefId", (q) => q.eq("beliefId", beliefNodeId)).collect();
+  return contradictions.reduce(
+    (counts, contradiction) => {
+      const status = contradiction.resolutionStatus ?? contradiction.status ?? "unresolved";
+      if (classifyContradictionStatus(status) === "active") {
+        counts.activeCount += 1;
+      } else {
+        counts.resolvedCount += 1;
+      }
+      return counts;
+    },
+    { activeCount: 0, resolvedCount: 0 }
+  );
+}
+async function computeEvidenceFreshness(ctx, beliefNodeId, now = Date.now()) {
+  const timestamps = (await getEvidenceLinks(ctx, beliefNodeId)).map(({ edge }) => getEdgeTimestamp(edge)).filter((value) => value !== null);
+  if (timestamps.length === 0) {
+    return {
+      newestAgeMs: null,
+      oldestAgeMs: null,
+      newestEdgeAt: null,
+      oldestEdgeAt: null,
+      edgeCount: 0
+    };
+  }
+  const newestEdgeAt = Math.max(...timestamps);
+  const oldestEdgeAt = Math.min(...timestamps);
+  return {
+    newestAgeMs: Math.max(0, now - newestEdgeAt),
+    oldestAgeMs: Math.max(0, now - oldestEdgeAt),
+    newestEdgeAt,
+    oldestEdgeAt,
+    edgeCount: timestamps.length
+  };
+}
+async function computeDependentBeliefCount(ctx, beliefNodeId) {
+  const incomingEdges = await ctx.db.query("epistemicEdges").withIndex("by_to", (q) => q.eq("toNodeId", beliefNodeId)).collect();
+  const dependencyEdges = incomingEdges.filter(
+    (edge) => DEPENDENT_EDGE_TYPES.has(edge.edgeType)
+  );
+  if (dependencyEdges.length === 0) {
+    return 0;
+  }
+  const dependentBeliefs = await Promise.all(
+    dependencyEdges.map((edge) => ctx.db.get(edge.fromNodeId))
+  );
+  const uniqueBeliefIds = /* @__PURE__ */ new Set();
+  for (const node of dependentBeliefs) {
+    if (node && node.nodeType === "belief" && node.status !== "archived" && node.status !== "deleted") {
+      uniqueBeliefIds.add(String(node._id));
+    }
+  }
+  return uniqueBeliefIds.size;
+}
+async function snapshotEvidentialMetric(args) {
+  switch (args.metric) {
+    case "evidence_count": {
+      const count = await computeEvidenceCountMetric(args.ctx, args.beliefNodeId);
+      return {
+        metric: args.metric,
+        value: count,
+        data: { evidenceCount: count }
+      };
+    }
+    case "contradiction_status": {
+      const counts = await computeContradictionCounts(args.ctx, args.beliefNodeId);
+      return {
+        metric: args.metric,
+        value: counts.activeCount,
+        data: counts
+      };
+    }
+    case "edge_freshness": {
+      const freshness = await computeEvidenceFreshness(
+        args.ctx,
+        args.beliefNodeId,
+        args.now
+      );
+      return {
+        metric: args.metric,
+        value: freshness.newestAgeMs,
+        data: freshness
+      };
+    }
+    case "dependent_count": {
+      const count = await computeDependentBeliefCount(args.ctx, args.beliefNodeId);
+      return {
+        metric: args.metric,
+        value: count,
+        data: { dependentCount: count }
+      };
+    }
+    default:
+      return {
+        metric: args.metric,
+        value: null,
+        data: {}
+      };
+  }
+}
+async function evaluateBuiltInEvidentialContract(args) {
+  const config = parseEvidentialEvaluatorConfig(args.contract.condition.evaluatorConfig);
+  const snapshot = await snapshotEvidentialMetric({
+    ctx: args.ctx,
+    beliefNodeId: args.belief._id,
+    metric: config.metric,
+    now: args.now
+  });
+  const comparisonSatisfied = snapshot.value !== null && compareMetricValue(config.operator, snapshot.value, config.threshold);
+  const result = args.contract.direction === "falsifies" ? comparisonSatisfied ? "disconfirmed" : "confirmed" : comparisonSatisfied ? "confirmed" : "disconfirmed";
+  return {
+    result,
+    rationale: buildEvidentialRationale({
+      config,
+      snapshot,
+      comparisonSatisfied,
+      result
+    }),
+    data: {
+      ...snapshot.data,
+      metric: config.metric,
+      observedValue: snapshot.value,
+      operator: config.operator,
+      threshold: config.threshold,
+      action: config.action ?? "modulate_confidence",
+      actionParams: config.actionParams
+    }
+  };
+}
+async function evaluateMetricCheckerContract(args) {
+  const config = parseMetricCheckerConfig(args.contract.condition.evaluatorConfig);
+  const input = getEvaluatorInputRecord(args.inputData, "metricData");
+  const metric = typeof input.metric === "string" && input.metric.length > 0 ? input.metric : config.metric;
+  const observedValue = pickFiniteNumber(input, [
+    "observedValue",
+    "currentValue",
+    "metricValue",
+    "value"
+  ]) ?? config.observedValue ?? config.currentValue ?? config.metricValue ?? null;
+  if (observedValue === null) {
+    return {
+      result: "inconclusive",
+      rationale: `metric_checker is awaiting data for ${metric ?? args.contract.condition.expression}.`,
+      data: {
+        metric,
+        observedValue: null,
+        operator: config.operator,
+        threshold: config.threshold,
+        unit: config.unit
+      }
+    };
+  }
+  const comparisonSatisfied = compareMetricValue(
+    config.operator,
+    observedValue,
+    config.threshold
+  );
+  const result = resolveComparisonResult(args.contract.direction, comparisonSatisfied);
+  return {
+    result,
+    rationale: buildComparisonRationale({
+      label: metric ?? "metric",
+      observedValue,
+      operator: config.operator,
+      threshold: config.threshold,
+      comparisonSatisfied,
+      result,
+      unit: config.unit
+    }),
+    data: {
+      metric,
+      observedValue,
+      operator: config.operator,
+      threshold: config.threshold,
+      unit: config.unit
+    }
+  };
+}
+async function evaluateReferenceCheckCounterContract(args) {
+  const config = parseReferenceCheckCounterConfig(args.contract.condition.evaluatorConfig);
+  const input = getEvaluatorInputRecord(args.inputData, "referenceCheckData");
+  const tag = typeof input.tag === "string" && input.tag.trim().length > 0 ? input.tag.trim() : config.tag;
+  const snapshot = await computeTaggedEvidenceCount({
+    ctx: args.ctx,
+    beliefNodeId: args.belief._id,
+    tag,
+    caseSensitive: config.caseSensitive
+  });
+  const comparisonSatisfied = compareMetricValue(
+    config.operator,
+    snapshot.count,
+    config.threshold
+  );
+  const result = resolveComparisonResult(args.contract.direction, comparisonSatisfied);
+  return {
+    result,
+    rationale: buildComparisonRationale({
+      label: `reference checks tagged "${tag}"`,
+      observedValue: snapshot.count,
+      operator: config.operator,
+      threshold: config.threshold,
+      comparisonSatisfied,
+      result
+    }),
+    data: {
+      tag,
+      observedValue: snapshot.count,
+      referenceCheckCount: snapshot.count,
+      matchedEvidenceIds: snapshot.matchedEvidenceIds,
+      operator: config.operator,
+      threshold: config.threshold,
+      caseSensitive: config.caseSensitive ?? false
+    }
+  };
+}
+async function evaluateTemporalDeadlineContract(args) {
+  if (typeof args.contract.deadline !== "number" || !Number.isFinite(args.contract.deadline)) {
+    throw new Error(
+      "temporal_deadline requires contract.deadline to be set to a finite timestamp."
+    );
+  }
+  const config = parseTemporalDeadlineConfig(args.contract.condition.evaluatorConfig);
+  const input = getEvaluatorInputRecord(args.inputData, "temporalData");
+  const label = (typeof input.label === "string" && input.label.length > 0 ? input.label : config.label) ?? args.contract.title ?? args.contract.condition.expression;
+  const completedAt = pickFiniteNumber(input, [
+    "completedAt",
+    "observedAt",
+    "satisfiedAt",
+    "achievedAt"
+  ]) ?? config.completedAt ?? config.observedAt ?? config.satisfiedAt ?? config.achievedAt;
+  const completed = input.completed === true || config.completed === true || completedAt !== void 0;
+  if (completed) {
+    if (completedAt !== void 0 && completedAt > args.contract.deadline) {
+      return {
+        result: "expired",
+        rationale: `${label} completed at ${completedAt}, after deadline ${args.contract.deadline}.`,
+        data: {
+          label,
+          deadline: args.contract.deadline,
+          completed: true,
+          completedAt,
+          missedDeadline: true,
+          overdueByMs: completedAt - args.contract.deadline
+        }
+      };
+    }
+    const result = args.contract.direction === "falsifies" ? "disconfirmed" : "confirmed";
+    return {
+      result,
+      rationale: `${label} completed before deadline ${args.contract.deadline}.`,
+      data: {
+        label,
+        deadline: args.contract.deadline,
+        completed: true,
+        completedAt: completedAt ?? null,
+        missedDeadline: false
+      }
+    };
+  }
+  if (args.now > args.contract.deadline) {
+    return {
+      result: "expired",
+      rationale: `${label} missed deadline ${args.contract.deadline}; temporal contract expired.`,
+      data: {
+        label,
+        deadline: args.contract.deadline,
+        completed: false,
+        overdueByMs: args.now - args.contract.deadline
+      }
+    };
+  }
+  return {
+    result: "inconclusive",
+    rationale: `${label} is still before deadline ${args.contract.deadline}; awaiting outcome.`,
+    data: {
+      label,
+      deadline: args.contract.deadline,
+      completed: false,
+      timeRemainingMs: args.contract.deadline - args.now
+    }
+  };
+}
+async function evaluateMarketIndexComparatorContract(args) {
+  const config = parseMarketIndexComparatorConfig(args.contract.condition.evaluatorConfig);
+  const input = getEvaluatorInputRecord(args.inputData, "marketIndexData");
+  const subject = typeof input.subject === "string" && input.subject.length > 0 ? input.subject : config.subject;
+  const benchmark = typeof input.benchmark === "string" && input.benchmark.length > 0 ? input.benchmark : config.benchmark;
+  const subjectValue = pickFiniteNumber(input, ["subjectValue", "primaryValue", "leftValue"]) ?? config.subjectValue ?? config.primaryValue ?? null;
+  const benchmarkValue = pickFiniteNumber(input, ["benchmarkValue", "comparisonValue", "rightValue"]) ?? config.benchmarkValue ?? config.comparisonValue ?? null;
+  if (subjectValue === null || benchmarkValue === null) {
+    return {
+      result: "inconclusive",
+      rationale: "market_index_comparator is awaiting both subject and benchmark values.",
+      data: {
+        subject,
+        subjectValue,
+        benchmark,
+        benchmarkValue,
+        operator: config.operator,
+        threshold: config.threshold
+      }
+    };
+  }
+  if (benchmarkValue === 0) {
+    throw new Error(
+      "market_index_comparator cannot compare against a zero benchmark value."
+    );
+  }
+  const differentialPercent = (subjectValue - benchmarkValue) / Math.abs(benchmarkValue) * 100;
+  const comparisonSatisfied = compareMetricValue(
+    config.operator,
+    differentialPercent,
+    config.threshold
+  );
+  const result = resolveComparisonResult(args.contract.direction, comparisonSatisfied);
+  return {
+    result,
+    rationale: buildComparisonRationale({
+      label: `${subject ?? "subject"} vs ${benchmark ?? "benchmark"} differential`,
+      observedValue: differentialPercent,
+      operator: config.operator,
+      threshold: config.threshold,
+      comparisonSatisfied,
+      result,
+      unit: "%"
+    }),
+    data: {
+      subject,
+      subjectValue,
+      benchmark,
+      benchmarkValue,
+      differentialPercent,
+      operator: config.operator,
+      threshold: config.threshold
+    }
+  };
+}
+var METRIC_COMPARATOR_EVALUATOR_NAMES = {
+  evidential: "evidential",
+  evidentialAliases: /* @__PURE__ */ new Set(["evidential", "built_in_evidential", "builtin_evidential"]),
+  metricChecker: "metric_checker",
+  referenceCheckCounter: "reference_check_counter",
+  temporalDeadline: "temporal_deadline",
+  marketIndexComparator: "market_index_comparator"
+};
+
+export { METRIC_COMPARATOR_EVALUATOR_NAMES, computeContradictionCounts, computeDependentBeliefCount, computeEvidenceCountMetric, computeEvidenceFreshness, evaluateBuiltInEvidentialContract, evaluateMarketIndexComparatorContract, evaluateMetricCheckerContract, evaluateReferenceCheckCounterContract, evaluateTemporalDeadlineContract };
+//# sourceMappingURL=epistemicContracts.metrics.js.map
+//# sourceMappingURL=epistemicContracts.metrics.js.map

package/dist/epistemicContracts.metrics.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/epistemicContracts.metrics.ts"],"names":[],"mappings":";;;;;AAoCA,IAAM,6BAAA,uBAAoC,GAAA,CAAI;AAAA,EAC5C,YAAA;AAAA,EACA,eAAA;AAAA,EACA;AACF,CAAC,CAAA;AAED,IAAM,oBAAA,uBAA2B,GAAA,CAAI;AAAA,EACnC;AACF,CAAC,CAAA;AAED,SAAS,4BAA4B,MAAA,EAAwC;AAC3E,EAAA,IAAI,OAAO,WAAW,QAAA,EAAU;AAC9B,IAAA,OAAO,QAAA;AAAA,EACT;AAEA,EAAA,IAAI,6BAAA,CAA8B,GAAA,CAAI,MAAM,CAAA,EAAG;AAC7C,IAAA,OAAO,QAAA;AAAA,EACT;AAEA,EAAA,IACE,MAAA,KAAW,kBAAA,IACX,MAAA,KAAW,iBAAA,IACX,WAAW,eAAA,EACX;AACA,IAAA,OAAO,UAAA;AAAA,EACT;AAEA,EAAA,OAAO,UAAA;AACT;AAEA,SAAS,iBAAiB,IAAA,EAIR;AAChB,EAAA,IAAI,OAAO,IAAA,CAAK,SAAA,KAAc,QAAA,EAAU;AACtC,IAAA,OAAO,IAAA,CAAK,SAAA;AAAA,EACd;AACA,EAAA,IAAI,OAAO,IAAA,CAAK,SAAA,KAAc,QAAA,EAAU;AACtC,IAAA,OAAO,IAAA,CAAK,SAAA;AAAA,EACd;AACA,EAAA,IAAI,OAAO,IAAA,CAAK,aAAA,KAAkB,QAAA,EAAU;AAC1C,IAAA,OAAO,IAAA,CAAK,aAAA;AAAA,EACd;AACA,EAAA,OAAO,IAAA;AACT;AAEA,eAAe,gBAAA,CACb,KACA,YAAA,EACkE;AAClE,EAAA,MAAM,QAAQ,MAAO,GAAA,CAAI,EAAA,CACtB,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA;AAAA,IAAU,YAAA;AAAA,IAAc,CAAC,MACxB,CAAA,CAAE,EAAA,CAAG,YAAY,YAAY,CAAA,CAAE,EAAA,CAAG,UAAA,EAAY,SAAS;AAAA,IAExD,OAAA,EAAQ;AAEX,EAAA,IAAI,KAAA,CAAM,WAAW,CAAA,EAAG;AACtB,IAAA,OAAO,EAAC;AAAA,EACV;AAEA,EAAA,MAAM,KAAA,GAAQ,MAAM,OAAA,CAAQ,GAAA,CAAI,MAAM,GAAA,CAAI,CAAC,IAAA,KAAS,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,IAAA,CAAK,UAAU,CAAC,CAAC,CAAA;AAChF,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,CAAC,IAAA,EAAM,KAAA,KAAU;AACpC,IAAA,MAAM,IAAA,GAAO,MAAM,KAAK,CAAA;AACxB,IAAA,IAAI,CAAC,IAAA,IAAQ,IAAA,CAAK,aAAa,UAAA,IAAc,IAAA,CAAK,WAAW,UAAA,EAAY;AACvE,MAAA,OAAO,EAAC;AAAA,IACV;AACA,IAAA,OAAO,CAAC,EAAE,IAAA,EAAM,IAAA,EAAM,CAAA;AAAA,EACxB,CAAC,CAAA;AACH;AAEA,SAAS,gBAAgB,IAAA,EAAiC;AACxD,EAAA,MAAM,QAAA,GACJ,KAAK,QAAA,IAAY,OAAO,KAAK,QAAA,KAAa,QAAA,GACrC,KAAK,QAAA,GACN,IAAA;AACN,EAAA,MAAM,OAAO,QAAA,EAAU,IAAA;AACvB,EAAA,IAAI,CAAC,KAAA,CAAM,OAAA,CAAQ,IAAI,CAAA,EAAG;AACxB,IAAA,OAAO,EAAC;AAAA,EACV;AACA,EAAA,OAAO,KAAK,MAAA,CAAO,CAAC,GAAA,KAAuB,OAAO,QAAQ,QAAQ,CAAA;AACpE;AAEA,eAAsB,0BAAA,CACpB,KACA,YAAA,EACiB;AACjB,EAAA,OAAA,CAAQ,MAAM,gBAAA,CAAiB,GAAA,EAAK,YAAY,CAAA,EAAG,MAAA;AACrD;AAEA,eAAe,2BAA2B,IAAA,EAKmB;AAC3D,EAAA,MAAM,cAAc,IAAA,CAAK,aAAA,GAAgB,KAAK,GAAA,GAAM,IAAA,CAAK,IAAI,WAAA,EAAY;AACzE,EAAA,MAAM,sBAAsB,MAAM,gBAAA,CAAiB,KAAK,GAAA,EAAK,IAAA,CAAK,YAAY,CAAA,EAC3E,MAAA;AAAA,IAAO,CAAC,EAAE,IAAA,EAAK,KACd,eAAA,CAAgB,IAAI,CAAA,CAAE,IAAA;AAAA,MAAK,CAAC,GAAA,KAAA,CACzB,IAAA,CAAK,gBAAgB,GAAA,GAAM,GAAA,CAAI,aAAY,MAAO;AAAA;AACrD,GACF,CACC,IAAI,CAAC,EAAE,MAAK,KAAM,MAAA,CAAO,IAAA,CAAK,GAAG,CAAC,CAAA;AAErC,EAAA,OAAO;AAAA,IACL,OAAO,kBAAA,CAAmB,MAAA;AAAA,IAC1B;AAAA,GACF;AACF;AAEA,eAAsB,0BAAA,CACpB,KACA,YAAA,EACoC;AACpC,EAAA,MAAM,iBAAiB,MAAQ,GAAA,CAAI,EAAA,CAChC,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA,CAAU,aAAA,EAAe,CAAC,MAAW,CAAA,CAAE,EAAA,CAAG,YAAY,YAAY,CAAC,EACnE,OAAA,EAAQ;AAIX,EAAA,OAAO,cAAA,CAAe,MAAA;AAAA,IACpB,CAAC,QAAQ,aAAA,KAAkB;AACzB,MAAA,MAAM,MAAA,GACJ,aAAA,CAAc,gBAAA,IAAoB,aAAA,CAAc,MAAA,IAAU,YAAA;AAC5D,MAAA,IAAI,2BAAA,CAA4B,MAAM,CAAA,KAAM,QAAA,EAAU;AACpD,QAAA,MAAA,CAAO,WAAA,IAAe,CAAA;AAAA,MACxB,CAAA,MAAO;AACL,QAAA,MAAA,CAAO,aAAA,IAAiB,CAAA;AAAA,MAC1B;AACA,MAAA,OAAO,MAAA;AAAA,IACT,CAAA;AAAA,IACA,EAAE,WAAA,EAAa,CAAA,EAAG,aAAA,EAAe,CAAA;AAAE,GACrC;AACF;AAEA,eAAsB,yBACpB,GAAA,EACA,YAAA,EACA,GAAA,GAAM,IAAA,CAAK,KAAI,EACa;AAC5B,EAAA,MAAM,cAAc,MAAM,gBAAA,CAAiB,KAAK,YAAY,CAAA,EACzD,IAAI,CAAC,EAAE,MAAK,KAAM,gBAAA,CAAiB,IAAI,CAAC,CAAA,CACxC,OAAO,CAAC,KAAA,KAA2B,UAAU,IAAI,CAAA;AAEpD,EAAA,IAAI,UAAA,CAAW,WAAW,CAAA,EAAG;AAC3B,IAAA,OAAO;AAAA,MACL,WAAA,EAAa,IAAA;AAAA,MACb,WAAA,EAAa,IAAA;AAAA,MACb,YAAA,EAAc,IAAA;AAAA,MACd,YAAA,EAAc,IAAA;AAAA,MACd,SAAA,EAAW;AAAA,KACb;AAAA,EACF;AAEA,EAAA,MAAM,YAAA,GAAe,IAAA,CAAK,GAAA,CAAI,GAAG,UAAU,CAAA;AAC3C,EAAA,MAAM,YAAA,GAAe,IAAA,CAAK,GAAA,CAAI,GAAG,UAAU,CAAA;AAE3C,EAAA,OAAO;AAAA,IACL,WAAA,EAAa,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,MAAM,YAAY,CAAA;AAAA,IAC3C,WAAA,EAAa,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,MAAM,YAAY,CAAA;AAAA,IAC3C,YAAA;AAAA,IACA,YAAA;AAAA,IACA,WAAW,UAAA,CAAW;AAAA,GACxB;AACF;AAEA,eAAsB,2BAAA,CACpB,KACA,YAAA,EACiB;AACjB,EAAA,MAAM,gBAAgB,MAAO,GAAA,CAAI,EAAA,CAC9B,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA,CAAU,OAAA,EAAS,CAAC,MAAM,CAAA,CAAE,EAAA,CAAG,YAAY,YAAY,CAAC,EACxD,OAAA,EAAQ;AAIX,EAAA,MAAM,kBAAkB,aAAA,CAAc,MAAA;AAAA,IAAO,CAAC,IAAA,KAC5C,oBAAA,CAAqB,GAAA,CAAI,KAAK,QAAQ;AAAA,GACxC;AACA,EAAA,IAAI,eAAA,CAAgB,WAAW,CAAA,EAAG;AAChC,IAAA,OAAO,CAAA;AAAA,EACT;AAEA,EAAA,MAAM,gBAAA,GAAmB,MAAM,OAAA,CAAQ,GAAA;AAAA,IACrC,eAAA,CAAgB,IAAI,CAAC,IAAA,KAAS,IAAI,EAAA,CAAG,GAAA,CAAI,IAAA,CAAK,UAAU,CAAC;AAAA,GAC3D;AACA,EAAA,MAAM,eAAA,uBAAsB,GAAA,EAAY;AAExC,EAAA,KAAA,MAAW,QAAQ,gBAAA,EAAkB;AACnC,IAAA,IACE,IAAA,IACA,KAAK,QAAA,KAAa,QAAA,IAClB,KAAK,MAAA,KAAW,UAAA,IAChB,IAAA,CAAK,MAAA,KAAW,SAAA,EAChB;AACA,MAAA,eAAA,CAAgB,GAAA,CAAI,MAAA,CAAO,IAAA,CAAK,GAAG,CAAC,CAAA;AAAA,IACtC;AAAA,EACF;AAEA,EAAA,OAAO,eAAA,CAAgB,IAAA;AACzB;AAEA,eAAe,yBAAyB,IAAA,EAKF;AACpC,EAAA,QAAQ,KAAK,MAAA;AAAQ,IACnB,KAAK,gBAAA,EAAkB;AACrB,MAAA,MAAM,QAAQ,MAAM,0BAAA,CAA2B,IAAA,CAAK,GAAA,EAAK,KAAK,YAAY,CAAA;AAC1E,MAAA,OAAO;AAAA,QACL,QAAQ,IAAA,CAAK,MAAA;AAAA,QACb,KAAA,EAAO,KAAA;AAAA,QACP,IAAA,EAAM,EAAE,aAAA,EAAe,KAAA;AAAM,OAC/B;AAAA,IACF;AAAA,IACA,KAAK,sBAAA,EAAwB;AAC3B,MAAA,MAAM,SAAS,MAAM,0BAAA,CAA2B,IAAA,CAAK,GAAA,EAAK,KAAK,YAAY,CAAA;AAC3E,MAAA,OAAO;AAAA,QACL,QAAQ,IAAA,CAAK,MAAA;AAAA,QACb,OAAO,MAAA,CAAO,WAAA;AAAA,QACd,IAAA,EAAM;AAAA,OACR;AAAA,IACF;AAAA,IACA,KAAK,gBAAA,EAAkB;AACrB,MAAA,MAAM,YAAY,MAAM,wBAAA;AAAA,QACtB,IAAA,CAAK,GAAA;AAAA,QACL,IAAA,CAAK,YAAA;AAAA,QACL,IAAA,CAAK;AAAA,OACP;AACA,MAAA,OAAO;AAAA,QACL,QAAQ,IAAA,CAAK,MAAA;AAAA,QACb,OAAO,SAAA,CAAU,WAAA;AAAA,QACjB,IAAA,EAAM;AAAA,OACR;AAAA,IACF;AAAA,IACA,KAAK,iBAAA,EAAmB;AACtB,MAAA,MAAM,QAAQ,MAAM,2BAAA,CAA4B,IAAA,CAAK,GAAA,EAAK,KAAK,YAAY,CAAA;AAC3E,MAAA,OAAO;AAAA,QACL,QAAQ,IAAA,CAAK,MAAA;AAAA,QACb,KAAA,EAAO,KAAA;AAAA,QACP,IAAA,EAAM,EAAE,cAAA,EAAgB,KAAA;AAAM,OAChC;AAAA,IACF;AAAA,IACA;AACE,MAAA,OAAO;AAAA,QACL,QAAQ,IAAA,CAAK,MAAA;AAAA,QACb,KAAA,EAAO,IAAA;AAAA,QACP,MAAM;AAAC,OACT;AAAA;AAEN;AAEA,eAAsB,kCACpB,IAAA,EACmC;AACnC,EAAA,MAAM,MAAA,GAAS,8BAAA,CAA+B,IAAA,CAAK,QAAA,CAAS,UAAU,eAAe,CAAA;AACrF,EAAA,MAAM,QAAA,GAAW,MAAM,wBAAA,CAAyB;AAAA,IAC9C,KAAK,IAAA,CAAK,GAAA;AAAA,IACV,YAAA,EAAc,KAAK,MAAA,CAAO,GAAA;AAAA,IAC1B,QAAQ,MAAA,CAAO,MAAA;AAAA,IACf,KAAK,IAAA,CAAK;AAAA,GACX,CAAA;AAED,EAAA,MAAM,mBAAA,GACJ,QAAA,CAAS,KAAA,KAAU,IAAA,IACnB,kBAAA,CAAmB,OAAO,QAAA,EAAU,QAAA,CAAS,KAAA,EAAO,MAAA,CAAO,SAAS,CAAA;AACtE,EAAA,MAAM,MAAA,GACJ,KAAK,QAAA,CAAS,SAAA,KAAc,cACxB,mBAAA,GACE,cAAA,GACA,WAAA,GACF,mBAAA,GACE,WAAA,GACA,cAAA;AAER,EAAA,OAAO;AAAA,IACL,MAAA;AAAA,IACA,WAAW,wBAAA,CAAyB;AAAA,MAClC,MAAA;AAAA,MACA,QAAA;AAAA,MACA,mBAAA;AAAA,MACA;AAAA,KACD,CAAA;AAAA,IACD,IAAA,EAAM;AAAA,MACJ,GAAG,QAAA,CAAS,IAAA;AAAA,MACZ,QAAQ,MAAA,CAAO,MAAA;AAAA,MACf,eAAe,QAAA,CAAS,KAAA;AAAA,MACxB,UAAU,MAAA,CAAO,QAAA;AAAA,MACjB,WAAW,MAAA,CAAO,SAAA;AAAA,MAClB,MAAA,EAAQ,OAAO,MAAA,IAAU,qBAAA;AAAA,MACzB,cAAc,MAAA,CAAO;AAAA;AACvB,GACF;AACF;AAEA,eAAsB,8BACpB,IAAA,EACmC;AACnC,EAAA,MAAM,MAAA,GAAS,wBAAA,CAAyB,IAAA,CAAK,QAAA,CAAS,UAAU,eAAe,CAAA;AAC/E,EAAA,MAAM,KAAA,GAAQ,uBAAA,CAAwB,IAAA,CAAK,SAAA,EAAW,YAAY,CAAA;AAClE,EAAA,MAAM,MAAA,GACJ,OAAO,KAAA,CAAM,MAAA,KAAW,QAAA,IAAY,KAAA,CAAM,MAAA,CAAO,MAAA,GAAS,CAAA,GACtD,KAAA,CAAM,MAAA,GACN,MAAA,CAAO,MAAA;AACb,EAAA,MAAM,aAAA,GACJ,iBAAiB,KAAA,EAAO;AAAA,IACtB,eAAA;AAAA,IACA,cAAA;AAAA,IACA,aAAA;AAAA,IACA;AAAA,GACD,CAAA,IACD,MAAA,CAAO,iBACP,MAAA,CAAO,YAAA,IACP,OAAO,WAAA,IACP,IAAA;AACF,EAAA,IAAI,kBAAkB,IAAA,EAAM;AAC1B,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,cAAA;AAAA,MACR,WAAW,CAAA,oCAAA,EAAuC,MAAA,IAAU,IAAA,CAAK,QAAA,CAAS,UAAU,UAAU,CAAA,CAAA,CAAA;AAAA,MAC9F,IAAA,EAAM;AAAA,QACJ,MAAA;AAAA,QACA,aAAA,EAAe,IAAA;AAAA,QACf,UAAU,MAAA,CAAO,QAAA;AAAA,QACjB,WAAW,MAAA,CAAO,SAAA;AAAA,QAClB,MAAM,MAAA,CAAO;AAAA;AACf,KACF;AAAA,EACF;AAEA,EAAA,MAAM,mBAAA,GAAsB,kBAAA;AAAA,IAC1B,MAAA,CAAO,QAAA;AAAA,IACP,aAAA;AAAA,IACA,MAAA,CAAO;AAAA,GACT;AACA,EAAA,MAAM,MAAA,GAAS,uBAAA,CAAwB,IAAA,CAAK,QAAA,CAAS,WAAW,mBAAmB,CAAA;AAEnF,EAAA,OAAO;AAAA,IACL,MAAA;AAAA,IACA,WAAW,wBAAA,CAAyB;AAAA,MAClC,OAAO,MAAA,IAAU,QAAA;AAAA,MACjB,aAAA;AAAA,MACA,UAAU,MAAA,CAAO,QAAA;AAAA,MACjB,WAAW,MAAA,CAAO,SAAA;AAAA,MAClB,mBAAA;AAAA,MACA,MAAA;AAAA,MACA,MAAM,MAAA,CAAO;AAAA,KACd,CAAA;AAAA,IACD,IAAA,EAAM;AAAA,MACJ,MAAA;AAAA,MACA,aAAA;AAAA,MACA,UAAU,MAAA,CAAO,QAAA;AAAA,MACjB,WAAW,MAAA,CAAO,SAAA;AAAA,MAClB,MAAM,MAAA,CAAO;AAAA;AACf,GACF;AACF;AAEA,eAAsB,sCACpB,IAAA,EACmC;AACnC,EAAA,MAAM,MAAA,GAAS,gCAAA,CAAiC,IAAA,CAAK,QAAA,CAAS,UAAU,eAAe,CAAA;AACvF,EAAA,MAAM,KAAA,GAAQ,uBAAA,CAAwB,IAAA,CAAK,SAAA,EAAW,oBAAoB,CAAA;AAC1E,EAAA,MAAM,GAAA,GACJ,OAAO,KAAA,CAAM,GAAA,KAAQ,YAAY,KAAA,CAAM,GAAA,CAAI,IAAA,EAAK,CAAE,SAAS,CAAA,GACvD,KAAA,CAAM,GAAA,CAAI,IAAA,KACV,MAAA,CAAO,GAAA;AACb,EAAA,MAAM,QAAA,GAAW,MAAM,0BAAA,CAA2B;AAAA,IAChD,KAAK,IAAA,CAAK,GAAA;AAAA,IACV,YAAA,EAAc,KAAK,MAAA,CAAO,GAAA;AAAA,IAC1B,GAAA;AAAA,IACA,eAAe,MAAA,CAAO;AAAA,GACvB,CAAA;AACD,EAAA,MAAM,mBAAA,GAAsB,kBAAA;AAAA,IAC1B,MAAA,CAAO,QAAA;AAAA,IACP,QAAA,CAAS,KAAA;AAAA,IACT,MAAA,CAAO;AAAA,GACT;AACA,EAAA,MAAM,MAAA,GAAS,uBAAA,CAAwB,IAAA,CAAK,QAAA,CAAS,WAAW,mBAAmB,CAAA;AAEnF,EAAA,OAAO;AAAA,IACL,MAAA;AAAA,IACA,WAAW,wBAAA,CAAyB;AAAA,MAClC,KAAA,EAAO,4BAA4B,GAAG,CAAA,CAAA,CAAA;AAAA,MACtC,eAAe,QAAA,CAAS,KAAA;AAAA,MACxB,UAAU,MAAA,CAAO,QAAA;AAAA,MACjB,WAAW,MAAA,CAAO,SAAA;AAAA,MAClB,mBAAA;AAAA,MACA;AAAA,KACD,CAAA;AAAA,IACD,IAAA,EAAM;AAAA,MACJ,GAAA;AAAA,MACA,eAAe,QAAA,CAAS,KAAA;AAAA,MACxB,qBAAqB,QAAA,CAAS,KAAA;AAAA,MAC9B,oBAAoB,QAAA,CAAS,kBAAA;AAAA,MAC7B,UAAU,MAAA,CAAO,QAAA;AAAA,MACjB,WAAW,MAAA,CAAO,SAAA;AAAA,MAClB,aAAA,EAAe,OAAO,aAAA,IAAiB;AAAA;AACzC,GACF;AACF;AAEA,eAAsB,iCACpB,IAAA,EACmC;AACnC,EAAA,IACE,OAAO,IAAA,CAAK,QAAA,CAAS,QAAA,KAAa,QAAA,IAClC,CAAC,MAAA,CAAO,QAAA,CAAS,IAAA,CAAK,QAAA,CAAS,QAAQ,CAAA,EACvC;AACA,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAEA,EAAA,MAAM,MAAA,GAAS,2BAAA,CAA4B,IAAA,CAAK,QAAA,CAAS,UAAU,eAAe,CAAA;AAClF,EAAA,MAAM,KAAA,GAAQ,uBAAA,CAAwB,IAAA,CAAK,SAAA,EAAW,cAAc,CAAA;AACpE,EAAA,MAAM,SACH,OAAO,KAAA,CAAM,UAAU,QAAA,IAAY,KAAA,CAAM,MAAM,MAAA,GAAS,CAAA,GACrD,KAAA,CAAM,KAAA,GACN,OAAO,KAAA,KACX,IAAA,CAAK,SAAS,KAAA,IACd,IAAA,CAAK,SAAS,SAAA,CAAU,UAAA;AAC1B,EAAA,MAAM,WAAA,GACJ,iBAAiB,KAAA,EAAO;AAAA,IACtB,aAAA;AAAA,IACA,YAAA;AAAA,IACA,aAAA;AAAA,IACA;AAAA,GACD,KACD,MAAA,CAAO,WAAA,IACP,OAAO,UAAA,IACP,MAAA,CAAO,eACP,MAAA,CAAO,UAAA;AACT,EAAA,MAAM,YACJ,KAAA,CAAM,SAAA,KAAc,QAAQ,MAAA,CAAO,SAAA,KAAc,QAAQ,WAAA,KAAgB,MAAA;AAE3E,EAAA,IAAI,SAAA,EAAW;AACb,IAAA,IAAI,WAAA,KAAgB,MAAA,IAAa,WAAA,GAAc,IAAA,CAAK,SAAS,QAAA,EAAU;AACrE,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,SAAA;AAAA,QACR,SAAA,EAAW,GAAG,KAAK,CAAA,cAAA,EAAiB,WAAW,CAAA,iBAAA,EAAoB,IAAA,CAAK,SAAS,QAAQ,CAAA,CAAA,CAAA;AAAA,QACzF,IAAA,EAAM;AAAA,UACJ,KAAA;AAAA,UACA,QAAA,EAAU,KAAK,QAAA,CAAS,QAAA;AAAA,UACxB,SAAA,EAAW,IAAA;AAAA,UACX,WAAA;AAAA,UACA,cAAA,EAAgB,IAAA;AAAA,UAChB,WAAA,EAAa,WAAA,GAAc,IAAA,CAAK,QAAA,CAAS;AAAA;AAC3C,OACF;AAAA,IACF;AAEA,IAAA,MAAM,MAAA,GACJ,IAAA,CAAK,QAAA,CAAS,SAAA,KAAc,cAAc,cAAA,GAAiB,WAAA;AAC7D,IAAA,OAAO;AAAA,MACL,MAAA;AAAA,MACA,WAAW,CAAA,EAAG,KAAK,CAAA,2BAAA,EAA8B,IAAA,CAAK,SAAS,QAAQ,CAAA,CAAA,CAAA;AAAA,MACvE,IAAA,EAAM;AAAA,QACJ,KAAA;AAAA,QACA,QAAA,EAAU,KAAK,QAAA,CAAS,QAAA;AAAA,QACxB,SAAA,EAAW,IAAA;AAAA,QACX,aAAa,WAAA,IAAe,IAAA;AAAA,QAC5B,cAAA,EAAgB;AAAA;AAClB,KACF;AAAA,EACF;AAEA,EAAA,IAAI,IAAA,CAAK,GAAA,GAAM,IAAA,CAAK,QAAA,CAAS,QAAA,EAAU;AACrC,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,SAAA;AAAA,MACR,WAAW,CAAA,EAAG,KAAK,CAAA,iBAAA,EAAoB,IAAA,CAAK,SAAS,QAAQ,CAAA,4BAAA,CAAA;AAAA,MAC7D,IAAA,EAAM;AAAA,QACJ,KAAA;AAAA,QACA,QAAA,EAAU,KAAK,QAAA,CAAS,QAAA;AAAA,QACxB,SAAA,EAAW,KAAA;AAAA,QACX,WAAA,EAAa,IAAA,CAAK,GAAA,GAAM,IAAA,CAAK,QAAA,CAAS;AAAA;AACxC,KACF;AAAA,EACF;AAEA,EAAA,OAAO;AAAA,IACL,MAAA,EAAQ,cAAA;AAAA,IACR,WAAW,CAAA,EAAG,KAAK,CAAA,0BAAA,EAA6B,IAAA,CAAK,SAAS,QAAQ,CAAA,mBAAA,CAAA;AAAA,IACtE,IAAA,EAAM;AAAA,MACJ,KAAA;AAAA,MACA,QAAA,EAAU,KAAK,QAAA,CAAS,QAAA;AAAA,MACxB,SAAA,EAAW,KAAA;AAAA,MACX,eAAA,EAAiB,IAAA,CAAK,QAAA,CAAS,QAAA,GAAW,IAAA,CAAK;AAAA;AACjD,GACF;AACF;AAEA,eAAsB,sCACpB,IAAA,EACmC;AACnC,EAAA,MAAM,MAAA,GAAS,gCAAA,CAAiC,IAAA,CAAK,QAAA,CAAS,UAAU,eAAe,CAAA;AACvF,EAAA,MAAM,KAAA,GAAQ,uBAAA,CAAwB,IAAA,CAAK,SAAA,EAAW,iBAAiB,CAAA;AACvE,EAAA,MAAM,OAAA,GACJ,OAAO,KAAA,CAAM,OAAA,KAAY,QAAA,IAAY,KAAA,CAAM,OAAA,CAAQ,MAAA,GAAS,CAAA,GACxD,KAAA,CAAM,OAAA,GACN,MAAA,CAAO,OAAA;AACb,EAAA,MAAM,SAAA,GACJ,OAAO,KAAA,CAAM,SAAA,KAAc,QAAA,IAAY,KAAA,CAAM,SAAA,CAAU,MAAA,GAAS,CAAA,GAC5D,KAAA,CAAM,SAAA,GACN,MAAA,CAAO,SAAA;AACb,EAAA,MAAM,YAAA,GACJ,gBAAA,CAAiB,KAAA,EAAO,CAAC,cAAA,EAAgB,cAAA,EAAgB,WAAW,CAAC,CAAA,IACrE,MAAA,CAAO,YAAA,IACP,MAAA,CAAO,YAAA,IACP,IAAA;AACF,EAAA,MAAM,cAAA,GACJ,gBAAA,CAAiB,KAAA,EAAO,CAAC,gBAAA,EAAkB,iBAAA,EAAmB,YAAY,CAAC,CAAA,IAC3E,MAAA,CAAO,cAAA,IACP,MAAA,CAAO,eAAA,IACP,IAAA;AAEF,EAAA,IAAI,YAAA,KAAiB,IAAA,IAAQ,cAAA,KAAmB,IAAA,EAAM;AACpD,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,cAAA;AAAA,MACR,SAAA,EAAW,wEAAA;AAAA,MACX,IAAA,EAAM;AAAA,QACJ,OAAA;AAAA,QACA,YAAA;AAAA,QACA,SAAA;AAAA,QACA,cAAA;AAAA,QACA,UAAU,MAAA,CAAO,QAAA;AAAA,QACjB,WAAW,MAAA,CAAO;AAAA;AACpB,KACF;AAAA,EACF;AAEA,EAAA,IAAI,mBAAmB,CAAA,EAAG;AACxB,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAEA,EAAA,MAAM,uBACF,YAAA,GAAe,cAAA,IAAkB,IAAA,CAAK,GAAA,CAAI,cAAc,CAAA,GAAK,GAAA;AACjE,EAAA,MAAM,mBAAA,GAAsB,kBAAA;AAAA,IAC1B,MAAA,CAAO,QAAA;AAAA,IACP,mBAAA;AAAA,IACA,MAAA,CAAO;AAAA,GACT;AACA,EAAA,MAAM,MAAA,GAAS,uBAAA,CAAwB,IAAA,CAAK,QAAA,CAAS,WAAW,mBAAmB,CAAA;AAEnF,EAAA,OAAO;AAAA,IACL,MAAA;AAAA,IACA,WAAW,wBAAA,CAAyB;AAAA,MAClC,OAAO,CAAA,EAAG,OAAA,IAAW,SAAS,CAAA,IAAA,EAAO,aAAa,WAAW,CAAA,aAAA,CAAA;AAAA,MAC7D,aAAA,EAAe,mBAAA;AAAA,MACf,UAAU,MAAA,CAAO,QAAA;AAAA,MACjB,WAAW,MAAA,CAAO,SAAA;AAAA,MAClB,mBAAA;AAAA,MACA,MAAA;AAAA,MACA,IAAA,EAAM;AAAA,KACP,CAAA;AAAA,IACD,IAAA,EAAM;AAAA,MACJ,OAAA;AAAA,MACA,YAAA;AAAA,MACA,SAAA;AAAA,MACA,cAAA;AAAA,MACA,mBAAA;AAAA,MACA,UAAU,MAAA,CAAO,QAAA;AAAA,MACjB,WAAW,MAAA,CAAO;AAAA;AACpB,GACF;AACF;AAEO,IAAM,iCAAA,GAAoC;AAAA,EAC/C,UAAA,EAAY,YAAA;AAAA,EACZ,mCAAmB,IAAI,GAAA,CAAI,CAAC,YAAA,EAAc,qBAAA,EAAuB,oBAAoB,CAAC,CAAA;AAAA,EACtF,aAAA,EAAe,gBAAA;AAAA,EACf,qBAAA,EAAuB,yBAAA;AAAA,EACvB,gBAAA,EAAkB,mBAAA;AAAA,EAClB,qBAAA,EAAuB;AACzB","file":"epistemicContracts.metrics.js","sourcesContent":["/** Metric helpers and evidential snapshots used by contract evaluators. */\n\nimport type { Id } from \"./convex\";\nimport {\n  buildEvidentialRationale,\n  buildComparisonRationale,\n  compareMetricValue,\n  parseMetricCheckerConfig,\n  parseReferenceCheckCounterConfig,\n  parseTemporalDeadlineConfig,\n  parseMarketIndexComparatorConfig,\n  parseEvidentialEvaluatorConfig,\n  pickFiniteNumber,\n  resolveComparisonResult,\n  getEvaluatorInputRecord,\n} from \"./epistemicContractHelpers\";\nimport {\n  type ContractDoc,\n  type ContractReadCtx,\n  type ContradictionStatusCounts,\n  type EvidenceEdgeDoc,\n  type EvidenceFreshness,\n  type EvidenceNodeDoc,\n  type EvidentialAction,\n  type EvidentialEvaluatorConfig,\n  type EvidentialMetric,\n  type EvidentialMetricSnapshot,\n  type EpistemicEvaluator,\n  type EpistemicEvaluatorContext,\n  type EpistemicEvaluatorResult,\n  type MarketIndexComparatorConfig,\n  type MetricCheckerEvaluatorConfig,\n  type ReferenceCheckCounterConfig,\n  type TemporalDeadlineEvaluatorConfig,\n} from \"./epistemicContracts.types\";\n\nconst ACTIVE_CONTRADICTION_STATUSES = new Set([\n  \"unresolved\",\n  \"investigating\",\n  \"accepted_as_permanent\",\n]);\n\nconst DEPENDENT_EDGE_TYPES = new Set([\n  \"depends_on\",\n]);\n\nfunction classifyContradictionStatus(status: unknown): \"active\" | \"resolved\" {\n  if (typeof status !== \"string\") {\n    return \"active\";\n  }\n\n  if (ACTIVE_CONTRADICTION_STATUSES.has(status)) {\n    return \"active\";\n  }\n\n  if (\n    status === \"resolved_support\" ||\n    status === \"resolved_contra\" ||\n    status === \"belief_forked\"\n  ) {\n    return \"resolved\";\n  }\n\n  return \"resolved\";\n}\n\nfunction getEdgeTimestamp(edge: {\n  updatedAt?: unknown;\n  createdAt?: unknown;\n  _creationTime?: unknown;\n}): number | null {\n  if (typeof edge.updatedAt === \"number\") {\n    return edge.updatedAt;\n  }\n  if (typeof edge.createdAt === \"number\") {\n    return edge.createdAt;\n  }\n  if (typeof edge._creationTime === \"number\") {\n    return edge._creationTime;\n  }\n  return null;\n}\n\nasync function getEvidenceLinks(\n  ctx: ContractReadCtx,\n  beliefNodeId: Id<\"epistemicNodes\">\n): Promise<Array<{ edge: EvidenceEdgeDoc; node: EvidenceNodeDoc }>> {\n  const edges = await (ctx.db\n    .query(\"epistemicEdges\")\n    .withIndex(\"by_to_type\", (q) =>\n      q.eq(\"toNodeId\", beliefNodeId).eq(\"edgeType\", \"informs\")\n    )\n    .collect() as Promise<EvidenceEdgeDoc[]>);\n\n  if (edges.length === 0) {\n    return [];\n  }\n\n  const nodes = await Promise.all(edges.map((edge) => ctx.db.get(edge.fromNodeId)));\n  return edges.flatMap((edge, index) => {\n    const node = nodes[index] as EvidenceNodeDoc | null;\n    if (!node || node.nodeType !== \"evidence\" || node.status === \"archived\") {\n      return [];\n    }\n    return [{ edge, node }];\n  });\n}\n\nfunction getEvidenceTags(node: EvidenceNodeDoc): string[] {\n  const metadata =\n    node.metadata && typeof node.metadata === \"object\"\n      ? (node.metadata as Record<string, unknown>)\n      : null;\n  const tags = metadata?.tags;\n  if (!Array.isArray(tags)) {\n    return [];\n  }\n  return tags.filter((tag): tag is string => typeof tag === \"string\");\n}\n\nexport async function computeEvidenceCountMetric(\n  ctx: ContractReadCtx,\n  beliefNodeId: Id<\"epistemicNodes\">\n): Promise<number> {\n  return (await getEvidenceLinks(ctx, beliefNodeId)).length;\n}\n\nasync function computeTaggedEvidenceCount(args: {\n  ctx: ContractReadCtx;\n  beliefNodeId: Id<\"epistemicNodes\">;\n  tag: string;\n  caseSensitive?: boolean;\n}): Promise<{ count: number; matchedEvidenceIds: string[] }> {\n  const expectedTag = args.caseSensitive ? args.tag : args.tag.toLowerCase();\n  const matchedEvidenceIds = (await getEvidenceLinks(args.ctx, args.beliefNodeId))\n    .filter(({ node }) =>\n      getEvidenceTags(node).some((tag) =>\n        (args.caseSensitive ? tag : tag.toLowerCase()) === expectedTag\n      )\n    )\n    .map(({ node }) => String(node._id));\n\n  return {\n    count: matchedEvidenceIds.length,\n    matchedEvidenceIds,\n  };\n}\n\nexport async function computeContradictionCounts(\n  ctx: ContractReadCtx,\n  beliefNodeId: Id<\"epistemicNodes\">\n): Promise<ContradictionStatusCounts> {\n  const contradictions = await ((ctx.db as any)\n    .query(\"contradictions\")\n    .withIndex(\"by_beliefId\", (q: any) => q.eq(\"beliefId\", beliefNodeId))\n    .collect() as Promise<\n    Array<{ resolutionStatus?: string; status?: string }>\n  >);\n\n  return contradictions.reduce<ContradictionStatusCounts>(\n    (counts, contradiction) => {\n      const status =\n        contradiction.resolutionStatus ?? contradiction.status ?? \"unresolved\";\n      if (classifyContradictionStatus(status) === \"active\") {\n        counts.activeCount += 1;\n      } else {\n        counts.resolvedCount += 1;\n      }\n      return counts;\n    },\n    { activeCount: 0, resolvedCount: 0 }\n  );\n}\n\nexport async function computeEvidenceFreshness(\n  ctx: ContractReadCtx,\n  beliefNodeId: Id<\"epistemicNodes\">,\n  now = Date.now()\n): Promise<EvidenceFreshness> {\n  const timestamps = (await getEvidenceLinks(ctx, beliefNodeId))\n    .map(({ edge }) => getEdgeTimestamp(edge))\n    .filter((value): value is number => value !== null);\n\n  if (timestamps.length === 0) {\n    return {\n      newestAgeMs: null,\n      oldestAgeMs: null,\n      newestEdgeAt: null,\n      oldestEdgeAt: null,\n      edgeCount: 0,\n    };\n  }\n\n  const newestEdgeAt = Math.max(...timestamps);\n  const oldestEdgeAt = Math.min(...timestamps);\n\n  return {\n    newestAgeMs: Math.max(0, now - newestEdgeAt),\n    oldestAgeMs: Math.max(0, now - oldestEdgeAt),\n    newestEdgeAt,\n    oldestEdgeAt,\n    edgeCount: timestamps.length,\n  };\n}\n\nexport async function computeDependentBeliefCount(\n  ctx: ContractReadCtx,\n  beliefNodeId: Id<\"epistemicNodes\">\n): Promise<number> {\n  const incomingEdges = await (ctx.db\n    .query(\"epistemicEdges\")\n    .withIndex(\"by_to\", (q) => q.eq(\"toNodeId\", beliefNodeId))\n    .collect() as Promise<\n    Array<{ fromNodeId: Id<\"epistemicNodes\">; edgeType: string }>\n  >);\n\n  const dependencyEdges = incomingEdges.filter((edge) =>\n    DEPENDENT_EDGE_TYPES.has(edge.edgeType)\n  );\n  if (dependencyEdges.length === 0) {\n    return 0;\n  }\n\n  const dependentBeliefs = await Promise.all(\n    dependencyEdges.map((edge) => ctx.db.get(edge.fromNodeId))\n  );\n  const uniqueBeliefIds = new Set<string>();\n\n  for (const node of dependentBeliefs) {\n    if (\n      node &&\n      node.nodeType === \"belief\" &&\n      node.status !== \"archived\" &&\n      node.status !== \"deleted\"\n    ) {\n      uniqueBeliefIds.add(String(node._id));\n    }\n  }\n\n  return uniqueBeliefIds.size;\n}\n\nasync function snapshotEvidentialMetric(args: {\n  ctx: ContractReadCtx;\n  beliefNodeId: Id<\"epistemicNodes\">;\n  metric: EvidentialMetric;\n  now: number;\n}): Promise<EvidentialMetricSnapshot> {\n  switch (args.metric) {\n    case \"evidence_count\": {\n      const count = await computeEvidenceCountMetric(args.ctx, args.beliefNodeId);\n      return {\n        metric: args.metric,\n        value: count,\n        data: { evidenceCount: count },\n      };\n    }\n    case \"contradiction_status\": {\n      const counts = await computeContradictionCounts(args.ctx, args.beliefNodeId);\n      return {\n        metric: args.metric,\n        value: counts.activeCount,\n        data: counts,\n      };\n    }\n    case \"edge_freshness\": {\n      const freshness = await computeEvidenceFreshness(\n        args.ctx,\n        args.beliefNodeId,\n        args.now\n      );\n      return {\n        metric: args.metric,\n        value: freshness.newestAgeMs,\n        data: freshness,\n      };\n    }\n    case \"dependent_count\": {\n      const count = await computeDependentBeliefCount(args.ctx, args.beliefNodeId);\n      return {\n        metric: args.metric,\n        value: count,\n        data: { dependentCount: count },\n      };\n    }\n    default:\n      return {\n        metric: args.metric,\n        value: null,\n        data: {},\n      };\n  }\n}\n\nexport async function evaluateBuiltInEvidentialContract(\n  args: EpistemicEvaluatorContext\n): Promise<EpistemicEvaluatorResult> {\n  const config = parseEvidentialEvaluatorConfig(args.contract.condition.evaluatorConfig);\n  const snapshot = await snapshotEvidentialMetric({\n    ctx: args.ctx,\n    beliefNodeId: args.belief._id,\n    metric: config.metric,\n    now: args.now,\n  });\n\n  const comparisonSatisfied =\n    snapshot.value !== null &&\n    compareMetricValue(config.operator, snapshot.value, config.threshold);\n  const result =\n    args.contract.direction === \"falsifies\"\n      ? comparisonSatisfied\n        ? \"disconfirmed\"\n        : \"confirmed\"\n      : comparisonSatisfied\n        ? \"confirmed\"\n        : \"disconfirmed\";\n\n  return {\n    result,\n    rationale: buildEvidentialRationale({\n      config,\n      snapshot,\n      comparisonSatisfied,\n      result,\n    }),\n    data: {\n      ...snapshot.data,\n      metric: config.metric,\n      observedValue: snapshot.value,\n      operator: config.operator,\n      threshold: config.threshold,\n      action: config.action ?? \"modulate_confidence\",\n      actionParams: config.actionParams,\n    },\n  };\n}\n\nexport async function evaluateMetricCheckerContract(\n  args: EpistemicEvaluatorContext\n): Promise<EpistemicEvaluatorResult> {\n  const config = parseMetricCheckerConfig(args.contract.condition.evaluatorConfig);\n  const input = getEvaluatorInputRecord(args.inputData, \"metricData\");\n  const metric =\n    typeof input.metric === \"string\" && input.metric.length > 0\n      ? input.metric\n      : config.metric;\n  const observedValue =\n    pickFiniteNumber(input, [\n      \"observedValue\",\n      \"currentValue\",\n      \"metricValue\",\n      \"value\",\n    ]) ??\n    config.observedValue ??\n    config.currentValue ??\n    config.metricValue ??\n    null;\n  if (observedValue === null) {\n    return {\n      result: \"inconclusive\",\n      rationale: `metric_checker is awaiting data for ${metric ?? args.contract.condition.expression}.`,\n      data: {\n        metric,\n        observedValue: null,\n        operator: config.operator,\n        threshold: config.threshold,\n        unit: config.unit,\n      },\n    };\n  }\n\n  const comparisonSatisfied = compareMetricValue(\n    config.operator,\n    observedValue,\n    config.threshold\n  );\n  const result = resolveComparisonResult(args.contract.direction, comparisonSatisfied);\n\n  return {\n    result,\n    rationale: buildComparisonRationale({\n      label: metric ?? \"metric\",\n      observedValue,\n      operator: config.operator,\n      threshold: config.threshold,\n      comparisonSatisfied,\n      result,\n      unit: config.unit,\n    }),\n    data: {\n      metric,\n      observedValue,\n      operator: config.operator,\n      threshold: config.threshold,\n      unit: config.unit,\n    },\n  };\n}\n\nexport async function evaluateReferenceCheckCounterContract(\n  args: EpistemicEvaluatorContext\n): Promise<EpistemicEvaluatorResult> {\n  const config = parseReferenceCheckCounterConfig(args.contract.condition.evaluatorConfig);\n  const input = getEvaluatorInputRecord(args.inputData, \"referenceCheckData\");\n  const tag =\n    typeof input.tag === \"string\" && input.tag.trim().length > 0\n      ? input.tag.trim()\n      : config.tag;\n  const snapshot = await computeTaggedEvidenceCount({\n    ctx: args.ctx,\n    beliefNodeId: args.belief._id,\n    tag,\n    caseSensitive: config.caseSensitive,\n  });\n  const comparisonSatisfied = compareMetricValue(\n    config.operator,\n    snapshot.count,\n    config.threshold\n  );\n  const result = resolveComparisonResult(args.contract.direction, comparisonSatisfied);\n\n  return {\n    result,\n    rationale: buildComparisonRationale({\n      label: `reference checks tagged \"${tag}\"`,\n      observedValue: snapshot.count,\n      operator: config.operator,\n      threshold: config.threshold,\n      comparisonSatisfied,\n      result,\n    }),\n    data: {\n      tag,\n      observedValue: snapshot.count,\n      referenceCheckCount: snapshot.count,\n      matchedEvidenceIds: snapshot.matchedEvidenceIds,\n      operator: config.operator,\n      threshold: config.threshold,\n      caseSensitive: config.caseSensitive ?? false,\n    },\n  };\n}\n\nexport async function evaluateTemporalDeadlineContract(\n  args: EpistemicEvaluatorContext\n): Promise<EpistemicEvaluatorResult> {\n  if (\n    typeof args.contract.deadline !== \"number\" ||\n    !Number.isFinite(args.contract.deadline)\n  ) {\n    throw new Error(\n      \"temporal_deadline requires contract.deadline to be set to a finite timestamp.\"\n    );\n  }\n\n  const config = parseTemporalDeadlineConfig(args.contract.condition.evaluatorConfig);\n  const input = getEvaluatorInputRecord(args.inputData, \"temporalData\");\n  const label =\n    (typeof input.label === \"string\" && input.label.length > 0\n      ? input.label\n      : config.label) ??\n    args.contract.title ??\n    args.contract.condition.expression;\n  const completedAt =\n    pickFiniteNumber(input, [\n      \"completedAt\",\n      \"observedAt\",\n      \"satisfiedAt\",\n      \"achievedAt\",\n    ]) ??\n    config.completedAt ??\n    config.observedAt ??\n    config.satisfiedAt ??\n    config.achievedAt;\n  const completed =\n    input.completed === true || config.completed === true || completedAt !== undefined;\n\n  if (completed) {\n    if (completedAt !== undefined && completedAt > args.contract.deadline) {\n      return {\n        result: \"expired\",\n        rationale: `${label} completed at ${completedAt}, after deadline ${args.contract.deadline}.`,\n        data: {\n          label,\n          deadline: args.contract.deadline,\n          completed: true,\n          completedAt,\n          missedDeadline: true,\n          overdueByMs: completedAt - args.contract.deadline,\n        },\n      };\n    }\n\n    const result =\n      args.contract.direction === \"falsifies\" ? \"disconfirmed\" : \"confirmed\";\n    return {\n      result,\n      rationale: `${label} completed before deadline ${args.contract.deadline}.`,\n      data: {\n        label,\n        deadline: args.contract.deadline,\n        completed: true,\n        completedAt: completedAt ?? null,\n        missedDeadline: false,\n      },\n    };\n  }\n\n  if (args.now > args.contract.deadline) {\n    return {\n      result: \"expired\",\n      rationale: `${label} missed deadline ${args.contract.deadline}; temporal contract expired.`,\n      data: {\n        label,\n        deadline: args.contract.deadline,\n        completed: false,\n        overdueByMs: args.now - args.contract.deadline,\n      },\n    };\n  }\n\n  return {\n    result: \"inconclusive\",\n    rationale: `${label} is still before deadline ${args.contract.deadline}; awaiting outcome.`,\n    data: {\n      label,\n      deadline: args.contract.deadline,\n      completed: false,\n      timeRemainingMs: args.contract.deadline - args.now,\n    },\n  };\n}\n\nexport async function evaluateMarketIndexComparatorContract(\n  args: EpistemicEvaluatorContext\n): Promise<EpistemicEvaluatorResult> {\n  const config = parseMarketIndexComparatorConfig(args.contract.condition.evaluatorConfig);\n  const input = getEvaluatorInputRecord(args.inputData, \"marketIndexData\");\n  const subject =\n    typeof input.subject === \"string\" && input.subject.length > 0\n      ? input.subject\n      : config.subject;\n  const benchmark =\n    typeof input.benchmark === \"string\" && input.benchmark.length > 0\n      ? input.benchmark\n      : config.benchmark;\n  const subjectValue =\n    pickFiniteNumber(input, [\"subjectValue\", \"primaryValue\", \"leftValue\"]) ??\n    config.subjectValue ??\n    config.primaryValue ??\n    null;\n  const benchmarkValue =\n    pickFiniteNumber(input, [\"benchmarkValue\", \"comparisonValue\", \"rightValue\"]) ??\n    config.benchmarkValue ??\n    config.comparisonValue ??\n    null;\n\n  if (subjectValue === null || benchmarkValue === null) {\n    return {\n      result: \"inconclusive\",\n      rationale: \"market_index_comparator is awaiting both subject and benchmark values.\",\n      data: {\n        subject,\n        subjectValue,\n        benchmark,\n        benchmarkValue,\n        operator: config.operator,\n        threshold: config.threshold,\n      },\n    };\n  }\n\n  if (benchmarkValue === 0) {\n    throw new Error(\n      \"market_index_comparator cannot compare against a zero benchmark value.\"\n    );\n  }\n\n  const differentialPercent =\n    ((subjectValue - benchmarkValue) / Math.abs(benchmarkValue)) * 100;\n  const comparisonSatisfied = compareMetricValue(\n    config.operator,\n    differentialPercent,\n    config.threshold\n  );\n  const result = resolveComparisonResult(args.contract.direction, comparisonSatisfied);\n\n  return {\n    result,\n    rationale: buildComparisonRationale({\n      label: `${subject ?? \"subject\"} vs ${benchmark ?? \"benchmark\"} differential`,\n      observedValue: differentialPercent,\n      operator: config.operator,\n      threshold: config.threshold,\n      comparisonSatisfied,\n      result,\n      unit: \"%\",\n    }),\n    data: {\n      subject,\n      subjectValue,\n      benchmark,\n      benchmarkValue,\n      differentialPercent,\n      operator: config.operator,\n      threshold: config.threshold,\n    },\n  };\n}\n\nexport const METRIC_COMPARATOR_EVALUATOR_NAMES = {\n  evidential: \"evidential\",\n  evidentialAliases: new Set([\"evidential\", \"built_in_evidential\", \"builtin_evidential\"]),\n  metricChecker: \"metric_checker\",\n  referenceCheckCounter: \"reference_check_counter\",\n  temporalDeadline: \"temporal_deadline\",\n  marketIndexComparator: \"market_index_comparator\",\n};\n"]}

package/dist/epistemicContracts.types.d.ts

@@ -0,0 +1,159 @@
+import { Id, MutationCtx, QueryCtx } from './convex.js';
+import { EpistemicContractEvaluationResult, EpistemicContractRecord } from '@lucern/confidence';
+import 'convex/values';
+
+/** Shared types for epistemic contract lifecycle and evaluator internals. */
+
+type EpistemicEvaluatorResult = {
+    result: EpistemicContractEvaluationResult;
+    confidence?: number;
+    data?: unknown;
+    rationale: string;
+};
+type EpistemicEvaluatorContext = {
+    belief: BeliefNodeDoc;
+    contract: ContractDoc;
+    ctx: MutationCtx;
+    now: number;
+    resultData?: unknown;
+    trigger: string;
+    inputData?: unknown;
+};
+type EpistemicEvaluator = {
+    name: string;
+    evaluate(args: EpistemicEvaluatorContext): Promise<EpistemicEvaluatorResult> | EpistemicEvaluatorResult;
+};
+type BeliefNodeDoc = {
+    _id: Id<"epistemicNodes">;
+    nodeType: "belief";
+    canonicalText: string;
+    projectId?: string;
+    topicId?: Id<"topics"> | string;
+    confidence?: number;
+    status?: string;
+    [key: string]: unknown;
+};
+type ContractDoc = EpistemicContractRecord<Id<"epistemicNodes">, Id<"topics"> | string | undefined> & {
+    _id: string;
+    _creationTime: number;
+};
+type ContractEvaluationDoc = {
+    contractId: string;
+    beliefNodeId: Id<"epistemicNodes">;
+    result: EpistemicContractEvaluationResult;
+    evaluatedAt: number;
+    evaluator: string;
+    trigger: string;
+    resultData?: unknown;
+    modulationApplied: boolean;
+    confidenceDelta?: number;
+    confidenceBefore?: number;
+    confidenceAfter?: number;
+    beliefConfidenceId?: Id<"beliefConfidence">;
+    modulationRationale?: string;
+    topicId?: Id<"topics"> | string;
+    _id: string;
+    _creationTime: number;
+};
+type EvidenceEdgeDoc = {
+    fromNodeId: Id<"epistemicNodes">;
+    weight?: number;
+    updatedAt?: number;
+    createdAt?: number;
+    _creationTime?: number;
+};
+type EvidenceNodeDoc = {
+    _id: Id<"epistemicNodes">;
+    nodeType: string;
+    status?: string;
+    metadata?: unknown;
+};
+type ContradictionStatusCounts = {
+    activeCount: number;
+    resolvedCount: number;
+};
+type EvidenceFreshness = {
+    newestAgeMs: number | null;
+    oldestAgeMs: number | null;
+    newestEdgeAt: number | null;
+    oldestEdgeAt: number | null;
+    edgeCount: number;
+};
+type EvidentialMetric = "evidence_count" | "contradiction_status" | "edge_freshness" | "dependent_count";
+type EvidentialAction = "modulate_confidence" | "flag_review" | "archive";
+type EvidentialEvaluatorConfig = {
+    metric: EvidentialMetric;
+    operator: "gte" | "lte" | "eq" | "gt" | "lt";
+    threshold: number;
+    action?: EvidentialAction;
+    actionParams?: {
+        targetConfidence?: number;
+        rationale?: string;
+    };
+};
+type EvidentialMetricSnapshot = {
+    metric: EvidentialMetric;
+    value: number | null;
+    data: Record<string, unknown>;
+};
+type MetricCheckerEvaluatorConfig = {
+    metric?: string;
+    operator: "gte" | "lte" | "eq" | "gt" | "lt";
+    threshold: number;
+    observedValue?: number;
+    currentValue?: number;
+    metricValue?: number;
+    unit?: string;
+};
+type ReferenceCheckCounterConfig = {
+    tag: string;
+    operator: "gte" | "lte" | "eq" | "gt" | "lt";
+    threshold: number;
+    caseSensitive?: boolean;
+};
+type TemporalDeadlineEvaluatorConfig = {
+    label?: string;
+    completed?: boolean;
+    completedAt?: number;
+    observedAt?: number;
+    satisfiedAt?: number;
+    achievedAt?: number;
+};
+type MarketIndexComparatorConfig = {
+    subject?: string;
+    subjectValue?: number;
+    primaryValue?: number;
+    benchmark?: string;
+    benchmarkValue?: number;
+    comparisonValue?: number;
+    operator: "gte" | "lte" | "eq" | "gt" | "lt";
+    threshold: number;
+};
+type ContractEvaluationExecution = {
+    evaluationId: string;
+    result: EpistemicContractEvaluationResult;
+    status: ContractDoc["status"];
+    confidenceBefore: number;
+    confidenceAfter: number;
+    rationale: string;
+    data?: unknown;
+    currentConfidence: number;
+};
+type TriggerBatchResult = {
+    totalContracts: number;
+    processedCount: number;
+    overflowCount: number;
+    scheduledOverflow: boolean;
+    batchSize: number;
+    executionTimeMs: number;
+    trigger: string;
+    results: Array<{
+        contractId: string;
+        result: EpistemicContractEvaluationResult;
+        status: ContractDoc["status"];
+        confidenceAfter: number;
+    }>;
+};
+type ContractReadCtx = MutationCtx | QueryCtx;
+
+export type { BeliefNodeDoc, ContractDoc, ContractEvaluationDoc, ContractEvaluationExecution, ContractReadCtx, ContradictionStatusCounts, EpistemicEvaluator, EpistemicEvaluatorContext, EpistemicEvaluatorResult, EvidenceEdgeDoc, EvidenceFreshness, EvidenceNodeDoc, EvidentialAction, EvidentialEvaluatorConfig, EvidentialMetric, EvidentialMetricSnapshot, MarketIndexComparatorConfig, MetricCheckerEvaluatorConfig, ReferenceCheckCounterConfig, TemporalDeadlineEvaluatorConfig, TriggerBatchResult };