@scriptc/compiler 0.1.7 → 0.2.0

package/dist/frontend/ts7/semantic-checker.js

@@ -0,0 +1,221 @@
+import { AstFile, AstNode } from "./ast-node.js";
+import { SemanticNodeHandle, SemanticProject, SemanticSignature, SemanticSymbol, SemanticType } from "./semantic-model.js";
+import { SemanticSymbolFlags } from "./semantic-schema.generated.js";
+/** The pinned checker's request surface over native objects. Every query
+ * converges on the same snapshot/project registries, including batch and
+ * lazy-object queries. No SDK object is constructed or consulted here. */
+export class SemanticChecker {
+    project;
+    wellKnown;
+    constructor(project) {
+        this.project = project;
+    }
+    type(method, query) {
+        const data = this.project.request(method, query);
+        return data === null ? undefined : this.project.type(data);
+    }
+    symbol(method, query) {
+        const data = this.project.request(method, query);
+        return data === null ? undefined : this.project.symbol(data);
+    }
+    signature(method, query) {
+        const data = this.project.request(method, query);
+        return data === null ? undefined : this.project.signature(data);
+    }
+    types(method, query) {
+        const data = this.project.request(method, query);
+        return (data ?? []).map((item) => this.project.type(item));
+    }
+    symbols(method, query) {
+        const data = this.project.request(method, query);
+        return (data ?? []).map((item) => this.project.symbol(item));
+    }
+    optionalTypes(method, query) {
+        const data = this.project.request(method, query);
+        return data.map((item) => item === null ? undefined : this.project.type(item));
+    }
+    optionalSymbols(method, query) {
+        const data = this.project.request(method, query);
+        return data.map((item) => item === null ? undefined : this.project.symbol(item));
+    }
+    getTypeAtLocation(input) {
+        if (Array.isArray(input))
+            return this.optionalTypes("getTypeAtLocations", { locations: input.map((node) => node.id) });
+        return this.type("getTypeAtLocation", { location: input.id });
+    }
+    getSymbolAtLocation(input) {
+        if (Array.isArray(input))
+            return this.optionalSymbols("getSymbolsAtLocations", { locations: input.map((node) => node.id) });
+        return this.symbol("getSymbolAtLocation", { location: input.id });
+    }
+    getTypeAtPosition(file, positions) {
+        return typeof positions === "number"
+            ? this.type("getTypeAtPosition", { file, position: positions })
+            : this.optionalTypes("getTypesAtPositions", { file, positions });
+    }
+    getSymbolAtPosition(file, positions) {
+        return typeof positions === "number"
+            ? this.symbol("getSymbolAtPosition", { file, position: positions })
+            : this.optionalSymbols("getSymbolsAtPositions", { file, positions });
+    }
+    getTypeOfSymbol(input) {
+        if (Array.isArray(input))
+            return this.optionalTypes("getTypesOfSymbols", { symbols: input.map((symbol) => symbol.id) });
+        return this.type("getTypeOfSymbol", { symbol: input.id });
+    }
+    getDeclaredTypeOfSymbol(symbol) {
+        const type = this.type("getDeclaredTypeOfSymbol", { symbol: symbol.id });
+        if (type === undefined)
+            throw new Error(`getDeclaredTypeOfSymbol returned no type for symbol ${symbol.id}`);
+        return type;
+    }
+    getTypeOfSymbolAtLocation(symbol, node) {
+        const type = this.type("getTypeOfSymbolAtLocation", { symbol: symbol.id, location: node.id });
+        if (type === undefined)
+            throw new Error(`getTypeOfSymbolAtLocation returned no type for symbol ${symbol.id}`);
+        return type;
+    }
+    getContextualType(node) { return this.type("getContextualType", { location: node.id }); }
+    getTypeFromTypeNode(node) { return this.type("getTypeFromTypeNode", { location: node.id }); }
+    getShorthandAssignmentValueSymbol(node) { return this.symbol("getShorthandAssignmentValueSymbol", { location: node.id }); }
+    getExportSpecifierLocalTargetSymbol(node) { return this.symbol("getExportSpecifierLocalTargetSymbol", { location: node.id }); }
+    getResolvedSignature(node) { return this.signature("getResolvedSignature", { location: node.id }); }
+    getSignatureFromDeclaration(node) { return this.signature("getSignatureFromDeclaration", { location: node.id }); }
+    getReturnTypeOfSignature(signature) { return this.type("getReturnTypeOfSignature", { signature: signature.id }); }
+    getRestTypeOfSignature(signature) { return this.type("getRestTypeOfSignature", { signature: signature.id }); }
+    getParameterType(signature, index) { return this.type("getParameterType", { signature: signature.id, index }); }
+    getBaseTypeOfLiteralType(type) { return this.type("getBaseTypeOfLiteralType", { type: type.id }); }
+    getNonNullableType(type) { return this.type("getNonNullableType", { type: type.id }); }
+    getWidenedType(type) { return this.type("getWidenedType", { type: type.id }); }
+    getApparentType(type) { return this.type("getApparentType", { type: type.id }); }
+    getConstraintOfTypeParameter(type) { return this.type("getConstraintOfTypeParameter", { type: type.id }); }
+    getBaseConstraintOfType(type) { return this.type("getBaseConstraintOfType", { type: type.id }); }
+    getBaseTypes(type) { return this.types("getBaseTypes", { type: type.id }); }
+    getTypeArguments(type) { return this.types("getTypeArguments", { type: type.id }); }
+    getPropertiesOfType(type) { return this.symbols("getPropertiesOfType", { type: type.id }); }
+    getPropertyOfType(type, name) { return this.symbol("getPropertyOfType", { type: type.id, name }); }
+    getExportsOfModule(symbol) { return this.symbols("getExportsOfModule", { symbol: symbol.id }); }
+    getMemberInModuleExports(symbol, name) { return this.symbol("getMemberInModuleExports", { symbol: symbol.id, name }); }
+    getImmediateAliasedSymbol(symbol) { return this.symbol("getImmediateAliasedSymbol", { symbol: symbol.id }); }
+    getAliasedSymbol(symbol) {
+        const result = this.symbol("getAliasedSymbol", { symbol: symbol.id });
+        if (result === undefined)
+            throw new Error(`getAliasedSymbol returned no symbol for symbol ${symbol.id}`);
+        return result;
+    }
+    resolveName(name, meaning, location, excludeGlobals) {
+        const node = location instanceof AstNode ? location : undefined;
+        const position = location !== undefined && !(location instanceof AstNode) ? location : undefined;
+        return this.symbol("resolveName", { name, meaning, location: node?.id, file: position?.document, position: position?.position, excludeGlobals });
+    }
+    getResolvedSymbol(node) {
+        const text = node.text;
+        return text ? this.resolveName(text, SemanticSymbolFlags.Value | SemanticSymbolFlags.ExportValue, node) : undefined;
+    }
+    intrinsic(method) {
+        const result = this.type(method, {});
+        if (result === undefined)
+            throw new Error(`${method} returned no intrinsic type`);
+        return result;
+    }
+    getAnyType() { return this.intrinsic("getAnyType"); }
+    getStringType() { return this.intrinsic("getStringType"); }
+    getNumberType() { return this.intrinsic("getNumberType"); }
+    getBooleanType() { return this.intrinsic("getBooleanType"); }
+    getVoidType() { return this.intrinsic("getVoidType"); }
+    getUndefinedType() { return this.intrinsic("getUndefinedType"); }
+    getNullType() { return this.intrinsic("getNullType"); }
+    getNeverType() { return this.intrinsic("getNeverType"); }
+    getUnknownType() { return this.intrinsic("getUnknownType"); }
+    getBigIntType() { return this.intrinsic("getBigIntType"); }
+    getESSymbolType() { return this.intrinsic("getESSymbolType"); }
+    typeToString(type, enclosingDeclaration, flags) {
+        return this.project.request("typeToString", { type: type.id, location: enclosingDeclaration?.id, flags });
+    }
+    isContextSensitive(node) { return this.project.request("isContextSensitive", { location: node.id }); }
+    isArrayType(type) { return this.project.request("isArrayType", { type: type.id }); }
+    isArrayLikeType(type) { return this.project.request("isArrayLikeType", { type: type.id }); }
+    isTupleType(type) { return this.project.request("isTupleType", { type: type.id }); }
+    isTypeAssignableTo(source, target) {
+        return this.project.request("isTypeAssignableTo", { source: source.id, target: target.id });
+    }
+    getConstantValue(node) {
+        return this.project.request("getConstantValue", { location: node.id }) ?? undefined;
+    }
+    getSignaturesOfType(type, kind) {
+        const data = this.project.request("getSignaturesOfType", { type: type.id, kind });
+        return data.map((item) => this.project.signature(item));
+    }
+    getTypePredicateOfSignature(signature) {
+        const data = this.project.request("getTypePredicateOfSignature", { signature: signature.id });
+        return data === null ? undefined : {
+            kind: data.kind, parameterIndex: data.parameterIndex, parameterName: data.parameterName,
+            type: data.type === undefined ? undefined : this.project.type(data.type),
+        };
+    }
+    getIndexInfosOfType(type) {
+        const data = this.project.request("getIndexInfosOfType", { type: type.id });
+        return (data ?? []).map((item) => ({
+            keyType: this.project.type(item.keyType), valueType: this.project.type(item.valueType),
+            isReadonly: item.isReadonly ?? false,
+            declaration: item.declaration === undefined ? undefined : new SemanticNodeHandle(item.declaration, this.project),
+        }));
+    }
+    getWellKnownSymbols() {
+        this.project.ensureActive();
+        if (this.wellKnown === undefined)
+            this.wellKnown = this.project.request("getWellKnownSymbols");
+        return this.wellKnown;
+    }
+    isUnknownSymbol(symbol) { return symbol.id === this.getWellKnownSymbols().unknown; }
+    isUndefinedSymbol(symbol) { return symbol.id === this.getWellKnownSymbols().undefined; }
+    isArgumentsSymbol(symbol) { return symbol.id === this.getWellKnownSymbols().arguments; }
+    getReferencesToSymbolInFile(file, symbol) {
+        const data = this.project.request("getReferencesToSymbolInFile", { file, symbol: symbol.id });
+        return (data ?? []).map((handle) => new SemanticNodeHandle(handle, this.project));
+    }
+    getReferencedSymbolsForNode(node, position) {
+        const data = this.project.request("getReferencedSymbolsForNode", { node: node.id, position });
+        return (data ?? []).map((item) => ({
+            definition: new SemanticNodeHandle(item.definition, this.project),
+            symbol: item.symbol === undefined ? undefined : this.project.symbol(item.symbol),
+            references: (item.references ?? []).map((handle) => new SemanticNodeHandle(handle, this.project)),
+        }));
+    }
+    getSignatureUsage(node) {
+        const data = this.project.request("getSignatureUsages", { signatureDecl: node.id });
+        return (data ?? []).map((item) => ({
+            name: new SemanticNodeHandle(item.name, this.project),
+            call: item.call === undefined ? undefined : new SemanticNodeHandle(item.call, this.project),
+        }));
+    }
+    getJsDocTagsOfSymbol(symbol) {
+        return this.project.request("getJsDocTags", { symbol: symbol.id }) ?? [];
+    }
+    getDocumentationCommentOfSymbol(symbol) {
+        return this.project.request("getDocumentationComment", { symbol: symbol.id });
+    }
+    getCompletionsAtPosition(file, position, options) {
+        const data = this.project.request("getCompletionsAtPosition", { file, position, triggerCharacter: options?.triggerCharacter, includeSymbol: options?.includeSymbol });
+        if (data === null)
+            return undefined;
+        return {
+            isIncomplete: data.isIncomplete,
+            entries: data.entries.map((item) => ({
+                name: item.name, kind: item.kind, sortText: item.sortText, insertText: item.insertText,
+                filterText: item.filterText, detail: item.detail, labelDetails: item.labelDetails,
+                symbol: item.symbol === undefined ? undefined : this.project.symbol(item.symbol),
+            })),
+        };
+    }
+    typeToTypeNode(type, enclosingDeclaration, flags) {
+        const bytes = this.project.requestBinary("typeToTypeNode", { type: type.id, location: enclosingDeclaration?.id, flags });
+        return bytes.length === 0 ? undefined : new AstFile(bytes).root;
+    }
+    signatureToSignatureDeclaration(signature, kind, enclosingDeclaration, flags) {
+        const bytes = this.project.requestBinary("signatureToSignatureDeclaration", { signature: signature.id, kind, location: enclosingDeclaration?.id, flags });
+        return bytes.length === 0 ? undefined : new AstFile(bytes).root;
+    }
+    dispose() { this.project.dispose(); }
+}
+//# sourceMappingURL=semantic-checker.js.map

package/dist/frontend/ts7/semantic-checker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-checker.js","sourceRoot":"","sources":["../../../src/frontend/ts7/semantic-checker.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,iBAAiB,EAAE,cAAc,EAAE,YAAY,EAA6C,MAAM,qBAAqB,CAAC;AACtK,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AA8DrE;;0EAE0E;AAC1E,MAAM,OAAO,eAAe;IAGL,OAAO;IAFpB,SAAS,CAA+B;IAEhD,YAAqB,OAAwB;uBAAxB,OAAO;IAAoB,CAAC;IAEzC,IAAI,CAAC,MAAc,EAAE,KAAoB;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAsB,MAAM,EAAE,KAAK,CAAC,CAAC;QACtE,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC;IACO,MAAM,CAAC,MAAc,EAAE,KAAoB;QACjD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAwB,MAAM,EAAE,KAAK,CAAC,CAAC;QACxE,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC;IACO,SAAS,CAAC,MAAc,EAAE,KAAoB;QACpD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAA2B,MAAM,EAAE,KAAK,CAAC,CAAC;QAC3E,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC;IACO,KAAK,CAAC,MAAc,EAAE,KAAoB;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAwB,MAAM,EAAE,KAAK,CAAC,CAAC;QACxE,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7D,CAAC;IACO,OAAO,CAAC,MAAc,EAAE,KAAoB;QAClD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAA0B,MAAM,EAAE,KAAK,CAAC,CAAC;QAC1E,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/D,CAAC;IACO,aAAa,CAAC,MAAc,EAAE,KAAoB;QACxD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAA0B,MAAM,EAAE,KAAK,CAAC,CAAC;QAC1E,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACjF,CAAC;IACO,eAAe,CAAC,MAAc,EAAE,KAAoB;QAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAA4B,MAAM,EAAE,KAAK,CAAC,CAAC;QAC5E,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACnF,CAAC;IAID,iBAAiB,CAAC,KAAmC;QACnD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,aAAa,CAAC,oBAAoB,EAAE,EAAE,SAAS,EAAG,KAA4B,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/I,OAAO,IAAI,CAAC,IAAI,CAAC,mBAAmB,EAAE,EAAE,QAAQ,EAAG,KAAiB,CAAC,EAAE,EAAE,CAAC,CAAC;IAC7E,CAAC;IAGD,mBAAmB,CAAC,KAAmC;QACrD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,eAAe,CAAC,uBAAuB,EAAE,EAAE,SAAS,EAAG,KAA4B,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACpJ,OAAO,IAAI,CAAC,MAAM,CAAC,qBAAqB,EAAE,EAAE,QAAQ,EAAG,KAAiB,CAAC,EAAE,EAAE,CAAC,CAAC;IACjF,CAAC;IAGD,iBAAiB,CAAC,IAAsB,EAAE,SAAqC;QAC7E,OAAO,OAAO,SAAS,KAAK,QAAQ;YAClC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;YAC/D,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,qBAAqB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IACrE,CAAC;IAGD,mBAAmB,CAAC,IAAsB,EAAE,SAAqC;QAC/E,OAAO,OAAO,SAAS,KAAK,QAAQ;YAClC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,qBAAqB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;YACnE,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,uBAAuB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IACzE,CAAC;IAGD,eAAe,CAAC,KAAiD;QAC/D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,aAAa,CAAC,mBAAmB,EAAE,EAAE,OAAO,EAAG,KAAmC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACvJ,OAAO,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,EAAE,MAAM,EAAG,KAAwB,CAAC,EAAE,EAAE,CAAC,CAAC;IAChF,CAAC;IAED,uBAAuB,CAAC,MAAsB;QAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,yBAAyB,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;QACzE,IAAI,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,uDAAuD,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5G,OAAO,IAAI,CAAC;IACd,CAAC;IACD,yBAAyB,CAAC,MAAsB,EAAE,IAAa;QAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,2BAA2B,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9F,IAAI,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,yDAAyD,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9G,OAAO,IAAI,CAAC;IACd,CAAC;IACD,iBAAiB,CAAC,IAAa,IAA8B,OAAO,IAAI,CAAC,IAAI,CAAC,mBAAmB,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5H,mBAAmB,CAAC,IAAa,IAA8B,OAAO,IAAI,CAAC,IAAI,CAAC,qBAAqB,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAChI,iCAAiC,CAAC,IAAa,IAAgC,OAAO,IAAI,CAAC,MAAM,CAAC,mCAAmC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAChK,mCAAmC,CAAC,IAAa,IAAgC,OAAO,IAAI,CAAC,MAAM,CAAC,qCAAqC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACpK,oBAAoB,CAAC,IAAa,IAAmC,OAAO,IAAI,CAAC,SAAS,CAAC,sBAAsB,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5I,2BAA2B,CAAC,IAAa,IAAmC,OAAO,IAAI,CAAC,SAAS,CAAC,6BAA6B,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1J,wBAAwB,CAAC,SAA4B,IAA8B,OAAO,IAAI,CAAC,IAAI,CAAC,0BAA0B,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/J,sBAAsB,CAAC,SAA4B,IAA8B,OAAO,IAAI,CAAC,IAAI,CAAC,wBAAwB,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3J,gBAAgB,CAAC,SAA4B,EAAE,KAAa,IAA8B,OAAO,IAAI,CAAC,IAAI,CAAC,kBAAkB,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACrK,wBAAwB,CAAC,IAAkB,IAA8B,OAAO,IAAI,CAAC,IAAI,CAAC,0BAA0B,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3I,kBAAkB,CAAC,IAAkB,IAA8B,OAAO,IAAI,CAAC,IAAI,CAAC,oBAAoB,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/H,cAAc,CAAC,IAAkB,IAA8B,OAAO,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACvH,eAAe,CAAC,IAAkB,IAA8B,OAAO,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACzH,4BAA4B,CAAC,IAAkB,IAA8B,OAAO,IAAI,CAAC,IAAI,CAAC,8BAA8B,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACnJ,uBAAuB,CAAC,IAAkB,IAA8B,OAAO,IAAI,CAAC,IAAI,CAAC,yBAAyB,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACzI,YAAY,CAAC,IAAkB,IAAoB,OAAO,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1G,gBAAgB,CAAC,IAAkB,IAAoB,OAAO,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAClH,mBAAmB,CAAC,IAAkB,IAAsB,OAAO,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5H,iBAAiB,CAAC,IAAkB,EAAE,IAAY,IAAgC,OAAO,IAAI,CAAC,MAAM,CAAC,mBAAmB,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACrJ,kBAAkB,CAAC,MAAsB,IAAsB,OAAO,IAAI,CAAC,OAAO,CAAC,oBAAoB,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAClI,wBAAwB,CAAC,MAAsB,EAAE,IAAY,IAAgC,OAAO,IAAI,CAAC,MAAM,CAAC,0BAA0B,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3K,yBAAyB,CAAC,MAAsB,IAAgC,OAAO,IAAI,CAAC,MAAM,CAAC,2BAA2B,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAEzJ,gBAAgB,CAAC,MAAsB;QACrC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,kBAAkB,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;QACtE,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;QACzG,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,WAAW,CAAC,IAAY,EAAE,OAAe,EAAE,QAAqE,EAAE,cAAwB;QACxI,MAAM,IAAI,GAAG,QAAQ,YAAY,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QAChE,MAAM,QAAQ,GAAG,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,YAAY,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QACjG,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC,CAAC;IACnJ,CAAC;IACD,iBAAiB,CAAC,IAAa;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,mBAAmB,CAAC,KAAK,GAAG,mBAAmB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtH,CAAC;IAEO,SAAS,CAAC,MAAc;QAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACrC,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,6BAA6B,CAAC,CAAC;QAClF,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,UAAU,KAAmB,OAAO,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACnE,aAAa,KAAmB,OAAO,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACzE,aAAa,KAAmB,OAAO,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACzE,cAAc,KAAmB,OAAO,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC3E,WAAW,KAAmB,OAAO,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACrE,gBAAgB,KAAmB,OAAO,IAAI,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;IAC/E,WAAW,KAAmB,OAAO,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACrE,YAAY,KAAmB,OAAO,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;IACvE,cAAc,KAAmB,OAAO,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC3E,aAAa,KAAmB,OAAO,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACzE,eAAe,KAAmB,OAAO,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;IAE7E,YAAY,CAAC,IAAkB,EAAE,oBAA8B,EAAE,KAAc;QAC7E,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAS,cAAc,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,oBAAoB,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IACpH,CAAC;IACD,kBAAkB,CAAC,IAAa,IAAa,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAU,oBAAoB,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACjI,WAAW,CAAC,IAAkB,IAAa,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAU,aAAa,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACpH,eAAe,CAAC,IAAkB,IAAa,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAU,iBAAiB,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5H,WAAW,CAAC,IAAkB,IAAa,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAU,aAAa,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACpH,kBAAkB,CAAC,MAAoB,EAAE,MAAoB;QAC3D,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAU,oBAAoB,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;IACvG,CAAC;IACD,gBAAgB,CAAC,IAAa;QAC5B,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAyB,kBAAkB,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,SAAS,CAAC;IAC9G,CAAC;IACD,mBAAmB,CAAC,IAAkB,EAAE,IAAY;QAClD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAsB,qBAAqB,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACvG,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1D,CAAC;IACD,2BAA2B,CAAC,SAA4B;QACtD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAA+B,6BAA6B,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5H,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;YACjC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa;YACvF,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;SACzE,CAAC;IACJ,CAAC;IACD,mBAAmB,CAAC,IAAkB;QACpC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAA6B,qBAAqB,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QACxG,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACjC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC;YACtF,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,KAAK;YACpC,WAAW,EAAE,IAAI,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC;SACjH,CAAC,CAAC,CAAC;IACN,CAAC;IACO,mBAAmB;QACzB,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;YAAE,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAmB,qBAAqB,CAAC,CAAC;QACjH,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IACD,eAAe,CAAC,MAAsB,IAAa,OAAO,MAAM,CAAC,EAAE,KAAK,IAAI,CAAC,mBAAmB,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7G,iBAAiB,CAAC,MAAsB,IAAa,OAAO,MAAM,CAAC,EAAE,KAAK,IAAI,CAAC,mBAAmB,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;IACjH,iBAAiB,CAAC,MAAsB,IAAa,OAAO,MAAM,CAAC,EAAE,KAAK,IAAI,CAAC,mBAAmB,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;IAEjH,2BAA2B,CAAC,IAAsB,EAAE,MAAsB;QACxE,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAkB,6BAA6B,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/G,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IACpF,CAAC;IACD,2BAA2B,CAAC,IAAa,EAAE,QAAgB;QACzD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAkF,6BAA6B,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC/K,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACjC,UAAU,EAAE,IAAI,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC;YACjE,MAAM,EAAE,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;YAChF,UAAU,EAAE,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;SAClG,CAAC,CAAC,CAAC;IACN,CAAC;IACD,iBAAiB,CAAC,IAAa;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAA2C,oBAAoB,EAAE,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9H,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACjC,IAAI,EAAE,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC;YACrD,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC;SAC5F,CAAC,CAAC,CAAC;IACN,CAAC;IACD,oBAAoB,CAAC,MAAsB;QACzC,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAA4B,cAAc,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC;IACtG,CAAC;IACD,+BAA+B,CAAC,MAAsB;QACpD,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAS,yBAAyB,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,wBAAwB,CAAC,IAAsB,EAAE,QAAgB,EAAE,OAAmC;QACpG,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAA4B,0BAA0B,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,gBAAgB,EAAE,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC;QACjM,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QACpC,OAAO;YACL,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACnC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU;gBACtF,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY;gBACjF,MAAM,EAAE,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;aACjF,CAAC,CAAC;SACJ,CAAC;IACJ,CAAC;IACD,cAAc,CAAC,IAAkB,EAAE,oBAA8B,EAAE,KAAc;QAC/E,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,gBAAgB,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,oBAAoB,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QACzH,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;IAClE,CAAC;IACD,+BAA+B,CAAC,SAA4B,EAAE,IAAY,EAAE,oBAA8B,EAAE,KAAc;QACxH,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,iCAAiC,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,oBAAoB,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QAC1J,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;IAClE,CAAC;IACD,OAAO,KAAW,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;CAC5C"}

package/dist/frontend/ts7/semantic-checker.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/frontend/ts7/semantic-checker.test.js

@@ -0,0 +1,119 @@
+import { mkdtempSync, rmSync, writeFileSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { afterAll, beforeAll, expect, test } from "vitest";
+import { API } from "typescript/unstable/sync";
+import { AstNode } from "./ast-node.js";
+import { Ts7RpcClient } from "./rpc-client.js";
+import { ts7Executable } from "./rpc-api.js";
+import { spawnTs7Wire } from "./rpc-process.js";
+import { Ts7Session } from "./session.js";
+import { SyntaxKind } from "./enums.js";
+const source = [
+    'export class Box { value = 1; }',
+    'export const instance = new Box();',
+    'export const number = 1;',
+    'export const text = "hello";',
+    'export const tuple: readonly [number, string] = [1, "a"];',
+    'export const record: { a: number; b?: string } = { a: 1 };',
+    'export const array: number[] = [1, 2];',
+    'export function identity<T extends { n: number }>(value: T): T { return value; }',
+    'export function predicate(value: unknown): value is Box { return value instanceof Box; }',
+    'export function rest(...values: number[]): number { return values.length; }',
+    'export function receiver(this: Box, value: number): number { return value; }',
+].join("\n");
+let directory;
+let file;
+let config;
+let session;
+let oracle;
+beforeAll(() => {
+    directory = mkdtempSync(join(process.platform === "win32" ? tmpdir() : "/tmp", "scriptc-synthetic-ast-"));
+    file = join(directory, "main.ts");
+    config = join(directory, "tsconfig.json");
+    writeFileSync(file, source);
+    writeFileSync(config, JSON.stringify({ compilerOptions: { strict: true, target: "esnext", types: [] }, files: [file] }));
+    session = new Ts7Session(new Ts7RpcClient(spawnTs7Wire(ts7Executable(), ["--api", "--cwd", directory])));
+    oracle = new API({ cwd: directory });
+});
+afterAll(() => {
+    session?.close();
+    oracle?.close();
+    if (directory)
+        rmSync(directory, { recursive: true, force: true });
+});
+function shape(node) {
+    const children = [];
+    node.forEachChild((child) => { children.push(shape(child)); });
+    return { kind: node.kind, flags: node.flags, pos: node.pos, end: node.end, text: Reflect.get(node, "text"), children };
+}
+test("synthetic type roots and descendants match the pinned SDK without claiming SourceFile fields", () => {
+    const snapshot = session.updateSnapshot({ openProjects: [config] });
+    const sdkSnapshot = oracle.updateSnapshot({ openProjects: [config] });
+    try {
+        const project = snapshot.getProject(config);
+        const sdk = sdkSnapshot.getProject(config);
+        const root = project.program.getSourceFile(file);
+        const expectedRoot = sdk.program.getSourceFile(file);
+        let checked = 0;
+        for (let index = 1; index < 7; index++) {
+            const statement = root.statements[index];
+            const expectedStatement = expectedRoot.statements[index];
+            const node = statement.declarationList.declarations[0].name;
+            const expectedNode = Reflect.get(expectedStatement, "declarationList").declarations[0].name;
+            const type = project.checker.getTypeAtLocation(node);
+            const expectedType = sdk.checker.getTypeAtLocation(expectedNode);
+            const actual = project.checker.typeToTypeNode(type, node);
+            const expected = sdk.checker.typeToTypeNode(expectedType, expectedNode);
+            expect(shape(actual)).toEqual(shape(expected));
+            expect(actual.kind).not.toBe(SyntaxKind.SourceFile);
+            expect(actual.file.root).toBe(actual);
+            expect(actual.file.node(1)).toBe(actual);
+            expect(actual.parent).toBeUndefined();
+            expect(() => actual.file.sourceFile).toThrow("expected a source file root");
+            expect(() => actual.getSourceFile()).toThrow("expected a source file root");
+            actual.forEachChild((child) => { expect(child.parent).toBe(actual); });
+            checked++;
+        }
+        expect(checked).toBe(6);
+        expect(root.file.sourceFile).toBe(root);
+        expect(root.getSourceFile()).toBe(root);
+    }
+    finally {
+        snapshot.dispose();
+        sdkSnapshot.dispose();
+    }
+});
+test("generic, predicate, rest and this-parameter signature fragments match the pinned SDK", () => {
+    const snapshot = session.updateSnapshot({ openProjects: [config] });
+    const sdkSnapshot = oracle.updateSnapshot({ openProjects: [config] });
+    try {
+        const project = snapshot.getProject(config);
+        const sdk = sdkSnapshot.getProject(config);
+        const root = project.program.getSourceFile(file);
+        const expectedRoot = sdk.program.getSourceFile(file);
+        for (let index = 7; index < 11; index++) {
+            const node = root.statements[index];
+            const expectedNode = expectedRoot.statements[index];
+            const signature = project.checker.getSignatureFromDeclaration(node);
+            const expectedSignature = sdk.checker.getSignatureFromDeclaration(expectedNode);
+            const actual = project.checker.signatureToSignatureDeclaration(signature, SyntaxKind.FunctionType, node);
+            const expected = sdk.checker.signatureToSignatureDeclaration(expectedSignature, SyntaxKind.FunctionType, expectedNode);
+            expect(actual.kind).toBe(SyntaxKind.FunctionType);
+            expect(shape(actual)).toEqual(shape(expected));
+            expect(actual.file.root).toBe(actual);
+            const parameters = actual.parameters;
+            expect(parameters.length).toBeGreaterThan(0);
+            for (const parameter of parameters) {
+                expect(parameter.parent).toBe(actual);
+                expect(actual.file.node(parameter.index)).toBe(parameter);
+            }
+            expect(() => actual.file.sourceFile).toThrow("expected a source file root");
+        }
+    }
+    finally {
+        snapshot.dispose();
+        sdkSnapshot.dispose();
+    }
+});
+//# sourceMappingURL=semantic-checker.test.js.map

package/dist/frontend/ts7/semantic-checker.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-checker.test.js","sourceRoot":"","sources":["../../../src/frontend/ts7/semantic-checker.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,0BAA0B,CAAC;AAE/C,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAExC,MAAM,MAAM,GAAG;IACb,iCAAiC;IACjC,oCAAoC;IACpC,0BAA0B;IAC1B,8BAA8B;IAC9B,2DAA2D;IAC3D,4DAA4D;IAC5D,wCAAwC;IACxC,kFAAkF;IAClF,0FAA0F;IAC1F,6EAA6E;IAC7E,8EAA8E;CAC/E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,IAAI,SAAiB,CAAC;AACtB,IAAI,IAAY,CAAC;AACjB,IAAI,MAAc,CAAC;AACnB,IAAI,OAAmB,CAAC;AACxB,IAAI,MAAW,CAAC;AAEhB,SAAS,CAAC,GAAG,EAAE;IACb,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAC,CAAC;IAC1G,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAClC,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;IAC1C,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5B,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,eAAe,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACzH,OAAO,GAAG,IAAI,UAAU,CAAC,IAAI,YAAY,CAAC,YAAY,CAAC,aAAa,EAAE,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACzG,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC;AACvC,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,GAAG,EAAE;IACZ,OAAO,EAAE,KAAK,EAAE,CAAC;IACjB,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,IAAI,SAAS;QAAE,MAAM,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACrE,CAAC,CAAC,CAAC;AAEH,SAAS,KAAK,CAAC,IAAuB;IACpC,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,IAAI,CAAC,YAAY,CAAC,CAAC,KAAK,EAAE,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,QAAQ,EAAE,CAAC;AACzH,CAAC;AAED,IAAI,CAAC,8FAA8F,EAAE,GAAG,EAAE;IACxG,MAAM,QAAQ,GAAG,OAAO,CAAC,cAAc,CAAC,EAAE,YAAY,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACpE,MAAM,WAAW,GAAG,MAAM,CAAC,cAAc,CAAC,EAAE,YAAY,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACtE,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,WAAW,CAAC,UAAU,CAAC,MAAM,CAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAE,CAAC;QAClD,MAAM,YAAY,GAAG,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAE,CAAC;QACtD,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;YACvC,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAE,CAAC;YAC1C,MAAM,iBAAiB,GAAG,YAAY,CAAC,UAAU,CAAC,KAAK,CAAE,CAAC;YAC1D,MAAM,IAAI,GAAG,SAAS,CAAC,eAAgB,CAAC,YAAa,CAAC,CAAC,CAAE,CAAC,IAAK,CAAC;YAChE,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAe,CAAC;YACvG,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAE,CAAC;YACtD,MAAM,YAAY,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,YAAY,CAAE,CAAC;YAClE,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAE,CAAC;YAC3D,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,YAAY,EAAE,YAAY,CAAE,CAAC;YACzE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC/C,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACtC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,aAAa,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;YAC5E,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;YAC5E,MAAM,CAAC,YAAY,CAAC,CAAC,KAAK,EAAE,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvE,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC;YAAS,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QAAC,WAAW,CAAC,OAAO,EAAE,CAAC;IAAC,CAAC;AAC1D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sFAAsF,EAAE,GAAG,EAAE;IAChG,MAAM,QAAQ,GAAG,OAAO,CAAC,cAAc,CAAC,EAAE,YAAY,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACpE,MAAM,WAAW,GAAG,MAAM,CAAC,cAAc,CAAC,EAAE,YAAY,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACtE,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,WAAW,CAAC,UAAU,CAAC,MAAM,CAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAE,CAAC;QAClD,MAAM,YAAY,GAAG,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAE,CAAC;QACtD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;YACxC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAE,CAAC;YACrC,MAAM,YAAY,GAAG,YAAY,CAAC,UAAU,CAAC,KAAK,CAAE,CAAC;YACrD,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,2BAA2B,CAAC,IAAI,CAAE,CAAC;YACrE,MAAM,iBAAiB,GAAG,GAAG,CAAC,OAAO,CAAC,2BAA2B,CAAC,YAAY,CAAE,CAAC;YACjF,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,+BAA+B,CAAC,SAAS,EAAE,UAAU,CAAC,YAAY,EAAE,IAAI,CAAE,CAAC;YAC1G,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,+BAA+B,CAAC,iBAAiB,EAAE,UAAU,CAAC,YAAY,EAAE,YAAY,CAAE,CAAC;YACxH,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;YAClD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC/C,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACtC,MAAM,UAAU,GAAG,MAAM,CAAC,UAAW,CAAC;YACtC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC7C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;gBACnC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACtC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC5D,CAAC;YACD,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;YAAS,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QAAC,WAAW,CAAC,OAAO,EAAE,CAAC;IAAC,CAAC;AAC1D,CAAC,CAAC,CAAC"}

package/dist/frontend/ts7/semantic-json.d.ts

@@ -0,0 +1,5 @@
+/** Check the only JSON string form the native runtime cannot yet retain.
+ * JSON.parse itself validates grammar. A valid surrogate pair is preserved;
+ * a lone escape must not silently change a type literal or symbol name. */
+export declare function checkSemanticJsonStrings(json: string, preservesSurrogates: boolean): void;
+export declare function parseSemanticJson<T>(json: string): T;

package/dist/frontend/ts7/semantic-json.js

@@ -0,0 +1,52 @@
+/** Check the only JSON string form the native runtime cannot yet retain.
+ * JSON.parse itself validates grammar. A valid surrogate pair is preserved;
+ * a lone escape must not silently change a type literal or symbol name. */
+export function checkSemanticJsonStrings(json, preservesSurrogates) {
+    if (preservesSurrogates)
+        return;
+    let inString = false;
+    for (let index = 0; index < json.length; index++) {
+        const code = json.charCodeAt(index);
+        if (code === 34) {
+            inString = !inString;
+            continue;
+        }
+        if (!inString || code !== 92)
+            continue;
+        if (json.charCodeAt(++index) !== 117)
+            continue;
+        const unit = jsonHexUnit(json, index + 1);
+        index += 4;
+        if (unit < 0xd800 || unit > 0xdfff)
+            continue;
+        if (unit <= 0xdbff && json.charCodeAt(index + 1) === 92 && json.charCodeAt(index + 2) === 117) {
+            const next = jsonHexUnit(json, index + 3);
+            if (next >= 0xdc00 && next <= 0xdfff) {
+                index += 6;
+                continue;
+            }
+        }
+        throw new Error("TypeScript semantic response: runtime cannot preserve lone UTF-16 surrogates");
+    }
+}
+function jsonHexUnit(json, offset) {
+    if (offset + 4 > json.length)
+        return -1;
+    let value = 0;
+    for (let index = offset; index < offset + 4; index++) {
+        const code = json.charCodeAt(index);
+        const digit = code >= 48 && code <= 57 ? code - 48 : code >= 65 && code <= 70 ? code - 55 : code >= 97 && code <= 102 ? code - 87 : -1;
+        if (digit < 0)
+            return -1;
+        value = value * 16 + digit;
+    }
+    return value;
+}
+// Capability-based so the boundary automatically disappears once native
+// strings and JSON parsing support lossless UTF-16. Probe once per process.
+const preservesJsonSurrogates = JSON.parse('"\\ud800"').charCodeAt(0) === 0xd800;
+export function parseSemanticJson(json) {
+    checkSemanticJsonStrings(json, preservesJsonSurrogates);
+    return JSON.parse(json);
+}
+//# sourceMappingURL=semantic-json.js.map

package/dist/frontend/ts7/semantic-json.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-json.js","sourceRoot":"","sources":["../../../src/frontend/ts7/semantic-json.ts"],"names":[],"mappings":"AAAA;;2EAE2E;AAC3E,MAAM,UAAU,wBAAwB,CAAC,IAAY,EAAE,mBAA4B;IACjF,IAAI,mBAAmB;QAAE,OAAO;IAChC,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;YAAC,QAAQ,GAAG,CAAC,QAAQ,CAAC;YAAC,SAAS;QAAC,CAAC;QACpD,IAAI,CAAC,QAAQ,IAAI,IAAI,KAAK,EAAE;YAAE,SAAS;QACvC,IAAI,IAAI,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,KAAK,GAAG;YAAE,SAAS;QAC/C,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAC1C,KAAK,IAAI,CAAC,CAAC;QACX,IAAI,IAAI,GAAG,MAAM,IAAI,IAAI,GAAG,MAAM;YAAE,SAAS;QAC7C,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC9F,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAC1C,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;gBAAC,KAAK,IAAI,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;QACjE,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,8EAA8E,CAAC,CAAC;IAClG,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,MAAc;IAC/C,IAAI,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC,CAAC;IACxC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,KAAK,GAAG,MAAM,EAAE,KAAK,GAAG,MAAM,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvI,IAAI,KAAK,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC;QACzB,KAAK,GAAG,KAAK,GAAG,EAAE,GAAG,KAAK,CAAC;IAC7B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,wEAAwE;AACxE,4EAA4E;AAC5E,MAAM,uBAAuB,GAAI,IAAI,CAAC,KAAK,CAAC,WAAW,CAAY,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC;AAE7F,MAAM,UAAU,iBAAiB,CAAI,IAAY;IAC/C,wBAAwB,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;IACxD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAM,CAAC;AAC/B,CAAC"}

package/dist/frontend/ts7/semantic-json.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/frontend/ts7/semantic-json.test.js

@@ -0,0 +1,42 @@
+import { expect, test } from "vitest";
+import { checkSemanticJsonStrings, parseSemanticJson } from "./semantic-json.js";
+test("semantic JSON preserves ordinary strings, escaped slashes, quotes, pairs and nulls", () => {
+    const values = ["", "\uFEFFhéllo 🌍", "\\ud800", 'quoted "\\ud800"', "\ud800\udc00", "\udbff\udfff", "\\", null];
+    for (const value of values) {
+        const json = JSON.stringify({ value });
+        expect(parseSemanticJson(json)).toEqual({ value });
+        expect(() => checkSemanticJsonStrings(json, false)).not.toThrow();
+    }
+    for (const json of ['"\\ud800\\udc00"', '"\\uDBFF\\uDFFF"', '{"\\uD800\\uDC00":"ok"}']) {
+        expect(() => checkSemanticJsonStrings(json, false)).not.toThrow();
+        expect(parseSemanticJson(json)).toEqual(JSON.parse(json));
+    }
+});
+test("all lone code units remain exact on Node and are refused at the native boundary", () => {
+    for (let unit = 0xd800; unit <= 0xdfff; unit++) {
+        const text = String.fromCharCode(unit);
+        for (const value of [text, { [text]: "key", value: text }, [text, "after"]]) {
+            const json = JSON.stringify(value);
+            expect(parseSemanticJson(json)).toEqual(value);
+            expect(() => checkSemanticJsonStrings(json, false)).toThrow("cannot preserve lone UTF-16 surrogates");
+        }
+    }
+});
+test("backslash parity and separated surrogate escapes cannot bypass the boundary", () => {
+    for (let count = 1; count <= 8; count++) {
+        const json = '"' + "\\".repeat(count) + 'ud800"';
+        if (count % 2 === 0)
+            expect(() => checkSemanticJsonStrings(json, false)).not.toThrow();
+        else
+            expect(() => checkSemanticJsonStrings(json, false)).toThrow("cannot preserve");
+    }
+    for (const json of ['"\\ud800x\\udc00"', '["\\ud800","\\udc00"]', '"\\ud800\\ud800"', '"\\udc00\\ud800"']) {
+        expect(() => checkSemanticJsonStrings(json, false)).toThrow("cannot preserve");
+    }
+});
+test("malformed JSON remains a parse error rather than an accepted response", () => {
+    for (const json of ['"\\uZZZZ"', '"\\uD8"', '"unclosed', '{"value":}', 'undefined']) {
+        expect(() => parseSemanticJson(json)).toThrow(SyntaxError);
+    }
+});
+//# sourceMappingURL=semantic-json.test.js.map

package/dist/frontend/ts7/semantic-json.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-json.test.js","sourceRoot":"","sources":["../../../src/frontend/ts7/semantic-json.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAEjF,IAAI,CAAC,oFAAoF,EAAE,GAAG,EAAE;IAC9F,MAAM,MAAM,GAAG,CAAC,EAAE,EAAE,gBAAgB,EAAE,SAAS,EAAE,kBAAkB,EAAE,cAAc,EAAE,cAAc,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACjH,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACvC,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACnD,MAAM,CAAC,GAAG,EAAE,CAAC,wBAAwB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IACpE,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,CAAC,kBAAkB,EAAE,kBAAkB,EAAE,yBAAyB,CAAC,EAAE,CAAC;QACvF,MAAM,CAAC,GAAG,EAAE,CAAC,wBAAwB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QAClE,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5D,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iFAAiF,EAAE,GAAG,EAAE;IAC3F,KAAK,IAAI,IAAI,GAAG,MAAM,EAAE,IAAI,IAAI,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACvC,KAAK,MAAM,KAAK,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;YAC5E,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACnC,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC/C,MAAM,CAAC,GAAG,EAAE,CAAC,wBAAwB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,wCAAwC,CAAC,CAAC;QACxG,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6EAA6E,EAAE,GAAG,EAAE;IACvF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC;QACjD,IAAI,KAAK,GAAG,CAAC,KAAK,CAAC;YAAE,MAAM,CAAC,GAAG,EAAE,CAAC,wBAAwB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;;YAClF,MAAM,CAAC,GAAG,EAAE,CAAC,wBAAwB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACtF,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,CAAC,mBAAmB,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,kBAAkB,CAAC,EAAE,CAAC;QAC1G,MAAM,CAAC,GAAG,EAAE,CAAC,wBAAwB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACjF,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uEAAuE,EAAE,GAAG,EAAE;IACjF,KAAK,MAAM,IAAI,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,WAAW,CAAC,EAAE,CAAC;QACpF,MAAM,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC,CAAC,CAAC"}