@stevenvo780/autologic 2.0.1 → 2.2.0

package/dist/formula/temporal.js

@@ -2,6 +2,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.buildTemporal = buildTemporal;
 const connectors_1 = require("./connectors");
+const helpers_1 = require("./helpers");
 /**
  * Construye fórmulas temporales LTL.
  */
@@ -25,110 +26,134 @@ function buildTemporalSentence(sentence, allAtoms, sentenceIdx, labelStart) {
     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 (sentence.type === 'conditional') {
+        // Temporal condicional general: preservar wrappers sobre la implicación completa.
+        let condClauses = clauses.filter(c => c.role === 'condition' || c.role === 'premise');
+        let consClauses = clauses.filter(c => c.role === 'consequent' || c.role === 'conclusion' || c.role === 'assertion');
+        if (condClauses.length === 0 && clauses.length >= 2) {
+            condClauses = [clauses[0]];
+            consClauses = [clauses[1]];
+        }
         if (condClauses.length > 0 && consClauses.length > 0) {
-            const ant = findAtom(condClauses[0].text, allAtoms);
-            const cons = findAtom(consClauses[0].text, allAtoms);
-            if (ant && cons) {
+            const ant = (0, helpers_1.resolveAtomId)(condClauses[0].text, allAtoms);
+            const cons = (0, helpers_1.resolveAtomId)(consClauses[0].text, allAtoms);
+            const implication = `${(0, helpers_1.applyLogicalModifiers)(ant, (0, helpers_1.stripModifierFamily)(condClauses[0].modifiers, 'temporal'), 'temporal.ltl')} -> ${(0, helpers_1.applyLogicalModifiers)(cons, consClauses[0].modifiers.map((modifier) => modifier.type), 'temporal.ltl')}`;
+            formulas.push({
+                formula: (0, helpers_1.applyLogicalModifiers)(implication, (0, helpers_1.pickLeadingSentenceModifiers)(clauses[0].modifiers, 'temporal'), 'temporal.ltl'),
+                stType: 'axiom',
+                label: `a${label++}`,
+                sourceText: sentence.original,
+                sourceSentence: sentenceIdx,
+                comment: `Temporal: "${sentence.original}"`,
+            });
+            const supplementalClauses = clauses.filter(clause => clause !== condClauses[0] && clause !== consClauses[0]);
+            for (const clause of supplementalClauses) {
+                const atom = (0, helpers_1.resolveAtomId)(clause.text, allAtoms);
                 formulas.push({
-                    formula: `${ant.id} -> ${connectors_1.ST_OPERATORS.temporal_next} ${cons.id}`,
-                    stType: 'axiom',
+                    formula: (0, helpers_1.applyLogicalModifiers)(atom, sanitizeStandaloneTemporalModifiers(clause.modifiers.map((modifier) => modifier.type)), 'temporal.ltl'),
+                    stType: clause.role === 'conclusion' ? 'derive' : 'axiom',
                     label: `a${label++}`,
-                    sourceText: sentence.original,
+                    sourceText: clause.text,
                     sourceSentence: sentenceIdx,
-                    comment: `Temporal next: "${sentence.original}"`,
+                    comment: `Subcláusula temporal: "${clause.text}"`,
                 });
             }
         }
     }
     else if (hasUntil && clauses.length >= 2) {
         // "A hasta que B" → A until B
-        const atomsList = clauses.map(c => findAtom(c.text, allAtoms)).filter(Boolean);
+        const atomsList = clauses.map(c => (0, helpers_1.resolveAtomId)(c.text, allAtoms));
         if (atomsList.length >= 2) {
             formulas.push({
-                formula: `${atomsList[0].id} ${connectors_1.ST_OPERATORS.temporal_until} ${atomsList[1].id}`,
+                formula: `${(0, helpers_1.applyLogicalModifiers)(atomsList[0], (0, helpers_1.stripModifierFamily)(clauses[0].modifiers, 'temporal'), 'temporal.ltl')} ${connectors_1.ST_OPERATORS.temporal_until} ${(0, helpers_1.applyLogicalModifiers)(atomsList[1], (0, helpers_1.stripModifierFamily)(clauses[1].modifiers, 'temporal'), 'temporal.ltl')}`,
                 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) {
+            for (let clauseIndex = 2; clauseIndex < clauses.length; clauseIndex++) {
+                const clause = clauses[clauseIndex];
+                const atom = (0, helpers_1.resolveAtomId)(clause.text, allAtoms);
                 formulas.push({
-                    formula: `${connectors_1.ST_OPERATORS.temporal_always} ${atom.id}`,
-                    stType: 'axiom',
+                    formula: (0, helpers_1.applyLogicalModifiers)(atom, sanitizeStandaloneTemporalModifiers(clause.modifiers.map((modifier) => modifier.type)), 'temporal.ltl'),
+                    stType: clause.role === 'conclusion' ? 'derive' : 'axiom',
                     label: `a${label++}`,
                     sourceText: clause.text,
                     sourceSentence: sentenceIdx,
-                    comment: `Temporal always: "${clause.text}"`,
+                    comment: `Subcláusula temporal: "${clause.text}"`,
                 });
             }
         }
     }
+    else if (hasAlways) {
+        // "Siempre A" → G(A)
+        for (const clause of clauses) {
+            const atom = (0, helpers_1.resolveAtomId)(clause.text, allAtoms);
+            formulas.push({
+                formula: (0, helpers_1.applyLogicalModifiers)(atom, clause.modifiers.map((modifier) => modifier.type), 'temporal.ltl'),
+                stType: 'axiom',
+                label: `a${label++}`,
+                sourceText: clause.text,
+                sourceSentence: sentenceIdx,
+                comment: `Temporal always: "${clause.text}"`,
+            });
+        }
+    }
     else if (hasEventually) {
-        // "Eventualmente A" → eventually A
+        // "Eventualmente A" → F(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}"`,
-                });
-            }
+            const atom = (0, helpers_1.resolveAtomId)(clause.text, allAtoms);
+            formulas.push({
+                formula: (0, helpers_1.applyLogicalModifiers)(atom, clause.modifiers.map((modifier) => modifier.type), 'temporal.ltl'),
+                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 (clauses.length >= 2) {
+            let condClauses = clauses.filter(c => c.role === 'condition' || c.role === 'premise');
+            let restClauses = clauses.filter(c => c.role !== 'condition' && c.role !== 'premise');
+            if (condClauses.length === 0) {
+                condClauses = [clauses[0]];
+                restClauses = clauses.slice(1);
+            }
             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}"`,
-                    });
-                }
+                const ant = (0, helpers_1.resolveAtomId)(condClauses[0].text, allAtoms);
+                const cons = (0, helpers_1.resolveAtomId)(restClauses[0].text, allAtoms);
+                const implication = `${(0, helpers_1.applyLogicalModifiers)(ant, (0, helpers_1.stripModifierFamily)(condClauses[0].modifiers, 'temporal'), 'temporal.ltl')} -> ${(0, helpers_1.applyLogicalModifiers)(cons, ['temporal_next', ...restClauses[0].modifiers.map((modifier) => modifier.type)], 'temporal.ltl')}`;
+                formulas.push({
+                    formula: (0, helpers_1.applyLogicalModifiers)(implication, (0, helpers_1.pickLeadingSentenceModifiers)(clauses[0].modifiers, 'temporal'), 'temporal.ltl'),
+                    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,
-                    });
-                }
+                const atom = (0, helpers_1.resolveAtomId)(clause.text, allAtoms);
+                formulas.push({
+                    formula: (0, helpers_1.applyLogicalModifiers)(atom, clause.modifiers.map((modifier) => modifier.type), 'temporal.ltl'),
+                    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;
+function sanitizeStandaloneTemporalModifiers(modifiers) {
+    return modifiers.filter((modifier) => modifier !== 'temporal_until');
 }
 //# sourceMappingURL=temporal.js.map

package/dist/formula/temporal.js.map

@@ -1 +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"}
+{"version":3,"file":"temporal.js","sourceRoot":"","sources":["../../src/formula/temporal.ts"],"names":[],"mappings":";;AAiBA,sCAeC;AA1BD,6CAA4C;AAC5C,uCAKmB;AAEnB;;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,EAAE,CAAC;QACpC,kFAAkF;QAClF,IAAI,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QACtF,IAAI,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACnC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAC7E,CAAC;QAEF,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACpD,WAAW,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3B,WAAW,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7B,CAAC;QAED,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrD,MAAM,GAAG,GAAG,IAAA,uBAAa,EAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACzD,MAAM,IAAI,GAAG,IAAA,uBAAa,EAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC1D,MAAM,WAAW,GAAG,GAAG,IAAA,+BAAqB,EAAC,GAAG,EAAE,IAAA,6BAAmB,EAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,cAAc,CAAC,OAAO,IAAA,+BAAqB,EAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC,EAAE,CAAC;YAC5O,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO,EAAE,IAAA,+BAAqB,EAAC,WAAW,EAAE,IAAA,sCAA4B,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,cAAc,CAAC;gBAC3H,MAAM,EAAE,OAAO;gBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;gBACpB,UAAU,EAAE,QAAQ,CAAC,QAAQ;gBAC7B,cAAc,EAAE,WAAW;gBAC3B,OAAO,EAAE,cAAc,QAAQ,CAAC,QAAQ,GAAG;aAC5C,CAAC,CAAC;YAEH,MAAM,mBAAmB,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAClD,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,CACvD,CAAC;YAEF,KAAK,MAAM,MAAM,IAAI,mBAAmB,EAAE,CAAC;gBACzC,MAAM,IAAI,GAAG,IAAA,uBAAa,EAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAClD,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,IAAA,+BAAqB,EAAC,IAAI,EAAE,mCAAmC,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,cAAc,CAAC;oBAC5I,MAAM,EAAE,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO;oBACzD,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;oBACpB,UAAU,EAAE,MAAM,CAAC,IAAI;oBACvB,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,0BAA0B,MAAM,CAAC,IAAI,GAAG;iBAClD,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,IAAA,uBAAa,EAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;QACpE,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO,EAAE,GAAG,IAAA,+BAAqB,EAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAA,6BAAmB,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,cAAc,CAAC,IAAI,yBAAY,CAAC,cAAc,IAAI,IAAA,+BAAqB,EAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAA,6BAAmB,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,cAAc,CAAC,EAAE;gBACrQ,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;YAEH,KAAK,IAAI,WAAW,GAAG,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,CAAC;gBACtE,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;gBACpC,MAAM,IAAI,GAAG,IAAA,uBAAa,EAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAClD,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,IAAA,+BAAqB,EAAC,IAAI,EAAE,mCAAmC,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,cAAc,CAAC;oBAC5I,MAAM,EAAE,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO;oBACzD,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;oBACpB,UAAU,EAAE,MAAM,CAAC,IAAI;oBACvB,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,0BAA0B,MAAM,CAAC,IAAI,GAAG;iBAClD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,SAAS,EAAE,CAAC;QACrB,qBAAqB;QACrB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,IAAA,uBAAa,EAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAClD,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO,EAAE,IAAA,+BAAqB,EAAC,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC;gBACvG,MAAM,EAAE,OAAO;gBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;gBACpB,UAAU,EAAE,MAAM,CAAC,IAAI;gBACvB,cAAc,EAAE,WAAW;gBAC3B,OAAO,EAAE,qBAAqB,MAAM,CAAC,IAAI,GAAG;aAC7C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;SAAM,IAAI,aAAa,EAAE,CAAC;QACzB,2BAA2B;QAC3B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,IAAA,uBAAa,EAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAClD,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO,EAAE,IAAA,+BAAqB,EAAC,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC;gBACvG,MAAM,EAAE,OAAO;gBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;gBACpB,UAAU,EAAE,MAAM,CAAC,IAAI;gBACvB,cAAc,EAAE,WAAW;gBAC3B,OAAO,EAAE,yBAAyB,MAAM,CAAC,IAAI,GAAG;aACjD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;SAAM,CAAC;QACN,sDAAsD;QACtD,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACxB,IAAI,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACtF,IAAI,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAEtF,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC7B,WAAW,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC3B,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACjC,CAAC;YAED,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrD,MAAM,GAAG,GAAG,IAAA,uBAAa,EAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBACzD,MAAM,IAAI,GAAG,IAAA,uBAAa,EAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAC1D,MAAM,WAAW,GAAG,GAAG,IAAA,+BAAqB,EAAC,GAAG,EAAE,IAAA,6BAAmB,EAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,cAAc,CAAC,OAAO,IAAA,+BAAqB,EAAC,IAAI,EAAE,CAAC,eAAe,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,cAAc,CAAC,EAAE,CAAC;gBAClQ,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,IAAA,+BAAqB,EAAC,WAAW,EAAE,IAAA,sCAA4B,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,cAAc,CAAC;oBAC3H,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;oBACpB,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,cAAc,EAAE,WAAW;oBAC3B,OAAO,EAAE,cAAc,QAAQ,CAAC,QAAQ,GAAG;iBAC5C,CAAC,CAAC;YACL,CAAC;QACH,CAAC;aAAM,CAAC;YACN,2BAA2B;YAC3B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,IAAI,GAAG,IAAA,uBAAa,EAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAClD,QAAQ,CAAC,IAAI,CAAC;oBACZ,OAAO,EAAE,IAAA,+BAAqB,EAAC,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC;oBACvG,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,IAAI,KAAK,EAAE,EAAE;oBACpB,UAAU,EAAE,MAAM,CAAC,IAAI;oBACvB,cAAc,EAAE,WAAW;iBAC5B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,mCAAmC,CAAC,SAAmB;IAC9D,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,gBAAgB,CAAC,CAAC;AACvE,CAAC"}

package/dist/generator/validator.d.ts

@@ -3,20 +3,40 @@
  *
  * Intenta importar st-lang dinámicamente (peerDep).
  * Si no está disponible, reporta warning pero no falla.
+ *
+ * NOTE: child_process is loaded dynamically to keep this module
+ *       importable in browser/webpack contexts (Next.js client bundles).
  */
 import type { Diagnostic } from '../types';
 interface ValidationResult {
     ok: boolean;
     errors: string[];
 }
+interface ExecutionResult {
+    ok: boolean;
+    exitCode: number;
+    timedOut: boolean;
+    durationMs: number;
+    errors: string[];
+    resultStatuses: 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;
+/**
+ * Ejecuta código ST para detectar errores reales de parser/runtime.
+ * Si st-lang no está disponible, no bloquea la formalización.
+ */
+export declare function executeST(code: string): ExecutionResult;
 /**
  * Convierte errores de validación en diagnósticos.
  */
 export declare function validationToDiagnostics(validation: ValidationResult): Diagnostic[];
+/**
+ * Convierte errores de ejecución en diagnósticos.
+ */
+export declare function executionToDiagnostics(execution: ExecutionResult): Diagnostic[];
 export {};
 //# sourceMappingURL=validator.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../src/generator/validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;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,UAAU,eAAe;IACvB,EAAE,EAAE,OAAO,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AAUD;;;GAGG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,CAiCzD;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CA6FvD;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,gBAAgB,GAAG,UAAU,EAAE,CAOlF;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,eAAe,GAAG,UAAU,EAAE,CAO/E"}

package/dist/generator/validator.js

@@ -1,7 +1,15 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.validateST = validateST;
+exports.executeST = executeST;
 exports.validationToDiagnostics = validationToDiagnostics;
+exports.executionToDiagnostics = executionToDiagnostics;
+const DEFAULT_EXECUTION_TIMEOUT_MS = 4000;
+function getExecutionTimeoutMs() {
+    const raw = process.env.AUTOLOGIC_ST_EXEC_TIMEOUT_MS;
+    const parsed = raw ? Number(raw) : NaN;
+    return Number.isFinite(parsed) && parsed > 0 ? parsed : DEFAULT_EXECUTION_TIMEOUT_MS;
+}
 /**
  * Valida código ST usando el parser de st-lang.
  * Requiere que @stevenvo780/st-lang esté instalado (peerDependency).
@@ -38,6 +46,98 @@ function validateST(code) {
         return { ok: true, errors: [] };
     }
 }
+/**
+ * Ejecuta código ST para detectar errores reales de parser/runtime.
+ * Si st-lang no está disponible, no bloquea la formalización.
+ */
+function executeST(code) {
+    const startedAt = Date.now();
+    try {
+        // Dynamic require to avoid breaking browser/webpack bundles
+        // eslint-disable-next-line @typescript-eslint/no-var-requires
+        const cp = require('child_process');
+        const spawnSync = cp.spawnSync;
+        const runner = String.raw `
+const fs = require('node:fs');
+const input = fs.readFileSync(0, 'utf8');
+const stLang = require('@stevenvo780/st-lang');
+const result = stLang.evaluate(input);
+const diagnostics = Array.isArray(result?.diagnostics) ? result.diagnostics : [];
+const stderr = typeof result?.stderr === 'string' ? result.stderr.trim() : '';
+const errors = diagnostics
+  .filter((d) => d?.severity === 'error')
+  .map((d) => d?.message || 'Error desconocido');
+if (stderr) errors.push(stderr);
+process.stdout.write(JSON.stringify({
+  ok: result?.exitCode === 0,
+  exitCode: typeof result?.exitCode === 'number' ? result.exitCode : 0,
+  errors: Array.from(new Set(errors)).filter((error) => typeof error === 'string' && error.length > 0),
+  resultStatuses: Array.isArray(result?.results)
+    ? result.results.map((entry) => entry?.status || 'unknown')
+    : [],
+}));`;
+        const child = spawnSync(process.execPath, ['-e', runner], {
+            input: code,
+            encoding: 'utf8',
+            timeout: getExecutionTimeoutMs(),
+            maxBuffer: 1024 * 1024,
+            env: process.env,
+            cwd: process.cwd(),
+        });
+        const durationMs = Date.now() - startedAt;
+        if (child.error && 'code' in child.error && child.error.code === 'ETIMEDOUT') {
+            return {
+                ok: false,
+                exitCode: -1,
+                timedOut: true,
+                durationMs,
+                errors: [`Tiempo de ejecución ST excedido (${getExecutionTimeoutMs()} ms)`],
+                resultStatuses: [],
+            };
+        }
+        if (child.error) {
+            return {
+                ok: false,
+                exitCode: -1,
+                timedOut: false,
+                durationMs,
+                errors: [child.error.message],
+                resultStatuses: [],
+            };
+        }
+        const stdout = (child.stdout || '').trim();
+        if (!stdout) {
+            const stderr = (child.stderr || '').trim();
+            return {
+                ok: false,
+                exitCode: child.status ?? -1,
+                timedOut: false,
+                durationMs,
+                errors: stderr ? [stderr] : ['ST no devolvió salida estructurada'],
+                resultStatuses: [],
+            };
+        }
+        const parsed = JSON.parse(stdout);
+        return {
+            ok: parsed.ok,
+            exitCode: parsed.exitCode,
+            timedOut: false,
+            durationMs,
+            errors: parsed.errors,
+            resultStatuses: parsed.resultStatuses,
+        };
+    }
+    catch {
+        return {
+            ok: true,
+            exitCode: 0,
+            timedOut: false,
+            durationMs: Date.now() - startedAt,
+            errors: [],
+            resultStatuses: [],
+        };
+    }
+}
 /**
  * Convierte errores de validación en diagnósticos.
  */
@@ -50,4 +150,16 @@ function validationToDiagnostics(validation) {
         code: 'ST_VALIDATION',
     }));
 }
+/**
+ * Convierte errores de ejecución en diagnósticos.
+ */
+function executionToDiagnostics(execution) {
+    if (execution.ok)
+        return [];
+    return execution.errors.map(error => ({
+        severity: execution.timedOut ? 'warning' : 'error',
+        message: `ST Execution (${execution.durationMs} ms${execution.timedOut ? ', timeout' : ''}): ${error}`,
+        code: 'ST_EXECUTION',
+    }));
+}
 //# sourceMappingURL=validator.js.map

package/dist/generator/validator.js.map

@@ -1 +1 @@
-{"version":3,"file":"validator.js","sourceRoot":"","sources":["../../src/generator/validator.ts"],"names":[],"mappings":";;AAiBA,gCAiCC;AAKD,0DAOC;AAjDD;;;GAGG;AACH,SAAgB,UAAU,CAAC,IAAY;IACrC,IAAI,CAAC;QACH,iCAAiC;QACjC,8DAA8D;QAC9D,MAAM,MAAM,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAAC;QAE/C,IAAI,MAAM,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YACjD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;gBACd,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;YAClC,CAAC;YACD,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC;iBACtC,MAAM,CAAC,CAAC,CAAwB,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;iBAC5D,GAAG,CAAC,CAAC,CAAuB,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,mBAAmB,CAAC,CAAC;YACtE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAC/B,CAAC;QAED,IAAI,MAAM,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YACjD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;gBACd,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;YAClC,CAAC;YACD,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC;iBACtC,MAAM,CAAC,CAAC,CAAwB,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;iBAC5D,GAAG,CAAC,CAAC,CAAuB,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,mBAAmB,CAAC,CAAC;YACtE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAC/B,CAAC;QAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,wDAAwD;QACxD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAClC,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAgB,uBAAuB,CAAC,UAA4B;IAClE,IAAI,UAAU,CAAC,EAAE;QAAE,OAAO,EAAE,CAAC;IAC7B,OAAO,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACrC,QAAQ,EAAE,OAAgB;QAC1B,OAAO,EAAE,kBAAkB,KAAK,EAAE;QAClC,IAAI,EAAE,eAAe;KACtB,CAAC,CAAC,CAAC;AACN,CAAC"}
+{"version":3,"file":"validator.js","sourceRoot":"","sources":["../../src/generator/validator.ts"],"names":[],"mappings":";;AAqCA,gCAiCC;AAMD,8BA6FC;AAKD,0DAOC;AAKD,wDAOC;AAxKD,MAAM,4BAA4B,GAAG,IAAI,CAAC;AAE1C,SAAS,qBAAqB;IAC5B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC;IACrD,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACvC,OAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,4BAA4B,CAAC;AACvF,CAAC;AAED;;;GAGG;AACH,SAAgB,UAAU,CAAC,IAAY;IACrC,IAAI,CAAC;QACH,iCAAiC;QACjC,8DAA8D;QAC9D,MAAM,MAAM,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAAC;QAE/C,IAAI,MAAM,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YACjD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;gBACd,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;YAClC,CAAC;YACD,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC;iBACtC,MAAM,CAAC,CAAC,CAAwB,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;iBAC5D,GAAG,CAAC,CAAC,CAAuB,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,mBAAmB,CAAC,CAAC;YACtE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAC/B,CAAC;QAED,IAAI,MAAM,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YACjD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;gBACd,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;YAClC,CAAC;YACD,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC;iBACtC,MAAM,CAAC,CAAC,CAAwB,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;iBAC5D,GAAG,CAAC,CAAC,CAAuB,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,mBAAmB,CAAC,CAAC;YACtE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAC/B,CAAC;QAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,wDAAwD;QACxD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAClC,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAgB,SAAS,CAAC,IAAY;IACpC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7B,IAAI,CAAC;QACH,4DAA4D;QAC5D,8DAA8D;QAC9D,MAAM,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;QACpC,MAAM,SAAS,GAA6C,EAAE,CAAC,SAAS,CAAC;QAEzE,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAA;;;;;;;;;;;;;;;;;;KAkBxB,CAAC;QAEF,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE;YACxD,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,MAAM;YAChB,OAAO,EAAE,qBAAqB,EAAE;YAChC,SAAS,EAAE,IAAI,GAAG,IAAI;YACtB,GAAG,EAAE,OAAO,CAAC,GAAG;YAChB,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE;SACnB,CAAC,CAAC;QAEH,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;QAE1C,IAAI,KAAK,CAAC,KAAK,IAAI,MAAM,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC7E,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,QAAQ,EAAE,CAAC,CAAC;gBACZ,QAAQ,EAAE,IAAI;gBACd,UAAU;gBACV,MAAM,EAAE,CAAC,oCAAoC,qBAAqB,EAAE,MAAM,CAAC;gBAC3E,cAAc,EAAE,EAAE;aACnB,CAAC;QACJ,CAAC;QAED,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAChB,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,QAAQ,EAAE,CAAC,CAAC;gBACZ,QAAQ,EAAE,KAAK;gBACf,UAAU;gBACV,MAAM,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC;gBAC7B,cAAc,EAAE,EAAE;aACnB,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YAC3C,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,QAAQ,EAAE,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;gBAC5B,QAAQ,EAAE,KAAK;gBACf,UAAU;gBACV,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,oCAAoC,CAAC;gBAClE,cAAc,EAAE,EAAE;aACnB,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAqD,CAAC;QACtF,OAAO;YACL,EAAE,EAAE,MAAM,CAAC,EAAE;YACb,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,QAAQ,EAAE,KAAK;YACf,UAAU;YACV,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,cAAc,EAAE,MAAM,CAAC,cAAc;SACtC,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;YACL,EAAE,EAAE,IAAI;YACR,QAAQ,EAAE,CAAC;YACX,QAAQ,EAAE,KAAK;YACf,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;YAClC,MAAM,EAAE,EAAE;YACV,cAAc,EAAE,EAAE;SACnB,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAgB,uBAAuB,CAAC,UAA4B;IAClE,IAAI,UAAU,CAAC,EAAE;QAAE,OAAO,EAAE,CAAC;IAC7B,OAAO,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACrC,QAAQ,EAAE,OAAgB;QAC1B,OAAO,EAAE,kBAAkB,KAAK,EAAE;QAClC,IAAI,EAAE,eAAe;KACtB,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;GAEG;AACH,SAAgB,sBAAsB,CAAC,SAA0B;IAC/D,IAAI,SAAS,CAAC,EAAE;QAAE,OAAO,EAAE,CAAC;IAC5B,OAAO,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACpC,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAE,SAAmB,CAAC,CAAC,CAAE,OAAiB;QACxE,OAAO,EAAE,iBAAiB,SAAS,CAAC,UAAU,MAAM,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,MAAM,KAAK,EAAE;QACtG,IAAI,EAAE,cAAc;KACrB,CAAC,CAAC,CAAC;AACN,CAAC"}

package/dist/index.d.ts

@@ -3,25 +3,14 @@
  *
  * @packageDocumentation
  * @module @stevenvo780/autologic
- *
- * @example
- * ```ts
- * import { formalize, Autologic } from '@stevenvo780/autologic';
- *
- * // Uso stateless
- * const result = formalize("Si llueve, la calle se moja.", {
- *   profile: 'classical.propositional',
- *   language: 'es',
- * });
- * console.log(result.stCode);
- *
- * // Uso con estado
- * const al = new Autologic({ language: 'es' });
- * const r = al.formalize("Todo humano es mortal. Sócrates es humano.");
- * ```
  */
-export { formalize } from './formalize';
+export { formalize, formalizeWithLLM } from './formalize';
+export type { FormalizeWithLLMOptions, FormalizationLLMResult } from './formalize';
+export { lintNaturalLanguage, DEFAULT_RULES } from './nl-linter';
+export type { NLLinterDiagnostic, NLRule } from './nl-linter';
 export { Autologic } from './autologic';
+export { parseTextWithLLM, llmResultToST } from './llm-parser';
+export type { LLMConfig, LLMParsedResult } from './llm-parser';
 export type { FormalizeOptions, FormalizationResult, AutologicConfig, LogicProfile, Language, AtomStyle, DiscourseAnalysis, AnalyzedSentence, AnalyzedClause, SentenceType, ClauseRole, ClauseModifier, MarkerRole, MarkerDefinition, DetectedMarker, ArgumentStructure, ArgumentRelation, ArgumentPattern, Sentence, Clause, AtomEntry, FormulaEntry, STStatementType, Diagnostic, Token, } from './types';
 export { segment } from './segmenter';
 export { analyzeDiscourse } from './discourse';

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAGH,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAGxC,YAAY,EACV,gBAAgB,EAChB,mBAAmB,EACnB,eAAe,EACf,YAAY,EACZ,QAAQ,EACR,SAAS,EACT,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,EACd,YAAY,EACZ,UAAU,EACV,cAAc,EACd,UAAU,EACV,gBAAgB,EAChB,cAAc,EACd,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,QAAQ,EACR,MAAM,EACN,SAAS,EACT,YAAY,EACZ,eAAe,EACf,UAAU,EACV,KAAK,GACN,MAAM,SAAS,CAAC;AAGjB,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC1D,YAAY,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AACnF,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACjE,YAAY,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC9D,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC/D,YAAY,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAG/D,YAAY,EACV,gBAAgB,EAChB,mBAAmB,EACnB,eAAe,EACf,YAAY,EACZ,QAAQ,EACR,SAAS,EACT,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,EACd,YAAY,EACZ,UAAU,EACV,cAAc,EACd,UAAU,EACV,gBAAgB,EAChB,cAAc,EACd,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,QAAQ,EACR,MAAM,EACN,SAAS,EACT,YAAY,EACZ,eAAe,EACf,UAAU,EACV,KAAK,GACN,MAAM,SAAS,CAAC;AAGjB,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC"}

package/dist/index.js

@@ -4,30 +4,21 @@
  *
  * @packageDocumentation
  * @module @stevenvo780/autologic
- *
- * @example
- * ```ts
- * import { formalize, Autologic } from '@stevenvo780/autologic';
- *
- * // Uso stateless
- * const result = formalize("Si llueve, la calle se moja.", {
- *   profile: 'classical.propositional',
- *   language: 'es',
- * });
- * console.log(result.stCode);
- *
- * // Uso con estado
- * const al = new Autologic({ language: 'es' });
- * const r = al.formalize("Todo humano es mortal. Sócrates es humano.");
- * ```
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.validateST = exports.emitST = exports.buildFormulas = exports.extractAtoms = exports.analyzeDiscourse = exports.segment = exports.Autologic = exports.formalize = void 0;
+exports.validateST = exports.emitST = exports.buildFormulas = exports.extractAtoms = exports.analyzeDiscourse = exports.segment = exports.llmResultToST = exports.parseTextWithLLM = exports.Autologic = exports.DEFAULT_RULES = exports.lintNaturalLanguage = exports.formalizeWithLLM = exports.formalize = void 0;
 // ── API pública principal ─────────────────────
 var formalize_1 = require("./formalize");
 Object.defineProperty(exports, "formalize", { enumerable: true, get: function () { return formalize_1.formalize; } });
+Object.defineProperty(exports, "formalizeWithLLM", { enumerable: true, get: function () { return formalize_1.formalizeWithLLM; } });
+var nl_linter_1 = require("./nl-linter");
+Object.defineProperty(exports, "lintNaturalLanguage", { enumerable: true, get: function () { return nl_linter_1.lintNaturalLanguage; } });
+Object.defineProperty(exports, "DEFAULT_RULES", { enumerable: true, get: function () { return nl_linter_1.DEFAULT_RULES; } });
 var autologic_1 = require("./autologic");
 Object.defineProperty(exports, "Autologic", { enumerable: true, get: function () { return autologic_1.Autologic; } });
+var llm_parser_1 = require("./llm-parser");
+Object.defineProperty(exports, "parseTextWithLLM", { enumerable: true, get: function () { return llm_parser_1.parseTextWithLLM; } });
+Object.defineProperty(exports, "llmResultToST", { enumerable: true, get: function () { return llm_parser_1.llmResultToST; } });
 // ── Utilidades expuestas ──────────────────────
 var segmenter_1 = require("./segmenter");
 Object.defineProperty(exports, "segment", { enumerable: true, get: function () { return segmenter_1.segment; } });

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;;;AAEH,iDAAiD;AACjD,yCAAwC;AAA/B,sGAAA,SAAS,OAAA;AAClB,yCAAwC;AAA/B,sGAAA,SAAS,OAAA;AA+BlB,iDAAiD;AACjD,yCAAsC;AAA7B,oGAAA,OAAO,OAAA;AAChB,yCAA+C;AAAtC,6GAAA,gBAAgB,OAAA;AACzB,iCAAuC;AAA9B,qGAAA,YAAY,OAAA;AACrB,qCAA0C;AAAjC,wGAAA,aAAa,OAAA;AACtB,qDAAgD;AAAvC,oGAAA,MAAM,OAAA;AACf,mDAAmD;AAA1C,uGAAA,UAAU,OAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAEH,iDAAiD;AACjD,yCAA0D;AAAjD,sGAAA,SAAS,OAAA;AAAE,6GAAA,gBAAgB,OAAA;AAEpC,yCAAiE;AAAxD,gHAAA,mBAAmB,OAAA;AAAE,0GAAA,aAAa,OAAA;AAE3C,yCAAwC;AAA/B,sGAAA,SAAS,OAAA;AAClB,2CAA+D;AAAtD,8GAAA,gBAAgB,OAAA;AAAE,2GAAA,aAAa,OAAA;AAgCxC,iDAAiD;AACjD,yCAAsC;AAA7B,oGAAA,OAAO,OAAA;AAChB,yCAA+C;AAAtC,6GAAA,gBAAgB,OAAA;AACzB,iCAAuC;AAA9B,qGAAA,YAAY,OAAA;AACrB,qCAA0C;AAAjC,wGAAA,aAAa,OAAA;AACtB,qDAAgD;AAAvC,oGAAA,MAAM,OAAA;AACf,mDAAmD;AAA1C,uGAAA,UAAU,OAAA"}

package/dist/llm-parser.d.ts

@@ -0,0 +1,29 @@
+import { LogicNode } from './formula/ast';
+import { LogicProfile } from './types';
+export interface LLMConfig {
+    provider: 'openai' | 'anthropic' | 'gemini' | 'custom' | 'ollama' | 'web-distilled';
+    apiKey: string;
+    endpoint?: string;
+    model?: string;
+}
+export interface LLMParsedResult {
+    axioms: Array<{
+        name: string;
+        formulaJSON: LogicNode;
+    }>;
+    conclusions: Array<{
+        formulaJSON: LogicNode;
+    }>;
+}
+/**
+ * Llama a la API del LLM (usando fetch isomorfico) para abstraer el texto a AST.
+ */
+export declare function parseTextWithLLM(text: string, profile: LogicProfile, config: LLMConfig): Promise<LLMParsedResult>;
+/**
+ * Transforma la respuesta estructurada del LLM directamente a líneas de código ST seguras.
+ */
+export declare function llmResultToST(result: LLMParsedResult): {
+    formula: string;
+    type: 'axiom' | 'check';
+}[];
+//# sourceMappingURL=llm-parser.d.ts.map

package/dist/llm-parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"llm-parser.d.ts","sourceRoot":"","sources":["../src/llm-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAO,MAAM,eAAe,CAAC;AAE/C,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAGvC,MAAM,WAAW,SAAS;IACxB,QAAQ,EAAE,QAAQ,GAAG,WAAW,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,eAAe,CAAC;IACpF,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAGD,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,SAAS,CAAA;KAAE,CAAC,CAAC;IACxD,WAAW,EAAE,KAAK,CAAC;QAAE,WAAW,EAAE,SAAS,CAAA;KAAE,CAAC,CAAC;CAChD;AA2BD;;GAEG;AACH,wBAAsB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC,eAAe,CAAC,CAiFvH;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,eAAe,GAAG;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAAA;CAAE,EAAE,CAYrG"}