@elaraai/east 0.0.1-beta.8 → 1.0.0

package/dist/src/serialization/beast2/sourcemap-table.d.ts

@@ -0,0 +1,29 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import { SourceMap } from "../../location.js";
+import { BufferWriter, BufferReader } from "../binary-utils.js";
+/**
+ * Write the source_map_section in beast2 v3 bespoke format.
+ *
+ * Wire format:
+ *   varint(section_byte_length)
+ *   varint(stack_count)
+ *   repeated stack_count times:
+ *     varint(frame_count)
+ *     repeated frame_count times:
+ *       varint(filename_string_idx)
+ *       zigzag(line)
+ *       zigzag(column)
+ *
+ * If sourceMap is null, writes an empty section (stack_count = 0).
+ * Filenames are added to the provided string table for dedup.
+ */
+export declare function writeSourceMapSection(sourceMap: SourceMap | null, stringTable: Map<string, number>, writer: BufferWriter): void;
+/**
+ * Read the source_map_section from beast2 v3 bespoke format.
+ * Returns a SourceMap populated with the decoded stacks.
+ */
+export declare function readSourceMapSection(reader: BufferReader, stringTable: string[]): SourceMap;
+//# sourceMappingURL=sourcemap-table.d.ts.map

package/dist/src/serialization/beast2/sourcemap-table.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sourcemap-table.d.ts","sourceRoot":"","sources":["../../../../src/serialization/beast2/sourcemap-table.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,SAAS,EAAiB,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEhE;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,qBAAqB,CACnC,SAAS,EAAE,SAAS,GAAG,IAAI,EAC3B,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAChC,MAAM,EAAE,YAAY,GACnB,IAAI,CA8BN;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,YAAY,EACpB,WAAW,EAAE,MAAM,EAAE,GACpB,SAAS,CA4BX"}

package/dist/src/serialization/beast2/sourcemap-table.js

@@ -0,0 +1,82 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import { SourceMap } from "../../location.js";
+import { BufferWriter, BufferReader } from "../binary-utils.js";
+/**
+ * Write the source_map_section in beast2 v3 bespoke format.
+ *
+ * Wire format:
+ *   varint(section_byte_length)
+ *   varint(stack_count)
+ *   repeated stack_count times:
+ *     varint(frame_count)
+ *     repeated frame_count times:
+ *       varint(filename_string_idx)
+ *       zigzag(line)
+ *       zigzag(column)
+ *
+ * If sourceMap is null, writes an empty section (stack_count = 0).
+ * Filenames are added to the provided string table for dedup.
+ */
+export function writeSourceMapSection(sourceMap, stringTable, writer) {
+    const hw = new BufferWriter();
+    if (!sourceMap || sourceMap.size <= 1n) {
+        // Empty or only the sentinel empty stack — write stack_count = 0
+        hw.writeVarint(0);
+    }
+    else {
+        const entries = sourceMap.entries();
+        // Skip entry 0 (always the empty stack sentinel) — decoder knows index 0 is []
+        hw.writeVarint(entries.length - 1);
+        for (let i = 1; i < entries.length; i++) {
+            const stack = entries[i];
+            hw.writeVarint(stack.length);
+            for (const frame of stack) {
+                // Add filename to string table if not present
+                let strIdx = stringTable.get(frame.filename);
+                if (strIdx === undefined) {
+                    strIdx = stringTable.size;
+                    stringTable.set(frame.filename, strIdx);
+                }
+                hw.writeVarint(strIdx);
+                hw.writeVarint(Number(frame.line));
+                hw.writeVarint(Number(frame.column));
+            }
+        }
+    }
+    const headerBytes = hw.toUint8Array();
+    writer.writeVarint(headerBytes.length);
+    writer.writeBytes(headerBytes);
+}
+/**
+ * Read the source_map_section from beast2 v3 bespoke format.
+ * Returns a SourceMap populated with the decoded stacks.
+ */
+export function readSourceMapSection(reader, stringTable) {
+    const sectionByteLength = reader.readVarint();
+    const sectionEnd = reader.offset + sectionByteLength;
+    const map = new SourceMap();
+    const stackCount = reader.readVarint();
+    for (let i = 0; i < stackCount; i++) {
+        const frameCount = reader.readVarint();
+        const stack = new Array(frameCount);
+        for (let j = 0; j < frameCount; j++) {
+            const filenameIdx = reader.readVarint();
+            const line = reader.readVarint();
+            const column = reader.readVarint();
+            stack[j] = {
+                filename: stringTable[filenameIdx] ?? '<unknown>',
+                line: BigInt(line),
+                column: BigInt(column),
+            };
+        }
+        map.intern_stack(stack);
+    }
+    if (reader.offset !== sectionEnd) {
+        throw new Error(`Source map section size mismatch: expected offset ${sectionEnd}, got ${reader.offset}`);
+    }
+    return map;
+}
+//# sourceMappingURL=sourcemap-table.js.map

package/dist/src/serialization/beast2/sourcemap-table.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sourcemap-table.js","sourceRoot":"","sources":["../../../../src/serialization/beast2/sourcemap-table.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,SAAS,EAAiB,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEhE;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,qBAAqB,CACnC,SAA2B,EAC3B,WAAgC,EAChC,MAAoB;IAEpB,MAAM,EAAE,GAAG,IAAI,YAAY,EAAE,CAAC;IAE9B,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;QACvC,iEAAiE;QACjE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;SAAM,CAAC;QACN,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC;QACpC,+EAA+E;QAC/E,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;YAC1B,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC7B,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;gBAC1B,8CAA8C;gBAC9C,IAAI,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAC7C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACzB,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC;oBAC1B,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;gBAC1C,CAAC;gBACD,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;gBACvB,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;gBACnC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,EAAE,CAAC,YAAY,EAAE,CAAC;IACtC,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;AACjC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAAoB,EACpB,WAAqB;IAErB,MAAM,iBAAiB,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;IAC9C,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,GAAG,iBAAiB,CAAC;IAErD,MAAM,GAAG,GAAG,IAAI,SAAS,EAAE,CAAC;IAC5B,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;IAEvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;QACvC,MAAM,KAAK,GAAe,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC;QAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;YACpC,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;YACxC,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;YACjC,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;YACnC,KAAK,CAAC,CAAC,CAAC,GAAG;gBACT,QAAQ,EAAE,WAAW,CAAC,WAAW,CAAC,IAAI,WAAW;gBACjD,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;gBAClB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;aACvB,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CAAC,qDAAqD,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3G,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/src/serialization/beast2/string-table.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import { BufferWriter, BufferReader } from "../binary-utils.js";
+/**
+ * Write the string table section:
+ *   [varint header_byte_length] [varint count] [string entries...]
+ * Each string entry: [varint byte_length] [UTF-8 bytes]
+ */
+export declare function writeStringTableSection(stringTable: Map<string, number>, writer: BufferWriter): void;
+/**
+ * Read the string table section into a string[] array.
+ */
+export declare function readStringTableSection(reader: BufferReader): string[];
+//# sourceMappingURL=string-table.d.ts.map

package/dist/src/serialization/beast2/string-table.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"string-table.d.ts","sourceRoot":"","sources":["../../../../src/serialization/beast2/string-table.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEhE;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,YAAY,GAAG,IAAI,CAUpG;AAED;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,EAAE,CAYrE"}

package/dist/src/serialization/beast2/string-table.js

@@ -0,0 +1,38 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import { BufferWriter, BufferReader } from "../binary-utils.js";
+/**
+ * Write the string table section:
+ *   [varint header_byte_length] [varint count] [string entries...]
+ * Each string entry: [varint byte_length] [UTF-8 bytes]
+ */
+export function writeStringTableSection(stringTable, writer) {
+    const hw = new BufferWriter();
+    hw.writeVarint(stringTable.size);
+    // Write strings in index order (Map preserves insertion order, indices are sequential)
+    for (const [str] of stringTable) {
+        hw.writeStringUtf8Varint(str);
+    }
+    const headerBytes = hw.toUint8Array();
+    writer.writeVarint(headerBytes.length);
+    writer.writeBytes(headerBytes);
+}
+/**
+ * Read the string table section into a string[] array.
+ */
+export function readStringTableSection(reader) {
+    const headerByteLength = reader.readVarint();
+    const headerEnd = reader.offset + headerByteLength;
+    const count = reader.readVarint();
+    const table = new Array(count);
+    for (let i = 0; i < count; i++) {
+        table[i] = reader.readStringUtf8Varint();
+    }
+    if (reader.offset !== headerEnd) {
+        throw new Error(`String table size mismatch: expected offset ${headerEnd}, got ${reader.offset}`);
+    }
+    return table;
+}
+//# sourceMappingURL=string-table.js.map

package/dist/src/serialization/beast2/string-table.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"string-table.js","sourceRoot":"","sources":["../../../../src/serialization/beast2/string-table.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEhE;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CAAC,WAAgC,EAAE,MAAoB;IAC5F,MAAM,EAAE,GAAG,IAAI,YAAY,EAAE,CAAC;IAC9B,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACjC,uFAAuF;IACvF,KAAK,MAAM,CAAC,GAAG,CAAC,IAAI,WAAW,EAAE,CAAC;QAChC,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC;IACD,MAAM,WAAW,GAAG,EAAE,CAAC,YAAY,EAAE,CAAC;IACtC,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;AACjC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAoB;IACzD,MAAM,gBAAgB,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;IAC7C,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,GAAG,gBAAgB,CAAC;IACnD,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,IAAI,KAAK,CAAS,KAAK,CAAC,CAAC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAC;IAC3C,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CAAC,+CAA+C,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACpG,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/src/serialization/beast2/type-table.d.ts

@@ -0,0 +1,86 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * Beast2 v2 flat type table encoder and decoder.
+ *
+ * The type table is a flat array where each unique sub-type is defined once
+ * and referenced by varint index. Tag bytes serve as direct array indices
+ * into dispatch tables for zero-branch decoding.
+ *
+ * See devdocs/BEAST2.md for the format specification.
+ */
+import { type EastTypeValue } from "../../type_of_type.js";
+import type { EastType } from "../../types.js";
+import { BufferWriter, BufferReader } from "../binary-utils.js";
+interface TableEntry {
+    tag: number;
+    params: Uint8Array;
+}
+/**
+ * Builds a flat type table from types. Handles both EastType (which has
+ * recursive wrappers with .node) and EastTypeValue (which has depth-based
+ * Recursive(N) — no inner pointer, so cannot be recursive root).
+ *
+ * Usage:
+ *   const builder = new TypeTableBuilder();
+ *   const rootIdx = builder.add(myType);           // EastType or EastTypeValue
+ *   builder.addETV(someIRTypeAnnotation);           // EastTypeValue from IR
+ *   writeTypeTableSection(rootIdx, builder.entries, writer);
+ */
+export declare class TypeTableBuilder {
+    readonly entries: TableEntry[];
+    /** EastType pointer → table index */
+    private readonly etMap;
+    /** EastTypeValue object → table index (identity-based) */
+    private readonly etvMap;
+    /** type_id → table index (for cross-object lookup when identity fails) */
+    private readonly tidMap;
+    /** Recursive wrapper source ID (bigint) → table index */
+    private readonly recIdMap;
+    /** Get the type_id → index map (for IR type substitution). */
+    getIndexMap(): Map<number, number>;
+    /** Create a shallow clone with the same entries and index maps. */
+    clone(): TypeTableBuilder;
+    /** Add a type. Accepts both EastType and EastTypeValue. */
+    add(type: EastType | EastTypeValue): number;
+    /** Add an EastTypeValue (for IR type annotations). */
+    addETV(etv: EastTypeValue): number;
+    /** Look up an EastTypeValue's table index by identity, type_id, or recursive ref ID. */
+    indexOf(etv: EastTypeValue): number;
+    /** Check if an EastTypeValue is in the table (by identity, type_id, or recursive ref ID). */
+    has(etv: EastTypeValue): boolean;
+    private visitET;
+    private visitETV;
+    private allocate;
+    /** Register an EastTypeValue in both identity and type_id maps. */
+    private registerETV;
+    private emitPrimitive;
+    private emit;
+    private emitNamedFields;
+    private emitNamedFieldsETV;
+    private emitFunc;
+    private emitFuncETV;
+}
+/**
+ * Write the type table section to a BufferWriter:
+ *   [varint header_byte_length] [varint root_idx] [varint count] [entries...]
+ */
+export declare function writeTypeTableSection(rootIdx: number, entries: TableEntry[], writer: BufferWriter): void;
+/**
+ * Read the type table section from a BufferReader.
+ * Returns the root EastTypeValue and the full type table for IR restoration.
+ *
+ * The reader must be positioned after the magic bytes.
+ */
+export declare function readTypeTableSection(reader: BufferReader): {
+    rootType: EastTypeValue;
+    typeTable: EastTypeValue[];
+};
+/**
+ * Skip the type table section without decoding.
+ */
+export declare function skipTypeTableSection(reader: BufferReader): void;
+export {};
+//# sourceMappingURL=type-table.d.ts.map

package/dist/src/serialization/beast2/type-table.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-table.d.ts","sourceRoot":"","sources":["../../../../src/serialization/beast2/type-table.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;GAQG;AAEH,OAAO,EAAmB,KAAK,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC5E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG/C,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAsChE,UAAU,UAAU;IAClB,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,UAAU,CAAC;CACpB;AAED;;;;;;;;;;GAUG;AACH,qBAAa,gBAAgB;IAC3B,QAAQ,CAAC,OAAO,EAAE,UAAU,EAAE,CAAM;IACpC,qCAAqC;IACrC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAA0B;IAChD,0DAA0D;IAC1D,OAAO,CAAC,QAAQ,CAAC,MAAM,CAA0B;IACjD,0EAA0E;IAC1E,OAAO,CAAC,QAAQ,CAAC,MAAM,CAA6B;IACpD,yDAAyD;IACzD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAA6B;IAEtD,8DAA8D;IAC9D,WAAW,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAIlC,mEAAmE;IACnE,KAAK,IAAI,gBAAgB;IAUzB,2DAA2D;IAC3D,GAAG,CAAC,IAAI,EAAE,QAAQ,GAAG,aAAa,GAAG,MAAM;IAO3C,sDAAsD;IACtD,MAAM,CAAC,GAAG,EAAE,aAAa,GAAG,MAAM;IAIlC,wFAAwF;IACxF,OAAO,CAAC,GAAG,EAAE,aAAa,GAAG,MAAM;IAiBnC,6FAA6F;IAC7F,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO;IAahC,OAAO,CAAC,OAAO;IA4Ef,OAAO,CAAC,QAAQ;IAmGhB,OAAO,CAAC,QAAQ;IAMhB,mEAAmE;IACnE,OAAO,CAAC,WAAW;IAMnB,OAAO,CAAC,aAAa;IAQrB,OAAO,CAAC,IAAI;IAQZ,OAAO,CAAC,eAAe;IAcvB,OAAO,CAAC,kBAAkB;IAe1B,OAAO,CAAC,QAAQ;IAWhB,OAAO,CAAC,WAAW;CAapB;AAoBD;;;GAGG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,UAAU,EAAE,EACrB,MAAM,EAAE,YAAY,GACnB,IAAI,CAWN;AAiBD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,YAAY,GAAG;IAC1D,QAAQ,EAAE,aAAa,CAAC;IACxB,SAAS,EAAE,aAAa,EAAE,CAAC;CAC5B,CAqBA;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,YAAY,GAAG,IAAI,CAE/D"}