@stevenvo780/st-lang 2.0.4 → 2.5.0

package/dist/profiles/aristotelian/syllogistic.js

@@ -136,25 +136,95 @@ function categoricalToString(c) {
             return `Algún ${c.subject} no es ${c.predicate}`;
     }
 }
+/**
+ * Returns distribution info for a categorical proposition (#21)
+ */
+function getDistribution(c) {
+    switch (c.type) {
+        case 'A':
+            return `S(+) P(-)`; // Subject distributed, Predicate not
+        case 'E':
+            return `S(+) P(+)`; // Both distributed
+        case 'I':
+            return `S(-) P(-)`; // Neither distributed
+        case 'O':
+            return `S(-) P(+)`; // Predicate distributed
+    }
+}
 // ── Validación de silogismos ────────────────────────────────
 function checkSyllogism(premise1, premise2, conclusion) {
-    // Determinar el término medio, mayor y menor
-    const terms = new Set([
-        premise1.subject,
-        premise1.predicate,
-        premise2.subject,
-        premise2.predicate,
-    ]);
-    // El término medio aparece en ambas premisas pero no en la conclusión
-    const middleCandidates = [...terms].filter((t) => (t === premise1.subject || t === premise1.predicate) &&
-        (t === premise2.subject || t === premise2.predicate) &&
-        t !== conclusion.subject &&
-        t !== conclusion.predicate);
+    // S = subject of conclusion, P = predicate of conclusion
+    const S = conclusion.subject;
+    const P = conclusion.predicate;
+    // M = the term that appears in both premises but not in the conclusion
+    const p1Terms = [premise1.subject, premise1.predicate];
+    const p2Terms = [premise2.subject, premise2.predicate];
+    const middleCandidates = p1Terms.filter((t) => p2Terms.includes(t) && t !== S && t !== P);
     if (middleCandidates.length === 0)
         return null;
-    // Intentar match con cada silogismo válido
+    const M = middleCandidates[0];
+    // Determine figure by position of the middle term M
+    // Figure 1: M-P, S-M (M is subject of P1, predicate of P2)
+    // Figure 2: P-M, S-M (M is predicate of P1, predicate of P2)
+    // Figure 3: M-P, M-S (M is subject of P1, subject of P2)
+    // Figure 4: P-M, M-S (M is predicate of P1, subject of P2)
+    let figure;
+    const mIsSubjP1 = premise1.subject === M;
+    const mIsSubjP2 = premise2.subject === M;
+    if (mIsSubjP1 && !mIsSubjP2) {
+        figure = 1; // M-?, ?-M
+    }
+    else if (!mIsSubjP1 && !mIsSubjP2) {
+        figure = 2; // ?-M, ?-M
+    }
+    else if (mIsSubjP1 && mIsSubjP2) {
+        figure = 3; // M-?, M-?
+    }
+    else {
+        figure = 4; // ?-M, M-?
+    }
+    // Verify P1 relates M and P correctly, P2 relates S and M correctly
+    // Figure 1: P1 must contain M (subj) and P (pred), P2 must contain S (subj) and M (pred)
+    // Figure 2: P1 must contain P (subj) and M (pred), P2 must contain S (subj) and M (pred)
+    // Figure 3: P1 must contain M (subj) and P (pred), P2 must contain M (subj) and S (pred)
+    // Figure 4: P1 must contain P (subj) and M (pred), P2 must contain M (subj) and S (pred)
+    let valid = false;
+    switch (figure) {
+        case 1:
+            valid =
+                premise1.subject === M &&
+                    premise1.predicate === P &&
+                    premise2.subject === S &&
+                    premise2.predicate === M;
+            break;
+        case 2:
+            valid =
+                premise1.subject === P &&
+                    premise1.predicate === M &&
+                    premise2.subject === S &&
+                    premise2.predicate === M;
+            break;
+        case 3:
+            valid =
+                premise1.subject === M &&
+                    premise1.predicate === P &&
+                    premise2.subject === M &&
+                    premise2.predicate === S;
+            break;
+        case 4:
+            valid =
+                premise1.subject === P &&
+                    premise1.predicate === M &&
+                    premise2.subject === M &&
+                    premise2.predicate === S;
+            break;
+    }
+    if (!valid)
+        return null;
+    // Now check for a matching valid syllogism with the correct figure
     for (const syl of VALID_SYLLOGISMS) {
-        if (premise1.type === syl.premises[0] &&
+        if (syl.figure === figure &&
+            premise1.type === syl.premises[0] &&
             premise2.type === syl.premises[1] &&
             conclusion.type === syl.conclusion) {
             return syl;
@@ -272,6 +342,53 @@ class AristotelianSyllogistic {
     }
     derive(goal, premises, theory) {
         const conclusion = extractCategorical(goal);
+        // Entimema detection: only 1 premise (#9)
+        if (conclusion && premises.length === 1) {
+            const premName = premises[0];
+            const premF = theory.axioms.get(premName) || theory.theorems.get(premName);
+            const prem = premF ? extractCategorical(premF) : null;
+            if (prem) {
+                let out = `⚠ Solo se proporcionó 1 premisa — posible entimema\n`;
+                out += `  Premisa dada: ${categoricalToString(prem)}\n`;
+                out += `  Conclusión buscada: ${categoricalToString(conclusion)}\n`;
+                out += `  Premisa faltante para completar silogismo:\n`;
+                // Try to find valid completions
+                const completions = [];
+                const types = ['A', 'E', 'I', 'O'];
+                // Get potential middle term
+                const allTerms = new Set([
+                    prem.subject,
+                    prem.predicate,
+                    conclusion.subject,
+                    conclusion.predicate,
+                ]);
+                for (const middle of allTerms) {
+                    for (const t2 of allTerms) {
+                        if (t2 === middle)
+                            continue;
+                        for (const type of types) {
+                            const candidate = { type, subject: t2, predicate: middle };
+                            // Try both orderings
+                            const syl1 = checkSyllogism(prem, candidate, conclusion);
+                            const syl2 = checkSyllogism(candidate, prem, conclusion);
+                            if (syl1)
+                                completions.push(`"${categoricalToString(candidate)}" → ${syl1.name} (${syl1.premises.join('')}-${syl1.figure})`);
+                            if (syl2)
+                                completions.push(`"${categoricalToString(candidate)}" → ${syl2.name} (${syl2.premises.join('')}-${syl2.figure})`);
+                        }
+                    }
+                }
+                if (completions.length > 0) {
+                    for (const c of completions.slice(0, 3)) {
+                        out += `    Opción: ${c}\n`;
+                    }
+                }
+                else {
+                    out += `    No se encontró premisa que complete un silogismo válido.\n`;
+                }
+                return { status: 'unknown', output: out, diagnostics: [], formula: goal };
+            }
+        }
         if (!conclusion || premises.length < 2) {
             return {
                 status: 'unknown',
@@ -301,9 +418,17 @@ class AristotelianSyllogistic {
                     continue;
                 const syl = checkSyllogism(premiseFormulas[i][1], premiseFormulas[j][1], conclusion);
                 if (syl) {
+                    // Distribution analysis per premise (#21)
+                    const distP1 = getDistribution(premiseFormulas[i][1]);
+                    const distP2 = getDistribution(premiseFormulas[j][1]);
+                    const distC = getDistribution(conclusion);
+                    let distOutput = `DERIVADO por ${syl.name} (Figura ${syl.figure})\n`;
+                    distOutput += `  ${premiseFormulas[i][0]}: ${categoricalToString(premiseFormulas[i][1])} — ${distP1}\n`;
+                    distOutput += `  ${premiseFormulas[j][0]}: ${categoricalToString(premiseFormulas[j][1])} — ${distP2}\n`;
+                    distOutput += `  ∴ ${categoricalToString(conclusion)} — ${distC}`;
                     return {
                         status: 'provable',
-                        output: `DERIVADO por ${syl.name} (Figura ${syl.figure})`,
+                        output: distOutput,
                         diagnostics: [],
                         formula: goal,
                     };
@@ -333,6 +458,85 @@ class AristotelianSyllogistic {
         let explanation = '';
         if (cat) {
             explanation += `Proposición categórica: ${categoricalToString(cat)} (tipo ${cat.type})\n\n`;
+            const aProp = categoricalToString({
+                type: 'A',
+                subject: cat.subject,
+                predicate: cat.predicate,
+            });
+            const eProp = categoricalToString({
+                type: 'E',
+                subject: cat.subject,
+                predicate: cat.predicate,
+            });
+            const iProp = categoricalToString({
+                type: 'I',
+                subject: cat.subject,
+                predicate: cat.predicate,
+            });
+            const oProp = categoricalToString({
+                type: 'O',
+                subject: cat.subject,
+                predicate: cat.predicate,
+            });
+            explanation += `Cuadro de Oposición:\n`;
+            explanation += `    A: Todo S es P ──── contrariedad ──── E: Ningún S es P\n`;
+            explanation += `        │                                      │\n`;
+            explanation += `   subalternación                         subalternación\n`;
+            explanation += `        │                                      │\n`;
+            explanation += `    I: Algún S es P ── subcontrariedad ── O: Algún S no es P\n\n`;
+            explanation += `Relaciones para esta proposición (${cat.type}):\n`;
+            if (cat.type === 'A') {
+                explanation += `  - Contradictoria (O): ${oProp} (no pueden compartir valor de verdad)\n`;
+                explanation += `  - Contraria (E): ${eProp} (no pueden ser ambas verdaderas)\n`;
+                explanation += `  - Subalterna (I): ${iProp} (es verdadera si A es verdadera)\n`;
+            }
+            else if (cat.type === 'E') {
+                explanation += `  - Contradictoria (I): ${iProp} (no pueden compartir valor de verdad)\n`;
+                explanation += `  - Contraria (A): ${aProp} (no pueden ser ambas verdaderas)\n`;
+                explanation += `  - Subalterna (O): ${oProp} (es verdadera si E es verdadera)\n`;
+            }
+            else if (cat.type === 'I') {
+                explanation += `  - Contradictoria (E): ${eProp} (no pueden compartir valor de verdad)\n`;
+                explanation += `  - Subcontraria (O): ${oProp} (no pueden ser ambas falsas)\n`;
+                explanation += `  - Subalternante (A): ${aProp} (es falsa si I es falsa)\n`;
+            }
+            else if (cat.type === 'O') {
+                explanation += `  - Contradictoria (A): ${aProp} (no pueden compartir valor de verdad)\n`;
+                explanation += `  - Subcontraria (I): ${iProp} (no pueden ser ambas falsas)\n`;
+                explanation += `  - Subalternante (E): ${eProp} (es falsa si O es falsa)\n`;
+            }
+            explanation += `\n`;
+            explanation += `Distribución de términos:\n`;
+            if (cat.type === 'A')
+                explanation += `  Sujeto (${cat.subject}): distribuido (+), Predicado (${cat.predicate}): no distribuido (-)\n\n`;
+            if (cat.type === 'E')
+                explanation += `  Sujeto (${cat.subject}): distribuido (+), Predicado (${cat.predicate}): distribuido (+)\n\n`;
+            if (cat.type === 'I')
+                explanation += `  Sujeto (${cat.subject}): no distribuido (-), Predicado (${cat.predicate}): no distribuido (-)\n\n`;
+            if (cat.type === 'O')
+                explanation += `  Sujeto (${cat.subject}): no distribuido (-), Predicado (${cat.predicate}): distribuido (+)\n\n`;
+            // Immediate inferences (#8)
+            explanation += `Inferencias inmediatas:\n`;
+            if (cat.type === 'A') {
+                explanation += `  Conversión (por limitación): "Algún ${cat.predicate} es ${cat.subject}" (I)\n`;
+                explanation += `  Obversión: "Ningún ${cat.subject} es no-${cat.predicate}" (E)\n`;
+                explanation += `  Contraposición: "Todo no-${cat.predicate} es no-${cat.subject}" (A)\n\n`;
+            }
+            else if (cat.type === 'E') {
+                explanation += `  Conversión (simple): "Ningún ${cat.predicate} es ${cat.subject}" (E)\n`;
+                explanation += `  Obversión: "Todo ${cat.subject} es no-${cat.predicate}" (A)\n`;
+                explanation += `  Contraposición: "Algún no-${cat.predicate} no es no-${cat.subject}" (O)\n\n`;
+            }
+            else if (cat.type === 'I') {
+                explanation += `  Conversión (simple): "Algún ${cat.predicate} es ${cat.subject}" (I)\n`;
+                explanation += `  Obversión: "Algún ${cat.subject} no es no-${cat.predicate}" (O)\n`;
+                explanation += `  Contraposición: No válida para I\n\n`;
+            }
+            else if (cat.type === 'O') {
+                explanation += `  Conversión: No válida para O\n`;
+                explanation += `  Obversión: "Algún ${cat.subject} es no-${cat.predicate}" (I)\n`;
+                explanation += `  Contraposición: "Algún no-${cat.predicate} no es no-${cat.subject}" (O)\n\n`;
+            }
         }
         else {
             explanation += `Fórmula: ${(0, propositional_1.formulaToString)(formula)}\n\n`;

package/dist/profiles/aristotelian/syllogistic.js.map

@@ -1 +1 @@
-{"version":3,"file":"syllogistic.js","sourceRoot":"","sources":["../../../src/profiles/aristotelian/syllogistic.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,uDAAuD;AACvD,+DAA+D;AAC/D,sDAAsD;AACtD,oDAAoD;AACpD,wCAAwC;AACxC,yCAAyC;AACzC,wCAAwC;AACxC,yCAAyC;AACzC,EAAE;AACF,yDAAyD;AACzD,gCAAgC;AAChC,+DAA+D;;;AAG/D,8DAA6D;AAW7D,oDAAoD;AACpD,qDAAqD;AACrD,MAAM,gBAAgB,GAAoB;IACxC,2BAA2B;IAC3B,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACrE,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACtE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACnE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACnE,2BAA2B;IAC3B,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACpE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACvE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACrE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACpE,2BAA2B;IAC3B,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACrE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACrE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACpE,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACtE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACrE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACrE,2BAA2B;IAC3B,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACvE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACrE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACrE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACpE,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;CACvE,CAAC;AAYF;;;;;;;;;;;;;GAaG;AACH,SAAS,kBAAkB,CAAC,CAAU;IACpC,qBAAqB;IACrB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;YACvD,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAChD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI,EAAE,CAAC;gBACT,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAChD,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBACnD,IAAI,IAAI;wBAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;gBACjE,CAAC;gBACD,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;gBAC3C,IAAI,IAAI;oBAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;YACjE,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;YACnD,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAChD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI,EAAE,CAAC;gBACT,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAChD,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBACnD,IAAI,IAAI;wBAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;gBACjE,CAAC;gBACD,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;gBAC3C,IAAI,IAAI;oBAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;YACjE,CAAC;QACH,CAAC;IACH,CAAC;IAED,kEAAkE;IAClE,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5B,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;gBACtD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACvE,CAAC;YACD,IAAI,OAAO,CAAC,IAAI;gBAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;QACjF,CAAC;IACH,CAAC;IAED,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5B,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;gBACtD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACvE,CAAC;YACD,IAAI,OAAO,CAAC,IAAI;gBAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;QACjF,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAAC,CAAU;IACtC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC;IACpD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC;IAC/C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,mBAAmB,CAAC,CAAkB;IAC7C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,GAAG;YACN,OAAO,QAAQ,CAAC,CAAC,OAAO,OAAO,CAAC,CAAC,SAAS,EAAE,CAAC;QAC/C,KAAK,GAAG;YACN,OAAO,UAAU,CAAC,CAAC,OAAO,OAAO,CAAC,CAAC,SAAS,EAAE,CAAC;QACjD,KAAK,GAAG;YACN,OAAO,SAAS,CAAC,CAAC,OAAO,OAAO,CAAC,CAAC,SAAS,EAAE,CAAC;QAChD,KAAK,GAAG;YACN,OAAO,SAAS,CAAC,CAAC,OAAO,UAAU,CAAC,CAAC,SAAS,EAAE,CAAC;IACrD,CAAC;AACH,CAAC;AAED,+DAA+D;AAE/D,SAAS,cAAc,CACrB,QAAyB,EACzB,QAAyB,EACzB,UAA2B;IAE3B,6CAA6C;IAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC;QACpB,QAAQ,CAAC,OAAO;QAChB,QAAQ,CAAC,SAAS;QAClB,QAAQ,CAAC,OAAO;QAChB,QAAQ,CAAC,SAAS;KACnB,CAAC,CAAC;IAEH,sEAAsE;IACtE,MAAM,gBAAgB,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CACxC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,QAAQ,CAAC,OAAO,IAAI,CAAC,KAAK,QAAQ,CAAC,SAAS,CAAC;QACpD,CAAC,CAAC,KAAK,QAAQ,CAAC,OAAO,IAAI,CAAC,KAAK,QAAQ,CAAC,SAAS,CAAC;QACpD,CAAC,KAAK,UAAU,CAAC,OAAO;QACxB,CAAC,KAAK,UAAU,CAAC,SAAS,CAC7B,CAAC;IAEF,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAE/C,2CAA2C;IAC3C,KAAK,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;QACnC,IACE,QAAQ,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;YACjC,QAAQ,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;YACjC,UAAU,CAAC,IAAI,KAAK,GAAG,CAAC,UAAU,EAClC,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+DAA+D;AAE/D,MAAa,uBAAuB;IAClC,IAAI,GAAG,0BAA0B,CAAC;IAClC,WAAW,GAAG,kEAAkE,CAAC;IAEjF,eAAe,CAAC,OAAgB;QAC9B,MAAM,KAAK,GAAiB,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,KAAK,CAAC,IAAI,CAAC;gBACT,QAAQ,EAAE,SAAS;gBACnB,OAAO,EACL,yFAAyF;aAC5F,CAAC,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,UAAU,CAAC,OAAgB;QACzB,oEAAoE;QACpE,yDAAyD;QACzD,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7D,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClC,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,UAAU,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;YAEnD,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,IAAI,SAAS,CAAC,IAAI,EAAE,MAAM,KAAK,CAAC,IAAI,UAAU,EAAE,CAAC;gBAC3E,MAAM,EAAE,GAAG,kBAAkB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjD,MAAM,EAAE,GAAG,kBAAkB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjD,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;oBACb,MAAM,GAAG,GAAG,cAAc,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;oBAC/C,IAAI,GAAG,EAAE,CAAC;wBACR,OAAO;4BACL,MAAM,EAAE,OAAO;4BACf,MAAM,EAAE,qBAAqB,GAAG,CAAC,IAAI,YAAY,GAAG,CAAC,MAAM,QAAQ,mBAAmB,CAAC,EAAE,CAAC,OAAO,mBAAmB,CAAC,EAAE,CAAC,SAAS,mBAAmB,CAAC,UAAU,CAAC,EAAE;4BAClK,WAAW,EAAE,EAAE;4BACf,OAAO;yBACR,CAAC;oBACJ,CAAC;oBACD,OAAO;wBACL,MAAM,EAAE,SAAS;wBACjB,MAAM,EAAE,0BAA0B,mBAAmB,CAAC,EAAE,CAAC,OAAO,mBAAmB,CAAC,EAAE,CAAC,SAAS,mBAAmB,CAAC,UAAU,CAAC,sDAAsD;wBACrL,WAAW,EAAE,EAAE;wBACf,OAAO;qBACR,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,uCAAuC,IAAA,+BAAe,EAAC,OAAO,CAAC,EAAE;YACzE,WAAW,EAAE,EAAE;YACf,OAAO;SACR,CAAC;IACJ,CAAC;IAED,gBAAgB,CAAC,OAAgB;QAC/B,MAAM,GAAG,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,GAAG,EAAE,CAAC;YACR,yDAAyD;YACzD,+BAA+B;YAC/B,OAAO;gBACL,MAAM,EAAE,aAAa;gBACrB,MAAM,EAAE,GAAG,mBAAmB,CAAC,GAAG,CAAC,qCAAqC;gBACxE,WAAW,EAAE,EAAE;gBACf,OAAO;aACR,CAAC;QACJ,CAAC;QACD,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,wBAAwB,IAAA,+BAAe,EAAC,OAAO,CAAC,EAAE;YAC1D,WAAW,EAAE,EAAE;YACf,OAAO;SACR,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,IAAa,EAAE,MAAc;QACjC,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;QACnD,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,UAAU,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrC,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,gEAAgE;gBACxE,WAAW,EAAE,EAAE;gBACf,OAAO,EAAE,IAAI;aACd,CAAC;QACJ,CAAC;QAED,iDAAiD;QACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACvC,IAAI,CAAC,KAAK,CAAC;oBAAE,SAAS;gBACtB,MAAM,EAAE,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC5C,MAAM,EAAE,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC5C,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;oBACb,MAAM,GAAG,GAAG,cAAc,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;oBAC/C,IAAI,GAAG,EAAE,CAAC;wBACR,OAAO;4BACL,MAAM,EAAE,UAAU;4BAClB,MAAM,EAAE,kBAAkB,GAAG,CAAC,IAAI,YAAY,GAAG,CAAC,MAAM,SAAS,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,mBAAmB,CAAC,EAAE,CAAC,QAAQ,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,mBAAmB,CAAC,EAAE,CAAC,SAAS,mBAAmB,CAAC,UAAU,CAAC,EAAE;4BACnM,WAAW,EAAE,EAAE;4BACf,OAAO,EAAE,IAAI;yBACd,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO;YACL,MAAM,EAAE,WAAW;YACnB,MAAM,EAAE,iDAAiD,IAAA,+BAAe,EAAC,IAAI,CAAC,EAAE;YAChF,WAAW,EAAE,EAAE;YACf,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,IAAa,EAAE,QAAkB,EAAE,MAAc;QACtD,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,UAAU,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvC,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,8CAA8C;gBACtD,WAAW,EAAE,EAAE;gBACf,OAAO,EAAE,IAAI;aACd,CAAC;QACJ,CAAC;QAED,MAAM,eAAe,GAAgC,EAAE,CAAC;QACxD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/D,IAAI,CAAC,CAAC,EAAE,CAAC;gBACP,OAAO;oBACL,MAAM,EAAE,OAAO;oBACf,MAAM,EAAE,0BAA0B,IAAI,EAAE;oBACxC,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,IAAI,eAAe,EAAE,CAAC;oBACtE,OAAO,EAAE,IAAI;iBACd,CAAC;YACJ,CAAC;YACD,MAAM,GAAG,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;YAClC,IAAI,GAAG;gBAAE,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QAC7C,CAAC;QAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAChD,IAAI,CAAC,KAAK,CAAC;oBAAE,SAAS;gBACtB,MAAM,GAAG,GAAG,cAAc,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;gBACrF,IAAI,GAAG,EAAE,CAAC;oBACR,OAAO;wBACL,MAAM,EAAE,UAAU;wBAClB,MAAM,EAAE,gBAAgB,GAAG,CAAC,IAAI,YAAY,GAAG,CAAC,MAAM,GAAG;wBACzD,WAAW,EAAE,EAAE;wBACf,OAAO,EAAE,IAAI;qBACd,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO;YACL,MAAM,EAAE,WAAW;YACnB,MAAM,EAAE,0CAA0C;YAClD,WAAW,EAAE,EAAE;YACf,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAED,YAAY,CAAC,OAAgB;QAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QACxC,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YACvD,MAAM,EACJ,MAAM,CAAC,MAAM,KAAK,OAAO;gBACvB,CAAC,CAAC,wCAAwC;gBAC1C,CAAC,CAAC,kDAAkD;YACxD,WAAW,EAAE,EAAE;YACf,OAAO;SACR,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,OAAgB;QACtB,MAAM,GAAG,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,WAAW,GAAG,EAAE,CAAC;QACrB,IAAI,GAAG,EAAE,CAAC;YACR,WAAW,IAAI,2BAA2B,mBAAmB,CAAC,GAAG,CAAC,UAAU,GAAG,CAAC,IAAI,OAAO,CAAC;QAC9F,CAAC;aAAM,CAAC;YACN,WAAW,IAAI,YAAY,IAAA,+BAAe,EAAC,OAAO,CAAC,MAAM,CAAC;QAC5D,CAAC;QACD,WAAW,IAAI;YACb,mCAAmC;YACnC,EAAE;YACF,4BAA4B;YAC5B,wCAAwC;YACxC,yCAAyC;YACzC,wCAAwC;YACxC,yCAAyC;YACzC,EAAE;YACF,UAAU;YACV,wDAAwD;YACxD,2DAA2D;YAC3D,sDAAsD;YACtD,yDAAyD;SAC1D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,WAAW;YACnB,WAAW,EAAE,EAAE;YACf,OAAO;SACR,CAAC;IACJ,CAAC;IAED,eAAe,CAAC,CAAU,EAAE,CAAU;QACpC,MAAM,IAAI,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;YACjB,MAAM,KAAK,GACT,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;gBACvB,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;gBAC7B,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS,CAAC;YACpC,OAAO;gBACL,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;gBACnC,MAAM,EAAE,KAAK;oBACX,CAAC,CAAC,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,mBAAmB,CAAC,IAAI,CAAC,mBAAmB;oBAChF,CAAC,CAAC,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,mBAAmB,CAAC,IAAI,CAAC,sBAAsB;gBACrF,WAAW,EAAE,EAAE;aAChB,CAAC;QACJ,CAAC;QACD,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,yDAAyD,IAAA,+BAAe,EAAC,CAAC,CAAC,OAAO,IAAA,+BAAe,EAAC,CAAC,CAAC,EAAE;YAC9G,WAAW,EAAE,EAAE;SAChB,CAAC;IACJ,CAAC;CACF;AAvOD,0DAuOC"}
+{"version":3,"file":"syllogistic.js","sourceRoot":"","sources":["../../../src/profiles/aristotelian/syllogistic.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,uDAAuD;AACvD,+DAA+D;AAC/D,sDAAsD;AACtD,oDAAoD;AACpD,wCAAwC;AACxC,yCAAyC;AACzC,wCAAwC;AACxC,yCAAyC;AACzC,EAAE;AACF,yDAAyD;AACzD,gCAAgC;AAChC,+DAA+D;;;AAG/D,8DAA6D;AAW7D,oDAAoD;AACpD,qDAAqD;AACrD,MAAM,gBAAgB,GAAoB;IACxC,2BAA2B;IAC3B,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACrE,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACtE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACnE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACnE,2BAA2B;IAC3B,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACpE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACvE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACrE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACpE,2BAA2B;IAC3B,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACrE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACrE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACpE,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACtE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACrE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACrE,2BAA2B;IAC3B,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACvE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACrE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACrE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;IACpE,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;CACvE,CAAC;AAYF;;;;;;;;;;;;;GAaG;AACH,SAAS,kBAAkB,CAAC,CAAU;IACpC,qBAAqB;IACrB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;YACvD,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAChD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI,EAAE,CAAC;gBACT,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAChD,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBACnD,IAAI,IAAI;wBAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;gBACjE,CAAC;gBACD,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;gBAC3C,IAAI,IAAI;oBAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;YACjE,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;YACnD,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAChD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI,EAAE,CAAC;gBACT,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAChD,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBACnD,IAAI,IAAI;wBAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;gBACjE,CAAC;gBACD,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;gBAC3C,IAAI,IAAI;oBAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;YACjE,CAAC;QACH,CAAC;IACH,CAAC;IAED,kEAAkE;IAClE,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5B,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;gBACtD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACvE,CAAC;YACD,IAAI,OAAO,CAAC,IAAI;gBAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;QACjF,CAAC;IACH,CAAC;IAED,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5B,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;gBACtD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACvE,CAAC;YACD,IAAI,OAAO,CAAC,IAAI;gBAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;QACjF,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAAC,CAAU;IACtC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC;IACpD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC;IAC/C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,mBAAmB,CAAC,CAAkB;IAC7C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,GAAG;YACN,OAAO,QAAQ,CAAC,CAAC,OAAO,OAAO,CAAC,CAAC,SAAS,EAAE,CAAC;QAC/C,KAAK,GAAG;YACN,OAAO,UAAU,CAAC,CAAC,OAAO,OAAO,CAAC,CAAC,SAAS,EAAE,CAAC;QACjD,KAAK,GAAG;YACN,OAAO,SAAS,CAAC,CAAC,OAAO,OAAO,CAAC,CAAC,SAAS,EAAE,CAAC;QAChD,KAAK,GAAG;YACN,OAAO,SAAS,CAAC,CAAC,OAAO,UAAU,CAAC,CAAC,SAAS,EAAE,CAAC;IACrD,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,CAAkB;IACzC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,GAAG;YACN,OAAO,WAAW,CAAC,CAAC,qCAAqC;QAC3D,KAAK,GAAG;YACN,OAAO,WAAW,CAAC,CAAC,mBAAmB;QACzC,KAAK,GAAG;YACN,OAAO,WAAW,CAAC,CAAC,sBAAsB;QAC5C,KAAK,GAAG;YACN,OAAO,WAAW,CAAC,CAAC,wBAAwB;IAChD,CAAC;AACH,CAAC;AAED,+DAA+D;AAE/D,SAAS,cAAc,CACrB,QAAyB,EACzB,QAAyB,EACzB,UAA2B;IAE3B,yDAAyD;IACzD,MAAM,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC;IAC7B,MAAM,CAAC,GAAG,UAAU,CAAC,SAAS,CAAC;IAE/B,uEAAuE;IACvE,MAAM,OAAO,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IACvD,MAAM,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAE1F,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAE9B,oDAAoD;IACpD,2DAA2D;IAC3D,6DAA6D;IAC7D,yDAAyD;IACzD,2DAA2D;IAC3D,IAAI,MAAc,CAAC;IACnB,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,KAAK,CAAC,CAAC;IACzC,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,KAAK,CAAC,CAAC;IAEzC,IAAI,SAAS,IAAI,CAAC,SAAS,EAAE,CAAC;QAC5B,MAAM,GAAG,CAAC,CAAC,CAAC,WAAW;IACzB,CAAC;SAAM,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,EAAE,CAAC;QACpC,MAAM,GAAG,CAAC,CAAC,CAAC,WAAW;IACzB,CAAC;SAAM,IAAI,SAAS,IAAI,SAAS,EAAE,CAAC;QAClC,MAAM,GAAG,CAAC,CAAC,CAAC,WAAW;IACzB,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,CAAC,CAAC,CAAC,WAAW;IACzB,CAAC;IAED,oEAAoE;IACpE,yFAAyF;IACzF,yFAAyF;IACzF,yFAAyF;IACzF,yFAAyF;IACzF,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,CAAC;YACJ,KAAK;gBACH,QAAQ,CAAC,OAAO,KAAK,CAAC;oBACtB,QAAQ,CAAC,SAAS,KAAK,CAAC;oBACxB,QAAQ,CAAC,OAAO,KAAK,CAAC;oBACtB,QAAQ,CAAC,SAAS,KAAK,CAAC,CAAC;YAC3B,MAAM;QACR,KAAK,CAAC;YACJ,KAAK;gBACH,QAAQ,CAAC,OAAO,KAAK,CAAC;oBACtB,QAAQ,CAAC,SAAS,KAAK,CAAC;oBACxB,QAAQ,CAAC,OAAO,KAAK,CAAC;oBACtB,QAAQ,CAAC,SAAS,KAAK,CAAC,CAAC;YAC3B,MAAM;QACR,KAAK,CAAC;YACJ,KAAK;gBACH,QAAQ,CAAC,OAAO,KAAK,CAAC;oBACtB,QAAQ,CAAC,SAAS,KAAK,CAAC;oBACxB,QAAQ,CAAC,OAAO,KAAK,CAAC;oBACtB,QAAQ,CAAC,SAAS,KAAK,CAAC,CAAC;YAC3B,MAAM;QACR,KAAK,CAAC;YACJ,KAAK;gBACH,QAAQ,CAAC,OAAO,KAAK,CAAC;oBACtB,QAAQ,CAAC,SAAS,KAAK,CAAC;oBACxB,QAAQ,CAAC,OAAO,KAAK,CAAC;oBACtB,QAAQ,CAAC,SAAS,KAAK,CAAC,CAAC;YAC3B,MAAM;IACV,CAAC;IAED,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAExB,mEAAmE;IACnE,KAAK,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;QACnC,IACE,GAAG,CAAC,MAAM,KAAK,MAAM;YACrB,QAAQ,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;YACjC,QAAQ,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;YACjC,UAAU,CAAC,IAAI,KAAK,GAAG,CAAC,UAAU,EAClC,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+DAA+D;AAE/D,MAAa,uBAAuB;IAClC,IAAI,GAAG,0BAA0B,CAAC;IAClC,WAAW,GAAG,kEAAkE,CAAC;IAEjF,eAAe,CAAC,OAAgB;QAC9B,MAAM,KAAK,GAAiB,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,KAAK,CAAC,IAAI,CAAC;gBACT,QAAQ,EAAE,SAAS;gBACnB,OAAO,EACL,yFAAyF;aAC5F,CAAC,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,UAAU,CAAC,OAAgB;QACzB,oEAAoE;QACpE,yDAAyD;QACzD,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7D,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClC,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpC,MAAM,UAAU,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;YAEnD,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,IAAI,SAAS,CAAC,IAAI,EAAE,MAAM,KAAK,CAAC,IAAI,UAAU,EAAE,CAAC;gBAC3E,MAAM,EAAE,GAAG,kBAAkB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjD,MAAM,EAAE,GAAG,kBAAkB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjD,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;oBACb,MAAM,GAAG,GAAG,cAAc,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;oBAC/C,IAAI,GAAG,EAAE,CAAC;wBACR,OAAO;4BACL,MAAM,EAAE,OAAO;4BACf,MAAM,EAAE,qBAAqB,GAAG,CAAC,IAAI,YAAY,GAAG,CAAC,MAAM,QAAQ,mBAAmB,CAAC,EAAE,CAAC,OAAO,mBAAmB,CAAC,EAAE,CAAC,SAAS,mBAAmB,CAAC,UAAU,CAAC,EAAE;4BAClK,WAAW,EAAE,EAAE;4BACf,OAAO;yBACR,CAAC;oBACJ,CAAC;oBACD,OAAO;wBACL,MAAM,EAAE,SAAS;wBACjB,MAAM,EAAE,0BAA0B,mBAAmB,CAAC,EAAE,CAAC,OAAO,mBAAmB,CAAC,EAAE,CAAC,SAAS,mBAAmB,CAAC,UAAU,CAAC,sDAAsD;wBACrL,WAAW,EAAE,EAAE;wBACf,OAAO;qBACR,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,uCAAuC,IAAA,+BAAe,EAAC,OAAO,CAAC,EAAE;YACzE,WAAW,EAAE,EAAE;YACf,OAAO;SACR,CAAC;IACJ,CAAC;IAED,gBAAgB,CAAC,OAAgB;QAC/B,MAAM,GAAG,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,GAAG,EAAE,CAAC;YACR,yDAAyD;YACzD,+BAA+B;YAC/B,OAAO;gBACL,MAAM,EAAE,aAAa;gBACrB,MAAM,EAAE,GAAG,mBAAmB,CAAC,GAAG,CAAC,qCAAqC;gBACxE,WAAW,EAAE,EAAE;gBACf,OAAO;aACR,CAAC;QACJ,CAAC;QACD,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,wBAAwB,IAAA,+BAAe,EAAC,OAAO,CAAC,EAAE;YAC1D,WAAW,EAAE,EAAE;YACf,OAAO;SACR,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,IAAa,EAAE,MAAc;QACjC,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;QACnD,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,UAAU,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrC,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,gEAAgE;gBACxE,WAAW,EAAE,EAAE;gBACf,OAAO,EAAE,IAAI;aACd,CAAC;QACJ,CAAC;QAED,iDAAiD;QACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACvC,IAAI,CAAC,KAAK,CAAC;oBAAE,SAAS;gBACtB,MAAM,EAAE,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC5C,MAAM,EAAE,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC5C,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;oBACb,MAAM,GAAG,GAAG,cAAc,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;oBAC/C,IAAI,GAAG,EAAE,CAAC;wBACR,OAAO;4BACL,MAAM,EAAE,UAAU;4BAClB,MAAM,EAAE,kBAAkB,GAAG,CAAC,IAAI,YAAY,GAAG,CAAC,MAAM,SAAS,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,mBAAmB,CAAC,EAAE,CAAC,QAAQ,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,mBAAmB,CAAC,EAAE,CAAC,SAAS,mBAAmB,CAAC,UAAU,CAAC,EAAE;4BACnM,WAAW,EAAE,EAAE;4BACf,OAAO,EAAE,IAAI;yBACd,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO;YACL,MAAM,EAAE,WAAW;YACnB,MAAM,EAAE,iDAAiD,IAAA,+BAAe,EAAC,IAAI,CAAC,EAAE;YAChF,WAAW,EAAE,EAAE;YACf,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,IAAa,EAAE,QAAkB,EAAE,MAAc;QACtD,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAE5C,0CAA0C;QAC1C,IAAI,UAAU,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxC,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC3E,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACtD,IAAI,IAAI,EAAE,CAAC;gBACT,IAAI,GAAG,GAAG,sDAAsD,CAAC;gBACjE,GAAG,IAAI,mBAAmB,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC;gBACxD,GAAG,IAAI,yBAAyB,mBAAmB,CAAC,UAAU,CAAC,IAAI,CAAC;gBACpE,GAAG,IAAI,gDAAgD,CAAC;gBAExD,gCAAgC;gBAChC,MAAM,WAAW,GAAa,EAAE,CAAC;gBACjC,MAAM,KAAK,GAAsB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBACtD,4BAA4B;gBAC5B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;oBACvB,IAAI,CAAC,OAAO;oBACZ,IAAI,CAAC,SAAS;oBACd,UAAU,CAAC,OAAO;oBAClB,UAAU,CAAC,SAAS;iBACrB,CAAC,CAAC;gBACH,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;oBAC9B,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;wBAC1B,IAAI,EAAE,KAAK,MAAM;4BAAE,SAAS;wBAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;4BACzB,MAAM,SAAS,GAAoB,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;4BAC5E,qBAAqB;4BACrB,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;4BACzD,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;4BACzD,IAAI,IAAI;gCACN,WAAW,CAAC,IAAI,CACd,IAAI,mBAAmB,CAAC,SAAS,CAAC,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAChG,CAAC;4BACJ,IAAI,IAAI;gCACN,WAAW,CAAC,IAAI,CACd,IAAI,mBAAmB,CAAC,SAAS,CAAC,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAChG,CAAC;wBACN,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC3B,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;wBACxC,GAAG,IAAI,eAAe,CAAC,IAAI,CAAC;oBAC9B,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,GAAG,IAAI,gEAAgE,CAAC;gBAC1E,CAAC;gBAED,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;YAC5E,CAAC;QACH,CAAC;QAED,IAAI,CAAC,UAAU,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvC,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,8CAA8C;gBACtD,WAAW,EAAE,EAAE;gBACf,OAAO,EAAE,IAAI;aACd,CAAC;QACJ,CAAC;QAED,MAAM,eAAe,GAAgC,EAAE,CAAC;QACxD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/D,IAAI,CAAC,CAAC,EAAE,CAAC;gBACP,OAAO;oBACL,MAAM,EAAE,OAAO;oBACf,MAAM,EAAE,0BAA0B,IAAI,EAAE;oBACxC,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,IAAI,eAAe,EAAE,CAAC;oBACtE,OAAO,EAAE,IAAI;iBACd,CAAC;YACJ,CAAC;YACD,MAAM,GAAG,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;YAClC,IAAI,GAAG;gBAAE,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QAC7C,CAAC;QAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAChD,IAAI,CAAC,KAAK,CAAC;oBAAE,SAAS;gBACtB,MAAM,GAAG,GAAG,cAAc,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;gBACrF,IAAI,GAAG,EAAE,CAAC;oBACR,0CAA0C;oBAC1C,MAAM,MAAM,GAAG,eAAe,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBACtD,MAAM,MAAM,GAAG,eAAe,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBACtD,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;oBAC1C,IAAI,UAAU,GAAG,gBAAgB,GAAG,CAAC,IAAI,YAAY,GAAG,CAAC,MAAM,KAAK,CAAC;oBACrE,UAAU,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,mBAAmB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,MAAM,IAAI,CAAC;oBACxG,UAAU,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,mBAAmB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,MAAM,IAAI,CAAC;oBACxG,UAAU,IAAI,OAAO,mBAAmB,CAAC,UAAU,CAAC,MAAM,KAAK,EAAE,CAAC;oBAClE,OAAO;wBACL,MAAM,EAAE,UAAU;wBAClB,MAAM,EAAE,UAAU;wBAClB,WAAW,EAAE,EAAE;wBACf,OAAO,EAAE,IAAI;qBACd,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO;YACL,MAAM,EAAE,WAAW;YACnB,MAAM,EAAE,0CAA0C;YAClD,WAAW,EAAE,EAAE;YACf,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAED,YAAY,CAAC,OAAgB;QAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QACxC,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YACvD,MAAM,EACJ,MAAM,CAAC,MAAM,KAAK,OAAO;gBACvB,CAAC,CAAC,wCAAwC;gBAC1C,CAAC,CAAC,kDAAkD;YACxD,WAAW,EAAE,EAAE;YACf,OAAO;SACR,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,OAAgB;QACtB,MAAM,GAAG,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,WAAW,GAAG,EAAE,CAAC;QAErB,IAAI,GAAG,EAAE,CAAC;YACR,WAAW,IAAI,2BAA2B,mBAAmB,CAAC,GAAG,CAAC,UAAU,GAAG,CAAC,IAAI,OAAO,CAAC;YAE5F,MAAM,KAAK,GAAG,mBAAmB,CAAC;gBAChC,IAAI,EAAE,GAAG;gBACT,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,SAAS,EAAE,GAAG,CAAC,SAAS;aACzB,CAAC,CAAC;YACH,MAAM,KAAK,GAAG,mBAAmB,CAAC;gBAChC,IAAI,EAAE,GAAG;gBACT,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,SAAS,EAAE,GAAG,CAAC,SAAS;aACzB,CAAC,CAAC;YACH,MAAM,KAAK,GAAG,mBAAmB,CAAC;gBAChC,IAAI,EAAE,GAAG;gBACT,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,SAAS,EAAE,GAAG,CAAC,SAAS;aACzB,CAAC,CAAC;YACH,MAAM,KAAK,GAAG,mBAAmB,CAAC;gBAChC,IAAI,EAAE,GAAG;gBACT,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,SAAS,EAAE,GAAG,CAAC,SAAS;aACzB,CAAC,CAAC;YAEH,WAAW,IAAI,wBAAwB,CAAC;YACxC,WAAW,IAAI,8DAA8D,CAAC;YAC9E,WAAW,IAAI,oDAAoD,CAAC;YACpE,WAAW,IAAI,4DAA4D,CAAC;YAC5E,WAAW,IAAI,oDAAoD,CAAC;YACpE,WAAW,IAAI,kEAAkE,CAAC;YAElF,WAAW,IAAI,qCAAqC,GAAG,CAAC,IAAI,MAAM,CAAC;YACnE,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;gBACrB,WAAW,IAAI,2BAA2B,KAAK,0CAA0C,CAAC;gBAC1F,WAAW,IAAI,sBAAsB,KAAK,qCAAqC,CAAC;gBAChF,WAAW,IAAI,uBAAuB,KAAK,qCAAqC,CAAC;YACnF,CAAC;iBAAM,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;gBAC5B,WAAW,IAAI,2BAA2B,KAAK,0CAA0C,CAAC;gBAC1F,WAAW,IAAI,sBAAsB,KAAK,qCAAqC,CAAC;gBAChF,WAAW,IAAI,uBAAuB,KAAK,qCAAqC,CAAC;YACnF,CAAC;iBAAM,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;gBAC5B,WAAW,IAAI,2BAA2B,KAAK,0CAA0C,CAAC;gBAC1F,WAAW,IAAI,yBAAyB,KAAK,iCAAiC,CAAC;gBAC/E,WAAW,IAAI,0BAA0B,KAAK,6BAA6B,CAAC;YAC9E,CAAC;iBAAM,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;gBAC5B,WAAW,IAAI,2BAA2B,KAAK,0CAA0C,CAAC;gBAC1F,WAAW,IAAI,yBAAyB,KAAK,iCAAiC,CAAC;gBAC/E,WAAW,IAAI,0BAA0B,KAAK,6BAA6B,CAAC;YAC9E,CAAC;YACD,WAAW,IAAI,IAAI,CAAC;YAEpB,WAAW,IAAI,6BAA6B,CAAC;YAC7C,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG;gBAClB,WAAW,IAAI,aAAa,GAAG,CAAC,OAAO,kCAAkC,GAAG,CAAC,SAAS,2BAA2B,CAAC;YACpH,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG;gBAClB,WAAW,IAAI,aAAa,GAAG,CAAC,OAAO,kCAAkC,GAAG,CAAC,SAAS,wBAAwB,CAAC;YACjH,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG;gBAClB,WAAW,IAAI,aAAa,GAAG,CAAC,OAAO,qCAAqC,GAAG,CAAC,SAAS,2BAA2B,CAAC;YACvH,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG;gBAClB,WAAW,IAAI,aAAa,GAAG,CAAC,OAAO,qCAAqC,GAAG,CAAC,SAAS,wBAAwB,CAAC;YAEpH,4BAA4B;YAC5B,WAAW,IAAI,2BAA2B,CAAC;YAC3C,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;gBACrB,WAAW,IAAI,yCAAyC,GAAG,CAAC,SAAS,OAAO,GAAG,CAAC,OAAO,SAAS,CAAC;gBACjG,WAAW,IAAI,wBAAwB,GAAG,CAAC,OAAO,UAAU,GAAG,CAAC,SAAS,SAAS,CAAC;gBACnF,WAAW,IAAI,8BAA8B,GAAG,CAAC,SAAS,UAAU,GAAG,CAAC,OAAO,WAAW,CAAC;YAC7F,CAAC;iBAAM,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;gBAC5B,WAAW,IAAI,kCAAkC,GAAG,CAAC,SAAS,OAAO,GAAG,CAAC,OAAO,SAAS,CAAC;gBAC1F,WAAW,IAAI,sBAAsB,GAAG,CAAC,OAAO,UAAU,GAAG,CAAC,SAAS,SAAS,CAAC;gBACjF,WAAW,IAAI,+BAA+B,GAAG,CAAC,SAAS,aAAa,GAAG,CAAC,OAAO,WAAW,CAAC;YACjG,CAAC;iBAAM,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;gBAC5B,WAAW,IAAI,iCAAiC,GAAG,CAAC,SAAS,OAAO,GAAG,CAAC,OAAO,SAAS,CAAC;gBACzF,WAAW,IAAI,uBAAuB,GAAG,CAAC,OAAO,aAAa,GAAG,CAAC,SAAS,SAAS,CAAC;gBACrF,WAAW,IAAI,wCAAwC,CAAC;YAC1D,CAAC;iBAAM,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;gBAC5B,WAAW,IAAI,kCAAkC,CAAC;gBAClD,WAAW,IAAI,uBAAuB,GAAG,CAAC,OAAO,UAAU,GAAG,CAAC,SAAS,SAAS,CAAC;gBAClF,WAAW,IAAI,+BAA+B,GAAG,CAAC,SAAS,aAAa,GAAG,CAAC,OAAO,WAAW,CAAC;YACjG,CAAC;QACH,CAAC;aAAM,CAAC;YACN,WAAW,IAAI,YAAY,IAAA,+BAAe,EAAC,OAAO,CAAC,MAAM,CAAC;QAC5D,CAAC;QACD,WAAW,IAAI;YACb,mCAAmC;YACnC,EAAE;YACF,4BAA4B;YAC5B,wCAAwC;YACxC,yCAAyC;YACzC,wCAAwC;YACxC,yCAAyC;YACzC,EAAE;YACF,UAAU;YACV,wDAAwD;YACxD,2DAA2D;YAC3D,sDAAsD;YACtD,yDAAyD;SAC1D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,WAAW;YACnB,WAAW,EAAE,EAAE;YACf,OAAO;SACR,CAAC;IACJ,CAAC;IAED,eAAe,CAAC,CAAU,EAAE,CAAU;QACpC,MAAM,IAAI,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;YACjB,MAAM,KAAK,GACT,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;gBACvB,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;gBAC7B,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS,CAAC;YACpC,OAAO;gBACL,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;gBACnC,MAAM,EAAE,KAAK;oBACX,CAAC,CAAC,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,mBAAmB,CAAC,IAAI,CAAC,mBAAmB;oBAChF,CAAC,CAAC,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,mBAAmB,CAAC,IAAI,CAAC,sBAAsB;gBACrF,WAAW,EAAE,EAAE;aAChB,CAAC;QACJ,CAAC;QACD,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,yDAAyD,IAAA,+BAAe,EAAC,CAAC,CAAC,OAAO,IAAA,+BAAe,EAAC,CAAC,CAAC,EAAE;YAC9G,WAAW,EAAE,EAAE;SAChB,CAAC;IACJ,CAAC;CACF;AApXD,0DAoXC"}

package/dist/profiles/arithmetic/index.d.ts

@@ -1,10 +1,5 @@
 import { Formula, Diagnostic, RunResult, Theory, LogicProfile } from '../../types';
-/**
- * Evalúa recursivamente una fórmula aritmética a un valor numérico.
- * Los átomos se interpretan como 0 (o se buscan en la teoría).
- * Las comparaciones retornan 1 (true) o 0 (false).
- */
-export declare function evalNumeric(f: Formula, vars?: Map<string, number>): number;
+export declare function evalNumeric(f: Formula, vars?: Map<string, number>, trace?: string[]): number;
 export declare class ArithmeticProfile implements LogicProfile {
     name: string;
     description: string;

package/dist/profiles/arithmetic/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/profiles/arithmetic/index.ts"],"names":[],"mappings":"AAYA,OAAO,EACL,OAAO,EACP,UAAU,EACV,SAAS,EACT,MAAM,EACN,YAAY,EACb,MAAM,aAAa,CAAC;AAerB;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAmD1E;AAqCD,qBAAa,iBAAkB,YAAW,YAAY;IACpD,IAAI,SAAgB;IACpB,WAAW,SAAgE;IAE3E,OAAO,CAAC,MAAM;IAQd,eAAe,CAAC,OAAO,EAAE,OAAO,GAAG,UAAU,EAAE;IAqB/C,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IAkBvC,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IAgB7C,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS;IA+B/C,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS;IAIpE,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IAsBzC,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;CAuBrC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/profiles/arithmetic/index.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAQnF,wBAAgB,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,GAAG,MAAM,CA8E5F;AAuBD,qBAAa,iBAAkB,YAAW,YAAY;IACpD,IAAI,SAAgB;IACpB,WAAW,SAAgE;IAE3E,OAAO,CAAC,MAAM;IAQd,eAAe,CAAC,OAAO,EAAE,OAAO,GAAG,UAAU,EAAE;IAqB/C,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IAkBvC,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IAgB7C,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS;IA+B/C,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS;IAIpE,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IAsBzC,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;CA0CrC"}

package/dist/profiles/arithmetic/index.js

@@ -14,83 +14,103 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.ArithmeticProfile = void 0;
 exports.evalNumeric = evalNumeric;
 // --- Tipos aritméticos ---
-const ARITHMETIC_KINDS = new Set([
-    'number', 'add', 'subtract', 'multiply', 'divide', 'modulo',
-    'less', 'greater', 'less_eq', 'greater_eq',
-]);
-const COMPARISON_KINDS = new Set([
-    'less', 'greater', 'less_eq', 'greater_eq',
-]);
+const COMPARISON_KINDS = new Set(['less', 'greater', 'less_eq', 'greater_eq']);
 // --- Evaluación numérica ---
-/**
- * Evalúa recursivamente una fórmula aritmética a un valor numérico.
- * Los átomos se interpretan como 0 (o se buscan en la teoría).
- * Las comparaciones retornan 1 (true) o 0 (false).
- */
-function evalNumeric(f, vars) {
+function evalNumeric(f, vars, trace) {
     switch (f.kind) {
         case 'number':
             return f.value ?? 0;
         case 'atom': {
-            // Intentar resolver variable como número
             if (f.name && vars?.has(f.name)) {
                 return vars.get(f.name);
             }
-            // Átomo sin valor numérico conocido
             return NaN;
         }
         case 'add': {
-            const l = evalNumeric(f.args[0], vars);
-            const r = evalNumeric(f.args[1], vars);
-            return l + r;
+            const l = evalNumeric(f.args[0], vars, trace);
+            const r = evalNumeric(f.args[1], vars, trace);
+            const res = l + r;
+            if (trace)
+                trace.push(`  ${l} + ${r} = ${res} [suma]`);
+            return res;
         }
         case 'subtract': {
-            const l = evalNumeric(f.args[0], vars);
-            const r = evalNumeric(f.args[1], vars);
-            return l - r;
+            const l = evalNumeric(f.args[0], vars, trace);
+            const r = evalNumeric(f.args[1], vars, trace);
+            const res = l - r;
+            if (trace)
+                trace.push(`  ${l} - ${r} = ${res} [resta]`);
+            return res;
         }
         case 'multiply': {
-            const l = evalNumeric(f.args[0], vars);
-            const r = evalNumeric(f.args[1], vars);
-            return l * r;
+            const l = evalNumeric(f.args[0], vars, trace);
+            const r = evalNumeric(f.args[1], vars, trace);
+            const res = l * r;
+            if (trace)
+                trace.push(`  ${l} * ${r} = ${res} [multiplicación]`);
+            return res;
         }
         case 'divide': {
-            const l = evalNumeric(f.args[0], vars);
-            const r = evalNumeric(f.args[1], vars);
+            const l = evalNumeric(f.args[0], vars, trace);
+            const r = evalNumeric(f.args[1], vars, trace);
             if (r === 0)
                 return NaN;
-            return l / r;
+            const res = l / r;
+            if (trace)
+                trace.push(`  ${l} / ${r} = ${res} [división]`);
+            return res;
         }
         case 'modulo': {
-            const l = evalNumeric(f.args[0], vars);
-            const r = evalNumeric(f.args[1], vars);
+            const l = evalNumeric(f.args[0], vars, trace);
+            const r = evalNumeric(f.args[1], vars, trace);
             if (r === 0)
                 return NaN;
-            return l % r;
-        }
-        // Comparaciones retornan 1 (true) o 0 (false)
-        case 'less':
-            return evalNumeric(f.args[0], vars) < evalNumeric(f.args[1], vars) ? 1 : 0;
-        case 'greater':
-            return evalNumeric(f.args[0], vars) > evalNumeric(f.args[1], vars) ? 1 : 0;
-        case 'less_eq':
-            return evalNumeric(f.args[0], vars) <= evalNumeric(f.args[1], vars) ? 1 : 0;
-        case 'greater_eq':
-            return evalNumeric(f.args[0], vars) >= evalNumeric(f.args[1], vars) ? 1 : 0;
+            const res = l % r;
+            if (trace)
+                trace.push(`  ${l} % ${r} = ${res} [módulo]`);
+            return res;
+        }
+        case 'less': {
+            const l = evalNumeric(f.args[0], vars, trace);
+            const r = evalNumeric(f.args[1], vars, trace);
+            const res = l < r;
+            if (trace)
+                trace.push(`  ${l} < ${r} = ${res ? 'verdadero' : 'falso'} [comparación]`);
+            return res ? 1 : 0;
+        }
+        case 'greater': {
+            const l = evalNumeric(f.args[0], vars, trace);
+            const r = evalNumeric(f.args[1], vars, trace);
+            const res = l > r;
+            if (trace)
+                trace.push(`  ${l} > ${r} = ${res ? 'verdadero' : 'falso'} [comparación]`);
+            return res ? 1 : 0;
+        }
+        case 'less_eq': {
+            const l = evalNumeric(f.args[0], vars, trace);
+            const r = evalNumeric(f.args[1], vars, trace);
+            const res = l <= r;
+            if (trace)
+                trace.push(`  ${l} <= ${r} = ${res ? 'verdadero' : 'falso'} [comparación]`);
+            return res ? 1 : 0;
+        }
+        case 'greater_eq': {
+            const l = evalNumeric(f.args[0], vars, trace);
+            const r = evalNumeric(f.args[1], vars, trace);
+            const res = l >= r;
+            if (trace)
+                trace.push(`  ${l} >= ${r} = ${res ? 'verdadero' : 'falso'} [comparación]`);
+            return res ? 1 : 0;
+        }
         default:
             return NaN;
     }
 }
-/**
- * Evalúa una comparación aritmética como valor booleano.
- * Para fórmulas no-comparativas, evalúa el resultado numérico (truthy = !== 0).
- */
-function evalComparison(f, vars) {
+function evalComparison(f, vars, trace) {
     if (COMPARISON_KINDS.has(f.kind)) {
-        return evalNumeric(f, vars) === 1;
+        return evalNumeric(f, vars, trace) === 1;
     }
-    // Para expresiones no-comparativas, truthy si !== 0 y no NaN
-    const val = evalNumeric(f, vars);
+    const val = evalNumeric(f, vars, trace);
     return !isNaN(val) && val !== 0;
 }
 /** Recolecta todos los átomos de una fórmula */
@@ -106,16 +126,6 @@ function collectAtoms(f) {
     walk(f);
     return atoms;
 }
-/**
- * Verifica si una fórmula es puramente aritmética (no contiene conectivos lógicos).
- */
-function isArithmeticFormula(f) {
-    if (ARITHMETIC_KINDS.has(f.kind) || f.kind === 'atom')
-        return true;
-    if (f.args)
-        return f.args.every(isArithmeticFormula);
-    return false;
-}
 // --- Perfil ---
 class ArithmeticProfile {
     name = 'arithmetic';
@@ -150,11 +160,13 @@ class ArithmeticProfile {
         return diags;
     }
     checkValid(formula) {
-        // Para aritmética pura sin variables, evaluar directamente
         const atoms = collectAtoms(formula);
         if (atoms.size === 0) {
-            const result = evalComparison(formula);
-            return this.result(result ? 'valid' : 'invalid', result ? 'La expresión aritmética es verdadera' : 'La expresión aritmética es falsa');
+            const trace = [];
+            const result = evalComparison(formula, undefined, trace);
+            let output = `Evaluación paso a paso:\n${trace.join('\n')}\n`;
+            output += `  → Resultado: ${result ? '✓ verdadero' : '✗ falso'}`;
+            return this.result(result ? 'valid' : 'invalid', output);
         }
         // Con variables: no podemos determinar validez universal fácilmente
         return this.result('unknown', `La fórmula contiene variables (${[...atoms].join(', ')}). No se puede determinar validez universal sin dominio.`);
@@ -207,16 +219,81 @@ class ArithmeticProfile {
     }
     explain(formula) {
         const atoms = collectAtoms(formula);
+        let output = '';
         if (atoms.size === 0) {
-            const val = evalNumeric(formula);
+            const trace = [];
+            const val = evalNumeric(formula, undefined, trace);
+            output += `Evaluación paso a paso:\n${trace.join('\n')}\n`;
             if (COMPARISON_KINDS.has(formula.kind)) {
                 const result = evalComparison(formula);
-                return this.result(result ? 'valid' : 'invalid', `Comparación aritmética: resultado = ${result ? 'verdadero' : 'falso'}`);
+                output += `  → Resultado: ${result ? '✓ verdadero' : '✗ falso'}\n\n`;
+            }
+            else {
+                output += `  → Resultado: ${isNaN(val) ? 'indefinido' : val}\n\n`;
             }
-            return this.result('valid', `Expresión aritmética: resultado = ${isNaN(val) ? 'indefinido' : val}`);
         }
-        return this.result('unknown', `Expresión aritmética con variables: ${[...atoms].join(', ')}. Valor depende de asignación.`);
+        else {
+            output += `Expresión aritmética con variables: ${[...atoms].join(', ')}.\n\n`;
+        }
+        // Simplification
+        const simpTrace = [];
+        simplifyArithmetic(formula, simpTrace);
+        if (simpTrace.length > 0) {
+            output += `Simplificación detectada:\n${simpTrace.join('\n')}\n\n`;
+        }
+        // Properties
+        if (formula.kind === 'add') {
+            output += `Propiedades de la suma (+):\n`;
+            output += `  ✓ Conmutativa: a + b = b + a\n`;
+            output += `  ✓ Asociativa: (a + b) + c = a + (b + c)\n`;
+            output += `  ✓ Identidad: a + 0 = a\n`;
+            output += `  ✓ Inverso: a + (−a) = 0\n`;
+        }
+        else if (formula.kind === 'multiply') {
+            output += `Propiedades de la multiplicación (*):\n`;
+            output += `  ✓ Conmutativa: a * b = b * a\n`;
+            output += `  ✓ Asociativa: (a * b) * c = a * (b * c)\n`;
+            output += `  ✓ Identidad: a * 1 = a\n`;
+            output += `  ✓ Absorción: a * 0 = 0\n`;
+        }
+        return this.result('unknown', output.trim() || `Expresión aritmética: ${formula.kind}`);
     }
 }
 exports.ArithmeticProfile = ArithmeticProfile;
+function simplifyArithmetic(f, trace) {
+    if (f.kind === 'add' && f.args?.length === 2) {
+        const l = simplifyArithmetic(f.args[0], trace);
+        const r = simplifyArithmetic(f.args[1], trace);
+        if (l.kind === 'number' && l.value === 0) {
+            trace.push(`  0 + x = x  [identidad aditiva]`);
+            return r;
+        }
+        if (r.kind === 'number' && r.value === 0) {
+            trace.push(`  x + 0 = x  [identidad aditiva]`);
+            return l;
+        }
+        return { ...f, args: [l, r] };
+    }
+    if (f.kind === 'multiply' && f.args?.length === 2) {
+        const l = simplifyArithmetic(f.args[0], trace);
+        const r = simplifyArithmetic(f.args[1], trace);
+        if ((l.kind === 'number' && l.value === 0) || (r.kind === 'number' && r.value === 0)) {
+            trace.push(`  x * 0 = 0  [absorción multiplicativa]`);
+            return { kind: 'number', value: 0 };
+        }
+        if (l.kind === 'number' && l.value === 1) {
+            trace.push(`  1 * x = x  [identidad multiplicativa]`);
+            return r;
+        }
+        if (r.kind === 'number' && r.value === 1) {
+            trace.push(`  x * 1 = x  [identidad multiplicativa]`);
+            return l;
+        }
+        return { ...f, args: [l, r] };
+    }
+    if (f.args) {
+        f = { ...f, args: f.args.map((a) => simplifyArithmetic(a, trace)) };
+    }
+    return f;
+}
 //# sourceMappingURL=index.js.map