@stevenvo780/st-lang 4.14.0 → 4.15.0

package/README.md

@@ -7,8 +7,8 @@
 **ST** es un lenguaje ejecutable para lógica, argumentación y formalización documental.
 Combina verificación formal, scripting declarativo, control de flujo, funciones, perfiles lógicos múltiples y una **Text Layer** para conectar fórmulas con texto humano real.
 
-[![Version](https://img.shields.io/badge/version-4.5.0-blue.svg)](package.json)
-[![Tests](https://img.shields.io/badge/tests-4041-brightgreen.svg)]()
+[![Version](https://img.shields.io/badge/version-4.14.0-blue.svg)](package.json)
+[![Tests](https://img.shields.io/badge/tests-6333-brightgreen.svg)]()
 [![License](https://img.shields.io/badge/license-MIT-green.svg)](LICENSE)
 [![Build Status](https://img.shields.io/badge/build-passing-brightgreen.svg)]()
 
@@ -38,7 +38,7 @@ Combina verificación formal, scripting declarativo, control de flujo, funciones
 ### Con npm
 
 ```bash
-npm install @stevenvo780/st-lang@4.5.0
+npm install @stevenvo780/st-lang@4.14.0
 ```
 
 ### Desde el código fuente
@@ -53,9 +53,9 @@ npm link
 
 ---
 
-## What's new in V4 (4.0 → 4.5.0)
+## What's new in V4–V5 (4.0 → 4.14.0)
 
-52+ módulos nuevos. 4041 tests (eran 1583 en v3.3).
+80+ módulos nuevos. 6333 tests (eran 1583 en v3.3).
 
 ### Performance & SAT
 - CDCL v2 con VSIDS, clause learning y reinicios Luby.
@@ -493,7 +493,7 @@ La extensión oficial en `editors/vscode-st` aporta:
 ## Documentación ampliada
 
 - Guía completa local: [`DOCS.md`](./DOCS.md)
-- Documentación web: [agora.humanizar.cloud/docs#st-lang](https://agora.humanizar.cloud/docs#st-lang)
+- Documentación web: [agora.elenxos.com/docs#st-lang](https://agora.elenxos.com/docs#st-lang)
 
 ---
 

package/dist/ast/nodes.d.ts

@@ -1,51 +1,64 @@
 import { Formula, SourceLocation } from '../types';
+/** Discriminante de todos los nodos de sentencia del AST de ST. */
 export type StatementKind = 'logic_decl' | 'axiom_decl' | 'theorem_decl' | 'derive_cmd' | 'check_valid_cmd' | 'check_satisfiable_cmd' | 'check_equivalent_cmd' | 'prove_cmd' | 'countermodel_cmd' | 'truth_table_cmd' | 'let_decl' | 'claim_decl' | 'support_decl' | 'confidence_decl' | 'context_decl' | 'render_cmd' | 'analyze_cmd' | 'explain_cmd' | 'import_decl' | 'proof_block' | 'theory_decl' | 'print_cmd' | 'set_cmd' | 'if_stmt' | 'for_stmt' | 'while_stmt' | 'fn_decl' | 'return_stmt' | 'fn_call' | 'export_decl' | 'define_decl' | 'unfold_cmd' | 'fold_cmd' | 'source_decl' | 'interpret_cmd' | 'glossary_cmd';
+/** Nodo base del AST. Todos los nodos de sentencia extienden esta interfaz. */
 export interface ASTNode {
     kind: StatementKind;
     source: SourceLocation;
 }
+/** Declaración de perfil lógico activo: `logic classical.propositional`. */
 export interface LogicDeclNode extends ASTNode {
     kind: 'logic_decl';
     profile: string;
 }
+/** Declaración de axioma: `axiom <nombre> := <fórmula>`. */
 export interface AxiomDeclNode extends ASTNode {
     kind: 'axiom_decl';
     name: string;
     formula: Formula;
 }
+/** Declaración de teorema: `theorem <nombre> := <fórmula>`. */
 export interface TheoremDeclNode extends ASTNode {
     kind: 'theorem_decl';
     name: string;
     formula: Formula;
 }
+/** Comando `derive <goal> from <premises...>`: deriva una fórmula a partir de premisas nombradas. */
 export interface DeriveCmdNode extends ASTNode {
     kind: 'derive_cmd';
     goal: Formula;
     premises: string[];
 }
+/** Comando `check valid <fórmula>`: verifica si la fórmula es tautología. */
 export interface CheckValidCmdNode extends ASTNode {
     kind: 'check_valid_cmd';
     formula: Formula;
 }
+/** Comando `check satisfiable <fórmula>`: verifica si existe valoración que satisfaga la fórmula. */
 export interface CheckSatisfiableCmdNode extends ASTNode {
     kind: 'check_satisfiable_cmd';
     formula: Formula;
 }
+/** Comando `check equivalent <A> <B>`: comprueba equivalencia lógica entre dos fórmulas. */
 export interface CheckEquivalentCmdNode extends ASTNode {
     kind: 'check_equivalent_cmd';
     left: Formula;
     right: Formula;
 }
+/** Comando `prove <goal> from <premises...>`: intenta construir una prueba formal del goal. */
 export interface ProveCmdNode extends ASTNode {
     kind: 'prove_cmd';
     goal: Formula;
     premises: string[];
 }
+/** Comando `countermodel <fórmula>`: busca un modelo que falsifique la fórmula. */
 export interface CountermodelCmdNode extends ASTNode {
     kind: 'countermodel_cmd';
     formula: Formula;
 }
+/** Discriminante de las acciones que puede encapsular un `let x = <acción>`. */
 export type ActionExprKind = 'check_valid' | 'check_satisfiable' | 'check_equivalent' | 'derive' | 'prove' | 'countermodel' | 'truth_table' | 'explain';
+/** Expresión de acción usada dentro de `let x = <acción>`. */
 export interface ActionExprNode {
     kind: 'action_expr';
     action: ActionExprKind;
@@ -56,28 +69,34 @@ export interface ActionExprNode {
     goal?: Formula;
     premises?: string[];
 }
+/** Comando `truth_table <fórmula>`: genera la tabla de verdad completa. */
 export interface TruthTableCmdNode extends ASTNode {
     kind: 'truth_table_cmd';
     formula: Formula;
 }
+/** Comando `render <target> as <format>`: serializa un símbolo a un formato dado. */
 export interface RenderCmdNode extends ASTNode {
     kind: 'render_cmd';
     target: string;
     format: string;
 }
+/** Comando `analyze <premises> therefore <conclusion>`: analiza la validez de un argumento. */
 export interface AnalyzeCmdNode extends ASTNode {
     kind: 'analyze_cmd';
     premises: Formula[];
     conclusion: Formula;
 }
+/** Comando `explain <fórmula>`: produce una explicación en lenguaje natural de la fórmula. */
 export interface ExplainCmdNode extends ASTNode {
     kind: 'explain_cmd';
     formula: Formula;
 }
+/** Declaración `import "<path>"`: importa otro archivo ST al scope actual. */
 export interface ImportDeclNode extends ASTNode {
     kind: 'import_decl';
     path: string;
 }
+/** Bloque de prueba estructurado con supuestos locales y goal explícito. */
 export interface ProofBlockNode extends ASTNode {
     kind: 'proof_block';
     assumptions: {
@@ -87,10 +106,12 @@ export interface ProofBlockNode extends ASTNode {
     goal: Formula;
     body: Statement[];
 }
+/** Miembro de una teoría con control de visibilidad pública/privada. */
 export interface TheoryMember {
     statement: Statement;
     visibility: 'public' | 'private';
 }
+/** Declaración de teoría con herencia opcional: `theory T extends Parent { ... }`. */
 export interface TheoryDeclNode extends ASTNode {
     kind: 'theory_decl';
     name: string;
@@ -98,32 +119,38 @@ export interface TheoryDeclNode extends ASTNode {
     parent?: string;
     members: TheoryMember[];
 }
+/** Comando `print <expr>`: imprime un valor o fórmula en stdout. */
 export interface PrintCmdNode extends ASTNode {
     kind: 'print_cmd';
     value: string | null;
     formula?: Formula;
 }
+/** Comando `set <nombre> := <fórmula>`: asigna una fórmula a una variable mutable. */
 export interface SetCmdNode extends ASTNode {
     kind: 'set_cmd';
     name: string;
     formula: Formula;
 }
+/** Rama condicional de un `if` con condición lógica sobre una fórmula. */
 export interface IfBranch {
     condition: 'valid' | 'satisfiable' | 'unsatisfiable' | 'invalid';
     formula: Formula;
     body: Statement[];
 }
+/** Sentencia `if <condición lógica> { ... } else { ... }` del control flow de ST. */
 export interface IfStmtNode extends ASTNode {
     kind: 'if_stmt';
     branches: IfBranch[];
     elseBranch?: Statement[];
 }
+/** Sentencia `for <var> in {A, B, C} { ... }`: itera sobre un conjunto de fórmulas. */
 export interface ForStmtNode extends ASTNode {
     kind: 'for_stmt';
     variable: string;
     items: Formula[];
     body: Statement[];
 }
+/** Sentencia `while <condición lógica> <fórmula> { ... }` con límite de iteraciones por seguridad. */
 export interface WhileStmtNode extends ASTNode {
     kind: 'while_stmt';
     condition: 'valid' | 'satisfiable' | 'unsatisfiable' | 'invalid';
@@ -131,25 +158,30 @@ export interface WhileStmtNode extends ASTNode {
     body: Statement[];
     maxIterations: number;
 }
+/** Declaración de función ST: `fn <nombre>(<params>) { ... }`. */
 export interface FnDeclNode extends ASTNode {
     kind: 'fn_decl';
     name: string;
     params: string[];
     body: Statement[];
 }
+/** Sentencia `return <fórmula>` dentro de una función ST. */
 export interface ReturnStmtNode extends ASTNode {
     kind: 'return_stmt';
     formula?: Formula;
 }
+/** Llamada a función ST: `<nombre>(<args...>)`. */
 export interface FnCallNode extends ASTNode {
     kind: 'fn_call';
     name: string;
     args: Formula[];
 }
+/** Declara una sentencia como pública al importar el módulo ST. */
 export interface ExportDeclNode extends ASTNode {
     kind: 'export_decl';
     statement: Statement;
 }
+/** Declaración `define <nombre>[(<params>)] := <body>`: crea una abreviación de fórmula. */
 export interface DefineDeclNode extends ASTNode {
     kind: 'define_decl';
     name: string;
@@ -157,38 +189,46 @@ export interface DefineDeclNode extends ASTNode {
     body: Formula;
     description?: string;
 }
+/** Comando `unfold <fórmula>`: expande las definiciones en la fórmula dada. */
 export interface UnfoldCmdNode extends ASTNode {
     kind: 'unfold_cmd';
     formula: Formula;
 }
+/** Comando `fold <fórmula>`: contrae subexpresiones que coinciden con definiciones. */
 export interface FoldCmdNode extends ASTNode {
     kind: 'fold_cmd';
     formula: Formula;
 }
+/** Campo clave-valor de una declaración `source`. */
 export interface SourceField {
     key: string;
     value: string | number;
 }
+/** Declaración bibliográfica `source <nombre> { author: ..., year: ... }`. */
 export interface SourceDeclNode extends ASTNode {
     kind: 'source_decl';
     name: string;
     fields: SourceField[];
 }
+/** Comando `interpret "<texto>" as <fórmula>`: vincula un texto en lenguaje natural a su formalización. */
 export interface InterpretCmdNode extends ASTNode {
     kind: 'interpret_cmd';
     text: string;
     passageRef?: string;
     formula: Formula;
 }
+/** Comando `glossary`: imprime el glosario semántico del documento actual. */
 export interface GlossaryCmdNode extends ASTNode {
     kind: 'glossary_cmd';
 }
+/** Nodo `let <nombre> = passage "<path>"`: vincula un pasaje textual externo. */
 export interface LetPassageNode extends ASTNode {
     kind: 'let_decl';
     name: string;
     letType: 'passage';
     anchorPath: string;
 }
+/** Nodo `let <nombre> = formalize <pasaje> as <fórmula>`: asocia una formalización a un pasaje. */
 export interface LetFormalizeNode extends ASTNode {
     kind: 'let_decl';
     name: string;
@@ -196,6 +236,7 @@ export interface LetFormalizeNode extends ASTNode {
     passageName: string;
     formula: Formula;
 }
+/** Nodo `let <nombre> = <fórmula>`: declara un alias de fórmula con descripción opcional. */
 export interface LetFormulaNode extends ASTNode {
     kind: 'let_decl';
     name: string;
@@ -203,19 +244,23 @@ export interface LetFormulaNode extends ASTNode {
     formula: Formula;
     description?: string;
 }
+/** Nodo `let <nombre> = "<texto>"`: asigna una descripción semántica en lenguaje natural. */
 export interface LetDescriptionNode extends ASTNode {
     kind: 'let_decl';
     name: string;
     letType: 'description';
     description: string;
 }
+/** Nodo `let <nombre> = <acción>`: almacena el resultado de una acción lógica en una variable. */
 export interface LetActionNode extends ASTNode {
     kind: 'let_decl';
     name: string;
     letType: 'action';
     action: ActionExprNode;
 }
+/** Unión discriminada de todas las variantes de la declaración `let`. */
 export type LetDeclNode = LetPassageNode | LetFormalizeNode | LetFormulaNode | LetDescriptionNode | LetActionNode;
+/** Declaración de aserto: `claim <nombre> := <variable o fórmula>`. */
 export interface ClaimDeclNode extends ASTNode {
     kind: 'claim_decl';
     name: string;
@@ -223,22 +268,27 @@ export interface ClaimDeclNode extends ASTNode {
     formula?: Formula;
     formalization?: string;
 }
+/** Declaración `support <claim> from <source>`: vincula evidencia bibliográfica a un aserto. */
 export interface SupportDeclNode extends ASTNode {
     kind: 'support_decl';
     claimName: string;
     sourceName: string;
 }
+/** Declara un nivel de confianza numérico (0-1) para un aserto. */
 export interface ConfidenceDeclNode extends ASTNode {
     kind: 'confidence_decl';
     claimName: string;
     value: number;
 }
+/** Declaración de contexto textual adicional para un aserto. */
 export interface ContextDeclNode extends ASTNode {
     kind: 'context_decl';
     claimName: string;
     text: string;
 }
+/** Unión discriminada de todas las sentencias válidas en un programa ST. */
 export type Statement = LogicDeclNode | AxiomDeclNode | TheoremDeclNode | DeriveCmdNode | CheckValidCmdNode | CheckSatisfiableCmdNode | CheckEquivalentCmdNode | ProveCmdNode | CountermodelCmdNode | TruthTableCmdNode | LetDeclNode | ClaimDeclNode | SupportDeclNode | ConfidenceDeclNode | ContextDeclNode | RenderCmdNode | AnalyzeCmdNode | ExplainCmdNode | ImportDeclNode | ProofBlockNode | TheoryDeclNode | PrintCmdNode | SetCmdNode | IfStmtNode | ForStmtNode | WhileStmtNode | FnDeclNode | ReturnStmtNode | FnCallNode | ExportDeclNode | DefineDeclNode | UnfoldCmdNode | FoldCmdNode | SourceDeclNode | InterpretCmdNode | GlossaryCmdNode;
+/** Representa un programa ST completo: lista de sentencias + ruta del archivo fuente. */
 export interface Program {
     statements: Statement[];
     file: string;

package/dist/ast/nodes.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"nodes.d.ts","sourceRoot":"","sources":["../../src/ast/nodes.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAInD,MAAM,MAAM,aAAa,GACrB,YAAY,GACZ,YAAY,GACZ,cAAc,GACd,YAAY,GACZ,iBAAiB,GACjB,uBAAuB,GACvB,sBAAsB,GACtB,WAAW,GACX,kBAAkB,GAClB,iBAAiB,GACjB,UAAU,GACV,YAAY,GACZ,cAAc,GACd,iBAAiB,GACjB,cAAc,GACd,YAAY,GACZ,aAAa,GACb,aAAa,GACb,aAAa,GACb,aAAa,GACb,aAAa,GACb,WAAW,GACX,SAAS,GACT,SAAS,GACT,UAAU,GACV,YAAY,GACZ,SAAS,GACT,aAAa,GACb,SAAS,GACT,aAAa,GACb,aAAa,GACb,YAAY,GACZ,UAAU,GACV,aAAa,GACb,eAAe,GACf,cAAc,CAAC;AAEnB,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,cAAc,CAAC;CACxB;AAID,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;CAClB;AAID,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,OAAO,CAAC;IACd,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,iBAAkB,SAAQ,OAAO;IAChD,IAAI,EAAE,iBAAiB,CAAC;IACxB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,uBAAwB,SAAQ,OAAO;IACtD,IAAI,EAAE,uBAAuB,CAAC;IAC9B,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,sBAAuB,SAAQ,OAAO;IACrD,IAAI,EAAE,sBAAsB,CAAC;IAC7B,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,YAAa,SAAQ,OAAO;IAC3C,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,OAAO,CAAC;IACd,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,mBAAoB,SAAQ,OAAO;IAClD,IAAI,EAAE,kBAAkB,CAAC;IACzB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,MAAM,cAAc,GACtB,aAAa,GACb,mBAAmB,GACnB,kBAAkB,GAClB,QAAQ,GACR,OAAO,GACP,cAAc,GACd,aAAa,GACb,SAAS,CAAC;AAEd,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,cAAc,CAAC;IACvB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,WAAW,iBAAkB,SAAQ,OAAO;IAChD,IAAI,EAAE,iBAAiB,CAAC;IACxB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,WAAW,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;IAClD,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,SAAS,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,YAAY;IAC3B,SAAS,EAAE,SAAS,CAAC;IACrB,UAAU,EAAE,QAAQ,GAAG,SAAS,CAAC;CAClC;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,YAAY,EAAE,CAAC;CACzB;AAID,MAAM,WAAW,YAAa,SAAQ,OAAO;IAC3C,IAAI,EAAE,WAAW,CAAC;IAClB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,UAAW,SAAQ,OAAO;IACzC,IAAI,EAAE,SAAS,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,QAAQ;IACvB,SAAS,EAAE,OAAO,GAAG,aAAa,GAAG,eAAe,GAAG,SAAS,CAAC;IACjE,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,SAAS,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,UAAW,SAAQ,OAAO;IACzC,IAAI,EAAE,SAAS,CAAC;IAChB,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACrB,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,WAAY,SAAQ,OAAO;IAC1C,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,OAAO,EAAE,CAAC;IACjB,IAAI,EAAE,SAAS,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,SAAS,EAAE,OAAO,GAAG,aAAa,GAAG,eAAe,GAAG,SAAS,CAAC;IACjE,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,SAAS,EAAE,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,UAAW,SAAQ,OAAO;IACzC,IAAI,EAAE,SAAS,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,IAAI,EAAE,SAAS,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,UAAW,SAAQ,OAAO;IACzC,IAAI,EAAE,SAAS,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,OAAO,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,SAAS,EAAE,SAAS,CAAC;CACtB;AAID,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,IAAI,EAAE,OAAO,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,WAAY,SAAQ,OAAO;IAC1C,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,WAAW;IAC1B,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,WAAW,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,gBAAiB,SAAQ,OAAO;IAC/C,IAAI,EAAE,eAAe,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C,IAAI,EAAE,cAAc,CAAC;CACtB;AAID,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,SAAS,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,gBAAiB,SAAQ,OAAO;IAC/C,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,WAAW,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,SAAS,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,kBAAmB,SAAQ,OAAO;IACjD,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,aAAa,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,QAAQ,CAAC;IAClB,MAAM,EAAE,cAAc,CAAC;CACxB;AAED,MAAM,MAAM,WAAW,GACnB,cAAc,GACd,gBAAgB,GAChB,cAAc,GACd,kBAAkB,GAClB,aAAa,CAAC;AAElB,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C,IAAI,EAAE,cAAc,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,kBAAmB,SAAQ,OAAO;IACjD,IAAI,EAAE,iBAAiB,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C,IAAI,EAAE,cAAc,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;CACd;AAID,MAAM,MAAM,SAAS,GACjB,aAAa,GACb,aAAa,GACb,eAAe,GACf,aAAa,GACb,iBAAiB,GACjB,uBAAuB,GACvB,sBAAsB,GACtB,YAAY,GACZ,mBAAmB,GACnB,iBAAiB,GACjB,WAAW,GACX,aAAa,GACb,eAAe,GACf,kBAAkB,GAClB,eAAe,GACf,aAAa,GACb,cAAc,GACd,cAAc,GACd,cAAc,GACd,cAAc,GACd,cAAc,GACd,YAAY,GACZ,UAAU,GACV,UAAU,GACV,WAAW,GACX,aAAa,GACb,UAAU,GACV,cAAc,GACd,UAAU,GACV,cAAc,GACd,cAAc,GACd,aAAa,GACb,WAAW,GACX,cAAc,GACd,gBAAgB,GAChB,eAAe,CAAC;AAEpB,MAAM,WAAW,OAAO;IACtB,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;CACd"}
+{"version":3,"file":"nodes.d.ts","sourceRoot":"","sources":["../../src/ast/nodes.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAInD,mEAAmE;AACnE,MAAM,MAAM,aAAa,GACrB,YAAY,GACZ,YAAY,GACZ,cAAc,GACd,YAAY,GACZ,iBAAiB,GACjB,uBAAuB,GACvB,sBAAsB,GACtB,WAAW,GACX,kBAAkB,GAClB,iBAAiB,GACjB,UAAU,GACV,YAAY,GACZ,cAAc,GACd,iBAAiB,GACjB,cAAc,GACd,YAAY,GACZ,aAAa,GACb,aAAa,GACb,aAAa,GACb,aAAa,GACb,aAAa,GACb,WAAW,GACX,SAAS,GACT,SAAS,GACT,UAAU,GACV,YAAY,GACZ,SAAS,GACT,aAAa,GACb,SAAS,GACT,aAAa,GACb,aAAa,GACb,YAAY,GACZ,UAAU,GACV,aAAa,GACb,eAAe,GACf,cAAc,CAAC;AAEnB,+EAA+E;AAC/E,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,cAAc,CAAC;CACxB;AAID,4EAA4E;AAC5E,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,4DAA4D;AAC5D,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,+DAA+D;AAC/D,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;CAClB;AAID,qGAAqG;AACrG,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,OAAO,CAAC;IACd,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,6EAA6E;AAC7E,MAAM,WAAW,iBAAkB,SAAQ,OAAO;IAChD,IAAI,EAAE,iBAAiB,CAAC;IACxB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,qGAAqG;AACrG,MAAM,WAAW,uBAAwB,SAAQ,OAAO;IACtD,IAAI,EAAE,uBAAuB,CAAC;IAC9B,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,4FAA4F;AAC5F,MAAM,WAAW,sBAAuB,SAAQ,OAAO;IACrD,IAAI,EAAE,sBAAsB,CAAC;IAC7B,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,+FAA+F;AAC/F,MAAM,WAAW,YAAa,SAAQ,OAAO;IAC3C,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,OAAO,CAAC;IACd,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,mFAAmF;AACnF,MAAM,WAAW,mBAAoB,SAAQ,OAAO;IAClD,IAAI,EAAE,kBAAkB,CAAC;IACzB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,gFAAgF;AAChF,MAAM,MAAM,cAAc,GACtB,aAAa,GACb,mBAAmB,GACnB,kBAAkB,GAClB,QAAQ,GACR,OAAO,GACP,cAAc,GACd,aAAa,GACb,SAAS,CAAC;AAEd,8DAA8D;AAC9D,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,cAAc,CAAC;IACvB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,2EAA2E;AAC3E,MAAM,WAAW,iBAAkB,SAAQ,OAAO;IAChD,IAAI,EAAE,iBAAiB,CAAC;IACxB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,qFAAqF;AACrF,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,+FAA+F;AAC/F,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,8FAA8F;AAC9F,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,8EAA8E;AAC9E,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,4EAA4E;AAC5E,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,WAAW,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;IAClD,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,SAAS,EAAE,CAAC;CACnB;AAED,wEAAwE;AACxE,MAAM,WAAW,YAAY;IAC3B,SAAS,EAAE,SAAS,CAAC;IACrB,UAAU,EAAE,QAAQ,GAAG,SAAS,CAAC;CAClC;AAED,sFAAsF;AACtF,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,YAAY,EAAE,CAAC;CACzB;AAID,oEAAoE;AACpE,MAAM,WAAW,YAAa,SAAQ,OAAO;IAC3C,IAAI,EAAE,WAAW,CAAC;IAClB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,sFAAsF;AACtF,MAAM,WAAW,UAAW,SAAQ,OAAO;IACzC,IAAI,EAAE,SAAS,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,0EAA0E;AAC1E,MAAM,WAAW,QAAQ;IACvB,SAAS,EAAE,OAAO,GAAG,aAAa,GAAG,eAAe,GAAG,SAAS,CAAC;IACjE,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,SAAS,EAAE,CAAC;CACnB;AAED,qFAAqF;AACrF,MAAM,WAAW,UAAW,SAAQ,OAAO;IACzC,IAAI,EAAE,SAAS,CAAC;IAChB,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACrB,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;CAC1B;AAED,uFAAuF;AACvF,MAAM,WAAW,WAAY,SAAQ,OAAO;IAC1C,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,OAAO,EAAE,CAAC;IACjB,IAAI,EAAE,SAAS,EAAE,CAAC;CACnB;AAED,sGAAsG;AACtG,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,SAAS,EAAE,OAAO,GAAG,aAAa,GAAG,eAAe,GAAG,SAAS,CAAC;IACjE,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,SAAS,EAAE,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,kEAAkE;AAClE,MAAM,WAAW,UAAW,SAAQ,OAAO;IACzC,IAAI,EAAE,SAAS,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,IAAI,EAAE,SAAS,EAAE,CAAC;CACnB;AAED,6DAA6D;AAC7D,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,mDAAmD;AACnD,MAAM,WAAW,UAAW,SAAQ,OAAO;IACzC,IAAI,EAAE,SAAS,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,OAAO,EAAE,CAAC;CACjB;AAED,mEAAmE;AACnE,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,SAAS,EAAE,SAAS,CAAC;CACtB;AAID,4FAA4F;AAC5F,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,IAAI,EAAE,OAAO,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,+EAA+E;AAC/E,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,uFAAuF;AACvF,MAAM,WAAW,WAAY,SAAQ,OAAO;IAC1C,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,qDAAqD;AACrD,MAAM,WAAW,WAAW;IAC1B,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC;CACxB;AAED,8EAA8E;AAC9E,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,WAAW,EAAE,CAAC;CACvB;AAED,2GAA2G;AAC3G,MAAM,WAAW,gBAAiB,SAAQ,OAAO;IAC/C,IAAI,EAAE,eAAe,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,8EAA8E;AAC9E,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C,IAAI,EAAE,cAAc,CAAC;CACtB;AAID,iFAAiF;AACjF,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,SAAS,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,mGAAmG;AACnG,MAAM,WAAW,gBAAiB,SAAQ,OAAO;IAC/C,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,WAAW,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,6FAA6F;AAC7F,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,SAAS,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,6FAA6F;AAC7F,MAAM,WAAW,kBAAmB,SAAQ,OAAO;IACjD,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,aAAa,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,kGAAkG;AAClG,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,QAAQ,CAAC;IAClB,MAAM,EAAE,cAAc,CAAC;CACxB;AAED,yEAAyE;AACzE,MAAM,MAAM,WAAW,GACnB,cAAc,GACd,gBAAgB,GAChB,cAAc,GACd,kBAAkB,GAClB,aAAa,CAAC;AAElB,uEAAuE;AACvE,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,gGAAgG;AAChG,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C,IAAI,EAAE,cAAc,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,mEAAmE;AACnE,MAAM,WAAW,kBAAmB,SAAQ,OAAO;IACjD,IAAI,EAAE,iBAAiB,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,gEAAgE;AAChE,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C,IAAI,EAAE,cAAc,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;CACd;AAID,4EAA4E;AAC5E,MAAM,MAAM,SAAS,GACjB,aAAa,GACb,aAAa,GACb,eAAe,GACf,aAAa,GACb,iBAAiB,GACjB,uBAAuB,GACvB,sBAAsB,GACtB,YAAY,GACZ,mBAAmB,GACnB,iBAAiB,GACjB,WAAW,GACX,aAAa,GACb,eAAe,GACf,kBAAkB,GAClB,eAAe,GACf,aAAa,GACb,cAAc,GACd,cAAc,GACd,cAAc,GACd,cAAc,GACd,cAAc,GACd,YAAY,GACZ,UAAU,GACV,UAAU,GACV,WAAW,GACX,aAAa,GACb,UAAU,GACV,cAAc,GACd,UAAU,GACV,cAAc,GACd,cAAc,GACd,aAAa,GACb,WAAW,GACX,cAAc,GACd,gBAAgB,GAChB,eAAe,CAAC;AAEpB,yFAAyF;AACzF,MAAM,WAAW,OAAO;IACtB,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;CACd"}

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