@stevenvo780/st-lang 4.14.0 → 4.15.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"parser.test.js","sourceRoot":"","sources":["../../../../src/format/stnb/__tests__/parser.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,sCAAsD;AAGtD,MAAM,cAAc,GAAa;IAC/B,OAAO,EAAE,KAAK;IACd,MAAM,EAAE,SAAS;IACjB,aAAa,EAAE,MAAM;IACrB,QAAQ,EAAE;QACR,KAAK,EAAE,MAAM;QACb,OAAO,EAAE,yBAAyB;QAClC,SAAS,EAAE,0BAA0B;QACrC,SAAS,EAAE,0BAA0B;KACtC;IACD,KAAK,EAAE,EAAE;CACV,CAAC;AAEF,SAAS,QAAQ,CAAC,YAA8C,EAAE;IAChE,OAAO,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,cAAc,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;AAC7D,CAAC;AAED,IAAA,iBAAQ,EAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,EAAE,GAAG,IAAA,sBAAa,EAAC,QAAQ,EAAE,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC;YAC1B,GAAG,cAAc;YACjB,KAAK,EAAE;gBACL,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE;gBACnD,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,oBAAoB,EAAE,OAAO,EAAE,EAAE,EAAE;aAC1E;SACF,CAAC,CAAC;QACH,MAAM,EAAE,GAAG,IAAA,sBAAa,EAAC,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC;YAC1B,GAAG,cAAc;YACjB,KAAK,EAAE;gBACL;oBACE,EAAE,EAAE,IAAI;oBACR,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE,eAAe;oBACvB,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,QAAQ;4BACd,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;4BACnC,QAAQ,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE;yBAChC;qBACF;iBACF;aACF;SACF,CAAC,CAAC;QACH,MAAM,EAAE,GAAG,IAAA,sBAAa,EAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChC,IAAI,IAAI,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;YAC1B,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YACrC,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC7C,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,sBAAa,EAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,mBAAU,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,sBAAa,EAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,sBAAa,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,mBAAU,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,sBAAa,EAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,mBAAU,CAAC,CAAC;QAC9E,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,sBAAa,EAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAC/D,8BAA8B,CAC/B,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC;YAC1B,GAAG,cAAc;YACjB,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;SAClD,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,sBAAa,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,mBAAU,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,sBAAa,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC;YAC1B,GAAG,cAAc;YACjB,KAAK,EAAE;gBACL;oBACE,EAAE,EAAE,IAAI;oBACR,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE,sBAAsB;oBAC9B,OAAO,EAAE,UAAU;oBACnB,OAAO,EAAE,EAAE;iBACZ;aACF;SACF,CAAC,CAAC;QACH,MAAM,EAAE,GAAG,IAAA,sBAAa,EAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,IAAI,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;YAC1B,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACxC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC;YAC1B,GAAG,cAAc;YACjB,QAAQ,EAAE;gBACR,GAAG,cAAc,CAAC,QAAQ;gBAC1B,WAAW,EAAE,cAAc;gBAC3B,IAAI,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;aACzB;SACF,CAAC,CAAC;QACH,MAAM,EAAE,GAAG,IAAA,sBAAa,EAAC,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAE,EAAE,CAAC,QAAqC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/format/stnb/__tests__/renderer.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=renderer.test.d.ts.map

package/dist/format/stnb/__tests__/renderer.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"renderer.test.d.ts","sourceRoot":"","sources":["../../../../src/format/stnb/__tests__/renderer.test.ts"],"names":[],"mappings":""}

package/dist/format/stnb/__tests__/renderer.test.js

@@ -0,0 +1,109 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const renderer_html_1 = require("../renderer-html");
+const renderer_markdown_1 = require("../renderer-markdown");
+const DEMO_NOTEBOOK = {
+    version: '1.0',
+    kernel: 'st-lang',
+    kernelVersion: '4.14',
+    metadata: {
+        title: 'Renderer Demo',
+        author: 'Test Author',
+        profile: 'classical.propositional',
+        createdAt: '2026-05-18T00:00:00.000Z',
+        updatedAt: '2026-05-18T00:00:00.000Z',
+    },
+    cells: [
+        {
+            id: 'md-1',
+            type: 'markdown',
+            source: '# Intro\n\nEsta es una prueba $p \\to p$',
+        },
+        {
+            id: 'code-1',
+            type: 'code',
+            source: 'check valid P -> P',
+            outputs: [
+                {
+                    type: 'result',
+                    data: { valid: true, stdout: '✓ valid' },
+                    metadata: { executionTime: 5 },
+                },
+            ],
+        },
+        {
+            id: 'code-err',
+            type: 'code',
+            source: 'invalid',
+            outputs: [
+                {
+                    type: 'error',
+                    data: { valid: false, message: 'Syntax error' },
+                    metadata: { executionTime: 2 },
+                },
+            ],
+        },
+    ],
+};
+(0, vitest_1.describe)('renderHTML', () => {
+    (0, vitest_1.it)('produces a valid HTML document', () => {
+        const html = (0, renderer_html_1.renderHTML)(DEMO_NOTEBOOK);
+        (0, vitest_1.expect)(html).toContain('<!DOCTYPE html>');
+        (0, vitest_1.expect)(html).toContain('<html');
+        (0, vitest_1.expect)(html).toContain('</html>');
+    });
+    (0, vitest_1.it)('includes the notebook title', () => {
+        const html = (0, renderer_html_1.renderHTML)(DEMO_NOTEBOOK);
+        (0, vitest_1.expect)(html).toContain('Renderer Demo');
+    });
+    (0, vitest_1.it)('includes KaTeX script tags', () => {
+        const html = (0, renderer_html_1.renderHTML)(DEMO_NOTEBOOK);
+        (0, vitest_1.expect)(html).toContain('katex');
+    });
+    (0, vitest_1.it)('renders markdown cells', () => {
+        const html = (0, renderer_html_1.renderHTML)(DEMO_NOTEBOOK);
+        (0, vitest_1.expect)(html).toContain('cell-markdown');
+    });
+    (0, vitest_1.it)('renders code cells with source', () => {
+        const html = (0, renderer_html_1.renderHTML)(DEMO_NOTEBOOK);
+        (0, vitest_1.expect)(html).toContain('cell-code');
+        (0, vitest_1.expect)(html).toContain('check valid P -&gt; P');
+    });
+    (0, vitest_1.it)('marks successful outputs with ok class', () => {
+        const html = (0, renderer_html_1.renderHTML)(DEMO_NOTEBOOK);
+        (0, vitest_1.expect)(html).toContain('output-ok');
+    });
+    (0, vitest_1.it)('marks error outputs with err class', () => {
+        const html = (0, renderer_html_1.renderHTML)(DEMO_NOTEBOOK);
+        (0, vitest_1.expect)(html).toContain('output-err');
+    });
+});
+(0, vitest_1.describe)('renderMarkdown', () => {
+    (0, vitest_1.it)('starts with the notebook title', () => {
+        const md = (0, renderer_markdown_1.renderMarkdown)(DEMO_NOTEBOOK);
+        (0, vitest_1.expect)(md.startsWith('# Renderer Demo')).toBe(true);
+    });
+    (0, vitest_1.it)('includes kernel metadata', () => {
+        const md = (0, renderer_markdown_1.renderMarkdown)(DEMO_NOTEBOOK);
+        (0, vitest_1.expect)(md).toContain('st-lang');
+    });
+    (0, vitest_1.it)('renders code cells as fenced st blocks', () => {
+        const md = (0, renderer_markdown_1.renderMarkdown)(DEMO_NOTEBOOK);
+        (0, vitest_1.expect)(md).toContain('```st');
+        (0, vitest_1.expect)(md).toContain('check valid P -> P');
+    });
+    (0, vitest_1.it)('renders outputs as table or code block', () => {
+        const md = (0, renderer_markdown_1.renderMarkdown)(DEMO_NOTEBOOK);
+        (0, vitest_1.expect)(md).toContain('| Estado |');
+    });
+    (0, vitest_1.it)('includes markdown cell content verbatim', () => {
+        const md = (0, renderer_markdown_1.renderMarkdown)(DEMO_NOTEBOOK);
+        (0, vitest_1.expect)(md).toContain('# Intro');
+    });
+    (0, vitest_1.it)('renders error outputs with error marker', () => {
+        const md = (0, renderer_markdown_1.renderMarkdown)(DEMO_NOTEBOOK);
+        (0, vitest_1.expect)(md).toContain('Error');
+    });
+});
+//# sourceMappingURL=renderer.test.js.map

package/dist/format/stnb/__tests__/renderer.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"renderer.test.js","sourceRoot":"","sources":["../../../../src/format/stnb/__tests__/renderer.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,oDAA8C;AAC9C,4DAAsD;AAGtD,MAAM,aAAa,GAAa;IAC9B,OAAO,EAAE,KAAK;IACd,MAAM,EAAE,SAAS;IACjB,aAAa,EAAE,MAAM;IACrB,QAAQ,EAAE;QACR,KAAK,EAAE,eAAe;QACtB,MAAM,EAAE,aAAa;QACrB,OAAO,EAAE,yBAAyB;QAClC,SAAS,EAAE,0BAA0B;QACrC,SAAS,EAAE,0BAA0B;KACtC;IACD,KAAK,EAAE;QACL;YACE,EAAE,EAAE,MAAM;YACV,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE,0CAA0C;SACnD;QACD;YACE,EAAE,EAAE,QAAQ;YACZ,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,oBAAoB;YAC5B,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE;oBACxC,QAAQ,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE;iBAC/B;aACF;SACF;QACD;YACE,EAAE,EAAE,UAAU;YACd,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE;oBAC/C,QAAQ,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE;iBAC/B;aACF;SACF;KACF;CACF,CAAC;AAEF,IAAA,iBAAQ,EAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,IAAI,GAAG,IAAA,0BAAU,EAAC,aAAa,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,IAAI,GAAG,IAAA,0BAAU,EAAC,aAAa,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,IAAI,GAAG,IAAA,0BAAU,EAAC,aAAa,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,IAAI,GAAG,IAAA,0BAAU,EAAC,aAAa,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,IAAI,GAAG,IAAA,0BAAU,EAAC,aAAa,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,IAAI,GAAG,IAAA,0BAAU,EAAC,aAAa,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,IAAI,GAAG,IAAA,0BAAU,EAAC,aAAa,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,EAAE,GAAG,IAAA,kCAAc,EAAC,aAAa,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,EAAE,GAAG,IAAA,kCAAc,EAAC,aAAa,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,EAAE,GAAG,IAAA,kCAAc,EAAC,aAAa,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,EAAE,GAAG,IAAA,kCAAc,EAAC,aAAa,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,EAAE,GAAG,IAAA,kCAAc,EAAC,aAAa,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,EAAE,GAAG,IAAA,kCAAc,EAAC,aAAa,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/format/stnb/__tests__/roundtrip.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=roundtrip.test.d.ts.map

package/dist/format/stnb/__tests__/roundtrip.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"roundtrip.test.d.ts","sourceRoot":"","sources":["../../../../src/format/stnb/__tests__/roundtrip.test.ts"],"names":[],"mappings":""}

package/dist/format/stnb/__tests__/roundtrip.test.js

@@ -0,0 +1,91 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const parser_1 = require("../parser");
+const serializer_1 = require("../serializer");
+function roundtrip(nb) {
+    return (0, parser_1.parseNotebook)((0, serializer_1.serializeNotebook)(nb));
+}
+const FULL_NOTEBOOK = {
+    version: '1.0',
+    kernel: 'st-lang',
+    kernelVersion: '4.14',
+    metadata: {
+        title: 'Roundtrip Test',
+        author: 'Test Author',
+        profile: 'classical.propositional',
+        createdAt: '2026-05-18T00:00:00.000Z',
+        updatedAt: '2026-05-18T00:00:00.000Z',
+    },
+    cells: [
+        { id: 'md-1', type: 'markdown', source: '# Hello $p \\to p$' },
+        {
+            id: 'code-1',
+            type: 'code',
+            source: 'check valid P -> P',
+            outputs: [
+                {
+                    type: 'result',
+                    data: { valid: true, stdout: '✓ valid' },
+                    metadata: { executionTime: 10 },
+                },
+            ],
+        },
+        {
+            id: 'code-modal',
+            type: 'code',
+            source: 'check valid []P -> P',
+            profile: 'modal.s4',
+            outputs: [],
+        },
+    ],
+};
+(0, vitest_1.describe)('roundtrip parse → serialize → parse', () => {
+    (0, vitest_1.it)('produces structurally identical notebooks', () => {
+        const rt = roundtrip(FULL_NOTEBOOK);
+        (0, vitest_1.expect)(rt.version).toBe(FULL_NOTEBOOK.version);
+        (0, vitest_1.expect)(rt.kernel).toBe(FULL_NOTEBOOK.kernel);
+        (0, vitest_1.expect)(rt.kernelVersion).toBe(FULL_NOTEBOOK.kernelVersion);
+        (0, vitest_1.expect)(rt.metadata.title).toBe(FULL_NOTEBOOK.metadata.title);
+        (0, vitest_1.expect)(rt.cells).toHaveLength(FULL_NOTEBOOK.cells.length);
+    });
+    (0, vitest_1.it)('preserves cell ids and types', () => {
+        const rt = roundtrip(FULL_NOTEBOOK);
+        for (let i = 0; i < FULL_NOTEBOOK.cells.length; i++) {
+            (0, vitest_1.expect)(rt.cells[i].id).toBe(FULL_NOTEBOOK.cells[i].id);
+            (0, vitest_1.expect)(rt.cells[i].type).toBe(FULL_NOTEBOOK.cells[i].type);
+        }
+    });
+    (0, vitest_1.it)('is idempotent: double roundtrip equals single roundtrip', () => {
+        const once = (0, serializer_1.serializeNotebook)(roundtrip(FULL_NOTEBOOK));
+        const twice = (0, serializer_1.serializeNotebook)(roundtrip(roundtrip(FULL_NOTEBOOK)));
+        (0, vitest_1.expect)(once).toBe(twice);
+    });
+    (0, vitest_1.it)('preserves code cell outputs through roundtrip', () => {
+        const rt = roundtrip(FULL_NOTEBOOK);
+        const codeCell = rt.cells.find((c) => c.id === 'code-1');
+        (0, vitest_1.expect)(codeCell?.type).toBe('code');
+        if (codeCell?.type === 'code') {
+            (0, vitest_1.expect)(codeCell.outputs).toHaveLength(1);
+            (0, vitest_1.expect)(codeCell.outputs[0].type).toBe('result');
+            (0, vitest_1.expect)(codeCell.outputs[0].metadata?.executionTime).toBe(10);
+        }
+    });
+    (0, vitest_1.it)('handles empty notebooks in roundtrip', () => {
+        const empty = {
+            version: '1.0',
+            kernel: 'st-lang',
+            kernelVersion: '4.14',
+            metadata: {
+                title: 'Empty',
+                profile: 'classical.propositional',
+                createdAt: '2026-05-18T00:00:00.000Z',
+                updatedAt: '2026-05-18T00:00:00.000Z',
+            },
+            cells: [],
+        };
+        const rt = roundtrip(empty);
+        (0, vitest_1.expect)(rt.cells).toHaveLength(0);
+    });
+});
+//# sourceMappingURL=roundtrip.test.js.map

package/dist/format/stnb/__tests__/roundtrip.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"roundtrip.test.js","sourceRoot":"","sources":["../../../../src/format/stnb/__tests__/roundtrip.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,sCAA0C;AAC1C,8CAAkD;AAGlD,SAAS,SAAS,CAAC,EAAY;IAC7B,OAAO,IAAA,sBAAa,EAAC,IAAA,8BAAiB,EAAC,EAAE,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,aAAa,GAAa;IAC9B,OAAO,EAAE,KAAK;IACd,MAAM,EAAE,SAAS;IACjB,aAAa,EAAE,MAAM;IACrB,QAAQ,EAAE;QACR,KAAK,EAAE,gBAAgB;QACvB,MAAM,EAAE,aAAa;QACrB,OAAO,EAAE,yBAAyB;QAClC,SAAS,EAAE,0BAA0B;QACrC,SAAS,EAAE,0BAA0B;KACtC;IACD,KAAK,EAAE;QACL,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,oBAAoB,EAAE;QAC9D;YACE,EAAE,EAAE,QAAQ;YACZ,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,oBAAoB;YAC5B,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE;oBACxC,QAAQ,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE;iBAChC;aACF;SACF;QACD;YACE,EAAE,EAAE,YAAY;YAChB,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,sBAAsB;YAC9B,OAAO,EAAE,UAAU;YACnB,OAAO,EAAE,EAAE;SACZ;KACF;CACF,CAAC;AAEF,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG,SAAS,CAAC,aAAa,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,EAAE,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,EAAE,GAAG,SAAS,CAAC,aAAa,CAAC,CAAC;QACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACpD,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC;YACzD,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,IAAI,GAAG,IAAA,8BAAiB,EAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,IAAA,8BAAiB,EAAC,SAAS,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,EAAE,GAAG,SAAS,CAAC,aAAa,CAAC,CAAC;QACpC,MAAM,QAAQ,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,QAAQ,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;YAC9B,IAAA,eAAM,EAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YACzC,IAAA,eAAM,EAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACjD,IAAA,eAAM,EAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,KAAK,GAAa;YACtB,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,SAAS;YACjB,aAAa,EAAE,MAAM;YACrB,QAAQ,EAAE;gBACR,KAAK,EAAE,OAAO;gBACd,OAAO,EAAE,yBAAyB;gBAClC,SAAS,EAAE,0BAA0B;gBACrC,SAAS,EAAE,0BAA0B;aACtC;YACD,KAAK,EAAE,EAAE;SACV,CAAC;QACF,MAAM,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=serializer.test.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"serializer.test.d.ts","sourceRoot":"","sources":["../../../../src/format/stnb/__tests__/serializer.test.ts"],"names":[],"mappings":""}

package/dist/format/stnb/__tests__/serializer.test.js

@@ -0,0 +1,60 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const serializer_1 = require("../serializer");
+const BASE_NOTEBOOK = {
+    version: '1.0',
+    kernel: 'st-lang',
+    kernelVersion: '4.14',
+    metadata: {
+        title: 'Serializer Test',
+        author: 'Test',
+        profile: 'classical.propositional',
+        createdAt: '2026-05-18T00:00:00.000Z',
+        updatedAt: '2026-05-18T00:00:00.000Z',
+    },
+    cells: [
+        { id: 'md-1', type: 'markdown', source: '# Title' },
+        {
+            id: 'code-1',
+            type: 'code',
+            source: 'check valid P -> P',
+            outputs: [],
+        },
+    ],
+};
+(0, vitest_1.describe)('serializeNotebook', () => {
+    (0, vitest_1.it)('produces valid JSON', () => {
+        const json = (0, serializer_1.serializeNotebook)(BASE_NOTEBOOK);
+        (0, vitest_1.expect)(() => JSON.parse(json)).not.toThrow();
+    });
+    (0, vitest_1.it)('uses 2-space indentation', () => {
+        const json = (0, serializer_1.serializeNotebook)(BASE_NOTEBOOK);
+        (0, vitest_1.expect)(json).toContain('  "version"');
+    });
+    (0, vitest_1.it)('preserves all top-level fields', () => {
+        const json = (0, serializer_1.serializeNotebook)(BASE_NOTEBOOK);
+        const parsed = JSON.parse(json);
+        (0, vitest_1.expect)(parsed.version).toBe('1.0');
+        (0, vitest_1.expect)(parsed.kernel).toBe('st-lang');
+        (0, vitest_1.expect)(parsed.kernelVersion).toBe('4.14');
+    });
+    (0, vitest_1.it)('preserves cells array', () => {
+        const json = (0, serializer_1.serializeNotebook)(BASE_NOTEBOOK);
+        const parsed = JSON.parse(json);
+        (0, vitest_1.expect)(parsed.cells).toHaveLength(2);
+    });
+    (0, vitest_1.it)('preserves metadata fields', () => {
+        const json = (0, serializer_1.serializeNotebook)(BASE_NOTEBOOK);
+        const parsed = JSON.parse(json);
+        (0, vitest_1.expect)(parsed.metadata.title).toBe('Serializer Test');
+        (0, vitest_1.expect)(parsed.metadata.author).toBe('Test');
+    });
+    (0, vitest_1.it)('produces different output from compact', () => {
+        const pretty = (0, serializer_1.serializeNotebook)(BASE_NOTEBOOK);
+        const compact = (0, serializer_1.serializeNotebookCompact)(BASE_NOTEBOOK);
+        (0, vitest_1.expect)(pretty.length).toBeGreaterThan(compact.length);
+        (0, vitest_1.expect)(compact).not.toContain('\n');
+    });
+});
+//# sourceMappingURL=serializer.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"serializer.test.js","sourceRoot":"","sources":["../../../../src/format/stnb/__tests__/serializer.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,8CAA4E;AAG5E,MAAM,aAAa,GAAa;IAC9B,OAAO,EAAE,KAAK;IACd,MAAM,EAAE,SAAS;IACjB,aAAa,EAAE,MAAM;IACrB,QAAQ,EAAE;QACR,KAAK,EAAE,iBAAiB;QACxB,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,yBAAyB;QAClC,SAAS,EAAE,0BAA0B;QACrC,SAAS,EAAE,0BAA0B;KACtC;IACD,KAAK,EAAE;QACL,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE;QACnD;YACE,EAAE,EAAE,QAAQ;YACZ,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,oBAAoB;YAC5B,OAAO,EAAE,EAAE;SACZ;KACF;CACF,CAAC;AAEF,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,IAAI,GAAG,IAAA,8BAAiB,EAAC,aAAa,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,IAAI,GAAG,IAAA,8BAAiB,EAAC,aAAa,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,IAAI,GAAG,IAAA,8BAAiB,EAAC,aAAa,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAa,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,IAAI,GAAG,IAAA,8BAAiB,EAAC,aAAa,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAa,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,IAAI,GAAG,IAAA,8BAAiB,EAAC,aAAa,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAa,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,MAAM,GAAG,IAAA,8BAAiB,EAAC,aAAa,CAAC,CAAC;QAChD,MAAM,OAAO,GAAG,IAAA,qCAAwB,EAAC,aAAa,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,29 @@
+/**
+ * Executor del formato .stnb
+ * Ejecuta cells de tipo "code" usando la API de ST y captura los outputs.
+ */
+import type { Notebook, CodeCell, CellOutput } from './types';
+export interface ExecuteOptions {
+    /** Si es true, una cell con error detiene la ejecución. Default: false */
+    stopOnError?: boolean;
+    /** Timeout por cell en ms. Default: 5000 */
+    cellTimeoutMs?: number;
+}
+export interface ExecuteResult {
+    notebook: Notebook;
+    cellsExecuted: number;
+    errors: Array<{
+        cellId: string;
+        message: string;
+    }>;
+}
+/**
+ * Ejecuta todas las cells de tipo "code" de un notebook en orden.
+ * Devuelve una copia del notebook con los outputs actualizados.
+ */
+export declare function executeNotebook(notebook: Notebook, options?: ExecuteOptions): ExecuteResult;
+/**
+ * Ejecuta una sola cell de código y devuelve sus outputs.
+ */
+export declare function executeCell(cell: CodeCell, defaultProfile: string): CellOutput[];
+//# sourceMappingURL=executor.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"executor.d.ts","sourceRoot":"","sources":["../../../src/format/stnb/executor.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAE9D,MAAM,WAAW,cAAc;IAC7B,0EAA0E;IAC1E,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,4CAA4C;IAC5C,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,QAAQ,CAAC;IACnB,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACpD;AAcD;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,QAAQ,EAClB,OAAO,GAAE,cAAmB,GAC3B,aAAa,CA2Ef;AAED;;GAEG;AACH,wBAAgB,WAAW,CACzB,IAAI,EAAE,QAAQ,EACd,cAAc,EAAE,MAAM,GACrB,UAAU,EAAE,CAsCd"}

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

@@ -0,0 +1,14 @@
+/**
+ * Parser del formato .stnb — JSON → Notebook
+ * Validación estructural sin dependencia de zod (no está en deps).
+ */
+import type { Notebook } from './types';
+export declare class ParseError extends Error {
+    constructor(message: string);
+}
+/**
+ * Parsea un string JSON → Notebook validado.
+ * Lanza ParseError si el formato es inválido.
+ */
+export declare function parseNotebook(source: string): Notebook;
+//# sourceMappingURL=parser.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../../src/format/stnb/parser.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAsC,MAAM,SAAS,CAAC;AAE5E,qBAAa,UAAW,SAAQ,KAAK;gBACvB,OAAO,EAAE,MAAM;CAI5B;AAiGD;;;GAGG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,CAgCtD"}