@stevenvo780/st-lang 4.8.0 → 4.9.0

package/dist/tests/tooling/mathlib/mathlib.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mathlib.test.js","sourceRoot":"","sources":["../../../../src/tests/tooling/mathlib/mathlib.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,+DAA+D;AAC/D,+BAA+B;AAC/B,+DAA+D;;AAE/D,mCAA8C;AAC9C,sDAgCkC;AAElC,+DAA+D;AAC/D,eAAe;AACf,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,MAAM,OAAO,GAAG,EAAE,GAAG,EAAE,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;IAC/D,MAAM,QAAQ,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAE9B,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,IAAA,qBAAW,EAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,IAAA,eAAM,EAAC,IAAA,yBAAe,EAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,MAAM,GAAG,IAAA,4BAAkB,EAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,iEAAiE;QACjE,MAAM,QAAQ,GAAG,EAAE,GAAG,EAAE,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACzE,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,eAAe;AACf,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IAEtC,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,0BAAgB,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,0BAAgB,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,IAAA,qBAAW,EAAC,0BAAgB,EAAE,MAAM,EAAE,0BAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,IAAA,qBAAW,EAAC,0BAAgB,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,MAAM,GAAG,IAAA,qBAAW,EAAC,0BAAgB,EAAE,MAAM,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,MAAM,GAAG,IAAA,4BAAkB,EAAC,0BAAgB,EAAE,MAAM,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,MAAM,GAAG,IAAA,qBAAW,EAAC,cAAI,EAAE,sBAAY,EAAE,iBAAO,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,cAAI,EAAE,sBAAY,EAAE,iBAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,MAAM,GAAG,IAAA,4BAAkB,EAAC,cAAI,EAAE,sBAAY,EAAE,iBAAO,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,KAAK,MAAM,CAAC,IAAI,sBAAY,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,cAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC5B,MAAM,aAAa,GAAG,cAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACxC,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,cAAc;AACd,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IAEtC,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,IAAA,oBAAU,EAAC,iBAAO,EAAE,MAAM,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,IAAA,eAAM,EAAC,iBAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,iBAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,IAAI,GAAG,iBAAO,CAAC,GAAG,CAAC,EAAE,EAAE,iBAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAClD,MAAM,KAAK,GAAG,iBAAO,CAAC,GAAG,CAAC,iBAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,iBAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,6EAA6E;QAC7E,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,CAAS,EAAsB,EAAE,CAC1D,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,iBAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,EAAE,CAAC,CAAC;QACpB,MAAM,MAAM,GAAG,IAAA,oBAAU,EAAC,CAAC,EAAE,IAAA,uBAAa,EAAC,EAAE,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,EAAE,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,CAAC,EAAE,IAAA,uBAAa,EAAC,EAAE,CAAC,EAAE,IAAA,kBAAQ,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,EAAE,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,CAAC,EAAE,IAAA,uBAAa,EAAC,EAAE,CAAC,EAAE,IAAA,kBAAQ,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,EAAE,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,CAAC,EAAE,IAAA,uBAAa,EAAC,EAAE,CAAC,EAAE,IAAA,kBAAQ,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,EAAE,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,CAAC,EAAE,IAAA,uBAAa,EAAC,EAAE,CAAC,EAAE,IAAA,kBAAQ,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,EAAE,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,EAAE,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,MAAM,MAAM,GAAG;QACb,IAAA,kBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC;QAChB,IAAA,kBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC;QAChB,IAAA,kBAAQ,EAAC,CAAC,EAAE,EAAE,EAAE,CAAC;QACjB,IAAA,kBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC;QAChB,IAAA,kBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC;KACjB,CAAC;IAEF,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,MAAM,GAAG,IAAA,oBAAU,EAAC,wBAAc,EAAE,MAAM,EAAE,oBAAU,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,wBAAc,EAAE,MAAM,EAAE,qBAAW,EAAE,oBAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAA,kBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,IAAA,qBAAW,EAAC,IAAA,kBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAA,kBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAA,kBAAQ,EAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,kBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,SAAS;AACT,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,yBAAe,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,KAAK,MAAM,CAAC,IAAI,yBAAe,EAAE,CAAC;YAChC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,KAAK,GAAG,yBAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG;YACb,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,EAAE;YACZ,UAAU,EAAE,IAAI,GAAG,CAA0C,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACxF,MAAM,EAAE,EAAE;SACX,CAAC;QACF,IAAA,eAAM,EAAC,KAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GAAG,yBAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,0BAA0B,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG;YACd,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,EAAE;YACZ,UAAU,EAAE,IAAI,GAAG,CAA0C,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACzF,MAAM,EAAE,EAAE;SACX,CAAC;QACF,IAAA,eAAM,EAAC,KAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/type-theory/effects/effects.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=effects.test.d.ts.map

package/dist/tests/type-theory/effects/effects.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects.test.d.ts","sourceRoot":"","sources":["../../../../src/tests/type-theory/effects/effects.test.ts"],"names":[],"mappings":""}

package/dist/tests/type-theory/effects/effects.test.js

@@ -0,0 +1,242 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const effects_1 = require("../../../type-theory/effects");
+(0, vitest_1.describe)('effects / núcleo', () => {
+    (0, vitest_1.it)('pure(42) ejecutado con run devuelve 42', () => {
+        const eff = (0, effects_1.pure)(42);
+        (0, vitest_1.expect)((0, effects_1.run)(eff)).toBe(42);
+    });
+    (0, vitest_1.it)('bind(pure(1), x => pure(x+1)) ↦ 2', () => {
+        const eff = (0, effects_1.bind)((0, effects_1.pure)(1), (x) => (0, effects_1.pure)(x + 1));
+        (0, vitest_1.expect)((0, effects_1.run)(eff)).toBe(2);
+    });
+    (0, vitest_1.it)('map aplica función pura al resultado', () => {
+        const eff = (0, effects_1.map)((0, effects_1.pure)(10), (x) => x * 3);
+        (0, vitest_1.expect)((0, effects_1.run)(eff)).toBe(30);
+    });
+    (0, vitest_1.it)('sequence colecta resultados en orden', () => {
+        const effs = [(0, effects_1.pure)(1), (0, effects_1.pure)(2), (0, effects_1.pure)(3), (0, effects_1.pure)(4)];
+        (0, vitest_1.expect)((0, effects_1.run)((0, effects_1.sequence)(effs))).toEqual([1, 2, 3, 4]);
+    });
+    (0, vitest_1.it)('bind respeta la ley de identidad izquierda: pure(a) >>= f ≡ f(a)', () => {
+        const f = (x) => (0, effects_1.pure)(x * 2);
+        const lhs = (0, effects_1.bind)((0, effects_1.pure)(5), f);
+        const rhs = f(5);
+        (0, vitest_1.expect)((0, effects_1.run)(lhs)).toBe((0, effects_1.run)(rhs));
+    });
+    (0, vitest_1.it)('bind respeta la ley de identidad derecha: m >>= pure ≡ m', () => {
+        const m = (0, effects_1.pure)(7);
+        const lhs = (0, effects_1.bind)(m, (a) => (0, effects_1.pure)(a));
+        (0, vitest_1.expect)((0, effects_1.run)(lhs)).toBe((0, effects_1.run)(m));
+    });
+    (0, vitest_1.it)('bind respeta asociatividad: (m >>= f) >>= g ≡ m >>= (x => f(x) >>= g)', () => {
+        const m = (0, effects_1.pure)(3);
+        const f = (x) => (0, effects_1.pure)(x + 1);
+        const g = (x) => (0, effects_1.pure)(x * 10);
+        const lhs = (0, effects_1.bind)((0, effects_1.bind)(m, f), g);
+        const rhs = (0, effects_1.bind)(m, (x) => (0, effects_1.bind)(f(x), g));
+        (0, vitest_1.expect)((0, effects_1.run)(lhs)).toBe((0, effects_1.run)(rhs));
+    });
+});
+(0, vitest_1.describe)('effects / State', () => {
+    (0, vitest_1.it)('getState devuelve el estado inicial', () => {
+        const { result, state } = (0, effects_1.runState)((0, effects_1.getState)(), 100);
+        (0, vitest_1.expect)(result).toBe(100);
+        (0, vitest_1.expect)(state).toBe(100);
+    });
+    (0, vitest_1.it)('putState sobrescribe el estado y devuelve undefined', () => {
+        const { result, state } = (0, effects_1.runState)((0, effects_1.putState)(99), 0);
+        (0, vitest_1.expect)(result).toBeUndefined();
+        (0, vitest_1.expect)(state).toBe(99);
+    });
+    (0, vitest_1.it)('getState luego putState modifica estado', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.getState)(), (s) => (0, effects_1.putState)(s + 1));
+        const { state } = (0, effects_1.runState)(prog, 41);
+        (0, vitest_1.expect)(state).toBe(42);
+    });
+    (0, vitest_1.it)('counter: incrementa N veces y devuelve el final', () => {
+        function counterLoop(n) {
+            if (n === 0)
+                return (0, effects_1.getState)();
+            return (0, effects_1.bind)((0, effects_1.modify)((s) => s + 1), () => counterLoop(n - 1));
+        }
+        const { result, state } = (0, effects_1.runState)(counterLoop(5), 0);
+        (0, vitest_1.expect)(state).toBe(5);
+        (0, vitest_1.expect)(result).toBe(5);
+    });
+    (0, vitest_1.it)('modify ≡ get >>= (s -> put (fn s))', () => {
+        const fn = (s) => s * 2 + 1;
+        const viaModify = (0, effects_1.runState)((0, effects_1.modify)(fn), 4);
+        const viaGetPut = (0, effects_1.runState)((0, effects_1.bind)((0, effects_1.getState)(), (s) => (0, effects_1.putState)(fn(s))), 4);
+        (0, vitest_1.expect)(viaModify.state).toBe(viaGetPut.state);
+        (0, vitest_1.expect)(viaModify.state).toBe(9);
+    });
+    (0, vitest_1.it)('runState propaga estado a través de un cómputo no trivial', () => {
+        // prog: lee, multiplica por 3, escribe; lee, suma 1, escribe; lee
+        const prog = (0, effects_1.bind)((0, effects_1.getState)(), (s1) => (0, effects_1.bind)((0, effects_1.putState)(s1 * 3), () => (0, effects_1.bind)((0, effects_1.getState)(), (s2) => (0, effects_1.bind)((0, effects_1.putState)(s2 + 1), () => (0, effects_1.getState)()))));
+        const { result, state } = (0, effects_1.runState)(prog, 10);
+        (0, vitest_1.expect)(result).toBe(31);
+        (0, vitest_1.expect)(state).toBe(31);
+    });
+});
+(0, vitest_1.describe)('effects / Reader', () => {
+    (0, vitest_1.it)('ask devuelve el ambiente', () => {
+        (0, vitest_1.expect)((0, effects_1.runReader)((0, effects_1.ask)(), 'hola')).toBe('hola');
+    });
+    (0, vitest_1.it)('asks proyecta el ambiente', () => {
+        const prog = (0, effects_1.asks)((r) => r.name.toUpperCase());
+        (0, vitest_1.expect)((0, effects_1.runReader)(prog, { name: 'alice', age: 30 })).toBe('ALICE');
+    });
+    (0, vitest_1.it)('runReader provee el mismo env a múltiples ask', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.ask)(), (a) => (0, effects_1.bind)((0, effects_1.ask)(), (b) => (0, effects_1.pure)(a + b)));
+        (0, vitest_1.expect)((0, effects_1.runReader)(prog, 21)).toBe(42);
+    });
+});
+(0, vitest_1.describe)('effects / Writer', () => {
+    (0, vitest_1.it)('tell + tell + return: log es lista de tells', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.tell)('a'), () => (0, effects_1.bind)((0, effects_1.tell)('b'), () => (0, effects_1.bind)((0, effects_1.tell)('c'), () => (0, effects_1.pure)(42))));
+        const { result, log } = (0, effects_1.runWriter)(prog, effects_1.stringMonoid);
+        (0, vitest_1.expect)(result).toBe(42);
+        (0, vitest_1.expect)(log).toBe('abc');
+    });
+    (0, vitest_1.it)('Writer con monoide de listas concatena en orden', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.tell)([1, 2]), () => (0, effects_1.bind)((0, effects_1.tell)([3]), () => (0, effects_1.bind)((0, effects_1.tell)([4, 5]), () => (0, effects_1.pure)('done'))));
+        const { result, log } = (0, effects_1.runWriter)(prog, (0, effects_1.listMonoid)());
+        (0, vitest_1.expect)(result).toBe('done');
+        (0, vitest_1.expect)(log).toEqual([1, 2, 3, 4, 5]);
+    });
+    (0, vitest_1.it)('Writer con monoide aditivo suma los tells', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.tell)(10), () => (0, effects_1.bind)((0, effects_1.tell)(20), () => (0, effects_1.bind)((0, effects_1.tell)(30), () => (0, effects_1.pure)('ok'))));
+        const { result, log } = (0, effects_1.runWriter)(prog, effects_1.sumMonoid);
+        (0, vitest_1.expect)(result).toBe('ok');
+        (0, vitest_1.expect)(log).toBe(60);
+    });
+});
+(0, vitest_1.describe)('effects / Exception', () => {
+    (0, vitest_1.it)('throw aborta el cómputo (la cont nunca corre)', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.throw_)('boom'), (_unused) => {
+            // Esto NO debe ejecutarse: la continuación tras throw es inalcanzable.
+            throw new Error('continuación no debería invocarse');
+        });
+        const r = (0, effects_1.runException)(prog);
+        (0, vitest_1.expect)(r).toEqual({ kind: 'error', error: 'boom' });
+    });
+    (0, vitest_1.it)('runException captura throw y devuelve error', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.pure)(1), () => (0, effects_1.throw_)({ code: 404 }));
+        const r = (0, effects_1.runException)(prog);
+        (0, vitest_1.expect)(r.kind).toBe('error');
+        if (r.kind === 'error')
+            (0, vitest_1.expect)(r.error.code).toBe(404);
+    });
+    (0, vitest_1.it)('runException sobre cómputo puro devuelve ok', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.pure)(1), (x) => (0, effects_1.pure)(x + 1));
+        const r = (0, effects_1.runException)(prog);
+        (0, vitest_1.expect)(r).toEqual({ kind: 'ok', value: 2 });
+    });
+});
+(0, vitest_1.describe)('effects / composición de efectos', () => {
+    (0, vitest_1.it)('State + Reader: cuenta por env, lee estado final', () => {
+        // Programa: inc el estado por `env.amount`; devuelve estado final.
+        const prog = (0, effects_1.bind)((0, effects_1.ask)(), (env) => (0, effects_1.bind)((0, effects_1.modify)((s) => s + env.amount), () => (0, effects_1.getState)()));
+        // Aplicamos primero Reader (peel) y luego State (terminal).
+        const afterReader = (0, effects_1.handleReader)(prog, { amount: 7 });
+        const { result, state } = (0, effects_1.runState)(afterReader, 100);
+        (0, vitest_1.expect)(result).toBe(107);
+        (0, vitest_1.expect)(state).toBe(107);
+    });
+    (0, vitest_1.it)('State + Writer: cada paso registra el log y muta estado', () => {
+        function step(label, delta) {
+            return (0, effects_1.bind)((0, effects_1.tell)([label]), () => (0, effects_1.bind)((0, effects_1.modify)((s) => s + delta), () => (0, effects_1.pure)(undefined)));
+        }
+        const prog = (0, effects_1.bind)(step('a', 1), () => (0, effects_1.bind)(step('b', 2), () => step('c', 3)));
+        const afterWriter = (0, effects_1.handleWriter)(prog, (0, effects_1.listMonoid)());
+        const { result, state } = (0, effects_1.runState)(afterWriter, 0);
+        (0, vitest_1.expect)(state).toBe(6);
+        (0, vitest_1.expect)(result.log).toEqual(['a', 'b', 'c']);
+    });
+    (0, vitest_1.it)('Exception + State: throw devuelve error con estado en el momento del fallo', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.modify)((s) => s + 1), () => (0, effects_1.bind)((0, effects_1.modify)((s) => s + 1), () => (0, effects_1.bind)((0, effects_1.throw_)('halt'), () => (0, effects_1.getState)())));
+        // Capturamos la excepción dejando intactos los efectos de estado y
+        // luego ejecutamos runState (que ve sólo State).
+        const caught = (0, effects_1.handleException)(prog);
+        const { result, state } = (0, effects_1.runState)(caught, 0);
+        (0, vitest_1.expect)(result).toEqual({ kind: 'error', error: 'halt' });
+        (0, vitest_1.expect)(state).toBe(2);
+    });
+    (0, vitest_1.it)('Reader + Writer + State: stack triple, cada efecto independiente', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.ask)(), (env) => (0, effects_1.bind)((0, effects_1.tell)([`env=${env}`]), () => (0, effects_1.bind)((0, effects_1.modify)((s) => s + env), () => (0, effects_1.bind)((0, effects_1.getState)(), (s) => (0, effects_1.bind)((0, effects_1.tell)([`state=${s}`]), () => (0, effects_1.pure)(s))))));
+        const a1 = (0, effects_1.handleReader)(prog, 10);
+        const a2 = (0, effects_1.handleWriter)(a1, (0, effects_1.listMonoid)());
+        const { result, state } = (0, effects_1.runState)(a2, 5);
+        (0, vitest_1.expect)(state).toBe(15);
+        (0, vitest_1.expect)(result.result).toBe(15);
+        (0, vitest_1.expect)(result.log).toEqual(['env=10', 'state=15']);
+    });
+    (0, vitest_1.it)('handleException sobre Reader + Exception: error short-circuit', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.ask)(), (env) => env > 0 ? (0, effects_1.pure)(env) : (0, effects_1.bind)((0, effects_1.throw_)('non-positive'), () => (0, effects_1.pure)(-1)));
+        const r1 = (0, effects_1.runException)((0, effects_1.handleReader)(prog, 7));
+        (0, vitest_1.expect)(r1).toEqual({ kind: 'ok', value: 7 });
+        const r2 = (0, effects_1.runException)((0, effects_1.handleReader)(prog, -1));
+        (0, vitest_1.expect)(r2).toEqual({ kind: 'error', error: 'non-positive' });
+    });
+    (0, vitest_1.it)('handle: handler genérico custom (Log) procesa una sola operación', () => {
+        // Definimos un efecto custom 'Log' y un handler que acumula mensajes.
+        const logProg = (0, effects_1.bind)((0, effects_1.perform)('Log', 'first'), () => (0, effects_1.bind)((0, effects_1.perform)('Log', 'second'), () => (0, effects_1.pure)(42)));
+        const collected = [];
+        const logHandler = {
+            effect: 'Log',
+            handle: (input, continuation) => {
+                collected.push(input);
+                return continuation(undefined);
+            },
+        };
+        const result = (0, effects_1.run)((0, effects_1.handle)(logProg, logHandler));
+        (0, vitest_1.expect)(result).toBe(42);
+        (0, vitest_1.expect)(collected).toEqual(['first', 'second']);
+    });
+    (0, vitest_1.it)('handle: handler ignora efectos de otro tag', () => {
+        // Programa con dos operaciones distintas; el handler de 'A' deja 'B' intacto.
+        const prog = (0, effects_1.bind)((0, effects_1.perform)('A', 10), (x) => (0, effects_1.bind)((0, effects_1.perform)('B', x + 1), (y) => (0, effects_1.pure)(y * 2)));
+        // Handler que duplica el input de 'A' como su output.
+        const handlerA = {
+            effect: 'A',
+            handle: (input, continuation) => continuation(input * 2),
+        };
+        // Handler que retorna el input de 'B' inalterado.
+        const handlerB = {
+            effect: 'B',
+            handle: (input, continuation) => continuation(input),
+        };
+        const stage1 = (0, effects_1.handle)(prog, handlerA);
+        const stage2 = (0, effects_1.handle)(stage1, handlerB);
+        // A(10) -> 20 ; B(21) -> 21 ; * 2 = 42
+        (0, vitest_1.expect)((0, effects_1.run)(stage2)).toBe(42);
+    });
+    (0, vitest_1.it)('handleState (componible) produce Eff<R, {result, state}> sin ejecutar', () => {
+        // Verifica que handleState devuelve un Eff puro cuando no quedan otros
+        // efectos, y que su valor coincide con runState.
+        const prog = (0, effects_1.bind)((0, effects_1.modify)((s) => s + 5), () => (0, effects_1.getState)());
+        const handled = (0, effects_1.handleState)(prog, 10);
+        // Como ya no quedan efectos, handled debe ser pure({ result, state }).
+        (0, vitest_1.expect)(handled.kind).toBe('pure');
+        if (handled.kind === 'pure') {
+            (0, vitest_1.expect)(handled.value.result).toBe(15);
+            (0, vitest_1.expect)(handled.value.state).toBe(15);
+        }
+    });
+});
+(0, vitest_1.describe)('effects / sequence con efectos', () => {
+    (0, vitest_1.it)('sequence sobre State acumula correctamente', () => {
+        const steps = [
+            (0, effects_1.bind)((0, effects_1.modify)((s) => s + 1), () => (0, effects_1.getState)()),
+            (0, effects_1.bind)((0, effects_1.modify)((s) => s * 2), () => (0, effects_1.getState)()),
+            (0, effects_1.bind)((0, effects_1.modify)((s) => s - 3), () => (0, effects_1.getState)()),
+        ];
+        const { result, state } = (0, effects_1.runState)((0, effects_1.sequence)(steps), 10);
+        // 10 -> 11 -> 22 -> 19
+        (0, vitest_1.expect)(result).toEqual([11, 22, 19]);
+        (0, vitest_1.expect)(state).toBe(19);
+    });
+});
+//# sourceMappingURL=effects.test.js.map

package/dist/tests/type-theory/effects/effects.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects.test.js","sourceRoot":"","sources":["../../../../src/tests/type-theory/effects/effects.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,0DA0BsC;AAGtC,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAG,IAAA,cAAI,EAAC,EAAE,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,IAAA,aAAG,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,aAAG,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,IAAA,aAAG,EAAC,IAAA,cAAI,EAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,aAAG,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,IAAI,GAAyB,CAAC,IAAA,cAAI,EAAC,CAAC,CAAC,EAAE,IAAA,cAAI,EAAC,CAAC,CAAC,EAAE,IAAA,cAAI,EAAC,CAAC,CAAC,EAAE,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,IAAA,aAAG,EAAC,IAAA,kBAAQ,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,MAAM,GAAG,GAAG,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,IAAA,eAAM,EAAC,IAAA,aAAG,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,aAAG,EAAC,GAAG,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC;QAClB,MAAM,GAAG,GAAG,IAAA,cAAI,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,aAAG,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC;QAClB,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,IAAA,cAAI,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,aAAG,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,aAAG,EAAC,GAAG,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,kBAAQ,EAAC,IAAA,kBAAQ,GAAU,EAAE,GAAG,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,kBAAQ,EAAC,IAAA,kBAAQ,EAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,aAAa,EAAE,CAAC;QAC/B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,kBAAQ,GAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,kBAAQ,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9D,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,kBAAQ,EAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,SAAS,WAAW,CAAC,CAAS;YAC5B,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,IAAA,kBAAQ,GAAU,CAAC;YACvC,OAAO,IAAA,cAAI,EACT,IAAA,gBAAM,EAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAC5B,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CACzB,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,kBAAQ,EAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,SAAS,GAAG,IAAA,kBAAQ,EAAC,IAAA,gBAAM,EAAS,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,IAAA,kBAAQ,EACxB,IAAA,cAAI,EAAC,IAAA,kBAAQ,GAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,kBAAQ,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAChD,CAAC,CACF,CAAC;QACF,IAAA,eAAM,EAAC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,kEAAkE;QAClE,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,kBAAQ,GAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAC3C,IAAA,cAAI,EAAC,IAAA,kBAAQ,EAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAC1B,IAAA,cAAI,EAAC,IAAA,kBAAQ,GAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,IAAA,kBAAQ,EAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,kBAAQ,GAAU,CAAC,CAAC,CACnF,CACF,CAAC;QACF,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,kBAAQ,EAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,IAAA,aAAG,GAAU,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,IAAI,GAAG,IAAA,cAAI,EAAwC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QACtF,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,aAAG,GAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,IAAA,aAAG,GAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3F,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,IAAA,mBAAS,EAAC,IAAI,EAAE,sBAAY,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CACnC,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,MAAM,CAAC,CAAC,CAAC,CAC9D,CAAC;QACF,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,IAAA,mBAAS,EAAC,IAAI,EAAE,IAAA,oBAAU,GAAU,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1F,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,IAAA,mBAAS,EAAC,IAAI,EAAE,mBAAS,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,gBAAM,EAAS,MAAM,CAAC,EAAE,CAAC,OAAc,EAAqB,EAAE;YAC9E,uEAAuE;YACvE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,sBAAY,EAAgB,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,gBAAM,EAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,GAAG,IAAA,sBAAY,EAA0B,IAAI,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,IAAA,sBAAY,EAAiB,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,mEAAmE;QACnE,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,aAAG,GAAsB,EAAE,CAAC,GAAG,EAAE,EAAE,CACnD,IAAA,cAAI,EACF,IAAA,gBAAM,EAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,EACrC,GAAG,EAAE,CAAC,IAAA,kBAAQ,GAAU,CACzB,CACF,CAAC;QACF,4DAA4D;QAC5D,MAAM,WAAW,GAAG,IAAA,sBAAY,EAAsC,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3F,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,kBAAQ,EAAiB,WAAW,EAAE,GAAG,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,SAAS,IAAI,CAAC,KAAa,EAAE,KAAa;YACxC,OAAO,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,CAC9B,IAAA,cAAI,EACF,IAAA,gBAAM,EAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,EAChC,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,SAAS,CAAC,CACtB,CACF,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,WAAW,GAAG,IAAA,sBAAY,EAA0B,IAAI,EAAE,IAAA,oBAAU,GAAU,CAAC,CAAC;QACtF,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,kBAAQ,EAA0C,WAAW,EAAE,CAAC,CAAC,CAAC;QAC5F,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,IAAI,GAAG,IAAA,cAAI,EACf,IAAA,gBAAM,EAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAC5B,GAAG,EAAE,CACH,IAAA,cAAI,EACF,IAAA,gBAAM,EAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAC5B,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,IAAA,gBAAM,EAAS,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,kBAAQ,GAAU,CAAC,CAC7D,CACJ,CAAC;QACF,mEAAmE;QACnE,iDAAiD;QACjD,MAAM,MAAM,GAAG,IAAA,yBAAe,EAA0B,IAAI,CAAC,CAAC;QAC9D,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,kBAAQ,EAGhC,MAAM,EAAE,CAAC,CAAC,CAAC;QACb,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,aAAG,GAAU,EAAE,CAAC,GAAG,EAAE,EAAE,CACvC,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAC9B,IAAA,cAAI,EACF,IAAA,gBAAM,EAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,EAC9B,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,IAAA,kBAAQ,GAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC,CAAC,CACjF,CACF,CACF,CAAC;QACF,MAAM,EAAE,GAAG,IAAA,sBAAY,EAA0B,IAAI,EAAE,EAAE,CAAC,CAAC;QAC3D,MAAM,EAAE,GAAG,IAAA,sBAAY,EAA4B,EAAE,EAAE,IAAA,oBAAU,GAAU,CAAC,CAAC;QAC7E,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,kBAAQ,EAA4C,EAAE,EAAE,CAAC,CAAC,CAAC;QACrF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,aAAG,GAAU,EAAE,CAAC,GAAG,EAAE,EAAE,CACvC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAA,cAAI,EAAC,IAAA,gBAAM,EAAS,cAAc,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC,CAAC,CAC3E,CAAC;QACF,MAAM,EAAE,GAAG,IAAA,sBAAY,EAAiB,IAAA,sBAAY,EAA0B,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACxF,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7C,MAAM,EAAE,GAAG,IAAA,sBAAY,EAAiB,IAAA,sBAAY,EAA0B,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACzF,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,sEAAsE;QACtE,MAAM,OAAO,GAAG,IAAA,cAAI,EAAC,IAAA,iBAAO,EAA2B,KAAK,EAAE,OAAO,CAAC,EAAE,GAAG,EAAE,CAC3E,IAAA,cAAI,EAAC,IAAA,iBAAO,EAA2B,KAAK,EAAE,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,EAAE,CAAC,CAAC,CACzE,CAAC;QACF,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAoD;YAClE,MAAM,EAAE,KAAK;YACb,MAAM,EAAE,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE;gBAC9B,SAAS,CAAC,IAAI,CAAC,KAAe,CAAC,CAAC;gBAChC,OAAO,YAAY,CAAC,SAAS,CAAC,CAAC;YACjC,CAAC;SACF,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,aAAG,EAAC,IAAA,gBAAM,EAAyB,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,8EAA8E;QAC9E,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,iBAAO,EAAsB,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAC7D,IAAA,cAAI,EAAC,IAAA,iBAAO,EAAsB,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CACnE,CAAC;QACF,sDAAsD;QACtD,MAAM,QAAQ,GAAoD;YAChE,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,CAAC,YAAY,CAAE,KAAgB,GAAG,CAAC,CAAC;SACrE,CAAC;QACF,kDAAkD;QAClD,MAAM,QAAQ,GAAoD;YAChE,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,CAAC,YAAY,CAAC,KAAe,CAAC;SAC/D,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,gBAAM,EAA2B,IAAI,EAAE,QAAQ,CAAC,CAAC;QAChE,MAAM,MAAM,GAAG,IAAA,gBAAM,EAAyB,MAAM,EAAE,QAAQ,CAAC,CAAC;QAChE,uCAAuC;QACvC,IAAA,eAAM,EAAC,IAAA,aAAG,EAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,uEAAuE;QACvE,iDAAiD;QACjD,MAAM,IAAI,GAAG,IAAA,cAAI,EACf,IAAA,gBAAM,EAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAC5B,GAAG,EAAE,CAAC,IAAA,kBAAQ,GAAU,CACzB,CAAC;QACF,MAAM,OAAO,GAAG,IAAA,qBAAW,EAAwB,IAAI,EAAE,EAAE,CAAC,CAAC;QAC7D,uEAAuE;QACvE,IAAA,eAAM,EAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC5B,IAAA,eAAM,EAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACtC,IAAA,eAAM,EAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAA2B;YACpC,IAAA,cAAI,EACF,IAAA,gBAAM,EAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAC5B,GAAG,EAAE,CAAC,IAAA,kBAAQ,GAAU,CACzB;YACD,IAAA,cAAI,EACF,IAAA,gBAAM,EAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAC5B,GAAG,EAAE,CAAC,IAAA,kBAAQ,GAAU,CACzB;YACD,IAAA,cAAI,EACF,IAAA,gBAAM,EAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAC5B,GAAG,EAAE,CAAC,IAAA,kBAAQ,GAAU,CACzB;SACF,CAAC;QACF,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,kBAAQ,EAAmB,IAAA,kBAAQ,EAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QAC1E,uBAAuB;QACvB,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tooling/mathlib/group.d.ts

@@ -0,0 +1,27 @@
+import type { Group, Magma, VerificationResult } from './types';
+/**
+ * (a · b) · c = a · (b · c) para todo a,b,c en el muestreo.
+ */
+export declare function isAssociative<T>(m: Magma<T>, elements: T[], eq?: (a: T, b: T) => boolean): boolean;
+/**
+ * a · b = b · a para todo a,b. Falla rápido si encuentra contraejemplo.
+ */
+export declare function isCommutative<T>(m: Magma<T>, elements: T[], eq?: (a: T, b: T) => boolean): boolean;
+/**
+ * Para todo a: id · a = a ∧ a · id = a.
+ */
+export declare function hasIdentity<T>(m: Magma<T>, elements: T[], id: T, eq?: (a: T, b: T) => boolean): boolean;
+/**
+ * Para todo a: a · a⁻¹ = id ∧ a⁻¹ · a = id.
+ */
+export declare function hasInverses<T>(g: Group<T>, elements: T[], eq?: (a: T, b: T) => boolean): boolean;
+/**
+ * Verifica los 4 axiomas de grupo: clausura (implícita en el tipo),
+ * asociatividad, identidad e inversos. Reporta qué axiomas fallaron.
+ */
+export declare function verifyGroup<T>(g: Group<T>, elements: T[], eq?: (a: T, b: T) => boolean): VerificationResult;
+/**
+ * Verifica que un grupo es abeliano (verifyGroup + conmutatividad).
+ */
+export declare function verifyAbelianGroup<T>(g: Group<T>, elements: T[], eq?: (a: T, b: T) => boolean): VerificationResult;
+//# sourceMappingURL=group.d.ts.map

package/dist/tooling/mathlib/group.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"group.d.ts","sourceRoot":"","sources":["../../../src/tooling/mathlib/group.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,kBAAkB,EAAE,MAAM,SAAS,CAAC;AAEhE;;GAEG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAC7B,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EACX,QAAQ,EAAE,CAAC,EAAE,EACb,EAAE,GAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAA2B,GAC9C,OAAO,CAWT;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAC7B,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EACX,QAAQ,EAAE,CAAC,EAAE,EACb,EAAE,GAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAA2B,GAC9C,OAAO,CAOT;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAC3B,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EACX,QAAQ,EAAE,CAAC,EAAE,EACb,EAAE,EAAE,CAAC,EACL,EAAE,GAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAA2B,GAC9C,OAAO,CAMT;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAC3B,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EACX,QAAQ,EAAE,CAAC,EAAE,EACb,EAAE,GAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAA2B,GAC9C,OAAO,CAOT;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAC3B,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EACX,QAAQ,EAAE,CAAC,EAAE,EACb,EAAE,GAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAA2B,GAC9C,kBAAkB,CAMpB;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,EAClC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EACX,QAAQ,EAAE,CAAC,EAAE,EACb,EAAE,GAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAA2B,GAC9C,kBAAkB,CAIpB"}

package/dist/tooling/mathlib/group.js

@@ -0,0 +1,89 @@
+"use strict";
+// ============================================================
+// ST Mathlib — Group theory
+// Axiomas: asociatividad, identidad, inversos, conmutatividad.
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isAssociative = isAssociative;
+exports.isCommutative = isCommutative;
+exports.hasIdentity = hasIdentity;
+exports.hasInverses = hasInverses;
+exports.verifyGroup = verifyGroup;
+exports.verifyAbelianGroup = verifyAbelianGroup;
+/**
+ * (a · b) · c = a · (b · c) para todo a,b,c en el muestreo.
+ */
+function isAssociative(m, elements, eq = (a, b) => a === b) {
+    for (const a of elements) {
+        for (const b of elements) {
+            for (const c of elements) {
+                const left = m.op(m.op(a, b), c);
+                const right = m.op(a, m.op(b, c));
+                if (!eq(left, right))
+                    return false;
+            }
+        }
+    }
+    return true;
+}
+/**
+ * a · b = b · a para todo a,b. Falla rápido si encuentra contraejemplo.
+ */
+function isCommutative(m, elements, eq = (a, b) => a === b) {
+    for (const a of elements) {
+        for (const b of elements) {
+            if (!eq(m.op(a, b), m.op(b, a)))
+                return false;
+        }
+    }
+    return true;
+}
+/**
+ * Para todo a: id · a = a ∧ a · id = a.
+ */
+function hasIdentity(m, elements, id, eq = (a, b) => a === b) {
+    for (const a of elements) {
+        if (!eq(m.op(id, a), a))
+            return false;
+        if (!eq(m.op(a, id), a))
+            return false;
+    }
+    return true;
+}
+/**
+ * Para todo a: a · a⁻¹ = id ∧ a⁻¹ · a = id.
+ */
+function hasInverses(g, elements, eq = (a, b) => a === b) {
+    for (const a of elements) {
+        const inv = g.inverse(a);
+        if (!eq(g.op(a, inv), g.identity))
+            return false;
+        if (!eq(g.op(inv, a), g.identity))
+            return false;
+    }
+    return true;
+}
+/**
+ * Verifica los 4 axiomas de grupo: clausura (implícita en el tipo),
+ * asociatividad, identidad e inversos. Reporta qué axiomas fallaron.
+ */
+function verifyGroup(g, elements, eq = (a, b) => a === b) {
+    const failures = [];
+    if (!isAssociative(g, elements, eq))
+        failures.push('asociatividad');
+    if (!hasIdentity(g, elements, g.identity, eq))
+        failures.push('identidad');
+    if (!hasInverses(g, elements, eq))
+        failures.push('inversos');
+    return { valid: failures.length === 0, failures };
+}
+/**
+ * Verifica que un grupo es abeliano (verifyGroup + conmutatividad).
+ */
+function verifyAbelianGroup(g, elements, eq = (a, b) => a === b) {
+    const base = verifyGroup(g, elements, eq);
+    if (!isCommutative(g, elements, eq))
+        base.failures.push('conmutatividad');
+    return { valid: base.failures.length === 0, failures: base.failures };
+}
+//# sourceMappingURL=group.js.map

package/dist/tooling/mathlib/group.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"group.js","sourceRoot":"","sources":["../../../src/tooling/mathlib/group.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,4BAA4B;AAC5B,+DAA+D;AAC/D,+DAA+D;;AAO/D,sCAeC;AAKD,sCAWC;AAKD,kCAWC;AAKD,kCAWC;AAMD,kCAUC;AAKD,gDAQC;AA/FD;;GAEG;AACH,SAAgB,aAAa,CAC3B,CAAW,EACX,QAAa,EACb,KAA8B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;IAE/C,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,MAAM,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACjC,MAAM,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAClC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;oBAAE,OAAO,KAAK,CAAC;YACrC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAgB,aAAa,CAC3B,CAAW,EACX,QAAa,EACb,KAA8B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;IAE/C,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;QAChD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAgB,WAAW,CACzB,CAAW,EACX,QAAa,EACb,EAAK,EACL,KAA8B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;IAE/C,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QACtC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IACxC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAgB,WAAW,CACzB,CAAW,EACX,QAAa,EACb,KAA8B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;IAE/C,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QAChD,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;IAClD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,SAAgB,WAAW,CACzB,CAAW,EACX,QAAa,EACb,KAA8B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;IAE/C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACpE,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC1E,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC7D,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC;AACpD,CAAC;AAED;;GAEG;AACH,SAAgB,kBAAkB,CAChC,CAAW,EACX,QAAa,EACb,KAA8B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;IAE/C,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;IAC1C,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC;QAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC1E,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;AACxE,CAAC"}

package/dist/tooling/mathlib/index.d.ts

@@ -0,0 +1,8 @@
+export type { AlgebraicStructure, AlgebraAxiom, PartialOrder, TotalOrder, Magma, Semigroup, Monoid, Group, AbelianGroup, Ring, Lemma, VerificationResult, } from './types';
+export { isReflexive, isAntisymmetric, isTransitive, isLattice, verifyPartialOrder } from './order';
+export { isAssociative, isCommutative, hasIdentity, hasInverses, verifyGroup, verifyAbelianGroup, } from './group';
+export { verifyRing, isField } from './ring';
+export { intAdditiveGroup, intRing, rationalsField, rational, rationalEq, rationalDiv, zModN, zModNElements, zModNDiv, sym3, sym3Elements, perm3Eq, } from './instances';
+export type { Rational, Perm3 } from './instances';
+export { STANDARD_LEMMAS } from './lemmas';
+//# sourceMappingURL=index.d.ts.map

package/dist/tooling/mathlib/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/tooling/mathlib/index.ts"],"names":[],"mappings":"AAMA,YAAY,EACV,kBAAkB,EAClB,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,KAAK,EACL,SAAS,EACT,MAAM,EACN,KAAK,EACL,YAAY,EACZ,IAAI,EACJ,KAAK,EACL,kBAAkB,GACnB,MAAM,SAAS,CAAC;AAEjB,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,YAAY,EAAE,SAAS,EAAE,kBAAkB,EAAE,MAAM,SAAS,CAAC;AAEpG,OAAO,EACL,aAAa,EACb,aAAa,EACb,WAAW,EACX,WAAW,EACX,WAAW,EACX,kBAAkB,GACnB,MAAM,SAAS,CAAC;AAEjB,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AAE7C,OAAO,EACL,gBAAgB,EAChB,OAAO,EACP,cAAc,EACd,QAAQ,EACR,UAAU,EACV,WAAW,EACX,KAAK,EACL,aAAa,EACb,QAAQ,EACR,IAAI,EACJ,YAAY,EACZ,OAAO,GACR,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEnD,OAAO,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC"}

package/dist/tooling/mathlib/index.js

@@ -0,0 +1,40 @@
+"use strict";
+// ============================================================
+// ST Mathlib — Subset curado de definiciones algebraicas.
+// Inspirado en Lean mathlib. Soporta order theory, group theory,
+// ring theory + instancias estándar (Z, Q, Z/nZ, S_3) + lemas.
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.STANDARD_LEMMAS = exports.perm3Eq = exports.sym3Elements = exports.sym3 = exports.zModNDiv = exports.zModNElements = exports.zModN = exports.rationalDiv = exports.rationalEq = exports.rational = exports.rationalsField = exports.intRing = exports.intAdditiveGroup = exports.isField = exports.verifyRing = exports.verifyAbelianGroup = exports.verifyGroup = exports.hasInverses = exports.hasIdentity = exports.isCommutative = exports.isAssociative = exports.verifyPartialOrder = exports.isLattice = exports.isTransitive = exports.isAntisymmetric = exports.isReflexive = void 0;
+var order_1 = require("./order");
+Object.defineProperty(exports, "isReflexive", { enumerable: true, get: function () { return order_1.isReflexive; } });
+Object.defineProperty(exports, "isAntisymmetric", { enumerable: true, get: function () { return order_1.isAntisymmetric; } });
+Object.defineProperty(exports, "isTransitive", { enumerable: true, get: function () { return order_1.isTransitive; } });
+Object.defineProperty(exports, "isLattice", { enumerable: true, get: function () { return order_1.isLattice; } });
+Object.defineProperty(exports, "verifyPartialOrder", { enumerable: true, get: function () { return order_1.verifyPartialOrder; } });
+var group_1 = require("./group");
+Object.defineProperty(exports, "isAssociative", { enumerable: true, get: function () { return group_1.isAssociative; } });
+Object.defineProperty(exports, "isCommutative", { enumerable: true, get: function () { return group_1.isCommutative; } });
+Object.defineProperty(exports, "hasIdentity", { enumerable: true, get: function () { return group_1.hasIdentity; } });
+Object.defineProperty(exports, "hasInverses", { enumerable: true, get: function () { return group_1.hasInverses; } });
+Object.defineProperty(exports, "verifyGroup", { enumerable: true, get: function () { return group_1.verifyGroup; } });
+Object.defineProperty(exports, "verifyAbelianGroup", { enumerable: true, get: function () { return group_1.verifyAbelianGroup; } });
+var ring_1 = require("./ring");
+Object.defineProperty(exports, "verifyRing", { enumerable: true, get: function () { return ring_1.verifyRing; } });
+Object.defineProperty(exports, "isField", { enumerable: true, get: function () { return ring_1.isField; } });
+var instances_1 = require("./instances");
+Object.defineProperty(exports, "intAdditiveGroup", { enumerable: true, get: function () { return instances_1.intAdditiveGroup; } });
+Object.defineProperty(exports, "intRing", { enumerable: true, get: function () { return instances_1.intRing; } });
+Object.defineProperty(exports, "rationalsField", { enumerable: true, get: function () { return instances_1.rationalsField; } });
+Object.defineProperty(exports, "rational", { enumerable: true, get: function () { return instances_1.rational; } });
+Object.defineProperty(exports, "rationalEq", { enumerable: true, get: function () { return instances_1.rationalEq; } });
+Object.defineProperty(exports, "rationalDiv", { enumerable: true, get: function () { return instances_1.rationalDiv; } });
+Object.defineProperty(exports, "zModN", { enumerable: true, get: function () { return instances_1.zModN; } });
+Object.defineProperty(exports, "zModNElements", { enumerable: true, get: function () { return instances_1.zModNElements; } });
+Object.defineProperty(exports, "zModNDiv", { enumerable: true, get: function () { return instances_1.zModNDiv; } });
+Object.defineProperty(exports, "sym3", { enumerable: true, get: function () { return instances_1.sym3; } });
+Object.defineProperty(exports, "sym3Elements", { enumerable: true, get: function () { return instances_1.sym3Elements; } });
+Object.defineProperty(exports, "perm3Eq", { enumerable: true, get: function () { return instances_1.perm3Eq; } });
+var lemmas_1 = require("./lemmas");
+Object.defineProperty(exports, "STANDARD_LEMMAS", { enumerable: true, get: function () { return lemmas_1.STANDARD_LEMMAS; } });
+//# sourceMappingURL=index.js.map

package/dist/tooling/mathlib/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/tooling/mathlib/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,0DAA0D;AAC1D,iEAAiE;AACjE,+DAA+D;AAC/D,+DAA+D;;;AAiB/D,iCAAoG;AAA3F,oGAAA,WAAW,OAAA;AAAE,wGAAA,eAAe,OAAA;AAAE,qGAAA,YAAY,OAAA;AAAE,kGAAA,SAAS,OAAA;AAAE,2GAAA,kBAAkB,OAAA;AAElF,iCAOiB;AANf,sGAAA,aAAa,OAAA;AACb,sGAAA,aAAa,OAAA;AACb,oGAAA,WAAW,OAAA;AACX,oGAAA,WAAW,OAAA;AACX,oGAAA,WAAW,OAAA;AACX,2GAAA,kBAAkB,OAAA;AAGpB,+BAA6C;AAApC,kGAAA,UAAU,OAAA;AAAE,+FAAA,OAAO,OAAA;AAE5B,yCAaqB;AAZnB,6GAAA,gBAAgB,OAAA;AAChB,oGAAA,OAAO,OAAA;AACP,2GAAA,cAAc,OAAA;AACd,qGAAA,QAAQ,OAAA;AACR,uGAAA,UAAU,OAAA;AACV,wGAAA,WAAW,OAAA;AACX,kGAAA,KAAK,OAAA;AACL,0GAAA,aAAa,OAAA;AACb,qGAAA,QAAQ,OAAA;AACR,iGAAA,IAAI,OAAA;AACJ,yGAAA,YAAY,OAAA;AACZ,oGAAA,OAAO,OAAA;AAIT,mCAA2C;AAAlC,yGAAA,eAAe,OAAA"}

package/dist/tooling/mathlib/instances.d.ts

@@ -0,0 +1,29 @@
+import type { AbelianGroup, Group, Ring } from './types';
+export declare const intAdditiveGroup: AbelianGroup<bigint>;
+export declare const intRing: Ring<bigint>;
+export interface Rational {
+    num: bigint;
+    den: bigint;
+}
+export declare function rational(num: bigint, den: bigint): Rational;
+export declare function rationalEq(a: Rational, b: Rational): boolean;
+export declare const rationalsField: Ring<Rational>;
+/**
+ * División en Q. `undefined` solo cuando b = 0/1 (división por cero).
+ */
+export declare function rationalDiv(a: Rational, b: Rational): Rational | undefined;
+export declare function zModN(n: bigint): Ring<bigint>;
+/**
+ * Lista los n representantes canónicos {0, 1, ..., n-1}.
+ */
+export declare function zModNElements(n: bigint): bigint[];
+/**
+ * División modular: busca b tal que a · b ≡ 1 (mod n) por fuerza bruta
+ * sobre el dominio finito. Devuelve undefined si no existe inverso.
+ */
+export declare function zModNDiv(n: bigint): (a: bigint, b: bigint) => bigint | undefined;
+export type Perm3 = [number, number, number];
+export declare const sym3Elements: Perm3[];
+export declare function perm3Eq(a: Perm3, b: Perm3): boolean;
+export declare const sym3: Group<Perm3>;
+//# sourceMappingURL=instances.d.ts.map

package/dist/tooling/mathlib/instances.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"instances.d.ts","sourceRoot":"","sources":["../../../src/tooling/mathlib/instances.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAKzD,eAAO,MAAM,gBAAgB,EAAE,YAAY,CAAC,MAAM,CAIjD,CAAC;AAKF,eAAO,MAAM,OAAO,EAAE,IAAI,CAAC,MAAM,CAMhC,CAAC;AAQF,MAAM,WAAW,QAAQ;IACvB,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,MAAM,CAAC;CACb;AAaD,wBAAgB,QAAQ,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,QAAQ,CAO3D;AAED,wBAAgB,UAAU,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,OAAO,CAE5D;AAED,eAAO,MAAM,cAAc,EAAE,IAAI,CAAC,QAAQ,CAMzC,CAAC;AAEF;;GAEG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAG1E;AAUD,wBAAgB,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAS7C;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAIjD;AAED;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAQhF;AAMD,MAAM,MAAM,KAAK,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AAE7C,eAAO,MAAM,YAAY,EAAE,KAAK,EAO/B,CAAC;AAeF,wBAAgB,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,OAAO,CAEnD;AAED,eAAO,MAAM,IAAI,EAAE,KAAK,CAAC,KAAK,CAI7B,CAAC"}