@stevenvo780/st-lang 4.4.0 → 4.5.0

package/dist/tests/constructive-reals/constructive-reals.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constructive-reals.test.js","sourceRoot":"","sources":["../../../src/tests/constructive-reals/constructive-reals.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,gCAAgC;AAChC,+DAA+D;AAC/D,qDAAqD;AACrD,+DAA+D;AAC/D,4DAA4D;AAC5D,4DAA4D;;AAE5D,mCAA8C;AAC9C,iEAsBkC;AAElC,0EAA0E;AAC1E,SAAS,QAAQ,CAAC,CAAQ,EAAE,OAAe,EAAE;IAC3C,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClD,yEAAyE;IACzE,8BAA8B;IAC9B,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC7C,IAAI,OAAO,GAAG,EAAE,EAAE,CAAC;QACjB,MAAM,KAAK,GAAG,OAAO,GAAG,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;QACzC,MAAM,YAAY,GAAG,WAAW,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;QAClD,OAAO,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,MAAM,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;AACjD,CAAC;AAED,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC;QACrB,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC;QACpC,sBAAsB;QACtB,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,QAAQ,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YACvC,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACtD,gEAAgE;YAChE,sEAAsE;YACtE,MAAM,KAAK,GAAG,CAAC,EAAE,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;YACjD,MAAM,OAAO,GAAG,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;YAC5C,mEAAmE;YACnE,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;YACjC,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACzC,mEAAmE;QACnE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACnD,iEAAiE;QACjE,MAAM,IAAI,GAAG,EAAE,GAAG,WAAW,GAAG,SAAS,CAAC;QAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QACzC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,KAAK,GAAG,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,KAAK,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,iCAAY,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,EAAE,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,4CAA4C;QAC5C,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC;QAClC,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC;QAClC,MAAM,IAAI,GAAG,EAAE,GAAG,EAAE,CAAC;QACrB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QACzC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChC,uDAAuD;QACvD,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,GAAG,IAAA,yBAAI,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvC,2CAA2C;QAC3C,MAAM,EAAE,GAAG,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,EAAE,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,IAAA,yBAAI,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,EAAE,GAAG,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrB,+CAA+C;QAC/C,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,EAAE,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,0BAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACpD,kDAAkD;QAClD,uEAAuE;QACvE,MAAM,GAAG,GAAG,SAAS,GAAG,SAAS,CAAC;QAClC,MAAM,GAAG,GAAG,EAAE,GAAG,WAAW,GAAG,WAAW,CAAC;QAC3C,MAAM,IAAI,GAAG,GAAG,GAAG,GAAG,CAAC;QACvB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QACzC,4EAA4E;QAC5E,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,GAAG,IAAA,yBAAI,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAA,yBAAI,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,0BAAK,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,QAAQ,GAAG,QAAQ,CAAC,uBAAE,EAAE,EAAE,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,8BAA8B;QAC9B,MAAM,CAAC,GAAG,IAAA,6BAAQ,EAAC,uBAAE,EAAE,EAAE,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,OAAO,GAAG,QAAQ,CAAC,sBAAC,EAAE,EAAE,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,8BAA8B;QAC9B,MAAM,CAAC,GAAG,IAAA,6BAAQ,EAAC,sBAAC,EAAE,EAAE,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,QAAQ,CAAC,0BAAK,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,uBAAE,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,uBAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,sDAAsD;QACtD,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,4DAA4D;QAC5D,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,mEAAmE;QACnE,uDAAuD;QACvD,MAAM,CAAC,GAAG,IAAA,6BAAQ,EAAC,0BAAK,EAAE,EAAE,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,6BAA6B;QAC7B,MAAM,CAAC,GAAG,IAAA,6BAAQ,EAAC,0BAAK,EAAE,EAAE,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,0BAAK,CAAC;QAChB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,uBAAE,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,IAAA,wBAAG,EAAC,uBAAE,EAAE,GAAG,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,OAAO,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;YAC5C,MAAM,CAAC,GAAG,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC;YACrB,MAAM,EAAE,GAAG,IAAA,wBAAG,EAAC,IAAA,yBAAI,EAAC,CAAC,CAAC,EAAE,IAAA,yBAAI,EAAC,CAAC,CAAC,CAAC,CAAC;YACjC,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,uBAAuB;QACvB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,uBAAE,EAAE,0BAAK,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,EAAE,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvC,gBAAgB;QAChB,MAAM,EAAE,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,EAAE,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,yBAAI,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,4BAAO,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,4BAAO,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,IAAA,eAAM,EAAC,QAAQ,CAAC,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,sBAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,IAAA,eAAM,EAAC,QAAQ,CAAC,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,sBAAC,CAAC,CAAC;QACjB,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,IAAA,eAAM,EAAC,QAAQ,CAAC,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,IAAA,eAAM,EAAC,QAAQ,CAAC,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,uBAAE,CAAC,CAAC;QAClB,+DAA+D;QAC/D,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,uBAAE,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,iCAAiC;QAC/D,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,GAAG,GAAG,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,GAAG,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,sBAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,gCAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,gCAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,gCAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,gCAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,gCAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,gCAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,gCAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,gCAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,gCAAW,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,qCAAqC;QACrC,IAAA,eAAM,EAAC,gCAAW,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,gCAAW,CAAC,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;QACjD,aAAa;QACb,IAAA,eAAM,EAAC,gCAAW,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/C,2BAA2B;QAC3B,IAAA,eAAM,EAAC,gCAAW,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/C,+BAA+B;QAC/B,IAAA,eAAM,EAAC,gCAAW,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,gCAAW,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,gCAAW,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,gCAAW,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,gCAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,gCAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,gCAAW,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/game-semantics/game-semantics.test.d.ts

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

package/dist/tests/game-semantics/game-semantics.test.d.ts.map

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

package/dist/tests/game-semantics/game-semantics.test.js

@@ -0,0 +1,143 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const game_semantics_1 = require("../../game-semantics");
+const P = (0, game_semantics_1.ipcAtom)('P');
+const Q = (0, game_semantics_1.ipcAtom)('Q');
+const R = (0, game_semantics_1.ipcAtom)('R');
+(0, vitest_1.describe)('Game semantics IPC — winningStrategy', () => {
+    (0, vitest_1.it)('P → P: proponente tiene estrategia ganadora', () => {
+        const result = (0, game_semantics_1.winningStrategy)((0, game_semantics_1.ipcImplies)(P, P));
+        (0, vitest_1.expect)(result.exists).toBe(true);
+        (0, vitest_1.expect)(typeof result.strategy).toBe('function');
+    });
+    (0, vitest_1.it)('P ∨ ¬P: proponente NO tiene estrategia (no es válida en IPC)', () => {
+        const result = (0, game_semantics_1.winningStrategy)((0, game_semantics_1.ipcOr)(P, (0, game_semantics_1.ipcNot)(P)));
+        (0, vitest_1.expect)(result.exists).toBe(false);
+        (0, vitest_1.expect)(result.strategy).toBeUndefined();
+    });
+    (0, vitest_1.it)('(P ∧ Q) → P: proponente gana (proyección)', () => {
+        const result = (0, game_semantics_1.winningStrategy)((0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcAnd)(P, Q), P));
+        (0, vitest_1.expect)(result.exists).toBe(true);
+    });
+    (0, vitest_1.it)('(P ∧ Q) → Q: proponente gana (proyección derecha)', () => {
+        const result = (0, game_semantics_1.winningStrategy)((0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcAnd)(P, Q), Q));
+        (0, vitest_1.expect)(result.exists).toBe(true);
+    });
+    (0, vitest_1.it)('P → (Q → P): proponente gana (axioma K débil)', () => {
+        const result = (0, game_semantics_1.winningStrategy)((0, game_semantics_1.ipcImplies)(P, (0, game_semantics_1.ipcImplies)(Q, P)));
+        (0, vitest_1.expect)(result.exists).toBe(true);
+    });
+    (0, vitest_1.it)('(P → Q) → ((Q → R) → (P → R)): transitividad de →', () => {
+        const phi = (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcImplies)(P, Q), (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcImplies)(Q, R), (0, game_semantics_1.ipcImplies)(P, R)));
+        const result = (0, game_semantics_1.winningStrategy)(phi);
+        (0, vitest_1.expect)(result.exists).toBe(true);
+    });
+    (0, vitest_1.it)('¬¬(P ∨ ¬P): proponente gana (estable en IPC aunque P∨¬P no)', () => {
+        const phi = (0, game_semantics_1.ipcNot)((0, game_semantics_1.ipcNot)((0, game_semantics_1.ipcOr)(P, (0, game_semantics_1.ipcNot)(P))));
+        const result = (0, game_semantics_1.winningStrategy)(phi);
+        (0, vitest_1.expect)(result.exists).toBe(true);
+    });
+    (0, vitest_1.it)('¬¬P → P (DNE): proponente NO tiene estrategia (clásica pero no intuicionista)', () => {
+        const phi = (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcNot)((0, game_semantics_1.ipcNot)(P)), P);
+        const result = (0, game_semantics_1.winningStrategy)(phi);
+        (0, vitest_1.expect)(result.exists).toBe(false);
+    });
+    (0, vitest_1.it)('((P → Q) → P) → P (Peirce): proponente NO tiene estrategia', () => {
+        const phi = (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcImplies)(P, Q), P), P);
+        const result = (0, game_semantics_1.winningStrategy)(phi);
+        (0, vitest_1.expect)(result.exists).toBe(false);
+    });
+    (0, vitest_1.it)('⊥ → P (ex falso): proponente gana', () => {
+        const phi = (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcBottom)(), P);
+        const result = (0, game_semantics_1.winningStrategy)(phi);
+        (0, vitest_1.expect)(result.exists).toBe(true);
+    });
+    (0, vitest_1.it)('P: átomo aislado NO es válido (proponente pierde)', () => {
+        const result = (0, game_semantics_1.winningStrategy)(P);
+        (0, vitest_1.expect)(result.exists).toBe(false);
+    });
+});
+(0, vitest_1.describe)('Game semantics IPC — play (simulación de partida)', () => {
+    (0, vitest_1.it)('P → P contra ataque-implica: P gana', () => {
+        const phi = (0, game_semantics_1.ipcImplies)(P, P);
+        const opp = [{ kind: 'attack-implies' }];
+        const { winner, trace } = (0, game_semantics_1.play)(phi, opp);
+        (0, vitest_1.expect)(winner).toBe('proponent');
+        (0, vitest_1.expect)(trace.length).toBeGreaterThan(1);
+        // El primer estado refleja la tesis original.
+        (0, vitest_1.expect)((0, game_semantics_1.ipcEquals)(trace[0].current, phi)).toBe(true);
+    });
+    (0, vitest_1.it)('(P ∧ Q) → P: O ataca →, luego pide ∧-left, P concluye P', () => {
+        const phi = (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcAnd)(P, Q), P);
+        const opp = [{ kind: 'attack-implies' }];
+        const { winner, trace } = (0, game_semantics_1.play)(phi, opp);
+        (0, vitest_1.expect)(winner).toBe('proponent');
+        // El contexto en algún momento contiene P∧Q (concedido por O).
+        const sawConjunction = trace.some((s) => s.context.some((c) => (0, game_semantics_1.ipcEquals)(c, (0, game_semantics_1.ipcAnd)(P, Q))));
+        (0, vitest_1.expect)(sawConjunction).toBe(true);
+    });
+    (0, vitest_1.it)('P (átomo aislado): O no necesita atacar, P pierde inmediatamente', () => {
+        const { winner } = (0, game_semantics_1.play)(P, []);
+        (0, vitest_1.expect)(winner).toBe('opponent');
+    });
+    (0, vitest_1.it)('P ∨ ¬P: P no tiene estrategia → O gana', () => {
+        const phi = (0, game_semantics_1.ipcOr)(P, (0, game_semantics_1.ipcNot)(P));
+        const { winner } = (0, game_semantics_1.play)(phi, []);
+        (0, vitest_1.expect)(winner).toBe('opponent');
+    });
+    (0, vitest_1.it)('history acumula movidas con etiquetas legibles', () => {
+        const phi = (0, game_semantics_1.ipcImplies)(P, P);
+        const opp = [{ kind: 'attack-implies' }];
+        const { trace } = (0, game_semantics_1.play)(phi, opp);
+        const last = trace[trace.length - 1];
+        (0, vitest_1.expect)(last.history.length).toBeGreaterThanOrEqual(2);
+        // Hay al menos una movida del oponente y otra del proponente.
+        const players = new Set(last.history.map((h) => h.player));
+        (0, vitest_1.expect)(players.has('proponent')).toBe(true);
+        (0, vitest_1.expect)(players.has('opponent')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Game semantics IPC — invariantes y serialización', () => {
+    (0, vitest_1.it)('ipcToString es estable y legible', () => {
+        (0, vitest_1.expect)((0, game_semantics_1.ipcToString)(P)).toBe('P');
+        (0, vitest_1.expect)((0, game_semantics_1.ipcToString)((0, game_semantics_1.ipcBottom)())).toBe('⊥');
+        (0, vitest_1.expect)((0, game_semantics_1.ipcToString)((0, game_semantics_1.ipcImplies)(P, Q))).toBe('(P → Q)');
+        (0, vitest_1.expect)((0, game_semantics_1.ipcToString)((0, game_semantics_1.ipcAnd)(P, Q))).toBe('(P ∧ Q)');
+        (0, vitest_1.expect)((0, game_semantics_1.ipcToString)((0, game_semantics_1.ipcOr)(P, Q))).toBe('(P ∨ Q)');
+        (0, vitest_1.expect)((0, game_semantics_1.ipcToString)((0, game_semantics_1.ipcNot)(P))).toBe('(P → ⊥)');
+    });
+    (0, vitest_1.it)('toIntuit preserva la estructura sintáctica', () => {
+        const phi = (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcAnd)(P, Q), (0, game_semantics_1.ipcOr)(P, (0, game_semantics_1.ipcBottom)()));
+        const t = (0, game_semantics_1.toIntuit)(phi);
+        (0, vitest_1.expect)(t.kind).toBe('implies');
+        if (t.kind === 'implies') {
+            (0, vitest_1.expect)(t.left.kind).toBe('and');
+            (0, vitest_1.expect)(t.right.kind).toBe('or');
+        }
+    });
+    (0, vitest_1.it)('winningStrategy es determinista para la misma fórmula', () => {
+        const phi = (0, game_semantics_1.ipcImplies)(P, P);
+        const r1 = (0, game_semantics_1.winningStrategy)(phi);
+        const r2 = (0, game_semantics_1.winningStrategy)(phi);
+        (0, vitest_1.expect)(r1.exists).toBe(r2.exists);
+    });
+    (0, vitest_1.it)('estrategia de P → P produce una movida válida desde el estado inicial', () => {
+        const phi = (0, game_semantics_1.ipcImplies)(P, P);
+        const r = (0, game_semantics_1.winningStrategy)(phi);
+        (0, vitest_1.expect)(r.exists).toBe(true);
+        const move = r.strategy({
+            current: phi,
+            context: [],
+            history: [],
+        });
+        // La movida es alguna de las del ADT (no es null/undefined).
+        (0, vitest_1.expect)(['choose-and', 'choose-or', 'attack-implies', 'defend-bottom']).toContain(move.kind);
+    });
+    (0, vitest_1.it)('play preserva la fórmula original en trace[0].current', () => {
+        const phi = (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcAnd)(P, Q), Q);
+        const { trace } = (0, game_semantics_1.play)(phi, [{ kind: 'attack-implies' }]);
+        (0, vitest_1.expect)((0, game_semantics_1.ipcEquals)(trace[0].current, phi)).toBe(true);
+    });
+});
+//# sourceMappingURL=game-semantics.test.js.map

package/dist/tests/game-semantics/game-semantics.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"game-semantics.test.js","sourceRoot":"","sources":["../../../src/tests/game-semantics/game-semantics.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,yDAa8B;AAE9B,MAAM,CAAC,GAAG,IAAA,wBAAO,EAAC,GAAG,CAAC,CAAC;AACvB,MAAM,CAAC,GAAG,IAAA,wBAAO,EAAC,GAAG,CAAC,CAAC;AACvB,MAAM,CAAC,GAAG,IAAA,wBAAO,EAAC,GAAG,CAAC,CAAC;AAEvB,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,IAAA,sBAAK,EAAC,CAAC,EAAE,IAAA,uBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,IAAA,2BAAU,EAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,IAAA,2BAAU,EAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,IAAA,2BAAU,EAAC,CAAC,EAAE,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,2BAAU,EAAC,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACzF,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,GAAG,GAAG,IAAA,uBAAM,EAAC,IAAA,uBAAM,EAAC,IAAA,sBAAK,EAAC,CAAC,EAAE,IAAA,uBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,uBAAM,EAAC,IAAA,uBAAM,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,2BAAU,EAAC,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,0BAAS,GAAE,EAAE,CAAC,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,GAAG,GAAW,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;QACjD,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,qBAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACxC,8CAA8C;QAC9C,IAAA,eAAM,EAAC,IAAA,0BAAS,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxC,MAAM,GAAG,GAAW,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;QACjD,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,qBAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACjC,+DAA+D;QAC/D,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,0BAAS,EAAC,CAAC,EAAE,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5F,IAAA,eAAM,EAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE,MAAM,EAAE,GAAG,IAAA,qBAAI,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAG,IAAA,sBAAK,EAAC,CAAC,EAAE,IAAA,uBAAM,EAAC,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,EAAE,MAAM,EAAE,GAAG,IAAA,qBAAI,EAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,GAAG,GAAW,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;QACjD,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,qBAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACtD,8DAA8D;QAC9D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,IAAA,0BAAS,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,IAAA,sBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,IAAA,uBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,sBAAK,EAAC,CAAC,EAAE,IAAA,0BAAS,GAAE,CAAC,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,IAAA,yBAAQ,EAAC,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAChC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,QAAS,CAAC;YACvB,OAAO,EAAE,GAAG;YACZ,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;SACZ,CAAC,CAAC;QACH,6DAA6D;QAC7D,IAAA,eAAM,EAAC,CAAC,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxC,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,qBAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,0BAAS,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/higher-order-unify/ho-unify.test.d.ts

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

package/dist/tests/higher-order-unify/ho-unify.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ho-unify.test.d.ts","sourceRoot":"","sources":["../../../src/tests/higher-order-unify/ho-unify.test.ts"],"names":[],"mappings":""}

package/dist/tests/higher-order-unify/ho-unify.test.js

@@ -0,0 +1,264 @@
+"use strict";
+// ============================================================
+// Tests — Higher-order unification (Miller pattern)
+// ============================================================
+//
+// Cubre:
+//   - Unificación de primer orden con meta-variables libres
+//   - Patrón λx. M x ≈ λx. f x  →  {M: f}
+//   - No-patrón: λx. M x x  (var repetida) → null
+//   - isPattern / isHigherOrderPattern
+//   - applyHOSubst con β-reducción
+//   - normalize β
+//   - occurs check
+//   - rigidez (heads distintas no unifican)
+//   - identidad (M ≈ M sin binding → subst vacía)
+//   - unifyMetaApp helper
+//   - multi-binding compuesto
+//   - encadenado: applyHOSubst transitivo
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const higher_order_unify_1 = require("../../higher-order-unify");
+// ---- Helpers de construcción ----
+const v = (name) => ({ kind: 'var', name });
+const m = (name) => ({ kind: 'meta', name });
+const abs = (param, body) => ({ kind: 'abs', param, body });
+const app = (fn, ...args) => ({ kind: 'app', fn, args });
+(0, vitest_1.beforeEach)(() => {
+    (0, higher_order_unify_1.resetFreshCounter)();
+});
+// ===========================================================
+// 1. Unificación de primer orden: f(a,b) ≈ f(x,y) → {x:a, y:b}
+//    Modelado como: app(f, [M, N]) ≈ app(f, [a, b])
+//    donde M y N son meta-variables libres (no aplicadas a nada).
+// ===========================================================
+(0, vitest_1.describe)('unifyPattern — primer orden', () => {
+    (0, vitest_1.it)('meta libre unifica con término concreto: M ≈ a → {M: a}', () => {
+        const result = (0, higher_order_unify_1.unifyPattern)(m('M'), v('a'));
+        (0, vitest_1.expect)(result).not.toBeNull();
+        (0, vitest_1.expect)(result['M']).toEqual(v('a'));
+    });
+    (0, vitest_1.it)('f(M, N) ≈ f(a, b) → {M: a, N: b}', () => {
+        const t1 = app(v('f'), m('M'), m('N'));
+        const t2 = app(v('f'), v('a'), v('b'));
+        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
+        (0, vitest_1.expect)(result).not.toBeNull();
+        (0, vitest_1.expect)(result['M']).toEqual(v('a'));
+        (0, vitest_1.expect)(result['N']).toEqual(v('b'));
+    });
+    (0, vitest_1.it)('meta libre ≈ meta libre del mismo nombre → subst vacía', () => {
+        const result = (0, higher_order_unify_1.unifyPattern)(m('M'), m('M'));
+        (0, vitest_1.expect)(result).not.toBeNull();
+        (0, vitest_1.expect)(Object.keys(result).length).toBe(0);
+    });
+});
+// ===========================================================
+// 2. Pattern unification λx. M x ≈ λx. f x
+//    El MGU de Miller es M ↦ λx. f x (no simplemente M ↦ f).
+//    Ambos son η-equivalentes, pero el algoritmo produce la forma λ.
+// ===========================================================
+(0, vitest_1.describe)('unifyPattern — patrón Miller λx. M x ≈ λx. f x', () => {
+    (0, vitest_1.it)('unifica correctamente: M ↦ λx. f x (aplicar devuelve f x)', () => {
+        // λx. (M x) ≈ λx. (f x)
+        const t1 = abs('x', app(m('M'), v('x')));
+        const t2 = abs('x', app(v('f'), v('x')));
+        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
+        (0, vitest_1.expect)(result).not.toBeNull();
+        // El MGU es M ↦ λx. f x; verificamos aplicando M a un argumento
+        const mBinding = result['M'];
+        const applied = (0, higher_order_unify_1.applyHOSubst)(app(mBinding, v('a')), {});
+        // (λx. f x) a → f a
+        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(applied)).toEqual(app(v('f'), v('a')));
+    });
+    (0, vitest_1.it)('λx. M x ≈ λx. (g x) — aplicar M a a da g a', () => {
+        const t1 = abs('x', app(m('M'), v('x')));
+        const t2 = abs('x', app(v('g'), v('x')));
+        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
+        (0, vitest_1.expect)(result).not.toBeNull();
+        const mBinding = result['M'];
+        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(app(mBinding, v('a')))).toEqual(app(v('g'), v('a')));
+    });
+    (0, vitest_1.it)('λx. λy. M x y ≈ λx. λy. h x y — aplicar M a b da h a b', () => {
+        // M aplicada a dos vars ligadas distintas; MGU: M ↦ λx.λy. h x y
+        const t1 = abs('x', abs('y', app(m('M'), v('x'), v('y'))));
+        const t2 = abs('x', abs('y', app(v('h'), v('x'), v('y'))));
+        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
+        (0, vitest_1.expect)(result).not.toBeNull();
+        const mBinding = result['M'];
+        // (λx.λy. h x y) a b → h a b
+        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(app(mBinding, v('a'), v('b')))).toEqual(app(v('h'), v('a'), v('b')));
+    });
+});
+// ===========================================================
+// 3. Non-pattern: λx. M x x — variable repetida → null
+// ===========================================================
+(0, vitest_1.describe)('unifyPattern — no-patrón (var repetida)', () => {
+    (0, vitest_1.it)('λx. M x x no es patrón → unifyPattern devuelve null', () => {
+        const t1 = abs('x', app(m('M'), v('x'), v('x')));
+        const t2 = abs('x', app(v('f'), v('x'), v('x')));
+        // No puede unificar porque M x x es non-pattern
+        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
+        (0, vitest_1.expect)(result).toBeNull();
+    });
+    (0, vitest_1.it)('isPattern detecta λx. M x x como false', () => {
+        // En el scope interno {x}, M aplicada a [x, x] → repetida
+        const term = abs('x', app(m('M'), v('x'), v('x')));
+        (0, vitest_1.expect)((0, higher_order_unify_1.isPattern)(term)).toBe(false);
+    });
+});
+// ===========================================================
+// 4. isPattern — detección correcta
+// ===========================================================
+(0, vitest_1.describe)('isPattern', () => {
+    (0, vitest_1.it)('variable libre es patrón', () => {
+        (0, vitest_1.expect)((0, higher_order_unify_1.isPattern)(v('a'))).toBe(true);
+    });
+    (0, vitest_1.it)('meta libre es patrón', () => {
+        (0, vitest_1.expect)((0, higher_order_unify_1.isPattern)(m('M'))).toBe(true);
+    });
+    (0, vitest_1.it)('abs con meta sola en body es patrón', () => {
+        (0, vitest_1.expect)((0, higher_order_unify_1.isPattern)(abs('x', m('M')))).toBe(true);
+    });
+    (0, vitest_1.it)('λx. M x es patrón (M aplicada a var ligada única)', () => {
+        (0, vitest_1.expect)((0, higher_order_unify_1.isPattern)(abs('x', app(m('M'), v('x'))))).toBe(true);
+    });
+    (0, vitest_1.it)('λx. M x x NO es patrón (var repetida)', () => {
+        (0, vitest_1.expect)((0, higher_order_unify_1.isPattern)(abs('x', app(m('M'), v('x'), v('x'))))).toBe(false);
+    });
+    (0, vitest_1.it)('M aplicada a variable libre NO es patrón', () => {
+        // x es libre (no está en ningún binder)
+        (0, vitest_1.expect)((0, higher_order_unify_1.isPattern)(app(m('M'), v('x')))).toBe(false);
+    });
+    (0, vitest_1.it)('isHigherOrderPattern es alias de isPattern con scope vacío', () => {
+        const term = abs('x', app(m('M'), v('x')));
+        (0, vitest_1.expect)((0, higher_order_unify_1.isHigherOrderPattern)(term)).toBe((0, higher_order_unify_1.isPattern)(term));
+    });
+});
+// ===========================================================
+// 5. applyHOSubst con β-reducción
+// ===========================================================
+(0, vitest_1.describe)('applyHOSubst', () => {
+    (0, vitest_1.it)('sustituye meta simple', () => {
+        const subst = { M: v('a') };
+        const result = (0, higher_order_unify_1.applyHOSubst)(m('M'), subst);
+        (0, vitest_1.expect)(result).toEqual(v('a'));
+    });
+    (0, vitest_1.it)('sustituye y β-reduce: M aplicada a x con M ↦ λx.x', () => {
+        // M ↦ λx.x, aplicar M a 'y' → (λx.x) y → y
+        const subst = { M: abs('x', v('x')) };
+        const term = app(m('M'), v('y'));
+        const result = (0, higher_order_unify_1.applyHOSubst)(term, subst);
+        (0, vitest_1.expect)(result).toEqual(v('y'));
+    });
+    (0, vitest_1.it)('sustituye y β-reduce: M ↦ λx.f x, M y → f y', () => {
+        const subst = { M: abs('x', app(v('f'), v('x'))) };
+        const term = app(m('M'), v('y'));
+        const result = (0, higher_order_unify_1.applyHOSubst)(term, subst);
+        // (λx. f x) y → f y
+        (0, vitest_1.expect)(result).toEqual(app(v('f'), v('y')));
+    });
+    (0, vitest_1.it)('no toca variables ordinarias', () => {
+        const subst = { M: v('a') };
+        const result = (0, higher_order_unify_1.applyHOSubst)(v('x'), subst);
+        (0, vitest_1.expect)(result).toEqual(v('x'));
+    });
+});
+// ===========================================================
+// 6. normalize — β-normalización
+// ===========================================================
+(0, vitest_1.describe)('normalize', () => {
+    (0, vitest_1.it)('variable queda igual', () => {
+        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(v('x'))).toEqual(v('x'));
+    });
+    (0, vitest_1.it)('(λx.x) a → a', () => {
+        const term = app(abs('x', v('x')), v('a'));
+        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(term)).toEqual(v('a'));
+    });
+    (0, vitest_1.it)('(λx.λy.x) a b → a', () => {
+        const term = app(abs('x', abs('y', v('x'))), v('a'), v('b'));
+        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(term)).toEqual(v('a'));
+    });
+    (0, vitest_1.it)('(λx. f x) a → f a', () => {
+        const term = app(abs('x', app(v('f'), v('x'))), v('a'));
+        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(term)).toEqual(app(v('f'), v('a')));
+    });
+    (0, vitest_1.it)('término sin redex queda igual', () => {
+        const term = abs('x', app(v('f'), v('x')));
+        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(term)).toEqual(term);
+    });
+});
+// ===========================================================
+// 7. Occurs check: M ≈ f(M) debe fallar
+// ===========================================================
+(0, vitest_1.describe)('unifyPattern — occurs check', () => {
+    (0, vitest_1.it)('M ≈ f M falla por occurs check', () => {
+        const t1 = m('M');
+        const t2 = app(v('f'), m('M'));
+        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
+        (0, vitest_1.expect)(result).toBeNull();
+    });
+});
+// ===========================================================
+// 8. Rigid heads distintas no unifican
+// ===========================================================
+(0, vitest_1.describe)('unifyPattern — rigid heads', () => {
+    (0, vitest_1.it)('f a ≈ g a falla (f ≠ g)', () => {
+        const t1 = app(v('f'), v('a'));
+        const t2 = app(v('g'), v('a'));
+        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
+        (0, vitest_1.expect)(result).toBeNull();
+    });
+    (0, vitest_1.it)('f a b ≈ f a falla (aridades distintas)', () => {
+        const t1 = app(v('f'), v('a'), v('b'));
+        const t2 = app(v('f'), v('a'));
+        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
+        (0, vitest_1.expect)(result).toBeNull();
+    });
+});
+// ===========================================================
+// 9. unifyMetaApp helper
+// ===========================================================
+(0, vitest_1.describe)('unifyMetaApp', () => {
+    (0, vitest_1.it)('M [x, y] ↦ λx.λy.body construye el lambda correcto', () => {
+        const result = (0, higher_order_unify_1.unifyMetaApp)('M', ['x', 'y'], app(v('f'), v('x'), v('y')));
+        (0, vitest_1.expect)(result).not.toBeNull();
+        (0, vitest_1.expect)(result['M']).toEqual(abs('x', abs('y', app(v('f'), v('x'), v('y')))));
+    });
+    (0, vitest_1.it)('rechaza si hay vars repetidas', () => {
+        const result = (0, higher_order_unify_1.unifyMetaApp)('M', ['x', 'x'], v('x'));
+        (0, vitest_1.expect)(result).toBeNull();
+    });
+});
+// ===========================================================
+// 10. Sustitución transitiva / encadenada
+// ===========================================================
+(0, vitest_1.describe)('applyHOSubst — sustitución encadenada', () => {
+    (0, vitest_1.it)('M ↦ N, N ↦ a  → aplicar sobre M da a', () => {
+        const subst = { M: m('N'), N: v('a') };
+        const result = (0, higher_order_unify_1.applyHOSubst)(m('M'), subst);
+        (0, vitest_1.expect)(result).toEqual(v('a'));
+    });
+});
+// ===========================================================
+// 11. Unificación con múltiples metas en simultáneo
+// ===========================================================
+(0, vitest_1.describe)('unifyPattern — múltiples metas', () => {
+    (0, vitest_1.it)('pair(M, N) ≈ pair(a, b) → {M:a, N:b}', () => {
+        const t1 = app(v('pair'), m('M'), m('N'));
+        const t2 = app(v('pair'), v('a'), v('b'));
+        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
+        (0, vitest_1.expect)(result).not.toBeNull();
+        (0, vitest_1.expect)(result['M']).toEqual(v('a'));
+        (0, vitest_1.expect)(result['N']).toEqual(v('b'));
+    });
+    (0, vitest_1.it)('λx. pair(M x, N x) ≈ λx. pair(f x, g x) — M a = f a, N a = g a', () => {
+        const t1 = abs('x', app(v('pair'), app(m('M'), v('x')), app(m('N'), v('x'))));
+        const t2 = abs('x', app(v('pair'), app(v('f'), v('x')), app(v('g'), v('x'))));
+        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
+        (0, vitest_1.expect)(result).not.toBeNull();
+        // MGU: M ↦ λx. f x, N ↦ λx. g x
+        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(app(result['M'], v('a')))).toEqual(app(v('f'), v('a')));
+        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(app(result['N'], v('a')))).toEqual(app(v('g'), v('a')));
+    });
+});
+//# sourceMappingURL=ho-unify.test.js.map

package/dist/tests/higher-order-unify/ho-unify.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ho-unify.test.js","sourceRoot":"","sources":["../../../src/tests/higher-order-unify/ho-unify.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,oDAAoD;AACpD,+DAA+D;AAC/D,EAAE;AACF,SAAS;AACT,4DAA4D;AAC5D,0CAA0C;AAC1C,kDAAkD;AAClD,uCAAuC;AACvC,mCAAmC;AACnC,kBAAkB;AAClB,mBAAmB;AACnB,4CAA4C;AAC5C,kDAAkD;AAClD,0BAA0B;AAC1B,8BAA8B;AAC9B,0CAA0C;;AAE1C,mCAA0D;AAC1D,iEASkC;AAElC,oCAAoC;AAEpC,MAAM,CAAC,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAC5D,MAAM,CAAC,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAC7D,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACpF,MAAM,GAAG,GAAG,CAAC,EAAU,EAAE,GAAG,IAAc,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;AAEnF,IAAA,mBAAU,EAAC,GAAG,EAAE;IACd,IAAA,sCAAiB,GAAE,CAAC;AACtB,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,+DAA+D;AAC/D,oDAAoD;AACpD,kEAAkE;AAClE,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,MAAO,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,2CAA2C;AAC3C,6DAA6D;AAC7D,qEAAqE;AACrE,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,wBAAwB;QACxB,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,gEAAgE;QAChE,MAAM,QAAQ,GAAG,MAAO,CAAC,GAAG,CAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAA,iCAAY,EAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACxD,oBAAoB;QACpB,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,MAAO,CAAC,GAAG,CAAE,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,iEAAiE;QACjE,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,MAAO,CAAC,GAAG,CAAE,CAAC;QAC/B,6BAA6B;QAC7B,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,uDAAuD;AACvD,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjD,gDAAgD;QAChD,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,0DAA0D;QAC1D,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,oCAAoC;AACpC,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,WAAW,EAAE,GAAG,EAAE;IACzB,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,wCAAwC;QACxC,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,yCAAoB,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,kCAAkC;AAClC,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,2CAA2C;QAC3C,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzC,oBAAoB;QACpB,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,iCAAiC;AACjC,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,WAAW,EAAE,GAAG,EAAE;IACzB,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,wCAAwC;AACxC,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,uCAAuC;AACvC,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,yBAAyB;AACzB,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,0CAA0C;AAC1C,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,oDAAoD;AACpD,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,gCAAgC;QAChC,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,MAAO,CAAC,GAAG,CAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3E,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,MAAO,CAAC,GAAG,CAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/integration/cross-modules.test.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Integration tests cross-module ST V4
+ * =====================================================================
+ * Cada test importa módulos reales desde src/ y ejecuta un pipeline
+ * end-to-end verificando invariantes concretos. No hay expect(true).
+ */
+export {};
+//# sourceMappingURL=cross-modules.test.d.ts.map

package/dist/tests/integration/cross-modules.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-modules.test.d.ts","sourceRoot":"","sources":["../../../src/tests/integration/cross-modules.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}