@stevenvo780/st-lang 4.5.2 → 4.7.0

package/dist/tests/description-logic/alc.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"alc.test.js","sourceRoot":"","sources":["../../../src/tests/description-logic/alc.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,8CAA8C;AAC9C,+DAA+D;;AAE/D,mCAA8C;AAC9C,wEAuB0C;AAE1C,IAAA,iBAAQ,EAAC,WAAW,EAAE,GAAG,EAAE;IACzB,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAA,uBAAG,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,sBAAE,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,MAAM,CAAC,GAAG,IAAA,yBAAK,EAAC,CAAC,CAAC,CAAC;QACnB,kCAAkC;QAClC,IAAA,eAAM,EAAC,IAAA,gCAAY,EAAC,CAAC,EAAE,IAAA,sBAAE,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CACzF,IAAI,CACL,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,IAAA,eAAM,EAAC,IAAA,gCAAY,EAAC,IAAA,yBAAK,EAAC,IAAA,uBAAG,EAAC,uBAAG,CAAC,CAAC,EAAE,0BAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAA,gCAAY,EAAC,IAAA,yBAAK,EAAC,IAAA,uBAAG,EAAC,0BAAM,CAAC,CAAC,EAAE,uBAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,gCAAY,EAAC,IAAA,yBAAK,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,IAAA,gCAAY,EAAC,IAAA,yBAAK,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,uBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,IAAA,mCAAe,EAAC,uBAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,mCAAe,EAAC,0BAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,mCAAe,EAAC,IAAA,0BAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,mCAAe,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAA,mCAAe,EAAC,IAAA,0BAAM,EAAC,UAAU,EAAE,IAAA,0BAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACvF,IAAA,eAAM,EAAC,IAAA,mCAAe,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,IAAA,mCAAe,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,IAAA,mCAAe,EAAC,IAAA,sBAAE,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,+BAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,+BAAW,EAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,uBAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,0BAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,IAAA,sBAAE,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,0BAAM,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,uBAAG,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,sBAAE,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,sBAAE,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAC1F,IAAI,CACL,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EACJ,IAAA,8BAAU,EACR,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,EACvD,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAC3C,CACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,0BAAM,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,uBAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,MAAM,EAAE,GAAoB;QAC1B,IAAI,EAAE,CAAC,IAAA,4BAAQ,EAAC,IAAA,0BAAM,EAAC,KAAK,CAAC,EAAE,IAAA,0BAAM,EAAC,QAAQ,CAAC,CAAC,EAAE,IAAA,4BAAQ,EAAC,IAAA,0BAAM,EAAC,QAAQ,CAAC,EAAE,IAAA,0BAAM,EAAC,QAAQ,CAAC,CAAC,CAAC;QAC/F,IAAI,EAAE,EAAE;KACT,CAAC;IAEF,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,IAAA,0BAAM,EAAC,KAAK,CAAC,EAAE,IAAA,0BAAM,EAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,IAAA,0BAAM,EAAC,KAAK,CAAC,EAAE,IAAA,0BAAM,EAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,IAAA,0BAAM,EAAC,QAAQ,CAAC,EAAE,IAAA,0BAAM,EAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,GAAG,GAAoB;YAC3B,IAAI,EAAE,CAAC,IAAA,8BAAU,EAAC,IAAA,0BAAM,EAAC,UAAU,CAAC,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,WAAW,CAAC,EAAE,IAAA,0BAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC/E,IAAI,EAAE,EAAE;SACT,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,IAAA,0BAAM,EAAC,UAAU,CAAC,EAAE,IAAA,0BAAM,EAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,WAAW,CAAC,EAAE,IAAA,0BAAM,EAAC,KAAK,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClG,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,EAAE,GAAoB;YAC1B,IAAI,EAAE,EAAE;YACR,IAAI,EAAE;gBACJ,IAAA,4BAAQ,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC;gBAC1B,IAAA,gCAAY,EAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;gBAC3B,IAAA,4BAAQ,EAAC,GAAG,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC;aAChC;SACF,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,EAAE,GAAoB;YAC1B,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,CAAC,IAAA,4BAAQ,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC;SACnC,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,EAAE,GAAoB;YAC1B,IAAI,EAAE,CAAC,IAAA,4BAAQ,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC;YAC1C,IAAI,EAAE,CAAC,IAAA,4BAAQ,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC;SACnC,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,EAAE,GAAoB;YAC1B,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,CAAC,IAAA,4BAAQ,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,4BAAQ,EAAC,GAAG,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SACpE,CAAC;QACF,wDAAwD;QACxD,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,EAAE,GAAoB;YAC1B,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,CAAC,IAAA,gCAAY,EAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,IAAA,4BAAQ,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAC7E,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,EAAE,GAAoB;YAC1B,IAAI,EAAE;gBACJ,IAAA,4BAAQ,EAAC,IAAA,0BAAM,EAAC,KAAK,CAAC,EAAE,IAAA,0BAAM,EAAC,QAAQ,CAAC,CAAC;gBACzC,IAAA,4BAAQ,EAAC,IAAA,0BAAM,EAAC,QAAQ,CAAC,EAAE,IAAA,0BAAM,EAAC,QAAQ,CAAC,CAAC;aAC7C;YACD,IAAI,EAAE,EAAE;SACT,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,4BAAQ,EAAC,EAAE,CAAC,CAAC;QACzB,gDAAgD;QAChD,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,4CAA4C;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClD,0BAA0B;QAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,EAAE,GAAoB;YAC1B,IAAI,EAAE;gBACJ,IAAA,4BAAQ,EAAC,IAAA,0BAAM,EAAC,OAAO,CAAC,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,QAAQ,CAAC,CAAC,CAAC;gBAChD,IAAA,4BAAQ,EAAC,IAAA,0BAAM,EAAC,aAAa,CAAC,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,OAAO,CAAC,EAAE,IAAA,0BAAM,EAAC,QAAQ,CAAC,CAAC,CAAC;aACxE;YACD,IAAI,EAAE,EAAE;SACT,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,4BAAQ,EAAC,EAAE,CAAC,CAAC;QACzB,wFAAwF;QACxF,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,aAAa,CAAE,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,EAAE,GAAG,IAAA,2BAAO,GAAE,CAAC;QACrB,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,IAAA,WAAE,EAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,EAAE,GAAoB;YAC1B,IAAI,EAAE,CAAC,IAAA,8BAAU,EAAC,IAAA,0BAAM,EAAC,QAAQ,CAAC,EAAE,IAAA,0BAAM,EAAC,WAAW,EAAE,IAAA,0BAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC3E,IAAI,EAAE,EAAE;SACT,CAAC;QACF,wDAAwD;QACxD,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,IAAA,0BAAM,EAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,MAAM,EAAE,GAAoB;YAC1B,IAAI,EAAE;gBACJ,IAAA,4BAAQ,EACN,IAAA,0BAAM,EAAC,QAAQ,CAAC,EAChB,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,QAAQ,EAAE,IAAA,0BAAM,EAAC,QAAQ,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,QAAQ,EAAE,0BAAM,CAAC,CAAC,CAClE;aACF;YACD,IAAI,EAAE,EAAE;SACT,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,iCAAa,EAAC,IAAA,0BAAM,EAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,qBAAqB;QACrB,MAAM,GAAG,GAAG,IAAA,uBAAG,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,GAAG,GAAG,IAAA,sBAAE,EAAC,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,8BAAU,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EACJ,IAAA,8BAAU,EACR,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,EAC1C,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CACxD,CACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EACJ,IAAA,8BAAU,EACR,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,EACvD,IAAA,0BAAM,EAAC,GAAG,EAAE,IAAA,uBAAG,EAAC,IAAA,0BAAM,EAAC,GAAG,CAAC,EAAE,IAAA,0BAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAC3C,CACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/educational/checker.test.d.ts.map

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

package/dist/tests/educational/checker.test.js

@@ -1,212 +0,0 @@
-"use strict";
-// ============================================================
-// Tests: checkAnswer
-// ============================================================
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const educational_1 = require("../../educational");
-(0, vitest_1.describe)('checkAnswer — validity', () => {
-    (0, vitest_1.it)('respuesta correcta a tautología clásica devuelve correct=true score=100', () => {
-        const ex = (0, educational_1.generateExercise)(1, 'classical.propositional', 'validity', {
-            seed: 1,
-            templateId: 'l1-identity',
-        });
-        const result = (0, educational_1.checkAnswer)(ex, 'valid');
-        (0, vitest_1.expect)(result.correct).toBe(true);
-        (0, vitest_1.expect)(result.score).toBe(100);
-        (0, vitest_1.expect)(result.feedback).toBeTruthy();
-    });
-    (0, vitest_1.it)('acepta sinónimos como "sí" para validez', () => {
-        const ex = (0, educational_1.generateExercise)(1, 'classical.propositional', 'validity', {
-            seed: 1,
-            templateId: 'l1-identity',
-        });
-        const result = (0, educational_1.checkAnswer)(ex, 'sí');
-        (0, vitest_1.expect)(result.correct).toBe(true);
-    });
-    (0, vitest_1.it)('respuesta incorrecta devuelve correct=false con feedback útil y next hint', () => {
-        const ex = (0, educational_1.generateExercise)(1, 'classical.propositional', 'validity', {
-            seed: 1,
-            templateId: 'l1-identity',
-        });
-        const result = (0, educational_1.checkAnswer)(ex, 'invalid');
-        (0, vitest_1.expect)(result.correct).toBe(false);
-        (0, vitest_1.expect)(result.score).toBe(0);
-        (0, vitest_1.expect)(result.feedback.length).toBeGreaterThan(10);
-        (0, vitest_1.expect)(result.nextHint).toBeTruthy();
-    });
-    (0, vitest_1.it)('LEM intuicionista: la respuesta "invalid" es correcta', () => {
-        const ex = (0, educational_1.generateExercise)(3, 'intuitionistic.propositional', 'validity', {
-            seed: 1,
-            templateId: 'l3-intuit-lem',
-        });
-        const result = (0, educational_1.checkAnswer)(ex, 'invalid');
-        (0, vitest_1.expect)(result.correct).toBe(true);
-    });
-    (0, vitest_1.it)('LEM clásico: la respuesta "valid" es correcta', () => {
-        const ex = (0, educational_1.generateExercise)(1, 'classical.propositional', 'validity', {
-            seed: 1,
-            templateId: 'l1-lem-classical',
-        });
-        const result = (0, educational_1.checkAnswer)(ex, 'valid');
-        (0, vitest_1.expect)(result.correct).toBe(true);
-    });
-});
-(0, vitest_1.describe)('checkAnswer — satisfiability', () => {
-    (0, vitest_1.it)('responder "satisfiable" a un átomo es correcto', () => {
-        const ex = (0, educational_1.generateExercise)(1, 'classical.propositional', 'satisfiability', {
-            seed: 1,
-            templateId: 'l1-sat-atom',
-        });
-        const result = (0, educational_1.checkAnswer)(ex, 'satisfiable');
-        (0, vitest_1.expect)(result.correct).toBe(true);
-    });
-    (0, vitest_1.it)('responder "unsat" a una contradicción es correcto', () => {
-        const ex = (0, educational_1.generateExercise)(1, 'classical.propositional', 'satisfiability', {
-            seed: 1,
-            templateId: 'l1-unsat-contradiction',
-        });
-        const result = (0, educational_1.checkAnswer)(ex, 'unsat');
-        (0, vitest_1.expect)(result.correct).toBe(true);
-    });
-    (0, vitest_1.it)('respuesta incorrecta a contradicción', () => {
-        const ex = (0, educational_1.generateExercise)(1, 'classical.propositional', 'satisfiability', {
-            seed: 1,
-            templateId: 'l1-unsat-contradiction',
-        });
-        const result = (0, educational_1.checkAnswer)(ex, 'satisfiable');
-        (0, vitest_1.expect)(result.correct).toBe(false);
-    });
-});
-(0, vitest_1.describe)('checkAnswer — derive', () => {
-    (0, vitest_1.it)('responder la fórmula correcta para modus ponens', () => {
-        const ex = (0, educational_1.generateExercise)(2, 'classical.propositional', 'derive', {
-            seed: 1,
-            templateId: 'l2-modus-ponens',
-        });
-        (0, vitest_1.expect)(ex.goal).toBeTruthy();
-        const result = (0, educational_1.checkAnswer)(ex, ex.goal);
-        (0, vitest_1.expect)(result.correct).toBe(true);
-    });
-    (0, vitest_1.it)('responder "sí" da score parcial pero correcto', () => {
-        const ex = (0, educational_1.generateExercise)(2, 'classical.propositional', 'derive', {
-            seed: 1,
-            templateId: 'l2-modus-ponens',
-        });
-        const result = (0, educational_1.checkAnswer)(ex, 'sí');
-        (0, vitest_1.expect)(result.correct).toBe(true);
-        (0, vitest_1.expect)(result.score).toBeGreaterThan(50);
-    });
-    (0, vitest_1.it)('responder fórmula incorrecta da feedback', () => {
-        const ex = (0, educational_1.generateExercise)(2, 'classical.propositional', 'derive', {
-            seed: 1,
-            templateId: 'l2-modus-ponens',
-        });
-        const result = (0, educational_1.checkAnswer)(ex, 'X');
-        (0, vitest_1.expect)(result.correct).toBe(false);
-        (0, vitest_1.expect)(result.feedback).toBeTruthy();
-        (0, vitest_1.expect)(result.nextHint).toBeTruthy();
-    });
-});
-(0, vitest_1.describe)('checkAnswer — countermodel', () => {
-    (0, vitest_1.it)('valuación correcta para P -> Q como contramodelo', () => {
-        const ex = (0, educational_1.generateExercise)(2, 'classical.propositional', 'countermodel', {
-            seed: 1,
-            templateId: 'l2-cm-pq',
-        });
-        const hint = ex.solution.countermodelHint;
-        const result = (0, educational_1.checkAnswer)(ex, { valuation: hint });
-        (0, vitest_1.expect)(result.correct).toBe(true);
-    });
-    (0, vitest_1.it)('valuación incorrecta (todas verdaderas) no es contramodelo', () => {
-        const ex = (0, educational_1.generateExercise)(2, 'classical.propositional', 'countermodel', {
-            seed: 1,
-            templateId: 'l2-cm-pq',
-        });
-        const keys = Object.keys(ex.solution.countermodelHint);
-        const allTrue = {};
-        for (const k of keys)
-            allTrue[k] = true;
-        const result = (0, educational_1.checkAnswer)(ex, { valuation: allTrue });
-        (0, vitest_1.expect)(result.correct).toBe(false);
-    });
-    (0, vitest_1.it)('acepta formato string "P=V, Q=F"', () => {
-        const ex = (0, educational_1.generateExercise)(2, 'classical.propositional', 'countermodel', {
-            seed: 1,
-            templateId: 'l2-cm-pq',
-        });
-        const hint = ex.solution.countermodelHint;
-        const text = Object.entries(hint)
-            .map(([k, v]) => `${k}=${v ? 'V' : 'F'}`)
-            .join(', ');
-        const result = (0, educational_1.checkAnswer)(ex, text);
-        (0, vitest_1.expect)(result.correct).toBe(true);
-    });
-    (0, vitest_1.it)('respuesta vacía/malformada da feedback', () => {
-        const ex = (0, educational_1.generateExercise)(2, 'classical.propositional', 'countermodel', {
-            seed: 1,
-            templateId: 'l2-cm-pq',
-        });
-        const result = (0, educational_1.checkAnswer)(ex, 'no sé');
-        (0, vitest_1.expect)(result.correct).toBe(false);
-        (0, vitest_1.expect)(result.feedback).toBeTruthy();
-    });
-});
-(0, vitest_1.describe)('checkAnswer — translate', () => {
-    (0, vitest_1.it)('traducción correcta de conjunción', () => {
-        const ex = (0, educational_1.generateExercise)(1, 'classical.propositional', 'translate', {
-            seed: 1,
-            templateId: 'l1-translate-and',
-        });
-        (0, vitest_1.expect)(ex.solution.canonicalFormula).toBeTruthy();
-        const result = (0, educational_1.checkAnswer)(ex, ex.solution.canonicalFormula);
-        (0, vitest_1.expect)(result.correct).toBe(true);
-    });
-    (0, vitest_1.it)('traducción correcta de implicación', () => {
-        const ex = (0, educational_1.generateExercise)(1, 'classical.propositional', 'translate', {
-            seed: 1,
-            templateId: 'l1-translate-implies',
-        });
-        const result = (0, educational_1.checkAnswer)(ex, ex.solution.canonicalFormula);
-        (0, vitest_1.expect)(result.correct).toBe(true);
-    });
-    (0, vitest_1.it)('traducción incorrecta da feedback con sugerencia', () => {
-        const ex = (0, educational_1.generateExercise)(1, 'classical.propositional', 'translate', {
-            seed: 1,
-            templateId: 'l1-translate-and',
-        });
-        const result = (0, educational_1.checkAnswer)(ex, 'zzz');
-        (0, vitest_1.expect)(result.correct).toBe(false);
-        (0, vitest_1.expect)(result.feedback).toContain('esperada');
-    });
-});
-(0, vitest_1.describe)('toPublicExercise', () => {
-    (0, vitest_1.it)('NO expone la solution al estudiante', () => {
-        const ex = (0, educational_1.generateExercise)(1, 'classical.propositional', 'validity', {
-            seed: 1,
-            templateId: 'l1-identity',
-        });
-        // Verificamos que un consumer puede pasar sólo el subset sin solution
-        const publicEx = {
-            id: ex.id,
-            level: ex.level,
-            profile: ex.profile,
-            kind: ex.kind,
-            prompt: ex.prompt,
-            formula: ex.formula,
-            hints: ex.hints,
-        };
-        (0, vitest_1.expect)(publicEx.solution).toBeUndefined();
-    });
-});
-(0, vitest_1.describe)('integration: generateLessonPath + checkAnswer', () => {
-    (0, vitest_1.it)('para cada ejercicio del path, responder con su expectedAnswer es correcto', () => {
-        const ex = (0, educational_1.generateExercise)(1, 'classical.propositional', 'validity', {
-            seed: 1,
-            templateId: 'l1-identity',
-        });
-        const result = (0, educational_1.checkAnswer)(ex, ex.solution.expectedAnswer);
-        (0, vitest_1.expect)(result.correct).toBe(true);
-    });
-});
-//# sourceMappingURL=checker.test.js.map

package/dist/tests/educational/checker.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"checker.test.js","sourceRoot":"","sources":["../../../src/tests/educational/checker.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,qBAAqB;AACrB,+DAA+D;;AAE/D,mCAA8C;AAC9C,mDAAkE;AAElE,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,UAAU,EAAE;YACpE,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,aAAa;SAC1B,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,yBAAW,EAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,UAAU,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,UAAU,EAAE;YACpE,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,aAAa;SAC1B,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,yBAAW,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,UAAU,EAAE;YACpE,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,aAAa;SAC1B,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,yBAAW,EAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,UAAU,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,8BAA8B,EAAE,UAAU,EAAE;YACzE,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,eAAe;SAC5B,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,yBAAW,EAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,UAAU,EAAE;YACpE,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,kBAAkB;SAC/B,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,yBAAW,EAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,gBAAgB,EAAE;YAC1E,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,aAAa;SAC1B,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,yBAAW,EAAC,EAAE,EAAE,aAAa,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,gBAAgB,EAAE;YAC1E,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,wBAAwB;SACrC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,yBAAW,EAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,gBAAgB,EAAE;YAC1E,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,wBAAwB;SACrC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,yBAAW,EAAC,EAAE,EAAE,aAAa,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,QAAQ,EAAE;YAClE,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,iBAAiB;SAC9B,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,IAAA,yBAAW,EAAC,EAAE,EAAE,EAAE,CAAC,IAAK,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,QAAQ,EAAE;YAClE,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,iBAAiB;SAC9B,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,yBAAW,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,QAAQ,EAAE;YAClE,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,iBAAiB;SAC9B,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,yBAAW,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,UAAU,EAAE,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,UAAU,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,cAAc,EAAE;YACxE,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,UAAU;SACvB,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC,gBAAiB,CAAC;QAC3C,MAAM,MAAM,GAAG,IAAA,yBAAW,EAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,cAAc,EAAE;YACxE,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,UAAU;SACvB,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,gBAAiB,CAAC,CAAC;QACxD,MAAM,OAAO,GAA4B,EAAE,CAAC;QAC5C,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;QACxC,MAAM,MAAM,GAAG,IAAA,yBAAW,EAAC,EAAE,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,cAAc,EAAE;YACxE,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,UAAU;SACvB,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC,gBAAiB,CAAC;QAC3C,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;aAC9B,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;aACxC,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,MAAM,MAAM,GAAG,IAAA,yBAAW,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,cAAc,EAAE;YACxE,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,UAAU;SACvB,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,yBAAW,EAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,UAAU,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,WAAW,EAAE;YACrE,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,kBAAkB;SAC/B,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,UAAU,EAAE,CAAC;QAClD,MAAM,MAAM,GAAG,IAAA,yBAAW,EAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,gBAAiB,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,WAAW,EAAE;YACrE,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,sBAAsB;SACnC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,yBAAW,EAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,gBAAiB,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,WAAW,EAAE;YACrE,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,kBAAkB;SAC/B,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,yBAAW,EAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,UAAU,EAAE;YACpE,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,aAAa;SAC1B,CAAC,CAAC;QACH,sEAAsE;QACtE,MAAM,QAAQ,GAAG;YACf,EAAE,EAAE,EAAE,CAAC,EAAE;YACT,KAAK,EAAE,EAAE,CAAC,KAAK;YACf,OAAO,EAAE,EAAE,CAAC,OAAO;YACnB,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,MAAM,EAAE,EAAE,CAAC,MAAM;YACjB,OAAO,EAAE,EAAE,CAAC,OAAO;YACnB,KAAK,EAAE,EAAE,CAAC,KAAK;SAChB,CAAC;QACF,IAAA,eAAM,EAAE,QAAoC,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,CAAC;IACzE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,IAAA,WAAE,EAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,UAAU,EAAE;YACpE,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,aAAa;SAC1B,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,yBAAW,EAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/educational/generator.test.d.ts.map

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

package/dist/tests/educational/generator.test.js

@@ -1,137 +0,0 @@
-"use strict";
-// ============================================================
-// Tests: generateExercise y generateLessonPath
-// ============================================================
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const educational_1 = require("../../educational");
-(0, vitest_1.describe)('generateExercise', () => {
-    (0, vitest_1.it)('devuelve un Exercise con todos los campos requeridos (level=1, classical, validity)', () => {
-        const ex = (0, educational_1.generateExercise)(1, 'classical.propositional', 'validity', { seed: 42 });
-        (0, vitest_1.expect)(ex.id).toBeTruthy();
-        (0, vitest_1.expect)(ex.level).toBe(1);
-        (0, vitest_1.expect)(ex.profile).toBe('classical.propositional');
-        (0, vitest_1.expect)(ex.kind).toBe('validity');
-        (0, vitest_1.expect)(ex.prompt).toBeTruthy();
-        (0, vitest_1.expect)(Array.isArray(ex.hints)).toBe(true);
-        (0, vitest_1.expect)(ex.hints.length).toBeGreaterThanOrEqual(1);
-        (0, vitest_1.expect)(ex.solution).toBeDefined();
-        (0, vitest_1.expect)(ex.solution.expectedAnswer).toBeTruthy();
-        (0, vitest_1.expect)(ex.solution.explanation).toBeTruthy();
-    });
-    (0, vitest_1.it)('genera ejercicios de satisfacibilidad nivel 1', () => {
-        const ex = (0, educational_1.generateExercise)(1, 'classical.propositional', 'satisfiability', {
-            seed: 7,
-        });
-        (0, vitest_1.expect)(ex.kind).toBe('satisfiability');
-        (0, vitest_1.expect)(ex.formula).toBeTruthy();
-        (0, vitest_1.expect)(['satisfiable', 'unsatisfiable']).toContain(ex.solution.kind);
-    });
-    (0, vitest_1.it)('genera ejercicios de derivación nivel 2 con premisas y goal', () => {
-        const ex = (0, educational_1.generateExercise)(2, 'classical.propositional', 'derive', { seed: 11 });
-        (0, vitest_1.expect)(ex.kind).toBe('derive');
-        (0, vitest_1.expect)(Array.isArray(ex.premises)).toBe(true);
-        (0, vitest_1.expect)(ex.premises.length).toBeGreaterThan(0);
-        (0, vitest_1.expect)(ex.goal).toBeTruthy();
-    });
-    (0, vitest_1.it)('genera ejercicios intuicionistas nivel 3', () => {
-        const ex = (0, educational_1.generateExercise)(3, 'intuitionistic.propositional', 'validity', {
-            seed: 5,
-        });
-        (0, vitest_1.expect)(ex.profile).toBe('intuitionistic.propositional');
-        (0, vitest_1.expect)(['valid', 'invalid']).toContain(ex.solution.kind);
-    });
-    (0, vitest_1.it)('genera ejercicios nivel 4 (avanzado)', () => {
-        const ex = (0, educational_1.generateExercise)(4, 'classical.propositional', 'derive', { seed: 99 });
-        (0, vitest_1.expect)(ex.level).toBe(4);
-        (0, vitest_1.expect)(ex.premises.length).toBeGreaterThanOrEqual(2);
-    });
-    (0, vitest_1.it)('genera ejercicios de countermodel nivel 2', () => {
-        const ex = (0, educational_1.generateExercise)(2, 'classical.propositional', 'countermodel', {
-            seed: 13,
-        });
-        (0, vitest_1.expect)(ex.kind).toBe('countermodel');
-        (0, vitest_1.expect)(ex.solution.countermodelHint).toBeDefined();
-    });
-    (0, vitest_1.it)('determinismo: mismo seed produce mismo ejercicio', () => {
-        const a = (0, educational_1.generateExercise)(2, 'classical.propositional', 'derive', { seed: 12345 });
-        const b = (0, educational_1.generateExercise)(2, 'classical.propositional', 'derive', { seed: 12345 });
-        (0, vitest_1.expect)(a.id).toBe(b.id);
-        (0, vitest_1.expect)(a.prompt).toBe(b.prompt);
-        (0, vitest_1.expect)(a.formula).toBe(b.formula);
-        (0, vitest_1.expect)(a.premises).toEqual(b.premises);
-        (0, vitest_1.expect)(a.goal).toBe(b.goal);
-    });
-    (0, vitest_1.it)('determinismo: distintos seeds (generalmente) producen distintos ejercicios', () => {
-        const variants = new Set();
-        for (let i = 0; i < 10; i++) {
-            const ex = (0, educational_1.generateExercise)(2, 'classical.propositional', 'derive', {
-                seed: i * 1000 + 7,
-            });
-            variants.add(`${ex.prompt}|${ex.formula ?? ''}|${(ex.premises ?? []).join(',')}`);
-        }
-        (0, vitest_1.expect)(variants.size).toBeGreaterThan(1);
-    });
-    (0, vitest_1.it)('templateId fuerza una plantilla específica', () => {
-        const ex = (0, educational_1.generateExercise)(1, 'classical.propositional', 'validity', {
-            seed: 1,
-            templateId: 'l1-identity',
-        });
-        (0, vitest_1.expect)(ex.solution.kind).toBe('valid');
-        (0, vitest_1.expect)(ex.formula).toContain('->');
-    });
-    (0, vitest_1.it)('lanza error si no hay plantilla para la combinación', () => {
-        (0, vitest_1.expect)(() => (0, educational_1.generateExercise)(4, 'aristotelian.syllogistic', 'derive')).toThrow();
-    });
-    (0, vitest_1.it)('lanza error si templateId no existe', () => {
-        (0, vitest_1.expect)(() => (0, educational_1.generateExercise)(1, 'classical.propositional', 'validity', {
-            templateId: 'no-existe-jamas',
-        })).toThrow();
-    });
-});
-(0, vitest_1.describe)('generateLessonPath', () => {
-    (0, vitest_1.it)('devuelve >= 3 ejercicios de nivel creciente para classical hasta 3', () => {
-        const path = (0, educational_1.generateLessonPath)('classical.propositional', 3, { seed: 100 });
-        (0, vitest_1.expect)(path.length).toBeGreaterThanOrEqual(3);
-        // Niveles deben ser monotónicamente no-decrecientes
-        for (let i = 1; i < path.length; i++) {
-            const prev = path[i - 1].level;
-            const curr = path[i].level;
-            (0, vitest_1.expect)(curr).toBeGreaterThanOrEqual(prev);
-        }
-    });
-    (0, vitest_1.it)('cubre niveles de 1 a targetLevel', () => {
-        const path = (0, educational_1.generateLessonPath)('classical.propositional', 4, { seed: 200 });
-        const levels = new Set(path.map((e) => e.level));
-        (0, vitest_1.expect)(levels.has(1)).toBe(true);
-        (0, vitest_1.expect)(levels.has(2)).toBe(true);
-        (0, vitest_1.expect)(levels.has(3)).toBe(true);
-        (0, vitest_1.expect)(levels.has(4)).toBe(true);
-    });
-    (0, vitest_1.it)('determinismo con seed', () => {
-        const a = (0, educational_1.generateLessonPath)('classical.propositional', 2, { seed: 99 });
-        const b = (0, educational_1.generateLessonPath)('classical.propositional', 2, { seed: 99 });
-        (0, vitest_1.expect)(a.length).toBe(b.length);
-        (0, vitest_1.expect)(a.map((e) => e.id)).toEqual(b.map((e) => e.id));
-    });
-    (0, vitest_1.it)('genera path intuicionista', () => {
-        const path = (0, educational_1.generateLessonPath)('intuitionistic.propositional', 3, { seed: 33 });
-        (0, vitest_1.expect)(path.length).toBeGreaterThan(0);
-    });
-});
-(0, vitest_1.describe)('listTemplates', () => {
-    (0, vitest_1.it)('hay plantillas para los 4 niveles', () => {
-        const all = (0, educational_1.listTemplates)();
-        const levels = new Set(all.map((t) => t.level));
-        (0, vitest_1.expect)(levels.has(1)).toBe(true);
-        (0, vitest_1.expect)(levels.has(2)).toBe(true);
-        (0, vitest_1.expect)(levels.has(3)).toBe(true);
-        (0, vitest_1.expect)(levels.has(4)).toBe(true);
-    });
-    (0, vitest_1.it)('todas las plantillas declaran al menos un perfil', () => {
-        for (const t of (0, educational_1.listTemplates)()) {
-            (0, vitest_1.expect)(t.profiles.length).toBeGreaterThan(0);
-        }
-    });
-});
-//# sourceMappingURL=generator.test.js.map

package/dist/tests/educational/generator.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"generator.test.js","sourceRoot":"","sources":["../../../src/tests/educational/generator.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,+CAA+C;AAC/C,+DAA+D;;AAE/D,mCAA8C;AAC9C,mDAAwF;AAExF,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,qFAAqF,EAAE,GAAG,EAAE;QAC7F,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QACpF,IAAA,eAAM,EAAC,EAAE,CAAC,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC;QAC/B,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QAClC,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,UAAU,EAAE,CAAC;QAChD,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,UAAU,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,gBAAgB,EAAE;YAC1E,IAAI,EAAE,CAAC;SACR,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAClF,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,EAAE,CAAC,QAAS,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,8BAA8B,EAAE,UAAU,EAAE;YACzE,IAAI,EAAE,CAAC;SACR,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAClF,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,EAAE,CAAC,QAAS,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,cAAc,EAAE;YACxE,IAAI,EAAE,EAAE;SACT,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,WAAW,EAAE,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACpF,MAAM,CAAC,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACpF,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,QAAQ,EAAE;gBAClE,IAAI,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC;aACnB,CAAC,CAAC;YACH,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,OAAO,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACpF,CAAC;QACD,IAAA,eAAM,EAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,UAAU,EAAE;YACpE,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,aAAa;SAC1B,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,8BAAgB,EAAC,CAAC,EAAE,0BAA0B,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACpF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,GAAG,EAAE,CACV,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,UAAU,EAAE;YACzD,UAAU,EAAE,iBAAiB;SAC9B,CAAC,CACH,CAAC,OAAO,EAAE,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,IAAI,GAAG,IAAA,gCAAkB,EAAC,yBAAyB,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC9C,oDAAoD;QACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;YAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YAC3B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,IAAI,GAAG,IAAA,gCAAkB,EAAC,yBAAyB,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAC7E,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,IAAA,gCAAkB,EAAC,yBAAyB,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,GAAG,IAAA,gCAAkB,EAAC,yBAAyB,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,IAAI,GAAG,IAAA,gCAAkB,EAAC,8BAA8B,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,IAAA,2BAAa,GAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,KAAK,MAAM,CAAC,IAAI,IAAA,2BAAa,GAAE,EAAE,CAAC;YAChC,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/exporters/coq/coq-exporter.test.d.ts.map

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