semantifold 0.1.0

package/build/src/semantic/location.d.ts

@@ -0,0 +1,61 @@
+/**
+ * Converts a source offset to a one-based point.
+ * @param {string} source - Complete source.
+ * @param {number} offset - Zero-based UTF-16 offset.
+ * @returns {import("./types.js").SourcePoint} Source point.
+ */
+export declare function pointAt(source: string, offset: number): import("./types.js").SourcePoint;
+/**
+ * Builds a reusable UTF-16 line index in one pass.
+ * @param {string} source - Complete source.
+ * @returns {{source: string, lineStarts: number[]}} Coordinate index.
+ */
+export declare function createCoordinateIndex(source: string): {
+    source: string;
+    lineStarts: number[];
+};
+/**
+ * Converts an offset with a reusable coordinate index.
+ * @param {{source: string, lineStarts: number[]}} index - Coordinate index.
+ * @param {number} offset - Zero-based UTF-16 offset.
+ * @returns {import("./types.js").SourcePoint} Source point.
+ */
+export declare function indexedPointAt(index: {
+    source: string;
+    lineStarts: number[];
+}, offset: number): import("./types.js").SourcePoint;
+/**
+ * Converts a canonical one-based UTF-16 line/column pair to its unique offset.
+ * @param {{source: string, lineStarts: number[]}} index - Coordinate index.
+ * @param {number} line - One-based line.
+ * @param {number} column - One-based UTF-16 column.
+ * @returns {number} Source offset.
+ */
+export declare function indexedOffsetAt(index: {
+    source: string;
+    lineStarts: number[];
+}, line: number, column: number): number;
+/**
+ * Converts a parser UTF-8 byte offset to Semantifold's UTF-16 source offset.
+ * @param {string} source - Complete source.
+ * @param {number} byteOffset - Zero-based UTF-8 byte offset.
+ * @returns {number} Zero-based UTF-16 offset.
+ */
+export declare function utf8ByteOffsetToUtf16Offset(source: string, byteOffset: number): number;
+/**
+ * Builds a normalized source location from offsets.
+ * @param {string} filename - Originating filename.
+ * @param {string} source - Complete source.
+ * @param {number} startOffset - Inclusive start offset.
+ * @param {number} endOffset - Exclusive end offset.
+ * @returns {import("./types.js").SourceLocation} Source location.
+ */
+export declare function locationFromOffsets(filename: string, source: string, startOffset: number, endOffset: number): import("./types.js").SourceLocation;
+/**
+ * Builds a location spanning a complete source file.
+ * @param {string} filename - Originating filename.
+ * @param {string} source - Complete source.
+ * @returns {import("./types.js").SourceLocation} Source location.
+ */
+export declare function moduleLocation(filename: string, source: string): import("./types.js").SourceLocation;
+//# sourceMappingURL=location.d.ts.map

package/build/src/semantic/location.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"location.d.ts","sourceRoot":"","sources":["../../../src/semantic/location.js"],"names":[],"mappings":"AAEA;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAJnB,MAImB,EAAE,MAAM,EAH3B,MAG2B,GAFzB,OAAO,YAAY,EAAE,WAAW,CA6B5C;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAHjC,MAGiC,GAF/B;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAA;CAAC,CAalD;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAJzB;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAA;CAIZ,EAAE,MAAM,EAHjC,MAGiC,GAF/B,OAAO,YAAY,EAAE,WAAW,CAqB5C;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAL1B;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAA;CAKX,EAAE,IAAI,EAJhC,MAIgC,EAAE,MAAM,EAHxC,MAGwC,GAFtC,MAAM,CAYlB;AAED;;;;;GAKG;AACH,wBAAgB,2BAA2B,CAAC,MAAM,EAJvC,MAIuC,EAAE,UAAU,EAHnD,MAGmD,GAFjD,MAAM,CAsBlB;AAED;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EANjC,MAMiC,EAAE,MAAM,EALzC,MAKyC,EAAE,WAAW,EAJtD,MAIsD,EAAE,SAAS,EAHjE,MAGiE,GAF/D,OAAO,YAAY,EAAE,cAAc,CAQ/C;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAJ5B,MAI4B,EAAE,MAAM,EAHpC,MAGoC,GAFlC,OAAO,YAAY,EAAE,cAAc,CAI/C"}

package/build/src/semantic/location.js

@@ -0,0 +1,142 @@
+// @ts-check
+/**
+ * Converts a source offset to a one-based point.
+ * @param {string} source - Complete source.
+ * @param {number} offset - Zero-based UTF-16 offset.
+ * @returns {import("./types.js").SourcePoint} Source point.
+ */
+export function pointAt(source, offset) {
+    if (!Number.isInteger(offset) || offset < 0 || offset > source.length) {
+        throw new RangeError(`Invalid source offset: ${offset}`);
+    }
+    let line = 1;
+    let lineStart = 0;
+    for (let index = 0; index < offset; index++) {
+        if (source[index] == "\r") {
+            if (source[index + 1] == "\n") {
+                if (index + 1 < offset) {
+                    line++;
+                    index++;
+                    lineStart = index + 1;
+                }
+            }
+            else {
+                line++;
+                lineStart = index + 1;
+            }
+        }
+        else if (source[index] == "\n") {
+            line++;
+            lineStart = index + 1;
+        }
+    }
+    return { column: offset - lineStart + 1, line, offset };
+}
+/**
+ * Builds a reusable UTF-16 line index in one pass.
+ * @param {string} source - Complete source.
+ * @returns {{source: string, lineStarts: number[]}} Coordinate index.
+ */
+export function createCoordinateIndex(source) {
+    const lineStarts = [0];
+    for (let index = 0; index < source.length; index++) {
+        if (source[index] == "\r") {
+            if (source[index + 1] == "\n")
+                index++;
+            lineStarts.push(index + 1);
+        }
+        else if (source[index] == "\n")
+            lineStarts.push(index + 1);
+    }
+    return { lineStarts, source };
+}
+/**
+ * Converts an offset with a reusable coordinate index.
+ * @param {{source: string, lineStarts: number[]}} index - Coordinate index.
+ * @param {number} offset - Zero-based UTF-16 offset.
+ * @returns {import("./types.js").SourcePoint} Source point.
+ */
+export function indexedPointAt(index, offset) {
+    const { lineStarts, source } = index;
+    if (!Number.isInteger(offset) || offset < 0 || offset > source.length) {
+        throw new RangeError(`Invalid source offset: ${offset}`);
+    }
+    let low = 0;
+    let high = lineStarts.length;
+    while (low < high) {
+        const middle = Math.floor((low + high) / 2);
+        if (lineStarts[middle] <= offset)
+            low = middle + 1;
+        else
+            high = middle;
+    }
+    const lineIndex = low - 1;
+    return { column: offset - lineStarts[lineIndex] + 1, line: lineIndex + 1, offset };
+}
+/**
+ * Converts a canonical one-based UTF-16 line/column pair to its unique offset.
+ * @param {{source: string, lineStarts: number[]}} index - Coordinate index.
+ * @param {number} line - One-based line.
+ * @param {number} column - One-based UTF-16 column.
+ * @returns {number} Source offset.
+ */
+export function indexedOffsetAt(index, line, column) {
+    if (!Number.isInteger(line) || line < 1 || line > index.lineStarts.length || !Number.isInteger(column) || column < 1) {
+        throw new RangeError(`Invalid source position ${line}:${column}.`);
+    }
+    const offset = index.lineStarts[line - 1] + column - 1;
+    const point = indexedPointAt(index, offset);
+    if (point.line != line || point.column != column)
+        throw new RangeError(`Invalid source position ${line}:${column}.`);
+    return offset;
+}
+/**
+ * Converts a parser UTF-8 byte offset to Semantifold's UTF-16 source offset.
+ * @param {string} source - Complete source.
+ * @param {number} byteOffset - Zero-based UTF-8 byte offset.
+ * @returns {number} Zero-based UTF-16 offset.
+ */
+export function utf8ByteOffsetToUtf16Offset(source, byteOffset) {
+    if (!Number.isInteger(byteOffset) || byteOffset < 0)
+        throw new RangeError(`Invalid UTF-8 source offset: ${byteOffset}`);
+    let bytes = 0;
+    for (let index = 0; index < source.length;) {
+        if (bytes == byteOffset)
+            return index;
+        const codePoint = source.codePointAt(index);
+        if (codePoint === undefined)
+            throw new RangeError(`Invalid UTF-8 source offset: ${byteOffset}`);
+        bytes += codePoint <= 0x7F ? 1 : codePoint <= 0x7FF ? 2 : codePoint <= 0xFFFF ? 3 : 4;
+        if (bytes > byteOffset)
+            throw new RangeError(`Invalid UTF-8 source offset: ${byteOffset}`);
+        index += codePoint > 0xFFFF ? 2 : 1;
+    }
+    if (bytes == byteOffset)
+        return source.length;
+    throw new RangeError(`Invalid UTF-8 source offset: ${byteOffset}`);
+}
+/**
+ * Builds a normalized source location from offsets.
+ * @param {string} filename - Originating filename.
+ * @param {string} source - Complete source.
+ * @param {number} startOffset - Inclusive start offset.
+ * @param {number} endOffset - Exclusive end offset.
+ * @returns {import("./types.js").SourceLocation} Source location.
+ */
+export function locationFromOffsets(filename, source, startOffset, endOffset) {
+    return {
+        filename,
+        start: pointAt(source, startOffset),
+        end: pointAt(source, endOffset)
+    };
+}
+/**
+ * Builds a location spanning a complete source file.
+ * @param {string} filename - Originating filename.
+ * @param {string} source - Complete source.
+ * @returns {import("./types.js").SourceLocation} Source location.
+ */
+export function moduleLocation(filename, source) {
+    return locationFromOffsets(filename, source, 0, source.length);
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibG9jYXRpb24uanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvc2VtYW50aWMvbG9jYXRpb24uanMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsWUFBWTtBQUVaOzs7OztHQUtHO0FBQ0gsTUFBTSxVQUFVLE9BQU8sQ0FBQyxNQUFNLEVBQUUsTUFBTTtJQUNwQyxJQUFJLENBQUMsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLENBQUMsSUFBSSxNQUFNLEdBQUcsQ0FBQyxJQUFJLE1BQU0sR0FBRyxNQUFNLENBQUMsTUFBTSxFQUFFLENBQUM7UUFDdEUsTUFBTSxJQUFJLFVBQVUsQ0FBQywwQkFBMEIsTUFBTSxFQUFFLENBQUMsQ0FBQTtJQUMxRCxDQUFDO0lBRUQsSUFBSSxJQUFJLEdBQUcsQ0FBQyxDQUFBO0lBQ1osSUFBSSxTQUFTLEdBQUcsQ0FBQyxDQUFBO0lBRWpCLEtBQUssSUFBSSxLQUFLLEdBQUcsQ0FBQyxFQUFFLEtBQUssR0FBRyxNQUFNLEVBQUUsS0FBSyxFQUFFLEVBQUUsQ0FBQztRQUM1QyxJQUFJLE1BQU0sQ0FBQyxLQUFLLENBQUMsSUFBSSxJQUFJLEVBQUUsQ0FBQztZQUMxQixJQUFJLE1BQU0sQ0FBQyxLQUFLLEdBQUcsQ0FBQyxDQUFDLElBQUksSUFBSSxFQUFFLENBQUM7Z0JBQzlCLElBQUksS0FBSyxHQUFHLENBQUMsR0FBRyxNQUFNLEVBQUUsQ0FBQztvQkFDdkIsSUFBSSxFQUFFLENBQUE7b0JBQ04sS0FBSyxFQUFFLENBQUE7b0JBQ1AsU0FBUyxHQUFHLEtBQUssR0FBRyxDQUFDLENBQUE7Z0JBQ3ZCLENBQUM7WUFDSCxDQUFDO2lCQUFNLENBQUM7Z0JBQ04sSUFBSSxFQUFFLENBQUE7Z0JBQ04sU0FBUyxHQUFHLEtBQUssR0FBRyxDQUFDLENBQUE7WUFDdkIsQ0FBQztRQUNILENBQUM7YUFBTSxJQUFJLE1BQU0sQ0FBQyxLQUFLLENBQUMsSUFBSSxJQUFJLEVBQUUsQ0FBQztZQUNqQyxJQUFJLEVBQUUsQ0FBQTtZQUNOLFNBQVMsR0FBRyxLQUFLLEdBQUcsQ0FBQyxDQUFBO1FBQ3ZCLENBQUM7SUFDSCxDQUFDO0lBRUQsT0FBTyxFQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsU0FBUyxHQUFHLENBQUMsRUFBRSxJQUFJLEVBQUUsTUFBTSxFQUFDLENBQUE7QUFDdkQsQ0FBQztBQUVEOzs7O0dBSUc7QUFDSCxNQUFNLFVBQVUscUJBQXFCLENBQUMsTUFBTTtJQUMxQyxNQUFNLFVBQVUsR0FBRyxDQUFDLENBQUMsQ0FBQyxDQUFBO0lBRXRCLEtBQUssSUFBSSxLQUFLLEdBQUcsQ0FBQyxFQUFFLEtBQUssR0FBRyxNQUFNLENBQUMsTUFBTSxFQUFFLEtBQUssRUFBRSxFQUFFLENBQUM7UUFDbkQsSUFBSSxNQUFNLENBQUMsS0FBSyxDQUFDLElBQUksSUFBSSxFQUFFLENBQUM7WUFDMUIsSUFBSSxNQUFNLENBQUMsS0FBSyxHQUFHLENBQUMsQ0FBQyxJQUFJLElBQUk7Z0JBQUUsS0FBSyxFQUFFLENBQUE7WUFDdEMsVUFBVSxDQUFDLElBQUksQ0FBQyxLQUFLLEdBQUcsQ0FBQyxDQUFDLENBQUE7UUFDNUIsQ0FBQzthQUFNLElBQUksTUFBTSxDQUFDLEtBQUssQ0FBQyxJQUFJLElBQUk7WUFBRSxVQUFVLENBQUMsSUFBSSxDQUFDLEtBQUssR0FBRyxDQUFDLENBQUMsQ0FBQTtJQUM5RCxDQUFDO0lBRUQsT0FBTyxFQUFDLFVBQVUsRUFBRSxNQUFNLEVBQUMsQ0FBQTtBQUM3QixDQUFDO0FBRUQ7Ozs7O0dBS0c7QUFDSCxNQUFNLFVBQVUsY0FBYyxDQUFDLEtBQUssRUFBRSxNQUFNO0lBQzFDLE1BQU0sRUFBQyxVQUFVLEVBQUUsTUFBTSxFQUFDLEdBQUcsS0FBSyxDQUFBO0lBRWxDLElBQUksQ0FBQyxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sQ0FBQyxJQUFJLE1BQU0sR0FBRyxDQUFDLElBQUksTUFBTSxHQUFHLE1BQU0sQ0FBQyxNQUFNLEVBQUUsQ0FBQztRQUN0RSxNQUFNLElBQUksVUFBVSxDQUFDLDBCQUEwQixNQUFNLEVBQUUsQ0FBQyxDQUFBO0lBQzFELENBQUM7SUFFRCxJQUFJLEdBQUcsR0FBRyxDQUFDLENBQUE7SUFDWCxJQUFJLElBQUksR0FBRyxVQUFVLENBQUMsTUFBTSxDQUFBO0lBRTVCLE9BQU8sR0FBRyxHQUFHLElBQUksRUFBRSxDQUFDO1FBQ2xCLE1BQU0sTUFBTSxHQUFHLElBQUksQ0FBQyxLQUFLLENBQUMsQ0FBQyxHQUFHLEdBQUcsSUFBSSxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUE7UUFFM0MsSUFBSSxVQUFVLENBQUMsTUFBTSxDQUFDLElBQUksTUFBTTtZQUFFLEdBQUcsR0FBRyxNQUFNLEdBQUcsQ0FBQyxDQUFBOztZQUM3QyxJQUFJLEdBQUcsTUFBTSxDQUFBO0lBQ3BCLENBQUM7SUFDRCxNQUFNLFNBQVMsR0FBRyxHQUFHLEdBQUcsQ0FBQyxDQUFBO0lBRXpCLE9BQU8sRUFBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFVBQVUsQ0FBQyxTQUFTLENBQUMsR0FBRyxDQUFDLEVBQUUsSUFBSSxFQUFFLFNBQVMsR0FBRyxDQUFDLEVBQUUsTUFBTSxFQUFDLENBQUE7QUFDbEYsQ0FBQztBQUVEOzs7Ozs7R0FNRztBQUNILE1BQU0sVUFBVSxlQUFlLENBQUMsS0FBSyxFQUFFLElBQUksRUFBRSxNQUFNO0lBQ2pELElBQUksQ0FBQyxNQUFNLENBQUMsU0FBUyxDQUFDLElBQUksQ0FBQyxJQUFJLElBQUksR0FBRyxDQUFDLElBQUksSUFBSSxHQUFHLEtBQUssQ0FBQyxVQUFVLENBQUMsTUFBTSxJQUFJLENBQUMsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLENBQUMsSUFBSSxNQUFNLEdBQUcsQ0FBQyxFQUFFLENBQUM7UUFDckgsTUFBTSxJQUFJLFVBQVUsQ0FBQywyQkFBMkIsSUFBSSxJQUFJLE1BQU0sR0FBRyxDQUFDLENBQUE7SUFDcEUsQ0FBQztJQUNELE1BQU0sTUFBTSxHQUFHLEtBQUssQ0FBQyxVQUFVLENBQUMsSUFBSSxHQUFHLENBQUMsQ0FBQyxHQUFHLE1BQU0sR0FBRyxDQUFDLENBQUE7SUFDdEQsTUFBTSxLQUFLLEdBQUcsY0FBYyxDQUFDLEtBQUssRUFBRSxNQUFNLENBQUMsQ0FBQTtJQUUzQyxJQUFJLEtBQUssQ0FBQyxJQUFJLElBQUksSUFBSSxJQUFJLEtBQUssQ0FBQyxNQUFNLElBQUksTUFBTTtRQUFFLE1BQU0sSUFBSSxVQUFVLENBQUMsMkJBQTJCLElBQUksSUFBSSxNQUFNLEdBQUcsQ0FBQyxDQUFBO0lBRXBILE9BQU8sTUFBTSxDQUFBO0FBQ2YsQ0FBQztBQUVEOzs7OztHQUtHO0FBQ0gsTUFBTSxVQUFVLDJCQUEyQixDQUFDLE1BQU0sRUFBRSxVQUFVO0lBQzVELElBQUksQ0FBQyxNQUFNLENBQUMsU0FBUyxDQUFDLFVBQVUsQ0FBQyxJQUFJLFVBQVUsR0FBRyxDQUFDO1FBQUUsTUFBTSxJQUFJLFVBQVUsQ0FBQyxnQ0FBZ0MsVUFBVSxFQUFFLENBQUMsQ0FBQTtJQUV2SCxJQUFJLEtBQUssR0FBRyxDQUFDLENBQUE7SUFFYixLQUFLLElBQUksS0FBSyxHQUFHLENBQUMsRUFBRSxLQUFLLEdBQUcsTUFBTSxDQUFDLE1BQU0sR0FBRyxDQUFDO1FBQzNDLElBQUksS0FBSyxJQUFJLFVBQVU7WUFBRSxPQUFPLEtBQUssQ0FBQTtRQUVyQyxNQUFNLFNBQVMsR0FBRyxNQUFNLENBQUMsV0FBVyxDQUFDLEtBQUssQ0FBQyxDQUFBO1FBRTNDLElBQUksU0FBUyxLQUFLLFNBQVM7WUFBRSxNQUFNLElBQUksVUFBVSxDQUFDLGdDQUFnQyxVQUFVLEVBQUUsQ0FBQyxDQUFBO1FBRS9GLEtBQUssSUFBSSxTQUFTLElBQUksSUFBSSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLFNBQVMsSUFBSSxLQUFLLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsU0FBUyxJQUFJLE1BQU0sQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7UUFDckYsSUFBSSxLQUFLLEdBQUcsVUFBVTtZQUFFLE1BQU0sSUFBSSxVQUFVLENBQUMsZ0NBQWdDLFVBQVUsRUFBRSxDQUFDLENBQUE7UUFDMUYsS0FBSyxJQUFJLFNBQVMsR0FBRyxNQUFNLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO0lBQ3JDLENBQUM7SUFFRCxJQUFJLEtBQUssSUFBSSxVQUFVO1FBQUUsT0FBTyxNQUFNLENBQUMsTUFBTSxDQUFBO0lBRTdDLE1BQU0sSUFBSSxVQUFVLENBQUMsZ0NBQWdDLFVBQVUsRUFBRSxDQUFDLENBQUE7QUFDcEUsQ0FBQztBQUVEOzs7Ozs7O0dBT0c7QUFDSCxNQUFNLFVBQVUsbUJBQW1CLENBQUMsUUFBUSxFQUFFLE1BQU0sRUFBRSxXQUFXLEVBQUUsU0FBUztJQUMxRSxPQUFPO1FBQ0wsUUFBUTtRQUNSLEtBQUssRUFBRSxPQUFPLENBQUMsTUFBTSxFQUFFLFdBQVcsQ0FBQztRQUNuQyxHQUFHLEVBQUUsT0FBTyxDQUFDLE1BQU0sRUFBRSxTQUFTLENBQUM7S0FDaEMsQ0FBQTtBQUNILENBQUM7QUFFRDs7Ozs7R0FLRztBQUNILE1BQU0sVUFBVSxjQUFjLENBQUMsUUFBUSxFQUFFLE1BQU07SUFDN0MsT0FBTyxtQkFBbUIsQ0FBQyxRQUFRLEVBQUUsTUFBTSxFQUFFLENBQUMsRUFBRSxNQUFNLENBQUMsTUFBTSxDQUFDLENBQUE7QUFDaEUsQ0FBQyIsInNvdXJjZXNDb250ZW50IjpbIi8vIEB0cy1jaGVja1xuXG4vKipcbiAqIENvbnZlcnRzIGEgc291cmNlIG9mZnNldCB0byBhIG9uZS1iYXNlZCBwb2ludC5cbiAqIEBwYXJhbSB7c3RyaW5nfSBzb3VyY2UgLSBDb21wbGV0ZSBzb3VyY2UuXG4gKiBAcGFyYW0ge251bWJlcn0gb2Zmc2V0IC0gWmVyby1iYXNlZCBVVEYtMTYgb2Zmc2V0LlxuICogQHJldHVybnMge2ltcG9ydChcIi4vdHlwZXMuanNcIikuU291cmNlUG9pbnR9IFNvdXJjZSBwb2ludC5cbiAqL1xuZXhwb3J0IGZ1bmN0aW9uIHBvaW50QXQoc291cmNlLCBvZmZzZXQpIHtcbiAgaWYgKCFOdW1iZXIuaXNJbnRlZ2VyKG9mZnNldCkgfHwgb2Zmc2V0IDwgMCB8fCBvZmZzZXQgPiBzb3VyY2UubGVuZ3RoKSB7XG4gICAgdGhyb3cgbmV3IFJhbmdlRXJyb3IoYEludmFsaWQgc291cmNlIG9mZnNldDogJHtvZmZzZXR9YClcbiAgfVxuXG4gIGxldCBsaW5lID0gMVxuICBsZXQgbGluZVN0YXJ0ID0gMFxuXG4gIGZvciAobGV0IGluZGV4ID0gMDsgaW5kZXggPCBvZmZzZXQ7IGluZGV4KyspIHtcbiAgICBpZiAoc291cmNlW2luZGV4XSA9PSBcIlxcclwiKSB7XG4gICAgICBpZiAoc291cmNlW2luZGV4ICsgMV0gPT0gXCJcXG5cIikge1xuICAgICAgICBpZiAoaW5kZXggKyAxIDwgb2Zmc2V0KSB7XG4gICAgICAgICAgbGluZSsrXG4gICAgICAgICAgaW5kZXgrK1xuICAgICAgICAgIGxpbmVTdGFydCA9IGluZGV4ICsgMVxuICAgICAgICB9XG4gICAgICB9IGVsc2Uge1xuICAgICAgICBsaW5lKytcbiAgICAgICAgbGluZVN0YXJ0ID0gaW5kZXggKyAxXG4gICAgICB9XG4gICAgfSBlbHNlIGlmIChzb3VyY2VbaW5kZXhdID09IFwiXFxuXCIpIHtcbiAgICAgIGxpbmUrK1xuICAgICAgbGluZVN0YXJ0ID0gaW5kZXggKyAxXG4gICAgfVxuICB9XG5cbiAgcmV0dXJuIHtjb2x1bW46IG9mZnNldCAtIGxpbmVTdGFydCArIDEsIGxpbmUsIG9mZnNldH1cbn1cblxuLyoqXG4gKiBCdWlsZHMgYSByZXVzYWJsZSBVVEYtMTYgbGluZSBpbmRleCBpbiBvbmUgcGFzcy5cbiAqIEBwYXJhbSB7c3RyaW5nfSBzb3VyY2UgLSBDb21wbGV0ZSBzb3VyY2UuXG4gKiBAcmV0dXJucyB7e3NvdXJjZTogc3RyaW5nLCBsaW5lU3RhcnRzOiBudW1iZXJbXX19IENvb3JkaW5hdGUgaW5kZXguXG4gKi9cbmV4cG9ydCBmdW5jdGlvbiBjcmVhdGVDb29yZGluYXRlSW5kZXgoc291cmNlKSB7XG4gIGNvbnN0IGxpbmVTdGFydHMgPSBbMF1cblxuICBmb3IgKGxldCBpbmRleCA9IDA7IGluZGV4IDwgc291cmNlLmxlbmd0aDsgaW5kZXgrKykge1xuICAgIGlmIChzb3VyY2VbaW5kZXhdID09IFwiXFxyXCIpIHtcbiAgICAgIGlmIChzb3VyY2VbaW5kZXggKyAxXSA9PSBcIlxcblwiKSBpbmRleCsrXG4gICAgICBsaW5lU3RhcnRzLnB1c2goaW5kZXggKyAxKVxuICAgIH0gZWxzZSBpZiAoc291cmNlW2luZGV4XSA9PSBcIlxcblwiKSBsaW5lU3RhcnRzLnB1c2goaW5kZXggKyAxKVxuICB9XG5cbiAgcmV0dXJuIHtsaW5lU3RhcnRzLCBzb3VyY2V9XG59XG5cbi8qKlxuICogQ29udmVydHMgYW4gb2Zmc2V0IHdpdGggYSByZXVzYWJsZSBjb29yZGluYXRlIGluZGV4LlxuICogQHBhcmFtIHt7c291cmNlOiBzdHJpbmcsIGxpbmVTdGFydHM6IG51bWJlcltdfX0gaW5kZXggLSBDb29yZGluYXRlIGluZGV4LlxuICogQHBhcmFtIHtudW1iZXJ9IG9mZnNldCAtIFplcm8tYmFzZWQgVVRGLTE2IG9mZnNldC5cbiAqIEByZXR1cm5zIHtpbXBvcnQoXCIuL3R5cGVzLmpzXCIpLlNvdXJjZVBvaW50fSBTb3VyY2UgcG9pbnQuXG4gKi9cbmV4cG9ydCBmdW5jdGlvbiBpbmRleGVkUG9pbnRBdChpbmRleCwgb2Zmc2V0KSB7XG4gIGNvbnN0IHtsaW5lU3RhcnRzLCBzb3VyY2V9ID0gaW5kZXhcblxuICBpZiAoIU51bWJlci5pc0ludGVnZXIob2Zmc2V0KSB8fCBvZmZzZXQgPCAwIHx8IG9mZnNldCA+IHNvdXJjZS5sZW5ndGgpIHtcbiAgICB0aHJvdyBuZXcgUmFuZ2VFcnJvcihgSW52YWxpZCBzb3VyY2Ugb2Zmc2V0OiAke29mZnNldH1gKVxuICB9XG5cbiAgbGV0IGxvdyA9IDBcbiAgbGV0IGhpZ2ggPSBsaW5lU3RhcnRzLmxlbmd0aFxuXG4gIHdoaWxlIChsb3cgPCBoaWdoKSB7XG4gICAgY29uc3QgbWlkZGxlID0gTWF0aC5mbG9vcigobG93ICsgaGlnaCkgLyAyKVxuXG4gICAgaWYgKGxpbmVTdGFydHNbbWlkZGxlXSA8PSBvZmZzZXQpIGxvdyA9IG1pZGRsZSArIDFcbiAgICBlbHNlIGhpZ2ggPSBtaWRkbGVcbiAgfVxuICBjb25zdCBsaW5lSW5kZXggPSBsb3cgLSAxXG5cbiAgcmV0dXJuIHtjb2x1bW46IG9mZnNldCAtIGxpbmVTdGFydHNbbGluZUluZGV4XSArIDEsIGxpbmU6IGxpbmVJbmRleCArIDEsIG9mZnNldH1cbn1cblxuLyoqXG4gKiBDb252ZXJ0cyBhIGNhbm9uaWNhbCBvbmUtYmFzZWQgVVRGLTE2IGxpbmUvY29sdW1uIHBhaXIgdG8gaXRzIHVuaXF1ZSBvZmZzZXQuXG4gKiBAcGFyYW0ge3tzb3VyY2U6IHN0cmluZywgbGluZVN0YXJ0czogbnVtYmVyW119fSBpbmRleCAtIENvb3JkaW5hdGUgaW5kZXguXG4gKiBAcGFyYW0ge251bWJlcn0gbGluZSAtIE9uZS1iYXNlZCBsaW5lLlxuICogQHBhcmFtIHtudW1iZXJ9IGNvbHVtbiAtIE9uZS1iYXNlZCBVVEYtMTYgY29sdW1uLlxuICogQHJldHVybnMge251bWJlcn0gU291cmNlIG9mZnNldC5cbiAqL1xuZXhwb3J0IGZ1bmN0aW9uIGluZGV4ZWRPZmZzZXRBdChpbmRleCwgbGluZSwgY29sdW1uKSB7XG4gIGlmICghTnVtYmVyLmlzSW50ZWdlcihsaW5lKSB8fCBsaW5lIDwgMSB8fCBsaW5lID4gaW5kZXgubGluZVN0YXJ0cy5sZW5ndGggfHwgIU51bWJlci5pc0ludGVnZXIoY29sdW1uKSB8fCBjb2x1bW4gPCAxKSB7XG4gICAgdGhyb3cgbmV3IFJhbmdlRXJyb3IoYEludmFsaWQgc291cmNlIHBvc2l0aW9uICR7bGluZX06JHtjb2x1bW59LmApXG4gIH1cbiAgY29uc3Qgb2Zmc2V0ID0gaW5kZXgubGluZVN0YXJ0c1tsaW5lIC0gMV0gKyBjb2x1bW4gLSAxXG4gIGNvbnN0IHBvaW50ID0gaW5kZXhlZFBvaW50QXQoaW5kZXgsIG9mZnNldClcblxuICBpZiAocG9pbnQubGluZSAhPSBsaW5lIHx8IHBvaW50LmNvbHVtbiAhPSBjb2x1bW4pIHRocm93IG5ldyBSYW5nZUVycm9yKGBJbnZhbGlkIHNvdXJjZSBwb3NpdGlvbiAke2xpbmV9OiR7Y29sdW1ufS5gKVxuXG4gIHJldHVybiBvZmZzZXRcbn1cblxuLyoqXG4gKiBDb252ZXJ0cyBhIHBhcnNlciBVVEYtOCBieXRlIG9mZnNldCB0byBTZW1hbnRpZm9sZCdzIFVURi0xNiBzb3VyY2Ugb2Zmc2V0LlxuICogQHBhcmFtIHtzdHJpbmd9IHNvdXJjZSAtIENvbXBsZXRlIHNvdXJjZS5cbiAqIEBwYXJhbSB7bnVtYmVyfSBieXRlT2Zmc2V0IC0gWmVyby1iYXNlZCBVVEYtOCBieXRlIG9mZnNldC5cbiAqIEByZXR1cm5zIHtudW1iZXJ9IFplcm8tYmFzZWQgVVRGLTE2IG9mZnNldC5cbiAqL1xuZXhwb3J0IGZ1bmN0aW9uIHV0ZjhCeXRlT2Zmc2V0VG9VdGYxNk9mZnNldChzb3VyY2UsIGJ5dGVPZmZzZXQpIHtcbiAgaWYgKCFOdW1iZXIuaXNJbnRlZ2VyKGJ5dGVPZmZzZXQpIHx8IGJ5dGVPZmZzZXQgPCAwKSB0aHJvdyBuZXcgUmFuZ2VFcnJvcihgSW52YWxpZCBVVEYtOCBzb3VyY2Ugb2Zmc2V0OiAke2J5dGVPZmZzZXR9YClcblxuICBsZXQgYnl0ZXMgPSAwXG5cbiAgZm9yIChsZXQgaW5kZXggPSAwOyBpbmRleCA8IHNvdXJjZS5sZW5ndGg7KSB7XG4gICAgaWYgKGJ5dGVzID09IGJ5dGVPZmZzZXQpIHJldHVybiBpbmRleFxuXG4gICAgY29uc3QgY29kZVBvaW50ID0gc291cmNlLmNvZGVQb2ludEF0KGluZGV4KVxuXG4gICAgaWYgKGNvZGVQb2ludCA9PT0gdW5kZWZpbmVkKSB0aHJvdyBuZXcgUmFuZ2VFcnJvcihgSW52YWxpZCBVVEYtOCBzb3VyY2Ugb2Zmc2V0OiAke2J5dGVPZmZzZXR9YClcblxuICAgIGJ5dGVzICs9IGNvZGVQb2ludCA8PSAweDdGID8gMSA6IGNvZGVQb2ludCA8PSAweDdGRiA/IDIgOiBjb2RlUG9pbnQgPD0gMHhGRkZGID8gMyA6IDRcbiAgICBpZiAoYnl0ZXMgPiBieXRlT2Zmc2V0KSB0aHJvdyBuZXcgUmFuZ2VFcnJvcihgSW52YWxpZCBVVEYtOCBzb3VyY2Ugb2Zmc2V0OiAke2J5dGVPZmZzZXR9YClcbiAgICBpbmRleCArPSBjb2RlUG9pbnQgPiAweEZGRkYgPyAyIDogMVxuICB9XG5cbiAgaWYgKGJ5dGVzID09IGJ5dGVPZmZzZXQpIHJldHVybiBzb3VyY2UubGVuZ3RoXG5cbiAgdGhyb3cgbmV3IFJhbmdlRXJyb3IoYEludmFsaWQgVVRGLTggc291cmNlIG9mZnNldDogJHtieXRlT2Zmc2V0fWApXG59XG5cbi8qKlxuICogQnVpbGRzIGEgbm9ybWFsaXplZCBzb3VyY2UgbG9jYXRpb24gZnJvbSBvZmZzZXRzLlxuICogQHBhcmFtIHtzdHJpbmd9IGZpbGVuYW1lIC0gT3JpZ2luYXRpbmcgZmlsZW5hbWUuXG4gKiBAcGFyYW0ge3N0cmluZ30gc291cmNlIC0gQ29tcGxldGUgc291cmNlLlxuICogQHBhcmFtIHtudW1iZXJ9IHN0YXJ0T2Zmc2V0IC0gSW5jbHVzaXZlIHN0YXJ0IG9mZnNldC5cbiAqIEBwYXJhbSB7bnVtYmVyfSBlbmRPZmZzZXQgLSBFeGNsdXNpdmUgZW5kIG9mZnNldC5cbiAqIEByZXR1cm5zIHtpbXBvcnQoXCIuL3R5cGVzLmpzXCIpLlNvdXJjZUxvY2F0aW9ufSBTb3VyY2UgbG9jYXRpb24uXG4gKi9cbmV4cG9ydCBmdW5jdGlvbiBsb2NhdGlvbkZyb21PZmZzZXRzKGZpbGVuYW1lLCBzb3VyY2UsIHN0YXJ0T2Zmc2V0LCBlbmRPZmZzZXQpIHtcbiAgcmV0dXJuIHtcbiAgICBmaWxlbmFtZSxcbiAgICBzdGFydDogcG9pbnRBdChzb3VyY2UsIHN0YXJ0T2Zmc2V0KSxcbiAgICBlbmQ6IHBvaW50QXQoc291cmNlLCBlbmRPZmZzZXQpXG4gIH1cbn1cblxuLyoqXG4gKiBCdWlsZHMgYSBsb2NhdGlvbiBzcGFubmluZyBhIGNvbXBsZXRlIHNvdXJjZSBmaWxlLlxuICogQHBhcmFtIHtzdHJpbmd9IGZpbGVuYW1lIC0gT3JpZ2luYXRpbmcgZmlsZW5hbWUuXG4gKiBAcGFyYW0ge3N0cmluZ30gc291cmNlIC0gQ29tcGxldGUgc291cmNlLlxuICogQHJldHVybnMge2ltcG9ydChcIi4vdHlwZXMuanNcIikuU291cmNlTG9jYXRpb259IFNvdXJjZSBsb2NhdGlvbi5cbiAqL1xuZXhwb3J0IGZ1bmN0aW9uIG1vZHVsZUxvY2F0aW9uKGZpbGVuYW1lLCBzb3VyY2UpIHtcbiAgcmV0dXJuIGxvY2F0aW9uRnJvbU9mZnNldHMoZmlsZW5hbWUsIHNvdXJjZSwgMCwgc291cmNlLmxlbmd0aClcbn1cbiJdfQ==

package/build/src/semantic/operators.d.ts

@@ -0,0 +1,16 @@
+export type AdaptedOperation = "Add" | "PhpAdd" | "Subtract" | "Multiply" | "Negate" | "Not" | "And" | "Or" | "Equal" | "NotEqual" | "JavaEqual" | "JavaNotEqual" | "StringEqual" | "StringNotEqual" | "StringConcat" | "LessThan" | "LessThanOrEqual" | "GreaterThan" | "GreaterThanOrEqual";
+/**
+ * Associates parser-normalized intent without adding it to a semantic value.
+ * @template {object} Expression
+ * @param {Expression} expression - Adapted expression awaiting type resolution.
+ * @param {AdaptedOperation} operation - Parser-normalized operation intent.
+ * @returns {Expression} The same expression.
+ */
+export declare function withAdaptedOperation<Expression extends object>(expression: Expression, operation: AdaptedOperation): Expression;
+/**
+ * Reads private frontend intent during parsed-module validation.
+ * @param {object} expression - Adapted expression.
+ * @returns {AdaptedOperation | undefined} Associated operation.
+ */
+export declare function adaptedOperationFor(expression: object): AdaptedOperation | undefined;
+//# sourceMappingURL=operators.d.ts.map

package/build/src/semantic/operators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"operators.d.ts","sourceRoot":"","sources":["../../../src/semantic/operators.js"],"names":[],"mappings":"AAEI,YAA0Q,gBAAgB,GAAhR,KAAK,GAAG,QAAQ,GAAG,UAAU,GAAG,UAAU,GAAG,QAAQ,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,GAAG,OAAO,GAAG,UAAU,GAAG,WAAW,GAAG,cAAc,GAAG,aAAa,GAAG,gBAAgB,GAAG,cAAc,GAAG,UAAU,GAAG,iBAAiB,GAAG,aAAa,GAAG,oBAAoB,CAAkB;AAK9R;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CALd,UAAU,SAAlB,MAAkB,EAKK,UAAU,EAJpC,UAIoC,EAAE,SAAS,EAH/C,gBAG+C,GAF7C,UAAU,CAMtB;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAHnC,MAGmC,GAFjC,gBAAgB,GAAG,SAAS,CAIxC"}

package/build/src/semantic/operators.js

@@ -0,0 +1,24 @@
+// @ts-check
+/** @typedef {"Add" | "PhpAdd" | "Subtract" | "Multiply" | "Negate" | "Not" | "And" | "Or" | "Equal" | "NotEqual" | "JavaEqual" | "JavaNotEqual" | "StringEqual" | "StringNotEqual" | "StringConcat" | "LessThan" | "LessThanOrEqual" | "GreaterThan" | "GreaterThanOrEqual"} AdaptedOperation */
+/** @type {WeakMap<object, AdaptedOperation>} */
+const adaptedOperations = new WeakMap();
+/**
+ * Associates parser-normalized intent without adding it to a semantic value.
+ * @template {object} Expression
+ * @param {Expression} expression - Adapted expression awaiting type resolution.
+ * @param {AdaptedOperation} operation - Parser-normalized operation intent.
+ * @returns {Expression} The same expression.
+ */
+export function withAdaptedOperation(expression, operation) {
+    adaptedOperations.set(expression, operation);
+    return expression;
+}
+/**
+ * Reads private frontend intent during parsed-module validation.
+ * @param {object} expression - Adapted expression.
+ * @returns {AdaptedOperation | undefined} Associated operation.
+ */
+export function adaptedOperationFor(expression) {
+    return adaptedOperations.get(expression);
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoib3BlcmF0b3JzLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3NlbWFudGljL29wZXJhdG9ycy5qcyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxZQUFZO0FBRVosaVNBQWlTO0FBRWpTLGdEQUFnRDtBQUNoRCxNQUFNLGlCQUFpQixHQUFHLElBQUksT0FBTyxFQUFFLENBQUE7QUFFdkM7Ozs7OztHQU1HO0FBQ0gsTUFBTSxVQUFVLG9CQUFvQixDQUFDLFVBQVUsRUFBRSxTQUFTO0lBQ3hELGlCQUFpQixDQUFDLEdBQUcsQ0FBQyxVQUFVLEVBQUUsU0FBUyxDQUFDLENBQUE7SUFFNUMsT0FBTyxVQUFVLENBQUE7QUFDbkIsQ0FBQztBQUVEOzs7O0dBSUc7QUFDSCxNQUFNLFVBQVUsbUJBQW1CLENBQUMsVUFBVTtJQUM1QyxPQUFPLGlCQUFpQixDQUFDLEdBQUcsQ0FBQyxVQUFVLENBQUMsQ0FBQTtBQUMxQyxDQUFDIiwic291cmNlc0NvbnRlbnQiOlsiLy8gQHRzLWNoZWNrXG5cbi8qKiBAdHlwZWRlZiB7XCJBZGRcIiB8IFwiUGhwQWRkXCIgfCBcIlN1YnRyYWN0XCIgfCBcIk11bHRpcGx5XCIgfCBcIk5lZ2F0ZVwiIHwgXCJOb3RcIiB8IFwiQW5kXCIgfCBcIk9yXCIgfCBcIkVxdWFsXCIgfCBcIk5vdEVxdWFsXCIgfCBcIkphdmFFcXVhbFwiIHwgXCJKYXZhTm90RXF1YWxcIiB8IFwiU3RyaW5nRXF1YWxcIiB8IFwiU3RyaW5nTm90RXF1YWxcIiB8IFwiU3RyaW5nQ29uY2F0XCIgfCBcIkxlc3NUaGFuXCIgfCBcIkxlc3NUaGFuT3JFcXVhbFwiIHwgXCJHcmVhdGVyVGhhblwiIHwgXCJHcmVhdGVyVGhhbk9yRXF1YWxcIn0gQWRhcHRlZE9wZXJhdGlvbiAqL1xuXG4vKiogQHR5cGUge1dlYWtNYXA8b2JqZWN0LCBBZGFwdGVkT3BlcmF0aW9uPn0gKi9cbmNvbnN0IGFkYXB0ZWRPcGVyYXRpb25zID0gbmV3IFdlYWtNYXAoKVxuXG4vKipcbiAqIEFzc29jaWF0ZXMgcGFyc2VyLW5vcm1hbGl6ZWQgaW50ZW50IHdpdGhvdXQgYWRkaW5nIGl0IHRvIGEgc2VtYW50aWMgdmFsdWUuXG4gKiBAdGVtcGxhdGUge29iamVjdH0gRXhwcmVzc2lvblxuICogQHBhcmFtIHtFeHByZXNzaW9ufSBleHByZXNzaW9uIC0gQWRhcHRlZCBleHByZXNzaW9uIGF3YWl0aW5nIHR5cGUgcmVzb2x1dGlvbi5cbiAqIEBwYXJhbSB7QWRhcHRlZE9wZXJhdGlvbn0gb3BlcmF0aW9uIC0gUGFyc2VyLW5vcm1hbGl6ZWQgb3BlcmF0aW9uIGludGVudC5cbiAqIEByZXR1cm5zIHtFeHByZXNzaW9ufSBUaGUgc2FtZSBleHByZXNzaW9uLlxuICovXG5leHBvcnQgZnVuY3Rpb24gd2l0aEFkYXB0ZWRPcGVyYXRpb24oZXhwcmVzc2lvbiwgb3BlcmF0aW9uKSB7XG4gIGFkYXB0ZWRPcGVyYXRpb25zLnNldChleHByZXNzaW9uLCBvcGVyYXRpb24pXG5cbiAgcmV0dXJuIGV4cHJlc3Npb25cbn1cblxuLyoqXG4gKiBSZWFkcyBwcml2YXRlIGZyb250ZW5kIGludGVudCBkdXJpbmcgcGFyc2VkLW1vZHVsZSB2YWxpZGF0aW9uLlxuICogQHBhcmFtIHtvYmplY3R9IGV4cHJlc3Npb24gLSBBZGFwdGVkIGV4cHJlc3Npb24uXG4gKiBAcmV0dXJucyB7QWRhcHRlZE9wZXJhdGlvbiB8IHVuZGVmaW5lZH0gQXNzb2NpYXRlZCBvcGVyYXRpb24uXG4gKi9cbmV4cG9ydCBmdW5jdGlvbiBhZGFwdGVkT3BlcmF0aW9uRm9yKGV4cHJlc3Npb24pIHtcbiAgcmV0dXJuIGFkYXB0ZWRPcGVyYXRpb25zLmdldChleHByZXNzaW9uKVxufVxuIl19

package/build/src/semantic/provenance.d.ts

@@ -0,0 +1,74 @@
+/**
+ * Records parser-provided semantic-token ranges without exposing parser trees.
+ * @param {object} node - Semantic node.
+ * @param {Readonly<Record<string, import("./types.js").SourceLocation>>} ranges - Exact role ranges.
+ * @returns {void}
+ */
+export declare function setParserRanges(node: object, ranges: Readonly<Record<string, import("./types.js").SourceLocation>>): void;
+/**
+ * Records parser ranges and returns the same semantic node.
+ * @template {object} Node
+ * @param {Node} node - Semantic node.
+ * @param {Readonly<Record<string, import("./types.js").SourceLocation>>} ranges - Exact role ranges.
+ * @returns {Node} The same node.
+ */
+export declare function withParserRanges<Node extends object>(node: Node, ranges: Readonly<Record<string, import("./types.js").SourceLocation>>): Node;
+/**
+ * Adds deterministic provenance to a validated frontend module.
+ * @param {import("./types.js").SemanticModule} module - Validated semantic module.
+ * @param {object} source - Parsed source.
+ * @param {string} source.filename - Source filename.
+ * @param {import("./types.js").SemanticLanguage} source.language - Source language.
+ * @param {string} source.source - Exact source content.
+ * @returns {import("./types.js").SemanticModule} The same semantic module.
+ */
+export declare function annotateParsedModule(module: import("./types.js").SemanticModule, { filename, language, source }: {
+    filename: string;
+    language: import("./types.js").SemanticLanguage;
+    source: string;
+}): import("./types.js").SemanticModule;
+/**
+ * Rebuilds canonical generation metadata without trusting caller-provided identities.
+ * @param {import("./types.js").SemanticModule} module - Semantic module.
+ * @param {{filename: string, content: string, language?: import("./types.js").SemanticLanguage}[]} [providedSources] - Additional source content.
+ * @returns {{provenance: import("./types.js").SemanticProvenance, recordFor: (node: import("./types.js").SemanticNode, path?: string) => import("./types.js").SemanticNodeProvenance}} Canonical index.
+ */
+export declare function createGenerationIndex(module: import("./types.js").SemanticModule, providedSources?: {
+    filename: string;
+    content: string;
+    language?: import("./types.js").SemanticLanguage;
+}[]): {
+    provenance: import("./types.js").SemanticProvenance;
+    recordFor: (node: import("./types.js").SemanticNode, path?: string) => import("./types.js").SemanticNodeProvenance;
+};
+/**
+ * Selects the safe primary original location for closed provenance.
+ * @param {import("./types.js").SemanticOrigin} origin - Closed provenance.
+ * @returns {import("./types.js").SourceLocation | undefined} Primary location.
+ */
+export declare function primaryLocation(origin: import("./types.js").SemanticOrigin): import("./types.js").SourceLocation | undefined;
+/**
+ * Finds one node provenance record by semantic object or node identity.
+ * @param {import("./types.js").SemanticModule} module - Semantic module.
+ * @param {import("./types.js").SemanticNode | string} node - Semantic object or node identity.
+ * @returns {import("./types.js").SemanticNodeProvenance} Provenance record.
+ */
+export declare function getNodeProvenance(module: import("./types.js").SemanticModule, node: import("./types.js").SemanticNode | string): import("./types.js").SemanticNodeProvenance;
+/**
+ * Finds one semantic symbol record.
+ * @param {import("./types.js").SemanticModule} module - Semantic module.
+ * @param {string} symbolId - Symbol identity.
+ * @returns {import("./types.js").SemanticSymbolProvenance} Symbol record.
+ */
+export declare function getSymbolProvenance(module: import("./types.js").SemanticModule, symbolId: string): import("./types.js").SemanticSymbolProvenance;
+/**
+ * Traverses public semantic nodes in one stable order.
+ * @param {import("./types.js").SemanticModule} module - Semantic module.
+ * @returns {{node: import("./types.js").SemanticNode, ownerLocation: import("./types.js").SourceLocation, path: string}[]} Entries.
+ */
+export declare function semanticEntries(module: import("./types.js").SemanticModule): {
+    node: import("./types.js").SemanticNode;
+    ownerLocation: import("./types.js").SourceLocation;
+    path: string;
+}[];
+//# sourceMappingURL=provenance.d.ts.map

package/build/src/semantic/provenance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"provenance.d.ts","sourceRoot":"","sources":["../../../src/semantic/provenance.js"],"names":[],"mappings":"AASA;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAJzB,MAIyB,EAAE,MAAM,EAHjC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,cAAc,CAAC,CAG3B,GAF/B,IAAI,CAIhB;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CALV,IAAI,SAAZ,MAAY,EAKO,IAAI,EAJ1B,IAI0B,EAAE,MAAM,EAHlC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,YAAY,EAAE,cAAc,CAAC,CAG1B,GAFhC,IAAI,CAMhB;AAED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAPhC,OAAO,YAAY,EAAE,cAOW,EAAE,EAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAC,EALtE;IAAuB,QAAQ,EAAvB,MAAM,CACd;IAAsD,QAAQ,EAAtD,OAAO,YAAY,EAAE,gBAAgB,CAC7C;IAAuB,MAAM,EAArB,MAAM,CACd;CAEsE,GAF5D,OAAO,YAAY,EAAE,cAAc,CA4C/C;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAJjC,OAAO,YAAY,EAAE,cAIY,EAAE,eAAe,AAH1D,CACA,EADQ;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,OAAO,YAAY,EAAE,gBAAgB,CAAA;CAAC,EAG9B,GAFrD;IAAC,UAAU,EAAE,OAAO,YAAY,EAAE,kBAAkB,CAAC;IAAC,SAAS,EAAE,CAAC,IAAI,EAAE,OAAO,YAAY,EAAE,YAAY,EAAE,IAAI,CAAC,EAAE,MAAM,KAAK,OAAO,YAAY,EAAE,sBAAsB,CAAA;CAAC,CAgHrL;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAH3B,OAAO,YAAY,EAAE,cAGM,GAFzB,OAAO,YAAY,EAAE,cAAc,GAAG,SAAS,CAO3D;AA4LD;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAJ7B,OAAO,YAAY,EAAE,cAIQ,EAAE,IAAI,EAHnC,OAAO,YAAY,EAAE,YAAY,GAAG,MAGD,GAFjC,OAAO,YAAY,EAAE,sBAAsB,CAYvD;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAJ/B,OAAO,YAAY,EAAE,cAIU,EAAE,QAAQ,EAHzC,MAGyC,GAFvC,OAAO,YAAY,EAAE,wBAAwB,CASzD;AAaD;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAH3B,OAAO,YAAY,EAAE,cAGM,GAFzB;IAAC,IAAI,EAAE,OAAO,YAAY,EAAE,YAAY,CAAC;IAAC,aAAa,EAAE,OAAO,YAAY,EAAE,cAAc,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAC,EAAE,CAwDzH"}