@stevenvo780/autologic 1.0.0

package/dist/discourse/markers-es.js

@@ -0,0 +1,134 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MARKERS_ES = void 0;
+exports.MARKERS_ES = [
+    // ── Condicionales ───────────────────────────────
+    { text: 'si y solo si', role: 'biconditional', language: 'es', priority: 10 },
+    { text: 'si y sólo si', role: 'biconditional', language: 'es', priority: 10 },
+    { text: 'siempre y cuando', role: 'condition', language: 'es', priority: 9 },
+    { text: 'en el caso de que', role: 'condition', language: 'es', priority: 9 },
+    { text: 'a condición de que', role: 'condition', language: 'es', priority: 9 },
+    { text: 'con tal de que', role: 'condition', language: 'es', priority: 8 },
+    { text: 'siempre que', role: 'condition', language: 'es', priority: 8 },
+    { text: 'en caso de que', role: 'condition', language: 'es', priority: 8 },
+    { text: 'con la condición de que', role: 'condition', language: 'es', priority: 9 },
+    { text: 'suponiendo que', role: 'condition', language: 'es', priority: 7 },
+    { text: 'supongamos que', role: 'condition', language: 'es', priority: 7 },
+    { text: 'en caso de', role: 'condition', language: 'es', priority: 7 },
+    { text: 'si', role: 'condition', language: 'es', priority: 3 },
+    // ── Consecuentes / Conclusiones ─────────────────
+    { text: 'por consiguiente', role: 'conclusion', language: 'es', priority: 8 },
+    { text: 'en consecuencia', role: 'conclusion', language: 'es', priority: 8 },
+    { text: 'de lo cual se sigue', role: 'conclusion', language: 'es', priority: 9 },
+    { text: 'se sigue que', role: 'conclusion', language: 'es', priority: 8 },
+    { text: 'se concluye que', role: 'conclusion', language: 'es', priority: 8 },
+    { text: 'por lo tanto', role: 'conclusion', language: 'es', priority: 8 },
+    { text: 'por lo cual', role: 'conclusion', language: 'es', priority: 7 },
+    { text: 'por ende', role: 'conclusion', language: 'es', priority: 7 },
+    { text: 'de modo que', role: 'conclusion', language: 'es', priority: 7 },
+    { text: 'de manera que', role: 'conclusion', language: 'es', priority: 7 },
+    { text: 'de ahí que', role: 'conclusion', language: 'es', priority: 7 },
+    { text: 'por eso', role: 'conclusion', language: 'es', priority: 6 },
+    { text: 'por tanto', role: 'conclusion', language: 'es', priority: 7 },
+    { text: 'por ello', role: 'conclusion', language: 'es', priority: 6 },
+    { text: 'en conclusión', role: 'conclusion', language: 'es', priority: 8 },
+    { text: 'entonces', role: 'consequent', language: 'es', priority: 5 },
+    { text: 'luego', role: 'conclusion', language: 'es', priority: 5 },
+    { text: 'así que', role: 'conclusion', language: 'es', priority: 6 },
+    { text: 'así pues', role: 'conclusion', language: 'es', priority: 6 },
+    // ── Premisas / Razones ──────────────────────────
+    { text: 'dado que', role: 'premise', language: 'es', priority: 7 },
+    { text: 'puesto que', role: 'premise', language: 'es', priority: 7 },
+    { text: 'ya que', role: 'premise', language: 'es', priority: 6 },
+    { text: 'debido a que', role: 'premise', language: 'es', priority: 7 },
+    { text: 'en virtud de que', role: 'premise', language: 'es', priority: 8 },
+    { text: 'considerando que', role: 'premise', language: 'es', priority: 7 },
+    { text: 'teniendo en cuenta que', role: 'premise', language: 'es', priority: 8 },
+    { text: 'sabiendo que', role: 'premise', language: 'es', priority: 6 },
+    { text: 'visto que', role: 'premise', language: 'es', priority: 6 },
+    { text: 'porque', role: 'premise', language: 'es', priority: 5 },
+    { text: 'pues', role: 'premise', language: 'es', priority: 4 },
+    // ── Conjunción ──────────────────────────────────
+    { text: 'además de que', role: 'and', language: 'es', priority: 7 },
+    { text: 'y además', role: 'and', language: 'es', priority: 6 },
+    { text: 'así como', role: 'and', language: 'es', priority: 6 },
+    { text: 'asimismo', role: 'and', language: 'es', priority: 6 },
+    { text: 'igualmente', role: 'and', language: 'es', priority: 5 },
+    { text: 'también', role: 'and', language: 'es', priority: 5 },
+    { text: 'además', role: 'and', language: 'es', priority: 5 },
+    // ── Disyunción ──────────────────────────────────
+    { text: 'o bien', role: 'or', language: 'es', priority: 6 },
+    { text: 'ya sea', role: 'or', language: 'es', priority: 6 },
+    { text: 'ya sea que', role: 'or', language: 'es', priority: 7 },
+    // ── Adversativas ────────────────────────────────
+    { text: 'sin embargo', role: 'adversative', language: 'es', priority: 7 },
+    { text: 'no obstante', role: 'adversative', language: 'es', priority: 7 },
+    { text: 'a pesar de que', role: 'adversative', language: 'es', priority: 8 },
+    { text: 'a pesar de', role: 'adversative', language: 'es', priority: 7 },
+    { text: 'en cambio', role: 'adversative', language: 'es', priority: 6 },
+    { text: 'por el contrario', role: 'adversative', language: 'es', priority: 7 },
+    { text: 'con todo', role: 'adversative', language: 'es', priority: 6 },
+    { text: 'pero', role: 'adversative', language: 'es', priority: 5 },
+    { text: 'aunque', role: 'adversative', language: 'es', priority: 5 },
+    { text: 'mas', role: 'adversative', language: 'es', priority: 4 },
+    // ── Negación ────────────────────────────────────
+    { text: 'no es el caso que', role: 'negation', language: 'es', priority: 9 },
+    { text: 'no es cierto que', role: 'negation', language: 'es', priority: 9 },
+    { text: 'no es verdad que', role: 'negation', language: 'es', priority: 9 },
+    { text: 'de ninguna manera', role: 'negation', language: 'es', priority: 8 },
+    { text: 'en ningún caso', role: 'negation', language: 'es', priority: 8 },
+    { text: 'nunca', role: 'negation', language: 'es', priority: 5 },
+    { text: 'jamás', role: 'negation', language: 'es', priority: 5 },
+    { text: 'ningún', role: 'negation', language: 'es', priority: 5 },
+    { text: 'ninguno', role: 'negation', language: 'es', priority: 5 },
+    { text: 'no', role: 'negation', language: 'es', priority: 3 },
+    // ── Cuantificadores universales ─────────────────
+    { text: 'para todo', role: 'universal', language: 'es', priority: 7 },
+    { text: 'todos los', role: 'universal', language: 'es', priority: 6 },
+    { text: 'todas las', role: 'universal', language: 'es', priority: 6 },
+    { text: 'cualquier', role: 'universal', language: 'es', priority: 5 },
+    { text: 'todo', role: 'universal', language: 'es', priority: 4 },
+    { text: 'todos', role: 'universal', language: 'es', priority: 4 },
+    { text: 'cada', role: 'universal', language: 'es', priority: 5 },
+    { text: 'siempre', role: 'universal', language: 'es', priority: 4 },
+    // ── Cuantificadores existenciales ───────────────
+    { text: 'existe al menos un', role: 'existential', language: 'es', priority: 8 },
+    { text: 'existe al menos', role: 'existential', language: 'es', priority: 7 },
+    { text: 'hay al menos', role: 'existential', language: 'es', priority: 7 },
+    { text: 'existe algún', role: 'existential', language: 'es', priority: 7 },
+    { text: 'algún', role: 'existential', language: 'es', priority: 5 },
+    { text: 'alguno', role: 'existential', language: 'es', priority: 5 },
+    { text: 'algunos', role: 'existential', language: 'es', priority: 5 },
+    { text: 'existe', role: 'existential', language: 'es', priority: 4 },
+    { text: 'hay', role: 'existential', language: 'es', priority: 3 },
+    // ── Modal: Necesidad ────────────────────────────
+    { text: 'es necesario que', role: 'necessity', language: 'es', priority: 8 },
+    { text: 'necesariamente', role: 'necessity', language: 'es', priority: 7 },
+    { text: 'obligatoriamente', role: 'necessity', language: 'es', priority: 7 },
+    { text: 'es obligatorio', role: 'necessity', language: 'es', priority: 7 },
+    { text: 'debe', role: 'necessity', language: 'es', priority: 4 },
+    { text: 'deben', role: 'necessity', language: 'es', priority: 4 },
+    // ── Modal: Posibilidad ──────────────────────────
+    { text: 'es posible que', role: 'possibility', language: 'es', priority: 8 },
+    { text: 'posiblemente', role: 'possibility', language: 'es', priority: 7 },
+    { text: 'está permitido', role: 'possibility', language: 'es', priority: 7 },
+    { text: 'puede que', role: 'possibility', language: 'es', priority: 6 },
+    { text: 'quizás', role: 'possibility', language: 'es', priority: 5 },
+    { text: 'tal vez', role: 'possibility', language: 'es', priority: 5 },
+    { text: 'puede', role: 'possibility', language: 'es', priority: 3 },
+    // ── Bicondicional ───────────────────────────────
+    { text: 'equivale a decir que', role: 'biconditional', language: 'es', priority: 9 },
+    { text: 'equivale a', role: 'biconditional', language: 'es', priority: 7 },
+    { text: 'es equivalente a', role: 'biconditional', language: 'es', priority: 8 },
+    // ── Temporales ──────────────────────────────────
+    { text: 'después de que', role: 'temporal_next', language: 'es', priority: 7 },
+    { text: 'después de', role: 'temporal_next', language: 'es', priority: 6 },
+    { text: 'a continuación', role: 'temporal_next', language: 'es', priority: 6 },
+    { text: 'hasta que', role: 'temporal_until', language: 'es', priority: 7 },
+    { text: 'mientras que', role: 'temporal', language: 'es', priority: 6 },
+    { text: 'mientras', role: 'temporal', language: 'es', priority: 5 },
+    { text: 'antes de que', role: 'temporal', language: 'es', priority: 7 },
+    { text: 'antes de', role: 'temporal', language: 'es', priority: 6 },
+    { text: 'después', role: 'temporal_next', language: 'es', priority: 4 },
+];
+//# sourceMappingURL=markers-es.js.map

package/dist/discourse/markers-es.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"markers-es.js","sourceRoot":"","sources":["../../src/discourse/markers-es.ts"],"names":[],"mappings":";;;AAMa,QAAA,UAAU,GAAuB;IAC5C,mDAAmD;IACnD,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE;IAC7E,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE;IAC7E,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC5E,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC7E,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC9E,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC1E,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACvE,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC1E,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACnF,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC1E,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC1E,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACtE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAE9D,mDAAmD;IACnD,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC7E,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC5E,EAAE,IAAI,EAAE,qBAAqB,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAChF,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACzE,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC5E,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACzE,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACxE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACrE,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACxE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC1E,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACvE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACpE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACtE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACrE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC1E,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACrE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAClE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACpE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAErE,mDAAmD;IACnD,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAClE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACpE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAChE,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACtE,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC1E,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC1E,EAAE,IAAI,EAAE,wBAAwB,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAChF,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACtE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACnE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAChE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAE9D,mDAAmD;IACnD,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACnE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC9D,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC9D,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC9D,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAChE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC7D,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAE5D,mDAAmD;IACnD,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC3D,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC3D,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAE/D,mDAAmD;IACnD,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACzE,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACzE,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC5E,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACxE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACvE,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC9E,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACtE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAClE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACpE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAEjE,mDAAmD;IACnD,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC5E,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC3E,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC3E,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC5E,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACzE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAChE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAChE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACjE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAClE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAE7D,mDAAmD;IACnD,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACrE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACrE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACrE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACrE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAChE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACjE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAChE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAEnE,mDAAmD;IACnD,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAChF,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC7E,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC1E,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC1E,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACnE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACpE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACrE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACpE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAEjE,mDAAmD;IACnD,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC5E,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC1E,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC5E,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC1E,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAChE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAEjE,mDAAmD;IACnD,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC5E,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC1E,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC5E,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACvE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACpE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACrE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAEnE,mDAAmD;IACnD,EAAE,IAAI,EAAE,sBAAsB,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACpF,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC1E,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAEhF,mDAAmD;IACnD,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC9E,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC1E,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC9E,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IAC1E,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACvE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACnE,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACvE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;IACnE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE;CACxE,CAAC"}

package/dist/discourse/pattern-detector.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Pattern Detector — Detecta patrones argumentales conocidos
+ *
+ * Analiza la estructura argumental global para identificar
+ * Modus Ponens, Modus Tollens, silogismos, etc.
+ */
+import type { AnalyzedSentence, ArgumentPattern, ArgumentStructure } from '../types';
+/**
+ * Detecta patrones argumentales en un conjunto de oraciones analizadas.
+ */
+export declare function detectPatterns(sentences: AnalyzedSentence[]): ArgumentPattern[];
+/**
+ * Construye la estructura argumental a partir de oraciones analizadas.
+ */
+export declare function buildArgumentStructure(sentences: AnalyzedSentence[]): ArgumentStructure;
+//# sourceMappingURL=pattern-detector.d.ts.map

package/dist/discourse/pattern-detector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pattern-detector.d.ts","sourceRoot":"","sources":["../../src/discourse/pattern-detector.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,gBAAgB,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAC;AAErF;;GAEG;AACH,wBAAgB,cAAc,CAAC,SAAS,EAAE,gBAAgB,EAAE,GAAG,eAAe,EAAE,CA0E/E;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,gBAAgB,EAAE,GAAG,iBAAiB,CAqCvF"}

package/dist/discourse/pattern-detector.js

@@ -0,0 +1,95 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.detectPatterns = detectPatterns;
+exports.buildArgumentStructure = buildArgumentStructure;
+/**
+ * Detecta patrones argumentales en un conjunto de oraciones analizadas.
+ */
+function detectPatterns(sentences) {
+    const patterns = [];
+    const conditionals = sentences.filter(s => s.type === 'conditional');
+    const assertions = sentences.filter(s => s.type === 'assertion' || s.clauses.some(c => c.role === 'premise'));
+    const conclusions = sentences.filter(s => s.clauses.some(c => c.role === 'conclusion'));
+    const negations = sentences.filter(s => s.type === 'negation' || s.clauses.some(c => c.modifiers.some(m => m.type === 'negation')));
+    // Modus Ponens: A→B, A ⊢ B
+    if (conditionals.length > 0 && assertions.length > 0 && conclusions.length > 0) {
+        patterns.push('modus_ponens');
+    }
+    // Modus Tollens: A→B, ¬B ⊢ ¬A
+    if (conditionals.length > 0 && negations.length > 0 && conclusions.length > 0) {
+        const conclusionHasNegation = conclusions.some(s => s.clauses.some(c => c.modifiers.some(m => m.type === 'negation')));
+        if (conclusionHasNegation) {
+            patterns.push('modus_tollens');
+        }
+    }
+    // Silogismo hipotético: A→B, B→C ⊢ A→C
+    if (conditionals.length >= 2) {
+        patterns.push('hypothetical_syllogism');
+    }
+    // Silogismo disyuntivo: A∨B, ¬A ⊢ B
+    const disjunctions = sentences.filter(s => s.type === 'disjunction');
+    if (disjunctions.length > 0 && negations.length > 0) {
+        patterns.push('disjunctive_syllogism');
+    }
+    // Cadena condicional: múltiples condicionales encadenadas
+    if (conditionals.length >= 3) {
+        patterns.push('conditional_chain');
+    }
+    // Generalización universal: predicados con cuantificador universal
+    const universals = sentences.filter(s => s.type === 'universal');
+    if (universals.length > 0) {
+        patterns.push('universal_generalization');
+    }
+    // Instanciación universal: universal + instancia concreta
+    if (universals.length > 0 && assertions.length > 0) {
+        patterns.push('universal_instantiation');
+    }
+    // Conjunción introducción: múltiples aserciones unidas por "y"
+    const conjunctions = sentences.filter(s => s.type === 'conjunction');
+    if (conjunctions.length > 0) {
+        patterns.push('conjunction_introduction');
+    }
+    // Bicondicional
+    const biconditionals = sentences.filter(s => s.type === 'biconditional');
+    if (biconditionals.length > 0) {
+        patterns.push('biconditional_introduction');
+    }
+    // Si no se detectó ningún patrón complejo, es aserción simple
+    if (patterns.length === 0 && sentences.length > 0) {
+        patterns.push('simple_assertion');
+    }
+    return patterns;
+}
+/**
+ * Construye la estructura argumental a partir de oraciones analizadas.
+ */
+function buildArgumentStructure(sentences) {
+    const premises = [];
+    const conclusions = [];
+    const conditions = [];
+    sentences.forEach((sentence, idx) => {
+        const hasPremise = sentence.clauses.some(c => c.role === 'premise' || c.role === 'condition');
+        const hasConclusion = sentence.clauses.some(c => c.role === 'conclusion' || c.role === 'consequent');
+        if (sentence.type === 'conditional') {
+            conditions.push(idx);
+        }
+        if (hasPremise && !hasConclusion) {
+            premises.push(idx);
+        }
+        else if (hasConclusion) {
+            conclusions.push(idx);
+        }
+        else {
+            // Oraciones sin roles explícitos son premisas por defecto
+            premises.push(idx);
+        }
+    });
+    // Construir relaciones: premisas soportan conclusiones
+    const relations = conclusions.flatMap(concIdx => premises.map(premIdx => ({
+        from: premIdx,
+        to: concIdx,
+        type: 'supports',
+    })));
+    return { premises, conclusions, conditions, relations };
+}
+//# sourceMappingURL=pattern-detector.js.map

package/dist/discourse/pattern-detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pattern-detector.js","sourceRoot":"","sources":["../../src/discourse/pattern-detector.ts"],"names":[],"mappings":";;AAWA,wCA0EC;AAKD,wDAqCC;AAvHD;;GAEG;AACH,SAAgB,cAAc,CAAC,SAA6B;IAC1D,MAAM,QAAQ,GAAsB,EAAE,CAAC;IAEvC,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;IACrE,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACtC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CACpE,CAAC;IACF,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACvC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAC7C,CAAC;IACF,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACrC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAC3F,CAAC;IAEF,2BAA2B;IAC3B,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/E,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAChC,CAAC;IAED,8BAA8B;IAC9B,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9E,MAAM,qBAAqB,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACjD,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAClE,CAAC;QACF,IAAI,qBAAqB,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IAED,uCAAuC;IACvC,IAAI,YAAY,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC7B,QAAQ,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IAC1C,CAAC;IAED,oCAAoC;IACpC,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;IACrE,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACzC,CAAC;IAED,0DAA0D;IAC1D,IAAI,YAAY,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC7B,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IACrC,CAAC;IAED,mEAAmE;IACnE,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IACjE,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,QAAQ,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IAC5C,CAAC;IAED,0DAA0D;IAC1D,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnD,QAAQ,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAC3C,CAAC;IAED,+DAA+D;IAC/D,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;IACrE,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IAC5C,CAAC;IAED,gBAAgB;IAChB,MAAM,cAAc,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;IACzE,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,QAAQ,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAC9C,CAAC;IAED,8DAA8D;IAC9D,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACpC,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,SAAgB,sBAAsB,CAAC,SAA6B;IAClE,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,EAAE;QAClC,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC3C,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAC/C,CAAC;QACF,MAAM,aAAa,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC9C,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CACnD,CAAC;QAEF,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACpC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,CAAC;QAED,IAAI,UAAU,IAAI,CAAC,aAAa,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrB,CAAC;aAAM,IAAI,aAAa,EAAE,CAAC;YACzB,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,CAAC;aAAM,CAAC;YACN,0DAA0D;YAC1D,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,uDAAuD;IACvD,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAC9C,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACvB,IAAI,EAAE,OAAO;QACb,EAAE,EAAE,OAAO;QACX,IAAI,EAAE,UAAmB;KAC1B,CAAC,CAAC,CACJ,CAAC;IAEF,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;AAC1D,CAAC"}

package/dist/discourse/role-classifier.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Role Classifier — Asigna roles lógicos a cláusulas
+ *
+ * Usa marcadores discursivos y posición contextual para determinar
+ * si una cláusula es premisa, conclusión, condición, etc.
+ */
+import type { Clause, Language, AnalyzedSentence } from '../types';
+/**
+ * Clasifica las cláusulas de una oración segmentada, asignando roles y modificadores.
+ */
+export declare function classifyClauses(clauses: Clause[], language?: Language): AnalyzedSentence;
+//# sourceMappingURL=role-classifier.d.ts.map

package/dist/discourse/role-classifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"role-classifier.d.ts","sourceRoot":"","sources":["../../src/discourse/role-classifier.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EACV,MAAM,EACM,QAAQ,EAAE,gBAAgB,EACvC,MAAM,UAAU,CAAC;AAElB;;GAEG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,QAAQ,GAAE,QAAe,GAAG,gBAAgB,CAoB9F"}

package/dist/discourse/role-classifier.js

@@ -0,0 +1,141 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.classifyClauses = classifyClauses;
+/**
+ * Clasifica las cláusulas de una oración segmentada, asignando roles y modificadores.
+ */
+function classifyClauses(clauses, language = 'es') {
+    const analyzed = clauses.map(clause => {
+        const role = inferRole(clause, clauses);
+        const modifiers = extractModifiers(clause, language);
+        return {
+            text: clause.text,
+            role,
+            markers: clause.markers,
+            modifiers,
+        };
+    });
+    const type = inferSentenceType(analyzed);
+    return {
+        original: clauses.map(c => c.text).join(', '),
+        clauses: analyzed,
+        type,
+    };
+}
+/**
+ * Infiere el rol de una cláusula basándose en sus marcadores y contexto.
+ */
+function inferRole(clause, allClauses) {
+    // Si tiene marcadores explícitos, usar el de mayor prioridad
+    if (clause.markers.length > 0) {
+        const primaryMarker = clause.markers.reduce((best, m) => {
+            const bestDef = best;
+            return bestDef ? best : m;
+        });
+        return markerRoleToClauseRole(primaryMarker.role);
+    }
+    // Sin marcadores: inferir por posición
+    if (allClauses.length === 1)
+        return 'assertion';
+    // Si es la primera cláusula sin marcador, probablemente es premisa o condición
+    if (clause.index === 0)
+        return 'premise';
+    // Si es la última cláusula y hay marcadores de conclusión antes, es conclusión
+    if (clause.index === allClauses.length - 1) {
+        const hasConclusion = allClauses.some(c => c.markers.some(m => m.role === 'conclusion' || m.role === 'consequent'));
+        if (hasConclusion)
+            return 'conclusion';
+    }
+    // Default: assertion
+    return 'assertion';
+}
+/**
+ * Mapea roles de marcadores a roles de cláusulas.
+ */
+function markerRoleToClauseRole(role) {
+    switch (role) {
+        case 'condition': return 'condition';
+        case 'consequent': return 'consequent';
+        case 'conclusion': return 'conclusion';
+        case 'premise': return 'premise';
+        case 'and': return 'conjunction';
+        case 'or': return 'disjunction';
+        case 'adversative': return 'premise'; // adversativas generalmente introducen contra-premisas
+        case 'negation': return 'negation';
+        case 'biconditional': return 'condition';
+        default: return 'assertion';
+    }
+}
+/**
+ * Extrae modificadores lógicos de una cláusula.
+ */
+function extractModifiers(clause, _language) {
+    const modifiers = [];
+    for (const marker of clause.markers) {
+        switch (marker.role) {
+            case 'negation':
+                modifiers.push({ type: 'negation', text: marker.text });
+                break;
+            case 'universal':
+                modifiers.push({ type: 'universal', text: marker.text });
+                break;
+            case 'existential':
+                modifiers.push({ type: 'existential', text: marker.text });
+                break;
+            case 'necessity':
+                modifiers.push({ type: 'necessity', text: marker.text });
+                break;
+            case 'possibility':
+                modifiers.push({ type: 'possibility', text: marker.text });
+                break;
+            case 'temporal_next':
+                modifiers.push({ type: 'temporal_next', text: marker.text });
+                break;
+            case 'temporal_until':
+                modifiers.push({ type: 'temporal_until', text: marker.text });
+                break;
+            case 'temporal_always':
+                modifiers.push({ type: 'temporal_always', text: marker.text });
+                break;
+            case 'temporal_eventually':
+                modifiers.push({ type: 'temporal_eventually', text: marker.text });
+                break;
+        }
+    }
+    return modifiers;
+}
+/**
+ * Infiere el tipo de oración a partir de las cláusulas analizadas.
+ */
+function inferSentenceType(clauses) {
+    const allMarkerRoles = new Set();
+    for (const c of clauses) {
+        for (const m of c.markers) {
+            allMarkerRoles.add(m.role);
+        }
+    }
+    if (allMarkerRoles.has('biconditional'))
+        return 'biconditional';
+    if (allMarkerRoles.has('condition') || allMarkerRoles.has('consequent'))
+        return 'conditional';
+    if (allMarkerRoles.has('necessity') || allMarkerRoles.has('possibility'))
+        return 'modal';
+    if (allMarkerRoles.has('universal') || allMarkerRoles.has('existential')) {
+        return allMarkerRoles.has('universal') ? 'universal' : 'existential';
+    }
+    if (allMarkerRoles.has('temporal') || allMarkerRoles.has('temporal_next') ||
+        allMarkerRoles.has('temporal_until') || allMarkerRoles.has('temporal_always') ||
+        allMarkerRoles.has('temporal_eventually'))
+        return 'temporal';
+    if (allMarkerRoles.has('or'))
+        return 'disjunction';
+    if (allMarkerRoles.has('and'))
+        return 'conjunction';
+    if (allMarkerRoles.has('negation'))
+        return 'negation';
+    if (clauses.some(c => c.role === 'conclusion') && clauses.some(c => c.role === 'premise')) {
+        return 'complex';
+    }
+    return 'assertion';
+}
+//# sourceMappingURL=role-classifier.js.map

package/dist/discourse/role-classifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"role-classifier.js","sourceRoot":"","sources":["../../src/discourse/role-classifier.ts"],"names":[],"mappings":";;AAcA,0CAoBC;AAvBD;;GAEG;AACH,SAAgB,eAAe,CAAC,OAAiB,EAAE,WAAqB,IAAI;IAC1E,MAAM,QAAQ,GAAqB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE;QACtD,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAErD,OAAO;YACL,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,IAAI;YACJ,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,SAAS;SACV,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAEzC,OAAO;QACL,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7C,OAAO,EAAE,QAAQ;QACjB,IAAI;KACL,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,SAAS,CAAC,MAAc,EAAE,UAAoB;IACrD,6DAA6D;IAC7D,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;YACtD,MAAM,OAAO,GAAG,IAAI,CAAC;YACrB,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5B,CAAC,CAAC,CAAC;QAEH,OAAO,sBAAsB,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC;IAED,uCAAuC;IACvC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,WAAW,CAAC;IAEhD,+EAA+E;IAC/E,IAAI,MAAM,CAAC,KAAK,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEzC,+EAA+E;IAC/E,IAAI,MAAM,CAAC,KAAK,KAAK,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,MAAM,aAAa,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACxC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACjB,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CACnD,CACF,CAAC;QACF,IAAI,aAAa;YAAE,OAAO,YAAY,CAAC;IACzC,CAAC;IAED,qBAAqB;IACrB,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAAC,IAAgB;IAC9C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,WAAW,CAAC,CAAC,OAAO,WAAW,CAAC;QACrC,KAAK,YAAY,CAAC,CAAC,OAAO,YAAY,CAAC;QACvC,KAAK,YAAY,CAAC,CAAC,OAAO,YAAY,CAAC;QACvC,KAAK,SAAS,CAAC,CAAC,OAAO,SAAS,CAAC;QACjC,KAAK,KAAK,CAAC,CAAC,OAAO,aAAa,CAAC;QACjC,KAAK,IAAI,CAAC,CAAC,OAAO,aAAa,CAAC;QAChC,KAAK,aAAa,CAAC,CAAC,OAAO,SAAS,CAAC,CAAC,uDAAuD;QAC7F,KAAK,UAAU,CAAC,CAAC,OAAO,UAAU,CAAC;QACnC,KAAK,eAAe,CAAC,CAAC,OAAO,WAAW,CAAC;QACzC,OAAO,CAAC,CAAC,OAAO,WAAW,CAAC;IAC9B,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CAAC,MAAc,EAAE,SAAmB;IAC3D,MAAM,SAAS,GAAqB,EAAE,CAAC;IAEvC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;YACpB,KAAK,UAAU;gBACb,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBACxD,MAAM;YACR,KAAK,WAAW;gBACd,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBACzD,MAAM;YACR,KAAK,aAAa;gBAChB,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC3D,MAAM;YACR,KAAK,WAAW;gBACd,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBACzD,MAAM;YACR,KAAK,aAAa;gBAChB,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC3D,MAAM;YACR,KAAK,eAAe;gBAClB,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC7D,MAAM;YACR,KAAK,gBAAgB;gBACnB,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC9D,MAAM;YACR,KAAK,iBAAiB;gBACpB,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC/D,MAAM;YACR,KAAK,qBAAqB;gBACxB,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBACnE,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,OAAyB;IAClD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAc,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC1B,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,IAAI,cAAc,CAAC,GAAG,CAAC,eAAe,CAAC;QAAE,OAAO,eAAe,CAAC;IAChE,IAAI,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,YAAY,CAAC;QAAE,OAAO,aAAa,CAAC;IAC9F,IAAI,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,aAAa,CAAC;QAAE,OAAO,OAAO,CAAC;IACzF,IAAI,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;QACzE,OAAO,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC;IACvE,CAAC;IACD,IAAI,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,eAAe,CAAC;QACrE,cAAc,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,iBAAiB,CAAC;QAC7E,cAAc,CAAC,GAAG,CAAC,qBAAqB,CAAC;QAAE,OAAO,UAAU,CAAC;IACjE,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,aAAa,CAAC;IACnD,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO,aAAa,CAAC;IACpD,IAAI,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IAEtD,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;QAC1F,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/dist/formalize.d.ts

@@ -0,0 +1,25 @@
+/**
+ * formalize() — Función stateless principal de Autologic
+ *
+ * Toma texto natural + opciones y produce código ST válido.
+ * Pipeline: Segment → Analyze → Extract Atoms → Build Formulas → Emit ST → Validate
+ */
+import type { FormalizeOptions, FormalizationResult } from './types';
+/**
+ * Formaliza texto natural a código ST.
+ *
+ * @param text Texto en lenguaje natural a formalizar
+ * @param options Opciones de formalización
+ * @returns Resultado con código ST, análisis y diagnósticos
+ *
+ * @example
+ * ```ts
+ * const result = formalize(
+ *   "Si llueve, entonces la calle se moja. Está lloviendo. Por lo tanto, la calle está mojada.",
+ *   { profile: 'classical.propositional', language: 'es' }
+ * );
+ * console.log(result.stCode);
+ * ```
+ */
+export declare function formalize(text: string, options?: FormalizeOptions): FormalizationResult;
+//# sourceMappingURL=formalize.d.ts.map

package/dist/formalize.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formalize.d.ts","sourceRoot":"","sources":["../src/formalize.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,gBAAgB,EAAE,mBAAmB,EAAiD,MAAM,SAAS,CAAC;AAkBpH;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,gBAAqB,GAAG,mBAAmB,CAoF3F"}

package/dist/formalize.js

@@ -0,0 +1,123 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.formalize = formalize;
+const segmenter_1 = require("./segmenter");
+const discourse_1 = require("./discourse");
+const atoms_1 = require("./atoms");
+const formula_1 = require("./formula");
+const st_emitter_1 = require("./generator/st-emitter");
+const validator_1 = require("./generator/validator");
+/** Opciones por defecto */
+const DEFAULTS = {
+    profile: 'classical.propositional',
+    language: 'es',
+    atomStyle: 'keywords',
+    includeComments: true,
+    validateOutput: true,
+    maxClauseDepth: 3,
+};
+/**
+ * Formaliza texto natural a código ST.
+ *
+ * @param text Texto en lenguaje natural a formalizar
+ * @param options Opciones de formalización
+ * @returns Resultado con código ST, análisis y diagnósticos
+ *
+ * @example
+ * ```ts
+ * const result = formalize(
+ *   "Si llueve, entonces la calle se moja. Está lloviendo. Por lo tanto, la calle está mojada.",
+ *   { profile: 'classical.propositional', language: 'es' }
+ * );
+ * console.log(result.stCode);
+ * ```
+ */
+function formalize(text, options = {}) {
+    const opts = { ...DEFAULTS, ...options };
+    const diagnostics = [];
+    // ── Validación de entrada ───────────────────
+    if (!text || !text.trim()) {
+        return emptyResult('El texto de entrada está vacío.', diagnostics);
+    }
+    try {
+        // ── 1. Segmentación ─────────────────────────
+        const sentences = (0, segmenter_1.segment)(text, opts.language);
+        if (sentences.length === 0) {
+            return emptyResult('No se detectaron oraciones en el texto.', diagnostics);
+        }
+        // ── 2. Análisis discursivo ──────────────────
+        const analysis = (0, discourse_1.analyzeDiscourse)(sentences, opts.language);
+        // ── 3. Extracción de átomos ─────────────────
+        const { atoms, entries: atomEntries } = (0, atoms_1.extractAtoms)(analysis.sentences, {
+            language: opts.language,
+            atomStyle: opts.atomStyle,
+            profile: opts.profile,
+        });
+        // ── 4. Construcción de fórmulas ─────────────
+        const formulas = (0, formula_1.buildFormulas)(analysis.sentences, atomEntries, opts.profile, analysis.detectedPatterns);
+        // ── 5. Generación de código ST ──────────────
+        const { code, diagnostics: emitDiags } = (0, st_emitter_1.emitST)({
+            profile: opts.profile,
+            language: opts.language,
+            includeComments: opts.includeComments,
+            atoms,
+            formulas,
+            detectedPatterns: analysis.detectedPatterns,
+        });
+        diagnostics.push(...emitDiags);
+        // ── 6. Validación (opcional) ────────────────
+        let stValidation;
+        if (opts.validateOutput) {
+            stValidation = (0, validator_1.validateST)(code);
+            diagnostics.push(...(0, validator_1.validationToDiagnostics)(stValidation));
+        }
+        return {
+            ok: diagnostics.every(d => d.severity !== 'error'),
+            stCode: code,
+            analysis,
+            atoms,
+            formulas,
+            diagnostics,
+            stValidation,
+        };
+    }
+    catch (error) {
+        const message = error instanceof Error ? error.message : String(error);
+        diagnostics.push({
+            severity: 'error',
+            message: `Error en pipeline de formalización: ${message}`,
+            code: 'PIPELINE_ERROR',
+        });
+        return {
+            ok: false,
+            stCode: '',
+            analysis: {
+                sentences: [],
+                argumentStructure: { premises: [], conclusions: [], conditions: [], relations: [] },
+                detectedPatterns: [],
+            },
+            atoms: new Map(),
+            formulas: [],
+            diagnostics,
+        };
+    }
+}
+/**
+ * Resultado vacío con error.
+ */
+function emptyResult(message, diagnostics) {
+    diagnostics.push({ severity: 'warning', message, code: 'EMPTY_INPUT' });
+    return {
+        ok: false,
+        stCode: '',
+        analysis: {
+            sentences: [],
+            argumentStructure: { premises: [], conclusions: [], conditions: [], relations: [] },
+            detectedPatterns: [],
+        },
+        atoms: new Map(),
+        formulas: [],
+        diagnostics,
+    };
+}
+//# sourceMappingURL=formalize.js.map

package/dist/formalize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formalize.js","sourceRoot":"","sources":["../src/formalize.ts"],"names":[],"mappings":";;AAwCA,8BAoFC;AArHD,2CAAsC;AACtC,2CAA+C;AAC/C,mCAAuC;AACvC,uCAA0C;AAC1C,uDAAgD;AAChD,qDAA4E;AAE5E,2BAA2B;AAC3B,MAAM,QAAQ,GAA+B;IAC3C,OAAO,EAAE,yBAAyB;IAClC,QAAQ,EAAE,IAAI;IACd,SAAS,EAAE,UAAU;IACrB,eAAe,EAAE,IAAI;IACrB,cAAc,EAAE,IAAI;IACpB,cAAc,EAAE,CAAC;CAClB,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,SAAgB,SAAS,CAAC,IAAY,EAAE,UAA4B,EAAE;IACpE,MAAM,IAAI,GAAG,EAAE,GAAG,QAAQ,EAAE,GAAG,OAAO,EAAE,CAAC;IACzC,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,+CAA+C;IAC/C,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;QAC1B,OAAO,WAAW,CAAC,iCAAiC,EAAE,WAAW,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,CAAC;QACH,+CAA+C;QAC/C,MAAM,SAAS,GAAG,IAAA,mBAAO,EAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAE/C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,OAAO,WAAW,CAAC,yCAAyC,EAAE,WAAW,CAAC,CAAC;QAC7E,CAAC;QAED,+CAA+C;QAC/C,MAAM,QAAQ,GAAG,IAAA,4BAAgB,EAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAE5D,+CAA+C;QAC/C,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,IAAA,oBAAY,EAAC,QAAQ,CAAC,SAAS,EAAE;YACvE,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,OAAO,EAAE,IAAI,CAAC,OAAO;SACtB,CAAC,CAAC;QAEH,+CAA+C;QAC/C,MAAM,QAAQ,GAAG,IAAA,uBAAa,EAC5B,QAAQ,CAAC,SAAS,EAClB,WAAW,EACX,IAAI,CAAC,OAAO,EACZ,QAAQ,CAAC,gBAAgB,CAC1B,CAAC;QAEF,+CAA+C;QAC/C,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,IAAA,mBAAM,EAAC;YAC9C,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,KAAK;YACL,QAAQ;YACR,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;SAC5C,CAAC,CAAC;QACH,WAAW,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;QAE/B,+CAA+C;QAC/C,IAAI,YAA2D,CAAC;QAChE,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YACxB,YAAY,GAAG,IAAA,sBAAU,EAAC,IAAI,CAAC,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC,GAAG,IAAA,mCAAuB,EAAC,YAAY,CAAC,CAAC,CAAC;QAC7D,CAAC;QAED,OAAO;YACL,EAAE,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;YAClD,MAAM,EAAE,IAAI;YACZ,QAAQ;YACR,KAAK;YACL,QAAQ;YACR,WAAW;YACX,YAAY;SACb,CAAC;IAEJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,WAAW,CAAC,IAAI,CAAC;YACf,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,uCAAuC,OAAO,EAAE;YACzD,IAAI,EAAE,gBAAgB;SACvB,CAAC,CAAC;QAEH,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE;gBACR,SAAS,EAAE,EAAE;gBACb,iBAAiB,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;gBACnF,gBAAgB,EAAE,EAAE;aACrB;YACD,KAAK,EAAE,IAAI,GAAG,EAAE;YAChB,QAAQ,EAAE,EAAE;YACZ,WAAW;SACZ,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,OAAe,EAAE,WAAyB;IAC7D,WAAW,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;IACxE,OAAO;QACL,EAAE,EAAE,KAAK;QACT,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE;YACR,SAAS,EAAE,EAAE;YACb,iBAAiB,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;YACnF,gBAAgB,EAAE,EAAE;SACrB;QACD,KAAK,EAAE,IAAI,GAAG,EAAE;QAChB,QAAQ,EAAE,EAAE;QACZ,WAAW;KACZ,CAAC;AACJ,CAAC"}