@stevenvo780/autologic 2.0.1 → 2.2.0

package/dist/llm-parser.js

@@ -0,0 +1,122 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.parseTextWithLLM = parseTextWithLLM;
+exports.llmResultToST = llmResultToST;
+const ast_compiler_1 = require("./formula/ast-compiler");
+const local_slm_web_1 = require("./local-slm-web");
+/**
+ * Prompt maestro isomorfico y ciego al entorno.
+ * Instruye al LLM para actuar como un destilador proposicional situado.
+ */
+function buildSystemPrompt(profile) {
+    return `You are Autologic's semantic AST parser. 
+Your goal is to read complex human text (often obfuscated legal/technical jargon) and translate it into Situated Propositional Logic or bounded First-Order Logic depending on the profile: '${profile}'.
+DO NOT try to resolve or prove the logic. Only extract the claims and their semantic relations.
+AVOID deep First-Order combinatorial explosions. If passing a specific instance, collapse it into descriptive propositional atoms like: 'CumpleInformesOrdinarios'.
+
+You MUST return a pure JSON object conforming exactly to this TS interface, nothing else:
+{
+  "axioms": [ { "name": "a1", "formulaJSON": { "type": "Connective", "operator": "IMPLIES", "left": {...}, "right": {...} } } ],
+  "conclusions": [ { "formulaJSON": { "type": "Atom", "id": "PasaProgramacionEditorial" } } ]
+}
+Available types for formulaJSON:
+- Atom (id)
+- Connective (operator: AND, OR, IMPLIES, IFF, NOT, left, right)
+- Modal (operator: K, B, O, P, BOX, DIA, etc., child, agent)
+- Quantifier (operator: FORALL, EXISTS, variables, child)
+- predicate (name, args: ObjectNode[])
+
+Be precise. Do not include markdown codeblocks around the JSON.`;
+}
+/**
+ * Llama a la API del LLM (usando fetch isomorfico) para abstraer el texto a AST.
+ */
+async function parseTextWithLLM(text, profile, config) {
+    const systemPrompt = buildSystemPrompt(profile);
+    if (config.provider === 'web-distilled') {
+        return await (0, local_slm_web_1.runDistilledWebInference)(text, profile, systemPrompt, config.endpoint);
+    }
+    if (config.provider === 'ollama') {
+        // Interfaz nativa de Ollama para el servidor GPU
+        const url = config.endpoint || 'http://localhost:11434/api/chat';
+        const response = await fetch(url, {
+            method: 'POST',
+            headers: { 'Content-Type': 'application/json' },
+            body: JSON.stringify({
+                model: config.model || 'qwen2.5:7b',
+                messages: [
+                    { role: 'system', content: systemPrompt },
+                    { role: 'user', content: `Formalize this text:\n\n${text}` }
+                ],
+                stream: false,
+                format: 'json',
+                options: {
+                    temperature: 0.1
+                }
+            })
+        });
+        if (!response.ok) {
+            const errText = await response.text();
+            throw new Error(`Ollama API Error: ${response.status} - ${errText}`);
+        }
+        const data = await response.json();
+        const rawContent = data.message.content;
+        try {
+            return JSON.parse(rawContent);
+        }
+        catch (e) {
+            throw new Error(`Failed to parse Ollama JSON. Raw: ${rawContent}`);
+        }
+    }
+    let url = config.endpoint || 'https://api.openai.com/v1/chat/completions';
+    let headers = {
+        'Content-Type': 'application/json'
+    };
+    let body = {};
+    if (config.provider === 'openai') {
+        headers['Authorization'] = `Bearer ${config.apiKey}`;
+        body = {
+            model: config.model || 'gpt-4o',
+            messages: [
+                { role: 'system', content: systemPrompt },
+                { role: 'user', content: `Formalize this text:\n\n${text}` }
+            ],
+            response_format: { type: 'json_object' },
+            temperature: 0.1
+        };
+    }
+    else {
+        throw new Error(`Provider ${config.provider} not yet fully implemented in this isomorphic fetch stub.`);
+    }
+    const response = await fetch(url, {
+        method: 'POST',
+        headers,
+        body: JSON.stringify(body)
+    });
+    if (!response.ok) {
+        const errText = await response.text();
+        throw new Error(`LLM API Error: ${response.status} - ${errText}`);
+    }
+    const data = await response.json();
+    const rawContent = data.choices[0].message.content;
+    try {
+        return JSON.parse(rawContent);
+    }
+    catch (e) {
+        throw new Error(`Failed to parse LLM JSON output. Raw: ${rawContent}`);
+    }
+}
+/**
+ * Transforma la respuesta estructurada del LLM directamente a líneas de código ST seguras.
+ */
+function llmResultToST(result) {
+    const lines = [];
+    for (const ax of result.axioms) {
+        lines.push({ formula: (0, ast_compiler_1.compileAST)(ax.formulaJSON), type: 'axiom' });
+    }
+    for (const conc of result.conclusions) {
+        lines.push({ formula: (0, ast_compiler_1.compileAST)(conc.formulaJSON), type: 'check' });
+    }
+    return lines;
+}
+//# sourceMappingURL=llm-parser.js.map

package/dist/llm-parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"llm-parser.js","sourceRoot":"","sources":["../src/llm-parser.ts"],"names":[],"mappings":";;AA8CA,4CAiFC;AAKD,sCAYC;AA/ID,yDAAoD;AAEpD,mDAA2D;AAe3D;;;GAGG;AACH,SAAS,iBAAiB,CAAC,OAAqB;IAC9C,OAAO;+LACsL,OAAO;;;;;;;;;;;;;;;;gEAgBtI,CAAC;AACjE,CAAC;AAED;;GAEG;AACI,KAAK,UAAU,gBAAgB,CAAC,IAAY,EAAE,OAAqB,EAAE,MAAiB;IAC3F,MAAM,YAAY,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAEhD,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO,MAAM,IAAA,wCAAwB,EAAC,IAAI,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IACvF,CAAC;IAED,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACjC,iDAAiD;QACjD,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,IAAI,iCAAiC,CAAC;QACjE,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,GAAG,EAAE;YAChC,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE;YAC/C,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;gBACnB,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,YAAY;gBACnC,QAAQ,EAAE;oBACR,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;oBACzC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,2BAA2B,IAAI,EAAE,EAAE;iBAC7D;gBACD,MAAM,EAAE,KAAK;gBACb,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE;oBACP,WAAW,EAAE,GAAG;iBACjB;aACF,CAAC;SACH,CAAC,CAAC;QAEH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtC,MAAM,IAAI,KAAK,CAAC,qBAAqB,QAAQ,CAAC,MAAM,MAAM,OAAO,EAAE,CAAC,CAAC;QACvE,CAAC;QAED,MAAM,IAAI,GAAQ,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;QACxC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QACxC,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,KAAK,CAAC,UAAU,CAAoB,CAAC;QACnD,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,qCAAqC,UAAU,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IAED,IAAI,GAAG,GAAG,MAAM,CAAC,QAAQ,IAAI,4CAA4C,CAAC;IAC1E,IAAI,OAAO,GAAQ;QACjB,cAAc,EAAE,kBAAkB;KACnC,CAAC;IACF,IAAI,IAAI,GAAQ,EAAE,CAAC;IAEnB,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,CAAC,eAAe,CAAC,GAAG,UAAU,MAAM,CAAC,MAAM,EAAE,CAAC;QACrD,IAAI,GAAG;YACL,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,QAAQ;YAC/B,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;gBACzC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,2BAA2B,IAAI,EAAE,EAAE;aAC7D;YACD,eAAe,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;YACxC,WAAW,EAAE,GAAG;SACjB,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,YAAY,MAAM,CAAC,QAAQ,2DAA2D,CAAC,CAAC;IAC1G,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,GAAG,EAAE;QAChC,MAAM,EAAE,MAAM;QACd,OAAO;QACP,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;KAC3B,CAAC,CAAC;IAEH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CAAC,kBAAkB,QAAQ,CAAC,MAAM,MAAM,OAAO,EAAE,CAAC,CAAC;IACpE,CAAC;IAED,MAAM,IAAI,GAAQ,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;IACxC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IAEnD,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,UAAU,CAAoB,CAAC;IACnD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CAAC,yCAAyC,UAAU,EAAE,CAAC,CAAC;IACzE,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAgB,aAAa,CAAC,MAAuB;IACnD,MAAM,KAAK,GAAmD,EAAE,CAAC;IAEjE,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAA,yBAAU,EAAC,EAAE,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAA,yBAAU,EAAC,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IACvE,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/local-slm-web.d.ts

@@ -0,0 +1,8 @@
+import { LLMParsedResult } from './llm-parser';
+import { LogicProfile } from './types';
+/**
+ * Loads @huggingface/transformers asynchronously and runs local ONNX inference
+ * using our fine-tuned Qwen2.5-0.5B model hosted on HuggingFace or loaded locally.
+ */
+export declare function runDistilledWebInference(text: string, profile: LogicProfile, systemPrompt: string, customModelUrl?: string): Promise<LLMParsedResult>;
+//# sourceMappingURL=local-slm-web.d.ts.map

package/dist/local-slm-web.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"local-slm-web.d.ts","sourceRoot":"","sources":["../src/local-slm-web.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AA2CvC;;;GAGG;AACH,wBAAsB,wBAAwB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,EAAE,cAAc,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,CA2C3J"}

package/dist/local-slm-web.js

@@ -0,0 +1,87 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.runDistilledWebInference = runDistilledWebInference;
+let pipeline = null;
+const TRAINING_SYSTEM_PROMPT = `You are Autologic's semantic AST parser.
+Your goal is to read complex human text (often obfuscated legal/technical jargon) and translate it into Situated Propositional Logic.
+DO NOT try to resolve or prove the logic. Only extract the claims and their semantic relations.
+AVOID deep First-Order combinatorial explosions. Collapse contextual instances into descriptive propositional atoms like: 'CumpleInformesOrdinarios'.
+
+You MUST return a pure JSON object conforming exactly to this interface, nothing else:
+{
+  "axioms": [ { "name": "a1", "formulaJSON": { "type": "Connective", "operator": "IMPLIES", "left": {...}, "right": {...} } } ],
+  "conclusions": [ { "formulaJSON": { "type": "Atom", "id": "X", "text": "..." } } ]
+}
+Available node types for formulaJSON:
+- AtomNode: { "type": "Atom", "id": "CAMEL_CASE_ID", "text": "human readable" }
+- ConnectiveNode: { "type": "Connective", "operator": "AND"|"OR"|"IMPLIES"|"IFF"|"NOT", "left": node, "right": node }
+- ModalNode: { "type": "Modal", "operator": "K"|"B"|"O"|"P"|"BOX"|"DIA", "child": node }
+- QuantifierNode: { "type": "Quantifier", "operator": "FORALL"|"EXISTS", "variables": ["x"], "child": node }
+
+Be precise. Return ONLY the raw JSON object. No markdown, no explanation, no codeblocks.`;
+/**
+ * Extracts the first complete JSON object from a string,
+ * handling trailing garbage that the model may produce after the JSON.
+ */
+function extractFirstJSON(text) {
+    let braceCount = 0;
+    let jsonStart = -1;
+    for (let i = 0; i < text.length; i++) {
+        if (text[i] === '{') {
+            if (jsonStart === -1)
+                jsonStart = i;
+            braceCount++;
+        }
+        else if (text[i] === '}') {
+            braceCount--;
+            if (braceCount === 0 && jsonStart !== -1) {
+                return text.substring(jsonStart, i + 1);
+            }
+        }
+    }
+    return text;
+}
+/**
+ * Loads @huggingface/transformers asynchronously and runs local ONNX inference
+ * using our fine-tuned Qwen2.5-0.5B model hosted on HuggingFace or loaded locally.
+ */
+async function runDistilledWebInference(text, profile, systemPrompt, customModelUrl) {
+    if (!pipeline) {
+        try {
+            // Dynamic import for @huggingface/transformers (ESM)
+            const transformers = await Function('return import("@huggingface/transformers")')();
+            const { pipeline: trPipeline, env } = transformers;
+            env.allowLocalModels = true;
+            if (customModelUrl) {
+                env.localModelPath = customModelUrl;
+                env.allowRemoteModels = false;
+            }
+            // HuggingFace CDN model (fp32 ONNX, ~2.4GB lazy download)
+            const modelName = customModelUrl ? 'model-web' : 'stevenvo780/autologic-slm-onnx';
+            pipeline = await trPipeline('text-generation', modelName, {
+                local_files_only: !!customModelUrl,
+                dtype: 'fp32',
+            });
+        }
+        catch (e) {
+            throw new Error(`Web inference blocked: ${e.message}`);
+        }
+    }
+    // Use the EXACT system prompt from training for best results
+    const prompt = `<|im_start|>system\n${TRAINING_SYSTEM_PROMPT}<|im_end|>\n<|im_start|>user\nFormalize this text:\n\n${text}<|im_end|>\n<|im_start|>assistant\n`;
+    const output = await pipeline(prompt, {
+        max_new_tokens: 512,
+        temperature: 0.1,
+        do_sample: false,
+        return_full_text: false,
+    });
+    const rawContent = output[0]?.generated_text || '';
+    try {
+        const jsonStr = extractFirstJSON(rawContent);
+        return JSON.parse(jsonStr);
+    }
+    catch (e) {
+        throw new Error(`Web inference JSON parse failed: ${rawContent.substring(0, 200)}`);
+    }
+}
+//# sourceMappingURL=local-slm-web.js.map

package/dist/local-slm-web.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"local-slm-web.js","sourceRoot":"","sources":["../src/local-slm-web.ts"],"names":[],"mappings":";;AAgDA,4DA2CC;AAxFD,IAAI,QAAQ,GAAQ,IAAI,CAAC;AAEzB,MAAM,sBAAsB,GAAG;;;;;;;;;;;;;;;;yFAgB0D,CAAC;AAE1F;;;GAGG;AACH,SAAS,gBAAgB,CAAC,IAAY;IACpC,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACpB,IAAI,SAAS,KAAK,CAAC,CAAC;gBAAE,SAAS,GAAG,CAAC,CAAC;YACpC,UAAU,EAAE,CAAC;QACf,CAAC;aAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC3B,UAAU,EAAE,CAAC;YACb,IAAI,UAAU,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;gBACzC,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1C,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACI,KAAK,UAAU,wBAAwB,CAAC,IAAY,EAAE,OAAqB,EAAE,YAAoB,EAAE,cAAuB;IAC/H,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,IAAI,CAAC;YACH,qDAAqD;YACrD,MAAM,YAAY,GAAG,MAAM,QAAQ,CAAC,4CAA4C,CAAC,EAAE,CAAC;YACpF,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,YAAY,CAAC;YAEnD,GAAG,CAAC,gBAAgB,GAAG,IAAI,CAAC;YAC5B,IAAI,cAAc,EAAE,CAAC;gBACnB,GAAG,CAAC,cAAc,GAAG,cAAc,CAAC;gBACpC,GAAG,CAAC,iBAAiB,GAAG,KAAK,CAAC;YAChC,CAAC;YAED,0DAA0D;YAC1D,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,gCAAgC,CAAC;YAElF,QAAQ,GAAG,MAAM,UAAU,CAAC,iBAAiB,EAAE,SAAS,EAAE;gBACxD,gBAAgB,EAAE,CAAC,CAAC,cAAc;gBAClC,KAAK,EAAE,MAAM;aACd,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,CAAM,EAAE,CAAC;YAChB,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IAED,6DAA6D;IAC7D,MAAM,MAAM,GAAG,uBAAuB,sBAAsB,yDAAyD,IAAI,qCAAqC,CAAC;IAE/J,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,MAAM,EAAE;QACpC,cAAc,EAAE,GAAG;QACnB,WAAW,EAAE,GAAG;QAChB,SAAS,EAAE,KAAK;QAChB,gBAAgB,EAAE,KAAK;KACxB,CAAC,CAAC;IAEH,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,cAAc,IAAI,EAAE,CAAC;IAEnD,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;QAC7C,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAoB,CAAC;IAChD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CAAC,oCAAoC,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IACtF,CAAC;AACH,CAAC"}

package/dist/nl-linter/index.d.ts

@@ -0,0 +1,10 @@
+import { NLLinterDiagnostic, NLRule } from './types';
+export declare const DEFAULT_RULES: NLRule[];
+/**
+ * Escanea de forma asíncrona un texto buscando posibles violaciones de formalización sintiéndose como un Linter "ESLint".
+ * Totalmente compatible con ejecución en cliente.
+ */
+export declare function lintNaturalLanguage(text: string, rules?: NLRule[]): NLLinterDiagnostic[];
+export * from './types';
+export * from './rules';
+//# sourceMappingURL=index.d.ts.map

package/dist/nl-linter/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/nl-linter/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAGrD,eAAO,MAAM,aAAa,EAAE,MAAM,EAKjC,CAAC;AAEF;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,GAAE,MAAM,EAAkB,GAAG,kBAAkB,EAAE,CAavG;AAED,cAAc,SAAS,CAAC;AACxB,cAAc,SAAS,CAAC"}

package/dist/nl-linter/index.js

@@ -0,0 +1,45 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DEFAULT_RULES = void 0;
+exports.lintNaturalLanguage = lintNaturalLanguage;
+const rules_1 = require("./rules");
+exports.DEFAULT_RULES = [
+    rules_1.anaphoricRule,
+    rules_1.cognitiveDensityRule,
+    rules_1.fuzzyQuantifiersRule,
+    rules_1.logicalCompletenessRule
+];
+/**
+ * Escanea de forma asíncrona un texto buscando posibles violaciones de formalización sintiéndose como un Linter "ESLint".
+ * Totalmente compatible con ejecución en cliente.
+ */
+function lintNaturalLanguage(text, rules = exports.DEFAULT_RULES) {
+    if (!text || text.trim() === '')
+        return [];
+    let diagnostics = [];
+    for (const rule of rules) {
+        const result = rule.evaluate(text);
+        if (result && result.length) {
+            diagnostics = diagnostics.concat(result);
+        }
+    }
+    // Ordenar por aparición en el texto
+    return diagnostics.sort((a, b) => a.start - b.start);
+}
+__exportStar(require("./types"), exports);
+__exportStar(require("./rules"), exports);
+//# sourceMappingURL=index.js.map

package/dist/nl-linter/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/nl-linter/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;AAcA,kDAaC;AA1BD,mCAA6G;AAEhG,QAAA,aAAa,GAAa;IACrC,qBAAa;IACb,4BAAoB;IACpB,4BAAoB;IACpB,+BAAuB;CACxB,CAAC;AAEF;;;GAGG;AACH,SAAgB,mBAAmB,CAAC,IAAY,EAAE,QAAkB,qBAAa;IAC/E,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,EAAE,CAAC;IAE3C,IAAI,WAAW,GAAyB,EAAE,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAC5B,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC3C,CAAC;IACJ,CAAC;IAED,oCAAoC;IACpC,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;AACvD,CAAC;AAED,0CAAwB;AACxB,0CAAwB"}

package/dist/nl-linter/rules.d.ts

@@ -0,0 +1,6 @@
+import type { NLRule } from './types';
+export declare const anaphoricRule: NLRule;
+export declare const cognitiveDensityRule: NLRule;
+export declare const fuzzyQuantifiersRule: NLRule;
+export declare const logicalCompletenessRule: NLRule;
+//# sourceMappingURL=rules.d.ts.map

package/dist/nl-linter/rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.d.ts","sourceRoot":"","sources":["../../src/nl-linter/rules.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAsB,MAAM,SAAS,CAAC;AAG1D,eAAO,MAAM,aAAa,EAAE,MAmB3B,CAAC;AAGF,eAAO,MAAM,oBAAoB,EAAE,MAyBlC,CAAC;AAGF,eAAO,MAAM,oBAAoB,EAAE,MAmBlC,CAAC;AAGF,eAAO,MAAM,uBAAuB,EAAE,MAoBrC,CAAC"}

package/dist/nl-linter/rules.js

@@ -0,0 +1,93 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.logicalCompletenessRule = exports.fuzzyQuantifiersRule = exports.cognitiveDensityRule = exports.anaphoricRule = void 0;
+// 1. Ambigüedad Anafórica
+exports.anaphoricRule = {
+    id: 'nl-anaphoric-ambiguity',
+    name: 'Ambigüedad Anafórica',
+    severity: 'warning',
+    evaluate: (text) => {
+        const diags = [];
+        const regex = /\b(este|ese|aquel|el cual|los cuales|lo anterior|su)\b/gi;
+        let match;
+        while ((match = regex.exec(text)) !== null) {
+            diags.push({
+                id: 'nl-anaphoric-ambiguity',
+                severity: 'warning',
+                message: `El pronombre anafórico '${match[1]}' puede confundir al modelo o diluir la abstracción. Si es posible, usa el sujeto explícito.`,
+                start: match.index,
+                end: match.index + match[0].length
+            });
+        }
+        return diags;
+    }
+};
+// 2. Densidad Cognitiva (Oraciones extremadamente largas)
+exports.cognitiveDensityRule = {
+    id: 'nl-cognitive-density',
+    name: 'Densidad Cognitiva Alta',
+    severity: 'warning',
+    evaluate: (text) => {
+        const diags = [];
+        const sentences = text.split(/(?<=[.!?])\s+/);
+        let currentOffset = 0;
+        for (const sentence of sentences) {
+            const wordCount = sentence.split(/\s+/).filter(w => w.length > 0).length;
+            if (wordCount > 40) {
+                const startIndex = text.indexOf(sentence, currentOffset);
+                diags.push({
+                    id: 'nl-cognitive-density',
+                    severity: 'warning',
+                    message: `Oración muy larga (${wordCount} palabras). El contexto semántico formal pierde precisión en oraciones kilométricas sin puntuación. Divídela.`,
+                    start: startIndex >= 0 ? startIndex : currentOffset,
+                    end: startIndex >= 0 ? startIndex + sentence.length : currentOffset + sentence.length
+                });
+            }
+            currentOffset += sentence.length;
+        }
+        return diags;
+    }
+};
+// 3. Cuantificación difusa
+exports.fuzzyQuantifiersRule = {
+    id: 'nl-fuzzy-quantifier',
+    name: 'Cuantificador Difuso',
+    severity: 'error',
+    evaluate: (text) => {
+        const diags = [];
+        const regex = /\b(frecuentemente|la mayoría de|casi nunca|a veces|probablemente|en ocasiones)\b/gi;
+        let match;
+        while ((match = regex.exec(text)) !== null) {
+            diags.push({
+                id: 'nl-fuzzy-quantifier',
+                severity: 'error',
+                message: `Término difuso '${match[1]}'. La lógica proposicional exacta requiere condicionales definidos o cuantificadores absolutos (todos, ninguno).`,
+                start: match.index,
+                end: match.index + match[0].length
+            });
+        }
+        return diags;
+    }
+};
+// 4. Completitud lógica (ausencia de conectores de inferencia en textos argumentativos)
+exports.logicalCompletenessRule = {
+    id: 'nl-missing-relations',
+    name: 'Falta de Relaciones Estructurales',
+    severity: 'warning',
+    evaluate: (text) => {
+        const diags = [];
+        const hasConclusion = /\b(por lo tanto|en consecuencia|ergo|luego|se concluye|por ende)\b/i.test(text);
+        const hasImplication = /\b(si\s.*entonces|solo si|siempre que)\b/i.test(text);
+        if (!hasConclusion && !hasImplication && text.length > 60) {
+            diags.push({
+                id: 'nl-missing-relations',
+                severity: 'warning',
+                message: 'El texto carece de conectores lógicos evidentes (ej. "si... entonces", "por lo tanto"). ¿Deseas evaluarlo solo como premisas aisladas?',
+                start: 0,
+                end: Math.min(text.length, 60)
+            });
+        }
+        return diags;
+    }
+};
+//# sourceMappingURL=rules.js.map

package/dist/nl-linter/rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../../src/nl-linter/rules.ts"],"names":[],"mappings":";;;AAEA,0BAA0B;AACb,QAAA,aAAa,GAAW;IACnC,EAAE,EAAE,wBAAwB;IAC5B,IAAI,EAAE,sBAAsB;IAC5B,QAAQ,EAAE,SAAS;IACnB,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;QACjB,MAAM,KAAK,GAAyB,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,0DAA0D,CAAC;QACzE,IAAI,KAAK,CAAC;QACV,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAC3C,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,wBAAwB;gBAC5B,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,2BAA2B,KAAK,CAAC,CAAC,CAAC,8FAA8F;gBAC1I,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,GAAG,EAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM;aACnC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;CACF,CAAC;AAEF,0DAA0D;AAC7C,QAAA,oBAAoB,GAAW;IAC1C,EAAE,EAAE,sBAAsB;IAC1B,IAAI,EAAE,yBAAyB;IAC/B,QAAQ,EAAE,SAAS;IACnB,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;QACjB,MAAM,KAAK,GAAyB,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC9C,IAAI,aAAa,GAAG,CAAC,CAAC;QAEtB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;YACzE,IAAI,SAAS,GAAG,EAAE,EAAE,CAAC;gBACnB,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;gBACzD,KAAK,CAAC,IAAI,CAAC;oBACT,EAAE,EAAE,sBAAsB;oBAC1B,QAAQ,EAAE,SAAS;oBACnB,OAAO,EAAE,sBAAsB,SAAS,+GAA+G;oBACvJ,KAAK,EAAE,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,aAAa;oBACnD,GAAG,EAAE,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,GAAG,QAAQ,CAAC,MAAM;iBACtF,CAAC,CAAC;YACL,CAAC;YACD,aAAa,IAAI,QAAQ,CAAC,MAAM,CAAC;QACnC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;CACF,CAAC;AAEF,2BAA2B;AACd,QAAA,oBAAoB,GAAW;IAC1C,EAAE,EAAE,qBAAqB;IACzB,IAAI,EAAE,sBAAsB;IAC5B,QAAQ,EAAE,OAAO;IACjB,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;QACjB,MAAM,KAAK,GAAyB,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,oFAAoF,CAAC;QACnG,IAAI,KAAK,CAAC;QACV,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAC3C,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,qBAAqB;gBACzB,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,mBAAmB,KAAK,CAAC,CAAC,CAAC,kHAAkH;gBACtJ,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,GAAG,EAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM;aACnC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;CACF,CAAC;AAEF,wFAAwF;AAC3E,QAAA,uBAAuB,GAAW;IAC7C,EAAE,EAAE,sBAAsB;IAC1B,IAAI,EAAE,mCAAmC;IACzC,QAAQ,EAAE,SAAS;IACnB,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;QACjB,MAAM,KAAK,GAAyB,EAAE,CAAC;QACvC,MAAM,aAAa,GAAG,qEAAqE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvG,MAAM,cAAc,GAAG,2CAA2C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE9E,IAAI,CAAC,aAAa,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YACzD,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,sBAAsB;gBAC1B,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,wIAAwI;gBACjJ,KAAK,EAAE,CAAC;gBACR,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;aAC/B,CAAC,CAAC;QACN,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;CACF,CAAC"}

package/dist/nl-linter/types.d.ts

@@ -0,0 +1,14 @@
+export interface NLLinterDiagnostic {
+    id: string;
+    severity: 'warning' | 'error';
+    message: string;
+    start: number;
+    end: number;
+}
+export interface NLRule {
+    id: string;
+    name: string;
+    severity: 'warning' | 'error';
+    evaluate: (text: string) => NLLinterDiagnostic[];
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/nl-linter/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/nl-linter/types.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,SAAS,GAAG,OAAO,CAAC;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,MAAM;IACrB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,SAAS,GAAG,OAAO,CAAC;IAC9B,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,kBAAkB,EAAE,CAAC;CAClD"}

package/dist/nl-linter/types.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=types.js.map

package/dist/nl-linter/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/nl-linter/types.ts"],"names":[],"mappings":""}

package/dist/segmenter/clause-splitter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"clause-splitter.d.ts","sourceRoot":"","sources":["../../src/segmenter/clause-splitter.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,KAAK,EAAE,MAAM,EAAkB,QAAQ,EAAc,MAAM,UAAU,CAAC;AAW7E;;GAEG;AACH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,GAAE,QAAe,GAAG,MAAM,EAAE,CAkElF"}
+{"version":3,"file":"clause-splitter.d.ts","sourceRoot":"","sources":["../../src/segmenter/clause-splitter.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,KAAK,EAAE,MAAM,EAAkB,QAAQ,EAAc,MAAM,UAAU,CAAC;AAW7E;;GAEG;AACH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,GAAE,QAAe,GAAG,MAAM,EAAE,CA8ElF"}