@lucern/contracts 0.1.2-alpha.4 → 0.3.0-alpha.0

package/dist/dsl.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/dsl/defineFunction.ts","../src/dsl/defineTable.ts","../src/dsl/errors.ts","../src/dsl/idOf.ts","../src/dsl/adapters/zod-to-cli.ts","../src/dsl/adapters/zod-to-convex.ts","../src/dsl/adapters/zod-to-jsonschema.ts"],"names":["getObjectShape","ZodFirstPartyTypeKind","unsupported","unwrapOptionalLike","convertLazy","convertSchema"],"mappings":";;;AAgBO,SAAS,eAGd,IAAA,EAAsD;AACtD,EAAA,OAAO,IAAA;AACT;;;ACmBO,SAAS,YACd,IAAA,EACkB;AAClB,EAAA,OAAO,IAAA;AACT;;;ACjCA,SAAS,WAAW,IAAA,EAA0B;AAC5C,EAAA,IAAI,CAAC,IAAA,IAAQ,IAAA,CAAK,MAAA,KAAW,CAAA,EAAG;AAC9B,IAAA,OAAO,EAAA;AAAA,EACT;AAEA,EAAA,OAAO,IAAA,CAAK,KAAK,GAAG,CAAA;AACtB;AAEA,SAAS,eAAe,OAAA,EAAyB;AAC/C,EAAA,MAAM,QAAA,GAAqB,CAAC,OAAA,CAAQ,OAAO,CAAA;AAC3C,EAAA,IAAI,QAAQ,OAAA,EAAS;AACnB,IAAA,QAAA,CAAS,IAAA,CAAK,QAAQ,OAAO,CAAA;AAAA,EAC/B;AACA,EAAA,IAAI,QAAQ,QAAA,EAAU;AACpB,IAAA,QAAA,CAAS,IAAA,CAAK,QAAQ,QAAQ,CAAA;AAAA,EAChC;AACA,EAAA,MAAM,aAAA,GAAgB,UAAA,CAAW,OAAA,CAAQ,IAAI,CAAA;AAC7C,EAAA,IAAI,aAAA,EAAe;AACjB,IAAA,QAAA,CAAS,KAAK,aAAa,CAAA;AAAA,EAC7B;AACA,EAAA,OAAO,QAAA,CAAS,KAAK,MAAM,CAAA;AAC7B;AAEO,IAAM,kBAAA,GAAN,cAAiC,KAAA,CAAM;AAAA,EACnC,OAAA;AAAA,EAET,WAAA,CAAY,SAAiB,OAAA,EAAyB;AACpD,IAAA,KAAA,CAAM,GAAG,OAAO,CAAA,EAAA,EAAK,cAAA,CAAe,OAAO,CAAC,CAAA,CAAA,CAAG,CAAA;AAC/C,IAAA,IAAA,CAAK,IAAA,GAAO,oBAAA;AACZ,IAAA,IAAA,CAAK,OAAA,GAAU,OAAA;AAAA,EACjB;AACF;AAEO,SAAS,kBAAA,CACd,SACA,OAAA,EACoB;AACpB,EAAA,OAAO,IAAI,kBAAA,CAAmB,OAAA,EAAS,OAAO,CAAA;AAChD;AC/CO,IAAM,eAAA,mBAAkB,MAAA,CAAO,GAAA,CAAI,gCAAgC;AASnE,SAAS,KAAuB,KAAA,EAA6B;AAClE,EAAA,MAAM,MAAA,GAAS,CAAA,CAAE,MAAA,EAAO,CAAE,KAAA,EAAkB;AAC5C,EAAA,MAAA,CAAO,cAAA,CAAe,QAAQ,eAAA,EAAiB;AAAA,IAC7C,YAAA,EAAc,KAAA;AAAA,IACd,UAAA,EAAY,KAAA;AAAA,IACZ,KAAA,EAAO,KAAA;AAAA,IACP,QAAA,EAAU;AAAA,GACX,CAAA;AACD,EAAA,OAAO,MAAA;AACT;AAEO,SAAS,iBAAiB,MAAA,EAA0C;AACzE,EAAA,OAAQ,OACN,eACF,CAAA;AACF;ACUA,SAAS,WAAA,CACP,OAAA,EACA,KAAA,EACA,IAAA,EACO;AACP,EAAA,MAAM,mBAAmB,OAAA,EAAS;AAAA,IAChC,OAAA,EAAS,KAAA;AAAA,IACT,UAAU,KAAA,CAAM,QAAA;AAAA,IAChB;AAAA,GACD,CAAA;AACH;AAEA,SAAS,eAAe,MAAA,EAAoC;AAC1D,EAAA,MAAM,KAAA,GACJ,OAAO,MAAA,CAAO,IAAA,CAAK,KAAA,KAAU,UAAA,GAAa,MAAA,CAAO,IAAA,CAAK,KAAA,EAAM,GAAI,MAAA,CAAO,IAAA,CAAK,KAAA;AAC9E,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,WAAA,CACP,QACA,IAAA,EACY;AACZ,EAAA,IAAI,OAAA,GAAU,MAAA;AACd,EAAA,IAAI,QAAA,GAAW,IAAA;AACf,EAAA,IAAI,QAAA,GAAW,KAAA;AACf,EAAA,IAAI,YAAA;AAEJ,EAAA,OAAO,IAAA,EAAM;AACX,IAAA,QAAQ,OAAA,CAAQ,KAAK,QAAA;AAAU,MAC7B,KAAK,qBAAA,CAAsB,WAAA;AACzB,QAAA,QAAA,GAAW,KAAA;AACX,QAAA,OAAA,GAAU,QAAQ,IAAA,CAAK,SAAA;AACvB,QAAA;AAAA,MACF,KAAK,qBAAA,CAAsB,UAAA;AACzB,QAAA,QAAA,GAAW,KAAA;AACX,QAAA,YAAA,GAAe,OAAA,CAAQ,KAAK,YAAA,EAAa;AACzC,QAAA,OAAA,GAAU,QAAQ,IAAA,CAAK,SAAA;AACvB,QAAA;AAAA,MACF,KAAK,qBAAA,CAAsB,WAAA;AACzB,QAAA,QAAA,GAAW,IAAA;AACX,QAAA,OAAA,GAAU,QAAQ,IAAA,CAAK,SAAA;AACvB,QAAA;AAAA,MACF;AACE,QAAA,OAAO;AAAA,UACL,MAAA,EAAQ,OAAA;AAAA,UACR,QAAA;AAAA,UACA,QAAA;AAAA,UACA;AAAA,SACF;AAAA;AACJ,EACF;AACF;AAEA,SAAS,eAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACA,OAAA,EACe;AACf,EAAA,OAAO;AAAA,IACL,IAAA;AAAA,IACA,IAAA;AAAA,IACA,UAAU,KAAA,CAAM,QAAA;AAAA,IAChB,QAAA,EAAU,MAAM,QAAA,IAAY,MAAA;AAAA,IAC5B,cAAc,KAAA,CAAM,YAAA;AAAA,IACpB,OAAA;AAAA,IACA,WAAA,EAAa,MAAM,MAAA,CAAO;AAAA,GAC5B;AACF;AAEA,SAAS,gBAAA,CACP,IAAA,EACA,MAAA,EACA,KAAA,EACA,IAAA,EACe;AACf,EAAA,MAAM,KAAA,GAAQ,WAAA,CAAY,MAAY,CAAA;AAEtC,EAAA,QAAQ,KAAA,CAAM,MAAA,CAAO,IAAA,CAAK,QAAA;AAAU,IAClC,KAAK,qBAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,eAAA,CAAgB,IAAA,EAAM,QAAA,EAAU,KAAK,CAAA;AAAA,IAC9C,KAAK,qBAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,eAAA,CAAgB,IAAA,EAAM,QAAA,EAAU,KAAK,CAAA;AAAA,IAC9C,KAAK,qBAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,eAAA,CAAgB,IAAA,EAAM,QAAA,EAAU,KAAK,CAAA;AAAA,IAC9C,KAAK,qBAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,eAAA,CAAgB,IAAA,EAAM,SAAA,EAAW,KAAK,CAAA;AAAA,IAC/C,KAAK,qBAAA,CAAsB,OAAA;AACzB,MAAA,OAAO,gBAAgB,IAAA,EAAM,QAAA,EAAU,OAAO,KAAA,CAAM,MAAA,CAAO,KAAK,MAAM,CAAA;AAAA,IACxE,KAAK,sBAAsB,aAAA,EAAe;AACxC,MAAA,MAAM,MAAA,GAAS,CAAC,GAAG,IAAI,GAAA,CAAI,MAAA,CAAO,MAAA,CAAO,KAAA,CAAM,MAAA,CAAO,IAAA,CAAK,MAAM,CAAC,CAAC,CAAA,CAAE,MAAA;AAAA,QACnE,CAAC,UACC,OAAO,KAAA,KAAU,YACjB,OAAO,KAAA,KAAU,QAAA,IACjB,OAAO,KAAA,KAAU;AAAA,OACrB;AACA,MAAA,OAAO,eAAA;AAAA,QACL,IAAA;AAAA,QACA,MAAA,CAAO,MAAM,CAAC,KAAA,KAAU,OAAO,KAAA,KAAU,QAAQ,IAAI,QAAA,GAAW,QAAA;AAAA,QAChE,KAAA;AAAA,QACA;AAAA,OACF;AAAA,IACF;AAAA,IACA,KAAK,qBAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,eAAA,CAAgB,MAAM,QAAA,EAAU,KAAA,EAAO,CAAC,KAAA,CAAM,MAAA,CAAO,IAAA,CAAK,KAAK,CAAC,CAAA;AAAA,IACzE,KAAK,sBAAsB,QAAA,EAAU;AACnC,MAAA,MAAM,IAAA,GAAO,WAAA,CAAY,KAAA,CAAM,MAAA,CAAO,IAAA,CAAK,MAAM,CAAC,GAAG,IAAA,EAAM,IAAI,CAAC,CAAA;AAChE,MAAA,QAAQ,IAAA,CAAK,MAAA,CAAO,IAAA,CAAK,QAAA;AAAU,QACjC,KAAK,qBAAA,CAAsB,SAAA;AACzB,UAAA,OAAO,EAAE,GAAG,eAAA,CAAgB,IAAA,EAAM,UAAU,KAAK,CAAA,EAAG,UAAU,IAAA,EAAK;AAAA,QACrE,KAAK,qBAAA,CAAsB,SAAA;AACzB,UAAA,OAAO,EAAE,GAAG,eAAA,CAAgB,IAAA,EAAM,UAAU,KAAK,CAAA,EAAG,UAAU,IAAA,EAAK;AAAA,QACrE,KAAK,qBAAA,CAAsB,SAAA;AACzB,UAAA,OAAO,EAAE,GAAG,eAAA,CAAgB,IAAA,EAAM,UAAU,KAAK,CAAA,EAAG,UAAU,IAAA,EAAK;AAAA,QACrE,KAAK,qBAAA,CAAsB,UAAA;AACzB,UAAA,OAAO,EAAE,GAAG,eAAA,CAAgB,IAAA,EAAM,WAAW,KAAK,CAAA,EAAG,UAAU,IAAA,EAAK;AAAA,QACtE;AACE,UAAA,OAAO;AAAA,YACL,GAAG,eAAA,CAAgB,IAAA,EAAM,MAAA,EAAQ,KAAK,CAAA;AAAA,YACtC,QAAA,EAAU;AAAA,WACZ;AAAA;AACJ,IACF;AAAA,IACA,KAAK,sBAAsB,OAAA,EAAS;AAClC,MAAA,MAAM,aAAa,KAAA,CAAM,MAAA;AACzB,MAAA,IAAI,KAAA,CAAM,eAAA,CAAgB,GAAA,CAAI,UAAU,CAAA,EAAG;AACzC,QAAA,WAAA;AAAA,UACE,+DAAA;AAAA,UACA,KAAA;AAAA,UACA;AAAA,SACF;AAAA,MACF;AACA,MAAA,KAAA,CAAM,eAAA,CAAgB,IAAI,UAAU,CAAA;AACpC,MAAA,IAAI;AACF,QAAA,OAAO,iBAAiB,IAAA,EAAM,UAAA,CAAW,KAAK,MAAA,EAAO,EAAG,OAAO,IAAI,CAAA;AAAA,MACrE,CAAA,SAAE;AACA,QAAA,KAAA,CAAM,eAAA,CAAgB,OAAO,UAAU,CAAA;AAAA,MACzC;AAAA,IACF;AAAA,IACA,KAAK,qBAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,eAAA,CAAgB,IAAA,EAAM,QAAA,EAAU,KAAK,CAAA;AAAA,IAC9C,KAAK,qBAAA,CAAsB,SAAA;AAAA,IAC3B,KAAK,qBAAA,CAAsB,QAAA;AAAA,IAC3B,KAAK,qBAAA,CAAsB,qBAAA;AAAA,IAC3B,KAAK,qBAAA,CAAsB,SAAA;AAAA,IAC3B,KAAK,qBAAA,CAAsB,MAAA;AAAA,IAC3B,KAAK,qBAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,eAAA,CAAgB,IAAA,EAAM,MAAA,EAAQ,KAAK,CAAA;AAAA,IAC5C;AACE,MAAA,WAAA;AAAA,QACE,CAAA,4BAAA,EAA+B,KAAA,CAAM,MAAA,CAAO,IAAA,CAAK,QAAQ,CAAA,CAAA;AAAA,QACzD,KAAA;AAAA,QACA;AAAA,OACF;AAAA;AAEN;AAEO,SAAS,QAAA,CACd,MAAA,EACA,OAAA,GAA2B,EAAC,EACZ;AAChB,EAAA,IAAI,MAAA,CAAO,IAAA,CAAK,QAAA,KAAa,qBAAA,CAAsB,SAAA,EAAW;AAC5D,IAAA,MAAM,mBAAmB,6CAAA,EAA+C;AAAA,MACtE,OAAA,EAAS,KAAA;AAAA,MACT,UAAU,OAAA,CAAQ,QAAA;AAAA,MAClB,MAAM;AAAC,KACR,CAAA;AAAA,EACH;AAEA,EAAA,MAAM,KAAA,GAAyB;AAAA,IAC7B,UAAU,OAAA,CAAQ,QAAA;AAAA,IAClB,eAAA,sBAAqB,OAAA;AAAgB,GACvC;AACA,EAAA,MAAM,WAAA,GAAc,MAAA,CAAO,OAAA,CAAQ,cAAA,CAAe,MAAM,CAAC,CAAA,CACtD,IAAA,CAAK,CAAC,CAAC,IAAI,CAAA,EAAG,CAAC,KAAK,CAAA,KAAM,IAAA,CAAK,aAAA,CAAc,KAAK,CAAC,CAAA,CACnD,GAAA,CAAI,CAAC,CAAC,IAAA,EAAM,KAAK,CAAA,KAAM,gBAAA,CAAiB,MAAM,KAAA,EAAO,KAAA,EAAO,CAAC,IAAI,CAAC,CAAC,CAAA;AAEtE,EAAA,OAAO;AAAA,IACL,OAAA,EAAS;AAAA,GACX;AACF;ACrLA,SAAS,cAAc,KAAA,EAAkD;AACvE,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA,OAAO,GAAG,KAAK,CAAA,CAAA,CAAA;AAAA,EACjB;AACA,EAAA,OAAO,IAAA,CAAK,UAAU,KAAK,CAAA;AAC7B;AAEA,SAAS,SAAS,KAAA,EAAe;AAC/B,EAAA,OAAO,IAAA,CAAK,UAAU,KAAK,CAAA;AAC7B;AAEA,SAAS,YAAe,OAAA,EAAiC;AACvD,EAAA,OAAO,CAAC,GAAG,OAAO,CAAA,CAAE,KAAK,CAAC,CAAC,IAAI,CAAA,EAAG,CAAC,KAAK,CAAA,KAAM,IAAA,CAAK,aAAA,CAAc,KAAK,CAAC,CAAA;AACzE;AAEA,SAASA,gBAAe,MAAA,EAAoC;AAC1D,EAAA,MAAM,KAAA,GACJ,OAAO,MAAA,CAAO,IAAA,CAAK,KAAA,KAAU,UAAA,GAAa,MAAA,CAAO,IAAA,CAAK,KAAA,EAAM,GAAI,MAAA,CAAO,IAAA,CAAK,KAAA;AAC9E,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,kBAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EAKA;AACA,EAAA,MAAM,WAA4B,EAAC;AACnC,EAAA,IAAI,OAAA,GAAU,MAAA;AACd,EAAA,IAAI,UAAA,GAAa,KAAA;AAEjB,EAAA,OAAO,IAAA,EAAM;AACX,IAAA,QAAQ,OAAA,CAAQ,KAAK,QAAA;AAAU,MAC7B,KAAKC,qBAAAA,CAAsB,WAAA;AACzB,QAAA,UAAA,GAAa,IAAA;AACb,QAAA,OAAA,GAAU,QAAQ,IAAA,CAAK,SAAA;AACvB,QAAA;AAAA,MACF,KAAKA,sBAAsB,UAAA,EAAY;AACrC,QAAA,IAAI,KAAA,CAAM,YAAY,OAAA,EAAS;AAC7B,UAAA,MAAM,kBAAA;AAAA,YACJ,iDAAA;AAAA,YACA;AAAA,cACE,OAAA,EAAS,QAAA;AAAA,cACT,SAAS,KAAA,CAAM,OAAA;AAAA,cACf,UAAU,KAAA,CAAM,QAAA;AAAA,cAChB;AAAA;AACF,WACF;AAAA,QACF;AACA,QAAA,UAAA,GAAa,IAAA;AACb,QAAA,QAAA,CAAS,IAAA,CAAK;AAAA,UACZ,IAAA;AAAA,UACA,KAAA,EAAO,OAAA,CAAQ,IAAA,CAAK,YAAA;AAAa,SAClC,CAAA;AACD,QAAA,OAAA,GAAU,QAAQ,IAAA,CAAK,SAAA;AACvB,QAAA;AAAA,MACF;AAAA,MACA;AACE,QAAA,OAAO;AAAA,UACL,MAAA,EAAQ,OAAA;AAAA,UACR,UAAA;AAAA,UACA;AAAA,SACF;AAAA;AACJ,EACF;AACF;AAEA,SAAS,aAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EACiB;AACjB,EAAA,MAAM,EAAE,MAAA,EAAQ,SAAA,EAAW,UAAA,EAAY,UAAS,GAAI,kBAAA;AAAA,IAClD,MAAA;AAAA,IACA,KAAA;AAAA,IACA;AAAA,GACF;AACA,EAAA,MAAM,SAAA,GAAY,kBAAA,CAAmB,SAAA,EAAW,KAAA,EAAO,IAAI,CAAA;AAC3D,EAAA,OAAO;AAAA,IACL,QAAQ,UAAA,GAAa,CAAA,WAAA,EAAc,SAAA,CAAU,MAAM,MAAM,SAAA,CAAU,MAAA;AAAA,IACnE,UAAU,CAAC,GAAG,QAAA,EAAU,GAAG,UAAU,QAAQ;AAAA,GAC/C;AACF;AAEA,SAAS,YAAY,MAAA,EAAsC;AACzD,EAAA,IAAI,MAAA,CAAO,WAAW,CAAA,EAAG;AACvB,IAAA,OAAO,WAAA;AAAA,EACT;AACA,EAAA,IAAI,MAAA,CAAO,WAAW,CAAA,EAAG;AACvB,IAAA,OAAO,CAAA,UAAA,EAAa,aAAA,CAAc,MAAA,CAAO,CAAC,CAAC,CAAC,CAAA,CAAA,CAAA;AAAA,EAC9C;AACA,EAAA,OAAO,CAAA,QAAA,EAAW,MAAA,CACf,GAAA,CAAI,CAAC,KAAA,KAAU,CAAA,UAAA,EAAa,aAAA,CAAc,KAAK,CAAC,CAAA,CAAA,CAAG,CAAA,CACnD,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA;AACf;AAEA,SAASC,YAAAA,CACP,OAAA,EACA,KAAA,EACA,IAAA,EACO;AACP,EAAA,MAAM,mBAAmB,OAAA,EAAS;AAAA,IAChC,OAAA,EAAS,QAAA;AAAA,IACT,SAAS,KAAA,CAAM,OAAA;AAAA,IACf,UAAU,KAAA,CAAM,QAAA;AAAA,IAChB;AAAA,GACD,CAAA;AACH;AAEA,SAAS,WAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EACiB;AACjB,EAAA,MAAM,UAAA,GAAa,MAAA;AACnB,EAAA,IAAI,KAAA,CAAM,eAAA,CAAgB,GAAA,CAAI,UAAU,CAAA,EAAG;AACzC,IAAAA,YAAAA;AAAA,MACE,kEAAA;AAAA,MACA,KAAA;AAAA,MACA;AAAA,KACF;AAAA,EACF;AACA,EAAA,KAAA,CAAM,eAAA,CAAgB,IAAI,UAAU,CAAA;AACpC,EAAA,IAAI;AACF,IAAA,OAAO,cAAc,UAAA,CAAW,IAAA,CAAK,MAAA,EAAO,EAAG,OAAO,IAAI,CAAA;AAAA,EAC5D,CAAA,SAAE;AACA,IAAA,KAAA,CAAM,eAAA,CAAgB,OAAO,UAAU,CAAA;AAAA,EACzC;AACF;AAEA,SAAS,kBAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EACiB;AACjB,EAAA,MAAM,OAAA,GAAU,iBAAiB,MAAM,CAAA;AACvC,EAAA,IAAI,OAAA,EAAS;AACX,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,CAAA,KAAA,EAAQ,IAAA,CAAK,SAAA,CAAU,OAAO,CAAC,CAAA,CAAA,CAAA;AAAA,MACvC,UAAU;AAAC,KACb;AAAA,EACF;AAEA,EAAA,QAAQ,MAAA,CAAO,KAAK,QAAA;AAAU,IAC5B,KAAKD,qBAAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,EAAE,MAAA,EAAQ,YAAA,EAAc,QAAA,EAAU,EAAC,EAAE;AAAA,IAC9C,KAAKA,qBAAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,EAAE,MAAA,EAAQ,YAAA,EAAc,QAAA,EAAU,EAAC,EAAE;AAAA,IAC9C,KAAKA,qBAAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,EAAE,MAAA,EAAQ,WAAA,EAAa,QAAA,EAAU,EAAC,EAAE;AAAA,IAC7C,KAAKA,qBAAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,EAAE,MAAA,EAAQ,aAAA,EAAe,QAAA,EAAU,EAAC,EAAE;AAAA,IAC/C,KAAKA,qBAAAA,CAAsB,OAAA;AACzB,MAAA,OAAO,EAAE,MAAA,EAAQ,UAAA,EAAY,QAAA,EAAU,EAAC,EAAE;AAAA,IAC5C,KAAKA,qBAAAA,CAAsB,MAAA;AAAA,IAC3B,KAAKA,qBAAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,EAAE,MAAA,EAAQ,SAAA,EAAW,QAAA,EAAU,EAAC,EAAE;AAAA,IAC3C,KAAKA,sBAAsB,UAAA,EAAY;AACrC,MAAA,OAAO;AAAA,QACL,QAAQ,CAAA,UAAA,EAAa,aAAA,CAAc,MAAA,CAAO,IAAA,CAAK,KAAK,CAAC,CAAA,CAAA,CAAA;AAAA,QACrD,UAAU;AAAC,OACb;AAAA,IACF;AAAA,IACA,KAAKA,qBAAAA,CAAsB,OAAA;AACzB,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,WAAA,CAAY,MAAA,CAAO,IAAA,CAAK,MAAM,CAAA;AAAA,QACtC,UAAU;AAAC,OACb;AAAA,IACF,KAAKA,sBAAsB,aAAA,EAAe;AACxC,MAAA,MAAM,SAAS,MAAA,CAAO,MAAA,CAAO,MAAA,CAAO,IAAA,CAAK,MAAM,CAAA,CAAE,MAAA;AAAA,QAC/C,CAAC,KAAA,KACC,OAAO,KAAA,KAAU,QAAA,IAAY,OAAO,KAAA,KAAU;AAAA,OAClD;AACA,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,YAAY,CAAC,GAAG,IAAI,GAAA,CAAI,MAAM,CAAC,CAAC,CAAA;AAAA,QACxC,UAAU;AAAC,OACb;AAAA,IACF;AAAA,IACA,KAAKA,sBAAsB,WAAA,EAAa;AACtC,MAAA,MAAM,QAAQ,aAAA,CAAc,MAAA,CAAO,IAAA,CAAK,SAAA,EAAW,OAAO,IAAI,CAAA;AAC9D,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,CAAA,WAAA,EAAc,KAAA,CAAM,MAAM,CAAA,CAAA,CAAA;AAAA,QAClC,UAAU,KAAA,CAAM;AAAA,OAClB;AAAA,IACF;AAAA,IACA,KAAKA,sBAAsB,QAAA,EAAU;AACnC,MAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,MAAA,CAAO,IAAA,CAAK,IAAA,EAAM,OAAO,CAAC,GAAG,IAAA,EAAM,IAAI,CAAC,CAAA;AACpE,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,CAAA,QAAA,EAAW,KAAA,CAAM,MAAM,CAAA,CAAA,CAAA;AAAA,QAC/B,UAAU,KAAA,CAAM;AAAA,OAClB;AAAA,IACF;AAAA,IACA,KAAKA,sBAAsB,SAAA,EAAW;AACpC,MAAA,MAAM,YAAA,GAAe,MAAA;AACrB,MAAA,IACE,YAAA,CAAa,KAAK,QAAA,IAClB,YAAA,CAAa,KAAK,QAAA,CAAS,IAAA,CAAK,QAAA,KAAaA,qBAAAA,CAAsB,QAAA,EACnE;AACA,QAAAC,YAAAA;AAAA,UACE,qFAAA;AAAA,UACA,KAAA;AAAA,UACA;AAAA,SACF;AAAA,MACF;AACA,MAAA,MAAM,SAAS,WAAA,CAAY,MAAA,CAAO,QAAQF,eAAAA,CAAe,YAAY,CAAC,CAAC,CAAA;AACvE,MAAA,MAAM,kBAAkB,MAAA,CAAO,GAAA,CAAI,CAAC,CAAC,GAAA,EAAK,KAAK,CAAA,KAAM;AAAA,QACnD,GAAA;AAAA,QACA,cAAc,KAAA,EAAO,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC;AAAA,OAClC,CAAA;AACV,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,cAAc,eAAA,CACnB,GAAA,CAAI,CAAC,CAAC,GAAA,EAAK,SAAS,CAAA,KAAM,CAAA,EAAG,SAAS,GAAG,CAAC,KAAK,SAAA,CAAU,MAAM,EAAE,CAAA,CACjE,IAAA,CAAK,IAAI,CAAC,CAAA,GAAA,CAAA;AAAA,QACb,QAAA,EAAU,gBAAgB,OAAA,CAAQ,CAAC,GAAG,SAAS,CAAA,KAAM,SAAA,CAAU,QAAQ;AAAA,OACzE;AAAA,IACF;AAAA,IACA,KAAKC,sBAAsB,QAAA,EAAU;AACnC,MAAA,MAAM,OAAA,GAAU,MAAA,CAAO,IAAA,CAAK,OAAA,CAAQ,GAAA;AAAA,QAAI,CAAC,MAAA,EAAoB,KAAA,KAC3D,aAAA,CAAc,MAAA,EAAQ,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,MAAA,CAAO,KAAK,CAAC,CAAC;AAAA,OACvD;AACA,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,CAAA,QAAA,EAAW,OAAA,CAChB,GAAA,CAAI,CAAC,MAAA,KAA4B,MAAA,CAAO,MAAM,CAAA,CAC9C,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA;AAAA,QACb,UAAU,OAAA,CAAQ,OAAA,CAAQ,CAAC,MAAA,KAA4B,OAAO,QAAQ;AAAA,OACxE;AAAA,IACF;AAAA,IACA,KAAKA,sBAAsB,qBAAA,EAAuB;AAChD,MAAA,MAAM,kBAAA,GAAqB,MAAA;AAI3B,MAAA,MAAM,OAAA,GACJ,kBAAA,CAAmB,OAAA,YAAmB,GAAA,GAClC,CAAC,GAAG,kBAAA,CAAmB,OAAA,CAAQ,MAAA,EAAQ,CAAA,GACvC,CAAC,GAAG,mBAAmB,OAAO,CAAA;AACpC,MAAA,MAAM,UAAU,OAAA,CAAQ,GAAA;AAAA,QAAI,CAAC,MAAA,EAAQ,KAAA,KACnC,aAAA,CAAc,MAAA,EAAQ,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,MAAA,CAAO,KAAK,CAAC,CAAC;AAAA,OACvD;AACA,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,CAAA,QAAA,EAAW,OAAA,CAChB,GAAA,CAAI,CAAC,MAAA,KAA4B,MAAA,CAAO,MAAM,CAAA,CAC9C,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA;AAAA,QACb,UAAU,OAAA,CAAQ,OAAA,CAAQ,CAAC,MAAA,KAA4B,OAAO,QAAQ;AAAA,OACxE;AAAA,IACF;AAAA,IACA,KAAKA,sBAAsB,SAAA,EAAW;AACpC,MAAA,MAAM,OAAA,GAAU,OAAO,IAAA,CAAK,OAAA;AAC5B,MAAA,IACE,OAAA,IACA,OAAA,CAAQ,IAAA,CAAK,QAAA,KAAaA,sBAAsB,SAAA,EAChD;AACA,QAAAC,YAAAA;AAAA,UACE,wEAAA;AAAA,UACA,KAAA;AAAA,UACA;AAAA,SACF;AAAA,MACF;AACA,MAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,MAAA,CAAO,IAAA,CAAK,SAAA,EAAW,OAAO,CAAC,GAAG,IAAA,EAAM,IAAI,CAAC,CAAA;AACzE,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,CAAA,qBAAA,EAAwB,KAAA,CAAM,MAAM,CAAA,CAAA,CAAA;AAAA,QAC5C,UAAU,KAAA,CAAM;AAAA,OAClB;AAAA,IACF;AAAA,IACA,KAAKD,qBAAAA,CAAsB,OAAA;AACzB,MAAA,OAAO,WAAA,CAAY,MAAA,EAAQ,KAAA,EAAO,IAAI,CAAA;AAAA,IACxC,KAAKA,sBAAsB,UAAA,EAAY;AACrC,MAAA,OAAO,aAAA,CAAc,MAAA,CAAO,IAAA,CAAK,IAAA,EAAM,OAAO,IAAI,CAAA;AAAA,IACpD;AAAA,IACA;AACE,MAAAC,aAAY,CAAA,4BAAA,EAA+B,MAAA,CAAO,KAAK,QAAQ,CAAA,CAAA,EAAI,OAAO,IAAI,CAAA;AAAA;AAEpF;AAEO,SAAS,WAAA,CACd,MAAA,EACA,OAAA,GAA8B,EAAC,EACZ;AACnB,EAAA,MAAM,KAAA,GAAyB;AAAA,IAC7B,UAAU,OAAA,CAAQ,QAAA;AAAA,IAClB,OAAA,EAAS,QAAQ,OAAA,IAAW,kBAAA;AAAA,IAC5B,eAAA,sBAAqB,OAAA;AAAgB,GACvC;AACA,EAAA,MAAM,SAAA,GAAY,aAAA,CAAc,MAAA,EAAQ,KAAA,EAAO,EAAE,CAAA;AACjD,EAAA,OAAO;AAAA,IACL,QAAQ,SAAA,CAAU,MAAA;AAAA,IAClB,UAAU,SAAA,CAAU;AAAA,GACtB;AACF;AAEO,SAAS,yBAAyB,KAAA,EAA2B;AAClE,EAAA,QAAQ,MAAM,IAAA;AAAM,IAClB,KAAK,OAAA;AACH,MAAA,OAAO,UAAU,IAAA,CAAK,SAAA,CAAU,MAAM,IAAI,CAAC,MAAM,KAAA,CAAM,OAAA,CACpD,IAAI,CAAC,MAAA,KAAW,KAAK,SAAA,CAAU,MAAM,CAAC,CAAA,CACtC,IAAA,CAAK,IAAI,CAAC,CAAA,EAAA,CAAA;AAAA,IACf,KAAK,QAAA;AACH,MAAA,OAAO,gBAAgB,IAAA,CAAK,SAAA,CAAU,MAAM,IAAI,CAAC,oBAAoB,IAAA,CAAK,SAAA;AAAA,QACxE,KAAA,CAAM;AAAA,OACP,GAAG,KAAA,CAAM,YAAA,EAAc,SAAS,CAAA,iBAAA,EAAoB,KAAA,CAAM,aACxD,GAAA,CAAI,CAAC,UAAU,IAAA,CAAK,SAAA,CAAU,KAAK,CAAC,CAAA,CACpC,KAAK,IAAI,CAAC,MAAM,EAAE,CAAA,GAAA,CAAA;AAAA,IACvB,KAAK,QAAA;AACH,MAAA,OAAO,gBAAgB,IAAA,CAAK,SAAA,CAAU,MAAM,IAAI,CAAC,oBAAoB,IAAA,CAAK,SAAA;AAAA,QACxE,KAAA,CAAM;AAAA,OACP,iBAAiB,KAAA,CAAM,UAAU,GAChC,KAAA,CAAM,YAAA,EAAc,MAAA,GAChB,CAAA,iBAAA,EAAoB,KAAA,CAAM,YAAA,CACvB,IAAI,CAAC,KAAA,KAAU,IAAA,CAAK,SAAA,CAAU,KAAK,CAAC,EACpC,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA,GACb,EACN,CAAA,GAAA,CAAA;AAAA,IACF,SAAS;AACP,MAAA,MAAM,UAAA,GAAoB,KAAA;AAC1B,MAAA,MAAM,IAAI,kBAAA;AAAA,QACR,CAAA,6BAAA,EAAiC,UAAA,CAAiC,IAAA,IAAQ,SAAS,CAAA,CAAA;AAAA,QACnF,EAAE,SAAS,QAAA;AAAS,OACtB;AAAA,IACF;AAAA;AAEJ;ACjUA,SAASA,YAAAA,CACP,OAAA,EACA,KAAA,EACA,IAAA,EACO;AACP,EAAA,MAAM,mBAAmB,OAAA,EAAS;AAAA,IAChC,OAAA,EAAS,YAAA;AAAA,IACT,UAAU,KAAA,CAAM,QAAA;AAAA,IAChB;AAAA,GACD,CAAA;AACH;AAEA,SAASF,gBAAe,MAAA,EAAoC;AAC1D,EAAA,MAAM,KAAA,GACJ,OAAO,MAAA,CAAO,IAAA,CAAK,KAAA,KAAU,UAAA,GAAa,MAAA,CAAO,IAAA,CAAK,KAAA,EAAM,GAAI,MAAA,CAAO,IAAA,CAAK,KAAA;AAC9E,EAAA,OAAO,KAAA;AACT;AAEA,SAASG,mBAAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EAKA;AACA,EAAA,IAAI,OAAA,GAAU,MAAA;AACd,EAAA,IAAI,QAAA,GAAW,IAAA;AACf,EAAA,IAAI,YAAA;AAEJ,EAAA,OAAO,IAAA,EAAM;AACX,IAAA,QAAQ,OAAA,CAAQ,KAAK,QAAA;AAAU,MAC7B,KAAKF,qBAAAA,CAAsB,WAAA;AACzB,QAAA,QAAA,GAAW,KAAA;AACX,QAAA,OAAA,GAAU,QAAQ,IAAA,CAAK,SAAA;AACvB,QAAA;AAAA,MACF,KAAKA,qBAAAA,CAAsB,UAAA;AACzB,QAAA,QAAA,GAAW,KAAA;AACX,QAAA,YAAA,GAAe,OAAA,CAAQ,KAAK,YAAA,EAAa;AACzC,QAAA,OAAA,GAAU,QAAQ,IAAA,CAAK,SAAA;AACvB,QAAA;AAAA,MACF;AACE,QAAA,OAAO;AAAA,UACL,MAAA,EAAQ,OAAA;AAAA,UACR,QAAA;AAAA,UACA;AAAA,SACF;AAAA;AACJ,EACF;AACF;AAEA,SAASG,YAAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EACY;AACZ,EAAA,IAAI,KAAA,CAAM,eAAA,CAAgB,GAAA,CAAI,MAAM,CAAA,EAAG;AACrC,IAAAF,YAAAA;AAAA,MACE,uEAAA;AAAA,MACA,KAAA;AAAA,MACA;AAAA,KACF;AAAA,EACF;AACA,EAAA,KAAA,CAAM,eAAA,CAAgB,IAAI,MAAM,CAAA;AAChC,EAAA,IAAI;AACF,IAAA,OAAOG,eAAc,MAAA,CAAO,IAAA,CAAK,MAAA,EAAO,EAAG,OAAO,IAAI,CAAA;AAAA,EACxD,CAAA,SAAE;AACA,IAAA,KAAA,CAAM,eAAA,CAAgB,OAAO,MAAM,CAAA;AAAA,EACrC;AACF;AAEA,SAAS,YAAY,KAAA,EAAgB;AACnC,EAAA,QAAQ,OAAO,KAAA;AAAO,IACpB,KAAK,QAAA;AACH,MAAA,OAAO,QAAA;AAAA,IACT,KAAK,QAAA;AACH,MAAA,OAAO,MAAA,CAAO,SAAA,CAAU,KAAK,CAAA,GAAI,SAAA,GAAY,QAAA;AAAA,IAC/C,KAAK,SAAA;AACH,MAAA,OAAO,SAAA;AAAA,IACT,KAAK,QAAA;AACH,MAAA,OAAO,SAAA;AAAA,IACT;AACE,MAAA,OAAO,KAAA,KAAU,OAAO,MAAA,GAAS,MAAA;AAAA;AAEvC;AAEA,SAAS,YAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EACW;AACX,EAAA,MAAM,EAAE,MAAA,EAAQ,SAAA,EAAW,QAAA,EAAU,cAAa,GAAIF,mBAAAA;AAAA,IACpD,MAGF,CAAA;AACA,EAAA,MAAM,KAAA,GAAQE,cAAAA,CAAc,SAAA,EAAW,KAAA,EAAO,IAAI,CAAA;AAClD,EAAA,IAAI,OAAO,UAAU,SAAA,EAAW;AAC9B,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AACA,EAAA,OAAO;AAAA,IACL,MAAA,EACE,iBAAiB,MAAA,GAAY,KAAA,GAAQ,EAAE,GAAG,KAAA,EAAO,SAAS,YAAA,EAAa;AAAA,IACzE;AAAA,GACF;AACF;AAEA,SAASA,cAAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EACY;AACZ,EAAA,MAAM,OAAA,GAAU,iBAAiB,MAAM,CAAA;AACvC,EAAA,IAAI,OAAA,EAAS;AACX,IAAA,OAAO;AAAA,MACL,IAAA,EAAM,QAAA;AAAA,MACN,mBAAA,EAAqB;AAAA,KACvB;AAAA,EACF;AAEA,EAAA,QAAQ,MAAA,CAAO,KAAK,QAAA;AAAU,IAC5B,KAAKJ,qBAAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,EAAE,MAAM,QAAA,EAAS;AAAA,IAC1B,KAAKA,qBAAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,EAAE,MAAM,QAAA,EAAS;AAAA,IAC1B,KAAKA,qBAAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,EAAE,IAAA,EAAM,SAAA,EAAW,MAAA,EAAQ,OAAA,EAAQ;AAAA,IAC5C,KAAKA,qBAAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,EAAE,MAAM,SAAA,EAAU;AAAA,IAC3B,KAAKA,qBAAAA,CAAsB,OAAA;AACzB,MAAA,OAAO,EAAE,MAAM,MAAA,EAAO;AAAA,IACxB,KAAKA,qBAAAA,CAAsB,MAAA;AAAA,IAC3B,KAAKA,qBAAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,EAAC;AAAA,IACV,KAAKA,qBAAAA,CAAsB,UAAA;AACzB,MAAA,OAAO;AAAA,QACL,KAAA,EAAO,OAAO,IAAA,CAAK,KAAA;AAAA,QACnB,IAAA,EAAM,WAAA,CAAY,MAAA,CAAO,IAAA,CAAK,KAAK;AAAA,OACrC;AAAA,IACF,KAAKA,qBAAAA,CAAsB,OAAA;AACzB,MAAA,OAAO;AAAA,QACL,IAAA,EAAM,QAAA;AAAA,QACN,IAAA,EAAM,OAAO,IAAA,CAAK;AAAA,OACpB;AAAA,IACF,KAAKA,sBAAsB,aAAA,EAAe;AACxC,MAAA,MAAM,MAAA,GAAS,CAAC,GAAG,IAAI,GAAA,CAAI,MAAA,CAAO,MAAA,CAAO,MAAA,CAAO,IAAA,CAAK,MAAM,CAAC,CAAC,CAAA,CAAE,MAAA;AAAA,QAC7D,CAAC,UACC,OAAO,KAAA,KAAU,YACjB,OAAO,KAAA,KAAU,QAAA,IACjB,OAAO,KAAA,KAAU;AAAA,OACrB;AACA,MAAA,OAAO;AAAA,QACL,IAAA,EAAM,OAAO,KAAA,CAAM,CAAC,UAAU,OAAO,KAAA,KAAU,QAAQ,CAAA,GACnD,QAAA,GACA,QAAA;AAAA,QACJ,IAAA,EAAM;AAAA,OACR;AAAA,IACF;AAAA,IACA,KAAKA,sBAAsB,WAAA,EAAa;AACtC,MAAA,MAAM,QAAQI,cAAAA,CAAc,MAAA,CAAO,IAAA,CAAK,SAAA,EAAW,OAAO,IAAI,CAAA;AAC9D,MAAA,OAAO;AAAA,QACL,OAAO,CAAC,KAAA,EAAO,EAAE,IAAA,EAAM,QAAQ;AAAA,OACjC;AAAA,IACF;AAAA,IACA,KAAKJ,qBAAAA,CAAsB,QAAA;AACzB,MAAA,OAAO;AAAA,QACL,IAAA,EAAM,OAAA;AAAA,QACN,KAAA,EAAOI,cAAAA,CAAc,MAAA,CAAO,IAAA,CAAK,IAAA,EAAM,OAAO,CAAC,GAAG,IAAA,EAAM,IAAI,CAAC;AAAA,OAC/D;AAAA,IACF,KAAKJ,sBAAsB,SAAA,EAAW;AACpC,MAAA,MAAM,YAAA,GAAe,MAAA;AACrB,MAAA,IACE,YAAA,CAAa,KAAK,QAAA,IAClB,YAAA,CAAa,KAAK,QAAA,CAAS,IAAA,CAAK,QAAA,KAAaA,qBAAAA,CAAsB,QAAA,EACnE;AACA,QAAAC,YAAAA;AAAA,UACE,+EAAA;AAAA,UACA,KAAA;AAAA,UACA;AAAA,SACF;AAAA,MACF;AACA,MAAA,MAAM,UAAU,MAAA,CAAO,OAAA,CAAQF,eAAAA,CAAe,YAAY,CAAC,CAAA,CAAE,IAAA;AAAA,QAAK,CAAC,CAAC,CAAC,CAAA,EAAG,CAAC,CAAC,CAAA,KACxE,CAAA,CAAE,aAAA,CAAc,CAAC;AAAA,OACnB;AACA,MAAA,MAAM,YAAY,OAAA,CAAQ,GAAA,CAAI,CAAC,CAAC,GAAA,EAAK,KAAK,CAAA,KAAM;AAAA,QAC9C,GAAA;AAAA,QACA,aAAa,KAAA,EAAO,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC;AAAA,OACjC,CAAA;AACV,MAAA,MAAM,WAAW,SAAA,CACd,MAAA,CAAO,CAAC,GAAG,KAAK,CAAA,KAAM,KAAA,CAAM,QAAQ,EACpC,GAAA,CAAI,CAAC,CAAC,GAAG,MAAM,GAAG,CAAA;AACrB,MAAA,OAAO;AAAA,QACL,IAAA,EAAM,QAAA;AAAA,QACN,YAAY,MAAA,CAAO,WAAA;AAAA,UACjB,SAAA,CAAU,GAAA,CAAI,CAAC,CAAC,GAAA,EAAK,KAAK,CAAA,KAAM,CAAC,GAAA,EAAK,KAAA,CAAM,MAAM,CAAC;AAAA,SACrD;AAAA,QACA,oBAAA,EAAsB,KAAA;AAAA,QACtB,GAAI,QAAA,CAAS,MAAA,GAAS,IAAI,EAAE,QAAA,KAAa;AAAC,OAC5C;AAAA,IACF;AAAA,IACA,KAAKC,qBAAAA,CAAsB,QAAA;AACzB,MAAA,OAAO;AAAA,QACL,KAAA,EAAO,MAAA,CAAO,IAAA,CAAK,OAAA,CAAQ,GAAA;AAAA,UAAI,CAAC,MAAA,EAAoB,KAAA,KAClDI,cAAAA,CAAc,MAAA,EAAQ,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,MAAA,CAAO,KAAK,CAAC,CAAC;AAAA;AACvD,OACF;AAAA,IACF,KAAKJ,sBAAsB,qBAAA,EAAuB;AAChD,MAAA,MAAM,kBAAA,GAAqB,MAAA;AAI3B,MAAA,MAAM,OAAA,GACJ,kBAAA,CAAmB,OAAA,YAAmB,GAAA,GAClC,CAAC,GAAG,kBAAA,CAAmB,OAAA,CAAQ,MAAA,EAAQ,CAAA,GACvC,CAAC,GAAG,mBAAmB,OAAO,CAAA;AACpC,MAAA,OAAO;AAAA,QACL,OAAO,OAAA,CAAQ,GAAA;AAAA,UAAI,CAAC,MAAA,EAAQ,KAAA,KAC1BI,cAAAA,CAAc,MAAA,EAAQ,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,MAAA,CAAO,KAAK,CAAC,CAAC;AAAA;AACvD,OACF;AAAA,IACF;AAAA,IACA,KAAKJ,sBAAsB,SAAA,EAAW;AACpC,MAAA,MAAM,OAAA,GAAU,OAAO,IAAA,CAAK,OAAA;AAC5B,MAAA,IACE,OAAA,IACA,OAAA,CAAQ,IAAA,CAAK,QAAA,KAAaA,sBAAsB,SAAA,EAChD;AACA,QAAAC,YAAAA;AAAA,UACE,kEAAA;AAAA,UACA,KAAA;AAAA,UACA;AAAA,SACF;AAAA,MACF;AACA,MAAA,OAAO;AAAA,QACL,IAAA,EAAM,QAAA;AAAA,QACN,oBAAA,EAAsBG,cAAAA;AAAA,UACpB,OAAO,IAAA,CAAK,SAAA;AAAA,UACZ,KAAA;AAAA,UACA,CAAC,GAAG,IAAA,EAAM,IAAI;AAAA;AAChB,OACF;AAAA,IACF;AAAA,IACA,KAAKJ,qBAAAA,CAAsB,OAAA;AACzB,MAAA,OAAOG,YAAAA,CAAY,MAAA,EAAiC,KAAA,EAAO,IAAI,CAAA;AAAA,IACjE,KAAKH,qBAAAA,CAAsB,UAAA;AACzB,MAAA,OAAOI,cAAAA,CAAc,MAAA,CAAO,IAAA,CAAK,IAAA,EAAM,OAAO,IAAI,CAAA;AAAA,IACpD;AACE,MAAAH,YAAAA;AAAA,QACE,CAAA,4BAAA,EAA+B,MAAA,CAAO,IAAA,CAAK,QAAQ,CAAA,CAAA;AAAA,QACnD,KAAA;AAAA,QACA;AAAA,OACF;AAAA;AAEN;AAEO,SAAS,eAAA,CACd,MAAA,EACA,OAAA,GAAkC,EAAC,EACvB;AACZ,EAAA,MAAM,SAAA,GAAYG,eAAc,MAAA,EAAQ;AAAA,IACtC,UAAU,OAAA,CAAQ,QAAA;AAAA,IAClB,eAAA,sBAAqB,OAAA;AAAgB,GACvC,EAAG,EAAE,CAAA;AACL,EAAA,IAAI,OAAO,cAAc,SAAA,EAAW;AAClC,IAAA,OAAO,SAAA;AAAA,EACT;AACA,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,yCAAA;AAAA,IACT,GAAG;AAAA,GACL;AACF","file":"dsl.js","sourcesContent":["import { z, type ZodObject, type ZodRawShape } from \"zod\";\n\nexport type FunctionEffect = \"read\" | \"write\" | \"admin\";\n\nexport type FunctionContract<\n  A extends ZodRawShape = ZodRawShape,\n  R extends z.ZodTypeAny = z.ZodTypeAny,\n> = {\n  name: string;\n  args: ZodObject<A>;\n  returns: R;\n  effects: readonly FunctionEffect[];\n  idempotent?: boolean;\n  invariants?: readonly string[];\n};\n\nexport function defineFunction<\n  A extends ZodRawShape,\n  R extends z.ZodTypeAny,\n>(spec: FunctionContract<A, R>): FunctionContract<A, R> {\n  return spec;\n}\n","import type { ZodObject, ZodRawShape } from \"zod\";\n\nexport type TableComponent = \"mc\" | \"kernel\" | \"identity\" | \"developer-pack\";\n\nexport type TableIndex =\n  | {\n      kind: \"index\";\n      name: string;\n      columns: readonly string[];\n    }\n  | {\n      kind: \"search\";\n      name: string;\n      searchField: string;\n      filterFields?: readonly string[];\n    }\n  | {\n      kind: \"vector\";\n      name: string;\n      vectorField: string;\n      dimensions: number;\n      filterFields?: readonly string[];\n    };\n\nexport type TableDeprecation = {\n  since: string;\n  reason: string;\n  replacement?: string;\n};\n\nexport type TableContract<S extends ZodRawShape = ZodRawShape> = {\n  name: string;\n  component: TableComponent;\n  category: string;\n  shape: ZodObject<S>;\n  indices: readonly TableIndex[];\n  deprecated?: TableDeprecation;\n  invariants?: readonly string[];\n};\n\nexport function defineTable<S extends ZodRawShape>(\n  spec: TableContract<S>\n): TableContract<S> {\n  return spec;\n}\n","export type AdapterKind = \"convex\" | \"jsonschema\" | \"cli\";\n\nexport type AdapterPurpose = \"table\" | \"function_args\" | \"function_returns\";\n\nexport type AdapterContext = {\n  adapter: AdapterKind;\n  purpose?: AdapterPurpose;\n  location?: string;\n  path?: readonly string[];\n};\n\nfunction formatPath(path?: readonly string[]) {\n  if (!path || path.length === 0) {\n    return \"\";\n  }\n\n  return path.join(\".\");\n}\n\nfunction formatLocation(context: AdapterContext) {\n  const segments: string[] = [context.adapter];\n  if (context.purpose) {\n    segments.push(context.purpose);\n  }\n  if (context.location) {\n    segments.push(context.location);\n  }\n  const formattedPath = formatPath(context.path);\n  if (formattedPath) {\n    segments.push(formattedPath);\n  }\n  return segments.join(\" :: \");\n}\n\nexport class SchemaAdapterError extends Error {\n  readonly context: AdapterContext;\n\n  constructor(message: string, context: AdapterContext) {\n    super(`${message} [${formatLocation(context)}]`);\n    this.name = \"SchemaAdapterError\";\n    this.context = context;\n  }\n}\n\nexport function schemaAdapterError(\n  message: string,\n  context: AdapterContext\n): SchemaAdapterError {\n  return new SchemaAdapterError(message, context);\n}\n","import { z } from \"zod\";\n\nexport const CONVEX_ID_TABLE = Symbol.for(\"lucern.contracts.convexIdTable\");\n\nexport type ConvexIdSchema<T extends string> = z.ZodBranded<\n  z.ZodString,\n  `Id<${T}>`\n> & {\n  readonly [CONVEX_ID_TABLE]: T;\n};\n\nexport function idOf<T extends string>(table: T): ConvexIdSchema<T> {\n  const schema = z.string().brand<`Id<${T}>`>();\n  Object.defineProperty(schema, CONVEX_ID_TABLE, {\n    configurable: false,\n    enumerable: false,\n    value: table,\n    writable: false,\n  });\n  return schema as ConvexIdSchema<T>;\n}\n\nexport function getConvexIdTable(schema: z.ZodTypeAny): string | undefined {\n  return (schema as Partial<Record<typeof CONVEX_ID_TABLE, string>>)[\n    CONVEX_ID_TABLE\n  ];\n}\n","import { z, ZodFirstPartyTypeKind, type ZodTypeAny } from \"zod\";\nimport { schemaAdapterError } from \"../errors.js\";\n\nexport type CliOptionKind = \"string\" | \"number\" | \"bigint\" | \"boolean\" | \"json\";\n\nexport type CliOptionSpec = {\n  name: string;\n  kind: CliOptionKind;\n  required: boolean;\n  variadic?: boolean;\n  nullable?: boolean;\n  choices?: readonly (string | number | boolean)[];\n  defaultValue?: unknown;\n  description?: string;\n};\n\nexport type CliCommandSpec = {\n  options: readonly CliOptionSpec[];\n};\n\nexport type ZodToCliOptions = {\n  location?: string;\n};\n\ntype FieldState = {\n  schema: ZodTypeAny;\n  required: boolean;\n  nullable: boolean;\n  defaultValue?: unknown;\n};\n\ntype ConversionState = {\n  location?: string;\n  seenLazySchemas: WeakSet<object>;\n};\n\nfunction unsupported(\n  message: string,\n  state: ConversionState,\n  path: readonly string[]\n): never {\n  throw schemaAdapterError(message, {\n    adapter: \"cli\",\n    location: state.location,\n    path,\n  });\n}\n\nfunction getObjectShape(schema: z.ZodObject<z.ZodRawShape>) {\n  const shape =\n    typeof schema._def.shape === \"function\" ? schema._def.shape() : schema._def.shape;\n  return shape as z.ZodRawShape;\n}\n\nfunction unwrapField(\n  schema: ZodTypeAny,\n  path: readonly string[]\n): FieldState {\n  let current = schema;\n  let required = true;\n  let nullable = false;\n  let defaultValue: unknown;\n\n  while (true) {\n    switch (current._def.typeName) {\n      case ZodFirstPartyTypeKind.ZodOptional:\n        required = false;\n        current = current._def.innerType;\n        continue;\n      case ZodFirstPartyTypeKind.ZodDefault:\n        required = false;\n        defaultValue = current._def.defaultValue();\n        current = current._def.innerType;\n        continue;\n      case ZodFirstPartyTypeKind.ZodNullable:\n        nullable = true;\n        current = current._def.innerType;\n        continue;\n      default:\n        return {\n          schema: current,\n          required,\n          nullable,\n          defaultValue,\n        };\n    }\n  }\n}\n\nfunction primitiveOption(\n  name: string,\n  kind: CliOptionKind,\n  field: FieldState,\n  choices?: readonly (string | number | boolean)[]\n): CliOptionSpec {\n  return {\n    name,\n    kind,\n    required: field.required,\n    nullable: field.nullable || undefined,\n    defaultValue: field.defaultValue,\n    choices,\n    description: field.schema.description,\n  };\n}\n\nfunction optionFromSchema(\n  name: string,\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): CliOptionSpec {\n  const field = unwrapField(schema, path);\n\n  switch (field.schema._def.typeName) {\n    case ZodFirstPartyTypeKind.ZodString:\n      return primitiveOption(name, \"string\", field);\n    case ZodFirstPartyTypeKind.ZodNumber:\n      return primitiveOption(name, \"number\", field);\n    case ZodFirstPartyTypeKind.ZodBigInt:\n      return primitiveOption(name, \"bigint\", field);\n    case ZodFirstPartyTypeKind.ZodBoolean:\n      return primitiveOption(name, \"boolean\", field);\n    case ZodFirstPartyTypeKind.ZodEnum:\n      return primitiveOption(name, \"string\", field, field.schema._def.values);\n    case ZodFirstPartyTypeKind.ZodNativeEnum: {\n      const values = [...new Set(Object.values(field.schema._def.values))].filter(\n        (value): value is string | number | boolean =>\n          typeof value === \"string\" ||\n          typeof value === \"number\" ||\n          typeof value === \"boolean\"\n      );\n      return primitiveOption(\n        name,\n        values.every((value) => typeof value === \"number\") ? \"number\" : \"string\",\n        field,\n        values\n      );\n    }\n    case ZodFirstPartyTypeKind.ZodLiteral:\n      return primitiveOption(name, \"string\", field, [field.schema._def.value]);\n    case ZodFirstPartyTypeKind.ZodArray: {\n      const item = unwrapField(field.schema._def.type, [...path, \"[]\"]);\n      switch (item.schema._def.typeName) {\n        case ZodFirstPartyTypeKind.ZodString:\n          return { ...primitiveOption(name, \"string\", field), variadic: true };\n        case ZodFirstPartyTypeKind.ZodNumber:\n          return { ...primitiveOption(name, \"number\", field), variadic: true };\n        case ZodFirstPartyTypeKind.ZodBigInt:\n          return { ...primitiveOption(name, \"bigint\", field), variadic: true };\n        case ZodFirstPartyTypeKind.ZodBoolean:\n          return { ...primitiveOption(name, \"boolean\", field), variadic: true };\n        default:\n          return {\n            ...primitiveOption(name, \"json\", field),\n            variadic: false,\n          };\n      }\n    }\n    case ZodFirstPartyTypeKind.ZodLazy: {\n      const lazySchema = field.schema as z.ZodLazy<ZodTypeAny>;\n      if (state.seenLazySchemas.has(lazySchema)) {\n        unsupported(\n          \"Recursive z.lazy schemas are not supported by the CLI adapter\",\n          state,\n          path\n        );\n      }\n      state.seenLazySchemas.add(lazySchema);\n      try {\n        return optionFromSchema(name, lazySchema._def.getter(), state, path);\n      } finally {\n        state.seenLazySchemas.delete(lazySchema);\n      }\n    }\n    case ZodFirstPartyTypeKind.ZodBranded:\n      return primitiveOption(name, \"string\", field);\n    case ZodFirstPartyTypeKind.ZodObject:\n    case ZodFirstPartyTypeKind.ZodUnion:\n    case ZodFirstPartyTypeKind.ZodDiscriminatedUnion:\n    case ZodFirstPartyTypeKind.ZodRecord:\n    case ZodFirstPartyTypeKind.ZodAny:\n    case ZodFirstPartyTypeKind.ZodUnknown:\n      return primitiveOption(name, \"json\", field);\n    default:\n      unsupported(\n        `Unsupported Zod schema kind ${field.schema._def.typeName}`,\n        state,\n        path\n      );\n  }\n}\n\nexport function zodToCli(\n  schema: z.ZodObject<z.ZodRawShape>,\n  options: ZodToCliOptions = {}\n): CliCommandSpec {\n  if (schema._def.typeName !== ZodFirstPartyTypeKind.ZodObject) {\n    throw schemaAdapterError(\"CLI generation requires a Zod object schema\", {\n      adapter: \"cli\",\n      location: options.location,\n      path: [],\n    });\n  }\n\n  const state: ConversionState = {\n    location: options.location,\n    seenLazySchemas: new WeakSet<object>(),\n  };\n  const optionsList = Object.entries(getObjectShape(schema))\n    .sort(([left], [right]) => left.localeCompare(right))\n    .map(([name, value]) => optionFromSchema(name, value, state, [name]));\n\n  return {\n    options: optionsList,\n  };\n}\n","import { z, ZodFirstPartyTypeKind, type ZodTypeAny } from \"zod\";\nimport type { TableIndex } from \"../defineTable.js\";\nimport {\n  SchemaAdapterError,\n  schemaAdapterError,\n  type AdapterPurpose,\n} from \"../errors.js\";\nimport { getConvexIdTable } from \"../idOf.js\";\n\nexport type ConvexDefault = {\n  path: readonly string[];\n  value: unknown;\n};\n\nexport type ZodToConvexOptions = {\n  purpose?: AdapterPurpose;\n  location?: string;\n};\n\nexport type ZodToConvexResult = {\n  source: string;\n  defaults: readonly ConvexDefault[];\n};\n\ntype ConversionState = {\n  location?: string;\n  purpose: AdapterPurpose;\n  seenLazySchemas: WeakSet<object>;\n};\n\ntype ConvertedSchema = {\n  source: string;\n  defaults: ConvexDefault[];\n};\n\nfunction encodeLiteral(value: string | number | bigint | boolean | null) {\n  if (typeof value === \"bigint\") {\n    return `${value}n`;\n  }\n  return JSON.stringify(value);\n}\n\nfunction quoteKey(value: string) {\n  return JSON.stringify(value);\n}\n\nfunction sortEntries<T>(entries: readonly [string, T][]) {\n  return [...entries].sort(([left], [right]) => left.localeCompare(right));\n}\n\nfunction getObjectShape(schema: z.ZodObject<z.ZodRawShape>) {\n  const shape =\n    typeof schema._def.shape === \"function\" ? schema._def.shape() : schema._def.shape;\n  return shape as z.ZodRawShape;\n}\n\nfunction unwrapOptionalLike(\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): {\n  schema: ZodTypeAny;\n  isOptional: boolean;\n  defaults: ConvexDefault[];\n} {\n  const defaults: ConvexDefault[] = [];\n  let current = schema;\n  let isOptional = false;\n\n  while (true) {\n    switch (current._def.typeName) {\n      case ZodFirstPartyTypeKind.ZodOptional:\n        isOptional = true;\n        current = current._def.innerType;\n        continue;\n      case ZodFirstPartyTypeKind.ZodDefault: {\n        if (state.purpose === \"table\") {\n          throw schemaAdapterError(\n            \"Zod defaults are not allowed in table contracts\",\n            {\n              adapter: \"convex\",\n              purpose: state.purpose,\n              location: state.location,\n              path,\n            }\n          );\n        }\n        isOptional = true;\n        defaults.push({\n          path,\n          value: current._def.defaultValue(),\n        });\n        current = current._def.innerType;\n        continue;\n      }\n      default:\n        return {\n          schema: current,\n          isOptional,\n          defaults,\n        };\n    }\n  }\n}\n\nfunction convertSchema(\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): ConvertedSchema {\n  const { schema: unwrapped, isOptional, defaults } = unwrapOptionalLike(\n    schema,\n    state,\n    path\n  );\n  const converted = convertSchemaInner(unwrapped, state, path);\n  return {\n    source: isOptional ? `v.optional(${converted.source})` : converted.source,\n    defaults: [...defaults, ...converted.defaults],\n  };\n}\n\nfunction enumToUnion(values: readonly (string | number)[]) {\n  if (values.length === 0) {\n    return \"v.never()\";\n  }\n  if (values.length === 1) {\n    return `v.literal(${encodeLiteral(values[0])})`;\n  }\n  return `v.union(${values\n    .map((value) => `v.literal(${encodeLiteral(value)})`)\n    .join(\", \")})`;\n}\n\nfunction unsupported(\n  message: string,\n  state: ConversionState,\n  path: readonly string[]\n): never {\n  throw schemaAdapterError(message, {\n    adapter: \"convex\",\n    purpose: state.purpose,\n    location: state.location,\n    path,\n  });\n}\n\nfunction convertLazy(\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): ConvertedSchema {\n  const lazySchema = schema as z.ZodLazy<ZodTypeAny>;\n  if (state.seenLazySchemas.has(lazySchema)) {\n    unsupported(\n      \"Recursive z.lazy schemas are not supported by the Convex adapter\",\n      state,\n      path\n    );\n  }\n  state.seenLazySchemas.add(lazySchema);\n  try {\n    return convertSchema(lazySchema._def.getter(), state, path);\n  } finally {\n    state.seenLazySchemas.delete(lazySchema);\n  }\n}\n\nfunction convertSchemaInner(\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): ConvertedSchema {\n  const idTable = getConvexIdTable(schema);\n  if (idTable) {\n    return {\n      source: `v.id(${JSON.stringify(idTable)})`,\n      defaults: [],\n    };\n  }\n\n  switch (schema._def.typeName) {\n    case ZodFirstPartyTypeKind.ZodString:\n      return { source: \"v.string()\", defaults: [] };\n    case ZodFirstPartyTypeKind.ZodNumber:\n      return { source: \"v.number()\", defaults: [] };\n    case ZodFirstPartyTypeKind.ZodBigInt:\n      return { source: \"v.int64()\", defaults: [] };\n    case ZodFirstPartyTypeKind.ZodBoolean:\n      return { source: \"v.boolean()\", defaults: [] };\n    case ZodFirstPartyTypeKind.ZodNull:\n      return { source: \"v.null()\", defaults: [] };\n    case ZodFirstPartyTypeKind.ZodAny:\n    case ZodFirstPartyTypeKind.ZodUnknown:\n      return { source: \"v.any()\", defaults: [] };\n    case ZodFirstPartyTypeKind.ZodLiteral: {\n      return {\n        source: `v.literal(${encodeLiteral(schema._def.value)})`,\n        defaults: [],\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodEnum:\n      return {\n        source: enumToUnion(schema._def.values),\n        defaults: [],\n      };\n    case ZodFirstPartyTypeKind.ZodNativeEnum: {\n      const values = Object.values(schema._def.values).filter(\n        (value): value is string | number =>\n          typeof value === \"string\" || typeof value === \"number\"\n      );\n      return {\n        source: enumToUnion([...new Set(values)]),\n        defaults: [],\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodNullable: {\n      const inner = convertSchema(schema._def.innerType, state, path);\n      return {\n        source: `v.nullable(${inner.source})`,\n        defaults: inner.defaults,\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodArray: {\n      const inner = convertSchema(schema._def.type, state, [...path, \"[]\"]);\n      return {\n        source: `v.array(${inner.source})`,\n        defaults: inner.defaults,\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodObject: {\n      const objectSchema = schema as z.ZodObject<z.ZodRawShape>;\n      if (\n        objectSchema._def.catchall &&\n        objectSchema._def.catchall._def.typeName !== ZodFirstPartyTypeKind.ZodNever\n      ) {\n        unsupported(\n          \"Zod objects with catchall/passthrough fields cannot be lowered to Convex validators\",\n          state,\n          path\n        );\n      }\n      const fields = sortEntries(Object.entries(getObjectShape(objectSchema)));\n      const convertedFields = fields.map(([key, value]) => [\n        key,\n        convertSchema(value, state, [...path, key]),\n      ] as const);\n      return {\n        source: `v.object({ ${convertedFields\n          .map(([key, converted]) => `${quoteKey(key)}: ${converted.source}`)\n          .join(\", \")} })`,\n        defaults: convertedFields.flatMap(([, converted]) => converted.defaults),\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodUnion: {\n      const members = schema._def.options.map((option: ZodTypeAny, index: number) =>\n        convertSchema(option, state, [...path, String(index)])\n      );\n      return {\n        source: `v.union(${members\n          .map((member: ConvertedSchema) => member.source)\n          .join(\", \")})`,\n        defaults: members.flatMap((member: ConvertedSchema) => member.defaults),\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodDiscriminatedUnion: {\n      const discriminatedUnion = schema as z.ZodDiscriminatedUnion<\n        string,\n        [z.ZodObject<z.ZodRawShape>, ...z.ZodObject<z.ZodRawShape>[]]\n      >;\n      const options =\n        discriminatedUnion.options instanceof Map\n          ? [...discriminatedUnion.options.values()]\n          : [...discriminatedUnion.options];\n      const members = options.map((option, index) =>\n        convertSchema(option, state, [...path, String(index)])\n      );\n      return {\n        source: `v.union(${members\n          .map((member: ConvertedSchema) => member.source)\n          .join(\", \")})`,\n        defaults: members.flatMap((member: ConvertedSchema) => member.defaults),\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodRecord: {\n      const keyType = schema._def.keyType;\n      if (\n        keyType &&\n        keyType._def.typeName !== ZodFirstPartyTypeKind.ZodString\n      ) {\n        unsupported(\n          \"Only string-keyed z.record schemas can be lowered to Convex validators\",\n          state,\n          path\n        );\n      }\n      const value = convertSchema(schema._def.valueType, state, [...path, \"{}\"]);\n      return {\n        source: `v.record(v.string(), ${value.source})`,\n        defaults: value.defaults,\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodLazy:\n      return convertLazy(schema, state, path);\n    case ZodFirstPartyTypeKind.ZodBranded: {\n      return convertSchema(schema._def.type, state, path);\n    }\n    default:\n      unsupported(`Unsupported Zod schema kind ${schema._def.typeName}`, state, path);\n  }\n}\n\nexport function zodToConvex(\n  schema: ZodTypeAny,\n  options: ZodToConvexOptions = {}\n): ZodToConvexResult {\n  const state: ConversionState = {\n    location: options.location,\n    purpose: options.purpose ?? \"function_returns\",\n    seenLazySchemas: new WeakSet<object>(),\n  };\n  const converted = convertSchema(schema, state, []);\n  return {\n    source: converted.source,\n    defaults: converted.defaults,\n  };\n}\n\nexport function tableIndexToConvexSource(index: TableIndex): string {\n  switch (index.kind) {\n    case \"index\":\n      return `.index(${JSON.stringify(index.name)}, [${index.columns\n        .map((column) => JSON.stringify(column))\n        .join(\", \")}])`;\n    case \"search\":\n      return `.searchIndex(${JSON.stringify(index.name)}, { searchField: ${JSON.stringify(\n        index.searchField\n      )}${index.filterFields?.length ? `, filterFields: [${index.filterFields\n        .map((field) => JSON.stringify(field))\n        .join(\", \")}]` : \"\"} })`;\n    case \"vector\":\n      return `.vectorIndex(${JSON.stringify(index.name)}, { vectorField: ${JSON.stringify(\n        index.vectorField\n      )}, dimensions: ${index.dimensions}${\n        index.filterFields?.length\n          ? `, filterFields: [${index.filterFields\n              .map((field) => JSON.stringify(field))\n              .join(\", \")}]`\n          : \"\"\n      } })`;\n    default: {\n      const exhaustive: never = index;\n      throw new SchemaAdapterError(\n        `Unsupported table index kind ${(exhaustive as { kind?: string }).kind ?? \"unknown\"}`,\n        { adapter: \"convex\" }\n      );\n    }\n  }\n}\n","import { z, ZodFirstPartyTypeKind, type ZodTypeAny } from \"zod\";\nimport { schemaAdapterError } from \"../errors.js\";\nimport { getConvexIdTable } from \"../idOf.js\";\n\nexport type JsonSchema =\n  | boolean\n  | {\n      $schema?: string;\n      type?: string | readonly string[];\n      properties?: Record<string, JsonSchema>;\n      required?: readonly string[];\n      additionalProperties?: boolean | JsonSchema;\n      items?: JsonSchema;\n      enum?: readonly (string | number | boolean)[];\n      const?: string | number | boolean | null;\n      anyOf?: readonly JsonSchema[];\n      oneOf?: readonly JsonSchema[];\n      default?: unknown;\n      format?: string;\n      description?: string;\n      [key: string]: unknown;\n    };\n\nexport type ZodToJsonSchemaOptions = {\n  location?: string;\n};\n\ntype JsonField = {\n  schema: JsonSchema;\n  required: boolean;\n};\n\ntype ConversionState = {\n  location?: string;\n  seenLazySchemas: WeakSet<object>;\n};\n\nfunction unsupported(\n  message: string,\n  state: ConversionState,\n  path: readonly string[]\n): never {\n  throw schemaAdapterError(message, {\n    adapter: \"jsonschema\",\n    location: state.location,\n    path,\n  });\n}\n\nfunction getObjectShape(schema: z.ZodObject<z.ZodRawShape>) {\n  const shape =\n    typeof schema._def.shape === \"function\" ? schema._def.shape() : schema._def.shape;\n  return shape as z.ZodRawShape;\n}\n\nfunction unwrapOptionalLike(\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): {\n  schema: ZodTypeAny;\n  required: boolean;\n  defaultValue?: unknown;\n} {\n  let current = schema;\n  let required = true;\n  let defaultValue: unknown;\n\n  while (true) {\n    switch (current._def.typeName) {\n      case ZodFirstPartyTypeKind.ZodOptional:\n        required = false;\n        current = current._def.innerType;\n        continue;\n      case ZodFirstPartyTypeKind.ZodDefault:\n        required = false;\n        defaultValue = current._def.defaultValue();\n        current = current._def.innerType;\n        continue;\n      default:\n        return {\n          schema: current,\n          required,\n          defaultValue,\n        };\n    }\n  }\n}\n\nfunction convertLazy(\n  schema: z.ZodLazy<ZodTypeAny>,\n  state: ConversionState,\n  path: readonly string[]\n): JsonSchema {\n  if (state.seenLazySchemas.has(schema)) {\n    unsupported(\n      \"Recursive z.lazy schemas are not supported by the JSON Schema adapter\",\n      state,\n      path\n    );\n  }\n  state.seenLazySchemas.add(schema);\n  try {\n    return convertSchema(schema._def.getter(), state, path);\n  } finally {\n    state.seenLazySchemas.delete(schema);\n  }\n}\n\nfunction literalType(value: unknown) {\n  switch (typeof value) {\n    case \"string\":\n      return \"string\";\n    case \"number\":\n      return Number.isInteger(value) ? \"integer\" : \"number\";\n    case \"boolean\":\n      return \"boolean\";\n    case \"bigint\":\n      return \"integer\";\n    default:\n      return value === null ? \"null\" : undefined;\n  }\n}\n\nfunction convertField(\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): JsonField {\n  const { schema: unwrapped, required, defaultValue } = unwrapOptionalLike(\n    schema,\n    state,\n    path\n  );\n  const field = convertSchema(unwrapped, state, path);\n  if (typeof field === \"boolean\") {\n    return {\n      schema: field,\n      required,\n    };\n  }\n  return {\n    schema:\n      defaultValue === undefined ? field : { ...field, default: defaultValue },\n    required,\n  };\n}\n\nfunction convertSchema(\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): JsonSchema {\n  const idTable = getConvexIdTable(schema);\n  if (idTable) {\n    return {\n      type: \"string\",\n      \"x-convex-id-table\": idTable,\n    };\n  }\n\n  switch (schema._def.typeName) {\n    case ZodFirstPartyTypeKind.ZodString:\n      return { type: \"string\" };\n    case ZodFirstPartyTypeKind.ZodNumber:\n      return { type: \"number\" };\n    case ZodFirstPartyTypeKind.ZodBigInt:\n      return { type: \"integer\", format: \"int64\" };\n    case ZodFirstPartyTypeKind.ZodBoolean:\n      return { type: \"boolean\" };\n    case ZodFirstPartyTypeKind.ZodNull:\n      return { type: \"null\" };\n    case ZodFirstPartyTypeKind.ZodAny:\n    case ZodFirstPartyTypeKind.ZodUnknown:\n      return {};\n    case ZodFirstPartyTypeKind.ZodLiteral:\n      return {\n        const: schema._def.value,\n        type: literalType(schema._def.value),\n      };\n    case ZodFirstPartyTypeKind.ZodEnum:\n      return {\n        type: \"string\",\n        enum: schema._def.values,\n      };\n    case ZodFirstPartyTypeKind.ZodNativeEnum: {\n      const values = [...new Set(Object.values(schema._def.values))].filter(\n        (value): value is string | number | boolean =>\n          typeof value === \"string\" ||\n          typeof value === \"number\" ||\n          typeof value === \"boolean\"\n      );\n      return {\n        type: values.every((value) => typeof value === \"number\")\n          ? \"number\"\n          : \"string\",\n        enum: values,\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodNullable: {\n      const inner = convertSchema(schema._def.innerType, state, path);\n      return {\n        anyOf: [inner, { type: \"null\" }],\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodArray:\n      return {\n        type: \"array\",\n        items: convertSchema(schema._def.type, state, [...path, \"[]\"]),\n      };\n    case ZodFirstPartyTypeKind.ZodObject: {\n      const objectSchema = schema as z.ZodObject<z.ZodRawShape>;\n      if (\n        objectSchema._def.catchall &&\n        objectSchema._def.catchall._def.typeName !== ZodFirstPartyTypeKind.ZodNever\n      ) {\n        unsupported(\n          \"Zod objects with catchall/passthrough fields cannot be lowered to JSON Schema\",\n          state,\n          path\n        );\n      }\n      const entries = Object.entries(getObjectShape(objectSchema)).sort(([a], [b]) =>\n        a.localeCompare(b)\n      );\n      const converted = entries.map(([key, value]) => [\n        key,\n        convertField(value, state, [...path, key]),\n      ] as const);\n      const required = converted\n        .filter(([, field]) => field.required)\n        .map(([key]) => key);\n      return {\n        type: \"object\",\n        properties: Object.fromEntries(\n          converted.map(([key, field]) => [key, field.schema])\n        ),\n        additionalProperties: false,\n        ...(required.length > 0 ? { required } : {}),\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodUnion:\n      return {\n        anyOf: schema._def.options.map((option: ZodTypeAny, index: number) =>\n          convertSchema(option, state, [...path, String(index)])\n        ),\n      };\n    case ZodFirstPartyTypeKind.ZodDiscriminatedUnion: {\n      const discriminatedUnion = schema as z.ZodDiscriminatedUnion<\n        string,\n        [z.ZodObject<z.ZodRawShape>, ...z.ZodObject<z.ZodRawShape>[]]\n      >;\n      const options =\n        discriminatedUnion.options instanceof Map\n          ? [...discriminatedUnion.options.values()]\n          : [...discriminatedUnion.options];\n      return {\n        oneOf: options.map((option, index) =>\n          convertSchema(option, state, [...path, String(index)])\n        ),\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodRecord: {\n      const keyType = schema._def.keyType;\n      if (\n        keyType &&\n        keyType._def.typeName !== ZodFirstPartyTypeKind.ZodString\n      ) {\n        unsupported(\n          \"Only string-keyed z.record schemas can be lowered to JSON Schema\",\n          state,\n          path\n        );\n      }\n      return {\n        type: \"object\",\n        additionalProperties: convertSchema(\n          schema._def.valueType,\n          state,\n          [...path, \"{}\"]\n        ),\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodLazy:\n      return convertLazy(schema as z.ZodLazy<ZodTypeAny>, state, path);\n    case ZodFirstPartyTypeKind.ZodBranded:\n      return convertSchema(schema._def.type, state, path);\n    default:\n      unsupported(\n        `Unsupported Zod schema kind ${schema._def.typeName}`,\n        state,\n        path\n      );\n  }\n}\n\nexport function zodToJsonSchema(\n  schema: ZodTypeAny,\n  options: ZodToJsonSchemaOptions = {}\n): JsonSchema {\n  const converted = convertSchema(schema, {\n    location: options.location,\n    seenLazySchemas: new WeakSet<object>(),\n  }, []);\n  if (typeof converted === \"boolean\") {\n    return converted;\n  }\n  return {\n    $schema: \"http://json-schema.org/draft-07/schema#\",\n    ...converted,\n  };\n}\n"]}

package/dist/function-registry/beliefs.d.ts

@@ -0,0 +1,519 @@
+import * as zod from 'zod';
+
+/**
+ * MCP Tool Contract Definitions
+ *
+ * Machine-readable source of truth for all Lucern MCP tool names,
+ * descriptions, parameters, and response schemas.
+ *
+ * CONTRACT SURFACE: These definitions are the external API for AI agents.
+ * Renaming a tool or changing its description is a BREAKING CHANGE.
+ *
+ * Git-native naming rules (enforced by lint):
+ *   1. Workflow tools use git verbs directly (add_worktree, merge, push, open_pull_request)
+ *   2. Knowledge tools use epistemic verbs (create_belief, fork_belief, modulate_confidence)
+ *   3. First sentence of description includes the git analog verb
+ *   4. Description includes "Like `git X`" parenthetical
+ *   5. Parameter names use domain terms (canonicalText, nodeId, confidence)
+ */
+type McpToolContract = {
+    /** Stable tool name — breaking change to rename */
+    name: string;
+    /** Git-semantic description — breaking change to remove git references */
+    description: string;
+    /** Parameter schema (JSON Schema subset) */
+    parameters: Record<string, McpParameterDef>;
+    /** Required parameter names */
+    required: string[];
+    /** Response shape description */
+    response: McpResponseDef;
+    /** Which Lucern module owns the implementation */
+    ownerModule: string;
+    /** Ontology primitive this tool operates on */
+    ontologyPrimitive: "belief" | "evidence" | "source" | "question" | "judgment" | "worktree" | "branch" | "lens" | "edge" | "graph" | "task" | "policy" | "ontology" | "identity";
+    /** MCP surface tier — showcase (front page, every demo) or workhorse (complete CRUD, discovered when building) */
+    tier: "showcase" | "workhorse";
+    /** Hide this tool from public discovery surfaces. */
+    internal?: boolean;
+    /** Deprecation notice shown in contract-driven docs and discovery. */
+    deprecated?: string;
+};
+type McpParameterDef = {
+    type: "string" | "number" | "boolean" | "array" | "object";
+    description: string;
+    required?: boolean;
+    enum?: string[];
+};
+type McpResponseDef = {
+    description: string;
+    fields: Record<string, string>;
+};
+
+type FunctionEffect = "read" | "write" | "admin";
+
+type FunctionKind = "query" | "mutation" | "action";
+type FunctionIdempotency = boolean | "required";
+type FunctionSurfaceIntent = "mcp_core" | "mcp_analysis" | "mcp_workflow" | "mcp_governance" | "system" | "compatibility" | "sdk_granular";
+type SurfaceClass = "platform_public" | "tenant_public" | "platform_internal" | "legacy_compat" | "application_tool" | "external_connector";
+type SurfaceExposure = "public" | "internal" | "none";
+type FunctionSurfaceMap = {
+    sdk: SurfaceExposure;
+    rest: SurfaceExposure;
+    mcp: SurfaceExposure;
+    cli: SurfaceExposure;
+};
+type ContractProjectionContext = {
+    tenantId?: string;
+    workspaceId?: string;
+    userId?: string;
+    principalId?: string;
+    correlationId?: string;
+    policyTraceId?: string;
+    idempotencyKey?: string;
+};
+type ContractInputProjection = (input: Record<string, unknown>, context: ContractProjectionContext) => Record<string, unknown>;
+type ContractOutputProjection = (output: unknown, input: Record<string, unknown>, context: ContractProjectionContext) => unknown;
+type FunctionConvexTarget = {
+    module: string;
+    functionName: string;
+    kind: FunctionKind;
+    injectSessionId?: "sessionId" | "fromSessionId";
+    injectSessionContext?: boolean;
+    broadcastToAll?: boolean;
+    inputProjection?: ContractInputProjection;
+    outputProjection?: ContractOutputProjection;
+};
+
+declare const beliefsContracts: readonly [{
+    name: string;
+    kind: FunctionKind;
+    idempotent: FunctionIdempotency;
+    effects: readonly FunctionEffect[];
+    invariants: readonly string[] | undefined;
+    surfaceIntent: FunctionSurfaceIntent;
+    domain: string;
+    surfaceClass: SurfaceClass;
+    surfaces: FunctionSurfaceMap;
+    replacedBy: string | undefined;
+    rest: {
+        method: "GET" | "POST" | "PATCH" | "DELETE";
+        path: string;
+    };
+    sdk: {
+        namespace: string;
+        method: string;
+    };
+    mcp: {
+        exposed: boolean;
+        toolName: string;
+    } & McpToolContract & {
+        exposed: boolean;
+        toolName: string;
+    };
+    auth: {
+        scopes: string[];
+        allowedPrincipalTypes: ("user" | "service" | "agent")[];
+    };
+    convex: FunctionConvexTarget | undefined;
+    args: zod.ZodObject<zod.ZodRawShape, zod.UnknownKeysParam, zod.ZodTypeAny, {
+        [x: string]: any;
+    }, {
+        [x: string]: any;
+    }>;
+    returns: zod.ZodTypeAny;
+    input: zod.ZodTypeAny;
+    output: zod.ZodTypeAny;
+    openapi: {
+        summary: string;
+        tags: string[];
+    };
+}, {
+    name: string;
+    kind: FunctionKind;
+    idempotent: FunctionIdempotency;
+    effects: readonly FunctionEffect[];
+    invariants: readonly string[] | undefined;
+    surfaceIntent: FunctionSurfaceIntent;
+    domain: string;
+    surfaceClass: SurfaceClass;
+    surfaces: FunctionSurfaceMap;
+    replacedBy: string | undefined;
+    rest: {
+        method: "GET" | "POST" | "PATCH" | "DELETE";
+        path: string;
+    };
+    sdk: {
+        namespace: string;
+        method: string;
+    };
+    mcp: {
+        exposed: boolean;
+        toolName: string;
+    } & McpToolContract & {
+        exposed: boolean;
+        toolName: string;
+    };
+    auth: {
+        scopes: string[];
+        allowedPrincipalTypes: ("user" | "service" | "agent")[];
+    };
+    convex: FunctionConvexTarget | undefined;
+    args: zod.ZodObject<zod.ZodRawShape, zod.UnknownKeysParam, zod.ZodTypeAny, {
+        [x: string]: any;
+    }, {
+        [x: string]: any;
+    }>;
+    returns: zod.ZodTypeAny;
+    input: zod.ZodTypeAny;
+    output: zod.ZodTypeAny;
+    openapi: {
+        summary: string;
+        tags: string[];
+    };
+}, {
+    name: string;
+    kind: FunctionKind;
+    idempotent: FunctionIdempotency;
+    effects: readonly FunctionEffect[];
+    invariants: readonly string[] | undefined;
+    surfaceIntent: FunctionSurfaceIntent;
+    domain: string;
+    surfaceClass: SurfaceClass;
+    surfaces: FunctionSurfaceMap;
+    replacedBy: string | undefined;
+    rest: {
+        method: "GET" | "POST" | "PATCH" | "DELETE";
+        path: string;
+    };
+    sdk: {
+        namespace: string;
+        method: string;
+    };
+    mcp: {
+        exposed: boolean;
+        toolName: string;
+    } & McpToolContract & {
+        exposed: boolean;
+        toolName: string;
+    };
+    auth: {
+        scopes: string[];
+        allowedPrincipalTypes: ("user" | "service" | "agent")[];
+    };
+    convex: FunctionConvexTarget | undefined;
+    args: zod.ZodObject<zod.ZodRawShape, zod.UnknownKeysParam, zod.ZodTypeAny, {
+        [x: string]: any;
+    }, {
+        [x: string]: any;
+    }>;
+    returns: zod.ZodTypeAny;
+    input: zod.ZodTypeAny;
+    output: zod.ZodTypeAny;
+    openapi: {
+        summary: string;
+        tags: string[];
+    };
+}, {
+    name: string;
+    kind: FunctionKind;
+    idempotent: FunctionIdempotency;
+    effects: readonly FunctionEffect[];
+    invariants: readonly string[] | undefined;
+    surfaceIntent: FunctionSurfaceIntent;
+    domain: string;
+    surfaceClass: SurfaceClass;
+    surfaces: FunctionSurfaceMap;
+    replacedBy: string | undefined;
+    rest: {
+        method: "GET" | "POST" | "PATCH" | "DELETE";
+        path: string;
+    };
+    sdk: {
+        namespace: string;
+        method: string;
+    };
+    mcp: {
+        exposed: boolean;
+        toolName: string;
+    } & McpToolContract & {
+        exposed: boolean;
+        toolName: string;
+    };
+    auth: {
+        scopes: string[];
+        allowedPrincipalTypes: ("user" | "service" | "agent")[];
+    };
+    convex: FunctionConvexTarget | undefined;
+    args: zod.ZodObject<zod.ZodRawShape, zod.UnknownKeysParam, zod.ZodTypeAny, {
+        [x: string]: any;
+    }, {
+        [x: string]: any;
+    }>;
+    returns: zod.ZodTypeAny;
+    input: zod.ZodTypeAny;
+    output: zod.ZodTypeAny;
+    openapi: {
+        summary: string;
+        tags: string[];
+    };
+}, {
+    name: string;
+    kind: FunctionKind;
+    idempotent: FunctionIdempotency;
+    effects: readonly FunctionEffect[];
+    invariants: readonly string[] | undefined;
+    surfaceIntent: FunctionSurfaceIntent;
+    domain: string;
+    surfaceClass: SurfaceClass;
+    surfaces: FunctionSurfaceMap;
+    replacedBy: string | undefined;
+    rest: {
+        method: "GET" | "POST" | "PATCH" | "DELETE";
+        path: string;
+    };
+    sdk: {
+        namespace: string;
+        method: string;
+    };
+    mcp: {
+        exposed: boolean;
+        toolName: string;
+    } & McpToolContract & {
+        exposed: boolean;
+        toolName: string;
+    };
+    auth: {
+        scopes: string[];
+        allowedPrincipalTypes: ("user" | "service" | "agent")[];
+    };
+    convex: FunctionConvexTarget | undefined;
+    args: zod.ZodObject<zod.ZodRawShape, zod.UnknownKeysParam, zod.ZodTypeAny, {
+        [x: string]: any;
+    }, {
+        [x: string]: any;
+    }>;
+    returns: zod.ZodTypeAny;
+    input: zod.ZodTypeAny;
+    output: zod.ZodTypeAny;
+    openapi: {
+        summary: string;
+        tags: string[];
+    };
+}, {
+    name: string;
+    kind: FunctionKind;
+    idempotent: FunctionIdempotency;
+    effects: readonly FunctionEffect[];
+    invariants: readonly string[] | undefined;
+    surfaceIntent: FunctionSurfaceIntent;
+    domain: string;
+    surfaceClass: SurfaceClass;
+    surfaces: FunctionSurfaceMap;
+    replacedBy: string | undefined;
+    rest: {
+        method: "GET" | "POST" | "PATCH" | "DELETE";
+        path: string;
+    };
+    sdk: {
+        namespace: string;
+        method: string;
+    };
+    mcp: {
+        exposed: boolean;
+        toolName: string;
+    } & McpToolContract & {
+        exposed: boolean;
+        toolName: string;
+    };
+    auth: {
+        scopes: string[];
+        allowedPrincipalTypes: ("user" | "service" | "agent")[];
+    };
+    convex: FunctionConvexTarget | undefined;
+    args: zod.ZodObject<zod.ZodRawShape, zod.UnknownKeysParam, zod.ZodTypeAny, {
+        [x: string]: any;
+    }, {
+        [x: string]: any;
+    }>;
+    returns: zod.ZodTypeAny;
+    input: zod.ZodTypeAny;
+    output: zod.ZodTypeAny;
+    openapi: {
+        summary: string;
+        tags: string[];
+    };
+}, {
+    name: string;
+    kind: FunctionKind;
+    idempotent: FunctionIdempotency;
+    effects: readonly FunctionEffect[];
+    invariants: readonly string[] | undefined;
+    surfaceIntent: FunctionSurfaceIntent;
+    domain: string;
+    surfaceClass: SurfaceClass;
+    surfaces: FunctionSurfaceMap;
+    replacedBy: string | undefined;
+    rest: {
+        method: "GET" | "POST" | "PATCH" | "DELETE";
+        path: string;
+    };
+    sdk: {
+        namespace: string;
+        method: string;
+    };
+    mcp: {
+        exposed: boolean;
+        toolName: string;
+    } & McpToolContract & {
+        exposed: boolean;
+        toolName: string;
+    };
+    auth: {
+        scopes: string[];
+        allowedPrincipalTypes: ("user" | "service" | "agent")[];
+    };
+    convex: FunctionConvexTarget | undefined;
+    args: zod.ZodObject<zod.ZodRawShape, zod.UnknownKeysParam, zod.ZodTypeAny, {
+        [x: string]: any;
+    }, {
+        [x: string]: any;
+    }>;
+    returns: zod.ZodTypeAny;
+    input: zod.ZodTypeAny;
+    output: zod.ZodTypeAny;
+    openapi: {
+        summary: string;
+        tags: string[];
+    };
+}, {
+    name: string;
+    kind: FunctionKind;
+    idempotent: FunctionIdempotency;
+    effects: readonly FunctionEffect[];
+    invariants: readonly string[] | undefined;
+    surfaceIntent: FunctionSurfaceIntent;
+    domain: string;
+    surfaceClass: SurfaceClass;
+    surfaces: FunctionSurfaceMap;
+    replacedBy: string | undefined;
+    rest: {
+        method: "GET" | "POST" | "PATCH" | "DELETE";
+        path: string;
+    };
+    sdk: {
+        namespace: string;
+        method: string;
+    };
+    mcp: {
+        exposed: boolean;
+        toolName: string;
+    } & McpToolContract & {
+        exposed: boolean;
+        toolName: string;
+    };
+    auth: {
+        scopes: string[];
+        allowedPrincipalTypes: ("user" | "service" | "agent")[];
+    };
+    convex: FunctionConvexTarget | undefined;
+    args: zod.ZodObject<zod.ZodRawShape, zod.UnknownKeysParam, zod.ZodTypeAny, {
+        [x: string]: any;
+    }, {
+        [x: string]: any;
+    }>;
+    returns: zod.ZodTypeAny;
+    input: zod.ZodTypeAny;
+    output: zod.ZodTypeAny;
+    openapi: {
+        summary: string;
+        tags: string[];
+    };
+}, {
+    name: string;
+    kind: FunctionKind;
+    idempotent: FunctionIdempotency;
+    effects: readonly FunctionEffect[];
+    invariants: readonly string[] | undefined;
+    surfaceIntent: FunctionSurfaceIntent;
+    domain: string;
+    surfaceClass: SurfaceClass;
+    surfaces: FunctionSurfaceMap;
+    replacedBy: string | undefined;
+    rest: {
+        method: "GET" | "POST" | "PATCH" | "DELETE";
+        path: string;
+    };
+    sdk: {
+        namespace: string;
+        method: string;
+    };
+    mcp: {
+        exposed: boolean;
+        toolName: string;
+    } & McpToolContract & {
+        exposed: boolean;
+        toolName: string;
+    };
+    auth: {
+        scopes: string[];
+        allowedPrincipalTypes: ("user" | "service" | "agent")[];
+    };
+    convex: FunctionConvexTarget | undefined;
+    args: zod.ZodObject<zod.ZodRawShape, zod.UnknownKeysParam, zod.ZodTypeAny, {
+        [x: string]: any;
+    }, {
+        [x: string]: any;
+    }>;
+    returns: zod.ZodTypeAny;
+    input: zod.ZodTypeAny;
+    output: zod.ZodTypeAny;
+    openapi: {
+        summary: string;
+        tags: string[];
+    };
+}, {
+    name: string;
+    kind: FunctionKind;
+    idempotent: FunctionIdempotency;
+    effects: readonly FunctionEffect[];
+    invariants: readonly string[] | undefined;
+    surfaceIntent: FunctionSurfaceIntent;
+    domain: string;
+    surfaceClass: SurfaceClass;
+    surfaces: FunctionSurfaceMap;
+    replacedBy: string | undefined;
+    rest: {
+        method: "GET" | "POST" | "PATCH" | "DELETE";
+        path: string;
+    };
+    sdk: {
+        namespace: string;
+        method: string;
+    };
+    mcp: {
+        exposed: boolean;
+        toolName: string;
+    } & McpToolContract & {
+        exposed: boolean;
+        toolName: string;
+    };
+    auth: {
+        scopes: string[];
+        allowedPrincipalTypes: ("user" | "service" | "agent")[];
+    };
+    convex: FunctionConvexTarget | undefined;
+    args: zod.ZodObject<zod.ZodRawShape, zod.UnknownKeysParam, zod.ZodTypeAny, {
+        [x: string]: any;
+    }, {
+        [x: string]: any;
+    }>;
+    returns: zod.ZodTypeAny;
+    input: zod.ZodTypeAny;
+    output: zod.ZodTypeAny;
+    openapi: {
+        summary: string;
+        tags: string[];
+    };
+}];
+
+export { beliefsContracts };