@lokascript/framework 2.3.1 → 2.4.0

package/dist/ir/protocol-json.d.ts

@@ -1,73 +1,5 @@
 /**
- * Protocol JSON Serialization
- *
- * Converts between TypeScript SemanticNode (internal representation) and
- * the protocol wire format defined in protocol/spec/wire-format.md.
- *
- * `kind` is optional and defaults to `"command"` when absent.
- * `trigger` is accepted as convenience sugar for wrapping a command in an
- * event handler (e.g., `{ action: "toggle", trigger: { event: "click" } }`).
- *
- * The TypeScript layer is a superset of the protocol spec:
- * - TS has 5 node kinds; protocol has 3 (command, event-handler, compound)
- * - TS uses ReadonlyMap<SemanticRole, SemanticValue>; protocol uses plain Record
- * - TS SelectorValue has optional selectorKind; protocol preserves it when present (v1.1)
- * - TS has PropertyPathValue; protocol flattens it to expression
- * - TS conditional/loop nodes are losslessly encoded as command nodes with
- *   thenBranch/elseBranch/loopVariant/loopBody/loopVariable/indexVariable fields (v1.1)
- * - v1.2 adds: annotations, diagnostics, try/catch/finally, async all/race,
- *   match/arms, pipe chainType, and LSEEnvelope
- *
- * Use toProtocolJSON() to serialize for tool-to-tool interchange.
- * Use fromProtocolJSON() to deserialize from protocol-conformant sources.
+ * Protocol JSON Serialization — re-exported from @lokascript/intent
  */
-import type { SemanticNode, LSEEnvelope } from '../core/types';
-import type { ProtocolNodeJSON, IRDiagnostic, LSEEnvelopeJSON } from './types';
-/**
- * Serialize a SemanticNode to the protocol full-fidelity JSON wire format.
- *
- * TS-only node kinds are losslessly encoded as command nodes (v1.1):
- * - `conditional` → `command` with thenBranch/elseBranch arrays
- * - `loop` → `command` with loopVariant/loopBody/loopVariable/indexVariable fields
- *
- * v1.2 fields (annotations, diagnostics, try/catch/finally, async, match)
- * are serialized when present on the source node.
- *
- * TS-only value fields:
- * - `property-path` flattened to `expression` using extractValue()
- */
-export declare function toProtocolJSON(node: SemanticNode): ProtocolNodeJSON;
-/**
- * Deserialize a protocol wire format JSON object into a SemanticNode.
- *
- * Produces all 5 node kinds — detects v1.1/v1.2 fields on command nodes to
- * reconstruct appropriate node types:
- * - thenBranch present → `conditional` node via createConditionalNode()
- * - loopVariant present → `loop` node via createLoopNode()
- * - catchBranch/finallyBranch → try node via createTryNode() (v1.2)
- * - asyncVariant → async node via createAsyncNode() (v1.2)
- * - arms → match node via createMatchNode() (v1.2)
- *
- * Annotations and diagnostics (v1.2) are preserved on all node kinds.
- */
-export declare function fromProtocolJSON(json: ProtocolNodeJSON): SemanticNode;
-/**
- * Serialize an LSEEnvelope to its JSON wire format.
- */
-export declare function toEnvelopeJSON(envelope: LSEEnvelope): LSEEnvelopeJSON;
-/**
- * Deserialize an LSEEnvelopeJSON into an LSEEnvelope.
- */
-export declare function fromEnvelopeJSON(json: LSEEnvelopeJSON): LSEEnvelope;
-/**
- * Check whether an unknown JSON value is an LSE envelope (has lseVersion + nodes).
- */
-export declare function isEnvelope(json: unknown): json is LSEEnvelopeJSON;
-/**
- * Validate that an unknown value conforms to the protocol JSON format.
- * `kind` is optional (defaults to `"command"`). `trigger` is accepted as
- * convenience sugar for wrapping a command in an event handler.
- * Returns an array of diagnostics (empty array = valid).
- */
-export declare function validateProtocolJSON(json: unknown): IRDiagnostic[];
+export { toProtocolJSON, fromProtocolJSON, validateProtocolJSON, toEnvelopeJSON, fromEnvelopeJSON, isEnvelope, } from '@lokascript/intent';
 //# sourceMappingURL=protocol-json.d.ts.map

package/dist/ir/protocol-json.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"protocol-json.d.ts","sourceRoot":"","sources":["../../src/ir/protocol-json.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,KAAK,EACV,YAAY,EAUZ,WAAW,EACZ,MAAM,eAAe,CAAC;AAiBvB,OAAO,KAAK,EACV,gBAAgB,EAIhB,YAAY,EACZ,eAAe,EAChB,MAAM,SAAS,CAAC;AAMjB;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,YAAY,GAAG,gBAAgB,CAuGnE;AAsDD;;;;;;;;;;;;GAYG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,gBAAgB,GAAG,YAAY,CA8GrE;AA8DD;;GAEG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,WAAW,GAAG,eAAe,CASrE;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,eAAe,GAAG,WAAW,CAMnE;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI,eAAe,CAQjE;AAmBD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,OAAO,GAAG,YAAY,EAAE,CA4QlE"}
+{"version":3,"file":"protocol-json.d.ts","sourceRoot":"","sources":["../../src/ir/protocol-json.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,cAAc,EACd,gBAAgB,EAChB,oBAAoB,EACpB,cAAc,EACd,gBAAgB,EAChB,UAAU,GACX,MAAM,oBAAoB,CAAC"}

package/dist/ir/references.d.ts

@@ -1,19 +1,5 @@
 /**
- * Reference Validation
- *
- * Configurable validation for reference values (me, you, it, result, etc.).
- * Domain DSLs can provide custom reference sets.
+ * Reference Validation — re-exported from @lokascript/intent
  */
-/**
- * Default set of valid references.
- * Covers the common hyperscript references; domain DSLs can extend or replace.
- */
-export declare const DEFAULT_REFERENCES: ReadonlySet<string>;
-/**
- * Check if a value is a valid reference name.
- *
- * @param value - The string to check
- * @param referenceSet - Custom reference set (defaults to DEFAULT_REFERENCES)
- */
-export declare function isValidReference(value: string, referenceSet?: ReadonlySet<string>): boolean;
+export { DEFAULT_REFERENCES, isValidReference } from '@lokascript/intent';
 //# sourceMappingURL=references.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../../src/ir/references.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH;;;GAGG;AACH,eAAO,MAAM,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAQjD,CAAC;AAEH;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,MAAM,EACb,YAAY,GAAE,WAAW,CAAC,MAAM,CAAsB,GACrD,OAAO,CAET"}
+{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../../src/ir/references.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/ir/types.d.ts

@@ -1,151 +1,5 @@
 /**
- * IR (Intermediate Representation) Types
- *
- * Types for the explicit bracket syntax, LLM JSON format, and
- * schema-based validation. These are domain-agnostic — they work
- * for any DSL built on the framework.
+ * IR Types — re-exported from @lokascript/intent
  */
-import type { CommandSchema } from '../schema/command-schema';
-/**
- * Structured input format for LLMs.
- * No parsing ambiguity — action and roles are explicitly typed.
- *
- * @example
- * ```json
- * {
- *   "action": "toggle",
- *   "roles": { "patient": { "type": "selector", "value": ".active" } },
- *   "trigger": { "event": "click" }
- * }
- * ```
- */
-export interface SemanticJSON {
-    /** The command/action name */
-    action: string;
-    /** Named semantic roles with typed values */
-    roles: Record<string, SemanticJSONValue>;
-    /** Optional event trigger (wraps command in event handler) */
-    trigger?: {
-        event: string;
-        modifiers?: Record<string, unknown>;
-    };
-}
-/**
- * A typed value in the LLM JSON format.
- */
-export interface SemanticJSONValue {
-    type: 'selector' | 'literal' | 'reference' | 'expression' | 'property-path' | 'flag';
-    value: string | number | boolean;
-}
-/**
- * Interface for optional schema-based role validation in the explicit parser.
- * Consumers provide this to validate roles against command definitions.
- *
- * When not provided, the parser accepts any role names.
- */
-export interface SchemaLookup {
-    getSchema(action: string): CommandSchema | undefined;
-}
-/**
- * Options for parseExplicit().
- */
-export interface ParseExplicitOptions {
-    /** Optional schema lookup for role validation */
-    schemaLookup?: SchemaLookup;
-    /** Custom set of valid reference names (defaults to DEFAULT_REFERENCES) */
-    referenceSet?: ReadonlySet<string>;
-    /**
-     * When true, validation errors are collected as diagnostics on the
-     * returned node instead of throwing. Fatal parse errors (missing brackets,
-     * empty input) still throw. Default: false.
-     */
-    collectDiagnostics?: boolean;
-}
-/**
- * A diagnostic message from IR validation.
- *
- * Uses required `code` field (compatible with both framework Diagnostic
- * and compilation-service Diagnostic types via structural typing).
- */
-export interface IRDiagnostic {
-    severity: 'error' | 'warning' | 'info';
-    code: string;
-    message: string;
-    suggestion?: string;
-}
-export type ProtocolNodeKind = 'command' | 'event-handler' | 'compound';
-export type ProtocolChainType = 'then' | 'and' | 'async' | 'sequential' | 'pipe';
-/**
- * A typed semantic value in the protocol full-fidelity JSON format.
- * Matches protocol/spec/wire-format.md "Value Shapes" table.
- */
-export interface ProtocolValueJSON {
-    type: 'selector' | 'literal' | 'reference' | 'expression' | 'property-path' | 'flag';
-    value?: string | number | boolean;
-    dataType?: 'string' | 'number' | 'boolean' | 'duration';
-    raw?: string;
-    name?: string;
-    enabled?: boolean;
-    selectorKind?: 'id' | 'class' | 'attribute' | 'element' | 'complex';
-}
-/**
- * Protocol JSON node — matches protocol/spec/wire-format.md.
- * Produced by toProtocolJSON() and consumed by fromProtocolJSON().
- *
- * `kind` defaults to `"command"` when omitted.
- * `trigger` is convenience sugar that wraps a command in an event handler.
- */
-export interface ProtocolNodeJSON {
-    kind?: ProtocolNodeKind;
-    action: string;
-    roles: Record<string, ProtocolValueJSON>;
-    trigger?: {
-        event: string;
-        modifiers?: Record<string, unknown>;
-    };
-    body?: ProtocolNodeJSON[];
-    statements?: ProtocolNodeJSON[];
-    chainType?: ProtocolChainType;
-    thenBranch?: ProtocolNodeJSON[];
-    elseBranch?: ProtocolNodeJSON[];
-    loopVariant?: 'forever' | 'times' | 'for' | 'while' | 'until';
-    loopBody?: ProtocolNodeJSON[];
-    loopVariable?: string;
-    indexVariable?: string;
-    diagnostics?: ProtocolDiagnosticJSON[];
-    annotations?: AnnotationJSON[];
-    catchBranch?: ProtocolNodeJSON[];
-    finallyBranch?: ProtocolNodeJSON[];
-    asyncVariant?: 'all' | 'race';
-    asyncBody?: ProtocolNodeJSON[];
-    arms?: MatchArmJSON[];
-    defaultArm?: ProtocolNodeJSON[];
-}
-/** A diagnostic in protocol wire format (v1.2, extended v1.2.1). */
-export interface ProtocolDiagnosticJSON {
-    level: 'error' | 'warning' | 'info';
-    role?: string;
-    message: string;
-    code?: string;
-    /** v1.2.1: source parser/stage that produced this diagnostic. */
-    source?: string;
-    /** v1.2.1: actionable fix suggestions. */
-    suggestions?: string[];
-}
-/** A metadata annotation in protocol wire format (v1.2). */
-export interface AnnotationJSON {
-    name: string;
-    value?: string;
-}
-/** A match arm in protocol wire format (v1.2). */
-export interface MatchArmJSON {
-    pattern: ProtocolValueJSON;
-    body: ProtocolNodeJSON[];
-}
-/** Versioned envelope for multi-node LSE documents (v1.2). */
-export interface LSEEnvelopeJSON {
-    lseVersion: string;
-    features?: string[];
-    nodes: ProtocolNodeJSON[];
-}
+export type { SemanticJSON, SemanticJSONValue, SchemaLookup, ParseExplicitOptions, IRDiagnostic, ProtocolNodeKind, ProtocolChainType, ProtocolValueJSON, ProtocolNodeJSON, ProtocolDiagnosticJSON, AnnotationJSON, MatchArmJSON, LSEEnvelopeJSON, } from '@lokascript/intent';
 //# sourceMappingURL=types.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/ir/types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAM9D;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,YAAY;IAC3B,8BAA8B;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,6CAA6C;IAC7C,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACzC,8DAA8D;IAC9D,OAAO,CAAC,EAAE;QACR,KAAK,EAAE,MAAM,CAAC;QACd,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;KACrC,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,UAAU,GAAG,SAAS,GAAG,WAAW,GAAG,YAAY,GAAG,eAAe,GAAG,MAAM,CAAC;IACrF,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;CAClC;AAMD;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS,CAAC;CACtD;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,iDAAiD;IACjD,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,2EAA2E;IAC3E,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACnC;;;;OAIG;IACH,kBAAkB,CAAC,EAAE,OAAO,CAAC;CAC9B;AAMD;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAUD,MAAM,MAAM,gBAAgB,GAAG,SAAS,GAAG,eAAe,GAAG,UAAU,CAAC;AACxE,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,KAAK,GAAG,OAAO,GAAG,YAAY,GAAG,MAAM,CAAC;AAEjF;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,UAAU,GAAG,SAAS,GAAG,WAAW,GAAG,YAAY,GAAG,eAAe,GAAG,MAAM,CAAC;IACrF,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;IAClC,QAAQ,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,UAAU,CAAC;IACxD,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,YAAY,CAAC,EAAE,IAAI,GAAG,OAAO,GAAG,WAAW,GAAG,SAAS,GAAG,SAAS,CAAC;CACrE;AAED;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB;IAC/B,IAAI,CAAC,EAAE,gBAAgB,CAAC;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACzC,OAAO,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,CAAC;IACjE,IAAI,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAC1B,UAAU,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAChC,SAAS,CAAC,EAAE,iBAAiB,CAAC;IAE9B,UAAU,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAChC,UAAU,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAEhC,WAAW,CAAC,EAAE,SAAS,GAAG,OAAO,GAAG,KAAK,GAAG,OAAO,GAAG,OAAO,CAAC;IAC9D,QAAQ,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAC9B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IAEvB,WAAW,CAAC,EAAE,sBAAsB,EAAE,CAAC;IAEvC,WAAW,CAAC,EAAE,cAAc,EAAE,CAAC;IAE/B,WAAW,CAAC,EAAE,gBAAgB,EAAE,CAAC;IACjC,aAAa,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAEnC,YAAY,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC;IAC9B,SAAS,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAE/B,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC;IACtB,UAAU,CAAC,EAAE,gBAAgB,EAAE,CAAC;CACjC;AAMD,oEAAoE;AACpE,MAAM,WAAW,sBAAsB;IACrC,KAAK,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IACpC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,iEAAiE;IACjE,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,0CAA0C;IAC1C,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,4DAA4D;AAC5D,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,kDAAkD;AAClD,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,iBAAiB,CAAC;IAC3B,IAAI,EAAE,gBAAgB,EAAE,CAAC;CAC1B;AAED,8DAA8D;AAC9D,MAAM,WAAW,eAAe;IAC9B,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,KAAK,EAAE,gBAAgB,EAAE,CAAC;CAC3B"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/ir/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,YAAY,EACV,YAAY,EACZ,iBAAiB,EACjB,YAAY,EACZ,oBAAoB,EACpB,YAAY,EACZ,gBAAgB,EAChB,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,sBAAsB,EACtB,cAAc,EACd,YAAY,EACZ,eAAe,GAChB,MAAM,oBAAoB,CAAC"}

package/dist/parsing/index.js

@@ -1,16 +1,23 @@
 // src/core/types.ts
-function createLiteral(value, dataType) {
-  return dataType ? { type: "literal", value, dataType } : { type: "literal", value };
-}
-function createSelector(value, selectorKind) {
-  return selectorKind ? { type: "selector", value, selectorKind } : { type: "selector", value };
-}
-function createReference(value) {
-  return { type: "reference", value };
-}
-function createPropertyPath(object, property) {
-  return { type: "property-path", object, property };
-}
+import {
+  createLiteral,
+  createSelector,
+  createReference,
+  createPropertyPath,
+  createExpression,
+  createFlag,
+  createCommandNode,
+  createEventHandlerNode,
+  createConditionalNode,
+  createCompoundNode,
+  createLoopNode,
+  createTryNode,
+  createAsyncNode,
+  createMatchNode,
+  extractValue,
+  extractRoleValue,
+  getRoleValue
+} from "@lokascript/intent";
 
 // src/core/logger.ts
 var DebugLogger = class {