@lucern/graph-primitives 0.1.0-alpha.2

package/dist/invariantEnforcement.d.ts

@@ -0,0 +1,52 @@
+type BeliefNodeLike = {
+    _id?: string;
+    nodeType?: unknown;
+    confidence?: unknown;
+    metadata?: unknown;
+    predictionMeta?: unknown;
+};
+declare function isBeliefNode(node: BeliefNodeLike | null | undefined): boolean;
+declare function isOntologicalNode(node: BeliefNodeLike | null | undefined): boolean;
+declare function isScoredBeliefNode(node: BeliefNodeLike): boolean;
+declare function assertBeliefNodeGenericUpdateAllowed(args: {
+    node: BeliefNodeLike;
+    updates: Record<string, unknown>;
+    mutationName: string;
+}): void;
+declare function assertBeliefNodeArchiveAllowed(args: {
+    node: BeliefNodeLike;
+    mutationName: string;
+}): void;
+declare function assertBeliefNodeVerifyAllowed(args: {
+    node: BeliefNodeLike;
+    confidence: number | undefined;
+    mutationName: string;
+}): void;
+declare function assertBeliefNodeSupersedeAllowed(args: {
+    node: BeliefNodeLike;
+    mutationName: string;
+}): void;
+declare function assertBeliefNodeHardDeleteAllowed(args: {
+    node: BeliefNodeLike;
+    allowBeliefHardDelete: boolean;
+    reason: string;
+    mutationName: string;
+}): void;
+declare function assertOntologicalNodeGenericCreateAllowed(args: {
+    nodeType: string;
+    mutationName: string;
+}): void;
+declare function assertOntologicalNodeGenericUpdateAllowed(args: {
+    node: BeliefNodeLike;
+    mutationName: string;
+}): void;
+declare function assertOntologicalNodeArchiveAllowed(args: {
+    node: BeliefNodeLike;
+    mutationName: string;
+}): void;
+declare function assertOntologicalNodeSupersedeAllowed(args: {
+    node: BeliefNodeLike;
+    mutationName: string;
+}): void;
+
+export { assertBeliefNodeArchiveAllowed, assertBeliefNodeGenericUpdateAllowed, assertBeliefNodeHardDeleteAllowed, assertBeliefNodeSupersedeAllowed, assertBeliefNodeVerifyAllowed, assertOntologicalNodeArchiveAllowed, assertOntologicalNodeGenericCreateAllowed, assertOntologicalNodeGenericUpdateAllowed, assertOntologicalNodeSupersedeAllowed, isBeliefNode, isOntologicalNode, isScoredBeliefNode };

package/dist/invariantEnforcement.js

@@ -0,0 +1,231 @@
+// src/beliefLifecycle.ts
+var RESOLVED_PREDICTION_OUTCOMES = [
+  "confirmed",
+  "disconfirmed",
+  "partial",
+  "expired"
+];
+function hasResolvedPredictionOutcome(predictionMeta) {
+  if (!predictionMeta || typeof predictionMeta !== "object") {
+    return false;
+  }
+  const outcome = predictionMeta.outcome;
+  return typeof outcome === "string" && RESOLVED_PREDICTION_OUTCOMES.includes(outcome);
+}
+
+// src/invariantEnforcement.ts
+var FORBIDDEN_GENERIC_BELIEF_METADATA_KEYS = /* @__PURE__ */ new Set([
+  "beliefStatus",
+  "epistemicStatus",
+  "forkedBy",
+  "forkedFrom",
+  "forkReason",
+  "forkTimestamp",
+  "status",
+  "supersededBy",
+  "supersedes"
+]);
+var ONTOLOGICAL_NODE_TYPES = /* @__PURE__ */ new Set([
+  "company",
+  "person",
+  "investor",
+  "function",
+  "value_chain"
+]);
+function throwInvariantError(args) {
+  const error = new Error(args.message);
+  error.status = args.status ?? 409;
+  error.code = args.code ?? "INVARIANT_VIOLATION";
+  error.invariantCode = args.invariantCode;
+  error.suggestion = args.suggestion;
+  error.details = args.details;
+  throw error;
+}
+function isBeliefNode(node) {
+  return node?.nodeType === "belief";
+}
+function isOntologicalNode(node) {
+  return typeof node?.nodeType === "string" && ONTOLOGICAL_NODE_TYPES.has(node.nodeType);
+}
+function isScoredBeliefNode(node) {
+  if (!isBeliefNode(node)) {
+    return false;
+  }
+  const metadata = node.metadata && typeof node.metadata === "object" ? node.metadata : void 0;
+  const numericConfidence = typeof node.confidence === "number" && Number.isFinite(node.confidence);
+  if (numericConfidence) {
+    return true;
+  }
+  return hasResolvedPredictionOutcome(node.predictionMeta) || hasResolvedPredictionOutcome(metadata?.predictionMeta);
+}
+function getForbiddenMetadataKeys(metadata) {
+  if (!metadata || typeof metadata !== "object" || Array.isArray(metadata)) {
+    return [];
+  }
+  return Object.keys(metadata).filter(
+    (key) => FORBIDDEN_GENERIC_BELIEF_METADATA_KEYS.has(key)
+  );
+}
+function assertBeliefNodeGenericUpdateAllowed(args) {
+  if (!isBeliefNode(args.node)) {
+    return;
+  }
+  if (Object.hasOwn(args.updates, "confidence")) {
+    throwInvariantError({
+      message: "Belief confidence is append-only. Generic node updates cannot set confidence directly.",
+      invariantCode: "belief.confidence_append_only",
+      suggestion: "Use epistemicBeliefs.modulateConfidence() so the beliefConfidence ledger and audit trail are updated together.",
+      details: { mutationName: args.mutationName, nodeId: args.node._id }
+    });
+  }
+  if (Object.hasOwn(args.updates, "status")) {
+    throwInvariantError({
+      message: "Belief status transitions must use the dedicated belief lifecycle APIs.",
+      invariantCode: "belief.status_transition_requires_belief_api",
+      suggestion: "Use epistemicBeliefs.updateStatus() or epistemicBeliefs.archive() so status transitions emit the correct audit event.",
+      details: { mutationName: args.mutationName, nodeId: args.node._id }
+    });
+  }
+  const forbiddenMetadataKeys = getForbiddenMetadataKeys(args.updates.metadata);
+  if (forbiddenMetadataKeys.length > 0) {
+    throwInvariantError({
+      message: "Belief lineage and lifecycle metadata cannot be rewritten through generic node updates.",
+      invariantCode: "belief.lineage_requires_fork_belief",
+      suggestion: "Use epistemicBeliefs.forkBelief() for lineage changes and dedicated belief lifecycle mutations for status changes.",
+      details: {
+        mutationName: args.mutationName,
+        nodeId: args.node._id,
+        forbiddenMetadataKeys
+      }
+    });
+  }
+  if (isScoredBeliefNode(args.node) && (Object.hasOwn(args.updates, "canonicalText") || Object.hasOwn(args.updates, "contentHash"))) {
+    throwInvariantError({
+      message: "Cannot refine a scored belief in place. Scored formulations are immutable.",
+      invariantCode: "belief.formulation_immutable_after_scoring",
+      suggestion: "Use epistemicBeliefs.forkBelief() to evolve the formulation while preserving lineage.",
+      details: { mutationName: args.mutationName, nodeId: args.node._id }
+    });
+  }
+}
+function assertBeliefNodeArchiveAllowed(args) {
+  if (!isBeliefNode(args.node)) {
+    return;
+  }
+  throwInvariantError({
+    message: "Belief archiving must go through the dedicated belief lifecycle API.",
+    invariantCode: "belief.status_transition_requires_belief_api",
+    suggestion: "Use epistemicBeliefs.archive() so the belief lifecycle audit trail stays consistent.",
+    details: { mutationName: args.mutationName, nodeId: args.node._id }
+  });
+}
+function assertBeliefNodeVerifyAllowed(args) {
+  if (!isBeliefNode(args.node) || args.confidence === void 0) {
+    return;
+  }
+  throwInvariantError({
+    message: "Belief verification cannot set confidence directly. Confidence changes must stay append-only.",
+    invariantCode: "belief.confidence_append_only",
+    suggestion: "Call epistemicBeliefs.modulateConfidence() after verification so the confidence history is preserved.",
+    details: { mutationName: args.mutationName, nodeId: args.node._id }
+  });
+}
+function assertBeliefNodeSupersedeAllowed(args) {
+  if (!isBeliefNode(args.node)) {
+    return;
+  }
+  throwInvariantError({
+    message: "Belief lineage changes must use forkBelief(), not the generic supersede path.",
+    invariantCode: "belief.lineage_requires_fork_belief",
+    suggestion: "Use epistemicBeliefs.forkBelief() so the child belief, supersedes edge, and audit trail are created together.",
+    details: { mutationName: args.mutationName, nodeId: args.node._id }
+  });
+}
+function assertBeliefNodeHardDeleteAllowed(args) {
+  if (!isBeliefNode(args.node)) {
+    return;
+  }
+  if (!args.allowBeliefHardDelete) {
+    throwInvariantError({
+      message: "Belief hard delete is forbidden by default. Beliefs must retain lineage and audit history.",
+      invariantCode: "belief.hard_delete_forbidden",
+      suggestion: "Use epistemicBeliefs.archive() or epistemicBeliefs.forkBelief() instead. Only migration repair flows may opt into hard delete explicitly.",
+      details: { mutationName: args.mutationName, nodeId: args.node._id }
+    });
+  }
+  if (!args.reason.trim().toLowerCase().startsWith("migration:")) {
+    throwInvariantError({
+      message: "Belief hard delete bypasses require a migration-scoped rationale.",
+      invariantCode: "belief.hard_delete_forbidden",
+      suggestion: 'Retry with allowBeliefHardDelete: true and a reason starting with "migration:" only for one-off data repair flows.',
+      details: {
+        mutationName: args.mutationName,
+        nodeId: args.node._id,
+        reason: args.reason
+      }
+    });
+  }
+}
+function assertOntologicalNodeGenericCreateAllowed(args) {
+  if (!ONTOLOGICAL_NODE_TYPES.has(args.nodeType)) {
+    return;
+  }
+  throwInvariantError({
+    message: "Ontological entities must be created through the dedicated entity lifecycle API.",
+    invariantCode: "entity.create_requires_entity_lifecycle",
+    suggestion: "Use entityLifecycle.createEntity() so tenant-global canonical scope and deduplication are enforced.",
+    details: {
+      mutationName: args.mutationName,
+      nodeType: args.nodeType
+    }
+  });
+}
+function assertOntologicalNodeGenericUpdateAllowed(args) {
+  if (!isOntologicalNode(args.node)) {
+    return;
+  }
+  throwInvariantError({
+    message: "Ontological entities must be updated through the dedicated entity lifecycle API.",
+    invariantCode: "entity.update_requires_entity_lifecycle",
+    suggestion: "Use entityLifecycle.updateEntityAttributes() so canonical entity mutations stay type-safe and audited.",
+    details: {
+      mutationName: args.mutationName,
+      nodeId: args.node._id,
+      nodeType: args.node.nodeType
+    }
+  });
+}
+function assertOntologicalNodeArchiveAllowed(args) {
+  if (!isOntologicalNode(args.node)) {
+    return;
+  }
+  throwInvariantError({
+    message: "Ontological entities must be archived through the dedicated entity lifecycle API.",
+    invariantCode: "entity.archive_requires_entity_lifecycle",
+    suggestion: "Use entityLifecycle.archiveEntity() so entity archival emits the correct audit trail and review hooks.",
+    details: {
+      mutationName: args.mutationName,
+      nodeId: args.node._id,
+      nodeType: args.node.nodeType
+    }
+  });
+}
+function assertOntologicalNodeSupersedeAllowed(args) {
+  if (!isOntologicalNode(args.node)) {
+    return;
+  }
+  throwInvariantError({
+    message: "Ontological entities do not use the generic supersede path.",
+    invariantCode: "entity.supersede_requires_entity_lifecycle",
+    suggestion: "Use entityLifecycle.updateEntityAttributes() to edit an entity in place or entityLifecycle.mergeEntities() to collapse duplicates.",
+    details: {
+      mutationName: args.mutationName,
+      nodeId: args.node._id,
+      nodeType: args.node.nodeType
+    }
+  });
+}
+
+export { assertBeliefNodeArchiveAllowed, assertBeliefNodeGenericUpdateAllowed, assertBeliefNodeHardDeleteAllowed, assertBeliefNodeSupersedeAllowed, assertBeliefNodeVerifyAllowed, assertOntologicalNodeArchiveAllowed, assertOntologicalNodeGenericCreateAllowed, assertOntologicalNodeGenericUpdateAllowed, assertOntologicalNodeSupersedeAllowed, isBeliefNode, isOntologicalNode, isScoredBeliefNode };
+//# sourceMappingURL=invariantEnforcement.js.map
+//# sourceMappingURL=invariantEnforcement.js.map

package/dist/invariantEnforcement.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/beliefLifecycle.ts","../src/invariantEnforcement.ts"],"names":[],"mappings":";AA2BA,IAAM,4BAAA,GAA6D;AAAA,EACjE,WAAA;AAAA,EACA,cAAA;AAAA,EACA,SAAA;AAAA,EACA;AACF,CAAA;AAiCO,SAAS,6BAA6B,cAAA,EAAkC;AAC7E,EAAA,IAAI,CAAC,cAAA,IAAkB,OAAO,cAAA,KAAmB,QAAA,EAAU;AACzD,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,MAAM,UAAW,cAAA,CAAyC,OAAA;AAC1D,EAAA,OACE,OAAO,OAAA,KAAY,QAAA,IACnB,4BAAA,CAA6B,SAAS,OAA4B,CAAA;AAEtE;;;ACrCA,IAAM,sCAAA,uBAA6C,GAAA,CAAI;AAAA,EACrD,cAAA;AAAA,EACA,iBAAA;AAAA,EACA,UAAA;AAAA,EACA,YAAA;AAAA,EACA,YAAA;AAAA,EACA,eAAA;AAAA,EACA,QAAA;AAAA,EACA,cAAA;AAAA,EACA;AACF,CAAC,CAAA;AAED,IAAM,sBAAA,uBAA6B,GAAA,CAAI;AAAA,EACrC,SAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EACA,UAAA;AAAA,EACA;AACF,CAAC,CAAA;AAED,SAAS,oBAAoB,IAAA,EAA4B;AACvD,EAAA,MAAM,KAAA,GAAQ,IAAI,KAAA,CAAM,IAAA,CAAK,OAAO,CAAA;AACpC,EAAA,KAAA,CAAM,MAAA,GAAS,KAAK,MAAA,IAAU,GAAA;AAC9B,EAAA,KAAA,CAAM,IAAA,GAAO,KAAK,IAAA,IAAQ,qBAAA;AAC1B,EAAA,KAAA,CAAM,gBAAgB,IAAA,CAAK,aAAA;AAC3B,EAAA,KAAA,CAAM,aAAa,IAAA,CAAK,UAAA;AACxB,EAAA,KAAA,CAAM,UAAU,IAAA,CAAK,OAAA;AACrB,EAAA,MAAM,KAAA;AACR;AAEO,SAAS,aAAa,IAAA,EAAkD;AAC7E,EAAA,OAAO,MAAM,QAAA,KAAa,QAAA;AAC5B;AAEO,SAAS,kBACd,IAAA,EACS;AACT,EAAA,OACE,OAAO,IAAA,EAAM,QAAA,KAAa,YAAY,sBAAA,CAAuB,GAAA,CAAI,KAAK,QAAQ,CAAA;AAElF;AAEO,SAAS,mBAAmB,IAAA,EAA+B;AAChE,EAAA,IAAI,CAAC,YAAA,CAAa,IAAI,CAAA,EAAG;AACvB,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,MAAM,QAAA,GACJ,KAAK,QAAA,IAAY,OAAO,KAAK,QAAA,KAAa,QAAA,GACrC,KAAK,QAAA,GACN,MAAA;AAEN,EAAA,MAAM,iBAAA,GACJ,OAAO,IAAA,CAAK,UAAA,KAAe,YAAY,MAAA,CAAO,QAAA,CAAS,KAAK,UAAU,CAAA;AACxE,EAAA,IAAI,iBAAA,EAAmB;AACrB,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,OACE,6BAA6B,IAAA,CAAK,cAAc,CAAA,IAChD,4BAAA,CAA6B,UAAU,cAAc,CAAA;AAEzD;AAEA,SAAS,yBAAyB,QAAA,EAA6B;AAC7D,EAAA,IAAI,CAAC,YAAY,OAAO,QAAA,KAAa,YAAY,KAAA,CAAM,OAAA,CAAQ,QAAQ,CAAA,EAAG;AACxE,IAAA,OAAO,EAAC;AAAA,EACV;AAEA,EAAA,OAAO,MAAA,CAAO,IAAA,CAAK,QAAQ,CAAA,CAAE,MAAA;AAAA,IAAO,CAAC,GAAA,KACnC,sCAAA,CAAuC,GAAA,CAAI,GAAG;AAAA,GAChD;AACF;AAEO,SAAS,qCAAqC,IAAA,EAI5C;AACP,EAAA,IAAI,CAAC,YAAA,CAAa,IAAA,CAAK,IAAI,CAAA,EAAG;AAC5B,IAAA;AAAA,EACF;AAEA,EAAA,IAAI,MAAA,CAAO,MAAA,CAAO,IAAA,CAAK,OAAA,EAAS,YAAY,CAAA,EAAG;AAC7C,IAAA,mBAAA,CAAoB;AAAA,MAClB,OAAA,EACE,wFAAA;AAAA,MACF,aAAA,EAAe,+BAAA;AAAA,MACf,UAAA,EACE,gHAAA;AAAA,MACF,OAAA,EAAS,EAAE,YAAA,EAAc,IAAA,CAAK,cAAc,MAAA,EAAQ,IAAA,CAAK,KAAK,GAAA;AAAI,KACnE,CAAA;AAAA,EACH;AAEA,EAAA,IAAI,MAAA,CAAO,MAAA,CAAO,IAAA,CAAK,OAAA,EAAS,QAAQ,CAAA,EAAG;AACzC,IAAA,mBAAA,CAAoB;AAAA,MAClB,OAAA,EACE,yEAAA;AAAA,MACF,aAAA,EAAe,8CAAA;AAAA,MACf,UAAA,EACE,uHAAA;AAAA,MACF,OAAA,EAAS,EAAE,YAAA,EAAc,IAAA,CAAK,cAAc,MAAA,EAAQ,IAAA,CAAK,KAAK,GAAA;AAAI,KACnE,CAAA;AAAA,EACH;AAEA,EAAA,MAAM,qBAAA,GAAwB,wBAAA,CAAyB,IAAA,CAAK,OAAA,CAAQ,QAAQ,CAAA;AAC5E,EAAA,IAAI,qBAAA,CAAsB,SAAS,CAAA,EAAG;AACpC,IAAA,mBAAA,CAAoB;AAAA,MAClB,OAAA,EACE,yFAAA;AAAA,MACF,aAAA,EAAe,qCAAA;AAAA,MACf,UAAA,EACE,oHAAA;AAAA,MACF,OAAA,EAAS;AAAA,QACP,cAAc,IAAA,CAAK,YAAA;AAAA,QACnB,MAAA,EAAQ,KAAK,IAAA,CAAK,GAAA;AAAA,QAClB;AAAA;AACF,KACD,CAAA;AAAA,EACH;AAEA,EAAA,IACE,kBAAA,CAAmB,IAAA,CAAK,IAAI,CAAA,KAC3B,OAAO,MAAA,CAAO,IAAA,CAAK,OAAA,EAAS,eAAe,KAC1C,MAAA,CAAO,MAAA,CAAO,IAAA,CAAK,OAAA,EAAS,aAAa,CAAA,CAAA,EAC3C;AACA,IAAA,mBAAA,CAAoB;AAAA,MAClB,OAAA,EACE,4EAAA;AAAA,MACF,aAAA,EAAe,4CAAA;AAAA,MACf,UAAA,EACE,uFAAA;AAAA,MACF,OAAA,EAAS,EAAE,YAAA,EAAc,IAAA,CAAK,cAAc,MAAA,EAAQ,IAAA,CAAK,KAAK,GAAA;AAAI,KACnE,CAAA;AAAA,EACH;AACF;AAEO,SAAS,+BAA+B,IAAA,EAGtC;AACP,EAAA,IAAI,CAAC,YAAA,CAAa,IAAA,CAAK,IAAI,CAAA,EAAG;AAC5B,IAAA;AAAA,EACF;AAEA,EAAA,mBAAA,CAAoB;AAAA,IAClB,OAAA,EACE,sEAAA;AAAA,IACF,aAAA,EAAe,8CAAA;AAAA,IACf,UAAA,EACE,sFAAA;AAAA,IACF,OAAA,EAAS,EAAE,YAAA,EAAc,IAAA,CAAK,cAAc,MAAA,EAAQ,IAAA,CAAK,KAAK,GAAA;AAAI,GACnE,CAAA;AACH;AAEO,SAAS,8BAA8B,IAAA,EAIrC;AACP,EAAA,IAAI,CAAC,YAAA,CAAa,IAAA,CAAK,IAAI,CAAA,IAAK,IAAA,CAAK,eAAe,MAAA,EAAW;AAC7D,IAAA;AAAA,EACF;AAEA,EAAA,mBAAA,CAAoB;AAAA,IAClB,OAAA,EACE,+FAAA;AAAA,IACF,aAAA,EAAe,+BAAA;AAAA,IACf,UAAA,EACE,uGAAA;AAAA,IACF,OAAA,EAAS,EAAE,YAAA,EAAc,IAAA,CAAK,cAAc,MAAA,EAAQ,IAAA,CAAK,KAAK,GAAA;AAAI,GACnE,CAAA;AACH;AAEO,SAAS,iCAAiC,IAAA,EAGxC;AACP,EAAA,IAAI,CAAC,YAAA,CAAa,IAAA,CAAK,IAAI,CAAA,EAAG;AAC5B,IAAA;AAAA,EACF;AAEA,EAAA,mBAAA,CAAoB;AAAA,IAClB,OAAA,EACE,+EAAA;AAAA,IACF,aAAA,EAAe,qCAAA;AAAA,IACf,UAAA,EACE,+GAAA;AAAA,IACF,OAAA,EAAS,EAAE,YAAA,EAAc,IAAA,CAAK,cAAc,MAAA,EAAQ,IAAA,CAAK,KAAK,GAAA;AAAI,GACnE,CAAA;AACH;AAEO,SAAS,kCAAkC,IAAA,EAKzC;AACP,EAAA,IAAI,CAAC,YAAA,CAAa,IAAA,CAAK,IAAI,CAAA,EAAG;AAC5B,IAAA;AAAA,EACF;AAEA,EAAA,IAAI,CAAC,KAAK,qBAAA,EAAuB;AAC/B,IAAA,mBAAA,CAAoB;AAAA,MAClB,OAAA,EACE,4FAAA;AAAA,MACF,aAAA,EAAe,8BAAA;AAAA,MACf,UAAA,EACE,2IAAA;AAAA,MACF,OAAA,EAAS,EAAE,YAAA,EAAc,IAAA,CAAK,cAAc,MAAA,EAAQ,IAAA,CAAK,KAAK,GAAA;AAAI,KACnE,CAAA;AAAA,EACH;AAEA,EAAA,IAAI,CAAC,KAAK,MAAA,CAAO,IAAA,GAAO,WAAA,EAAY,CAAE,UAAA,CAAW,YAAY,CAAA,EAAG;AAC9D,IAAA,mBAAA,CAAoB;AAAA,MAClB,OAAA,EACE,mEAAA;AAAA,MACF,aAAA,EAAe,8BAAA;AAAA,MACf,UAAA,EACE,oHAAA;AAAA,MACF,OAAA,EAAS;AAAA,QACP,cAAc,IAAA,CAAK,YAAA;AAAA,QACnB,MAAA,EAAQ,KAAK,IAAA,CAAK,GAAA;AAAA,QAClB,QAAQ,IAAA,CAAK;AAAA;AACf,KACD,CAAA;AAAA,EACH;AACF;AAEO,SAAS,0CAA0C,IAAA,EAGjD;AACP,EAAA,IAAI,CAAC,sBAAA,CAAuB,GAAA,CAAI,IAAA,CAAK,QAAQ,CAAA,EAAG;AAC9C,IAAA;AAAA,EACF;AAEA,EAAA,mBAAA,CAAoB;AAAA,IAClB,OAAA,EACE,kFAAA;AAAA,IACF,aAAA,EAAe,yCAAA;AAAA,IACf,UAAA,EACE,qGAAA;AAAA,IACF,OAAA,EAAS;AAAA,MACP,cAAc,IAAA,CAAK,YAAA;AAAA,MACnB,UAAU,IAAA,CAAK;AAAA;AACjB,GACD,CAAA;AACH;AAEO,SAAS,0CAA0C,IAAA,EAGjD;AACP,EAAA,IAAI,CAAC,iBAAA,CAAkB,IAAA,CAAK,IAAI,CAAA,EAAG;AACjC,IAAA;AAAA,EACF;AAEA,EAAA,mBAAA,CAAoB;AAAA,IAClB,OAAA,EACE,kFAAA;AAAA,IACF,aAAA,EAAe,yCAAA;AAAA,IACf,UAAA,EACE,wGAAA;AAAA,IACF,OAAA,EAAS;AAAA,MACP,cAAc,IAAA,CAAK,YAAA;AAAA,MACnB,MAAA,EAAQ,KAAK,IAAA,CAAK,GAAA;AAAA,MAClB,QAAA,EAAU,KAAK,IAAA,CAAK;AAAA;AACtB,GACD,CAAA;AACH;AAEO,SAAS,oCAAoC,IAAA,EAG3C;AACP,EAAA,IAAI,CAAC,iBAAA,CAAkB,IAAA,CAAK,IAAI,CAAA,EAAG;AACjC,IAAA;AAAA,EACF;AAEA,EAAA,mBAAA,CAAoB;AAAA,IAClB,OAAA,EACE,mFAAA;AAAA,IACF,aAAA,EAAe,0CAAA;AAAA,IACf,UAAA,EACE,wGAAA;AAAA,IACF,OAAA,EAAS;AAAA,MACP,cAAc,IAAA,CAAK,YAAA;AAAA,MACnB,MAAA,EAAQ,KAAK,IAAA,CAAK,GAAA;AAAA,MAClB,QAAA,EAAU,KAAK,IAAA,CAAK;AAAA;AACtB,GACD,CAAA;AACH;AAEO,SAAS,sCAAsC,IAAA,EAG7C;AACP,EAAA,IAAI,CAAC,iBAAA,CAAkB,IAAA,CAAK,IAAI,CAAA,EAAG;AACjC,IAAA;AAAA,EACF;AAEA,EAAA,mBAAA,CAAoB;AAAA,IAClB,OAAA,EACE,6DAAA;AAAA,IACF,aAAA,EAAe,4CAAA;AAAA,IACf,UAAA,EACE,oIAAA;AAAA,IACF,OAAA,EAAS;AAAA,MACP,cAAc,IAAA,CAAK,YAAA;AAAA,MACnB,MAAA,EAAQ,KAAK,IAAA,CAAK,GAAA;AAAA,MAClB,QAAA,EAAU,KAAK,IAAA,CAAK;AAAA;AACtB,GACD,CAAA;AACH","file":"invariantEnforcement.js","sourcesContent":["/**\n * Belief lifecycle helpers shared across Convex modules.\n *\n * Canonical lifecycle:\n * assumption -> hypothesis -> belief -> fact\n */\n\nexport type BeliefLifecycleStatus =\n  | \"assumption\"\n  | \"hypothesis\"\n  | \"belief\"\n  | \"fact\";\n\ntype PredictionOutcome =\n  | \"pending\"\n  | \"confirmed\"\n  | \"disconfirmed\"\n  | \"partial\"\n  | \"expired\";\n\nconst BELIEF_STATUS_VALUES: readonly BeliefLifecycleStatus[] = [\n  \"assumption\",\n  \"hypothesis\",\n  \"belief\",\n  \"fact\",\n];\n\nconst RESOLVED_PREDICTION_OUTCOMES: readonly PredictionOutcome[] = [\n  \"confirmed\",\n  \"disconfirmed\",\n  \"partial\",\n  \"expired\",\n];\n\nexport function isBeliefLifecycleStatus(\n  value: unknown\n): value is BeliefLifecycleStatus {\n  return (\n    typeof value === \"string\" &&\n    BELIEF_STATUS_VALUES.includes(value as BeliefLifecycleStatus)\n  );\n}\n\nfunction normalizeBeliefConfidence(confidence: unknown): number | null {\n  if (typeof confidence !== \"number\" || !Number.isFinite(confidence)) {\n    return null;\n  }\n  if (confidence >= 0 && confidence <= 1) {\n    return confidence;\n  }\n  // Backward compatibility with historical percentage-scale confidence (0-100).\n  if (confidence > 1 && confidence <= 100) {\n    return confidence / 100;\n  }\n  return null;\n}\n\nexport function isResolvedByConfidence(confidence: unknown): boolean {\n  const normalized = normalizeBeliefConfidence(confidence);\n  if (normalized === null) {\n    return false;\n  }\n  return normalized <= 0 || normalized >= 1;\n}\n\nexport function hasResolvedPredictionOutcome(predictionMeta: unknown): boolean {\n  if (!predictionMeta || typeof predictionMeta !== \"object\") {\n    return false;\n  }\n  const outcome = (predictionMeta as { outcome?: unknown }).outcome;\n  return (\n    typeof outcome === \"string\" &&\n    RESOLVED_PREDICTION_OUTCOMES.includes(outcome as PredictionOutcome)\n  );\n}\n\nfunction getPredictionMetaFromMetadata(\n  metadata: Record<string, unknown> | undefined\n): unknown {\n  return metadata?.predictionMeta;\n}\n\nexport function shouldTreatBeliefAsFact(opts: {\n  confidence?: unknown;\n  predictionMeta?: unknown;\n  metadata?: Record<string, unknown>;\n}): boolean {\n  if (isResolvedByConfidence(opts.confidence)) {\n    return true;\n  }\n  if (hasResolvedPredictionOutcome(opts.predictionMeta)) {\n    return true;\n  }\n  if (\n    hasResolvedPredictionOutcome(getPredictionMetaFromMetadata(opts.metadata))\n  ) {\n    return true;\n  }\n  return false;\n}\n\nexport function resolveBeliefLifecycleStatus(opts: {\n  beliefStatus?: unknown;\n  confidence?: unknown;\n  predictionMeta?: unknown;\n  metadata?: Record<string, unknown>;\n}): BeliefLifecycleStatus {\n  if (shouldTreatBeliefAsFact(opts)) {\n    return \"fact\";\n  }\n\n  const direct = opts.beliefStatus;\n  if (isBeliefLifecycleStatus(direct)) {\n    // If the belief has been scored (has numeric credence) but stored status\n    // is still pre-validation, promote to \"belief\". Scoring = merge to main.\n    const normalized = normalizeBeliefConfidence(opts.confidence);\n    if (normalized !== null && isPreValidationBeliefStatus(direct)) {\n      return \"belief\";\n    }\n    return direct;\n  }\n\n  const metaStatus = opts.metadata?.beliefStatus;\n  if (isBeliefLifecycleStatus(metaStatus)) {\n    const normalized = normalizeBeliefConfidence(opts.confidence);\n    if (normalized !== null && isPreValidationBeliefStatus(metaStatus)) {\n      return \"belief\";\n    }\n    return metaStatus;\n  }\n\n  return \"assumption\";\n}\n\nexport function isPreValidationBeliefStatus(\n  status: BeliefLifecycleStatus\n): boolean {\n  return status === \"assumption\" || status === \"hypothesis\";\n}\n\nexport function isPropagationEligibleBeliefStatus(\n  status: BeliefLifecycleStatus\n): boolean {\n  return status === \"belief\" || status === \"fact\";\n}\n\nexport function promoteBeliefStatusAfterScoring(\n  status: BeliefLifecycleStatus,\n  opts?: {\n    confidence?: unknown;\n    predictionMeta?: unknown;\n    metadata?: Record<string, unknown>;\n  }\n): BeliefLifecycleStatus {\n  if (shouldTreatBeliefAsFact({ ...opts })) {\n    return \"fact\";\n  }\n  if (isPreValidationBeliefStatus(status)) {\n    return \"belief\";\n  }\n  return status === \"fact\" ? \"fact\" : \"belief\";\n}\n","/** Invariant error helpers that protect belief lifecycle mutations. */\nimport { hasResolvedPredictionOutcome } from \"./beliefLifecycle\";\n\ntype StructuredInvariantError = Error & {\n  status: number;\n  code: string;\n  invariantCode?: string;\n  suggestion?: string;\n  details?: unknown;\n};\n\ntype BeliefNodeLike = {\n  _id?: string;\n  nodeType?: unknown;\n  confidence?: unknown;\n  metadata?: unknown;\n  predictionMeta?: unknown;\n};\n\ntype InvariantArgs = {\n  message: string;\n  invariantCode:\n    | \"belief.formulation_immutable_after_scoring\"\n    | \"belief.confidence_append_only\"\n    | \"belief.status_transition_requires_belief_api\"\n    | \"belief.lineage_requires_fork_belief\"\n    | \"belief.hard_delete_forbidden\"\n    | \"entity.create_requires_entity_lifecycle\"\n    | \"entity.update_requires_entity_lifecycle\"\n    | \"entity.archive_requires_entity_lifecycle\"\n    | \"entity.supersede_requires_entity_lifecycle\";\n  suggestion: string;\n  status?: number;\n  code?: string;\n  details?: unknown;\n};\n\nconst FORBIDDEN_GENERIC_BELIEF_METADATA_KEYS = new Set([\n  \"beliefStatus\",\n  \"epistemicStatus\",\n  \"forkedBy\",\n  \"forkedFrom\",\n  \"forkReason\",\n  \"forkTimestamp\",\n  \"status\",\n  \"supersededBy\",\n  \"supersedes\",\n]);\n\nconst ONTOLOGICAL_NODE_TYPES = new Set([\n  \"company\",\n  \"person\",\n  \"investor\",\n  \"function\",\n  \"value_chain\",\n]);\n\nfunction throwInvariantError(args: InvariantArgs): never {\n  const error = new Error(args.message) as StructuredInvariantError;\n  error.status = args.status ?? 409;\n  error.code = args.code ?? \"INVARIANT_VIOLATION\";\n  error.invariantCode = args.invariantCode;\n  error.suggestion = args.suggestion;\n  error.details = args.details;\n  throw error;\n}\n\nexport function isBeliefNode(node: BeliefNodeLike | null | undefined): boolean {\n  return node?.nodeType === \"belief\";\n}\n\nexport function isOntologicalNode(\n  node: BeliefNodeLike | null | undefined\n): boolean {\n  return (\n    typeof node?.nodeType === \"string\" && ONTOLOGICAL_NODE_TYPES.has(node.nodeType)\n  );\n}\n\nexport function isScoredBeliefNode(node: BeliefNodeLike): boolean {\n  if (!isBeliefNode(node)) {\n    return false;\n  }\n\n  const metadata =\n    node.metadata && typeof node.metadata === \"object\"\n      ? (node.metadata as Record<string, unknown>)\n      : undefined;\n\n  const numericConfidence =\n    typeof node.confidence === \"number\" && Number.isFinite(node.confidence);\n  if (numericConfidence) {\n    return true;\n  }\n\n  return (\n    hasResolvedPredictionOutcome(node.predictionMeta) ||\n    hasResolvedPredictionOutcome(metadata?.predictionMeta)\n  );\n}\n\nfunction getForbiddenMetadataKeys(metadata: unknown): string[] {\n  if (!metadata || typeof metadata !== \"object\" || Array.isArray(metadata)) {\n    return [];\n  }\n\n  return Object.keys(metadata).filter((key) =>\n    FORBIDDEN_GENERIC_BELIEF_METADATA_KEYS.has(key)\n  );\n}\n\nexport function assertBeliefNodeGenericUpdateAllowed(args: {\n  node: BeliefNodeLike;\n  updates: Record<string, unknown>;\n  mutationName: string;\n}): void {\n  if (!isBeliefNode(args.node)) {\n    return;\n  }\n\n  if (Object.hasOwn(args.updates, \"confidence\")) {\n    throwInvariantError({\n      message:\n        \"Belief confidence is append-only. Generic node updates cannot set confidence directly.\",\n      invariantCode: \"belief.confidence_append_only\",\n      suggestion:\n        \"Use epistemicBeliefs.modulateConfidence() so the beliefConfidence ledger and audit trail are updated together.\",\n      details: { mutationName: args.mutationName, nodeId: args.node._id },\n    });\n  }\n\n  if (Object.hasOwn(args.updates, \"status\")) {\n    throwInvariantError({\n      message:\n        \"Belief status transitions must use the dedicated belief lifecycle APIs.\",\n      invariantCode: \"belief.status_transition_requires_belief_api\",\n      suggestion:\n        \"Use epistemicBeliefs.updateStatus() or epistemicBeliefs.archive() so status transitions emit the correct audit event.\",\n      details: { mutationName: args.mutationName, nodeId: args.node._id },\n    });\n  }\n\n  const forbiddenMetadataKeys = getForbiddenMetadataKeys(args.updates.metadata);\n  if (forbiddenMetadataKeys.length > 0) {\n    throwInvariantError({\n      message:\n        \"Belief lineage and lifecycle metadata cannot be rewritten through generic node updates.\",\n      invariantCode: \"belief.lineage_requires_fork_belief\",\n      suggestion:\n        \"Use epistemicBeliefs.forkBelief() for lineage changes and dedicated belief lifecycle mutations for status changes.\",\n      details: {\n        mutationName: args.mutationName,\n        nodeId: args.node._id,\n        forbiddenMetadataKeys,\n      },\n    });\n  }\n\n  if (\n    isScoredBeliefNode(args.node) &&\n    (Object.hasOwn(args.updates, \"canonicalText\") ||\n      Object.hasOwn(args.updates, \"contentHash\"))\n  ) {\n    throwInvariantError({\n      message:\n        \"Cannot refine a scored belief in place. Scored formulations are immutable.\",\n      invariantCode: \"belief.formulation_immutable_after_scoring\",\n      suggestion:\n        \"Use epistemicBeliefs.forkBelief() to evolve the formulation while preserving lineage.\",\n      details: { mutationName: args.mutationName, nodeId: args.node._id },\n    });\n  }\n}\n\nexport function assertBeliefNodeArchiveAllowed(args: {\n  node: BeliefNodeLike;\n  mutationName: string;\n}): void {\n  if (!isBeliefNode(args.node)) {\n    return;\n  }\n\n  throwInvariantError({\n    message:\n      \"Belief archiving must go through the dedicated belief lifecycle API.\",\n    invariantCode: \"belief.status_transition_requires_belief_api\",\n    suggestion:\n      \"Use epistemicBeliefs.archive() so the belief lifecycle audit trail stays consistent.\",\n    details: { mutationName: args.mutationName, nodeId: args.node._id },\n  });\n}\n\nexport function assertBeliefNodeVerifyAllowed(args: {\n  node: BeliefNodeLike;\n  confidence: number | undefined;\n  mutationName: string;\n}): void {\n  if (!isBeliefNode(args.node) || args.confidence === undefined) {\n    return;\n  }\n\n  throwInvariantError({\n    message:\n      \"Belief verification cannot set confidence directly. Confidence changes must stay append-only.\",\n    invariantCode: \"belief.confidence_append_only\",\n    suggestion:\n      \"Call epistemicBeliefs.modulateConfidence() after verification so the confidence history is preserved.\",\n    details: { mutationName: args.mutationName, nodeId: args.node._id },\n  });\n}\n\nexport function assertBeliefNodeSupersedeAllowed(args: {\n  node: BeliefNodeLike;\n  mutationName: string;\n}): void {\n  if (!isBeliefNode(args.node)) {\n    return;\n  }\n\n  throwInvariantError({\n    message:\n      \"Belief lineage changes must use forkBelief(), not the generic supersede path.\",\n    invariantCode: \"belief.lineage_requires_fork_belief\",\n    suggestion:\n      \"Use epistemicBeliefs.forkBelief() so the child belief, supersedes edge, and audit trail are created together.\",\n    details: { mutationName: args.mutationName, nodeId: args.node._id },\n  });\n}\n\nexport function assertBeliefNodeHardDeleteAllowed(args: {\n  node: BeliefNodeLike;\n  allowBeliefHardDelete: boolean;\n  reason: string;\n  mutationName: string;\n}): void {\n  if (!isBeliefNode(args.node)) {\n    return;\n  }\n\n  if (!args.allowBeliefHardDelete) {\n    throwInvariantError({\n      message:\n        \"Belief hard delete is forbidden by default. Beliefs must retain lineage and audit history.\",\n      invariantCode: \"belief.hard_delete_forbidden\",\n      suggestion:\n        \"Use epistemicBeliefs.archive() or epistemicBeliefs.forkBelief() instead. Only migration repair flows may opt into hard delete explicitly.\",\n      details: { mutationName: args.mutationName, nodeId: args.node._id },\n    });\n  }\n\n  if (!args.reason.trim().toLowerCase().startsWith(\"migration:\")) {\n    throwInvariantError({\n      message:\n        \"Belief hard delete bypasses require a migration-scoped rationale.\",\n      invariantCode: \"belief.hard_delete_forbidden\",\n      suggestion:\n        'Retry with allowBeliefHardDelete: true and a reason starting with \"migration:\" only for one-off data repair flows.',\n      details: {\n        mutationName: args.mutationName,\n        nodeId: args.node._id,\n        reason: args.reason,\n      },\n    });\n  }\n}\n\nexport function assertOntologicalNodeGenericCreateAllowed(args: {\n  nodeType: string;\n  mutationName: string;\n}): void {\n  if (!ONTOLOGICAL_NODE_TYPES.has(args.nodeType)) {\n    return;\n  }\n\n  throwInvariantError({\n    message:\n      \"Ontological entities must be created through the dedicated entity lifecycle API.\",\n    invariantCode: \"entity.create_requires_entity_lifecycle\",\n    suggestion:\n      \"Use entityLifecycle.createEntity() so tenant-global canonical scope and deduplication are enforced.\",\n    details: {\n      mutationName: args.mutationName,\n      nodeType: args.nodeType,\n    },\n  });\n}\n\nexport function assertOntologicalNodeGenericUpdateAllowed(args: {\n  node: BeliefNodeLike;\n  mutationName: string;\n}): void {\n  if (!isOntologicalNode(args.node)) {\n    return;\n  }\n\n  throwInvariantError({\n    message:\n      \"Ontological entities must be updated through the dedicated entity lifecycle API.\",\n    invariantCode: \"entity.update_requires_entity_lifecycle\",\n    suggestion:\n      \"Use entityLifecycle.updateEntityAttributes() so canonical entity mutations stay type-safe and audited.\",\n    details: {\n      mutationName: args.mutationName,\n      nodeId: args.node._id,\n      nodeType: args.node.nodeType,\n    },\n  });\n}\n\nexport function assertOntologicalNodeArchiveAllowed(args: {\n  node: BeliefNodeLike;\n  mutationName: string;\n}): void {\n  if (!isOntologicalNode(args.node)) {\n    return;\n  }\n\n  throwInvariantError({\n    message:\n      \"Ontological entities must be archived through the dedicated entity lifecycle API.\",\n    invariantCode: \"entity.archive_requires_entity_lifecycle\",\n    suggestion:\n      \"Use entityLifecycle.archiveEntity() so entity archival emits the correct audit trail and review hooks.\",\n    details: {\n      mutationName: args.mutationName,\n      nodeId: args.node._id,\n      nodeType: args.node.nodeType,\n    },\n  });\n}\n\nexport function assertOntologicalNodeSupersedeAllowed(args: {\n  node: BeliefNodeLike;\n  mutationName: string;\n}): void {\n  if (!isOntologicalNode(args.node)) {\n    return;\n  }\n\n  throwInvariantError({\n    message:\n      \"Ontological entities do not use the generic supersede path.\",\n    invariantCode: \"entity.supersede_requires_entity_lifecycle\",\n    suggestion:\n      \"Use entityLifecycle.updateEntityAttributes() to edit an entity in place or entityLifecycle.mergeEntities() to collapse duplicates.\",\n    details: {\n      mutationName: args.mutationName,\n      nodeId: args.node._id,\n      nodeType: args.node.nodeType,\n    },\n  });\n}\n"]}

package/dist/logicalRoleInference-CJxqWi3u.d.ts

@@ -0,0 +1,16 @@
+import { QueryCtx, MutationCtx, Id } from './convex.js';
+
+/**
+ * logicalRoleInference module implementation.
+ */
+
+type LogicalRole = "necessary" | "sufficient" | "necessary_sufficient" | "contributory" | "corroborative";
+type GraphCtx = QueryCtx | MutationCtx;
+declare function computeLogicalRole(ctx: GraphCtx, evidenceId: Id<"epistemicNodes">, beliefId: Id<"epistemicNodes">): Promise<LogicalRole>;
+
+declare const logicalRoleInference_computeLogicalRole: typeof computeLogicalRole;
+declare namespace logicalRoleInference {
+  export { logicalRoleInference_computeLogicalRole as computeLogicalRole };
+}
+
+export { computeLogicalRole as c, logicalRoleInference as l };

package/dist/logicalRoleInference.d.ts

@@ -0,0 +1,3 @@
+import './convex.js';
+export { c as computeLogicalRole } from './logicalRoleInference-CJxqWi3u.js';
+import 'convex/values';

package/dist/logicalRoleInference.js

@@ -0,0 +1,64 @@
+// src/logicalRoleInference.ts
+var PILLAR_IMPORTANCE = {
+  market: 1,
+  competition: 2,
+  product: 3,
+  team: 4,
+  financials: 5,
+  timing: 6,
+  other: 10
+};
+async function computeLogicalRole(ctx, evidenceId, beliefId) {
+  const belief = await ctx.db.get(beliefId);
+  if (!belief || belief.nodeType !== "belief") {
+    return "contributory";
+  }
+  const beliefMetadata = belief.metadata;
+  const pillar = beliefMetadata?.pillar || "other";
+  const pillarRank = PILLAR_IMPORTANCE[pillar] ?? 10;
+  const isSynthesized = await checkIfSynthesizedHypothesis(ctx, beliefId);
+  const testingQuestions = await getTestingQuestionsForBelief(ctx, beliefId);
+  const answeredQuestions = await getQuestionsAnsweredByEvidence(
+    ctx,
+    evidenceId
+  );
+  const directlyTests = testingQuestions.filter(
+    (questionId) => answeredQuestions.includes(questionId)
+  );
+  if (directlyTests.length === 0) {
+    return "contributory";
+  }
+  if (isSynthesized && pillarRank <= 2) {
+    return directlyTests.length > 1 ? "necessary_sufficient" : "necessary";
+  }
+  if (isSynthesized) {
+    return "necessary";
+  }
+  return directlyTests.length > 1 ? "necessary" : "contributory";
+}
+async function checkIfSynthesizedHypothesis(ctx, beliefId) {
+  const belief = await ctx.db.get(beliefId);
+  if (!belief) {
+    return false;
+  }
+  const metadata = belief.metadata;
+  return metadata?.isSynthesized === true || metadata?.beliefStatus === "hypothesis";
+}
+async function getTestingQuestionsForBelief(ctx, beliefId) {
+  const testEdges = await ctx.db.query("epistemicEdges").withIndex(
+    "by_to_type",
+    (q) => q.eq("toNodeId", beliefId).eq("edgeType", "tests")
+  ).collect();
+  return testEdges.map((edge) => edge.fromNodeId).filter((id) => id !== void 0);
+}
+async function getQuestionsAnsweredByEvidence(ctx, evidenceId) {
+  const answerEdges = await ctx.db.query("epistemicEdges").withIndex(
+    "by_from_type",
+    (q) => q.eq("fromNodeId", evidenceId).eq("edgeType", "derived_from")
+  ).collect();
+  return answerEdges.map((edge) => edge.toNodeId).filter((id) => id !== void 0);
+}
+
+export { computeLogicalRole };
+//# sourceMappingURL=logicalRoleInference.js.map
+//# sourceMappingURL=logicalRoleInference.js.map

package/dist/logicalRoleInference.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/logicalRoleInference.ts"],"names":[],"mappings":";AAaA,IAAM,iBAAA,GAA4C;AAAA,EAChD,MAAA,EAAQ,CAAA;AAAA,EACR,WAAA,EAAa,CAAA;AAAA,EACb,OAAA,EAAS,CAAA;AAAA,EACT,IAAA,EAAM,CAAA;AAAA,EACN,UAAA,EAAY,CAAA;AAAA,EACZ,MAAA,EAAQ,CAAA;AAAA,EACR,KAAA,EAAO;AACT,CAAA;AAIA,eAAsB,kBAAA,CACpB,GAAA,EACA,UAAA,EACA,QAAA,EACsB;AACtB,EAAA,MAAM,MAAA,GAAS,MAAM,GAAA,CAAI,EAAA,CAAG,IAAI,QAAQ,CAAA;AACxC,EAAA,IAAI,CAAC,MAAA,IAAU,MAAA,CAAO,QAAA,KAAa,QAAA,EAAU;AAC3C,IAAA,OAAO,cAAA;AAAA,EACT;AAEA,EAAA,MAAM,iBAAiB,MAAA,CAAO,QAAA;AAC9B,EAAA,MAAM,MAAA,GAAU,gBAAgB,MAAA,IAAqB,OAAA;AACrD,EAAA,MAAM,UAAA,GAAa,iBAAA,CAAkB,MAAM,CAAA,IAAK,EAAA;AAEhD,EAAA,MAAM,aAAA,GAAgB,MAAM,4BAAA,CAA6B,GAAA,EAAK,QAAQ,CAAA;AACtE,EAAA,MAAM,gBAAA,GAAmB,MAAM,4BAAA,CAA6B,GAAA,EAAK,QAAQ,CAAA;AACzE,EAAA,MAAM,oBAAoB,MAAM,8BAAA;AAAA,IAC9B,GAAA;AAAA,IACA;AAAA,GACF;AACA,EAAA,MAAM,gBAAgB,gBAAA,CAAiB,MAAA;AAAA,IAAO,CAAC,UAAA,KAC7C,iBAAA,CAAkB,QAAA,CAAS,UAAU;AAAA,GACvC;AAEA,EAAA,IAAI,aAAA,CAAc,WAAW,CAAA,EAAG;AAC9B,IAAA,OAAO,cAAA;AAAA,EACT;AAEA,EAAA,IAAI,aAAA,IAAiB,cAAc,CAAA,EAAG;AACpC,IAAA,OAAO,aAAA,CAAc,MAAA,GAAS,CAAA,GAAI,sBAAA,GAAyB,WAAA;AAAA,EAC7D;AAEA,EAAA,IAAI,aAAA,EAAe;AACjB,IAAA,OAAO,WAAA;AAAA,EACT;AAEA,EAAA,OAAO,aAAA,CAAc,MAAA,GAAS,CAAA,GAAI,WAAA,GAAc,cAAA;AAClD;AAEA,eAAe,4BAAA,CACb,KACA,QAAA,EACkB;AAClB,EAAA,MAAM,MAAA,GAAS,MAAM,GAAA,CAAI,EAAA,CAAG,IAAI,QAAQ,CAAA;AACxC,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,MAAM,WAAW,MAAA,CAAO,QAAA;AACxB,EAAA,OACE,QAAA,EAAU,aAAA,KAAkB,IAAA,IAC5B,QAAA,EAAU,YAAA,KAAiB,YAAA;AAE/B;AAEA,eAAe,4BAAA,CACb,KACA,QAAA,EACmB;AACnB,EAAA,MAAM,YAAY,MAAM,GAAA,CAAI,EAAA,CACzB,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA;AAAA,IAAU,YAAA;AAAA,IAAc,CAAC,MACxB,CAAA,CAAE,EAAA,CAAG,YAAY,QAAQ,CAAA,CAAE,EAAA,CAAG,UAAA,EAAY,OAAO;AAAA,IAElD,OAAA,EAAQ;AAEX,EAAA,OAAO,SAAA,CACJ,GAAA,CAAI,CAAC,IAAA,KAAS,IAAA,CAAK,UAAoB,CAAA,CACvC,MAAA,CAAO,CAAC,EAAA,KAAqB,EAAA,KAAO,MAAS,CAAA;AAClD;AAEA,eAAe,8BAAA,CACb,KACA,UAAA,EACmB;AACnB,EAAA,MAAM,cAAc,MAAM,GAAA,CAAI,EAAA,CAC3B,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA;AAAA,IAAU,cAAA;AAAA,IAAgB,CAAC,MAC1B,CAAA,CAAE,EAAA,CAAG,cAAc,UAAU,CAAA,CAAE,EAAA,CAAG,UAAA,EAAY,cAAc;AAAA,IAE7D,OAAA,EAAQ;AAEX,EAAA,OAAO,WAAA,CACJ,GAAA,CAAI,CAAC,IAAA,KAAS,IAAA,CAAK,QAAkB,CAAA,CACrC,MAAA,CAAO,CAAC,EAAA,KAAqB,EAAA,KAAO,MAAS,CAAA;AAClD","file":"logicalRoleInference.js","sourcesContent":["/**\n * logicalRoleInference module implementation.\n */\n\nimport type { Id, MutationCtx, QueryCtx } from \"./convex\";\n\ntype LogicalRole =\n  | \"necessary\"\n  | \"sufficient\"\n  | \"necessary_sufficient\"\n  | \"contributory\"\n  | \"corroborative\";\n\nconst PILLAR_IMPORTANCE: Record<string, number> = {\n  market: 1,\n  competition: 2,\n  product: 3,\n  team: 4,\n  financials: 5,\n  timing: 6,\n  other: 10,\n};\n\ntype GraphCtx = QueryCtx | MutationCtx;\n\nexport async function computeLogicalRole(\n  ctx: GraphCtx,\n  evidenceId: Id<\"epistemicNodes\">,\n  beliefId: Id<\"epistemicNodes\">\n): Promise<LogicalRole> {\n  const belief = await ctx.db.get(beliefId);\n  if (!belief || belief.nodeType !== \"belief\") {\n    return \"contributory\";\n  }\n\n  const beliefMetadata = belief.metadata as Record<string, unknown> | undefined;\n  const pillar = (beliefMetadata?.pillar as string) || \"other\";\n  const pillarRank = PILLAR_IMPORTANCE[pillar] ?? 10;\n\n  const isSynthesized = await checkIfSynthesizedHypothesis(ctx, beliefId);\n  const testingQuestions = await getTestingQuestionsForBelief(ctx, beliefId);\n  const answeredQuestions = await getQuestionsAnsweredByEvidence(\n    ctx,\n    evidenceId\n  );\n  const directlyTests = testingQuestions.filter((questionId) =>\n    answeredQuestions.includes(questionId)\n  );\n\n  if (directlyTests.length === 0) {\n    return \"contributory\";\n  }\n\n  if (isSynthesized && pillarRank <= 2) {\n    return directlyTests.length > 1 ? \"necessary_sufficient\" : \"necessary\";\n  }\n\n  if (isSynthesized) {\n    return \"necessary\";\n  }\n\n  return directlyTests.length > 1 ? \"necessary\" : \"contributory\";\n}\n\nasync function checkIfSynthesizedHypothesis(\n  ctx: GraphCtx,\n  beliefId: Id<\"epistemicNodes\">\n): Promise<boolean> {\n  const belief = await ctx.db.get(beliefId);\n  if (!belief) {\n    return false;\n  }\n\n  const metadata = belief.metadata as Record<string, unknown> | undefined;\n  return (\n    metadata?.isSynthesized === true ||\n    metadata?.beliefStatus === \"hypothesis\"\n  );\n}\n\nasync function getTestingQuestionsForBelief(\n  ctx: GraphCtx,\n  beliefId: Id<\"epistemicNodes\">\n): Promise<string[]> {\n  const testEdges = await ctx.db\n    .query(\"epistemicEdges\")\n    .withIndex(\"by_to_type\", (q) =>\n      q.eq(\"toNodeId\", beliefId).eq(\"edgeType\", \"tests\")\n    )\n    .collect();\n\n  return testEdges\n    .map((edge) => edge.fromNodeId as string)\n    .filter((id): id is string => id !== undefined);\n}\n\nasync function getQuestionsAnsweredByEvidence(\n  ctx: GraphCtx,\n  evidenceId: Id<\"epistemicNodes\">\n): Promise<string[]> {\n  const answerEdges = await ctx.db\n    .query(\"epistemicEdges\")\n    .withIndex(\"by_from_type\", (q) =>\n      q.eq(\"fromNodeId\", evidenceId).eq(\"edgeType\", \"derived_from\")\n    )\n    .collect();\n\n  return answerEdges\n    .map((edge) => edge.toNodeId as string)\n    .filter((id): id is string => id !== undefined);\n}\n"]}

package/dist/matcherFeedbackUtils.d.ts

@@ -0,0 +1,33 @@
+/** Matcher feedback helper types shared by graph-primitive review flows. */
+type LinkSuggestionStatus = "suggested" | "approved" | "dismissed";
+type MatcherReviewStatus = "pending" | "accepted" | "rejected" | "auto_accepted" | "superseded";
+type MatcherFeedbackSummaryRow = {
+    matcherKey?: string | null;
+    reviewStatus: MatcherReviewStatus;
+    rewardScore?: number | null;
+    surface?: string | null;
+};
+declare function isOperationalLinkStatus(status?: LinkSuggestionStatus | null): boolean;
+declare function mergeLinkSuggestionStatus(existing?: LinkSuggestionStatus | null, requested?: LinkSuggestionStatus | null): LinkSuggestionStatus | undefined;
+declare function resolveReviewedLinkStatus(requested: "approved" | "dismissed"): LinkSuggestionStatus;
+declare function deriveMatcherReviewStatus(input: {
+    explicitReviewStatus?: MatcherReviewStatus | null;
+    linkStatus?: LinkSuggestionStatus | null;
+    autoAccepted?: boolean;
+}): MatcherReviewStatus;
+declare function deriveMatcherRewardScore(reviewStatus: MatcherReviewStatus): number;
+declare function summarizeMatcherFeedback(rows: MatcherFeedbackSummaryRow[]): {
+    decided: number;
+    acceptanceRate: number;
+    averageReward: number;
+    uniqueSurfaces: number;
+    uniqueMatchers: number;
+    total: number;
+    pending: number;
+    accepted: number;
+    autoAccepted: number;
+    rejected: number;
+    superseded: number;
+};
+
+export { type LinkSuggestionStatus, type MatcherReviewStatus, deriveMatcherReviewStatus, deriveMatcherRewardScore, isOperationalLinkStatus, mergeLinkSuggestionStatus, resolveReviewedLinkStatus, summarizeMatcherFeedback };

package/dist/matcherFeedbackUtils.js

@@ -0,0 +1,95 @@
+// src/matcherFeedbackUtils.ts
+function isOperationalLinkStatus(status) {
+  return status !== "suggested" && status !== "dismissed";
+}
+function mergeLinkSuggestionStatus(existing, requested) {
+  if (requested === void 0 || requested === null) {
+    return existing ?? void 0;
+  }
+  if (existing && isOperationalLinkStatus(existing) && !isOperationalLinkStatus(requested)) {
+    return existing;
+  }
+  return requested;
+}
+function resolveReviewedLinkStatus(requested) {
+  return requested;
+}
+function deriveMatcherReviewStatus(input) {
+  if (input.explicitReviewStatus) {
+    return input.explicitReviewStatus;
+  }
+  if (input.autoAccepted) {
+    return "auto_accepted";
+  }
+  if (input.linkStatus === "suggested") {
+    return "pending";
+  }
+  if (input.linkStatus === "dismissed") {
+    return "rejected";
+  }
+  return "accepted";
+}
+function deriveMatcherRewardScore(reviewStatus) {
+  switch (reviewStatus) {
+    case "accepted":
+    case "auto_accepted":
+      return 1;
+    case "rejected":
+      return -1;
+    default:
+      return 0;
+  }
+}
+function summarizeMatcherFeedback(rows) {
+  const totals = {
+    total: rows.length,
+    pending: 0,
+    accepted: 0,
+    autoAccepted: 0,
+    rejected: 0,
+    superseded: 0
+  };
+  const surfaces = /* @__PURE__ */ new Set();
+  const matcherKeys = /* @__PURE__ */ new Set();
+  let rewardSum = 0;
+  for (const row of rows) {
+    if (row.surface) {
+      surfaces.add(row.surface);
+    }
+    if (row.matcherKey) {
+      matcherKeys.add(row.matcherKey);
+    }
+    switch (row.reviewStatus) {
+      case "pending":
+        totals.pending += 1;
+        break;
+      case "accepted":
+        totals.accepted += 1;
+        break;
+      case "auto_accepted":
+        totals.autoAccepted += 1;
+        break;
+      case "rejected":
+        totals.rejected += 1;
+        break;
+      case "superseded":
+        totals.superseded += 1;
+        break;
+    }
+    rewardSum += row.rewardScore ?? deriveMatcherRewardScore(row.reviewStatus);
+  }
+  const decided = totals.accepted + totals.autoAccepted + totals.rejected;
+  const positive = totals.accepted + totals.autoAccepted;
+  return {
+    ...totals,
+    decided,
+    acceptanceRate: decided > 0 ? positive / decided : 0,
+    averageReward: rows.length > 0 ? rewardSum / rows.length : 0,
+    uniqueSurfaces: surfaces.size,
+    uniqueMatchers: matcherKeys.size
+  };
+}
+
+export { deriveMatcherReviewStatus, deriveMatcherRewardScore, isOperationalLinkStatus, mergeLinkSuggestionStatus, resolveReviewedLinkStatus, summarizeMatcherFeedback };
+//# sourceMappingURL=matcherFeedbackUtils.js.map
+//# sourceMappingURL=matcherFeedbackUtils.js.map

package/dist/matcherFeedbackUtils.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/matcherFeedbackUtils.ts"],"names":[],"mappings":";AAiBO,SAAS,wBACd,MAAA,EACS;AACT,EAAA,OAAO,MAAA,KAAW,eAAe,MAAA,KAAW,WAAA;AAC9C;AAEO,SAAS,yBAAA,CACd,UACA,SAAA,EACkC;AAClC,EAAA,IAAI,SAAA,KAAc,MAAA,IAAa,SAAA,KAAc,IAAA,EAAM;AACjD,IAAA,OAAO,QAAA,IAAY,MAAA;AAAA,EACrB;AAEA,EAAA,IACE,YACA,uBAAA,CAAwB,QAAQ,KAChC,CAAC,uBAAA,CAAwB,SAAS,CAAA,EAClC;AACA,IAAA,OAAO,QAAA;AAAA,EACT;AAEA,EAAA,OAAO,SAAA;AACT;AAEO,SAAS,0BACd,SAAA,EACsB;AACtB,EAAA,OAAO,SAAA;AACT;AAEO,SAAS,0BAA0B,KAAA,EAIlB;AACtB,EAAA,IAAI,MAAM,oBAAA,EAAsB;AAC9B,IAAA,OAAO,KAAA,CAAM,oBAAA;AAAA,EACf;AAEA,EAAA,IAAI,MAAM,YAAA,EAAc;AACtB,IAAA,OAAO,eAAA;AAAA,EACT;AAEA,EAAA,IAAI,KAAA,CAAM,eAAe,WAAA,EAAa;AACpC,IAAA,OAAO,SAAA;AAAA,EACT;AAEA,EAAA,IAAI,KAAA,CAAM,eAAe,WAAA,EAAa;AACpC,IAAA,OAAO,UAAA;AAAA,EACT;AAEA,EAAA,OAAO,UAAA;AACT;AAEO,SAAS,yBACd,YAAA,EACQ;AACR,EAAA,QAAQ,YAAA;AAAc,IACpB,KAAK,UAAA;AAAA,IACL,KAAK,eAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT,KAAK,UAAA;AACH,MAAA,OAAO,EAAA;AAAA,IACT;AACE,MAAA,OAAO,CAAA;AAAA;AAEb;AAEO,SAAS,yBAAyB,IAAA,EAAmC;AAC1E,EAAA,MAAM,MAAA,GAAS;AAAA,IACb,OAAO,IAAA,CAAK,MAAA;AAAA,IACZ,OAAA,EAAS,CAAA;AAAA,IACT,QAAA,EAAU,CAAA;AAAA,IACV,YAAA,EAAc,CAAA;AAAA,IACd,QAAA,EAAU,CAAA;AAAA,IACV,UAAA,EAAY;AAAA,GACd;AAEA,EAAA,MAAM,QAAA,uBAAe,GAAA,EAAY;AACjC,EAAA,MAAM,WAAA,uBAAkB,GAAA,EAAY;AACpC,EAAA,IAAI,SAAA,GAAY,CAAA;AAEhB,EAAA,KAAA,MAAW,OAAO,IAAA,EAAM;AACtB,IAAA,IAAI,IAAI,OAAA,EAAS;AACf,MAAA,QAAA,CAAS,GAAA,CAAI,IAAI,OAAO,CAAA;AAAA,IAC1B;AACA,IAAA,IAAI,IAAI,UAAA,EAAY;AAClB,MAAA,WAAA,CAAY,GAAA,CAAI,IAAI,UAAU,CAAA;AAAA,IAChC;AAEA,IAAA,QAAQ,IAAI,YAAA;AAAc,MACxB,KAAK,SAAA;AACH,QAAA,MAAA,CAAO,OAAA,IAAW,CAAA;AAClB,QAAA;AAAA,MACF,KAAK,UAAA;AACH,QAAA,MAAA,CAAO,QAAA,IAAY,CAAA;AACnB,QAAA;AAAA,MACF,KAAK,eAAA;AACH,QAAA,MAAA,CAAO,YAAA,IAAgB,CAAA;AACvB,QAAA;AAAA,MACF,KAAK,UAAA;AACH,QAAA,MAAA,CAAO,QAAA,IAAY,CAAA;AACnB,QAAA;AAAA,MACF,KAAK,YAAA;AACH,QAAA,MAAA,CAAO,UAAA,IAAc,CAAA;AACrB,QAAA;AAEA;AAGJ,IAAA,SAAA,IAAa,GAAA,CAAI,WAAA,IAAe,wBAAA,CAAyB,GAAA,CAAI,YAAY,CAAA;AAAA,EAC3E;AAEA,EAAA,MAAM,OAAA,GAAU,MAAA,CAAO,QAAA,GAAW,MAAA,CAAO,eAAe,MAAA,CAAO,QAAA;AAC/D,EAAA,MAAM,QAAA,GAAW,MAAA,CAAO,QAAA,GAAW,MAAA,CAAO,YAAA;AAE1C,EAAA,OAAO;AAAA,IACL,GAAG,MAAA;AAAA,IACH,OAAA;AAAA,IACA,cAAA,EAAgB,OAAA,GAAU,CAAA,GAAI,QAAA,GAAW,OAAA,GAAU,CAAA;AAAA,IACnD,eAAe,IAAA,CAAK,MAAA,GAAS,CAAA,GAAI,SAAA,GAAY,KAAK,MAAA,GAAS,CAAA;AAAA,IAC3D,gBAAgB,QAAA,CAAS,IAAA;AAAA,IACzB,gBAAgB,WAAA,CAAY;AAAA,GAC9B;AACF","file":"matcherFeedbackUtils.js","sourcesContent":["/** Matcher feedback helper types shared by graph-primitive review flows. */\nexport type LinkSuggestionStatus = \"suggested\" | \"approved\" | \"dismissed\";\n\nexport type MatcherReviewStatus =\n  | \"pending\"\n  | \"accepted\"\n  | \"rejected\"\n  | \"auto_accepted\"\n  | \"superseded\";\n\ntype MatcherFeedbackSummaryRow = {\n  matcherKey?: string | null;\n  reviewStatus: MatcherReviewStatus;\n  rewardScore?: number | null;\n  surface?: string | null;\n};\n\nexport function isOperationalLinkStatus(\n  status?: LinkSuggestionStatus | null\n): boolean {\n  return status !== \"suggested\" && status !== \"dismissed\";\n}\n\nexport function mergeLinkSuggestionStatus(\n  existing?: LinkSuggestionStatus | null,\n  requested?: LinkSuggestionStatus | null\n): LinkSuggestionStatus | undefined {\n  if (requested === undefined || requested === null) {\n    return existing ?? undefined;\n  }\n\n  if (\n    existing &&\n    isOperationalLinkStatus(existing) &&\n    !isOperationalLinkStatus(requested)\n  ) {\n    return existing;\n  }\n\n  return requested;\n}\n\nexport function resolveReviewedLinkStatus(\n  requested: \"approved\" | \"dismissed\"\n): LinkSuggestionStatus {\n  return requested;\n}\n\nexport function deriveMatcherReviewStatus(input: {\n  explicitReviewStatus?: MatcherReviewStatus | null;\n  linkStatus?: LinkSuggestionStatus | null;\n  autoAccepted?: boolean;\n}): MatcherReviewStatus {\n  if (input.explicitReviewStatus) {\n    return input.explicitReviewStatus;\n  }\n\n  if (input.autoAccepted) {\n    return \"auto_accepted\";\n  }\n\n  if (input.linkStatus === \"suggested\") {\n    return \"pending\";\n  }\n\n  if (input.linkStatus === \"dismissed\") {\n    return \"rejected\";\n  }\n\n  return \"accepted\";\n}\n\nexport function deriveMatcherRewardScore(\n  reviewStatus: MatcherReviewStatus\n): number {\n  switch (reviewStatus) {\n    case \"accepted\":\n    case \"auto_accepted\":\n      return 1;\n    case \"rejected\":\n      return -1;\n    default:\n      return 0;\n  }\n}\n\nexport function summarizeMatcherFeedback(rows: MatcherFeedbackSummaryRow[]) {\n  const totals = {\n    total: rows.length,\n    pending: 0,\n    accepted: 0,\n    autoAccepted: 0,\n    rejected: 0,\n    superseded: 0,\n  };\n\n  const surfaces = new Set<string>();\n  const matcherKeys = new Set<string>();\n  let rewardSum = 0;\n\n  for (const row of rows) {\n    if (row.surface) {\n      surfaces.add(row.surface);\n    }\n    if (row.matcherKey) {\n      matcherKeys.add(row.matcherKey);\n    }\n\n    switch (row.reviewStatus) {\n      case \"pending\":\n        totals.pending += 1;\n        break;\n      case \"accepted\":\n        totals.accepted += 1;\n        break;\n      case \"auto_accepted\":\n        totals.autoAccepted += 1;\n        break;\n      case \"rejected\":\n        totals.rejected += 1;\n        break;\n      case \"superseded\":\n        totals.superseded += 1;\n        break;\n      default:\n        break;\n    }\n\n    rewardSum += row.rewardScore ?? deriveMatcherRewardScore(row.reviewStatus);\n  }\n\n  const decided = totals.accepted + totals.autoAccepted + totals.rejected;\n  const positive = totals.accepted + totals.autoAccepted;\n\n  return {\n    ...totals,\n    decided,\n    acceptanceRate: decided > 0 ? positive / decided : 0,\n    averageReward: rows.length > 0 ? rewardSum / rows.length : 0,\n    uniqueSurfaces: surfaces.size,\n    uniqueMatchers: matcherKeys.size,\n  };\n}\n"]}

package/dist/ontology-matching-Buhu23ss.d.ts

@@ -0,0 +1,48 @@
+import { rankEntityConnections, rankEntityTypeMatches, scoreEntityConnection, scoreEntityTypeMatch } from '@lucern/contracts/v1/ontologies/v1';
+
+type OntologyEntityType = {
+    value: string;
+    label: string;
+    description?: string;
+    subtypes?: Array<{
+        value: string;
+        label: string;
+        description?: string;
+    }>;
+};
+type EntityTypeMatch = {
+    entityType: string;
+    label: string;
+    score: number;
+    reason: string;
+};
+type EntityMatchCandidate = {
+    nodeId: string;
+    entityType: string;
+    title: string;
+    canonicalText: string;
+    connectedBeliefCount: number;
+    connectedEvidenceCount: number;
+};
+type EntityConnectionMatch = {
+    entityNodeId: string;
+    entityType: string;
+    title: string;
+    score: number;
+    suggestedEdgeType: string;
+    reason: string;
+};
+
+type ontologyMatching_EntityConnectionMatch = EntityConnectionMatch;
+type ontologyMatching_EntityMatchCandidate = EntityMatchCandidate;
+type ontologyMatching_EntityTypeMatch = EntityTypeMatch;
+type ontologyMatching_OntologyEntityType = OntologyEntityType;
+declare const ontologyMatching_rankEntityConnections: typeof rankEntityConnections;
+declare const ontologyMatching_rankEntityTypeMatches: typeof rankEntityTypeMatches;
+declare const ontologyMatching_scoreEntityConnection: typeof scoreEntityConnection;
+declare const ontologyMatching_scoreEntityTypeMatch: typeof scoreEntityTypeMatch;
+declare namespace ontologyMatching {
+  export { type ontologyMatching_EntityConnectionMatch as EntityConnectionMatch, type ontologyMatching_EntityMatchCandidate as EntityMatchCandidate, type ontologyMatching_EntityTypeMatch as EntityTypeMatch, type ontologyMatching_OntologyEntityType as OntologyEntityType, ontologyMatching_rankEntityConnections as rankEntityConnections, ontologyMatching_rankEntityTypeMatches as rankEntityTypeMatches, ontologyMatching_scoreEntityConnection as scoreEntityConnection, ontologyMatching_scoreEntityTypeMatch as scoreEntityTypeMatch };
+}
+
+export { type EntityTypeMatch as E, type OntologyEntityType as O, type EntityMatchCandidate as a, type EntityConnectionMatch as b, ontologyMatching as o };

package/dist/ontology-matching.d.ts

@@ -0,0 +1,2 @@
+export { rankEntityConnections, rankEntityTypeMatches, scoreEntityConnection, scoreEntityTypeMatch } from '@lucern/contracts/v1/ontologies/v1';
+export { b as EntityConnectionMatch, a as EntityMatchCandidate, E as EntityTypeMatch, O as OntologyEntityType } from './ontology-matching-Buhu23ss.js';