@stevenvo780/autologic 1.0.0

package/dist/formula/propositional.js

@@ -0,0 +1,241 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildPropositional = buildPropositional;
+const connectors_1 = require("./connectors");
+/**
+ * Construye fórmulas proposicionales para un conjunto de oraciones.
+ */
+function buildPropositional(sentences, atomEntries, detectedPatterns) {
+    const formulas = [];
+    let labelCounter = 1;
+    for (let sIdx = 0; sIdx < sentences.length; sIdx++) {
+        const sentence = sentences[sIdx];
+        const sentenceAtoms = atomEntries.filter(a => {
+            // Buscar átomos que pertenecen a cláusulas de esta oración
+            const clauseIdxs = sentence.clauses.map((_, i) => i);
+            // Heurística: mapear por índice global de cláusula
+            return true; // procesamos todos y filtramos por contexto
+        });
+        const builtFormulas = buildSentenceFormulas(sentence, atomEntries, sIdx, labelCounter, detectedPatterns);
+        formulas.push(...builtFormulas);
+        labelCounter += builtFormulas.length;
+    }
+    return formulas;
+}
+/**
+ * Construye fórmulas para una oración individual.
+ */
+function buildSentenceFormulas(sentence, allAtoms, sentenceIdx, labelStart, patterns) {
+    const clauses = sentence.clauses;
+    if (clauses.length === 0)
+        return [];
+    // Obtener átomos para esta oración (por texto de cláusula)
+    const clauseAtomMap = new Map();
+    for (const atom of allAtoms) {
+        // Mapear texto de cláusula → atom ID
+        const matchClause = clauses.find(c => c.text === atom.text || c.text.includes(atom.text) || atom.text.includes(c.text));
+        if (matchClause) {
+            clauseAtomMap.set(matchClause.text, atom.id);
+        }
+    }
+    // Fallback: asignar átomos por orden si no hay match textual
+    if (clauseAtomMap.size === 0) {
+        clauses.forEach((c, i) => {
+            const atom = allAtoms[i];
+            if (atom)
+                clauseAtomMap.set(c.text, atom.id);
+        });
+    }
+    const formulas = [];
+    let label = labelStart;
+    switch (sentence.type) {
+        case 'conditional': {
+            let conditionClauses = clauses.filter(c => c.role === 'condition');
+            let consequentClauses = clauses.filter(c => c.role === 'consequent' || c.role === 'conclusion' || c.role === 'assertion');
+            // Fallback: si no hay cláusula explícita de condición pero hay consequent,
+            // usar la primera cláusula que no sea consequent como condición
+            if (conditionClauses.length === 0 && clauses.length >= 2) {
+                const nonConsequent = clauses.filter(c => c.role !== 'consequent' && c.role !== 'conclusion');
+                if (nonConsequent.length > 0) {
+                    conditionClauses = [nonConsequent[0]];
+                    consequentClauses = clauses.filter(c => c !== nonConsequent[0]);
+                }
+            }
+            if (conditionClauses.length > 0 && consequentClauses.length > 0) {
+                const antecedent = getAtomId(conditionClauses[0].text, clauseAtomMap, allAtoms);
+                const consequent = getAtomId(consequentClauses[0].text, clauseAtomMap, allAtoms);
+                // Aplicar negación si hay modificadores
+                const antStr = applyModifiers(antecedent, conditionClauses[0].modifiers.map(m => m.type));
+                const consStr = applyModifiers(consequent, consequentClauses[0].modifiers.map(m => m.type));
+                formulas.push({
+                    formula: `${antStr} ${connectors_1.ST_OPERATORS.implication} ${consStr}`,
+                    stType: 'axiom',
+                    label: `regla_${label}`,
+                    sourceText: sentence.original,
+                    sourceSentence: sentenceIdx,
+                    comment: `Condicional: "${sentence.original}"`,
+                });
+            }
+            break;
+        }
+        case 'biconditional': {
+            if (clauses.length >= 2) {
+                const left = getAtomId(clauses[0].text, clauseAtomMap, allAtoms);
+                const right = getAtomId(clauses[1].text, clauseAtomMap, allAtoms);
+                formulas.push({
+                    formula: `${left} ${connectors_1.ST_OPERATORS.biconditional} ${right}`,
+                    stType: 'axiom',
+                    label: `bicond_${label}`,
+                    sourceText: sentence.original,
+                    sourceSentence: sentenceIdx,
+                    comment: `Bicondicional: "${sentence.original}"`,
+                });
+            }
+            break;
+        }
+        case 'conjunction': {
+            const atoms = clauses.map(c => getAtomId(c.text, clauseAtomMap, allAtoms));
+            if (atoms.length >= 2) {
+                const formula = atoms.join(` ${connectors_1.ST_OPERATORS.conjunction} `);
+                formulas.push({
+                    formula,
+                    stType: 'axiom',
+                    label: `conj_${label}`,
+                    sourceText: sentence.original,
+                    sourceSentence: sentenceIdx,
+                    comment: `Conjunción: "${sentence.original}"`,
+                });
+            }
+            break;
+        }
+        case 'disjunction': {
+            const atoms = clauses.map(c => getAtomId(c.text, clauseAtomMap, allAtoms));
+            if (atoms.length >= 2) {
+                const formula = atoms.join(` ${connectors_1.ST_OPERATORS.disjunction} `);
+                formulas.push({
+                    formula,
+                    stType: 'axiom',
+                    label: `disj_${label}`,
+                    sourceText: sentence.original,
+                    sourceSentence: sentenceIdx,
+                    comment: `Disyunción: "${sentence.original}"`,
+                });
+            }
+            break;
+        }
+        case 'negation': {
+            if (clauses.length > 0) {
+                const atom = getAtomId(clauses[0].text, clauseAtomMap, allAtoms);
+                formulas.push({
+                    formula: `${connectors_1.ST_OPERATORS.negation}(${atom})`,
+                    stType: 'axiom',
+                    label: `neg_${label}`,
+                    sourceText: sentence.original,
+                    sourceSentence: sentenceIdx,
+                    comment: `Negación: "${sentence.original}"`,
+                });
+            }
+            break;
+        }
+        case 'complex': {
+            // Oraciones complejas con premisas y conclusiones
+            const premiseClauses = clauses.filter(c => c.role === 'premise');
+            const conclusionClauses = clauses.filter(c => c.role === 'conclusion');
+            // Generar axiomas para premisas
+            for (const pClause of premiseClauses) {
+                const atom = getAtomId(pClause.text, clauseAtomMap, allAtoms);
+                const atomStr = applyModifiers(atom, pClause.modifiers.map(m => m.type));
+                formulas.push({
+                    formula: atomStr,
+                    stType: 'axiom',
+                    label: `premisa_${label++}`,
+                    sourceText: pClause.text,
+                    sourceSentence: sentenceIdx,
+                    comment: `Premisa: "${pClause.text}"`,
+                });
+            }
+            // Generar derivaciones para conclusiones
+            if (conclusionClauses.length > 0 && premiseClauses.length > 0) {
+                for (const cClause of conclusionClauses) {
+                    const atom = getAtomId(cClause.text, clauseAtomMap, allAtoms);
+                    const premiseLabels = formulas
+                        .filter(f => f.stType === 'axiom')
+                        .map(f => f.label);
+                    formulas.push({
+                        formula: atom,
+                        stType: 'derive',
+                        label: `conclusion_${label++}`,
+                        sourceText: cClause.text,
+                        sourceSentence: sentenceIdx,
+                        comment: `Conclusión: "${cClause.text}"`,
+                    });
+                }
+            }
+            break;
+        }
+        default: {
+            // Aserción simple o tipo no manejado arriba
+            for (const clause of clauses) {
+                const atom = getAtomId(clause.text, clauseAtomMap, allAtoms);
+                const atomStr = applyModifiers(atom, clause.modifiers.map(m => m.type));
+                const isConclusion = clause.role === 'conclusion';
+                const isPremise = clause.role === 'premise' || clause.role === 'assertion';
+                formulas.push({
+                    formula: atomStr,
+                    stType: isConclusion ? 'derive' : 'axiom',
+                    label: isConclusion ? `conclusion_${label}` : `hecho_${label}`,
+                    sourceText: clause.text,
+                    sourceSentence: sentenceIdx,
+                    comment: isConclusion
+                        ? `Conclusión: "${clause.text}"`
+                        : `Hecho: "${clause.text}"`,
+                });
+                label++;
+            }
+            break;
+        }
+    }
+    return formulas;
+}
+/**
+ * Obtiene el ID de átomo para un texto de cláusula.
+ */
+function getAtomId(clauseText, clauseAtomMap, allAtoms) {
+    // Buscar en el mapa directo
+    const direct = clauseAtomMap.get(clauseText);
+    if (direct)
+        return direct;
+    // Buscar match parcial
+    for (const [text, id] of clauseAtomMap) {
+        if (clauseText.includes(text) || text.includes(clauseText)) {
+            return id;
+        }
+    }
+    // Buscar en todos los átomos
+    const atomMatch = allAtoms.find(a => a.text === clauseText || a.text.includes(clauseText) || clauseText.includes(a.text));
+    if (atomMatch)
+        return atomMatch.id;
+    // Fallback: generar ID del texto
+    return clauseText.replace(/\s+/g, '_').toUpperCase().slice(0, 20);
+}
+/**
+ * Aplica modificadores lógicos a una fórmula atómica.
+ */
+function applyModifiers(atomId, modifiers) {
+    let formula = atomId;
+    for (const mod of modifiers) {
+        switch (mod) {
+            case 'negation':
+                formula = `!(${formula})`;
+                break;
+            case 'necessity':
+                formula = `[](${formula})`;
+                break;
+            case 'possibility':
+                formula = `<>(${formula})`;
+                break;
+        }
+    }
+    return formula;
+}
+//# sourceMappingURL=propositional.js.map

package/dist/formula/propositional.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"propositional.js","sourceRoot":"","sources":["../../src/formula/propositional.ts"],"names":[],"mappings":";;AAWA,gDAuBC;AA5BD,6CAA4C;AAE5C;;GAEG;AACH,SAAgB,kBAAkB,CAChC,SAA6B,EAC7B,WAAwB,EACxB,gBAA0B;IAE1B,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACnD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;YAC3C,2DAA2D;YAC3D,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACrD,mDAAmD;YACnD,OAAO,IAAI,CAAC,CAAC,4CAA4C;QAC3D,CAAC,CAAC,CAAC;QAEH,MAAM,aAAa,GAAG,qBAAqB,CAAC,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,gBAAgB,CAAC,CAAC;QACzG,QAAQ,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC;QAChC,YAAY,IAAI,aAAa,CAAC,MAAM,CAAC;IACvC,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,SAAS,qBAAqB,CAC5B,QAA0B,EAC1B,QAAqB,EACrB,WAAmB,EACnB,UAAkB,EAClB,QAAkB;IAElB,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;IACjC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEpC,2DAA2D;IAC3D,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,qCAAqC;QACrC,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACnC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CACjF,CAAC;QACF,IAAI,WAAW,EAAE,CAAC;YAChB,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IAED,6DAA6D;IAC7D,IAAI,aAAa,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACvB,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,IAAI;gBAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,IAAI,KAAK,GAAG,UAAU,CAAC;IAEvB,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,IAAI,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;YACnE,IAAI,iBAAiB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACzC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAC7E,CAAC;YAEF,2EAA2E;YAC3E,gEAAgE;YAChE,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACzD,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACvC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CACnD,CAAC;gBACF,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC7B,gBAAgB,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;oBACtC,iBAAiB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClE,CAAC;YACH,CAAC;YAED,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChE,MAAM,UAAU,GAAG,SAAS,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC;gBAChF,MAAM,UAAU,GAAG,SAAS,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC;gBAEjF,wCAAwC;gBACxC,MAAM,MAAM,GAAG,cAAc,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC1F,MAAM,OAAO,GAAG,cAAc,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBAE5F,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,GAAG,MAAM,IAAI,yBAAY,CAAC,WAAW,IAAI,OAAO,EAAE;oBAC3D,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,SAAS,KAAK,EAAE;oBACvB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,iBAAiB,QAAQ,CAAC,QAAQ,GAAG;iBAC/C,CAAC,CAAC;YACL,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACxB,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC;gBACjE,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC;gBAClE,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,GAAG,IAAI,IAAI,yBAAY,CAAC,aAAa,IAAI,KAAK,EAAE;oBACzD,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,UAAU,KAAK,EAAE;oBACxB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,mBAAmB,QAAQ,CAAC,QAAQ,GAAG;iBACjD,CAAC,CAAC;YACL,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC3E,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACtB,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,yBAAY,CAAC,WAAW,GAAG,CAAC,CAAC;gBAC5D,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO;oBACP,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,QAAQ,KAAK,EAAE;oBACtB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,gBAAgB,QAAQ,CAAC,QAAQ,GAAG;iBAC9C,CAAC,CAAC;YACL,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC3E,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACtB,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,yBAAY,CAAC,WAAW,GAAG,CAAC,CAAC;gBAC5D,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO;oBACP,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,QAAQ,KAAK,EAAE;oBACtB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,gBAAgB,QAAQ,CAAC,QAAQ,GAAG;iBAC9C,CAAC,CAAC;YACL,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC;gBACjE,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,GAAG,yBAAY,CAAC,QAAQ,IAAI,IAAI,GAAG;oBAC5C,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,OAAO,KAAK,EAAE;oBACrB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,cAAc,QAAQ,CAAC,QAAQ,GAAG;iBAC5C,CAAC,CAAC;YACL,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,kDAAkD;YAClD,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACjE,MAAM,iBAAiB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;YAEvE,gCAAgC;YAChC,KAAK,MAAM,OAAO,IAAI,cAAc,EAAE,CAAC;gBACrC,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC;gBAC9D,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBACzE,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,OAAO;oBAChB,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,WAAW,KAAK,EAAE,EAAE;oBAC3B,UAAU,EAAE,OAAO,CAAC,IAAI;oBACxB,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,aAAa,OAAO,CAAC,IAAI,GAAG;iBACtC,CAAC,CAAC;YACL,CAAC;YAED,yCAAyC;YACzC,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC9D,KAAK,MAAM,OAAO,IAAI,iBAAiB,EAAE,CAAC;oBACxC,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC;oBAC9D,MAAM,aAAa,GAAG,QAAQ;yBAC3B,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC;yBACjC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBACrB,QAAQ,CAAC,IAAI,CAAC;wBACZ,OAAO,EAAE,IAAI;wBACb,MAAM,EAAE,QAAQ;wBAChB,KAAK,EAAE,cAAc,KAAK,EAAE,EAAE;wBAC9B,UAAU,EAAE,OAAO,CAAC,IAAI;wBACxB,cAAc,EAAE,WAAW;wBAC3B,OAAO,EAAE,gBAAgB,OAAO,CAAC,IAAI,GAAG;qBACzC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QAED,OAAO,CAAC,CAAC,CAAC;YACR,4CAA4C;YAC5C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC;gBAC7D,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBAExE,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC;gBAClD,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC;gBAE3E,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,OAAO;oBAChB,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO;oBACzC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,cAAc,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,EAAE;oBAC9D,UAAU,EAAE,MAAM,CAAC,IAAI;oBACvB,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,YAAY;wBACnB,CAAC,CAAC,gBAAgB,MAAM,CAAC,IAAI,GAAG;wBAChC,CAAC,CAAC,WAAW,MAAM,CAAC,IAAI,GAAG;iBAC9B,CAAC,CAAC;gBACH,KAAK,EAAE,CAAC;YACV,CAAC;YACD,MAAM;QACR,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,SAAS,SAAS,CAChB,UAAkB,EAClB,aAAkC,EAClC,QAAqB;IAErB,4BAA4B;IAC5B,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC7C,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE1B,uBAAuB;IACvB,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,aAAa,EAAE,CAAC;QACvC,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3D,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IAED,6BAA6B;IAC7B,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAClC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CACpF,CAAC;IACF,IAAI,SAAS;QAAE,OAAO,SAAS,CAAC,EAAE,CAAC;IAEnC,iCAAiC;IACjC,OAAO,UAAU,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACpE,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,MAAc,EAAE,SAAmB;IACzD,IAAI,OAAO,GAAG,MAAM,CAAC;IACrB,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,QAAQ,GAAG,EAAE,CAAC;YACZ,KAAK,UAAU;gBACb,OAAO,GAAG,KAAK,OAAO,GAAG,CAAC;gBAC1B,MAAM;YACR,KAAK,WAAW;gBACd,OAAO,GAAG,MAAM,OAAO,GAAG,CAAC;gBAC3B,MAAM;YACR,KAAK,aAAa;gBAChB,OAAO,GAAG,MAAM,OAAO,GAAG,CAAC;gBAC3B,MAAM;QACV,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/formula/temporal.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Temporal Formula Builder
+ *
+ * Construye fórmulas de lógica temporal (LTL).
+ */
+import type { AnalyzedSentence, AtomEntry, FormulaEntry } from '../types';
+/**
+ * Construye fórmulas temporales LTL.
+ */
+export declare function buildTemporal(sentences: AnalyzedSentence[], atomEntries: AtomEntry[]): FormulaEntry[];
+//# sourceMappingURL=temporal.d.ts.map

package/dist/formula/temporal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"temporal.d.ts","sourceRoot":"","sources":["../../src/formula/temporal.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAG1E;;GAEG;AACH,wBAAgB,aAAa,CAC3B,SAAS,EAAE,gBAAgB,EAAE,EAC7B,WAAW,EAAE,SAAS,EAAE,GACvB,YAAY,EAAE,CAYhB"}

package/dist/formula/temporal.js

@@ -0,0 +1,134 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildTemporal = buildTemporal;
+const connectors_1 = require("./connectors");
+/**
+ * Construye fórmulas temporales LTL.
+ */
+function buildTemporal(sentences, atomEntries) {
+    const formulas = [];
+    let labelCounter = 1;
+    for (let sIdx = 0; sIdx < sentences.length; sIdx++) {
+        const sentence = sentences[sIdx];
+        const built = buildTemporalSentence(sentence, atomEntries, sIdx, labelCounter);
+        formulas.push(...built);
+        labelCounter += built.length;
+    }
+    return formulas;
+}
+function buildTemporalSentence(sentence, allAtoms, sentenceIdx, labelStart) {
+    const formulas = [];
+    const clauses = sentence.clauses;
+    let label = labelStart;
+    // Detectar operadores temporales en cláusulas
+    const hasNext = clauses.some(c => c.modifiers.some(m => m.type === 'temporal_next'));
+    const hasUntil = clauses.some(c => c.modifiers.some(m => m.type === 'temporal_until'));
+    const hasAlways = clauses.some(c => c.modifiers.some(m => m.type === 'temporal_always'));
+    const hasEventually = clauses.some(c => c.modifiers.some(m => m.type === 'temporal_eventually'));
+    if (sentence.type === 'conditional' && hasNext) {
+        // "Después de A, B" → A -> next B
+        const condClauses = clauses.filter(c => c.role === 'condition' || c.role === 'premise');
+        const consClauses = clauses.filter(c => c.role === 'consequent' || c.role === 'conclusion' || c.role === 'assertion');
+        if (condClauses.length > 0 && consClauses.length > 0) {
+            const ant = findAtom(condClauses[0].text, allAtoms);
+            const cons = findAtom(consClauses[0].text, allAtoms);
+            if (ant && cons) {
+                formulas.push({
+                    formula: `${ant.id} -> ${connectors_1.ST_OPERATORS.temporal_next} ${cons.id}`,
+                    stType: 'axiom',
+                    label: `a${label++}`,
+                    sourceText: sentence.original,
+                    sourceSentence: sentenceIdx,
+                    comment: `Temporal next: "${sentence.original}"`,
+                });
+            }
+        }
+    }
+    else if (hasUntil && clauses.length >= 2) {
+        // "A hasta que B" → A until B
+        const atomsList = clauses.map(c => findAtom(c.text, allAtoms)).filter(Boolean);
+        if (atomsList.length >= 2) {
+            formulas.push({
+                formula: `${atomsList[0].id} ${connectors_1.ST_OPERATORS.temporal_until} ${atomsList[1].id}`,
+                stType: 'axiom',
+                label: `a${label++}`,
+                sourceText: sentence.original,
+                sourceSentence: sentenceIdx,
+                comment: `Temporal until: "${sentence.original}"`,
+            });
+        }
+    }
+    else if (hasAlways) {
+        // "Siempre A" → always A
+        for (const clause of clauses) {
+            const atom = findAtom(clause.text, allAtoms);
+            if (atom) {
+                formulas.push({
+                    formula: `${connectors_1.ST_OPERATORS.temporal_always} ${atom.id}`,
+                    stType: 'axiom',
+                    label: `a${label++}`,
+                    sourceText: clause.text,
+                    sourceSentence: sentenceIdx,
+                    comment: `Temporal always: "${clause.text}"`,
+                });
+            }
+        }
+    }
+    else if (hasEventually) {
+        // "Eventualmente A" → eventually A
+        for (const clause of clauses) {
+            const atom = findAtom(clause.text, allAtoms);
+            if (atom) {
+                formulas.push({
+                    formula: `${connectors_1.ST_OPERATORS.temporal_eventually} ${atom.id}`,
+                    stType: 'axiom',
+                    label: `a${label++}`,
+                    sourceText: clause.text,
+                    sourceSentence: sentenceIdx,
+                    comment: `Temporal eventually: "${clause.text}"`,
+                });
+            }
+        }
+    }
+    else {
+        // Temporal genérico: tratar como condicional con next
+        if (sentence.type === 'conditional' || clauses.length >= 2) {
+            const condClauses = clauses.filter(c => c.role === 'condition' || c.role === 'premise');
+            const restClauses = clauses.filter(c => c.role !== 'condition' && c.role !== 'premise');
+            if (condClauses.length > 0 && restClauses.length > 0) {
+                const ant = findAtom(condClauses[0].text, allAtoms);
+                const cons = findAtom(restClauses[0].text, allAtoms);
+                if (ant && cons) {
+                    formulas.push({
+                        formula: `${ant.id} -> ${connectors_1.ST_OPERATORS.temporal_next} ${cons.id}`,
+                        stType: 'axiom',
+                        label: `a${label++}`,
+                        sourceText: sentence.original,
+                        sourceSentence: sentenceIdx,
+                        comment: `Temporal: "${sentence.original}"`,
+                    });
+                }
+            }
+        }
+        else {
+            // Aserción temporal simple
+            for (const clause of clauses) {
+                const atom = findAtom(clause.text, allAtoms);
+                if (atom) {
+                    formulas.push({
+                        formula: atom.id,
+                        stType: 'axiom',
+                        label: `a${label++}`,
+                        sourceText: clause.text,
+                        sourceSentence: sentenceIdx,
+                    });
+                }
+            }
+        }
+    }
+    return formulas;
+}
+function findAtom(text, allAtoms) {
+    return allAtoms.find(a => a.text === text || a.text.includes(text) || text.includes(a.text)) || null;
+}
+//# sourceMappingURL=temporal.js.map

package/dist/formula/temporal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"temporal.js","sourceRoot":"","sources":["../../src/formula/temporal.ts"],"names":[],"mappings":";;AAWA,sCAeC;AApBD,6CAA4C;AAE5C;;GAEG;AACH,SAAgB,aAAa,CAC3B,SAA6B,EAC7B,WAAwB;IAExB,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACnD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,qBAAqB,CAAC,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC;QAC/E,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;QACxB,YAAY,IAAI,KAAK,CAAC,MAAM,CAAC;IAC/B,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,qBAAqB,CAC5B,QAA0B,EAC1B,QAAqB,EACrB,WAAmB,EACnB,UAAkB;IAElB,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;IACjC,IAAI,KAAK,GAAG,UAAU,CAAC;IAEvB,8CAA8C;IAC9C,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC;IACrF,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC;IACvF,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC;IACzF,MAAM,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CAAC,CAAC,CAAC;IAEjG,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,IAAI,OAAO,EAAE,CAAC;QAC/C,kCAAkC;QAClC,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QACxF,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACrC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAC7E,CAAC;QAEF,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrD,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACpD,MAAM,IAAI,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACrD,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;gBAChB,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,GAAG,GAAG,CAAC,EAAE,OAAO,yBAAY,CAAC,aAAa,IAAI,IAAI,CAAC,EAAE,EAAE;oBAChE,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;oBACpB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,mBAAmB,QAAQ,CAAC,QAAQ,GAAG;iBACjD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,QAAQ,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC3C,8BAA8B;QAC9B,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC/E,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO,EAAE,GAAG,SAAS,CAAC,CAAC,CAAE,CAAC,EAAE,IAAI,yBAAY,CAAC,cAAc,IAAI,SAAS,CAAC,CAAC,CAAE,CAAC,EAAE,EAAE;gBACjF,MAAM,EAAE,OAAO;gBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;gBACpB,UAAU,EAAE,QAAQ,CAAC,QAAQ;gBAC7B,cAAc,EAAE,WAAW;gBAC3B,OAAO,EAAE,oBAAoB,QAAQ,CAAC,QAAQ,GAAG;aAClD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;SAAM,IAAI,SAAS,EAAE,CAAC;QACrB,yBAAyB;QACzB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC7C,IAAI,IAAI,EAAE,CAAC;gBACT,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,GAAG,yBAAY,CAAC,eAAe,IAAI,IAAI,CAAC,EAAE,EAAE;oBACrD,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;oBACpB,UAAU,EAAE,MAAM,CAAC,IAAI;oBACvB,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,qBAAqB,MAAM,CAAC,IAAI,GAAG;iBAC7C,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,aAAa,EAAE,CAAC;QACzB,mCAAmC;QACnC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC7C,IAAI,IAAI,EAAE,CAAC;gBACT,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,GAAG,yBAAY,CAAC,mBAAmB,IAAI,IAAI,CAAC,EAAE,EAAE;oBACzD,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;oBACpB,UAAU,EAAE,MAAM,CAAC,IAAI;oBACvB,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,yBAAyB,MAAM,CAAC,IAAI,GAAG;iBACjD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,sDAAsD;QACtD,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC3D,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACxF,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAExF,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrD,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBACpD,MAAM,IAAI,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBACrD,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;oBAChB,QAAQ,CAAC,IAAI,CAAC;wBACZ,OAAO,EAAE,GAAG,GAAG,CAAC,EAAE,OAAO,yBAAY,CAAC,aAAa,IAAI,IAAI,CAAC,EAAE,EAAE;wBAChE,MAAM,EAAE,OAAO;wBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;wBACpB,UAAU,EAAE,QAAQ,CAAC,QAAQ;wBAC7B,cAAc,EAAE,WAAW;wBAC3B,OAAO,EAAE,cAAc,QAAQ,CAAC,QAAQ,GAAG;qBAC5C,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;aAAM,CAAC;YACN,2BAA2B;YAC3B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAC7C,IAAI,IAAI,EAAE,CAAC;oBACT,QAAQ,CAAC,IAAI,CAAC;wBACZ,OAAO,EAAE,IAAI,CAAC,EAAE;wBAChB,MAAM,EAAE,OAAO;wBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;wBACpB,UAAU,EAAE,MAAM,CAAC,IAAI;wBACvB,cAAc,EAAE,WAAW;qBAC5B,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,QAAqB;IACnD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACvB,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAClE,IAAI,IAAI,CAAC;AACZ,CAAC"}

package/dist/generator/index.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Generator — Generación y validación de código ST
+ */
+export { emitST } from './st-emitter';
+export { validateST, validationToDiagnostics } from './validator';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/generator/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC"}

package/dist/generator/index.js

@@ -0,0 +1,12 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.validationToDiagnostics = exports.validateST = exports.emitST = void 0;
+/**
+ * Generator — Generación y validación de código ST
+ */
+var st_emitter_1 = require("./st-emitter");
+Object.defineProperty(exports, "emitST", { enumerable: true, get: function () { return st_emitter_1.emitST; } });
+var validator_1 = require("./validator");
+Object.defineProperty(exports, "validateST", { enumerable: true, get: function () { return validator_1.validateST; } });
+Object.defineProperty(exports, "validationToDiagnostics", { enumerable: true, get: function () { return validator_1.validationToDiagnostics; } });
+//# sourceMappingURL=index.js.map

package/dist/generator/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/generator/index.ts"],"names":[],"mappings":";;;AAAA;;GAEG;AACH,2CAAsC;AAA7B,oGAAA,MAAM,OAAA;AACf,yCAAkE;AAAzD,uGAAA,UAAU,OAAA;AAAE,oHAAA,uBAAuB,OAAA"}

package/dist/generator/st-emitter.d.ts

@@ -0,0 +1,23 @@
+/**
+ * ST Emitter — Genera código fuente ST válido y legible
+ *
+ * Produce código ST con trazabilidad, comentarios y formato estructurado.
+ */
+import type { FormulaEntry, LogicProfile, Diagnostic } from '../types';
+interface EmitOptions {
+    profile: LogicProfile;
+    language: 'es' | 'en';
+    includeComments: boolean;
+    atoms: Map<string, string>;
+    formulas: FormulaEntry[];
+    detectedPatterns: string[];
+}
+/**
+ * Emite código ST completo a partir de fórmulas construidas.
+ */
+export declare function emitST(options: EmitOptions): {
+    code: string;
+    diagnostics: Diagnostic[];
+};
+export {};
+//# sourceMappingURL=st-emitter.d.ts.map

package/dist/generator/st-emitter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"st-emitter.d.ts","sourceRoot":"","sources":["../../src/generator/st-emitter.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,YAAY,EAAE,YAAY,EAAa,UAAU,EAAE,MAAM,UAAU,CAAC;AAElF,UAAU,WAAW;IACnB,OAAO,EAAE,YAAY,CAAC;IACtB,QAAQ,EAAE,IAAI,GAAG,IAAI,CAAC;IACtB,eAAe,EAAE,OAAO,CAAC;IACzB,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3B,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,OAAO,EAAE,WAAW,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,UAAU,EAAE,CAAA;CAAE,CAyHxF"}

package/dist/generator/st-emitter.js

@@ -0,0 +1,134 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.emitST = emitST;
+/**
+ * Emite código ST completo a partir de fórmulas construidas.
+ */
+function emitST(options) {
+    const { profile, language, includeComments, atoms, formulas, detectedPatterns } = options;
+    const lines = [];
+    const diagnostics = [];
+    // ── Header ──────────────────────────────────
+    if (includeComments) {
+        lines.push('// ═══════════════════════════════════════');
+        lines.push('// Formalización automática — autologic');
+        lines.push(`// Perfil: ${profile}`);
+        lines.push(`// Idioma: ${language}`);
+        if (detectedPatterns.length > 0) {
+            lines.push(`// Patrones: ${detectedPatterns.join(', ')}`);
+        }
+        lines.push('// ═══════════════════════════════════════');
+        lines.push('');
+    }
+    // ── Logic declaration ───────────────────────
+    lines.push(`logic ${profile}`);
+    lines.push('');
+    // ── Interpret declarations ──────────────────
+    if (atoms.size > 0) {
+        if (includeComments) {
+            lines.push('// ── Proposiciones atómicas ────────────');
+        }
+        // Para first_order no hacemos interpret de predicados
+        const isFirstOrder = profile === 'classical.first_order' || profile === 'aristotelian.syllogistic';
+        for (const [atomId, text] of atoms) {
+            if (isFirstOrder && atomId.includes('(')) {
+                // Para primer orden: usar interpret con la fórmula completa
+                lines.push(`interpret "${text}" as ${atomId}`);
+            }
+            else {
+                lines.push(`interpret "${text}" as ${atomId}`);
+            }
+        }
+        lines.push('');
+    }
+    // ── Formulas (axioms, derives, checks) ──────
+    if (formulas.length > 0) {
+        if (includeComments) {
+            lines.push('// ── Estructura argumental ─────────────');
+            if (detectedPatterns.length > 0) {
+                lines.push(`// Patrón detectado: ${detectedPatterns.join(', ')}`);
+            }
+        }
+        lines.push('');
+        // Agrupar por tipo
+        const axioms = formulas.filter(f => f.stType === 'axiom');
+        const derives = formulas.filter(f => f.stType === 'derive');
+        const checks = formulas.filter(f => f.stType === 'check');
+        // Emitir axiomas
+        for (const axiom of axioms) {
+            if (includeComments && axiom.comment) {
+                lines.push(`// ${axiom.comment}`);
+            }
+            lines.push(`axiom ${axiom.label} : ${axiom.formula}`);
+        }
+        if (axioms.length > 0 && derives.length > 0) {
+            lines.push('');
+        }
+        // Emitir derivaciones
+        for (const derive of derives) {
+            if (includeComments && derive.comment) {
+                lines.push(`// ${derive.comment}`);
+            }
+            // Construir la lista de axiomas/premisas para el derive
+            const premiseLabels = axioms.map(a => a.label);
+            if (premiseLabels.length > 0) {
+                lines.push(`derive ${derive.formula} from {${premiseLabels.join(', ')}}`);
+            }
+            else {
+                lines.push(`derive ${derive.formula}`);
+            }
+        }
+        if (derives.length > 0 && checks.length > 0) {
+            lines.push('');
+        }
+        // Emitir checks
+        for (const check of checks) {
+            if (includeComments && check.comment) {
+                lines.push(`// ${check.comment}`);
+            }
+            lines.push(`check valid (${check.formula})`);
+        }
+        // Agregar verificación automática para condicionales
+        const conditionalAxioms = axioms.filter(a => a.formula.includes('->'));
+        if (conditionalAxioms.length > 0 && checks.length === 0) {
+            lines.push('');
+            if (includeComments) {
+                lines.push('// ── Verificación ──────────────────────');
+            }
+            for (const ca of conditionalAxioms) {
+                lines.push(`check valid (${ca.formula})`);
+            }
+        }
+    }
+    // Limpiar líneas en blanco consecutivas
+    const code = cleanOutput(lines);
+    // Diagnóstico si no hay fórmulas
+    if (formulas.length === 0) {
+        diagnostics.push({
+            severity: 'warning',
+            message: 'No se generaron fórmulas. El texto puede ser demasiado simple o no contener estructura lógica detectable.',
+            code: 'NO_FORMULAS',
+        });
+    }
+    return { code, diagnostics };
+}
+/**
+ * Limpia el código de salida eliminando líneas en blanco excesivas.
+ */
+function cleanOutput(lines) {
+    const result = [];
+    let lastWasEmpty = false;
+    for (const line of lines) {
+        const isEmpty = line.trim() === '';
+        if (isEmpty && lastWasEmpty)
+            continue;
+        result.push(line);
+        lastWasEmpty = isEmpty;
+    }
+    // Eliminar trailing newlines excesivos
+    while (result.length > 0 && result[result.length - 1].trim() === '') {
+        result.pop();
+    }
+    return result.join('\n') + '\n';
+}
+//# sourceMappingURL=st-emitter.js.map

package/dist/generator/st-emitter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"st-emitter.js","sourceRoot":"","sources":["../../src/generator/st-emitter.ts"],"names":[],"mappings":";;AAmBA,wBAyHC;AA5HD;;GAEG;AACH,SAAgB,MAAM,CAAC,OAAoB;IACzC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,KAAK,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,OAAO,CAAC;IAC1F,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,+CAA+C;IAC/C,IAAI,eAAe,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;QACzD,KAAK,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,cAAc,OAAO,EAAE,CAAC,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,cAAc,QAAQ,EAAE,CAAC,CAAC;QACrC,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,gBAAgB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5D,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;QACzD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,+CAA+C;IAC/C,KAAK,CAAC,IAAI,CAAC,SAAS,OAAO,EAAE,CAAC,CAAC;IAC/B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,+CAA+C;IAC/C,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACnB,IAAI,eAAe,EAAE,CAAC;YACpB,KAAK,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;QAC1D,CAAC;QAED,sDAAsD;QACtD,MAAM,YAAY,GAAG,OAAO,KAAK,uBAAuB,IAAI,OAAO,KAAK,0BAA0B,CAAC;QAEnG,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;YACnC,IAAI,YAAY,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzC,4DAA4D;gBAC5D,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,QAAQ,MAAM,EAAE,CAAC,CAAC;YACjD,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,QAAQ,MAAM,EAAE,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,+CAA+C;IAC/C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,IAAI,eAAe,EAAE,CAAC;YACpB,KAAK,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;YACxD,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChC,KAAK,CAAC,IAAI,CAAC,wBAAwB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACpE,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,mBAAmB;QACnB,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC;QAC1D,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC;QAE1D,iBAAiB;QACjB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,eAAe,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBACrC,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YACpC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,KAAK,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACxD,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;QAED,sBAAsB;QACtB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,eAAe,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACtC,KAAK,CAAC,IAAI,CAAC,MAAM,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;YACrC,CAAC;YACD,wDAAwD;YACxD,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC/C,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC7B,KAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,OAAO,UAAU,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC5E,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;QAED,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;QAED,gBAAgB;QAChB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,eAAe,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBACrC,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YACpC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,gBAAgB,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;QAC/C,CAAC;QAED,qDAAqD;QACrD,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QACvE,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,IAAI,eAAe,EAAE,CAAC;gBACpB,KAAK,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;YAC1D,CAAC;YACD,KAAK,MAAM,EAAE,IAAI,iBAAiB,EAAE,CAAC;gBACnC,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,OAAO,GAAG,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;IACH,CAAC;IAED,wCAAwC;IACxC,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAEhC,iCAAiC;IACjC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CAAC;YACf,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,2GAA2G;YACpH,IAAI,EAAE,aAAa;SACpB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AAC/B,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,KAAe;IAClC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,YAAY,GAAG,KAAK,CAAC;IAEzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QACnC,IAAI,OAAO,IAAI,YAAY;YAAE,SAAS;QACtC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClB,YAAY,GAAG,OAAO,CAAC;IACzB,CAAC;IAED,uCAAuC;IACvC,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACpE,MAAM,CAAC,GAAG,EAAE,CAAC;IACf,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AAClC,CAAC"}

package/dist/generator/validator.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Validator — Valida código ST generado con st-lang parse()
+ *
+ * Intenta importar st-lang dinámicamente (peerDep).
+ * Si no está disponible, reporta warning pero no falla.
+ */
+import type { Diagnostic } from '../types';
+interface ValidationResult {
+    ok: boolean;
+    errors: string[];
+}
+/**
+ * Valida código ST usando el parser de st-lang.
+ * Requiere que @stevenvo780/st-lang esté instalado (peerDependency).
+ */
+export declare function validateST(code: string): ValidationResult;
+/**
+ * Convierte errores de validación en diagnósticos.
+ */
+export declare function validationToDiagnostics(validation: ValidationResult): Diagnostic[];
+export {};
+//# sourceMappingURL=validator.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../src/generator/validator.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAE3C,UAAU,gBAAgB;IACxB,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,CAiCzD;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,gBAAgB,GAAG,UAAU,EAAE,CAOlF"}