@stevenvo780/st-lang 0.3.0 → 0.4.0

package/dist/tests/philosophy.test.js

@@ -0,0 +1,588 @@
+"use strict";
+// ============================================================
+// ST — Tests Filosóficos Complejos por Sistema Lógico
+// ============================================================
+// Cada sección formaliza argumentos reales de la historia de la
+// filosofía para validar que el motor funciona correctamente
+// con textos complejos de razonamiento filosófico profundo.
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const api_1 = require("../api");
+// ────────────────────────────────────────────────────────────────
+// 1. LÓGICA PROPOSICIONAL CLÁSICA
+// ────────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('Filosofía — Lógica Proposicional Clásica', () => {
+    // ── Aristóteles: Principio de No-Contradicción ──
+    (0, vitest_1.it)('Aristóteles: Principio de No-Contradicción — !(P & !P) es tautología', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+
+// Metafísica IV, 3-6: "Es imposible que lo mismo se dé y no se dé
+// en lo mismo a la vez y en el mismo sentido"
+// Formalización: !(P & !P) — El PNC es una ley lógica universal
+check valid (!(P & !P))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    // ── Aristóteles: Principio del Tercero Excluido ──
+    (0, vitest_1.it)('Aristóteles: Tertium Non Datur — (P | !P) es tautología', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+// Metafísica IV, 7: "No es posible que haya nada entre los dos
+// miembros de una contradicción, sino que necesariamente
+// se ha de afirmar o negar uno de ellos."
+check valid (P | !P)
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    // ── Estoicos: Modus Ponens ──
+    (0, vitest_1.it)('Estoicos: Primer Indemonstrables — Modus Ponens', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+// Crisipo, Primer Indemostrable: "Si lo primero, entonces lo segundo;
+// pero lo primero; por tanto, lo segundo."
+// (P -> Q) & P => Q
+axiom premisa_mayor : P -> Q
+axiom premisa_menor : P
+derive Q from {premisa_mayor, premisa_menor}
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('provable');
+    });
+    // ── Estoicos: Modus Tollens ──
+    (0, vitest_1.it)('Estoicos: Segundo Indemostrable — Modus Tollens', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+// Crisipo, Segundo Indemostrable: "Si lo primero, entonces lo segundo;
+// pero no lo segundo; por tanto, no lo primero."
+check valid ((P -> Q) -> (!Q -> !P))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    // ── Estoicos: Silogismo Disyuntivo ──
+    (0, vitest_1.it)('Estoicos: Tercer Indemostrable — Silogismo Disyuntivo', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+// "O lo primero o lo segundo; pero no lo primero; por tanto, lo segundo."
+check valid (((P | Q) & !P) -> Q)
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    // ── Wittgenstein: Tautología compuesta del Tractatus ──
+    (0, vitest_1.it)('Wittgenstein: Tautología compleja — cadena de implicaciones', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+// Tractatus 4.461: "La tautología no tiene condiciones de verdad,
+// pues es incondicionalmente verdadera."
+// ((P -> Q) & (Q -> R)) -> (P -> R) — Transitividad del condicional
+check valid (((P -> Q) & (Q -> R)) -> (P -> R))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    // ── Leibniz: Principio de Razón Suficiente (formalización parcial) ──
+    (0, vitest_1.it)('Leibniz: Principio de Identidad — (P <-> P) es tautología', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+// Monadología §31-32: "Nuestros razonamientos se fundan en dos grandes
+// principios: el de contradicción y el de razón suficiente."
+// El principio de identidad: P <-> P
+check valid (P <-> P)
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    // ── Peirce: Ley de Peirce ──
+    (0, vitest_1.it)('Peirce: Ley de Peirce — ((P -> Q) -> P) -> P', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+// C.S. Peirce (1885): Esta ley es válida clásicamente pero no
+// intuicionistamente, distinguiendo ambas lógicas.
+check valid (((P -> Q) -> P) -> P)
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    // ── Tabla de verdad: Análisis de la Paradoja del Condicional Material ──
+    (0, vitest_1.it)('Paradoja del Condicional Material — Ex falso quodlibet', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+// C.I. Lewis señaló que P -> (Q -> P) es una tautología,
+// lo cual muestra que una verdad se sigue de cualquier cosa.
+check valid (P -> (Q -> P))
+truth_table (P -> (Q -> P))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+        (0, vitest_1.expect)(r.results[1].truthTable).toBeDefined();
+        (0, vitest_1.expect)(r.results[1].truthTable.isTautology).toBe(true);
+    });
+    // ── Argumento complejo: Dilema Constructivo ──
+    (0, vitest_1.it)('Dilema Constructivo — ((P->Q) & (R->S)) -> ((P|R) -> (Q|S))', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+// Forma de argumento clásica usada extensamente en retórica filosófica.
+check valid (((P -> Q) & (R -> S)) -> ((P | R) -> (Q | S)))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    // ── De Morgan: Leyes ──
+    (0, vitest_1.it)('De Morgan: !(P & Q) <-> (!P | !Q)', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+// Augustus De Morgan (1847): Equivalencias fundamentales
+check valid (!(P & Q) <-> (!P | !Q))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    (0, vitest_1.it)('De Morgan: !(P | Q) <-> (!P & !Q)', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+check valid (!(P | Q) <-> (!P & !Q))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    // ── Derivación compleja: Argumento de Descartes ──
+    (0, vitest_1.it)('Descartes: Cogito formalizado como cadena deductiva', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+// Reconstrucción formal del Cogito:
+// P = "Pienso" (Cogito)
+// D = "Algo que piensa existe" (res cogitans)
+// E = "Existo" (Sum)
+// Si pienso, entonces algo que piensa existe.
+// Si algo que piensa existe, entonces existo.
+// Pienso. Luego, existo.
+axiom cogito : P
+axiom pensar_implica_res_cogitans : P -> D
+axiom res_cogitans_implica_existencia : D -> E
+derive E from {cogito, pensar_implica_res_cogitans, res_cogitans_implica_existencia}
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('provable');
+    });
+    // ── Contraejemplo: Falacia de Afirmación del Consecuente ──
+    (0, vitest_1.it)('Falacia de Afirmación del Consecuente — NO es válida', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+// Si llueve, el suelo está mojado. El suelo está mojado. ¿Llueve?
+// ((P -> Q) & Q) -> P  NO es una tautología (falacia)
+check valid (((P -> Q) & Q) -> P)
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('invalid');
+    });
+    // ── Contraejemplo: Falacia de Negación del Antecedente ──
+    (0, vitest_1.it)('Falacia de Negación del Antecedente — NO es válida', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+// Si llueve, el suelo está mojado. No llueve. ¿El suelo no está mojado?
+check valid (((P -> Q) & !P) -> !Q)
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('invalid');
+    });
+});
+// ────────────────────────────────────────────────────────────────
+// 2. LÓGICA MODAL K
+// ────────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('Filosofía — Lógica Modal K', () => {
+    // ── Axioma K: Distribución de la Necesidad ──
+    (0, vitest_1.it)('Axioma K — [](P -> Q) -> ([]P -> []Q)', () => {
+        const r = (0, api_1.evaluate)(`
+logic modal.k
+// El axioma fundamental del sistema K de Kripke:
+// "Si es necesario que P implique Q, entonces si es necesario P,
+// es necesario Q". Distribución de [] sobre ->.
+check valid ([](P -> Q) -> ([]P -> []Q))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    // ── Regla de Necessitación (consecuencia) ──
+    (0, vitest_1.it)('Necessitación: tautología bajo [] — [](P -> P)', () => {
+        const r = (0, api_1.evaluate)(`
+logic modal.k
+// La regla de necessitación dice: si A es un teorema, entonces []A.
+// Como (P -> P) es tautología, [](P -> P) debe ser válida.
+check valid ([](P -> P))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    // ── Dualidad □/◇ ──
+    (0, vitest_1.it)('Dualidad modal: <>P <-> ![]!P', () => {
+        const r = (0, api_1.evaluate)(`
+logic modal.k
+// Dualidad fundamental: "Es posible P" equivale a
+// "No es necesario no-P". Análoga a ∃/∀ en FOL.
+check valid (<>P <-> ![]!P)
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    // ── Dualidad simétrica ──
+    (0, vitest_1.it)('Dualidad modal simétrica: []P <-> !<>!P', () => {
+        const r = (0, api_1.evaluate)(`
+logic modal.k
+// El dual: "Es necesario P" equivale a "No es posible no-P".
+check valid ([]P <-> !<>!P)
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    // ── No-validez del axioma T en K ──
+    (0, vitest_1.it)('Axioma T NO es válido en K: []P -> P', () => {
+        const r = (0, api_1.evaluate)(`
+logic modal.k
+// El axioma T (reflexividad) requiere que todo mundo sea accesible
+// a sí mismo. En K puro esto no se asume.
+check valid ([]P -> P)
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('invalid');
+    });
+    // ── No-validez del axioma 4 en K ──
+    (0, vitest_1.it)('Axioma 4 NO es válido en K: []P -> [][]P', () => {
+        const r = (0, api_1.evaluate)(`
+logic modal.k
+// El axioma 4 (transitividad) requiere que la relación de accesibilidad
+// sea transitiva. En K puro esto no se asume.
+check valid ([]P -> [][]P)
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('invalid');
+    });
+    // ── No-validez del axioma B en K ──
+    (0, vitest_1.it)('Axioma B NO es válido en K: P -> []<>P', () => {
+        const r = (0, api_1.evaluate)(`
+logic modal.k
+// El axioma B (simetría) requiere que la relación de accesibilidad
+// sea simétrica. En K puro esto no se asume.
+check valid (P -> []<>P)
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('invalid');
+    });
+    // ── Distribución de [] sobre & ──
+    (0, vitest_1.it)('Distribución de [] sobre conjunción: [](P & Q) <-> ([]P & []Q)', () => {
+        const r = (0, api_1.evaluate)(`
+logic modal.k
+// Teorema válido en K: la necesidad distribuye sobre la conjunción.
+check valid ([](P & Q) <-> ([]P & []Q))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    // ── [] no distribuye sobre disyunción (dirección inversa) ──
+    (0, vitest_1.it)('[]P | []Q -> [](P | Q) — válido', () => {
+        const r = (0, api_1.evaluate)(`
+logic modal.k
+// Si P es necesario O Q es necesario, entonces (P o Q) es necesario.
+check valid (([]P | []Q) -> [](P | Q))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    (0, vitest_1.it)('[](P | Q) -> ([]P | []Q) — NO válido', () => {
+        const r = (0, api_1.evaluate)(`
+logic modal.k
+// La conversa NO vale: que necesariamente (P o Q) no implica
+// que uno de los dos sea necesario individualmente.
+check valid ([](P | Q) -> ([]P | []Q))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('invalid');
+    });
+    // ── Argumento modal ontológico simplificado ──
+    (0, vitest_1.it)('Argumento ontológico modal (Gödel simplificado): premisas modales', () => {
+        const r = (0, api_1.evaluate)(`
+logic modal.k
+// Simplificación: Si es posible que sea necesario P, y asumimos K,
+// no podemos concluir P (requiere S5).
+// <>[]P -> P  NO es válido en K
+check valid (<>[]P -> P)
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('invalid');
+    });
+    // ── Kripke: Anidamiento modal complejo ──
+    (0, vitest_1.it)('Kripke: [](!P -> <>!P) — válido (necesidad de la posibilidad de lo negado)', () => {
+        const r = (0, api_1.evaluate)(`
+logic modal.k
+// En K: si no-P es el caso en un mundo, entonces es posible no-P
+// desde ese mundo (reflexividad local). Necesariamente: si no-P, posible no-P.
+// Esto NO es válido porque no tenemos reflexividad.
+check valid ([](!P -> <>!P))
+`);
+        // En K sin reflexividad, !P -> <>!P no es válido en general
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('invalid');
+    });
+});
+// ────────────────────────────────────────────────────────────────
+// 3. LÓGICA DE PRIMER ORDEN
+// ────────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('Filosofía — Lógica de Primer Orden', () => {
+    // ── Aristóteles: Barbara (Todos los hombres son mortales) ──
+    (0, vitest_1.it)('Barbara: (∀x P(x)->Q(x)) & P(a) => Q(a)', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.first_order
+// Silogismo clásico aristotélico (Barbara):
+// Todo hombre es mortal. Sócrates es hombre. Luego Sócrates es mortal.
+// Formalizado: (∀x (Hombre(x) -> Mortal(x))) & Hombre(socrates) => Mortal(socrates)
+check valid ((forall x (P(x) -> Q(x))) -> (P(a) -> Q(a)))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    // ── Instanciación Universal ──
+    (0, vitest_1.it)('Instanciación Universal: (∀x P(x)) -> P(a)', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.first_order
+// Regla fundamental: lo que vale para todos, vale para cualquiera.
+check valid ((forall x P(x)) -> P(a))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    // ── Generalización Existencial ──
+    (0, vitest_1.it)('Generalización Existencial: P(a) -> (∃x P(x))', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.first_order
+// Si algo es verdadero de 'a', entonces existe algo de lo cual es verdadero.
+check valid (P(a) -> (exists x P(x)))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    // ── Falacia existencial→universal ──
+    (0, vitest_1.it)('Falacia: (∃x P(x)) -> (∀x P(x)) — NO válida', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.first_order
+// Que exista algo con propiedad P no implica que todo tenga P.
+// "Algunos cisnes son blancos" no implica "Todos los cisnes son blancos".
+check valid ((exists x P(x)) -> (forall x P(x)))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        // FOL puede devolver 'unknown' si no cierra tableau
+        (0, vitest_1.expect)(['invalid', 'unknown']).toContain(r.results[0].status);
+    });
+    // ── Dualidad cuantificadores ──
+    (0, vitest_1.it)('Dualidad: (∀x P(x)) -> !(∃x !P(x)) — válida', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.first_order
+// Si todo tiene P, no existe nada sin P.
+check valid ((forall x P(x)) -> !(exists x !P(x)))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        // Puede no cerrar tableau en FOL limitado
+        (0, vitest_1.expect)(['valid', 'unknown']).toContain(r.results[0].status);
+    });
+});
+// ────────────────────────────────────────────────────────────────
+// 4. LÓGICA PARACONSISTENTE DE BELNAP
+// ────────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('Filosofía — Lógica Paraconsistente (Belnap 4-valued)', () => {
+    // ── Belnap: Tolerancia a contradicciones ──
+    (0, vitest_1.it)('Belnap: P & !P NO es tautología (no es siempre T/B)', () => {
+        const r = (0, api_1.evaluate)(`
+logic paraconsistent.belnap
+// En Belnap, una contradicción P & !P evalúa a:
+// - B (Both) cuando P = B
+// - F cuando P = T, F, o N
+// No es designada (T o B) en todos los casos → no es tautología.
+check valid (P & !P)
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('invalid');
+    });
+    // ── Belnap: Disyunción inclusiva ──
+    (0, vitest_1.it)('Belnap: P | !P es satisfacible pero NO tautología', () => {
+        const r = (0, api_1.evaluate)(`
+logic paraconsistent.belnap
+// En lógica clásica, P | !P es siempre verdadero.
+// En Belnap, si P = N (None), entonces P | !P = N | N = N,
+// que no es designado. Por tanto NO es tautología en Belnap.
+check valid (P | !P)
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('invalid');
+    });
+    (0, vitest_1.it)('Belnap: P | !P es satisfacible', () => {
+        const r = (0, api_1.evaluate)(`
+logic paraconsistent.belnap
+check satisfiable (P | !P)
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('satisfiable');
+    });
+    // ── Belnap: Explosión controlada ──
+    (0, vitest_1.it)('Belnap: Ex Falso Quodlibet FALLA — (P & !P) -> Q no es tautología', () => {
+        const r = (0, api_1.evaluate)(`
+logic paraconsistent.belnap
+// En lógica clásica, de una contradicción se sigue cualquier cosa.
+// En Belnap, esto FALLA: la contradicción no "explota" el sistema.
+// Si P = B, entonces P & !P = B, y B -> Q depende de Q.
+// Si Q = F, entonces B -> F = (no-B | F) = (B | F) = B,
+// que es designado... pero si Q = N, B -> N = (B | N) = T.
+// Hay que verificar todos los 16 casos.
+check valid ((P & !P) -> Q)
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('invalid');
+    });
+    // ── Priest / Belnap: Información inconsistente pero útil ──
+    (0, vitest_1.it)('Belnap: Ex Falso no explota — (P & !P) -> Q no preserva designación', () => {
+        const r = (0, api_1.evaluate)(`
+logic paraconsistent.belnap
+// En Belnap, la inferencia de premisas contradictorias a cualquier Q
+// NO es válida: (P & !P) -> Q no siempre da valor designado.
+// Esto es BUENO: Belnap tolera contradicciones sin explosión.
+// Si P=B, Q=N: (B & B) -> N = B -> N = (!B | N) = (B | N) = T (designado)
+// Pero si P=T, Q=F: (T & F) -> F = F -> F = (!F | F) = (T | F) = T
+// Revisemos con prove: la prueba falla porque la implicación material no preserva.
+axiom fuente1 : P
+axiom fuente2 : !P
+axiom dato_independiente : Q
+prove Q from {fuente1, fuente2, dato_independiente}
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        // En Belnap prove, se evalúa (premisas -> goal) con 4 valores.
+        // La conjunción de los axiomas no siempre implica Q designadamente.
+        (0, vitest_1.expect)(r.results[0].status).toBe('refutable');
+    });
+    // ── Belnap: Implicación material con None ──
+    (0, vitest_1.it)('Belnap: (P -> P) NO es tautología (N -> N = N, no designado)', () => {
+        const r = (0, api_1.evaluate)(`
+logic paraconsistent.belnap
+// En Belnap, P -> P = !P | P.
+// Si P = N (None): !N = N, N | N = N, que NO es designado.
+// Por tanto P -> P NO es tautología en Belnap 4-valued.
+check valid (P -> P)
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('invalid');
+    });
+    // ── Belnap: Contrapositiva no vale completamente ──
+    (0, vitest_1.it)('Belnap: check valid del condicional material devuelve truthTable', () => {
+        const r = (0, api_1.evaluate)(`
+logic paraconsistent.belnap
+// El condicional material en Belnap NO es tautología.
+// Usamos check valid que internamente genera la tabla Belnap.
+check valid (P -> Q)
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('invalid');
+        // checkValid de Belnap devuelve la tabla de verdad en el resultado
+        (0, vitest_1.expect)(r.results[0].truthTable).toBeDefined();
+        // 4 valores × 4 valores = 16 filas
+        (0, vitest_1.expect)(r.results[0].truthTable.rows.length).toBe(16);
+    });
+});
+// ────────────────────────────────────────────────────────────────
+// 5. TESTS MULTI-SISTEMA — Argumentos filosóficos extensos
+// ────────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('Filosofía — Argumentos Extensos Multi-paso', () => {
+    // ── Kant: Estructura del Imperativo Categórico (formalización) ──
+    (0, vitest_1.it)('Kant: Cadena deductiva del Imperativo Categórico', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+// Fundamentación de la Metafísica de las Costumbres (1785):
+// U = "La máxima es universalizable"
+// D = "Es deber moral"
+// A = "La acción es moralmente permisible"
+//
+// Si universalizable, entonces deber. Si deber, entonces permisible.
+// Conclusión: Si universalizable, entonces permisible. (Transitividad)
+check valid (((U -> D) & (D -> A)) -> (U -> A))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    // ── Hume: Problema de la Inducción ──
+    (0, vitest_1.it)('Hume: Falacia inductiva — lo particular no implica lo universal', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+// Hume, Tratado de la Naturaleza Humana (1739):
+// Que hayamos observado N casos de (P -> Q) no garantiza el caso N+1.
+// Formalización simplificada: (P1 -> Q1) & (P2 -> Q2) no implica (P3 -> Q3)
+check valid (((A -> B) & (C -> D)) -> (E -> F))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('invalid');
+    });
+    // ── Russell: Paradoja del Barbero (estructura lógica) ──
+    (0, vitest_1.it)('Russell: Estructura auto-referencial — (P <-> !P) es contradicción', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+// La paradoja de Russell muestra que (P <-> !P) es insatisfacible:
+// "El barbero afeita a todos los que no se afeitan a sí mismos"
+// Si el barbero se afeita: no debería. Si no: debería. Contradicción.
+check satisfiable (P <-> !P)
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('unsatisfiable');
+    });
+    // ── Gödel-Henkin: Completitud (meta-propiedad demostrada formalmente) ──
+    (0, vitest_1.it)('Completitud proposicional: toda tautología es derivable', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+// Verificamos varias tautologías clásicas conocidas:
+check valid ((P -> (Q -> R)) -> ((P -> Q) -> (P -> R)))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    // ── Frege: Axioma 1 del Begriffsschrift ──
+    (0, vitest_1.it)('Frege: Axioma 1 del Begriffsschrift — P -> (Q -> P)', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+// Gottlob Frege, Begriffsschrift (1879), Axioma 1:
+// "Lo verdadero es implicado por cualquier cosa."
+check valid (P -> (Q -> P))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    // ── Frege: Axioma 2 del Begriffsschrift ──
+    (0, vitest_1.it)('Frege: Axioma 2 — distribución del condicional', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+// Frege, Begriffsschrift, Axioma 2:
+// (P -> (Q -> R)) -> ((P -> Q) -> (P -> R))
+check valid ((P -> (Q -> R)) -> ((P -> Q) -> (P -> R)))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0].status).toBe('valid');
+    });
+    // ── Test combinado extenso: Múltiples operaciones ──
+    (0, vitest_1.it)('Combinado: axiomas + derivaciones + tablas + checks en una sesión', () => {
+        const r = (0, api_1.evaluate)(`
+logic classical.propositional
+
+// Definir una teoría filosófica completa
+axiom determinismo : D -> C
+axiom libre_albedrio : L -> !C
+axiom compatibilismo : D & L
+
+// Verificar consecuencias
+derive C from {determinismo, compatibilismo}
+truth_table (D & L)
+
+// El compatibilismo lleva a contradicción con estas premisas
+check valid ((D -> C) -> ((L -> !C) -> !(D & L)))
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results.length).toBeGreaterThanOrEqual(2);
+    });
+});
+//# sourceMappingURL=philosophy.test.js.map

package/dist/tests/philosophy.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"philosophy.test.js","sourceRoot":"","sources":["../../src/tests/philosophy.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,sDAAsD;AACtD,+DAA+D;AAC/D,gEAAgE;AAChE,6DAA6D;AAC7D,4DAA4D;AAC5D,+DAA+D;;AAE/D,mCAA8C;AAC9C,gCAAkC;AAElC,mEAAmE;AACnE,kCAAkC;AAClC,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IAExD,mDAAmD;IACnD,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;;;CAOtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,oDAAoD;IACpD,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;;CAMtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,+BAA+B;IAC/B,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;;;;CAQtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,gCAAgC;IAChC,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;CAKtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,uCAAuC;IACvC,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;CAItB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,yDAAyD;IACzD,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;;CAMtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,uEAAuE;IACvE,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;;CAMtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,8BAA8B;IAC9B,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;CAKtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,0EAA0E;IAC1E,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;;CAMtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;QAC9C,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAW,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,gDAAgD;IAChD,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;CAItB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,yBAAyB;IACzB,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;CAItB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;CAGtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,oDAAoD;IACpD,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;;;;;;;;;CAatB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,6DAA6D;IAC7D,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;CAKtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,2DAA2D;IAC3D,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;CAItB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,oBAAoB;AACpB,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAE1C,+CAA+C;IAC/C,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;;CAMtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,8CAA8C;IAC9C,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;CAKtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,qBAAqB;IACrB,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;CAKtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,2BAA2B;IAC3B,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;CAItB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,qCAAqC;IACrC,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;CAKtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,qCAAqC;IACrC,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;CAKtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,qCAAqC;IACrC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;CAKtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,mCAAmC;IACnC,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;CAItB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,8DAA8D;IAC9D,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;CAItB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;CAKtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,gDAAgD;IAChD,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;;CAMtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,2CAA2C;IAC3C,IAAA,WAAE,EAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;;CAMtB,CAAC,CAAC;QACC,4DAA4D;QAC5D,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,4BAA4B;AAC5B,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAElD,8DAA8D;IAC9D,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;;CAMtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,gCAAgC;IAChC,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;CAItB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,mCAAmC;IACnC,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;CAItB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,sCAAsC;IACtC,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;CAKtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,oDAAoD;QACpD,IAAA,eAAM,EAAC,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,iCAAiC;IACjC,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;CAItB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,0CAA0C;QAC1C,IAAA,eAAM,EAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,sCAAsC;AACtC,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,sDAAsD,EAAE,GAAG,EAAE;IAEpE,6CAA6C;IAC7C,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;;;CAOtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,qCAAqC;IACrC,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;;CAMtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;CAGtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,qCAAqC;IACrC,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;;;;;CAStB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,6DAA6D;IAC7D,IAAA,WAAE,EAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;;;;;;;;CAYtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,+DAA+D;QAC/D,oEAAoE;QACpE,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,8CAA8C;IAC9C,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;;CAMtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,qDAAqD;IACrD,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;CAKtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC5C,mEAAmE;QACnE,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;QAC9C,mCAAmC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,2DAA2D;AAC3D,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAE1D,mEAAmE;IACnE,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;;;;;;CAUtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,uCAAuC;IACvC,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;;CAMtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,0DAA0D;IAC1D,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;;CAMtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,0EAA0E;IAC1E,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;CAItB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,4CAA4C;IAC5C,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;CAKtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,4CAA4C;IAC5C,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;CAKtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,sDAAsD;IACtD,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;;;;;;;;;;CActB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/text-layer/compiler.d.ts

@@ -1,12 +1,8 @@
-import { Anchor, Passage, Formalization, Claim, Support, Confidence, Context, Formula, Theory, Diagnostic } from '../types';
-export interface TextLayerState {
-    passages: Map<string, Passage>;
-    formalizations: Map<string, Formalization>;
-    claims: Map<string, Claim>;
-    supports: Support[];
-    confidences: Confidence[];
-    contexts: Context[];
-}
+/**
+ * ST Text Layer — Compilador texto -> formula/claim
+ */
+import { Anchor, Formula, Theory, Diagnostic, TextLayerState } from '../types';
+export type { TextLayerState };
 export declare function createTextLayerState(): TextLayerState;
 export declare function parseAnchorPath(raw: string): Anchor;
 export declare function registerPassage(state: TextLayerState, name: string, anchorPath: string): Diagnostic[];

package/dist/text-layer/compiler.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../../src/text-layer/compiler.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAC5E,MAAM,EAAE,UAAU,EACnB,MAAM,UAAU,CAAC;AAElB,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC3C,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC3B,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,QAAQ,EAAE,OAAO,EAAE,CAAC;CACrB;AAED,wBAAgB,oBAAoB,IAAI,cAAc,CASrD;AAGD,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAcnD;AAGD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,MAAM,GACjB,UAAU,EAAE,CAId;AAGD,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,OAAO,GACf,UAAU,EAAE,CAYd;AAGD,wBAAgB,aAAa,CAC3B,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE,OAAO,EACjB,gBAAgB,CAAC,EAAE,MAAM,GACxB,UAAU,EAAE,CAYd;AAGD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,cAAc,EACrB,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,GACjB,UAAU,EAAE,CAmBd;AAGD,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,cAAc,EACrB,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,MAAM,GACZ,UAAU,EAAE,CAyBd;AAGD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,cAAc,EACrB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,MAAM,GACX,UAAU,EAAE,CAkBd;AAGD,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,cAAc,EACrB,MAAM,EAAE,MAAM,GACb,UAAU,EAAE,CAqBd"}
+{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../../src/text-layer/compiler.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAE/E,YAAY,EAAE,cAAc,EAAE,CAAC;AAE/B,wBAAgB,oBAAoB,IAAI,cAAc,CASrD;AAGD,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAcnD;AAGD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,MAAM,GACjB,UAAU,EAAE,CAId;AAGD,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,OAAO,GACf,UAAU,EAAE,CAYd;AAGD,wBAAgB,aAAa,CAC3B,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE,OAAO,EACjB,gBAAgB,CAAC,EAAE,MAAM,GACxB,UAAU,EAAE,CAgBd;AAGD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,cAAc,EACrB,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,GACjB,UAAU,EAAE,CAmBd;AAGD,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,cAAc,EACrB,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,MAAM,GACZ,UAAU,EAAE,CAyBd;AAGD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,cAAc,EACrB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,MAAM,GACX,UAAU,EAAE,CAkBd;AAGD,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,EAAE,CAqBzF"}