@lucern/graph-primitives 1.0.31 → 1.0.33

package/dist/beliefEvidenceLinks.operational.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/convex.ts","../src/epistemicInsert.ts","../src/beliefEvidenceLinks.operational.ts"],"names":[],"mappings":";;;;;;AA4BA,IAAM,SAAA,GAAY,kBAAA;AAAA,EAChB;AACF,CAAA;AAGE,iBAAA;AACK,IAAM,QAAA,GAAW,SAAA;ACcxB,eAAe,0BAAA,CACb,GAAA,EACA,YAAA,EACA,QAAA,EACe;AACf,EAAA,4BAAA,CAA6B,cAAc,QAAQ,CAAA;AACnD,EAAA,MAAM,OAAO,MAAM,GAAA,CAAI,EAAA,CACpB,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA;AAAA,IAAU,aAAA;AAAA,IAAe,CAAC,CAAA,KACzB,CAAA,CAAE,EAAA,CAAG,YAAY,QAAQ;AAAA,IAE1B,KAAA,EAAM;AACT,EAAA,IAAI,CAAC,IAAA,EAAM;AACT,IAAA,MAAM,IAAI,KAAA;AAAA,MACR,CAAA,4DAAA,EAA+D,YAAY,CAAA,gEAAA,EAAmE,QAAQ,CAAA,6BAAA;AAAA,KACxJ;AAAA,EACF;AACF;AAEA,eAAsB,mBAAA,CACpB,KACA,GAAA,EAC+B;AAC/B,EAAA,oBAAA,CAAqB,gBAAA,EAAkB,IAAI,QAAQ,CAAA;AAGnD,EAAA,2BAAA,CAA4B,IAAI,QAAQ,CAAA;AAGxC,EAAA,IAAI,CAAC,GAAA,CAAI,UAAA,IAAc,OAAO,GAAA,CAAI,eAAe,QAAA,EAAU;AACzD,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AACA,EAAA,IAAI,CAAC,GAAA,CAAI,QAAA,IAAY,OAAO,GAAA,CAAI,aAAa,QAAA,EAAU;AACrD,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAOA,EAAA,MAAM,0BAAA,CAA2B,GAAA,EAAK,YAAA,EAAc,GAAA,CAAI,UAAU,CAAA;AAClE,EAAA,MAAM,0BAAA,CAA2B,GAAA,EAAK,UAAA,EAAY,GAAA,CAAI,QAAQ,CAAA;AAG9D,EAAA,IAAI,IAAI,YAAA,IAAgB,GAAA,CAAI,UAAA,IAAc,GAAA,CAAI,aAAa,gBAAA,EAAkB;AAC3E,IAAA,uBAAA;AAAA,MACE,kBAAA;AAAA,MACA,GAAA,CAAI,QAAA;AAAA,MACJ;AAAA,QACE,IAAA,EAAM,gBAAA;AAAA,QACN,QAAQ,GAAA,CAAI,UAAA;AAAA,QACZ,UAAU,GAAA,CAAI;AAAA,OAChB;AAAA,MACA;AAAA,QACE,IAAA,EAAM,gBAAA;AAAA,QACN,QAAQ,GAAA,CAAI,QAAA;AAAA,QACZ,UAAU,GAAA,CAAI;AAAA;AAChB,KACF;AAAA,EACF;AAEA,EAAA,OAAO,GAAA,CAAI,EAAA,CAAG,MAAA,CAAO,gBAAA,EAAkB,GAAG,CAAA;AAC5C;;;ACpDA,SAAS,SAAS,KAAA,EAAkD;AAClE,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,KAAU,IAAA;AAChD;AAEA,SAAS,aACP,KAAA,EACsB;AACtB,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,CAAM,MAAA,GAAS,IAC9C,KAAA,GACD,IAAA;AACN;AAEA,SAAS,qBAAqB,KAAA,EAAyC;AACrE,EAAA,IAAI,CAAC,QAAA,CAAS,KAAK,CAAA,EAAG;AACpB,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,EAAA,GAAK,YAAA,CAA+B,KAAA,CAAM,GAAG,CAAA;AACnD,EAAA,IACE,CAAC,MACD,OAAO,KAAA,CAAM,aAAa,QAAA,IAC1B,OAAO,KAAA,CAAM,QAAA,KAAa,QAAA,EAC1B;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO;AAAA,IACL,GAAA,EAAK,EAAA;AAAA,IACL,UAAU,KAAA,CAAM,QAAA;AAAA,IAChB,UAAU,KAAA,CAAM;AAAA,GAClB;AACF;AAEA,SAAS,mBAAmB,KAAA,EAAwC;AAClE,EAAA,IAAI,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACzB,IAAA,OAAO,EAAC;AAAA,EACV;AACA,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,CAAC,KAAA,KAAU;AAC9B,IAAA,MAAM,EAAA,GAAK,aAA+B,KAAK,CAAA;AAC/C,IAAA,OAAO,EAAA,GAAK,CAAC,EAAE,CAAA,GAAI,EAAC;AAAA,EACtB,CAAC,CAAA;AACH;AAEA,SAAS,yBAAyB,KAAA,EAAsC;AACtE,EAAA,IAAI,CAAC,QAAA,CAAS,KAAK,CAAA,EAAG;AACpB,IAAA,OAAO;AAAA,MACL,yBAAyB,EAAC;AAAA,MAC1B,sBAAsB;AAAC,KACzB;AAAA,EACF;AACA,EAAA,OAAO;AAAA,IACL,uBAAA,EAAyB,kBAAA,CAAmB,KAAA,CAAM,uBAAuB,CAAA;AAAA,IACzE,oBAAA,EAAsB,kBAAA,CAAmB,KAAA,CAAM,oBAAoB;AAAA,GACrE;AACF;AAEA,SAAS,iBAAiB,KAAA,EAAqC;AAC7D,EAAA,IAAI,CAAC,QAAA,CAAS,KAAK,CAAA,EAAG;AACpB,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,EAAA,GAAK,YAAA,CAA+B,KAAA,CAAM,GAAG,CAAA;AACnD,EAAA,IACE,CAAC,MACD,OAAO,KAAA,CAAM,aAAa,QAAA,IAC1B,OAAO,KAAA,CAAM,QAAA,KAAa,QAAA,EAC1B;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO;AAAA,IACL,GAAA,EAAK,EAAA;AAAA,IACL,UAAU,KAAA,CAAM,QAAA;AAAA,IAChB,UAAU,KAAA,CAAM;AAAA,GAClB;AACF;AAEA,eAAe,8BAAA,CACb,KACA,GAAA,EACe;AACf,EAAA,MAAM,mBAAA;AAAA,IACJ,GAAA;AAAA,IACA;AAAA,GACF;AACF;AAEA,SAAS,qBAAqB,IAAA,EAG3B;AACD,EAAA,IACE,CAAC,MAAA,CAAO,QAAA,CAAS,IAAA,CAAK,MAAM,CAAA,IAC5B,IAAA,CAAK,MAAA,KAAW,CAAA,IAChB,IAAA,CAAK,MAAA,GAAS,EAAA,IACd,IAAA,CAAK,SAAS,CAAA,EACd;AACA,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,QAAA,KAAa,UAAA,IAAc,IAAA,CAAK,SAAS,CAAA,EAAG;AACnD,IAAA,MAAM,IAAI,MAAM,mDAAmD,CAAA;AAAA,EACrE;AACA,EAAA,IAAI,IAAA,CAAK,QAAA,KAAa,aAAA,IAAiB,IAAA,CAAK,SAAS,CAAA,EAAG;AACtD,IAAA,MAAM,IAAI,MAAM,sDAAsD,CAAA;AAAA,EACxE;AACF;AAEA,eAAsB,2BAAA,CACpB,KACA,IAAA,EASe;AACf,EAAA,oBAAA,CAAqB,EAAE,QAAA,EAAU,IAAA,CAAK,UAAU,MAAA,EAAQ,IAAA,CAAK,QAAQ,CAAA;AACrE,EAAA,MAAM,UAAA,GAAa,IAAA,CAAK,GAAA,CAAI,IAAA,CAAK,MAAM,CAAA;AACvC,EAAA,MAAM,iBAAA,GAAoB,IAAA,CAAK,UAAA,CAAW,oBAAA,IAAwB,EAAC;AACnE,EAAA,MAAM,oBAAA,GAAuB,IAAA,CAAK,UAAA,CAAW,uBAAA,IAA2B,EAAC;AAEzE,EAAA,IACE,IAAA,CAAK,aAAa,UAAA,IAClB,CAAC,kBAAkB,QAAA,CAAS,IAAA,CAAK,SAAS,CAAA,EAC1C;AACA,IAAA,MAAM,GAAA,CAAI,EAAA,CAAG,KAAA,CAAM,IAAA,CAAK,QAAA,EAAU;AAAA,MAChC,oBAAA,EAAsB,CAAC,GAAG,iBAAA,EAAmB,KAAK,SAAS,CAAA;AAAA,MAC3D,yBAAyB,oBAAA,CAAqB,MAAA;AAAA,QAC5C,CAAC,EAAA,KAA6B,EAAA,KAAO,IAAA,CAAK;AAAA;AAC5C,KACD,CAAA;AAAA,EACH,CAAA,MAAA,IACE,KAAK,QAAA,KAAa,aAAA,IAClB,CAAC,oBAAA,CAAqB,QAAA,CAAS,IAAA,CAAK,SAAS,CAAA,EAC7C;AACA,IAAA,MAAM,GAAA,CAAI,EAAA,CAAG,KAAA,CAAM,IAAA,CAAK,QAAA,EAAU;AAAA,MAChC,uBAAA,EAAyB,CAAC,GAAG,oBAAA,EAAsB,KAAK,SAAS,CAAA;AAAA,MACjE,sBAAsB,iBAAA,CAAkB,MAAA;AAAA,QACtC,CAAC,EAAA,KAA6B,EAAA,KAAO,IAAA,CAAK;AAAA;AAC5C,KACD,CAAA;AAAA,EACH;AAEA,EAAA,IAAI;AACF,IAAA,MAAM,eAAA,GAAkB,iBAAiB,MAAM,GAAA,CAAI,GAAG,GAAA,CAAI,IAAA,CAAK,QAAQ,CAAC,CAAA;AACxE,IAAA,MAAM,iBAAA,GAAoB,gBAAA;AAAA,MACxB,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,KAAK,SAAS;AAAA,KACjC;AAEA,IAAA,IACE,eAAA,EAAiB,QAAA,KAAa,QAAA,IAC9B,iBAAA,EAAmB,aAAa,UAAA,EAChC;AACA,MAAA,MAAM,iBACJ,MAAM,GAAA,CAAI,EAAA,CACP,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA;AAAA,QAAU,YAAA;AAAA,QAAc,CAAC,CAAA,KACxB,CAAA,CACG,EAAA,CAAG,YAAA,EAAc,iBAAA,CAAkB,QAAQ,CAAA,CAC3C,EAAA,CAAG,UAAA,EAAY,eAAA,CAAgB,QAAQ;AAAA,OAC5C,CACC,OAAA,EAAQ,EAEV,GAAA,CAAI,oBAAoB,EACxB,MAAA,CAAO,CAAC,IAAA,KAAmC,IAAA,KAAS,IAAI,CAAA;AAE3D,MAAA,KAAA,MAAW,QAAQ,aAAA,EAAe;AAChC,QAAA,IAAI,IAAA,CAAK,aAAa,SAAA,EAAW;AAC/B,UAAA,MAAM,IAAI,SAAA,CAAU,QAAA,CAAS,CAAA,EAAG,QAAA,CAAS,aAAa,UAAA,EAAY;AAAA,YAChE,UAAU,IAAA,CAAK;AAAA,WAChB,CAAA;AACD,UAAA,MAAM,GAAA,CAAI,EAAA,CAAG,MAAA,CAAO,IAAA,CAAK,GAAG,CAAA;AAAA,QAC9B;AAAA,MACF;AAEA,MAAA,MAAM,WAAW,gBAAA,EAAiB;AAClC,MAAA,MAAM,OAAA,GAAU,IAAA,CAAK,SAAA,IAAa,CAAA,UAAA,EAAa,KAAK,QAAQ,CAAA,CAAA;AAC5D,MAAA,MAAM,+BAA+B,GAAA,EAAK;AAAA,QACxC,QAAA;AAAA;AAAA,QAEA,YAAY,iBAAA,CAAkB,QAAA;AAAA,QAC9B,UAAU,eAAA,CAAgB,QAAA;AAAA,QAC1B,gBAAgB,iBAAA,CAAkB,QAAA;AAAA,QAClC,gBAAgB,eAAA,CAAgB,QAAA;AAAA,QAChC,QAAA,EAAU,SAAA;AAAA,QACV,QAAQ,IAAA,CAAK,MAAA;AAAA,QACb,UAAA;AAAA,QACA,OAAA;AAAA,QACA,eAAA,EAAiB,aAAA;AAAA,QACjB,cAAA,EAAgB,qBAAA;AAAA,QAChB,QAAA,EAAU;AAAA,UACR,UAAU,IAAA,CAAK,QAAA;AAAA,UACf,UAAA;AAAA,UACA,aAAa,IAAA,CAAK,MAAA;AAAA,UAClB,SAAA,EAAW;AAAA,SACb;AAAA,QACA,WAAW,IAAA,CAAK,SAAA;AAAA,QAChB,SAAA,EAAW,KAAK,GAAA,EAAI;AAAA,QACpB,SAAA,EAAW,KAAK,GAAA,EAAI;AAAA,QACpB,SAAA,EAAW,KAAK,UAAA,CAAW,SAAA;AAAA,QAC3B,OAAA,EAAS,KAAK,UAAA,CAAW,OAAA,GACrB,OAAO,IAAA,CAAK,UAAA,CAAW,OAAO,CAAA,GAC9B,KAAA,CAAA;AAAA,QACJ,YAAA,EAAc,UAAA;AAAA,QACd,UAAA,EAAY,QAAA;AAAA,QACZ,SAAA,EAAW,IAAA;AAAA,QACX,OAAA,EAAS;AAAA,OACV,CAAA;AAED,MAAA,MAAM,IAAI,SAAA,CAAU,QAAA,CAAS,CAAA,EAAG,QAAA,CAAS,aAAa,UAAA,EAAY;AAAA,QAChE,QAAA;AAAA,QACA,cAAc,iBAAA,CAAkB,QAAA;AAAA,QAChC,YAAY,eAAA,CAAgB,QAAA;AAAA,QAC5B,QAAA,EAAU,SAAA;AAAA,QACV,QAAQ,IAAA,CAAK,MAAA;AAAA,QACb,UAAA;AAAA,QACA,OAAA;AAAA,QACA,SAAA,EAAW,KAAK,UAAA,CAAW,SAAA,GACvB,OAAO,IAAA,CAAK,UAAA,CAAW,SAAS,CAAA,GAChC,KAAA,CAAA;AAAA,QACJ,WAAW,IAAA,CAAK,SAAA;AAAA,QAChB,YAAA,EAAc,UAAA;AAAA,QACd,UAAA,EAAY,QAAA;AAAA,QACZ,SAAA,EAAW,IAAA;AAAA,QACX,OAAA,EAAS;AAAA,OACV,CAAA;AAAA,IACH;AAAA,EACF,SAAS,CAAA,EAAG;AACV,IAAA,OAAA,CAAQ,KAAA,CAAM,mDAAmD,CAAC,CAAA;AAAA,EACpE;AAEA,EAAA,IAAI,IAAA,CAAK,WAAW,SAAA,EAAW;AAC7B,IAAA,MAAM,GAAA,CAAI,SAAA,CAAU,QAAA,CAAS,CAAA,EAAG,wCAAA,EAA0C;AAAA,MACxE,WAAW,IAAA,CAAK,SAAA;AAAA,MAChB,UAAA,EAAY,QAAA;AAAA,MACZ,UAAU,IAAA,CAAK,QAAA;AAAA,MACf,SAAA,EAAW,KAAK,UAAA,CAAW,SAAA;AAAA,MAC3B,QAAQ,IAAA,CAAK;AAAA,KACd,CAAA;AAAA,EACH;AACF;AAEA,eAAsB,4BAAA,CACpB,KACA,IAAA,EAKe;AACf,EAAA,MAAM,SAAS,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,KAAK,QAAQ,CAAA;AAC7C,EAAA,IAAI,MAAA,EAAQ;AACV,IAAA,MAAM,EAAE,uBAAA,EAAyB,oBAAA,EAAqB,GACpD,yBAAyB,MAAM,CAAA;AAEjC,IAAA,IAAI,IAAA,CAAK,aAAa,UAAA,EAAY;AAChC,MAAA,MAAM,GAAA,CAAI,EAAA,CAAG,KAAA,CAAM,IAAA,CAAK,QAAA,EAAU;AAAA,QAChC,sBAAsB,oBAAA,CAAqB,MAAA;AAAA,UACzC,CAAC,EAAA,KAA6B,EAAA,KAAO,IAAA,CAAK;AAAA;AAC5C,OACD,CAAA;AAAA,IACH,CAAA,MAAO;AACL,MAAA,MAAM,GAAA,CAAI,EAAA,CAAG,KAAA,CAAM,IAAA,CAAK,QAAA,EAAU;AAAA,QAChC,yBAAyB,uBAAA,CAAwB,MAAA;AAAA,UAC/C,CAAC,EAAA,KAA6B,EAAA,KAAO,IAAA,CAAK;AAAA;AAC5C,OACD,CAAA;AAAA,IACH;AAAA,EACF;AAEA,EAAA,IAAI;AACF,IAAA,MAAM,eAAA,GAAkB,iBAAiB,MAAM,GAAA,CAAI,GAAG,GAAA,CAAI,IAAA,CAAK,QAAQ,CAAC,CAAA;AACxE,IAAA,MAAM,iBAAA,GAAoB,gBAAA;AAAA,MACxB,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,KAAK,SAAS;AAAA,KACjC;AAEA,IAAA,IACE,eAAA,EAAiB,QAAA,KAAa,QAAA,IAC9B,iBAAA,EAAmB,aAAa,UAAA,EAChC;AACA,MAAA,MAAM,SACJ,MAAM,GAAA,CAAI,EAAA,CACP,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA;AAAA,QAAU,YAAA;AAAA,QAAc,CAAC,CAAA,KACxB,CAAA,CACG,EAAA,CAAG,YAAA,EAAc,iBAAA,CAAkB,GAAG,CAAA,CACtC,EAAA,CAAG,UAAA,EAAY,eAAA,CAAgB,GAAG;AAAA,OACvC,CACC,OAAA,EAAQ,EAEV,GAAA,CAAI,oBAAoB,EACxB,MAAA,CAAO,CAAC,IAAA,KAAmC,IAAA,KAAS,IAAI,CAAA;AAE3D,MAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,QAAA,IAAI,IAAA,CAAK,aAAa,SAAA,EAAW;AAC/B,UAAA,MAAM,IAAI,SAAA,CAAU,QAAA,CAAS,CAAA,EAAG,QAAA,CAAS,aAAa,UAAA,EAAY;AAAA,YAChE,UAAU,IAAA,CAAK;AAAA,WAChB,CAAA;AACD,UAAA,MAAM,GAAA,CAAI,EAAA,CAAG,MAAA,CAAO,IAAA,CAAK,GAAG,CAAA;AAAA,QAC9B;AAAA,MACF;AAAA,IACF;AAAA,EACF,SAAS,CAAA,EAAG;AACV,IAAA,OAAA,CAAQ,KAAA,CAAM,mDAAmD,CAAC,CAAA;AAAA,EACpE;AACF","file":"beliefEvidenceLinks.operational.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.\nimport {\n  assertEdgePolicyAllowed,\n  type EpistemicNodeType,\n  edgePolicyManifest,\n} from \"@lucern/contracts\";\nimport {\n  assertStorageEdgeVocabulary,\n  assertUuidShapedEdgeEndpoint,\n  assertUuidV7Identity,\n} from \"@lucern/contracts/ids\";\nimport type { Id, MutationCtx } from \"./convex\";\n\ninterface GlobalIdIndexQuery {\n  eq(field: \"globalId\", value: string): GlobalIdIndexQuery;\n}\n\ninterface EpistemicNodeInsertDoc extends Record<string, unknown> {\n  globalId: string;\n}\n\ninterface EpistemicEdgeInsertDoc extends Record<string, unknown> {\n  edgeType: string;\n  fromNodeId: string;\n  fromNodeType?: string;\n  globalId: string;\n  toNodeId: string;\n  toNodeType?: string;\n}\n\nexport function insertEpistemicNode(\n  ctx: MutationCtx,\n  doc: EpistemicNodeInsertDoc\n): Promise<Id<\"epistemicNodes\">> {\n  assertUuidV7Identity(\"epistemicNodes\", doc.globalId);\n  return ctx.db.insert(\"epistemicNodes\", doc);\n}\n\n/**\n * C2-RR.4b — REFERENTIAL edge-endpoint canonicality (amends RR.4's FORMAT guard).\n *\n * Proves an endpoint is the `globalId` of an EXISTING `epistemicNodes` row, not\n * that it has a v7 shape. Refuses doc-ids and fabricated/unknown endpoints while\n * keeping legacy v4-`globalId` nodes (the established prod corpus) linkable.\n * SHAPE pre-filter accepts both v4 and v7; the indexed `by_globalId` lookup is\n * the referential authority (no full scan). v7-format stays enforced only at new\n * identity minting (`assertUuidV7Identity`). See c2-rr4b-endpoint-referential.\n */\nasync function assertExistingNodeEndpoint(\n  ctx: MutationCtx,\n  endpointRole: \"fromNodeId\" | \"toNodeId\",\n  endpoint: string\n): Promise<void> {\n  assertUuidShapedEdgeEndpoint(endpointRole, endpoint);\n  const node = await ctx.db\n    .query(\"epistemicNodes\")\n    .withIndex(\"by_globalId\", (q: GlobalIdIndexQuery) =>\n      q.eq(\"globalId\", endpoint)\n    )\n    .first();\n  if (!node) {\n    throw new Error(\n      `edge_endpoint_not_canonical: epistemicEdges insert requires ${endpointRole} to be the globalId of an existing epistemicNodes row, received ${endpoint} (no node with that globalId)`\n    );\n  }\n}\n\nexport async function insertEpistemicEdge(\n  ctx: MutationCtx,\n  doc: EpistemicEdgeInsertDoc\n): Promise<Id<\"epistemicEdges\">> {\n  assertUuidV7Identity(\"epistemicEdges\", doc.globalId);\n\n  // R1.1a — STORAGE-VOCABULARY MEMBERSHIP\n  assertStorageEdgeVocabulary(doc.edgeType);\n\n  // R1.1b — ENDPOINT PRESENCE\n  if (!doc.fromNodeId || typeof doc.fromNodeId !== \"string\") {\n    throw new Error(\n      \"edge_endpoint_missing: epistemicEdges insert requires a non-empty fromNodeId\"\n    );\n  }\n  if (!doc.toNodeId || typeof doc.toNodeId !== \"string\") {\n    throw new Error(\n      \"edge_endpoint_missing: epistemicEdges insert requires a non-empty toNodeId\"\n    );\n  }\n\n  // C2-RR.4b Defect E (REFERENTIAL) — ENDPOINT CANONICAL IDENTITY. Edge\n  // endpoints must each be the globalId of an EXISTING epistemicNodes row,\n  // never a Convex doc id, a legacy topic id, or a fabricated/unknown uuid.\n  // This refuses the mixed _id/globalId endpoint writes at the floor while\n  // keeping legacy v4-globalId nodes linkable (RR.4b prod-incident cure).\n  await assertExistingNodeEndpoint(ctx, \"fromNodeId\", doc.fromNodeId);\n  await assertExistingNodeEndpoint(ctx, \"toNodeId\", doc.toNodeId);\n\n  // R1.1c — FULL POLICY ASSERT (when nodeTypes are present and edgeType is in public manifest)\n  if (doc.fromNodeType && doc.toNodeType && doc.edgeType !== \"extracted_from\") {\n    assertEdgePolicyAllowed(\n      edgePolicyManifest,\n      doc.edgeType,\n      {\n        kind: \"epistemic_node\",\n        nodeId: doc.fromNodeId,\n        nodeType: doc.fromNodeType as EpistemicNodeType,\n      },\n      {\n        kind: \"epistemic_node\",\n        nodeId: doc.toNodeId,\n        nodeType: doc.toNodeType as EpistemicNodeType,\n      }\n    );\n  }\n\n  return ctx.db.insert(\"epistemicEdges\", doc);\n}\n","// biome-ignore-all lint/style/useFilenamingConvention: Public graph-primitives wildcard-export path; rename requires an export-map migration.\nimport type { Id, MutationCtx } from \"./convex\";\nimport { internal } from \"./convex\";\nimport { insertEpistemicEdge } from \"./epistemicInsert.js\";\nimport { generateGlobalId } from \"./globalId\";\n\ntype BeliefEvidenceRelation = \"supports\" | \"contradicts\";\ninterface IndexRangeBuilder {\n  eq(fieldName: string, value: unknown): IndexRangeBuilder;\n}\ninterface EpistemicNode {\n  _id: Id<\"epistemicNodes\">;\n  contradictingInsightIds?: Id<\"epistemicNodes\">[];\n  globalId?: string;\n  nodeType?: string;\n  projectId?: string;\n  supportingInsightIds?: Id<\"epistemicNodes\">[];\n  topicId?: string | Id<\"topics\">;\n}\ninterface EpistemicEdgeDoc {\n  _id: Id<\"epistemicEdges\">;\n  edgeType: string;\n  globalId: string;\n}\ninterface InsightIdCollections {\n  contradictingInsightIds: Id<\"epistemicNodes\">[];\n  supportingInsightIds: Id<\"epistemicNodes\">[];\n}\ninterface OperationalEpistemicEdgeInsert {\n  confidence: number;\n  context: string;\n  createdAt: number;\n  createdBy: string;\n  derivationType: \"evidence_sl_scoring\";\n  edgeType: \"informs\";\n  fromLayer: \"L2\";\n  fromNodeId: string;\n  fromNodeType: \"evidence\";\n  globalId: string;\n  metadata: OperationalEpistemicEdgeMetadata;\n  projectId?: string;\n  reasoningMethod: \"testimonial\";\n  sourceGlobalId: string;\n  targetGlobalId: string;\n  toLayer: \"L3\";\n  toNodeId: string;\n  toNodeType: \"belief\";\n  topicId?: string;\n  updatedAt: number;\n  weight: number;\n}\ninterface OperationalEpistemicEdgeMetadata {\n  confidence: number;\n  impactScore: number;\n  invariant: \"evidence.belief_impact_required\";\n  relation: BeliefEvidenceRelation;\n}\ninterface SpineNodeDoc {\n  _id: Id<\"epistemicNodes\">;\n  globalId: string;\n  nodeType: string;\n}\n\nfunction isRecord(value: unknown): value is Record<string, unknown> {\n  return typeof value === \"object\" && value !== null;\n}\n\nfunction readConvexId<TableName extends string>(\n  value: unknown\n): Id<TableName> | null {\n  return typeof value === \"string\" && value.length > 0\n    ? (value as Id<TableName>)\n    : null;\n}\n\nfunction readEpistemicEdgeDoc(value: unknown): EpistemicEdgeDoc | null {\n  if (!isRecord(value)) {\n    return null;\n  }\n  const id = readConvexId<\"epistemicEdges\">(value._id);\n  if (\n    !id ||\n    typeof value.edgeType !== \"string\" ||\n    typeof value.globalId !== \"string\"\n  ) {\n    return null;\n  }\n  return {\n    _id: id,\n    edgeType: value.edgeType,\n    globalId: value.globalId,\n  };\n}\n\nfunction readInsightIdArray(value: unknown): Id<\"epistemicNodes\">[] {\n  if (!Array.isArray(value)) {\n    return [];\n  }\n  return value.flatMap((entry) => {\n    const id = readConvexId<\"epistemicNodes\">(entry);\n    return id ? [id] : [];\n  });\n}\n\nfunction readInsightIdCollections(value: unknown): InsightIdCollections {\n  if (!isRecord(value)) {\n    return {\n      contradictingInsightIds: [],\n      supportingInsightIds: [],\n    };\n  }\n  return {\n    contradictingInsightIds: readInsightIdArray(value.contradictingInsightIds),\n    supportingInsightIds: readInsightIdArray(value.supportingInsightIds),\n  };\n}\n\nfunction readSpineNodeDoc(value: unknown): SpineNodeDoc | null {\n  if (!isRecord(value)) {\n    return null;\n  }\n  const id = readConvexId<\"epistemicNodes\">(value._id);\n  if (\n    !id ||\n    typeof value.globalId !== \"string\" ||\n    typeof value.nodeType !== \"string\"\n  ) {\n    return null;\n  }\n  return {\n    _id: id,\n    globalId: value.globalId,\n    nodeType: value.nodeType,\n  };\n}\n\nasync function insertOperationalEpistemicEdge(\n  ctx: MutationCtx,\n  doc: OperationalEpistemicEdgeInsert\n): Promise<void> {\n  await insertEpistemicEdge(\n    ctx,\n    doc as unknown as Parameters<typeof insertEpistemicEdge>[1]\n  );\n}\n\nfunction assertEvidenceImpact(args: {\n  relation: BeliefEvidenceRelation;\n  weight: number;\n}) {\n  if (\n    !Number.isFinite(args.weight) ||\n    args.weight === 0 ||\n    args.weight < -1 ||\n    args.weight > 1\n  ) {\n    throw new Error(\n      \"Belief evidence links require explicit nonzero weight in [-1, 1]\"\n    );\n  }\n  if (args.relation === \"supports\" && args.weight < 0) {\n    throw new Error(\"Supporting evidence links require positive weight\");\n  }\n  if (args.relation === \"contradicts\" && args.weight > 0) {\n    throw new Error(\"Contradicting evidence links require negative weight\");\n  }\n}\n\nexport async function applyOperationalLinkEffects(\n  ctx: MutationCtx,\n  args: {\n    beliefNode: EpistemicNode;\n    beliefId: Id<\"epistemicNodes\">;\n    insightId: Id<\"epistemicNodes\">;\n    relation: BeliefEvidenceRelation;\n    weight: number;\n    rationale?: string;\n    createdBy: string;\n  }\n): Promise<void> {\n  assertEvidenceImpact({ relation: args.relation, weight: args.weight });\n  const confidence = Math.abs(args.weight);\n  const currentSupporting = args.beliefNode.supportingInsightIds ?? [];\n  const currentContradicting = args.beliefNode.contradictingInsightIds ?? [];\n\n  if (\n    args.relation === \"supports\" &&\n    !currentSupporting.includes(args.insightId)\n  ) {\n    await ctx.db.patch(args.beliefId, {\n      supportingInsightIds: [...currentSupporting, args.insightId],\n      contradictingInsightIds: currentContradicting.filter(\n        (id: Id<\"epistemicNodes\">) => id !== args.insightId\n      ),\n    });\n  } else if (\n    args.relation === \"contradicts\" &&\n    !currentContradicting.includes(args.insightId)\n  ) {\n    await ctx.db.patch(args.beliefId, {\n      contradictingInsightIds: [...currentContradicting, args.insightId],\n      supportingInsightIds: currentSupporting.filter(\n        (id: Id<\"epistemicNodes\">) => id !== args.insightId\n      ),\n    });\n  }\n\n  try {\n    const beliefSpineNode = readSpineNodeDoc(await ctx.db.get(args.beliefId));\n    const evidenceSpineNode = readSpineNodeDoc(\n      await ctx.db.get(args.insightId)\n    );\n\n    if (\n      beliefSpineNode?.nodeType === \"belief\" &&\n      evidenceSpineNode?.nodeType === \"evidence\"\n    ) {\n      const existingEdges = (\n        await ctx.db\n          .query(\"epistemicEdges\")\n          .withIndex(\"by_from_to\", (q: IndexRangeBuilder) =>\n            q\n              .eq(\"fromNodeId\", evidenceSpineNode.globalId)\n              .eq(\"toNodeId\", beliefSpineNode.globalId)\n          )\n          .collect()\n      )\n        .map(readEpistemicEdgeDoc)\n        .filter((edge): edge is EpistemicEdgeDoc => edge !== null);\n\n      for (const edge of existingEdges) {\n        if (edge.edgeType === \"informs\") {\n          await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.deleteEdge, {\n            globalId: edge.globalId,\n          });\n          await ctx.db.delete(edge._id);\n        }\n      }\n\n      const globalId = generateGlobalId();\n      const context = args.rationale || `Linked as ${args.relation}`;\n      await insertOperationalEpistemicEdge(ctx, {\n        globalId,\n        // C2-RR.4 Defect E — canonical UUIDv7 endpoints, not Convex doc ids.\n        fromNodeId: evidenceSpineNode.globalId,\n        toNodeId: beliefSpineNode.globalId,\n        sourceGlobalId: evidenceSpineNode.globalId,\n        targetGlobalId: beliefSpineNode.globalId,\n        edgeType: \"informs\",\n        weight: args.weight,\n        confidence,\n        context,\n        reasoningMethod: \"testimonial\",\n        derivationType: \"evidence_sl_scoring\",\n        metadata: {\n          relation: args.relation,\n          confidence,\n          impactScore: args.weight,\n          invariant: \"evidence.belief_impact_required\",\n        },\n        createdBy: args.createdBy,\n        createdAt: Date.now(),\n        updatedAt: Date.now(),\n        projectId: args.beliefNode.projectId,\n        topicId: args.beliefNode.topicId\n          ? String(args.beliefNode.topicId)\n          : undefined,\n        fromNodeType: \"evidence\",\n        toNodeType: \"belief\",\n        fromLayer: \"L2\",\n        toLayer: \"L3\",\n      });\n\n      await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {\n        globalId,\n        fromGlobalId: evidenceSpineNode.globalId,\n        toGlobalId: beliefSpineNode.globalId,\n        edgeType: \"informs\",\n        weight: args.weight,\n        confidence,\n        context,\n        projectId: args.beliefNode.projectId\n          ? String(args.beliefNode.projectId)\n          : undefined,\n        createdBy: args.createdBy,\n        fromNodeType: \"evidence\",\n        toNodeType: \"belief\",\n        fromLayer: \"L2\",\n        toLayer: \"L3\",\n      });\n    }\n  } catch (e) {\n    console.error(\"[EpistemicSpine] Failed to create informs edge:\", e);\n  }\n\n  if (args.beliefNode.projectId) {\n    await ctx.scheduler.runAfter(0, \"verificationActions:deepVerifyEvidence\", {\n      insightId: args.insightId,\n      targetType: \"belief\",\n      targetId: args.beliefId,\n      projectId: args.beliefNode.projectId,\n      userId: args.createdBy,\n    });\n  }\n}\n\nexport async function removeOperationalLinkEffects(\n  ctx: MutationCtx,\n  args: {\n    beliefId: Id<\"epistemicNodes\">;\n    insightId: Id<\"epistemicNodes\">;\n    relation: BeliefEvidenceRelation;\n  }\n): Promise<void> {\n  const belief = await ctx.db.get(args.beliefId);\n  if (belief) {\n    const { contradictingInsightIds, supportingInsightIds } =\n      readInsightIdCollections(belief);\n\n    if (args.relation === \"supports\") {\n      await ctx.db.patch(args.beliefId, {\n        supportingInsightIds: supportingInsightIds.filter(\n          (id: Id<\"epistemicNodes\">) => id !== args.insightId\n        ),\n      });\n    } else {\n      await ctx.db.patch(args.beliefId, {\n        contradictingInsightIds: contradictingInsightIds.filter(\n          (id: Id<\"epistemicNodes\">) => id !== args.insightId\n        ),\n      });\n    }\n  }\n\n  try {\n    const beliefSpineNode = readSpineNodeDoc(await ctx.db.get(args.beliefId));\n    const evidenceSpineNode = readSpineNodeDoc(\n      await ctx.db.get(args.insightId)\n    );\n\n    if (\n      beliefSpineNode?.nodeType === \"belief\" &&\n      evidenceSpineNode?.nodeType === \"evidence\"\n    ) {\n      const edges = (\n        await ctx.db\n          .query(\"epistemicEdges\")\n          .withIndex(\"by_from_to\", (q: IndexRangeBuilder) =>\n            q\n              .eq(\"fromNodeId\", evidenceSpineNode._id)\n              .eq(\"toNodeId\", beliefSpineNode._id)\n          )\n          .collect()\n      )\n        .map(readEpistemicEdgeDoc)\n        .filter((edge): edge is EpistemicEdgeDoc => edge !== null);\n\n      for (const edge of edges) {\n        if (edge.edgeType === \"informs\") {\n          await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.deleteEdge, {\n            globalId: edge.globalId,\n          });\n          await ctx.db.delete(edge._id);\n        }\n      }\n    }\n  } catch (e) {\n    console.error(\"[EpistemicSpine] Failed to remove informs edge:\", e);\n  }\n}\n"]}
+{"version":3,"sources":["../src/convex.ts","../src/epistemicInsert.ts","../src/beliefEvidenceLinks.operational.ts"],"names":[],"mappings":";;;;;;AA4BA,IAAM,SAAA,GAAY,kBAAA;AAAA,EAChB;AACF,CAAA;AAGE,iBAAA;AACK,IAAM,QAAA,GAAW,SAAA;ACYxB,eAAe,0BAAA,CACb,GAAA,EACA,YAAA,EACA,QAAA,EACe;AACf,EAAA,4BAAA,CAA6B,cAAc,QAAQ,CAAA;AACnD,EAAA,MAAM,OAAO,MAAM,GAAA,CAAI,EAAA,CACpB,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA;AAAA,IAAU,aAAA;AAAA,IAAe,CAAC,CAAA,KACzB,CAAA,CAAE,EAAA,CAAG,YAAY,QAAQ;AAAA,IAE1B,KAAA,EAAM;AACT,EAAA,IAAI,CAAC,IAAA,EAAM;AACT,IAAA,MAAM,IAAI,KAAA;AAAA,MACR,CAAA,4DAAA,EAA+D,YAAY,CAAA,gEAAA,EAAmE,QAAQ,CAAA,6BAAA;AAAA,KACxJ;AAAA,EACF;AACF;AAEA,eAAsB,mBAAA,CACpB,KACA,GAAA,EAC+B;AAC/B,EAAA,oBAAA,CAAqB,gBAAA,EAAkB,IAAI,QAAQ,CAAA;AAGnD,EAAA,2BAAA,CAA4B,IAAI,QAAQ,CAAA;AAGxC,EAAA,IAAI,CAAC,GAAA,CAAI,UAAA,IAAc,OAAO,GAAA,CAAI,eAAe,QAAA,EAAU;AACzD,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AACA,EAAA,IAAI,CAAC,GAAA,CAAI,QAAA,IAAY,OAAO,GAAA,CAAI,aAAa,QAAA,EAAU;AACrD,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AAOA,EAAA,MAAM,0BAAA,CAA2B,GAAA,EAAK,YAAA,EAAc,GAAA,CAAI,UAAU,CAAA;AAClE,EAAA,MAAM,0BAAA,CAA2B,GAAA,EAAK,UAAA,EAAY,GAAA,CAAI,QAAQ,CAAA;AAG9D,EAAA,IAAI,IAAI,YAAA,IAAgB,GAAA,CAAI,UAAA,IAAc,GAAA,CAAI,aAAa,gBAAA,EAAkB;AAC3E,IAAA,uBAAA;AAAA,MACE,kBAAA;AAAA,MACA,GAAA,CAAI,QAAA;AAAA,MACJ;AAAA,QACE,IAAA,EAAM,gBAAA;AAAA,QACN,QAAQ,GAAA,CAAI,UAAA;AAAA,QACZ,UAAU,GAAA,CAAI;AAAA,OAChB;AAAA,MACA;AAAA,QACE,IAAA,EAAM,gBAAA;AAAA,QACN,QAAQ,GAAA,CAAI,QAAA;AAAA,QACZ,UAAU,GAAA,CAAI;AAAA;AAChB,KACF;AAAA,EACF;AAEA,EAAA,OAAO,GAAA,CAAI,EAAA,CAAG,MAAA,CAAO,gBAAA,EAAkB,GAAG,CAAA;AAC5C;;;AClDA,SAAS,SAAS,KAAA,EAAkD;AAClE,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,KAAU,IAAA;AAChD;AAEA,SAAS,aACP,KAAA,EACsB;AACtB,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,CAAM,MAAA,GAAS,IAC9C,KAAA,GACD,IAAA;AACN;AAEA,SAAS,qBAAqB,KAAA,EAAyC;AACrE,EAAA,IAAI,CAAC,QAAA,CAAS,KAAK,CAAA,EAAG;AACpB,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,EAAA,GAAK,YAAA,CAA+B,KAAA,CAAM,GAAG,CAAA;AACnD,EAAA,IACE,CAAC,MACD,OAAO,KAAA,CAAM,aAAa,QAAA,IAC1B,OAAO,KAAA,CAAM,QAAA,KAAa,QAAA,EAC1B;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO;AAAA,IACL,GAAA,EAAK,EAAA;AAAA,IACL,UAAU,KAAA,CAAM,QAAA;AAAA,IAChB,UAAU,KAAA,CAAM;AAAA,GAClB;AACF;AAEA,SAAS,mBAAmB,KAAA,EAAwC;AAClE,EAAA,IAAI,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACzB,IAAA,OAAO,EAAC;AAAA,EACV;AACA,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,CAAC,KAAA,KAAU;AAC9B,IAAA,MAAM,EAAA,GAAK,aAA+B,KAAK,CAAA;AAC/C,IAAA,OAAO,EAAA,GAAK,CAAC,EAAE,CAAA,GAAI,EAAC;AAAA,EACtB,CAAC,CAAA;AACH;AAEA,SAAS,yBAAyB,KAAA,EAAsC;AACtE,EAAA,IAAI,CAAC,QAAA,CAAS,KAAK,CAAA,EAAG;AACpB,IAAA,OAAO;AAAA,MACL,yBAAyB,EAAC;AAAA,MAC1B,sBAAsB;AAAC,KACzB;AAAA,EACF;AACA,EAAA,OAAO;AAAA,IACL,uBAAA,EAAyB,kBAAA,CAAmB,KAAA,CAAM,uBAAuB,CAAA;AAAA,IACzE,oBAAA,EAAsB,kBAAA,CAAmB,KAAA,CAAM,oBAAoB;AAAA,GACrE;AACF;AAEA,SAAS,iBAAiB,KAAA,EAAqC;AAC7D,EAAA,IAAI,CAAC,QAAA,CAAS,KAAK,CAAA,EAAG;AACpB,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,MAAM,EAAA,GAAK,YAAA,CAA+B,KAAA,CAAM,GAAG,CAAA;AACnD,EAAA,IACE,CAAC,MACD,OAAO,KAAA,CAAM,aAAa,QAAA,IAC1B,OAAO,KAAA,CAAM,QAAA,KAAa,QAAA,EAC1B;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO;AAAA,IACL,GAAA,EAAK,EAAA;AAAA,IACL,UAAU,KAAA,CAAM,QAAA;AAAA,IAChB,UAAU,KAAA,CAAM;AAAA,GAClB;AACF;AAEA,eAAe,8BAAA,CACb,KACA,GAAA,EACe;AACf,EAAA,MAAM,mBAAA;AAAA,IACJ,GAAA;AAAA,IACA;AAAA,GACF;AACF;AAEA,SAAS,qBAAqB,IAAA,EAG3B;AACD,EAAA,IACE,CAAC,MAAA,CAAO,QAAA,CAAS,IAAA,CAAK,MAAM,CAAA,IAC5B,IAAA,CAAK,MAAA,KAAW,CAAA,IAChB,IAAA,CAAK,MAAA,GAAS,EAAA,IACd,IAAA,CAAK,SAAS,CAAA,EACd;AACA,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,QAAA,KAAa,UAAA,IAAc,IAAA,CAAK,SAAS,CAAA,EAAG;AACnD,IAAA,MAAM,IAAI,MAAM,mDAAmD,CAAA;AAAA,EACrE;AACA,EAAA,IAAI,IAAA,CAAK,QAAA,KAAa,aAAA,IAAiB,IAAA,CAAK,SAAS,CAAA,EAAG;AACtD,IAAA,MAAM,IAAI,MAAM,sDAAsD,CAAA;AAAA,EACxE;AACF;AAEA,eAAsB,2BAAA,CACpB,KACA,IAAA,EASe;AACf,EAAA,oBAAA,CAAqB,EAAE,QAAA,EAAU,IAAA,CAAK,UAAU,MAAA,EAAQ,IAAA,CAAK,QAAQ,CAAA;AACrE,EAAA,MAAM,UAAA,GAAa,IAAA,CAAK,GAAA,CAAI,IAAA,CAAK,MAAM,CAAA;AACvC,EAAA,MAAM,iBAAA,GAAoB,IAAA,CAAK,UAAA,CAAW,oBAAA,IAAwB,EAAC;AACnE,EAAA,MAAM,oBAAA,GAAuB,IAAA,CAAK,UAAA,CAAW,uBAAA,IAA2B,EAAC;AAEzE,EAAA,IACE,IAAA,CAAK,aAAa,UAAA,IAClB,CAAC,kBAAkB,QAAA,CAAS,IAAA,CAAK,SAAS,CAAA,EAC1C;AACA,IAAA,MAAM,GAAA,CAAI,EAAA,CAAG,KAAA,CAAM,IAAA,CAAK,QAAA,EAAU;AAAA,MAChC,oBAAA,EAAsB,CAAC,GAAG,iBAAA,EAAmB,KAAK,SAAS,CAAA;AAAA,MAC3D,yBAAyB,oBAAA,CAAqB,MAAA;AAAA,QAC5C,CAAC,EAAA,KAA6B,EAAA,KAAO,IAAA,CAAK;AAAA;AAC5C,KACD,CAAA;AAAA,EACH,CAAA,MAAA,IACE,KAAK,QAAA,KAAa,aAAA,IAClB,CAAC,oBAAA,CAAqB,QAAA,CAAS,IAAA,CAAK,SAAS,CAAA,EAC7C;AACA,IAAA,MAAM,GAAA,CAAI,EAAA,CAAG,KAAA,CAAM,IAAA,CAAK,QAAA,EAAU;AAAA,MAChC,uBAAA,EAAyB,CAAC,GAAG,oBAAA,EAAsB,KAAK,SAAS,CAAA;AAAA,MACjE,sBAAsB,iBAAA,CAAkB,MAAA;AAAA,QACtC,CAAC,EAAA,KAA6B,EAAA,KAAO,IAAA,CAAK;AAAA;AAC5C,KACD,CAAA;AAAA,EACH;AAEA,EAAA,IAAI;AACF,IAAA,MAAM,eAAA,GAAkB,iBAAiB,MAAM,GAAA,CAAI,GAAG,GAAA,CAAI,IAAA,CAAK,QAAQ,CAAC,CAAA;AACxE,IAAA,MAAM,iBAAA,GAAoB,gBAAA;AAAA,MACxB,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,KAAK,SAAS;AAAA,KACjC;AAEA,IAAA,IACE,eAAA,EAAiB,QAAA,KAAa,QAAA,IAC9B,iBAAA,EAAmB,aAAa,UAAA,EAChC;AACA,MAAA,MAAM,iBACJ,MAAM,GAAA,CAAI,EAAA,CACP,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA;AAAA,QAAU,YAAA;AAAA,QAAc,CAAC,CAAA,KACxB,CAAA,CACG,EAAA,CAAG,YAAA,EAAc,iBAAA,CAAkB,QAAQ,CAAA,CAC3C,EAAA,CAAG,UAAA,EAAY,eAAA,CAAgB,QAAQ;AAAA,OAC5C,CACC,OAAA,EAAQ,EAEV,GAAA,CAAI,oBAAoB,EACxB,MAAA,CAAO,CAAC,IAAA,KAAmC,IAAA,KAAS,IAAI,CAAA;AAE3D,MAAA,KAAA,MAAW,QAAQ,aAAA,EAAe;AAChC,QAAA,IAAI,IAAA,CAAK,aAAa,SAAA,EAAW;AAC/B,UAAA,MAAM,IAAI,SAAA,CAAU,QAAA,CAAS,CAAA,EAAG,QAAA,CAAS,aAAa,UAAA,EAAY;AAAA,YAChE,UAAU,IAAA,CAAK;AAAA,WAChB,CAAA;AACD,UAAA,MAAM,GAAA,CAAI,EAAA,CAAG,MAAA,CAAO,IAAA,CAAK,GAAG,CAAA;AAAA,QAC9B;AAAA,MACF;AAEA,MAAA,MAAM,WAAW,gBAAA,EAAiB;AAClC,MAAA,MAAM,OAAA,GAAU,IAAA,CAAK,SAAA,IAAa,CAAA,UAAA,EAAa,KAAK,QAAQ,CAAA,CAAA;AAC5D,MAAA,MAAM,+BAA+B,GAAA,EAAK;AAAA,QACxC,QAAA;AAAA;AAAA,QAEA,YAAY,iBAAA,CAAkB,QAAA;AAAA,QAC9B,UAAU,eAAA,CAAgB,QAAA;AAAA,QAC1B,gBAAgB,iBAAA,CAAkB,QAAA;AAAA,QAClC,gBAAgB,eAAA,CAAgB,QAAA;AAAA,QAChC,QAAA,EAAU,SAAA;AAAA,QACV,QAAQ,IAAA,CAAK,MAAA;AAAA,QACb,UAAA;AAAA,QACA,OAAA;AAAA,QACA,eAAA,EAAiB,aAAA;AAAA,QACjB,cAAA,EAAgB,qBAAA;AAAA,QAChB,QAAA,EAAU;AAAA,UACR,UAAU,IAAA,CAAK,QAAA;AAAA,UACf,UAAA;AAAA,UACA,aAAa,IAAA,CAAK,MAAA;AAAA,UAClB,SAAA,EAAW;AAAA,SACb;AAAA,QACA,WAAW,IAAA,CAAK,SAAA;AAAA,QAChB,SAAA,EAAW,KAAK,GAAA,EAAI;AAAA,QACpB,SAAA,EAAW,KAAK,GAAA,EAAI;AAAA,QACpB,SAAA,EAAW,KAAK,UAAA,CAAW,SAAA;AAAA,QAC3B,OAAA,EAAS,KAAK,UAAA,CAAW,OAAA,GACrB,OAAO,IAAA,CAAK,UAAA,CAAW,OAAO,CAAA,GAC9B,KAAA,CAAA;AAAA,QACJ,YAAA,EAAc,UAAA;AAAA,QACd,UAAA,EAAY,QAAA;AAAA,QACZ,SAAA,EAAW,IAAA;AAAA,QACX,OAAA,EAAS;AAAA,OACV,CAAA;AAED,MAAA,MAAM,IAAI,SAAA,CAAU,QAAA,CAAS,CAAA,EAAG,QAAA,CAAS,aAAa,UAAA,EAAY;AAAA,QAChE,QAAA;AAAA,QACA,cAAc,iBAAA,CAAkB,QAAA;AAAA,QAChC,YAAY,eAAA,CAAgB,QAAA;AAAA,QAC5B,QAAA,EAAU,SAAA;AAAA,QACV,QAAQ,IAAA,CAAK,MAAA;AAAA,QACb,UAAA;AAAA,QACA,OAAA;AAAA,QACA,SAAA,EAAW,KAAK,UAAA,CAAW,SAAA,GACvB,OAAO,IAAA,CAAK,UAAA,CAAW,SAAS,CAAA,GAChC,KAAA,CAAA;AAAA,QACJ,WAAW,IAAA,CAAK,SAAA;AAAA,QAChB,YAAA,EAAc,UAAA;AAAA,QACd,UAAA,EAAY,QAAA;AAAA,QACZ,SAAA,EAAW,IAAA;AAAA,QACX,OAAA,EAAS;AAAA,OACV,CAAA;AAAA,IACH;AAAA,EACF,SAAS,CAAA,EAAG;AACV,IAAA,OAAA,CAAQ,KAAA,CAAM,mDAAmD,CAAC,CAAA;AAAA,EACpE;AAEA,EAAA,IAAI,IAAA,CAAK,WAAW,SAAA,EAAW;AAC7B,IAAA,MAAM,GAAA,CAAI,SAAA,CAAU,QAAA,CAAS,CAAA,EAAG,wCAAA,EAA0C;AAAA,MACxE,WAAW,IAAA,CAAK,SAAA;AAAA,MAChB,UAAA,EAAY,QAAA;AAAA,MACZ,UAAU,IAAA,CAAK,QAAA;AAAA,MACf,SAAA,EAAW,KAAK,UAAA,CAAW,SAAA;AAAA,MAC3B,QAAQ,IAAA,CAAK;AAAA,KACd,CAAA;AAAA,EACH;AACF;AAEA,eAAsB,4BAAA,CACpB,KACA,IAAA,EAKe;AACf,EAAA,MAAM,SAAS,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,KAAK,QAAQ,CAAA;AAC7C,EAAA,IAAI,MAAA,EAAQ;AACV,IAAA,MAAM,EAAE,uBAAA,EAAyB,oBAAA,EAAqB,GACpD,yBAAyB,MAAM,CAAA;AAEjC,IAAA,IAAI,IAAA,CAAK,aAAa,UAAA,EAAY;AAChC,MAAA,MAAM,GAAA,CAAI,EAAA,CAAG,KAAA,CAAM,IAAA,CAAK,QAAA,EAAU;AAAA,QAChC,sBAAsB,oBAAA,CAAqB,MAAA;AAAA,UACzC,CAAC,EAAA,KAA6B,EAAA,KAAO,IAAA,CAAK;AAAA;AAC5C,OACD,CAAA;AAAA,IACH,CAAA,MAAO;AACL,MAAA,MAAM,GAAA,CAAI,EAAA,CAAG,KAAA,CAAM,IAAA,CAAK,QAAA,EAAU;AAAA,QAChC,yBAAyB,uBAAA,CAAwB,MAAA;AAAA,UAC/C,CAAC,EAAA,KAA6B,EAAA,KAAO,IAAA,CAAK;AAAA;AAC5C,OACD,CAAA;AAAA,IACH;AAAA,EACF;AAEA,EAAA,IAAI;AACF,IAAA,MAAM,eAAA,GAAkB,iBAAiB,MAAM,GAAA,CAAI,GAAG,GAAA,CAAI,IAAA,CAAK,QAAQ,CAAC,CAAA;AACxE,IAAA,MAAM,iBAAA,GAAoB,gBAAA;AAAA,MACxB,MAAM,GAAA,CAAI,EAAA,CAAG,GAAA,CAAI,KAAK,SAAS;AAAA,KACjC;AAEA,IAAA,IACE,eAAA,EAAiB,QAAA,KAAa,QAAA,IAC9B,iBAAA,EAAmB,aAAa,UAAA,EAChC;AACA,MAAA,MAAM,SACJ,MAAM,GAAA,CAAI,EAAA,CACP,KAAA,CAAM,gBAAgB,CAAA,CACtB,SAAA;AAAA,QAAU,YAAA;AAAA,QAAc,CAAC,CAAA,KACxB,CAAA,CACG,EAAA,CAAG,YAAA,EAAc,iBAAA,CAAkB,GAAG,CAAA,CACtC,EAAA,CAAG,UAAA,EAAY,eAAA,CAAgB,GAAG;AAAA,OACvC,CACC,OAAA,EAAQ,EAEV,GAAA,CAAI,oBAAoB,EACxB,MAAA,CAAO,CAAC,IAAA,KAAmC,IAAA,KAAS,IAAI,CAAA;AAE3D,MAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,QAAA,IAAI,IAAA,CAAK,aAAa,SAAA,EAAW;AAC/B,UAAA,MAAM,IAAI,SAAA,CAAU,QAAA,CAAS,CAAA,EAAG,QAAA,CAAS,aAAa,UAAA,EAAY;AAAA,YAChE,UAAU,IAAA,CAAK;AAAA,WAChB,CAAA;AACD,UAAA,MAAM,GAAA,CAAI,EAAA,CAAG,MAAA,CAAO,IAAA,CAAK,GAAG,CAAA;AAAA,QAC9B;AAAA,MACF;AAAA,IACF;AAAA,EACF,SAAS,CAAA,EAAG;AACV,IAAA,OAAA,CAAQ,KAAA,CAAM,mDAAmD,CAAC,CAAA;AAAA,EACpE;AACF","file":"beliefEvidenceLinks.operational.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.\nimport {\n  assertEdgePolicyAllowed,\n  type EpistemicNodeType,\n  edgePolicyManifest,\n} from \"@lucern/contracts\";\nimport {\n  assertStorageEdgeVocabulary,\n  assertUuidShapedEdgeEndpoint,\n  assertUuidV7Identity,\n} from \"@lucern/contracts/ids\";\nimport type { Id, MutationCtx } from \"./convex\";\n\ninterface GlobalIdIndexQuery {\n  eq(field: \"globalId\", value: string): GlobalIdIndexQuery;\n}\n\ninterface EpistemicNodeInsertDoc extends Record<string, unknown> {\n  globalId: string;\n}\n\ninterface EpistemicEdgeInsertDoc extends Record<string, unknown> {\n  edgeType: string;\n  fromNodeId: string;\n  fromNodeType?: string;\n  globalId: string;\n  toNodeId: string;\n  toNodeType?: string;\n}\n\nexport function insertEpistemicNode(\n  ctx: MutationCtx,\n  doc: EpistemicNodeInsertDoc\n): Promise<Id<\"epistemicNodes\">> {\n  assertUuidV7Identity(\"epistemicNodes\", doc.globalId);\n  return ctx.db.insert(\"epistemicNodes\", doc);\n}\n\n/**\n * C2-RR.4b — REFERENTIAL edge-endpoint canonicality (amends RR.4's FORMAT guard).\n *\n * Proves an endpoint is the UUIDv7 `globalId` of an EXISTING\n * `epistemicNodes` row. Refuses doc ids, fabricated/unknown endpoints, and\n * legacy UUIDv4 `globalId`s; those must be reminted through the identity\n * backfill ledger before participating in new edge writes.\n */\nasync function assertExistingNodeEndpoint(\n  ctx: MutationCtx,\n  endpointRole: \"fromNodeId\" | \"toNodeId\",\n  endpoint: string\n): Promise<void> {\n  assertUuidShapedEdgeEndpoint(endpointRole, endpoint);\n  const node = await ctx.db\n    .query(\"epistemicNodes\")\n    .withIndex(\"by_globalId\", (q: GlobalIdIndexQuery) =>\n      q.eq(\"globalId\", endpoint)\n    )\n    .first();\n  if (!node) {\n    throw new Error(\n      `edge_endpoint_not_canonical: epistemicEdges insert requires ${endpointRole} to be the globalId of an existing epistemicNodes row, received ${endpoint} (no node with that globalId)`\n    );\n  }\n}\n\nexport async function insertEpistemicEdge(\n  ctx: MutationCtx,\n  doc: EpistemicEdgeInsertDoc\n): Promise<Id<\"epistemicEdges\">> {\n  assertUuidV7Identity(\"epistemicEdges\", doc.globalId);\n\n  // R1.1a — STORAGE-VOCABULARY MEMBERSHIP\n  assertStorageEdgeVocabulary(doc.edgeType);\n\n  // R1.1b — ENDPOINT PRESENCE\n  if (!doc.fromNodeId || typeof doc.fromNodeId !== \"string\") {\n    throw new Error(\n      \"edge_endpoint_missing: epistemicEdges insert requires a non-empty fromNodeId\"\n    );\n  }\n  if (!doc.toNodeId || typeof doc.toNodeId !== \"string\") {\n    throw new Error(\n      \"edge_endpoint_missing: epistemicEdges insert requires a non-empty toNodeId\"\n    );\n  }\n\n  // C2-RR.4b Defect E (REFERENTIAL) — ENDPOINT CANONICAL IDENTITY. Edge\n  // endpoints must each be the globalId of an EXISTING epistemicNodes row,\n  // never a Convex doc id, a legacy topic id, or a fabricated/unknown uuid.\n  // This refuses mixed _id/globalId endpoint writes at the floor and keeps\n  // legacy UUIDv4 graph rows inside the explicit remint/backfill lane.\n  await assertExistingNodeEndpoint(ctx, \"fromNodeId\", doc.fromNodeId);\n  await assertExistingNodeEndpoint(ctx, \"toNodeId\", doc.toNodeId);\n\n  // R1.1c — FULL POLICY ASSERT (when nodeTypes are present and edgeType is in public manifest)\n  if (doc.fromNodeType && doc.toNodeType && doc.edgeType !== \"extracted_from\") {\n    assertEdgePolicyAllowed(\n      edgePolicyManifest,\n      doc.edgeType,\n      {\n        kind: \"epistemic_node\",\n        nodeId: doc.fromNodeId,\n        nodeType: doc.fromNodeType as EpistemicNodeType,\n      },\n      {\n        kind: \"epistemic_node\",\n        nodeId: doc.toNodeId,\n        nodeType: doc.toNodeType as EpistemicNodeType,\n      }\n    );\n  }\n\n  return ctx.db.insert(\"epistemicEdges\", doc);\n}\n","// biome-ignore-all lint/style/useFilenamingConvention: Public graph-primitives wildcard-export path; rename requires an export-map migration.\nimport type { Id, MutationCtx } from \"./convex\";\nimport { internal } from \"./convex\";\nimport { insertEpistemicEdge } from \"./epistemicInsert.js\";\nimport { generateGlobalId } from \"./globalId\";\n\ntype BeliefEvidenceRelation = \"supports\" | \"contradicts\";\ninterface IndexRangeBuilder {\n  eq(fieldName: string, value: unknown): IndexRangeBuilder;\n}\ninterface EpistemicNode {\n  _id: Id<\"epistemicNodes\">;\n  contradictingInsightIds?: Id<\"epistemicNodes\">[];\n  globalId?: string;\n  nodeType?: string;\n  projectId?: string;\n  supportingInsightIds?: Id<\"epistemicNodes\">[];\n  topicId?: string | Id<\"topics\">;\n}\ninterface EpistemicEdgeDoc {\n  _id: Id<\"epistemicEdges\">;\n  edgeType: string;\n  globalId: string;\n}\ninterface InsightIdCollections {\n  contradictingInsightIds: Id<\"epistemicNodes\">[];\n  supportingInsightIds: Id<\"epistemicNodes\">[];\n}\ninterface OperationalEpistemicEdgeInsert {\n  confidence: number;\n  context: string;\n  createdAt: number;\n  createdBy: string;\n  derivationType: \"evidence_sl_scoring\";\n  edgeType: \"informs\";\n  fromLayer: \"L2\";\n  fromNodeId: string;\n  fromNodeType: \"evidence\";\n  globalId: string;\n  metadata: OperationalEpistemicEdgeMetadata;\n  projectId?: string;\n  reasoningMethod: \"testimonial\";\n  sourceGlobalId: string;\n  targetGlobalId: string;\n  toLayer: \"L3\";\n  toNodeId: string;\n  toNodeType: \"belief\";\n  topicId?: string;\n  updatedAt: number;\n  weight: number;\n}\ninterface OperationalEpistemicEdgeMetadata {\n  confidence: number;\n  impactScore: number;\n  invariant: \"evidence.belief_impact_required\";\n  relation: BeliefEvidenceRelation;\n}\ninterface SpineNodeDoc {\n  _id: Id<\"epistemicNodes\">;\n  globalId: string;\n  nodeType: string;\n}\n\nfunction isRecord(value: unknown): value is Record<string, unknown> {\n  return typeof value === \"object\" && value !== null;\n}\n\nfunction readConvexId<TableName extends string>(\n  value: unknown\n): Id<TableName> | null {\n  return typeof value === \"string\" && value.length > 0\n    ? (value as Id<TableName>)\n    : null;\n}\n\nfunction readEpistemicEdgeDoc(value: unknown): EpistemicEdgeDoc | null {\n  if (!isRecord(value)) {\n    return null;\n  }\n  const id = readConvexId<\"epistemicEdges\">(value._id);\n  if (\n    !id ||\n    typeof value.edgeType !== \"string\" ||\n    typeof value.globalId !== \"string\"\n  ) {\n    return null;\n  }\n  return {\n    _id: id,\n    edgeType: value.edgeType,\n    globalId: value.globalId,\n  };\n}\n\nfunction readInsightIdArray(value: unknown): Id<\"epistemicNodes\">[] {\n  if (!Array.isArray(value)) {\n    return [];\n  }\n  return value.flatMap((entry) => {\n    const id = readConvexId<\"epistemicNodes\">(entry);\n    return id ? [id] : [];\n  });\n}\n\nfunction readInsightIdCollections(value: unknown): InsightIdCollections {\n  if (!isRecord(value)) {\n    return {\n      contradictingInsightIds: [],\n      supportingInsightIds: [],\n    };\n  }\n  return {\n    contradictingInsightIds: readInsightIdArray(value.contradictingInsightIds),\n    supportingInsightIds: readInsightIdArray(value.supportingInsightIds),\n  };\n}\n\nfunction readSpineNodeDoc(value: unknown): SpineNodeDoc | null {\n  if (!isRecord(value)) {\n    return null;\n  }\n  const id = readConvexId<\"epistemicNodes\">(value._id);\n  if (\n    !id ||\n    typeof value.globalId !== \"string\" ||\n    typeof value.nodeType !== \"string\"\n  ) {\n    return null;\n  }\n  return {\n    _id: id,\n    globalId: value.globalId,\n    nodeType: value.nodeType,\n  };\n}\n\nasync function insertOperationalEpistemicEdge(\n  ctx: MutationCtx,\n  doc: OperationalEpistemicEdgeInsert\n): Promise<void> {\n  await insertEpistemicEdge(\n    ctx,\n    doc as unknown as Parameters<typeof insertEpistemicEdge>[1]\n  );\n}\n\nfunction assertEvidenceImpact(args: {\n  relation: BeliefEvidenceRelation;\n  weight: number;\n}) {\n  if (\n    !Number.isFinite(args.weight) ||\n    args.weight === 0 ||\n    args.weight < -1 ||\n    args.weight > 1\n  ) {\n    throw new Error(\n      \"Belief evidence links require explicit nonzero weight in [-1, 1]\"\n    );\n  }\n  if (args.relation === \"supports\" && args.weight < 0) {\n    throw new Error(\"Supporting evidence links require positive weight\");\n  }\n  if (args.relation === \"contradicts\" && args.weight > 0) {\n    throw new Error(\"Contradicting evidence links require negative weight\");\n  }\n}\n\nexport async function applyOperationalLinkEffects(\n  ctx: MutationCtx,\n  args: {\n    beliefNode: EpistemicNode;\n    beliefId: Id<\"epistemicNodes\">;\n    insightId: Id<\"epistemicNodes\">;\n    relation: BeliefEvidenceRelation;\n    weight: number;\n    rationale?: string;\n    createdBy: string;\n  }\n): Promise<void> {\n  assertEvidenceImpact({ relation: args.relation, weight: args.weight });\n  const confidence = Math.abs(args.weight);\n  const currentSupporting = args.beliefNode.supportingInsightIds ?? [];\n  const currentContradicting = args.beliefNode.contradictingInsightIds ?? [];\n\n  if (\n    args.relation === \"supports\" &&\n    !currentSupporting.includes(args.insightId)\n  ) {\n    await ctx.db.patch(args.beliefId, {\n      supportingInsightIds: [...currentSupporting, args.insightId],\n      contradictingInsightIds: currentContradicting.filter(\n        (id: Id<\"epistemicNodes\">) => id !== args.insightId\n      ),\n    });\n  } else if (\n    args.relation === \"contradicts\" &&\n    !currentContradicting.includes(args.insightId)\n  ) {\n    await ctx.db.patch(args.beliefId, {\n      contradictingInsightIds: [...currentContradicting, args.insightId],\n      supportingInsightIds: currentSupporting.filter(\n        (id: Id<\"epistemicNodes\">) => id !== args.insightId\n      ),\n    });\n  }\n\n  try {\n    const beliefSpineNode = readSpineNodeDoc(await ctx.db.get(args.beliefId));\n    const evidenceSpineNode = readSpineNodeDoc(\n      await ctx.db.get(args.insightId)\n    );\n\n    if (\n      beliefSpineNode?.nodeType === \"belief\" &&\n      evidenceSpineNode?.nodeType === \"evidence\"\n    ) {\n      const existingEdges = (\n        await ctx.db\n          .query(\"epistemicEdges\")\n          .withIndex(\"by_from_to\", (q: IndexRangeBuilder) =>\n            q\n              .eq(\"fromNodeId\", evidenceSpineNode.globalId)\n              .eq(\"toNodeId\", beliefSpineNode.globalId)\n          )\n          .collect()\n      )\n        .map(readEpistemicEdgeDoc)\n        .filter((edge): edge is EpistemicEdgeDoc => edge !== null);\n\n      for (const edge of existingEdges) {\n        if (edge.edgeType === \"informs\") {\n          await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.deleteEdge, {\n            globalId: edge.globalId,\n          });\n          await ctx.db.delete(edge._id);\n        }\n      }\n\n      const globalId = generateGlobalId();\n      const context = args.rationale || `Linked as ${args.relation}`;\n      await insertOperationalEpistemicEdge(ctx, {\n        globalId,\n        // C2-RR.4 Defect E — canonical UUIDv7 endpoints, not Convex doc ids.\n        fromNodeId: evidenceSpineNode.globalId,\n        toNodeId: beliefSpineNode.globalId,\n        sourceGlobalId: evidenceSpineNode.globalId,\n        targetGlobalId: beliefSpineNode.globalId,\n        edgeType: \"informs\",\n        weight: args.weight,\n        confidence,\n        context,\n        reasoningMethod: \"testimonial\",\n        derivationType: \"evidence_sl_scoring\",\n        metadata: {\n          relation: args.relation,\n          confidence,\n          impactScore: args.weight,\n          invariant: \"evidence.belief_impact_required\",\n        },\n        createdBy: args.createdBy,\n        createdAt: Date.now(),\n        updatedAt: Date.now(),\n        projectId: args.beliefNode.projectId,\n        topicId: args.beliefNode.topicId\n          ? String(args.beliefNode.topicId)\n          : undefined,\n        fromNodeType: \"evidence\",\n        toNodeType: \"belief\",\n        fromLayer: \"L2\",\n        toLayer: \"L3\",\n      });\n\n      await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.createEdge, {\n        globalId,\n        fromGlobalId: evidenceSpineNode.globalId,\n        toGlobalId: beliefSpineNode.globalId,\n        edgeType: \"informs\",\n        weight: args.weight,\n        confidence,\n        context,\n        projectId: args.beliefNode.projectId\n          ? String(args.beliefNode.projectId)\n          : undefined,\n        createdBy: args.createdBy,\n        fromNodeType: \"evidence\",\n        toNodeType: \"belief\",\n        fromLayer: \"L2\",\n        toLayer: \"L3\",\n      });\n    }\n  } catch (e) {\n    console.error(\"[EpistemicSpine] Failed to create informs edge:\", e);\n  }\n\n  if (args.beliefNode.projectId) {\n    await ctx.scheduler.runAfter(0, \"verificationActions:deepVerifyEvidence\", {\n      insightId: args.insightId,\n      targetType: \"belief\",\n      targetId: args.beliefId,\n      projectId: args.beliefNode.projectId,\n      userId: args.createdBy,\n    });\n  }\n}\n\nexport async function removeOperationalLinkEffects(\n  ctx: MutationCtx,\n  args: {\n    beliefId: Id<\"epistemicNodes\">;\n    insightId: Id<\"epistemicNodes\">;\n    relation: BeliefEvidenceRelation;\n  }\n): Promise<void> {\n  const belief = await ctx.db.get(args.beliefId);\n  if (belief) {\n    const { contradictingInsightIds, supportingInsightIds } =\n      readInsightIdCollections(belief);\n\n    if (args.relation === \"supports\") {\n      await ctx.db.patch(args.beliefId, {\n        supportingInsightIds: supportingInsightIds.filter(\n          (id: Id<\"epistemicNodes\">) => id !== args.insightId\n        ),\n      });\n    } else {\n      await ctx.db.patch(args.beliefId, {\n        contradictingInsightIds: contradictingInsightIds.filter(\n          (id: Id<\"epistemicNodes\">) => id !== args.insightId\n        ),\n      });\n    }\n  }\n\n  try {\n    const beliefSpineNode = readSpineNodeDoc(await ctx.db.get(args.beliefId));\n    const evidenceSpineNode = readSpineNodeDoc(\n      await ctx.db.get(args.insightId)\n    );\n\n    if (\n      beliefSpineNode?.nodeType === \"belief\" &&\n      evidenceSpineNode?.nodeType === \"evidence\"\n    ) {\n      const edges = (\n        await ctx.db\n          .query(\"epistemicEdges\")\n          .withIndex(\"by_from_to\", (q: IndexRangeBuilder) =>\n            q\n              .eq(\"fromNodeId\", evidenceSpineNode._id)\n              .eq(\"toNodeId\", beliefSpineNode._id)\n          )\n          .collect()\n      )\n        .map(readEpistemicEdgeDoc)\n        .filter((edge): edge is EpistemicEdgeDoc => edge !== null);\n\n      for (const edge of edges) {\n        if (edge.edgeType === \"informs\") {\n          await ctx.scheduler.runAfter(0, internal.neo4jEdgeAPI.deleteEdge, {\n            globalId: edge.globalId,\n          });\n          await ctx.db.delete(edge._id);\n        }\n      }\n    }\n  } catch (e) {\n    console.error(\"[EpistemicSpine] Failed to remove informs edge:\", e);\n  }\n}\n"]}

package/dist/contradictions.js

@@ -591,7 +591,7 @@ var getByProject = query({
       contradictions = readRowList(
         await ctx.db.query("contradictions").withIndex(
           "by_topic_status",
-          (q) => q.eq("topicId", String(scope.topicId ?? projectId)).eq("status", status)
+          (q) => q.eq("topicId", String(scope.topicId)).eq("status", status)
         ).order("desc").take(scanLimit),
         readContradictionRow
       );
@@ -599,7 +599,7 @@ var getByProject = query({
       contradictions = readRowList(
         await ctx.db.query("contradictions").withIndex(
           "by_topicId",
-          (q) => q.eq("topicId", String(scope.topicId ?? projectId))
+          (q) => q.eq("topicId", String(scope.topicId))
         ).order("desc").take(scanLimit),
         readContradictionRow
       );
@@ -643,7 +643,7 @@ var getUnresolvedCount = query({
     const contradictions = readRowList(
       await ctx.db.query("contradictions").withIndex(
         "by_topic_status",
-        (q) => q.eq("topicId", String(scope.topicId ?? projectId)).eq("status", "unresolved")
+        (q) => q.eq("topicId", String(scope.topicId)).eq("status", "unresolved")
       ).collect(),
       readContradictionRow
     );
@@ -768,7 +768,7 @@ var create = mutation({
     }
     return await ctx.db.insert("contradictions", {
       projectId,
-      topicId: String(scope.topicId ?? projectId),
+      topicId: String(scope.topicId),
       beliefId: args.beliefId,
       ...args.beliefBId ? { beliefBId: args.beliefBId } : {},
       supportingInsightIds: args.supportingInsightIds,
@@ -1014,7 +1014,7 @@ var scanAndCreateContradictions = mutation({
       if (!existing) {
         await ctx.db.insert("contradictions", {
           projectId,
-          topicId: String(scope.topicId ?? projectId),
+          topicId: String(scope.topicId),
           beliefId: belief._id,
           supportingInsightIds,
           contradictingInsightIds,