@lucern/graph-primitives 1.0.37 → 1.0.39

package/dist/evaluators/test-runner-evaluator.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../../src/debug.ts","../../src/evaluators/shared.ts","../../src/evaluators/test-runner-evaluator.ts"],"names":[],"mappings":";AAMA,SAAS,4BAAA,GAAwC;AAC/C,EAAA,MAAM,GAAA,GAAO,WAA8C,OAAA,EAAS,GAAA;AACpE,EAAA,OACE,GAAA,EAAK,4BAAA,KAAiC,GAAA,IAAO,GAAA,EAAK,kBAAA,KAAuB,GAAA;AAE7E;AAsBO,SAAS,2BAAA,CACd,SACA,OAAA,EACM;AACN,EAAA,IAAI,CAAC,8BAA6B,EAAG;AACnC,IAAA;AAAA,EACF;AACA,EAAA,OAAA,CAAQ,KAAA,CAAM,OAAA,EAAS,OAAA,IAAW,EAAE,CAAA;AACtC;;;ACrBA,IAAM,uBAAA,GAA0B,KAAA;AAChC,IAAM,iBAAA,GAAoB,OAAA;AAEnB,SAAS,QAAQ,KAAA,EAA2B;AACjD,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAAI,QAAQ,EAAC;AACzC;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,OAAO,QAAA,CAAS,KAAK,IAAI,KAAA,GAAQ,IAAA;AACvE;AAEO,SAAS,SAAS,KAAA,EAAkC;AACzD,EAAA,OAAO,KAAA,IAAS,OAAO,KAAA,KAAU,QAAA,IAAY,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAC5D,KAAA,GACD,IAAA;AACN;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,CAAM,IAAA,GAAO,MAAA,GAAS,CAAA,GACtD,KAAA,CAAM,IAAA,EAAK,GACX,IAAA;AACN;AAEO,SAAS,uBAAA,CACd,WACA,kBAAA,EACmC;AACnC,EAAA,IAAI,cAAc,WAAA,EAAa;AAC7B,IAAA,OAAO,qBAAqB,cAAA,GAAiB,WAAA;AAAA,EAC/C;AACA,EAAA,OAAO,qBAAqB,WAAA,GAAc,cAAA;AAC5C;AAEO,SAAS,sBAAsB,KAAA,EAA0B;AAC9D,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,MAAM,SAAA,GAAY,SAAS,KAAK,CAAA;AAChC,IAAA,OAAO,SAAA,GAAY,CAAC,SAAS,CAAA,GAAI,EAAC;AAAA,EACpC;AAEA,EAAA,MAAM,UAAA,GAAa;AAAA,IACjB,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,IAAA;AAAA,IACP,MAAA,CAAO,OAAA;AAAA,IACP,MAAA,CAAO;AAAA,GACT,CACG,IAAI,QAAQ,CAAA,CACZ,OAAO,CAAC,SAAA,KAAmC,OAAA,CAAQ,SAAS,CAAC,CAAA;AAEhE,EAAA,KAAA,MAAW,aAAa,CAAC,QAAA,EAAU,QAAA,EAAU,MAAA,EAAQ,SAAS,CAAA,EAAG;AAC/D,IAAA,MAAM,MAAA,GAAS,OAAO,SAAS,CAAA;AAC/B,IAAA,IAAI,WAAW,KAAA,EAAO;AACpB,MAAA,UAAA,CAAW,IAAA,CAAK,GAAG,qBAAA,CAAsB,MAAM,CAAC,CAAA;AAAA,IAClD;AAAA,EACF;AAEA,EAAA,OAAO,KAAA,CAAM,IAAA,CAAK,IAAI,GAAA,CAAI,UAAU,CAAC,CAAA;AACvC;AAEO,SAAS,kBAAkB,KAAA,EAAuB;AACvD,EAAA,OAAO,MACJ,OAAA,CAAQ,uBAAA,EAAyB,GAAG,CAAA,CACpC,OAAA,CAAQ,mBAAmB,EAAE,CAAA;AAClC;AAEO,SAAS,4BACd,KAAA,EACoB;AACpB,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,QAAA,CAAS,KAAK,CAAA,IAAK;AAAA,KAC7B;AAAA,EACF;AAEA,EAAA,MAAM,QAAA,GACJ,QAAA,CAAS,MAAA,CAAO,QAAQ,CAAA,IACxB,QAAA,CAAS,MAAA,CAAO,IAAI,CAAA,IACpB,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IACtB,IAAA;AAEF,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,QAAA,CAAS,MAAA,CAAO,OAAO,CAAA,IAAK,MAAA;AAAA,IACrC,IAAA,EAAM,MAAA,CAAO,IAAA,IAAQ,MAAA,CAAO,OAAA;AAAA,IAC5B,QAAA;AAAA,IACA,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EACE,OAAO,MAAA,IACP,MAAA,CAAO,QACP,MAAA,CAAO,MAAA,IACP,OAAO,OAAA,IACP,MAAA;AAAA,IACF,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK;AAAA,GACrC;AACF;AAEO,SAAS,mBAAgC,KAAA,EAA0B;AACxE,EAAA,IAAI,KAAA,KAAU,IAAA,IAAQ,KAAA,KAAU,MAAA,EAAW;AACzC,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,IAAI;AACF,IAAA,OAAO,IAAA,CAAK,MAAM,KAAK,CAAA;AAAA,EACzB,SAAS,KAAA,EAAO;AACd,IAAA,2BAAA;AAAA,MACE,oDAAA;AAAA,MACA;AAAA,QACE,KAAA;AAAA,QACA,WAAW,OAAO;AAAA;AACpB,KACF;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AACF;AAEO,SAAS,kBAAA,CAAmB,UAAkB,OAAA,EAA0B;AAC7E,EAAA,MAAM,cAAA,GAAiB,kBAAkB,QAAQ,CAAA;AACjD,EAAA,MAAM,iBAAA,GAAoB,kBAAkB,OAAO,CAAA;AACnD,EAAA,MAAM,OAAA,GAAU,iBAAA,CAAkB,OAAA,CAAQ,mBAAA,EAAqB,MAAM,CAAA;AACrE,EAAA,MAAM,YAAA,GAAe,OAAA,CAClB,OAAA,CAAQ,WAAA,EAAa,IAAI,CAAA,CACzB,OAAA,CAAQ,OAAA,EAAS,OAAO,CAAA,CACxB,OAAA,CAAQ,OAAA,EAAS,MAAM,CAAA;AAC1B,EAAA,OAAO,IAAI,MAAA,CAAO,CAAA,CAAA,EAAI,YAAY,CAAA,CAAA,CAAG,CAAA,CAAE,KAAK,cAAc,CAAA;AAC5D;;;ACnHA,SAAS,YAAY,SAAA,EAAyD;AAC5E,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,SAAA,CAAU,eAAe,CAAA;AACjD,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAEA,EAAA,MAAM,WAAA,GAAc,QAAA,CAAS,MAAA,CAAO,WAAW,CAAA;AAC/C,EAAA,IAAI,CAAC,WAAA,EAAa;AAChB,IAAA,MAAM,IAAI,MAAM,+CAA+C,CAAA;AAAA,EACjE;AAEA,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA;AACrC,EAAA,IAAI,WAAW,QAAA,EAAU;AACvB,IAAA,MAAM,IAAI,KAAA,CAAM,CAAA,yBAAA,EAA4B,OAAO,MAAA,CAAO,MAAM,CAAC,CAAA,CAAE,CAAA;AAAA,EACrE;AAEA,EAAA,OAAO;AAAA,IACL,MAAA;AAAA,IACA;AAAA,GACF;AACF;AAEA,SAAS,mBAAmB,KAAA,EAA0B;AACpD,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO,EAAC;AAAA,EACV;AAEA,EAAA,MAAM,QAAA,GAAW,QAAA,CAAS,MAAA,CAAO,QAAQ,CAAA;AACzC,EAAA,MAAM,KAAA,GAAQ,QAAA,CAAS,MAAA,CAAO,KAAK,CAAA;AACnC,EAAA,MAAM,KAAA,GAAQ,YAAY,KAAA,IAAS,cAAA;AACnC,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA;AACrC,EAAA,MAAM,QAAQ,QAAA,CAAS,QAAA,CAAS,MAAA,CAAO,MAAM,GAAG,KAAK,CAAA;AACrD,EAAA,MAAM,WACJ,MAAA,KAAW,QAAA,IACX,WAAW,MAAA,IACX,KAAA,KAAU,YACV,KAAA,KAAU,MAAA;AAEZ,EAAA,MAAM,QAAA,GAAW,QAAA,GAAW,CAAC,KAAK,IAAI,EAAC;AACvC,EAAA,KAAA,MAAW,SAAA,IAAa,CAAC,kBAAA,EAAoB,OAAA,EAAS,OAAO,CAAA,EAAG;AAC9D,IAAA,KAAA,MAAW,MAAA,IAAU,OAAA,CAAQ,MAAA,CAAO,SAAS,CAAC,CAAA,EAAG;AAC/C,MAAA,QAAA,CAAS,IAAA,CAAK,GAAG,kBAAA,CAAmB,MAAM,CAAC,CAAA;AAAA,IAC7C;AAAA,EACF;AAEA,EAAA,OAAO,QAAA;AACT;AAEA,SAAS,mBAAmB,KAAA,EAA0B;AACpD,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO,EAAC;AAAA,EACV;AAEA,EAAA,MAAM,QAAA,GAAW,QAAA,CAAS,MAAA,CAAO,QAAQ,CAAA;AACzC,EAAA,MAAM,KAAA,GAAQ,QAAA,CAAS,MAAA,CAAO,KAAK,CAAA;AACnC,EAAA,MAAM,KAAA,GAAQ,YAAY,KAAA,IAAS,cAAA;AACnC,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA;AACrC,EAAA,MAAM,QAAQ,QAAA,CAAS,QAAA,CAAS,MAAA,CAAO,MAAM,GAAG,KAAK,CAAA;AACrD,EAAA,MAAM,QAAA,GAAW,MAAA,KAAW,QAAA,IAAY,KAAA,KAAU,QAAA;AAElD,EAAA,MAAM,MAAA,GAAS,QAAA,GAAW,CAAC,KAAK,IAAI,EAAC;AACrC,EAAA,KAAA,MAAW,SAAA,IAAa,CAAC,kBAAA,EAAoB,OAAA,EAAS,OAAO,CAAA,EAAG;AAC9D,IAAA,KAAA,MAAW,MAAA,IAAU,OAAA,CAAQ,MAAA,CAAO,SAAS,CAAC,CAAA,EAAG;AAC/C,MAAA,MAAA,CAAO,IAAA,CAAK,GAAG,kBAAA,CAAmB,MAAM,CAAC,CAAA;AAAA,IAC3C;AAAA,EACF;AAEA,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,WAAW,KAAA,EAAoC;AACtD,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,MAAM,QAAA,GACJ,QAAA,CAAS,MAAA,CAAO,IAAI,KACpB,QAAA,CAAS,MAAA,CAAO,IAAI,CAAA,IACpB,SAAS,MAAA,CAAO,QAAQ,CAAA,IACxB,QAAA,CAAS,OAAO,QAAQ,CAAA;AAC1B,EAAA,IAAI,CAAC,QAAA,EAAU;AACb,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,OAAO;AAAA,IACL,WAAA,EAAa,MAAM,IAAA,CAAK,IAAI,IAAI,kBAAA,CAAmB,MAAM,CAAC,CAAC,CAAA;AAAA,IAC3D,QAAA,EAAU,kBAAkB,QAAQ,CAAA;AAAA,IACpC,WAAA,EAAa,MAAM,IAAA,CAAK,IAAI,IAAI,kBAAA,CAAmB,MAAM,CAAC,CAAC;AAAA,GAC7D;AACF;AAEA,SAAS,kBAAkB,UAAA,EAAoC;AAC7D,EAAA,MAAM,QAAA,GAAW,4BAA4B,UAAU,CAAA;AACvD,EAAA,MAAM,UAAA,GAAa;AAAA,IACjB,QAAA,CAAS,MAAA;AAAA,IACT,QAAA,CAAS,IAAA;AAAA,IACT,QAAA,CAAS,MAAA;AAAA,IACT,QAAA,CAAS,MAAA;AAAA,IACT,GAAG,sBAAsB,UAAU;AAAA,GACrC;AAEA,EAAA,KAAA,MAAW,aAAa,UAAA,EAAY;AAClC,IAAA,MAAM,MAAA,GAAS,mBAAmB,SAAS,CAAA;AAC3C,IAAA,MAAM,MAAA,GAAS,SAAS,MAAM,CAAA;AAC9B,IAAA,IAAI,CAAC,MAAA,EAAQ;AACX,MAAA;AAAA,IACF;AAEA,IAAA,MAAM,MAAA,GAAS,OAAA,CAAQ,MAAA,CAAO,WAAW,CAAA,CACtC,GAAA,CAAI,UAAU,CAAA,CACd,MAAA,CAAO,CAAC,KAAA,KAAgC,OAAA,CAAQ,KAAK,CAAC,CAAA;AACzD,IAAA,IAAI,MAAA,CAAO,SAAS,CAAA,EAAG;AACrB,MAAA,OAAO,MAAA;AAAA,IACT;AAEA,IAAA,MAAM,UAAA,GAAa,OAAA,CAAQ,MAAA,CAAO,KAAK,CAAA,CACpC,GAAA,CAAI,UAAU,CAAA,CACd,MAAA,CAAO,CAAC,KAAA,KAAgC,OAAA,CAAQ,KAAK,CAAC,CAAA;AACzD,IAAA,IAAI,UAAA,CAAW,SAAS,CAAA,EAAG;AACzB,MAAA,OAAO,UAAA;AAAA,IACT;AAAA,EACF;AAEA,EAAA,OAAO,EAAC;AACV;AAEA,SAAS,gBAAA,CACP,UACA,UAAA,EACe;AACf,EAAA,MAAM,MAAA,GAAS,WAAA,CAAY,QAAA,CAAS,SAAS,CAAA;AAC7C,EAAA,OAAO,iBAAA,CAAkB,UAAU,CAAA,CAAE,MAAA;AAAA,IAAO,CAAC,KAAA,KAC3C,kBAAA,CAAmB,KAAA,CAAM,QAAA,EAAU,OAAO,WAAW;AAAA,GACvD;AACF;AAMO,IAAM,mBAAA,GAAqD;AAAA,EAChE,IAAA,EAAM,aAAA;AAAA,EACN,OAAA,CAAQ,EAAE,QAAA,EAAU,UAAA,EAAW,EAAG;AAChC,IAAA,OAAO,gBAAA,CAAiB,QAAA,EAAU,UAAU,CAAA,CAAE,MAAA,GAAS,CAAA;AAAA,EACzD,CAAA;AAAA,EACA,SAAS,IAAA,EAA2D;AAClE,IAAA,MAAM,MAAA,GAAS,WAAA,CAAY,IAAA,CAAK,QAAA,CAAS,SAAS,CAAA;AAClD,IAAA,MAAM,aAAA,GAAgB,gBAAA,CAAiB,IAAA,CAAK,QAAA,EAAU,KAAK,UAAU,CAAA;AACrE,IAAA,IAAI,CAAC,KAAK,UAAA,EAAY;AACpB,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,OAAA;AAAA,QACR,SAAA,EAAW;AAAA,OACb;AAAA,IACF;AACA,IAAA,IAAI,aAAA,CAAc,WAAW,CAAA,EAAG;AAC9B,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,cAAA;AAAA,QACR,SAAA,EAAW,CAAA,yBAAA,EAA4B,MAAA,CAAO,WAAW,CAAA,CAAA;AAAA,OAC3D;AAAA,IACF;AAEA,IAAA,MAAM,cAAc,aAAA,CAAc,OAAA,CAAQ,CAAC,KAAA,KAAU,MAAM,WAAW,CAAA;AACtE,IAAA,MAAM,cAAc,aAAA,CAAc,OAAA,CAAQ,CAAC,KAAA,KAAU,MAAM,WAAW,CAAA;AACtE,IAAA,MAAM,kBAAA,GAAqB,YAAY,MAAA,KAAW,CAAA;AAElD,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,uBAAA;AAAA,QACN,KAAK,QAAA,CAAS,SAAA;AAAA,QACd;AAAA,OACF;AAAA,MACA,SAAA,EAAW,qBACP,CAAA,eAAA,EAAkB,aAAA,CAAc,MAAM,CAAA,cAAA,EAAiB,MAAA,CAAO,WAAW,CAAA,MAAA,EAAS,WAAA,CAAY,MAAM,6BACpG,CAAA,eAAA,EAAkB,aAAA,CAAc,MAAM,CAAA,cAAA,EAAiB,MAAA,CAAO,WAAW,CAAA,iBAAA,EAAoB,WAAA,CAAY,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA;AAAA,MACvH,IAAA,EAAM;AAAA,QACJ,QAAQ,MAAA,CAAO,MAAA;AAAA,QACf,aAAa,MAAA,CAAO,WAAA;AAAA,QACpB,cAAc,aAAA,CAAc,GAAA,CAAI,CAAC,KAAA,KAAU,MAAM,QAAQ,CAAA;AAAA,QACzD,WAAA;AAAA,QACA,iBAAiB,WAAA,CAAY;AAAA;AAC/B,KACF;AAAA,EACF;AACF","file":"test-runner-evaluator.js","sourcesContent":["interface GraphPrimitiveDebugEnvironment {\n  process?: {\n    env?: Record<string, string | undefined>;\n  };\n}\n\nfunction isGraphPrimitiveDebugEnabled(): boolean {\n  const env = (globalThis as GraphPrimitiveDebugEnvironment).process?.env;\n  return (\n    env?.LUCERN_COMPAT_FALLBACK_DEBUG === \"1\" || env?.LUCERN_GRAPH_DEBUG === \"1\"\n  );\n}\n\nexport function formatGraphPrimitiveError(error: unknown): string {\n  if (error instanceof Error) {\n    return `${error.name}: ${error.message}`;\n  }\n  if (typeof error === \"string\") {\n    return error;\n  }\n  if (error === null) {\n    return \"null\";\n  }\n  if (error === undefined) {\n    return \"undefined\";\n  }\n  try {\n    return JSON.stringify(error);\n  } catch {\n    return Object.prototype.toString.call(error);\n  }\n}\n\nexport function debugGraphPrimitiveFallback(\n  message: string,\n  context?: Record<string, unknown>\n): void {\n  if (!isGraphPrimitiveDebugEnabled()) {\n    return;\n  }\n  console.debug(message, context ?? {});\n}\n","/** Shared evaluator helpers and result-normalization utilities. */\n\nimport { debugGraphPrimitiveFallback } from \"../debug\";\nimport type {\n  EpistemicContractDirection,\n  EpistemicContractEvaluationResult,\n} from \"../epistemicContractHelpers\";\n\nexport interface ToolResultEnvelope {\n  command?: string;\n  data?: unknown;\n  exitCode?: number | null;\n  output?: string;\n  report?: unknown;\n  stderr?: string;\n  stdout?: string;\n}\n\ntype AnyRecord = Record<string, unknown>;\n\nconst WINDOWS_PATH_SEPARATORS = /\\\\/g;\nconst LEADING_DOT_SLASH = /^\\.\\//;\n\nexport function asArray(value: unknown): unknown[] {\n  return Array.isArray(value) ? value : [];\n}\n\nexport function asNumber(value: unknown): number | null {\n  return typeof value === \"number\" && Number.isFinite(value) ? value : null;\n}\n\nexport function asRecord(value: unknown): AnyRecord | null {\n  return value && typeof value === \"object\" && !Array.isArray(value)\n    ? (value as AnyRecord)\n    : null;\n}\n\nexport function asString(value: unknown): string | null {\n  return typeof value === \"string\" && value.trim().length > 0\n    ? value.trim()\n    : null;\n}\n\nexport function deriveDirectionalResult(\n  direction: EpistemicContractDirection,\n  conditionSatisfied: boolean\n): EpistemicContractEvaluationResult {\n  if (direction === \"falsifies\") {\n    return conditionSatisfied ? \"disconfirmed\" : \"confirmed\";\n  }\n  return conditionSatisfied ? \"confirmed\" : \"disconfirmed\";\n}\n\nexport function extractTextCandidates(value: unknown): string[] {\n  const record = asRecord(value);\n  if (!record) {\n    const candidate = asString(value);\n    return candidate ? [candidate] : [];\n  }\n\n  const candidates = [\n    record.stdout,\n    record.stderr,\n    record.output,\n    record.text,\n    record.message,\n    record.raw,\n  ]\n    .map(asString)\n    .filter((candidate): candidate is string => Boolean(candidate));\n\n  for (const nestedKey of [\"report\", \"result\", \"data\", \"payload\"]) {\n    const nested = record[nestedKey];\n    if (nested !== value) {\n      candidates.push(...extractTextCandidates(nested));\n    }\n  }\n\n  return Array.from(new Set(candidates));\n}\n\nexport function normalizeFilePath(value: string): string {\n  return value\n    .replace(WINDOWS_PATH_SEPARATORS, \"/\")\n    .replace(LEADING_DOT_SLASH, \"\");\n}\n\nexport function normalizeToolResultEnvelope(\n  value: unknown\n): ToolResultEnvelope {\n  const record = asRecord(value);\n  if (!record) {\n    return {\n      output: asString(value) ?? undefined,\n    };\n  }\n\n  const exitCode =\n    asNumber(record.exitCode) ??\n    asNumber(record.code) ??\n    asNumber(record.status) ??\n    null;\n\n  return {\n    command: asString(record.command) ?? undefined,\n    data: record.data ?? record.payload,\n    exitCode,\n    output: asString(record.output) ?? undefined,\n    report:\n      record.report ??\n      record.json ??\n      record.result ??\n      record.payload ??\n      undefined,\n    stderr: asString(record.stderr) ?? undefined,\n    stdout: asString(record.stdout) ?? undefined,\n  };\n}\n\nexport function parseJsonCandidate<T = unknown>(value: unknown): T | null {\n  if (value === null || value === undefined) {\n    return null;\n  }\n\n  if (typeof value !== \"string\") {\n    return value as T;\n  }\n\n  try {\n    return JSON.parse(value) as T;\n  } catch (error) {\n    debugGraphPrimitiveFallback(\n      \"[evaluators/shared] Failed to parse JSON candidate\",\n      {\n        error,\n        valueType: typeof value,\n      }\n    );\n    return null;\n  }\n}\n\nexport function patternMatchesPath(filePath: string, pattern: string): boolean {\n  const normalizedPath = normalizeFilePath(filePath);\n  const normalizedPattern = normalizeFilePath(pattern);\n  const escaped = normalizedPattern.replace(/[.+^${}()|[\\]\\\\]/g, \"\\\\$&\");\n  const regexPattern = escaped\n    .replace(/\\\\\\*\\\\\\*/g, \".*\")\n    .replace(/\\\\\\*/g, \"[^/]*\")\n    .replace(/\\\\\\?/g, \"[^/]\");\n  return new RegExp(`^${regexPattern}$`).test(normalizedPath);\n}\n\nexport function somePatternMatches(\n  filePath: string | null | undefined,\n  patterns: string[]\n): boolean {\n  if (!filePath) {\n    return false;\n  }\n  return patterns.some((pattern) => patternMatchesPath(filePath, pattern));\n}\n","/** Test-runner engineering evaluator for epistemic contracts. */\n\nimport type {\n  EpistemicContractCondition,\n  EpistemicContractRecord,\n} from \"../epistemicContractHelpers\";\nimport type {\n  EpistemicEvaluator,\n  EpistemicEvaluatorContext,\n  EpistemicEvaluatorResult,\n} from \"../epistemicContracts\";\nimport {\n  asArray,\n  asRecord,\n  asString,\n  deriveDirectionalResult,\n  extractTextCandidates,\n  normalizeFilePath,\n  normalizeToolResultEnvelope,\n  parseJsonCandidate,\n  patternMatchesPath,\n} from \"./shared\";\n\ntype AnyContract = Pick<EpistemicContractRecord, \"condition\">;\n\ninterface ParsedSuite {\n  failedTests: string[];\n  filePath: string;\n  passedTests: string[];\n}\n\ninterface TestRunnerConfig {\n  runner: \"vitest\";\n  testPattern: string;\n}\n\nfunction parseConfig(condition: EpistemicContractCondition): TestRunnerConfig {\n  const record = asRecord(condition.evaluatorConfig);\n  if (!record) {\n    throw new Error(\n      'test_runner requires evaluatorConfig with { testPattern, runner: \"vitest\" }.'\n    );\n  }\n\n  const testPattern = asString(record.testPattern);\n  if (!testPattern) {\n    throw new Error(\"test_runner requires a non-empty testPattern.\");\n  }\n\n  const runner = asString(record.runner);\n  if (runner !== \"vitest\") {\n    throw new Error(`Unsupported test runner: ${String(record.runner)}`);\n  }\n\n  return {\n    runner,\n    testPattern,\n  };\n}\n\nfunction collectFailedTests(value: unknown): string[] {\n  const record = asRecord(value);\n  if (!record) {\n    return [];\n  }\n\n  const fullName = asString(record.fullName);\n  const title = asString(record.title);\n  const label = fullName ?? title ?? \"unnamed test\";\n  const status = asString(record.status);\n  const state = asString(asRecord(record.result)?.state);\n  const isFailed =\n    status === \"failed\" ||\n    status === \"fail\" ||\n    state === \"failed\" ||\n    state === \"fail\";\n\n  const failures = isFailed ? [label] : [];\n  for (const nestedKey of [\"assertionResults\", \"tests\", \"tasks\"]) {\n    for (const nested of asArray(record[nestedKey])) {\n      failures.push(...collectFailedTests(nested));\n    }\n  }\n\n  return failures;\n}\n\nfunction collectPassedTests(value: unknown): string[] {\n  const record = asRecord(value);\n  if (!record) {\n    return [];\n  }\n\n  const fullName = asString(record.fullName);\n  const title = asString(record.title);\n  const label = fullName ?? title ?? \"unnamed test\";\n  const status = asString(record.status);\n  const state = asString(asRecord(record.result)?.state);\n  const isPassed = status === \"passed\" || state === \"passed\";\n\n  const passed = isPassed ? [label] : [];\n  for (const nestedKey of [\"assertionResults\", \"tests\", \"tasks\"]) {\n    for (const nested of asArray(record[nestedKey])) {\n      passed.push(...collectPassedTests(nested));\n    }\n  }\n\n  return passed;\n}\n\nfunction parseSuite(value: unknown): ParsedSuite | null {\n  const record = asRecord(value);\n  if (!record) {\n    return null;\n  }\n\n  const filePath =\n    asString(record.name) ??\n    asString(record.file) ??\n    asString(record.filePath) ??\n    asString(record.filepath);\n  if (!filePath) {\n    return null;\n  }\n\n  return {\n    failedTests: Array.from(new Set(collectFailedTests(record))),\n    filePath: normalizeFilePath(filePath),\n    passedTests: Array.from(new Set(collectPassedTests(record))),\n  };\n}\n\nfunction parseVitestSuites(resultData: unknown): ParsedSuite[] {\n  const envelope = normalizeToolResultEnvelope(resultData);\n  const candidates = [\n    envelope.report,\n    envelope.data,\n    envelope.stdout,\n    envelope.output,\n    ...extractTextCandidates(resultData),\n  ];\n\n  for (const candidate of candidates) {\n    const parsed = parseJsonCandidate(candidate);\n    const report = asRecord(parsed);\n    if (!report) {\n      continue;\n    }\n\n    const suites = asArray(report.testResults)\n      .map(parseSuite)\n      .filter((suite): suite is ParsedSuite => Boolean(suite));\n    if (suites.length > 0) {\n      return suites;\n    }\n\n    const fileSuites = asArray(report.files)\n      .map(parseSuite)\n      .filter((suite): suite is ParsedSuite => Boolean(suite));\n    if (fileSuites.length > 0) {\n      return fileSuites;\n    }\n  }\n\n  return [];\n}\n\nfunction getMatchedSuites(\n  contract: AnyContract,\n  resultData: unknown\n): ParsedSuite[] {\n  const config = parseConfig(contract.condition);\n  return parseVitestSuites(resultData).filter((suite) =>\n    patternMatchesPath(suite.filePath, config.testPattern)\n  );\n}\n\nexport type EngineeringEpistemicEvaluator = EpistemicEvaluator & {\n  matches(args: { contract: AnyContract; resultData: unknown }): boolean;\n};\n\nexport const testRunnerEvaluator: EngineeringEpistemicEvaluator = {\n  name: \"test_runner\",\n  matches({ contract, resultData }) {\n    return getMatchedSuites(contract, resultData).length > 0;\n  },\n  evaluate(args: EpistemicEvaluatorContext): EpistemicEvaluatorResult {\n    const config = parseConfig(args.contract.condition);\n    const matchedSuites = getMatchedSuites(args.contract, args.resultData);\n    if (!args.resultData) {\n      return {\n        result: \"error\",\n        rationale: \"test_runner requires Vitest JSON resultData.\",\n      };\n    }\n    if (matchedSuites.length === 0) {\n      return {\n        result: \"inconclusive\",\n        rationale: `No Vitest suites matched ${config.testPattern}.`,\n      };\n    }\n\n    const failedTests = matchedSuites.flatMap((suite) => suite.failedTests);\n    const passedTests = matchedSuites.flatMap((suite) => suite.passedTests);\n    const conditionSatisfied = failedTests.length === 0;\n\n    return {\n      result: deriveDirectionalResult(\n        args.contract.direction,\n        conditionSatisfied\n      ),\n      rationale: conditionSatisfied\n        ? `Vitest matched ${matchedSuites.length} suite(s) for ${config.testPattern}; all ${passedTests.length} test assertions passed.`\n        : `Vitest matched ${matchedSuites.length} suite(s) for ${config.testPattern}; failing tests: ${failedTests.join(\", \")}.`,\n      data: {\n        runner: config.runner,\n        testPattern: config.testPattern,\n        matchedFiles: matchedSuites.map((suite) => suite.filePath),\n        failedTests,\n        passedTestCount: passedTests.length,\n      },\n    };\n  },\n};\n"]}

package/dist/evaluators/tsc-checker-evaluator.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../../src/evaluators/shared.ts","../../src/evaluators/tsc-checker-evaluator.ts"],"names":[],"mappings":";AAoBA,IAAM,uBAAA,GAA0B,KAAA;AAChC,IAAM,iBAAA,GAAoB,OAAA;AAEnB,SAAS,QAAQ,KAAA,EAA2B;AACjD,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAAI,QAAQ,EAAC;AACzC;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,OAAO,QAAA,CAAS,KAAK,IAAI,KAAA,GAAQ,IAAA;AACvE;AAEO,SAAS,SAAS,KAAA,EAAkC;AACzD,EAAA,OAAO,KAAA,IAAS,OAAO,KAAA,KAAU,QAAA,IAAY,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,GAC5D,KAAA,GACD,IAAA;AACN;AAEO,SAAS,SAAS,KAAA,EAA+B;AACtD,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,CAAM,IAAA,GAAO,MAAA,GAAS,CAAA,GACtD,KAAA,CAAM,IAAA,EAAK,GACX,IAAA;AACN;AAEO,SAAS,uBAAA,CACd,WACA,kBAAA,EACmC;AACnC,EAAA,IAAI,cAAc,WAAA,EAAa;AAC7B,IAAA,OAAO,qBAAqB,cAAA,GAAiB,WAAA;AAAA,EAC/C;AACA,EAAA,OAAO,qBAAqB,WAAA,GAAc,cAAA;AAC5C;AAEO,SAAS,sBAAsB,KAAA,EAA0B;AAC9D,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,MAAM,SAAA,GAAY,SAAS,KAAK,CAAA;AAChC,IAAA,OAAO,SAAA,GAAY,CAAC,SAAS,CAAA,GAAI,EAAC;AAAA,EACpC;AAEA,EAAA,MAAM,UAAA,GAAa;AAAA,IACjB,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,MAAA;AAAA,IACP,MAAA,CAAO,IAAA;AAAA,IACP,MAAA,CAAO,OAAA;AAAA,IACP,MAAA,CAAO;AAAA,GACT,CACG,IAAI,QAAQ,CAAA,CACZ,OAAO,CAAC,SAAA,KAAmC,OAAA,CAAQ,SAAS,CAAC,CAAA;AAEhE,EAAA,KAAA,MAAW,aAAa,CAAC,QAAA,EAAU,QAAA,EAAU,MAAA,EAAQ,SAAS,CAAA,EAAG;AAC/D,IAAA,MAAM,MAAA,GAAS,OAAO,SAAS,CAAA;AAC/B,IAAA,IAAI,WAAW,KAAA,EAAO;AACpB,MAAA,UAAA,CAAW,IAAA,CAAK,GAAG,qBAAA,CAAsB,MAAM,CAAC,CAAA;AAAA,IAClD;AAAA,EACF;AAEA,EAAA,OAAO,KAAA,CAAM,IAAA,CAAK,IAAI,GAAA,CAAI,UAAU,CAAC,CAAA;AACvC;AAEO,SAAS,kBAAkB,KAAA,EAAuB;AACvD,EAAA,OAAO,MACJ,OAAA,CAAQ,uBAAA,EAAyB,GAAG,CAAA,CACpC,OAAA,CAAQ,mBAAmB,EAAE,CAAA;AAClC;AAEO,SAAS,4BACd,KAAA,EACoB;AACpB,EAAA,MAAM,MAAA,GAAS,SAAS,KAAK,CAAA;AAC7B,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,QAAA,CAAS,KAAK,CAAA,IAAK;AAAA,KAC7B;AAAA,EACF;AAEA,EAAA,MAAM,QAAA,GACJ,QAAA,CAAS,MAAA,CAAO,QAAQ,CAAA,IACxB,QAAA,CAAS,MAAA,CAAO,IAAI,CAAA,IACpB,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IACtB,IAAA;AAEF,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,QAAA,CAAS,MAAA,CAAO,OAAO,CAAA,IAAK,MAAA;AAAA,IACrC,IAAA,EAAM,MAAA,CAAO,IAAA,IAAQ,MAAA,CAAO,OAAA;AAAA,IAC5B,QAAA;AAAA,IACA,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EACE,OAAO,MAAA,IACP,MAAA,CAAO,QACP,MAAA,CAAO,MAAA,IACP,OAAO,OAAA,IACP,MAAA;AAAA,IACF,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK,MAAA;AAAA,IACnC,MAAA,EAAQ,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA,IAAK;AAAA,GACrC;AACF;AAyBO,SAAS,kBAAA,CAAmB,UAAkB,OAAA,EAA0B;AAC7E,EAAA,MAAM,cAAA,GAAiB,kBAAkB,QAAQ,CAAA;AACjD,EAAA,MAAM,iBAAA,GAAoB,kBAAkB,OAAO,CAAA;AACnD,EAAA,MAAM,OAAA,GAAU,iBAAA,CAAkB,OAAA,CAAQ,mBAAA,EAAqB,MAAM,CAAA;AACrE,EAAA,MAAM,YAAA,GAAe,OAAA,CAClB,OAAA,CAAQ,WAAA,EAAa,IAAI,CAAA,CACzB,OAAA,CAAQ,OAAA,EAAS,OAAO,CAAA,CACxB,OAAA,CAAQ,OAAA,EAAS,MAAM,CAAA;AAC1B,EAAA,OAAO,IAAI,MAAA,CAAO,CAAA,CAAA,EAAI,YAAY,CAAA,CAAA,CAAG,CAAA,CAAE,KAAK,cAAc,CAAA;AAC5D;AAEO,SAAS,kBAAA,CACd,UACA,QAAA,EACS;AACT,EAAA,IAAI,CAAC,QAAA,EAAU;AACb,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,SAAS,IAAA,CAAK,CAAC,YAAY,kBAAA,CAAmB,QAAA,EAAU,OAAO,CAAC,CAAA;AACzE;;;AC9HA,SAAS,YAAY,SAAA,EAAyD;AAC5E,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,SAAA,CAAU,eAAe,CAAA;AACjD,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAEA,EAAA,MAAM,YAAA,GAAe,OAAA,CAAQ,MAAA,CAAO,YAAY,CAAA,CAC7C,GAAA,CAAI,QAAQ,CAAA,CACZ,MAAA,CAAO,CAAC,OAAA,KAA+B,OAAA,CAAQ,OAAO,CAAC,CAAA;AAC1D,EAAA,IAAI,YAAA,CAAa,WAAW,CAAA,EAAG;AAC7B,IAAA,MAAM,IAAI,MAAM,iDAAiD,CAAA;AAAA,EACnE;AAEA,EAAA,OAAO,EAAE,YAAA,EAAa;AACxB;AAEA,SAAS,2BAA2B,UAAA,EAAyC;AAC3E,EAAA,MAAM,QAAA,GAAW,4BAA4B,UAAU,CAAA;AACvD,EAAA,MAAM,MAAA,GACJ,QAAA,CAAS,QAAA,CAAS,MAAM,CAAA,IACxB,SAAS,QAAA,CAAS,IAAI,CAAA,IACtB,QAAA,CAAS,UAAU,CAAA;AACrB,EAAA,IAAI,CAAC,MAAA,EAAQ;AACX,IAAA,OAAO,EAAC;AAAA,EACV;AAEA,EAAA,OAAO,QAAQ,MAAA,CAAO,WAAW,CAAA,CAAE,OAAA,CAAQ,CAAC,KAAA,KAA8B;AACxE,IAAA,MAAM,UAAA,GAAa,SAAS,KAAK,CAAA;AACjC,IAAA,IAAI,CAAC,UAAA,EAAY;AACf,MAAA,OAAO,EAAC;AAAA,IACV;AACA,IAAA,MAAM,QAAA,GACJ,QAAA,CAAS,UAAA,CAAW,QAAQ,CAAA,IAC5B,SAAS,UAAA,CAAW,IAAI,CAAA,IACxB,QAAA,CAAS,QAAA,CAAS,UAAA,CAAW,QAAQ,CAAA,EAAG,QAAQ,CAAA,IAChD,QAAA,CAAS,QAAA,CAAS,QAAA,CAAS,WAAW,QAAQ,CAAA,EAAG,IAAI,CAAA,EAAG,IAAI,CAAA;AAC9D,IAAA,MAAM,OAAA,GAAU,QAAA,CAAS,UAAA,CAAW,OAAO,CAAA,IAAK,kBAAA;AAChD,IAAA,OAAO;AAAA,MACL;AAAA,QACE,IAAA,EAAM,QAAA,CAAS,UAAA,CAAW,IAAI,CAAA,IAAK,MAAA;AAAA,QACnC,QAAA,EAAU,QAAA,GAAW,iBAAA,CAAkB,QAAQ,CAAA,GAAI,IAAA;AAAA,QACnD;AAAA;AACF,KACF;AAAA,EACF,CAAC,CAAA;AACH;AAEA,SAAS,qBAAqB,UAAA,EAAyC;AACrE,EAAA,MAAM,cAAkC,EAAC;AACzC,EAAA,MAAM,QAAA,GAAW;AAAA,IACf,+CAAA;AAAA,IACA;AAAA,GACF;AAEA,EAAA,KAAA,MAAW,IAAA,IAAQ,qBAAA,CAAsB,UAAU,CAAA,EAAG;AACpD,IAAA,KAAA,MAAW,WAAW,QAAA,EAAU;AAC9B,MAAA,KAAA,MAAW,KAAA,IAAS,IAAA,CAAK,QAAA,CAAS,OAAO,CAAA,EAAG;AAC1C,QAAA,WAAA,CAAY,IAAA,CAAK;AAAA,UACf,IAAA,EAAM,MAAM,CAAC,CAAA;AAAA,UACb,QAAA,EAAU,iBAAA,CAAkB,KAAA,CAAM,CAAC,KAAK,EAAE,CAAA;AAAA,UAC1C,OAAA,EAAS,KAAA,CAAM,CAAC,CAAA,IAAK;AAAA,SACtB,CAAA;AAAA,MACH;AAAA,IACF;AAAA,EACF;AAEA,EAAA,OAAO,WAAA;AACT;AAEA,SAAS,iBAAiB,UAAA,EAAyC;AACjE,EAAA,MAAM,UAAA,GAAa,2BAA2B,UAAU,CAAA;AACxD,EAAA,OAAO,UAAA,CAAW,MAAA,GAAS,CAAA,GAAI,UAAA,GAAa,qBAAqB,UAAU,CAAA;AAC7E;AAEA,SAAS,qBAAA,CACP,UACA,UAAA,EACoB;AACpB,EAAA,MAAM,MAAA,GAAS,WAAA,CAAY,QAAA,CAAS,SAAS,CAAA;AAC7C,EAAA,OAAO,gBAAA,CAAiB,UAAU,CAAA,CAAE,MAAA;AAAA,IAAO,CAAC,UAAA,KAC1C,kBAAA,CAAmB,UAAA,CAAW,QAAA,EAAU,OAAO,YAAY;AAAA,GAC7D;AACF;AAEO,IAAM,mBAAA,GAAqD;AAAA,EAChE,IAAA,EAAM,aAAA;AAAA,EACN,OAAA,CAAQ,EAAE,QAAA,EAAU,UAAA,EAAW,EAAG;AAChC,IAAA,MAAM,QAAA,GAAW,4BAA4B,UAAU,CAAA;AACvD,IAAA,MAAM,QAAA,GAAW,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA;AAC3C,IAAA,IAAI,aAAa,CAAA,EAAG;AAClB,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,OAAO,qBAAA,CAAsB,QAAA,EAAU,UAAU,CAAA,CAAE,MAAA,GAAS,CAAA;AAAA,EAC9D,CAAA;AAAA,EACA,SAAS,IAAA,EAA2D;AAClE,IAAA,MAAM,MAAA,GAAS,WAAA,CAAY,IAAA,CAAK,QAAA,CAAS,SAAS,CAAA;AAClD,IAAA,IAAI,CAAC,KAAK,UAAA,EAAY;AACpB,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,OAAA;AAAA,QACR,SAAA,EAAW;AAAA,OACb;AAAA,IACF;AAEA,IAAA,MAAM,QAAA,GAAW,2BAAA,CAA4B,IAAA,CAAK,UAAU,CAAA;AAC5D,IAAA,MAAM,QAAA,GAAW,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA;AAC3C,IAAA,MAAM,kBAAA,GAAqB,qBAAA;AAAA,MACzB,IAAA,CAAK,QAAA;AAAA,MACL,IAAA,CAAK;AAAA,KACP;AAEA,IAAA,IACE,mBAAmB,MAAA,KAAW,CAAA,IAC9B,QAAA,KAAa,CAAA,IACb,aAAa,IAAA,EACb;AACA,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,cAAA;AAAA,QACR,SAAA,EACE;AAAA,OACJ;AAAA,IACF;AAEA,IAAA,MAAM,qBACJ,QAAA,KAAa,CAAA,IAAM,QAAA,KAAa,IAAA,IAAQ,mBAAmB,MAAA,KAAW,CAAA;AAExE,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,uBAAA;AAAA,QACN,KAAK,QAAA,CAAS,SAAA;AAAA,QACd;AAAA,OACF;AAAA,MACA,SAAA,EAAW,kBAAA,GACP,CAAA,gDAAA,EAAmD,MAAA,CAAO,YAAA,CAAa,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA,GACjF,CAAA,iBAAA,EAAoB,kBAAA,CAAmB,MAAM,4BAA4B,kBAAA,CACtE,GAAA;AAAA,QAAI,CAAC,UAAA,KACJ,UAAA,CAAW,QAAA,GACP,CAAA,EAAG,WAAW,QAAQ,CAAA,EAAG,UAAA,CAAW,IAAA,GAAO,OAAO,UAAA,CAAW,IAAI,CAAA,CAAA,CAAA,GAAM,EAAE,KACzE,UAAA,CAAW;AAAA,OACjB,CACC,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA;AAAA,MACjB,IAAA,EAAM;AAAA,QACJ,QAAA;AAAA,QACA,cAAc,MAAA,CAAO,YAAA;AAAA,QACrB;AAAA;AACF,KACF;AAAA,EACF;AACF","file":"tsc-checker-evaluator.js","sourcesContent":["/** Shared evaluator helpers and result-normalization utilities. */\n\nimport { debugGraphPrimitiveFallback } from \"../debug\";\nimport type {\n  EpistemicContractDirection,\n  EpistemicContractEvaluationResult,\n} from \"../epistemicContractHelpers\";\n\nexport interface ToolResultEnvelope {\n  command?: string;\n  data?: unknown;\n  exitCode?: number | null;\n  output?: string;\n  report?: unknown;\n  stderr?: string;\n  stdout?: string;\n}\n\ntype AnyRecord = Record<string, unknown>;\n\nconst WINDOWS_PATH_SEPARATORS = /\\\\/g;\nconst LEADING_DOT_SLASH = /^\\.\\//;\n\nexport function asArray(value: unknown): unknown[] {\n  return Array.isArray(value) ? value : [];\n}\n\nexport function asNumber(value: unknown): number | null {\n  return typeof value === \"number\" && Number.isFinite(value) ? value : null;\n}\n\nexport function asRecord(value: unknown): AnyRecord | null {\n  return value && typeof value === \"object\" && !Array.isArray(value)\n    ? (value as AnyRecord)\n    : null;\n}\n\nexport function asString(value: unknown): string | null {\n  return typeof value === \"string\" && value.trim().length > 0\n    ? value.trim()\n    : null;\n}\n\nexport function deriveDirectionalResult(\n  direction: EpistemicContractDirection,\n  conditionSatisfied: boolean\n): EpistemicContractEvaluationResult {\n  if (direction === \"falsifies\") {\n    return conditionSatisfied ? \"disconfirmed\" : \"confirmed\";\n  }\n  return conditionSatisfied ? \"confirmed\" : \"disconfirmed\";\n}\n\nexport function extractTextCandidates(value: unknown): string[] {\n  const record = asRecord(value);\n  if (!record) {\n    const candidate = asString(value);\n    return candidate ? [candidate] : [];\n  }\n\n  const candidates = [\n    record.stdout,\n    record.stderr,\n    record.output,\n    record.text,\n    record.message,\n    record.raw,\n  ]\n    .map(asString)\n    .filter((candidate): candidate is string => Boolean(candidate));\n\n  for (const nestedKey of [\"report\", \"result\", \"data\", \"payload\"]) {\n    const nested = record[nestedKey];\n    if (nested !== value) {\n      candidates.push(...extractTextCandidates(nested));\n    }\n  }\n\n  return Array.from(new Set(candidates));\n}\n\nexport function normalizeFilePath(value: string): string {\n  return value\n    .replace(WINDOWS_PATH_SEPARATORS, \"/\")\n    .replace(LEADING_DOT_SLASH, \"\");\n}\n\nexport function normalizeToolResultEnvelope(\n  value: unknown\n): ToolResultEnvelope {\n  const record = asRecord(value);\n  if (!record) {\n    return {\n      output: asString(value) ?? undefined,\n    };\n  }\n\n  const exitCode =\n    asNumber(record.exitCode) ??\n    asNumber(record.code) ??\n    asNumber(record.status) ??\n    null;\n\n  return {\n    command: asString(record.command) ?? undefined,\n    data: record.data ?? record.payload,\n    exitCode,\n    output: asString(record.output) ?? undefined,\n    report:\n      record.report ??\n      record.json ??\n      record.result ??\n      record.payload ??\n      undefined,\n    stderr: asString(record.stderr) ?? undefined,\n    stdout: asString(record.stdout) ?? undefined,\n  };\n}\n\nexport function parseJsonCandidate<T = unknown>(value: unknown): T | null {\n  if (value === null || value === undefined) {\n    return null;\n  }\n\n  if (typeof value !== \"string\") {\n    return value as T;\n  }\n\n  try {\n    return JSON.parse(value) as T;\n  } catch (error) {\n    debugGraphPrimitiveFallback(\n      \"[evaluators/shared] Failed to parse JSON candidate\",\n      {\n        error,\n        valueType: typeof value,\n      }\n    );\n    return null;\n  }\n}\n\nexport function patternMatchesPath(filePath: string, pattern: string): boolean {\n  const normalizedPath = normalizeFilePath(filePath);\n  const normalizedPattern = normalizeFilePath(pattern);\n  const escaped = normalizedPattern.replace(/[.+^${}()|[\\]\\\\]/g, \"\\\\$&\");\n  const regexPattern = escaped\n    .replace(/\\\\\\*\\\\\\*/g, \".*\")\n    .replace(/\\\\\\*/g, \"[^/]*\")\n    .replace(/\\\\\\?/g, \"[^/]\");\n  return new RegExp(`^${regexPattern}$`).test(normalizedPath);\n}\n\nexport function somePatternMatches(\n  filePath: string | null | undefined,\n  patterns: string[]\n): boolean {\n  if (!filePath) {\n    return false;\n  }\n  return patterns.some((pattern) => patternMatchesPath(filePath, pattern));\n}\n","/** Typecheck-based engineering evaluator for epistemic contracts. */\n\nimport type {\n  EpistemicContractCondition,\n  EpistemicContractRecord,\n} from \"../epistemicContractHelpers\";\nimport type {\n  EpistemicEvaluatorContext,\n  EpistemicEvaluatorResult,\n} from \"../epistemicContracts\";\nimport {\n  asArray,\n  asNumber,\n  asRecord,\n  asString,\n  deriveDirectionalResult,\n  extractTextCandidates,\n  normalizeFilePath,\n  normalizeToolResultEnvelope,\n  somePatternMatches,\n} from \"./shared\";\nimport type { EngineeringEpistemicEvaluator } from \"./test-runner-evaluator\";\n\ntype AnyContract = Pick<EpistemicContractRecord, \"condition\">;\n\ninterface ParsedDiagnostic {\n  code?: string;\n  filePath: string | null;\n  message: string;\n}\n\ninterface TscCheckerConfig {\n  filePatterns: string[];\n}\n\nfunction parseConfig(condition: EpistemicContractCondition): TscCheckerConfig {\n  const record = asRecord(condition.evaluatorConfig);\n  if (!record) {\n    throw new Error(\n      \"tsc_checker requires evaluatorConfig with { filePatterns: string[] }.\"\n    );\n  }\n\n  const filePatterns = asArray(record.filePatterns)\n    .map(asString)\n    .filter((pattern): pattern is string => Boolean(pattern));\n  if (filePatterns.length === 0) {\n    throw new Error(\"tsc_checker requires at least one file pattern.\");\n  }\n\n  return { filePatterns };\n}\n\nfunction parseStructuredDiagnostics(resultData: unknown): ParsedDiagnostic[] {\n  const envelope = normalizeToolResultEnvelope(resultData);\n  const record =\n    asRecord(envelope.report) ??\n    asRecord(envelope.data) ??\n    asRecord(resultData);\n  if (!record) {\n    return [];\n  }\n\n  return asArray(record.diagnostics).flatMap((entry): ParsedDiagnostic[] => {\n    const diagnostic = asRecord(entry);\n    if (!diagnostic) {\n      return [];\n    }\n    const filePath =\n      asString(diagnostic.filePath) ??\n      asString(diagnostic.file) ??\n      asString(asRecord(diagnostic.location)?.filePath) ??\n      asString(asRecord(asRecord(diagnostic.location)?.path)?.file);\n    const message = asString(diagnostic.message) ?? \"TypeScript error\";\n    return [\n      {\n        code: asString(diagnostic.code) ?? undefined,\n        filePath: filePath ? normalizeFilePath(filePath) : null,\n        message,\n      },\n    ];\n  });\n}\n\nfunction parseTextDiagnostics(resultData: unknown): ParsedDiagnostic[] {\n  const diagnostics: ParsedDiagnostic[] = [];\n  const patterns = [\n    /^(.+?)\\((\\d+),(\\d+)\\): error TS(\\d+): (.+)$/gm,\n    /^(.+?):(\\d+):(\\d+) - error TS(\\d+): (.+)$/gm,\n  ];\n\n  for (const text of extractTextCandidates(resultData)) {\n    for (const pattern of patterns) {\n      for (const match of text.matchAll(pattern)) {\n        diagnostics.push({\n          code: match[4],\n          filePath: normalizeFilePath(match[1] ?? \"\"),\n          message: match[5] ?? \"TypeScript error\",\n        });\n      }\n    }\n  }\n\n  return diagnostics;\n}\n\nfunction parseDiagnostics(resultData: unknown): ParsedDiagnostic[] {\n  const structured = parseStructuredDiagnostics(resultData);\n  return structured.length > 0 ? structured : parseTextDiagnostics(resultData);\n}\n\nfunction getMatchedDiagnostics(\n  contract: AnyContract,\n  resultData: unknown\n): ParsedDiagnostic[] {\n  const config = parseConfig(contract.condition);\n  return parseDiagnostics(resultData).filter((diagnostic) =>\n    somePatternMatches(diagnostic.filePath, config.filePatterns)\n  );\n}\n\nexport const tscCheckerEvaluator: EngineeringEpistemicEvaluator = {\n  name: \"tsc_checker\",\n  matches({ contract, resultData }) {\n    const envelope = normalizeToolResultEnvelope(resultData);\n    const exitCode = asNumber(envelope.exitCode);\n    if (exitCode === 0) {\n      return true;\n    }\n    return getMatchedDiagnostics(contract, resultData).length > 0;\n  },\n  evaluate(args: EpistemicEvaluatorContext): EpistemicEvaluatorResult {\n    const config = parseConfig(args.contract.condition);\n    if (!args.resultData) {\n      return {\n        result: \"error\",\n        rationale: \"tsc_checker requires TypeScript diagnostic resultData.\",\n      };\n    }\n\n    const envelope = normalizeToolResultEnvelope(args.resultData);\n    const exitCode = asNumber(envelope.exitCode);\n    const matchedDiagnostics = getMatchedDiagnostics(\n      args.contract,\n      args.resultData\n    );\n\n    if (\n      matchedDiagnostics.length === 0 &&\n      exitCode !== 0 &&\n      exitCode !== null\n    ) {\n      return {\n        result: \"inconclusive\",\n        rationale:\n          \"TypeScript reported errors, but none matched the configured file patterns.\",\n      };\n    }\n\n    const conditionSatisfied =\n      exitCode === 0 || (exitCode !== null && matchedDiagnostics.length === 0);\n\n    return {\n      result: deriveDirectionalResult(\n        args.contract.direction,\n        conditionSatisfied\n      ),\n      rationale: conditionSatisfied\n        ? `TypeScript reported no matching diagnostics for ${config.filePatterns.join(\", \")}.`\n        : `TypeScript found ${matchedDiagnostics.length} matching diagnostic(s): ${matchedDiagnostics\n            .map((diagnostic) =>\n              diagnostic.filePath\n                ? `${diagnostic.filePath}${diagnostic.code ? ` (TS${diagnostic.code})` : \"\"}`\n                : diagnostic.message\n            )\n            .join(\", \")}.`,\n      data: {\n        exitCode,\n        filePatterns: config.filePatterns,\n        matchedDiagnostics,\n      },\n    };\n  },\n};\n"]}

package/dist/globalId.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":[],"names":[],"mappings":"","file":"globalId.js","sourcesContent":[]}

package/dist/graphTypes.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../src/graphTypes.ts"],"names":[],"mappings":";AA6BO,IAAM,kBAAA,GAA6C;AAAA;AAAA,EAExD,QAAA,EAAU,UAAA;AAAA;AAAA,EAGV,MAAA,EAAQ,QAAA;AAAA,EACR,QAAA,EAAU,UAAA;AAAA,EACV,KAAA,EAAO,OAAA;AAAA,EACP,IAAA,EAAM,MAAA;AAAA,EACN,KAAA,EAAO,OAAA;AAAA;AAAA,EAGP,KAAA,EAAO,OAAA;AAAA,EACP,QAAA,EAAU,UAAA;AAAA,EACV,SAAA,EAAW,WAAA;AAAA,EACX,MAAA,EAAQ,QAAA;AAAA;AAAA,EAGR,WAAA,EAAa,YAAA;AAAA,EACb,OAAA,EAAS,SAAA;AAAA,EACT,MAAA,EAAQ,QAAA;AAAA;AAAA,EAGR,OAAA,EAAS,SAAA;AAAA,EACT,MAAA,EAAQ,QAAA;AAAA,EACR,QAAA,EAAU,UAAA;AAAA,EACV,QAAA,EAAU,UAAA;AAAA,EACV,WAAA,EAAa;AACf;AAYO,IAAM,gBAAA,GAA2C;AAAA;AAAA,EAEtD,QAAA,EAAU,UAAA;AAAA;AAAA,EACV,OAAA,EAAS,SAAA;AAAA;AAAA,EACT,UAAA,EAAY,YAAA;AAAA;AAAA,EACZ,YAAA,EAAc,cAAA;AAAA;AAAA,EACd,QAAA,EAAU,UAAA;AAAA;AAAA,EACV,KAAA,EAAO,OAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAKP,eAAA,EAAiB,iBAAA;AAAA,EACjB,iBAAA,EAAmB,mBAAA;AAAA,EACnB,wBAAA,EAA0B,0BAAA;AAAA,EAC1B,iBAAA,EAAmB,mBAAA;AAAA;AAAA,EAGnB,QAAA,EAAU,UAAA;AAAA,EACV,WAAA,EAAa,aAAA;AAAA,EACb,aAAA,EAAe,eAAA;AAAA,EACf,eAAA,EAAiB,iBAAA;AAAA,EACjB,UAAA,EAAY,YAAA;AAAA,EACZ,SAAA,EAAW,WAAA;AAAA,EACX,QAAA,EAAU,UAAA;AAAA,EACV,WAAA,EAAa,aAAA;AAAA,EACb,OAAA,EAAS,SAAA;AAAA,EACT,WAAA,EAAa,aAAA;AAAA,EACb,YAAA,EAAc,cAAA;AAAA,EACd,cAAA,EAAgB,gBAAA;AAAA,EAChB,YAAA,EAAc,cAAA;AAAA,EACd,oBAAA,EAAsB;AACxB;AASO,SAAS,aAAa,QAAA,EAAkC;AAC7D,EAAA,MAAM,QAAA,GAAW,CAAC,UAAU,CAAA;AAC5B,EAAA,MAAM,QAAA,GAAW,CAAC,QAAA,EAAU,UAAA,EAAY,SAAS,MAAM,CAAA;AACvD,EAAA,MAAM,QAAA,GAAW,CAAC,OAAA,EAAS,UAAA,EAAY,aAAa,QAAQ,CAAA;AAC5D,EAAA,MAAM,QAAA,GAAW,CAAC,aAAA,EAAe,SAAA,EAAW,QAAQ,CAAA;AACpD,EAAA,MAAM,iBAAA,GAAoB;AAAA,IACxB,SAAA;AAAA,IACA,QAAA;AAAA,IACA,UAAA;AAAA,IACA,UAAA;AAAA,IACA;AAAA,GACF;AACA,EAAA,MAAM,oBAAA,GAAuB,CAAC,OAAO,CAAA;AAErC,EAAA,IAAI,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC/B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC/B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC/B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC/B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,iBAAA,CAAkB,QAAA,CAAS,QAAQ,CAAA,EAAG;AACxC,IAAA,OAAO,aAAA;AAAA,EACT;AACA,EAAA,IAAI,oBAAA,CAAqB,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC3C,IAAA,OAAO,gBAAA;AAAA,EACT;AAGA,EAAA,OAAA,CAAQ,IAAA,CAAK,CAAA,+BAAA,EAAkC,QAAQ,CAAA,mBAAA,CAAqB,CAAA;AAC5E,EAAA,OAAO,IAAA;AACT;AAKO,SAAS,cAAc,QAAA,EAA0B;AACtD,EAAA,OACE,kBAAA,CAAmB,QAAQ,CAAA,IAC3B,QAAA,CAAS,MAAA,CAAO,CAAC,CAAA,CAAE,WAAA,EAAY,GAAI,QAAA,CAAS,KAAA,CAAM,CAAC,CAAA;AAEvD;AAKO,SAAS,gBAAgB,QAAA,EAA0B;AACxD,EAAA,OAAO,gBAAA,CAAiB,QAAQ,CAAA,IAAK,QAAA,CAAS,WAAA,EAAY;AAC5D;AAMA,IAAM,yBAAA,uBAAgC,GAAA,CAAI;AAAA,EACxC,UAAA;AAAA,EACA,SAAA;AAAA,EACA,YAAA;AAAA,EACA,cAAA;AAAA,EACA,UAAA;AAAA,EACA;AACF,CAAC,CAAA;AAQM,SAAS,qBAAqB,QAAA,EAA2B;AAE9D,EAAA,IAAI,yBAAA,CAA0B,GAAA,CAAI,QAAQ,CAAA,EAAG;AAC3C,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,IAAI,YAAY,gBAAA,EAAkB;AAChC,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,OAAO,IAAA;AACT","file":"graphTypes.js","sourcesContent":["// biome-ignore-all lint/style/useFilenamingConvention: Public graph-primitives wildcard-export path; rename requires an export-map migration.\n/**\n * Graph Type Registry for Convex\n *\n * This file mirrors the canonical type registry at lib/ontology/types.ts\n * but is compatible with Convex's bundling requirements.\n *\n * IMPORTANT: Keep this file in sync with lib/ontology/types.ts\n * The frontend uses lib/ontology/types.ts, Convex uses this file.\n *\n * @see /docs/architecture/UNIFIED_GRAPH_ARCHITECTURE.md\n */\n\n// =============================================================================\n// EPISTEMIC LAYERS\n// =============================================================================\n\nexport type EpistemicLayer =\n  | \"L4\"\n  | \"L3\"\n  | \"L2\"\n  | \"L1\"\n  | \"ontological\"\n  | \"organizational\";\n\n// =============================================================================\n// NODE TYPE TO LABEL MAPPING\n// =============================================================================\n\nexport const NODE_TYPE_TO_LABEL: Record<string, string> = {\n  // L4: Audit Targets\n  decision: \"Decision\",\n\n  // L3: Traversal Anchors\n  belief: \"Belief\",\n  question: \"Question\",\n  theme: \"Theme\",\n  deal: \"Deal\",\n  topic: \"Topic\",\n\n  // L2: Compression Boundary\n  claim: \"Claim\",\n  evidence: \"Evidence\",\n  synthesis: \"Synthesis\",\n  answer: \"Answer\",\n\n  // L1: Terminal Leaves\n  atomic_fact: \"AtomicFact\",\n  excerpt: \"Excerpt\",\n  source: \"Source\",\n\n  // Ontological (Neo4j is SOT)\n  company: \"Company\",\n  person: \"Person\",\n  investor: \"Investor\",\n  function: \"Function\",\n  value_chain: \"ValueChain\",\n};\n\n// =============================================================================\n// EDGE TYPE TO NEO4J RELATIONSHIP MAPPING\n// =============================================================================\n\n/**\n * Epistemic Kernel v2: 6 canonical edge types + ontological edges.\n *\n * Weight and metadata carry nuance that previously required 67 separate type strings.\n * See: docs/architecture/epistemic-kernel-v2.md\n */\nexport const EDGE_TYPE_TO_REL: Record<string, string> = {\n  // === THE SIX CANONICAL EPISTEMIC EDGE TYPES ===\n  supports: \"SUPPORTS\", // L3↔L3: belief bears on belief (weight -1 to +1)\n  informs: \"INFORMS\", // L2→L3: evidence bears on belief\n  depends_on: \"DEPENDS_ON\", // L3→L3, Q→Q: structural gate\n  derived_from: \"DERIVED_FROM\", // Any→Any: provenance chain (fork, synthesis, extraction, answer)\n  contains: \"CONTAINS\", // Any→Any: hierarchy, scoping, membership\n  tests: \"TESTS\", // Q→L3: question interrogates belief\n\n  // === L4 DECISION EDGES (derived_from with derivationType=decision) ===\n  // Kept as separate Neo4j relationship types for backward compat with L4 queries.\n  // New code should use derived_from + metadata.\n  based_on_belief: \"BASED_ON_BELIEF\",\n  based_on_question: \"BASED_ON_QUESTION\",\n  blocked_by_contradiction: \"BLOCKED_BY_CONTRADICTION\",\n  informed_by_theme: \"INFORMED_BY_THEME\",\n\n  // === ONTOLOGICAL EDGES (tenant-extensible, managed by ontology system) ===\n  works_at: \"WORKS_AT\",\n  invested_in: \"INVESTED_IN\",\n  competes_with: \"COMPETES_WITH\",\n  participates_in: \"PARTICIPATES_IN\",\n  founded_by: \"FOUNDED_BY\",\n  evaluates: \"EVALUATES\",\n  performs: \"PERFORMS\",\n  function_in: \"FUNCTION_IN\",\n  impacts: \"IMPACTS\",\n  raised_from: \"RAISED_FROM\",\n  mentioned_in: \"MENTIONED_IN\",\n  perspective_on: \"PERSPECTIVE_ON\",\n  about_entity: \"ABOUT_ENTITY\",\n  entity_referenced_in: \"ENTITY_REFERENCED_IN\",\n};\n\n// =============================================================================\n// HELPER FUNCTIONS\n// =============================================================================\n\n/**\n * Get the epistemic layer for a node type\n */\nexport function getNodeLayer(nodeType: string): EpistemicLayer {\n  const L4_TYPES = [\"decision\"];\n  const L3_TYPES = [\"belief\", \"question\", \"theme\", \"deal\"];\n  const L2_TYPES = [\"claim\", \"evidence\", \"synthesis\", \"answer\"];\n  const L1_TYPES = [\"atomic_fact\", \"excerpt\", \"source\"];\n  const ONTOLOGICAL_TYPES = [\n    \"company\",\n    \"person\",\n    \"investor\",\n    \"function\",\n    \"value_chain\",\n  ];\n  const ORGANIZATIONAL_TYPES = [\"topic\"];\n\n  if (L4_TYPES.includes(nodeType)) {\n    return \"L4\";\n  }\n  if (L3_TYPES.includes(nodeType)) {\n    return \"L3\";\n  }\n  if (L2_TYPES.includes(nodeType)) {\n    return \"L2\";\n  }\n  if (L1_TYPES.includes(nodeType)) {\n    return \"L1\";\n  }\n  if (ONTOLOGICAL_TYPES.includes(nodeType)) {\n    return \"ontological\";\n  }\n  if (ORGANIZATIONAL_TYPES.includes(nodeType)) {\n    return \"organizational\";\n  }\n\n  // Unknown types default to L2\n  console.warn(`[GraphTypes] Unknown nodeType \"${nodeType}\", defaulting to L2`);\n  return \"L2\";\n}\n\n/**\n * Get the Neo4j label for a node type\n */\nexport function getNeo4jLabel(nodeType: string): string {\n  return (\n    NODE_TYPE_TO_LABEL[nodeType] ||\n    nodeType.charAt(0).toUpperCase() + nodeType.slice(1)\n  );\n}\n\n/**\n * Get the Neo4j relationship type for an edge type\n */\nexport function getNeo4jRelType(edgeType: string): string {\n  return EDGE_TYPE_TO_REL[edgeType] || edgeType.toUpperCase();\n}\n\n/**\n * The 6 canonical epistemic edge types (Kernel v2).\n * Anything not in this set or the ontological/L4 sets is deprecated.\n */\nconst CANONICAL_EPISTEMIC_TYPES = new Set([\n  \"supports\",\n  \"informs\",\n  \"depends_on\",\n  \"derived_from\",\n  \"contains\",\n  \"tests\",\n]);\n\n/**\n * Check if an edge type is deprecated.\n *\n * Kernel v2: only the 6 canonical epistemic types, L4 decision types,\n * and ontological types are active. All legacy types (67 old types) are deprecated.\n */\nexport function isDeprecatedEdgeType(edgeType: string): boolean {\n  // Canonical epistemic types are NOT deprecated\n  if (CANONICAL_EPISTEMIC_TYPES.has(edgeType)) {\n    return false;\n  }\n  // Types in the EDGE_TYPE_TO_REL map (ontological + L4) are NOT deprecated\n  if (edgeType in EDGE_TYPE_TO_REL) {\n    return false;\n  }\n  // Everything else is a legacy type\n  return true;\n}\n"]}

package/dist/helpers.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../src/convex.ts","../src/graphTypes.ts","../src/edgeValidation.ts","../src/helpers.ts"],"names":[],"mappings":";;;;;AA4BA,IAAM,SAAA,GAAY,kBAAA;AAAA,EAChB;AACF,CAAA;AAGE,iBAAA;AACK,IAAM,QAAA,GAAW,SAAA;;;AC4EjB,SAAS,aAAa,QAAA,EAAkC;AAC7D,EAAA,MAAM,QAAA,GAAW,CAAC,UAAU,CAAA;AAC5B,EAAA,MAAM,QAAA,GAAW,CAAC,QAAA,EAAU,UAAA,EAAY,SAAS,MAAM,CAAA;AACvD,EAAA,MAAM,QAAA,GAAW,CAAC,OAAA,EAAS,UAAA,EAAY,aAAa,QAAQ,CAAA;AAC5D,EAAA,MAAM,QAAA,GAAW,CAAC,aAAA,EAAe,SAAA,EAAW,QAAQ,CAAA;AACpD,EAAA,MAAM,iBAAA,GAAoB;AAAA,IACxB,SAAA;AAAA,IACA,QAAA;AAAA,IACA,UAAA;AAAA,IACA,UAAA;AAAA,IACA;AAAA,GACF;AACA,EAAA,MAAM,oBAAA,GAAuB,CAAC,OAAO,CAAA;AAErC,EAAA,IAAI,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC/B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC/B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC/B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,QAAA,CAAS,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC/B,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,iBAAA,CAAkB,QAAA,CAAS,QAAQ,CAAA,EAAG;AACxC,IAAA,OAAO,aAAA;AAAA,EACT;AACA,EAAA,IAAI,oBAAA,CAAqB,QAAA,CAAS,QAAQ,CAAA,EAAG;AAC3C,IAAA,OAAO,gBAAA;AAAA,EACT;AAGA,EAAA,OAAA,CAAQ,IAAA,CAAK,CAAA,+BAAA,EAAkC,QAAQ,CAAA,mBAAA,CAAqB,CAAA;AAC5E,EAAA,OAAO,IAAA;AACT;;;ACtIA,IAAM,uBAAA,GAGF;AAAA,EACF,WAAA,sBAAiB,GAAA,CAAI,CAAC,eAAe,IAAA,EAAM,IAAA,EAAM,IAAI,CAAC,CAAA;AAAA,EACtD,oBAAI,IAAI,GAAA,CAAI,CAAC,IAAA,EAAM,IAAI,CAAC,CAAA;AAAA,EACxB,EAAA,sBAAQ,GAAA,CAAI,CAAC,MAAM,IAAA,EAAM,IAAA,EAAM,aAAa,CAAC,CAAA;AAAA,EAC7C,EAAA,sBAAQ,GAAA,CAAI,CAAC,MAAM,IAAA,EAAM,IAAA,EAAM,aAAA,EAAe,gBAAgB,CAAC,CAAA;AAAA,EAC/D,oBAAI,IAAI,GAAA,CAAI,CAAC,IAAA,EAAM,IAAI,CAAC,CAAA;AAAA,EACxB,gCAAgB,IAAI,GAAA,CAAI,CAAC,gBAAA,EAAkB,IAAI,CAAC;AAClD,CAAA;AAEA,SAAS,cAAc,KAAA,EAA+B;AACpD,EAAA,QAAQ,KAAA;AAAO,IACb,KAAK,IAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT,KAAK,IAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT,KAAK,IAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT,KAAK,IAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT,KAAK,aAAA;AACH,MAAA,OAAO,CAAA;AAAA,IACT;AACE,MAAA,OAAO,EAAA;AAAA;AAEb;AAEA,SAAS,sBAAA,CACP,WACA,OAAA,EACS;AACT,EAAA,IAAI,CAAC,uBAAA,CAAwB,SAAS,CAAA,CAAE,GAAA,CAAI,OAAO,CAAA,EAAG;AACpD,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,IAAI,SAAA,KAAc,aAAA,IAAiB,OAAA,KAAY,aAAA,EAAe;AAC5D,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,IAAI,SAAA,KAAc,gBAAA,IAAoB,OAAA,KAAY,gBAAA,EAAkB;AAClE,IAAA,OAAO,IAAA;AAAA,EACT;AAEA,EAAA,MAAM,SAAA,GAAY,cAAc,SAAS,CAAA;AACzC,EAAA,MAAM,OAAA,GAAU,cAAc,OAAO,CAAA;AACrC,EAAA,IAAI,IAAA,CAAK,GAAA,CAAI,SAAA,GAAY,OAAO,IAAI,CAAA,EAAG;AACrC,IAAA,OAAO,KAAA;AAAA,EACT;AACA,EAAA,OAAO,IAAA;AACT;AA0DO,IAAM,gBAAA,GAGT;AAAA;AAAA,EAEF,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,OAAA,EAAS;AAAA,IACP,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA;AAAA,IACvB,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA;AAAA,IACrB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,IAAA,EAAM,IAAA,EAAM,aAAa,CAAA;AAAA,IAChC,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,aAAa,CAAA;AAAA,IAC9B,WAAA,EAAa;AAAA,GACf;AAAA,EACA,KAAA,EAAO;AAAA,IACL,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,IAAA,EAAM,IAAA,EAAM,aAAa,CAAA;AAAA,IAChC,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,iBAAA,EAAmB;AAAA,IACjB,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA;AAAA,EAGA,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,aAAA,EAAe;AAAA,IACb,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,eAAA,EAAiB;AAAA,IACf,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,SAAA,EAAW;AAAA,IACT,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,OAAA,EAAS;AAAA,IACP,IAAA,EAAM,CAAC,aAAA,EAAe,IAAI,CAAA;AAAA,IAC1B,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA,GACf;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAOA,cAAA,EAAgB;AAAA,IACd,IAAA,EAAM,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA;AAAA,IACvB,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA;AAAA,IACrB,WAAA,EACE;AAAA,GACJ;AAAA,EACA,SAAA,EAAW;AAAA,IACT,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,eAAA,EAAiB;AAAA,IACf,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA,GACf;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA,GACf;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA,GACf;AAAA,EACA,SAAA,EAAW;AAAA,IACT,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,gBAAA,EAAkB;AAAA,IAChB,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,gBAAA,EAAkB;AAAA,IAChB,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,eAAA,EAAiB;AAAA,IACf,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,kBAAA,EAAoB;AAAA,IAClB,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,OAAA,EAAS;AAAA,IACP,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,OAAA,EAAS;AAAA,IACP,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,OAAA,EAAS;AAAA,IACP,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,aAAA,EAAe;AAAA,IACb,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,eAAA,EAAiB;AAAA,IACf,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,eAAA,EAAiB;AAAA,IACf,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,iBAAA,EAAmB;AAAA,IACjB,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,WAAA,EAAa;AAAA,IACX,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,aAAA,EAAe;AAAA,IACb,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,OAAA,EAAS;AAAA,IACP,IAAA,EAAM,CAAC,IAAA,EAAM,IAAA,EAAM,aAAa,CAAA;AAAA,IAChC,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,aAAa,CAAA;AAAA,IAC9B,WAAA,EAAa;AAAA,GACf;AAAA,EACA,OAAA,EAAS;AAAA,IACP,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,iBAAA,EAAmB;AAAA,IACjB,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,iBAAA,EAAmB;AAAA,IACjB,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,aAAA,EAAe;AAAA,IACb,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,eAAA,EAAiB;AAAA,IACf,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,iBAAA,EAAmB;AAAA,IACjB,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,wBAAA,EAA0B;AAAA,IACxB,IAAA,EAAM,CAAC,IAAI,CAAA;AAAA,IACX,EAAA,EAAI,CAAC,IAAI,CAAA;AAAA,IACT,WAAA,EAAa;AAAA,GACf;AAAA,EACA,SAAA,EAAW;AAAA,IACT,IAAA,EAAM,CAAC,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA;AAAA,IAClD,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA;AAAA,IAChD,WAAA,EAAa;AAAA,GACf;AAAA,EACA,QAAA,EAAU;AAAA,IACR,IAAA,EAAM,CAAC,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA;AAAA,IAClD,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA;AAAA,IAChD,WAAA,EAAa;AAAA,GACf;AAAA,EACA,SAAA,EAAW;AAAA,IACT,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAA,EAAM,gBAAgB,CAAA;AAAA,IAC3B,WAAA,EAAa;AAAA,GACf;AAAA,EACA,KAAA,EAAO;AAAA,IACL,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA,GACf;AAAA,EACA,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA,GACf;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA,GACf;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,IAAA,EAAM,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA;AAAA,IACvB,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA;AAAA,IACrB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA;AAAA,IACvB,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,IAAI,CAAA;AAAA,IACrB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,aAAa,CAAA;AAAA,IAClB,WAAA,EAAa;AAAA,GACf;AAAA,EACA,oBAAA,EAAsB;AAAA,IACpB,IAAA,EAAM,CAAC,aAAa,CAAA;AAAA,IACpB,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA,GACf;AAAA,EACA,UAAA,EAAY;AAAA,IACV,IAAA,EAAM,CAAC,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA;AAAA,IAClD,EAAA,EAAI,CAAC,IAAA,EAAM,IAAA,EAAM,eAAe,gBAAgB,CAAA;AAAA,IAChD,WAAA,EAAa;AAAA,GACf;AAAA,EACA,MAAA,EAAQ;AAAA,IACN,IAAA,EAAM,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACjB,EAAA,EAAI,CAAC,IAAA,EAAM,IAAI,CAAA;AAAA,IACf,WAAA,EAAa;AAAA;AAEjB,CAAA;AAEO,SAAS,kBAAA,CACd,QAAA,EACA,SAAA,EACA,OAAA,EACqC;AACrC,EAAA,MAAM,KAAA,GAAQ,iBAAiB,QAAQ,CAAA;AAEvC,EAAA,IAAI,CAAC,KAAA,EAAO;AACV,IAAA,OAAA,CAAQ,IAAA;AAAA,MACN,uCAAuC,QAAQ,CAAA,qBAAA;AAAA,KACjD;AACA,IAAA,OAAO,EAAE,OAAO,IAAA,EAAK;AAAA,EACvB;AAEA,EAAA,IAAI,aAAa,YAAA,EAAc;AAC7B,IAAA,IAAI,cAAc,OAAA,EAAS;AACzB,MAAA,OAAO;AAAA,QACL,KAAA,EAAO,KAAA;AAAA,QACP,QAAQ,CAAA,EAAG,QAAQ,CAAA,oDAAA,EAAuD,SAAS,OAAO,OAAO,CAAA;AAAA,OACnG;AAAA,IACF;AACA,IAAA,OAAO,EAAE,OAAO,IAAA,EAAK;AAAA,EACvB;AAEA,EAAA,IAAI,CAAC,KAAA,CAAM,IAAA,CAAK,QAAA,CAAS,SAAS,CAAA,EAAG;AACnC,IAAA,OAAO;AAAA,MACL,KAAA,EAAO,KAAA;AAAA,MACP,MAAA,EAAQ,CAAA,WAAA,EAAc,QAAQ,CAAA,8BAAA,EAAiC,SAAS,cAAc,KAAA,CAAM,IAAA,CAAK,IAAA,CAAK,IAAI,CAAC,CAAA;AAAA,KAC7G;AAAA,EACF;AAEA,EAAA,IAAI,CAAC,KAAA,CAAM,EAAA,CAAG,QAAA,CAAS,OAAO,CAAA,EAAG;AAC/B,IAAA,OAAO;AAAA,MACL,KAAA,EAAO,KAAA;AAAA,MACP,MAAA,EAAQ,CAAA,WAAA,EAAc,QAAQ,CAAA,8BAAA,EAAiC,OAAO,cAAc,KAAA,CAAM,EAAA,CAAG,IAAA,CAAK,IAAI,CAAC,CAAA;AAAA,KACzG;AAAA,EACF;AAEA,EAAA,IAAI,CAAC,sBAAA,CAAuB,SAAA,EAAW,OAAO,CAAA,EAAG;AAC/C,IAAA,OAAO;AAAA,MACL,KAAA,EAAO,KAAA;AAAA,MACP,MAAA,EAAQ,CAAA,iBAAA,EAAoB,SAAS,CAAA,IAAA,EAAO,OAAO,CAAA,iBAAA;AAAA,KACrD;AAAA,EACF;AAEA,EAAA,OAAO,EAAE,OAAO,IAAA,EAAK;AACvB;;;ACxjBA,SAAS,mBAAmB,KAAA,EAAoC;AAC9D,EAAA,OAAO,OAAO,UAAU,QAAA,IAAY,KAAA,CAAM,MAAK,CAAE,MAAA,GAAS,IACtD,KAAA,GACA,MAAA;AACN;AAEA,eAAsB,mBAAA,CACpB,KACA,MAAA,EAWiB;AACjB,EAAA,MAAM,WAAW,gBAAA,EAAiB;AAElC,EAAA,MAAM,WAAW,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,OAAO,UAAU,CAAA;AACnD,EAAA,MAAM,SAAS,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,OAAO,QAAQ,CAAA;AAE/C,EAAA,IAAI,EAAE,YAAY,MAAA,CAAA,EAAS;AACzB,IAAA,MAAM,IAAI,MAAM,6BAA6B,CAAA;AAAA,EAC/C;AAEA,EAAA,MAAM,YAAA,GAAe,kBAAA,CAAmB,QAAA,CAAS,QAAQ,CAAA;AACzD,EAAA,MAAM,UAAA,GAAa,kBAAA,CAAmB,MAAA,CAAO,QAAQ,CAAA;AACrD,EAAA,MAAM,YAAA,GAAe,kBAAA,CAAmB,QAAA,CAAS,QAAQ,CAAA;AACzD,EAAA,MAAM,UAAA,GAAa,kBAAA,CAAmB,MAAA,CAAO,QAAQ,CAAA;AACrD,EAAA,IAAI,EAAE,YAAA,IAAgB,UAAA,IAAc,YAAA,IAAgB,UAAA,CAAA,EAAa;AAC/D,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAEA,EAAA,MAAM,YACJ,kBAAA,CAAmB,QAAA,CAAS,cAAc,CAAA,IAC1C,aAAiB,YAAY,CAAA;AAC/B,EAAA,MAAM,UACJ,kBAAA,CAAmB,MAAA,CAAO,cAAc,CAAA,IAAK,aAAiB,UAAU,CAAA;AAE1E,EAAA,IAAI,CAAC,OAAO,mBAAA,EAAqB;AAC/B,IAAA,MAAM,UAAA,GAAa,kBAAA;AAAA,MACjB,MAAA,CAAO,QAAA;AAAA,MACP,SAAA;AAAA,MACA;AAAA,KACF;AACA,IAAA,IAAI,CAAC,WAAW,KAAA,EAAO;AACrB,MAAA,MAAM,IAAI,KAAA;AAAA,QACR,CAAA,+BAAA,EAAkC,UAAA,CAAW,MAAM,CAAA,aAAA,EACnC,MAAA,CAAO,QAAQ,CAAA,MAAA,EAAS,YAAY,CAAA,CAAA,EAAI,SAAS,CAAA,SAAA,EAAO,UAAU,IAAI,OAAO,CAAA,CAAA;AAAA,OAC/F;AAAA,IACF;AAAA,EACF;AAEA,EAAA,MAAM,IAAI,SAAA,CAAU,QAAA,CAAS,CAAA,EAAG,QAAA,CAAS,aAAa,UAAA,EAAY;AAAA,IAChE,QAAA;AAAA,IACA,YAAA;AAAA,IACA,UAAA;AAAA,IACA,UAAU,MAAA,CAAO,QAAA;AAAA,IACjB,QAAQ,MAAA,CAAO,MAAA;AAAA,IACf,YAAY,MAAA,CAAO,UAAA;AAAA,IACnB,SAAS,MAAA,CAAO,OAAA;AAAA,IAChB,WAAW,MAAA,CAAO,SAAA;AAAA,IAClB,SAAS,MAAA,CAAO,SAAA,GAAY,MAAA,CAAO,MAAA,CAAO,SAAS,CAAA,GAAI,MAAA;AAAA,IACvD,YAAA;AAAA,IACA,UAAA;AAAA,IACA,SAAA;AAAA,IACA;AAAA,GACD,CAAA;AAED,EAAA,OAAO,QAAA;AACT","file":"helpers.js","sourcesContent":["import type { Doc as AccessControlDoc } from \"@lucern/access-control/convex\";\nimport {\n  type UnsafeConvexAnyApi,\n  unsafeConvexAnyApi,\n} from \"@lucern/contracts/convex/unsafeAnyApi\";\nimport {\n  actionGeneric,\n  componentsGeneric,\n  httpActionGeneric,\n  internalActionGeneric,\n  internalMutationGeneric,\n  internalQueryGeneric,\n  mutationGeneric,\n  queryGeneric,\n} from \"convex/server\";\nimport type { GenericId } from \"convex/values\";\n\n// TODO(FR.11-structural): `api`/`internal`/`components` are `anyApi as any`\n// because this module source tree is bundled into the kernel host at deploy time\n// and has NO top-level Convex `_generated/` directory to import a typed surface\n// from. Every `api.*` / `internal.*` / string-literal cross-component ref in this\n// module (topicScope.ts, topicProjectOverlay.ts, questionEvidenceLinks.ts,\n// beliefEvidenceLinks*.ts, epistemicQuestions.helpers.ts) inherits `any` from\n// here. The fix is structural — generate a per-module typed surface or a shared\n// typed function-reference manifest (template: the typed `components.controlPlane`\n// in modules/control-plane/src/component/convex.ts and the\n// `KERNEL_API_REF_MANIFEST` pattern in packages/server-core/src/kernelApi.ts) —\n// owned by the FR.11 closing/synthesis pass, not a mechanical swap.\nconst unsafeApi = unsafeConvexAnyApi(\n  \"graph-primitives top-level module bundle lacks a committed Convex _generated/api surface\"\n);\nexport const api = unsafeApi;\nexport const components =\n  componentsGeneric() as unknown as UntypedFunctionReferenceSurface;\nexport const internal = unsafeApi;\n\ntype UntypedFunctionReferenceSurface = UnsafeConvexAnyApi;\ntype BoundaryValue = UntypedFunctionReferenceSurface[string];\n\nexport type TableNames = string;\nexport type Id<TableName extends TableNames = string> = GenericId<TableName>;\nexport type Doc<TableName extends TableNames = string> =\n  AccessControlDoc<TableName>;\nexport type DataModel = Record<TableNames, unknown>;\ninterface IndexRangeBuilder {\n  eq(fieldName: string, value: unknown): IndexRangeBuilder;\n  field(fieldName: string): string;\n  gt(fieldName: string, value: unknown): IndexRangeBuilder;\n  gte(fieldName: string, value: unknown): IndexRangeBuilder;\n  lt(fieldName: string, value: unknown): IndexRangeBuilder;\n  lte(fieldName: string, value: unknown): IndexRangeBuilder;\n}\ninterface FilterBuilder {\n  and(...clauses: unknown[]): FilterBuilder;\n  eq(left: unknown, right: unknown): FilterBuilder;\n  field(fieldName: string): string;\n  gt(left: unknown, right: unknown): FilterBuilder;\n  gte(left: unknown, right: unknown): FilterBuilder;\n  lt(left: unknown, right: unknown): FilterBuilder;\n  lte(left: unknown, right: unknown): FilterBuilder;\n  neq(left: unknown, right: unknown): FilterBuilder;\n  or(...clauses: unknown[]): FilterBuilder;\n  [operator: string]: unknown;\n}\ninterface QueryInitializer<TableName extends TableNames> {\n  collect(): Promise<Doc<TableName>[]>;\n  filter(predicate: (q: FilterBuilder) => unknown): QueryInitializer<TableName>;\n  first(): Promise<Doc<TableName> | null>;\n  order(direction: \"asc\" | \"desc\"): QueryInitializer<TableName>;\n  take(limit: number): Promise<Doc<TableName>[]>;\n  unique(): Promise<Doc<TableName> | null>;\n  withIndex(\n    indexName: string,\n    range?: (q: IndexRangeBuilder) => unknown\n  ): QueryInitializer<TableName>;\n  withSearchIndex(\n    indexName: string,\n    search?: (q: IndexRangeBuilder) => unknown\n  ): QueryInitializer<TableName>;\n}\nexport interface DatabaseReader {\n  get<TableName extends TableNames>(\n    id: unknown\n  ): Promise<Doc<TableName> | null>;\n  normalizeId?<TableName extends TableNames>(\n    tableName: TableName,\n    id: string\n  ): Id<TableName> | null;\n  query<TableName extends TableNames>(\n    tableName: TableName\n  ): QueryInitializer<TableName>;\n}\nexport type DatabaseWriter = DatabaseReader & {\n  insert<TableName extends TableNames>(\n    tableName: TableName,\n    value: Record<string, unknown>\n  ): Promise<Id<TableName>>;\n  patch<TableName extends TableNames>(\n    id: Id<TableName>,\n    value: Record<string, unknown>\n  ): Promise<void>;\n  replace<TableName extends TableNames>(\n    id: Id<TableName>,\n    value: Record<string, unknown>\n  ): Promise<void>;\n  delete<TableName extends TableNames>(id: Id<TableName>): Promise<void>;\n};\ninterface Scheduler {\n  runAfter(\n    delayMs: number,\n    functionReference: unknown,\n    args?: unknown\n  ): Promise<void>;\n}\ninterface AuthReader {\n  getUserIdentity(): Promise<{\n    readonly subject: string;\n    readonly [claimName: string]: unknown;\n  } | null>;\n}\ninterface RuntimeInvoker {\n  runAction<Result = unknown>(\n    functionReference: unknown,\n    args?: unknown\n  ): Promise<Result>;\n  runMutation<Result = unknown>(\n    functionReference: unknown,\n    args?: unknown\n  ): Promise<Result>;\n  runQuery<Result = unknown>(\n    functionReference: unknown,\n    args?: unknown\n  ): Promise<Result>;\n}\nexport type QueryCtx = RuntimeInvoker & {\n  auth: AuthReader;\n  db: DatabaseReader;\n  scheduler: Scheduler;\n};\nexport type MutationCtx = RuntimeInvoker & {\n  auth: AuthReader;\n  db: DatabaseWriter;\n  scheduler: Scheduler;\n};\nexport type ActionCtx = RuntimeInvoker & {\n  auth: AuthReader;\n  scheduler: Scheduler;\n};\n\ntype ConvexFunctionBuilder<Ctx> = <\n  Args = BoundaryValue,\n  Result = BoundaryValue,\n>(definition: {\n  args?: unknown;\n  handler: (ctx: Ctx, args: Args) => Result;\n  returns?: unknown;\n}) => unknown;\n\ntype OptionalHandlerConvexFunctionBuilder<Ctx> = <\n  Args = BoundaryValue,\n  Result = BoundaryValue,\n>(definition: {\n  args?: unknown;\n  handler?: (ctx: Ctx, args: Args) => Result;\n  returns?: unknown;\n}) => unknown;\n\nexport const action =\n  actionGeneric as unknown as ConvexFunctionBuilder<ActionCtx>;\nexport const httpAction =\n  httpActionGeneric as unknown as ConvexFunctionBuilder<ActionCtx>;\nexport const internalAction =\n  internalActionGeneric as unknown as ConvexFunctionBuilder<ActionCtx>;\nexport const internalMutation =\n  internalMutationGeneric as unknown as OptionalHandlerConvexFunctionBuilder<MutationCtx>;\nexport const internalQuery =\n  internalQueryGeneric as unknown as OptionalHandlerConvexFunctionBuilder<QueryCtx>;\nexport const mutation =\n  mutationGeneric as unknown as ConvexFunctionBuilder<MutationCtx>;\nexport const query = queryGeneric as unknown as ConvexFunctionBuilder<QueryCtx>;\n","// biome-ignore-all lint/style/useFilenamingConvention: Public graph-primitives wildcard-export path; rename requires an export-map migration.\n/**\n * Graph Type Registry for Convex\n *\n * This file mirrors the canonical type registry at lib/ontology/types.ts\n * but is compatible with Convex's bundling requirements.\n *\n * IMPORTANT: Keep this file in sync with lib/ontology/types.ts\n * The frontend uses lib/ontology/types.ts, Convex uses this file.\n *\n * @see /docs/architecture/UNIFIED_GRAPH_ARCHITECTURE.md\n */\n\n// =============================================================================\n// EPISTEMIC LAYERS\n// =============================================================================\n\nexport type EpistemicLayer =\n  | \"L4\"\n  | \"L3\"\n  | \"L2\"\n  | \"L1\"\n  | \"ontological\"\n  | \"organizational\";\n\n// =============================================================================\n// NODE TYPE TO LABEL MAPPING\n// =============================================================================\n\nexport const NODE_TYPE_TO_LABEL: Record<string, string> = {\n  // L4: Audit Targets\n  decision: \"Decision\",\n\n  // L3: Traversal Anchors\n  belief: \"Belief\",\n  question: \"Question\",\n  theme: \"Theme\",\n  deal: \"Deal\",\n  topic: \"Topic\",\n\n  // L2: Compression Boundary\n  claim: \"Claim\",\n  evidence: \"Evidence\",\n  synthesis: \"Synthesis\",\n  answer: \"Answer\",\n\n  // L1: Terminal Leaves\n  atomic_fact: \"AtomicFact\",\n  excerpt: \"Excerpt\",\n  source: \"Source\",\n\n  // Ontological (Neo4j is SOT)\n  company: \"Company\",\n  person: \"Person\",\n  investor: \"Investor\",\n  function: \"Function\",\n  value_chain: \"ValueChain\",\n};\n\n// =============================================================================\n// EDGE TYPE TO NEO4J RELATIONSHIP MAPPING\n// =============================================================================\n\n/**\n * Epistemic Kernel v2: 6 canonical edge types + ontological edges.\n *\n * Weight and metadata carry nuance that previously required 67 separate type strings.\n * See: docs/architecture/epistemic-kernel-v2.md\n */\nexport const EDGE_TYPE_TO_REL: Record<string, string> = {\n  // === THE SIX CANONICAL EPISTEMIC EDGE TYPES ===\n  supports: \"SUPPORTS\", // L3↔L3: belief bears on belief (weight -1 to +1)\n  informs: \"INFORMS\", // L2→L3: evidence bears on belief\n  depends_on: \"DEPENDS_ON\", // L3→L3, Q→Q: structural gate\n  derived_from: \"DERIVED_FROM\", // Any→Any: provenance chain (fork, synthesis, extraction, answer)\n  contains: \"CONTAINS\", // Any→Any: hierarchy, scoping, membership\n  tests: \"TESTS\", // Q→L3: question interrogates belief\n\n  // === L4 DECISION EDGES (derived_from with derivationType=decision) ===\n  // Kept as separate Neo4j relationship types for backward compat with L4 queries.\n  // New code should use derived_from + metadata.\n  based_on_belief: \"BASED_ON_BELIEF\",\n  based_on_question: \"BASED_ON_QUESTION\",\n  blocked_by_contradiction: \"BLOCKED_BY_CONTRADICTION\",\n  informed_by_theme: \"INFORMED_BY_THEME\",\n\n  // === ONTOLOGICAL EDGES (tenant-extensible, managed by ontology system) ===\n  works_at: \"WORKS_AT\",\n  invested_in: \"INVESTED_IN\",\n  competes_with: \"COMPETES_WITH\",\n  participates_in: \"PARTICIPATES_IN\",\n  founded_by: \"FOUNDED_BY\",\n  evaluates: \"EVALUATES\",\n  performs: \"PERFORMS\",\n  function_in: \"FUNCTION_IN\",\n  impacts: \"IMPACTS\",\n  raised_from: \"RAISED_FROM\",\n  mentioned_in: \"MENTIONED_IN\",\n  perspective_on: \"PERSPECTIVE_ON\",\n  about_entity: \"ABOUT_ENTITY\",\n  entity_referenced_in: \"ENTITY_REFERENCED_IN\",\n};\n\n// =============================================================================\n// HELPER FUNCTIONS\n// =============================================================================\n\n/**\n * Get the epistemic layer for a node type\n */\nexport function getNodeLayer(nodeType: string): EpistemicLayer {\n  const L4_TYPES = [\"decision\"];\n  const L3_TYPES = [\"belief\", \"question\", \"theme\", \"deal\"];\n  const L2_TYPES = [\"claim\", \"evidence\", \"synthesis\", \"answer\"];\n  const L1_TYPES = [\"atomic_fact\", \"excerpt\", \"source\"];\n  const ONTOLOGICAL_TYPES = [\n    \"company\",\n    \"person\",\n    \"investor\",\n    \"function\",\n    \"value_chain\",\n  ];\n  const ORGANIZATIONAL_TYPES = [\"topic\"];\n\n  if (L4_TYPES.includes(nodeType)) {\n    return \"L4\";\n  }\n  if (L3_TYPES.includes(nodeType)) {\n    return \"L3\";\n  }\n  if (L2_TYPES.includes(nodeType)) {\n    return \"L2\";\n  }\n  if (L1_TYPES.includes(nodeType)) {\n    return \"L1\";\n  }\n  if (ONTOLOGICAL_TYPES.includes(nodeType)) {\n    return \"ontological\";\n  }\n  if (ORGANIZATIONAL_TYPES.includes(nodeType)) {\n    return \"organizational\";\n  }\n\n  // Unknown types default to L2\n  console.warn(`[GraphTypes] Unknown nodeType \"${nodeType}\", defaulting to L2`);\n  return \"L2\";\n}\n\n/**\n * Get the Neo4j label for a node type\n */\nexport function getNeo4jLabel(nodeType: string): string {\n  return (\n    NODE_TYPE_TO_LABEL[nodeType] ||\n    nodeType.charAt(0).toUpperCase() + nodeType.slice(1)\n  );\n}\n\n/**\n * Get the Neo4j relationship type for an edge type\n */\nexport function getNeo4jRelType(edgeType: string): string {\n  return EDGE_TYPE_TO_REL[edgeType] || edgeType.toUpperCase();\n}\n\n/**\n * The 6 canonical epistemic edge types (Kernel v2).\n * Anything not in this set or the ontological/L4 sets is deprecated.\n */\nconst CANONICAL_EPISTEMIC_TYPES = new Set([\n  \"supports\",\n  \"informs\",\n  \"depends_on\",\n  \"derived_from\",\n  \"contains\",\n  \"tests\",\n]);\n\n/**\n * Check if an edge type is deprecated.\n *\n * Kernel v2: only the 6 canonical epistemic types, L4 decision types,\n * and ontological types are active. All legacy types (67 old types) are deprecated.\n */\nexport function isDeprecatedEdgeType(edgeType: string): boolean {\n  // Canonical epistemic types are NOT deprecated\n  if (CANONICAL_EPISTEMIC_TYPES.has(edgeType)) {\n    return false;\n  }\n  // Types in the EDGE_TYPE_TO_REL map (ontological + L4) are NOT deprecated\n  if (edgeType in EDGE_TYPE_TO_REL) {\n    return false;\n  }\n  // Everything else is a legacy type\n  return true;\n}\n","/**\n * edgeValidation module implementation.\n */\n\n// biome-ignore-all lint/style/useFilenamingConvention: Public package path is part of a stable ABI; renaming requires an export-map migration.\n\nimport type { EpistemicLayer } from \"./graphTypes\";\n\nexport type { EpistemicLayer } from \"./graphTypes\";\n// biome-ignore lint/performance/noBarrelFile: Public compatibility module.\nexport { isDeprecatedEdgeType } from \"./graphTypes\";\n\nconst VALID_LAYER_CONNECTIONS: Record<\n  EpistemicLayer,\n  ReadonlySet<EpistemicLayer>\n> = {\n  ontological: new Set([\"ontological\", \"L1\", \"L2\", \"L3\"]),\n  L1: new Set([\"L1\", \"L2\"]),\n  L2: new Set([\"L1\", \"L2\", \"L3\", \"ontological\"]),\n  L3: new Set([\"L2\", \"L3\", \"L4\", \"ontological\", \"organizational\"]),\n  L4: new Set([\"L3\", \"L4\"]),\n  organizational: new Set([\"organizational\", \"L3\"]),\n};\n\nfunction getLayerDepth(layer: EpistemicLayer): number {\n  switch (layer) {\n    case \"L4\":\n      return 4;\n    case \"L3\":\n      return 3;\n    case \"L2\":\n      return 2;\n    case \"L1\":\n      return 1;\n    case \"ontological\":\n      return 0;\n    default:\n      return -1;\n  }\n}\n\nfunction isValidLayerConnection(\n  fromLayer: EpistemicLayer,\n  toLayer: EpistemicLayer\n): boolean {\n  if (!VALID_LAYER_CONNECTIONS[fromLayer].has(toLayer)) {\n    return false;\n  }\n\n  if (fromLayer === \"ontological\" || toLayer === \"ontological\") {\n    return true;\n  }\n\n  if (fromLayer === \"organizational\" || toLayer === \"organizational\") {\n    return true;\n  }\n\n  const fromDepth = getLayerDepth(fromLayer);\n  const toDepth = getLayerDepth(toLayer);\n  if (Math.abs(fromDepth - toDepth) > 1) {\n    return false;\n  }\n  return true;\n}\n\nexport type TraversalMode =\n  | \"anchor_down\"\n  | \"anchor_up\"\n  | \"same_layer\"\n  | \"decision_trace\";\n\nexport function shouldContinueTraversal(\n  currentLayer: EpistemicLayer,\n  targetLayer: EpistemicLayer,\n  options: {\n    mode: TraversalMode;\n    minLayer?: number;\n    maxLayer?: number;\n  }\n): boolean {\n  const currentDepth = getLayerDepth(currentLayer);\n  const targetDepth = getLayerDepth(targetLayer);\n\n  if (options.minLayer !== undefined && targetDepth < options.minLayer) {\n    return false;\n  }\n  if (options.maxLayer !== undefined && targetDepth > options.maxLayer) {\n    return false;\n  }\n\n  switch (options.mode) {\n    case \"anchor_down\":\n      return targetDepth <= currentDepth;\n    case \"anchor_up\":\n      return targetDepth >= currentDepth;\n    case \"same_layer\":\n      return targetDepth === currentDepth;\n    case \"decision_trace\":\n      return currentDepth === 4\n        ? targetDepth === 3\n        : targetDepth === currentDepth;\n    default:\n      return true;\n  }\n}\n\nexport function getDefaultMinLayer(mode: TraversalMode): number {\n  switch (mode) {\n    case \"anchor_down\":\n      return 1;\n    case \"anchor_up\":\n      return 2;\n    case \"same_layer\":\n      return 1;\n    case \"decision_trace\":\n      return 3;\n    default:\n      return 1;\n  }\n}\n\nexport const EDGE_LAYER_RULES: Record<\n  string,\n  { from: EpistemicLayer[]; to: EpistemicLayer[]; description: string }\n> = {\n  // === 6 Canonical Epistemic Types ===\n  supports: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief bears on Belief (weight: +1 supports, -1 contradicts)\",\n  },\n  informs: {\n    from: [\"L2\"],\n    to: [\"L3\"],\n    description: \"Evidence -> Belief (L2 -> L3)\",\n  },\n  depends_on: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief B requires Belief A (structural gate)\",\n  },\n  derived_from: {\n    from: [\"L2\", \"L3\", \"L4\"],\n    to: [\"L1\", \"L2\", \"L3\"],\n    description: \"A was produced from B (provenance chain)\",\n  },\n  contains: {\n    from: [\"L3\", \"L4\", \"ontological\"],\n    to: [\"L2\", \"L3\", \"ontological\"],\n    description: \"A scopes/aggregates B (hierarchy)\",\n  },\n  tests: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Question -> Belief (L3 -> L3)\",\n  },\n\n  // === Structural / Lifecycle ===\n  supersedes: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"NewNode -> OldNode (fork lineage)\",\n  },\n  responds_to: {\n    from: [\"L2\", \"L3\"],\n    to: [\"L3\"],\n    description: \"Answer -> Question (L2/L3 -> L3)\",\n  },\n  belongs_to: {\n    from: [\"L2\", \"L3\", \"ontological\"],\n    to: [\"L3\"],\n    description: \"Membership (migrating to contains)\",\n  },\n  relates_to_thesis: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief -> Theme (L3 -> L3)\",\n  },\n\n  // === Ontological (entity-entity or entity-epistemic bridge) ===\n  works_at: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Person -> Company\",\n  },\n  invested_in: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Investor -> Company\",\n  },\n  competes_with: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company -> Company\",\n  },\n  participates_in: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company -> ValueChain\",\n  },\n  founded_by: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company -> Person\",\n  },\n  evaluates: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Deal -> Company\",\n  },\n  performs: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company -> Function\",\n  },\n  function_in: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Function -> ValueChain\",\n  },\n  impacts: {\n    from: [\"ontological\", \"L3\"],\n    to: [\"ontological\"],\n    description: \"Theme/Entity -> ValueChain\",\n  },\n  raised_from: {\n    from: [\"ontological\"],\n    to: [\"ontological\"],\n    description: \"Company -> Investor\",\n  },\n  mentioned_in: {\n    from: [\"ontological\"],\n    to: [\"L1\", \"L2\"],\n    description: \"Entity -> Source/Evidence\",\n  },\n  perspective_on: {\n    from: [\"ontological\"],\n    to: [\"L3\"],\n    description: \"Person -> Belief/Theme\",\n  },\n  plays_theme: {\n    from: [\"ontological\"],\n    to: [\"L3\"],\n    description: \"Deal -> Theme\",\n  },\n\n  // C2-RR.4 — storage migration alias + the remaining 55 reachable edge types.\n  // Mirrors the kernel rule table\n  // (packages/reasoning-kernel/src/adapters/lib/edgeValidation.ts) so this\n  // graph-primitives write path admits the same public edge vocabulary. See the\n  // kernel file for the per-group rationale.\n  extracted_from: {\n    from: [\"L2\", \"L3\", \"L4\"],\n    to: [\"L1\", \"L2\", \"L3\"],\n    description:\n      \"Legacy storage migration alias for derived_from; public writes use derived_from\",\n  },\n  qualifies: {\n    from: [\"L2\", \"L3\"],\n    to: [\"L3\"],\n    description: \"Evidence/Belief qualifies a Belief\",\n  },\n  contradicts: {\n    from: [\"L2\", \"L3\"],\n    to: [\"L3\"],\n    description: \"Evidence/Belief contradicts a Belief\",\n  },\n  reinforces: {\n    from: [\"L2\", \"L3\"],\n    to: [\"L3\"],\n    description: \"Evidence/Belief reinforces a Belief\",\n  },\n  corroborates: {\n    from: [\"L2\", \"L3\"],\n    to: [\"L3\"],\n    description: \"Independent evidence/belief corroborates a Belief\",\n  },\n  strengthened_by: {\n    from: [\"L3\"],\n    to: [\"L2\", \"L3\"],\n    description: \"Belief is strengthened by Evidence/Belief\",\n  },\n  weakened_by: {\n    from: [\"L3\"],\n    to: [\"L2\", \"L3\"],\n    description: \"Belief is weakened by Evidence/Belief\",\n  },\n  validated_by: {\n    from: [\"L3\"],\n    to: [\"L2\", \"L3\"],\n    description: \"Belief is validated by Evidence/Belief\",\n  },\n  falsified_by: {\n    from: [\"L3\"],\n    to: [\"L2\", \"L3\"],\n    description: \"Belief is falsified by Evidence/Belief\",\n  },\n  amplifies: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief amplifies another Belief\",\n  },\n  precondition_for: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief is a precondition for another Belief\",\n  },\n  prerequisite_for: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief is a prerequisite for another Belief\",\n  },\n  required_for: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief is required for another Belief\",\n  },\n  in_tension_with: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief is in tension with another Belief\",\n  },\n  mutually_exclusive: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Beliefs cannot both hold\",\n  },\n  exclusive_with: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief is exclusive with another Belief\",\n  },\n  alternative_to: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief is an alternative to another Belief\",\n  },\n  subsumes: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief subsumes a narrower Belief\",\n  },\n  extends: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief extends another Belief\",\n  },\n  refines: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief refines another Belief\",\n  },\n  implements: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief implements an abstract Belief\",\n  },\n  violates: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief violates a constraint Belief\",\n  },\n  assumes: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief assumes another Belief\",\n  },\n  would_predict: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief would predict another Belief\",\n  },\n  analogous_to: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief is analogous to another Belief\",\n  },\n  independent_of: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief is independent of another Belief\",\n  },\n  correlates_with: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief correlates with another Belief\",\n  },\n  co_changes_with: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief co-changes with another Belief\",\n  },\n  counterfactual_of: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief is a counterfactual of another Belief\",\n  },\n  parallel_to: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief runs parallel to another Belief\",\n  },\n  cascade_from: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Cascade from an upstream Belief\",\n  },\n  cascade_to: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Cascade to a downstream Belief\",\n  },\n  collapses_if: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief collapses if another fails\",\n  },\n  branches_from: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief branches from an ancestor Belief\",\n  },\n  same_as: {\n    from: [\"L2\", \"L3\", \"ontological\"],\n    to: [\"L2\", \"L3\", \"ontological\"],\n    description: \"Two nodes are the same entity\",\n  },\n  answers: {\n    from: [\"L2\", \"L3\"],\n    to: [\"L3\"],\n    description: \"Answer/Belief answers a Question\",\n  },\n  partially_answers: {\n    from: [\"L2\", \"L3\"],\n    to: [\"L3\"],\n    description: \"Answer/Belief partially answers a Question\",\n  },\n  explores: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Question explores a Belief/Theme\",\n  },\n  informed_by_theme: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Belief is informed by a Theme\",\n  },\n  same_theme_as: {\n    from: [\"L3\"],\n    to: [\"L3\"],\n    description: \"Two Beliefs share a Theme\",\n  },\n  based_on: {\n    from: [\"L4\"],\n    to: [\"L3\"],\n    description: \"Decision is based on a Belief/Question\",\n  },\n  based_on_belief: {\n    from: [\"L4\"],\n    to: [\"L3\"],\n    description: \"Decision is based on a Belief\",\n  },\n  based_on_question: {\n    from: [\"L4\"],\n    to: [\"L3\"],\n    description: \"Decision is based on a Question\",\n  },\n  blocked_by_contradiction: {\n    from: [\"L4\"],\n    to: [\"L3\"],\n    description: \"Decision is blocked by a Contradiction\",\n  },\n  parent_of: {\n    from: [\"L3\", \"L4\", \"ontological\", \"organizational\"],\n    to: [\"L2\", \"L3\", \"ontological\", \"organizational\"],\n    description: \"A is the parent of B\",\n  },\n  child_of: {\n    from: [\"L2\", \"L3\", \"ontological\", \"organizational\"],\n    to: [\"L3\", \"L4\", \"ontological\", \"organizational\"],\n    description: \"A is the child of B\",\n  },\n  scoped_by: {\n    from: [\"L2\", \"L3\"],\n    to: [\"L3\", \"organizational\"],\n    description: \"Object is scoped by a Topic/Theme\",\n  },\n  cites: {\n    from: [\"L2\", \"L3\"],\n    to: [\"L1\", \"L2\"],\n    description: \"Evidence/Belief cites a Source/Excerpt\",\n  },\n  summarizes: {\n    from: [\"L2\", \"L3\"],\n    to: [\"L1\", \"L2\"],\n    description: \"Synthesis/Evidence summarizes a Source/Evidence\",\n  },\n  same_source_as: {\n    from: [\"L1\", \"L2\"],\n    to: [\"L1\", \"L2\"],\n    description: \"Two nodes derive from the same Source\",\n  },\n  migrating_from: {\n    from: [\"L2\", \"L3\", \"L4\"],\n    to: [\"L1\", \"L2\", \"L3\"],\n    description: \"Migration lineage: from an ancestor\",\n  },\n  migrating_to: {\n    from: [\"L1\", \"L2\", \"L3\"],\n    to: [\"L2\", \"L3\", \"L4\"],\n    description: \"Migration lineage: to a successor\",\n  },\n  about_entity: {\n    from: [\"L2\", \"L3\"],\n    to: [\"ontological\"],\n    description: \"Belief/Evidence is about an Entity\",\n  },\n  entity_referenced_in: {\n    from: [\"ontological\"],\n    to: [\"L1\", \"L2\"],\n    description: \"Entity is referenced in a Source/Evidence\",\n  },\n  related_to: {\n    from: [\"L2\", \"L3\", \"ontological\", \"organizational\"],\n    to: [\"L2\", \"L3\", \"ontological\", \"organizational\"],\n    description: \"Lateral adjacency; no confidence pressure\",\n  },\n  blocks: {\n    from: [\"L3\", \"L4\"],\n    to: [\"L3\", \"L4\"],\n    description: \"A blocks B (structural gate)\",\n  },\n};\n\nexport function validateEdgeLayers(\n  edgeType: string,\n  fromLayer: EpistemicLayer,\n  toLayer: EpistemicLayer\n): { valid: boolean; reason?: string } {\n  const rules = EDGE_LAYER_RULES[edgeType];\n\n  if (!rules) {\n    console.warn(\n      `[EdgeValidation] Unknown edge type: ${edgeType}, allowing by default`\n    );\n    return { valid: true };\n  }\n\n  if (edgeType === \"supersedes\") {\n    if (fromLayer !== toLayer) {\n      return {\n        valid: false,\n        reason: `${edgeType} edges must be between nodes of the same layer. Got ${fromLayer} -> ${toLayer}`,\n      };\n    }\n    return { valid: true };\n  }\n\n  if (!rules.from.includes(fromLayer)) {\n    return {\n      valid: false,\n      reason: `Edge type '${edgeType}' does not allow source layer ${fromLayer}. Allowed: ${rules.from.join(\", \")}`,\n    };\n  }\n\n  if (!rules.to.includes(toLayer)) {\n    return {\n      valid: false,\n      reason: `Edge type '${edgeType}' does not allow target layer ${toLayer}. Allowed: ${rules.to.join(\", \")}`,\n    };\n  }\n\n  if (!isValidLayerConnection(fromLayer, toLayer)) {\n    return {\n      valid: false,\n      reason: `Layer transition ${fromLayer} -> ${toLayer} is not permitted`,\n    };\n  }\n\n  return { valid: true };\n}\n","/**\n * helpers module implementation.\n */\n\nimport { type Id, internal, type MutationCtx } from \"./convex\";\nimport { type EpistemicLayer, validateEdgeLayers } from \"./edgeValidation\";\nimport { generateGlobalId } from \"./globalId\";\nimport { getNodeLayer as resolveNodeLayer } from \"./graphTypes\";\n\n// biome-ignore lint/performance/noBarrelFile: Public helper compatibility export retained for existing graph-primitives consumers.\nexport { getNodeLayer } from \"./graphTypes\";\n\nfunction readOptionalString(value: unknown): string | undefined {\n  return typeof value === \"string\" && value.trim().length > 0\n    ? value\n    : undefined;\n}\n\nexport async function createEpistemicEdge(\n  ctx: MutationCtx,\n  params: {\n    fromNodeId: Id<\"epistemicNodes\">;\n    toNodeId: Id<\"epistemicNodes\">;\n    edgeType: string;\n    weight?: number;\n    confidence?: number;\n    context?: string;\n    projectId?: string;\n    createdBy: string;\n    skipLayerValidation?: boolean;\n  }\n): Promise<string> {\n  const globalId = generateGlobalId();\n\n  const fromNode = await ctx.db.get(params.fromNodeId);\n  const toNode = await ctx.db.get(params.toNodeId);\n\n  if (!(fromNode && toNode)) {\n    throw new Error(\"One or both nodes not found\");\n  }\n\n  const fromNodeType = readOptionalString(fromNode.nodeType);\n  const toNodeType = readOptionalString(toNode.nodeType);\n  const fromGlobalId = readOptionalString(fromNode.globalId);\n  const toGlobalId = readOptionalString(toNode.globalId);\n  if (!(fromNodeType && toNodeType && fromGlobalId && toGlobalId)) {\n    throw new Error(\n      \"Cannot create epistemic edge without canonical nodeType and globalId on both endpoints\"\n    );\n  }\n\n  const fromLayer =\n    readOptionalString(fromNode.epistemicLayer) ??\n    resolveNodeLayer(fromNodeType);\n  const toLayer =\n    readOptionalString(toNode.epistemicLayer) ?? resolveNodeLayer(toNodeType);\n\n  if (!params.skipLayerValidation) {\n    const validation = validateEdgeLayers(\n      params.edgeType,\n      fromLayer as EpistemicLayer,\n      toLayer as EpistemicLayer\n    );\n    if (!validation.valid) {\n      throw new Error(\n        `[EdgeValidation] Invalid edge: ${validation.reason}. ` +\n          `Attempted: ${params.edgeType} from ${fromNodeType}(${fromLayer}) → ${toNodeType}(${toLayer})`\n      );\n    }\n  }\n\n  await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {\n    globalId,\n    fromGlobalId,\n    toGlobalId,\n    edgeType: params.edgeType,\n    weight: params.weight,\n    confidence: params.confidence,\n    context: params.context,\n    createdBy: params.createdBy,\n    topicId: params.projectId ? String(params.projectId) : undefined,\n    fromNodeType,\n    toNodeType,\n    fromLayer,\n    toLayer,\n  });\n\n  return globalId;\n}\n"]}