@lucern/graph-primitives 1.0.28 → 1.0.30

package/dist/epistemicBeliefs.d.ts

@@ -1,14 +1,17 @@
-export { BeliefConfidenceTrigger, flattenBeliefNode, resolveBeliefWorktreeId } from './epistemicBeliefs.helpers.js';
+export { batchUpdateCriticality, deleteRelationship, getByCriticality, getByPillar, getByProjectSystem, getUnanalyzed, getWorktreeCluster, updateCriticality } from './epistemicBeliefs.admin.js';
+export { backfillBeliefSprintIds, backfillMandatoryPriors, backfillScoredBeliefEdges, backfillSyntheticOpinionHistory, backfillTwoAxisConfidence, getBeliefClusterPositions, getRecentConfidenceChanges, reassignBeliefsTopic } from './epistemicBeliefs.backfills.js';
 export { applyBeliefConfidenceChange, propagateConfidenceChange } from './epistemicBeliefs.confidence.js';
 export { create, forkBelief, getById, getByProject, getByTopic, refineBelief } from './epistemicBeliefs.core.js';
+export { BeliefConfidenceTrigger, flattenBeliefNode, resolveBeliefWorktreeId } from './epistemicBeliefs.helpers.js';
+export { internalCreate, internalGetActive, internalGetById, internalGetByProject, internalGetByTopic } from './epistemicBeliefs.internal.js';
 export { appendSlScoring, archive, updateRationale, updateStatus, updateStatusInternal } from './epistemicBeliefs.lifecycle.js';
-export { getByIds, getByWorktree, getConfidenceHistory, getLineage } from './epistemicBeliefs.queries.js';
 export { getCountByStatus, getRelationships, getWithEvidence, linkBeliefs, linkEvidence, unlinkEvidence, updatePillar } from './epistemicBeliefs.links.js';
-export { batchUpdateCriticality, deleteRelationship, getByCriticality, getByPillar, getByProjectSystem, getUnanalyzed, getWorktreeCluster, updateCriticality } from './epistemicBeliefs.admin.js';
-export { internalCreate, internalGetActive, internalGetById, internalGetByProject, internalGetByTopic } from './epistemicBeliefs.internal.js';
-export { backfillBeliefSprintIds, backfillMandatoryPriors, backfillScoredBeliefEdges, backfillSyntheticOpinionHistory, backfillTwoAxisConfidence, getBeliefClusterPositions, getRecentConfidenceChanges, reassignBeliefsTopic } from './epistemicBeliefs.backfills.js';
-import './topicScope-7zhyeGl7.js';
-import 'convex/values';
-import './convex.js';
+export { getByIds, getByWorktree, getConfidenceHistory, getLineage } from './epistemicBeliefs.queries.js';
 import '@lucern/confidence';
+import './convex.js';
+import '@lucern/access-control/convex';
+import '@lucern/contracts/convex/unsafeAnyApi';
+import 'convex/values';
+import './topicScope-DJVa0mLa.js';
 import './beliefLifecycle-CXwdDw5e.js';
+import '@lucern/access-control/structuredMutationError';

package/dist/epistemicBeliefs.forkEvidence.d.ts

@@ -1,4 +1,6 @@
 import { MutationCtx, Id, Doc } from './convex.js';
+import '@lucern/access-control/convex';
+import '@lucern/contracts/convex/unsafeAnyApi';
 import 'convex/values';
 
 /** Evidence-gated fork precondition helpers. */

package/dist/epistemicBeliefs.forkEvidence.js

@@ -1,34 +1,14 @@
-import { v, ConvexError } from 'convex/values';
-import { normalizeTupleContradictionPolicy } from '@lucern/confidence';
-import '@lucern/access-control/access';
 import '@lucern/access-control/audience';
 import '@lucern/access-control/auth';
+import { throwStructuredMutationError } from '@lucern/access-control/structuredMutationError';
+import { normalizeTupleContradictionPolicy } from '@lucern/confidence';
+import { v } from 'convex/values';
 
 // src/epistemicBeliefs.helpers.ts
 v.id("epistemicNodes");
 ({
   tupleContradiction: normalizeTupleContradictionPolicy()
 });
-function throwStructuredMutationError(args) {
-  const data = {
-    structuredMutationError: true,
-    message: args.message,
-    status: args.status,
-    code: args.code,
-    invariantCode: args.invariantCode,
-    suggestion: args.suggestion,
-    details: args.details
-  };
-  const error = new ConvexError(
-    data
-  );
-  error.status = args.status;
-  error.code = args.code;
-  error.invariantCode = args.invariantCode;
-  error.suggestion = args.suggestion;
-  error.details = args.details;
-  throw error;
-}
 
 // src/epistemicBeliefs.forkEvidence.ts
 function normalizeForkTriggerRelation(value) {
@@ -42,7 +22,7 @@ function normalizeForkTriggerRelation(value) {
 }
 async function resolveForkTriggerEvidence(ctx, args) {
   const evidence = await ctx.db.get(args.triggeringEvidenceId);
-  if (!evidence || evidence.nodeType !== "evidence") {
+  if (evidence?.nodeType !== "evidence") {
     throwStructuredMutationError({
       message: "Fork requires an existing evidence node.",
       status: 400,
@@ -81,16 +61,16 @@ async function resolveForkTriggerEvidence(ctx, args) {
     ].filter(Boolean)
   );
   let relation = null;
-  const linkedBeliefNodeId = String(
-    evidenceMetadata.linkedBeliefNodeId ?? ""
-  );
+  const linkedBeliefNodeId = String(evidenceMetadata.linkedBeliefNodeId ?? "");
   if (linkedBeliefNodeId && parentRefs.has(linkedBeliefNodeId)) {
     relation = normalizeForkTriggerRelation(evidenceMetadata.evidenceRelation);
   }
   if (!relation) {
     for (const parentRef of parentRefs) {
       const links = await ctx.db.query("beliefEvidenceLinks").withIndex("by_beliefId", (q) => q.eq("beliefId", parentRef)).collect();
-      const matched = links.find((link) => evidenceRefs.has(String(link.insightId)));
+      const matched = links.find(
+        (link) => evidenceRefs.has(String(link.insightId))
+      );
       if (matched) {
         relation = normalizeForkTriggerRelation(matched.relation);
         break;

package/dist/epistemicBeliefs.forkEvidence.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/epistemicBeliefs.helpers.ts","../src/epistemicBeliefs.forkEvidence.ts"],"names":[],"mappings":";;;;;;;AA4E8B,CAAA,CAAE,EAAA,CAAG,gBAAgB;CAiFO;AAAA,EAExD,oBAAoB,iCAAA;AACtB;AAmBO,SAAS,6BAA6B,IAAA,EAOnC;AAKR,EAAA,MAAM,IAAA,GAAoC;AAAA,IACxC,uBAAA,EAAyB,IAAA;AAAA,IACzB,SAAS,IAAA,CAAK,OAAA;AAAA,IACd,QAAQ,IAAA,CAAK,MAAA;AAAA,IACb,MAAM,IAAA,CAAK,IAAA;AAAA,IACX,eAAe,IAAA,CAAK,aAAA;AAAA,IACpB,YAAY,IAAA,CAAK,UAAA;AAAA,IACjB,SAAS,IAAA,CAAK;AAAA,GAChB;AACA,EAAA,MAAM,QAAQ,IAAI,WAAA;AAAA,IAChB;AAAA,GACF;AACA,EAAA,KAAA,CAAM,SAAS,IAAA,CAAK,MAAA;AACpB,EAAA,KAAA,CAAM,OAAO,IAAA,CAAK,IAAA;AAClB,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;;;ACzMA,SAAS,6BACP,KAAA,EAC4B;AAC5B,EAAA,IAAI,KAAA,KAAU,UAAA,IAAc,KAAA,KAAU,YAAA,EAAc;AAClD,IAAA,OAAO,UAAA;AAAA,EACT;AACA,EAAA,IAAI,KAAA,KAAU,aAAA,IAAiB,KAAA,KAAU,eAAA,EAAiB;AACxD,IAAA,OAAO,aAAA;AAAA,EACT;AACA,EAAA,OAAO,IAAA;AACT;AAEA,eAAsB,0BAAA,CACpB,KACA,IAAA,EAMkF;AAClF,EAAA,MAAM,WAAW,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,KAAK,oBAAoB,CAAA;AAC3D,EAAA,IAAI,CAAC,QAAA,IAAY,QAAA,CAAS,QAAA,KAAa,UAAA,EAAY;AACjD,IAAA,4BAAA,CAA6B;AAAA,MAC3B,OAAA,EAAS,0CAAA;AAAA,MACT,MAAA,EAAQ,GAAA;AAAA,MACR,IAAA,EAAM,kBAAA;AAAA,MACN,aAAA,EAAe,+BAAA;AAAA,MACf,UAAA,EACE,qEAAA;AAAA,MACF,OAAA,EAAS,EAAE,oBAAA,EAAsB,IAAA,CAAK,oBAAA;AAAqB,KAC5D,CAAA;AAAA,EACH;AACA,EAAA,IAAI,SAAS,OAAA,IAAW,QAAA,CAAS,OAAA,KAAY,IAAA,CAAK,OAAO,OAAA,EAAS;AAChE,IAAA,4BAAA,CAA6B;AAAA,MAC3B,OAAA,EAAS,mDAAA;AAAA,MACT,MAAA,EAAQ,GAAA;AAAA,MACR,IAAA,EAAM,kBAAA;AAAA,MACN,aAAA,EAAe,4BAAA;AAAA,MACf,UAAA,EAAY,wEAAA;AAAA,MACZ,OAAA,EAAS;AAAA,QACP,cAAc,IAAA,CAAK,YAAA;AAAA,QACnB,sBAAsB,IAAA,CAAK;AAAA;AAC7B,KACD,CAAA;AAAA,EACH;AAEA,EAAA,MAAM,gBAAA,GACJ,SAAS,QAAA,IAAY,OAAO,SAAS,QAAA,KAAa,QAAA,GAC7C,QAAA,CAAS,QAAA,GACV,EAAC;AACP,EAAA,MAAM,aAAa,IAAI,GAAA;AAAA,IACrB;AAAA,MACE,MAAA,CAAO,KAAK,YAAY,CAAA;AAAA,MACxB,MAAA,CAAO,IAAA,CAAK,MAAA,CAAO,QAAA,IAAY,EAAE,CAAA;AAAA,MACjC,MAAA,CAAO,IAAA,CAAK,MAAA,CAAO,GAAG;AAAA,KACxB,CAAE,OAAO,OAAO;AAAA,GAClB;AACA,EAAA,MAAM,eAAe,IAAI,GAAA;AAAA,IACvB;AAAA,MACE,MAAA,CAAO,KAAK,oBAAoB,CAAA;AAAA,MAChC,MAAA,CAAO,QAAA,CAAS,QAAA,IAAY,EAAE,CAAA;AAAA,MAC9B,MAAA,CAAO,SAAS,GAAG;AAAA,KACrB,CAAE,OAAO,OAAO;AAAA,GAClB;AAEA,EAAA,IAAI,QAAA,GAAuC,IAAA;AAC3C,EAAA,MAAM,kBAAA,GAAqB,MAAA;AAAA,IACzB,iBAAiB,kBAAA,IAAsB;AAAA,GACzC;AACA,EAAA,IAAI,kBAAA,IAAsB,UAAA,CAAW,GAAA,CAAI,kBAAkB,CAAA,EAAG;AAC5D,IAAA,QAAA,GAAW,4BAAA,CAA6B,iBAAiB,gBAAgB,CAAA;AAAA,EAC3E;AAEA,EAAA,IAAI,CAAC,QAAA,EAAU;AACb,IAAA,KAAA,MAAW,aAAa,UAAA,EAAY;AAClC,MAAA,MAAM,QAAQ,MAAM,GAAA,CAAI,EAAA,CACrB,KAAA,CAAM,qBAAqB,CAAA,CAC3B,SAAA,CAAU,aAAA,EAAe,CAAC,MAAM,CAAA,CAAE,EAAA,CAAG,YAAY,SAAS,CAAC,EAC3D,OAAA,EAAQ;AACX,MAAA,MAAM,OAAA,GAAU,KAAA,CAAM,IAAA,CAAK,CAAC,IAAA,KAAS,YAAA,CAAa,GAAA,CAAI,MAAA,CAAO,IAAA,CAAK,SAAS,CAAC,CAAC,CAAA;AAC7E,MAAA,IAAI,OAAA,EAAS;AACX,QAAA,QAAA,GAAW,4BAAA,CAA6B,QAAQ,QAAQ,CAAA;AACxD,QAAA;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAEA,EAAA,IAAI,CAAC,QAAA,EAAU;AACb,IAAA,4BAAA,CAA6B;AAAA,MAC3B,OAAA,EACE,8FAAA;AAAA,MACF,MAAA,EAAQ,GAAA;AAAA,MACR,IAAA,EAAM,UAAA;AAAA,MACN,aAAA,EAAe,wCAAA;AAAA,MACf,UAAA,EACE,qFAAA;AAAA,MACF,OAAA,EAAS;AAAA,QACP,cAAc,IAAA,CAAK,YAAA;AAAA,QACnB,sBAAsB,IAAA,CAAK;AAAA;AAC7B,KACD,CAAA;AAAA,EACH;AACA,EAAA,IAAI,IAAA,CAAK,QAAA,KAAa,WAAA,IAAe,QAAA,KAAa,aAAA,EAAe;AAC/D,IAAA,4BAAA,CAA6B;AAAA,MAC3B,OAAA,EACE,6EAAA;AAAA,MACF,MAAA,EAAQ,GAAA;AAAA,MACR,IAAA,EAAM,UAAA;AAAA,MACN,aAAA,EAAe,yCAAA;AAAA,MACf,UAAA,EACE,sGAAA;AAAA,MACF,OAAA,EAAS;AAAA,QACP,cAAc,IAAA,CAAK,YAAA;AAAA,QACnB,sBAAsB,IAAA,CAAK,oBAAA;AAAA,QAC3B;AAAA;AACF,KACD,CAAA;AAAA,EACH;AAEA,EAAA,OAAO,EAAE,cAAA,EAAgB,IAAA,CAAK,oBAAA,EAAsB,QAAA,EAAS;AAC/D","file":"epistemicBeliefs.forkEvidence.js","sourcesContent":["/**\n * Epistemic Beliefs API\n *\n * Clean API for managing beliefs in the epistemic spine (epistemicNodes).\n * This is the NEW API that replaces beliefs.ts.\n *\n * Key differences from beliefs.ts:\n * - Writes ONLY to epistemicNodes (no dual-write)\n * - Uses epistemicNodes IDs directly (no runtime ID translation fallback)\n * - Syncs to Neo4j after mutations\n * - Follows Lucern invariants strictly\n *\n * @see /docs/epistemic-invariants/00-epistemic-invariants.md\n */\n\nimport { v } from \"convex/values\";\nimport { ConvexError } from \"convex/values\";\nimport {\n  detectTupleContradiction,\n  evaluateTupleContradictionTransition,\n  confidenceFromSL,\n  mkOpinion,\n  normalizeTupleContradictionPolicy,\n  readOpinionFromRecord,\n  type ConfidencePolicyConfig,\n  type Opinion,\n  type SLOpinion,\n  type SLOperator,\n} from \"@lucern/confidence\";\nimport {\n  checkProjectAccess,\n  checkScopeAccess,\n} from \"@lucern/access-control/access\";\nimport {\n  canAudienceClassAccess,\n  classFromAudienceKey,\n  normalizeAudienceKey,\n} from \"@lucern/access-control/audience\";\nimport { listAudienceRegistryRows } from \"@lucern/access-control/audienceRegistry\";\nimport { getCurrentUserId } from \"@lucern/access-control/auth\";\nimport { assertSchemaEnumValue } from \"@lucern/contracts/schema-helpers/enumValidation\";\nimport { permissiveReturn } from \"@lucern/contracts/schema-helpers/validators\";\nimport {\n  type BeliefLifecycleStatus,\n  isPreValidationBeliefStatus,\n  promoteBeliefStatusAfterScoring,\n  resolveBeliefLifecycleStatus,\n} from \"./beliefLifecycle\";\nimport type { Doc, Id, MutationCtx, QueryCtx } from \"./convex\";\nimport {\n  internal,\n  internalMutation,\n  internalQuery,\n  mutation,\n  query,\n} from \"./convex\";\nimport { collectConfidencePropagationDispatches } from \"./confidencePropagationDispatch\";\nimport { debugGraphPrimitiveFallback } from \"./debug\";\nimport {\n  createInheritedContractRecord,\n  type VerificationConfidenceTrigger,\n} from \"./epistemicContractHelpers\";\nimport { scheduleEmbeddingGeneration } from \"./embeddingTrigger\";\nimport { generateGlobalId } from \"./globalId\";\nimport { computeLogicalRole } from \"./logicalRoleInference\";\nimport { resolveGraphPrimitivesAppResolvers } from \"./resolvers\";\nimport { optionalScopeArgs, resolveTopicProjectScope } from \"./topicScope\";\nimport {\n  assertTenantPackWorkspaceMutationAllowed,\n  assertWorkspaceScopedEpistemicNodeScope,\n  nodeMatchesWorkspaceReasoningScope,\n  resolveNodeScopeForWorkspaceIsolation,\n  resolveRuntimePackMutationContext,\n} from \"./workspaceIsolation\";\n\n// All IDs now use epistemicNodes exclusively\nexport const insightIdUnion = v.id(\"epistemicNodes\");\nconst DEFAULT_PROJECT_BELIEF_LIMIT = 250;\nexport const MAX_PROJECT_BELIEF_LIMIT = 1000;\nexport const optionalBeliefScopeArgs = optionalScopeArgs;\n\ntype StructuredMutationError = Error & {\n  status: number;\n  code: string;\n  invariantCode?: string;\n  suggestion?: string;\n  details?: unknown;\n};\n\n/**\n * Boundary-safe payload carried inside a {@link ConvexError}. Mirrors the kernel\n * copy in packages/reasoning-kernel/src/adapters/beliefs.shared.ts so structured\n * refusals from the graph-primitives module survive the Convex client boundary\n * (only `ConvexError.data` is preserved across serialization).\n */\nexport type StructuredMutationErrorData = {\n  structuredMutationError: true;\n  message: string;\n  status: number;\n  code: string;\n  invariantCode?: string;\n  suggestion?: string;\n  details?: unknown;\n};\n\ntype BeliefScopeArgs = {\n  projectId?: string | null;\n  topicId?: string | null;\n};\n\ntype EpistemicNodeOpinionDoc = Doc<\"epistemicNodes\"> & {\n  opinion_a?: number;\n  opinion_b?: number;\n  opinion_d?: number;\n  opinion_u?: number;\n  tupleContradicted?: boolean;\n  userId?: string;\n  metadata?: Record<string, unknown> | null;\n};\n\ntype EpistemicIndexQuery = {\n  eq(field: string, value: unknown): EpistemicIndexQuery;\n  gt(field: string, value: unknown): EpistemicIndexQuery;\n  lt(field: string, value: unknown): EpistemicIndexQuery;\n  field(field: string): string;\n};\n\ntype EpistemicQueryChain<T> = {\n  withIndex(\n    _name: string,\n    callback: (q: EpistemicIndexQuery) => EpistemicIndexQuery,\n  ): EpistemicQueryChain<T>;\n  order(direction: \"asc\" | \"desc\"): EpistemicQueryChain<T>;\n  filter(\n    callback: (q: EpistemicIndexQuery) => EpistemicIndexQuery,\n  ): EpistemicQueryChain<T>;\n  first(): Promise<T | null>;\n  collect(): Promise<T[]>;\n  take(limit: number): Promise<T[]>;\n};\n\ntype EpistemicBeliefCtx = QueryCtx & {\n  db: {\n    query<T = unknown>(_table: string): EpistemicQueryChain<T>;\n    get<T = unknown>(id: Id<string>): Promise<T | null>;\n  };\n  scheduler: {\n    runAfter(\n      _delayMs: number,\n      _handler: unknown,\n      _args: unknown,\n    ): Promise<unknown>;\n  };\n};\n\ntype AudienceClass = \"internal\" | \"restricted_external\" | \"public\";\n\nconst DEFAULT_CONFIDENCE_POLICY: ConfidencePolicyConfig = {\n  scoringMode: \"after_worktree\",\n  tupleContradiction: normalizeTupleContradictionPolicy(),\n};\n\nexport type BeliefConfidenceTrigger =\n  | \"initial\"\n  | \"evidence_added\"\n  | \"evidence_removed\"\n  | \"contradiction_detected\"\n  | \"contradiction_resolved\"\n  | \"propagation\"\n  | \"agent_assessment\"\n  | \"worktree_outcome\"\n  | \"worktree_completed\"\n  // SL-specific triggers\n  | \"fusion\"\n  | \"discount\"\n  | \"deduction\"\n  | \"backfill_synthetic\"\n  | VerificationConfidenceTrigger;\n\nexport function throwStructuredMutationError(args: {\n  message: string;\n  status: number;\n  code: string;\n  invariantCode?: string;\n  suggestion?: string;\n  details?: unknown;\n}): never {\n  // FR.7 (parity with kernel beliefs.shared.ts): throw a ConvexError carrying\n  // the structured payload in `.data` so the gateway can reconstruct the real\n  // HTTP status/code instead of collapsing the refusal into a retryable 500.\n  // The legacy `.status`/`.code` props are retained for in-process tests.\n  const data: StructuredMutationErrorData = {\n    structuredMutationError: true,\n    message: args.message,\n    status: args.status,\n    code: args.code,\n    invariantCode: args.invariantCode,\n    suggestion: args.suggestion,\n    details: args.details,\n  };\n  const error = new ConvexError(\n    data as unknown as string,\n  ) as unknown as ConvexError<string> & Partial<StructuredMutationError>;\n  error.status = args.status;\n  error.code = args.code;\n  error.invariantCode = args.invariantCode;\n  error.suggestion = args.suggestion;\n  error.details = args.details;\n  throw error;\n}\n\nexport function readFiniteNumber(value: unknown): number | undefined {\n  return typeof value === \"number\" && Number.isFinite(value)\n    ? value\n    : undefined;\n}\n\nfunction clamp01(value: number): number {\n  return Math.max(0, Math.min(1, value));\n}\n\nexport function assertBaseRateInRange(baseRate: number, field = \"baseRate\"): number {\n  if (baseRate < 0 || baseRate > 1) {\n    throwStructuredMutationError({\n      message: `${field} must be within [0, 1].`,\n      status: 400,\n      code: \"INVALID_ARGUMENT\",\n      invariantCode: \"request.valid_shape\",\n      suggestion: `Clamp ${field} into the inclusive [0, 1] interval.`,\n      details: { field, baseRate },\n    });\n  }\n  return baseRate;\n}\n\nexport function buildBeliefConfidenceRow(args: {\n  beliefId: Id<\"epistemicNodes\">;\n  belief: number;\n  disbelief: number;\n  uncertainty: number;\n  baseRate: number;\n  trigger: BeliefConfidenceTrigger;\n  rationale?: string;\n  assessedBy: string;\n  assessedAt: number;\n  slOperator?: SLOperator;\n  triggeringEvidenceId?: Id<\"epistemicNodes\">;\n  triggeringContradictionId?: Id<\"contradictions\">;\n  triggeringWorktreeId?: string;\n}) {\n  return {\n    beliefId: args.beliefId,\n    confidence: confidenceFromSL(\n      args.belief,\n      args.disbelief,\n      args.uncertainty,\n      args.baseRate,\n    ),\n    belief: args.belief,\n    disbelief: args.disbelief,\n    uncertainty: args.uncertainty,\n    baseRate: args.baseRate,\n    slOperator: args.slOperator ?? (\"prior_seed\" as const),\n    trigger: args.trigger,\n    ...(args.rationale ? { rationale: args.rationale } : {}),\n    assessedBy: args.assessedBy,\n    assessedAt: args.assessedAt,\n    ...(args.triggeringEvidenceId\n      ? {\n          triggeringEvidenceId: args.triggeringEvidenceId,\n          triggeringEvidenceIds: [String(args.triggeringEvidenceId)],\n        }\n      : {}),\n    ...(args.triggeringContradictionId\n      ? {\n          triggeringContradictionId: args.triggeringContradictionId,\n        }\n      : {}),\n    ...(args.triggeringWorktreeId\n      ? { triggeringWorktreeId: args.triggeringWorktreeId }\n      : {}),\n  };\n}\n\ntype BeliefStatusResult =\n  | { success: true }\n  | { success: false; message: \"Evidence node not found\" };\n\nexport function buildBeliefStatusSuccessResult(): BeliefStatusResult {\n  return { success: true };\n}\n\nexport function buildBeliefEvidenceNotFoundResult(): BeliefStatusResult {\n  const result = {} as Extract<BeliefStatusResult, { success: false }>;\n  result.success = false;\n  result.message = \"Evidence node not found\";\n  return result;\n}\n\nexport function deriveSyntheticBackfillOpinion(\n  source: Record<string, unknown>,\n): SLOpinion {\n  const belief =\n    readFiniteNumber(source.opinion_b) ?? readFiniteNumber(source.belief);\n  const disbelief =\n    readFiniteNumber(source.opinion_d) ?? readFiniteNumber(source.disbelief);\n  const uncertainty =\n    readFiniteNumber(source.opinion_u) ?? readFiniteNumber(source.uncertainty);\n  const baseRate =\n    readFiniteNumber(source.opinion_a) ?? readFiniteNumber(source.baseRate);\n\n  if (\n    belief !== undefined ||\n    disbelief !== undefined ||\n    uncertainty !== undefined ||\n    baseRate !== undefined\n  ) {\n    try {\n      return readOpinionFromRecord(source);\n    } catch (error) {\n      debugGraphPrimitiveFallback(\n        \"[epistemicBeliefs] Failed to decode legacy belief opinion\",\n        {\n          error,\n        },\n      );\n      return mkOpinion(0, 0, 1, 0.5);\n    }\n  }\n\n  const confidence = clamp01(readFiniteNumber(source.confidence) ?? 0);\n  return mkOpinion(confidence, 1 - confidence, 0, 0.5);\n}\n\nexport function clampBeliefLimit(\n  limit: number | undefined,\n  fallback = DEFAULT_PROJECT_BELIEF_LIMIT,\n): number {\n  if (!Number.isFinite(limit)) {\n    return fallback;\n  }\n  return Math.max(\n    1,\n    Math.min(Math.floor(limit as number), MAX_PROJECT_BELIEF_LIMIT),\n  );\n}\n\nexport function readTupleContradictedFlag(value: unknown): boolean | undefined {\n  return typeof value === \"boolean\" ? value : undefined;\n}\n\nexport function readBeliefOpinionSnapshot(\n  node: Doc<\"epistemicNodes\">,\n  metadata: Record<string, unknown>,\n): SLOpinion {\n  try {\n    return readOpinionFromRecord({\n      ...metadata,\n      opinion_b: (node as any).opinion_b,\n      opinion_d: (node as any).opinion_d,\n      opinion_u: (node as any).opinion_u,\n      opinion_a: (node as any).opinion_a,\n    });\n  } catch (error) {\n    debugGraphPrimitiveFallback(\n      \"[epistemicBeliefs] Failed to read belief opinion snapshot\",\n      {\n        error,\n        beliefId: node._id,\n      },\n    );\n    return mkOpinion(0, 0, 1, 0.5);\n  }\n}\n\nexport function deriveTupleContradictionSeverity(\n  node: Doc<\"epistemicNodes\">,\n): \"critical\" | \"significant\" | \"minor\" {\n  const metadata = (node.metadata || {}) as Record<string, unknown>;\n  const criticality =\n    typeof metadata.criticality === \"string\" ? metadata.criticality : undefined;\n\n  if (criticality === \"blocking\") {\n    return \"critical\";\n  }\n  if (criticality === \"supporting\") {\n    return \"minor\";\n  }\n  return \"significant\";\n}\n\nexport function formatTupleContradictionDescription(args: {\n  opinion: Opinion;\n  policy: ConfidencePolicyConfig[\"tupleContradiction\"];\n}): string {\n  return `Tuple-space contradiction detected: b=${args.opinion.b.toFixed(2)} > ${args.policy.beliefThreshold.toFixed(2)} and d=${args.opinion.d.toFixed(2)} > ${args.policy.disbeliefThreshold.toFixed(2)}.`;\n}\n\n// =============================================================================\n// HELPERS\n// =============================================================================\n\nexport function generateContentHash(text: string): string {\n  const content = `belief:${text.trim().toLowerCase().replace(/\\s+/g, \" \")}`;\n  let hash = 5381;\n  for (let i = 0; i < content.length; i++) {\n    hash = (hash << 5) + hash + content.charCodeAt(i);\n    hash &= hash;\n  }\n  return Math.abs(hash).toString(16).padStart(8, \"0\");\n}\n\nexport function resolveBeliefWorktreeId(\n  metadata: Record<string, unknown> | undefined,\n): string | undefined {\n  const worktreeId = metadata?.worktreeId;\n  if (typeof worktreeId === \"string\" && worktreeId.trim().length > 0) {\n    return worktreeId;\n  }\n\n  const sprintId = metadata?.sprintId;\n  return typeof sprintId === \"string\" && sprintId.trim().length > 0\n    ? sprintId\n    : undefined;\n}\n\n// Map pillar names to valid pillar literals\ntype ValidPillar =\n  | \"market\"\n  | \"competition\"\n  | \"product\"\n  | \"team\"\n  | \"financials\"\n  | \"regulatory\"\n  | \"timing\"\n  | \"customer\"\n  | \"technology\"\n  | \"distribution\"\n  | \"deal\"\n  | \"risks\"\n  | \"other\";\n\nexport function normalizePillar(pillar?: string): ValidPillar {\n  if (!pillar) {\n    return \"other\";\n  }\n  const lower = pillar.toLowerCase();\n  const validPillars: ValidPillar[] = [\n    \"market\",\n    \"competition\",\n    \"product\",\n    \"team\",\n    \"financials\",\n    \"regulatory\",\n    \"timing\",\n    \"customer\",\n    \"technology\",\n    \"distribution\",\n    \"deal\",\n    \"risks\",\n  ];\n  return (validPillars.find((p) => lower.includes(p)) ||\n    \"other\") as ValidPillar;\n}\n\nexport async function markBeliefGraphDirty(\n  ctx: EpistemicBeliefCtx,\n  scope: { projectId?: string | null; topicId?: string | null },\n): Promise<void> {\n  const projectId =\n    typeof scope.projectId === \"string\" && scope.projectId.trim().length > 0\n      ? scope.projectId\n      : undefined;\n  const topicId =\n    typeof scope.topicId === \"string\" && scope.topicId.trim().length > 0\n      ? scope.topicId\n      : undefined;\n\n  if (!projectId && !topicId) {\n    return;\n  }\n\n  if (projectId) {\n    await ctx.scheduler.runAfter(\n      0,\n      internal.graphAnalysisCache.markCacheStaleInternal,\n      { projectId },\n    );\n  }\n  if (topicId) {\n    await ctx.scheduler.runAfter(\n      0,\n      internal.graphAnalysisCache.markCacheStaleByTopic,\n      { topicId },\n    );\n  }\n\n  await resolveGraphPrimitivesAppResolvers(ctx).patchProject(\n    ctx,\n    topicId ?? projectId!,\n    {\n      lastActivityAt: Date.now(),\n    },\n  );\n}\n\nexport async function resolveBeliefScopeOrNull(\n  ctx: QueryCtx,\n  args: BeliefScopeArgs,\n) {\n  if (!args.projectId && !args.topicId) {\n    return null;\n  }\n\n  try {\n    return await resolveTopicProjectScope(ctx, {\n      projectId: args.projectId ?? undefined,\n      topicId: args.topicId ?? undefined,\n    });\n  } catch (error) {\n    debugGraphPrimitiveFallback(\n      \"[epistemicBeliefs] Failed to resolve belief scope\",\n      {\n        error,\n        projectId: args.projectId,\n        topicId: args.topicId,\n      },\n    );\n    return null;\n  }\n}\n\nexport async function getBeliefNodesForScope(\n  ctx: EpistemicBeliefCtx,\n  scope: Awaited<ReturnType<typeof resolveTopicProjectScope>>,\n  args?: { scanLimit?: number; status?: string },\n) {\n  const baseQuery = ctx.db\n    .query(\"epistemicNodes\")\n    .withIndex(\"by_topic_type\", (q: any) =>\n      q.eq(\"topicId\", scope.topicId).eq(\"nodeType\", \"belief\"),\n    );\n  const nodes: EpistemicNodeOpinionDoc[] =\n    typeof args?.scanLimit === \"number\"\n      ? (await baseQuery.order(\"desc\").take(args.scanLimit)) as EpistemicNodeOpinionDoc[]\n      : (await baseQuery.collect()) as EpistemicNodeOpinionDoc[];\n  const scopedNodes = nodes.filter((node: Doc<\"epistemicNodes\">) =>\n    nodeMatchesWorkspaceReasoningScope(node, scope),\n  );\n\n  if (!args?.status) {\n    return scopedNodes;\n  }\n\n  return scopedNodes.filter((node: EpistemicNodeOpinionDoc) => node.status === args.status);\n}\n\nexport function createBeliefAudienceResolver(\n  registryRows: Array<{\n    audienceKey?: string | null;\n    audienceClass: AudienceClass;\n  }>,\n) {\n  const audienceClassByKey = new Map<string, AudienceClass>(\n    registryRows.map((row) => [\n      normalizeAudienceKey(row.audienceKey),\n      row.audienceClass,\n    ]),\n  );\n\n  return (\n    audienceKey: string | undefined | null,\n    fallback: AudienceClass,\n  ): AudienceClass => {\n    const key = normalizeAudienceKey(audienceKey);\n    if (!key) {\n      return fallback;\n    }\n    return (\n      audienceClassByKey.get(key) ??\n      (classFromAudienceKey(key, fallback) as AudienceClass)\n    );\n  };\n}\n\nexport function flattenBeliefNode(node: Doc<\"epistemicNodes\">) {\n  const meta = (node.metadata || {}) as Record<string, unknown>;\n  const worktreeId = resolveBeliefWorktreeId(meta);\n  const tupleContradicted =\n    readTupleContradictedFlag(\n      (node as EpistemicNodeOpinionDoc).tupleContradicted,\n    ) ??\n    readTupleContradictedFlag(meta.tupleContradicted) ??\n    false;\n\n  return {\n    _id: node._id,\n    _epistemicNodeId: node._id,\n    _creationTime: node._creationTime,\n    belief: node.canonicalText,\n    formulation: node.canonicalText,\n    projectId: node.projectId,\n    topicId: node.topicId,\n    userId: (node as EpistemicNodeOpinionDoc).userId || node.createdBy || \"\",\n    confidence: (meta.confidence as \"high\" | \"medium\" | \"low\") || \"untested\",\n    status: node.status,\n    beliefStatus: resolveBeliefStatus(node, meta),\n    topic: (meta.topic as string) || (meta.pillar as string) || \"other\",\n    pillar: (meta.pillar as string) || (meta.topic as string) || \"\",\n    category: (meta.category as string) || \"\",\n    subcategory: (meta.subcategory as string) || \"\",\n    categoryIcon: (meta.categoryIcon as string) || \"\",\n    supportingEvidence: (meta.supportingEvidenceIds as string[]) || [],\n    contradictingEvidence: (meta.contradictingEvidenceIds as string[]) || [],\n    testingQuestions: (meta.testingQuestionIds as string[]) || [],\n    linkedInsights: (meta.linkedInsightIds as string[]) || [],\n    createdAt: node.createdAt,\n    updatedAt: node.updatedAt || node.createdAt,\n    tupleContradicted,\n    sprintId: (meta.sprintId as string) || undefined,\n    worktreeId,\n    sourceBeliefIds: (meta.sourceBeliefIds as string[]) || undefined,\n    criticality:\n      (meta.criticality as\n        | \"critical\"\n        | \"supporting\"\n        | \"nice_to_have\"\n        | \"unanalyzed\"\n        | \"blocking\"\n        | \"important\") || \"unanalyzed\",\n    rationale: (meta.rationale as string) || \"\",\n    audienceLabel: node.audienceLabel,\n    policyTags: node.policyTags,\n    sensitivityTier: node.sensitivityTier,\n    exportClass: node.exportClass,\n    anonymizationClass: node.anonymizationClass,\n  };\n}\n\nexport function resolveBeliefStatus(\n  node: {\n    beliefStatus?: unknown;\n    confidence?: unknown;\n    predictionMeta?: unknown;\n  },\n  metadata: Record<string, unknown>,\n): BeliefLifecycleStatus {\n  return resolveBeliefLifecycleStatus({\n    beliefStatus: node.beliefStatus,\n    confidence: node.confidence,\n    predictionMeta: node.predictionMeta,\n    metadata,\n  });\n}\n\nexport async function hasCompletedWorktreeForBelief(\n  ctx: EpistemicBeliefCtx,\n  beliefNodeId: Id<\"epistemicNodes\">,\n): Promise<boolean> {\n  // Check if the belief is linked to a completed worktree via worktreeBeliefCluster\n  const clusterMembership = await ctx.db\n    .query(\"worktreeBeliefCluster\")\n    .withIndex(\"by_belief\", (q: any) => q.eq(\"beliefId\", beliefNodeId))\n    .collect();\n  for (const membership of clusterMembership) {\n    const worktree = await ctx.db.get(membership.worktreeId);\n    if (worktree?.status === \"completed\" || worktree?.status === \"merged\") {\n      return true;\n    }\n  }\n  return false;\n}\n\nexport async function getActiveConfidencePolicy(\n  ctx: EpistemicBeliefCtx,\n): Promise<ConfidencePolicyConfig> {\n  try {\n    const activeConfig = await ctx.db\n      .query(\"logicSprintScoring\")\n      .withIndex(\"by_active\", (q: any) => q.eq(\"isActive\", true))\n      .first();\n\n    return {\n      scoringMode:\n        activeConfig?.confidencePolicy === \"always\"\n          ? \"always\"\n          : DEFAULT_CONFIDENCE_POLICY.scoringMode,\n      tupleContradiction: normalizeTupleContradictionPolicy(\n        activeConfig?.tupleContradictionPolicy as\n          | Partial<ConfidencePolicyConfig[\"tupleContradiction\"]>\n          | undefined,\n      ),\n    };\n  } catch (error) {\n    debugGraphPrimitiveFallback(\n      \"[epistemicBeliefs] Failed to load active confidence policy\",\n      {\n        error,\n      },\n    );\n    // K-tier/component environments do not carry logicSprintScoring.\n    return DEFAULT_CONFIDENCE_POLICY;\n  }\n}\n\nexport async function requireAuthenticatedUserId(ctx: {\n  auth: { getUserIdentity: () => Promise<unknown> };\n}): Promise<string> {\n  const userId = await getCurrentUserId(\n    ctx as Parameters<typeof getCurrentUserId>[0],\n  );\n  if (!userId) {\n    throwStructuredMutationError({\n      message: \"Authentication required.\",\n      status: 401,\n      code: \"AUTHENTICATION_REQUIRED\",\n      invariantCode: \"auth.required\",\n      suggestion:\n        \"Provide a valid bearer token before invoking belief mutations.\",\n    });\n  }\n  return userId;\n}\n\nexport async function requireProjectWriteAccess(\n  ctx: { db: unknown },\n  projectId: string,\n  userId: string,\n): Promise<void> {\n  const hasAccess = await checkProjectAccess(\n    ctx as Parameters<typeof checkProjectAccess>[0],\n    projectId,\n    userId,\n  );\n  if (!hasAccess) {\n    // FR.7: structured, non-retryable 403 naming ONLY the targeted topic and\n    // the caller's own principal (no cross-tenant leakage; security condition e).\n    throwStructuredMutationError({\n      message: `Project write access denied for topic ${projectId}.`,\n      status: 403,\n      code: \"PROJECT_ACCESS_DENIED\",\n      invariantCode: \"policy.scope_required\",\n      suggestion:\n        \"The acting principal lacks project-write access to this topic. Request a topic grant (or, if the principal created this topic, run the creator-grant backfill) and retry.\",\n      details: { topicId: projectId, principalId: userId },\n    });\n  }\n}\n","/** Evidence-gated fork precondition helpers. */\n\nimport type { Doc, Id, MutationCtx } from \"./convex\";\nimport { throwStructuredMutationError } from \"./epistemicBeliefs.helpers\";\n\nexport type ForkMode = \"supersede\" | \"branch\";\nexport type ForkTriggerRelation = \"supports\" | \"contradicts\";\n\nfunction normalizeForkTriggerRelation(\n  value: unknown,\n): ForkTriggerRelation | null {\n  if (value === \"supports\" || value === \"supporting\") {\n    return \"supports\";\n  }\n  if (value === \"contradicts\" || value === \"contradicting\") {\n    return \"contradicts\";\n  }\n  return null;\n}\n\nexport async function resolveForkTriggerEvidence(\n  ctx: MutationCtx,\n  args: {\n    parentNodeId: Id<\"epistemicNodes\">;\n    parent: Doc<\"epistemicNodes\">;\n    triggeringEvidenceId: Id<\"epistemicNodes\">;\n    forkMode: ForkMode;\n  },\n): Promise<{ evidenceNodeId: Id<\"epistemicNodes\">; relation: ForkTriggerRelation }> {\n  const evidence = await ctx.db.get(args.triggeringEvidenceId);\n  if (!evidence || evidence.nodeType !== \"evidence\") {\n    throwStructuredMutationError({\n      message: \"Fork requires an existing evidence node.\",\n      status: 400,\n      code: \"INVALID_ARGUMENT\",\n      invariantCode: \"belief.fork_requires_evidence\",\n      suggestion:\n        \"Create or link evidence first, then fork with triggeringEvidenceId.\",\n      details: { triggeringEvidenceId: args.triggeringEvidenceId },\n    });\n  }\n  if (evidence.topicId && evidence.topicId !== args.parent.topicId) {\n    throwStructuredMutationError({\n      message: \"Fork evidence belongs to a different topic scope.\",\n      status: 400,\n      code: \"INVALID_ARGUMENT\",\n      invariantCode: \"belief.fork_evidence_scope\",\n      suggestion: \"Use evidence from the same topic/workspace scope as the parent belief.\",\n      details: {\n        parentNodeId: args.parentNodeId,\n        triggeringEvidenceId: args.triggeringEvidenceId,\n      },\n    });\n  }\n\n  const evidenceMetadata =\n    evidence.metadata && typeof evidence.metadata === \"object\"\n      ? (evidence.metadata as Record<string, unknown>)\n      : {};\n  const parentRefs = new Set(\n    [\n      String(args.parentNodeId),\n      String(args.parent.globalId ?? \"\"),\n      String(args.parent._id),\n    ].filter(Boolean),\n  );\n  const evidenceRefs = new Set(\n    [\n      String(args.triggeringEvidenceId),\n      String(evidence.globalId ?? \"\"),\n      String(evidence._id),\n    ].filter(Boolean),\n  );\n\n  let relation: ForkTriggerRelation | null = null;\n  const linkedBeliefNodeId = String(\n    evidenceMetadata.linkedBeliefNodeId ?? \"\",\n  );\n  if (linkedBeliefNodeId && parentRefs.has(linkedBeliefNodeId)) {\n    relation = normalizeForkTriggerRelation(evidenceMetadata.evidenceRelation);\n  }\n\n  if (!relation) {\n    for (const parentRef of parentRefs) {\n      const links = await ctx.db\n        .query(\"beliefEvidenceLinks\")\n        .withIndex(\"by_beliefId\", (q) => q.eq(\"beliefId\", parentRef))\n        .collect();\n      const matched = links.find((link) => evidenceRefs.has(String(link.insightId)));\n      if (matched) {\n        relation = normalizeForkTriggerRelation(matched.relation);\n        break;\n      }\n    }\n  }\n\n  if (!relation) {\n    throwStructuredMutationError({\n      message:\n        \"Fork evidence must already be attached to the parent belief through an SL evidence relation.\",\n      status: 409,\n      code: \"CONFLICT\",\n      invariantCode: \"belief.fork_requires_attached_evidence\",\n      suggestion:\n        \"Attach the evidence to the parent belief as supports or contradicts before forking.\",\n      details: {\n        parentNodeId: args.parentNodeId,\n        triggeringEvidenceId: args.triggeringEvidenceId,\n      },\n    });\n  }\n  if (args.forkMode === \"supersede\" && relation !== \"contradicts\") {\n    throwStructuredMutationError({\n      message:\n        \"Superseding fork requires contradicting evidence against the parent belief.\",\n      status: 409,\n      code: \"CONFLICT\",\n      invariantCode: \"belief.supersede_requires_contradiction\",\n      suggestion:\n        \"Use forkMode='branch' for a non-replacing fork, or attach contradicting evidence before superseding.\",\n      details: {\n        parentNodeId: args.parentNodeId,\n        triggeringEvidenceId: args.triggeringEvidenceId,\n        relation,\n      },\n    });\n  }\n\n  return { evidenceNodeId: args.triggeringEvidenceId, relation };\n}\n"]}
+{"version":3,"sources":["../src/epistemicBeliefs.helpers.ts","../src/epistemicBeliefs.forkEvidence.ts"],"names":["throwStructuredMutationError"],"mappings":";;;;;;;AA8C8B,CAAA,CAAE,EAAA,CAAG,gBAAgB;CAmEO;AAAA,EAExD,oBAAoB,iCAAA;AACtB;;;AC3GA,SAAS,6BACP,KAAA,EAC4B;AAC5B,EAAA,IAAI,KAAA,KAAU,UAAA,IAAc,KAAA,KAAU,YAAA,EAAc;AAClD,IAAA,OAAO,UAAA;AAAA,EACT;AACA,EAAA,IAAI,KAAA,KAAU,aAAA,IAAiB,KAAA,KAAU,eAAA,EAAiB;AACxD,IAAA,OAAO,aAAA;AAAA,EACT;AACA,EAAA,OAAO,IAAA;AACT;AAEA,eAAsB,0BAAA,CACpB,KACA,IAAA,EASC;AACD,EAAA,MAAM,WAAW,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,KAAK,oBAAoB,CAAA;AAC3D,EAAA,IAAI,QAAA,EAAU,aAAa,UAAA,EAAY;AACrC,IAAAA,4BAAAA,CAA6B;AAAA,MAC3B,OAAA,EAAS,0CAAA;AAAA,MACT,MAAA,EAAQ,GAAA;AAAA,MACR,IAAA,EAAM,kBAAA;AAAA,MACN,aAAA,EAAe,+BAAA;AAAA,MACf,UAAA,EACE,qEAAA;AAAA,MACF,OAAA,EAAS,EAAE,oBAAA,EAAsB,IAAA,CAAK,oBAAA;AAAqB,KAC5D,CAAA;AAAA,EACH;AACA,EAAA,IAAI,SAAS,OAAA,IAAW,QAAA,CAAS,OAAA,KAAY,IAAA,CAAK,OAAO,OAAA,EAAS;AAChE,IAAAA,4BAAAA,CAA6B;AAAA,MAC3B,OAAA,EAAS,mDAAA;AAAA,MACT,MAAA,EAAQ,GAAA;AAAA,MACR,IAAA,EAAM,kBAAA;AAAA,MACN,aAAA,EAAe,4BAAA;AAAA,MACf,UAAA,EACE,wEAAA;AAAA,MACF,OAAA,EAAS;AAAA,QACP,cAAc,IAAA,CAAK,YAAA;AAAA,QACnB,sBAAsB,IAAA,CAAK;AAAA;AAC7B,KACD,CAAA;AAAA,EACH;AAEA,EAAA,MAAM,gBAAA,GACJ,SAAS,QAAA,IAAY,OAAO,SAAS,QAAA,KAAa,QAAA,GAC7C,QAAA,CAAS,QAAA,GACV,EAAC;AACP,EAAA,MAAM,aAAa,IAAI,GAAA;AAAA,IACrB;AAAA,MACE,MAAA,CAAO,KAAK,YAAY,CAAA;AAAA,MACxB,MAAA,CAAO,IAAA,CAAK,MAAA,CAAO,QAAA,IAAY,EAAE,CAAA;AAAA,MACjC,MAAA,CAAO,IAAA,CAAK,MAAA,CAAO,GAAG;AAAA,KACxB,CAAE,OAAO,OAAO;AAAA,GAClB;AACA,EAAA,MAAM,eAAe,IAAI,GAAA;AAAA,IACvB;AAAA,MACE,MAAA,CAAO,KAAK,oBAAoB,CAAA;AAAA,MAChC,MAAA,CAAO,QAAA,CAAS,QAAA,IAAY,EAAE,CAAA;AAAA,MAC9B,MAAA,CAAO,SAAS,GAAG;AAAA,KACrB,CAAE,OAAO,OAAO;AAAA,GAClB;AAEA,EAAA,IAAI,QAAA,GAAuC,IAAA;AAC3C,EAAA,MAAM,kBAAA,GAAqB,MAAA,CAAO,gBAAA,CAAiB,kBAAA,IAAsB,EAAE,CAAA;AAC3E,EAAA,IAAI,kBAAA,IAAsB,UAAA,CAAW,GAAA,CAAI,kBAAkB,CAAA,EAAG;AAC5D,IAAA,QAAA,GAAW,4BAAA,CAA6B,iBAAiB,gBAAgB,CAAA;AAAA,EAC3E;AAEA,EAAA,IAAI,CAAC,QAAA,EAAU;AACb,IAAA,KAAA,MAAW,aAAa,UAAA,EAAY;AAClC,MAAA,MAAM,QAAQ,MAAM,GAAA,CAAI,EAAA,CACrB,KAAA,CAAM,qBAAqB,CAAA,CAC3B,SAAA,CAAU,aAAA,EAAe,CAAC,MAAM,CAAA,CAAE,EAAA,CAAG,YAAY,SAAS,CAAC,EAC3D,OAAA,EAAQ;AACX,MAAA,MAAM,UAAU,KAAA,CAAM,IAAA;AAAA,QAAK,CAAC,IAAA,KAC1B,YAAA,CAAa,IAAI,MAAA,CAAO,IAAA,CAAK,SAAS,CAAC;AAAA,OACzC;AACA,MAAA,IAAI,OAAA,EAAS;AACX,QAAA,QAAA,GAAW,4BAAA,CAA6B,QAAQ,QAAQ,CAAA;AACxD,QAAA;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAEA,EAAA,IAAI,CAAC,QAAA,EAAU;AACb,IAAAA,4BAAAA,CAA6B;AAAA,MAC3B,OAAA,EACE,8FAAA;AAAA,MACF,MAAA,EAAQ,GAAA;AAAA,MACR,IAAA,EAAM,UAAA;AAAA,MACN,aAAA,EAAe,wCAAA;AAAA,MACf,UAAA,EACE,qFAAA;AAAA,MACF,OAAA,EAAS;AAAA,QACP,cAAc,IAAA,CAAK,YAAA;AAAA,QACnB,sBAAsB,IAAA,CAAK;AAAA;AAC7B,KACD,CAAA;AAAA,EACH;AACA,EAAA,IAAI,IAAA,CAAK,QAAA,KAAa,WAAA,IAAe,QAAA,KAAa,aAAA,EAAe;AAC/D,IAAAA,4BAAAA,CAA6B;AAAA,MAC3B,OAAA,EACE,6EAAA;AAAA,MACF,MAAA,EAAQ,GAAA;AAAA,MACR,IAAA,EAAM,UAAA;AAAA,MACN,aAAA,EAAe,yCAAA;AAAA,MACf,UAAA,EACE,sGAAA;AAAA,MACF,OAAA,EAAS;AAAA,QACP,cAAc,IAAA,CAAK,YAAA;AAAA,QACnB,sBAAsB,IAAA,CAAK,oBAAA;AAAA,QAC3B;AAAA;AACF,KACD,CAAA;AAAA,EACH;AAEA,EAAA,OAAO,EAAE,cAAA,EAAgB,IAAA,CAAK,oBAAA,EAAsB,QAAA,EAAS;AAC/D","file":"epistemicBeliefs.forkEvidence.js","sourcesContent":["// biome-ignore-all lint/style/useFilenamingConvention: Public graph-primitives wildcard-export path; rename requires an export-map migration.\n/**\n * Epistemic Beliefs API\n *\n * Clean API for managing beliefs in the epistemic spine (epistemicNodes).\n * This is the NEW API that replaces beliefs.ts.\n *\n * Key differences from beliefs.ts:\n * - Writes ONLY to epistemicNodes (no dual-write)\n * - Uses epistemicNodes IDs directly (no runtime ID translation fallback)\n * - Syncs to Neo4j after mutations\n * - Follows Lucern invariants strictly\n *\n * @see /docs/epistemic-invariants/00-epistemic-invariants.md\n */\n\nimport {\n  classFromAudienceKey,\n  normalizeAudienceKey,\n} from \"@lucern/access-control/audience\";\nimport { getCurrentUserId } from \"@lucern/access-control/auth\";\nimport { throwStructuredMutationError } from \"@lucern/access-control/structuredMutationError\";\nimport {\n  type ConfidencePolicyConfig,\n  confidenceFromSL,\n  mkOpinion,\n  normalizeTupleContradictionPolicy,\n  type Opinion,\n  readOpinionFromRecord,\n  type SLOperator,\n  type SLOpinion,\n} from \"@lucern/confidence\";\nimport { v } from \"convex/values\";\nimport {\n  type BeliefLifecycleStatus,\n  resolveBeliefLifecycleStatus,\n} from \"./beliefLifecycle\";\nimport type { Id, QueryCtx } from \"./convex\";\nimport { internal } from \"./convex\";\nimport { debugGraphPrimitiveFallback } from \"./debug\";\nimport type { VerificationConfidenceTrigger } from \"./epistemicContractHelpers\";\nimport { resolveGraphPrimitivesAppResolvers } from \"./resolvers\";\nimport { optionalScopeArgs, resolveTopicProjectScope } from \"./topicScope\";\nimport { nodeMatchesWorkspaceReasoningScope } from \"./workspaceIsolation\";\n\n// All IDs now use epistemicNodes exclusively\nexport const insightIdUnion = v.id(\"epistemicNodes\");\nconst DEFAULT_PROJECT_BELIEF_LIMIT = 250;\nexport const MAX_PROJECT_BELIEF_LIMIT = 1000;\nexport const optionalBeliefScopeArgs = optionalScopeArgs;\n\n// CQ.11: the structured-refusal primitive is the single shared copy in\n// `@lucern/access-control/structuredMutationError` (the same home the shared\n// access gate throws from). Re-exported here so the graph-primitives modules\n// that imported it from this helper keep their import path unchanged.\nexport type { StructuredMutationErrorData } from \"@lucern/access-control/structuredMutationError\";\n// biome-ignore lint/performance/noBarrelFile: Public helper compatibility re-export retained for existing graph-primitives consumers.\nexport { throwStructuredMutationError } from \"@lucern/access-control/structuredMutationError\";\n\ninterface BeliefScopeArgs {\n  projectId?: string | null;\n  topicId?: string | null;\n}\n\ninterface EpistemicNodeOpinionSource {\n  _id?: unknown;\n  metadata?: Record<string, unknown> | null;\n  opinion_a?: number;\n  opinion_b?: number;\n  opinion_d?: number;\n  opinion_u?: number;\n  tupleContradicted?: boolean;\n  userId?: string;\n}\n\nexport interface EpistemicNodeOpinionDoc extends EpistemicNodeOpinionSource {\n  _creationTime?: number;\n  _id: Id<\"epistemicNodes\">;\n  anonymizationClass?: string;\n  audienceLabel?: string;\n  beliefStatus?: unknown;\n  canonicalText?: string;\n  confidence?: unknown;\n  createdAt?: number;\n  createdBy?: string;\n  epistemicLayer?: string;\n  exportClass?: string;\n  globalId?: string;\n  metadata?: Record<string, unknown> | null;\n  nodeType: \"belief\";\n  policyTags?: string[];\n  predictionMeta?: unknown;\n  projectId?: string;\n  publicationStatus?: string;\n  sensitivityTier?: string;\n  status?: string;\n  tenantId?: string;\n  topicId?: string;\n  updatedAt?: number;\n  workspaceId?: string;\n}\n\ninterface EpistemicIndexQuery {\n  eq(field: string, value: unknown): EpistemicIndexQuery;\n  field(field: string): string;\n  gt(field: string, value: unknown): EpistemicIndexQuery;\n  lt(field: string, value: unknown): EpistemicIndexQuery;\n}\n\ntype EpistemicBeliefCtx = QueryCtx;\n\ntype AudienceClass = \"internal\" | \"restricted_external\" | \"public\";\n\nconst DEFAULT_CONFIDENCE_POLICY: ConfidencePolicyConfig = {\n  scoringMode: \"after_worktree\",\n  tupleContradiction: normalizeTupleContradictionPolicy(),\n};\n\nexport type BeliefConfidenceTrigger =\n  | \"initial\"\n  | \"evidence_added\"\n  | \"evidence_removed\"\n  | \"contradiction_detected\"\n  | \"contradiction_resolved\"\n  | \"propagation\"\n  | \"agent_assessment\"\n  | \"worktree_outcome\"\n  | \"worktree_completed\"\n  // SL-specific triggers\n  | \"fusion\"\n  | \"discount\"\n  | \"deduction\"\n  | \"backfill_synthetic\"\n  | VerificationConfidenceTrigger;\n\nexport function readFiniteNumber(value: unknown): number | undefined {\n  return typeof value === \"number\" && Number.isFinite(value)\n    ? value\n    : undefined;\n}\n\nfunction isRecord(value: unknown): value is Record<string, unknown> {\n  return Boolean(value) && typeof value === \"object\" && !Array.isArray(value);\n}\n\nfunction readOptionalString(value: unknown): string | undefined {\n  return typeof value === \"string\" && value.trim().length > 0\n    ? value\n    : undefined;\n}\n\nfunction readStringArray(value: unknown): string[] | undefined {\n  if (!Array.isArray(value)) {\n    return;\n  }\n  const strings = value.filter(\n    (item): item is string => typeof item === \"string\" && item.length > 0\n  );\n  return strings.length === value.length ? strings : undefined;\n}\n\nfunction readRecord(value: unknown): Record<string, unknown> | undefined {\n  return isRecord(value) ? value : undefined;\n}\n\nexport function readBeliefNodeView(\n  value: unknown\n): EpistemicNodeOpinionDoc | null {\n  if (!isRecord(value)) {\n    return null;\n  }\n\n  const id = readOptionalString(value._id) as Id<\"epistemicNodes\"> | undefined;\n  const nodeType = readOptionalString(value.nodeType);\n  if (!(id && nodeType === \"belief\")) {\n    return null;\n  }\n\n  const node: EpistemicNodeOpinionDoc = {\n    _id: id,\n    nodeType,\n  };\n  const creationTime = readFiniteNumber(value._creationTime);\n  if (creationTime !== undefined) {\n    node._creationTime = creationTime;\n  }\n  const metadata = readRecord(value.metadata);\n  if (metadata !== undefined) {\n    node.metadata = metadata;\n  }\n  const opinionA = readFiniteNumber(value.opinion_a);\n  if (opinionA !== undefined) {\n    node.opinion_a = opinionA;\n  }\n  const opinionB = readFiniteNumber(value.opinion_b);\n  if (opinionB !== undefined) {\n    node.opinion_b = opinionB;\n  }\n  const opinionD = readFiniteNumber(value.opinion_d);\n  if (opinionD !== undefined) {\n    node.opinion_d = opinionD;\n  }\n  const opinionU = readFiniteNumber(value.opinion_u);\n  if (opinionU !== undefined) {\n    node.opinion_u = opinionU;\n  }\n  const tupleContradicted =\n    typeof value.tupleContradicted === \"boolean\"\n      ? value.tupleContradicted\n      : undefined;\n  if (tupleContradicted !== undefined) {\n    node.tupleContradicted = tupleContradicted;\n  }\n\n  const stringFields = {\n    anonymizationClass: value.anonymizationClass,\n    audienceLabel: value.audienceLabel,\n    canonicalText: value.canonicalText,\n    createdBy: value.createdBy,\n    epistemicLayer: value.epistemicLayer,\n    exportClass: value.exportClass,\n    globalId: value.globalId,\n    projectId: value.projectId,\n    publicationStatus: value.publicationStatus,\n    sensitivityTier: value.sensitivityTier,\n    status: value.status,\n    tenantId: value.tenantId,\n    topicId: value.topicId,\n    userId: value.userId,\n    workspaceId: value.workspaceId,\n  };\n  for (const [field, fieldValue] of Object.entries(stringFields)) {\n    const normalized = readOptionalString(fieldValue);\n    if (normalized !== undefined) {\n      node[field as keyof typeof stringFields] = normalized;\n    }\n  }\n\n  const createdAt = readFiniteNumber(value.createdAt);\n  if (createdAt !== undefined) {\n    node.createdAt = createdAt;\n  }\n  const updatedAt = readFiniteNumber(value.updatedAt);\n  if (updatedAt !== undefined) {\n    node.updatedAt = updatedAt;\n  }\n  if (value.beliefStatus !== undefined) {\n    node.beliefStatus = value.beliefStatus;\n  }\n  if (value.confidence !== undefined) {\n    node.confidence = value.confidence;\n  }\n  if (value.predictionMeta !== undefined) {\n    node.predictionMeta = value.predictionMeta;\n  }\n  const policyTags = readStringArray(value.policyTags);\n  if (policyTags !== undefined) {\n    node.policyTags = policyTags;\n  }\n\n  return node;\n}\n\nfunction readBeliefNodeViews(\n  values: readonly unknown[]\n): EpistemicNodeOpinionDoc[] {\n  return values.flatMap((value) => {\n    const node = readBeliefNodeView(value);\n    return node ? [node] : [];\n  });\n}\n\nfunction clamp01(value: number): number {\n  return Math.max(0, Math.min(1, value));\n}\n\nexport function assertBaseRateInRange(\n  baseRate: number,\n  field = \"baseRate\"\n): number {\n  if (baseRate < 0 || baseRate > 1) {\n    throwStructuredMutationError({\n      message: `${field} must be within [0, 1].`,\n      status: 400,\n      code: \"INVALID_ARGUMENT\",\n      invariantCode: \"request.valid_shape\",\n      suggestion: `Clamp ${field} into the inclusive [0, 1] interval.`,\n      details: { field, baseRate },\n    });\n  }\n  return baseRate;\n}\n\nexport function buildBeliefConfidenceRow(args: {\n  beliefId: Id<\"epistemicNodes\">;\n  belief: number;\n  disbelief: number;\n  uncertainty: number;\n  baseRate: number;\n  trigger: BeliefConfidenceTrigger;\n  rationale?: string;\n  assessedBy: string;\n  assessedAt: number;\n  slOperator?: SLOperator;\n  triggeringEvidenceId?: Id<\"epistemicNodes\">;\n  triggeringContradictionId?: Id<\"contradictions\">;\n  triggeringWorktreeId?: string;\n}) {\n  return {\n    beliefId: args.beliefId,\n    confidence: confidenceFromSL(\n      args.belief,\n      args.disbelief,\n      args.uncertainty,\n      args.baseRate\n    ),\n    belief: args.belief,\n    disbelief: args.disbelief,\n    uncertainty: args.uncertainty,\n    baseRate: args.baseRate,\n    slOperator: args.slOperator ?? (\"prior_seed\" as const),\n    trigger: args.trigger,\n    ...(args.rationale ? { rationale: args.rationale } : {}),\n    assessedBy: args.assessedBy,\n    assessedAt: args.assessedAt,\n    ...(args.triggeringEvidenceId\n      ? {\n          triggeringEvidenceId: args.triggeringEvidenceId,\n          triggeringEvidenceIds: [String(args.triggeringEvidenceId)],\n        }\n      : {}),\n    ...(args.triggeringContradictionId\n      ? {\n          triggeringContradictionId: args.triggeringContradictionId,\n        }\n      : {}),\n    ...(args.triggeringWorktreeId\n      ? { triggeringWorktreeId: args.triggeringWorktreeId }\n      : {}),\n  };\n}\n\ntype BeliefStatusResult =\n  | { success: true }\n  | { success: false; message: \"Evidence node not found\" };\n\nexport function buildBeliefStatusSuccessResult(): BeliefStatusResult {\n  return { success: true };\n}\n\nexport function buildBeliefEvidenceNotFoundResult(): BeliefStatusResult {\n  const result = {} as Extract<BeliefStatusResult, { success: false }>;\n  result.success = false;\n  result.message = \"Evidence node not found\";\n  return result;\n}\n\nexport function deriveSyntheticBackfillOpinion(\n  source: Record<string, unknown>\n): SLOpinion {\n  const belief =\n    readFiniteNumber(source.opinion_b) ?? readFiniteNumber(source.belief);\n  const disbelief =\n    readFiniteNumber(source.opinion_d) ?? readFiniteNumber(source.disbelief);\n  const uncertainty =\n    readFiniteNumber(source.opinion_u) ?? readFiniteNumber(source.uncertainty);\n  const baseRate =\n    readFiniteNumber(source.opinion_a) ?? readFiniteNumber(source.baseRate);\n\n  if (\n    belief !== undefined ||\n    disbelief !== undefined ||\n    uncertainty !== undefined ||\n    baseRate !== undefined\n  ) {\n    try {\n      return readOpinionFromRecord(source);\n    } catch (error) {\n      debugGraphPrimitiveFallback(\n        \"[epistemicBeliefs] Failed to decode legacy belief opinion\",\n        {\n          error,\n        }\n      );\n      return mkOpinion(0, 0, 1, 0.5);\n    }\n  }\n\n  const confidence = clamp01(readFiniteNumber(source.confidence) ?? 0);\n  return mkOpinion(confidence, 1 - confidence, 0, 0.5);\n}\n\nexport function clampBeliefLimit(\n  limit: number | undefined,\n  fallback = DEFAULT_PROJECT_BELIEF_LIMIT\n): number {\n  if (!Number.isFinite(limit)) {\n    return fallback;\n  }\n  return Math.max(\n    1,\n    Math.min(Math.floor(limit as number), MAX_PROJECT_BELIEF_LIMIT)\n  );\n}\n\nexport function readTupleContradictedFlag(value: unknown): boolean | undefined {\n  return typeof value === \"boolean\" ? value : undefined;\n}\n\nexport function readBeliefOpinionSnapshot(\n  node: EpistemicNodeOpinionSource,\n  metadata: Record<string, unknown>\n): SLOpinion {\n  try {\n    return readOpinionFromRecord({\n      ...metadata,\n      opinion_b: node.opinion_b,\n      opinion_d: node.opinion_d,\n      opinion_u: node.opinion_u,\n      opinion_a: node.opinion_a,\n    });\n  } catch (error) {\n    debugGraphPrimitiveFallback(\n      \"[epistemicBeliefs] Failed to read belief opinion snapshot\",\n      {\n        error,\n        beliefId: node._id,\n      }\n    );\n    return mkOpinion(0, 0, 1, 0.5);\n  }\n}\n\nexport function deriveTupleContradictionSeverity(node: {\n  metadata?: Record<string, unknown> | null;\n}): \"critical\" | \"significant\" | \"minor\" {\n  const metadata = node.metadata || {};\n  const criticality =\n    typeof metadata.criticality === \"string\" ? metadata.criticality : undefined;\n\n  if (criticality === \"blocking\") {\n    return \"critical\";\n  }\n  if (criticality === \"supporting\") {\n    return \"minor\";\n  }\n  return \"significant\";\n}\n\nexport function formatTupleContradictionDescription(args: {\n  opinion: Opinion;\n  policy: ConfidencePolicyConfig[\"tupleContradiction\"];\n}): string {\n  return `Tuple-space contradiction detected: b=${args.opinion.b.toFixed(2)} > ${args.policy.beliefThreshold.toFixed(2)} and d=${args.opinion.d.toFixed(2)} > ${args.policy.disbeliefThreshold.toFixed(2)}.`;\n}\n\n// =============================================================================\n// HELPERS\n// =============================================================================\n\nexport function generateContentHash(text: string): string {\n  const content = `belief:${text.trim().toLowerCase().replace(/\\s+/g, \" \")}`;\n  let hash = 5381;\n  for (let i = 0; i < content.length; i++) {\n    // biome-ignore lint/suspicious/noBitwiseOperators: Preserve deterministic djb2 hash semantics for persisted belief metadata compatibility.\n    hash = (hash << 5) + hash + content.charCodeAt(i);\n    // biome-ignore lint/suspicious/noBitwiseOperators: Preserve deterministic djb2 hash semantics for persisted belief metadata compatibility.\n    hash &= hash;\n  }\n  return Math.abs(hash).toString(16).padStart(8, \"0\");\n}\n\nexport function resolveBeliefWorktreeId(\n  metadata: Record<string, unknown> | undefined\n): string | undefined {\n  const worktreeId = metadata?.worktreeId;\n  if (typeof worktreeId === \"string\" && worktreeId.trim().length > 0) {\n    return worktreeId;\n  }\n\n  const sprintId = metadata?.sprintId;\n  return typeof sprintId === \"string\" && sprintId.trim().length > 0\n    ? sprintId\n    : undefined;\n}\n\n// Map pillar names to valid pillar literals\ntype ValidPillar =\n  | \"market\"\n  | \"competition\"\n  | \"product\"\n  | \"team\"\n  | \"financials\"\n  | \"regulatory\"\n  | \"timing\"\n  | \"customer\"\n  | \"technology\"\n  | \"distribution\"\n  | \"deal\"\n  | \"risks\"\n  | \"other\";\n\nexport function normalizePillar(pillar?: string): ValidPillar {\n  if (!pillar) {\n    return \"other\";\n  }\n  const lower = pillar.toLowerCase();\n  const validPillars: ValidPillar[] = [\n    \"market\",\n    \"competition\",\n    \"product\",\n    \"team\",\n    \"financials\",\n    \"regulatory\",\n    \"timing\",\n    \"customer\",\n    \"technology\",\n    \"distribution\",\n    \"deal\",\n    \"risks\",\n  ];\n  return (validPillars.find((p) => lower.includes(p)) ||\n    \"other\") as ValidPillar;\n}\n\nexport async function markBeliefGraphDirty(\n  ctx: EpistemicBeliefCtx,\n  scope: { projectId?: string | null; topicId?: string | null }\n): Promise<void> {\n  const projectId =\n    typeof scope.projectId === \"string\" && scope.projectId.trim().length > 0\n      ? scope.projectId\n      : undefined;\n  const topicId =\n    typeof scope.topicId === \"string\" && scope.topicId.trim().length > 0\n      ? scope.topicId\n      : undefined;\n\n  if (!(projectId || topicId)) {\n    return;\n  }\n\n  if (projectId) {\n    await ctx.scheduler.runAfter(\n      0,\n      internal.graphAnalysisCache.markCacheStaleInternal,\n      { projectId }\n    );\n  }\n  if (topicId) {\n    await ctx.scheduler.runAfter(\n      0,\n      internal.graphAnalysisCache.markCacheStaleByTopic,\n      { topicId }\n    );\n  }\n\n  const activityScopeId = topicId ?? projectId;\n  if (!activityScopeId) {\n    throw new Error(\n      \"Expected belief graph dirty scope to include a topic or project id.\"\n    );\n  }\n\n  await resolveGraphPrimitivesAppResolvers(ctx).patchProject(\n    ctx,\n    activityScopeId,\n    {\n      lastActivityAt: Date.now(),\n    }\n  );\n}\n\nexport async function resolveBeliefScopeOrNull(\n  ctx: QueryCtx,\n  args: BeliefScopeArgs\n) {\n  if (!(args.projectId || args.topicId)) {\n    return null;\n  }\n\n  try {\n    return await resolveTopicProjectScope(ctx, {\n      projectId: args.projectId ?? undefined,\n      topicId: args.topicId ?? undefined,\n    });\n  } catch (error) {\n    debugGraphPrimitiveFallback(\n      \"[epistemicBeliefs] Failed to resolve belief scope\",\n      {\n        error,\n        projectId: args.projectId,\n        topicId: args.topicId,\n      }\n    );\n    return null;\n  }\n}\n\nexport async function getBeliefNodesForScope(\n  ctx: EpistemicBeliefCtx,\n  scope: Awaited<ReturnType<typeof resolveTopicProjectScope>>,\n  args?: { scanLimit?: number; status?: string }\n) {\n  const baseQuery = ctx.db\n    .query(\"epistemicNodes\")\n    .withIndex(\"by_topic_type\", (q: EpistemicIndexQuery) =>\n      q.eq(\"topicId\", scope.topicId).eq(\"nodeType\", \"belief\")\n    );\n  const rows =\n    typeof args?.scanLimit === \"number\"\n      ? await baseQuery.order(\"desc\").take(args.scanLimit)\n      : await baseQuery.collect();\n  const nodes = readBeliefNodeViews(rows);\n  const scopedNodes = nodes.filter((node) =>\n    nodeMatchesWorkspaceReasoningScope(node, scope)\n  );\n\n  if (!args?.status) {\n    return scopedNodes;\n  }\n\n  return scopedNodes.filter(\n    (node: EpistemicNodeOpinionDoc) => node.status === args.status\n  );\n}\n\nexport function createBeliefAudienceResolver(\n  registryRows: Array<{\n    audienceKey?: string | null;\n    audienceClass: AudienceClass;\n  }>\n) {\n  const audienceClassByKey = new Map<string, AudienceClass>(\n    registryRows.map((row) => [\n      normalizeAudienceKey(row.audienceKey),\n      row.audienceClass,\n    ])\n  );\n\n  return (\n    audienceKey: string | undefined | null,\n    fallback: AudienceClass\n  ): AudienceClass => {\n    const key = normalizeAudienceKey(audienceKey);\n    if (!key) {\n      return fallback;\n    }\n    return (\n      audienceClassByKey.get(key) ??\n      (classFromAudienceKey(key, fallback) as AudienceClass)\n    );\n  };\n}\n\nexport function flattenBeliefNode(node: EpistemicNodeOpinionDoc) {\n  const meta = node.metadata || {};\n  const worktreeId = resolveBeliefWorktreeId(meta);\n  const tupleContradicted =\n    readTupleContradictedFlag(node.tupleContradicted) ??\n    readTupleContradictedFlag(meta.tupleContradicted) ??\n    false;\n\n  return {\n    _id: node._id,\n    _epistemicNodeId: node._id,\n    _creationTime: node._creationTime,\n    belief: node.canonicalText,\n    formulation: node.canonicalText,\n    projectId: node.projectId,\n    topicId: node.topicId,\n    userId: node.userId || node.createdBy || \"\",\n    confidence: (meta.confidence as \"high\" | \"medium\" | \"low\") || \"untested\",\n    status: node.status,\n    beliefStatus: resolveBeliefStatus(node, meta),\n    topic: (meta.topic as string) || (meta.pillar as string) || \"other\",\n    pillar: (meta.pillar as string) || (meta.topic as string) || \"\",\n    category: (meta.category as string) || \"\",\n    subcategory: (meta.subcategory as string) || \"\",\n    categoryIcon: (meta.categoryIcon as string) || \"\",\n    supportingEvidence: (meta.supportingEvidenceIds as string[]) || [],\n    contradictingEvidence: (meta.contradictingEvidenceIds as string[]) || [],\n    testingQuestions: (meta.testingQuestionIds as string[]) || [],\n    linkedInsights: (meta.linkedInsightIds as string[]) || [],\n    createdAt: node.createdAt,\n    updatedAt: node.updatedAt || node.createdAt,\n    tupleContradicted,\n    sprintId: (meta.sprintId as string) || undefined,\n    worktreeId,\n    sourceBeliefIds: (meta.sourceBeliefIds as string[]) || undefined,\n    criticality:\n      (meta.criticality as\n        | \"critical\"\n        | \"supporting\"\n        | \"nice_to_have\"\n        | \"unanalyzed\"\n        | \"blocking\"\n        | \"important\") || \"unanalyzed\",\n    rationale: (meta.rationale as string) || \"\",\n    audienceLabel: node.audienceLabel,\n    policyTags: node.policyTags,\n    sensitivityTier: node.sensitivityTier,\n    exportClass: node.exportClass,\n    anonymizationClass: node.anonymizationClass,\n  };\n}\n\nexport function resolveBeliefStatus(\n  node: {\n    beliefStatus?: unknown;\n    confidence?: unknown;\n    predictionMeta?: unknown;\n  },\n  metadata: Record<string, unknown>\n): BeliefLifecycleStatus {\n  return resolveBeliefLifecycleStatus({\n    beliefStatus: node.beliefStatus,\n    confidence: node.confidence,\n    predictionMeta: node.predictionMeta,\n    metadata,\n  });\n}\n\nexport async function hasCompletedWorktreeForBelief(\n  ctx: EpistemicBeliefCtx,\n  beliefNodeId: Id<\"epistemicNodes\">\n): Promise<boolean> {\n  // Check if the belief is linked to a completed worktree via worktreeBeliefCluster\n  const clusterMembership = await ctx.db\n    .query(\"worktreeBeliefCluster\")\n    .withIndex(\"by_belief\", (q: EpistemicIndexQuery) =>\n      q.eq(\"beliefId\", beliefNodeId)\n    )\n    .collect();\n  for (const membership of clusterMembership) {\n    const worktree = await ctx.db.get(membership.worktreeId);\n    if (worktree?.status === \"completed\" || worktree?.status === \"merged\") {\n      return true;\n    }\n  }\n  return false;\n}\n\nexport async function getActiveConfidencePolicy(\n  ctx: EpistemicBeliefCtx\n): Promise<ConfidencePolicyConfig> {\n  try {\n    const activeConfig = await ctx.db\n      .query(\"logicSprintScoring\")\n      .withIndex(\"by_active\", (q: EpistemicIndexQuery) =>\n        q.eq(\"isActive\", true)\n      )\n      .first();\n\n    return {\n      scoringMode:\n        activeConfig?.confidencePolicy === \"always\"\n          ? \"always\"\n          : DEFAULT_CONFIDENCE_POLICY.scoringMode,\n      tupleContradiction: normalizeTupleContradictionPolicy(\n        activeConfig?.tupleContradictionPolicy as\n          | Partial<ConfidencePolicyConfig[\"tupleContradiction\"]>\n          | undefined\n      ),\n    };\n  } catch (error) {\n    debugGraphPrimitiveFallback(\n      \"[epistemicBeliefs] Failed to load active confidence policy\",\n      {\n        error,\n      }\n    );\n    // K-tier/component environments do not carry logicSprintScoring.\n    return DEFAULT_CONFIDENCE_POLICY;\n  }\n}\n\nexport async function requireAuthenticatedUserId(ctx: {\n  auth: { getUserIdentity: () => Promise<unknown> };\n}): Promise<string> {\n  const userId = await getCurrentUserId(\n    ctx as Parameters<typeof getCurrentUserId>[0]\n  );\n  if (!userId) {\n    throwStructuredMutationError({\n      message: \"Authentication required.\",\n      status: 401,\n      code: \"AUTHENTICATION_REQUIRED\",\n      invariantCode: \"auth.required\",\n      suggestion:\n        \"Provide a valid bearer token before invoking belief mutations.\",\n    });\n  }\n  return userId;\n}\n","// biome-ignore-all lint/style/useFilenamingConvention: Public graph-primitives wildcard-export path; rename requires an export-map migration.\n/** Evidence-gated fork precondition helpers. */\n\nimport type { Doc, Id, MutationCtx } from \"./convex\";\nimport { throwStructuredMutationError } from \"./epistemicBeliefs.helpers\";\n\nexport type ForkMode = \"supersede\" | \"branch\";\nexport type ForkTriggerRelation = \"supports\" | \"contradicts\";\n\nfunction normalizeForkTriggerRelation(\n  value: unknown\n): ForkTriggerRelation | null {\n  if (value === \"supports\" || value === \"supporting\") {\n    return \"supports\";\n  }\n  if (value === \"contradicts\" || value === \"contradicting\") {\n    return \"contradicts\";\n  }\n  return null;\n}\n\nexport async function resolveForkTriggerEvidence(\n  ctx: MutationCtx,\n  args: {\n    parentNodeId: Id<\"epistemicNodes\">;\n    parent: Doc<\"epistemicNodes\">;\n    triggeringEvidenceId: Id<\"epistemicNodes\">;\n    forkMode: ForkMode;\n  }\n): Promise<{\n  evidenceNodeId: Id<\"epistemicNodes\">;\n  relation: ForkTriggerRelation;\n}> {\n  const evidence = await ctx.db.get(args.triggeringEvidenceId);\n  if (evidence?.nodeType !== \"evidence\") {\n    throwStructuredMutationError({\n      message: \"Fork requires an existing evidence node.\",\n      status: 400,\n      code: \"INVALID_ARGUMENT\",\n      invariantCode: \"belief.fork_requires_evidence\",\n      suggestion:\n        \"Create or link evidence first, then fork with triggeringEvidenceId.\",\n      details: { triggeringEvidenceId: args.triggeringEvidenceId },\n    });\n  }\n  if (evidence.topicId && evidence.topicId !== args.parent.topicId) {\n    throwStructuredMutationError({\n      message: \"Fork evidence belongs to a different topic scope.\",\n      status: 400,\n      code: \"INVALID_ARGUMENT\",\n      invariantCode: \"belief.fork_evidence_scope\",\n      suggestion:\n        \"Use evidence from the same topic/workspace scope as the parent belief.\",\n      details: {\n        parentNodeId: args.parentNodeId,\n        triggeringEvidenceId: args.triggeringEvidenceId,\n      },\n    });\n  }\n\n  const evidenceMetadata =\n    evidence.metadata && typeof evidence.metadata === \"object\"\n      ? (evidence.metadata as Record<string, unknown>)\n      : {};\n  const parentRefs = new Set(\n    [\n      String(args.parentNodeId),\n      String(args.parent.globalId ?? \"\"),\n      String(args.parent._id),\n    ].filter(Boolean)\n  );\n  const evidenceRefs = new Set(\n    [\n      String(args.triggeringEvidenceId),\n      String(evidence.globalId ?? \"\"),\n      String(evidence._id),\n    ].filter(Boolean)\n  );\n\n  let relation: ForkTriggerRelation | null = null;\n  const linkedBeliefNodeId = String(evidenceMetadata.linkedBeliefNodeId ?? \"\");\n  if (linkedBeliefNodeId && parentRefs.has(linkedBeliefNodeId)) {\n    relation = normalizeForkTriggerRelation(evidenceMetadata.evidenceRelation);\n  }\n\n  if (!relation) {\n    for (const parentRef of parentRefs) {\n      const links = await ctx.db\n        .query(\"beliefEvidenceLinks\")\n        .withIndex(\"by_beliefId\", (q) => q.eq(\"beliefId\", parentRef))\n        .collect();\n      const matched = links.find((link) =>\n        evidenceRefs.has(String(link.insightId))\n      );\n      if (matched) {\n        relation = normalizeForkTriggerRelation(matched.relation);\n        break;\n      }\n    }\n  }\n\n  if (!relation) {\n    throwStructuredMutationError({\n      message:\n        \"Fork evidence must already be attached to the parent belief through an SL evidence relation.\",\n      status: 409,\n      code: \"CONFLICT\",\n      invariantCode: \"belief.fork_requires_attached_evidence\",\n      suggestion:\n        \"Attach the evidence to the parent belief as supports or contradicts before forking.\",\n      details: {\n        parentNodeId: args.parentNodeId,\n        triggeringEvidenceId: args.triggeringEvidenceId,\n      },\n    });\n  }\n  if (args.forkMode === \"supersede\" && relation !== \"contradicts\") {\n    throwStructuredMutationError({\n      message:\n        \"Superseding fork requires contradicting evidence against the parent belief.\",\n      status: 409,\n      code: \"CONFLICT\",\n      invariantCode: \"belief.supersede_requires_contradiction\",\n      suggestion:\n        \"Use forkMode='branch' for a non-replacing fork, or attach contradicting evidence before superseding.\",\n      details: {\n        parentNodeId: args.parentNodeId,\n        triggeringEvidenceId: args.triggeringEvidenceId,\n        relation,\n      },\n    });\n  }\n\n  return { evidenceNodeId: args.triggeringEvidenceId, relation };\n}\n"]}

package/dist/epistemicBeliefs.helpers.d.ts

@@ -1,8 +1,11 @@
-import { r as resolveTopicProjectScope, T as TopicProjectScope } from './topicScope-7zhyeGl7.js';
+import { r as resolveTopicProjectScope, T as TopicProjectScope } from './topicScope-DJVa0mLa.js';
 import * as convex_values from 'convex/values';
 import { VerificationConfidenceTrigger, SLOperator, SLOpinion, Opinion, ConfidencePolicyConfig } from '@lucern/confidence';
 import { B as BeliefLifecycleStatus } from './beliefLifecycle-CXwdDw5e.js';
-import { Id, Doc, QueryCtx } from './convex.js';
+import { Id, QueryCtx } from './convex.js';
+export { StructuredMutationErrorData, throwStructuredMutationError } from '@lucern/access-control/structuredMutationError';
+import '@lucern/access-control/convex';
+import '@lucern/contracts/convex/unsafeAnyApi';
 
 declare const insightIdUnion: convex_values.VId<convex_values.GenericId<"epistemicNodes">, "required">;
 declare const MAX_PROJECT_BELIEF_LIMIT = 1000;
@@ -10,59 +13,52 @@ declare const optionalBeliefScopeArgs: {
     readonly projectId: convex_values.VString<string | undefined, "optional">;
     readonly topicId: convex_values.VString<string | undefined, "optional">;
 };
-/**
- * Boundary-safe payload carried inside a {@link ConvexError}. Mirrors the kernel
- * copy in packages/reasoning-kernel/src/adapters/beliefs.shared.ts so structured
- * refusals from the graph-primitives module survive the Convex client boundary
- * (only `ConvexError.data` is preserved across serialization).
- */
-type StructuredMutationErrorData = {
-    structuredMutationError: true;
-    message: string;
-    status: number;
-    code: string;
-    invariantCode?: string;
-    suggestion?: string;
-    details?: unknown;
-};
-type BeliefScopeArgs = {
+
+interface BeliefScopeArgs {
     projectId?: string | null;
     topicId?: string | null;
-};
-type EpistemicIndexQuery = {
-    eq(field: string, value: unknown): EpistemicIndexQuery;
-    gt(field: string, value: unknown): EpistemicIndexQuery;
-    lt(field: string, value: unknown): EpistemicIndexQuery;
-    field(field: string): string;
-};
-type EpistemicQueryChain<T> = {
-    withIndex(_name: string, callback: (q: EpistemicIndexQuery) => EpistemicIndexQuery): EpistemicQueryChain<T>;
-    order(direction: "asc" | "desc"): EpistemicQueryChain<T>;
-    filter(callback: (q: EpistemicIndexQuery) => EpistemicIndexQuery): EpistemicQueryChain<T>;
-    first(): Promise<T | null>;
-    collect(): Promise<T[]>;
-    take(limit: number): Promise<T[]>;
-};
-type EpistemicBeliefCtx = QueryCtx & {
-    db: {
-        query<T = unknown>(_table: string): EpistemicQueryChain<T>;
-        get<T = unknown>(id: Id<string>): Promise<T | null>;
-    };
-    scheduler: {
-        runAfter(_delayMs: number, _handler: unknown, _args: unknown): Promise<unknown>;
-    };
-};
+}
+interface EpistemicNodeOpinionSource {
+    _id?: unknown;
+    metadata?: Record<string, unknown> | null;
+    opinion_a?: number;
+    opinion_b?: number;
+    opinion_d?: number;
+    opinion_u?: number;
+    tupleContradicted?: boolean;
+    userId?: string;
+}
+interface EpistemicNodeOpinionDoc extends EpistemicNodeOpinionSource {
+    _creationTime?: number;
+    _id: Id<"epistemicNodes">;
+    anonymizationClass?: string;
+    audienceLabel?: string;
+    beliefStatus?: unknown;
+    canonicalText?: string;
+    confidence?: unknown;
+    createdAt?: number;
+    createdBy?: string;
+    epistemicLayer?: string;
+    exportClass?: string;
+    globalId?: string;
+    metadata?: Record<string, unknown> | null;
+    nodeType: "belief";
+    policyTags?: string[];
+    predictionMeta?: unknown;
+    projectId?: string;
+    publicationStatus?: string;
+    sensitivityTier?: string;
+    status?: string;
+    tenantId?: string;
+    topicId?: string;
+    updatedAt?: number;
+    workspaceId?: string;
+}
+type EpistemicBeliefCtx = QueryCtx;
 type AudienceClass = "internal" | "restricted_external" | "public";
 type BeliefConfidenceTrigger = "initial" | "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "propagation" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "backfill_synthetic" | VerificationConfidenceTrigger;
-declare function throwStructuredMutationError(args: {
-    message: string;
-    status: number;
-    code: string;
-    invariantCode?: string;
-    suggestion?: string;
-    details?: unknown;
-}): never;
 declare function readFiniteNumber(value: unknown): number | undefined;
+declare function readBeliefNodeView(value: unknown): EpistemicNodeOpinionDoc | null;
 declare function assertBaseRateInRange(baseRate: number, field?: string): number;
 declare function buildBeliefConfidenceRow(args: {
     beliefId: Id<"epistemicNodes">;
@@ -106,8 +102,10 @@ declare function buildBeliefEvidenceNotFoundResult(): BeliefStatusResult;
 declare function deriveSyntheticBackfillOpinion(source: Record<string, unknown>): SLOpinion;
 declare function clampBeliefLimit(limit: number | undefined, fallback?: number): number;
 declare function readTupleContradictedFlag(value: unknown): boolean | undefined;
-declare function readBeliefOpinionSnapshot(node: Doc<"epistemicNodes">, metadata: Record<string, unknown>): SLOpinion;
-declare function deriveTupleContradictionSeverity(node: Doc<"epistemicNodes">): "critical" | "significant" | "minor";
+declare function readBeliefOpinionSnapshot(node: EpistemicNodeOpinionSource, metadata: Record<string, unknown>): SLOpinion;
+declare function deriveTupleContradictionSeverity(node: {
+    metadata?: Record<string, unknown> | null;
+}): "critical" | "significant" | "minor";
 declare function formatTupleContradictionDescription(args: {
     opinion: Opinion;
     policy: ConfidencePolicyConfig["tupleContradiction"];
@@ -124,22 +122,22 @@ declare function resolveBeliefScopeOrNull(ctx: QueryCtx, args: BeliefScopeArgs):
 declare function getBeliefNodesForScope(ctx: EpistemicBeliefCtx, scope: Awaited<ReturnType<typeof resolveTopicProjectScope>>, args?: {
     scanLimit?: number;
     status?: string;
-}): Promise<any[]>;
+}): Promise<EpistemicNodeOpinionDoc[]>;
 declare function createBeliefAudienceResolver(registryRows: Array<{
     audienceKey?: string | null;
     audienceClass: AudienceClass;
 }>): (audienceKey: string | undefined | null, fallback: AudienceClass) => AudienceClass;
-declare function flattenBeliefNode(node: Doc<"epistemicNodes">): {
-    _id: any;
-    _epistemicNodeId: any;
-    _creationTime: any;
-    belief: any;
-    formulation: any;
-    projectId: any;
-    topicId: any;
-    userId: any;
+declare function flattenBeliefNode(node: EpistemicNodeOpinionDoc): {
+    _id: Id<"epistemicNodes">;
+    _epistemicNodeId: Id<"epistemicNodes">;
+    _creationTime: number | undefined;
+    belief: string | undefined;
+    formulation: string | undefined;
+    projectId: string | undefined;
+    topicId: string | undefined;
+    userId: string;
     confidence: "high" | "medium" | "low";
-    status: any;
+    status: string | undefined;
     beliefStatus: BeliefLifecycleStatus;
     topic: string;
     pillar: string;
@@ -150,19 +148,19 @@ declare function flattenBeliefNode(node: Doc<"epistemicNodes">): {
     contradictingEvidence: string[];
     testingQuestions: string[];
     linkedInsights: string[];
-    createdAt: any;
-    updatedAt: any;
+    createdAt: number | undefined;
+    updatedAt: number | undefined;
     tupleContradicted: boolean;
     sprintId: string | undefined;
     worktreeId: string | undefined;
     sourceBeliefIds: string[];
     criticality: "critical" | "blocking" | "supporting" | "nice_to_have" | "unanalyzed" | "important";
     rationale: string;
-    audienceLabel: any;
-    policyTags: any;
-    sensitivityTier: any;
-    exportClass: any;
-    anonymizationClass: any;
+    audienceLabel: string | undefined;
+    policyTags: string[] | undefined;
+    sensitivityTier: string | undefined;
+    exportClass: string | undefined;
+    anonymizationClass: string | undefined;
 };
 declare function resolveBeliefStatus(node: {
     beliefStatus?: unknown;
@@ -176,8 +174,5 @@ declare function requireAuthenticatedUserId(ctx: {
         getUserIdentity: () => Promise<unknown>;
     };
 }): Promise<string>;
-declare function requireProjectWriteAccess(ctx: {
-    db: unknown;
-}, projectId: string, userId: string): Promise<void>;
 
-export { type BeliefConfidenceTrigger, MAX_PROJECT_BELIEF_LIMIT, type StructuredMutationErrorData, assertBaseRateInRange, buildBeliefConfidenceRow, buildBeliefEvidenceNotFoundResult, buildBeliefStatusSuccessResult, clampBeliefLimit, createBeliefAudienceResolver, deriveSyntheticBackfillOpinion, deriveTupleContradictionSeverity, flattenBeliefNode, formatTupleContradictionDescription, generateContentHash, getActiveConfidencePolicy, getBeliefNodesForScope, hasCompletedWorktreeForBelief, insightIdUnion, markBeliefGraphDirty, normalizePillar, optionalBeliefScopeArgs, readBeliefOpinionSnapshot, readFiniteNumber, readTupleContradictedFlag, requireAuthenticatedUserId, requireProjectWriteAccess, resolveBeliefScopeOrNull, resolveBeliefStatus, resolveBeliefWorktreeId, throwStructuredMutationError };
+export { type BeliefConfidenceTrigger, type EpistemicNodeOpinionDoc, MAX_PROJECT_BELIEF_LIMIT, assertBaseRateInRange, buildBeliefConfidenceRow, buildBeliefEvidenceNotFoundResult, buildBeliefStatusSuccessResult, clampBeliefLimit, createBeliefAudienceResolver, deriveSyntheticBackfillOpinion, deriveTupleContradictionSeverity, flattenBeliefNode, formatTupleContradictionDescription, generateContentHash, getActiveConfidencePolicy, getBeliefNodesForScope, hasCompletedWorktreeForBelief, insightIdUnion, markBeliefGraphDirty, normalizePillar, optionalBeliefScopeArgs, readBeliefNodeView, readBeliefOpinionSnapshot, readFiniteNumber, readTupleContradictedFlag, requireAuthenticatedUserId, resolveBeliefScopeOrNull, resolveBeliefStatus, resolveBeliefWorktreeId };