npm - @stevenvo780/st-lang - Versions diffs - 4.6.0 → 4.8.0 - Mend

@stevenvo780/st-lang 4.6.0 → 4.8.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (2674) hide show

package/dist/tests/sat-v2-incremental/basic.test.js.map DELETED Viewed

@@ -1 +0,0 @@

- {"version":3,"file":"basic.test.js","sourceRoot":"","sources":["../../../src/tests/sat-v2-incremental/basic.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,0EAAmE;AAEnE,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,uBAAuB;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAChB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,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,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;QAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2FAA2F,EAAE,GAAG,EAAE;QACnG,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa;QAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACrB,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY;QACpC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,8DAA8D;QAC9D,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1C,0DAA0D;QAC1D,IAAA,eAAM,EAAC,CAAC,CAAC,iBAAkB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;QACtB,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe;QAClC,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACtB,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,CAAC,CAAC,GAAG,EAAE,CAAC;QACR,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACxB,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC;QAC7B,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,CAAC,CAAC,GAAG,EAAE,CAAC;QACR,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC;QAC7B,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,CAAC,CAAC,GAAG,EAAE,CAAC;QACR,8CAA8C;QAC9C,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACtB,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,CAAC,CAAC,GAAG,EAAE,CAAC;QACR,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC;QAC7B,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACT,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,QAAQ;QACjB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACtB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC,CAAC,KAAK,EAAE,CAAC;QACV,CAAC,CAAC,KAAK,EAAE,CAAC;QACV,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,CAAC,CAAC,KAAK,EAAE,CAAC;QACV,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACtB,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC,CAAC,KAAK,EAAE,CAAC;QACV,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,KAAK,GAAG,GAAG,CAAC;QAClB,MAAM,QAAQ,GAAG,GAAG,CAAC;QACrB,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,KAAK,CAAC,CAAC;QAErC,gCAAgC;QAChC,SAAS,GAAG,CAAC,IAAY;YACvB,OAAO;gBACL,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,UAAU,CAAC,CAAC;gBAC7B,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;gBACrC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;gBAC1C,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC;YAC/C,CAAC,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,IAAI,GAAa,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAC/B,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;gBACzC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,SAAS;gBAC1B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACZ,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACnC,CAAC;YACD,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QAED,kFAAkF;QAClF,+BAA+B;QAC/B,SAAS,MAAM,CAAC,KAAuC,EAAE,WAAqB;YAC5E,IAAI,CAAC,KAAK;gBAAE,OAAO,KAAK,CAAC;YACzB,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;gBAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACtB,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;gBACnB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACzB,IAAI,GAAG,KAAK,IAAI;oBAAE,OAAO,KAAK,CAAC;YACjC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAa,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YACzB,MAAM,KAAK,GAAG,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC9B,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC3C,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACzC,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC3B,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;gBACV,QAAQ,EAAE,CAAC;gBACX,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9C,CAAC;iBAAM,CAAC;gBACN,UAAU,EAAE,CAAC;gBACb,IAAA,eAAM,EAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,WAAW,EAAE,CAAC;YAC5C,CAAC;QACH,CAAC;QACD,IAAA,eAAM,EAAC,QAAQ,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACrB,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE1B,6CAA6C;QAC7C,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACrB,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB;QACrC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,+CAA+C;IAC/C,wEAAwE;IACxE,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7D,8BAA8B;QAC9B,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,oCAAoC;QACpC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/sequent-g3/prover.test.d.ts.map DELETED Viewed

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

package/dist/tests/sequent-g3/prover.test.js DELETED Viewed

@@ -1,205 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const sequent_g3_1 = require("../../profiles/sequent-g3");
-// --- Helpers de construccion ---
-const atom = (name) => ({ kind: 'atom', name });
-const not = (a) => ({ kind: 'not', args: [a] });
-const and = (a, b) => ({ kind: 'and', args: [a, b] });
-const or = (a, b) => ({ kind: 'or', args: [a, b] });
-const imp = (a, b) => ({ kind: 'implies', args: [a, b] });
-const iff = (a, b) => ({ kind: 'biconditional', args: [a, b] });
-const T = { kind: 'true' };
-const F = { kind: 'false' };
-const P = atom('P');
-const Q = atom('Q');
-const R = atom('R');
-function rules(tree) {
-    if (!tree)
-        return [];
-    const out = [];
-    if (tree.rule)
-        out.push(tree.rule);
-    for (const sub of tree.premises)
-        out.push(...rules(sub));
-    return out;
-}
-(0, vitest_1.describe)('G3 — tautologias proposicionales clasicas', () => {
-    (0, vitest_1.it)('demuestra P → P', () => {
-        const res = (0, sequent_g3_1.proveFormula)(imp(P, P));
-        (0, vitest_1.expect)(res.provable).toBe(true);
-        (0, vitest_1.expect)(res.proof?.closed).toBe(true);
-        const ruleSet = new Set(rules(res.proof));
-        (0, vitest_1.expect)(ruleSet.has('impR')).toBe(true);
-        (0, vitest_1.expect)(ruleSet.has('axiom')).toBe(true);
-    });
-    (0, vitest_1.it)('demuestra (P ∧ Q) → P', () => {
-        const res = (0, sequent_g3_1.proveFormula)(imp(and(P, Q), P));
-        (0, vitest_1.expect)(res.provable).toBe(true);
-        const ruleSet = new Set(rules(res.proof));
-        (0, vitest_1.expect)(ruleSet.has('impR')).toBe(true);
-        (0, vitest_1.expect)(ruleSet.has('andL')).toBe(true);
-        (0, vitest_1.expect)(ruleSet.has('axiom')).toBe(true);
-    });
-    (0, vitest_1.it)('demuestra (P ∧ Q) → Q', () => {
-        const res = (0, sequent_g3_1.proveFormula)(imp(and(P, Q), Q));
-        (0, vitest_1.expect)(res.provable).toBe(true);
-    });
-    (0, vitest_1.it)('demuestra LEM: P ∨ ¬P', () => {
-        const res = (0, sequent_g3_1.proveFormula)(or(P, not(P)));
-        (0, vitest_1.expect)(res.provable).toBe(true);
-        const ruleSet = new Set(rules(res.proof));
-        (0, vitest_1.expect)(ruleSet.has('orR')).toBe(true);
-        (0, vitest_1.expect)(ruleSet.has('notR')).toBe(true);
-        (0, vitest_1.expect)(ruleSet.has('axiom')).toBe(true);
-    });
-    (0, vitest_1.it)('demuestra DNE clasica: ¬¬P → P', () => {
-        const res = (0, sequent_g3_1.proveFormula)(imp(not(not(P)), P));
-        (0, vitest_1.expect)(res.provable).toBe(true);
-    });
-    (0, vitest_1.it)('demuestra ley de Peirce: ((P → Q) → P) → P', () => {
-        const res = (0, sequent_g3_1.proveFormula)(imp(imp(imp(P, Q), P), P));
-        (0, vitest_1.expect)(res.provable).toBe(true);
-        const ruleSet = new Set(rules(res.proof));
-        (0, vitest_1.expect)(ruleSet.has('impL')).toBe(true);
-    });
-    (0, vitest_1.it)('demuestra contraposicion: (P → Q) → (¬Q → ¬P)', () => {
-        const res = (0, sequent_g3_1.proveFormula)(imp(imp(P, Q), imp(not(Q), not(P))));
-        (0, vitest_1.expect)(res.provable).toBe(true);
-    });
-    (0, vitest_1.it)('demuestra De Morgan: ¬(P ∧ Q) ↔ (¬P ∨ ¬Q)', () => {
-        const res = (0, sequent_g3_1.proveFormula)(iff(not(and(P, Q)), or(not(P), not(Q))));
-        (0, vitest_1.expect)(res.provable).toBe(true);
-    });
-    (0, vitest_1.it)('demuestra distributividad: P ∧ (Q ∨ R) → (P ∧ Q) ∨ (P ∧ R)', () => {
-        const res = (0, sequent_g3_1.proveFormula)(imp(and(P, or(Q, R)), or(and(P, Q), and(P, R))));
-        (0, vitest_1.expect)(res.provable).toBe(true);
-    });
-    (0, vitest_1.it)('demuestra silogismo hipotetico: (P→Q) → (Q→R) → (P→R)', () => {
-        const goal = imp(imp(P, Q), imp(imp(Q, R), imp(P, R)));
-        const res = (0, sequent_g3_1.proveFormula)(goal);
-        (0, vitest_1.expect)(res.provable).toBe(true);
-    });
-});
-(0, vitest_1.describe)('G3 — no-tautologias', () => {
-    (0, vitest_1.it)('NO demuestra P → Q', () => {
-        const res = (0, sequent_g3_1.proveFormula)(imp(P, Q));
-        (0, vitest_1.expect)(res.provable).toBe(false);
-    });
-    (0, vitest_1.it)('NO demuestra P ∧ Q (con P,Q libres)', () => {
-        const res = (0, sequent_g3_1.proveFormula)(and(P, Q));
-        (0, vitest_1.expect)(res.provable).toBe(false);
-    });
-    (0, vitest_1.it)('NO demuestra (P ∨ Q) → P', () => {
-        const res = (0, sequent_g3_1.proveFormula)(imp(or(P, Q), P));
-        (0, vitest_1.expect)(res.provable).toBe(false);
-    });
-    (0, vitest_1.it)('NO demuestra ¬(P → P)', () => {
-        const res = (0, sequent_g3_1.proveFormula)(not(imp(P, P)));
-        (0, vitest_1.expect)(res.provable).toBe(false);
-    });
-    (0, vitest_1.it)('NO demuestra ⊥', () => {
-        const res = (0, sequent_g3_1.proveFormula)(F);
-        (0, vitest_1.expect)(res.provable).toBe(false);
-    });
-});
-(0, vitest_1.describe)('G3 — constantes y axiomas elementales', () => {
-    (0, vitest_1.it)('demuestra ⊤', () => {
-        const res = (0, sequent_g3_1.proveFormula)(T);
-        (0, vitest_1.expect)(res.provable).toBe(true);
-        (0, vitest_1.expect)(res.proof?.rule).toBe('trueR');
-    });
-    (0, vitest_1.it)('demuestra ⊥ → P (explosion / ex falso)', () => {
-        const res = (0, sequent_g3_1.proveFormula)(imp(F, P));
-        (0, vitest_1.expect)(res.provable).toBe(true);
-        const ruleSet = new Set(rules(res.proof));
-        (0, vitest_1.expect)(ruleSet.has('falseL')).toBe(true);
-    });
-    (0, vitest_1.it)('axioma directo: P ⊢ P', () => {
-        const res = (0, sequent_g3_1.proveSequent)({ left: [P], right: [P] });
-        (0, vitest_1.expect)(res.provable).toBe(true);
-        (0, vitest_1.expect)(res.proof?.rule).toBe('axiom');
-        (0, vitest_1.expect)(res.proof?.premises.length).toBe(0);
-    });
-    (0, vitest_1.it)('multiset: P, Q ⊢ Q, R cierra por axioma con Q', () => {
-        const res = (0, sequent_g3_1.proveSequent)({ left: [P, Q], right: [Q, R] });
-        (0, vitest_1.expect)(res.provable).toBe(true);
-        (0, vitest_1.expect)(res.proof?.rule).toBe('axiom');
-    });
-});
-(0, vitest_1.describe)('G3 — secuentes con hipotesis (premisas reales)', () => {
-    (0, vitest_1.it)('modus ponens: P, P→Q ⊢ Q', () => {
-        const res = (0, sequent_g3_1.proveSequent)({ left: [P, imp(P, Q)], right: [Q] });
-        (0, vitest_1.expect)(res.provable).toBe(true);
-        const ruleSet = new Set(rules(res.proof));
-        (0, vitest_1.expect)(ruleSet.has('impL')).toBe(true);
-    });
-    (0, vitest_1.it)('modus tollens: ¬Q, P→Q ⊢ ¬P', () => {
-        const res = (0, sequent_g3_1.proveSequent)({ left: [not(Q), imp(P, Q)], right: [not(P)] });
-        (0, vitest_1.expect)(res.provable).toBe(true);
-    });
-    (0, vitest_1.it)('silogismo disyuntivo: P∨Q, ¬P ⊢ Q', () => {
-        const res = (0, sequent_g3_1.proveSequent)({ left: [or(P, Q), not(P)], right: [Q] });
-        (0, vitest_1.expect)(res.provable).toBe(true);
-    });
-});
-(0, vitest_1.describe)('G3 — proofToLatex (bussproofs)', () => {
-    (0, vitest_1.it)('produce un bloque prooftree sintacticamente valido', () => {
-        const res = (0, sequent_g3_1.proveFormula)(imp(P, P));
-        (0, vitest_1.expect)(res.proof).toBeDefined();
-        const tex = (0, sequent_g3_1.proofToLatex)(res.proof);
-        (0, vitest_1.expect)(tex).toContain('\\begin{prooftree}');
-        (0, vitest_1.expect)(tex).toContain('\\end{prooftree}');
-        (0, vitest_1.expect)(tex).toContain('\\AxiomC');
-        (0, vitest_1.expect)(tex).toContain('\\UnaryInfC');
-        (0, vitest_1.expect)(tex).toContain('\\vdash');
-        (0, vitest_1.expect)(tex).toContain('\\textsc{Ax}');
-        (0, vitest_1.expect)(tex).toContain('\\to_R');
-    });
-    (0, vitest_1.it)('serializa correctamente una prueba con ramificacion (andR)', () => {
-        // ⊢ (P ∨ Q) → (P ∨ Q) cierra con orR + axiom, ahora probamos andR
-        // con un goal explicitamente ramificante: P ⊢ P ∧ P
-        const res = (0, sequent_g3_1.proveSequent)({ left: [P], right: [and(P, P)] });
-        (0, vitest_1.expect)(res.provable).toBe(true);
-        const tex = (0, sequent_g3_1.proofToLatex)(res.proof);
-        (0, vitest_1.expect)(tex).toContain('\\BinaryInfC');
-        (0, vitest_1.expect)(tex).toContain('\\wedge_R');
-    });
-    (0, vitest_1.it)('serializa una prueba de De Morgan a LaTeX no vacio', () => {
-        const res = (0, sequent_g3_1.proveFormula)(iff(not(and(P, Q)), or(not(P), not(Q))));
-        (0, vitest_1.expect)(res.provable).toBe(true);
-        const tex = (0, sequent_g3_1.proofToLatex)(res.proof);
-        (0, vitest_1.expect)(tex.length).toBeGreaterThan(50);
-        (0, vitest_1.expect)(tex).toContain('\\vdash');
-    });
-    (0, vitest_1.it)('todas las reglas usadas aparecen como etiquetas en el LaTeX', () => {
-        const res = (0, sequent_g3_1.proveFormula)(imp(imp(imp(P, Q), P), P));
-        const usedRules = new Set(rules(res.proof));
-        const tex = (0, sequent_g3_1.proofToLatex)(res.proof);
-        // Cuenta de \RightLabel == cantidad de reglas no-axioma efectivamente
-        // emitidas en el arbol (axiom tambien emite RightLabel en bussproofs).
-        const labelCount = (tex.match(/\\RightLabel/g) ?? []).length;
-        (0, vitest_1.expect)(labelCount).toBeGreaterThanOrEqual(usedRules.size);
-        (0, vitest_1.expect)(tex).toContain('\\to_L');
-    });
-});
-(0, vitest_1.describe)('G3 — propiedad de invertibilidad (subgoals deterministas)', () => {
-    (0, vitest_1.it)('reglas invertibles: probar (A∧B)→C ↔ A→(B→C) en ambos sentidos', () => {
-        const A = atom('A'), B = atom('B'), C = atom('C');
-        const left = imp(and(A, B), C);
-        const right = imp(A, imp(B, C));
-        (0, vitest_1.expect)((0, sequent_g3_1.proveFormula)(imp(left, right)).provable).toBe(true);
-        (0, vitest_1.expect)((0, sequent_g3_1.proveFormula)(imp(right, left)).provable).toBe(true);
-    });
-});
-(0, vitest_1.describe)('G3 — multiset semantics (duplicados en izquierda/derecha)', () => {
-    (0, vitest_1.it)('dedup interno: P, P ⊢ P sigue siendo derivable', () => {
-        const res = (0, sequent_g3_1.proveSequent)({ left: [P, P], right: [P] });
-        (0, vitest_1.expect)(res.provable).toBe(true);
-    });
-    (0, vitest_1.it)('dedup interno: P ⊢ P, P sigue siendo derivable', () => {
-        const res = (0, sequent_g3_1.proveSequent)({ left: [P], right: [P, P] });
-        (0, vitest_1.expect)(res.provable).toBe(true);
-    });
-});
-//# sourceMappingURL=prover.test.js.map

package/dist/tests/sequent-g3/prover.test.js.map DELETED Viewed

@@ -1 +0,0 @@

- {"version":3,"file":"prover.test.js","sourceRoot":"","sources":["../../../src/tests/sequent-g3/prover.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAE9C,0DAAgG;AAEhG,kCAAkC;AAElC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACjE,MAAM,GAAG,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAClE,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACjF,MAAM,EAAE,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAC/E,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACrF,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAC3F,MAAM,CAAC,GAAY,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACpC,MAAM,CAAC,GAAY,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAErC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AAEpB,SAAS,KAAK,CAAC,IAA2B;IACxC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACrB,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,IAAI,CAAC,IAAI;QAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACzD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,KAAM,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,kEAAkE;QAClE,oDAAoD;QACpD,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,KAAM,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,KAAM,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC5C,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,KAAM,CAAC,CAAC;QACrC,sEAAsE;QACtE,uEAAuE;QACvE,MAAM,UAAU,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QAC7D,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2DAA2D,EAAE,GAAG,EAAE;IACzE,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EACjB,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EACb,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,yBAAY,EAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAA,yBAAY,EAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2DAA2D,EAAE,GAAG,EAAE;IACzE,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/sequent-lk/prover.test.d.ts.map DELETED Viewed

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

package/dist/tests/sequent-lk/prover.test.js DELETED Viewed

@@ -1,317 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const sequent_lk_1 = require("../../profiles/sequent-lk");
-// --- Helpers ---
-const atom = (name) => ({ kind: 'atom', name });
-const not = (a) => ({ kind: 'not', arg: a });
-const and = (a, b) => ({ kind: 'and', left: a, right: b });
-const or = (a, b) => ({ kind: 'or', left: a, right: b });
-const imp = (a, b) => ({ kind: 'implies', left: a, right: b });
-const P = atom('P');
-const Q = atom('Q');
-const R = atom('R');
-function rulesOf(p) {
-    if (!p)
-        return [];
-    const out = [p.rule];
-    for (const sub of p.premises)
-        out.push(...rulesOf(sub));
-    return out;
-}
-(0, vitest_1.describe)('LK — proveLK sobre tautologias clasicas', () => {
-    (0, vitest_1.it)('demuestra el axioma P ⊢ P', () => {
-        const proof = (0, sequent_lk_1.proveLK)({ left: [P], right: [P] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        (0, vitest_1.expect)(proof.rule).toBe('axiom');
-        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(proof)).toBe(true);
-    });
-    (0, vitest_1.it)('demuestra ⊢ P ∨ ¬P (tercio excluido)', () => {
-        const proof = (0, sequent_lk_1.proveLKFormula)(or(P, not(P)));
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(proof)).toBe(true);
-        const set = new Set(rulesOf(proof));
-        (0, vitest_1.expect)(set.has('orR')).toBe(true);
-        (0, vitest_1.expect)(set.has('notR')).toBe(true);
-        (0, vitest_1.expect)(set.has('axiom')).toBe(true);
-    });
-    (0, vitest_1.it)('demuestra ⊢ ¬¬P → P (doble negacion clasica)', () => {
-        const proof = (0, sequent_lk_1.proveLKFormula)(imp(not(not(P)), P));
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(proof)).toBe(true);
-    });
-    (0, vitest_1.it)('demuestra ley de Peirce: ((P → Q) → P) → P', () => {
-        const proof = (0, sequent_lk_1.proveLKFormula)(imp(imp(imp(P, Q), P), P));
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(proof)).toBe(true);
-    });
-    (0, vitest_1.it)('demuestra ⊢ ¬¬¬P → ¬P', () => {
-        const proof = (0, sequent_lk_1.proveLKFormula)(imp(not(not(not(P))), not(P)));
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(proof)).toBe(true);
-    });
-    (0, vitest_1.it)('demuestra (P → Q) → (¬Q → ¬P) — contraposicion', () => {
-        const proof = (0, sequent_lk_1.proveLKFormula)(imp(imp(P, Q), imp(not(Q), not(P))));
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(proof)).toBe(true);
-    });
-    (0, vitest_1.it)('demuestra De Morgan: ¬(P ∧ Q) → (¬P ∨ ¬Q)', () => {
-        const proof = (0, sequent_lk_1.proveLKFormula)(imp(not(and(P, Q)), or(not(P), not(Q))));
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(proof)).toBe(true);
-    });
-    (0, vitest_1.it)('rechaza ⊢ P (no es tautologia)', () => {
-        const proof = (0, sequent_lk_1.proveLKFormula)(P);
-        (0, vitest_1.expect)(proof).toBeNull();
-    });
-    (0, vitest_1.it)('rechaza P ⊢ Q (no es derivable)', () => {
-        const proof = (0, sequent_lk_1.proveLK)({ left: [P], right: [Q] });
-        (0, vitest_1.expect)(proof).toBeNull();
-    });
-});
-(0, vitest_1.describe)('LK — multisuccedente', () => {
-    (0, vitest_1.it)('demuestra Γ ⊢ P, ¬P en una sola rama via axiom', () => {
-        const proof = (0, sequent_lk_1.proveLK)({ left: [], right: [P, not(P)] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(proof)).toBe(true);
-    });
-    (0, vitest_1.it)('demuestra P, Q ⊢ P ∧ Q', () => {
-        const proof = (0, sequent_lk_1.proveLK)({ left: [P, Q], right: [and(P, Q)] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(proof)).toBe(true);
-        (0, vitest_1.expect)(rulesOf(proof)).toContain('andR');
-    });
-    (0, vitest_1.it)('demuestra P ∨ Q ⊢ Q ∨ P (conmutatividad)', () => {
-        const proof = (0, sequent_lk_1.proveLK)({ left: [or(P, Q)], right: [or(Q, P)] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(proof)).toBe(true);
-    });
-});
-(0, vitest_1.describe)('LK — Hauptsatz / cut elimination', () => {
-    (0, vitest_1.it)('hasCut es false en una prueba cut-free producida por proveLK', () => {
-        const proof = (0, sequent_lk_1.proveLKFormula)(imp(P, P));
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        (0, vitest_1.expect)((0, sequent_lk_1.hasCut)(proof)).toBe(false);
-    });
-    (0, vitest_1.it)('detecta hasCut=true en una prueba con cut manual', () => {
-        // Construimos: ⊢ P  via cut sobre P, premisas: ⊢ P, P y P ⊢ (ambas falsas como derivaciones,
-        // pero la estructura sirve para chequear hasCut)
-        const fakeProof = {
-            goal: { left: [], right: [P] },
-            rule: 'cut',
-            cutFormula: P,
-            premises: [
-                { goal: { left: [], right: [P, P] }, rule: 'axiom', premises: [], principalFormula: P },
-                { goal: { left: [P], right: [] }, rule: 'axiom', premises: [], principalFormula: P },
-            ],
-        };
-        (0, vitest_1.expect)((0, sequent_lk_1.hasCut)(fakeProof)).toBe(true);
-    });
-    (0, vitest_1.it)('construye prueba con cut y elimina via eliminateCut → hasCut=false', () => {
-        // Objetivo: P → P
-        // Estrategia: armar una derivacion *con* corte que pruebe P → P:
-        //   premisa1: P ⊢ P, P  (via weakR sobre el axiom P ⊢ P) — usamos axiom multisuccedente
-        //   premisa2: P, P ⊢ P  (via weakL sobre el axiom P ⊢ P)
-        //   cut sobre P → P ⊢ P, luego impR → ⊢ P → P
-        //
-        // Por simplicidad, construimos directamente un cut sobre Q en un secuente que tiene
-        // sub-derivaciones canonicas (axiomas).
-        const axQ = {
-            goal: { left: [Q], right: [Q] },
-            rule: 'axiom',
-            premises: [],
-            principalFormula: Q,
-        };
-        const axQ2 = {
-            goal: { left: [Q], right: [Q] },
-            rule: 'axiom',
-            premises: [],
-            principalFormula: Q,
-        };
-        // cut: Q ⊢ Q   cut_Q   Q ⊢ Q   ⟹  Q ⊢ Q
-        const withCut = {
-            goal: { left: [Q], right: [Q] },
-            rule: 'cut',
-            cutFormula: Q,
-            premises: [axQ, axQ2],
-        };
-        (0, vitest_1.expect)((0, sequent_lk_1.hasCut)(withCut)).toBe(true);
-        const elim = (0, sequent_lk_1.eliminateCut)(withCut);
-        (0, vitest_1.expect)((0, sequent_lk_1.hasCut)(elim)).toBe(false);
-        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(elim)).toBe(true);
-    });
-    (0, vitest_1.it)('cut sobre conectivo and: eliminacion produce prueba cut-free valida del mismo secuente', () => {
-        // Objetivo: P, Q ⊢ P ∧ Q via cut sobre P∧Q
-        // p1 (concluye P, Q ⊢ P∧Q): andR de P ⊢ P y Q ⊢ Q  → este es el lado derecho del cut
-        // p2 (concluye P∧Q ⊢ P∧Q): axiom
-        // cut: P, Q ⊢ P∧Q   cut_{P∧Q}   P∧Q ⊢ P∧Q  → P, Q ⊢ P∧Q
-        // andR para P, Q ⊢ P∧Q: premisas P, Q ⊢ P  y  P, Q ⊢ Q
-        // Usamos derivaciones donde la formula extra viene como axiom multisuccedente, lo cual exige
-        // pasar por axiomas con weakening. Para mantener la prueba estructuralmente valida construimos
-        // p1 a partir de un cut trivial cuya eliminacion seria correcta — pero como aqui solo testeamos
-        // hasCut/eliminateCut, sirve igual: la entrada tiene cuts, la salida no.
-        const subAndL = {
-            goal: { left: [P, Q], right: [P] },
-            rule: 'axiom',
-            premises: [],
-            principalFormula: P,
-        };
-        const subAndR = {
-            goal: { left: [P, Q], right: [Q] },
-            rule: 'axiom',
-            premises: [],
-            principalFormula: Q,
-        };
-        const p1 = {
-            goal: { left: [P, Q], right: [and(P, Q)] },
-            rule: 'andR',
-            premises: [subAndL, subAndR],
-            principalFormula: and(P, Q),
-        };
-        const p2 = {
-            goal: { left: [and(P, Q)], right: [and(P, Q)] },
-            rule: 'axiom',
-            premises: [],
-            principalFormula: and(P, Q),
-        };
-        const withCut = {
-            goal: { left: [P, Q], right: [and(P, Q)] },
-            rule: 'cut',
-            cutFormula: and(P, Q),
-            premises: [p1, p2],
-        };
-        (0, vitest_1.expect)((0, sequent_lk_1.hasCut)(withCut)).toBe(true);
-        const elim = (0, sequent_lk_1.eliminateCut)(withCut);
-        (0, vitest_1.expect)((0, sequent_lk_1.hasCut)(elim)).toBe(false);
-        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(elim)).toBe(true);
-        // El secuente terminal debe coincidir
-        (0, vitest_1.expect)(elim.goal.left.map((f) => (f.kind === 'atom' ? f.name : '')).sort()).toEqual(['P', 'Q']);
-    });
-    (0, vitest_1.it)('cut con axioma como una de las premisas se reduce a la otra premisa', () => {
-        // Axiom A ⊢ A   cut_A   A ⊢ A   ⟹   A ⊢ A
-        const axL = {
-            goal: { left: [P], right: [P] },
-            rule: 'axiom',
-            premises: [],
-            principalFormula: P,
-        };
-        const axR = {
-            goal: { left: [P], right: [P] },
-            rule: 'axiom',
-            premises: [],
-            principalFormula: P,
-        };
-        const withCut = {
-            goal: { left: [P], right: [P] },
-            rule: 'cut',
-            cutFormula: P,
-            premises: [axL, axR],
-        };
-        const elim = (0, sequent_lk_1.eliminateCut)(withCut);
-        (0, vitest_1.expect)((0, sequent_lk_1.hasCut)(elim)).toBe(false);
-        (0, vitest_1.expect)(elim.rule).toBe('axiom');
-        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(elim)).toBe(true);
-    });
-});
-(0, vitest_1.describe)('LK — isValid sobre estructuras', () => {
-    (0, vitest_1.it)('isValid acepta axiom genuino', () => {
-        const ax = {
-            goal: { left: [P, Q], right: [P, R] },
-            rule: 'axiom',
-            premises: [],
-            principalFormula: P,
-        };
-        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(ax)).toBe(true);
-    });
-    (0, vitest_1.it)('isValid rechaza axiom sin formula compartida', () => {
-        const bad = {
-            goal: { left: [P], right: [Q] },
-            rule: 'axiom',
-            premises: [],
-            principalFormula: P,
-        };
-        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(bad)).toBe(false);
-    });
-    (0, vitest_1.it)('isValid acepta impR construido a mano: ⊢ P → P', () => {
-        const ax = {
-            goal: { left: [P], right: [P] },
-            rule: 'axiom',
-            premises: [],
-            principalFormula: P,
-        };
-        const impR = {
-            goal: { left: [], right: [imp(P, P)] },
-            rule: 'impR',
-            premises: [ax],
-            principalFormula: imp(P, P),
-        };
-        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(impR)).toBe(true);
-    });
-    (0, vitest_1.it)('isValid acepta weakL', () => {
-        const ax = {
-            goal: { left: [P], right: [P] },
-            rule: 'axiom',
-            premises: [],
-            principalFormula: P,
-        };
-        const w = {
-            goal: { left: [Q, P], right: [P] },
-            rule: 'weakL',
-            premises: [ax],
-            principalFormula: Q,
-        };
-        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(w)).toBe(true);
-    });
-    (0, vitest_1.it)('isValid acepta contrR', () => {
-        // p: ⊢ P, P  ;  conclusion: ⊢ P
-        // Necesitamos una p valida que tenga ⊢ P, P. Una axiom (P ⊢ P) no sirve; usamos
-        // un weakR sobre axiom para construir ⊢ P, P es delicado — en cambio testeamos
-        // contrR sobre un ejemplo trivial: dados p con goal ⊢ P, P (que aceptamos como
-        // un nodo fake con rule weakR), validamos que contrR encaje estructuralmente.
-        const fakeP = {
-            goal: { left: [], right: [P, P] },
-            rule: 'axiom',
-            premises: [],
-            principalFormula: P,
-        };
-        // isValid sobre fakeP es false (axiom necesita L y R compartir). Probamos isValid
-        // del contrR ignorando la rama de fakeP:
-        const contr = {
-            goal: { left: [], right: [P] },
-            rule: 'contrR',
-            premises: [fakeP],
-            principalFormula: P,
-        };
-        // isValid recursivo encontrara que fakeP no es valido → expect false.
-        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(contr)).toBe(false);
-    });
-});
-(0, vitest_1.describe)('LK — propiedad: cut-elimination preserva derivabilidad', () => {
-    (0, vitest_1.it)('para una tautologia, eliminateCut produce prueba cut-free isValid', () => {
-        // Tomamos una prueba cut-free directa y le inyectamos un cut trivial
-        // que tras eliminacion debe colapsar al original (o equivalente).
-        const original = (0, sequent_lk_1.proveLKFormula)(imp(P, imp(Q, P)));
-        (0, vitest_1.expect)(original).not.toBeNull();
-        const withCut = {
-            goal: { left: [P], right: [P] },
-            rule: 'cut',
-            cutFormula: P,
-            premises: [
-                { goal: { left: [P], right: [P] }, rule: 'axiom', premises: [], principalFormula: P },
-                { goal: { left: [P], right: [P] }, rule: 'axiom', premises: [], principalFormula: P },
-            ],
-        };
-        const elim = (0, sequent_lk_1.eliminateCut)(withCut);
-        (0, vitest_1.expect)((0, sequent_lk_1.hasCut)(elim)).toBe(false);
-        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(elim)).toBe(true);
-    });
-    (0, vitest_1.it)('eliminateCut sobre prueba ya cut-free es estable (hasCut sigue siendo false)', () => {
-        const proof = (0, sequent_lk_1.proveLKFormula)(or(P, not(P)));
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        (0, vitest_1.expect)((0, sequent_lk_1.hasCut)(proof)).toBe(false);
-        const elim = (0, sequent_lk_1.eliminateCut)(proof);
-        (0, vitest_1.expect)((0, sequent_lk_1.hasCut)(elim)).toBe(false);
-        (0, vitest_1.expect)((0, sequent_lk_1.isValid)(elim)).toBe(true);
-    });
-});
-//# sourceMappingURL=prover.test.js.map

package/dist/tests/sequent-lk/prover.test.js.map DELETED Viewed

@@ -1 +0,0 @@

- {"version":3,"file":"prover.test.js","sourceRoot":"","sources":["../../../src/tests/sequent-lk/prover.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,0DAQmC;AAEnC,kBAAkB;AAClB,MAAM,IAAI,GAAG,CAAC,IAAY,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACnE,MAAM,GAAG,GAAG,CAAC,CAAY,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;AACnE,MAAM,GAAG,GAAG,CAAC,CAAY,EAAE,CAAY,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AAC5F,MAAM,EAAE,GAAG,CAAC,CAAY,EAAE,CAAY,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AAC1F,MAAM,GAAG,GAAG,CAAC,CAAY,EAAE,CAAY,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AAEhG,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AAEpB,SAAS,OAAO,CAAC,CAA6B;IAC5C,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAClB,MAAM,GAAG,GAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,QAAQ;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IACxD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,KAAK,GAAG,IAAA,oBAAO,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,KAAK,GAAG,IAAA,2BAAc,EAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,KAAK,GAAG,IAAA,2BAAc,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAAG,IAAA,2BAAc,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,KAAK,GAAG,IAAA,2BAAc,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,KAAK,GAAG,IAAA,2BAAc,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,KAAK,GAAG,IAAA,2BAAc,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,KAAK,GAAG,IAAA,2BAAc,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,KAAK,GAAG,IAAA,oBAAO,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,KAAK,GAAG,IAAA,oBAAO,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,KAAK,GAAG,IAAA,oBAAO,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,KAAK,GAAG,IAAA,oBAAO,EAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,KAAK,GAAG,IAAA,2BAAc,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,mBAAM,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,6FAA6F;QAC7F,iDAAiD;QACjD,MAAM,SAAS,GAAY;YACzB,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC9B,IAAI,EAAE,KAAK;YACX,UAAU,EAAE,CAAC;YACb,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,gBAAgB,EAAE,CAAC,EAAE;gBACvF,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,gBAAgB,EAAE,CAAC,EAAE;aACrF;SACF,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,mBAAM,EAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,kBAAkB;QAClB,iEAAiE;QACjE,wFAAwF;QACxF,yDAAyD;QACzD,8CAA8C;QAC9C,EAAE;QACF,oFAAoF;QACpF,wCAAwC;QACxC,MAAM,GAAG,GAAY;YACnB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,MAAM,IAAI,GAAY;YACpB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,wCAAwC;QACxC,MAAM,OAAO,GAAY;YACvB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,EAAE,KAAK;YACX,UAAU,EAAE,CAAC;YACb,QAAQ,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC;SACtB,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,mBAAM,EAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,IAAA,yBAAY,EAAC,OAAO,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,mBAAM,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wFAAwF,EAAE,GAAG,EAAE;QAChG,2CAA2C;QAC3C,qFAAqF;QACrF,iCAAiC;QACjC,wDAAwD;QACxD,uDAAuD;QACvD,6FAA6F;QAC7F,+FAA+F;QAC/F,gGAAgG;QAChG,yEAAyE;QACzE,MAAM,OAAO,GAAY;YACvB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAClC,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,MAAM,OAAO,GAAY;YACvB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAClC,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,MAAM,EAAE,GAAY;YAClB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;YAC1C,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;YAC5B,gBAAgB,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;SAC5B,CAAC;QACF,MAAM,EAAE,GAAY;YAClB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/C,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;SAC5B,CAAC;QACF,MAAM,OAAO,GAAY;YACvB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;YAC1C,IAAI,EAAE,KAAK;YACX,UAAU,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;YACrB,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;SACnB,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,mBAAM,EAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,IAAA,yBAAY,EAAC,OAAO,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,mBAAM,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,sCAAsC;QACtC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAClG,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,0CAA0C;QAC1C,MAAM,GAAG,GAAY;YACnB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,MAAM,GAAG,GAAY;YACnB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,MAAM,OAAO,GAAY;YACvB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,EAAE,KAAK;YACX,UAAU,EAAE,CAAC;YACb,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;SACrB,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,yBAAY,EAAC,OAAO,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,mBAAM,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,EAAE,GAAY;YAClB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YACrC,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAY;YACnB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,EAAE,GAAY;YAClB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,MAAM,IAAI,GAAY;YACpB,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;YACtC,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,CAAC,EAAE,CAAC;YACd,gBAAgB,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;SAC5B,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,EAAE,GAAY;YAClB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,MAAM,CAAC,GAAY;YACjB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAClC,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,CAAC,EAAE,CAAC;YACd,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,gCAAgC;QAChC,gFAAgF;QAChF,+EAA+E;QAC/E,+EAA+E;QAC/E,8EAA8E;QAC9E,MAAM,KAAK,GAAY;YACrB,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YACjC,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,kFAAkF;QAClF,yCAAyC;QACzC,MAAM,KAAK,GAAY;YACrB,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC9B,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,CAAC,KAAK,CAAC;YACjB,gBAAgB,EAAE,CAAC;SACpB,CAAC;QACF,sEAAsE;QACtE,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wDAAwD,EAAE,GAAG,EAAE;IACtE,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,qEAAqE;QACrE,kEAAkE;QAClE,MAAM,QAAQ,GAAG,IAAA,2BAAc,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAChC,MAAM,OAAO,GAAY;YACvB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC/B,IAAI,EAAE,KAAK;YACX,UAAU,EAAE,CAAC;YACb,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,gBAAgB,EAAE,CAAC,EAAE;gBACrF,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,gBAAgB,EAAE,CAAC,EAAE;aACtF;SACF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,yBAAY,EAAC,OAAO,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,mBAAM,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,KAAK,GAAG,IAAA,2BAAc,EAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,mBAAM,EAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,IAAA,yBAAY,EAAC,KAAM,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAA,mBAAM,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,oBAAO,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/smt/mock-backend.test.d.ts.map DELETED Viewed

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