@stevenvo780/st-lang 4.14.0 → 4.15.0

package/dist/format/stnb/parser.js

@@ -0,0 +1,123 @@
+"use strict";
+/**
+ * Parser del formato .stnb — JSON → Notebook
+ * Validación estructural sin dependencia de zod (no está en deps).
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ParseError = void 0;
+exports.parseNotebook = parseNotebook;
+class ParseError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'ParseError';
+    }
+}
+exports.ParseError = ParseError;
+function isObject(v) {
+    return typeof v === 'object' && v !== null && !Array.isArray(v);
+}
+function assertString(v, field) {
+    if (typeof v !== 'string') {
+        throw new ParseError(`Field "${field}" must be a string, got ${typeof v}`);
+    }
+    return v;
+}
+function validateOutput(raw, cellId, idx) {
+    if (!isObject(raw)) {
+        throw new ParseError(`Output ${idx} in cell "${cellId}" must be an object`);
+    }
+    const type = raw['type'];
+    if (type !== 'result' && type !== 'error' && type !== 'stream') {
+        throw new ParseError(`Output ${idx} in cell "${cellId}" has invalid type "${String(type)}"`);
+    }
+    if (!isObject(raw['data'])) {
+        throw new ParseError(`Output ${idx} in cell "${cellId}" must have "data" object`);
+    }
+    const output = {
+        type,
+        data: raw['data'],
+    };
+    if (raw['metadata'] !== undefined) {
+        if (!isObject(raw['metadata'])) {
+            throw new ParseError(`Output ${idx} metadata in cell "${cellId}" must be an object`);
+        }
+        output.metadata = raw['metadata'];
+    }
+    return output;
+}
+function validateCell(raw, idx) {
+    if (!isObject(raw)) {
+        throw new ParseError(`Cell ${idx} must be an object`);
+    }
+    const id = assertString(raw['id'], `cells[${idx}].id`);
+    const type = raw['type'];
+    const source = assertString(raw['source'], `cells[${idx}].source`);
+    if (type === 'markdown') {
+        return { id, type: 'markdown', source };
+    }
+    if (type === 'code') {
+        const rawOutputs = raw['outputs'];
+        let outputs = [];
+        if (rawOutputs !== undefined) {
+            if (!Array.isArray(rawOutputs)) {
+                throw new ParseError(`Cell "${id}" outputs must be an array`);
+            }
+            outputs = rawOutputs.map((o, i) => validateOutput(o, id, i));
+        }
+        const cell = { id, type: 'code', source, outputs };
+        if (raw['profile'] !== undefined) {
+            cell.profile = assertString(raw['profile'], `cells[${idx}].profile`);
+        }
+        return cell;
+    }
+    throw new ParseError(`Cell ${idx} has invalid type "${String(type)}". Must be "code" or "markdown".`);
+}
+function validateMetadata(raw) {
+    if (!isObject(raw)) {
+        throw new ParseError('"metadata" must be an object');
+    }
+    const title = assertString(raw['title'], 'metadata.title');
+    const profile = assertString(raw['profile'], 'metadata.profile');
+    const createdAt = assertString(raw['createdAt'], 'metadata.createdAt');
+    const updatedAt = assertString(raw['updatedAt'], 'metadata.updatedAt');
+    const meta = { title, profile, createdAt, updatedAt };
+    if (typeof raw['author'] === 'string') {
+        meta.author = raw['author'];
+    }
+    // copy extra keys
+    for (const [k, v] of Object.entries(raw)) {
+        if (!(k in meta)) {
+            meta[k] = v;
+        }
+    }
+    return meta;
+}
+/**
+ * Parsea un string JSON → Notebook validado.
+ * Lanza ParseError si el formato es inválido.
+ */
+function parseNotebook(source) {
+    let raw;
+    try {
+        raw = JSON.parse(source);
+    }
+    catch (e) {
+        throw new ParseError(`Invalid JSON: ${e.message}`);
+    }
+    if (!isObject(raw)) {
+        throw new ParseError('Notebook must be a JSON object');
+    }
+    const version = assertString(raw['version'], 'version');
+    if (!version.startsWith('1.')) {
+        throw new ParseError(`Unsupported notebook version "${version}". Only "1.x" is supported.`);
+    }
+    const kernel = assertString(raw['kernel'], 'kernel');
+    const kernelVersion = assertString(raw['kernelVersion'], 'kernelVersion');
+    const metadata = validateMetadata(raw['metadata']);
+    if (!Array.isArray(raw['cells'])) {
+        throw new ParseError('"cells" must be an array');
+    }
+    const cells = raw['cells'].map((c, i) => validateCell(c, i));
+    return { version, kernel, kernelVersion, metadata, cells };
+}
+//# sourceMappingURL=parser.js.map

package/dist/format/stnb/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../../src/format/stnb/parser.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AA8GH,sCAgCC;AA1ID,MAAa,UAAW,SAAQ,KAAK;IACnC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC;IAC3B,CAAC;CACF;AALD,gCAKC;AAED,SAAS,QAAQ,CAAC,CAAU;IAC1B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,YAAY,CAAC,CAAU,EAAE,KAAa;IAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,MAAM,IAAI,UAAU,CAAC,UAAU,KAAK,2BAA2B,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,cAAc,CAAC,GAAY,EAAE,MAAc,EAAE,GAAW;IAC/D,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,UAAU,CAAC,UAAU,GAAG,aAAa,MAAM,qBAAqB,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;IACzB,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/D,MAAM,IAAI,UAAU,CAClB,UAAU,GAAG,aAAa,MAAM,uBAAuB,MAAM,CAAC,IAAI,CAAC,GAAG,CACvE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,UAAU,CAAC,UAAU,GAAG,aAAa,MAAM,2BAA2B,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,MAAM,GAAe;QACzB,IAAI;QACJ,IAAI,EAAE,GAAG,CAAC,MAAM,CAA4B;KAC7C,CAAC;IACF,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,SAAS,EAAE,CAAC;QAClC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,UAAU,CAAC,UAAU,GAAG,sBAAsB,MAAM,qBAAqB,CAAC,CAAC;QACvF,CAAC;QACD,MAAM,CAAC,QAAQ,GAAG,GAAG,CAAC,UAAU,CAA2B,CAAC;IAC9D,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,YAAY,CAAC,GAAY,EAAE,GAAW;IAC7C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,UAAU,CAAC,QAAQ,GAAG,oBAAoB,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,SAAS,GAAG,MAAM,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;IACzB,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,SAAS,GAAG,UAAU,CAAC,CAAC;IAEnE,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QACxB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;IAC1C,CAAC;IAED,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACpB,MAAM,UAAU,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;QAClC,IAAI,OAAO,GAAiB,EAAE,CAAC;QAC/B,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC/B,MAAM,IAAI,UAAU,CAAC,SAAS,EAAE,4BAA4B,CAAC,CAAC;YAChE,CAAC;YACD,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,CAAS,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAChF,CAAC;QACD,MAAM,IAAI,GAAS,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;QACzD,IAAI,GAAG,CAAC,SAAS,CAAC,KAAK,SAAS,EAAE,CAAC;YAChC,IAA6B,CAAC,OAAO,GAAG,YAAY,CACnD,GAAG,CAAC,SAAS,CAAC,EACd,SAAS,GAAG,WAAW,CACxB,CAAC;QACJ,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,IAAI,UAAU,CAClB,QAAQ,GAAG,sBAAsB,MAAM,CAAC,IAAI,CAAC,kCAAkC,CAChF,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAY;IACpC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,UAAU,CAAC,8BAA8B,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,kBAAkB,CAAC,CAAC;IACjE,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,oBAAoB,CAAC,CAAC;IACvE,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,oBAAoB,CAAC,CAAC;IAEvE,MAAM,IAAI,GAAqB,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;IACxE,IAAI,OAAO,GAAG,CAAC,QAAQ,CAAC,KAAK,QAAQ,EAAE,CAAC;QACtC,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC9B,CAAC;IACD,kBAAkB;IAClB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC;YACjB,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,SAAgB,aAAa,CAAC,MAAc;IAC1C,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAY,CAAC;IACtC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,UAAU,CAAC,iBAAkB,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;IAChE,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,UAAU,CAAC,gCAAgC,CAAC,CAAC;IACzD,CAAC;IAED,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC;IACxD,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,UAAU,CAClB,iCAAiC,OAAO,6BAA6B,CACtE,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;IACrD,MAAM,aAAa,GAAG,YAAY,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,eAAe,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;IAEnD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,UAAU,CAAC,0BAA0B,CAAC,CAAC;IACnD,CAAC;IAED,MAAM,KAAK,GAAY,GAAG,CAAC,OAAO,CAAe,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,CAAS,EAAE,EAAE,CAC9E,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CACnB,CAAC;IAEF,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AAC7D,CAAC"}

package/dist/format/stnb/renderer-html.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Renderer HTML para notebooks .stnb
+ * Produce HTML standalone con KaTeX para $...$ y $$...$$
+ */
+import type { Notebook } from './types';
+/**
+ * Renderiza un Notebook a HTML standalone.
+ * Incluye KaTeX desde CDN para renderizar LaTeX inline ($...$) y display ($$...$$).
+ */
+export declare function renderHTML(notebook: Notebook): string;
+//# sourceMappingURL=renderer-html.d.ts.map

package/dist/format/stnb/renderer-html.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"renderer-html.d.ts","sourceRoot":"","sources":["../../../src/format/stnb/renderer-html.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAA8B,MAAM,SAAS,CAAC;AA+HpE;;;GAGG;AACH,wBAAgB,UAAU,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAgErD"}

package/dist/format/stnb/renderer-html.js

@@ -0,0 +1,180 @@
+"use strict";
+/**
+ * Renderer HTML para notebooks .stnb
+ * Produce HTML standalone con KaTeX para $...$ y $$...$$
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.renderHTML = renderHTML;
+const KATEX_CDN = 'https://cdn.jsdelivr.net/npm/katex@0.16.9/dist/';
+function escapeHtml(str) {
+    return str
+        .replace(/&/g, '&')
+        .replace(/</g, '&lt;')
+        .replace(/>/g, '&gt;')
+        .replace(/"/g, '&quot;')
+        .replace(/'/g, '&#39;');
+}
+/**
+ * Convierte markdown básico a HTML:
+ * - Headers #, ##, ###
+ * - Bold **text**
+ * - Italic *text*
+ * - Inline code `code`
+ * - Preserve $...$ and $$...$$ for KaTeX
+ */
+function markdownToHtml(md) {
+    const lines = md.split('\n');
+    const result = [];
+    let inParagraph = false;
+    for (const line of lines) {
+        const trimmed = line.trim();
+        if (trimmed === '') {
+            if (inParagraph) {
+                result.push('</p>');
+                inParagraph = false;
+            }
+            continue;
+        }
+        const h3 = trimmed.match(/^###\s+(.*)/);
+        const h2 = trimmed.match(/^##\s+(.*)/);
+        const h1 = trimmed.match(/^#\s+(.*)/);
+        if (h1 ?? h2 ?? h3) {
+            if (inParagraph) {
+                result.push('</p>');
+                inParagraph = false;
+            }
+            const level = h3 ? 3 : h2 ? 2 : 1;
+            const text = (h3 ?? h2 ?? h1)[1] ?? '';
+            result.push(`<h${level}>${inlineFormat(text)}</h${level}>`);
+        }
+        else {
+            if (!inParagraph) {
+                result.push('<p>');
+                inParagraph = true;
+            }
+            result.push(inlineFormat(trimmed));
+        }
+    }
+    if (inParagraph) {
+        result.push('</p>');
+    }
+    return result.join('\n');
+}
+function inlineFormat(text) {
+    return text
+        .replace(/\*\*(.+?)\*\*/g, '<strong>$1</strong>')
+        .replace(/\*(.+?)\*/g, '<em>$1</em>')
+        .replace(/`(.+?)`/g, '<code>$1</code>');
+}
+function renderOutput(output) {
+    const execTime = output.metadata?.executionTime !== undefined
+        ? `<span class="exec-time">${output.metadata.executionTime}ms</span>`
+        : '';
+    if (output.type === 'result') {
+        const stdout = typeof output.data['stdout'] === 'string' ? output.data['stdout'] : '';
+        const valid = output.data['valid'] === true;
+        const statusClass = valid ? 'output-ok' : 'output-err';
+        return `<div class="cell-output ${statusClass}">
+  <div class="output-header">Result ${execTime}</div>
+  <pre class="output-text">${escapeHtml(stdout)}</pre>
+</div>`;
+    }
+    if (output.type === 'error') {
+        const message = typeof output.data['message'] === 'string' ? output.data['message'] : JSON.stringify(output.data);
+        return `<div class="cell-output output-err">
+  <div class="output-header">Error ${execTime}</div>
+  <pre class="output-text">${escapeHtml(message)}</pre>
+</div>`;
+    }
+    if (output.type === 'stream') {
+        const text = typeof output.data['text'] === 'string' ? output.data['text'] : JSON.stringify(output.data);
+        return `<div class="cell-output output-stream">
+  <div class="output-header">Stream ${execTime}</div>
+  <pre class="output-text">${escapeHtml(text)}</pre>
+</div>`;
+    }
+    return '';
+}
+function renderCell(cell, index) {
+    if (cell.type === 'markdown') {
+        return `<div class="cell cell-markdown" data-id="${escapeHtml(cell.id)}" data-index="${index}">
+  <div class="cell-content markdown-body">${markdownToHtml(cell.source)}</div>
+</div>`;
+    }
+    const codeCell = cell;
+    const profile = codeCell.profile ? ` <span class="cell-profile">${escapeHtml(codeCell.profile)}</span>` : '';
+    const outputsHtml = codeCell.outputs.map(renderOutput).join('\n');
+    return `<div class="cell cell-code" data-id="${escapeHtml(cell.id)}" data-index="${index}">
+  <div class="cell-header">Code${profile}</div>
+  <pre class="cell-source"><code class="language-st">${escapeHtml(codeCell.source)}</code></pre>
+${outputsHtml}
+</div>`;
+}
+/**
+ * Renderiza un Notebook a HTML standalone.
+ * Incluye KaTeX desde CDN para renderizar LaTeX inline ($...$) y display ($$...$$).
+ */
+function renderHTML(notebook) {
+    const cellsHtml = notebook.cells
+        .map((cell, idx) => renderCell(cell, idx))
+        .join('\n');
+    const title = escapeHtml(notebook.metadata.title);
+    const author = notebook.metadata.author
+        ? `<div class="nb-author">${escapeHtml(notebook.metadata.author)}</div>`
+        : '';
+    return `<!DOCTYPE html>
+<html lang="es">
+<head>
+  <meta charset="UTF-8" />
+  <meta name="viewport" content="width=device-width, initial-scale=1.0" />
+  <title>${title}</title>
+  <link rel="stylesheet" href="${KATEX_CDN}katex.min.css" />
+  <script defer src="${KATEX_CDN}katex.min.js"></script>
+  <script defer src="${KATEX_CDN}contrib/auto-render.min.js"
+    onload="renderMathInElement(document.body, {
+      delimiters: [
+        {left: '$$', right: '$$', display: true},
+        {left: '$', right: '$', display: false}
+      ]
+    });"></script>
+  <style>
+    body { font-family: system-ui, sans-serif; max-width: 900px; margin: 0 auto; padding: 2rem; }
+    .nb-header { border-bottom: 2px solid #ddd; margin-bottom: 2rem; padding-bottom: 1rem; }
+    .nb-title { font-size: 2rem; margin: 0 0 0.25rem 0; }
+    .nb-author { color: #666; font-size: 0.9rem; }
+    .nb-meta { color: #888; font-size: 0.8rem; margin-top: 0.5rem; }
+    .cell { margin: 1rem 0; border: 1px solid #e0e0e0; border-radius: 6px; overflow: hidden; }
+    .cell-markdown { padding: 1rem 1.5rem; background: #fff; }
+    .cell-code { background: #fafafa; }
+    .cell-header { padding: 0.3rem 1rem; background: #f0f0f0; font-size: 0.75rem; color: #555; }
+    .cell-profile { background: #d4e8ff; padding: 0.1rem 0.4rem; border-radius: 3px; }
+    .cell-source { margin: 0; padding: 1rem; background: #f8f8f8; overflow-x: auto; font-size: 0.9rem; }
+    .cell-output { border-top: 1px solid #e8e8e8; }
+    .output-header { padding: 0.2rem 1rem; font-size: 0.7rem; color: #777; background: #f5f5f5; }
+    .output-ok .output-header { background: #f0fff0; color: #3a7d44; }
+    .output-err .output-header { background: #fff0f0; color: #c0392b; }
+    .output-stream .output-header { background: #fffbf0; color: #856404; }
+    .output-text { margin: 0; padding: 0.75rem 1rem; font-size: 0.85rem; overflow-x: auto; white-space: pre-wrap; }
+    .exec-time { float: right; opacity: 0.6; }
+    .markdown-body h1, .markdown-body h2, .markdown-body h3 { margin-top: 0.5rem; }
+    code { background: #f0f0f0; padding: 0.1rem 0.3rem; border-radius: 3px; font-size: 0.9em; }
+    pre code { background: transparent; padding: 0; }
+  </style>
+</head>
+<body>
+  <div class="nb-header">
+    <h1 class="nb-title">${title}</h1>
+    ${author}
+    <div class="nb-meta">
+      Kernel: ${escapeHtml(notebook.kernel)} ${escapeHtml(notebook.kernelVersion)} &bull;
+      Profile: ${escapeHtml(notebook.metadata.profile)} &bull;
+      Version: ${escapeHtml(notebook.version)}
+    </div>
+  </div>
+  <div class="notebook-cells">
+${cellsHtml}
+  </div>
+</body>
+</html>`;
+}
+//# sourceMappingURL=renderer-html.js.map

package/dist/format/stnb/renderer-html.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"renderer-html.js","sourceRoot":"","sources":["../../../src/format/stnb/renderer-html.ts"],"names":[],"mappings":";AAAA;;;GAGG;;AAqIH,gCAgEC;AAjMD,MAAM,SAAS,GACb,iDAAiD,CAAC;AAEpD,SAAS,UAAU,CAAC,GAAW;IAC7B,OAAO,GAAG;SACP,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC;SACtB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC;SACvB,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,cAAc,CAAC,EAAU;IAChC,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,WAAW,GAAG,KAAK,CAAC;IAExB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAE5B,IAAI,OAAO,KAAK,EAAE,EAAE,CAAC;YACnB,IAAI,WAAW,EAAE,CAAC;gBAChB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACpB,WAAW,GAAG,KAAK,CAAC;YACtB,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QACxC,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAEtC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;YACnB,IAAI,WAAW,EAAE,CAAC;gBAChB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACpB,WAAW,GAAG,KAAK,CAAC;YACtB,CAAC;YACD,MAAM,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAClC,MAAM,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACxC,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,KAAK,GAAG,CAAC,CAAC;QAC9D,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACnB,WAAW,GAAG,IAAI,CAAC;YACrB,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IAED,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtB,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,IAAI;SACR,OAAO,CAAC,gBAAgB,EAAE,qBAAqB,CAAC;SAChD,OAAO,CAAC,YAAY,EAAE,aAAa,CAAC;SACpC,OAAO,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,YAAY,CAAC,MAAkB;IACtC,MAAM,QAAQ,GACZ,MAAM,CAAC,QAAQ,EAAE,aAAa,KAAK,SAAS;QAC1C,CAAC,CAAC,2BAA2B,MAAM,CAAC,QAAQ,CAAC,aAAa,WAAW;QACrE,CAAC,CAAC,EAAE,CAAC;IAET,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACtF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC;QAC5C,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC;QACvD,OAAO,2BAA2B,WAAW;sCACX,QAAQ;6BACjB,UAAU,CAAC,MAAM,CAAC;OACxC,CAAC;IACN,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,MAAM,OAAO,GACX,OAAO,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACpG,OAAO;qCAC0B,QAAQ;6BAChB,UAAU,CAAC,OAAO,CAAC;OACzC,CAAC;IACN,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACzG,OAAO;sCAC2B,QAAQ;6BACjB,UAAU,CAAC,IAAI,CAAC;OACtC,CAAC;IACN,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,UAAU,CAAC,IAAU,EAAE,KAAa;IAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC7B,OAAO,4CAA4C,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,iBAAiB,KAAK;4CACpD,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC;OAChE,CAAC;IACN,CAAC;IAED,MAAM,QAAQ,GAAG,IAAgB,CAAC;IAClC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,+BAA+B,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7G,MAAM,WAAW,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAElE,OAAO,wCAAwC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,iBAAiB,KAAK;iCACzD,OAAO;uDACe,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC;EAChF,WAAW;OACN,CAAC;AACR,CAAC;AAED;;;GAGG;AACH,SAAgB,UAAU,CAAC,QAAkB;IAC3C,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK;SAC7B,GAAG,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;SACzC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM;QACrC,CAAC,CAAC,0BAA0B,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ;QACxE,CAAC,CAAC,EAAE,CAAC;IAEP,OAAO;;;;;WAKE,KAAK;iCACiB,SAAS;uBACnB,SAAS;uBACT,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2BAiCL,KAAK;MAC1B,MAAM;;gBAEI,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,aAAa,CAAC;iBAChE,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;iBACrC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC;;;;EAI3C,SAAS;;;QAGH,CAAC;AACT,CAAC"}

package/dist/format/stnb/renderer-markdown.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Renderer Markdown para notebooks .stnb
+ * Exporta a Markdown con fenced blocks para code cells y tablas para outputs.
+ */
+import type { Notebook } from './types';
+/**
+ * Exporta un Notebook a Markdown.
+ * - cells markdown → contenido directo
+ * - cells code → fenced blocks ```st ... ```
+ * - outputs → tablas Markdown
+ */
+export declare function renderMarkdown(notebook: Notebook): string;
+//# sourceMappingURL=renderer-markdown.d.ts.map

package/dist/format/stnb/renderer-markdown.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"renderer-markdown.d.ts","sourceRoot":"","sources":["../../../src/format/stnb/renderer-markdown.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAA8B,MAAM,SAAS,CAAC;AA+EpE;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAkBzD"}

package/dist/format/stnb/renderer-markdown.js

@@ -0,0 +1,92 @@
+"use strict";
+/**
+ * Renderer Markdown para notebooks .stnb
+ * Exporta a Markdown con fenced blocks para code cells y tablas para outputs.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.renderMarkdown = renderMarkdown;
+function renderOutputAsTable(output) {
+    if (output.type === 'result') {
+        const stdout = typeof output.data['stdout'] === 'string' ? output.data['stdout'] : '';
+        const valid = output.data['valid'] === true ? '✓' : '✗';
+        const time = output.metadata?.executionTime !== undefined
+            ? `${output.metadata.executionTime}ms`
+            : '-';
+        return [
+            '',
+            '| Campo | Valor |',
+            '|-------|-------|',
+            `| Estado | ${valid} |`,
+            `| Tiempo | ${time} |`,
+            stdout
+                ? `\n\`\`\`\n${stdout.trim()}\n\`\`\``
+                : '',
+        ].join('\n');
+    }
+    if (output.type === 'error') {
+        const message = typeof output.data['message'] === 'string'
+            ? output.data['message']
+            : JSON.stringify(output.data);
+        const time = output.metadata?.executionTime !== undefined
+            ? `${output.metadata.executionTime}ms`
+            : '-';
+        return [
+            '',
+            '| Campo | Valor |',
+            '|-------|-------|',
+            `| Estado | ✗ Error |`,
+            `| Tiempo | ${time} |`,
+            `\n> **Error:** ${message.split('\n')[0] ?? message}`,
+        ].join('\n');
+    }
+    if (output.type === 'stream') {
+        const text = typeof output.data['text'] === 'string'
+            ? output.data['text']
+            : JSON.stringify(output.data);
+        return `\n\`\`\`\n${text.trim()}\n\`\`\``;
+    }
+    return '';
+}
+function renderCellMd(cell) {
+    if (cell.type === 'markdown') {
+        return cell.source;
+    }
+    const codeCell = cell;
+    const profileTag = codeCell.profile ? ` <!-- profile: ${codeCell.profile} -->` : '';
+    const parts = [
+        `\`\`\`st${profileTag}`,
+        codeCell.source.trim(),
+        '```',
+    ];
+    if (codeCell.outputs.length > 0) {
+        parts.push('\n**Outputs:**');
+        for (const output of codeCell.outputs) {
+            parts.push(renderOutputAsTable(output));
+        }
+    }
+    return parts.join('\n');
+}
+/**
+ * Exporta un Notebook a Markdown.
+ * - cells markdown → contenido directo
+ * - cells code → fenced blocks ```st ... ```
+ * - outputs → tablas Markdown
+ */
+function renderMarkdown(notebook) {
+    const header = [
+        `# ${notebook.metadata.title}`,
+        '',
+        notebook.metadata.author ? `**Autor:** ${notebook.metadata.author}` : '',
+        `**Kernel:** ${notebook.kernel} ${notebook.kernelVersion}`,
+        `**Profile:** ${notebook.metadata.profile}`,
+        `**Versión:** ${notebook.version}`,
+        '',
+        '---',
+        '',
+    ]
+        .filter((line) => line !== '')
+        .join('\n');
+    const cells = notebook.cells.map(renderCellMd).join('\n\n---\n\n');
+    return header + cells + '\n';
+}
+//# sourceMappingURL=renderer-markdown.js.map

package/dist/format/stnb/renderer-markdown.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"renderer-markdown.js","sourceRoot":"","sources":["../../../src/format/stnb/renderer-markdown.ts"],"names":[],"mappings":";AAAA;;;GAGG;;AAuFH,wCAkBC;AArGD,SAAS,mBAAmB,CAAC,MAAkB;IAC7C,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,MAAM,MAAM,GACV,OAAO,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QACxD,MAAM,IAAI,GACR,MAAM,CAAC,QAAQ,EAAE,aAAa,KAAK,SAAS;YAC1C,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,aAAa,IAAI;YACtC,CAAC,CAAC,GAAG,CAAC;QAEV,OAAO;YACL,EAAE;YACF,mBAAmB;YACnB,mBAAmB;YACnB,cAAc,KAAK,IAAI;YACvB,cAAc,IAAI,IAAI;YACtB,MAAM;gBACJ,CAAC,CAAC,aAAa,MAAM,CAAC,IAAI,EAAE,UAAU;gBACtC,CAAC,CAAC,EAAE;SACP,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,MAAM,OAAO,GACX,OAAO,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,QAAQ;YACxC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;YACxB,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,IAAI,GACR,MAAM,CAAC,QAAQ,EAAE,aAAa,KAAK,SAAS;YAC1C,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,aAAa,IAAI;YACtC,CAAC,CAAC,GAAG,CAAC;QAEV,OAAO;YACL,EAAE;YACF,mBAAmB;YACnB,mBAAmB;YACnB,sBAAsB;YACtB,cAAc,IAAI,IAAI;YACtB,kBAAkB,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,EAAE;SACtD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,MAAM,IAAI,GACR,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,QAAQ;YACrC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;YACrB,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClC,OAAO,aAAa,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC;IAC5C,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,YAAY,CAAC,IAAU;IAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED,MAAM,QAAQ,GAAG,IAAgB,CAAC;IAClC,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,QAAQ,CAAC,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IAEpF,MAAM,KAAK,GAAa;QACtB,WAAW,UAAU,EAAE;QACvB,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE;QACtB,KAAK;KACN,CAAC;IAEF,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7B,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YACtC,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;;;;GAKG;AACH,SAAgB,cAAc,CAAC,QAAkB;IAC/C,MAAM,MAAM,GAAG;QACb,KAAK,QAAQ,CAAC,QAAQ,CAAC,KAAK,EAAE;QAC9B,EAAE;QACF,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE;QACxE,eAAe,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,aAAa,EAAE;QAC1D,gBAAgB,QAAQ,CAAC,QAAQ,CAAC,OAAO,EAAE;QAC3C,gBAAgB,QAAQ,CAAC,OAAO,EAAE;QAClC,EAAE;QACF,KAAK;QACL,EAAE;KACH;SACE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC;SAC7B,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAEnE,OAAO,MAAM,GAAG,KAAK,GAAG,IAAI,CAAC;AAC/B,CAAC"}

package/dist/format/stnb/serializer.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Serializer del formato .stnb — Notebook → JSON string
+ */
+import type { Notebook } from './types';
+/**
+ * Serializa un Notebook a JSON string con indentación de 2 espacios.
+ * El output es válido para parseNotebook().
+ */
+export declare function serializeNotebook(notebook: Notebook): string;
+/**
+ * Serializa a JSON compacto (sin indentación) para almacenamiento eficiente.
+ */
+export declare function serializeNotebookCompact(notebook: Notebook): string;
+//# sourceMappingURL=serializer.d.ts.map

package/dist/format/stnb/serializer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"serializer.d.ts","sourceRoot":"","sources":["../../../src/format/stnb/serializer.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAExC;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAE5D;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAEnE"}

package/dist/format/stnb/serializer.js

@@ -0,0 +1,21 @@
+"use strict";
+/**
+ * Serializer del formato .stnb — Notebook → JSON string
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.serializeNotebook = serializeNotebook;
+exports.serializeNotebookCompact = serializeNotebookCompact;
+/**
+ * Serializa un Notebook a JSON string con indentación de 2 espacios.
+ * El output es válido para parseNotebook().
+ */
+function serializeNotebook(notebook) {
+    return JSON.stringify(notebook, null, 2);
+}
+/**
+ * Serializa a JSON compacto (sin indentación) para almacenamiento eficiente.
+ */
+function serializeNotebookCompact(notebook) {
+    return JSON.stringify(notebook);
+}
+//# sourceMappingURL=serializer.js.map

package/dist/format/stnb/serializer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"serializer.js","sourceRoot":"","sources":["../../../src/format/stnb/serializer.ts"],"names":[],"mappings":";AAAA;;GAEG;;AAQH,8CAEC;AAKD,4DAEC;AAbD;;;GAGG;AACH,SAAgB,iBAAiB,CAAC,QAAkB;IAClD,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED;;GAEG;AACH,SAAgB,wBAAwB,CAAC,QAAkB;IACzD,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;AAClC,CAAC"}

package/dist/format/stnb/types.d.ts

@@ -0,0 +1,45 @@
+/**
+ * Tipos del formato .stnb (ST Notebook)
+ * Análogo a Jupyter .ipynb para proofs ST.
+ */
+export type CellType = 'code' | 'markdown';
+export type OutputType = 'result' | 'error' | 'stream';
+export interface CellOutputMetadata {
+    executionTime?: number;
+    [key: string]: unknown;
+}
+export interface CellOutput {
+    type: OutputType;
+    data: Record<string, unknown>;
+    metadata?: CellOutputMetadata;
+}
+export interface BaseCell {
+    id: string;
+    type: CellType;
+    source: string;
+}
+export interface MarkdownCell extends BaseCell {
+    type: 'markdown';
+}
+export interface CodeCell extends BaseCell {
+    type: 'code';
+    profile?: string;
+    outputs: CellOutput[];
+}
+export type Cell = MarkdownCell | CodeCell;
+export interface NotebookMetadata {
+    title: string;
+    author?: string;
+    profile: string;
+    createdAt: string;
+    updatedAt: string;
+    [key: string]: unknown;
+}
+export interface Notebook {
+    version: string;
+    kernel: string;
+    kernelVersion: string;
+    metadata: NotebookMetadata;
+    cells: Cell[];
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/format/stnb/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/format/stnb/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,UAAU,CAAC;AAE3C,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,OAAO,GAAG,QAAQ,CAAC;AAEvD,MAAM,WAAW,kBAAkB;IACjC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9B,QAAQ,CAAC,EAAE,kBAAkB,CAAC;CAC/B;AAED,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,MAAM,WAAW,QAAS,SAAQ,QAAQ;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,UAAU,EAAE,CAAC;CACvB;AAED,MAAM,MAAM,IAAI,GAAG,YAAY,GAAG,QAAQ,CAAC;AAE3C,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,QAAQ;IACvB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,KAAK,EAAE,IAAI,EAAE,CAAC;CACf"}

package/dist/format/stnb/types.js

@@ -0,0 +1,7 @@
+"use strict";
+/**
+ * Tipos del formato .stnb (ST Notebook)
+ * Análogo a Jupyter .ipynb para proofs ST.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=types.js.map

package/dist/format/stnb/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/format/stnb/types.ts"],"names":[],"mappings":";AAAA;;;GAGG"}

package/dist/index.d.ts

@@ -86,4 +86,9 @@ export * as TypeTheory from './namespaces/type-theory';
 export * as Solvers from './namespaces/solvers';
 export * as Reasoning from './namespaces/reasoning';
 export * as Semantics from './namespaces/semantics';
+export * as ProofMining from './reasoning/proof-mining';
+export * as STNotebook from './format/stnb';
+export * as DLHybrid from './logic/profiles/dl-hybrid';
+export * as DLHybridReasoning from './reasoning/dl-hybrid';
+export * as LemmaRAG from './reasoning/lemma-rag';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EACL,QAAQ,EACR,KAAK,EACL,KAAK,EACL,SAAS,EACT,iBAAiB,EACjB,YAAY,EACZ,KAAK,EACL,OAAO,EACP,cAAc,EACd,UAAU,EACV,MAAM,EACN,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,cAAc,GACpB,MAAM,OAAO,CAAC;AAGf,cAAc,SAAS,CAAC;AAGxB,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG5D,cAAc,aAAa,CAAC;AAG5B,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAGzC,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACrF,OAAO,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,0CAA0C,CAAC;AACnG,OAAO,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAC7E,OAAO,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAClD,OAAO,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AAG9E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAClE,YAAY,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,yCAAyC,CAAC;AAG/F,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAGpE,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,YAAY,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAGvD,OAAO,EACL,cAAc,EACd,oBAAoB,EACpB,eAAe,EACf,eAAe,EACf,qBAAqB,EACrB,aAAa,EACb,eAAe,EACf,kBAAkB,EAClB,eAAe,EACf,qBAAqB,EACrB,kBAAkB,EAClB,cAAc,EACd,sBAAsB,GACvB,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACnE,YAAY,EACV,KAAK,EACL,eAAe,EACf,WAAW,EACX,cAAc,GACf,MAAM,2BAA2B,CAAC;AAGnC,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAGpD,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAGrD,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAGnC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAC7D,YAAY,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAGrD,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpE,YAAY,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAGhD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAG/C,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAChE,YAAY,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAGlF,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAG9D,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACtE,YAAY,EACV,aAAa,EACb,YAAY,IAAI,mBAAmB,EACnC,UAAU,IAAI,iBAAiB,EAC/B,WAAW,IAAI,kBAAkB,GAClC,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,YAAY,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAGvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAClE,YAAY,EACV,sBAAsB,EACtB,wBAAwB,EACxB,mBAAmB,GACpB,MAAM,4BAA4B,CAAC;AAGpC,OAAO,EACL,WAAW,EACX,uBAAuB,EACvB,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AACtC,YAAY,EACV,gBAAgB,EAChB,aAAa,EACb,YAAY,EACZ,UAAU,GACX,MAAM,8BAA8B,CAAC;AAGtC,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAGxE,OAAO,EACL,iBAAiB,EACjB,YAAY,EACZ,cAAc,EACd,OAAO,EACP,SAAS,GACV,MAAM,2BAA2B,CAAC;AACnC,YAAY,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AAIxE,OAAO,KAAK,EAAE,SAAS,IAAI,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACzF,MAAM,MAAM,SAAS,GAAG,0BAA0B,CAAC;AAGnD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAC;AAG/E,OAAO,EACL,SAAS,EACT,YAAY,IAAI,gBAAgB,EAChC,QAAQ,EACR,WAAW,IAAI,eAAe,EAC9B,iBAAiB,IAAI,qBAAqB,EAC1C,gBAAgB,EAChB,eAAe,EACf,kBAAkB,GACnB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACV,WAAW,EACX,WAAW,EACX,aAAa,EACb,QAAQ,EACR,YAAY,EACZ,QAAQ,GACT,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,YAAY,EACZ,SAAS,EACT,SAAS,EACT,WAAW,EACX,eAAe,GAChB,MAAM,gCAAgC,CAAC;AACxC,YAAY,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAGnE,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACvE,YAAY,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAGtE,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC1F,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAGnF,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClG,YAAY,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAG/C,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AACnF,YAAY,EACV,UAAU,EACV,kBAAkB,EAClB,wBAAwB,EACxB,cAAc,EACd,SAAS,GACV,MAAM,gCAAgC,CAAC;AAGxC,OAAO,EACL,SAAS,EACT,YAAY,EACZ,UAAU,EACV,SAAS,EACT,QAAQ,EACR,WAAW,EACX,WAAW,EACX,iBAAiB,EACjB,oBAAoB,EACpB,YAAY,IAAI,cAAc,EAC9B,YAAY,IAAI,cAAc,EAC9B,MAAM,IAAI,QAAQ,GACnB,MAAM,4BAA4B,CAAC;AACpC,YAAY,EACV,QAAQ,EACR,UAAU,EACV,SAAS,EACT,SAAS,EACT,OAAO,IAAI,SAAS,EACpB,WAAW,GACZ,MAAM,4BAA4B,CAAC;AAGpC,OAAO,EACL,IAAI,EACJ,SAAS,EACT,GAAG,EACH,IAAI,EACJ,IAAI,EACJ,MAAM,EACN,KAAK,EACL,IAAI,EACJ,IAAI,EACJ,GAAG,EACH,KAAK,EACL,IAAI,EACJ,KAAK,EACL,KAAK,EACL,MAAM,EACN,SAAS,IAAI,aAAa,EAC1B,SAAS,IAAI,aAAa,EAC1B,YAAY,IAAI,gBAAgB,EAChC,SAAS,IAAI,aAAa,EAC1B,UAAU,IAAI,cAAc,EAC5B,QAAQ,IAAI,YAAY,EACxB,OAAO,IAAI,WAAW,EACtB,WAAW,IAAI,eAAe,EAC9B,UAAU,IAAI,cAAc,EAC5B,QAAQ,IAAI,YAAY,EACxB,UAAU,IAAI,cAAc,EAC5B,YAAY,IAAI,gBAAgB,GACjC,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EACV,QAAQ,EACR,YAAY,IAAI,gBAAgB,EAChC,WAAW,IAAI,eAAe,GAC/B,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,CAAC,IAAI,KAAK,EACV,GAAG,IAAI,KAAK,EACZ,EAAE,IAAI,IAAI,EACV,GAAG,IAAI,KAAK,EACZ,OAAO,IAAI,SAAS,EACpB,YAAY,IAAI,cAAc,EAC9B,QAAQ,IAAI,UAAU,EACtB,UAAU,IAAI,YAAY,EAC1B,WAAW,IAAI,aAAa,EAC5B,eAAe,IAAI,iBAAiB,EACpC,QAAQ,IAAI,UAAU,EACtB,OAAO,IAAI,SAAS,EACpB,SAAS,IAAI,WAAW,EACxB,YAAY,IAAI,cAAc,EAC9B,oBAAoB,IAAI,QAAQ,EAChC,CAAC,IAAI,GAAG,EACR,CAAC,IAAI,GAAG,EACR,CAAC,IAAI,GAAG,EACR,CAAC,IAAI,GAAG,EACR,KAAK,IAAI,OAAO,EAChB,UAAU,IAAI,YAAY,EAC1B,aAAa,IAAI,eAAe,EAChC,YAAY,IAAI,cAAc,EAC9B,UAAU,IAAI,YAAY,EAC1B,UAAU,IAAI,YAAY,EAC1B,SAAS,IAAI,WAAW,EACxB,SAAS,IAAI,WAAW,GACzB,MAAM,2BAA2B,CAAC;AACnC,YAAY,EACV,IAAI,IAAI,MAAM,EACd,YAAY,IAAI,cAAc,EAC9B,cAAc,IAAI,gBAAgB,EAClC,aAAa,IAAI,eAAe,EAChC,eAAe,IAAI,iBAAiB,GACrC,MAAM,2BAA2B,CAAC;AAGnC,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,QAAQ,EACR,QAAQ,EACR,mBAAmB,EACnB,gBAAgB,EAChB,YAAY,GACb,MAAM,wBAAwB,CAAC;AAChC,YAAY,EAAE,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAGnF,OAAO,EAAE,aAAa,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC7F,YAAY,EACV,WAAW,EACX,aAAa,EACb,OAAO,EACP,IAAI,EACJ,gBAAgB,GACjB,MAAM,mCAAmC,CAAC;AAG3C,OAAO,EACL,eAAe,EACf,IAAI,EACJ,OAAO,EACP,MAAM,EACN,KAAK,EACL,UAAU,EACV,MAAM,EACN,SAAS,GACV,MAAM,4BAA4B,CAAC;AACpC,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAGtF,OAAO,EACL,cAAc,IAAI,gBAAgB,EAClC,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,EACjB,uBAAuB,EACvB,iBAAiB,EACjB,cAAc,EACd,YAAY,IAAI,cAAc,EAC9B,QAAQ,IAAI,UAAU,GACvB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,SAAS,IAAI,WAAW,EACxB,IAAI,IAAI,MAAM,EACd,UAAU,IAAI,YAAY,EAC1B,gBAAgB,IAAI,kBAAkB,EACtC,SAAS,IAAI,WAAW,EACxB,MAAM,IAAI,QAAQ,EAClB,kBAAkB,IAAI,oBAAoB,GAC3C,MAAM,6BAA6B,CAAC;AAGrC,OAAO,EACL,IAAI,IAAI,UAAU,EAClB,MAAM,IAAI,YAAY,EACtB,OAAO,IAAI,aAAa,EACxB,GAAG,IAAI,SAAS,EAChB,OAAO,IAAI,aAAa,EACxB,QAAQ,EACR,SAAS,EACT,WAAW,GACZ,MAAM,yBAAyB,CAAC;AACjC,YAAY,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAGzE,OAAO,EACL,SAAS,IAAI,WAAW,EACxB,oBAAoB,EACpB,YAAY,IAAI,cAAc,EAC9B,YAAY,GACb,MAAM,oCAAoC,CAAC;AAC5C,YAAY,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,oCAAoC,CAAC;AAG1E,OAAO,EACL,UAAU,IAAI,YAAY,EAC1B,KAAK,IAAI,OAAO,EAChB,WAAW,IAAI,aAAa,EAC5B,YAAY,IAAI,cAAc,EAC9B,UAAU,IAAI,YAAY,EAC1B,eAAe,IAAI,iBAAiB,EACpC,KAAK,IAAI,OAAO,EAChB,YAAY,IAAI,cAAc,EAC9B,UAAU,IAAI,YAAY,EAC1B,aAAa,IAAI,eAAe,EAChC,YAAY,IAAI,cAAc,EAC9B,gBAAgB,IAAI,kBAAkB,EACtC,UAAU,IAAI,YAAY,EAC1B,WAAW,IAAI,aAAa,EAC5B,OAAO,IAAI,SAAS,EACpB,YAAY,IAAI,cAAc,EAC9B,cAAc,IAAI,gBAAgB,GACnC,MAAM,8BAA8B,CAAC;AACtC,YAAY,EACV,IAAI,IAAI,MAAM,EACd,UAAU,IAAI,YAAY,EAC1B,IAAI,IAAI,MAAM,EACd,YAAY,IAAI,cAAc,EAC9B,WAAW,IAAI,aAAa,EAC5B,YAAY,IAAI,cAAc,GAC/B,MAAM,8BAA8B,CAAC;AAKtC,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAShD,OAAO,KAAK,KAAK,MAAM,oBAAoB,CAAC;AAC5C,OAAO,KAAK,YAAY,MAAM,4BAA4B,CAAC;AAC3D,OAAO,KAAK,UAAU,MAAM,0BAA0B,CAAC;AACvD,OAAO,KAAK,OAAO,MAAM,sBAAsB,CAAC;AAChD,OAAO,KAAK,SAAS,MAAM,wBAAwB,CAAC;AACpD,OAAO,KAAK,SAAS,MAAM,wBAAwB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EACL,QAAQ,EACR,KAAK,EACL,KAAK,EACL,SAAS,EACT,iBAAiB,EACjB,YAAY,EACZ,KAAK,EACL,OAAO,EACP,cAAc,EACd,UAAU,EACV,MAAM,EACN,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,cAAc,GACpB,MAAM,OAAO,CAAC;AAGf,cAAc,SAAS,CAAC;AAGxB,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG5D,cAAc,aAAa,CAAC;AAG5B,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAGzC,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACrF,OAAO,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,0CAA0C,CAAC;AACnG,OAAO,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAC7E,OAAO,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAClD,OAAO,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AAG9E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAClE,YAAY,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,yCAAyC,CAAC;AAG/F,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAGpE,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,YAAY,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAGvD,OAAO,EACL,cAAc,EACd,oBAAoB,EACpB,eAAe,EACf,eAAe,EACf,qBAAqB,EACrB,aAAa,EACb,eAAe,EACf,kBAAkB,EAClB,eAAe,EACf,qBAAqB,EACrB,kBAAkB,EAClB,cAAc,EACd,sBAAsB,GACvB,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACnE,YAAY,EACV,KAAK,EACL,eAAe,EACf,WAAW,EACX,cAAc,GACf,MAAM,2BAA2B,CAAC;AAGnC,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAGpD,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAGrD,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAGnC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAC7D,YAAY,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAGrD,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpE,YAAY,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAGhD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAG/C,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAChE,YAAY,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAGlF,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAG9D,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACtE,YAAY,EACV,aAAa,EACb,YAAY,IAAI,mBAAmB,EACnC,UAAU,IAAI,iBAAiB,EAC/B,WAAW,IAAI,kBAAkB,GAClC,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,YAAY,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAGvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAClE,YAAY,EACV,sBAAsB,EACtB,wBAAwB,EACxB,mBAAmB,GACpB,MAAM,4BAA4B,CAAC;AAGpC,OAAO,EACL,WAAW,EACX,uBAAuB,EACvB,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AACtC,YAAY,EACV,gBAAgB,EAChB,aAAa,EACb,YAAY,EACZ,UAAU,GACX,MAAM,8BAA8B,CAAC;AAGtC,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAGxE,OAAO,EACL,iBAAiB,EACjB,YAAY,EACZ,cAAc,EACd,OAAO,EACP,SAAS,GACV,MAAM,2BAA2B,CAAC;AACnC,YAAY,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AAIxE,OAAO,KAAK,EAAE,SAAS,IAAI,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACzF,MAAM,MAAM,SAAS,GAAG,0BAA0B,CAAC;AAGnD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAC;AAG/E,OAAO,EACL,SAAS,EACT,YAAY,IAAI,gBAAgB,EAChC,QAAQ,EACR,WAAW,IAAI,eAAe,EAC9B,iBAAiB,IAAI,qBAAqB,EAC1C,gBAAgB,EAChB,eAAe,EACf,kBAAkB,GACnB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACV,WAAW,EACX,WAAW,EACX,aAAa,EACb,QAAQ,EACR,YAAY,EACZ,QAAQ,GACT,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,YAAY,EACZ,SAAS,EACT,SAAS,EACT,WAAW,EACX,eAAe,GAChB,MAAM,gCAAgC,CAAC;AACxC,YAAY,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAGnE,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACvE,YAAY,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAGtE,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC1F,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAGnF,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClG,YAAY,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAG/C,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AACnF,YAAY,EACV,UAAU,EACV,kBAAkB,EAClB,wBAAwB,EACxB,cAAc,EACd,SAAS,GACV,MAAM,gCAAgC,CAAC;AAGxC,OAAO,EACL,SAAS,EACT,YAAY,EACZ,UAAU,EACV,SAAS,EACT,QAAQ,EACR,WAAW,EACX,WAAW,EACX,iBAAiB,EACjB,oBAAoB,EACpB,YAAY,IAAI,cAAc,EAC9B,YAAY,IAAI,cAAc,EAC9B,MAAM,IAAI,QAAQ,GACnB,MAAM,4BAA4B,CAAC;AACpC,YAAY,EACV,QAAQ,EACR,UAAU,EACV,SAAS,EACT,SAAS,EACT,OAAO,IAAI,SAAS,EACpB,WAAW,GACZ,MAAM,4BAA4B,CAAC;AAGpC,OAAO,EACL,IAAI,EACJ,SAAS,EACT,GAAG,EACH,IAAI,EACJ,IAAI,EACJ,MAAM,EACN,KAAK,EACL,IAAI,EACJ,IAAI,EACJ,GAAG,EACH,KAAK,EACL,IAAI,EACJ,KAAK,EACL,KAAK,EACL,MAAM,EACN,SAAS,IAAI,aAAa,EAC1B,SAAS,IAAI,aAAa,EAC1B,YAAY,IAAI,gBAAgB,EAChC,SAAS,IAAI,aAAa,EAC1B,UAAU,IAAI,cAAc,EAC5B,QAAQ,IAAI,YAAY,EACxB,OAAO,IAAI,WAAW,EACtB,WAAW,IAAI,eAAe,EAC9B,UAAU,IAAI,cAAc,EAC5B,QAAQ,IAAI,YAAY,EACxB,UAAU,IAAI,cAAc,EAC5B,YAAY,IAAI,gBAAgB,GACjC,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EACV,QAAQ,EACR,YAAY,IAAI,gBAAgB,EAChC,WAAW,IAAI,eAAe,GAC/B,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,CAAC,IAAI,KAAK,EACV,GAAG,IAAI,KAAK,EACZ,EAAE,IAAI,IAAI,EACV,GAAG,IAAI,KAAK,EACZ,OAAO,IAAI,SAAS,EACpB,YAAY,IAAI,cAAc,EAC9B,QAAQ,IAAI,UAAU,EACtB,UAAU,IAAI,YAAY,EAC1B,WAAW,IAAI,aAAa,EAC5B,eAAe,IAAI,iBAAiB,EACpC,QAAQ,IAAI,UAAU,EACtB,OAAO,IAAI,SAAS,EACpB,SAAS,IAAI,WAAW,EACxB,YAAY,IAAI,cAAc,EAC9B,oBAAoB,IAAI,QAAQ,EAChC,CAAC,IAAI,GAAG,EACR,CAAC,IAAI,GAAG,EACR,CAAC,IAAI,GAAG,EACR,CAAC,IAAI,GAAG,EACR,KAAK,IAAI,OAAO,EAChB,UAAU,IAAI,YAAY,EAC1B,aAAa,IAAI,eAAe,EAChC,YAAY,IAAI,cAAc,EAC9B,UAAU,IAAI,YAAY,EAC1B,UAAU,IAAI,YAAY,EAC1B,SAAS,IAAI,WAAW,EACxB,SAAS,IAAI,WAAW,GACzB,MAAM,2BAA2B,CAAC;AACnC,YAAY,EACV,IAAI,IAAI,MAAM,EACd,YAAY,IAAI,cAAc,EAC9B,cAAc,IAAI,gBAAgB,EAClC,aAAa,IAAI,eAAe,EAChC,eAAe,IAAI,iBAAiB,GACrC,MAAM,2BAA2B,CAAC;AAGnC,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,QAAQ,EACR,QAAQ,EACR,mBAAmB,EACnB,gBAAgB,EAChB,YAAY,GACb,MAAM,wBAAwB,CAAC;AAChC,YAAY,EAAE,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAGnF,OAAO,EAAE,aAAa,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC7F,YAAY,EACV,WAAW,EACX,aAAa,EACb,OAAO,EACP,IAAI,EACJ,gBAAgB,GACjB,MAAM,mCAAmC,CAAC;AAG3C,OAAO,EACL,eAAe,EACf,IAAI,EACJ,OAAO,EACP,MAAM,EACN,KAAK,EACL,UAAU,EACV,MAAM,EACN,SAAS,GACV,MAAM,4BAA4B,CAAC;AACpC,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAGtF,OAAO,EACL,cAAc,IAAI,gBAAgB,EAClC,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,EACjB,uBAAuB,EACvB,iBAAiB,EACjB,cAAc,EACd,YAAY,IAAI,cAAc,EAC9B,QAAQ,IAAI,UAAU,GACvB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,SAAS,IAAI,WAAW,EACxB,IAAI,IAAI,MAAM,EACd,UAAU,IAAI,YAAY,EAC1B,gBAAgB,IAAI,kBAAkB,EACtC,SAAS,IAAI,WAAW,EACxB,MAAM,IAAI,QAAQ,EAClB,kBAAkB,IAAI,oBAAoB,GAC3C,MAAM,6BAA6B,CAAC;AAGrC,OAAO,EACL,IAAI,IAAI,UAAU,EAClB,MAAM,IAAI,YAAY,EACtB,OAAO,IAAI,aAAa,EACxB,GAAG,IAAI,SAAS,EAChB,OAAO,IAAI,aAAa,EACxB,QAAQ,EACR,SAAS,EACT,WAAW,GACZ,MAAM,yBAAyB,CAAC;AACjC,YAAY,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAGzE,OAAO,EACL,SAAS,IAAI,WAAW,EACxB,oBAAoB,EACpB,YAAY,IAAI,cAAc,EAC9B,YAAY,GACb,MAAM,oCAAoC,CAAC;AAC5C,YAAY,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,oCAAoC,CAAC;AAG1E,OAAO,EACL,UAAU,IAAI,YAAY,EAC1B,KAAK,IAAI,OAAO,EAChB,WAAW,IAAI,aAAa,EAC5B,YAAY,IAAI,cAAc,EAC9B,UAAU,IAAI,YAAY,EAC1B,eAAe,IAAI,iBAAiB,EACpC,KAAK,IAAI,OAAO,EAChB,YAAY,IAAI,cAAc,EAC9B,UAAU,IAAI,YAAY,EAC1B,aAAa,IAAI,eAAe,EAChC,YAAY,IAAI,cAAc,EAC9B,gBAAgB,IAAI,kBAAkB,EACtC,UAAU,IAAI,YAAY,EAC1B,WAAW,IAAI,aAAa,EAC5B,OAAO,IAAI,SAAS,EACpB,YAAY,IAAI,cAAc,EAC9B,cAAc,IAAI,gBAAgB,GACnC,MAAM,8BAA8B,CAAC;AACtC,YAAY,EACV,IAAI,IAAI,MAAM,EACd,UAAU,IAAI,YAAY,EAC1B,IAAI,IAAI,MAAM,EACd,YAAY,IAAI,cAAc,EAC9B,WAAW,IAAI,aAAa,EAC5B,YAAY,IAAI,cAAc,GAC/B,MAAM,8BAA8B,CAAC;AAKtC,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAC;AAShD,OAAO,KAAK,KAAK,MAAM,oBAAoB,CAAC;AAC5C,OAAO,KAAK,YAAY,MAAM,4BAA4B,CAAC;AAC3D,OAAO,KAAK,UAAU,MAAM,0BAA0B,CAAC;AACvD,OAAO,KAAK,OAAO,MAAM,sBAAsB,CAAC;AAChD,OAAO,KAAK,SAAS,MAAM,wBAAwB,CAAC;AACpD,OAAO,KAAK,SAAS,MAAM,wBAAwB,CAAC;AAGpD,OAAO,KAAK,WAAW,MAAM,0BAA0B,CAAC;AACxD,OAAO,KAAK,UAAU,MAAM,eAAe,CAAC;AAC5C,OAAO,KAAK,QAAQ,MAAM,4BAA4B,CAAC;AACvD,OAAO,KAAK,iBAAiB,MAAM,uBAAuB,CAAC;AAC3D,OAAO,KAAK,QAAQ,MAAM,uBAAuB,CAAC"}

package/dist/index.js

@@ -43,7 +43,7 @@ exports.TypeChecker = exports.typeCheck = exports.REPL = exports.ProtocolHandler
 exports.explainProof = exports.deriveWithCitations = exports.detectAvailableSMT = exports.SubprocessSMTBackend = exports.MockSMTBackend = exports.toSMTLIB = exports.generateLessonPath = exports.checkAnswer = exports.generateExercise = exports.SnapshotStore = exports.captureSnapshot = exports.generateKeyPair = exports.verifyProof = exports.signProof = exports.hashProof = exports.canonicalize = exports.TptpTokenizerError = exports.TptpParserError = exports.tptpFormulaToFol = exports.tptpToFolProverFormat = exports.emitTptpFormula = exports.emitTptp = exports.parseTptpFormula = exports.parseTptp = exports.toCNF = exports.skolemize = exports.unify = exports.proveFOL = exports.dotExport = exports.defends = exports.isConflictFree = exports.isAdmissible = exports.computeExtensions = exports.exportProofToCoq = exports.exportToCoq = exports.removeUnusedSubproofs = exports.compactModusPonensChain = exports.minifyProof = exports.minimizeCountermodel = exports.streamEval = exports.tryReuseProof = exports.TheoremCache = exports.hashFormula = exports.DerivationCache = exports.shutdownPool = exports.evalParallel = exports.solveCDCLv2 = exports.BaseASTVisitor = exports.visitProgram = exports.visit = void 0;
 exports.lcBetaStep = exports.lcMakeFreshSupply = exports.lcAlphaRename = exports.lcSubstitute = exports.lcFreeVars = exports.lcTermToString = exports.lcAlphaEq = exports.lcApN = exports.lcAp = exports.lcLam = exports.lcVar = exports.mlttTermToString = exports.mlttOccursFree = exports.mlttFreeVars = exports.mlttSubstitute = exports.mlttAlphaBetaEq = exports.mlttAlphaEq = exports.mlttIsNormal = exports.mlttReduceStep = exports.mlttNormalize = exports.mlttIsInferError = exports.mlttCheckType = exports.mlttInferType = exports.mArrow = exports.mSucc = exports.mZero = exports.mNat = exports.mRefl = exports.mId = exports.mSnd = exports.mFst = exports.mPair = exports.mSigma = exports.mApp = exports.mLam = exports.mPi = exports.mUniverse = exports.mVar = exports.chEqType = exports.chTermToString = exports.chTypeToString = exports.ProofConversionError = exports.proofIsConsistent = exports.proofToTerm = exports.termToProof = exports.isNormal = exports.normalize = exports.reduceBeta = exports.isInferError = exports.inferType = void 0;
 exports.isBisimilar = exports.fibonacci = exports.naturals = exports.streamZipWith = exports.streamMap = exports.streamIterate = exports.streamRepeat = exports.streamTake = exports.lsFreeVars = exports.lsTermToString = exports.listsSignature = exports.booleansSignature = exports.naturalNumbersSignature = exports.verifyConjectures = exports.pruneConsequences = exports.synthesizeEqualities = exports.lsEnumerateTerms = exports.ipcBottom = exports.ipcNot = exports.ipcImplies = exports.ipcOr = exports.ipcAnd = exports.ipcAtom = exports.play = exports.winningStrategy = exports.createPropositionalProver = exports.TableauProver = exports.TRANSLATIONS = exports.translateFormula = exports.findTranslationPath = exports.ctlToLTL = exports.ltlToCTL = exports.godelTranslation = exports.glivenkoTranslation = exports.lcChurchMul = exports.lcChurchAdd = exports.lcChurchSucc = exports.lcEvalChurch = exports.lcDecodeChurch = exports.lcChurchNumeral = exports.lcOmegaSmall = exports.lcOmega = exports.lcY = exports.lcS = exports.lcK = exports.lcI = exports.lcIsWHNF = exports.lcIsNormalForm = exports.lcNormalize = exports.lcEtaStep = void 0;
-exports.Semantics = exports.Reasoning = exports.Solvers = exports.TypeTheory = exports.ProofSystems = exports.Logic = exports.CSPHoare = exports.hmSchemeToString = exports.hmTypeToString = exports.HMTypeEnv = exports.hmInstantiate = exports.hmGeneralize = exports.hmResetFreshSupply = exports.hmFreshTypeVar = exports.hmComposeSubsts = exports.hmApplySubst = exports.hmIsUnifyError = exports.hmUnify = exports.hmNormalizeScheme = exports.hmInitialEnv = exports.hmIsInferError = exports.hmInferScheme = exports.hmInfer = exports.hmAlgorithmW = exports.applyHOSubst = exports.hoUnifyPattern = exports.isHigherOrderPattern = exports.hoIsPattern = void 0;
+exports.LemmaRAG = exports.DLHybridReasoning = exports.DLHybrid = exports.STNotebook = exports.ProofMining = exports.Semantics = exports.Reasoning = exports.Solvers = exports.TypeTheory = exports.ProofSystems = exports.Logic = exports.CSPHoare = exports.hmSchemeToString = exports.hmTypeToString = exports.HMTypeEnv = exports.hmInstantiate = exports.hmGeneralize = exports.hmResetFreshSupply = exports.hmFreshTypeVar = exports.hmComposeSubsts = exports.hmApplySubst = exports.hmIsUnifyError = exports.hmUnify = exports.hmNormalizeScheme = exports.hmInitialEnv = exports.hmIsInferError = exports.hmInferScheme = exports.hmInfer = exports.hmAlgorithmW = exports.applyHOSubst = exports.hoUnifyPattern = exports.isHigherOrderPattern = exports.hoIsPattern = void 0;
 // API programática (uso recomendado para integración)
 var api_1 = require("./api");
 Object.defineProperty(exports, "evaluate", { enumerable: true, get: function () { return api_1.evaluate; } });
@@ -373,4 +373,10 @@ exports.TypeTheory = __importStar(require("./namespaces/type-theory"));
 exports.Solvers = __importStar(require("./namespaces/solvers"));
 exports.Reasoning = __importStar(require("./namespaces/reasoning"));
 exports.Semantics = __importStar(require("./namespaces/semantics"));
+// === Ciclo 3 V4.15 features ===
+exports.ProofMining = __importStar(require("./reasoning/proof-mining"));
+exports.STNotebook = __importStar(require("./format/stnb"));
+exports.DLHybrid = __importStar(require("./logic/profiles/dl-hybrid"));
+exports.DLHybridReasoning = __importStar(require("./reasoning/dl-hybrid"));
+exports.LemmaRAG = __importStar(require("./reasoning/lemma-rag"));
 //# sourceMappingURL=index.js.map