@stevenvo780/st-lang 4.14.1 → 4.15.1

package/dist/format/stnb/executor.js

@@ -0,0 +1,139 @@
+"use strict";
+/**
+ * Executor del formato .stnb
+ * Ejecuta cells de tipo "code" usando la API de ST y captura los outputs.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.executeNotebook = executeNotebook;
+exports.executeCell = executeCell;
+const api_1 = require("../../api");
+/**
+ * Construye el fuente ST completo para una cell, prefijando el profile si corresponde.
+ */
+function buildCellSource(cell, defaultProfile) {
+    const profile = cell.profile ?? defaultProfile;
+    const profileLine = `logic ${profile}\n`;
+    if (cell.source.trimStart().startsWith('logic ')) {
+        return cell.source;
+    }
+    return profileLine + cell.source;
+}
+/**
+ * Ejecuta todas las cells de tipo "code" de un notebook en orden.
+ * Devuelve una copia del notebook con los outputs actualizados.
+ */
+function executeNotebook(notebook, options = {}) {
+    const { stopOnError = false } = options;
+    const errors = [];
+    let cellsExecuted = 0;
+    const updatedCells = notebook.cells.map((cell) => {
+        if (cell.type !== 'code') {
+            return cell;
+        }
+        const startTime = Date.now();
+        let outputs = [];
+        try {
+            const source = buildCellSource(cell, notebook.metadata.profile);
+            const result = (0, api_1.evaluate)(source);
+            const executionTime = Date.now() - startTime;
+            cellsExecuted++;
+            if (result.ok) {
+                outputs = [
+                    {
+                        type: 'result',
+                        data: {
+                            valid: true,
+                            stdout: result.stdout,
+                            results: result.results,
+                        },
+                        metadata: { executionTime },
+                    },
+                ];
+            }
+            else {
+                const errorMsg = result.stderr || result.stdout || 'Unknown error';
+                outputs = [
+                    {
+                        type: 'error',
+                        data: {
+                            valid: false,
+                            message: errorMsg,
+                            diagnostics: result.diagnostics,
+                        },
+                        metadata: { executionTime },
+                    },
+                ];
+                errors.push({ cellId: cell.id, message: errorMsg });
+                if (stopOnError) {
+                    // return partial — this cell gets the error output but loop breaks after
+                }
+            }
+        }
+        catch (e) {
+            const executionTime = Date.now() - startTime;
+            const message = e.message;
+            outputs = [
+                {
+                    type: 'error',
+                    data: { valid: false, message },
+                    metadata: { executionTime },
+                },
+            ];
+            errors.push({ cellId: cell.id, message });
+        }
+        return { ...cell, outputs };
+    });
+    const updatedNotebook = {
+        ...notebook,
+        metadata: {
+            ...notebook.metadata,
+            updatedAt: new Date().toISOString(),
+        },
+        cells: updatedCells,
+    };
+    return { notebook: updatedNotebook, cellsExecuted, errors };
+}
+/**
+ * Ejecuta una sola cell de código y devuelve sus outputs.
+ */
+function executeCell(cell, defaultProfile) {
+    const startTime = Date.now();
+    try {
+        const source = buildCellSource(cell, defaultProfile);
+        const result = (0, api_1.evaluate)(source);
+        const executionTime = Date.now() - startTime;
+        if (result.ok) {
+            return [
+                {
+                    type: 'result',
+                    data: { valid: true, stdout: result.stdout, results: result.results },
+                    metadata: { executionTime },
+                },
+            ];
+        }
+        else {
+            return [
+                {
+                    type: 'error',
+                    data: {
+                        valid: false,
+                        message: result.stderr || result.stdout,
+                        diagnostics: result.diagnostics,
+                    },
+                    metadata: { executionTime },
+                },
+            ];
+        }
+    }
+    catch (e) {
+        const executionTime = Date.now() - startTime;
+        return [
+            {
+                type: 'error',
+                data: { valid: false, message: e.message },
+                metadata: { executionTime },
+            },
+        ];
+    }
+}
+//# sourceMappingURL=executor.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"executor.js","sourceRoot":"","sources":["../../../src/format/stnb/executor.ts"],"names":[],"mappings":";AAAA;;;GAGG;;AAkCH,0CA8EC;AAKD,kCAyCC;AA5JD,mCAAqC;AAgBrC;;GAEG;AACH,SAAS,eAAe,CAAC,IAAc,EAAE,cAAsB;IAC7D,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,cAAc,CAAC;IAC/C,MAAM,WAAW,GAAG,SAAS,OAAO,IAAI,CAAC;IACzC,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjD,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IACD,OAAO,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC;AACnC,CAAC;AAED;;;GAGG;AACH,SAAgB,eAAe,CAC7B,QAAkB,EAClB,UAA0B,EAAE;IAE5B,MAAM,EAAE,WAAW,GAAG,KAAK,EAAE,GAAG,OAAO,CAAC;IACxC,MAAM,MAAM,GAA+C,EAAE,CAAC;IAC9D,IAAI,aAAa,GAAG,CAAC,CAAC;IAEtB,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACzB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC7B,IAAI,OAAO,GAAiB,EAAE,CAAC;QAE/B,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YAChE,MAAM,MAAM,GAAG,IAAA,cAAQ,EAAC,MAAM,CAAC,CAAC;YAChC,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;YAC7C,aAAa,EAAE,CAAC;YAEhB,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;gBACd,OAAO,GAAG;oBACR;wBACE,IAAI,EAAE,QAAQ;wBACd,IAAI,EAAE;4BACJ,KAAK,EAAE,IAAI;4BACX,MAAM,EAAE,MAAM,CAAC,MAAM;4BACrB,OAAO,EAAE,MAAM,CAAC,OAAO;yBACxB;wBACD,QAAQ,EAAE,EAAE,aAAa,EAAE;qBAC5B;iBACF,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,IAAI,eAAe,CAAC;gBACnE,OAAO,GAAG;oBACR;wBACE,IAAI,EAAE,OAAO;wBACb,IAAI,EAAE;4BACJ,KAAK,EAAE,KAAK;4BACZ,OAAO,EAAE,QAAQ;4BACjB,WAAW,EAAE,MAAM,CAAC,WAAW;yBAChC;wBACD,QAAQ,EAAE,EAAE,aAAa,EAAE;qBAC5B;iBACF,CAAC;gBACF,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACpD,IAAI,WAAW,EAAE,CAAC;oBAChB,yEAAyE;gBAC3E,CAAC;YACH,CAAC;QACH,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;YAC7C,MAAM,OAAO,GAAI,CAAW,CAAC,OAAO,CAAC;YACrC,OAAO,GAAG;gBACR;oBACE,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE;oBAC/B,QAAQ,EAAE,EAAE,aAAa,EAAE;iBAC5B;aACF,CAAC;YACF,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;QAC5C,CAAC;QAED,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,MAAM,eAAe,GAAa;QAChC,GAAG,QAAQ;QACX,QAAQ,EAAE;YACR,GAAG,QAAQ,CAAC,QAAQ;YACpB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC;QACD,KAAK,EAAE,YAAY;KACpB,CAAC;IAEF,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;AAC9D,CAAC;AAED;;GAEG;AACH,SAAgB,WAAW,CACzB,IAAc,EACd,cAAsB;IAEtB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7B,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,IAAA,cAAQ,EAAC,MAAM,CAAC,CAAC;QAChC,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;QAE7C,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACd,OAAO;gBACL;oBACE,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE;oBACrE,QAAQ,EAAE,EAAE,aAAa,EAAE;iBAC5B;aACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,OAAO;gBACL;oBACE,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE;wBACJ,KAAK,EAAE,KAAK;wBACZ,OAAO,EAAE,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM;wBACvC,WAAW,EAAE,MAAM,CAAC,WAAW;qBAChC;oBACD,QAAQ,EAAE,EAAE,aAAa,EAAE;iBAC5B;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;QAC7C,OAAO;YACL;gBACE,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAG,CAAW,CAAC,OAAO,EAAE;gBACrD,QAAQ,EAAE,EAAE,aAAa,EAAE;aAC5B;SACF,CAAC;IACJ,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,19 @@
+/**
+ * ST Notebook Format (.stnb)
+ * Análogo a Jupyter .ipynb pero para proofs ST.
+ *
+ * API pública:
+ *   parseNotebook(source)     — JSON string → Notebook
+ *   serializeNotebook(nb)     — Notebook → JSON string (pretty, 2 spaces)
+ *   executeNotebook(nb, opts) — ejecuta cells code, captura outputs
+ *   renderHTML(nb)            — Notebook → HTML standalone (KaTeX)
+ *   renderMarkdown(nb)        — Notebook → Markdown export
+ */
+export { parseNotebook, ParseError } from './parser';
+export { serializeNotebook, serializeNotebookCompact } from './serializer';
+export { executeNotebook, executeCell } from './executor';
+export type { ExecuteOptions, ExecuteResult } from './executor';
+export { renderHTML } from './renderer-html';
+export { renderMarkdown } from './renderer-markdown';
+export type { Notebook, Cell, CodeCell, MarkdownCell, CellOutput, CellOutputMetadata, CellType, OutputType, NotebookMetadata, } from './types';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/format/stnb/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AAC3E,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC1D,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChE,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,YAAY,EACV,QAAQ,EACR,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,UAAU,EACV,kBAAkB,EAClB,QAAQ,EACR,UAAU,EACV,gBAAgB,GACjB,MAAM,SAAS,CAAC"}

package/dist/format/stnb/index.js

@@ -0,0 +1,28 @@
+"use strict";
+/**
+ * ST Notebook Format (.stnb)
+ * Análogo a Jupyter .ipynb pero para proofs ST.
+ *
+ * API pública:
+ *   parseNotebook(source)     — JSON string → Notebook
+ *   serializeNotebook(nb)     — Notebook → JSON string (pretty, 2 spaces)
+ *   executeNotebook(nb, opts) — ejecuta cells code, captura outputs
+ *   renderHTML(nb)            — Notebook → HTML standalone (KaTeX)
+ *   renderMarkdown(nb)        — Notebook → Markdown export
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.renderMarkdown = exports.renderHTML = exports.executeCell = exports.executeNotebook = exports.serializeNotebookCompact = exports.serializeNotebook = exports.ParseError = exports.parseNotebook = void 0;
+var parser_1 = require("./parser");
+Object.defineProperty(exports, "parseNotebook", { enumerable: true, get: function () { return parser_1.parseNotebook; } });
+Object.defineProperty(exports, "ParseError", { enumerable: true, get: function () { return parser_1.ParseError; } });
+var serializer_1 = require("./serializer");
+Object.defineProperty(exports, "serializeNotebook", { enumerable: true, get: function () { return serializer_1.serializeNotebook; } });
+Object.defineProperty(exports, "serializeNotebookCompact", { enumerable: true, get: function () { return serializer_1.serializeNotebookCompact; } });
+var executor_1 = require("./executor");
+Object.defineProperty(exports, "executeNotebook", { enumerable: true, get: function () { return executor_1.executeNotebook; } });
+Object.defineProperty(exports, "executeCell", { enumerable: true, get: function () { return executor_1.executeCell; } });
+var renderer_html_1 = require("./renderer-html");
+Object.defineProperty(exports, "renderHTML", { enumerable: true, get: function () { return renderer_html_1.renderHTML; } });
+var renderer_markdown_1 = require("./renderer-markdown");
+Object.defineProperty(exports, "renderMarkdown", { enumerable: true, get: function () { return renderer_markdown_1.renderMarkdown; } });
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/format/stnb/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;;AAEH,mCAAqD;AAA5C,uGAAA,aAAa,OAAA;AAAE,oGAAA,UAAU,OAAA;AAClC,2CAA2E;AAAlE,+GAAA,iBAAiB,OAAA;AAAE,sHAAA,wBAAwB,OAAA;AACpD,uCAA0D;AAAjD,2GAAA,eAAe,OAAA;AAAE,uGAAA,WAAW,OAAA;AAErC,iDAA6C;AAApC,2GAAA,UAAU,OAAA;AACnB,yDAAqD;AAA5C,mHAAA,cAAc,OAAA"}

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/index.d.ts

@@ -86,4 +86,10 @@ 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';
+export * as TacticDSL from './reasoning/tactic-dsl';
 //# 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;AAClD,OAAO,KAAK,SAAS,MAAM,wBAAwB,CAAC"}