@stevenvo780/st-lang 3.2.3 → 4.0.1

package/dist/educational/checker.js

@@ -0,0 +1,244 @@
+"use strict";
+// ============================================================
+// checkAnswer — evaluación de respuestas del estudiante
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.checkAnswer = checkAnswer;
+const api_1 = require("../api");
+const normalize_1 = require("./normalize");
+function toAnswerObject(raw) {
+    if (typeof raw === 'string')
+        return { answer: raw };
+    return raw;
+}
+function pickHint(ex, attemptScore) {
+    if (ex.hints.length === 0)
+        return undefined;
+    if (attemptScore >= 50)
+        return ex.hints[0];
+    if (attemptScore >= 25 && ex.hints.length >= 2)
+        return ex.hints[1];
+    return ex.hints[ex.hints.length - 1];
+}
+function evaluateValidity(ex) {
+    if (!ex.formula)
+        return null;
+    const source = `logic ${ex.profile}\ncheck valid ${ex.formula}`;
+    const result = (0, api_1.evaluate)(source, '<educational>');
+    const first = result.results[0];
+    if (!first)
+        return null;
+    if (first.status === 'valid')
+        return 'valid';
+    if (first.status === 'invalid')
+        return 'invalid';
+    return null;
+}
+function evaluateSatisfiability(ex) {
+    if (!ex.formula)
+        return null;
+    const source = `logic ${ex.profile}\ncheck satisfiable ${ex.formula}`;
+    const result = (0, api_1.evaluate)(source, '<educational>');
+    const first = result.results[0];
+    if (!first)
+        return null;
+    if (first.status === 'satisfiable')
+        return 'satisfiable';
+    if (first.status === 'unsatisfiable')
+        return 'unsatisfiable';
+    return null;
+}
+function substituteAtoms(formula, valuation) {
+    let out = formula;
+    // Sustituir átomos por true/false. Match identifier word boundaries.
+    for (const [atom, val] of Object.entries(valuation)) {
+        const re = new RegExp(`\\b${atom}\\b`, 'g');
+        out = out.replace(re, val ? 'true' : 'false');
+    }
+    return out;
+}
+function evaluateCountermodel(ex, valuation) {
+    if (!ex.formula)
+        return false;
+    const substituted = substituteAtoms(ex.formula, valuation);
+    const source = `logic ${ex.profile}\ncheck satisfiable ${substituted}`;
+    const result = (0, api_1.evaluate)(source, '<educational>');
+    const first = result.results[0];
+    if (!first)
+        return false;
+    // Si tras sustituir la fórmula queda insatisfacible/inválida, la valuación
+    // hace falsa la fórmula original → es un contramodelo.
+    return first.status === 'unsatisfiable' || first.status === 'invalid';
+}
+function checkValidityAnswer(ex, raw) {
+    const truth = evaluateValidity(ex) ?? ex.solution.kind;
+    const expected = truth === 'valid' ? 'valid' : 'invalid';
+    const ok = (0, normalize_1.matchesStatus)(raw, expected);
+    if (ok) {
+        return {
+            correct: true,
+            score: 100,
+            feedback: `Correcto. ${ex.solution.explanation}`,
+        };
+    }
+    return {
+        correct: false,
+        score: 0,
+        feedback: `Incorrecto. La fórmula es ${expected === 'valid' ? 'válida' : 'inválida'} en ${ex.profile}. ${ex.solution.explanation}`,
+        nextHint: pickHint(ex, 0),
+    };
+}
+function checkSatisfiabilityAnswer(ex, raw) {
+    const truth = evaluateSatisfiability(ex) ?? ex.solution.kind;
+    const expected = truth === 'satisfiable' ? 'satisfiable' : 'unsatisfiable';
+    const ok = (0, normalize_1.matchesStatus)(raw, expected);
+    if (ok) {
+        return {
+            correct: true,
+            score: 100,
+            feedback: `Correcto. ${ex.solution.explanation}`,
+        };
+    }
+    return {
+        correct: false,
+        score: 0,
+        feedback: `Incorrecto. La fórmula es ${expected === 'satisfiable' ? 'satisfacible' : 'insatisfacible'}. ${ex.solution.explanation}`,
+        nextHint: pickHint(ex, 0),
+    };
+}
+function checkDeriveAnswer(ex, raw) {
+    const trimmed = raw.trim().toLowerCase();
+    const expectedGoal = ex.goal ?? ex.solution.canonicalFormula ?? '';
+    if (expectedGoal && (0, normalize_1.formulasEqualText)(raw, expectedGoal)) {
+        return {
+            correct: true,
+            score: 100,
+            feedback: `Correcto. ${ex.solution.explanation}`,
+        };
+    }
+    if (trimmed === 'sí' ||
+        trimmed === 'si' ||
+        trimmed === 'yes' ||
+        trimmed === 'provable' ||
+        trimmed === 'derivable' ||
+        trimmed === 'true') {
+        if (ex.solution.kind === 'provable') {
+            return {
+                correct: true,
+                score: 80,
+                feedback: `Correcto en intuición, pero se esperaba que escribieras la fórmula derivada: \`${expectedGoal}\`. ${ex.solution.explanation}`,
+            };
+        }
+    }
+    return {
+        correct: false,
+        score: 0,
+        feedback: `Incorrecto. La fórmula derivable a partir de las premisas es \`${expectedGoal}\`. ${ex.solution.explanation}`,
+        nextHint: pickHint(ex, 0),
+    };
+}
+function checkCountermodelAnswer(ex, rawText, parsedValuation) {
+    let valuation = parsedValuation;
+    if (!valuation) {
+        const parsed = (0, normalize_1.parseValuation)(rawText);
+        if (parsed)
+            valuation = parsed;
+    }
+    if (!valuation) {
+        return {
+            correct: false,
+            score: 0,
+            feedback: 'No pude interpretar tu respuesta como una asignación de valores. Usá formato como "P=V, Q=F" o un objeto JSON {"P": true, "Q": false}.',
+            nextHint: pickHint(ex, 0),
+        };
+    }
+    const isCountermodel = evaluateCountermodel(ex, valuation);
+    if (isCountermodel) {
+        return {
+            correct: true,
+            score: 100,
+            feedback: `Correcto. La asignación ${JSON.stringify(valuation)} hace falsa la fórmula. ${ex.solution.explanation}`,
+        };
+    }
+    return {
+        correct: false,
+        score: 0,
+        feedback: `La asignación ${JSON.stringify(valuation)} no es un contramodelo: la fórmula sigue siendo verdadera bajo esa interpretación. ${ex.solution.explanation}`,
+        nextHint: pickHint(ex, 0),
+    };
+}
+function checkTranslateAnswer(ex, raw) {
+    const expected = ex.solution.canonicalFormula ?? '';
+    if (!expected) {
+        return {
+            correct: false,
+            score: 0,
+            feedback: 'No hay traducción canónica registrada para este ejercicio.',
+        };
+    }
+    if ((0, normalize_1.formulasEqualText)(raw, expected)) {
+        return {
+            correct: true,
+            score: 100,
+            feedback: `Correcto. ${ex.solution.explanation}`,
+        };
+    }
+    // Acepta variantes sin paréntesis externos
+    const stripped = expected.replace(/^\(/, '').replace(/\)$/, '');
+    if ((0, normalize_1.formulasEqualText)(raw, stripped)) {
+        return {
+            correct: true,
+            score: 95,
+            feedback: `Correcto (los paréntesis externos son opcionales). ${ex.solution.explanation}`,
+        };
+    }
+    return {
+        correct: false,
+        score: scoreFormulaSimilarity(raw, expected),
+        feedback: `La traducción esperada es \`${expected}\`. ${ex.solution.explanation}`,
+        nextHint: pickHint(ex, scoreFormulaSimilarity(raw, expected)),
+    };
+}
+function scoreFormulaSimilarity(a, b) {
+    const na = (0, normalize_1.normalizeFormula)(a);
+    const nb = (0, normalize_1.normalizeFormula)(b);
+    if (na === nb)
+        return 100;
+    if (na.length === 0 || nb.length === 0)
+        return 0;
+    let common = 0;
+    for (const ch of nb) {
+        if (na.includes(ch))
+            common++;
+    }
+    return Math.min(50, Math.round((common / nb.length) * 50));
+}
+const CHECKERS = {
+    validity: (ex, raw) => checkValidityAnswer(ex, raw),
+    satisfiability: (ex, raw) => checkSatisfiabilityAnswer(ex, raw),
+    derive: (ex, raw) => checkDeriveAnswer(ex, raw),
+    countermodel: (ex, raw, obj) => checkCountermodelAnswer(ex, raw, obj.valuation),
+    translate: (ex, raw) => checkTranslateAnswer(ex, raw),
+};
+function checkAnswer(exercise, studentAnswer) {
+    const obj = toAnswerObject(studentAnswer);
+    const raw = (obj.answer ?? obj.formula ?? '').toString();
+    const checker = CHECKERS[exercise.kind];
+    if (!checker) {
+        return {
+            correct: false,
+            score: 0,
+            feedback: `Tipo de ejercicio no soportado: ${exercise.kind}`,
+        };
+    }
+    if (!raw && !obj.valuation) {
+        return {
+            correct: false,
+            score: 0,
+            feedback: 'No proporcionaste una respuesta.',
+            nextHint: exercise.hints[0],
+        };
+    }
+    return checker(exercise, raw, obj);
+}
+//# sourceMappingURL=checker.js.map

package/dist/educational/checker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checker.js","sourceRoot":"","sources":["../../src/educational/checker.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,wDAAwD;AACxD,+DAA+D;;AAiO/D,kCAoBC;AAnPD,gCAAkC;AAElC,2CAAiG;AAEjG,SAAS,cAAc,CAAC,GAAkB;IACxC,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACpD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,QAAQ,CAAC,EAAY,EAAE,YAAoB;IAClD,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,YAAY,IAAI,EAAE;QAAE,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3C,IAAI,YAAY,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACnE,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,gBAAgB,CAAC,EAAY;IACpC,IAAI,CAAC,EAAE,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC,OAAO,iBAAiB,EAAE,CAAC,OAAO,EAAE,CAAC;IAChE,MAAM,MAAM,GAAG,IAAA,cAAQ,EAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC;IAC7C,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACjD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,sBAAsB,CAAC,EAAY;IAC1C,IAAI,CAAC,EAAE,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC,OAAO,uBAAuB,EAAE,CAAC,OAAO,EAAE,CAAC;IACtE,MAAM,MAAM,GAAG,IAAA,cAAQ,EAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,IAAI,KAAK,CAAC,MAAM,KAAK,aAAa;QAAE,OAAO,aAAa,CAAC;IACzD,IAAI,KAAK,CAAC,MAAM,KAAK,eAAe;QAAE,OAAO,eAAe,CAAC;IAC7D,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,OAAe,EAAE,SAAkC;IAC1E,IAAI,GAAG,GAAG,OAAO,CAAC;IAClB,qEAAqE;IACrE,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACpD,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,MAAM,IAAI,KAAK,EAAE,GAAG,CAAC,CAAC;QAC5C,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,oBAAoB,CAAC,EAAY,EAAE,SAAkC;IAC5E,IAAI,CAAC,EAAE,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC9B,MAAM,WAAW,GAAG,eAAe,CAAC,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC,OAAO,uBAAuB,WAAW,EAAE,CAAC;IACvE,MAAM,MAAM,GAAG,IAAA,cAAQ,EAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,2EAA2E;IAC3E,uDAAuD;IACvD,OAAO,KAAK,CAAC,MAAM,KAAK,eAAe,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC;AACxE,CAAC;AAED,SAAS,mBAAmB,CAAC,EAAY,EAAE,GAAW;IACpD,MAAM,KAAK,GAAG,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;IACvD,MAAM,QAAQ,GAAG,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IACzD,MAAM,EAAE,GAAG,IAAA,yBAAa,EAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IACxC,IAAI,EAAE,EAAE,CAAC;QACP,OAAO;YACL,OAAO,EAAE,IAAI;YACb,KAAK,EAAE,GAAG;YACV,QAAQ,EAAE,aAAa,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;SACjD,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,CAAC;QACR,QAAQ,EAAE,6BAA6B,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,OAAO,EAAE,CAAC,OAAO,KAAK,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;QAClI,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,EAAY,EAAE,GAAW;IAC1D,MAAM,KAAK,GAAG,sBAAsB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC7D,MAAM,QAAQ,GAAG,KAAK,KAAK,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,eAAe,CAAC;IAC3E,MAAM,EAAE,GAAG,IAAA,yBAAa,EAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IACxC,IAAI,EAAE,EAAE,CAAC;QACP,OAAO;YACL,OAAO,EAAE,IAAI;YACb,KAAK,EAAE,GAAG;YACV,QAAQ,EAAE,aAAa,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;SACjD,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,CAAC;QACR,QAAQ,EAAE,6BAA6B,QAAQ,KAAK,aAAa,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,gBAAgB,KAAK,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;QACnI,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,EAAY,EAAE,GAAW;IAClD,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACzC,MAAM,YAAY,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,QAAQ,CAAC,gBAAgB,IAAI,EAAE,CAAC;IACnE,IAAI,YAAY,IAAI,IAAA,6BAAiB,EAAC,GAAG,EAAE,YAAY,CAAC,EAAE,CAAC;QACzD,OAAO;YACL,OAAO,EAAE,IAAI;YACb,KAAK,EAAE,GAAG;YACV,QAAQ,EAAE,aAAa,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;SACjD,CAAC;IACJ,CAAC;IACD,IACE,OAAO,KAAK,IAAI;QAChB,OAAO,KAAK,IAAI;QAChB,OAAO,KAAK,KAAK;QACjB,OAAO,KAAK,UAAU;QACtB,OAAO,KAAK,WAAW;QACvB,OAAO,KAAK,MAAM,EAClB,CAAC;QACD,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACpC,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,KAAK,EAAE,EAAE;gBACT,QAAQ,EAAE,kFAAkF,YAAY,OAAO,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;aACzI,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO;QACL,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,CAAC;QACR,QAAQ,EAAE,kEAAkE,YAAY,OAAO,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;QACxH,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,EAAY,EACZ,OAAe,EACf,eAAoD;IAEpD,IAAI,SAAS,GAAG,eAAe,CAAC;IAChC,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,MAAM,GAAG,IAAA,0BAAc,EAAC,OAAO,CAAC,CAAC;QACvC,IAAI,MAAM;YAAE,SAAS,GAAG,MAAM,CAAC;IACjC,CAAC;IACD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO;YACL,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,CAAC;YACR,QAAQ,EACN,wIAAwI;YAC1I,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;SAC1B,CAAC;IACJ,CAAC;IACD,MAAM,cAAc,GAAG,oBAAoB,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;IAC3D,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO;YACL,OAAO,EAAE,IAAI;YACb,KAAK,EAAE,GAAG;YACV,QAAQ,EAAE,2BAA2B,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,2BAA2B,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;SACnH,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,CAAC;QACR,QAAQ,EAAE,iBAAiB,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,sFAAsF,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;QACnK,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,EAAY,EAAE,GAAW;IACrD,MAAM,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC,gBAAgB,IAAI,EAAE,CAAC;IACpD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;YACL,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,CAAC;YACR,QAAQ,EAAE,4DAA4D;SACvE,CAAC;IACJ,CAAC;IACD,IAAI,IAAA,6BAAiB,EAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC;QACrC,OAAO;YACL,OAAO,EAAE,IAAI;YACb,KAAK,EAAE,GAAG;YACV,QAAQ,EAAE,aAAa,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;SACjD,CAAC;IACJ,CAAC;IACD,2CAA2C;IAC3C,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAChE,IAAI,IAAA,6BAAiB,EAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC;QACrC,OAAO;YACL,OAAO,EAAE,IAAI;YACb,KAAK,EAAE,EAAE;YACT,QAAQ,EAAE,sDAAsD,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;SAC1F,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,sBAAsB,CAAC,GAAG,EAAE,QAAQ,CAAC;QAC5C,QAAQ,EAAE,+BAA+B,QAAQ,OAAO,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE;QACjF,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,sBAAsB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;KAC9D,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,CAAS,EAAE,CAAS;IAClD,MAAM,EAAE,GAAG,IAAA,4BAAgB,EAAC,CAAC,CAAC,CAAC;IAC/B,MAAM,EAAE,GAAG,IAAA,4BAAgB,EAAC,CAAC,CAAC,CAAC;IAC/B,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,GAAG,CAAC;IAC1B,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACjD,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACpB,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAE,MAAM,EAAE,CAAC;IAChC,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED,MAAM,QAAQ,GAGV;IACF,QAAQ,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,mBAAmB,CAAC,EAAE,EAAE,GAAG,CAAC;IACnD,cAAc,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,yBAAyB,CAAC,EAAE,EAAE,GAAG,CAAC;IAC/D,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,EAAE,GAAG,CAAC;IAC/C,YAAY,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,uBAAuB,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,SAAS,CAAC;IAC/E,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,oBAAoB,CAAC,EAAE,EAAE,GAAG,CAAC;CACtD,CAAC;AAEF,SAAgB,WAAW,CAAC,QAAkB,EAAE,aAA4B;IAC1E,MAAM,GAAG,GAAG,cAAc,CAAC,aAAa,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;IACzD,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;YACL,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,CAAC;YACR,QAAQ,EAAE,mCAAmC,QAAQ,CAAC,IAAI,EAAE;SAC7D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC;QAC3B,OAAO;YACL,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,CAAC;YACR,QAAQ,EAAE,kCAAkC;YAC5C,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;SAC5B,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AACrC,CAAC"}

package/dist/educational/generator.d.ts

@@ -0,0 +1,4 @@
+import { Exercise, ExerciseKind, ExerciseLevel, GenerateOptions, ProfileName } from './types';
+export declare function generateExercise(level: ExerciseLevel, profile: ProfileName, kind: ExerciseKind, options?: GenerateOptions): Exercise;
+export declare function generateLessonPath(profile: ProfileName, targetLevel: ExerciseLevel, options?: GenerateOptions): Exercise[];
+//# sourceMappingURL=generator.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"generator.d.ts","sourceRoot":"","sources":["../../src/educational/generator.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,aAAa,EAEb,eAAe,EACf,WAAW,EAEZ,MAAM,SAAS,CAAC;AAkGjB,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,aAAa,EACpB,OAAO,EAAE,WAAW,EACpB,IAAI,EAAE,YAAY,EAClB,OAAO,GAAE,eAAoB,GAC5B,QAAQ,CA4CV;AASD,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,WAAW,EACpB,WAAW,EAAE,aAAa,EAC1B,OAAO,GAAE,eAAoB,GAC5B,QAAQ,EAAE,CA2BZ"}

package/dist/educational/generator.js

@@ -0,0 +1,158 @@
+"use strict";
+// ============================================================
+// generateExercise + generateLessonPath
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.generateExercise = generateExercise;
+exports.generateLessonPath = generateLessonPath;
+const rng_1 = require("./rng");
+const templates_1 = require("./templates");
+function statusToSolutionKind(status) {
+    return status;
+}
+function expectedAnswerFor(kind, status, canonicalFormula, countermodelHint) {
+    switch (kind) {
+        case 'validity':
+            return status === 'valid'
+                ? {
+                    expected: 'valid',
+                    acceptable: [
+                        'valid',
+                        'sí',
+                        'si',
+                        'yes',
+                        'verdadero',
+                        'tautología',
+                        'tautologia',
+                        'válida',
+                        'valida',
+                    ],
+                }
+                : { expected: 'invalid', acceptable: ['invalid', 'no', 'falso', 'inválida', 'invalida'] };
+        case 'satisfiability':
+            return status === 'satisfiable'
+                ? { expected: 'satisfiable', acceptable: ['satisfiable', 'sat', 'consistente'] }
+                : {
+                    expected: 'unsatisfiable',
+                    acceptable: [
+                        'unsatisfiable',
+                        'unsat',
+                        'inconsistente',
+                        'contradicción',
+                        'contradiccion',
+                    ],
+                };
+        case 'derive':
+            return {
+                expected: canonicalFormula ?? 'provable',
+                acceptable: status === 'provable'
+                    ? ['provable', 'derivable', 'demostrable', 'sí', 'si', canonicalFormula ?? '']
+                    : ['refutable', 'no derivable', 'no'],
+            };
+        case 'countermodel':
+            if (countermodelHint) {
+                const text = Object.entries(countermodelHint)
+                    .map(([k, v]) => `${k}=${v ? 'V' : 'F'}`)
+                    .join(', ');
+                return { expected: text, acceptable: [text, JSON.stringify(countermodelHint)] };
+            }
+            return { expected: 'countermodel', acceptable: [] };
+        case 'translate':
+            return {
+                expected: canonicalFormula ?? '',
+                acceptable: canonicalFormula ? [canonicalFormula] : [],
+            };
+    }
+}
+function makeSolution(template, buildResult) {
+    const { expected, acceptable } = expectedAnswerFor(template.kind, buildResult.expectedStatus, buildResult.canonicalFormula, buildResult.countermodelHint);
+    return {
+        kind: statusToSolutionKind(buildResult.expectedStatus),
+        expectedAnswer: expected,
+        acceptableAnswers: acceptable,
+        canonicalFormula: buildResult.canonicalFormula,
+        explanation: buildResult.explanation,
+        countermodelHint: buildResult.countermodelHint,
+    };
+}
+function makeId(template, rng) {
+    const suffix = Math.floor(rng.next() * 1e8)
+        .toString(36)
+        .padStart(6, '0');
+    return `${template.id}-${suffix}`;
+}
+function generateExercise(level, profile, kind, options = {}) {
+    const seed = options.seed ?? (0, rng_1.autoSeed)();
+    const rng = new rng_1.SeededRng(seed);
+    let candidates;
+    if (options.templateId) {
+        const t = (0, templates_1.findTemplateById)(options.templateId);
+        if (!t) {
+            throw new Error(`Template "${options.templateId}" no encontrada`);
+        }
+        if (!t.profiles.includes(profile)) {
+            throw new Error(`Template "${options.templateId}" no soporta el perfil "${profile}"`);
+        }
+        if (t.kind !== kind) {
+            throw new Error(`Template "${options.templateId}" es de tipo "${t.kind}", no "${kind}"`);
+        }
+        if (t.level !== level) {
+            throw new Error(`Template "${options.templateId}" es de nivel ${t.level}, no ${level}`);
+        }
+        candidates = [t];
+    }
+    else {
+        candidates = (0, templates_1.findTemplatesFor)(level, profile, kind);
+    }
+    if (candidates.length === 0) {
+        throw new Error(`No hay plantillas para level=${level}, profile=${profile}, kind=${kind}`);
+    }
+    const template = rng.pick(candidates);
+    const vars = (0, templates_1.pickVars)(rng, Math.max(template.minVars, 2));
+    const build = template.build({ vars, rng });
+    return {
+        id: makeId(template, rng),
+        level,
+        profile,
+        kind,
+        prompt: build.prompt,
+        formula: build.formula,
+        premises: build.premises,
+        goal: build.goal,
+        hints: build.hints,
+        solution: makeSolution(template, build),
+    };
+}
+const KIND_PROGRESSION_BY_LEVEL = {
+    1: ['validity', 'satisfiability', 'translate'],
+    2: ['derive', 'countermodel', 'validity'],
+    3: ['validity', 'derive'],
+    4: ['validity', 'derive'],
+};
+function generateLessonPath(profile, targetLevel, options = {}) {
+    const seed = options.seed ?? (0, rng_1.autoSeed)();
+    const rng = new rng_1.SeededRng(seed);
+    const path = [];
+    for (let lvl = 1; lvl <= targetLevel; lvl++) {
+        const level = lvl;
+        const kinds = KIND_PROGRESSION_BY_LEVEL[level];
+        for (const kind of kinds) {
+            const candidates = (0, templates_1.findTemplatesFor)(level, profile, kind);
+            if (candidates.length === 0)
+                continue;
+            const subSeed = Math.floor(rng.next() * 0xffffffff) | 0;
+            try {
+                const ex = generateExercise(level, profile, kind, { seed: subSeed });
+                path.push(ex);
+            }
+            catch {
+                // skip kinds que el perfil no soporta
+            }
+        }
+    }
+    if (path.length === 0) {
+        throw new Error(`No se pudo generar un lesson path para profile=${profile}, targetLevel=${targetLevel}`);
+    }
+    return path;
+}
+//# sourceMappingURL=generator.js.map

package/dist/educational/generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generator.js","sourceRoot":"","sources":["../../src/educational/generator.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,wCAAwC;AACxC,+DAA+D;;AA4G/D,4CAiDC;AASD,gDA+BC;AA1LD,+BAA4C;AAC5C,2CAA6F;AAE7F,SAAS,oBAAoB,CAC3B,MAAwF;IAExF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAkB,EAClB,MAAwF,EACxF,gBAAoC,EACpC,gBAAqD;IAErD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,UAAU;YACb,OAAO,MAAM,KAAK,OAAO;gBACvB,CAAC,CAAC;oBACE,QAAQ,EAAE,OAAO;oBACjB,UAAU,EAAE;wBACV,OAAO;wBACP,IAAI;wBACJ,IAAI;wBACJ,KAAK;wBACL,WAAW;wBACX,YAAY;wBACZ,YAAY;wBACZ,QAAQ;wBACR,QAAQ;qBACT;iBACF;gBACH,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;QAC9F,KAAK,gBAAgB;YACnB,OAAO,MAAM,KAAK,aAAa;gBAC7B,CAAC,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,UAAU,EAAE,CAAC,aAAa,EAAE,KAAK,EAAE,aAAa,CAAC,EAAE;gBAChF,CAAC,CAAC;oBACE,QAAQ,EAAE,eAAe;oBACzB,UAAU,EAAE;wBACV,eAAe;wBACf,OAAO;wBACP,eAAe;wBACf,eAAe;wBACf,eAAe;qBAChB;iBACF,CAAC;QACR,KAAK,QAAQ;YACX,OAAO;gBACL,QAAQ,EAAE,gBAAgB,IAAI,UAAU;gBACxC,UAAU,EACR,MAAM,KAAK,UAAU;oBACnB,CAAC,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,gBAAgB,IAAI,EAAE,CAAC;oBAC9E,CAAC,CAAC,CAAC,WAAW,EAAE,cAAc,EAAE,IAAI,CAAC;aAC1C,CAAC;QACJ,KAAK,cAAc;YACjB,IAAI,gBAAgB,EAAE,CAAC;gBACrB,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC;qBAC1C,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;qBACxC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACd,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC;YAClF,CAAC;YACD,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;QACtD,KAAK,WAAW;YACd,OAAO;gBACL,QAAQ,EAAE,gBAAgB,IAAI,EAAE;gBAChC,UAAU,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAAE;aACvD,CAAC;IACN,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,QAA0B,EAC1B,WAAkD;IAElD,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAChD,QAAQ,CAAC,IAAI,EACb,WAAW,CAAC,cAAc,EAC1B,WAAW,CAAC,gBAAgB,EAC5B,WAAW,CAAC,gBAAgB,CAC7B,CAAC;IACF,OAAO;QACL,IAAI,EAAE,oBAAoB,CAAC,WAAW,CAAC,cAAc,CAAC;QACtD,cAAc,EAAE,QAAQ;QACxB,iBAAiB,EAAE,UAAU;QAC7B,gBAAgB,EAAE,WAAW,CAAC,gBAAgB;QAC9C,WAAW,EAAE,WAAW,CAAC,WAAW;QACpC,gBAAgB,EAAE,WAAW,CAAC,gBAAgB;KAC/C,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,QAA0B,EAAE,GAAc;IACxD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC;SACxC,QAAQ,CAAC,EAAE,CAAC;SACZ,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACpB,OAAO,GAAG,QAAQ,CAAC,EAAE,IAAI,MAAM,EAAE,CAAC;AACpC,CAAC;AAED,SAAgB,gBAAgB,CAC9B,KAAoB,EACpB,OAAoB,EACpB,IAAkB,EAClB,UAA2B,EAAE;IAE7B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,IAAA,cAAQ,GAAE,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,eAAS,CAAC,IAAI,CAAC,CAAC;IAEhC,IAAI,UAA8B,CAAC;IACnC,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,IAAA,4BAAgB,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC/C,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,IAAI,KAAK,CAAC,aAAa,OAAO,CAAC,UAAU,iBAAiB,CAAC,CAAC;QACpE,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CAAC,aAAa,OAAO,CAAC,UAAU,2BAA2B,OAAO,GAAG,CAAC,CAAC;QACxF,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,aAAa,OAAO,CAAC,UAAU,iBAAiB,CAAC,CAAC,IAAI,UAAU,IAAI,GAAG,CAAC,CAAC;QAC3F,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;YACtB,MAAM,IAAI,KAAK,CAAC,aAAa,OAAO,CAAC,UAAU,iBAAiB,CAAC,CAAC,KAAK,QAAQ,KAAK,EAAE,CAAC,CAAC;QAC1F,CAAC;QACD,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;SAAM,CAAC;QACN,UAAU,GAAG,IAAA,4BAAgB,EAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IACtD,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,gCAAgC,KAAK,aAAa,OAAO,UAAU,IAAI,EAAE,CAAC,CAAC;IAC7F,CAAC;IAED,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,IAAA,oBAAQ,EAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAE5C,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC;QACzB,KAAK;QACL,OAAO;QACP,IAAI;QACJ,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,QAAQ,EAAE,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC;KACxC,CAAC;AACJ,CAAC;AAED,MAAM,yBAAyB,GAA0C;IACvE,CAAC,EAAE,CAAC,UAAU,EAAE,gBAAgB,EAAE,WAAW,CAAC;IAC9C,CAAC,EAAE,CAAC,QAAQ,EAAE,cAAc,EAAE,UAAU,CAAC;IACzC,CAAC,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC;IACzB,CAAC,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC;CAC1B,CAAC;AAEF,SAAgB,kBAAkB,CAChC,OAAoB,EACpB,WAA0B,EAC1B,UAA2B,EAAE;IAE7B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,IAAA,cAAQ,GAAE,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,eAAS,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,IAAI,GAAe,EAAE,CAAC;IAE5B,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,IAAI,WAAW,EAAE,GAAG,EAAE,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,GAAoB,CAAC;QACnC,MAAM,KAAK,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;QAC/C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,UAAU,GAAG,IAAA,4BAAgB,EAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YAC1D,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACtC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;YACxD,IAAI,CAAC;gBACH,MAAM,EAAE,GAAG,gBAAgB,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;gBACrE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChB,CAAC;YAAC,MAAM,CAAC;gBACP,sCAAsC;YACxC,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CACb,kDAAkD,OAAO,iBAAiB,WAAW,EAAE,CACxF,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/educational/index.d.ts

@@ -0,0 +1,6 @@
+export { Exercise, ExerciseKind, ExerciseLevel, ExerciseSolution, AnswerResult, GenerateOptions, ProfileName, PublicExercise, SolutionKind, StudentAnswer, StudentAnswerObject, toPublicExercise, } from './types';
+export { generateExercise, generateLessonPath } from './generator';
+export { checkAnswer } from './checker';
+export { listTemplates, findTemplatesFor, findTemplateById } from './templates';
+export { SeededRng } from './rng';
+//# sourceMappingURL=index.d.ts.map

package/dist/educational/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/educational/index.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,aAAa,EACb,gBAAgB,EAChB,YAAY,EACZ,eAAe,EACf,WAAW,EACX,cAAc,EACd,YAAY,EACZ,aAAa,EACb,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,SAAS,CAAC;AAEjB,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAChF,OAAO,EAAE,SAAS,EAAE,MAAM,OAAO,CAAC"}

package/dist/educational/index.js

@@ -0,0 +1,21 @@
+"use strict";
+// ============================================================
+// ST Educational — Generador de ejercicios progresivos con
+// evaluación de respuestas usando el motor lógico ST.
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SeededRng = exports.findTemplateById = exports.findTemplatesFor = exports.listTemplates = exports.checkAnswer = exports.generateLessonPath = exports.generateExercise = exports.toPublicExercise = void 0;
+var types_1 = require("./types");
+Object.defineProperty(exports, "toPublicExercise", { enumerable: true, get: function () { return types_1.toPublicExercise; } });
+var generator_1 = require("./generator");
+Object.defineProperty(exports, "generateExercise", { enumerable: true, get: function () { return generator_1.generateExercise; } });
+Object.defineProperty(exports, "generateLessonPath", { enumerable: true, get: function () { return generator_1.generateLessonPath; } });
+var checker_1 = require("./checker");
+Object.defineProperty(exports, "checkAnswer", { enumerable: true, get: function () { return checker_1.checkAnswer; } });
+var templates_1 = require("./templates");
+Object.defineProperty(exports, "listTemplates", { enumerable: true, get: function () { return templates_1.listTemplates; } });
+Object.defineProperty(exports, "findTemplatesFor", { enumerable: true, get: function () { return templates_1.findTemplatesFor; } });
+Object.defineProperty(exports, "findTemplateById", { enumerable: true, get: function () { return templates_1.findTemplateById; } });
+var rng_1 = require("./rng");
+Object.defineProperty(exports, "SeededRng", { enumerable: true, get: function () { return rng_1.SeededRng; } });
+//# sourceMappingURL=index.js.map

package/dist/educational/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/educational/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,2DAA2D;AAC3D,sDAAsD;AACtD,+DAA+D;;;AAE/D,iCAaiB;AADf,yGAAA,gBAAgB,OAAA;AAGlB,yCAAmE;AAA1D,6GAAA,gBAAgB,OAAA;AAAE,+GAAA,kBAAkB,OAAA;AAC7C,qCAAwC;AAA/B,sGAAA,WAAW,OAAA;AACpB,yCAAgF;AAAvE,0GAAA,aAAa,OAAA;AAAE,6GAAA,gBAAgB,OAAA;AAAE,6GAAA,gBAAgB,OAAA;AAC1D,6BAAkC;AAAzB,gGAAA,SAAS,OAAA"}

package/dist/educational/normalize.d.ts

@@ -0,0 +1,6 @@
+export declare function normalizeText(s: string): string;
+export declare function matchesStatus(answer: string, expected: string): boolean;
+export declare function normalizeFormula(s: string): string;
+export declare function formulasEqualText(a: string, b: string): boolean;
+export declare function parseValuation(raw: string): Record<string, boolean> | null;
+//# sourceMappingURL=normalize.d.ts.map

package/dist/educational/normalize.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize.d.ts","sourceRoot":"","sources":["../../src/educational/normalize.ts"],"names":[],"mappings":"AAIA,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAE/C;AAuCD,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAKvE;AAYD,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAalD;AAED,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO,CAE/D;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAmC1E"}

package/dist/educational/normalize.js

@@ -0,0 +1,124 @@
+"use strict";
+// ============================================================
+// Normalización de respuestas — comparar strings textuales
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.normalizeText = normalizeText;
+exports.matchesStatus = matchesStatus;
+exports.normalizeFormula = normalizeFormula;
+exports.formulasEqualText = formulasEqualText;
+exports.parseValuation = parseValuation;
+function normalizeText(s) {
+    return s.toLowerCase().normalize('NFD').replace(/[̀-ͯ]/g, '').replace(/\s+/g, ' ').trim();
+}
+const STATUS_SYNONYMS = {
+    valid: [
+        'valid',
+        'valida',
+        'válida',
+        'tautologia',
+        'tautología',
+        'true',
+        'verdadero',
+        'si',
+        'sí',
+        'yes',
+    ],
+    invalid: [
+        'invalid',
+        'invalida',
+        'inválida',
+        'no',
+        'falso',
+        'false',
+        'not valid',
+        'no valida',
+        'no válida',
+    ],
+    satisfiable: ['satisfiable', 'sat', 'consistente', 'satisfacible'],
+    unsatisfiable: [
+        'unsatisfiable',
+        'unsat',
+        'inconsistente',
+        'contradiccion',
+        'contradicción',
+        'insatisfacible',
+    ],
+    provable: ['provable', 'derivable', 'demostrable', 'se deriva', 'si', 'sí'],
+    refutable: ['refutable', 'no derivable', 'no se deriva'],
+};
+function matchesStatus(answer, expected) {
+    const normalized = normalizeText(answer);
+    const synonyms = STATUS_SYNONYMS[expected];
+    if (!synonyms)
+        return normalized === normalizeText(expected);
+    return synonyms.some((s) => normalizeText(s) === normalized);
+}
+const SYMBOL_NORMALIZATIONS = [
+    [/[→⇒]/g, '->'],
+    [/[↔⇔≡]/g, '<->'],
+    [/[¬!~]/g, '~'],
+    [/[∧]/g, '&'],
+    [/[∨]/g, '|'],
+    [/[⊤]/g, 'true'],
+    [/[⊥]/g, 'false'],
+];
+function normalizeFormula(s) {
+    let out = s;
+    for (const [re, rep] of SYMBOL_NORMALIZATIONS) {
+        out = out.replace(re, rep);
+    }
+    out = out
+        .replace(/\s+/g, '')
+        .replace(/\band\b/gi, '&')
+        .replace(/\bor\b/gi, '|')
+        .replace(/\bnot\b/gi, '~')
+        .replace(/\bimplies\b/gi, '->')
+        .replace(/\biff\b/gi, '<->');
+    return out.toLowerCase();
+}
+function formulasEqualText(a, b) {
+    return normalizeFormula(a) === normalizeFormula(b);
+}
+function parseValuation(raw) {
+    const trimmed = raw.trim();
+    if (trimmed.startsWith('{')) {
+        try {
+            const parsed = JSON.parse(trimmed);
+            const out = {};
+            for (const [k, v] of Object.entries(parsed)) {
+                if (typeof v === 'boolean') {
+                    out[k.toUpperCase()] = v;
+                }
+                else if (typeof v === 'number') {
+                    out[k.toUpperCase()] = v !== 0;
+                }
+                else if (typeof v === 'string') {
+                    out[k.toUpperCase()] = matchesStatus(v, 'valid') || /^(t|true|1)$/i.test(v);
+                }
+            }
+            return out;
+        }
+        catch {
+            return null;
+        }
+    }
+    const out = {};
+    const parts = trimmed.split(/[;,\n]+/);
+    let foundAny = false;
+    for (const part of parts) {
+        const m = part.match(/([A-Za-z][A-Za-z0-9_]*)\s*[:=]\s*([A-Za-z01]+)/);
+        if (!m)
+            continue;
+        const name = (m[1] ?? '').toUpperCase();
+        const valRaw = (m[2] ?? '').toLowerCase();
+        const truthy = valRaw === 't' || valRaw === 'true' || valRaw === '1' || valRaw === 'v';
+        const falsy = valRaw === 'f' || valRaw === 'false' || valRaw === '0';
+        if (!truthy && !falsy)
+            continue;
+        out[name] = truthy;
+        foundAny = true;
+    }
+    return foundAny ? out : null;
+}
+//# sourceMappingURL=normalize.js.map

package/dist/educational/normalize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize.js","sourceRoot":"","sources":["../../src/educational/normalize.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,2DAA2D;AAC3D,+DAA+D;;AAE/D,sCAEC;AAuCD,sCAKC;AAYD,4CAaC;AAED,8CAEC;AAED,wCAmCC;AAhHD,SAAgB,aAAa,CAAC,CAAS;IACrC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AAC5F,CAAC;AAED,MAAM,eAAe,GAA6B;IAChD,KAAK,EAAE;QACL,OAAO;QACP,QAAQ;QACR,QAAQ;QACR,YAAY;QACZ,YAAY;QACZ,MAAM;QACN,WAAW;QACX,IAAI;QACJ,IAAI;QACJ,KAAK;KACN;IACD,OAAO,EAAE;QACP,SAAS;QACT,UAAU;QACV,UAAU;QACV,IAAI;QACJ,OAAO;QACP,OAAO;QACP,WAAW;QACX,WAAW;QACX,WAAW;KACZ;IACD,WAAW,EAAE,CAAC,aAAa,EAAE,KAAK,EAAE,aAAa,EAAE,cAAc,CAAC;IAClE,aAAa,EAAE;QACb,eAAe;QACf,OAAO;QACP,eAAe;QACf,eAAe;QACf,eAAe;QACf,gBAAgB;KACjB;IACD,QAAQ,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC;IAC3E,SAAS,EAAE,CAAC,WAAW,EAAE,cAAc,EAAE,cAAc,CAAC;CACzD,CAAC;AAEF,SAAgB,aAAa,CAAC,MAAc,EAAE,QAAgB;IAC5D,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IAC3C,IAAI,CAAC,QAAQ;QAAE,OAAO,UAAU,KAAK,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC7D,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC;AAC/D,CAAC;AAED,MAAM,qBAAqB,GAA4B;IACrD,CAAC,OAAO,EAAE,IAAI,CAAC;IACf,CAAC,QAAQ,EAAE,KAAK,CAAC;IACjB,CAAC,QAAQ,EAAE,GAAG,CAAC;IACf,CAAC,MAAM,EAAE,GAAG,CAAC;IACb,CAAC,MAAM,EAAE,GAAG,CAAC;IACb,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,MAAM,EAAE,OAAO,CAAC;CAClB,CAAC;AAEF,SAAgB,gBAAgB,CAAC,CAAS;IACxC,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,qBAAqB,EAAE,CAAC;QAC9C,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC;IACD,GAAG,GAAG,GAAG;SACN,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;SACnB,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC;SACzB,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC;SACxB,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC;SACzB,OAAO,CAAC,eAAe,EAAE,IAAI,CAAC;SAC9B,OAAO,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAC/B,OAAO,GAAG,CAAC,WAAW,EAAE,CAAC;AAC3B,CAAC;AAED,SAAgB,iBAAiB,CAAC,CAAS,EAAE,CAAS;IACpD,OAAO,gBAAgB,CAAC,CAAC,CAAC,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,SAAgB,cAAc,CAAC,GAAW;IACxC,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC3B,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAA4B,CAAC;YAC9D,MAAM,GAAG,GAA4B,EAAE,CAAC;YACxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC5C,IAAI,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;oBAC3B,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,CAAC;gBAC3B,CAAC;qBAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;oBACjC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACjC,CAAC;qBAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;oBACjC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC9E,CAAC;YACH,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACvC,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,gDAAgD,CAAC,CAAC;QACvE,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,GAAG,CAAC;QACvF,MAAM,KAAK,GAAG,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,OAAO,IAAI,MAAM,KAAK,GAAG,CAAC;QACrE,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK;YAAE,SAAS;QAChC,GAAG,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;QACnB,QAAQ,GAAG,IAAI,CAAC;IAClB,CAAC;IACD,OAAO,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/B,CAAC"}

package/dist/educational/rng.d.ts

@@ -0,0 +1,10 @@
+export declare class SeededRng {
+    private state;
+    constructor(seed: number);
+    next(): number;
+    int(min: number, max: number): number;
+    pick<T>(arr: readonly T[]): T;
+    shuffle<T>(arr: readonly T[]): T[];
+}
+export declare function autoSeed(): number;
+//# sourceMappingURL=rng.d.ts.map

package/dist/educational/rng.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rng.d.ts","sourceRoot":"","sources":["../../src/educational/rng.ts"],"names":[],"mappings":"AAIA,qBAAa,SAAS;IACpB,OAAO,CAAC,KAAK,CAAS;gBAEV,IAAI,EAAE,MAAM;IAIxB,IAAI,IAAI,MAAM;IAOd,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAIrC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC;IAQ7B,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE;CAUnC;AAID,wBAAgB,QAAQ,IAAI,MAAM,CAIjC"}