@stevenvo780/st-lang 4.14.1 → 4.15.1

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

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

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

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

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

@@ -0,0 +1,140 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const executor_1 = require("../executor");
+function makeNotebook(cells = []) {
+    return {
+        version: '1.0',
+        kernel: 'st-lang',
+        kernelVersion: '4.14',
+        metadata: {
+            title: 'Executor Test',
+            profile: 'classical.propositional',
+            createdAt: '2026-05-18T00:00:00.000Z',
+            updatedAt: '2026-05-18T00:00:00.000Z',
+        },
+        cells,
+    };
+}
+(0, vitest_1.describe)('executeNotebook', () => {
+    (0, vitest_1.it)('executes empty notebook without error', () => {
+        const result = (0, executor_1.executeNotebook)(makeNotebook());
+        (0, vitest_1.expect)(result.cellsExecuted).toBe(0);
+        (0, vitest_1.expect)(result.errors).toHaveLength(0);
+    });
+    (0, vitest_1.it)('skips markdown cells', () => {
+        const nb = makeNotebook([
+            { id: 'md', type: 'markdown', source: '# Title' },
+        ]);
+        const result = (0, executor_1.executeNotebook)(nb);
+        (0, vitest_1.expect)(result.cellsExecuted).toBe(0);
+        (0, vitest_1.expect)(result.notebook.cells[0].type).toBe('markdown');
+    });
+    (0, vitest_1.it)('executes a valid code cell and captures result output', () => {
+        const nb = makeNotebook([
+            {
+                id: 'c1',
+                type: 'code',
+                source: 'check valid P -> P',
+                outputs: [],
+            },
+        ]);
+        const result = (0, executor_1.executeNotebook)(nb);
+        (0, vitest_1.expect)(result.cellsExecuted).toBe(1);
+        const cell = result.notebook.cells[0];
+        if (cell?.type === 'code') {
+            (0, vitest_1.expect)(cell.outputs.length).toBeGreaterThan(0);
+            (0, vitest_1.expect)(cell.outputs[0].type).toBe('result');
+        }
+    });
+    (0, vitest_1.it)('captures error output for invalid ST code', () => {
+        const nb = makeNotebook([
+            {
+                id: 'c-err',
+                type: 'code',
+                source: 'this is not valid st code @@@@',
+                outputs: [],
+            },
+        ]);
+        const result = (0, executor_1.executeNotebook)(nb);
+        const cell = result.notebook.cells[0];
+        if (cell?.type === 'code') {
+            (0, vitest_1.expect)(cell.outputs.length).toBeGreaterThan(0);
+            const out = cell.outputs[0];
+            (0, vitest_1.expect)(out.type === 'result' || out.type === 'error').toBe(true);
+        }
+    });
+    (0, vitest_1.it)('executes multiple cells in order', () => {
+        const nb = makeNotebook([
+            { id: 'md', type: 'markdown', source: '# Intro' },
+            { id: 'c1', type: 'code', source: 'check valid P -> P', outputs: [] },
+            {
+                id: 'c2',
+                type: 'code',
+                source: 'check valid (P -> Q) -> (not Q -> not P)',
+                outputs: [],
+            },
+        ]);
+        const result = (0, executor_1.executeNotebook)(nb);
+        (0, vitest_1.expect)(result.cellsExecuted).toBe(2);
+        (0, vitest_1.expect)(result.notebook.cells).toHaveLength(3);
+    });
+    (0, vitest_1.it)('uses per-cell profile when specified', () => {
+        const nb = makeNotebook([
+            {
+                id: 'modal-cell',
+                type: 'code',
+                source: 'check valid []P -> P',
+                profile: 'modal.s4',
+                outputs: [],
+            },
+        ]);
+        const result = (0, executor_1.executeNotebook)(nb);
+        (0, vitest_1.expect)(result.cellsExecuted).toBe(1);
+    });
+    (0, vitest_1.it)('updates notebook metadata.updatedAt after execution', () => {
+        const originalDate = '2026-01-01T00:00:00.000Z';
+        const nb = makeNotebook([
+            { id: 'c1', type: 'code', source: 'check valid P -> P', outputs: [] },
+        ]);
+        nb.metadata.updatedAt = originalDate;
+        const result = (0, executor_1.executeNotebook)(nb);
+        (0, vitest_1.expect)(result.notebook.metadata.updatedAt).not.toBe(originalDate);
+    });
+    (0, vitest_1.it)('outputs include executionTime in metadata', () => {
+        const nb = makeNotebook([
+            { id: 'c1', type: 'code', source: 'check valid P -> P', outputs: [] },
+        ]);
+        const result = (0, executor_1.executeNotebook)(nb);
+        const cell = result.notebook.cells[0];
+        if (cell?.type === 'code' && cell.outputs.length > 0) {
+            (0, vitest_1.expect)(cell.outputs[0].metadata?.executionTime).toBeDefined();
+            (0, vitest_1.expect)(typeof cell.outputs[0].metadata?.executionTime).toBe('number');
+        }
+    });
+    (0, vitest_1.it)('does not mutate the original notebook', () => {
+        const nb = makeNotebook([
+            { id: 'c1', type: 'code', source: 'check valid P -> P', outputs: [] },
+        ]);
+        const cellsBefore = nb.cells.length;
+        (0, executor_1.executeNotebook)(nb);
+        (0, vitest_1.expect)(nb.cells.length).toBe(cellsBefore);
+        if (nb.cells[0]?.type === 'code') {
+            (0, vitest_1.expect)(nb.cells[0].outputs).toHaveLength(0);
+        }
+    });
+});
+(0, vitest_1.describe)('executeCell', () => {
+    (0, vitest_1.it)('returns result output for valid ST code', () => {
+        const cell = {
+            id: 'c1',
+            type: 'code',
+            source: 'check valid P -> P',
+            outputs: [],
+        };
+        const outputs = (0, executor_1.executeCell)(cell, 'classical.propositional');
+        (0, vitest_1.expect)(outputs.length).toBeGreaterThan(0);
+        (0, vitest_1.expect)(outputs[0].type === 'result' || outputs[0].type === 'error').toBe(true);
+    });
+});
+//# sourceMappingURL=executor.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"executor.test.js","sourceRoot":"","sources":["../../../../src/format/stnb/__tests__/executor.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,0CAA2D;AAG3D,SAAS,YAAY,CAAC,QAA2B,EAAE;IACjD,OAAO;QACL,OAAO,EAAE,KAAK;QACd,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,MAAM;QACrB,QAAQ,EAAE;YACR,KAAK,EAAE,eAAe;YACtB,OAAO,EAAE,yBAAyB;YAClC,SAAS,EAAE,0BAA0B;YACrC,SAAS,EAAE,0BAA0B;SACtC;QACD,KAAK;KACN,CAAC;AACJ,CAAC;AAED,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,IAAA,0BAAe,EAAC,YAAY,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,EAAE,GAAG,YAAY,CAAC;YACtB,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE;SAClD,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,0BAAe,EAAC,EAAE,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,EAAE,GAAG,YAAY,CAAC;YACtB;gBACE,EAAE,EAAE,IAAI;gBACR,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,oBAAoB;gBAC5B,OAAO,EAAE,EAAE;aACZ;SACF,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,0BAAe,EAAC,EAAE,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,IAAI,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;YAC1B,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC/C,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG,YAAY,CAAC;YACtB;gBACE,EAAE,EAAE,OAAO;gBACX,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,gCAAgC;gBACxC,OAAO,EAAE,EAAE;aACZ;SACF,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,0BAAe,EAAC,EAAE,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,IAAI,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;YAC1B,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC;YAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,EAAE,GAAG,YAAY,CAAC;YACtB,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE;YACjD,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,oBAAoB,EAAE,OAAO,EAAE,EAAE,EAAE;YACrE;gBACE,EAAE,EAAE,IAAI;gBACR,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,0CAA0C;gBAClD,OAAO,EAAE,EAAE;aACZ;SACF,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,0BAAe,EAAC,EAAE,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,EAAE,GAAG,YAAY,CAAC;YACtB;gBACE,EAAE,EAAE,YAAY;gBAChB,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,sBAAsB;gBAC9B,OAAO,EAAE,UAAU;gBACnB,OAAO,EAAE,EAAE;aACZ;SACF,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,0BAAe,EAAC,EAAE,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,YAAY,GAAG,0BAA0B,CAAC;QAChD,MAAM,EAAE,GAAG,YAAY,CAAC;YACtB,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,oBAAoB,EAAE,OAAO,EAAE,EAAE,EAAE;SACtE,CAAC,CAAC;QACH,EAAE,CAAC,QAAQ,CAAC,SAAS,GAAG,YAAY,CAAC;QACrC,MAAM,MAAM,GAAG,IAAA,0BAAe,EAAC,EAAE,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG,YAAY,CAAC;YACtB,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,oBAAoB,EAAE,OAAO,EAAE,EAAE,EAAE;SACtE,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,0BAAe,EAAC,EAAE,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,IAAI,EAAE,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrD,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;YAC/D,IAAA,eAAM,EAAC,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,EAAE,GAAG,YAAY,CAAC;YACtB,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,oBAAoB,EAAE,OAAO,EAAE,EAAE,EAAE;SACtE,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC;QACpC,IAAA,0BAAe,EAAC,EAAE,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC1C,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;YACjC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,IAAI,GAAa;YACrB,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,oBAAoB;YAC5B,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,OAAO,GAAG,IAAA,sBAAW,EAAC,IAAI,EAAE,yBAAyB,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

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

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

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

@@ -0,0 +1,119 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const parser_1 = require("../parser");
+const VALID_NOTEBOOK = {
+    version: '1.0',
+    kernel: 'st-lang',
+    kernelVersion: '4.14',
+    metadata: {
+        title: 'Test',
+        profile: 'classical.propositional',
+        createdAt: '2026-05-18T00:00:00.000Z',
+        updatedAt: '2026-05-18T00:00:00.000Z',
+    },
+    cells: [],
+};
+function makeJson(overrides = {}) {
+    return JSON.stringify({ ...VALID_NOTEBOOK, ...overrides });
+}
+(0, vitest_1.describe)('parseNotebook', () => {
+    (0, vitest_1.it)('parses a minimal valid notebook', () => {
+        const nb = (0, parser_1.parseNotebook)(makeJson());
+        (0, vitest_1.expect)(nb.version).toBe('1.0');
+        (0, vitest_1.expect)(nb.kernel).toBe('st-lang');
+        (0, vitest_1.expect)(nb.cells).toHaveLength(0);
+    });
+    (0, vitest_1.it)('parses notebook with markdown and code cells', () => {
+        const json = JSON.stringify({
+            ...VALID_NOTEBOOK,
+            cells: [
+                { id: 'md-1', type: 'markdown', source: '# Hello' },
+                { id: 'code-1', type: 'code', source: 'check valid P -> P', outputs: [] },
+            ],
+        });
+        const nb = (0, parser_1.parseNotebook)(json);
+        (0, vitest_1.expect)(nb.cells).toHaveLength(2);
+        (0, vitest_1.expect)(nb.cells[0].type).toBe('markdown');
+        (0, vitest_1.expect)(nb.cells[1].type).toBe('code');
+    });
+    (0, vitest_1.it)('parses code cell with outputs', () => {
+        const json = JSON.stringify({
+            ...VALID_NOTEBOOK,
+            cells: [
+                {
+                    id: 'c1',
+                    type: 'code',
+                    source: 'check valid P',
+                    outputs: [
+                        {
+                            type: 'result',
+                            data: { valid: true, stdout: 'ok' },
+                            metadata: { executionTime: 10 },
+                        },
+                    ],
+                },
+            ],
+        });
+        const nb = (0, parser_1.parseNotebook)(json);
+        const cell = nb.cells[0];
+        (0, vitest_1.expect)(cell?.type).toBe('code');
+        if (cell?.type === 'code') {
+            (0, vitest_1.expect)(cell.outputs).toHaveLength(1);
+            (0, vitest_1.expect)(cell.outputs[0].type).toBe('result');
+            (0, vitest_1.expect)(cell.outputs[0].metadata?.executionTime).toBe(10);
+        }
+    });
+    (0, vitest_1.it)('throws ParseError for invalid JSON', () => {
+        (0, vitest_1.expect)(() => (0, parser_1.parseNotebook)('not json')).toThrow(parser_1.ParseError);
+        (0, vitest_1.expect)(() => (0, parser_1.parseNotebook)('not json')).toThrow('Invalid JSON');
+    });
+    (0, vitest_1.it)('throws ParseError when version is missing', () => {
+        const json = makeJson({ version: undefined });
+        (0, vitest_1.expect)(() => (0, parser_1.parseNotebook)(json)).toThrow(parser_1.ParseError);
+    });
+    (0, vitest_1.it)('throws ParseError for unsupported version', () => {
+        (0, vitest_1.expect)(() => (0, parser_1.parseNotebook)(makeJson({ version: '2.0' }))).toThrow(parser_1.ParseError);
+        (0, vitest_1.expect)(() => (0, parser_1.parseNotebook)(makeJson({ version: '2.0' }))).toThrow('Unsupported notebook version');
+    });
+    (0, vitest_1.it)('throws ParseError for invalid cell type', () => {
+        const json = JSON.stringify({
+            ...VALID_NOTEBOOK,
+            cells: [{ id: 'x', type: 'invalid', source: '' }],
+        });
+        (0, vitest_1.expect)(() => (0, parser_1.parseNotebook)(json)).toThrow(parser_1.ParseError);
+        (0, vitest_1.expect)(() => (0, parser_1.parseNotebook)(json)).toThrow('invalid type');
+    });
+    (0, vitest_1.it)('parses code cell with per-cell profile override', () => {
+        const json = JSON.stringify({
+            ...VALID_NOTEBOOK,
+            cells: [
+                {
+                    id: 'c1',
+                    type: 'code',
+                    source: 'check valid []P -> P',
+                    profile: 'modal.s4',
+                    outputs: [],
+                },
+            ],
+        });
+        const nb = (0, parser_1.parseNotebook)(json);
+        const cell = nb.cells[0];
+        if (cell?.type === 'code') {
+            (0, vitest_1.expect)(cell.profile).toBe('modal.s4');
+        }
+    });
+    (0, vitest_1.it)('preserves extra metadata fields', () => {
+        const json = JSON.stringify({
+            ...VALID_NOTEBOOK,
+            metadata: {
+                ...VALID_NOTEBOOK.metadata,
+                customField: 'custom-value',
+                tags: ['logic', 'intro'],
+            },
+        });
+        const nb = (0, parser_1.parseNotebook)(json);
+        (0, vitest_1.expect)(nb.metadata.customField).toBe('custom-value');
+    });
+});
+//# sourceMappingURL=parser.test.js.map

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"}