@stevenvo780/st-lang 3.2.2 → 4.0.0

package/dist/tests/coverage-fill-probabilistic.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-fill-probabilistic.test.js","sourceRoot":"","sources":["../../src/tests/coverage-fill-probabilistic.test.ts"],"names":[],"mappings":";AAAA;;;;GAIG;AACH,kOAAkO;;AAElO,mCAA8C;AAC9C,gCAAkC;AAClC,2DAAqE;AAGrE,iFAAiF;AAEjF,MAAM,OAAO,GAAG,IAAI,0BAAkB,EAAE,CAAC;AAEzC,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,OAAO,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACzF,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,IAAI,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACnF,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,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;AAEjF,MAAM,WAAW,GAAG,GAAG,EAAE,CAAC,CAAC;IACzB,MAAM,EAAE,IAAI,GAAG,EAAmB;IAClC,QAAQ,EAAE,IAAI,GAAG,EAAmB;IACpC,MAAM,EAAE,IAAI,GAAG,EAAmB;IAClC,SAAS,EAAE,EAAW;IACtB,OAAO,EAAE,qBAAqB;CAC/B,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QACtF,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QACxF,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,sBAAsB;QAClE,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,+CAA+C;QAC/C,MAAM,CAAC,GAAY,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACpC,uEAAuE;QACvE,qDAAqD;QACrD,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACrC,iEAAiE;QACjE,IAAA,eAAM,EAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,+EAA+E;QAC/E,iEAAiE;QACjE,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,CAAC,CAAC;QAClD,sCAAsC;QACtC,IAAA,eAAM,EAAC,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1D,kBAAkB;QAClB,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,MAAa,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,EAAE,MAAa,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,MAAa,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACzB,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAY,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,EAAE,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,sCAAsC;QACtC,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,kEAAkE;QAClE,8CAA8C;QAC9C,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACjC,+CAA+C;QAC/C,IAAA,eAAM,EAAC,CAAC,EAAE,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;CAGtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;CAGtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;CAKtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;CAGtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

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

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

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

@@ -0,0 +1,212 @@
+"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

@@ -0,0 +1 @@
+{"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

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

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

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

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

@@ -0,0 +1,137 @@
+"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

@@ -0,0 +1 @@
+{"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

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

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

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