@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.
- package/dist/compute.d.ts +326 -0
- package/dist/compute.d.ts.map +1 -0
- package/dist/compute.js +786 -0
- package/dist/compute.js.map +1 -0
- package/dist/effect.d.ts +26 -0
- package/dist/effect.d.ts.map +1 -0
- package/dist/effect.js +38 -0
- package/dist/effect.js.map +1 -0
- package/dist/index.d.ts +13 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +14 -0
- package/dist/index.js.map +1 -0
- package/dist/verify.d.ts +96 -0
- package/dist/verify.d.ts.map +1 -0
- package/dist/verify.js +155 -0
- package/dist/verify.js.map +1 -0
- package/package.json +30 -0
|
@@ -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"}
|
package/dist/effect.d.ts
ADDED
|
@@ -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"}
|
package/dist/index.d.ts
ADDED
|
@@ -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"}
|
package/dist/verify.d.ts
ADDED
|
@@ -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
|
+
}
|