@lokascript/framework 2.1.0 → 2.2.0

package/dist/ir/explicit-parser.d.ts

@@ -4,16 +4,17 @@
  * Parses the universal [command role:value ...] bracket syntax.
  * Domain-agnostic — schema validation is injectable via ParseExplicitOptions.
  *
+ * Three parsing levels matching the ABNF grammar:
+ *   parseDocument()  → parseCompound()  → parseExplicit()
+ *   (multi-line)       (chain ops)         (single bracket)
+ *
  * Syntax:
  *   [command role1:value1 role2:value2 ...]
- *
- * Examples:
- *   [toggle patient:.active destination:#button]
- *   [put patient:"hello" destination:#output]
- *   [on event:click body:[toggle patient:.active]]
- *   [select patient:name source:users condition:age>25]
+ *   [cmd1 ...] then [cmd2 ...]
+ *   @annotation(value) [command ...]
+ *   #!lse 1.2\n[cmd1 ...]\n[cmd2 ...]
  */
-import type { SemanticNode } from '../core/types';
+import type { SemanticNode, LSEEnvelope } from '../core/types';
 import type { ParseExplicitOptions } from './types';
 /** Structural role names whose bracket-enclosed values may be nested commands. */
 export declare const STRUCTURAL_ROLES: Set<string>;
@@ -28,4 +29,58 @@ export declare function parseExplicit(input: string, options?: ParseExplicitOpti
  * Check if input is explicit bracket syntax.
  */
 export declare function isExplicitSyntax(input: string): boolean;
+/**
+ * Parse a compound statement (one or more bracket commands chained with operators).
+ *
+ * ABNF: compound-stmt = bracket-cmd *( chain-op bracket-cmd )
+ *
+ * Single commands pass through to parseExplicit(). Multiple commands produce
+ * a CompoundSemanticNode.
+ *
+ * Also handles annotations (@name or @name(value)) before the first bracket.
+ *
+ * @example
+ * ```typescript
+ * // Single command — passthrough
+ * parseCompound('[toggle patient:.active]')
+ *
+ * // Compound statement
+ * parseCompound('[add patient:.loading] then [fetch source:/api/data]')
+ *
+ * // With annotation
+ * parseCompound('@timeout(5s) [fetch source:/api/users]')
+ * ```
+ */
+export declare function parseCompound(input: string, options?: ParseExplicitOptions): SemanticNode;
+/**
+ * Parse a multi-line LSE document into an LSEEnvelope.
+ *
+ * ABNF: document = [ version-header LF ] *( line LF ) [ line ]
+ *
+ * Handles version headers (#!lse 1.2), comments (// or #), blank lines,
+ * and statement lines (one compound statement per line).
+ *
+ * @example
+ * ```typescript
+ * const envelope = parseDocument(`
+ *   #!lse 1.2
+ *   // Toggle active state
+ *   [toggle patient:.active]
+ *   [add patient:.highlight]
+ * `);
+ * // envelope.lseVersion === '1.2'
+ * // envelope.nodes.length === 2
+ * ```
+ */
+export declare function parseDocument(input: string, options?: ParseExplicitOptions): LSEEnvelope;
+/**
+ * Check if input contains compound chaining (multiple bracket commands
+ * with chain operators at bracket-depth 0).
+ */
+export declare function isCompoundSyntax(input: string): boolean;
+/**
+ * Check if input is a multi-line LSE document (contains newlines,
+ * version header, or comment lines).
+ */
+export declare function isDocumentSyntax(input: string): boolean;
 //# sourceMappingURL=explicit-parser.d.ts.map

package/dist/ir/explicit-parser.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"explicit-parser.d.ts","sourceRoot":"","sources":["../../src/ir/explicit-parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EACV,YAAY,EAKb,MAAM,eAAe,CAAC;AAWvB,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,SAAS,CAAC;AAGpD,kFAAkF;AAClF,eAAO,MAAM,gBAAgB,aAS3B,CAAC;AAsBH;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,GAAE,oBAAyB,GAAG,YAAY,CAkL7F;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAGvD"}
+{"version":3,"file":"explicit-parser.d.ts","sourceRoot":"","sources":["../../src/ir/explicit-parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EACV,YAAY,EAMZ,WAAW,EAEZ,MAAM,eAAe,CAAC;AAavB,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,SAAS,CAAC;AAGpD,kFAAkF;AAClF,eAAO,MAAM,gBAAgB,aAS3B,CAAC;AAsBH;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,GAAE,oBAAyB,GAAG,YAAY,CAkQ7F;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAGvD;AAuFD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,oBAAoB,GAAG,YAAY,CAuBzF;AA0ED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,oBAAoB,GAAG,WAAW,CAmCxF;AAMD;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAGvD;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAQvD"}

package/dist/ir/explicit-renderer.d.ts

@@ -3,15 +3,32 @@
  *
  * Serializes SemanticNode to the universal [command role:value ...] bracket syntax.
  * Zero dependencies beyond core types — no language-specific logic.
+ *
+ * Also renders annotations (@name(value)) and multi-line documents.
  */
-import type { SemanticNode } from '../core/types';
+import type { SemanticNode, LSEEnvelope } from '../core/types';
 /**
  * Render a semantic node as explicit bracket syntax.
  *
+ * Handles annotations (v1.2) — if the node has annotations, they are
+ * prepended as @name or @name(value) before the bracket output.
+ *
  * @example
  * ```typescript
  * renderExplicit(node) // "[toggle patient:.active destination:#button]"
+ * // With annotations:
+ * renderExplicit(annotatedNode) // "@timeout(5s) [fetch source:\"/api/users\"]"
  * ```
  */
 export declare function renderExplicit(node: SemanticNode): string;
+/**
+ * Render an LSEEnvelope as a multi-line document string.
+ *
+ * @example
+ * ```typescript
+ * renderDocument(envelope)
+ * // "#!lse 1.2\n[toggle patient:.active]\n[add patient:.highlight]"
+ * ```
+ */
+export declare function renderDocument(envelope: LSEEnvelope): string;
 //# sourceMappingURL=explicit-renderer.d.ts.map

package/dist/ir/explicit-renderer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"explicit-renderer.d.ts","sourceRoot":"","sources":["../../src/ir/explicit-renderer.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,YAAY,EAOb,MAAM,eAAe,CAAC;AAEvB;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,CAoFzD"}
+{"version":3,"file":"explicit-renderer.d.ts","sourceRoot":"","sources":["../../src/ir/explicit-renderer.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,YAAY,EAOZ,WAAW,EACZ,MAAM,eAAe,CAAC;AAEvB;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,CAqBzD;AAED;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,WAAW,GAAG,MAAM,CAc5D"}

package/dist/ir/index.d.ts

@@ -20,10 +20,12 @@
  */
 export type { SemanticJSON, SemanticJSONValue, SchemaLookup, ParseExplicitOptions, IRDiagnostic, } from './types';
 export { DEFAULT_REFERENCES, isValidReference } from './references';
-export { parseExplicit, isExplicitSyntax } from './explicit-parser';
-export { renderExplicit } from './explicit-renderer';
+export { parseExplicit, parseCompound, parseDocument, isExplicitSyntax, isCompoundSyntax, isDocumentSyntax, } from './explicit-parser';
+export { renderExplicit, renderDocument } from './explicit-renderer';
 export { jsonToSemanticNode, validateSemanticJSON, semanticNodeToJSON } from './json-schema';
 export type { ProtocolNodeJSON, ProtocolValueJSON, ProtocolNodeKind, ProtocolChainType, ProtocolDiagnosticJSON, AnnotationJSON, MatchArmJSON, LSEEnvelopeJSON, } from './types';
 export { toProtocolJSON, fromProtocolJSON, validateProtocolJSON, toEnvelopeJSON, fromEnvelopeJSON, isEnvelope, } from './protocol-json';
 export { fromInterchangeNode, convertValue, renderExpr } from './from-interchange';
+export { semanticNodeToRuntimeAST, semanticValueToAST } from './to-runtime-ast';
+export type { RuntimeASTNode, RuntimeCommandNode, RuntimeEventNode } from './to-runtime-ast';
 //# sourceMappingURL=index.d.ts.map

package/dist/ir/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/ir/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,YAAY,EACV,YAAY,EACZ,iBAAiB,EACjB,YAAY,EACZ,oBAAoB,EACpB,YAAY,GACb,MAAM,SAAS,CAAC;AAGjB,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAGpE,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAGpE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAGrD,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAG7F,YAAY,EACV,gBAAgB,EAChB,iBAAiB,EACjB,gBAAgB,EAChB,iBAAiB,EAEjB,sBAAsB,EACtB,cAAc,EACd,YAAY,EACZ,eAAe,GAChB,MAAM,SAAS,CAAC;AACjB,OAAO,EACL,cAAc,EACd,gBAAgB,EAChB,oBAAoB,EAEpB,cAAc,EACd,gBAAgB,EAChB,UAAU,GACX,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/ir/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,YAAY,EACV,YAAY,EACZ,iBAAiB,EACjB,YAAY,EACZ,oBAAoB,EACpB,YAAY,GACb,MAAM,SAAS,CAAC;AAGjB,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAGpE,OAAO,EACL,aAAa,EACb,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAGrE,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAG7F,YAAY,EACV,gBAAgB,EAChB,iBAAiB,EACjB,gBAAgB,EAChB,iBAAiB,EAEjB,sBAAsB,EACtB,cAAc,EACd,YAAY,EACZ,eAAe,GAChB,MAAM,SAAS,CAAC;AACjB,OAAO,EACL,cAAc,EACd,gBAAgB,EAChB,oBAAoB,EAEpB,cAAc,EACd,gBAAgB,EAChB,UAAU,GACX,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAGnF,OAAO,EAAE,wBAAwB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAChF,YAAY,EAAE,cAAc,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC"}