semantifold 0.1.0

package/build/src/frontends/scalars.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Looks up an exact source scalar spelling without inspecting parser nodes.
+ * @param {import("../semantic/types.js").SemanticLanguage} language - Source language.
+ * @param {string} sourceType - Exact source type spelling.
+ * @param {import("../semantic/types.js").SourceLocation} [location] - Exact parser-owned type spelling.
+ * @returns {import("../semantic/types.js").TypeReference | undefined} Semantic type when supported.
+ */
+export declare function sourceScalarType(language: import("../semantic/types.js").SemanticLanguage, sourceType: string, location?: import("../semantic/types.js").SourceLocation): import("../semantic/types.js").TypeReference | undefined;
+/**
+ * Requires an exact supported source scalar spelling.
+ * @param {import("../semantic/types.js").SemanticLanguage} language - Source language.
+ * @param {string | undefined} sourceType - Exact source type spelling.
+ * @param {string} subject - Typed source subject.
+ * @param {import("../semantic/types.js").SourceLocation} location - Owning source location.
+ * @param {import("../semantic/types.js").SourceLocation} [typeLocation] - Exact parser-owned type spelling.
+ * @returns {import("../semantic/types.js").TypeReference} Semantic scalar type.
+ */
+export declare function requireSourceScalarType(language: import("../semantic/types.js").SemanticLanguage, sourceType: string | undefined, subject: string, location: import("../semantic/types.js").SourceLocation, typeLocation?: import("../semantic/types.js").SourceLocation): import("../semantic/types.js").TypeReference;
+//# sourceMappingURL=scalars.d.ts.map

package/build/src/frontends/scalars.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scalars.d.ts","sourceRoot":"","sources":["../../../src/frontends/scalars.js"],"names":[],"mappings":"AA6CA;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAL9B,OAAO,sBAAsB,EAAE,gBAKD,EAAE,UAAU,EAJ1C,MAI0C,EAAE,QAAQ,AAH5D,CACA,EADQ,OAAO,sBAAsB,EAAE,cAGqB,GAFlD,OAAO,sBAAsB,EAAE,aAAa,GAAG,SAAS,CASpE;AAED;;;;;;;;GAQG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAPrC,OAAO,sBAAsB,EAAE,gBAOM,EAAE,UAAU,EANjD,MAAM,GAAG,SAMwC,EAAE,OAAO,EAL1D,MAK0D,EAAE,QAAQ,EAJpE,OAAO,sBAAsB,EAAE,cAIqC,EAAE,YAAY,AAH1F,CACA,EADQ,OAAO,sBAAsB,EAAE,cAG8D,GAF3F,OAAO,sBAAsB,EAAE,aAAa,CAQxD"}

package/build/src/frontends/scalars.js

@@ -0,0 +1,71 @@
+// @ts-check
+import { missingType } from "../diagnostic.js";
+import { setParserRanges } from "../semantic/provenance.js";
+import { scalarType } from "../semantic/scalars.js";
+/**
+ * Builds a source-spelling map with exact semantic scalar values.
+ * @param {readonly (readonly [string, import("../semantic/types.js").SemanticTypeName])[]} entries - Source mappings.
+ * @returns {Map<string, import("../semantic/types.js").SemanticTypeName>} Source type map.
+ */
+function sourceTypeMap(entries) {
+    return new Map(entries);
+}
+/** @type {Readonly<Record<import("../semantic/types.js").SemanticLanguage, Map<string, import("../semantic/types.js").SemanticTypeName>>>} */
+const sourceScalarTypes = Object.freeze({
+    java: sourceTypeMap([
+        ["int", "integer"],
+        ["boolean", "boolean"],
+        ["String", "string"],
+        ["java.lang.String", "string"]
+    ]),
+    javascript: sourceTypeMap([
+        ["number", "integer"],
+        ["boolean", "boolean"],
+        ["string", "string"]
+    ]),
+    php: sourceTypeMap([
+        ["int", "integer"],
+        ["bool", "boolean"],
+        ["string", "string"]
+    ]),
+    ruby: sourceTypeMap([
+        ["[Integer]", "integer"],
+        ["[bool]", "boolean"],
+        ["[String]", "string"]
+    ]),
+    typescript: sourceTypeMap([
+        ["number", "integer"],
+        ["boolean", "boolean"],
+        ["string", "string"]
+    ])
+});
+/**
+ * Looks up an exact source scalar spelling without inspecting parser nodes.
+ * @param {import("../semantic/types.js").SemanticLanguage} language - Source language.
+ * @param {string} sourceType - Exact source type spelling.
+ * @param {import("../semantic/types.js").SourceLocation} [location] - Exact parser-owned type spelling.
+ * @returns {import("../semantic/types.js").TypeReference | undefined} Semantic type when supported.
+ */
+export function sourceScalarType(language, sourceType, location) {
+    const name = sourceScalarTypes[language].get(sourceType);
+    const type = name ? scalarType(name) : undefined;
+    if (type && location)
+        setParserRanges(type, { type: location });
+    return type;
+}
+/**
+ * Requires an exact supported source scalar spelling.
+ * @param {import("../semantic/types.js").SemanticLanguage} language - Source language.
+ * @param {string | undefined} sourceType - Exact source type spelling.
+ * @param {string} subject - Typed source subject.
+ * @param {import("../semantic/types.js").SourceLocation} location - Owning source location.
+ * @param {import("../semantic/types.js").SourceLocation} [typeLocation] - Exact parser-owned type spelling.
+ * @returns {import("../semantic/types.js").TypeReference} Semantic scalar type.
+ */
+export function requireSourceScalarType(language, sourceType, subject, location, typeLocation = location) {
+    const type = sourceType ? sourceScalarType(language, sourceType, typeLocation) : undefined;
+    if (!type)
+        return missingType(language, subject, location);
+    return type;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2NhbGFycy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9mcm9udGVuZHMvc2NhbGFycy5qcyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxZQUFZO0FBRVosT0FBTyxFQUFDLFdBQVcsRUFBQyxNQUFNLGtCQUFrQixDQUFBO0FBQzVDLE9BQU8sRUFBQyxlQUFlLEVBQUMsTUFBTSwyQkFBMkIsQ0FBQTtBQUN6RCxPQUFPLEVBQUMsVUFBVSxFQUFDLE1BQU0sd0JBQXdCLENBQUE7QUFFakQ7Ozs7R0FJRztBQUNILFNBQVMsYUFBYSxDQUFDLE9BQU87SUFDNUIsT0FBTyxJQUFJLEdBQUcsQ0FBQyxPQUFPLENBQUMsQ0FBQTtBQUN6QixDQUFDO0FBRUQsOElBQThJO0FBQzlJLE1BQU0saUJBQWlCLEdBQUcsTUFBTSxDQUFDLE1BQU0sQ0FBQztJQUN0QyxJQUFJLEVBQUUsYUFBYSxDQUFDO1FBQ2xCLENBQUMsS0FBSyxFQUFFLFNBQVMsQ0FBQztRQUNsQixDQUFDLFNBQVMsRUFBRSxTQUFTLENBQUM7UUFDdEIsQ0FBQyxRQUFRLEVBQUUsUUFBUSxDQUFDO1FBQ3BCLENBQUMsa0JBQWtCLEVBQUUsUUFBUSxDQUFDO0tBQy9CLENBQUM7SUFDRixVQUFVLEVBQUUsYUFBYSxDQUFDO1FBQ3hCLENBQUMsUUFBUSxFQUFFLFNBQVMsQ0FBQztRQUNyQixDQUFDLFNBQVMsRUFBRSxTQUFTLENBQUM7UUFDdEIsQ0FBQyxRQUFRLEVBQUUsUUFBUSxDQUFDO0tBQ3JCLENBQUM7SUFDRixHQUFHLEVBQUUsYUFBYSxDQUFDO1FBQ2pCLENBQUMsS0FBSyxFQUFFLFNBQVMsQ0FBQztRQUNsQixDQUFDLE1BQU0sRUFBRSxTQUFTLENBQUM7UUFDbkIsQ0FBQyxRQUFRLEVBQUUsUUFBUSxDQUFDO0tBQ3JCLENBQUM7SUFDRixJQUFJLEVBQUUsYUFBYSxDQUFDO1FBQ2xCLENBQUMsV0FBVyxFQUFFLFNBQVMsQ0FBQztRQUN4QixDQUFDLFFBQVEsRUFBRSxTQUFTLENBQUM7UUFDckIsQ0FBQyxVQUFVLEVBQUUsUUFBUSxDQUFDO0tBQ3ZCLENBQUM7SUFDRixVQUFVLEVBQUUsYUFBYSxDQUFDO1FBQ3hCLENBQUMsUUFBUSxFQUFFLFNBQVMsQ0FBQztRQUNyQixDQUFDLFNBQVMsRUFBRSxTQUFTLENBQUM7UUFDdEIsQ0FBQyxRQUFRLEVBQUUsUUFBUSxDQUFDO0tBQ3JCLENBQUM7Q0FDSCxDQUFDLENBQUE7QUFFRjs7Ozs7O0dBTUc7QUFDSCxNQUFNLFVBQVUsZ0JBQWdCLENBQUMsUUFBUSxFQUFFLFVBQVUsRUFBRSxRQUFRO0lBQzdELE1BQU0sSUFBSSxHQUFHLGlCQUFpQixDQUFDLFFBQVEsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxVQUFVLENBQUMsQ0FBQTtJQUN4RCxNQUFNLElBQUksR0FBRyxJQUFJLENBQUMsQ0FBQyxDQUFDLFVBQVUsQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDLENBQUMsU0FBUyxDQUFBO0lBRWhELElBQUksSUFBSSxJQUFJLFFBQVE7UUFBRSxlQUFlLENBQUMsSUFBSSxFQUFFLEVBQUMsSUFBSSxFQUFFLFFBQVEsRUFBQyxDQUFDLENBQUE7SUFFN0QsT0FBTyxJQUFJLENBQUE7QUFDYixDQUFDO0FBRUQ7Ozs7Ozs7O0dBUUc7QUFDSCxNQUFNLFVBQVUsdUJBQXVCLENBQUMsUUFBUSxFQUFFLFVBQVUsRUFBRSxPQUFPLEVBQUUsUUFBUSxFQUFFLFlBQVksR0FBRyxRQUFRO0lBQ3RHLE1BQU0sSUFBSSxHQUFHLFVBQVUsQ0FBQyxDQUFDLENBQUMsZ0JBQWdCLENBQUMsUUFBUSxFQUFFLFVBQVUsRUFBRSxZQUFZLENBQUMsQ0FBQyxDQUFDLENBQUMsU0FBUyxDQUFBO0lBRTFGLElBQUksQ0FBQyxJQUFJO1FBQUUsT0FBTyxXQUFXLENBQUMsUUFBUSxFQUFFLE9BQU8sRUFBRSxRQUFRLENBQUMsQ0FBQTtJQUUxRCxPQUFPLElBQUksQ0FBQTtBQUNiLENBQUMiLCJzb3VyY2VzQ29udGVudCI6WyIvLyBAdHMtY2hlY2tcblxuaW1wb3J0IHttaXNzaW5nVHlwZX0gZnJvbSBcIi4uL2RpYWdub3N0aWMuanNcIlxuaW1wb3J0IHtzZXRQYXJzZXJSYW5nZXN9IGZyb20gXCIuLi9zZW1hbnRpYy9wcm92ZW5hbmNlLmpzXCJcbmltcG9ydCB7c2NhbGFyVHlwZX0gZnJvbSBcIi4uL3NlbWFudGljL3NjYWxhcnMuanNcIlxuXG4vKipcbiAqIEJ1aWxkcyBhIHNvdXJjZS1zcGVsbGluZyBtYXAgd2l0aCBleGFjdCBzZW1hbnRpYyBzY2FsYXIgdmFsdWVzLlxuICogQHBhcmFtIHtyZWFkb25seSAocmVhZG9ubHkgW3N0cmluZywgaW1wb3J0KFwiLi4vc2VtYW50aWMvdHlwZXMuanNcIikuU2VtYW50aWNUeXBlTmFtZV0pW119IGVudHJpZXMgLSBTb3VyY2UgbWFwcGluZ3MuXG4gKiBAcmV0dXJucyB7TWFwPHN0cmluZywgaW1wb3J0KFwiLi4vc2VtYW50aWMvdHlwZXMuanNcIikuU2VtYW50aWNUeXBlTmFtZT59IFNvdXJjZSB0eXBlIG1hcC5cbiAqL1xuZnVuY3Rpb24gc291cmNlVHlwZU1hcChlbnRyaWVzKSB7XG4gIHJldHVybiBuZXcgTWFwKGVudHJpZXMpXG59XG5cbi8qKiBAdHlwZSB7UmVhZG9ubHk8UmVjb3JkPGltcG9ydChcIi4uL3NlbWFudGljL3R5cGVzLmpzXCIpLlNlbWFudGljTGFuZ3VhZ2UsIE1hcDxzdHJpbmcsIGltcG9ydChcIi4uL3NlbWFudGljL3R5cGVzLmpzXCIpLlNlbWFudGljVHlwZU5hbWU+Pj59ICovXG5jb25zdCBzb3VyY2VTY2FsYXJUeXBlcyA9IE9iamVjdC5mcmVlemUoe1xuICBqYXZhOiBzb3VyY2VUeXBlTWFwKFtcbiAgICBbXCJpbnRcIiwgXCJpbnRlZ2VyXCJdLFxuICAgIFtcImJvb2xlYW5cIiwgXCJib29sZWFuXCJdLFxuICAgIFtcIlN0cmluZ1wiLCBcInN0cmluZ1wiXSxcbiAgICBbXCJqYXZhLmxhbmcuU3RyaW5nXCIsIFwic3RyaW5nXCJdXG4gIF0pLFxuICBqYXZhc2NyaXB0OiBzb3VyY2VUeXBlTWFwKFtcbiAgICBbXCJudW1iZXJcIiwgXCJpbnRlZ2VyXCJdLFxuICAgIFtcImJvb2xlYW5cIiwgXCJib29sZWFuXCJdLFxuICAgIFtcInN0cmluZ1wiLCBcInN0cmluZ1wiXVxuICBdKSxcbiAgcGhwOiBzb3VyY2VUeXBlTWFwKFtcbiAgICBbXCJpbnRcIiwgXCJpbnRlZ2VyXCJdLFxuICAgIFtcImJvb2xcIiwgXCJib29sZWFuXCJdLFxuICAgIFtcInN0cmluZ1wiLCBcInN0cmluZ1wiXVxuICBdKSxcbiAgcnVieTogc291cmNlVHlwZU1hcChbXG4gICAgW1wiW0ludGVnZXJdXCIsIFwiaW50ZWdlclwiXSxcbiAgICBbXCJbYm9vbF1cIiwgXCJib29sZWFuXCJdLFxuICAgIFtcIltTdHJpbmddXCIsIFwic3RyaW5nXCJdXG4gIF0pLFxuICB0eXBlc2NyaXB0OiBzb3VyY2VUeXBlTWFwKFtcbiAgICBbXCJudW1iZXJcIiwgXCJpbnRlZ2VyXCJdLFxuICAgIFtcImJvb2xlYW5cIiwgXCJib29sZWFuXCJdLFxuICAgIFtcInN0cmluZ1wiLCBcInN0cmluZ1wiXVxuICBdKVxufSlcblxuLyoqXG4gKiBMb29rcyB1cCBhbiBleGFjdCBzb3VyY2Ugc2NhbGFyIHNwZWxsaW5nIHdpdGhvdXQgaW5zcGVjdGluZyBwYXJzZXIgbm9kZXMuXG4gKiBAcGFyYW0ge2ltcG9ydChcIi4uL3NlbWFudGljL3R5cGVzLmpzXCIpLlNlbWFudGljTGFuZ3VhZ2V9IGxhbmd1YWdlIC0gU291cmNlIGxhbmd1YWdlLlxuICogQHBhcmFtIHtzdHJpbmd9IHNvdXJjZVR5cGUgLSBFeGFjdCBzb3VyY2UgdHlwZSBzcGVsbGluZy5cbiAqIEBwYXJhbSB7aW1wb3J0KFwiLi4vc2VtYW50aWMvdHlwZXMuanNcIikuU291cmNlTG9jYXRpb259IFtsb2NhdGlvbl0gLSBFeGFjdCBwYXJzZXItb3duZWQgdHlwZSBzcGVsbGluZy5cbiAqIEByZXR1cm5zIHtpbXBvcnQoXCIuLi9zZW1hbnRpYy90eXBlcy5qc1wiKS5UeXBlUmVmZXJlbmNlIHwgdW5kZWZpbmVkfSBTZW1hbnRpYyB0eXBlIHdoZW4gc3VwcG9ydGVkLlxuICovXG5leHBvcnQgZnVuY3Rpb24gc291cmNlU2NhbGFyVHlwZShsYW5ndWFnZSwgc291cmNlVHlwZSwgbG9jYXRpb24pIHtcbiAgY29uc3QgbmFtZSA9IHNvdXJjZVNjYWxhclR5cGVzW2xhbmd1YWdlXS5nZXQoc291cmNlVHlwZSlcbiAgY29uc3QgdHlwZSA9IG5hbWUgPyBzY2FsYXJUeXBlKG5hbWUpIDogdW5kZWZpbmVkXG5cbiAgaWYgKHR5cGUgJiYgbG9jYXRpb24pIHNldFBhcnNlclJhbmdlcyh0eXBlLCB7dHlwZTogbG9jYXRpb259KVxuXG4gIHJldHVybiB0eXBlXG59XG5cbi8qKlxuICogUmVxdWlyZXMgYW4gZXhhY3Qgc3VwcG9ydGVkIHNvdXJjZSBzY2FsYXIgc3BlbGxpbmcuXG4gKiBAcGFyYW0ge2ltcG9ydChcIi4uL3NlbWFudGljL3R5cGVzLmpzXCIpLlNlbWFudGljTGFuZ3VhZ2V9IGxhbmd1YWdlIC0gU291cmNlIGxhbmd1YWdlLlxuICogQHBhcmFtIHtzdHJpbmcgfCB1bmRlZmluZWR9IHNvdXJjZVR5cGUgLSBFeGFjdCBzb3VyY2UgdHlwZSBzcGVsbGluZy5cbiAqIEBwYXJhbSB7c3RyaW5nfSBzdWJqZWN0IC0gVHlwZWQgc291cmNlIHN1YmplY3QuXG4gKiBAcGFyYW0ge2ltcG9ydChcIi4uL3NlbWFudGljL3R5cGVzLmpzXCIpLlNvdXJjZUxvY2F0aW9ufSBsb2NhdGlvbiAtIE93bmluZyBzb3VyY2UgbG9jYXRpb24uXG4gKiBAcGFyYW0ge2ltcG9ydChcIi4uL3NlbWFudGljL3R5cGVzLmpzXCIpLlNvdXJjZUxvY2F0aW9ufSBbdHlwZUxvY2F0aW9uXSAtIEV4YWN0IHBhcnNlci1vd25lZCB0eXBlIHNwZWxsaW5nLlxuICogQHJldHVybnMge2ltcG9ydChcIi4uL3NlbWFudGljL3R5cGVzLmpzXCIpLlR5cGVSZWZlcmVuY2V9IFNlbWFudGljIHNjYWxhciB0eXBlLlxuICovXG5leHBvcnQgZnVuY3Rpb24gcmVxdWlyZVNvdXJjZVNjYWxhclR5cGUobGFuZ3VhZ2UsIHNvdXJjZVR5cGUsIHN1YmplY3QsIGxvY2F0aW9uLCB0eXBlTG9jYXRpb24gPSBsb2NhdGlvbikge1xuICBjb25zdCB0eXBlID0gc291cmNlVHlwZSA/IHNvdXJjZVNjYWxhclR5cGUobGFuZ3VhZ2UsIHNvdXJjZVR5cGUsIHR5cGVMb2NhdGlvbikgOiB1bmRlZmluZWRcblxuICBpZiAoIXR5cGUpIHJldHVybiBtaXNzaW5nVHlwZShsYW5ndWFnZSwgc3ViamVjdCwgbG9jYXRpb24pXG5cbiAgcmV0dXJuIHR5cGVcbn1cbiJdfQ==

package/build/src/mapping.d.ts

@@ -0,0 +1,160 @@
+import { SemantifoldDiagnostic } from "./diagnostic.js";
+import { createCoordinateIndex } from "./semantic/location.js";
+export type MappingIndex = ReturnType<typeof buildMappingIndex>;
+/**
+ * Projects an authoritative Semantifold mapping to Source Map v3.
+ * @param {import("./semantic/types.js").SemantifoldMapping} mapping - Rich mapping.
+ * @returns {import("@jridgewell/gen-mapping").EncodedSourceMap} Source Map v3.
+ */
+export declare function toSourceMapV3(mapping: import("./semantic/types.js").SemantifoldMapping): import("@jridgewell/gen-mapping").EncodedSourceMap;
+/**
+ * Looks up original provenance for one generated UTF-16 position.
+ * @param {import("./semantic/types.js").SemantifoldMapping} mapping - Rich mapping.
+ * @param {{offset: number} | {line: number, column: number}} position - Generated position.
+ * @returns {{generatedLocation: import("./semantic/types.js").SourceLocation, location: import("./semantic/types.js").SourceLocation | undefined, mappingKind: import("./semantic/types.js").MappingKind, name: string | undefined, nodeId: string | undefined, role: string | undefined, symbolId: string | undefined}} Lookup result.
+ */
+export declare function originalPositionFor(mapping: import("./semantic/types.js").SemantifoldMapping, position: {
+    offset: number;
+} | {
+    line: number;
+    column: number;
+}): {
+    generatedLocation: import("./semantic/types.js").SourceLocation;
+    location: import("./semantic/types.js").SourceLocation | undefined;
+    mappingKind: import("./semantic/types.js").MappingKind;
+    name: string | undefined;
+    nodeId: string | undefined;
+    role: string | undefined;
+    symbolId: string | undefined;
+};
+/**
+ * Looks up every generated span containing one original UTF-16 position.
+ * @param {import("./semantic/types.js").SemantifoldMapping} mapping - Rich mapping.
+ * @param {({filename: string} | {sourceId: string}) & ({offset: number} | {line: number, column: number})} position - Original position.
+ * @returns {{generatedLocation: import("./semantic/types.js").SourceLocation, location: import("./semantic/types.js").SourceLocation | undefined, mappingKind: import("./semantic/types.js").MappingKind, name: string | undefined, nodeId: string | undefined, role: string | undefined, symbolId: string | undefined}[]} Generated results.
+ */
+export declare function generatedPositionFor(mapping: import("./semantic/types.js").SemantifoldMapping, position: ({
+    filename: string;
+} | {
+    sourceId: string;
+}) & ({
+    offset: number;
+} | {
+    line: number;
+    column: number;
+})): {
+    generatedLocation: import("./semantic/types.js").SourceLocation;
+    location: import("./semantic/types.js").SourceLocation | undefined;
+    mappingKind: import("./semantic/types.js").MappingKind;
+    name: string | undefined;
+    nodeId: string | undefined;
+    role: string | undefined;
+    symbolId: string | undefined;
+}[];
+/**
+ * Returns every generated span associated with one canonical semantic node.
+ * @param {import("./semantic/types.js").SemantifoldMapping} mapping - Rich mapping.
+ * @param {string} nodeId - Canonical node identity.
+ * @returns {import("./semantic/types.js").SemantifoldMappingSpan[]} Matching spans.
+ */
+export declare function spansForNode(mapping: import("./semantic/types.js").SemantifoldMapping, nodeId: string): import("./semantic/types.js").SemantifoldMappingSpan[];
+/**
+ * Returns every generated span associated with one canonical semantic symbol.
+ * @param {import("./semantic/types.js").SemantifoldMapping} mapping - Rich mapping.
+ * @param {string} symbolId - Canonical symbol identity.
+ * @returns {import("./semantic/types.js").SemantifoldMappingSpan[]} Matching spans.
+ */
+export declare function spansForSymbol(mapping: import("./semantic/types.js").SemantifoldMapping, symbolId: string): import("./semantic/types.js").SemantifoldMappingSpan[];
+/**
+ * Serializes a validated rich mapping deterministically.
+ * @param {import("./semantic/types.js").SemantifoldMapping} mapping - Rich mapping.
+ * @returns {string} Canonical pretty JSON with one trailing LF.
+ */
+export declare function stringifyMapping(mapping: import("./semantic/types.js").SemantifoldMapping): string;
+/**
+ * Parses and validates a rich mapping.
+ * @param {string} serialized - Mapping JSON.
+ * @returns {import("./semantic/types.js").SemantifoldMapping} Parsed mapping.
+ */
+export declare function parseMapping(serialized: string): import("./semantic/types.js").SemantifoldMapping;
+/**
+ * Composes an outer rich map through an inner rich map.
+ * @param {import("./semantic/types.js").SemantifoldMapping} outer - Final output to intermediate map.
+ * @param {import("./semantic/types.js").SemantifoldMapping} inner - Intermediate to original map.
+ * @returns {import("./semantic/types.js").SemantifoldMapping} Composed rich map.
+ */
+export declare function composeMappings(outer: import("./semantic/types.js").SemantifoldMapping, inner: import("./semantic/types.js").SemantifoldMapping): import("./semantic/types.js").SemantifoldMapping;
+/**
+ * Composes Source Map v3 maps with maintained tracing machinery.
+ * @param {import("@jridgewell/trace-mapping").SourceMapInput} outer - Final output to intermediate map.
+ * @param {import("@jridgewell/trace-mapping").SourceMapInput} inner - Intermediate to original map.
+ * @returns {import("@jridgewell/gen-mapping").EncodedSourceMap} Composed v3 map.
+ */
+export declare function composeSourceMaps(outer: import("@jridgewell/trace-mapping").SourceMapInput, inner: import("@jridgewell/trace-mapping").SourceMapInput): import("@jridgewell/gen-mapping").EncodedSourceMap;
+/**
+ * Imports a point-based Source Map v3 as a range-based Semantifold map.
+ * @param {import("@jridgewell/trace-mapping").SourceMapInput} sourceMap - Source Map v3.
+ * @param {object} generated - Generated program.
+ * @param {string} generated.content - Exact generated content.
+ * @param {string} generated.filename - Generated filename.
+ * @param {import("./semantic/types.js").SemanticLanguage} generated.language - Generated language.
+ * @param {{filename: string, content: string, language?: import("./semantic/types.js").SemanticLanguage}[]} [generated.sources] - Exact source content overrides.
+ * @returns {import("./semantic/types.js").SemantifoldMapping} Imported rich map.
+ */
+export declare function mappingFromSourceMap(sourceMap: import("@jridgewell/trace-mapping").SourceMapInput, { content, filename, language, sources: provided }: {
+    content: string;
+    filename: string;
+    language: import("./semantic/types.js").SemanticLanguage;
+    sources?: {
+        filename: string;
+        content: string;
+        language?: import("./semantic/types.js").SemanticLanguage;
+    }[];
+}): import("./semantic/types.js").SemantifoldMapping;
+/**
+ * Remaps a generated location while retaining the generated range in the result.
+ * @param {import("./semantic/types.js").SourceLocation} location - Generated location.
+ * @param {import("./semantic/types.js").SemantifoldMapping} mapping - Rich mapping.
+ * @returns {ReturnType<typeof originalPositionFor>} Remapped lookup.
+ */
+export declare function remapLocation(location: import("./semantic/types.js").SourceLocation, mapping: import("./semantic/types.js").SemantifoldMapping): ReturnType<typeof originalPositionFor>;
+/**
+ * Remaps a Semantifold diagnostic and preserves its generated location and cause.
+ * @param {SemantifoldDiagnostic} diagnostic - Generated-program diagnostic.
+ * @param {import("./semantic/types.js").SemantifoldMapping} mapping - Rich mapping.
+ * @returns {SemantifoldDiagnostic} Remapped diagnostic.
+ */
+export declare function remapDiagnostic(diagnostic: SemantifoldDiagnostic, mapping: import("./semantic/types.js").SemantifoldMapping): SemantifoldDiagnostic;
+/**
+ * Validates the public mapping envelope and ordered half-open generated ranges.
+ * @param {unknown} value - Candidate mapping.
+ * @returns {asserts value is import("./semantic/types.js").SemantifoldMapping} Nothing when valid.
+ */
+export declare function validateMapping(value: unknown): asserts value is import("./semantic/types.js").SemantifoldMapping;
+/**
+ * Validates, freezes, and indexes one mapping produced at a trust boundary.
+ * @param {unknown} value - Candidate mapping.
+ * @returns {import("./semantic/types.js").SemantifoldMapping} Immutable indexed mapping.
+ */
+export declare function finalizeMapping(value: unknown): import("./semantic/types.js").SemantifoldMapping;
+/**
+ * Builds generated, original, node, and symbol indexes in one pass.
+ * @param {import("./semantic/types.js").SemantifoldMapping} mapping - Validated mapping.
+ * @returns {{generatedCoordinates: ReturnType<typeof createCoordinateIndex>, nodeSpans: Map<string, import("./semantic/types.js").SemantifoldMappingSpan[]>, originalBySource: Map<string, {end: number, prefixEnd: number, span: import("./semantic/types.js").SemantifoldMappingSpan, start: number}[]>, originalPointsBySource: Map<string, Map<number, import("./semantic/types.js").SemantifoldMappingSpan[]>>, sourceCoordinates: Map<string, ReturnType<typeof createCoordinateIndex>>, sourcesById: Map<string, import("./semantic/types.js").RegisteredSource>, symbolSpans: Map<string, import("./semantic/types.js").SemantifoldMappingSpan[]>}} Mapping index.
+ */
+declare function buildMappingIndex(mapping: import("./semantic/types.js").SemantifoldMapping): {
+    generatedCoordinates: ReturnType<typeof createCoordinateIndex>;
+    nodeSpans: Map<string, import("./semantic/types.js").SemantifoldMappingSpan[]>;
+    originalBySource: Map<string, {
+        end: number;
+        prefixEnd: number;
+        span: import("./semantic/types.js").SemantifoldMappingSpan;
+        start: number;
+    }[]>;
+    originalPointsBySource: Map<string, Map<number, import("./semantic/types.js").SemantifoldMappingSpan[]>>;
+    sourceCoordinates: Map<string, ReturnType<typeof createCoordinateIndex>>;
+    sourcesById: Map<string, import("./semantic/types.js").RegisteredSource>;
+    symbolSpans: Map<string, import("./semantic/types.js").SemantifoldMappingSpan[]>;
+};
+export {};
+//# sourceMappingURL=mapping.d.ts.map

package/build/src/mapping.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mapping.d.ts","sourceRoot":"","sources":["../../src/mapping.js"],"names":[],"mappings":"AASA,OAAO,EAAC,qBAAqB,EAAC,MAAM,iBAAiB,CAAA;AACrD,OAAO,EAAC,qBAAqB,EAAuD,MAAM,wBAAwB,CAAA;AAG9G,YAAgD,YAAY,GAAlD,UAAU,CAAC,OAAO,iBAAiB,CAAC,CAAc;AAIhE;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAH1B,OAAO,qBAAqB,EAAE,kBAGJ,GAFxB,OAAO,yBAAyB,EAAE,gBAAgB,CA6B9D;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,EAJhC,OAAO,qBAAqB,EAAE,kBAIE,EAAE,QAAQ,EAH1C;IAAC,MAAM,EAAE,MAAM,CAAA;CAAC,GAAG;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAGN,GAFxC;IAAC,iBAAiB,EAAE,OAAO,qBAAqB,EAAE,cAAc,CAAC;IAAC,QAAQ,EAAE,OAAO,qBAAqB,EAAE,cAAc,GAAG,SAAS,CAAC;IAAC,WAAW,EAAE,OAAO,qBAAqB,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAA;CAAC,CAUvT;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAJjC,OAAO,qBAAqB,EAAE,kBAIG,EAAE,QAAQ,EAH3C,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAC,GAAG;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAC,CAAC,GAAG,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAC,GAAG;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAC,CAGnD,GAFzC;IAAC,iBAAiB,EAAE,OAAO,qBAAqB,EAAE,cAAc,CAAC;IAAC,QAAQ,EAAE,OAAO,qBAAqB,EAAE,cAAc,GAAG,SAAS,CAAC;IAAC,WAAW,EAAE,OAAO,qBAAqB,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAA;CAAC,EAAE,CA6CzT;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAJzB,OAAO,qBAAqB,EAAE,kBAIL,EAAE,MAAM,EAHjC,MAGiC,GAF/B,OAAO,qBAAqB,EAAE,sBAAsB,EAAE,CAOlE;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAJ3B,OAAO,qBAAqB,EAAE,kBAIH,EAAE,QAAQ,EAHrC,MAGqC,GAFnC,OAAO,qBAAqB,EAAE,sBAAsB,EAAE,CAOlE;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAH7B,OAAO,qBAAqB,EAAE,kBAGD,GAF3B,MAAM,CAMlB;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,UAAU,EAH5B,MAG4B,GAF1B,OAAO,qBAAqB,EAAE,kBAAkB,CAM5D;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAJ1B,OAAO,qBAAqB,EAAE,kBAIJ,EAAE,KAAK,EAHjC,OAAO,qBAAqB,EAAE,kBAGG,GAF/B,OAAO,qBAAqB,EAAE,kBAAkB,CA8O5D;AA4CD;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAJ5B,OAAO,2BAA2B,EAAE,cAIR,EAAE,KAAK,EAHnC,OAAO,2BAA2B,EAAE,cAGD,GAFjC,OAAO,yBAAyB,EAAE,gBAAgB,CAoD9D;AAED;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAAC,SAAS,EARnC,OAAO,2BAA2B,EAAE,cAQD,EAAE,EAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAa,EAAC,EANlG;IAA0B,OAAO,EAAzB,MAAM,CACd;IAA0B,QAAQ,EAA1B,MAAM,CACd;IAAkE,QAAQ,EAAlE,OAAO,qBAAqB,EAAE,gBAAgB,CACtD;IAAqH,OAAO,AAA5H,CACA,EADQ;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,OAAO,qBAAqB,EAAE,gBAAgB,CAAA;KAAC,EAAE,CACxG;CAEkG,GAFxF,OAAO,qBAAqB,EAAE,kBAAkB,CA+I5D;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAJ3B,OAAO,qBAAqB,EAAE,cAIH,EAAE,OAAO,EAHpC,OAAO,qBAAqB,EAAE,kBAGM,GAFlC,UAAU,CAAC,OAAO,mBAAmB,CAAC,CAMlD;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,UAAU,EAJ/B,qBAI+B,EAAE,OAAO,EAHxC,OAAO,qBAAqB,EAAE,kBAGU,GAFtC,qBAAqB,CAiBjC;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAH1B,OAG0B,GAFxB,OAAO,CAAC,KAAK,IAAI,OAAO,qBAAqB,EAAE,kBAAkB,CAiI7E;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAH1B,OAG0B,GAFxB,OAAO,qBAAqB,EAAE,kBAAkB,CAW5D;AAiBD;;;;GAIG;AACH,iBAAS,iBAAiB,CAAC,OAAO,EAHvB,OAAO,qBAAqB,EAAE,kBAGP,GAFrB;IAAC,oBAAoB,EAAE,UAAU,CAAC,OAAO,qBAAqB,CAAC,CAAC;IAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,qBAAqB,EAAE,sBAAsB,EAAE,CAAC,CAAC;IAAC,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE;QAAC,GAAG,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,qBAAqB,EAAE,sBAAsB,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAC,EAAE,CAAC,CAAC;IAAC,sBAAsB,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,qBAAqB,EAAE,sBAAsB,EAAE,CAAC,CAAC,CAAC;IAAC,iBAAiB,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,qBAAqB,CAAC,CAAC,CAAC;IAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,qBAAqB,EAAE,gBAAgB,CAAC,CAAC;IAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,qBAAqB,EAAE,sBAAsB,EAAE,CAAC,CAAA;CAAC,CAmD1nB"}