@lucern/contracts 0.3.0-alpha.0 → 0.3.0-alpha.10

package/dist/projections/check-convex-args-shape.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/projections/projection-dsl.ts","../../src/projections/create-evidence.projection.ts","../../src/projections/list-beliefs.projection.ts","../../src/projections/list-tasks.projection.ts","../../src/projections/modulate-confidence.projection.ts","../../src/projections/index.ts","../../src/projections/check-convex-args-shape.ts"],"names":["z","compactRecord","v"],"mappings":";;;;;;AASO,SAAS,iBACd,GAAA,EACqB;AACrB,EAAA,OAAO,GAAA;AACT;;;ACTA,IAAM,gBAAA,GAAmB,CAAA,CAAE,MAAA,CAAO,CAAA,CAAE,SAAS,CAAA;AAE7C,IAAM,6BAAA,GAAgC,EACnC,MAAA,CAAO;AAAA,EACN,SAAA,EAAW,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/B,OAAA,EAAS,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC7B,IAAA,EAAM,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1B,aAAA,EAAe,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACnC,KAAA,EAAO,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC3B,OAAA,EAAS,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC7B,WAAA,EAAa,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACjC,IAAA,EAAM,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1B,MAAM,CAAA,CAAE,KAAA,CAAM,EAAE,MAAA,EAAQ,EAAE,QAAA,EAAS;AAAA,EACnC,MAAA,EAAQ,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,SAAA,EAAW,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/B,UAAA,EAAY,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAChC,kBAAA,EAAoB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACxC,gBAAA,EAAkB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACtC,WAAA,EAAa,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACjC,oBAAA,EAAsB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,iBAAA,EAAmB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACvC,QAAA,EAAU,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,YAAA,EAAc,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAClC,kBAAA,EAAoB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACxC,gBAAA,EAAkB,EAAE,IAAA,CAAK,CAAC,YAAY,aAAA,EAAe,SAAS,CAAC,CAAA,CAAE,QAAA,EAAS;AAAA,EAC1E,UAAA,EAAY,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAChC,MAAA,EAAQ,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,SAAA,EAAW,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/B,SAAA,EAAW,EAAE,MAAA,EAAO;AAAA,EACpB,QAAA,EAAU,iBAAiB,QAAA,EAAS;AAAA,EACpC,wBAAA,EAA0B,CAAA,CAAE,OAAA,EAAQ,CAAE,QAAA;AACxC,CAAC,EACA,WAAA,EAAY;AAER,IAAM,4BAA4B,6BAAA,CAA8B,MAAA;AAAA,EACrE,CAAC,KAAA,KAAU,OAAA,CAAQ,KAAA,CAAM,IAAA,IAAQ,MAAM,aAAa,CAAA;AAAA,EACpD;AAAA,IACE,OAAA,EAAS,+BAAA;AAAA,IACT,IAAA,EAAM,CAAC,MAAM;AAAA;AAEjB,CAAA;AAMA,SAAS,cACP,KAAA,EACyB;AACzB,EAAA,OAAO,MAAA,CAAO,WAAA;AAAA,IACZ,MAAA,CAAO,OAAA,CAAQ,KAAK,CAAA,CAAE,MAAA,CAAO,CAAC,GAAG,KAAK,CAAA,KAAM,KAAA,KAAU,MAAS;AAAA,GACjE;AACF;AAEA,SAAS,SAAS,KAAA,EAAkD;AAClE,EAAA,OAAO,OAAA,CAAQ,KAAK,CAAA,IAAK,OAAO,UAAU,QAAA,IAAY,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA;AAC5E;AAEA,SAAS,YAAY,KAAA,EAAyC;AAC5D,EAAA,OAAO,QAAA,CAAS,KAAK,CAAA,GAAI,KAAA,GAAQ,EAAC;AACpC;AAEO,IAAM,2BAA2B,gBAAA,CAAiB;AAAA,EACvD,YAAA,EAAc,iBAAA;AAAA,EACd,WAAA,EAAa,yBAAA;AAAA,EACb,OAAA,EAAS,CAAC,KAAA,KAAyC;AACjD,IAAA,MAAM,IAAA,GAAO,KAAA,CAAM,IAAA,IAAQ,KAAA,CAAM,aAAA;AACjC,IAAA,MAAM,SAAS,OAAO,KAAA,CAAM,MAAA,KAAW,QAAA,GAAW,MAAM,MAAA,GAAS,MAAA;AAEjE,IAAA,OAAO,aAAA,CAAc;AAAA,MACnB,WAAW,KAAA,CAAM,SAAA;AAAA,MACjB,SAAS,KAAA,CAAM,OAAA;AAAA,MACf,IAAA;AAAA,MACA,KAAA,EAAO,MAAM,KAAA,IAAS,IAAA;AAAA,MACtB,OAAA,EAAS,MAAM,OAAA,IAAW,IAAA;AAAA,MAC1B,aAAa,KAAA,CAAM,WAAA;AAAA,MACnB,MAAM,KAAA,CAAM,IAAA;AAAA,MACZ,MAAM,KAAA,CAAM,IAAA;AAAA,MACZ,YAAY,KAAA,CAAM,UAAA;AAAA,MAClB,oBAAoB,KAAA,CAAM,kBAAA;AAAA,MAC1B,SAAA,EAAW,KAAA,CAAM,SAAA,IAAa,KAAA,CAAM,MAAA;AAAA,MACpC,kBAAkB,KAAA,CAAM,gBAAA;AAAA,MACxB,aAAa,KAAA,CAAM,WAAA;AAAA,MACnB,sBAAsB,KAAA,CAAM,oBAAA;AAAA,MAC5B,mBAAmB,KAAA,CAAM,iBAAA;AAAA,MACzB,UAAU,aAAA,CAAc;AAAA,QACtB,GAAG,WAAA,CAAY,KAAA,CAAM,QAAQ,CAAA;AAAA,QAC7B,QAAQ,KAAA,CAAM,MAAA;AAAA,QACd,UAAU,KAAA,CAAM,QAAA;AAAA,QAChB,cAAc,KAAA,CAAM,YAAA;AAAA,QACpB,MAAA;AAAA,QACA,WAAW,KAAA,CAAM,SAAA;AAAA,QACjB,WAAW,KAAA,CAAM;AAAA,OAClB,CAAA;AAAA,MACD,kBAAA,EACE,KAAA,CAAM,kBAAA,IAAsB,KAAA,CAAM,gBAAgB,KAAA,CAAM,QAAA;AAAA,MAC1D,gBAAA,EACE,MAAM,gBAAA,KACL,MAAA,KAAW,SACR,MAAA,GACA,MAAA,GAAS,IACP,aAAA,GACA,UAAA,CAAA;AAAA,MACR,YACE,KAAA,CAAM,UAAA,KACL,MAAA,KAAW,MAAA,GACR,SACA,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,IAAA,CAAK,IAAI,CAAA,EAAG,IAAA,CAAK,GAAA,CAAI,MAAM,CAAC,CAAC,CAAA,CAAA;AAAA,MAC/C,WAAW,KAAA,CAAM,SAAA;AAAA,MACjB,wBAAA,EAA0B,MAAM,wBAAA,IAA4B;AAAA,KAC7D,CAAA;AAAA,EACH,CAAA;AAAA,EACA,mBAAA,EAAqB,EAAE,MAAA,CAAO;AAAA,IAC5B,SAAA,EAAW,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAChC,OAAA,EAAS,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC9B,IAAA,EAAM,EAAE,MAAA,EAAO;AAAA,IACf,KAAA,EAAO,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC5B,OAAA,EAAS,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC9B,WAAA,EAAa,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAClC,IAAA,EAAM,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC3B,IAAA,EAAM,EAAE,QAAA,CAAS,CAAA,CAAE,MAAM,CAAA,CAAE,MAAA,EAAQ,CAAC,CAAA;AAAA,IACpC,UAAA,EAAY,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACjC,kBAAA,EAAoB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACzC,SAAA,EAAW,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAChC,gBAAA,EAAkB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACvC,WAAA,EAAa,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAClC,oBAAA,EAAsB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,iBAAA,EAAmB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACxC,QAAA,EAAU,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,MAAA,CAAO,CAAA,CAAE,MAAA,EAAO,EAAG,CAAA,CAAE,GAAA,EAAK,CAAC,CAAA;AAAA,IAClD,kBAAA,EAAoB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACzC,kBAAkB,CAAA,CAAE,QAAA;AAAA,MAClB,CAAA,CAAE,KAAA;AAAA,QACA,CAAA,CAAE,QAAQ,UAAU,CAAA;AAAA,QACpB,CAAA,CAAE,QAAQ,aAAa,CAAA;AAAA,QACvB,CAAA,CAAE,QAAQ,SAAS;AAAA;AACrB,KACF;AAAA,IACA,UAAA,EAAY,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACjC,SAAA,EAAW,EAAE,MAAA,EAAO;AAAA,IACpB,wBAAA,EAA0B,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,SAAS;AAAA,GACjD;AACH,CAAC,CAAA;AC7ID,IAAM,kBAAA,GAAqBA,CAAAA,CACxB,IAAA,CAAK,CAAC,UAAU,YAAA,EAAc,UAAA,EAAY,UAAA,EAAY,QAAQ,CAAC,CAAA,CAC/D,QAAA,EAAS,CACT,SAAS,8CAA8C,CAAA;AAEnD,IAAM,sBAAA,GAAyBA,EAAE,MAAA,CAAO;AAAA,EAC7C,OAAA,EAASA,CAAAA,CAAE,MAAA,EAAO,CAAE,SAAS,aAAa,CAAA;AAAA,EAC1C,YAAYA,CAAAA,CAAE,MAAA,GAAS,QAAA,EAAS,CAAE,SAAS,0BAA0B,CAAA;AAAA,EACrE,MAAA,EAAQ,kBAAA;AAAA,EACR,eAAeA,CAAAA,CACZ,MAAA,GACA,QAAA,EAAS,CACT,SAAS,8BAA8B,CAAA;AAAA,EAC1C,OAAOA,CAAAA,CAAE,MAAA,GAAS,QAAA,EAAS,CAAE,SAAS,iBAAiB,CAAA;AAAA,EACvD,uBAAuBA,CAAAA,CACpB,OAAA,GACA,QAAA,EAAS,CACT,SAAS,uDAAuD;AACrE,CAAC,CAAA;AAMD,SAAS,aAAa,MAAA,EAA8C;AAClE,EAAA,OAAO,WAAW,QAAA,IAChB,MAAA,KAAW,YAAA,IACX,MAAA,KAAW,aACT,MAAA,GACA,MAAA;AACN;AAEA,SAASC,eACP,KAAA,EACyB;AACzB,EAAA,OAAO,MAAA,CAAO,WAAA;AAAA,IACZ,MAAA,CAAO,OAAA,CAAQ,KAAK,CAAA,CAAE,MAAA,CAAO,CAAC,GAAG,KAAK,CAAA,KAAM,KAAA,KAAU,MAAS;AAAA,GACjE;AACF;AAEO,IAAM,wBAAwB,gBAAA,CAAiB;AAAA,EACpD,YAAA,EAAc,cAAA;AAAA,EACd,WAAA,EAAa,sBAAA;AAAA,EACb,OAAA,EAAS,CAAC,KAAA,KACRA,cAAAA,CAAc;AAAA,IACZ,SAAS,KAAA,CAAM,OAAA;AAAA,IACf,MAAA,EAAQ,YAAA,CAAa,KAAA,CAAM,MAAM,CAAA;AAAA,IACjC,OAAO,KAAA,CAAM,KAAA;AAAA,IACb,uBAAuB,KAAA,CAAM;AAAA,GAC9B,CAAA;AAAA,EACH,mBAAA,EAAqBC,EAAE,MAAA,CAAO;AAAA,IAC5B,OAAA,EAASA,EAAE,MAAA,EAAO;AAAA,IAClB,QAAQA,CAAAA,CAAE,QAAA;AAAA,MACRA,CAAAA,CAAE,KAAA;AAAA,QACAA,CAAAA,CAAE,QAAQ,QAAQ,CAAA;AAAA,QAClBA,CAAAA,CAAE,QAAQ,YAAY,CAAA;AAAA,QACtBA,CAAAA,CAAE,QAAQ,UAAU;AAAA;AACtB,KACF;AAAA,IACA,KAAA,EAAOA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC5B,qBAAA,EAAuBA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,SAAS;AAAA,GAC9C;AACH,CAAC,CAAA;AC9DD,IAAM,gBAAA,GAAmBF,CAAAA,CACtB,IAAA,CAAK,CAAC,MAAA,EAAQ,aAAA,EAAe,SAAA,EAAW,MAAM,CAAC,CAAA,CAC/C,QAAA,EAAS,CACT,SAAS,uBAAuB,CAAA;AAE5B,IAAM,oBAAA,GAAuBA,EAAE,MAAA,CAAO;AAAA,EAC3C,OAAA,EAASA,CAAAA,CAAE,MAAA,EAAO,CAAE,SAAS,aAAa,CAAA;AAAA,EAC1C,YAAYA,CAAAA,CACT,MAAA,GACA,QAAA,EAAS,CACT,SAAS,4BAA4B,CAAA;AAAA,EACxC,kBAAkBA,CAAAA,CACf,MAAA,GACA,QAAA,EAAS,CACT,SAAS,yCAAyC,CAAA;AAAA,EACrD,MAAA,EAAQ,gBAAA;AAAA,EACR,OAAOA,CAAAA,CAAE,MAAA,GAAS,QAAA,EAAS,CAAE,SAAS,iBAAiB;AACzD,CAAC,CAAA;AAID,SAASC,eACP,KAAA,EACyB;AACzB,EAAA,OAAO,MAAA,CAAO,WAAA;AAAA,IACZ,MAAA,CAAO,OAAA,CAAQ,KAAK,CAAA,CAAE,MAAA,CAAO,CAAC,GAAG,KAAK,CAAA,KAAM,KAAA,KAAU,MAAS;AAAA,GACjE;AACF;AAEO,IAAM,sBAAsB,gBAAA,CAAiB;AAAA,EAClD,YAAA,EAAc,YAAA;AAAA,EACd,WAAA,EAAa,oBAAA;AAAA,EACb,OAAA,EAAS,CAAC,KAAA,KACRA,cAAAA,CAAc;AAAA,IACZ,SAAS,KAAA,CAAM,OAAA;AAAA,IACf,QAAQ,KAAA,CAAM,MAAA;AAAA,IACd,MAAA,EAAQ,MAAA;AAAA,IACR,OAAO,KAAA,CAAM,KAAA;AAAA,IACb,gBAAA,EAAkB,KAAA,CAAM,gBAAA,IAAoB,KAAA,CAAM;AAAA,GACnD,CAAA;AAAA,EACH,mBAAA,EAAqBC,EAAE,MAAA,CAAO;AAAA,IAC5B,OAAA,EAASA,EAAE,MAAA,EAAO;AAAA,IAClB,QAAQA,CAAAA,CAAE,QAAA;AAAA,MACRA,CAAAA,CAAE,KAAA;AAAA,QACAA,CAAAA,CAAE,QAAQ,MAAM,CAAA;AAAA,QAChBA,CAAAA,CAAE,QAAQ,aAAa,CAAA;AAAA,QACvBA,CAAAA,CAAE,QAAQ,SAAS,CAAA;AAAA,QACnBA,CAAAA,CAAE,QAAQ,MAAM;AAAA;AAClB,KACF;AAAA,IACA,KAAA,EAAOA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC5B,gBAAA,EAAkBA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ;AAAA,GACxC;AACH,CAAC,CAAA;ACrDD,IAAM,uBAAA,GAA0BF,EAAE,IAAA,CAAK;AAAA,EACrC,gBAAA;AAAA,EACA,kBAAA;AAAA,EACA,wBAAA;AAAA,EACA,kBAAA;AAAA,EACA,kBAAA;AAAA,EACA,oBAAA;AAAA,EACA,wBAAA;AAAA,EACA,iBAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EACA,WAAA;AAAA,EACA;AACF,CAAC,CAAA;AAED,IAAM,gBAAA,GAAmBA,EAAE,MAAA,CAAO;AAAA,EAChC,QAAA,EAAUA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,QAAA,EAAUA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,MAAA,EAAQA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,aAAA,EAAeA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACnC,QAAA,EAAUA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA;AACvB,CAAC,CAAA;AAED,IAAM,yBAAA,GAA4BA,EAAE,MAAA,CAAO;AAAA,EACzC,MAAA,EAAQA,EAAE,MAAA,EAAO;AAAA,EACjB,SAAA,EAAWA,EAAE,MAAA,EAAO;AAAA,EACpB,WAAA,EAAaA,EAAE,MAAA,EAAO;AAAA,EACtB,QAAA,EAAUA,EAAE,MAAA;AACd,CAAC,CAAA;AAED,IAAM,mCAAA,GAAsCA,EAAE,MAAA,CAAO;AAAA,EACnD,MAAA,EAAQA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,YAAA,EAAcA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAClC,UAAA,EAAYA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAChC,OAAA,EAAS,0BAA0B,QAAA,EAAS;AAAA,EAC5C,MAAA,EAAQA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,SAAA,EAAWA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/B,WAAA,EAAaA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACjC,QAAA,EAAUA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,OAAA,EAAS,uBAAA;AAAA,EACT,UAAA,EAAY,iBAAiB,QAAA,EAAS;AAAA,EACtC,oBAAA,EAAsBA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,oBAAA,EAAsBA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,kBAAA,EAAoBA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACxC,yBAAA,EAA2BA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/C,oBAAA,EAAsBA,CAAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,SAAA,EAAWA,EAAE,MAAA,EAAO;AAAA,EACpB,wBAAA,EAA0BA,CAAAA,CAAE,OAAA,EAAQ,CAAE,QAAA;AACxC,CAAC,CAAA;AAEM,IAAM,6BAAA,GACX,mCAAA,CAAoC,WAAA,CAAY,CAAC,OAAO,GAAA,KAAQ;AAC9D,EAAA,IAAI,aAAA,CAAc,KAAK,CAAA,EAAG;AACxB,IAAA;AAAA,EACF;AAEA,EAAA,GAAA,CAAI,QAAA,CAAS;AAAA,IACX,IAAA,EAAMA,EAAE,YAAA,CAAa,MAAA;AAAA,IACrB,OAAA,EACE,gGAAA;AAAA,IACF,IAAA,EAAM,CAAC,YAAY;AAAA,GACpB,CAAA;AACH,CAAC,CAAA;AAMI,IAAM,+BAA+B,gBAAA,CAAiB;AAAA,EAC3D,YAAA,EAAc,qBAAA;AAAA,EACd,WAAA,EAAa,6BAAA;AAAA,EACb,OAAA,EAAS,CAAC,KAAA,KAA6C;AACrD,IAAA,MAAM,MAAA,GAAS,KAAA,CAAM,YAAA,IAAgB,KAAA,CAAM,MAAA;AAC3C,IAAA,IAAI,CAAC,MAAA,EAAQ;AACX,MAAA,MAAM,IAAI,MAAM,qDAAqD,CAAA;AAAA,IACvE;AAEA,IAAA,MAAM,OAAA,GAAU,MAAM,OAAA,IAAW;AAAA,MAC/B,MAAA,EAAQ,aAAA,CAAc,KAAA,CAAM,MAAA,EAAQ,QAAQ,CAAA;AAAA,MAC5C,SAAA,EAAW,aAAA,CAAc,KAAA,CAAM,SAAA,EAAW,WAAW,CAAA;AAAA,MACrD,WAAA,EAAa,aAAA,CAAc,KAAA,CAAM,WAAA,EAAa,aAAa,CAAA;AAAA,MAC3D,QAAA,EAAU,aAAA,CAAc,KAAA,CAAM,QAAA,EAAU,UAAU;AAAA,KACpD;AACA,IAAA,gBAAA,CAAiB,KAAK,CAAA;AAEtB,IAAA,OAAO;AAAA,MACL,MAAA;AAAA,MACA,YAAY,KAAA,CAAM,UAAA;AAAA,MAClB,QAAQ,OAAA,CAAQ,MAAA;AAAA,MAChB,WAAW,OAAA,CAAQ,SAAA;AAAA,MACnB,aAAa,OAAA,CAAQ,WAAA;AAAA,MACrB,UAAU,OAAA,CAAQ,QAAA;AAAA,MAClB,OAAA,EACE,KAAA,CAAM,OAAA,KAAY,iBAAA,GACd,qBACA,KAAA,CAAM,OAAA;AAAA,MACZ,oBAAA,EACE,KAAA,CAAM,UAAA,EAAY,QAAA,IAAY,KAAA,CAAM,oBAAA;AAAA,MACtC,oBAAA,EACE,KAAA,CAAM,UAAA,EAAY,QAAA,IAAY,KAAA,CAAM,oBAAA;AAAA,MACtC,kBAAA,EAAoB,KAAA,CAAM,UAAA,EAAY,MAAA,IAAU,KAAA,CAAM,kBAAA;AAAA,MACtD,yBAAA,EACE,KAAA,CAAM,UAAA,EAAY,aAAA,IAAiB,KAAA,CAAM,yBAAA;AAAA,MAC3C,oBAAA,EACE,KAAA,CAAM,UAAA,EAAY,QAAA,IAAY,KAAA,CAAM,oBAAA;AAAA,MACtC,WAAW,KAAA,CAAM,SAAA;AAAA,MACjB,wBAAA,EAA0B,MAAM,wBAAA,IAA4B;AAAA,KAC9D;AAAA,EACF,CAAA;AAAA,EACA,mBAAA,EAAqBE,EAAE,MAAA,CAAO;AAAA,IAC5B,MAAA,EAAQA,EAAE,MAAA,EAAO;AAAA,IACjB,UAAA,EAAYA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IACjC,MAAA,EAAQA,EAAE,MAAA,EAAO;AAAA,IACjB,SAAA,EAAWA,EAAE,MAAA,EAAO;AAAA,IACpB,WAAA,EAAaA,EAAE,MAAA,EAAO;AAAA,IACtB,QAAA,EAAUA,EAAE,MAAA,EAAO;AAAA,IACnB,SAASA,CAAAA,CAAE,KAAA;AAAA,MACTA,CAAAA,CAAE,QAAQ,gBAAgB,CAAA;AAAA,MAC1BA,CAAAA,CAAE,QAAQ,kBAAkB,CAAA;AAAA,MAC5BA,CAAAA,CAAE,QAAQ,oBAAoB,CAAA;AAAA,MAC9BA,CAAAA,CAAE,QAAQ,wBAAwB,CAAA;AAAA,MAClCA,CAAAA,CAAE,QAAQ,wBAAwB,CAAA;AAAA,MAClCA,CAAAA,CAAE,QAAQ,kBAAkB,CAAA;AAAA,MAC5BA,CAAAA,CAAE,QAAQ,kBAAkB,CAAA;AAAA,MAC5BA,CAAAA,CAAE,QAAQ,QAAQ,CAAA;AAAA,MAClBA,CAAAA,CAAE,QAAQ,UAAU,CAAA;AAAA,MACpBA,CAAAA,CAAE,QAAQ,WAAW,CAAA;AAAA,MACrBA,CAAAA,CAAE,QAAQ,oBAAoB;AAAA,KAChC;AAAA,IACA,oBAAA,EAAsBA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,oBAAA,EAAsBA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,kBAAA,EAAoBA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IACzC,yBAAA,EAA2BA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAChD,oBAAA,EAAsBA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,SAAA,EAAWA,EAAE,MAAA,EAAO;AAAA,IACpB,wBAAA,EAA0BA,CAAAA,CAAE,QAAA,CAASA,CAAAA,CAAE,SAAS;AAAA,GACjD;AACH,CAAC,CAAA;AAED,SAAS,aAAA,CAAc,OAA2B,KAAA,EAAuB;AACvE,EAAA,IAAI,UAAU,MAAA,EAAW;AACvB,IAAA,MAAM,IAAI,KAAA,CAAM,CAAA,6BAAA,EAAgC,KAAK,CAAA,CAAE,CAAA;AAAA,EACzD;AACA,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,iBAAiB,KAAA,EAAgD;AACxE,EAAA,IAAI,CAAC,aAAA,CAAc,KAAK,CAAA,EAAG;AACzB,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AACF;AAEA,SAAS,cAAc,KAAA,EAAmD;AACxE,EAAA,OACE,KAAA,CAAM,OAAA,KAAY,oBAAA,IAClB,OAAA,CAAQ,MAAM,UAAA,IAAc,MAAA,CAAO,MAAA,CAAO,KAAA,CAAM,UAAU,CAAA,CAAE,IAAA,CAAK,OAAO,CAAC,CAAA,IACzE,OAAA,CAAQ,KAAA,CAAM,oBAAoB,CAAA,IAClC,OAAA,CAAQ,KAAA,CAAM,oBAAoB,KAClC,OAAA,CAAQ,KAAA,CAAM,kBAAkB,CAAA,IAChC,QAAQ,KAAA,CAAM,yBAAyB,CAAA,IACvC,OAAA,CAAQ,MAAM,oBAAoB,CAAA;AAEtC;;;AC7JO,IAAM,WAAA,GAAc;AAAA,EACzB,eAAA,EAAiB,wBAAA;AAAA,EACjB,YAAA,EAAc,qBAAA;AAAA,EACd,UAAA,EAAY,mBAAA;AAAA,EACZ,mBAAA,EAAqB;AACvB,CAAA;;;ACdA,IAAM,OAAA,GAAU;AAAA,EACd,eAAA,EAAiB;AAAA,IACf,OAAA,EAAS,eAAA;AAAA,IACT,aAAA,EAAe,6BAAA;AAAA,IACf,SAAA,EAAW,+BAAA;AAAA,IACX,QAAA,EAAU,gBAAA;AAAA,IACV,MAAA,EAAQ,GAAA;AAAA,IACR,SAAA,EAAW;AAAA,GACb;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,OAAA,EAAS,eAAA;AAAA,IACT,MAAA,EAAQ,QAAA;AAAA,IACR,KAAA,EAAO;AAAA,GACT;AAAA,EACA,UAAA,EAAY;AAAA,IACV,OAAA,EAAS,eAAA;AAAA,IACT,UAAA,EAAY,kBAAA;AAAA,IACZ,MAAA,EAAQ,aAAA;AAAA,IACR,KAAA,EAAO;AAAA,GACT;AAAA,EACA,mBAAA,EAAqB;AAAA,IACnB,YAAA,EAAc,gBAAA;AAAA,IACd,OAAA,EAAS;AAAA,MACP,MAAA,EAAQ,GAAA;AAAA,MACR,SAAA,EAAW,GAAA;AAAA,MACX,WAAA,EAAa,GAAA;AAAA,MACb,QAAA,EAAU;AAAA,KACZ;AAAA,IACA,OAAA,EAAS,gBAAA;AAAA,IACT,UAAA,EAAY,EAAE,QAAA,EAAU,kBAAA,EAAmB;AAAA,IAC3C,SAAA,EAAW;AAAA;AAEf,CAAA;AAEO,SAAS,oBAAA,GAA6B;AAC3C,EAAA,KAAA,MAAW,CAAC,IAAA,EAAM,UAAU,KAAK,MAAA,CAAO,OAAA,CAAQ,WAAW,CAAA,EAAG;AAC5D,IAAA,MAAM,KAAA,GAAQ,QAAQ,IAA4B,CAAA;AAClD,IAAA,MAAM,MAAA,GAAS,UAAA,CAAW,WAAA,CAAY,SAAA,CAAU,KAAK,CAAA;AACrD,IAAA,IAAI,CAAC,OAAO,OAAA,EAAS;AACnB,MAAA,MAAM,IAAI,KAAA;AAAA,QACR,CAAA,uBAAA,EAA0B,IAAI,CAAA,0BAAA,EAA6B,MAAA,CAAO,MAAM,OAAO,CAAA;AAAA,OACjF;AAAA,IACF;AACA,IAAA,MAAM,SAAA,GAAY,UAAA,CAAW,OAAA,CAAQ,MAAA,CAAO,IAAa,CAAA;AACzD,IAAA,IAAI,CAAC,SAAA,IAAa,OAAO,SAAA,KAAc,QAAA,EAAU;AAC/C,MAAA,MAAM,IAAI,KAAA,CAAM,CAAA,WAAA,EAAc,IAAI,CAAA,iCAAA,CAAmC,CAAA;AAAA,IACvE;AAAA,EACF;AACF;AAEA,oBAAA,EAAqB","file":"check-convex-args-shape.js","sourcesContent":["import type { z } from \"zod\";\n\nexport interface ProjectionDef<TInput, TConvexArgs> {\n  contractName: string;\n  inputSchema: z.ZodSchema<TInput>;\n  project: (input: TInput) => TConvexArgs;\n  convexArgsValidator: unknown;\n}\n\nexport function defineProjection<I, C>(\n  def: ProjectionDef<I, C>\n): ProjectionDef<I, C> {\n  return def;\n}\n","import { v } from \"convex/values\";\nimport { z } from \"zod\";\nimport { defineProjection } from \"./projection-dsl.js\";\n\nconst jsonRecordSchema = z.record(z.unknown());\n\nconst createEvidenceInputSchemaBase = z\n  .object({\n    projectId: z.string().optional(),\n    topicId: z.string().optional(),\n    text: z.string().optional(),\n    canonicalText: z.string().optional(),\n    title: z.string().optional(),\n    content: z.string().optional(),\n    contentType: z.string().optional(),\n    kind: z.string().optional(),\n    tags: z.array(z.string()).optional(),\n    source: z.string().optional(),\n    sourceUrl: z.string().optional(),\n    sourceType: z.string().optional(),\n    externalSourceType: z.string().optional(),\n    sourceQuestionId: z.string().optional(),\n    methodology: z.string().optional(),\n    informationAsymmetry: z.string().optional(),\n    sourceDescription: z.string().optional(),\n    targetId: z.string().optional(),\n    targetNodeId: z.string().optional(),\n    linkedBeliefNodeId: z.string().optional(),\n    evidenceRelation: z.enum([\"supports\", \"contradicts\", \"neutral\"]).optional(),\n    confidence: z.number().optional(),\n    weight: z.number().optional(),\n    reasoning: z.string().optional(),\n    rationale: z.string(),\n    metadata: jsonRecordSchema.optional(),\n    trustedBypassAccessCheck: z.boolean().optional(),\n  })\n  .passthrough();\n\nexport const createEvidenceInputSchema = createEvidenceInputSchemaBase.refine(\n  (input) => Boolean(input.text ?? input.canonicalText),\n  {\n    message: \"create_evidence requires text\",\n    path: [\"text\"],\n  },\n);\n\nexport type CreateEvidenceProjectionInput = z.infer<\n  typeof createEvidenceInputSchema\n>;\n\nfunction compactRecord(\n  input: Record<string, unknown>,\n): Record<string, unknown> {\n  return Object.fromEntries(\n    Object.entries(input).filter(([, value]) => value !== undefined),\n  );\n}\n\nfunction isRecord(value: unknown): value is Record<string, unknown> {\n  return Boolean(value) && typeof value === \"object\" && !Array.isArray(value);\n}\n\nfunction recordValue(value: unknown): Record<string, unknown> {\n  return isRecord(value) ? value : {};\n}\n\nexport const createEvidenceProjection = defineProjection({\n  contractName: \"create_evidence\",\n  inputSchema: createEvidenceInputSchema,\n  project: (input: CreateEvidenceProjectionInput) => {\n    const text = input.text ?? input.canonicalText;\n    const weight = typeof input.weight === \"number\" ? input.weight : undefined;\n\n    return compactRecord({\n      projectId: input.projectId,\n      topicId: input.topicId,\n      text,\n      title: input.title ?? text,\n      content: input.content ?? text,\n      contentType: input.contentType,\n      kind: input.kind,\n      tags: input.tags,\n      sourceType: input.sourceType,\n      externalSourceType: input.externalSourceType,\n      sourceUrl: input.sourceUrl ?? input.source,\n      sourceQuestionId: input.sourceQuestionId,\n      methodology: input.methodology,\n      informationAsymmetry: input.informationAsymmetry,\n      sourceDescription: input.sourceDescription,\n      metadata: compactRecord({\n        ...recordValue(input.metadata),\n        source: input.source,\n        targetId: input.targetId,\n        targetNodeId: input.targetNodeId,\n        weight,\n        reasoning: input.reasoning,\n        rationale: input.rationale,\n      }),\n      linkedBeliefNodeId:\n        input.linkedBeliefNodeId ?? input.targetNodeId ?? input.targetId,\n      evidenceRelation:\n        input.evidenceRelation ??\n        (weight === undefined\n          ? undefined\n          : weight < 0\n            ? \"contradicts\"\n            : \"supports\"),\n      confidence:\n        input.confidence ??\n        (weight === undefined\n          ? undefined\n          : Math.min(1, Math.max(0, Math.abs(weight)))),\n      rationale: input.rationale,\n      trustedBypassAccessCheck: input.trustedBypassAccessCheck ?? true,\n    });\n  },\n  convexArgsValidator: v.object({\n    projectId: v.optional(v.string()),\n    topicId: v.optional(v.string()),\n    text: v.string(),\n    title: v.optional(v.string()),\n    content: v.optional(v.string()),\n    contentType: v.optional(v.string()),\n    kind: v.optional(v.string()),\n    tags: v.optional(v.array(v.string())),\n    sourceType: v.optional(v.string()),\n    externalSourceType: v.optional(v.string()),\n    sourceUrl: v.optional(v.string()),\n    sourceQuestionId: v.optional(v.string()),\n    methodology: v.optional(v.string()),\n    informationAsymmetry: v.optional(v.string()),\n    sourceDescription: v.optional(v.string()),\n    metadata: v.optional(v.record(v.string(), v.any())),\n    linkedBeliefNodeId: v.optional(v.string()),\n    evidenceRelation: v.optional(\n      v.union(\n        v.literal(\"supports\"),\n        v.literal(\"contradicts\"),\n        v.literal(\"neutral\"),\n      ),\n    ),\n    confidence: v.optional(v.number()),\n    rationale: v.string(),\n    trustedBypassAccessCheck: v.optional(v.boolean()),\n  }),\n});\n","import { v } from \"convex/values\";\nimport { z } from \"zod\";\nimport { defineProjection } from \"./projection-dsl.js\";\n\nconst beliefStatusSchema = z\n  .enum([\"active\", \"superseded\", \"archived\", \"unscored\", \"scored\"])\n  .optional()\n  .describe(\"Filter by belief lifecycle or scoring status\");\n\nexport const listBeliefsInputSchema = z.object({\n  topicId: z.string().describe(\"Topic scope\"),\n  worktreeId: z.string().optional().describe(\"Filter to worktree scope\"),\n  status: beliefStatusSchema,\n  minConfidence: z\n    .number()\n    .optional()\n    .describe(\"Minimum confidence threshold\"),\n  limit: z.number().optional().describe(\"Maximum results\"),\n  includeEdgeAssociated: z\n    .boolean()\n    .optional()\n    .describe(\"Include beliefs associated to the topic through edges\"),\n});\n\nexport type ListBeliefsProjectionInput = z.infer<\n  typeof listBeliefsInputSchema\n>;\n\nfunction kernelStatus(status: ListBeliefsProjectionInput[\"status\"]) {\n  return status === \"active\" ||\n    status === \"superseded\" ||\n    status === \"archived\"\n    ? status\n    : undefined;\n}\n\nfunction compactRecord(\n  input: Record<string, unknown>,\n): Record<string, unknown> {\n  return Object.fromEntries(\n    Object.entries(input).filter(([, value]) => value !== undefined),\n  );\n}\n\nexport const listBeliefsProjection = defineProjection({\n  contractName: \"list_beliefs\",\n  inputSchema: listBeliefsInputSchema,\n  project: (input: ListBeliefsProjectionInput) =>\n    compactRecord({\n      topicId: input.topicId,\n      status: kernelStatus(input.status),\n      limit: input.limit,\n      includeEdgeAssociated: input.includeEdgeAssociated,\n    }),\n  convexArgsValidator: v.object({\n    topicId: v.string(),\n    status: v.optional(\n      v.union(\n        v.literal(\"active\"),\n        v.literal(\"superseded\"),\n        v.literal(\"archived\"),\n      ),\n    ),\n    limit: v.optional(v.number()),\n    includeEdgeAssociated: v.optional(v.boolean()),\n  }),\n});\n","import { v } from \"convex/values\";\nimport { z } from \"zod\";\nimport { defineProjection } from \"./projection-dsl.js\";\n\nconst taskStatusSchema = z\n  .enum([\"todo\", \"in_progress\", \"blocked\", \"done\"])\n  .optional()\n  .describe(\"Filter by task status\");\n\nexport const listTasksInputSchema = z.object({\n  topicId: z.string().describe(\"Topic scope\"),\n  worktreeId: z\n    .string()\n    .optional()\n    .describe(\"Alias for linkedWorktreeId\"),\n  linkedWorktreeId: z\n    .string()\n    .optional()\n    .describe(\"Filter to tasks linked to this worktree\"),\n  status: taskStatusSchema,\n  limit: z.number().optional().describe(\"Maximum results\"),\n});\n\nexport type ListTasksProjectionInput = z.infer<typeof listTasksInputSchema>;\n\nfunction compactRecord(\n  input: Record<string, unknown>,\n): Record<string, unknown> {\n  return Object.fromEntries(\n    Object.entries(input).filter(([, value]) => value !== undefined),\n  );\n}\n\nexport const listTasksProjection = defineProjection({\n  contractName: \"list_tasks\",\n  inputSchema: listTasksInputSchema,\n  project: (input: ListTasksProjectionInput) =>\n    compactRecord({\n      topicId: input.topicId,\n      status: input.status,\n      userId: undefined,\n      limit: input.limit,\n      linkedWorktreeId: input.linkedWorktreeId ?? input.worktreeId,\n    }),\n  convexArgsValidator: v.object({\n    topicId: v.string(),\n    status: v.optional(\n      v.union(\n        v.literal(\"todo\"),\n        v.literal(\"in_progress\"),\n        v.literal(\"blocked\"),\n        v.literal(\"done\"),\n      ),\n    ),\n    limit: v.optional(v.number()),\n    linkedWorktreeId: v.optional(v.string()),\n  }),\n});\n","import { v } from \"convex/values\";\nimport { z } from \"zod\";\nimport { defineProjection } from \"./projection-dsl.js\";\n\nconst confidenceTriggerSchema = z.enum([\n  \"evidence_added\",\n  \"evidence_removed\",\n  \"contradiction_resolved\",\n  \"agent_assessment\",\n  \"worktree_outcome\",\n  \"worktree_completed\",\n  \"contradiction_detected\",\n  \"answer_recorded\",\n  \"fusion\",\n  \"discount\",\n  \"deduction\",\n  \"backfill_synthetic\",\n]);\n\nconst provenanceSchema = z.object({\n  evidence: z.string().optional(),\n  question: z.string().optional(),\n  answer: z.string().optional(),\n  contradiction: z.string().optional(),\n  worktree: z.string().optional(),\n});\n\nconst slOpinionProjectionSchema = z.object({\n  belief: z.number(),\n  disbelief: z.number(),\n  uncertainty: z.number(),\n  baseRate: z.number(),\n});\n\nconst modulateConfidenceInputObjectSchema = z.object({\n  nodeId: z.string().optional(),\n  beliefNodeId: z.string().optional(),\n  worktreeId: z.string().optional(),\n  opinion: slOpinionProjectionSchema.optional(),\n  belief: z.number().optional(),\n  disbelief: z.number().optional(),\n  uncertainty: z.number().optional(),\n  baseRate: z.number().optional(),\n  trigger: confidenceTriggerSchema,\n  provenance: provenanceSchema.optional(),\n  triggeringEvidenceId: z.string().optional(),\n  triggeringQuestionId: z.string().optional(),\n  triggeringAnswerId: z.string().optional(),\n  triggeringContradictionId: z.string().optional(),\n  triggeringWorktreeId: z.string().optional(),\n  rationale: z.string(),\n  trustedBypassAccessCheck: z.boolean().optional(),\n});\n\nexport const modulateConfidenceInputSchema =\n  modulateConfidenceInputObjectSchema.superRefine((input, ctx) => {\n    if (hasProvenance(input)) {\n      return;\n    }\n\n    ctx.addIssue({\n      code: z.ZodIssueCode.custom,\n      message:\n        \"modulate_confidence requires evidence, question, answer, contradiction, or worktree provenance\",\n      path: [\"provenance\"],\n    });\n  });\n\nexport type ModulateConfidenceProjectionInput = z.infer<\n  typeof modulateConfidenceInputSchema\n>;\n\nexport const modulateConfidenceProjection = defineProjection({\n  contractName: \"modulate_confidence\",\n  inputSchema: modulateConfidenceInputSchema,\n  project: (input: ModulateConfidenceProjectionInput) => {\n    const nodeId = input.beliefNodeId ?? input.nodeId;\n    if (!nodeId) {\n      throw new Error(\"modulate_confidence requires beliefNodeId or nodeId\");\n    }\n\n    const opinion = input.opinion ?? {\n      belief: requireNumber(input.belief, \"belief\"),\n      disbelief: requireNumber(input.disbelief, \"disbelief\"),\n      uncertainty: requireNumber(input.uncertainty, \"uncertainty\"),\n      baseRate: requireNumber(input.baseRate, \"baseRate\"),\n    };\n    assertProvenance(input);\n\n    return {\n      nodeId,\n      worktreeId: input.worktreeId,\n      belief: opinion.belief,\n      disbelief: opinion.disbelief,\n      uncertainty: opinion.uncertainty,\n      baseRate: opinion.baseRate,\n      trigger:\n        input.trigger === \"answer_recorded\"\n          ? \"agent_assessment\"\n          : input.trigger,\n      triggeringEvidenceId:\n        input.provenance?.evidence ?? input.triggeringEvidenceId,\n      triggeringQuestionId:\n        input.provenance?.question ?? input.triggeringQuestionId,\n      triggeringAnswerId: input.provenance?.answer ?? input.triggeringAnswerId,\n      triggeringContradictionId:\n        input.provenance?.contradiction ?? input.triggeringContradictionId,\n      triggeringWorktreeId:\n        input.provenance?.worktree ?? input.triggeringWorktreeId,\n      rationale: input.rationale,\n      trustedBypassAccessCheck: input.trustedBypassAccessCheck ?? true,\n    };\n  },\n  convexArgsValidator: v.object({\n    nodeId: v.string(),\n    worktreeId: v.optional(v.string()),\n    belief: v.number(),\n    disbelief: v.number(),\n    uncertainty: v.number(),\n    baseRate: v.number(),\n    trigger: v.union(\n      v.literal(\"evidence_added\"),\n      v.literal(\"evidence_removed\"),\n      v.literal(\"worktree_completed\"),\n      v.literal(\"contradiction_detected\"),\n      v.literal(\"contradiction_resolved\"),\n      v.literal(\"agent_assessment\"),\n      v.literal(\"worktree_outcome\"),\n      v.literal(\"fusion\"),\n      v.literal(\"discount\"),\n      v.literal(\"deduction\"),\n      v.literal(\"backfill_synthetic\"),\n    ),\n    triggeringEvidenceId: v.optional(v.string()),\n    triggeringQuestionId: v.optional(v.string()),\n    triggeringAnswerId: v.optional(v.string()),\n    triggeringContradictionId: v.optional(v.string()),\n    triggeringWorktreeId: v.optional(v.string()),\n    rationale: v.string(),\n    trustedBypassAccessCheck: v.optional(v.boolean()),\n  }),\n});\n\nfunction requireNumber(value: number | undefined, field: string): number {\n  if (value === undefined) {\n    throw new Error(`modulate_confidence requires ${field}`);\n  }\n  return value;\n}\n\nfunction assertProvenance(input: ModulateConfidenceProjectionInput): void {\n  if (!hasProvenance(input)) {\n    throw new Error(\n      \"modulate_confidence requires evidence, question, answer, contradiction, or worktree provenance\",\n    );\n  }\n}\n\nfunction hasProvenance(input: ModulateConfidenceProjectionInput): boolean {\n  return (\n    input.trigger === \"backfill_synthetic\" ||\n    Boolean(input.provenance && Object.values(input.provenance).some(Boolean)) ||\n    Boolean(input.triggeringEvidenceId) ||\n    Boolean(input.triggeringQuestionId) ||\n    Boolean(input.triggeringAnswerId) ||\n    Boolean(input.triggeringContradictionId) ||\n    Boolean(input.triggeringWorktreeId)\n  );\n}\n","import { createEvidenceProjection } from \"./create-evidence.projection.js\";\nimport { listBeliefsProjection } from \"./list-beliefs.projection.js\";\nimport { listTasksProjection } from \"./list-tasks.projection.js\";\nimport { modulateConfidenceProjection } from \"./modulate-confidence.projection.js\";\n\nexport { createEvidenceProjection } from \"./create-evidence.projection.js\";\nexport { listBeliefsProjection } from \"./list-beliefs.projection.js\";\nexport { listTasksProjection } from \"./list-tasks.projection.js\";\nexport { modulateConfidenceProjection } from \"./modulate-confidence.projection.js\";\nexport * from \"./projection-dsl.js\";\n\nexport const projections = {\n  create_evidence: createEvidenceProjection,\n  list_beliefs: listBeliefsProjection,\n  list_tasks: listTasksProjection,\n  modulate_confidence: modulateConfidenceProjection,\n} as const;\n\nexport type ProjectionRegistry = typeof projections;\n","import { projections } from \"./index.js\";\n\nconst fixture = {\n  create_evidence: {\n    topicId: \"topic:fixture\",\n    canonicalText: \"projection fixture evidence\",\n    sourceUrl: \"https://example.test/evidence\",\n    targetId: \"belief:fixture\",\n    weight: 0.6,\n    rationale: \"projection fixture\",\n  },\n  list_beliefs: {\n    topicId: \"topic:fixture\",\n    status: \"scored\",\n    limit: 25,\n  },\n  list_tasks: {\n    topicId: \"topic:fixture\",\n    worktreeId: \"worktree:fixture\",\n    status: \"in_progress\",\n    limit: 10,\n  },\n  modulate_confidence: {\n    beliefNodeId: \"belief:fixture\",\n    opinion: {\n      belief: 0.7,\n      disbelief: 0.1,\n      uncertainty: 0.2,\n      baseRate: 0.5,\n    },\n    trigger: \"evidence_added\",\n    provenance: { evidence: \"evidence:fixture\" },\n    rationale: \"projection fixture\",\n  },\n} as const;\n\nexport function checkConvexArgsShape(): void {\n  for (const [name, projection] of Object.entries(projections)) {\n    const input = fixture[name as keyof typeof fixture];\n    const parsed = projection.inputSchema.safeParse(input);\n    if (!parsed.success) {\n      throw new Error(\n        `Projection fixture for ${name} failed input validation: ${parsed.error.message}`,\n      );\n    }\n    const projected = projection.project(parsed.data as never);\n    if (!projected || typeof projected !== \"object\") {\n      throw new Error(`Projection ${name} did not emit object convex args.`);\n    }\n  }\n}\n\ncheckConvexArgsShape();\n"]}

package/dist/projections/create-evidence.projection.d.ts

@@ -0,0 +1,176 @@
+import { ProjectionDef } from './projection-dsl.js';
+import { z } from 'zod';
+
+declare const createEvidenceInputSchema: z.ZodEffects<z.ZodObject<{
+    projectId: z.ZodOptional<z.ZodString>;
+    topicId: z.ZodOptional<z.ZodString>;
+    text: z.ZodOptional<z.ZodString>;
+    canonicalText: z.ZodOptional<z.ZodString>;
+    title: z.ZodOptional<z.ZodString>;
+    content: z.ZodOptional<z.ZodString>;
+    contentType: z.ZodOptional<z.ZodString>;
+    kind: z.ZodOptional<z.ZodString>;
+    tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    source: z.ZodOptional<z.ZodString>;
+    sourceUrl: z.ZodOptional<z.ZodString>;
+    sourceType: z.ZodOptional<z.ZodString>;
+    externalSourceType: z.ZodOptional<z.ZodString>;
+    sourceQuestionId: z.ZodOptional<z.ZodString>;
+    methodology: z.ZodOptional<z.ZodString>;
+    informationAsymmetry: z.ZodOptional<z.ZodString>;
+    sourceDescription: z.ZodOptional<z.ZodString>;
+    targetId: z.ZodOptional<z.ZodString>;
+    targetNodeId: z.ZodOptional<z.ZodString>;
+    linkedBeliefNodeId: z.ZodOptional<z.ZodString>;
+    evidenceRelation: z.ZodOptional<z.ZodEnum<["supports", "contradicts", "neutral"]>>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+    weight: z.ZodOptional<z.ZodNumber>;
+    reasoning: z.ZodOptional<z.ZodString>;
+    rationale: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    trustedBypassAccessCheck: z.ZodOptional<z.ZodBoolean>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    projectId: z.ZodOptional<z.ZodString>;
+    topicId: z.ZodOptional<z.ZodString>;
+    text: z.ZodOptional<z.ZodString>;
+    canonicalText: z.ZodOptional<z.ZodString>;
+    title: z.ZodOptional<z.ZodString>;
+    content: z.ZodOptional<z.ZodString>;
+    contentType: z.ZodOptional<z.ZodString>;
+    kind: z.ZodOptional<z.ZodString>;
+    tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    source: z.ZodOptional<z.ZodString>;
+    sourceUrl: z.ZodOptional<z.ZodString>;
+    sourceType: z.ZodOptional<z.ZodString>;
+    externalSourceType: z.ZodOptional<z.ZodString>;
+    sourceQuestionId: z.ZodOptional<z.ZodString>;
+    methodology: z.ZodOptional<z.ZodString>;
+    informationAsymmetry: z.ZodOptional<z.ZodString>;
+    sourceDescription: z.ZodOptional<z.ZodString>;
+    targetId: z.ZodOptional<z.ZodString>;
+    targetNodeId: z.ZodOptional<z.ZodString>;
+    linkedBeliefNodeId: z.ZodOptional<z.ZodString>;
+    evidenceRelation: z.ZodOptional<z.ZodEnum<["supports", "contradicts", "neutral"]>>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+    weight: z.ZodOptional<z.ZodNumber>;
+    reasoning: z.ZodOptional<z.ZodString>;
+    rationale: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    trustedBypassAccessCheck: z.ZodOptional<z.ZodBoolean>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    projectId: z.ZodOptional<z.ZodString>;
+    topicId: z.ZodOptional<z.ZodString>;
+    text: z.ZodOptional<z.ZodString>;
+    canonicalText: z.ZodOptional<z.ZodString>;
+    title: z.ZodOptional<z.ZodString>;
+    content: z.ZodOptional<z.ZodString>;
+    contentType: z.ZodOptional<z.ZodString>;
+    kind: z.ZodOptional<z.ZodString>;
+    tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    source: z.ZodOptional<z.ZodString>;
+    sourceUrl: z.ZodOptional<z.ZodString>;
+    sourceType: z.ZodOptional<z.ZodString>;
+    externalSourceType: z.ZodOptional<z.ZodString>;
+    sourceQuestionId: z.ZodOptional<z.ZodString>;
+    methodology: z.ZodOptional<z.ZodString>;
+    informationAsymmetry: z.ZodOptional<z.ZodString>;
+    sourceDescription: z.ZodOptional<z.ZodString>;
+    targetId: z.ZodOptional<z.ZodString>;
+    targetNodeId: z.ZodOptional<z.ZodString>;
+    linkedBeliefNodeId: z.ZodOptional<z.ZodString>;
+    evidenceRelation: z.ZodOptional<z.ZodEnum<["supports", "contradicts", "neutral"]>>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+    weight: z.ZodOptional<z.ZodNumber>;
+    reasoning: z.ZodOptional<z.ZodString>;
+    rationale: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    trustedBypassAccessCheck: z.ZodOptional<z.ZodBoolean>;
+}, z.ZodTypeAny, "passthrough">>, z.objectOutputType<{
+    projectId: z.ZodOptional<z.ZodString>;
+    topicId: z.ZodOptional<z.ZodString>;
+    text: z.ZodOptional<z.ZodString>;
+    canonicalText: z.ZodOptional<z.ZodString>;
+    title: z.ZodOptional<z.ZodString>;
+    content: z.ZodOptional<z.ZodString>;
+    contentType: z.ZodOptional<z.ZodString>;
+    kind: z.ZodOptional<z.ZodString>;
+    tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    source: z.ZodOptional<z.ZodString>;
+    sourceUrl: z.ZodOptional<z.ZodString>;
+    sourceType: z.ZodOptional<z.ZodString>;
+    externalSourceType: z.ZodOptional<z.ZodString>;
+    sourceQuestionId: z.ZodOptional<z.ZodString>;
+    methodology: z.ZodOptional<z.ZodString>;
+    informationAsymmetry: z.ZodOptional<z.ZodString>;
+    sourceDescription: z.ZodOptional<z.ZodString>;
+    targetId: z.ZodOptional<z.ZodString>;
+    targetNodeId: z.ZodOptional<z.ZodString>;
+    linkedBeliefNodeId: z.ZodOptional<z.ZodString>;
+    evidenceRelation: z.ZodOptional<z.ZodEnum<["supports", "contradicts", "neutral"]>>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+    weight: z.ZodOptional<z.ZodNumber>;
+    reasoning: z.ZodOptional<z.ZodString>;
+    rationale: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    trustedBypassAccessCheck: z.ZodOptional<z.ZodBoolean>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    projectId: z.ZodOptional<z.ZodString>;
+    topicId: z.ZodOptional<z.ZodString>;
+    text: z.ZodOptional<z.ZodString>;
+    canonicalText: z.ZodOptional<z.ZodString>;
+    title: z.ZodOptional<z.ZodString>;
+    content: z.ZodOptional<z.ZodString>;
+    contentType: z.ZodOptional<z.ZodString>;
+    kind: z.ZodOptional<z.ZodString>;
+    tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    source: z.ZodOptional<z.ZodString>;
+    sourceUrl: z.ZodOptional<z.ZodString>;
+    sourceType: z.ZodOptional<z.ZodString>;
+    externalSourceType: z.ZodOptional<z.ZodString>;
+    sourceQuestionId: z.ZodOptional<z.ZodString>;
+    methodology: z.ZodOptional<z.ZodString>;
+    informationAsymmetry: z.ZodOptional<z.ZodString>;
+    sourceDescription: z.ZodOptional<z.ZodString>;
+    targetId: z.ZodOptional<z.ZodString>;
+    targetNodeId: z.ZodOptional<z.ZodString>;
+    linkedBeliefNodeId: z.ZodOptional<z.ZodString>;
+    evidenceRelation: z.ZodOptional<z.ZodEnum<["supports", "contradicts", "neutral"]>>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+    weight: z.ZodOptional<z.ZodNumber>;
+    reasoning: z.ZodOptional<z.ZodString>;
+    rationale: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    trustedBypassAccessCheck: z.ZodOptional<z.ZodBoolean>;
+}, z.ZodTypeAny, "passthrough">>;
+type CreateEvidenceProjectionInput = z.infer<typeof createEvidenceInputSchema>;
+declare const createEvidenceProjection: ProjectionDef<z.objectInputType<{
+    projectId: z.ZodOptional<z.ZodString>;
+    topicId: z.ZodOptional<z.ZodString>;
+    text: z.ZodOptional<z.ZodString>;
+    canonicalText: z.ZodOptional<z.ZodString>;
+    title: z.ZodOptional<z.ZodString>;
+    content: z.ZodOptional<z.ZodString>;
+    contentType: z.ZodOptional<z.ZodString>;
+    kind: z.ZodOptional<z.ZodString>;
+    tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    source: z.ZodOptional<z.ZodString>;
+    sourceUrl: z.ZodOptional<z.ZodString>;
+    sourceType: z.ZodOptional<z.ZodString>;
+    externalSourceType: z.ZodOptional<z.ZodString>;
+    sourceQuestionId: z.ZodOptional<z.ZodString>;
+    methodology: z.ZodOptional<z.ZodString>;
+    informationAsymmetry: z.ZodOptional<z.ZodString>;
+    sourceDescription: z.ZodOptional<z.ZodString>;
+    targetId: z.ZodOptional<z.ZodString>;
+    targetNodeId: z.ZodOptional<z.ZodString>;
+    linkedBeliefNodeId: z.ZodOptional<z.ZodString>;
+    evidenceRelation: z.ZodOptional<z.ZodEnum<["supports", "contradicts", "neutral"]>>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+    weight: z.ZodOptional<z.ZodNumber>;
+    reasoning: z.ZodOptional<z.ZodString>;
+    rationale: z.ZodString;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    trustedBypassAccessCheck: z.ZodOptional<z.ZodBoolean>;
+}, z.ZodTypeAny, "passthrough">, Record<string, unknown>>;
+
+export { type CreateEvidenceProjectionInput, createEvidenceInputSchema, createEvidenceProjection };

package/dist/projections/create-evidence.projection.js

@@ -0,0 +1,131 @@
+import { v } from 'convex/values';
+import { z } from 'zod';
+
+// src/projections/create-evidence.projection.ts
+
+// src/projections/projection-dsl.ts
+function defineProjection(def) {
+  return def;
+}
+
+// src/projections/create-evidence.projection.ts
+var jsonRecordSchema = z.record(z.unknown());
+var createEvidenceInputSchemaBase = z.object({
+  projectId: z.string().optional(),
+  topicId: z.string().optional(),
+  text: z.string().optional(),
+  canonicalText: z.string().optional(),
+  title: z.string().optional(),
+  content: z.string().optional(),
+  contentType: z.string().optional(),
+  kind: z.string().optional(),
+  tags: z.array(z.string()).optional(),
+  source: z.string().optional(),
+  sourceUrl: z.string().optional(),
+  sourceType: z.string().optional(),
+  externalSourceType: z.string().optional(),
+  sourceQuestionId: z.string().optional(),
+  methodology: z.string().optional(),
+  informationAsymmetry: z.string().optional(),
+  sourceDescription: z.string().optional(),
+  targetId: z.string().optional(),
+  targetNodeId: z.string().optional(),
+  linkedBeliefNodeId: z.string().optional(),
+  evidenceRelation: z.enum(["supports", "contradicts", "neutral"]).optional(),
+  confidence: z.number().optional(),
+  weight: z.number().optional(),
+  reasoning: z.string().optional(),
+  rationale: z.string(),
+  metadata: jsonRecordSchema.optional(),
+  trustedBypassAccessCheck: z.boolean().optional()
+}).passthrough();
+var createEvidenceInputSchema = createEvidenceInputSchemaBase.refine(
+  (input) => Boolean(input.text ?? input.canonicalText),
+  {
+    message: "create_evidence requires text",
+    path: ["text"]
+  }
+);
+function compactRecord(input) {
+  return Object.fromEntries(
+    Object.entries(input).filter(([, value]) => value !== void 0)
+  );
+}
+function isRecord(value) {
+  return Boolean(value) && typeof value === "object" && !Array.isArray(value);
+}
+function recordValue(value) {
+  return isRecord(value) ? value : {};
+}
+var createEvidenceProjection = defineProjection({
+  contractName: "create_evidence",
+  inputSchema: createEvidenceInputSchema,
+  project: (input) => {
+    const text = input.text ?? input.canonicalText;
+    const weight = typeof input.weight === "number" ? input.weight : void 0;
+    return compactRecord({
+      projectId: input.projectId,
+      topicId: input.topicId,
+      text,
+      title: input.title ?? text,
+      content: input.content ?? text,
+      contentType: input.contentType,
+      kind: input.kind,
+      tags: input.tags,
+      sourceType: input.sourceType,
+      externalSourceType: input.externalSourceType,
+      sourceUrl: input.sourceUrl ?? input.source,
+      sourceQuestionId: input.sourceQuestionId,
+      methodology: input.methodology,
+      informationAsymmetry: input.informationAsymmetry,
+      sourceDescription: input.sourceDescription,
+      metadata: compactRecord({
+        ...recordValue(input.metadata),
+        source: input.source,
+        targetId: input.targetId,
+        targetNodeId: input.targetNodeId,
+        weight,
+        reasoning: input.reasoning,
+        rationale: input.rationale
+      }),
+      linkedBeliefNodeId: input.linkedBeliefNodeId ?? input.targetNodeId ?? input.targetId,
+      evidenceRelation: input.evidenceRelation ?? (weight === void 0 ? void 0 : weight < 0 ? "contradicts" : "supports"),
+      confidence: input.confidence ?? (weight === void 0 ? void 0 : Math.min(1, Math.max(0, Math.abs(weight)))),
+      rationale: input.rationale,
+      trustedBypassAccessCheck: input.trustedBypassAccessCheck ?? true
+    });
+  },
+  convexArgsValidator: v.object({
+    projectId: v.optional(v.string()),
+    topicId: v.optional(v.string()),
+    text: v.string(),
+    title: v.optional(v.string()),
+    content: v.optional(v.string()),
+    contentType: v.optional(v.string()),
+    kind: v.optional(v.string()),
+    tags: v.optional(v.array(v.string())),
+    sourceType: v.optional(v.string()),
+    externalSourceType: v.optional(v.string()),
+    sourceUrl: v.optional(v.string()),
+    sourceQuestionId: v.optional(v.string()),
+    methodology: v.optional(v.string()),
+    informationAsymmetry: v.optional(v.string()),
+    sourceDescription: v.optional(v.string()),
+    metadata: v.optional(v.record(v.string(), v.any())),
+    linkedBeliefNodeId: v.optional(v.string()),
+    evidenceRelation: v.optional(
+      v.union(
+        v.literal("supports"),
+        v.literal("contradicts"),
+        v.literal("neutral")
+      )
+    ),
+    confidence: v.optional(v.number()),
+    rationale: v.string(),
+    trustedBypassAccessCheck: v.optional(v.boolean())
+  })
+});
+
+export { createEvidenceInputSchema, createEvidenceProjection };
+//# sourceMappingURL=create-evidence.projection.js.map
+//# sourceMappingURL=create-evidence.projection.js.map

package/dist/projections/create-evidence.projection.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/projections/projection-dsl.ts","../../src/projections/create-evidence.projection.ts"],"names":[],"mappings":";;;;;;AASO,SAAS,iBACd,GAAA,EACqB;AACrB,EAAA,OAAO,GAAA;AACT;;;ACTA,IAAM,gBAAA,GAAmB,CAAA,CAAE,MAAA,CAAO,CAAA,CAAE,SAAS,CAAA;AAE7C,IAAM,6BAAA,GAAgC,EACnC,MAAA,CAAO;AAAA,EACN,SAAA,EAAW,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/B,OAAA,EAAS,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC7B,IAAA,EAAM,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1B,aAAA,EAAe,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACnC,KAAA,EAAO,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC3B,OAAA,EAAS,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC7B,WAAA,EAAa,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACjC,IAAA,EAAM,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1B,MAAM,CAAA,CAAE,KAAA,CAAM,EAAE,MAAA,EAAQ,EAAE,QAAA,EAAS;AAAA,EACnC,MAAA,EAAQ,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,SAAA,EAAW,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/B,UAAA,EAAY,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAChC,kBAAA,EAAoB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACxC,gBAAA,EAAkB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACtC,WAAA,EAAa,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACjC,oBAAA,EAAsB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,iBAAA,EAAmB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACvC,QAAA,EAAU,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,YAAA,EAAc,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAClC,kBAAA,EAAoB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACxC,gBAAA,EAAkB,EAAE,IAAA,CAAK,CAAC,YAAY,aAAA,EAAe,SAAS,CAAC,CAAA,CAAE,QAAA,EAAS;AAAA,EAC1E,UAAA,EAAY,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAChC,MAAA,EAAQ,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,SAAA,EAAW,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/B,SAAA,EAAW,EAAE,MAAA,EAAO;AAAA,EACpB,QAAA,EAAU,iBAAiB,QAAA,EAAS;AAAA,EACpC,wBAAA,EAA0B,CAAA,CAAE,OAAA,EAAQ,CAAE,QAAA;AACxC,CAAC,EACA,WAAA,EAAY;AAER,IAAM,4BAA4B,6BAAA,CAA8B,MAAA;AAAA,EACrE,CAAC,KAAA,KAAU,OAAA,CAAQ,KAAA,CAAM,IAAA,IAAQ,MAAM,aAAa,CAAA;AAAA,EACpD;AAAA,IACE,OAAA,EAAS,+BAAA;AAAA,IACT,IAAA,EAAM,CAAC,MAAM;AAAA;AAEjB;AAMA,SAAS,cACP,KAAA,EACyB;AACzB,EAAA,OAAO,MAAA,CAAO,WAAA;AAAA,IACZ,MAAA,CAAO,OAAA,CAAQ,KAAK,CAAA,CAAE,MAAA,CAAO,CAAC,GAAG,KAAK,CAAA,KAAM,KAAA,KAAU,MAAS;AAAA,GACjE;AACF;AAEA,SAAS,SAAS,KAAA,EAAkD;AAClE,EAAA,OAAO,OAAA,CAAQ,KAAK,CAAA,IAAK,OAAO,UAAU,QAAA,IAAY,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA;AAC5E;AAEA,SAAS,YAAY,KAAA,EAAyC;AAC5D,EAAA,OAAO,QAAA,CAAS,KAAK,CAAA,GAAI,KAAA,GAAQ,EAAC;AACpC;AAEO,IAAM,2BAA2B,gBAAA,CAAiB;AAAA,EACvD,YAAA,EAAc,iBAAA;AAAA,EACd,WAAA,EAAa,yBAAA;AAAA,EACb,OAAA,EAAS,CAAC,KAAA,KAAyC;AACjD,IAAA,MAAM,IAAA,GAAO,KAAA,CAAM,IAAA,IAAQ,KAAA,CAAM,aAAA;AACjC,IAAA,MAAM,SAAS,OAAO,KAAA,CAAM,MAAA,KAAW,QAAA,GAAW,MAAM,MAAA,GAAS,MAAA;AAEjE,IAAA,OAAO,aAAA,CAAc;AAAA,MACnB,WAAW,KAAA,CAAM,SAAA;AAAA,MACjB,SAAS,KAAA,CAAM,OAAA;AAAA,MACf,IAAA;AAAA,MACA,KAAA,EAAO,MAAM,KAAA,IAAS,IAAA;AAAA,MACtB,OAAA,EAAS,MAAM,OAAA,IAAW,IAAA;AAAA,MAC1B,aAAa,KAAA,CAAM,WAAA;AAAA,MACnB,MAAM,KAAA,CAAM,IAAA;AAAA,MACZ,MAAM,KAAA,CAAM,IAAA;AAAA,MACZ,YAAY,KAAA,CAAM,UAAA;AAAA,MAClB,oBAAoB,KAAA,CAAM,kBAAA;AAAA,MAC1B,SAAA,EAAW,KAAA,CAAM,SAAA,IAAa,KAAA,CAAM,MAAA;AAAA,MACpC,kBAAkB,KAAA,CAAM,gBAAA;AAAA,MACxB,aAAa,KAAA,CAAM,WAAA;AAAA,MACnB,sBAAsB,KAAA,CAAM,oBAAA;AAAA,MAC5B,mBAAmB,KAAA,CAAM,iBAAA;AAAA,MACzB,UAAU,aAAA,CAAc;AAAA,QACtB,GAAG,WAAA,CAAY,KAAA,CAAM,QAAQ,CAAA;AAAA,QAC7B,QAAQ,KAAA,CAAM,MAAA;AAAA,QACd,UAAU,KAAA,CAAM,QAAA;AAAA,QAChB,cAAc,KAAA,CAAM,YAAA;AAAA,QACpB,MAAA;AAAA,QACA,WAAW,KAAA,CAAM,SAAA;AAAA,QACjB,WAAW,KAAA,CAAM;AAAA,OAClB,CAAA;AAAA,MACD,kBAAA,EACE,KAAA,CAAM,kBAAA,IAAsB,KAAA,CAAM,gBAAgB,KAAA,CAAM,QAAA;AAAA,MAC1D,gBAAA,EACE,MAAM,gBAAA,KACL,MAAA,KAAW,SACR,MAAA,GACA,MAAA,GAAS,IACP,aAAA,GACA,UAAA,CAAA;AAAA,MACR,YACE,KAAA,CAAM,UAAA,KACL,MAAA,KAAW,MAAA,GACR,SACA,IAAA,CAAK,GAAA,CAAI,CAAA,EAAG,IAAA,CAAK,IAAI,CAAA,EAAG,IAAA,CAAK,GAAA,CAAI,MAAM,CAAC,CAAC,CAAA,CAAA;AAAA,MAC/C,WAAW,KAAA,CAAM,SAAA;AAAA,MACjB,wBAAA,EAA0B,MAAM,wBAAA,IAA4B;AAAA,KAC7D,CAAA;AAAA,EACH,CAAA;AAAA,EACA,mBAAA,EAAqB,EAAE,MAAA,CAAO;AAAA,IAC5B,SAAA,EAAW,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAChC,OAAA,EAAS,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC9B,IAAA,EAAM,EAAE,MAAA,EAAO;AAAA,IACf,KAAA,EAAO,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC5B,OAAA,EAAS,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC9B,WAAA,EAAa,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAClC,IAAA,EAAM,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC3B,IAAA,EAAM,EAAE,QAAA,CAAS,CAAA,CAAE,MAAM,CAAA,CAAE,MAAA,EAAQ,CAAC,CAAA;AAAA,IACpC,UAAA,EAAY,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACjC,kBAAA,EAAoB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACzC,SAAA,EAAW,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAChC,gBAAA,EAAkB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACvC,WAAA,EAAa,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAClC,oBAAA,EAAsB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,iBAAA,EAAmB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACxC,QAAA,EAAU,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,MAAA,CAAO,CAAA,CAAE,MAAA,EAAO,EAAG,CAAA,CAAE,GAAA,EAAK,CAAC,CAAA;AAAA,IAClD,kBAAA,EAAoB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACzC,kBAAkB,CAAA,CAAE,QAAA;AAAA,MAClB,CAAA,CAAE,KAAA;AAAA,QACA,CAAA,CAAE,QAAQ,UAAU,CAAA;AAAA,QACpB,CAAA,CAAE,QAAQ,aAAa,CAAA;AAAA,QACvB,CAAA,CAAE,QAAQ,SAAS;AAAA;AACrB,KACF;AAAA,IACA,UAAA,EAAY,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACjC,SAAA,EAAW,EAAE,MAAA,EAAO;AAAA,IACpB,wBAAA,EAA0B,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,SAAS;AAAA,GACjD;AACH,CAAC","file":"create-evidence.projection.js","sourcesContent":["import type { z } from \"zod\";\n\nexport interface ProjectionDef<TInput, TConvexArgs> {\n  contractName: string;\n  inputSchema: z.ZodSchema<TInput>;\n  project: (input: TInput) => TConvexArgs;\n  convexArgsValidator: unknown;\n}\n\nexport function defineProjection<I, C>(\n  def: ProjectionDef<I, C>\n): ProjectionDef<I, C> {\n  return def;\n}\n","import { v } from \"convex/values\";\nimport { z } from \"zod\";\nimport { defineProjection } from \"./projection-dsl.js\";\n\nconst jsonRecordSchema = z.record(z.unknown());\n\nconst createEvidenceInputSchemaBase = z\n  .object({\n    projectId: z.string().optional(),\n    topicId: z.string().optional(),\n    text: z.string().optional(),\n    canonicalText: z.string().optional(),\n    title: z.string().optional(),\n    content: z.string().optional(),\n    contentType: z.string().optional(),\n    kind: z.string().optional(),\n    tags: z.array(z.string()).optional(),\n    source: z.string().optional(),\n    sourceUrl: z.string().optional(),\n    sourceType: z.string().optional(),\n    externalSourceType: z.string().optional(),\n    sourceQuestionId: z.string().optional(),\n    methodology: z.string().optional(),\n    informationAsymmetry: z.string().optional(),\n    sourceDescription: z.string().optional(),\n    targetId: z.string().optional(),\n    targetNodeId: z.string().optional(),\n    linkedBeliefNodeId: z.string().optional(),\n    evidenceRelation: z.enum([\"supports\", \"contradicts\", \"neutral\"]).optional(),\n    confidence: z.number().optional(),\n    weight: z.number().optional(),\n    reasoning: z.string().optional(),\n    rationale: z.string(),\n    metadata: jsonRecordSchema.optional(),\n    trustedBypassAccessCheck: z.boolean().optional(),\n  })\n  .passthrough();\n\nexport const createEvidenceInputSchema = createEvidenceInputSchemaBase.refine(\n  (input) => Boolean(input.text ?? input.canonicalText),\n  {\n    message: \"create_evidence requires text\",\n    path: [\"text\"],\n  },\n);\n\nexport type CreateEvidenceProjectionInput = z.infer<\n  typeof createEvidenceInputSchema\n>;\n\nfunction compactRecord(\n  input: Record<string, unknown>,\n): Record<string, unknown> {\n  return Object.fromEntries(\n    Object.entries(input).filter(([, value]) => value !== undefined),\n  );\n}\n\nfunction isRecord(value: unknown): value is Record<string, unknown> {\n  return Boolean(value) && typeof value === \"object\" && !Array.isArray(value);\n}\n\nfunction recordValue(value: unknown): Record<string, unknown> {\n  return isRecord(value) ? value : {};\n}\n\nexport const createEvidenceProjection = defineProjection({\n  contractName: \"create_evidence\",\n  inputSchema: createEvidenceInputSchema,\n  project: (input: CreateEvidenceProjectionInput) => {\n    const text = input.text ?? input.canonicalText;\n    const weight = typeof input.weight === \"number\" ? input.weight : undefined;\n\n    return compactRecord({\n      projectId: input.projectId,\n      topicId: input.topicId,\n      text,\n      title: input.title ?? text,\n      content: input.content ?? text,\n      contentType: input.contentType,\n      kind: input.kind,\n      tags: input.tags,\n      sourceType: input.sourceType,\n      externalSourceType: input.externalSourceType,\n      sourceUrl: input.sourceUrl ?? input.source,\n      sourceQuestionId: input.sourceQuestionId,\n      methodology: input.methodology,\n      informationAsymmetry: input.informationAsymmetry,\n      sourceDescription: input.sourceDescription,\n      metadata: compactRecord({\n        ...recordValue(input.metadata),\n        source: input.source,\n        targetId: input.targetId,\n        targetNodeId: input.targetNodeId,\n        weight,\n        reasoning: input.reasoning,\n        rationale: input.rationale,\n      }),\n      linkedBeliefNodeId:\n        input.linkedBeliefNodeId ?? input.targetNodeId ?? input.targetId,\n      evidenceRelation:\n        input.evidenceRelation ??\n        (weight === undefined\n          ? undefined\n          : weight < 0\n            ? \"contradicts\"\n            : \"supports\"),\n      confidence:\n        input.confidence ??\n        (weight === undefined\n          ? undefined\n          : Math.min(1, Math.max(0, Math.abs(weight)))),\n      rationale: input.rationale,\n      trustedBypassAccessCheck: input.trustedBypassAccessCheck ?? true,\n    });\n  },\n  convexArgsValidator: v.object({\n    projectId: v.optional(v.string()),\n    topicId: v.optional(v.string()),\n    text: v.string(),\n    title: v.optional(v.string()),\n    content: v.optional(v.string()),\n    contentType: v.optional(v.string()),\n    kind: v.optional(v.string()),\n    tags: v.optional(v.array(v.string())),\n    sourceType: v.optional(v.string()),\n    externalSourceType: v.optional(v.string()),\n    sourceUrl: v.optional(v.string()),\n    sourceQuestionId: v.optional(v.string()),\n    methodology: v.optional(v.string()),\n    informationAsymmetry: v.optional(v.string()),\n    sourceDescription: v.optional(v.string()),\n    metadata: v.optional(v.record(v.string(), v.any())),\n    linkedBeliefNodeId: v.optional(v.string()),\n    evidenceRelation: v.optional(\n      v.union(\n        v.literal(\"supports\"),\n        v.literal(\"contradicts\"),\n        v.literal(\"neutral\"),\n      ),\n    ),\n    confidence: v.optional(v.number()),\n    rationale: v.string(),\n    trustedBypassAccessCheck: v.optional(v.boolean()),\n  }),\n});\n"]}

package/dist/projections/index.d.ts

@@ -0,0 +1,102 @@
+import { ProjectionDef } from './projection-dsl.js';
+export { defineProjection } from './projection-dsl.js';
+import * as zod from 'zod';
+export { createEvidenceProjection } from './create-evidence.projection.js';
+export { listBeliefsProjection } from './list-beliefs.projection.js';
+export { listTasksProjection } from './list-tasks.projection.js';
+export { modulateConfidenceProjection } from './modulate-confidence.projection.js';
+
+declare const projections: {
+    readonly create_evidence: ProjectionDef<zod.objectInputType<{
+        projectId: zod.ZodOptional<zod.ZodString>;
+        topicId: zod.ZodOptional<zod.ZodString>;
+        text: zod.ZodOptional<zod.ZodString>;
+        canonicalText: zod.ZodOptional<zod.ZodString>;
+        title: zod.ZodOptional<zod.ZodString>;
+        content: zod.ZodOptional<zod.ZodString>;
+        contentType: zod.ZodOptional<zod.ZodString>;
+        kind: zod.ZodOptional<zod.ZodString>;
+        tags: zod.ZodOptional<zod.ZodArray<zod.ZodString, "many">>;
+        source: zod.ZodOptional<zod.ZodString>;
+        sourceUrl: zod.ZodOptional<zod.ZodString>;
+        sourceType: zod.ZodOptional<zod.ZodString>;
+        externalSourceType: zod.ZodOptional<zod.ZodString>;
+        sourceQuestionId: zod.ZodOptional<zod.ZodString>;
+        methodology: zod.ZodOptional<zod.ZodString>;
+        informationAsymmetry: zod.ZodOptional<zod.ZodString>;
+        sourceDescription: zod.ZodOptional<zod.ZodString>;
+        targetId: zod.ZodOptional<zod.ZodString>;
+        targetNodeId: zod.ZodOptional<zod.ZodString>;
+        linkedBeliefNodeId: zod.ZodOptional<zod.ZodString>;
+        evidenceRelation: zod.ZodOptional<zod.ZodEnum<["supports", "contradicts", "neutral"]>>;
+        confidence: zod.ZodOptional<zod.ZodNumber>;
+        weight: zod.ZodOptional<zod.ZodNumber>;
+        reasoning: zod.ZodOptional<zod.ZodString>;
+        rationale: zod.ZodString;
+        metadata: zod.ZodOptional<zod.ZodRecord<zod.ZodString, zod.ZodUnknown>>;
+        trustedBypassAccessCheck: zod.ZodOptional<zod.ZodBoolean>;
+    }, zod.ZodTypeAny, "passthrough">, Record<string, unknown>>;
+    readonly list_beliefs: ProjectionDef<{
+        topicId: string;
+        status?: "active" | "archived" | "unscored" | "scored" | "superseded" | undefined;
+        worktreeId?: string | undefined;
+        limit?: number | undefined;
+        minConfidence?: number | undefined;
+        includeEdgeAssociated?: boolean | undefined;
+    }, Record<string, unknown>>;
+    readonly list_tasks: ProjectionDef<{
+        topicId: string;
+        status?: "todo" | "in_progress" | "blocked" | "done" | undefined;
+        worktreeId?: string | undefined;
+        limit?: number | undefined;
+        linkedWorktreeId?: string | undefined;
+    }, Record<string, unknown>>;
+    readonly modulate_confidence: ProjectionDef<{
+        rationale: string;
+        trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "answer_recorded" | "backfill_synthetic";
+        belief?: number | undefined;
+        baseRate?: number | undefined;
+        nodeId?: string | undefined;
+        disbelief?: number | undefined;
+        uncertainty?: number | undefined;
+        worktreeId?: string | undefined;
+        triggeringEvidenceId?: string | undefined;
+        triggeringQuestionId?: string | undefined;
+        triggeringAnswerId?: string | undefined;
+        triggeringContradictionId?: string | undefined;
+        triggeringWorktreeId?: string | undefined;
+        beliefNodeId?: string | undefined;
+        trustedBypassAccessCheck?: boolean | undefined;
+        opinion?: {
+            belief: number;
+            baseRate: number;
+            disbelief: number;
+            uncertainty: number;
+        } | undefined;
+        provenance?: {
+            evidence?: string | undefined;
+            question?: string | undefined;
+            contradiction?: string | undefined;
+            worktree?: string | undefined;
+            answer?: string | undefined;
+        } | undefined;
+    }, {
+        nodeId: string;
+        worktreeId: string | undefined;
+        belief: number;
+        disbelief: number;
+        uncertainty: number;
+        baseRate: number;
+        trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "backfill_synthetic";
+        triggeringEvidenceId: string | undefined;
+        triggeringQuestionId: string | undefined;
+        triggeringAnswerId: string | undefined;
+        triggeringContradictionId: string | undefined;
+        triggeringWorktreeId: string | undefined;
+        rationale: string;
+        trustedBypassAccessCheck: boolean;
+    }>;
+};
+type ProjectionRegistry = typeof projections;
+
+export { ProjectionDef, type ProjectionRegistry, projections };