@stevenvo780/st-lang 4.3.0 → 4.5.0

package/dist/tests/symbolic-diff/symbolic-diff.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"symbolic-diff.test.js","sourceRoot":"","sources":["../../../src/tests/symbolic-diff/symbolic-diff.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,+DAqBqC;AAGrC;;;GAGG;AACH,SAAS,iBAAiB,CAAC,IAAU,EAAE,OAAe,EAAE,EAAU,EAAE,MAA8B,EAAE;IAClG,MAAM,CAAC,GAAG,IAAI,CAAC;IACf,MAAM,OAAO,GAAG,EAAE,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC;IAC9C,MAAM,QAAQ,GAAG,EAAE,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC;IAC/C,OAAO,CAAC,IAAA,wBAAQ,EAAC,IAAI,EAAE,OAAO,CAAC,GAAG,IAAA,wBAAQ,EAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,uBAAuB,CAC9B,CAAO,EACP,OAAe,EACf,MAAgB,EAChB,WAAmC,EAAE,EACrC,GAAG,GAAG,IAAI;IAEV,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,EAAE,GAAG,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,IAAA,wBAAQ,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,OAAO,GAAG,iBAAiB,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC;AACH,CAAC;AAED,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACtB,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACtB,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,IAAA,mBAAG,EAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,6BAAa,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,6BAAa,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnC,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACpC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACvE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACnC,8BAA8B;QAC9B,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YAChC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YACpC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAClF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACtE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACtB,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACpC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACxE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACzE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,UAAU,EAAE,GAAG,EAAE;IACxB,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,SAAS,EAAE,GAAG,EAAE;QACjB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,SAAS,EAAE,GAAG,EAAE;QACjB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,IAAA,wBAAQ,EAAC,CAAC,CAAC,CAAC;QACtB,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,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,GAAG,IAAA,wBAAQ,EAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,UAAU,EAAE,GAAG,EAAE;IACxB,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,wBAAQ,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,UAAU,EAAE,GAAG,EAAE;IACxB,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,YAAY;QACZ,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAI,KAAK,EAAE,CAAC;YACV,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,KAAK,EAAE,CAAC;YACV,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,KAAK,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,uBAAuB;QACvB,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QACjC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACzB,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;YACnB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW;YAC9C,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe;YAClD,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,eAAe,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAClC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACrD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,cAAc,CAAC,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACjF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,OAAO,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,eAAe,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,kBAAkB;QAClB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC3B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,QAAQ,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,qBAAK,EAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,IAAA,0BAAU,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,IAAA,0BAAU,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,IAAA,0BAAU,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,0BAAU,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,IAAA,WAAE,EAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,KAAK,GAAyD;YAClE,EAAE,IAAI,EAAE,IAAA,qBAAK,EAAC,qBAAqB,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE;YAC5E,EAAE,IAAI,EAAE,IAAA,qBAAK,EAAC,iBAAiB,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;YACpE,EAAE,IAAI,EAAE,IAAA,qBAAK,EAAC,oBAAoB,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;YACtE,EAAE,IAAI,EAAE,IAAA,qBAAK,EAAC,uBAAuB,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE;YAC3E,EAAE,IAAI,EAAE,IAAA,qBAAK,EAAC,WAAW,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;SAC3D,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;YACvB,uBAAuB,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;QACtD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"symbolic-diff.test.js","sourceRoot":"","sources":["../../../src/tests/symbolic-diff/symbolic-diff.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,+DAqBqC;AAGrC;;;GAGG;AACH,SAAS,iBAAiB,CACxB,IAAU,EACV,OAAe,EACf,EAAU,EACV,MAA8B,EAAE;IAEhC,MAAM,CAAC,GAAG,IAAI,CAAC;IACf,MAAM,OAAO,GAAG,EAAE,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC;IAC9C,MAAM,QAAQ,GAAG,EAAE,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC;IAC/C,OAAO,CAAC,IAAA,wBAAQ,EAAC,IAAI,EAAE,OAAO,CAAC,GAAG,IAAA,wBAAQ,EAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,uBAAuB,CAC9B,CAAO,EACP,OAAe,EACf,MAAgB,EAChB,WAAmC,EAAE,EACrC,GAAG,GAAG,IAAI;IAEV,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,EAAE,GAAG,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,IAAA,wBAAQ,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,OAAO,GAAG,iBAAiB,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC;AACH,CAAC;AAED,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACtB,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACtB,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,IAAA,mBAAG,EAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,6BAAa,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,6BAAa,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnC,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACpC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACvE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACnC,8BAA8B;QAC9B,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YAChC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YACpC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAClF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACtE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACtB,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACpC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACxE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACzE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,UAAU,EAAE,GAAG,EAAE;IACxB,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,SAAS,EAAE,GAAG,EAAE;QACjB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,SAAS,EAAE,GAAG,EAAE;QACjB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,IAAA,wBAAQ,EAAC,CAAC,CAAC,CAAC;QACtB,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,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,GAAG,IAAA,wBAAQ,EAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,UAAU,EAAE,GAAG,EAAE;IACxB,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,wBAAQ,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,UAAU,EAAE,GAAG,EAAE;IACxB,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,YAAY;QACZ,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAI,KAAK,EAAE,CAAC;YACV,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,KAAK,EAAE,CAAC;YACV,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,KAAK,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,uBAAuB;QACvB,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QACjC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACzB,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;YACnB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW;YAC9C,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe;YAClD,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,eAAe,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAClC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACrD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,cAAc,CAAC,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACjF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,OAAO,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,eAAe,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,kBAAkB;QAClB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC3B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,QAAQ,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,qBAAK,EAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,IAAA,0BAAU,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,IAAA,0BAAU,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,IAAA,0BAAU,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,0BAAU,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,IAAA,WAAE,EAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,KAAK,GAAyD;YAClE,EAAE,IAAI,EAAE,IAAA,qBAAK,EAAC,qBAAqB,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE;YAC5E,EAAE,IAAI,EAAE,IAAA,qBAAK,EAAC,iBAAiB,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;YACpE,EAAE,IAAI,EAAE,IAAA,qBAAK,EAAC,oBAAoB,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;YACtE,EAAE,IAAI,EAAE,IAAA,qBAAK,EAAC,uBAAuB,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE;YAC3E,EAAE,IAAI,EAAE,IAAA,qBAAK,EAAC,WAAW,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;SAC3D,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;YACvB,uBAAuB,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;QACtD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/system-f/system-f.test.d.ts

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

package/dist/tests/system-f/system-f.test.d.ts.map

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

package/dist/tests/system-f/system-f.test.js

@@ -0,0 +1,217 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const system_f_1 = require("../../system-f");
+// ---------- Helpers ----------
+const X = (0, system_f_1.fAtom)('X');
+const Y = (0, system_f_1.fAtom)('Y');
+const P = (0, system_f_1.fAtom)('P');
+function unwrap(r) {
+    if ((0, system_f_1.isTypeError)(r))
+        throw new Error(`unexpected type error: ${r.error}`);
+    return r;
+}
+function ctxWithType(...names) {
+    const c = (0, system_f_1.emptyContext)();
+    for (const n of names)
+        c.type.add(n);
+    return c;
+}
+// =============================================================
+// 1. Type checking
+// =============================================================
+(0, vitest_1.describe)('System F / typeOf', () => {
+    (0, vitest_1.it)('identidad polimórfica: Λ X. λ x:X. x ⊢ ∀X. X → X', () => {
+        const term = (0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('x', X, (0, system_f_1.fVar)('x')));
+        const t = unwrap((0, system_f_1.typeOf)(term));
+        (0, vitest_1.expect)((0, system_f_1.fTypeToString)(t)).toBe('∀X. X → X');
+    });
+    (0, vitest_1.it)('type application: (Λ X. λ x:X. x) [P] ⊢ P → P', () => {
+        const term = (0, system_f_1.fTApp)((0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('x', X, (0, system_f_1.fVar)('x'))), P);
+        const t = unwrap((0, system_f_1.typeOf)(term, ctxWithType('P')));
+        (0, vitest_1.expect)((0, system_f_1.fTypeToString)(t)).toBe('P → P');
+    });
+    (0, vitest_1.it)('Church boolean true: Λ X. λ t:X. λ f:X. t ⊢ ∀X. X → X → X', () => {
+        const trueTerm = (0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('t', X, (0, system_f_1.fAbs)('f', X, (0, system_f_1.fVar)('t'))));
+        const t = unwrap((0, system_f_1.typeOf)(trueTerm));
+        (0, vitest_1.expect)((0, system_f_1.fTypeToString)(t)).toBe('∀X. X → X → X');
+    });
+    (0, vitest_1.it)('Church boolean false: Λ X. λ t:X. λ f:X. f ⊢ ∀X. X → X → X', () => {
+        const falseTerm = (0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('t', X, (0, system_f_1.fAbs)('f', X, (0, system_f_1.fVar)('f'))));
+        const t = unwrap((0, system_f_1.typeOf)(falseTerm));
+        (0, vitest_1.expect)((0, system_f_1.fTypeToString)(t)).toBe('∀X. X → X → X');
+    });
+    (0, vitest_1.it)('composición polimórfica: Λ X. Λ Y. λ f:X→Y. λ x:X. f x ⊢ ∀X. ∀Y. (X→Y) → X → Y', () => {
+        const term = (0, system_f_1.fTAbs)('X', (0, system_f_1.fTAbs)('Y', (0, system_f_1.fAbs)('f', (0, system_f_1.fArrow)(X, Y), (0, system_f_1.fAbs)('x', X, (0, system_f_1.fApp)((0, system_f_1.fVar)('f'), (0, system_f_1.fVar)('x'))))));
+        const t = unwrap((0, system_f_1.typeOf)(term));
+        (0, vitest_1.expect)((0, system_f_1.fTypeToString)(t)).toBe('∀X. ∀Y. (X → Y) → X → Y');
+    });
+    (0, vitest_1.it)('rechaza variable libre sin contexto', () => {
+        const r = (0, system_f_1.typeOf)((0, system_f_1.fVar)('x'));
+        (0, vitest_1.expect)((0, system_f_1.isTypeError)(r)).toBe(true);
+    });
+    (0, vitest_1.it)('rechaza aplicación mal tipada (función no-flecha)', () => {
+        // (λx:P. x) aplicado a sí mismo: λx:P. x : P → P, no aplicable a algo no-P.
+        const ctx = (0, system_f_1.emptyContext)();
+        ctx.type.add('P');
+        ctx.term.set('q', (0, system_f_1.fAtom)('Q'));
+        ctx.type.add('Q');
+        const term = (0, system_f_1.fApp)((0, system_f_1.fAbs)('x', P, (0, system_f_1.fVar)('x')), (0, system_f_1.fVar)('q'));
+        const r = (0, system_f_1.typeOf)(term, ctx);
+        (0, vitest_1.expect)((0, system_f_1.isTypeError)(r)).toBe(true);
+        if ((0, system_f_1.isTypeError)(r))
+            (0, vitest_1.expect)(r.error).toMatch(/no coincide/);
+    });
+    (0, vitest_1.it)('rechaza type-application sobre algo que no es ∀', () => {
+        const ctx = ctxWithType('P');
+        const term = (0, system_f_1.fTApp)((0, system_f_1.fAbs)('x', P, (0, system_f_1.fVar)('x')), P);
+        const r = (0, system_f_1.typeOf)(term, ctx);
+        (0, vitest_1.expect)((0, system_f_1.isTypeError)(r)).toBe(true);
+        if ((0, system_f_1.isTypeError)(r))
+            (0, vitest_1.expect)(r.error).toMatch(/∀/);
+    });
+    (0, vitest_1.it)('rechaza anotación de tipo con var libre no declarada', () => {
+        // λ x:Z. x  donde Z no está en el contexto de tipos.
+        const term = (0, system_f_1.fAbs)('x', (0, system_f_1.fAtom)('Z'), (0, system_f_1.fVar)('x'));
+        const r = (0, system_f_1.typeOf)(term, (0, system_f_1.emptyContext)());
+        (0, vitest_1.expect)((0, system_f_1.isTypeError)(r)).toBe(true);
+        if ((0, system_f_1.isTypeError)(r))
+            (0, vitest_1.expect)(r.error).toMatch(/bien-formada|no declarad/);
+    });
+    (0, vitest_1.it)('Λ con shadowing implícito es rechazado', () => {
+        // En contexto con X ya declarada, Λ X. λ x:X. x falla.
+        const ctx = ctxWithType('X');
+        const term = (0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('x', X, (0, system_f_1.fVar)('x')));
+        const r = (0, system_f_1.typeOf)(term, ctx);
+        (0, vitest_1.expect)((0, system_f_1.isTypeError)(r)).toBe(true);
+    });
+});
+// =============================================================
+// 2. β / type-β reduction
+// =============================================================
+(0, vitest_1.describe)('System F / reduceBeta + normalize', () => {
+    (0, vitest_1.it)('type-β: (Λ X. λ x:X. x) [P] → λ x:P. x', () => {
+        const term = (0, system_f_1.fTApp)((0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('x', X, (0, system_f_1.fVar)('x'))), P);
+        const r = (0, system_f_1.reduceBeta)(term);
+        (0, vitest_1.expect)((0, system_f_1.fTermToString)(r)).toBe('(λx:P. x)');
+    });
+    (0, vitest_1.it)('type-β con tipo compuesto: (Λ X. λ x:X. x) [P → P] → λ x:P→P. x', () => {
+        const term = (0, system_f_1.fTApp)((0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('x', X, (0, system_f_1.fVar)('x'))), (0, system_f_1.fArrow)(P, P));
+        const r = (0, system_f_1.reduceBeta)(term);
+        (0, vitest_1.expect)((0, system_f_1.fTermToString)(r)).toBe('(λx:P → P. x)');
+    });
+    (0, vitest_1.it)('β estándar: (λ x:P. x) y → y', () => {
+        const term = (0, system_f_1.fApp)((0, system_f_1.fAbs)('x', P, (0, system_f_1.fVar)('x')), (0, system_f_1.fVar)('y'));
+        const r = (0, system_f_1.reduceBeta)(term);
+        (0, vitest_1.expect)(r).toEqual((0, system_f_1.fVar)('y'));
+    });
+    (0, vitest_1.it)('normalize: identidad polimórfica aplicada termina en λx:P. x', () => {
+        const term = (0, system_f_1.fTApp)((0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('x', X, (0, system_f_1.fVar)('x'))), P);
+        const { result, terminated } = (0, system_f_1.normalize)(term);
+        (0, vitest_1.expect)(terminated).toBe(true);
+        (0, vitest_1.expect)((0, system_f_1.fTermToString)(result)).toBe('(λx:P. x)');
+    });
+    (0, vitest_1.it)('normalize: cuenta los pasos exactos', () => {
+        // ((Λ X. λ x:X. x) [P]) y  → 2 pasos: type-β + β
+        const term = (0, system_f_1.fApp)((0, system_f_1.fTApp)((0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('x', X, (0, system_f_1.fVar)('x'))), P), (0, system_f_1.fVar)('y'));
+        const { result, steps, terminated } = (0, system_f_1.normalize)(term);
+        (0, vitest_1.expect)(terminated).toBe(true);
+        (0, vitest_1.expect)(steps).toBe(2);
+        (0, vitest_1.expect)(result).toEqual((0, system_f_1.fVar)('y'));
+    });
+    (0, vitest_1.it)('normalize: forma normal estable es punto fijo', () => {
+        const term = (0, system_f_1.fAbs)('x', P, (0, system_f_1.fVar)('x'));
+        const { result, steps, terminated } = (0, system_f_1.normalize)(term);
+        (0, vitest_1.expect)(terminated).toBe(true);
+        (0, vitest_1.expect)(steps).toBe(0);
+        (0, vitest_1.expect)(result).toEqual(term);
+        (0, vitest_1.expect)((0, system_f_1.isNormal)(term)).toBe(true);
+    });
+});
+// =============================================================
+// 3. Church booleans en System F
+// =============================================================
+(0, vitest_1.describe)('System F / Church booleans encoded', () => {
+    // Bool = ∀X. X → X → X
+    const Bool = (0, system_f_1.fForall)('X', (0, system_f_1.fArrow)(X, (0, system_f_1.fArrow)(X, X)));
+    const TRUE = (0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('t', X, (0, system_f_1.fAbs)('f', X, (0, system_f_1.fVar)('t'))));
+    const FALSE = (0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('t', X, (0, system_f_1.fAbs)('f', X, (0, system_f_1.fVar)('f'))));
+    (0, vitest_1.it)('Bool = ∀X. X → X → X bien formado', () => {
+        (0, vitest_1.expect)((0, system_f_1.isWellFormed)(Bool)).toBe(true);
+        (0, vitest_1.expect)((0, system_f_1.fTypeToString)(Bool)).toBe('∀X. X → X → X');
+    });
+    (0, vitest_1.it)('true y false tienen ambos tipo Bool (módulo α)', () => {
+        const tT = unwrap((0, system_f_1.typeOf)(TRUE));
+        const tF = unwrap((0, system_f_1.typeOf)(FALSE));
+        (0, vitest_1.expect)((0, system_f_1.alphaEqType)(tT, Bool)).toBe(true);
+        (0, vitest_1.expect)((0, system_f_1.alphaEqType)(tF, Bool)).toBe(true);
+    });
+    (0, vitest_1.it)('true [P] a b se reduce a a (con a, b : P)', () => {
+        // Construimos un contexto con P declarada y a, b : P.
+        const ctx = (0, system_f_1.emptyContext)();
+        ctx.type.add('P');
+        ctx.term.set('a', P);
+        ctx.term.set('b', P);
+        const expr = (0, system_f_1.fApp)((0, system_f_1.fApp)((0, system_f_1.fTApp)(TRUE, P), (0, system_f_1.fVar)('a')), (0, system_f_1.fVar)('b'));
+        // Tipa a P:
+        const ty = unwrap((0, system_f_1.typeOf)(expr, ctx));
+        (0, vitest_1.expect)((0, system_f_1.alphaEqType)(ty, P)).toBe(true);
+        // Reduce a a:
+        const { result } = (0, system_f_1.normalize)(expr);
+        (0, vitest_1.expect)(result).toEqual((0, system_f_1.fVar)('a'));
+    });
+    (0, vitest_1.it)('false [P] a b se reduce a b', () => {
+        const expr = (0, system_f_1.fApp)((0, system_f_1.fApp)((0, system_f_1.fTApp)(FALSE, P), (0, system_f_1.fVar)('a')), (0, system_f_1.fVar)('b'));
+        const { result } = (0, system_f_1.normalize)(expr);
+        (0, vitest_1.expect)(result).toEqual((0, system_f_1.fVar)('b'));
+    });
+});
+// =============================================================
+// 4. Well-formedness y α-equivalencia de tipos
+// =============================================================
+(0, vitest_1.describe)('System F / isWellFormed + alphaEqType', () => {
+    (0, vitest_1.it)('∀X. X → X es well-formed sin contexto', () => {
+        (0, vitest_1.expect)((0, system_f_1.isWellFormed)((0, system_f_1.fForall)('X', (0, system_f_1.fArrow)(X, X)))).toBe(true);
+    });
+    (0, vitest_1.it)('X solo (no bajo ∀) NO es well-formed sin contexto', () => {
+        (0, vitest_1.expect)((0, system_f_1.isWellFormed)(X)).toBe(false);
+    });
+    (0, vitest_1.it)('X solo SÍ es well-formed con X declarada', () => {
+        (0, vitest_1.expect)((0, system_f_1.isWellFormed)(X, new Set(['X']))).toBe(true);
+    });
+    (0, vitest_1.it)('alphaEqType: ∀X. X → X ≡ ∀Y. Y → Y', () => {
+        const a = (0, system_f_1.fForall)('X', (0, system_f_1.fArrow)(X, X));
+        const b = (0, system_f_1.fForall)('Y', (0, system_f_1.fArrow)(Y, Y));
+        (0, vitest_1.expect)((0, system_f_1.alphaEqType)(a, b)).toBe(true);
+    });
+    (0, vitest_1.it)('alphaEqType: ∀X. X → Y ≢ ∀Y. Y → Y (var libre Y se confunde)', () => {
+        const a = (0, system_f_1.fForall)('X', (0, system_f_1.fArrow)(X, Y));
+        const b = (0, system_f_1.fForall)('Y', (0, system_f_1.fArrow)(Y, Y));
+        (0, vitest_1.expect)((0, system_f_1.alphaEqType)(a, b)).toBe(false);
+    });
+});
+// =============================================================
+// 5. Capture-avoidance al sustituir tipos
+// =============================================================
+(0, vitest_1.describe)('System F / capture-avoidance', () => {
+    (0, vitest_1.it)('type-β no captura: (Λ X. Λ Y. λ x:X. x) [Y] genera tipo con Y fresco', () => {
+        // Si la sustitución X := Y se hiciera ingenuamente bajo Λ Y, capturaría.
+        // Esperamos que el binder interno se α-renombre.
+        const term = (0, system_f_1.fTApp)((0, system_f_1.fTAbs)('X', (0, system_f_1.fTAbs)('Y', (0, system_f_1.fAbs)('x', X, (0, system_f_1.fVar)('x')))), Y);
+        const r = (0, system_f_1.reduceBeta)(term);
+        // El resultado debe ser Λ Y'. λ x:Y. x, con Y' ≠ Y.
+        (0, vitest_1.expect)(r.kind).toBe('tabs');
+        if (r.kind === 'tabs') {
+            (0, vitest_1.expect)(r.bind).not.toBe('Y');
+            // El cuerpo interno ahora tiene la anotación de x como Y (el tipo sustituido).
+            (0, vitest_1.expect)(r.body.kind).toBe('abs');
+        }
+    });
+    (0, vitest_1.it)('alphaEqType tras type-β preserva semántica', () => {
+        // (Λ X. λ x:X. x) [P]  debe tipar a P → P (módulo α).
+        const term = (0, system_f_1.fTApp)((0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('x', X, (0, system_f_1.fVar)('x'))), P);
+        const ty = unwrap((0, system_f_1.typeOf)(term, ctxWithType('P')));
+        (0, vitest_1.expect)((0, system_f_1.alphaEqType)(ty, (0, system_f_1.fArrow)(P, P))).toBe(true);
+    });
+});
+//# sourceMappingURL=system-f.test.js.map

package/dist/tests/system-f/system-f.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"system-f.test.js","sourceRoot":"","sources":["../../../src/tests/system-f/system-f.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,6CAqBwB;AAExB,gCAAgC;AAChC,MAAM,CAAC,GAAG,IAAA,gBAAK,EAAC,GAAG,CAAC,CAAC;AACrB,MAAM,CAAC,GAAG,IAAA,gBAAK,EAAC,GAAG,CAAC,CAAC;AACrB,MAAM,CAAC,GAAG,IAAA,gBAAK,EAAC,GAAG,CAAC,CAAC;AAErB,SAAS,MAAM,CAAC,CAA4B;IAC1C,IAAI,IAAA,sBAAW,EAAC,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IACzE,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,WAAW,CAAC,GAAG,KAAe;IACrC,MAAM,CAAC,GAAG,IAAA,uBAAY,GAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACrC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,gEAAgE;AAChE,mBAAmB;AACnB,gEAAgE;AAChE,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,iBAAM,EAAC,IAAI,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,iBAAM,EAAC,IAAI,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,QAAQ,GAAG,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,iBAAM,EAAC,QAAQ,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,SAAS,GAAG,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,iBAAM,EAAC,SAAS,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,MAAM,IAAI,GAAG,IAAA,gBAAK,EAChB,GAAG,EACH,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,IAAA,iBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,IAAA,eAAI,EAAC,GAAG,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAC9E,CAAC;QACF,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,iBAAM,EAAC,IAAI,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,4EAA4E;QAC5E,MAAM,GAAG,GAAG,IAAA,uBAAY,GAAE,CAAC;QAC3B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAA,gBAAK,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,IAAI,GAAG,IAAA,eAAI,EAAC,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,IAAA,sBAAW,EAAC,CAAC,CAAC;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,IAAA,sBAAW,EAAC,CAAC,CAAC;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,qDAAqD;QACrD,MAAM,IAAI,GAAG,IAAA,eAAI,EAAC,GAAG,EAAE,IAAA,gBAAK,EAAC,GAAG,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,IAAI,EAAE,IAAA,uBAAY,GAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,IAAA,sBAAW,EAAC,CAAC,CAAC;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,uDAAuD;QACvD,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAChE,0BAA0B;AAC1B,gEAAgE;AAChE,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,GAAG,IAAA,qBAAU,EAAC,IAAI,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAA,iBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtE,MAAM,CAAC,GAAG,IAAA,qBAAU,EAAC,IAAI,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,IAAI,GAAG,IAAA,eAAI,EAAC,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,GAAG,IAAA,qBAAU,EAAC,IAAI,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3D,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,IAAA,oBAAS,EAAC,IAAI,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,iDAAiD;QACjD,MAAM,IAAI,GAAG,IAAA,eAAI,EAAC,IAAA,gBAAK,EAAC,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC5E,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,IAAA,oBAAS,EAAC,IAAI,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,IAAI,GAAG,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QACrC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,IAAA,oBAAS,EAAC,IAAI,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,mBAAQ,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAChE,iCAAiC;AACjC,gEAAgE;AAChE,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,uBAAuB;IACvB,MAAM,IAAI,GAAG,IAAA,kBAAO,EAAC,GAAG,EAAE,IAAA,iBAAM,EAAC,CAAC,EAAE,IAAA,iBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhE,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,EAAE,GAAG,MAAM,CAAC,IAAA,iBAAM,EAAC,IAAI,CAAC,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,MAAM,CAAC,IAAA,iBAAM,EAAC,KAAK,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,sDAAsD;QACtD,MAAM,GAAG,GAAa,IAAA,uBAAY,GAAE,CAAC;QACrC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACrB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACrB,MAAM,IAAI,GAAG,IAAA,eAAI,EAAC,IAAA,eAAI,EAAC,IAAA,gBAAK,EAAC,IAAI,EAAE,CAAC,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9D,YAAY;QACZ,MAAM,EAAE,GAAG,MAAM,CAAC,IAAA,iBAAM,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,cAAc;QACd,MAAM,EAAE,MAAM,EAAE,GAAG,IAAA,oBAAS,EAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,IAAI,GAAG,IAAA,eAAI,EAAC,IAAA,eAAI,EAAC,IAAA,gBAAK,EAAC,KAAK,EAAE,CAAC,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC/D,MAAM,EAAE,MAAM,EAAE,GAAG,IAAA,oBAAS,EAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAChE,+CAA+C;AAC/C,gEAAgE;AAChE,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,IAAA,kBAAO,EAAC,GAAG,EAAE,IAAA,iBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,kBAAO,EAAC,GAAG,EAAE,IAAA,iBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,IAAA,kBAAO,EAAC,GAAG,EAAE,IAAA,iBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,IAAA,kBAAO,EAAC,GAAG,EAAE,IAAA,iBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,IAAA,kBAAO,EAAC,GAAG,EAAE,IAAA,iBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAChE,0CAA0C;AAC1C,gEAAgE;AAChE,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,yEAAyE;QACzE,iDAAiD;QACjD,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,GAAG,IAAA,qBAAU,EAAC,IAAI,CAAC,CAAC;QAC3B,oDAAoD;QACpD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5B,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACtB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC7B,+EAA+E;YAC/E,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,sDAAsD;QACtD,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3D,MAAM,EAAE,GAAG,MAAM,CAAC,IAAA,iBAAM,EAAC,IAAI,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,EAAE,EAAE,IAAA,iBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/tableau-framework/tableau.test.d.ts

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

package/dist/tests/tableau-framework/tableau.test.d.ts.map

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

package/dist/tests/tableau-framework/tableau.test.js

@@ -0,0 +1,196 @@
+"use strict";
+// ============================================================
+// Tests — Tableau extensible framework
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const tableau_framework_1 = require("../../tableau-framework");
+// ── Formula helpers ───────────────────────────────────────────
+function atom(name) {
+    return { kind: 'atom', name };
+}
+function not(f) {
+    return { kind: 'not', args: [f] };
+}
+function and(a, b) {
+    return { kind: 'and', args: [a, b] };
+}
+function or(a, b) {
+    return { kind: 'or', args: [a, b] };
+}
+function implies(a, b) {
+    return { kind: 'implies', args: [a, b] };
+}
+function T(f) {
+    return { formula: f, signed: 'T' };
+}
+function F(f) {
+    return { formula: f, signed: 'F' };
+}
+function branch(...nodes) {
+    return { nodes, closed: false };
+}
+// ── Tests ─────────────────────────────────────────────────────
+(0, vitest_1.describe)('Tableau framework — closure A, ¬A', () => {
+    (0, vitest_1.it)('cierra cuando T A y F A están en la misma rama', () => {
+        const prover = (0, tableau_framework_1.createPropositionalProver)();
+        const p = atom('P');
+        const result = prover.prove(branch(T(p), F(p)));
+        (0, vitest_1.expect)(result.closed).toBe(true);
+        (0, vitest_1.expect)(result.open).toHaveLength(0);
+    });
+    (0, vitest_1.it)('no cierra cuando solo está T A sin F A', () => {
+        const prover = (0, tableau_framework_1.createPropositionalProver)();
+        const result = prover.prove(branch(T(atom('P'))));
+        (0, vitest_1.expect)(result.closed).toBe(false);
+        (0, vitest_1.expect)(result.open.length).toBeGreaterThan(0);
+    });
+});
+(0, vitest_1.describe)('Tableau framework — doble negación ¬¬', () => {
+    (0, vitest_1.it)('T ¬¬A se reduce a T A (α-rule aplicada dos veces)', () => {
+        const prover = (0, tableau_framework_1.createPropositionalProver)();
+        const p = atom('P');
+        // Para falsificar T¬¬P debería quedar abierto (P es satisfacible)
+        const result = prover.prove(branch(T(not(not(p))), F(p)));
+        // Después de expandir ¬¬ obtenemos T P y F P → cierre
+        (0, vitest_1.expect)(result.closed).toBe(true);
+    });
+    (0, vitest_1.it)('F ¬¬A se reduce a F A', () => {
+        const prover = (0, tableau_framework_1.createPropositionalProver)();
+        const p = atom('P');
+        // F ¬¬P → T ¬P → F P; luego T P y F P → cierre
+        const result = prover.prove(branch(T(p), F(not(not(p)))));
+        (0, vitest_1.expect)(result.closed).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Tableau framework — conjunción (∧)', () => {
+    (0, vitest_1.it)('T(A∧B) agrega T A y T B (α-rule)', () => {
+        const prover = (0, tableau_framework_1.createPropositionalProver)();
+        const [p, q] = [atom('P'), atom('Q')];
+        // Intentar refutar P∧Q dando F(P∧Q): se bifurca en F P | F Q
+        // Con T P y T Q en la misma rama, el árbol cierra ambas ramas.
+        const result = prover.prove(branch(T(p), T(q), F(and(p, q))));
+        (0, vitest_1.expect)(result.closed).toBe(true);
+    });
+    (0, vitest_1.it)('F(A∧B) bifurca (β-rule) y puede dejar ramas abiertas', () => {
+        const prover = (0, tableau_framework_1.createPropositionalProver)();
+        const [p, q] = [atom('P'), atom('Q')];
+        // F(P∧Q) sin T P ni T Q → ambas ramas abiertas
+        const result = prover.prove(branch(F(and(p, q))));
+        (0, vitest_1.expect)(result.closed).toBe(false);
+    });
+});
+(0, vitest_1.describe)('Tableau framework — disyunción (∨)', () => {
+    (0, vitest_1.it)('T(A∨B) bifurca (β-rule)', () => {
+        const prover = (0, tableau_framework_1.createPropositionalProver)();
+        const [p, q] = [atom('P'), atom('Q')];
+        // T(P∨Q) con F P y F Q → ambas ramas cierran
+        const result = prover.prove(branch(T(or(p, q)), F(p), F(q)));
+        (0, vitest_1.expect)(result.closed).toBe(true);
+    });
+    (0, vitest_1.it)('F(A∨B) agrega F A y F B (α-rule)', () => {
+        const prover = (0, tableau_framework_1.createPropositionalProver)();
+        const [p, q] = [atom('P'), atom('Q')];
+        // F(P∨Q) con T P → T P y F P → cierra
+        const result = prover.prove(branch(T(p), F(or(p, q))));
+        (0, vitest_1.expect)(result.closed).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Tableau framework — implicación (→)', () => {
+    (0, vitest_1.it)('T(A→B) bifurca en F A | T B (β-rule)', () => {
+        const prover = (0, tableau_framework_1.createPropositionalProver)();
+        const [p, q] = [atom('P'), atom('Q')];
+        // T(P→Q) con T P y F Q → solo la rama F P cierra; T Q cierra con F Q
+        const result = prover.prove(branch(T(implies(p, q)), T(p), F(q)));
+        (0, vitest_1.expect)(result.closed).toBe(true);
+    });
+    (0, vitest_1.it)('F(A→B) agrega T A y F B (α-rule)', () => {
+        const prover = (0, tableau_framework_1.createPropositionalProver)();
+        const [p, q] = [atom('P'), atom('Q')];
+        // F(P→Q) con F P → T P y F P → cierra
+        const result = prover.prove(branch(F(p), F(implies(p, q))));
+        (0, vitest_1.expect)(result.closed).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Tableau framework — tautologías clásicas', () => {
+    (0, vitest_1.it)('A∨¬A es tautología (refutación cierra)', () => {
+        const prover = (0, tableau_framework_1.createPropositionalProver)();
+        const p = atom('P');
+        // Para probar tautología: asumir F(A∨¬A)
+        const result = prover.prove(branch(F(or(p, not(p)))));
+        (0, vitest_1.expect)(result.closed).toBe(true);
+    });
+    (0, vitest_1.it)('(A→B)→(¬B→¬A) es tautología (modus tollens)', () => {
+        const prover = (0, tableau_framework_1.createPropositionalProver)();
+        const [a, b] = [atom('A'), atom('B')];
+        const formula = implies(implies(a, b), implies(not(b), not(a)));
+        const result = prover.prove(branch(F(formula)));
+        (0, vitest_1.expect)(result.closed).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Tableau framework — closure condition personalizada', () => {
+    (0, vitest_1.it)('permite registrar una condición de cierre custom', () => {
+        const prover = new tableau_framework_1.TableauProver();
+        // Condición: cierra si la rama contiene el átomo especial "BOTTOM"
+        prover.registerClosureCondition(b => {
+            const hasBottom = b.nodes.some(n => n.formula.kind === 'atom' && n.formula['name'] === 'BOTTOM');
+            return hasBottom ? 'explicit bottom atom' : null;
+        });
+        const result = prover.prove(branch({ formula: { kind: 'atom', name: 'BOTTOM' } }));
+        (0, vitest_1.expect)(result.closed).toBe(true);
+        (0, vitest_1.expect)(result.branches[0]?.reason).toContain('bottom');
+    });
+    (0, vitest_1.it)('closure custom no interfiere con ramas sin el átomo', () => {
+        const prover = new tableau_framework_1.TableauProver();
+        prover.registerClosureCondition(b => {
+            const has = b.nodes.some(n => n.formula['name'] === 'BOTTOM');
+            return has ? 'bottom' : null;
+        });
+        const result = prover.prove(branch({ formula: atom('P') }));
+        (0, vitest_1.expect)(result.closed).toBe(false);
+    });
+});
+(0, vitest_1.describe)('Tableau framework — composición de provers', () => {
+    (0, vitest_1.it)('un prover puede copiar reglas de otro (compose manual)', () => {
+        const base = (0, tableau_framework_1.createPropositionalProver)();
+        const extended = (0, tableau_framework_1.createPropositionalProver)();
+        // Regla extra: cierra en cualquier átomo llamado "ABSURD"
+        const absurdRule = {
+            name: 'Absurd-Atom',
+            match: n => n.formula.kind === 'atom' && n.formula['name'] === 'ABSURD',
+            apply: () => [],
+        };
+        extended.registerRule(absurdRule);
+        extended.registerClosureCondition(b => {
+            const has = b.nodes.some(n => n.formula['name'] === 'ABSURD');
+            return has ? 'absurd atom present' : null;
+        });
+        const p = atom('P');
+        // Base prover no cierra esto (no hay contradicción)
+        const r1 = base.prove(branch(T(p)));
+        (0, vitest_1.expect)(r1.closed).toBe(false);
+        // Extended prover cierra porque la closure extra detecta ABSURD
+        const r2 = extended.prove(branch({ formula: { kind: 'atom', name: 'ABSURD' }, signed: 'T' }));
+        (0, vitest_1.expect)(r2.closed).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Tableau framework — maxDepth guard', () => {
+    (0, vitest_1.it)('respeta maxDepth y no entra en bucle infinito', () => {
+        const prover = new tableau_framework_1.TableauProver();
+        // Regla que siempre genera más trabajo (sin convergencia)
+        const infiniteRule = {
+            name: 'Infinite',
+            match: n => n.formula.kind === 'loop',
+            apply: (n) => [[n]],
+        };
+        prover.registerRule(infiniteRule);
+        const start = Date.now();
+        const result = prover.prove(branch({ formula: { kind: 'loop' } }), 5);
+        const elapsed = Date.now() - start;
+        // Debe terminar rápido (no loop infinito)
+        (0, vitest_1.expect)(elapsed).toBeLessThan(2000);
+        // No cerró (no hay closure condition)
+        (0, vitest_1.expect)(result.closed).toBe(false);
+    });
+});
+//# sourceMappingURL=tableau.test.js.map

package/dist/tests/tableau-framework/tableau.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tableau.test.js","sourceRoot":"","sources":["../../../src/tests/tableau-framework/tableau.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,uCAAuC;AACvC,+DAA+D;;AAE/D,mCAA8C;AAC9C,+DAGiC;AAQjC,iEAAiE;AAEjE,SAAS,IAAI,CAAC,IAAY;IACxB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAChC,CAAC;AACD,SAAS,GAAG,CAAC,CAAc;IACzB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AACpC,CAAC;AACD,SAAS,GAAG,CAAC,CAAc,EAAE,CAAc;IACzC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACvC,CAAC;AACD,SAAS,EAAE,CAAC,CAAc,EAAE,CAAc;IACxC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACtC,CAAC;AACD,SAAS,OAAO,CAAC,CAAc,EAAE,CAAc;IAC7C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,CAAC,CAAC,CAAc;IACvB,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AACrC,CAAC;AACD,SAAS,CAAC,CAAC,CAAc;IACvB,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,MAAM,CAAC,GAAG,KAAiC;IAClD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAClC,CAAC;AAED,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,MAAM,GAAG,IAAA,6CAAyB,GAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,MAAM,GAAG,IAAA,6CAAyB,GAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,MAAM,GAAG,IAAA,6CAAyB,GAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,kEAAkE;QAClE,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,sDAAsD;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,MAAM,GAAG,IAAA,6CAAyB,GAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,+CAA+C;QAC/C,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,MAAM,GAAG,IAAA,6CAAyB,GAAE,CAAC;QAC3C,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACtC,6DAA6D;QAC7D,+DAA+D;QAC/D,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAG,IAAA,6CAAyB,GAAE,CAAC;QAC3C,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACtC,+CAA+C;QAC/C,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,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,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,MAAM,GAAG,IAAA,6CAAyB,GAAE,CAAC;QAC3C,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACtC,6CAA6C;QAC7C,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,MAAM,GAAG,IAAA,6CAAyB,GAAE,CAAC;QAC3C,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACtC,sCAAsC;QACtC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,IAAA,6CAAyB,GAAE,CAAC;QAC3C,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACtC,qEAAqE;QACrE,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,MAAM,GAAG,IAAA,6CAAyB,GAAE,CAAC;QAC3C,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACtC,sCAAsC;QACtC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,MAAM,GAAG,IAAA,6CAAyB,GAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,yCAAyC;QACzC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,MAAM,GAAG,IAAA,6CAAyB,GAAE,CAAC;QAC3C,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qDAAqD,EAAE,GAAG,EAAE;IACnE,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,MAAM,GAAG,IAAI,iCAAa,EAAe,CAAC;QAEhD,mEAAmE;QACnE,MAAM,CAAC,wBAAwB,CAAC,CAAC,CAAC,EAAE;YAClC,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAC5B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,QAAQ,CACjE,CAAC;YACF,OAAO,SAAS,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC;QACnF,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,MAAM,GAAG,IAAI,iCAAa,EAAe,CAAC;QAChD,MAAM,CAAC,wBAAwB,CAAC,CAAC,CAAC,EAAE;YAClC,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC;YAC9D,OAAO,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5D,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,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,IAAI,GAAG,IAAA,6CAAyB,GAAE,CAAC;QACzC,MAAM,QAAQ,GAAG,IAAA,6CAAyB,GAAE,CAAC;QAE7C,0DAA0D;QAC1D,MAAM,UAAU,GAAsB;YACpC,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,QAAQ;YACvE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE;SAChB,CAAC;QACF,QAAQ,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;QAClC,QAAQ,CAAC,wBAAwB,CAAC,CAAC,CAAC,EAAE;YACpC,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC;YAC9D,OAAO,GAAG,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5C,CAAC,CAAC,CAAC;QAEH,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,oDAAoD;QACpD,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE9B,gEAAgE;QAChE,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QAC9F,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,MAAM,GAAG,IAAI,iCAAa,EAAe,CAAC;QAEhD,0DAA0D;QAC1D,MAAM,YAAY,GAAsB;YACtC,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM;YACrC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACpB,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC;QAElC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACtE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;QAEnC,0CAA0C;QAC1C,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACnC,sCAAsC;QACtC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/theorem-cache/cache.test.d.ts

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

package/dist/tests/theorem-cache/cache.test.d.ts.map

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