@the-situation/collateral 0.5.0-alpha.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -0,0 +1 @@
1
+ {"version":3,"file":"compute.js","sourceRoot":"","sources":["../src/compute.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,IAAI,EAAsB,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAErF,+EAA+E;AAC/E,wBAAwB;AACxB,+EAA+E;AAE/E;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAAW,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAElD;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAa;IAC/C,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,OAAO,CAAC,CAAC;IACX,CAAC;IACD,2CAA2C;IAC3C,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,GAAG,OAAO,CAAC;IACpC,OAAO,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAChC,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAa,EAAE,CAAS;IAC1D,MAAM,MAAM,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAChB,OAAO,CAAC,CAAC;IACX,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC;AACpB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAAC,KAAgB;IAC5C,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;IAClC,MAAM,SAAS,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAEhD,OAAO,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;AACzC,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,aAAa,CAAC,KAAgB,EAAE,CAAY;IAC1D,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AACvB,CAAC;AAqBD;;GAEG;AACH,MAAM,UAAU,aAAa;IAC3B,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAc,CAAC;IAClD,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,CAAC,OAAO,CAAc,CAAC,CAAC,OAAO;IACnE,OAAO;QACL,aAAa,EAAE,IAAI;QACnB,gBAAgB,EAAE,IAAI;QACtB,eAAe,EAAE,OAAO;KACzB,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa;IAC3B,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,CAAC,EAAE,CAAc,CAAC;IACtD,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,CAAC,OAAO,CAAc,CAAC,CAAC,OAAO;IACnE,OAAO;QACL,aAAa,EAAE,OAAO;QACtB,gBAAgB,EAAE,OAAO;QACzB,eAAe,EAAE,OAAO;KACzB,CAAC;AACJ,CAAC;AAgED,+EAA+E;AAC/E,2BAA2B;AAC3B,+EAA+E;AAE/E;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAC3B,CAAqB,EACrB,CAAqB,EACrB,CAAY;IAEZ,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAEtB,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,uBAAuB,CACrC,CAAqB,EACrB,CAAqB,EACrB,CAAY;IAEZ,MAAM,MAAM,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IAElC,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,6BAA6B,CAC3C,CAAqB,EACrB,CAAqB,EACrB,CAAY;IAEZ,MAAM,OAAO,GAAG,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IAEzC,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;AAC9B,CAAC;AAED,+EAA+E;AAC/E,uCAAuC;AACvC,+EAA+E;AAE/E;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,mBAAmB,CAAC,CAAqB,EAAE,CAAqB;IAC9E,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC;IACnB,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC;IACnB,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC;IACvB,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC;IAEvB,2DAA2D;IAC3D,yEAAyE;IACzE,8CAA8C;IAC9C,MAAM,QAAQ,GAAG,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3D,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;IACxD,MAAM,eAAe,GAAG,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAE5E,MAAM,gBAAgB,GAAG,CAAC,QAAQ,IAAI,CAAC,SAAS,IAAI,QAAQ,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;IAE5E,8DAA8D;IAC9D,IAAI,gBAAgB,EAAE,CAAC;QACrB,IAAI,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YACtB,yCAAyC;YACzC,OAAO,GAAG,CAAC;QACb,CAAC;QACD,0CAA0C;QAC1C,wEAAwE;QACxE,8DAA8D;QAC9D,MAAM,MAAM,GAAG,MAAM,CAAC;QACtB,2DAA2D;QAC3D,OAAO,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC;IAChC,CAAC;IAED,mCAAmC;IACnC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,GAAG,CAAC;IACb,CAAC;IAED,mFAAmF;IACnF,6EAA6E;IAC7E,+EAA+E;IAC/E,4EAA4E;IAC5E,MAAM,YAAY,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IAEvC,IAAI,MAAiB,CAAC;IACtB,IAAI,YAAY,EAAE,CAAC;QACjB,qDAAqD;QACrD,6DAA6D;QAC7D,MAAM,GAAG,MAAM,CAAC;IAClB,CAAC;SAAM,CAAC;QACN,gDAAgD;QAChD,8CAA8C;QAC9C,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,MAAM,GAAG,QAAQ,IAAI,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/D,CAAC;IAED,IAAI,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QAChB,iDAAiD;QACjD,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/B,OAAO,MAAM,IAAI,GAAG,CAAC;IACvB,CAAC;IACD,iDAAiD;IACjD,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC/B,OAAO,MAAM,IAAI,GAAG,CAAC;AACvB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAe;IACnD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3C,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,eAAe,CAC7B,CAAqB,EACrB,CAAqB,EACrB,CAAY;IAEZ,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC;IACnB,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC;IAEnB,IAAI,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QAChB,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IACnB,CAAC;IACD,IAAI,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QAChB,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IACnB,CAAC;IACD,gCAAgC;IAChC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+EAA+E;AAC/E,2CAA2C;AAC3C,+EAA+E;AAE/E;;;;GAIG;AACH,SAAS,QAAQ,CACf,CAAqB,EACrB,CAAqB,EACrB,MAA0B;IAE1B,+BAA+B;IAC/B,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,OAAO,yBAAyB,CAAC;IACnC,CAAC;IAED,oBAAoB;IACpB,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC;IACxB,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC;IACxB,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAEzE,sCAAsC;IACtC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACnB,MAAM,UAAU,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;QAC/C,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,oBAAoB,CAAC;QAC9B,CAAC;QAED,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAI,SAAS,IAAI,QAAQ,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;YACxC,OAAO,sBAAsB,CAAC;QAChC,CAAC;IACH,CAAC;IAED,oCAAoC;IACpC,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;IAC5B,IAAI,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,CAAC;QAC3E,OAAO,0BAA0B,CAAC;IACpC,CAAC;IAED,wBAAwB;IACxB,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1E,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IAED,0DAA0D;IAC1D,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACvD,MAAM,MAAM,GAAG,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACxD,IAAI,MAAM,IAAI,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/B,OAAO,2BAA2B,CAAC;IACrC,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+EAA+E;AAC/E,8BAA8B;AAC9B,+EAA+E;AAE/E,oCAAoC;AACpC,MAAM,CAAC,MAAM,iBAAiB,GAAG,SAAS,CAAC,UAAU,CAAC,KAAK,CAAc,CAAC;AAE1E,iCAAiC;AACjC,MAAM,CAAC,MAAM,sBAAsB,GAAG,EAAE,CAAC;AAEzC;;;GAGG;AACH,MAAM,eAAe,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAc,CAAC;AAE/D;;;;;;;;;;;;GAYG;AACH,SAAS,UAAU,CAAC,CAAqB,EAAE,CAAqB,EAAE,CAAY;IAC5E,MAAM,MAAM,GAAG,uBAAuB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,MAAM,YAAY,GAAG,6BAA6B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAE5D,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gCAAgC;IAChC,IAAI,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC;IACd,CAAC;IAED,yCAAyC;IACzC,iCAAiC;IACjC,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACzD,MAAM,OAAO,GAAG,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC9C,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;YACxB,iDAAiD;YACjD,IAAI,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC;gBACtB,IAAI,GAAG,OAAO,CAAC,GAAG,EAAe,CAAC;YACpC,CAAC;iBAAM,CAAC;gBACN,IAAI,GAAG,OAAO,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACrB,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,iBAAiB,CACxB,CAAqB,EACrB,CAAqB,EACrB,IAAe,EACf,SAAoB;IAEpB,+CAA+C;IAC/C,MAAM,MAAM,GAAG,uBAAuB,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACnD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC/B,IAAI,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5B,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAED,kCAAkC;IAClC,MAAM,YAAY,GAAG,6BAA6B,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC/D,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IAED,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,wBAAwB,CAAC;IAClC,CAAC;IAED,gBAAgB;IAChB,IAAI,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,WAAW,CACzB,CAAqB,EACrB,CAAqB,EACrB,EAAc,EACd,YAAuB,iBAAiB,EACxC,gBAAwB,sBAAsB,EAC9C,SAA6B,aAAa,EAAE;IAE5C,gDAAgD;IAChD,MAAM,cAAc,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IAC9C,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC;IACtD,CAAC;IAED,wCAAwC;IACxC,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE;gBACN,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,IAAI,EAAE,IAAI;gBACV,UAAU,EAAE,IAAI;gBAChB,SAAS;gBACT,UAAU,EAAE,CAAC;gBACb,MAAM,EAAE,aAAa;aACtB;SACF,CAAC;IACJ,CAAC;IAED,0CAA0C;IAC1C,IAAI,CAAC,GAAG,EAAE,IAAI,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxC,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,2BAA2B;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM;QACR,CAAC;QAED,UAAU,GAAG,CAAC,GAAG,CAAC,CAAC;QAEnB,8CAA8C;QAC9C,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,IAAI,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;YACrC,SAAS,GAAG,IAAI,CAAC;YACjB,CAAC,GAAG,KAAK,CAAC;YACV,MAAM;QACR,CAAC;QAED,CAAC,GAAG,KAAK,CAAC;IACZ,CAAC;IAED,+BAA+B;IAC/B,MAAM,IAAI,GAAG,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC;IAC5C,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAE/C,MAAM,SAAS,GAAqB;QAClC,CAAC;QACD,CAAC,EAAE,IAAI;QACP,UAAU;QACV,UAAU;QACV,MAAM,EAAE,QAAQ;KACjB,CAAC;IAEF,oBAAoB;IACpB,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,yBAAyB;YACjC,SAAS;SACV,CAAC;IACJ,CAAC;IAED,yBAAyB;IACzB,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;IAC/D,IAAI,gBAAgB,EAAE,CAAC;QACrB,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,gBAAgB;YACxB,SAAS;SACV,CAAC;IACJ,CAAC;IAED,oBAAoB;IACpB,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE;YACN,IAAI,EAAE,CAAC;YACP,IAAI;YACJ,UAAU;YACV,SAAS;YACT,UAAU;YACV,MAAM,EAAE,QAAQ;SACjB;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAC/B,CAAqB,EACrB,CAAqB;IAErB,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,OAAO,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;IAClC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAyB;IAC1D,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,OAAO,MAAM,CAAC,MAAM,CAAC;IACvB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,MAAyB;IAClD,OAAO,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC;AACpC,CAAC;AAgCD,+EAA+E;AAC/E,kCAAkC;AAClC,+EAA+E;AAE/E;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CACjC,CAAqB,EACrB,CAAqB,EACrB,OAAe,EACf,OAAe,EACf,CAAY;IAEZ,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtB,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,OAAO,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,OAAO,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;AAC/D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,6BAA6B,CAC3C,CAAqB,EACrB,CAAqB,EACrB,OAAe,EACf,OAAe,EACf,CAAY;IAEZ,MAAM,MAAM,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO,OAAO,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,OAAO,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;AACnE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mCAAmC,CACjD,CAAqB,EACrB,CAAqB,EACrB,OAAe,EACf,OAAe,EACf,CAAY;IAEZ,MAAM,OAAO,GAAG,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IACtC,OAAO,OAAO,GAAG,OAAO,CAAC,QAAQ,EAAE,GAAG,OAAO,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC;AACrE,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CACvB,CAAqB,EACrB,CAAqB,EACrB,OAAe,EACf,OAAe,EACf,CAAY,EACZ,WAAmB;IAEnB,MAAM,MAAM,GAAG,6BAA6B,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;IACxE,MAAM,YAAY,GAAG,mCAAmC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;IAEpF,IAAI,MAAM,KAAK,IAAI,IAAI,YAAY,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,KAAK,EAAE,CAAC;QAC/E,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gCAAgC;IAChC,IAAI,IAAI,GAAG,MAAM,GAAG,YAAY,CAAC;IAEjC,yCAAyC;IACzC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,WAAW,EAAE,CAAC;QACjC,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;IAC/C,CAAC;IAED,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1B,MAAM,KAAK,GAAG,IAAI,GAAG,IAAI,CAAC;IAC1B,OAAO,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;AACrC,CAAC;AAED;;;;;;GAMG;AACH,SAAS,iBAAiB,CACxB,CAAqB,EACrB,CAAqB,EACrB,OAAe,EACf,OAAe,EACf,YAAoB,KAAK,EACzB,gBAAwB,EAAE;IAE1B,qDAAqD;IACrD,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC9B,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC9B,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;IAClC,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAE1C,IAAI,CAAY,CAAC;IAEjB,2DAA2D;IAC3D,yEAAyE;IACzE,8CAA8C;IAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;IACrC,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7C,MAAM,gBAAgB,GAAG,QAAQ,GAAG,IAAI,GAAG,WAAW,CAAC;IAEvD,2DAA2D;IAC3D,IAAI,gBAAgB,EAAE,CAAC;QACrB,IAAI,MAAM,GAAG,MAAM,EAAE,CAAC;YACpB,2CAA2C;YAC3C,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;QACb,CAAC;aAAM,CAAC;YACN,0CAA0C;YAC1C,4DAA4D;YAC5D,MAAM,IAAI,GAAG,GAAG,GAAG,MAAM,CAAC;YAC1B,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,IAAI,CAAc,CAAC;QAC9C,CAAC;IACH,CAAC;SAAM,CAAC;QACN,qEAAqE;QACrE,iFAAiF;QACjF,yCAAyC;QACzC,MAAM,YAAY,GAAG,MAAM,GAAG,MAAM,CAAC;QACrC,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,GAAG,EAAE,QAAQ,GAAG,GAAG,CAAC,CAAC;QAC9E,MAAM,IAAI,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,MAAM,CAAC;QACrD,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,IAAI,CAAc,CAAC;IAC9C,CAAC;IAED,MAAM,WAAW,GAAG,GAAG,GAAG,QAAQ,CAAC;IACnC,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC;QACvE,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM;QACR,CAAC;QAED,UAAU,GAAG,CAAC,GAAG,CAAC,CAAC;QAEnB,oBAAoB;QACpB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QACvD,IAAI,IAAI,GAAG,SAAS,EAAE,CAAC;YACrB,SAAS,GAAG,IAAI,CAAC;YACjB,CAAC,GAAG,KAAK,CAAC;YACV,MAAM;QACR,CAAC;QAED,CAAC,GAAG,KAAK,CAAC;IACZ,CAAC;IAED,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;IAC5D,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;AAChD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,UAAU,uBAAuB,CACrC,CAAqB,EACrB,CAAqB,EACrB,IAAe,GAAG,EAClB,SAA6B,aAAa,EAAE;IAE5C,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;IAE1B,wCAAwC;IACxC,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;IAClC,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;IAClC,MAAM,UAAU,GAAG,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACrD,MAAM,UAAU,GAAG,mBAAmB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAErD,gEAAgE;IAChE,MAAM,WAAW,GAAG,UAAU,GAAG,UAAU,CAAC;IAC5C,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC;IAEzD,IAAI,QAAgB,CAAC;IACrB,IAAI,UAAkB,CAAC;IACvB,IAAI,mBAA2B,CAAC;IAChC,IAAI,qBAA6B,CAAC;IAElC,IAAI,YAAY,EAAE,CAAC;QACjB,iEAAiE;QACjE,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;QAC/F,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC;QACd,CAAC;QAED,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACzC,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;QACtC,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;QAE5D,uDAAuD;QACvD,mBAAmB,GAAG,UAAU,GAAG,qBAAqB,CAAC;IAC3D,CAAC;SAAM,CAAC;QACN,+DAA+D;QAC/D,MAAM,YAAY,GAAG,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;QACrE,IAAI,CAAC,YAAY,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC;YAC7C,4CAA4C;YAC5C,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;YAC/F,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC/B,OAAO,IAAI,CAAC;YACd,CAAC;YAED,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACzC,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;YACtC,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;YAE5D,kDAAkD;YAClD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;YACjC,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;YAC3C,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;YAC3C,mBAAmB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,GAAG,IAAI,GAAG,UAAU,GAAG,IAAI,CAAC,CAAC;QAC3E,CAAC;aAAM,CAAC;YACN,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC;YAC9B,UAAU,GAAG,YAAY,CAAC,UAAU,CAAC;YAErC,yCAAyC;YACzC,4EAA4E;YAC5E,mBAAmB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YAEtD,sCAAsC;YACtC,MAAM,KAAK,GAAG,SAAS,CAAC,UAAU,CAAC,QAAQ,CAAc,CAAC;YAC1D,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;YAC3C,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;YAC3C,qBAAqB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,SAAS,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,gBAAgB,GAAG,SAAS,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC;IACnE,MAAM,kBAAkB,GAAG,SAAS,CAAC,UAAU,CAAC,qBAAqB,IAAI,mBAAmB,GAAG,UAAU,CAAC,CAAC;IAC3G,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IACjD,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IAEjD,IAAI,CAAC,KAAK,IAAI,CAAC,gBAAgB,IAAI,CAAC,kBAAkB,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC;QAC/E,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO;QACL,kBAAkB;QAClB,gBAAgB;QAChB,MAAM,EAAE,OAAO,EAAE,6BAA6B;QAC9C,KAAK;QACL,UAAU;QACV,OAAO;QACP,OAAO;KACR,CAAC;AACJ,CAAC"}
@@ -0,0 +1,26 @@
1
+ /**
2
+ * Effect-wrapped collateral computation utilities.
3
+ *
4
+ * Lifts null/failure results from the pure computation functions
5
+ * into Effect's typed error channel.
6
+ *
7
+ * @module
8
+ */
9
+ import type { NormalDistribution, SQ128x128 } from '@the-situation/core';
10
+ import { SolverFailedError } from '@the-situation/core';
11
+ import { Effect } from 'effect';
12
+ import { type MinimizationPolicy, type VerifiedMinimum } from './compute';
13
+ /**
14
+ * Effect-wrapped version of `findMinimum` that lifts failures into
15
+ * `SolverFailedError`.
16
+ *
17
+ * @param f - The "from" distribution
18
+ * @param g - The "to" distribution
19
+ * @param x0 - Optional initial guess
20
+ * @param tolerance - Convergence threshold
21
+ * @param maxIterations - Maximum Newton iterations
22
+ * @param policy - Safe envelope policy
23
+ * @returns Effect yielding a VerifiedMinimum or failing with SolverFailedError
24
+ */
25
+ export declare function findMinimumEffect(f: NormalDistribution, g: NormalDistribution, x0?: SQ128x128, tolerance?: SQ128x128, maxIterations?: number, policy?: MinimizationPolicy): Effect.Effect<VerifiedMinimum, SolverFailedError>;
26
+ //# sourceMappingURL=effect.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"effect.d.ts","sourceRoot":"","sources":["../src/effect.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAGL,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACrB,MAAM,WAAW,CAAC;AAEnB;;;;;;;;;;;GAWG;AACH,wBAAgB,iBAAiB,CAC/B,CAAC,EAAE,kBAAkB,EACrB,CAAC,EAAE,kBAAkB,EACrB,EAAE,CAAC,EAAE,SAAS,EACd,SAAS,CAAC,EAAE,SAAS,EACrB,aAAa,CAAC,EAAE,MAAM,EACtB,MAAM,CAAC,EAAE,kBAAkB,GAC1B,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAgBnD"}
package/dist/effect.js ADDED
@@ -0,0 +1,38 @@
1
+ /**
2
+ * Effect-wrapped collateral computation utilities.
3
+ *
4
+ * Lifts null/failure results from the pure computation functions
5
+ * into Effect's typed error channel.
6
+ *
7
+ * @module
8
+ */
9
+ import { SolverFailedError } from '@the-situation/core';
10
+ import { Effect } from 'effect';
11
+ import { findMinimum, } from './compute';
12
+ /**
13
+ * Effect-wrapped version of `findMinimum` that lifts failures into
14
+ * `SolverFailedError`.
15
+ *
16
+ * @param f - The "from" distribution
17
+ * @param g - The "to" distribution
18
+ * @param x0 - Optional initial guess
19
+ * @param tolerance - Convergence threshold
20
+ * @param maxIterations - Maximum Newton iterations
21
+ * @param policy - Safe envelope policy
22
+ * @returns Effect yielding a VerifiedMinimum or failing with SolverFailedError
23
+ */
24
+ export function findMinimumEffect(f, g, x0, tolerance, maxIterations, policy) {
25
+ return Effect.gen(function* () {
26
+ const result = findMinimum(f, g, x0, tolerance, maxIterations, policy);
27
+ if (result.type === 'verified') {
28
+ return result.result;
29
+ }
30
+ const reason = result.type === 'rejected' ? result.reason : result.reason;
31
+ const iterations = result.type === 'not_verified' ? result.candidate?.iterations : undefined;
32
+ return yield* new SolverFailedError({
33
+ message: `Collateral minimization failed: ${reason}`,
34
+ ...(iterations !== undefined ? { iterations } : {}),
35
+ });
36
+ });
37
+ }
38
+ //# sourceMappingURL=effect.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"effect.js","sourceRoot":"","sources":["../src/effect.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EACL,WAAW,GAIZ,MAAM,WAAW,CAAC;AAEnB;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iBAAiB,CAC/B,CAAqB,EACrB,CAAqB,EACrB,EAAc,EACd,SAAqB,EACrB,aAAsB,EACtB,MAA2B;IAE3B,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,MAAM,GAAsB,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;QAE1F,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/B,OAAO,MAAM,CAAC,MAAM,CAAC;QACvB,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;QAC1E,MAAM,UAAU,GACd,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5E,OAAO,KAAK,CAAC,CAAC,IAAI,iBAAiB,CAAC;YAClC,OAAO,EAAE,mCAAmC,MAAM,EAAE;YACpD,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACpD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC"}
@@ -0,0 +1,13 @@
1
+ /**
2
+ * @the-situation/collateral
3
+ *
4
+ * Off-chain collateral computation for trading between normal distributions.
5
+ *
6
+ * @packageDocumentation
7
+ */
8
+ export { collateralFromMinimum, computeCollateral, computeL2Norm, computeLambda, computeScaledCollateral, DEFAULT_MAX_ITERATIONS, DEFAULT_TOLERANCE, defaultPolicy, findMinimum, getVerifiedMinimum, isOnCorrectSide, isVerified, pdfDifference, pdfDifferenceDerivative, pdfDifferenceSecondDerivative, relaxedPolicy, SQRT_PI, suggestInitialGuess, } from './compute';
9
+ export type { CandidateMinimum, FindMinimumResult, MinimizationMethod, MinimizationPolicy, NotVerifiedReason, ScaledCollateralResult, VerifiedMinimum, } from './compute';
10
+ export { computeCollateralAtPoint, isValid, quickVerify, verifyMinimum, } from './verify';
11
+ export type { CollateralVerificationResult } from './verify';
12
+ export { findMinimumEffect } from './effect';
13
+ //# sourceMappingURL=index.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EACL,qBAAqB,EACrB,iBAAiB,EACjB,aAAa,EACb,aAAa,EACb,uBAAuB,EACvB,sBAAsB,EACtB,iBAAiB,EACjB,aAAa,EACb,WAAW,EACX,kBAAkB,EAClB,eAAe,EACf,UAAU,EACV,aAAa,EACb,uBAAuB,EACvB,6BAA6B,EAC7B,aAAa,EACb,OAAO,EACP,mBAAmB,GACpB,MAAM,WAAW,CAAC;AAGnB,YAAY,EACV,gBAAgB,EAChB,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,iBAAiB,EACjB,sBAAsB,EACtB,eAAe,GAChB,MAAM,WAAW,CAAC;AAGnB,OAAO,EACL,wBAAwB,EACxB,OAAO,EACP,WAAW,EACX,aAAa,GACd,MAAM,UAAU,CAAC;AAElB,YAAY,EAAE,4BAA4B,EAAE,MAAM,UAAU,CAAC;AAG7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAC"}
package/dist/index.js ADDED
@@ -0,0 +1,14 @@
1
+ /**
2
+ * @the-situation/collateral
3
+ *
4
+ * Off-chain collateral computation for trading between normal distributions.
5
+ *
6
+ * @packageDocumentation
7
+ */
8
+ // Computation
9
+ export { collateralFromMinimum, computeCollateral, computeL2Norm, computeLambda, computeScaledCollateral, DEFAULT_MAX_ITERATIONS, DEFAULT_TOLERANCE, defaultPolicy, findMinimum, getVerifiedMinimum, isOnCorrectSide, isVerified, pdfDifference, pdfDifferenceDerivative, pdfDifferenceSecondDerivative, relaxedPolicy, SQRT_PI, suggestInitialGuess, } from './compute';
10
+ // Verification
11
+ export { computeCollateralAtPoint, isValid, quickVerify, verifyMinimum, } from './verify';
12
+ // Effect-wrapped convenience exports
13
+ export { findMinimumEffect } from './effect';
14
+ //# sourceMappingURL=index.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,cAAc;AACd,OAAO,EACL,qBAAqB,EACrB,iBAAiB,EACjB,aAAa,EACb,aAAa,EACb,uBAAuB,EACvB,sBAAsB,EACtB,iBAAiB,EACjB,aAAa,EACb,WAAW,EACX,kBAAkB,EAClB,eAAe,EACf,UAAU,EACV,aAAa,EACb,uBAAuB,EACvB,6BAA6B,EAC7B,aAAa,EACb,OAAO,EACP,mBAAmB,GACpB,MAAM,WAAW,CAAC;AAanB,eAAe;AACf,OAAO,EACL,wBAAwB,EACxB,OAAO,EACP,WAAW,EACX,aAAa,GACd,MAAM,UAAU,CAAC;AAIlB,qCAAqC;AACrC,OAAO,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAC"}
@@ -0,0 +1,96 @@
1
+ /**
2
+ * Collateral verification for normal distribution trades.
3
+ *
4
+ * Verifies claimed minima and collateral amounts using the same checks
5
+ * performed by the on-chain verifier. This allows pre-flight verification
6
+ * before submitting transactions.
7
+ *
8
+ * ## The Verification Problem
9
+ *
10
+ * A trader claims that x* is the minimum of d(x) = g(x) - f(x), and provides
11
+ * collateral C. We need to verify:
12
+ *
13
+ * 1. **Side check**: x* is on the correct side of μ_f (away from μ_g)
14
+ * 2. **Stationary check**: |d'(x*)| ≤ tolerance (near a critical point)
15
+ * 3. **Curvature check**: d''(x*) > 0 (it's a minimum, not a maximum)
16
+ * 4. **Collateral check**: C ≥ max(0, -d(x*))
17
+ *
18
+ * ## Why Verify Instead of Compute?
19
+ *
20
+ * On-chain computation is expensive. By having traders submit the claimed
21
+ * minimum x* along with their collateral, we can verify the claim cheaply
22
+ * (O(1) evaluations) rather than searching for it (O(n) iterations).
23
+ *
24
+ * @module
25
+ */
26
+ import { NormalDistribution, SQ128x128 } from '@the-situation/core';
27
+ /**
28
+ * Result of collateral verification for a claimed minimum.
29
+ */
30
+ export interface CollateralVerificationResult {
31
+ /** Whether x* is on the correct side of μ_f (away from μ_g) */
32
+ sideValid: boolean;
33
+ /** Whether |d'(x*)| ≤ tolerance (stationary point) */
34
+ stationaryValid: boolean;
35
+ /** Whether d''(x*) > 0 (local minimum, not maximum) */
36
+ curvatureValid: boolean;
37
+ /** The computed collateral: max(0, f(x*) - g(x*)) */
38
+ computedCollateral: SQ128x128;
39
+ /** Whether suppliedCollateral ≥ computedCollateral */
40
+ collateralSufficient: boolean;
41
+ /** Whether all intermediate computations succeeded */
42
+ computationValid: boolean;
43
+ }
44
+ /**
45
+ * Checks if all verification conditions pass.
46
+ *
47
+ * @param v - The verification result
48
+ * @returns True if all checks passed
49
+ */
50
+ export declare function isValid(v: CollateralVerificationResult): boolean;
51
+ /**
52
+ * Verifies a claimed minimum x* of d(x) = g(x) - f(x).
53
+ *
54
+ * This performs the same checks as the on-chain verifier, allowing
55
+ * pre-flight verification before submitting transactions.
56
+ *
57
+ * ## Parameters
58
+ * - `f`: The "from" distribution (d = g - f)
59
+ * - `g`: The "to" distribution
60
+ * - `xStar`: The claimed minimizer
61
+ * - `suppliedCollateral`: The collateral provided by the trader
62
+ * - `tolerance`: Maximum allowed |d'(x*)| for stationary check
63
+ *
64
+ * ## Special Case: Identical Distributions
65
+ * When f = g exactly (same mean AND same variance), d(x) = 0 everywhere.
66
+ * Any x* is a valid minimum with collateral = 0. We treat this as valid
67
+ * even though d''(x) = 0 (flat, not strictly positive curvature), because
68
+ * the collateral requirement is trivially satisfied.
69
+ *
70
+ * @returns A CollateralVerificationResult struct with detailed results of each check
71
+ */
72
+ export declare function verifyMinimum(f: NormalDistribution, g: NormalDistribution, xStar: SQ128x128, suppliedCollateral: SQ128x128, tolerance: SQ128x128): CollateralVerificationResult;
73
+ /**
74
+ * Computes collateral at a point without full verification.
75
+ *
76
+ * Use this when you trust that x* is valid and just need the collateral amount.
77
+ * For on-chain verification, use `verifyMinimum` instead.
78
+ *
79
+ * @param f - The "from" distribution
80
+ * @param g - The "to" distribution
81
+ * @param xStar - The minimum point
82
+ * @returns The collateral amount, or null if computation fails
83
+ */
84
+ export declare function computeCollateralAtPoint(f: NormalDistribution, g: NormalDistribution, xStar: SQ128x128): SQ128x128 | null;
85
+ /**
86
+ * Performs a quick verification check (useful for UI feedback).
87
+ *
88
+ * @param f - The "from" distribution
89
+ * @param g - The "to" distribution
90
+ * @param xStar - The claimed minimum
91
+ * @param suppliedCollateral - The collateral amount
92
+ * @param tolerance - Tolerance for stationary check
93
+ * @returns True if the trade would pass verification
94
+ */
95
+ export declare function quickVerify(f: NormalDistribution, g: NormalDistribution, xStar: SQ128x128, suppliedCollateral: SQ128x128, tolerance: SQ128x128): boolean;
96
+ //# sourceMappingURL=verify.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../src/verify.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAE,kBAAkB,EAAE,SAAS,EAAQ,MAAM,qBAAqB,CAAC;AAa1E;;GAEG;AACH,MAAM,WAAW,4BAA4B;IAC3C,+DAA+D;IAC/D,SAAS,EAAE,OAAO,CAAC;IACnB,sDAAsD;IACtD,eAAe,EAAE,OAAO,CAAC;IACzB,uDAAuD;IACvD,cAAc,EAAE,OAAO,CAAC;IACxB,qDAAqD;IACrD,kBAAkB,EAAE,SAAS,CAAC;IAC9B,sDAAsD;IACtD,oBAAoB,EAAE,OAAO,CAAC;IAC9B,sDAAsD;IACtD,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAED;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,4BAA4B,GAAG,OAAO,CAQhE;AAMD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,aAAa,CAC3B,CAAC,EAAE,kBAAkB,EACrB,CAAC,EAAE,kBAAkB,EACrB,KAAK,EAAE,SAAS,EAChB,kBAAkB,EAAE,SAAS,EAC7B,SAAS,EAAE,SAAS,GACnB,4BAA4B,CAiE9B;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,wBAAwB,CACtC,CAAC,EAAE,kBAAkB,EACrB,CAAC,EAAE,kBAAkB,EACrB,KAAK,EAAE,SAAS,GACf,SAAS,GAAG,IAAI,CAMlB;AAED;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CACzB,CAAC,EAAE,kBAAkB,EACrB,CAAC,EAAE,kBAAkB,EACrB,KAAK,EAAE,SAAS,EAChB,kBAAkB,EAAE,SAAS,EAC7B,SAAS,EAAE,SAAS,GACnB,OAAO,CAGT"}
package/dist/verify.js ADDED
@@ -0,0 +1,155 @@
1
+ /**
2
+ * Collateral verification for normal distribution trades.
3
+ *
4
+ * Verifies claimed minima and collateral amounts using the same checks
5
+ * performed by the on-chain verifier. This allows pre-flight verification
6
+ * before submitting transactions.
7
+ *
8
+ * ## The Verification Problem
9
+ *
10
+ * A trader claims that x* is the minimum of d(x) = g(x) - f(x), and provides
11
+ * collateral C. We need to verify:
12
+ *
13
+ * 1. **Side check**: x* is on the correct side of μ_f (away from μ_g)
14
+ * 2. **Stationary check**: |d'(x*)| ≤ tolerance (near a critical point)
15
+ * 3. **Curvature check**: d''(x*) > 0 (it's a minimum, not a maximum)
16
+ * 4. **Collateral check**: C ≥ max(0, -d(x*))
17
+ *
18
+ * ## Why Verify Instead of Compute?
19
+ *
20
+ * On-chain computation is expensive. By having traders submit the claimed
21
+ * minimum x* along with their collateral, we can verify the claim cheaply
22
+ * (O(1) evaluations) rather than searching for it (O(n) iterations).
23
+ *
24
+ * @module
25
+ */
26
+ import { ZERO } from '@the-situation/core';
27
+ import { collateralFromMinimum, isOnCorrectSide, pdfDifference, pdfDifferenceDerivative, pdfDifferenceSecondDerivative, } from './compute';
28
+ /**
29
+ * Checks if all verification conditions pass.
30
+ *
31
+ * @param v - The verification result
32
+ * @returns True if all checks passed
33
+ */
34
+ export function isValid(v) {
35
+ return (v.sideValid &&
36
+ v.stationaryValid &&
37
+ v.curvatureValid &&
38
+ v.collateralSufficient &&
39
+ v.computationValid);
40
+ }
41
+ // ============================================================================
42
+ // Main Verification Function
43
+ // ============================================================================
44
+ /**
45
+ * Verifies a claimed minimum x* of d(x) = g(x) - f(x).
46
+ *
47
+ * This performs the same checks as the on-chain verifier, allowing
48
+ * pre-flight verification before submitting transactions.
49
+ *
50
+ * ## Parameters
51
+ * - `f`: The "from" distribution (d = g - f)
52
+ * - `g`: The "to" distribution
53
+ * - `xStar`: The claimed minimizer
54
+ * - `suppliedCollateral`: The collateral provided by the trader
55
+ * - `tolerance`: Maximum allowed |d'(x*)| for stationary check
56
+ *
57
+ * ## Special Case: Identical Distributions
58
+ * When f = g exactly (same mean AND same variance), d(x) = 0 everywhere.
59
+ * Any x* is a valid minimum with collateral = 0. We treat this as valid
60
+ * even though d''(x) = 0 (flat, not strictly positive curvature), because
61
+ * the collateral requirement is trivially satisfied.
62
+ *
63
+ * @returns A CollateralVerificationResult struct with detailed results of each check
64
+ */
65
+ export function verifyMinimum(f, g, xStar, suppliedCollateral, tolerance) {
66
+ // Special case: identical distributions (f = g)
67
+ // d(x) = 0 everywhere, any x* is valid, collateral = 0
68
+ if (f.isIdentical(g)) {
69
+ return {
70
+ sideValid: true, // Any side is valid when means are equal
71
+ stationaryValid: true, // d'(x) = 0 everywhere
72
+ curvatureValid: true, // Flat minimum is acceptable
73
+ computedCollateral: ZERO,
74
+ collateralSufficient: !suppliedCollateral.isNegative(),
75
+ computationValid: true,
76
+ };
77
+ }
78
+ // 1. Side check
79
+ const sideValid = isOnCorrectSide(f, g, xStar);
80
+ // 2. Stationary check: |d'(x*)| ≤ tolerance
81
+ let stationaryValid = false;
82
+ let computationValidDeriv = true;
83
+ const dPrime = pdfDifferenceDerivative(f, g, xStar);
84
+ if (dPrime) {
85
+ const absDPrime = dPrime.abs();
86
+ stationaryValid = absDPrime.lte(tolerance);
87
+ }
88
+ else {
89
+ computationValidDeriv = false;
90
+ }
91
+ // 3. Curvature check: d''(x*) > 0
92
+ let curvatureValid = false;
93
+ let computationValidCurvature = true;
94
+ const dDoublePrime = pdfDifferenceSecondDerivative(f, g, xStar);
95
+ if (dDoublePrime) {
96
+ curvatureValid = dDoublePrime.gt(ZERO);
97
+ }
98
+ else {
99
+ computationValidCurvature = false;
100
+ }
101
+ // 4. Compute collateral: C = max(0, f(x*) - g(x*)) = max(0, -d(x*))
102
+ let computedCollateral = ZERO;
103
+ let computationValidCollateral = true;
104
+ const dXStar = pdfDifference(f, g, xStar);
105
+ if (dXStar) {
106
+ computedCollateral = collateralFromMinimum(dXStar);
107
+ }
108
+ else {
109
+ computationValidCollateral = false;
110
+ }
111
+ // 5. Collateral sufficiency check
112
+ const collateralSufficient = suppliedCollateral.gte(computedCollateral);
113
+ const computationValid = computationValidDeriv && computationValidCurvature && computationValidCollateral;
114
+ return {
115
+ sideValid,
116
+ stationaryValid,
117
+ curvatureValid,
118
+ computedCollateral,
119
+ collateralSufficient,
120
+ computationValid,
121
+ };
122
+ }
123
+ /**
124
+ * Computes collateral at a point without full verification.
125
+ *
126
+ * Use this when you trust that x* is valid and just need the collateral amount.
127
+ * For on-chain verification, use `verifyMinimum` instead.
128
+ *
129
+ * @param f - The "from" distribution
130
+ * @param g - The "to" distribution
131
+ * @param xStar - The minimum point
132
+ * @returns The collateral amount, or null if computation fails
133
+ */
134
+ export function computeCollateralAtPoint(f, g, xStar) {
135
+ const d = pdfDifference(f, g, xStar);
136
+ if (!d) {
137
+ return null;
138
+ }
139
+ return collateralFromMinimum(d);
140
+ }
141
+ /**
142
+ * Performs a quick verification check (useful for UI feedback).
143
+ *
144
+ * @param f - The "from" distribution
145
+ * @param g - The "to" distribution
146
+ * @param xStar - The claimed minimum
147
+ * @param suppliedCollateral - The collateral amount
148
+ * @param tolerance - Tolerance for stationary check
149
+ * @returns True if the trade would pass verification
150
+ */
151
+ export function quickVerify(f, g, xStar, suppliedCollateral, tolerance) {
152
+ const result = verifyMinimum(f, g, xStar, suppliedCollateral, tolerance);
153
+ return isValid(result);
154
+ }
155
+ //# sourceMappingURL=verify.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"verify.js","sourceRoot":"","sources":["../src/verify.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAiC,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAC1E,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,aAAa,EACb,uBAAuB,EACvB,6BAA6B,GAC9B,MAAM,WAAW,CAAC;AAwBnB;;;;;GAKG;AACH,MAAM,UAAU,OAAO,CAAC,CAA+B;IACrD,OAAO,CACL,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,eAAe;QACjB,CAAC,CAAC,cAAc;QAChB,CAAC,CAAC,oBAAoB;QACtB,CAAC,CAAC,gBAAgB,CACnB,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,6BAA6B;AAC7B,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,aAAa,CAC3B,CAAqB,EACrB,CAAqB,EACrB,KAAgB,EAChB,kBAA6B,EAC7B,SAAoB;IAEpB,gDAAgD;IAChD,uDAAuD;IACvD,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,OAAO;YACL,SAAS,EAAE,IAAI,EAAE,yCAAyC;YAC1D,eAAe,EAAE,IAAI,EAAE,uBAAuB;YAC9C,cAAc,EAAE,IAAI,EAAE,6BAA6B;YACnD,kBAAkB,EAAE,IAAI;YACxB,oBAAoB,EAAE,CAAC,kBAAkB,CAAC,UAAU,EAAE;YACtD,gBAAgB,EAAE,IAAI;SACvB,CAAC;IACJ,CAAC;IAED,gBAAgB;IAChB,MAAM,SAAS,GAAG,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAE/C,4CAA4C;IAC5C,IAAI,eAAe,GAAG,KAAK,CAAC;IAC5B,IAAI,qBAAqB,GAAG,IAAI,CAAC;IAEjC,MAAM,MAAM,GAAG,uBAAuB,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACpD,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;QAC/B,eAAe,GAAG,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC7C,CAAC;SAAM,CAAC;QACN,qBAAqB,GAAG,KAAK,CAAC;IAChC,CAAC;IAED,kCAAkC;IAClC,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,IAAI,yBAAyB,GAAG,IAAI,CAAC;IAErC,MAAM,YAAY,GAAG,6BAA6B,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAChE,IAAI,YAAY,EAAE,CAAC;QACjB,cAAc,GAAG,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC;SAAM,CAAC;QACN,yBAAyB,GAAG,KAAK,CAAC;IACpC,CAAC;IAED,oEAAoE;IACpE,IAAI,kBAAkB,GAAG,IAAI,CAAC;IAC9B,IAAI,0BAA0B,GAAG,IAAI,CAAC;IAEtC,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAC1C,IAAI,MAAM,EAAE,CAAC;QACX,kBAAkB,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IACrD,CAAC;SAAM,CAAC;QACN,0BAA0B,GAAG,KAAK,CAAC;IACrC,CAAC;IAED,kCAAkC;IAClC,MAAM,oBAAoB,GAAG,kBAAkB,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAExE,MAAM,gBAAgB,GACpB,qBAAqB,IAAI,yBAAyB,IAAI,0BAA0B,CAAC;IAEnF,OAAO;QACL,SAAS;QACT,eAAe;QACf,cAAc;QACd,kBAAkB;QAClB,oBAAoB;QACpB,gBAAgB;KACjB,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,wBAAwB,CACtC,CAAqB,EACrB,CAAqB,EACrB,KAAgB;IAEhB,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACrC,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,qBAAqB,CAAC,CAAC,CAAC,CAAC;AAClC,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,WAAW,CACzB,CAAqB,EACrB,CAAqB,EACrB,KAAgB,EAChB,kBAA6B,EAC7B,SAAoB;IAEpB,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,SAAS,CAAC,CAAC;IACzE,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC;AACzB,CAAC"}
package/package.json ADDED
@@ -0,0 +1,30 @@
1
+ {
2
+ "name": "@the-situation/collateral",
3
+ "version": "0.5.0-alpha.0",
4
+ "description": "Off-chain collateral computation for The Situation prediction markets",
5
+ "type": "module",
6
+ "main": "./dist/index.js",
7
+ "types": "./dist/index.d.ts",
8
+ "exports": {
9
+ ".": {
10
+ "import": "./dist/index.js",
11
+ "types": "./dist/index.d.ts"
12
+ }
13
+ },
14
+ "files": ["dist"],
15
+ "scripts": {
16
+ "build": "tsc -b",
17
+ "typecheck": "tsc -b",
18
+ "test": "bun test src/ 2>/dev/null || true",
19
+ "clean": "rm -rf dist tsconfig.tsbuildinfo"
20
+ },
21
+ "dependencies": {
22
+ "@the-situation/core": "0.5.0-alpha.0",
23
+ "effect": "^3.12.0"
24
+ },
25
+ "devDependencies": {
26
+ "typescript": "^5.4.0",
27
+ "@types/bun": "^1.1.0"
28
+ },
29
+ "license": "MIT"
30
+ }