correctly 0.0.0 → 0.1.0

package/dist/lsp.mjs

@@ -1,37 +1,35 @@
 #!/usr/bin/env node
-import { b as diagnostic, d as discoverConfig, g as readText, l as associationFor, m as loadProject, n as diagnosticDetails, p as isIncluded, r as diagnosticViews, t as Engine, u as contains, v as CorrectlyError, y as failure } from "./engine-BgWBnb1A.mjs";
+import { b as diagnostic, h as failure, i as contains, m as CorrectlyError, o as discoverConfig } from "./config-Cb6o4YnJ.mjs";
+import { t as ProjectSession } from "./session-DCFav56x.mjs";
+import { n as diagnosticViews, t as diagnosticDetails } from "./diagnostics-BqD1WOy4.mjs";
+import { t as Hints } from "./hints-HvSIhuMM.mjs";
 import path from "node:path";
 import { fileURLToPath, pathToFileURL } from "node:url";
 import { DidChangeWatchedFilesNotification, LSPErrorCodes, ResponseError, TextDocumentSyncKind, TextDocuments, createConnection } from "vscode-languageserver/node";
 import { TextDocument } from "vscode-languageserver-textdocument";
-import { getLanguageService } from "vscode-json-languageservice";
 //#region src/lsp/workspace.ts
 var Workspace = class {
 	onSchema;
 	roots;
-	read;
 	documents = /* @__PURE__ */ new Map();
 	engines = /* @__PURE__ */ new Map();
-	controller = new AbortController();
 	generation = 0;
-	constructor(roots, read = readText) {
+	constructor(roots) {
 		this.roots = roots;
-		this.read = read;
 	}
 	invalidate() {
 		this.generation++;
-		this.controller.abort();
-		this.controller = new AbortController();
+		for (const session of this.engines.values()) session.dispose();
 		this.engines.clear();
 	}
 	open(document) {
 		this.documents.set(document.uri, document);
-		const resource = path.basename(fileURLToPath(document.uri)) === "correctly.config.json" || this.isSchema(document.uri);
+		const resource = this.isSchema(document.uri) && !this.moduleUris.has(document.uri);
 		if (resource) this.invalidate();
 		return resource;
 	}
 	close(uri) {
-		const resource = uri.endsWith("/correctly.config.json") || this.isSchema(uri);
+		const resource = this.isSchema(uri) && !this.moduleUris.has(uri);
 		this.documents.delete(uri);
 		if (resource) this.invalidate();
 		return resource;
@@ -40,47 +38,42 @@ var Workspace = class {
 	isSchema(uri) {
 		return this.schemaUris.has(uri);
 	}
+	moduleUris = /* @__PURE__ */ new Set();
 	resourceChanged(uri) {
-		return uri.endsWith("/correctly.config.json") || this.isSchema(uri);
+		return uri.endsWith(`/correctly.config.ts`) || this.isSchema(uri) || this.moduleUris.has(uri) || /\/(?:package\.json|pnpm-lock\.yaml|package-lock\.json|yarn\.lock)$/.test(uri);
 	}
-	readBuffer = (uri) => {
-		const document = this.documents.get(uri);
-		return document ? Promise.resolve(document.getText()) : this.read(uri);
-	};
 	async engineFor(uri) {
 		const file = fileURLToPath(uri);
 		const root = this.roots.filter((r) => contains(r, file)).sort((a, b) => b.length - a.length)[0];
 		if (this.roots.length && !root) throw new CorrectlyError("config", `Document is outside the editor workspace: ${file}`);
-		const virtualConfigs = new Set([...this.documents.keys()].filter((key) => key.endsWith("/correctly.config.json")).map((key) => fileURLToPath(key)));
-		const configPath = await discoverConfig(path.dirname(file), root, virtualConfigs);
-		let promise = this.engines.get(configPath);
-		if (!promise) {
-			const signal = this.controller.signal;
-			promise = (async () => {
-				const project = await loadProject(configPath, this.readBuffer);
-				const readSchema = async (schema) => {
-					this.schemaUris.add(schema);
-					this.onSchema?.(schema);
-					return this.readBuffer(schema);
-				};
-				const engine = new Engine(project, {
-					read: readSchema,
-					signal
-				});
-				await engine.prepare();
-				for (const resource of engine.store.resources.values()) this.schemaUris.add(resource.uri);
-				signal.throwIfAborted();
-				return engine;
-			})();
-			this.engines.set(configPath, promise);
+		const configPath = await discoverConfig(path.dirname(file), root);
+		let session = this.engines.get(configPath);
+		if (!session) {
+			session = new ProjectSession(configPath, {
+				buffers: [...this.documents].map(([uri, document]) => [uri, document.getText()]),
+				onDependency: (dependency, kind) => {
+					(kind === "module" ? this.moduleUris : this.schemaUris).add(dependency);
+					this.onSchema?.(dependency);
+				}
+			});
+			this.engines.set(configPath, session);
 		}
-		return promise;
+		await session.ready;
+		return session;
 	}
 	async validate(document) {
 		try {
 			return await (await this.engineFor(document.uri)).validate(fileURLToPath(document.uri), document.getText());
 		} catch (error) {
 			const problem = failure(error, fileURLToPath(document.uri));
+			if (problem.code === "config" && problem.message.startsWith(`No correctly.config.ts found`) && !["json", "jsonc"].includes(document.languageId)) return {
+				file: fileURLToPath(document.uri),
+				mode: document.languageId,
+				association: null,
+				coverage: "excluded",
+				diagnostics: [],
+				failures: []
+			};
 			return {
 				file: fileURLToPath(document.uri),
 				mode: document.languageId === "jsonc" ? "jsonc" : "json",
@@ -99,57 +92,6 @@ var Workspace = class {
 	}
 };
 //#endregion
-//#region src/lsp/hints.ts
-function externalSelection(document) {
-	return new Proxy(document, { get(target, key) {
-		if (key === "root") return void 0;
-		const value = Reflect.get(target, key);
-		return typeof value === "function" ? value.bind(target) : value;
-	} });
-}
-var Hints = class {
-	services = /* @__PURE__ */ new WeakMap();
-	async service(engine, document) {
-		const file = fileURLToPath(document.uri);
-		if (!isIncluded(engine.project, file)) return void 0;
-		const association = associationFor(engine.project, file);
-		if (!association?.schema) return void 0;
-		await engine.validator(association.schema);
-		let services = this.services.get(engine);
-		if (!services) {
-			services = /* @__PURE__ */ new Map();
-			this.services.set(engine, services);
-		}
-		let service = services.get(association.schema);
-		if (!service) {
-			service = getLanguageService({
-				schemaRequestService: async (uri) => JSON.stringify((await engine.store.load(uri)).schema),
-				workspaceContext: { resolveRelativePath: (relative, resource) => new URL(relative, resource).href }
-			});
-			service.configure({
-				validate: false,
-				schemas: [{
-					uri: association.schema,
-					fileMatch: ["*"]
-				}]
-			});
-			services.set(association.schema, service);
-		}
-		return service;
-	}
-	async complete(engine, document, position) {
-		const service = await this.service(engine, document);
-		return service ? await service.doComplete(document, position, externalSelection(service.parseJSONDocument(document))) : {
-			isIncomplete: false,
-			items: []
-		};
-	}
-	async hover(engine, document, position) {
-		const service = await this.service(engine, document);
-		return service ? await service.doHover(document, position, externalSelection(service.parseJSONDocument(document))) : null;
-	}
-};
-//#endregion
 //#region src/lsp/server.ts
 function lspDiagnostics(result, text) {
 	return diagnosticViews([...result.diagnostics, ...result.failures.filter((f) => !result.diagnostics.some((d) => d.code === f.code && d.message === f.message)).map((f) => diagnostic(text, f.code, f.message))]).map((d) => ({
@@ -190,7 +132,11 @@ function startServer() {
 		dynamicWatch = params.capabilities.workspace?.didChangeWatchedFiles?.dynamicRegistration ?? false;
 		return {
 			capabilities: {
-				textDocumentSync: TextDocumentSyncKind.Incremental,
+				textDocumentSync: {
+					openClose: true,
+					change: TextDocumentSyncKind.Incremental,
+					save: { includeText: false }
+				},
 				completionProvider: { triggerCharacters: ["\"", ":"] },
 				hoverProvider: true,
 				workspace: { workspaceFolders: {
@@ -205,7 +151,7 @@ function startServer() {
 		};
 	});
 	connection.onInitialized(() => {
-		if (dynamicWatch) connection.client.register(DidChangeWatchedFilesNotification.type, { watchers: [{ globPattern: "**/*.{json,jsonc}" }] }).catch((error) => connection.console.error(String(error)));
+		if (dynamicWatch) connection.client.register(DidChangeWatchedFilesNotification.type, { watchers: [{ globPattern: "**/*" }] }).catch((error) => connection.console.error(String(error)));
 		connection.workspace.onDidChangeWorkspaceFolders((event) => {
 			const removed = new Set(event.removed.map((f) => fileURLToPath(f.uri)));
 			workspace.roots = [...workspace.roots.filter((r) => !removed.has(r)), ...event.added.map((f) => fileURLToPath(f.uri))];
@@ -261,6 +207,9 @@ function startServer() {
 		});
 		if (document.uri.startsWith("file:") && workspace.close(document.uri)) scheduleAll();
 	});
+	documents.onDidSave(({ document }) => {
+		if (workspace.resourceChanged(document.uri)) refresh();
+	});
 	connection.onDidChangeWatchedFiles((params) => {
 		if (params.changes.some((change) => workspace.resourceChanged(change.uri))) refresh();
 	});

package/dist/lsp.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"lsp.mjs","names":[],"sources":["../src/lsp/workspace.ts","../src/lsp/hints.ts","../src/lsp/server.ts"],"sourcesContent":["import path from \"node:path\"\nimport { fileURLToPath, pathToFileURL } from \"node:url\"\nimport { TextDocument } from \"vscode-languageserver-textdocument\"\nimport {\n\tcontains,\n\tdiscoverConfig,\n\tloadProject,\n\treadText,\n\ttype ReadText,\n} from \"../core/config.ts\"\nimport { Engine } from \"../core/engine.ts\"\nimport { CorrectlyError, failure, type FileResult } from \"../core/types.ts\"\nimport { diagnostic } from \"../core/parse.ts\"\n\nexport class Workspace {\n\tonSchema: ((uri: string) => void) | undefined\n\troots: string[]\n\tprivate readonly read: ReadText\n\treadonly documents = new Map<string, TextDocument>()\n\tprivate readonly engines = new Map<string, Promise<Engine>>()\n\tprivate controller = new AbortController()\n\tgeneration = 0\n\tconstructor(roots: string[], read: ReadText = readText) {\n\t\tthis.roots = roots\n\t\tthis.read = read\n\t}\n\n\tinvalidate() {\n\t\tthis.generation++\n\t\tthis.controller.abort()\n\t\tthis.controller = new AbortController()\n\t\tthis.engines.clear()\n\t}\n\n\topen(document: TextDocument): boolean {\n\t\tthis.documents.set(document.uri, document)\n\t\tconst resource =\n\t\t\tpath.basename(fileURLToPath(document.uri)) === \"correctly.config.json\" ||\n\t\t\tthis.isSchema(document.uri)\n\t\tif (resource) this.invalidate()\n\t\treturn resource\n\t}\n\tclose(uri: string): boolean {\n\t\tconst resource =\n\t\t\turi.endsWith(\"/correctly.config.json\") || this.isSchema(uri)\n\t\tthis.documents.delete(uri)\n\t\tif (resource) this.invalidate()\n\t\treturn resource\n\t}\n\tprivate readonly schemaUris = new Set<string>()\n\tprivate isSchema(uri: string): boolean {\n\t\treturn this.schemaUris.has(uri)\n\t}\n\tresourceChanged(uri: string): boolean {\n\t\treturn uri.endsWith(\"/correctly.config.json\") || this.isSchema(uri)\n\t}\n\tprivate readonly readBuffer: ReadText = (uri) => {\n\t\tconst document = this.documents.get(uri)\n\t\treturn document ? Promise.resolve(document.getText()) : this.read(uri)\n\t}\n\n\tasync engineFor(uri: string): Promise<Engine> {\n\t\tconst file = fileURLToPath(uri)\n\t\tconst root = this.roots\n\t\t\t.filter((r) => contains(r, file))\n\t\t\t.sort((a, b) => b.length - a.length)[0]\n\t\tif (this.roots.length && !root)\n\t\t\tthrow new CorrectlyError(\n\t\t\t\t\"config\",\n\t\t\t\t`Document is outside the editor workspace: ${file}`,\n\t\t\t)\n\t\tconst virtualConfigs = new Set(\n\t\t\t[...this.documents.keys()]\n\t\t\t\t.filter((key) => key.endsWith(\"/correctly.config.json\"))\n\t\t\t\t.map((key) => fileURLToPath(key)),\n\t\t)\n\t\tconst configPath = await discoverConfig(\n\t\t\tpath.dirname(file),\n\t\t\troot,\n\t\t\tvirtualConfigs,\n\t\t)\n\t\tlet promise = this.engines.get(configPath)\n\t\tif (!promise) {\n\t\t\tconst signal = this.controller.signal\n\t\t\tpromise = (async () => {\n\t\t\t\tconst project = await loadProject(configPath, this.readBuffer)\n\t\t\t\tconst readSchema: ReadText = async (schema) => {\n\t\t\t\t\tthis.schemaUris.add(schema)\n\t\t\t\t\tthis.onSchema?.(schema)\n\t\t\t\t\treturn this.readBuffer(schema)\n\t\t\t\t}\n\t\t\t\tconst engine = new Engine(project, { read: readSchema, signal })\n\t\t\t\tawait engine.prepare()\n\t\t\t\tfor (const resource of engine.store.resources.values())\n\t\t\t\t\tthis.schemaUris.add(resource.uri)\n\t\t\t\tsignal.throwIfAborted()\n\t\t\t\treturn engine\n\t\t\t})()\n\t\t\tthis.engines.set(configPath, promise)\n\t\t}\n\t\treturn promise\n\t}\n\n\tasync validate(document: TextDocument): Promise<FileResult> {\n\t\ttry {\n\t\t\tconst engine = await this.engineFor(document.uri)\n\t\t\treturn await engine.validate(\n\t\t\t\tfileURLToPath(document.uri),\n\t\t\t\tdocument.getText(),\n\t\t\t)\n\t\t} catch (error) {\n\t\t\tconst problem = failure(error, fileURLToPath(document.uri))\n\t\t\treturn {\n\t\t\t\tfile: fileURLToPath(document.uri),\n\t\t\t\tmode: document.languageId === \"jsonc\" ? \"jsonc\" : \"json\",\n\t\t\t\tassociation: null,\n\t\t\t\tcoverage: \"syntax-only\",\n\t\t\t\tdiagnostics: [\n\t\t\t\t\tdiagnostic(document.getText(), problem.code, problem.message),\n\t\t\t\t],\n\t\t\t\tfailures: [problem],\n\t\t\t}\n\t\t}\n\t}\n\n\tdocumentPath(uri: string): string {\n\t\treturn fileURLToPath(uri)\n\t}\n\trootUris(): string[] {\n\t\treturn this.roots.map((root) => pathToFileURL(root).href)\n\t}\n}\n","import {\n\tgetLanguageService,\n\ttype JSONDocument,\n\ttype LanguageService,\n\ttype Position,\n} from \"vscode-json-languageservice\"\nimport type { TextDocument } from \"vscode-languageserver-textdocument\"\nimport { fileURLToPath } from \"node:url\"\nimport { associationFor, isIncluded } from \"../core/config.ts\"\nimport type { Engine } from \"../core/engine.ts\"\n\n// Only the schema-selection accessor is hidden. The original AST (including\n// $schema as ordinary data) is retained by every bound traversal method.\nexport function externalSelection(document: JSONDocument): JSONDocument {\n\treturn new Proxy(document, {\n\t\tget(target, key) {\n\t\t\tif (key === \"root\") return undefined\n\t\t\tconst value: unknown = Reflect.get(target, key)\n\t\t\treturn typeof value === \"function\" ? value.bind(target) : value\n\t\t},\n\t})\n}\n\nexport class Hints {\n\tprivate readonly services = new WeakMap<\n\t\tEngine,\n\t\tMap<string, LanguageService>\n\t>()\n\tprivate async service(\n\t\tengine: Engine,\n\t\tdocument: TextDocument,\n\t): Promise<LanguageService | undefined> {\n\t\tconst file = fileURLToPath(document.uri)\n\t\tif (!isIncluded(engine.project, file)) return undefined\n\t\tconst association = associationFor(engine.project, file)\n\t\tif (!association?.schema) return undefined\n\t\tawait engine.validator(association.schema)\n\t\tlet services = this.services.get(engine)\n\t\tif (!services) {\n\t\t\tservices = new Map()\n\t\t\tthis.services.set(engine, services)\n\t\t}\n\t\tlet service = services.get(association.schema)\n\t\tif (!service) {\n\t\t\tservice = getLanguageService({\n\t\t\t\tschemaRequestService: async (uri) =>\n\t\t\t\t\tJSON.stringify((await engine.store.load(uri)).schema),\n\t\t\t\tworkspaceContext: {\n\t\t\t\t\tresolveRelativePath: (relative, resource) =>\n\t\t\t\t\t\tnew URL(relative, resource).href,\n\t\t\t\t},\n\t\t\t})\n\t\t\t// A per-association service prevents overlapping rules being combined.\n\t\t\tservice.configure({\n\t\t\t\tvalidate: false,\n\t\t\t\tschemas: [{ uri: association.schema, fileMatch: [\"*\"] }],\n\t\t\t})\n\t\t\tservices.set(association.schema, service)\n\t\t}\n\t\treturn service\n\t}\n\tasync complete(engine: Engine, document: TextDocument, position: Position) {\n\t\tconst service = await this.service(engine, document)\n\t\treturn service\n\t\t\t? await service.doComplete(\n\t\t\t\t\tdocument,\n\t\t\t\t\tposition,\n\t\t\t\t\texternalSelection(service.parseJSONDocument(document)),\n\t\t\t\t)\n\t\t\t: { isIncomplete: false, items: [] }\n\t}\n\tasync hover(engine: Engine, document: TextDocument, position: Position) {\n\t\tconst service = await this.service(engine, document)\n\t\treturn service\n\t\t\t? await service.doHover(\n\t\t\t\t\tdocument,\n\t\t\t\t\tposition,\n\t\t\t\t\texternalSelection(service.parseJSONDocument(document)),\n\t\t\t\t)\n\t\t\t: null\n\t}\n}\n","#!/usr/bin/env node\nimport { fileURLToPath, pathToFileURL } from \"node:url\"\nimport path from \"node:path\"\nimport {\n\tcreateConnection,\n\tTextDocuments,\n\tTextDocumentSyncKind,\n\tDidChangeWatchedFilesNotification,\n\tResponseError,\n\tLSPErrorCodes,\n\ttype CancellationToken,\n} from \"vscode-languageserver/node\"\nimport { TextDocument } from \"vscode-languageserver-textdocument\"\nimport { Workspace } from \"./workspace.ts\"\nimport { Hints } from \"./hints.ts\"\nimport type { FileResult } from \"../core/types.ts\"\nimport { diagnostic } from \"../core/parse.ts\"\nimport { diagnosticViews, diagnosticDetails } from \"../core/diagnostics.ts\"\n\nexport function lspDiagnostics(result: FileResult, text: string) {\n\treturn diagnosticViews([\n\t\t...result.diagnostics,\n\t\t...result.failures\n\t\t\t.filter(\n\t\t\t\t(f) =>\n\t\t\t\t\t!result.diagnostics.some(\n\t\t\t\t\t\t(d) => d.code === f.code && d.message === f.message,\n\t\t\t\t\t),\n\t\t\t)\n\t\t\t.map((f) => diagnostic(text, f.code, f.message)),\n\t]).map((d) => ({\n\t\trange: d.range,\n\t\tmessage: d.message,\n\t\tcode: d.code,\n\t\tseverity: 1 as const,\n\t\tsource: \"correctly\",\n\t\tdata: { pointer: d.pointer },\n\t\t...(d.branches.length\n\t\t\t? {\n\t\t\t\t\trelatedInformation: diagnosticDetails(d).map(\n\t\t\t\t\t\t({ label, diagnostic }) => ({\n\t\t\t\t\t\t\tlocation: {\n\t\t\t\t\t\t\t\turi: pathToFileURL(result.file).href,\n\t\t\t\t\t\t\t\trange: diagnostic.range,\n\t\t\t\t\t\t\t},\n\t\t\t\t\t\t\tmessage: `${label}: ${diagnostic.message}`,\n\t\t\t\t\t\t}),\n\t\t\t\t\t),\n\t\t\t\t}\n\t\t\t: {}),\n\t}))\n}\n\nexport function startServer() {\n\tconst connection = createConnection()\n\tconst documents = new TextDocuments(TextDocument)\n\tconst workspace = new Workspace([])\n\tconst hints = new Hints()\n\tconst jobs = new Map<\n\t\tstring,\n\t\t{ controller: AbortController; timer: ReturnType<typeof setTimeout> }\n\t>()\n\tlet dynamicWatch = false\n\tconst watchedSchemas = new Set<string>()\n\tworkspace.onSchema = (uri) => {\n\t\tif (!dynamicWatch || !uri.startsWith(\"file:\") || watchedSchemas.has(uri))\n\t\t\treturn\n\t\twatchedSchemas.add(uri)\n\t\tconst file = fileURLToPath(uri)\n\t\tvoid connection.client\n\t\t\t.register(DidChangeWatchedFilesNotification.type, {\n\t\t\t\twatchers: [\n\t\t\t\t\t{\n\t\t\t\t\t\tglobPattern: {\n\t\t\t\t\t\t\tbaseUri: pathToFileURL(path.dirname(file)).href,\n\t\t\t\t\t\t\tpattern: path.basename(file),\n\t\t\t\t\t\t},\n\t\t\t\t\t},\n\t\t\t\t],\n\t\t\t})\n\t\t\t.catch((error: unknown) => connection.console.error(String(error)))\n\t}\n\tconnection.onInitialize((params) => {\n\t\tworkspace.roots = (\n\t\t\tparams.workspaceFolders?.map((f) => f.uri) ??\n\t\t\t(params.rootUri ? [params.rootUri] : [])\n\t\t)\n\t\t\t.filter((uri) => uri.startsWith(\"file:\"))\n\t\t\t.map((uri) => fileURLToPath(uri))\n\t\tdynamicWatch =\n\t\t\tparams.capabilities.workspace?.didChangeWatchedFiles\n\t\t\t\t?.dynamicRegistration ?? false\n\t\treturn {\n\t\t\tcapabilities: {\n\t\t\t\ttextDocumentSync: TextDocumentSyncKind.Incremental,\n\t\t\t\tcompletionProvider: { triggerCharacters: ['\"', \":\"] },\n\t\t\t\thoverProvider: true,\n\t\t\t\tworkspace: {\n\t\t\t\t\tworkspaceFolders: { supported: true, changeNotifications: true },\n\t\t\t\t},\n\t\t\t},\n\t\t\tserverInfo: { name: \"correctly\", version: \"0.0.0\" },\n\t\t}\n\t})\n\tconnection.onInitialized(() => {\n\t\tif (dynamicWatch)\n\t\t\tvoid connection.client\n\t\t\t\t.register(DidChangeWatchedFilesNotification.type, {\n\t\t\t\t\twatchers: [{ globPattern: \"**/*.{json,jsonc}\" }],\n\t\t\t\t})\n\t\t\t\t.catch((error: unknown) => connection.console.error(String(error)))\n\t\tconnection.workspace.onDidChangeWorkspaceFolders((event) => {\n\t\t\tconst removed = new Set(event.removed.map((f) => fileURLToPath(f.uri)))\n\t\t\tworkspace.roots = [\n\t\t\t\t...workspace.roots.filter((r) => !removed.has(r)),\n\t\t\t\t...event.added.map((f) => fileURLToPath(f.uri)),\n\t\t\t]\n\t\t\trefresh()\n\t\t})\n\t})\n\tfunction schedule(document: TextDocument) {\n\t\tif (!document.uri.startsWith(\"file:\")) return\n\t\tconst previous = jobs.get(document.uri)\n\t\tif (previous) {\n\t\t\tclearTimeout(previous.timer)\n\t\t\tprevious.controller.abort()\n\t\t}\n\t\tconst controller = new AbortController()\n\t\tconst generation = workspace.generation\n\t\tconst timer = setTimeout(() => {\n\t\t\tvoid workspace\n\t\t\t\t.validate(document)\n\t\t\t\t.then((result) => {\n\t\t\t\t\tif (\n\t\t\t\t\t\tcontroller.signal.aborted ||\n\t\t\t\t\t\tworkspace.generation !== generation ||\n\t\t\t\t\t\tdocuments.get(document.uri)?.version !== document.version\n\t\t\t\t\t)\n\t\t\t\t\t\treturn\n\t\t\t\t\treturn connection.sendDiagnostics({\n\t\t\t\t\t\turi: document.uri,\n\t\t\t\t\t\tversion: document.version,\n\t\t\t\t\t\tdiagnostics: lspDiagnostics(result, document.getText()),\n\t\t\t\t\t})\n\t\t\t\t})\n\t\t\t\t.catch((error: unknown) => connection.console.error(String(error)))\n\t\t}, 40)\n\t\tjobs.set(document.uri, { controller, timer })\n\t}\n\tfunction scheduleAll() {\n\t\tfor (const document of documents.all()) schedule(document)\n\t}\n\tfunction refresh() {\n\t\tworkspace.invalidate()\n\t\tscheduleAll()\n\t}\n\tdocuments.onDidChangeContent(({ document }) => {\n\t\tif (!document.uri.startsWith(\"file:\")) return\n\t\tconst resourceChanged = workspace.open(document)\n\t\tif (resourceChanged) scheduleAll()\n\t\telse schedule(document)\n\t})\n\tdocuments.onDidClose(async ({ document }) => {\n\t\tconst job = jobs.get(document.uri)\n\t\tif (job) {\n\t\t\tclearTimeout(job.timer)\n\t\t\tjob.controller.abort()\n\t\t\tjobs.delete(document.uri)\n\t\t}\n\t\tawait connection.sendDiagnostics({ uri: document.uri, diagnostics: [] })\n\t\tif (document.uri.startsWith(\"file:\") && workspace.close(document.uri))\n\t\t\tscheduleAll()\n\t})\n\tconnection.onDidChangeWatchedFiles((params) => {\n\t\t// Cache writes and unrelated JSON files must not trigger schema reloads.\n\t\tif (params.changes.some((change) => workspace.resourceChanged(change.uri)))\n\t\t\trefresh()\n\t})\n\tconnection.onDidChangeConfiguration(refresh)\n\tasync function request<T>(\n\t\turi: string,\n\t\ttoken: CancellationToken,\n\t\taction: (\n\t\t\tengine: Awaited<ReturnType<Workspace[\"engineFor\"]>>,\n\t\t\tdocument: TextDocument,\n\t\t) => Promise<T>,\n\t): Promise<T | null> {\n\t\tconst document = documents.get(uri)\n\t\tif (!document || !uri.startsWith(\"file:\")) return null\n\t\tconst generation = workspace.generation\n\t\tconst cancelled = () =>\n\t\t\ttoken.isCancellationRequested ||\n\t\t\tworkspace.generation !== generation ||\n\t\t\tdocuments.get(uri)?.version !== document.version\n\t\tif (cancelled())\n\t\t\tthrow new ResponseError(\n\t\t\t\tLSPErrorCodes.RequestCancelled,\n\t\t\t\t\"Request cancelled\",\n\t\t\t)\n\t\tconst operation = (async () => {\n\t\t\ttry {\n\t\t\t\tconst engine = await workspace.engineFor(uri)\n\t\t\t\tif (cancelled())\n\t\t\t\t\tthrow new ResponseError(\n\t\t\t\t\t\tLSPErrorCodes.RequestCancelled,\n\t\t\t\t\t\t\"Request cancelled\",\n\t\t\t\t\t)\n\t\t\t\tconst result = await action(engine, document)\n\t\t\t\tif (cancelled())\n\t\t\t\t\tthrow new ResponseError(\n\t\t\t\t\t\tLSPErrorCodes.RequestCancelled,\n\t\t\t\t\t\t\"Request cancelled\",\n\t\t\t\t\t)\n\t\t\t\treturn result\n\t\t\t} catch (error) {\n\t\t\t\tif (error instanceof ResponseError) throw error\n\t\t\t\tif (cancelled())\n\t\t\t\t\tthrow new ResponseError(\n\t\t\t\t\t\tLSPErrorCodes.RequestCancelled,\n\t\t\t\t\t\t\"Request cancelled\",\n\t\t\t\t\t)\n\t\t\t\tconnection.console.error(String(error))\n\t\t\t\treturn null\n\t\t\t}\n\t\t})()\n\t\tlet listener: { dispose(): void } | undefined\n\t\tconst cancellation = new Promise<never>((_resolve, reject) => {\n\t\t\tlistener = token.onCancellationRequested(() =>\n\t\t\t\treject(\n\t\t\t\t\tnew ResponseError(\n\t\t\t\t\t\tLSPErrorCodes.RequestCancelled,\n\t\t\t\t\t\t\"Request cancelled\",\n\t\t\t\t\t),\n\t\t\t\t),\n\t\t\t)\n\t\t})\n\t\ttry {\n\t\t\treturn await Promise.race([operation, cancellation])\n\t\t} finally {\n\t\t\tlistener?.dispose()\n\t\t}\n\t}\n\tconnection.onCompletion((params, token) =>\n\t\trequest(params.textDocument.uri, token, (engine, document) =>\n\t\t\thints.complete(engine, document, params.position),\n\t\t),\n\t)\n\tconnection.onHover((params, token) =>\n\t\trequest(params.textDocument.uri, token, (engine, document) =>\n\t\t\thints.hover(engine, document, params.position),\n\t\t),\n\t)\n\tconnection.onShutdown(() => {\n\t\tworkspace.invalidate()\n\t\tfor (const job of jobs.values()) {\n\t\t\tclearTimeout(job.timer)\n\t\t\tjob.controller.abort()\n\t\t}\n\t\tjobs.clear()\n\t})\n\tdocuments.listen(connection)\n\tconnection.listen()\n}\n\nstartServer()\n"],"mappings":";;;;;;;;AAcA,IAAa,YAAb,MAAuB;CACtB;CACA;CACA;CACA,4BAAqB,IAAI,IAA0B;CACnD,0BAA2B,IAAI,IAA6B;CAC5D,aAAqB,IAAI,gBAAgB;CACzC,aAAa;CACb,YAAY,OAAiB,OAAiB,UAAU;EACvD,KAAK,QAAQ;EACb,KAAK,OAAO;CACb;CAEA,aAAa;EACZ,KAAK;EACL,KAAK,WAAW,MAAM;EACtB,KAAK,aAAa,IAAI,gBAAgB;EACtC,KAAK,QAAQ,MAAM;CACpB;CAEA,KAAK,UAAiC;EACrC,KAAK,UAAU,IAAI,SAAS,KAAK,QAAQ;EACzC,MAAM,WACL,KAAK,SAAS,cAAc,SAAS,GAAG,CAAC,MAAM,2BAC/C,KAAK,SAAS,SAAS,GAAG;EAC3B,IAAI,UAAU,KAAK,WAAW;EAC9B,OAAO;CACR;CACA,MAAM,KAAsB;EAC3B,MAAM,WACL,IAAI,SAAS,wBAAwB,KAAK,KAAK,SAAS,GAAG;EAC5D,KAAK,UAAU,OAAO,GAAG;EACzB,IAAI,UAAU,KAAK,WAAW;EAC9B,OAAO;CACR;CACA,6BAA8B,IAAI,IAAY;CAC9C,SAAiB,KAAsB;EACtC,OAAO,KAAK,WAAW,IAAI,GAAG;CAC/B;CACA,gBAAgB,KAAsB;EACrC,OAAO,IAAI,SAAS,wBAAwB,KAAK,KAAK,SAAS,GAAG;CACnE;CACA,cAAyC,QAAQ;EAChD,MAAM,WAAW,KAAK,UAAU,IAAI,GAAG;EACvC,OAAO,WAAW,QAAQ,QAAQ,SAAS,QAAQ,CAAC,IAAI,KAAK,KAAK,GAAG;CACtE;CAEA,MAAM,UAAU,KAA8B;EAC7C,MAAM,OAAO,cAAc,GAAG;EAC9B,MAAM,OAAO,KAAK,MAChB,QAAQ,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAChC,MAAM,GAAG,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;EACtC,IAAI,KAAK,MAAM,UAAU,CAAC,MACzB,MAAM,IAAI,eACT,UACA,6CAA6C,MAC9C;EACD,MAAM,iBAAiB,IAAI,IAC1B,CAAC,GAAG,KAAK,UAAU,KAAK,CAAC,CAAC,CACxB,QAAQ,QAAQ,IAAI,SAAS,wBAAwB,CAAC,CAAC,CACvD,KAAK,QAAQ,cAAc,GAAG,CAAC,CAClC;EACA,MAAM,aAAa,MAAM,eACxB,KAAK,QAAQ,IAAI,GACjB,MACA,cACD;EACA,IAAI,UAAU,KAAK,QAAQ,IAAI,UAAU;EACzC,IAAI,CAAC,SAAS;GACb,MAAM,SAAS,KAAK,WAAW;GAC/B,WAAW,YAAY;IACtB,MAAM,UAAU,MAAM,YAAY,YAAY,KAAK,UAAU;IAC7D,MAAM,aAAuB,OAAO,WAAW;KAC9C,KAAK,WAAW,IAAI,MAAM;KAC1B,KAAK,WAAW,MAAM;KACtB,OAAO,KAAK,WAAW,MAAM;IAC9B;IACA,MAAM,SAAS,IAAI,OAAO,SAAS;KAAE,MAAM;KAAY;IAAO,CAAC;IAC/D,MAAM,OAAO,QAAQ;IACrB,KAAK,MAAM,YAAY,OAAO,MAAM,UAAU,OAAO,GACpD,KAAK,WAAW,IAAI,SAAS,GAAG;IACjC,OAAO,eAAe;IACtB,OAAO;GACR,EAAA,CAAG;GACH,KAAK,QAAQ,IAAI,YAAY,OAAO;EACrC;EACA,OAAO;CACR;CAEA,MAAM,SAAS,UAA6C;EAC3D,IAAI;GAEH,OAAO,OAAM,MADQ,KAAK,UAAU,SAAS,GAAG,EAAA,CAC5B,SACnB,cAAc,SAAS,GAAG,GAC1B,SAAS,QAAQ,CAClB;EACD,SAAS,OAAO;GACf,MAAM,UAAU,QAAQ,OAAO,cAAc,SAAS,GAAG,CAAC;GAC1D,OAAO;IACN,MAAM,cAAc,SAAS,GAAG;IAChC,MAAM,SAAS,eAAe,UAAU,UAAU;IAClD,aAAa;IACb,UAAU;IACV,aAAa,CACZ,WAAW,SAAS,QAAQ,GAAG,QAAQ,MAAM,QAAQ,OAAO,CAC7D;IACA,UAAU,CAAC,OAAO;GACnB;EACD;CACD;CAEA,aAAa,KAAqB;EACjC,OAAO,cAAc,GAAG;CACzB;CACA,WAAqB;EACpB,OAAO,KAAK,MAAM,KAAK,SAAS,cAAc,IAAI,CAAC,CAAC,IAAI;CACzD;AACD;;;ACtHA,SAAgB,kBAAkB,UAAsC;CACvE,OAAO,IAAI,MAAM,UAAU,EAC1B,IAAI,QAAQ,KAAK;EAChB,IAAI,QAAQ,QAAQ,OAAO,KAAA;EAC3B,MAAM,QAAiB,QAAQ,IAAI,QAAQ,GAAG;EAC9C,OAAO,OAAO,UAAU,aAAa,MAAM,KAAK,MAAM,IAAI;CAC3D,EACD,CAAC;AACF;AAEA,IAAa,QAAb,MAAmB;CAClB,2BAA4B,IAAI,QAG9B;CACF,MAAc,QACb,QACA,UACuC;EACvC,MAAM,OAAO,cAAc,SAAS,GAAG;EACvC,IAAI,CAAC,WAAW,OAAO,SAAS,IAAI,GAAG,OAAO,KAAA;EAC9C,MAAM,cAAc,eAAe,OAAO,SAAS,IAAI;EACvD,IAAI,CAAC,aAAa,QAAQ,OAAO,KAAA;EACjC,MAAM,OAAO,UAAU,YAAY,MAAM;EACzC,IAAI,WAAW,KAAK,SAAS,IAAI,MAAM;EACvC,IAAI,CAAC,UAAU;GACd,2BAAW,IAAI,IAAI;GACnB,KAAK,SAAS,IAAI,QAAQ,QAAQ;EACnC;EACA,IAAI,UAAU,SAAS,IAAI,YAAY,MAAM;EAC7C,IAAI,CAAC,SAAS;GACb,UAAU,mBAAmB;IAC5B,sBAAsB,OAAO,QAC5B,KAAK,WAAW,MAAM,OAAO,MAAM,KAAK,GAAG,EAAA,CAAG,MAAM;IACrD,kBAAkB,EACjB,sBAAsB,UAAU,aAC/B,IAAI,IAAI,UAAU,QAAQ,CAAC,CAAC,KAC9B;GACD,CAAC;GAED,QAAQ,UAAU;IACjB,UAAU;IACV,SAAS,CAAC;KAAE,KAAK,YAAY;KAAQ,WAAW,CAAC,GAAG;IAAE,CAAC;GACxD,CAAC;GACD,SAAS,IAAI,YAAY,QAAQ,OAAO;EACzC;EACA,OAAO;CACR;CACA,MAAM,SAAS,QAAgB,UAAwB,UAAoB;EAC1E,MAAM,UAAU,MAAM,KAAK,QAAQ,QAAQ,QAAQ;EACnD,OAAO,UACJ,MAAM,QAAQ,WACd,UACA,UACA,kBAAkB,QAAQ,kBAAkB,QAAQ,CAAC,CACtD,IACC;GAAE,cAAc;GAAO,OAAO,CAAC;EAAE;CACrC;CACA,MAAM,MAAM,QAAgB,UAAwB,UAAoB;EACvE,MAAM,UAAU,MAAM,KAAK,QAAQ,QAAQ,QAAQ;EACnD,OAAO,UACJ,MAAM,QAAQ,QACd,UACA,UACA,kBAAkB,QAAQ,kBAAkB,QAAQ,CAAC,CACtD,IACC;CACJ;AACD;;;AC9DA,SAAgB,eAAe,QAAoB,MAAc;CAChE,OAAO,gBAAgB,CACtB,GAAG,OAAO,aACV,GAAG,OAAO,SACR,QACC,MACA,CAAC,OAAO,YAAY,MAClB,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,OAC7C,CACF,CAAC,CACA,KAAK,MAAM,WAAW,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CACjD,CAAC,CAAC,CAAC,KAAK,OAAO;EACd,OAAO,EAAE;EACT,SAAS,EAAE;EACX,MAAM,EAAE;EACR,UAAU;EACV,QAAQ;EACR,MAAM,EAAE,SAAS,EAAE,QAAQ;EAC3B,GAAI,EAAE,SAAS,SACZ,EACA,oBAAoB,kBAAkB,CAAC,CAAC,CAAC,KACvC,EAAE,OAAO,kBAAkB;GAC3B,UAAU;IACT,KAAK,cAAc,OAAO,IAAI,CAAC,CAAC;IAChC,OAAO,WAAW;GACnB;GACA,SAAS,GAAG,MAAM,IAAI,WAAW;EAClC,EACD,EACD,IACC,CAAC;CACL,EAAE;AACH;AAEA,SAAgB,cAAc;CAC7B,MAAM,aAAa,iBAAiB;CACpC,MAAM,YAAY,IAAI,cAAc,YAAY;CAChD,MAAM,YAAY,IAAI,UAAU,CAAC,CAAC;CAClC,MAAM,QAAQ,IAAI,MAAM;CACxB,MAAM,uBAAO,IAAI,IAGf;CACF,IAAI,eAAe;CACnB,MAAM,iCAAiB,IAAI,IAAY;CACvC,UAAU,YAAY,QAAQ;EAC7B,IAAI,CAAC,gBAAgB,CAAC,IAAI,WAAW,OAAO,KAAK,eAAe,IAAI,GAAG,GACtE;EACD,eAAe,IAAI,GAAG;EACtB,MAAM,OAAO,cAAc,GAAG;EAC9B,WAAgB,OACd,SAAS,kCAAkC,MAAM,EACjD,UAAU,CACT,EACC,aAAa;GACZ,SAAS,cAAc,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC;GAC3C,SAAS,KAAK,SAAS,IAAI;EAC5B,EACD,CACD,EACD,CAAC,CAAC,CACD,OAAO,UAAmB,WAAW,QAAQ,MAAM,OAAO,KAAK,CAAC,CAAC;CACpE;CACA,WAAW,cAAc,WAAW;EACnC,UAAU,SACT,OAAO,kBAAkB,KAAK,MAAM,EAAE,GAAG,MACxC,OAAO,UAAU,CAAC,OAAO,OAAO,IAAI,CAAC,GAAA,CAErC,QAAQ,QAAQ,IAAI,WAAW,OAAO,CAAC,CAAC,CACxC,KAAK,QAAQ,cAAc,GAAG,CAAC;EACjC,eACC,OAAO,aAAa,WAAW,uBAC5B,uBAAuB;EAC3B,OAAO;GACN,cAAc;IACb,kBAAkB,qBAAqB;IACvC,oBAAoB,EAAE,mBAAmB,CAAC,MAAK,GAAG,EAAE;IACpD,eAAe;IACf,WAAW,EACV,kBAAkB;KAAE,WAAW;KAAM,qBAAqB;IAAK,EAChE;GACD;GACA,YAAY;IAAE,MAAM;IAAa,SAAS;GAAQ;EACnD;CACD,CAAC;CACD,WAAW,oBAAoB;EAC9B,IAAI,cACH,WAAgB,OACd,SAAS,kCAAkC,MAAM,EACjD,UAAU,CAAC,EAAE,aAAa,oBAAoB,CAAC,EAChD,CAAC,CAAC,CACD,OAAO,UAAmB,WAAW,QAAQ,MAAM,OAAO,KAAK,CAAC,CAAC;EACpE,WAAW,UAAU,6BAA6B,UAAU;GAC3D,MAAM,UAAU,IAAI,IAAI,MAAM,QAAQ,KAAK,MAAM,cAAc,EAAE,GAAG,CAAC,CAAC;GACtE,UAAU,QAAQ,CACjB,GAAG,UAAU,MAAM,QAAQ,MAAM,CAAC,QAAQ,IAAI,CAAC,CAAC,GAChD,GAAG,MAAM,MAAM,KAAK,MAAM,cAAc,EAAE,GAAG,CAAC,CAC/C;GACA,QAAQ;EACT,CAAC;CACF,CAAC;CACD,SAAS,SAAS,UAAwB;EACzC,IAAI,CAAC,SAAS,IAAI,WAAW,OAAO,GAAG;EACvC,MAAM,WAAW,KAAK,IAAI,SAAS,GAAG;EACtC,IAAI,UAAU;GACb,aAAa,SAAS,KAAK;GAC3B,SAAS,WAAW,MAAM;EAC3B;EACA,MAAM,aAAa,IAAI,gBAAgB;EACvC,MAAM,aAAa,UAAU;EAC7B,MAAM,QAAQ,iBAAiB;GAC9B,UACE,SAAS,QAAQ,CAAC,CAClB,MAAM,WAAW;IACjB,IACC,WAAW,OAAO,WAClB,UAAU,eAAe,cACzB,UAAU,IAAI,SAAS,GAAG,CAAC,EAAE,YAAY,SAAS,SAElD;IACD,OAAO,WAAW,gBAAgB;KACjC,KAAK,SAAS;KACd,SAAS,SAAS;KAClB,aAAa,eAAe,QAAQ,SAAS,QAAQ,CAAC;IACvD,CAAC;GACF,CAAC,CAAC,CACD,OAAO,UAAmB,WAAW,QAAQ,MAAM,OAAO,KAAK,CAAC,CAAC;EACpE,GAAG,EAAE;EACL,KAAK,IAAI,SAAS,KAAK;GAAE;GAAY;EAAM,CAAC;CAC7C;CACA,SAAS,cAAc;EACtB,KAAK,MAAM,YAAY,UAAU,IAAI,GAAG,SAAS,QAAQ;CAC1D;CACA,SAAS,UAAU;EAClB,UAAU,WAAW;EACrB,YAAY;CACb;CACA,UAAU,oBAAoB,EAAE,eAAe;EAC9C,IAAI,CAAC,SAAS,IAAI,WAAW,OAAO,GAAG;EAEvC,IADwB,UAAU,KAAK,QACrB,GAAG,YAAY;OAC5B,SAAS,QAAQ;CACvB,CAAC;CACD,UAAU,WAAW,OAAO,EAAE,eAAe;EAC5C,MAAM,MAAM,KAAK,IAAI,SAAS,GAAG;EACjC,IAAI,KAAK;GACR,aAAa,IAAI,KAAK;GACtB,IAAI,WAAW,MAAM;GACrB,KAAK,OAAO,SAAS,GAAG;EACzB;EACA,MAAM,WAAW,gBAAgB;GAAE,KAAK,SAAS;GAAK,aAAa,CAAC;EAAE,CAAC;EACvE,IAAI,SAAS,IAAI,WAAW,OAAO,KAAK,UAAU,MAAM,SAAS,GAAG,GACnE,YAAY;CACd,CAAC;CACD,WAAW,yBAAyB,WAAW;EAE9C,IAAI,OAAO,QAAQ,MAAM,WAAW,UAAU,gBAAgB,OAAO,GAAG,CAAC,GACxE,QAAQ;CACV,CAAC;CACD,WAAW,yBAAyB,OAAO;CAC3C,eAAe,QACd,KACA,OACA,QAIoB;EACpB,MAAM,WAAW,UAAU,IAAI,GAAG;EAClC,IAAI,CAAC,YAAY,CAAC,IAAI,WAAW,OAAO,GAAG,OAAO;EAClD,MAAM,aAAa,UAAU;EAC7B,MAAM,kBACL,MAAM,2BACN,UAAU,eAAe,cACzB,UAAU,IAAI,GAAG,CAAC,EAAE,YAAY,SAAS;EAC1C,IAAI,UAAU,GACb,MAAM,IAAI,cACT,cAAc,kBACd,mBACD;EACD,MAAM,aAAa,YAAY;GAC9B,IAAI;IACH,MAAM,SAAS,MAAM,UAAU,UAAU,GAAG;IAC5C,IAAI,UAAU,GACb,MAAM,IAAI,cACT,cAAc,kBACd,mBACD;IACD,MAAM,SAAS,MAAM,OAAO,QAAQ,QAAQ;IAC5C,IAAI,UAAU,GACb,MAAM,IAAI,cACT,cAAc,kBACd,mBACD;IACD,OAAO;GACR,SAAS,OAAO;IACf,IAAI,iBAAiB,eAAe,MAAM;IAC1C,IAAI,UAAU,GACb,MAAM,IAAI,cACT,cAAc,kBACd,mBACD;IACD,WAAW,QAAQ,MAAM,OAAO,KAAK,CAAC;IACtC,OAAO;GACR;EACD,EAAA,CAAG;EACH,IAAI;EACJ,MAAM,eAAe,IAAI,SAAgB,UAAU,WAAW;GAC7D,WAAW,MAAM,8BAChB,OACC,IAAI,cACH,cAAc,kBACd,mBACD,CACD,CACD;EACD,CAAC;EACD,IAAI;GACH,OAAO,MAAM,QAAQ,KAAK,CAAC,WAAW,YAAY,CAAC;EACpD,UAAU;GACT,UAAU,QAAQ;EACnB;CACD;CACA,WAAW,cAAc,QAAQ,UAChC,QAAQ,OAAO,aAAa,KAAK,QAAQ,QAAQ,aAChD,MAAM,SAAS,QAAQ,UAAU,OAAO,QAAQ,CACjD,CACD;CACA,WAAW,SAAS,QAAQ,UAC3B,QAAQ,OAAO,aAAa,KAAK,QAAQ,QAAQ,aAChD,MAAM,MAAM,QAAQ,UAAU,OAAO,QAAQ,CAC9C,CACD;CACA,WAAW,iBAAiB;EAC3B,UAAU,WAAW;EACrB,KAAK,MAAM,OAAO,KAAK,OAAO,GAAG;GAChC,aAAa,IAAI,KAAK;GACtB,IAAI,WAAW,MAAM;EACtB;EACA,KAAK,MAAM;CACZ,CAAC;CACD,UAAU,OAAO,UAAU;CAC3B,WAAW,OAAO;AACnB;AAEA,YAAY"}
+{"version":3,"file":"lsp.mjs","names":[],"sources":["../src/lsp/workspace.ts","../src/lsp/server.ts"],"sourcesContent":["import path from \"node:path\"\nimport { fileURLToPath, pathToFileURL } from \"node:url\"\nimport { TextDocument } from \"vscode-languageserver-textdocument\"\nimport { contains, discoverConfig, CONFIG_NAME } from \"../core/config.ts\"\nimport { ProjectSession } from \"../runtime/session.ts\"\nimport { CorrectlyError, failure, type FileResult } from \"../core/types.ts\"\nimport { diagnostic } from \"../core/parse.ts\"\n\nexport class Workspace {\n\tonSchema: ((uri: string) => void) | undefined\n\troots: string[]\n\treadonly documents = new Map<string, TextDocument>()\n\tprivate readonly engines = new Map<string, ProjectSession>()\n\tgeneration = 0\n\tconstructor(roots: string[]) {\n\t\tthis.roots = roots\n\t}\n\n\tinvalidate() {\n\t\tthis.generation++\n\t\tfor (const session of this.engines.values()) void session.dispose()\n\t\tthis.engines.clear()\n\t}\n\n\topen(document: TextDocument): boolean {\n\t\tthis.documents.set(document.uri, document)\n\t\tconst resource =\n\t\t\tthis.isSchema(document.uri) && !this.moduleUris.has(document.uri)\n\t\tif (resource) this.invalidate()\n\t\treturn resource\n\t}\n\tclose(uri: string): boolean {\n\t\tconst resource = this.isSchema(uri) && !this.moduleUris.has(uri)\n\t\tthis.documents.delete(uri)\n\t\tif (resource) this.invalidate()\n\t\treturn resource\n\t}\n\tprivate readonly schemaUris = new Set<string>()\n\tprivate isSchema(uri: string): boolean {\n\t\treturn this.schemaUris.has(uri)\n\t}\n\tprivate readonly moduleUris = new Set<string>()\n\tresourceChanged(uri: string): boolean {\n\t\treturn (\n\t\t\turi.endsWith(`/${CONFIG_NAME}`) ||\n\t\t\tthis.isSchema(uri) ||\n\t\t\tthis.moduleUris.has(uri) ||\n\t\t\t/\\/(?:package\\.json|pnpm-lock\\.yaml|package-lock\\.json|yarn\\.lock)$/.test(\n\t\t\t\turi,\n\t\t\t)\n\t\t)\n\t}\n\n\tasync engineFor(uri: string): Promise<ProjectSession> {\n\t\tconst file = fileURLToPath(uri)\n\t\tconst root = this.roots\n\t\t\t.filter((r) => contains(r, file))\n\t\t\t.sort((a, b) => b.length - a.length)[0]\n\t\tif (this.roots.length && !root)\n\t\t\tthrow new CorrectlyError(\n\t\t\t\t\"config\",\n\t\t\t\t`Document is outside the editor workspace: ${file}`,\n\t\t\t)\n\t\tconst configPath = await discoverConfig(path.dirname(file), root)\n\t\tlet session = this.engines.get(configPath)\n\t\tif (!session) {\n\t\t\tsession = new ProjectSession(configPath, {\n\t\t\t\tbuffers: [...this.documents].map(([uri, document]) => [\n\t\t\t\t\turi,\n\t\t\t\t\tdocument.getText(),\n\t\t\t\t]),\n\t\t\t\tonDependency: (dependency, kind) => {\n\t\t\t\t\t;(kind === \"module\" ? this.moduleUris : this.schemaUris).add(\n\t\t\t\t\t\tdependency,\n\t\t\t\t\t)\n\t\t\t\t\tthis.onSchema?.(dependency)\n\t\t\t\t},\n\t\t\t})\n\t\t\tthis.engines.set(configPath, session)\n\t\t}\n\t\tawait session.ready\n\t\treturn session\n\t}\n\n\tasync validate(document: TextDocument): Promise<FileResult> {\n\t\ttry {\n\t\t\tconst engine = await this.engineFor(document.uri)\n\t\t\treturn await engine.validate(\n\t\t\t\tfileURLToPath(document.uri),\n\t\t\t\tdocument.getText(),\n\t\t\t)\n\t\t} catch (error) {\n\t\t\tconst problem = failure(error, fileURLToPath(document.uri))\n\t\t\tif (\n\t\t\t\tproblem.code === \"config\" &&\n\t\t\t\tproblem.message.startsWith(`No ${CONFIG_NAME} found`) &&\n\t\t\t\t![\"json\", \"jsonc\"].includes(document.languageId)\n\t\t\t)\n\t\t\t\treturn {\n\t\t\t\t\tfile: fileURLToPath(document.uri),\n\t\t\t\t\tmode: document.languageId,\n\t\t\t\t\tassociation: null,\n\t\t\t\t\tcoverage: \"excluded\",\n\t\t\t\t\tdiagnostics: [],\n\t\t\t\t\tfailures: [],\n\t\t\t\t}\n\n\t\t\treturn {\n\t\t\t\tfile: fileURLToPath(document.uri),\n\t\t\t\tmode: document.languageId === \"jsonc\" ? \"jsonc\" : \"json\",\n\t\t\t\tassociation: null,\n\t\t\t\tcoverage: \"syntax-only\",\n\t\t\t\tdiagnostics: [\n\t\t\t\t\tdiagnostic(document.getText(), problem.code, problem.message),\n\t\t\t\t],\n\t\t\t\tfailures: [problem],\n\t\t\t}\n\t\t}\n\t}\n\n\tdocumentPath(uri: string): string {\n\t\treturn fileURLToPath(uri)\n\t}\n\trootUris(): string[] {\n\t\treturn this.roots.map((root) => pathToFileURL(root).href)\n\t}\n}\n","#!/usr/bin/env node\nimport { fileURLToPath, pathToFileURL } from \"node:url\"\nimport path from \"node:path\"\nimport {\n\tcreateConnection,\n\tTextDocuments,\n\tTextDocumentSyncKind,\n\tDidChangeWatchedFilesNotification,\n\tResponseError,\n\tLSPErrorCodes,\n\ttype CancellationToken,\n} from \"vscode-languageserver/node\"\nimport { TextDocument } from \"vscode-languageserver-textdocument\"\nimport { Workspace } from \"./workspace.ts\"\nimport { Hints } from \"./hints.ts\"\nimport type { FileResult } from \"../core/types.ts\"\nimport { diagnostic } from \"../core/parse.ts\"\nimport { diagnosticViews, diagnosticDetails } from \"../core/diagnostics.ts\"\n\nexport function lspDiagnostics(result: FileResult, text: string) {\n\treturn diagnosticViews([\n\t\t...result.diagnostics,\n\t\t...result.failures\n\t\t\t.filter(\n\t\t\t\t(f) =>\n\t\t\t\t\t!result.diagnostics.some(\n\t\t\t\t\t\t(d) => d.code === f.code && d.message === f.message,\n\t\t\t\t\t),\n\t\t\t)\n\t\t\t.map((f) => diagnostic(text, f.code, f.message)),\n\t]).map((d) => ({\n\t\trange: d.range,\n\t\tmessage: d.message,\n\t\tcode: d.code,\n\t\tseverity: 1 as const,\n\t\tsource: \"correctly\",\n\t\tdata: { pointer: d.pointer },\n\t\t...(d.branches.length\n\t\t\t? {\n\t\t\t\t\trelatedInformation: diagnosticDetails(d).map(\n\t\t\t\t\t\t({ label, diagnostic }) => ({\n\t\t\t\t\t\t\tlocation: {\n\t\t\t\t\t\t\t\turi: pathToFileURL(result.file).href,\n\t\t\t\t\t\t\t\trange: diagnostic.range,\n\t\t\t\t\t\t\t},\n\t\t\t\t\t\t\tmessage: `${label}: ${diagnostic.message}`,\n\t\t\t\t\t\t}),\n\t\t\t\t\t),\n\t\t\t\t}\n\t\t\t: {}),\n\t}))\n}\n\nexport function startServer() {\n\tconst connection = createConnection()\n\tconst documents = new TextDocuments(TextDocument)\n\tconst workspace = new Workspace([])\n\tconst hints = new Hints()\n\tconst jobs = new Map<\n\t\tstring,\n\t\t{ controller: AbortController; timer: ReturnType<typeof setTimeout> }\n\t>()\n\tlet dynamicWatch = false\n\tconst watchedSchemas = new Set<string>()\n\tworkspace.onSchema = (uri) => {\n\t\tif (!dynamicWatch || !uri.startsWith(\"file:\") || watchedSchemas.has(uri))\n\t\t\treturn\n\t\twatchedSchemas.add(uri)\n\t\tconst file = fileURLToPath(uri)\n\t\tvoid connection.client\n\t\t\t.register(DidChangeWatchedFilesNotification.type, {\n\t\t\t\twatchers: [\n\t\t\t\t\t{\n\t\t\t\t\t\tglobPattern: {\n\t\t\t\t\t\t\tbaseUri: pathToFileURL(path.dirname(file)).href,\n\t\t\t\t\t\t\tpattern: path.basename(file),\n\t\t\t\t\t\t},\n\t\t\t\t\t},\n\t\t\t\t],\n\t\t\t})\n\t\t\t.catch((error: unknown) => connection.console.error(String(error)))\n\t}\n\tconnection.onInitialize((params) => {\n\t\tworkspace.roots = (\n\t\t\tparams.workspaceFolders?.map((f) => f.uri) ??\n\t\t\t(params.rootUri ? [params.rootUri] : [])\n\t\t)\n\t\t\t.filter((uri) => uri.startsWith(\"file:\"))\n\t\t\t.map((uri) => fileURLToPath(uri))\n\t\tdynamicWatch =\n\t\t\tparams.capabilities.workspace?.didChangeWatchedFiles\n\t\t\t\t?.dynamicRegistration ?? false\n\t\treturn {\n\t\t\tcapabilities: {\n\t\t\t\ttextDocumentSync: {\n\t\t\t\t\topenClose: true,\n\t\t\t\t\tchange: TextDocumentSyncKind.Incremental,\n\t\t\t\t\tsave: { includeText: false },\n\t\t\t\t},\n\t\t\t\tcompletionProvider: { triggerCharacters: ['\"', \":\"] },\n\t\t\t\thoverProvider: true,\n\t\t\t\tworkspace: {\n\t\t\t\t\tworkspaceFolders: { supported: true, changeNotifications: true },\n\t\t\t\t},\n\t\t\t},\n\t\t\tserverInfo: { name: \"correctly\", version: \"0.0.0\" },\n\t\t}\n\t})\n\tconnection.onInitialized(() => {\n\t\tif (dynamicWatch)\n\t\t\tvoid connection.client\n\t\t\t\t.register(DidChangeWatchedFilesNotification.type, {\n\t\t\t\t\twatchers: [{ globPattern: \"**/*\" }],\n\t\t\t\t})\n\t\t\t\t.catch((error: unknown) => connection.console.error(String(error)))\n\t\tconnection.workspace.onDidChangeWorkspaceFolders((event) => {\n\t\t\tconst removed = new Set(event.removed.map((f) => fileURLToPath(f.uri)))\n\t\t\tworkspace.roots = [\n\t\t\t\t...workspace.roots.filter((r) => !removed.has(r)),\n\t\t\t\t...event.added.map((f) => fileURLToPath(f.uri)),\n\t\t\t]\n\t\t\trefresh()\n\t\t})\n\t})\n\tfunction schedule(document: TextDocument) {\n\t\tif (!document.uri.startsWith(\"file:\")) return\n\t\tconst previous = jobs.get(document.uri)\n\t\tif (previous) {\n\t\t\tclearTimeout(previous.timer)\n\t\t\tprevious.controller.abort()\n\t\t}\n\t\tconst controller = new AbortController()\n\t\tconst generation = workspace.generation\n\t\tconst timer = setTimeout(() => {\n\t\t\tvoid workspace\n\t\t\t\t.validate(document)\n\t\t\t\t.then((result) => {\n\t\t\t\t\tif (\n\t\t\t\t\t\tcontroller.signal.aborted ||\n\t\t\t\t\t\tworkspace.generation !== generation ||\n\t\t\t\t\t\tdocuments.get(document.uri)?.version !== document.version\n\t\t\t\t\t)\n\t\t\t\t\t\treturn\n\t\t\t\t\treturn connection.sendDiagnostics({\n\t\t\t\t\t\turi: document.uri,\n\t\t\t\t\t\tversion: document.version,\n\t\t\t\t\t\tdiagnostics: lspDiagnostics(result, document.getText()),\n\t\t\t\t\t})\n\t\t\t\t})\n\t\t\t\t.catch((error: unknown) => connection.console.error(String(error)))\n\t\t}, 40)\n\t\tjobs.set(document.uri, { controller, timer })\n\t}\n\tfunction scheduleAll() {\n\t\tfor (const document of documents.all()) schedule(document)\n\t}\n\tfunction refresh() {\n\t\tworkspace.invalidate()\n\t\tscheduleAll()\n\t}\n\tdocuments.onDidChangeContent(({ document }) => {\n\t\tif (!document.uri.startsWith(\"file:\")) return\n\t\tconst resourceChanged = workspace.open(document)\n\t\tif (resourceChanged) scheduleAll()\n\t\telse schedule(document)\n\t})\n\tdocuments.onDidClose(async ({ document }) => {\n\t\tconst job = jobs.get(document.uri)\n\t\tif (job) {\n\t\t\tclearTimeout(job.timer)\n\t\t\tjob.controller.abort()\n\t\t\tjobs.delete(document.uri)\n\t\t}\n\t\tawait connection.sendDiagnostics({ uri: document.uri, diagnostics: [] })\n\t\tif (document.uri.startsWith(\"file:\") && workspace.close(document.uri))\n\t\t\tscheduleAll()\n\t})\n\tdocuments.onDidSave(({ document }) => {\n\t\tif (workspace.resourceChanged(document.uri)) refresh()\n\t})\n\tconnection.onDidChangeWatchedFiles((params) => {\n\t\t// Cache writes and unrelated JSON files must not trigger schema reloads.\n\t\tif (params.changes.some((change) => workspace.resourceChanged(change.uri)))\n\t\t\trefresh()\n\t})\n\tconnection.onDidChangeConfiguration(refresh)\n\tasync function request<T>(\n\t\turi: string,\n\t\ttoken: CancellationToken,\n\t\taction: (\n\t\t\tengine: Awaited<ReturnType<Workspace[\"engineFor\"]>>,\n\t\t\tdocument: TextDocument,\n\t\t) => Promise<T>,\n\t): Promise<T | null> {\n\t\tconst document = documents.get(uri)\n\t\tif (!document || !uri.startsWith(\"file:\")) return null\n\t\tconst generation = workspace.generation\n\t\tconst cancelled = () =>\n\t\t\ttoken.isCancellationRequested ||\n\t\t\tworkspace.generation !== generation ||\n\t\t\tdocuments.get(uri)?.version !== document.version\n\t\tif (cancelled())\n\t\t\tthrow new ResponseError(\n\t\t\t\tLSPErrorCodes.RequestCancelled,\n\t\t\t\t\"Request cancelled\",\n\t\t\t)\n\t\tconst operation = (async () => {\n\t\t\ttry {\n\t\t\t\tconst engine = await workspace.engineFor(uri)\n\t\t\t\tif (cancelled())\n\t\t\t\t\tthrow new ResponseError(\n\t\t\t\t\t\tLSPErrorCodes.RequestCancelled,\n\t\t\t\t\t\t\"Request cancelled\",\n\t\t\t\t\t)\n\t\t\t\tconst result = await action(engine, document)\n\t\t\t\tif (cancelled())\n\t\t\t\t\tthrow new ResponseError(\n\t\t\t\t\t\tLSPErrorCodes.RequestCancelled,\n\t\t\t\t\t\t\"Request cancelled\",\n\t\t\t\t\t)\n\t\t\t\treturn result\n\t\t\t} catch (error) {\n\t\t\t\tif (error instanceof ResponseError) throw error\n\t\t\t\tif (cancelled())\n\t\t\t\t\tthrow new ResponseError(\n\t\t\t\t\t\tLSPErrorCodes.RequestCancelled,\n\t\t\t\t\t\t\"Request cancelled\",\n\t\t\t\t\t)\n\t\t\t\tconnection.console.error(String(error))\n\t\t\t\treturn null\n\t\t\t}\n\t\t})()\n\t\tlet listener: { dispose(): void } | undefined\n\t\tconst cancellation = new Promise<never>((_resolve, reject) => {\n\t\t\tlistener = token.onCancellationRequested(() =>\n\t\t\t\treject(\n\t\t\t\t\tnew ResponseError(\n\t\t\t\t\t\tLSPErrorCodes.RequestCancelled,\n\t\t\t\t\t\t\"Request cancelled\",\n\t\t\t\t\t),\n\t\t\t\t),\n\t\t\t)\n\t\t})\n\t\ttry {\n\t\t\treturn await Promise.race([operation, cancellation])\n\t\t} finally {\n\t\t\tlistener?.dispose()\n\t\t}\n\t}\n\tconnection.onCompletion((params, token) =>\n\t\trequest(params.textDocument.uri, token, (engine, document) =>\n\t\t\thints.complete(engine, document, params.position),\n\t\t),\n\t)\n\tconnection.onHover((params, token) =>\n\t\trequest(params.textDocument.uri, token, (engine, document) =>\n\t\t\thints.hover(engine, document, params.position),\n\t\t),\n\t)\n\tconnection.onShutdown(() => {\n\t\tworkspace.invalidate()\n\t\tfor (const job of jobs.values()) {\n\t\t\tclearTimeout(job.timer)\n\t\t\tjob.controller.abort()\n\t\t}\n\t\tjobs.clear()\n\t})\n\tdocuments.listen(connection)\n\tconnection.listen()\n}\n\nstartServer()\n"],"mappings":";;;;;;;;;;AAQA,IAAa,YAAb,MAAuB;CACtB;CACA;CACA,4BAAqB,IAAI,IAA0B;CACnD,0BAA2B,IAAI,IAA4B;CAC3D,aAAa;CACb,YAAY,OAAiB;EAC5B,KAAK,QAAQ;CACd;CAEA,aAAa;EACZ,KAAK;EACL,KAAK,MAAM,WAAW,KAAK,QAAQ,OAAO,GAAG,QAAa,QAAQ;EAClE,KAAK,QAAQ,MAAM;CACpB;CAEA,KAAK,UAAiC;EACrC,KAAK,UAAU,IAAI,SAAS,KAAK,QAAQ;EACzC,MAAM,WACL,KAAK,SAAS,SAAS,GAAG,KAAK,CAAC,KAAK,WAAW,IAAI,SAAS,GAAG;EACjE,IAAI,UAAU,KAAK,WAAW;EAC9B,OAAO;CACR;CACA,MAAM,KAAsB;EAC3B,MAAM,WAAW,KAAK,SAAS,GAAG,KAAK,CAAC,KAAK,WAAW,IAAI,GAAG;EAC/D,KAAK,UAAU,OAAO,GAAG;EACzB,IAAI,UAAU,KAAK,WAAW;EAC9B,OAAO;CACR;CACA,6BAA8B,IAAI,IAAY;CAC9C,SAAiB,KAAsB;EACtC,OAAO,KAAK,WAAW,IAAI,GAAG;CAC/B;CACA,6BAA8B,IAAI,IAAY;CAC9C,gBAAgB,KAAsB;EACrC,OACC,IAAI,SAAS,sBAAiB,KAC9B,KAAK,SAAS,GAAG,KACjB,KAAK,WAAW,IAAI,GAAG,KACvB,qEAAqE,KACpE,GACD;CAEF;CAEA,MAAM,UAAU,KAAsC;EACrD,MAAM,OAAO,cAAc,GAAG;EAC9B,MAAM,OAAO,KAAK,MAChB,QAAQ,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAChC,MAAM,GAAG,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;EACtC,IAAI,KAAK,MAAM,UAAU,CAAC,MACzB,MAAM,IAAI,eACT,UACA,6CAA6C,MAC9C;EACD,MAAM,aAAa,MAAM,eAAe,KAAK,QAAQ,IAAI,GAAG,IAAI;EAChE,IAAI,UAAU,KAAK,QAAQ,IAAI,UAAU;EACzC,IAAI,CAAC,SAAS;GACb,UAAU,IAAI,eAAe,YAAY;IACxC,SAAS,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,KAAK,CAAC,KAAK,cAAc,CACrD,KACA,SAAS,QAAQ,CAClB,CAAC;IACD,eAAe,YAAY,SAAS;KAClC,CAAC,SAAS,WAAW,KAAK,aAAa,KAAK,WAAA,CAAY,IACxD,UACD;KACA,KAAK,WAAW,UAAU;IAC3B;GACD,CAAC;GACD,KAAK,QAAQ,IAAI,YAAY,OAAO;EACrC;EACA,MAAM,QAAQ;EACd,OAAO;CACR;CAEA,MAAM,SAAS,UAA6C;EAC3D,IAAI;GAEH,OAAO,OAAM,MADQ,KAAK,UAAU,SAAS,GAAG,EAAA,CAC5B,SACnB,cAAc,SAAS,GAAG,GAC1B,SAAS,QAAQ,CAClB;EACD,SAAS,OAAO;GACf,MAAM,UAAU,QAAQ,OAAO,cAAc,SAAS,GAAG,CAAC;GAC1D,IACC,QAAQ,SAAS,YACjB,QAAQ,QAAQ,WAAW,8BAAyB,KACpD,CAAC,CAAC,QAAQ,OAAO,CAAC,CAAC,SAAS,SAAS,UAAU,GAE/C,OAAO;IACN,MAAM,cAAc,SAAS,GAAG;IAChC,MAAM,SAAS;IACf,aAAa;IACb,UAAU;IACV,aAAa,CAAC;IACd,UAAU,CAAC;GACZ;GAED,OAAO;IACN,MAAM,cAAc,SAAS,GAAG;IAChC,MAAM,SAAS,eAAe,UAAU,UAAU;IAClD,aAAa;IACb,UAAU;IACV,aAAa,CACZ,WAAW,SAAS,QAAQ,GAAG,QAAQ,MAAM,QAAQ,OAAO,CAC7D;IACA,UAAU,CAAC,OAAO;GACnB;EACD;CACD;CAEA,aAAa,KAAqB;EACjC,OAAO,cAAc,GAAG;CACzB;CACA,WAAqB;EACpB,OAAO,KAAK,MAAM,KAAK,SAAS,cAAc,IAAI,CAAC,CAAC,IAAI;CACzD;AACD;;;AC3GA,SAAgB,eAAe,QAAoB,MAAc;CAChE,OAAO,gBAAgB,CACtB,GAAG,OAAO,aACV,GAAG,OAAO,SACR,QACC,MACA,CAAC,OAAO,YAAY,MAClB,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,OAC7C,CACF,CAAC,CACA,KAAK,MAAM,WAAW,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CACjD,CAAC,CAAC,CAAC,KAAK,OAAO;EACd,OAAO,EAAE;EACT,SAAS,EAAE;EACX,MAAM,EAAE;EACR,UAAU;EACV,QAAQ;EACR,MAAM,EAAE,SAAS,EAAE,QAAQ;EAC3B,GAAI,EAAE,SAAS,SACZ,EACA,oBAAoB,kBAAkB,CAAC,CAAC,CAAC,KACvC,EAAE,OAAO,kBAAkB;GAC3B,UAAU;IACT,KAAK,cAAc,OAAO,IAAI,CAAC,CAAC;IAChC,OAAO,WAAW;GACnB;GACA,SAAS,GAAG,MAAM,IAAI,WAAW;EAClC,EACD,EACD,IACC,CAAC;CACL,EAAE;AACH;AAEA,SAAgB,cAAc;CAC7B,MAAM,aAAa,iBAAiB;CACpC,MAAM,YAAY,IAAI,cAAc,YAAY;CAChD,MAAM,YAAY,IAAI,UAAU,CAAC,CAAC;CAClC,MAAM,QAAQ,IAAI,MAAM;CACxB,MAAM,uBAAO,IAAI,IAGf;CACF,IAAI,eAAe;CACnB,MAAM,iCAAiB,IAAI,IAAY;CACvC,UAAU,YAAY,QAAQ;EAC7B,IAAI,CAAC,gBAAgB,CAAC,IAAI,WAAW,OAAO,KAAK,eAAe,IAAI,GAAG,GACtE;EACD,eAAe,IAAI,GAAG;EACtB,MAAM,OAAO,cAAc,GAAG;EAC9B,WAAgB,OACd,SAAS,kCAAkC,MAAM,EACjD,UAAU,CACT,EACC,aAAa;GACZ,SAAS,cAAc,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC;GAC3C,SAAS,KAAK,SAAS,IAAI;EAC5B,EACD,CACD,EACD,CAAC,CAAC,CACD,OAAO,UAAmB,WAAW,QAAQ,MAAM,OAAO,KAAK,CAAC,CAAC;CACpE;CACA,WAAW,cAAc,WAAW;EACnC,UAAU,SACT,OAAO,kBAAkB,KAAK,MAAM,EAAE,GAAG,MACxC,OAAO,UAAU,CAAC,OAAO,OAAO,IAAI,CAAC,GAAA,CAErC,QAAQ,QAAQ,IAAI,WAAW,OAAO,CAAC,CAAC,CACxC,KAAK,QAAQ,cAAc,GAAG,CAAC;EACjC,eACC,OAAO,aAAa,WAAW,uBAC5B,uBAAuB;EAC3B,OAAO;GACN,cAAc;IACb,kBAAkB;KACjB,WAAW;KACX,QAAQ,qBAAqB;KAC7B,MAAM,EAAE,aAAa,MAAM;IAC5B;IACA,oBAAoB,EAAE,mBAAmB,CAAC,MAAK,GAAG,EAAE;IACpD,eAAe;IACf,WAAW,EACV,kBAAkB;KAAE,WAAW;KAAM,qBAAqB;IAAK,EAChE;GACD;GACA,YAAY;IAAE,MAAM;IAAa,SAAS;GAAQ;EACnD;CACD,CAAC;CACD,WAAW,oBAAoB;EAC9B,IAAI,cACH,WAAgB,OACd,SAAS,kCAAkC,MAAM,EACjD,UAAU,CAAC,EAAE,aAAa,OAAO,CAAC,EACnC,CAAC,CAAC,CACD,OAAO,UAAmB,WAAW,QAAQ,MAAM,OAAO,KAAK,CAAC,CAAC;EACpE,WAAW,UAAU,6BAA6B,UAAU;GAC3D,MAAM,UAAU,IAAI,IAAI,MAAM,QAAQ,KAAK,MAAM,cAAc,EAAE,GAAG,CAAC,CAAC;GACtE,UAAU,QAAQ,CACjB,GAAG,UAAU,MAAM,QAAQ,MAAM,CAAC,QAAQ,IAAI,CAAC,CAAC,GAChD,GAAG,MAAM,MAAM,KAAK,MAAM,cAAc,EAAE,GAAG,CAAC,CAC/C;GACA,QAAQ;EACT,CAAC;CACF,CAAC;CACD,SAAS,SAAS,UAAwB;EACzC,IAAI,CAAC,SAAS,IAAI,WAAW,OAAO,GAAG;EACvC,MAAM,WAAW,KAAK,IAAI,SAAS,GAAG;EACtC,IAAI,UAAU;GACb,aAAa,SAAS,KAAK;GAC3B,SAAS,WAAW,MAAM;EAC3B;EACA,MAAM,aAAa,IAAI,gBAAgB;EACvC,MAAM,aAAa,UAAU;EAC7B,MAAM,QAAQ,iBAAiB;GAC9B,UACE,SAAS,QAAQ,CAAC,CAClB,MAAM,WAAW;IACjB,IACC,WAAW,OAAO,WAClB,UAAU,eAAe,cACzB,UAAU,IAAI,SAAS,GAAG,CAAC,EAAE,YAAY,SAAS,SAElD;IACD,OAAO,WAAW,gBAAgB;KACjC,KAAK,SAAS;KACd,SAAS,SAAS;KAClB,aAAa,eAAe,QAAQ,SAAS,QAAQ,CAAC;IACvD,CAAC;GACF,CAAC,CAAC,CACD,OAAO,UAAmB,WAAW,QAAQ,MAAM,OAAO,KAAK,CAAC,CAAC;EACpE,GAAG,EAAE;EACL,KAAK,IAAI,SAAS,KAAK;GAAE;GAAY;EAAM,CAAC;CAC7C;CACA,SAAS,cAAc;EACtB,KAAK,MAAM,YAAY,UAAU,IAAI,GAAG,SAAS,QAAQ;CAC1D;CACA,SAAS,UAAU;EAClB,UAAU,WAAW;EACrB,YAAY;CACb;CACA,UAAU,oBAAoB,EAAE,eAAe;EAC9C,IAAI,CAAC,SAAS,IAAI,WAAW,OAAO,GAAG;EAEvC,IADwB,UAAU,KAAK,QACrB,GAAG,YAAY;OAC5B,SAAS,QAAQ;CACvB,CAAC;CACD,UAAU,WAAW,OAAO,EAAE,eAAe;EAC5C,MAAM,MAAM,KAAK,IAAI,SAAS,GAAG;EACjC,IAAI,KAAK;GACR,aAAa,IAAI,KAAK;GACtB,IAAI,WAAW,MAAM;GACrB,KAAK,OAAO,SAAS,GAAG;EACzB;EACA,MAAM,WAAW,gBAAgB;GAAE,KAAK,SAAS;GAAK,aAAa,CAAC;EAAE,CAAC;EACvE,IAAI,SAAS,IAAI,WAAW,OAAO,KAAK,UAAU,MAAM,SAAS,GAAG,GACnE,YAAY;CACd,CAAC;CACD,UAAU,WAAW,EAAE,eAAe;EACrC,IAAI,UAAU,gBAAgB,SAAS,GAAG,GAAG,QAAQ;CACtD,CAAC;CACD,WAAW,yBAAyB,WAAW;EAE9C,IAAI,OAAO,QAAQ,MAAM,WAAW,UAAU,gBAAgB,OAAO,GAAG,CAAC,GACxE,QAAQ;CACV,CAAC;CACD,WAAW,yBAAyB,OAAO;CAC3C,eAAe,QACd,KACA,OACA,QAIoB;EACpB,MAAM,WAAW,UAAU,IAAI,GAAG;EAClC,IAAI,CAAC,YAAY,CAAC,IAAI,WAAW,OAAO,GAAG,OAAO;EAClD,MAAM,aAAa,UAAU;EAC7B,MAAM,kBACL,MAAM,2BACN,UAAU,eAAe,cACzB,UAAU,IAAI,GAAG,CAAC,EAAE,YAAY,SAAS;EAC1C,IAAI,UAAU,GACb,MAAM,IAAI,cACT,cAAc,kBACd,mBACD;EACD,MAAM,aAAa,YAAY;GAC9B,IAAI;IACH,MAAM,SAAS,MAAM,UAAU,UAAU,GAAG;IAC5C,IAAI,UAAU,GACb,MAAM,IAAI,cACT,cAAc,kBACd,mBACD;IACD,MAAM,SAAS,MAAM,OAAO,QAAQ,QAAQ;IAC5C,IAAI,UAAU,GACb,MAAM,IAAI,cACT,cAAc,kBACd,mBACD;IACD,OAAO;GACR,SAAS,OAAO;IACf,IAAI,iBAAiB,eAAe,MAAM;IAC1C,IAAI,UAAU,GACb,MAAM,IAAI,cACT,cAAc,kBACd,mBACD;IACD,WAAW,QAAQ,MAAM,OAAO,KAAK,CAAC;IACtC,OAAO;GACR;EACD,EAAA,CAAG;EACH,IAAI;EACJ,MAAM,eAAe,IAAI,SAAgB,UAAU,WAAW;GAC7D,WAAW,MAAM,8BAChB,OACC,IAAI,cACH,cAAc,kBACd,mBACD,CACD,CACD;EACD,CAAC;EACD,IAAI;GACH,OAAO,MAAM,QAAQ,KAAK,CAAC,WAAW,YAAY,CAAC;EACpD,UAAU;GACT,UAAU,QAAQ;EACnB;CACD;CACA,WAAW,cAAc,QAAQ,UAChC,QAAQ,OAAO,aAAa,KAAK,QAAQ,QAAQ,aAChD,MAAM,SAAS,QAAQ,UAAU,OAAO,QAAQ,CACjD,CACD;CACA,WAAW,SAAS,QAAQ,UAC3B,QAAQ,OAAO,aAAa,KAAK,QAAQ,QAAQ,aAChD,MAAM,MAAM,QAAQ,UAAU,OAAO,QAAQ,CAC9C,CACD;CACA,WAAW,iBAAiB;EAC3B,UAAU,WAAW;EACrB,KAAK,MAAM,OAAO,KAAK,OAAO,GAAG;GAChC,aAAa,IAAI,KAAK;GACtB,IAAI,WAAW,MAAM;EACtB;EACA,KAAK,MAAM;CACZ,CAAC;CACD,UAAU,OAAO,UAAU;CAC3B,WAAW,OAAO;AACnB;AAEA,YAAY"}

package/dist/renovate.d.mts

@@ -0,0 +1,5 @@
+import { t as AjvExtension } from "./extensions-ClclWslY.mjs";
+//#region src/extensions/renovate.d.ts
+export declare function renovate(): AjvExtension;
+//#endregion
+//# sourceMappingURL=renovate.d.mts.map

package/dist/renovate.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"renovate.d.mts","names":[],"sources":["../src/extensions/renovate.ts"],"mappings":";;wBACgB,YAAY"}

package/dist/renovate.mjs

@@ -0,0 +1,11 @@
+//#region src/extensions/renovate.ts
+function renovate() {
+	return {
+		id: "renovate",
+		annotations: ["x-renovate-version"]
+	};
+}
+//#endregion
+export { renovate };
+
+//# sourceMappingURL=renovate.mjs.map

package/dist/renovate.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"renovate.mjs","names":[],"sources":["../src/extensions/renovate.ts"],"sourcesContent":["import type { AjvExtension } from \"../core/extensions.ts\"\nexport function renovate(): AjvExtension {\n\treturn { id: \"renovate\", annotations: [\"x-renovate-version\"] }\n}\n"],"mappings":";AACA,SAAgB,WAAyB;CACxC,OAAO;EAAE,IAAI;EAAY,aAAa,CAAC,oBAAoB;CAAE;AAC9D"}

package/dist/schemas-UxCtIdo2.mjs

@@ -0,0 +1,265 @@
+import { C as pointer, S as parseDocument, d as readText, m as CorrectlyError } from "./config-Cb6o4YnJ.mjs";
+import { mkdir, readFile, rename, writeFile } from "node:fs/promises";
+import path from "node:path";
+import { fileURLToPath } from "node:url";
+import { createHash, randomUUID } from "node:crypto";
+//#region src/core/schema-walk.ts
+/** Only schema positions: defaults, enums, examples and other data stay opaque. */
+function* schemaChildren(schema) {
+	for (const key of [
+		"additionalItems",
+		"additionalProperties",
+		"contains",
+		"propertyNames",
+		"not",
+		"if",
+		"then",
+		"else",
+		"unevaluatedProperties",
+		"unevaluatedItems",
+		"contentSchema"
+	]) if (schema[key] !== void 0) yield [pointer([key]), schema[key]];
+	for (const key of [
+		"properties",
+		"patternProperties",
+		"definitions",
+		"$defs",
+		"dependentSchemas",
+		"dependencies"
+	]) {
+		const map = schema[key];
+		if (typeof map === "object" && map !== null && !Array.isArray(map)) for (const [name, child] of Object.entries(map)) yield [pointer([key, name]), child];
+	}
+	for (const key of [
+		"allOf",
+		"anyOf",
+		"oneOf",
+		"prefixItems",
+		"items"
+	]) {
+		const children = schema[key];
+		if (Array.isArray(children)) for (const [index, child] of children.entries()) yield [pointer([key, index]), child];
+		else if (key === "items" && children !== void 0) yield [pointer([key]), children];
+	}
+}
+//#endregion
+//#region src/core/schemas.ts
+const DIALECTS = {
+	draft7: "http://json-schema.org/draft-07/schema#",
+	"2020-12": "https://json-schema.org/draft/2020-12/schema"
+};
+const VOCABULARIES = new Set([
+	"core",
+	"applicator",
+	"unevaluated",
+	"validation",
+	"meta-data",
+	"format-annotation",
+	"content"
+].map((name) => `https://json-schema.org/draft/2020-12/vocab/${name}`));
+function isObject(value) {
+	return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function dialect(value, inherited) {
+	if (value === void 0) return inherited;
+	if (typeof value !== "string") throw new CorrectlyError("schema", "Schema $schema must be a string");
+	const id = value.replace(/#$/, "");
+	if (id === "http://json-schema.org/draft-07/schema" || id === "https://json-schema.org/draft-07/schema") return "draft7";
+	if (id === DIALECTS["2020-12"]) return "2020-12";
+	throw new CorrectlyError("unsupported-dialect", `Unsupported schema dialect: ${value}; supported: draft 7, draft 2020-12`);
+}
+var SchemaStore = class {
+	options;
+	resources = /* @__PURE__ */ new Map();
+	pending = /* @__PURE__ */ new Map();
+	cacheDir;
+	offline;
+	timeoutMs;
+	maxBytes;
+	maxRequests;
+	read;
+	request;
+	requests = 0;
+	constructor(project, options = {}) {
+		this.options = options;
+		const remote = project.config.remote;
+		this.cacheDir = path.resolve(project.root, remote?.cacheDir ?? ".correctly-cache");
+		this.offline = options.offline ?? remote?.offline ?? false;
+		this.timeoutMs = remote?.timeoutMs ?? 5e3;
+		this.maxBytes = remote?.maxBytes ?? 2097152;
+		this.maxRequests = remote?.maxRequests ?? 64;
+		this.read = options.read ?? readText;
+		this.request = options.fetch ?? fetch;
+	}
+	async load(value, inherited = "draft7") {
+		this.options.signal?.throwIfAborted();
+		const url = new URL(value);
+		url.hash = "";
+		const uri = url.href;
+		const known = this.resources.get(uri);
+		if (known) return known;
+		let promise = this.pending.get(uri);
+		if (!promise) {
+			promise = this.loadResource(uri, inherited);
+			this.pending.set(uri, promise);
+		}
+		return promise;
+	}
+	async loadResource(uri, inherited) {
+		if (++this.requests > this.maxRequests) throw new CorrectlyError("schema-limit", `Schema resource limit (${this.maxRequests}) exceeded`);
+		let text;
+		const url = new URL(uri);
+		try {
+			if (url.protocol === "file:") text = await this.read(uri);
+			else if (url.protocol === "https:" || url.protocol === "http:") text = await this.remote(uri);
+			else throw new CorrectlyError("schema", `Unsupported schema protocol: ${url.protocol}`);
+		} catch (error) {
+			if (error instanceof CorrectlyError) throw error;
+			throw new CorrectlyError("schema-load", `Cannot load schema ${uri}: ${error instanceof Error ? error.message : String(error)}`);
+		}
+		this.options.signal?.throwIfAborted();
+		if (Buffer.byteLength(text) > this.maxBytes) throw new CorrectlyError("schema-limit", `Schema ${uri} exceeds ${this.maxBytes} bytes`);
+		const parsed = parseDocument(text, "json");
+		if (parsed.diagnostics.length) {
+			const d = parsed.diagnostics[0];
+			throw new CorrectlyError("schema", `Invalid schema JSON at ${uri}:${d.range.start.line + 1}:${d.range.start.character + 1}: ${d.message}`);
+		}
+		if (typeof parsed.value !== "boolean" && !isObject(parsed.value)) throw new CorrectlyError("schema", `Schema must be an object or boolean: ${uri}`);
+		const rootDialect = dialect(isObject(parsed.value) ? parsed.value.$schema : void 0, inherited);
+		const schema = parsed.value;
+		const resource = {
+			uri,
+			schema,
+			dialect: rootDialect
+		};
+		this.normalize(schema, uri, rootDialect, resource);
+		if (isObject(schema) && schema.$id === void 0) schema.$id = uri;
+		this.register(uri, resource);
+		return resource;
+	}
+	register(uri, resource) {
+		const previous = this.resources.get(uri);
+		if (previous && previous.schema !== resource.schema) throw new CorrectlyError("schema", `Duplicate schema identifier: ${uri}`);
+		this.resources.set(uri, resource);
+	}
+	normalize(schema, base, expected, root, location = "") {
+		if (!isObject(schema)) return;
+		const ownDialect = dialect(schema.$schema, expected);
+		if (ownDialect !== expected) throw new CorrectlyError("unsupported-dialect", `Mixed schema dialects at ${base} are not supported`);
+		if (schema.$schema !== void 0) schema.$schema = DIALECTS[ownDialect];
+		if (schema.$async !== void 0) throw new CorrectlyError("schema", `Asynchronous data validation is not supported: ${base}`);
+		if (schema.$vocabulary !== void 0) {
+			if (!isObject(schema.$vocabulary)) throw new CorrectlyError("schema", `$vocabulary must be an object: ${base}`);
+			for (const [vocabulary, required] of Object.entries(schema.$vocabulary)) {
+				if (typeof required !== "boolean") throw new CorrectlyError("schema", `$vocabulary values must be boolean: ${base}`);
+				if (required && !VOCABULARIES.has(vocabulary)) throw new CorrectlyError("unsupported-vocabulary", `Unsupported required vocabulary: ${vocabulary}`);
+			}
+		}
+		let scope = base;
+		if (schema.$id !== void 0) {
+			if (typeof schema.$id !== "string") throw new CorrectlyError("schema", `$id must be a string: ${base}`);
+			scope = new URL(schema.$id, base).href;
+			schema.$id = scope;
+			this.register(scope.replace(/#$/, ""), {
+				...root,
+				schema,
+				pointer: location
+			});
+		}
+		for (const anchor of [schema.$anchor, schema.$dynamicAnchor]) if (typeof anchor === "string") this.register(new URL(`#${anchor}`, scope).href, {
+			...root,
+			schema,
+			pointer: location
+		});
+		for (const [path, child] of schemaChildren(schema)) this.normalize(child, scope, expected, root, location + path);
+	}
+	async remote(uri) {
+		const cacheFile = path.join(this.cacheDir, `${createHash("sha256").update(uri).digest("hex")}.json`);
+		let cached;
+		try {
+			const raw = await readFile(cacheFile, "utf8");
+			const entry = JSON.parse(raw);
+			if (!isObject(entry) || entry.uri !== uri || typeof entry.text !== "string") throw new Error("invalid cache entry");
+			cached = entry;
+		} catch (error) {
+			if (error.code !== "ENOENT") throw new CorrectlyError("schema-cache", `Cannot read schema cache ${cacheFile}: ${String(error)}`);
+		}
+		if (this.offline) {
+			if (!cached) throw new CorrectlyError("offline-miss", `Schema is not cached in offline mode: ${uri}`);
+			return cached.text;
+		}
+		const timeout = AbortSignal.timeout(this.timeoutMs);
+		const signal = this.options.signal ? AbortSignal.any([this.options.signal, timeout]) : timeout;
+		const headers = {};
+		if (cached?.etag) headers["If-None-Match"] = cached.etag;
+		if (cached?.lastModified) headers["If-Modified-Since"] = cached.lastModified;
+		let current = uri;
+		for (let redirects = 0; redirects <= 5; redirects++) {
+			const response = await this.request(current, {
+				signal,
+				headers,
+				redirect: "manual"
+			});
+			if ([
+				301,
+				302,
+				303,
+				307,
+				308
+			].includes(response.status)) {
+				await response.body?.cancel();
+				const location = response.headers.get("location");
+				if (!location) throw new CorrectlyError("schema-load", `Redirect without location: ${current}`);
+				current = new URL(location, current).href;
+				if (!["http:", "https:"].includes(new URL(current).protocol)) throw new CorrectlyError("schema-load", `Unsupported redirect: ${current}`);
+				continue;
+			}
+			if (response.status === 304 && cached) {
+				await response.body?.cancel();
+				return cached.text;
+			}
+			if (!response.ok || !response.body) {
+				await response.body?.cancel();
+				throw new CorrectlyError("schema-load", `HTTP ${response.status} loading schema ${uri}`);
+			}
+			const reader = response.body.getReader();
+			const chunks = [];
+			let size = 0;
+			try {
+				while (true) {
+					const { value, done } = await reader.read();
+					if (done) break;
+					size += value.byteLength;
+					if (size > this.maxBytes) throw new CorrectlyError("schema-limit", `Schema ${uri} exceeds ${this.maxBytes} bytes`);
+					chunks.push(value);
+				}
+			} finally {
+				await reader.cancel();
+			}
+			const text = Buffer.concat(chunks).toString("utf8");
+			const entry = {
+				uri,
+				text
+			};
+			const etag = response.headers.get("etag");
+			const lastModified = response.headers.get("last-modified");
+			if (etag) entry.etag = etag;
+			if (lastModified) entry.lastModified = lastModified;
+			signal.throwIfAborted();
+			await mkdir(this.cacheDir, { recursive: true });
+			const temporary = `${cacheFile}.${randomUUID()}.tmp`;
+			await writeFile(temporary, JSON.stringify(entry));
+			await rename(temporary, cacheFile);
+			return text;
+		}
+		throw new CorrectlyError("schema-limit", `Too many redirects loading schema ${uri}`);
+	}
+};
+function localSchemaPath(uri) {
+	const url = new URL(uri);
+	return url.protocol === "file:" ? fileURLToPath(url) : void 0;
+}
+//#endregion
+export { schemaChildren as i, SchemaStore as n, localSchemaPath as r, DIALECTS as t };
+
+//# sourceMappingURL=schemas-UxCtIdo2.mjs.map