correctly 0.0.0

package/dist/cli.mjs

@@ -0,0 +1,294 @@
+#!/usr/bin/env node
+import { d as discoverConfig, f as exclusions, m as loadProject, p as isIncluded, r as diagnosticViews, t as Engine, y as failure } from "./engine-BgWBnb1A.mjs";
+import { parseArgs, styleText } from "node:util";
+import { readFile } from "node:fs/promises";
+import path from "node:path";
+import { glob } from "tinyglobby";
+import { fileURLToPath } from "node:url";
+//#region src/cli/readable.ts
+function createStyler(color) {
+	const apply = (format, text) => color === false ? text : styleText(format, text, {
+		stream: process.stdout,
+		...color === true ? { validateStream: false } : {}
+	});
+	return {
+		bold: (text) => apply("bold", text),
+		bad: (text) => apply(["bold", "red"], text),
+		caret: (text) => apply(["bold", "yellow"], text),
+		code: (text) => apply("cyan", text),
+		dim: (text) => apply("dim", text),
+		success: (text) => apply(["bold", "green"], text),
+		warning: (text) => apply(["bold", "yellow"], text)
+	};
+}
+function displayPath(cwd, file) {
+	const relative = path.relative(cwd, file);
+	return relative && relative !== ".." && !relative.startsWith(`..${path.sep}`) && !path.isAbsolute(relative) ? relative : file;
+}
+function displaySchema(cwd, uri) {
+	const url = new URL(uri);
+	if (url.protocol !== "file:") return uri;
+	return `${displayPath(cwd, fileURLToPath(url))}${url.hash}`;
+}
+function countLabel(count, label) {
+	return `${count} ${label}${count === 1 ? "" : "s"}`;
+}
+function lastSelectedLine(diagnostic) {
+	const { start, end } = diagnostic.range;
+	return Math.max(start.line, end.line - (end.line > start.line && end.character === 0 ? 1 : 0));
+}
+function excerpt(source, diagnostic, diagnosedLines, styler) {
+	const start = diagnostic.range.start.line;
+	const end = Math.min(lastSelectedLine(diagnostic), source.length - 1);
+	if (start < 0 || start >= source.length) return void 0;
+	const visible = [];
+	if (start > 0 && !diagnosedLines.has(start - 1)) visible.push(start - 1);
+	visible.push(start);
+	if (end > start + 1) visible.push(void 0);
+	if (end > start) visible.push(end);
+	if (end + 1 < source.length && !diagnosedLines.has(end + 1) && (end + 1 < source.length - 1 || source[end + 1] !== "")) visible.push(end + 1);
+	const width = Math.max(...visible.map((line) => line === void 0 ? 1 : String(line + 1).length));
+	const output = [];
+	for (const line of visible) {
+		if (line === void 0) {
+			output.push(styler.dim(`${" ".repeat(width)} │ …`));
+			continue;
+		}
+		const text = source[line];
+		const selected = line >= start && line <= end;
+		const expanded = text.replaceAll("	", "    ").trimEnd();
+		output.push(`${styler.dim(`${String(line + 1).padStart(width)} │`)} ${selected ? expanded : styler.dim(expanded)}`);
+		if (!selected) continue;
+		const from = line === start ? diagnostic.range.start.character : 0;
+		const to = line === diagnostic.range.end.line ? diagnostic.range.end.character : text.length;
+		const caretStart = text.slice(0, from).replaceAll("	", "    ").length;
+		const caretWidth = Math.max(1, text.slice(from, to).replaceAll("	", "    ").length);
+		output.push(`${styler.dim(`${" ".repeat(width)} │`)} ${" ".repeat(caretStart)}${styler.caret("^".repeat(caretWidth))}`);
+	}
+	return {
+		lines: output,
+		width
+	};
+}
+function renderDiagnostic(issue, prefix, last, source, diagnosedLines, styler, shownRegions = /* @__PURE__ */ new Set()) {
+	const branch = last ? "└─" : "├─";
+	const continuation = `${prefix}${last ? "   " : "│  "}`;
+	const output = [`${styler.dim(`${prefix}${branch}`)} ${styler.dim(`${issue.range.start.line + 1}:${issue.range.start.character + 1}`)}  ${styler.code(issue.code)}`];
+	const region = source ? excerpt(source, issue, diagnosedLines, styler) : void 0;
+	const regionKey = `${issue.offset}:${issue.length}`;
+	if (region && !shownRegions.has(regionKey)) output.push(...region.lines.map((line) => `${styler.dim(continuation)}${line}`));
+	shownRegions.add(regionKey);
+	const indentation = `${continuation}${" ".repeat(region ? region.width + 1 : 0)}`;
+	output.push(`${styler.dim(continuation)}${" ".repeat(region ? region.width + 1 : 0)}${styler.dim("╰─")} ${issue.message}`);
+	for (const [index, branch] of issue.branches.entries()) {
+		const finalBranch = index === issue.branches.length - 1;
+		output.push(`${styler.dim(`${indentation}${finalBranch ? "└─" : "├─"}`)} ${styler.bold(branch.label)}`);
+		const children = branch.diagnostics.toSorted((a, b) => a.offset - b.offset);
+		for (const [childIndex, child] of children.entries()) output.push(...renderDiagnostic(child, `${indentation}${finalBranch ? "   " : "│  "}`, childIndex === children.length - 1, source, diagnosedLines, styler, shownRegions));
+	}
+	return output;
+}
+function fileSection(group, options, styler) {
+	const cwd = options.cwd ?? process.cwd();
+	const diagnostics = diagnosticViews(group.result?.diagnostics ?? []).toSorted((a, b) => a.offset - b.offset);
+	const counts = [...diagnostics.length ? [countLabel(diagnostics.length, "error")] : [], ...group.failures.length ? [countLabel(group.failures.length, "failure")] : []];
+	const status = counts.join(", ") || (group.result?.coverage === "excluded" ? "excluded" : "valid");
+	const statusColor = counts.length ? styler.bad : group.result?.coverage === "excluded" ? styler.dim : styler.success;
+	let header = `${styler.bold(displayPath(cwd, group.file))}  ${statusColor(status)}`;
+	if (group.result) {
+		const { mode, coverage, association } = group.result;
+		const format = mode.toUpperCase();
+		const schema = association?.schema;
+		const description = coverage === "excluded" ? format : schema ? `${format} against ${association.name} (${displaySchema(cwd, schema)})` : `${format} syntax only (${association ? `association: ${association.name}` : "no schema association"})`;
+		header += `  ${styler.dim(`·  ${description}`)}`;
+	}
+	const output = [header];
+	const text = options.sources?.get(group.file);
+	const source = text === void 0 ? void 0 : text.split(/\r\n|\r|\n/);
+	const diagnosedLines = /* @__PURE__ */ new Set();
+	if (source) for (const diagnostic of group.result?.diagnostics ?? []) for (let line = diagnostic.range.start.line; line <= Math.min(lastSelectedLine(diagnostic), source.length - 1); line++) diagnosedLines.add(line);
+	const issues = [...diagnostics, ...group.failures];
+	for (const [index, issue] of issues.entries()) {
+		const last = index === issues.length - 1;
+		const branch = last ? "└─" : "├─";
+		if ("range" in issue) output.push(...renderDiagnostic(issue, "", last, source, diagnosedLines, styler));
+		else output.push(`${styler.dim(branch)} ${styler.bad(issue.code)}: ${issue.message}`);
+		if (!last) output.push(styler.dim("│"));
+	}
+	return output.join("\n");
+}
+function readableReport(report, options = {}) {
+	const styler = createStyler(options.color);
+	const groups = /* @__PURE__ */ new Map();
+	for (const result of report.files) groups.set(result.file, {
+		file: result.file,
+		result,
+		failures: [...result.failures]
+	});
+	const globalFailures = [];
+	for (const error of report.failures) {
+		if (!error.file) {
+			globalFailures.push(error);
+			continue;
+		}
+		let group = groups.get(error.file);
+		if (!group) {
+			group = {
+				file: error.file,
+				failures: []
+			};
+			groups.set(error.file, group);
+		}
+		group.failures.push(error);
+	}
+	const output = [...groups.values()].toSorted((a, b) => a.file < b.file ? -1 : a.file > b.file ? 1 : 0).map((group) => fileSection(group, options, styler));
+	for (const error of globalFailures) output.push(`${styler.bad(error.code)}: ${error.message}`);
+	const errors = report.files.reduce((count, file) => count + diagnosticViews(file.diagnostics).length, 0);
+	const s = report.summary;
+	const status = report.exitCode === 2 ? `▲ Check failed with ${countLabel(s.failures, "failure")}` : report.exitCode === 1 ? `▲ Check found ${countLabel(errors, "error")} in ${countLabel(s.invalid, "file")}` : "✓ Check passed";
+	output.push([
+		styler.dim("─".repeat(56)),
+		"",
+		(report.exitCode === 2 ? styler.bad : report.exitCode === 1 ? styler.warning : styler.success)(status),
+		"",
+		`${s.checked} checked, ${s.schemaCovered} schema-covered, ${s.syntaxOnly} syntax-only, ${s.invalid} invalid, ${s.failures} failures`
+	].join("\n"));
+	return output.join("\n\n");
+}
+//#endregion
+//#region src/cli/check.ts
+async function check(options = {}) {
+	const report = {
+		reportVersion: 1,
+		config: null,
+		files: [],
+		failures: [],
+		summary: {
+			checked: 0,
+			schemaCovered: 0,
+			syntaxOnly: 0,
+			invalid: 0,
+			failures: 0
+		},
+		exitCode: 0
+	};
+	try {
+		const cwd = path.resolve(options.cwd ?? process.cwd());
+		const configPath = options.config ? path.resolve(cwd, options.config) : await discoverConfig(cwd);
+		report.config = configPath;
+		const project = await loadProject(configPath);
+		const engine = new Engine(project, options.offline === void 0 ? {} : { offline: options.offline });
+		await engine.prepare();
+		const files = options.files?.length ? options.files.map((f) => path.resolve(cwd, f)) : await glob(project.config.files ?? ["**/*.json", "**/*.jsonc"], {
+			cwd: project.root,
+			ignore: exclusions(project),
+			absolute: true,
+			dot: true,
+			onlyFiles: true
+		});
+		for (const file of [...new Set(files)].sort()) try {
+			const included = isIncluded(project, file);
+			const text = included ? await readFile(file, "utf8") : "";
+			if (included) options.onRead?.(file, text);
+			report.files.push(await engine.validate(file, text));
+		} catch (error) {
+			report.failures.push(failure(error, file));
+		}
+	} catch (error) {
+		report.failures.push(failure(error));
+	}
+	const checked = report.files.filter((f) => f.coverage !== "excluded");
+	report.summary = {
+		checked: checked.length,
+		schemaCovered: checked.filter((f) => f.coverage === "schema").length,
+		syntaxOnly: checked.filter((f) => f.coverage === "syntax-only").length,
+		invalid: checked.filter((f) => f.diagnostics.length > 0).length,
+		failures: report.failures.length + report.files.reduce((n, f) => n + f.failures.length, 0)
+	};
+	report.exitCode = report.summary.failures ? 2 : report.summary.invalid ? 1 : 0;
+	return report;
+}
+//#endregion
+//#region src/cli/main.ts
+const HELP = `correctly check [files...] [--config path] [--offline] [--format readable|json]
+correctly-lsp --stdio
+
+Validate JSON/JSONC using associations in correctly.config.json.
+Exit 0: valid; 1: document errors; 2: configuration, schema, or execution errors.
+Formatting does not affect validation. See the package guide for configuration.
+`;
+async function run(args, cwd = process.cwd()) {
+	let json = args.includes("--format=json") || args.some((arg, i) => arg === "--format" && args[i + 1] === "json");
+	try {
+		const { values, positionals } = parseArgs({
+			args,
+			allowPositionals: true,
+			strict: true,
+			options: {
+				config: {
+					type: "string",
+					short: "c"
+				},
+				offline: { type: "boolean" },
+				format: {
+					type: "string",
+					default: "readable"
+				},
+				help: {
+					type: "boolean",
+					short: "h"
+				}
+			}
+		});
+		json = values.format === "json";
+		if (values.help || positionals.length === 0) return {
+			output: HELP,
+			exitCode: 0
+		};
+		if (positionals[0] !== "check") throw new Error(`Unknown command: ${positionals[0]}`);
+		if (values.format !== "json" && values.format !== "readable") throw new Error(`Unknown report format: ${values.format}`);
+		const sources = /* @__PURE__ */ new Map();
+		const report = await check({
+			cwd,
+			files: positionals.slice(1),
+			...values.config ? { config: values.config } : {},
+			...values.offline === void 0 ? {} : { offline: values.offline },
+			...json ? {} : { onRead: (file, text) => {
+				sources.set(file, text);
+			} }
+		});
+		return {
+			output: json ? JSON.stringify(report, null, 2) : readableReport(report, {
+				cwd,
+				sources
+			}),
+			exitCode: report.exitCode
+		};
+	} catch (error) {
+		const report = {
+			reportVersion: 1,
+			config: null,
+			files: [],
+			failures: [failure(error)],
+			summary: {
+				checked: 0,
+				schemaCovered: 0,
+				syntaxOnly: 0,
+				invalid: 0,
+				failures: 1
+			},
+			exitCode: 2
+		};
+		return {
+			output: json ? JSON.stringify(report, null, 2) : readableReport(report, { cwd }),
+			exitCode: 2
+		};
+	}
+}
+const result = await run(process.argv.slice(2));
+process.stdout.write(`${result.output}\n`);
+process.exitCode = result.exitCode;
+//#endregion
+export { run };
+
+//# sourceMappingURL=cli.mjs.map

package/dist/cli.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.mjs","names":[],"sources":["../src/cli/readable.ts","../src/cli/check.ts","../src/cli/main.ts"],"sourcesContent":["import path from \"node:path\"\nimport { fileURLToPath } from \"node:url\"\nimport { styleText } from \"node:util\"\nimport type { Diagnostic, Failure, FileResult, Report } from \"../core/types.ts\"\nimport { diagnosticViews, type DiagnosticView } from \"../core/diagnostics.ts\"\n\nexport type ReadableOptions = {\n\tcwd?: string\n\tsources?: ReadonlyMap<string, string>\n\tcolor?: boolean\n}\n\n// Node's automatic color detection respects the output stream and NO_COLOR,\n// NODE_DISABLE_COLORS, and FORCE_COLOR. Use the same palette as Lasertag.\nfunction createStyler(color?: boolean) {\n\tconst apply = (format: Parameters<typeof styleText>[0], text: string) =>\n\t\tcolor === false\n\t\t\t? text\n\t\t\t: styleText(format, text, {\n\t\t\t\t\tstream: process.stdout,\n\t\t\t\t\t...(color === true ? { validateStream: false } : {}),\n\t\t\t\t})\n\treturn {\n\t\tbold: (text: string) => apply(\"bold\", text),\n\t\tbad: (text: string) => apply([\"bold\", \"red\"], text),\n\t\tcaret: (text: string) => apply([\"bold\", \"yellow\"], text),\n\t\tcode: (text: string) => apply(\"cyan\", text),\n\t\tdim: (text: string) => apply(\"dim\", text),\n\t\tsuccess: (text: string) => apply([\"bold\", \"green\"], text),\n\t\twarning: (text: string) => apply([\"bold\", \"yellow\"], text),\n\t}\n}\ntype Styler = ReturnType<typeof createStyler>\n\nfunction displayPath(cwd: string, file: string): string {\n\tconst relative = path.relative(cwd, file)\n\treturn relative &&\n\t\trelative !== \"..\" &&\n\t\t!relative.startsWith(`..${path.sep}`) &&\n\t\t!path.isAbsolute(relative)\n\t\t? relative\n\t\t: file\n}\n\nfunction displaySchema(cwd: string, uri: string): string {\n\tconst url = new URL(uri)\n\tif (url.protocol !== \"file:\") return uri\n\treturn `${displayPath(cwd, fileURLToPath(url))}${url.hash}`\n}\n\nfunction countLabel(count: number, label: string): string {\n\treturn `${count} ${label}${count === 1 ? \"\" : \"s\"}`\n}\n\nfunction lastSelectedLine(diagnostic: Diagnostic): number {\n\tconst { start, end } = diagnostic.range\n\treturn Math.max(\n\t\tstart.line,\n\t\tend.line - (end.line > start.line && end.character === 0 ? 1 : 0),\n\t)\n}\n\n// Like Lasertag, keep one context line on either side and collapse long ranges\n// to their first/last lines. Tabs are expanded equally in source and carets.\nfunction excerpt(\n\tsource: string[],\n\tdiagnostic: Diagnostic,\n\tdiagnosedLines: ReadonlySet<number>,\n\tstyler: Styler,\n) {\n\tconst start = diagnostic.range.start.line\n\tconst end = Math.min(lastSelectedLine(diagnostic), source.length - 1)\n\tif (start < 0 || start >= source.length) return undefined\n\tconst visible: (number | undefined)[] = []\n\tif (start > 0 && !diagnosedLines.has(start - 1)) visible.push(start - 1)\n\tvisible.push(start)\n\tif (end > start + 1) visible.push(undefined)\n\tif (end > start) visible.push(end)\n\tif (\n\t\tend + 1 < source.length &&\n\t\t!diagnosedLines.has(end + 1) &&\n\t\t(end + 1 < source.length - 1 || source[end + 1] !== \"\")\n\t)\n\t\tvisible.push(end + 1)\n\tconst width = Math.max(\n\t\t...visible.map((line) =>\n\t\t\tline === undefined ? 1 : String(line + 1).length,\n\t\t),\n\t)\n\tconst output: string[] = []\n\tfor (const line of visible) {\n\t\tif (line === undefined) {\n\t\t\toutput.push(styler.dim(`${\" \".repeat(width)} │ …`))\n\t\t\tcontinue\n\t\t}\n\t\tconst text = source[line]!\n\t\tconst selected = line >= start && line <= end\n\t\tconst expanded = text.replaceAll(\"\\t\", \"    \").trimEnd()\n\t\toutput.push(\n\t\t\t`${styler.dim(`${String(line + 1).padStart(width)} │`)} ${selected ? expanded : styler.dim(expanded)}`,\n\t\t)\n\t\tif (!selected) continue\n\t\tconst from = line === start ? diagnostic.range.start.character : 0\n\t\tconst to =\n\t\t\tline === diagnostic.range.end.line\n\t\t\t\t? diagnostic.range.end.character\n\t\t\t\t: text.length\n\t\tconst caretStart = text.slice(0, from).replaceAll(\"\\t\", \"    \").length\n\t\tconst caretWidth = Math.max(\n\t\t\t1,\n\t\t\ttext.slice(from, to).replaceAll(\"\\t\", \"    \").length,\n\t\t)\n\t\toutput.push(\n\t\t\t`${styler.dim(`${\" \".repeat(width)} │`)} ${\" \".repeat(caretStart)}${styler.caret(\"^\".repeat(caretWidth))}`,\n\t\t)\n\t}\n\treturn { lines: output, width }\n}\n\ntype FileGroup = { file: string; result?: FileResult; failures: Failure[] }\n\nfunction renderDiagnostic(\n\tissue: DiagnosticView,\n\tprefix: string,\n\tlast: boolean,\n\tsource: string[] | undefined,\n\tdiagnosedLines: ReadonlySet<number>,\n\tstyler: Styler,\n\tshownRegions = new Set<string>(),\n): string[] {\n\tconst branch = last ? \"└─\" : \"├─\"\n\tconst continuation = `${prefix}${last ? \"   \" : \"│  \"}`\n\tconst output = [\n\t\t`${styler.dim(`${prefix}${branch}`)} ${styler.dim(`${issue.range.start.line + 1}:${issue.range.start.character + 1}`)}  ${styler.code(issue.code)}`,\n\t]\n\tconst region = source\n\t\t? excerpt(source, issue, diagnosedLines, styler)\n\t\t: undefined\n\tconst regionKey = `${issue.offset}:${issue.length}`\n\tif (region && !shownRegions.has(regionKey))\n\t\toutput.push(\n\t\t\t...region.lines.map((line) => `${styler.dim(continuation)}${line}`),\n\t\t)\n\tshownRegions.add(regionKey)\n\tconst indentation = `${continuation}${\" \".repeat(region ? region.width + 1 : 0)}`\n\toutput.push(\n\t\t`${styler.dim(continuation)}${\" \".repeat(region ? region.width + 1 : 0)}${styler.dim(\"╰─\")} ${issue.message}`,\n\t)\n\tfor (const [index, branch] of issue.branches.entries()) {\n\t\tconst finalBranch = index === issue.branches.length - 1\n\t\toutput.push(\n\t\t\t`${styler.dim(`${indentation}${finalBranch ? \"└─\" : \"├─\"}`)} ${styler.bold(branch.label)}`,\n\t\t)\n\t\tconst children = branch.diagnostics.toSorted((a, b) => a.offset - b.offset)\n\t\tfor (const [childIndex, child] of children.entries())\n\t\t\toutput.push(\n\t\t\t\t...renderDiagnostic(\n\t\t\t\t\tchild,\n\t\t\t\t\t`${indentation}${finalBranch ? \"   \" : \"│  \"}`,\n\t\t\t\t\tchildIndex === children.length - 1,\n\t\t\t\t\tsource,\n\t\t\t\t\tdiagnosedLines,\n\t\t\t\t\tstyler,\n\t\t\t\t\tshownRegions,\n\t\t\t\t),\n\t\t\t)\n\t}\n\treturn output\n}\n\nfunction fileSection(\n\tgroup: FileGroup,\n\toptions: ReadableOptions,\n\tstyler: Styler,\n): string {\n\tconst cwd = options.cwd ?? process.cwd()\n\tconst diagnostics = diagnosticViews(group.result?.diagnostics ?? []).toSorted(\n\t\t(a, b) => a.offset - b.offset,\n\t)\n\tconst counts = [\n\t\t...(diagnostics.length ? [countLabel(diagnostics.length, \"error\")] : []),\n\t\t...(group.failures.length\n\t\t\t? [countLabel(group.failures.length, \"failure\")]\n\t\t\t: []),\n\t]\n\tconst status =\n\t\tcounts.join(\", \") ||\n\t\t(group.result?.coverage === \"excluded\" ? \"excluded\" : \"valid\")\n\tconst statusColor = counts.length\n\t\t? styler.bad\n\t\t: group.result?.coverage === \"excluded\"\n\t\t\t? styler.dim\n\t\t\t: styler.success\n\tlet header = `${styler.bold(displayPath(cwd, group.file))}  ${statusColor(status)}`\n\tif (group.result) {\n\t\tconst { mode, coverage, association } = group.result\n\t\tconst format = mode.toUpperCase()\n\t\tconst schema = association?.schema\n\t\tconst description =\n\t\t\tcoverage === \"excluded\"\n\t\t\t\t? format\n\t\t\t\t: schema\n\t\t\t\t\t? `${format} against ${association.name} (${displaySchema(cwd, schema)})`\n\t\t\t\t\t: `${format} syntax only (${association ? `association: ${association.name}` : \"no schema association\"})`\n\t\theader += `  ${styler.dim(`·  ${description}`)}`\n\t}\n\tconst output = [header]\n\tconst text = options.sources?.get(group.file)\n\tconst source = text === undefined ? undefined : text.split(/\\r\\n|\\r|\\n/)\n\tconst diagnosedLines = new Set<number>()\n\tif (source)\n\t\tfor (const diagnostic of group.result?.diagnostics ?? []) {\n\t\t\tfor (\n\t\t\t\tlet line = diagnostic.range.start.line;\n\t\t\t\tline <= Math.min(lastSelectedLine(diagnostic), source.length - 1);\n\t\t\t\tline++\n\t\t\t)\n\t\t\t\tdiagnosedLines.add(line)\n\t\t}\n\tconst issues: (DiagnosticView | Failure)[] = [\n\t\t...diagnostics,\n\t\t...group.failures,\n\t]\n\tfor (const [index, issue] of issues.entries()) {\n\t\tconst last = index === issues.length - 1\n\t\tconst branch = last ? \"└─\" : \"├─\"\n\t\tif (\"range\" in issue) {\n\t\t\toutput.push(\n\t\t\t\t...renderDiagnostic(issue, \"\", last, source, diagnosedLines, styler),\n\t\t\t)\n\t\t} else\n\t\t\toutput.push(\n\t\t\t\t`${styler.dim(branch)} ${styler.bad(issue.code)}: ${issue.message}`,\n\t\t\t)\n\t\tif (!last) output.push(styler.dim(\"│\"))\n\t}\n\treturn output.join(\"\\n\")\n}\n\nexport function readableReport(\n\treport: Report,\n\toptions: ReadableOptions = {},\n): string {\n\tconst styler = createStyler(options.color)\n\tconst groups = new Map<string, FileGroup>()\n\tfor (const result of report.files)\n\t\tgroups.set(result.file, {\n\t\t\tfile: result.file,\n\t\t\tresult,\n\t\t\tfailures: [...result.failures],\n\t\t})\n\tconst globalFailures: Failure[] = []\n\tfor (const error of report.failures) {\n\t\tif (!error.file) {\n\t\t\tglobalFailures.push(error)\n\t\t\tcontinue\n\t\t}\n\t\tlet group = groups.get(error.file)\n\t\tif (!group) {\n\t\t\tgroup = { file: error.file, failures: [] }\n\t\t\tgroups.set(error.file, group)\n\t\t}\n\t\tgroup.failures.push(error)\n\t}\n\tconst output = [...groups.values()]\n\t\t.toSorted((a, b) => (a.file < b.file ? -1 : a.file > b.file ? 1 : 0))\n\t\t.map((group) => fileSection(group, options, styler))\n\tfor (const error of globalFailures)\n\t\toutput.push(`${styler.bad(error.code)}: ${error.message}`)\n\tconst errors = report.files.reduce(\n\t\t(count, file) => count + diagnosticViews(file.diagnostics).length,\n\t\t0,\n\t)\n\tconst s = report.summary\n\tconst status =\n\t\treport.exitCode === 2\n\t\t\t? `▲ Check failed with ${countLabel(s.failures, \"failure\")}`\n\t\t\t: report.exitCode === 1\n\t\t\t\t? `▲ Check found ${countLabel(errors, \"error\")} in ${countLabel(s.invalid, \"file\")}`\n\t\t\t\t: \"✓ Check passed\"\n\toutput.push(\n\t\t[\n\t\t\tstyler.dim(\"─\".repeat(56)),\n\t\t\t\"\",\n\t\t\t(report.exitCode === 2\n\t\t\t\t? styler.bad\n\t\t\t\t: report.exitCode === 1\n\t\t\t\t\t? styler.warning\n\t\t\t\t\t: styler.success)(status),\n\t\t\t\"\",\n\t\t\t`${s.checked} checked, ${s.schemaCovered} schema-covered, ${s.syntaxOnly} syntax-only, ${s.invalid} invalid, ${s.failures} failures`,\n\t\t].join(\"\\n\"),\n\t)\n\treturn output.join(\"\\n\\n\")\n}\n","import { readFile } from \"node:fs/promises\"\nimport path from \"node:path\"\nimport { glob } from \"tinyglobby\"\nimport {\n\tdiscoverConfig,\n\texclusions,\n\tisIncluded,\n\tloadProject,\n} from \"../core/config.ts\"\nimport { Engine } from \"../core/engine.ts\"\nimport { failure, type Report } from \"../core/types.ts\"\n\nexport type CheckOptions = {\n\tcwd?: string\n\tconfig?: string\n\toffline?: boolean\n\tfiles?: string[]\n\tonRead?: (file: string, text: string) => void\n}\nexport async function check(options: CheckOptions = {}): Promise<Report> {\n\tconst report: Report = {\n\t\treportVersion: 1,\n\t\tconfig: null,\n\t\tfiles: [],\n\t\tfailures: [],\n\t\tsummary: {\n\t\t\tchecked: 0,\n\t\t\tschemaCovered: 0,\n\t\t\tsyntaxOnly: 0,\n\t\t\tinvalid: 0,\n\t\t\tfailures: 0,\n\t\t},\n\t\texitCode: 0,\n\t}\n\ttry {\n\t\tconst cwd = path.resolve(options.cwd ?? process.cwd())\n\t\tconst configPath = options.config\n\t\t\t? path.resolve(cwd, options.config)\n\t\t\t: await discoverConfig(cwd)\n\t\treport.config = configPath\n\t\tconst project = await loadProject(configPath)\n\t\tconst engine = new Engine(\n\t\t\tproject,\n\t\t\toptions.offline === undefined ? {} : { offline: options.offline },\n\t\t)\n\t\tawait engine.prepare()\n\t\tconst files = options.files?.length\n\t\t\t? options.files.map((f) => path.resolve(cwd, f))\n\t\t\t: await glob(project.config.files ?? [\"**/*.json\", \"**/*.jsonc\"], {\n\t\t\t\t\tcwd: project.root,\n\t\t\t\t\tignore: exclusions(project),\n\t\t\t\t\tabsolute: true,\n\t\t\t\t\tdot: true,\n\t\t\t\t\tonlyFiles: true,\n\t\t\t\t})\n\t\tfor (const file of [...new Set(files)].sort()) {\n\t\t\ttry {\n\t\t\t\tconst included = isIncluded(project, file)\n\t\t\t\tconst text = included ? await readFile(file, \"utf8\") : \"\"\n\t\t\t\tif (included) options.onRead?.(file, text)\n\t\t\t\treport.files.push(await engine.validate(file, text))\n\t\t\t} catch (error) {\n\t\t\t\treport.failures.push(failure(error, file))\n\t\t\t}\n\t\t}\n\t} catch (error) {\n\t\treport.failures.push(failure(error))\n\t}\n\tconst checked = report.files.filter((f) => f.coverage !== \"excluded\")\n\treport.summary = {\n\t\tchecked: checked.length,\n\t\tschemaCovered: checked.filter((f) => f.coverage === \"schema\").length,\n\t\tsyntaxOnly: checked.filter((f) => f.coverage === \"syntax-only\").length,\n\t\tinvalid: checked.filter((f) => f.diagnostics.length > 0).length,\n\t\tfailures:\n\t\t\treport.failures.length +\n\t\t\treport.files.reduce((n, f) => n + f.failures.length, 0),\n\t}\n\treport.exitCode = report.summary.failures ? 2 : report.summary.invalid ? 1 : 0\n\treturn report\n}\n\nexport { readableReport } from \"./readable.ts\"\n","#!/usr/bin/env node\nimport { parseArgs } from \"node:util\"\nimport { check, readableReport } from \"./check.ts\"\nimport { failure, type Report } from \"../core/types.ts\"\n\nconst HELP = `correctly check [files...] [--config path] [--offline] [--format readable|json]\ncorrectly-lsp --stdio\n\nValidate JSON/JSONC using associations in correctly.config.json.\nExit 0: valid; 1: document errors; 2: configuration, schema, or execution errors.\nFormatting does not affect validation. See the package guide for configuration.\n`\n\nexport async function run(\n\targs: string[],\n\tcwd = process.cwd(),\n): Promise<{ output: string; exitCode: number }> {\n\tlet json =\n\t\targs.includes(\"--format=json\") ||\n\t\targs.some((arg, i) => arg === \"--format\" && args[i + 1] === \"json\")\n\ttry {\n\t\tconst { values, positionals } = parseArgs({\n\t\t\targs,\n\t\t\tallowPositionals: true,\n\t\t\tstrict: true,\n\t\t\toptions: {\n\t\t\t\tconfig: { type: \"string\", short: \"c\" },\n\t\t\t\toffline: { type: \"boolean\" },\n\t\t\t\tformat: { type: \"string\", default: \"readable\" },\n\t\t\t\thelp: { type: \"boolean\", short: \"h\" },\n\t\t\t},\n\t\t})\n\t\tjson = values.format === \"json\"\n\t\tif (values.help || positionals.length === 0)\n\t\t\treturn { output: HELP, exitCode: 0 }\n\t\tif (positionals[0] !== \"check\")\n\t\t\tthrow new Error(`Unknown command: ${positionals[0]}`)\n\t\tif (values.format !== \"json\" && values.format !== \"readable\")\n\t\t\tthrow new Error(`Unknown report format: ${values.format}`)\n\t\tconst sources = new Map<string, string>()\n\t\tconst report = await check({\n\t\t\tcwd,\n\t\t\tfiles: positionals.slice(1),\n\t\t\t...(values.config ? { config: values.config } : {}),\n\t\t\t...(values.offline === undefined ? {} : { offline: values.offline }),\n\t\t\t...(json\n\t\t\t\t? {}\n\t\t\t\t: {\n\t\t\t\t\t\tonRead: (file: string, text: string) => {\n\t\t\t\t\t\t\tsources.set(file, text)\n\t\t\t\t\t\t},\n\t\t\t\t\t}),\n\t\t})\n\t\treturn {\n\t\t\toutput: json\n\t\t\t\t? JSON.stringify(report, null, 2)\n\t\t\t\t: readableReport(report, { cwd, sources }),\n\t\t\texitCode: report.exitCode,\n\t\t}\n\t} catch (error) {\n\t\tconst report: Report = {\n\t\t\treportVersion: 1,\n\t\t\tconfig: null,\n\t\t\tfiles: [],\n\t\t\tfailures: [failure(error)],\n\t\t\tsummary: {\n\t\t\t\tchecked: 0,\n\t\t\t\tschemaCovered: 0,\n\t\t\t\tsyntaxOnly: 0,\n\t\t\t\tinvalid: 0,\n\t\t\t\tfailures: 1,\n\t\t\t},\n\t\t\texitCode: 2,\n\t\t}\n\t\treturn {\n\t\t\toutput: json\n\t\t\t\t? JSON.stringify(report, null, 2)\n\t\t\t\t: readableReport(report, { cwd }),\n\t\t\texitCode: 2,\n\t\t}\n\t}\n}\n\nconst result = await run(process.argv.slice(2))\nprocess.stdout.write(`${result.output}\\n`)\nprocess.exitCode = result.exitCode\n"],"mappings":";;;;;;;;AAcA,SAAS,aAAa,OAAiB;CACtC,MAAM,SAAS,QAAyC,SACvD,UAAU,QACP,OACA,UAAU,QAAQ,MAAM;EACxB,QAAQ,QAAQ;EAChB,GAAI,UAAU,OAAO,EAAE,gBAAgB,MAAM,IAAI,CAAC;CACnD,CAAC;CACJ,OAAO;EACN,OAAO,SAAiB,MAAM,QAAQ,IAAI;EAC1C,MAAM,SAAiB,MAAM,CAAC,QAAQ,KAAK,GAAG,IAAI;EAClD,QAAQ,SAAiB,MAAM,CAAC,QAAQ,QAAQ,GAAG,IAAI;EACvD,OAAO,SAAiB,MAAM,QAAQ,IAAI;EAC1C,MAAM,SAAiB,MAAM,OAAO,IAAI;EACxC,UAAU,SAAiB,MAAM,CAAC,QAAQ,OAAO,GAAG,IAAI;EACxD,UAAU,SAAiB,MAAM,CAAC,QAAQ,QAAQ,GAAG,IAAI;CAC1D;AACD;AAGA,SAAS,YAAY,KAAa,MAAsB;CACvD,MAAM,WAAW,KAAK,SAAS,KAAK,IAAI;CACxC,OAAO,YACN,aAAa,QACb,CAAC,SAAS,WAAW,KAAK,KAAK,KAAK,KACpC,CAAC,KAAK,WAAW,QAAQ,IACvB,WACA;AACJ;AAEA,SAAS,cAAc,KAAa,KAAqB;CACxD,MAAM,MAAM,IAAI,IAAI,GAAG;CACvB,IAAI,IAAI,aAAa,SAAS,OAAO;CACrC,OAAO,GAAG,YAAY,KAAK,cAAc,GAAG,CAAC,IAAI,IAAI;AACtD;AAEA,SAAS,WAAW,OAAe,OAAuB;CACzD,OAAO,GAAG,MAAM,GAAG,QAAQ,UAAU,IAAI,KAAK;AAC/C;AAEA,SAAS,iBAAiB,YAAgC;CACzD,MAAM,EAAE,OAAO,QAAQ,WAAW;CAClC,OAAO,KAAK,IACX,MAAM,MACN,IAAI,QAAQ,IAAI,OAAO,MAAM,QAAQ,IAAI,cAAc,IAAI,IAAI,EAChE;AACD;AAIA,SAAS,QACR,QACA,YACA,gBACA,QACC;CACD,MAAM,QAAQ,WAAW,MAAM,MAAM;CACrC,MAAM,MAAM,KAAK,IAAI,iBAAiB,UAAU,GAAG,OAAO,SAAS,CAAC;CACpE,IAAI,QAAQ,KAAK,SAAS,OAAO,QAAQ,OAAO,KAAA;CAChD,MAAM,UAAkC,CAAC;CACzC,IAAI,QAAQ,KAAK,CAAC,eAAe,IAAI,QAAQ,CAAC,GAAG,QAAQ,KAAK,QAAQ,CAAC;CACvE,QAAQ,KAAK,KAAK;CAClB,IAAI,MAAM,QAAQ,GAAG,QAAQ,KAAK,KAAA,CAAS;CAC3C,IAAI,MAAM,OAAO,QAAQ,KAAK,GAAG;CACjC,IACC,MAAM,IAAI,OAAO,UACjB,CAAC,eAAe,IAAI,MAAM,CAAC,MAC1B,MAAM,IAAI,OAAO,SAAS,KAAK,OAAO,MAAM,OAAO,KAEpD,QAAQ,KAAK,MAAM,CAAC;CACrB,MAAM,QAAQ,KAAK,IAClB,GAAG,QAAQ,KAAK,SACf,SAAS,KAAA,IAAY,IAAI,OAAO,OAAO,CAAC,CAAC,CAAC,MAC3C,CACD;CACA,MAAM,SAAmB,CAAC;CAC1B,KAAK,MAAM,QAAQ,SAAS;EAC3B,IAAI,SAAS,KAAA,GAAW;GACvB,OAAO,KAAK,OAAO,IAAI,GAAG,IAAI,OAAO,KAAK,EAAE,KAAK,CAAC;GAClD;EACD;EACA,MAAM,OAAO,OAAO;EACpB,MAAM,WAAW,QAAQ,SAAS,QAAQ;EAC1C,MAAM,WAAW,KAAK,WAAW,KAAM,MAAM,CAAC,CAAC,QAAQ;EACvD,OAAO,KACN,GAAG,OAAO,IAAI,GAAG,OAAO,OAAO,CAAC,CAAC,CAAC,SAAS,KAAK,EAAE,GAAG,EAAE,GAAG,WAAW,WAAW,OAAO,IAAI,QAAQ,GACpG;EACA,IAAI,CAAC,UAAU;EACf,MAAM,OAAO,SAAS,QAAQ,WAAW,MAAM,MAAM,YAAY;EACjE,MAAM,KACL,SAAS,WAAW,MAAM,IAAI,OAC3B,WAAW,MAAM,IAAI,YACrB,KAAK;EACT,MAAM,aAAa,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,WAAW,KAAM,MAAM,CAAC,CAAC;EAChE,MAAM,aAAa,KAAK,IACvB,GACA,KAAK,MAAM,MAAM,EAAE,CAAC,CAAC,WAAW,KAAM,MAAM,CAAC,CAAC,MAC/C;EACA,OAAO,KACN,GAAG,OAAO,IAAI,GAAG,IAAI,OAAO,KAAK,EAAE,GAAG,EAAE,GAAG,IAAI,OAAO,UAAU,IAAI,OAAO,MAAM,IAAI,OAAO,UAAU,CAAC,GACxG;CACD;CACA,OAAO;EAAE,OAAO;EAAQ;CAAM;AAC/B;AAIA,SAAS,iBACR,OACA,QACA,MACA,QACA,gBACA,QACA,+BAAe,IAAI,IAAY,GACpB;CACX,MAAM,SAAS,OAAO,OAAO;CAC7B,MAAM,eAAe,GAAG,SAAS,OAAO,QAAQ;CAChD,MAAM,SAAS,CACd,GAAG,OAAO,IAAI,GAAG,SAAS,QAAQ,EAAE,GAAG,OAAO,IAAI,GAAG,MAAM,MAAM,MAAM,OAAO,EAAE,GAAG,MAAM,MAAM,MAAM,YAAY,GAAG,EAAE,IAAI,OAAO,KAAK,MAAM,IAAI,GACjJ;CACA,MAAM,SAAS,SACZ,QAAQ,QAAQ,OAAO,gBAAgB,MAAM,IAC7C,KAAA;CACH,MAAM,YAAY,GAAG,MAAM,OAAO,GAAG,MAAM;CAC3C,IAAI,UAAU,CAAC,aAAa,IAAI,SAAS,GACxC,OAAO,KACN,GAAG,OAAO,MAAM,KAAK,SAAS,GAAG,OAAO,IAAI,YAAY,IAAI,MAAM,CACnE;CACD,aAAa,IAAI,SAAS;CAC1B,MAAM,cAAc,GAAG,eAAe,IAAI,OAAO,SAAS,OAAO,QAAQ,IAAI,CAAC;CAC9E,OAAO,KACN,GAAG,OAAO,IAAI,YAAY,IAAI,IAAI,OAAO,SAAS,OAAO,QAAQ,IAAI,CAAC,IAAI,OAAO,IAAI,IAAI,EAAE,GAAG,MAAM,SACrG;CACA,KAAK,MAAM,CAAC,OAAO,WAAW,MAAM,SAAS,QAAQ,GAAG;EACvD,MAAM,cAAc,UAAU,MAAM,SAAS,SAAS;EACtD,OAAO,KACN,GAAG,OAAO,IAAI,GAAG,cAAc,cAAc,OAAO,MAAM,EAAE,GAAG,OAAO,KAAK,OAAO,KAAK,GACxF;EACA,MAAM,WAAW,OAAO,YAAY,UAAU,GAAG,MAAM,EAAE,SAAS,EAAE,MAAM;EAC1E,KAAK,MAAM,CAAC,YAAY,UAAU,SAAS,QAAQ,GAClD,OAAO,KACN,GAAG,iBACF,OACA,GAAG,cAAc,cAAc,QAAQ,SACvC,eAAe,SAAS,SAAS,GACjC,QACA,gBACA,QACA,YACD,CACD;CACF;CACA,OAAO;AACR;AAEA,SAAS,YACR,OACA,SACA,QACS;CACT,MAAM,MAAM,QAAQ,OAAO,QAAQ,IAAI;CACvC,MAAM,cAAc,gBAAgB,MAAM,QAAQ,eAAe,CAAC,CAAC,CAAC,CAAC,UACnE,GAAG,MAAM,EAAE,SAAS,EAAE,MACxB;CACA,MAAM,SAAS,CACd,GAAI,YAAY,SAAS,CAAC,WAAW,YAAY,QAAQ,OAAO,CAAC,IAAI,CAAC,GACtE,GAAI,MAAM,SAAS,SAChB,CAAC,WAAW,MAAM,SAAS,QAAQ,SAAS,CAAC,IAC7C,CAAC,CACL;CACA,MAAM,SACL,OAAO,KAAK,IAAI,MACf,MAAM,QAAQ,aAAa,aAAa,aAAa;CACvD,MAAM,cAAc,OAAO,SACxB,OAAO,MACP,MAAM,QAAQ,aAAa,aAC1B,OAAO,MACP,OAAO;CACX,IAAI,SAAS,GAAG,OAAO,KAAK,YAAY,KAAK,MAAM,IAAI,CAAC,EAAE,IAAI,YAAY,MAAM;CAChF,IAAI,MAAM,QAAQ;EACjB,MAAM,EAAE,MAAM,UAAU,gBAAgB,MAAM;EAC9C,MAAM,SAAS,KAAK,YAAY;EAChC,MAAM,SAAS,aAAa;EAC5B,MAAM,cACL,aAAa,aACV,SACA,SACC,GAAG,OAAO,WAAW,YAAY,KAAK,IAAI,cAAc,KAAK,MAAM,EAAE,KACrE,GAAG,OAAO,gBAAgB,cAAc,gBAAgB,YAAY,SAAS,wBAAwB;EAC1G,UAAU,KAAK,OAAO,IAAI,MAAM,aAAa;CAC9C;CACA,MAAM,SAAS,CAAC,MAAM;CACtB,MAAM,OAAO,QAAQ,SAAS,IAAI,MAAM,IAAI;CAC5C,MAAM,SAAS,SAAS,KAAA,IAAY,KAAA,IAAY,KAAK,MAAM,YAAY;CACvE,MAAM,iCAAiB,IAAI,IAAY;CACvC,IAAI,QACH,KAAK,MAAM,cAAc,MAAM,QAAQ,eAAe,CAAC,GACtD,KACC,IAAI,OAAO,WAAW,MAAM,MAAM,MAClC,QAAQ,KAAK,IAAI,iBAAiB,UAAU,GAAG,OAAO,SAAS,CAAC,GAChE,QAEA,eAAe,IAAI,IAAI;CAE1B,MAAM,SAAuC,CAC5C,GAAG,aACH,GAAG,MAAM,QACV;CACA,KAAK,MAAM,CAAC,OAAO,UAAU,OAAO,QAAQ,GAAG;EAC9C,MAAM,OAAO,UAAU,OAAO,SAAS;EACvC,MAAM,SAAS,OAAO,OAAO;EAC7B,IAAI,WAAW,OACd,OAAO,KACN,GAAG,iBAAiB,OAAO,IAAI,MAAM,QAAQ,gBAAgB,MAAM,CACpE;OAEA,OAAO,KACN,GAAG,OAAO,IAAI,MAAM,EAAE,GAAG,OAAO,IAAI,MAAM,IAAI,EAAE,IAAI,MAAM,SAC3D;EACD,IAAI,CAAC,MAAM,OAAO,KAAK,OAAO,IAAI,GAAG,CAAC;CACvC;CACA,OAAO,OAAO,KAAK,IAAI;AACxB;AAEA,SAAgB,eACf,QACA,UAA2B,CAAC,GACnB;CACT,MAAM,SAAS,aAAa,QAAQ,KAAK;CACzC,MAAM,yBAAS,IAAI,IAAuB;CAC1C,KAAK,MAAM,UAAU,OAAO,OAC3B,OAAO,IAAI,OAAO,MAAM;EACvB,MAAM,OAAO;EACb;EACA,UAAU,CAAC,GAAG,OAAO,QAAQ;CAC9B,CAAC;CACF,MAAM,iBAA4B,CAAC;CACnC,KAAK,MAAM,SAAS,OAAO,UAAU;EACpC,IAAI,CAAC,MAAM,MAAM;GAChB,eAAe,KAAK,KAAK;GACzB;EACD;EACA,IAAI,QAAQ,OAAO,IAAI,MAAM,IAAI;EACjC,IAAI,CAAC,OAAO;GACX,QAAQ;IAAE,MAAM,MAAM;IAAM,UAAU,CAAC;GAAE;GACzC,OAAO,IAAI,MAAM,MAAM,KAAK;EAC7B;EACA,MAAM,SAAS,KAAK,KAAK;CAC1B;CACA,MAAM,SAAS,CAAC,GAAG,OAAO,OAAO,CAAC,CAAC,CACjC,UAAU,GAAG,MAAO,EAAE,OAAO,EAAE,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,IAAI,CAAE,CAAC,CACpE,KAAK,UAAU,YAAY,OAAO,SAAS,MAAM,CAAC;CACpD,KAAK,MAAM,SAAS,gBACnB,OAAO,KAAK,GAAG,OAAO,IAAI,MAAM,IAAI,EAAE,IAAI,MAAM,SAAS;CAC1D,MAAM,SAAS,OAAO,MAAM,QAC1B,OAAO,SAAS,QAAQ,gBAAgB,KAAK,WAAW,CAAC,CAAC,QAC3D,CACD;CACA,MAAM,IAAI,OAAO;CACjB,MAAM,SACL,OAAO,aAAa,IACjB,uBAAuB,WAAW,EAAE,UAAU,SAAS,MACvD,OAAO,aAAa,IACnB,iBAAiB,WAAW,QAAQ,OAAO,EAAE,MAAM,WAAW,EAAE,SAAS,MAAM,MAC/E;CACL,OAAO,KACN;EACC,OAAO,IAAI,IAAI,OAAO,EAAE,CAAC;EACzB;GACC,OAAO,aAAa,IAClB,OAAO,MACP,OAAO,aAAa,IACnB,OAAO,UACP,OAAO,QAAA,CAAS,MAAM;EAC1B;EACA,GAAG,EAAE,QAAQ,YAAY,EAAE,cAAc,mBAAmB,EAAE,WAAW,gBAAgB,EAAE,QAAQ,YAAY,EAAE,SAAS;CAC3H,CAAC,CAAC,KAAK,IAAI,CACZ;CACA,OAAO,OAAO,KAAK,MAAM;AAC1B;;;ACnRA,eAAsB,MAAM,UAAwB,CAAC,GAAoB;CACxE,MAAM,SAAiB;EACtB,eAAe;EACf,QAAQ;EACR,OAAO,CAAC;EACR,UAAU,CAAC;EACX,SAAS;GACR,SAAS;GACT,eAAe;GACf,YAAY;GACZ,SAAS;GACT,UAAU;EACX;EACA,UAAU;CACX;CACA,IAAI;EACH,MAAM,MAAM,KAAK,QAAQ,QAAQ,OAAO,QAAQ,IAAI,CAAC;EACrD,MAAM,aAAa,QAAQ,SACxB,KAAK,QAAQ,KAAK,QAAQ,MAAM,IAChC,MAAM,eAAe,GAAG;EAC3B,OAAO,SAAS;EAChB,MAAM,UAAU,MAAM,YAAY,UAAU;EAC5C,MAAM,SAAS,IAAI,OAClB,SACA,QAAQ,YAAY,KAAA,IAAY,CAAC,IAAI,EAAE,SAAS,QAAQ,QAAQ,CACjE;EACA,MAAM,OAAO,QAAQ;EACrB,MAAM,QAAQ,QAAQ,OAAO,SAC1B,QAAQ,MAAM,KAAK,MAAM,KAAK,QAAQ,KAAK,CAAC,CAAC,IAC7C,MAAM,KAAK,QAAQ,OAAO,SAAS,CAAC,aAAa,YAAY,GAAG;GAChE,KAAK,QAAQ;GACb,QAAQ,WAAW,OAAO;GAC1B,UAAU;GACV,KAAK;GACL,WAAW;EACZ,CAAC;EACH,KAAK,MAAM,QAAQ,CAAC,GAAG,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAC3C,IAAI;GACH,MAAM,WAAW,WAAW,SAAS,IAAI;GACzC,MAAM,OAAO,WAAW,MAAM,SAAS,MAAM,MAAM,IAAI;GACvD,IAAI,UAAU,QAAQ,SAAS,MAAM,IAAI;GACzC,OAAO,MAAM,KAAK,MAAM,OAAO,SAAS,MAAM,IAAI,CAAC;EACpD,SAAS,OAAO;GACf,OAAO,SAAS,KAAK,QAAQ,OAAO,IAAI,CAAC;EAC1C;CAEF,SAAS,OAAO;EACf,OAAO,SAAS,KAAK,QAAQ,KAAK,CAAC;CACpC;CACA,MAAM,UAAU,OAAO,MAAM,QAAQ,MAAM,EAAE,aAAa,UAAU;CACpE,OAAO,UAAU;EAChB,SAAS,QAAQ;EACjB,eAAe,QAAQ,QAAQ,MAAM,EAAE,aAAa,QAAQ,CAAC,CAAC;EAC9D,YAAY,QAAQ,QAAQ,MAAM,EAAE,aAAa,aAAa,CAAC,CAAC;EAChE,SAAS,QAAQ,QAAQ,MAAM,EAAE,YAAY,SAAS,CAAC,CAAC,CAAC;EACzD,UACC,OAAO,SAAS,SAChB,OAAO,MAAM,QAAQ,GAAG,MAAM,IAAI,EAAE,SAAS,QAAQ,CAAC;CACxD;CACA,OAAO,WAAW,OAAO,QAAQ,WAAW,IAAI,OAAO,QAAQ,UAAU,IAAI;CAC7E,OAAO;AACR;;;AC3EA,MAAM,OAAO;;;;;;;AAQb,eAAsB,IACrB,MACA,MAAM,QAAQ,IAAI,GAC8B;CAChD,IAAI,OACH,KAAK,SAAS,eAAe,KAC7B,KAAK,MAAM,KAAK,MAAM,QAAQ,cAAc,KAAK,IAAI,OAAO,MAAM;CACnE,IAAI;EACH,MAAM,EAAE,QAAQ,gBAAgB,UAAU;GACzC;GACA,kBAAkB;GAClB,QAAQ;GACR,SAAS;IACR,QAAQ;KAAE,MAAM;KAAU,OAAO;IAAI;IACrC,SAAS,EAAE,MAAM,UAAU;IAC3B,QAAQ;KAAE,MAAM;KAAU,SAAS;IAAW;IAC9C,MAAM;KAAE,MAAM;KAAW,OAAO;IAAI;GACrC;EACD,CAAC;EACD,OAAO,OAAO,WAAW;EACzB,IAAI,OAAO,QAAQ,YAAY,WAAW,GACzC,OAAO;GAAE,QAAQ;GAAM,UAAU;EAAE;EACpC,IAAI,YAAY,OAAO,SACtB,MAAM,IAAI,MAAM,oBAAoB,YAAY,IAAI;EACrD,IAAI,OAAO,WAAW,UAAU,OAAO,WAAW,YACjD,MAAM,IAAI,MAAM,0BAA0B,OAAO,QAAQ;EAC1D,MAAM,0BAAU,IAAI,IAAoB;EACxC,MAAM,SAAS,MAAM,MAAM;GAC1B;GACA,OAAO,YAAY,MAAM,CAAC;GAC1B,GAAI,OAAO,SAAS,EAAE,QAAQ,OAAO,OAAO,IAAI,CAAC;GACjD,GAAI,OAAO,YAAY,KAAA,IAAY,CAAC,IAAI,EAAE,SAAS,OAAO,QAAQ;GAClE,GAAI,OACD,CAAC,IACD,EACA,SAAS,MAAc,SAAiB;IACvC,QAAQ,IAAI,MAAM,IAAI;GACvB,EACD;EACH,CAAC;EACD,OAAO;GACN,QAAQ,OACL,KAAK,UAAU,QAAQ,MAAM,CAAC,IAC9B,eAAe,QAAQ;IAAE;IAAK;GAAQ,CAAC;GAC1C,UAAU,OAAO;EAClB;CACD,SAAS,OAAO;EACf,MAAM,SAAiB;GACtB,eAAe;GACf,QAAQ;GACR,OAAO,CAAC;GACR,UAAU,CAAC,QAAQ,KAAK,CAAC;GACzB,SAAS;IACR,SAAS;IACT,eAAe;IACf,YAAY;IACZ,SAAS;IACT,UAAU;GACX;GACA,UAAU;EACX;EACA,OAAO;GACN,QAAQ,OACL,KAAK,UAAU,QAAQ,MAAM,CAAC,IAC9B,eAAe,QAAQ,EAAE,IAAI,CAAC;GACjC,UAAU;EACX;CACD;AACD;AAEA,MAAM,SAAS,MAAM,IAAI,QAAQ,KAAK,MAAM,CAAC,CAAC;AAC9C,QAAQ,OAAO,MAAM,GAAG,OAAO,OAAO,GAAG;AACzC,QAAQ,WAAW,OAAO"}

package/dist/core.d.mts

@@ -0,0 +1,183 @@
+import { AnySchema, ValidateFunction } from "ajv";
+import { Node } from "jsonc-parser";
+//#region src/core/types.d.ts
+export type Mode = "json" | "jsonc";
+export type Position = {
+  line: number;
+  character: number;
+};
+export type Range = {
+  start: Position;
+  end: Position;
+};
+export type Diagnostic = {
+  code: string;
+  message: string;
+  pointer: string;
+  offset: number;
+  length: number;
+  range: Range;
+  context?: {
+    parent: number;
+    label: string;
+  };
+};
+export type Failure = {
+  code: string;
+  message: string;
+  file?: string;
+};
+export declare class CorrectlyError extends Error {
+  readonly code: string;
+  constructor(code: string, message: string);
+}
+export declare function failure(error: unknown, file?: string): Failure;
+export type Association = {
+  index: number;
+  name: string;
+  schema: string | null;
+  mode: Mode;
+};
+export type FileResult = {
+  file: string;
+  mode: Mode;
+  coverage: "schema" | "syntax-only" | "excluded";
+  association: Association | null;
+  diagnostics: Diagnostic[];
+  failures: Failure[];
+};
+export type Report = {
+  reportVersion: 1;
+  config: string | null;
+  files: FileResult[];
+  failures: Failure[];
+  summary: {
+    checked: number;
+    schemaCovered: number;
+    syntaxOnly: number;
+    invalid: number;
+    failures: number;
+  };
+  exitCode: 0 | 1 | 2;
+};
+//#endregion
+//#region src/core/parse.d.ts
+export type SourceSpan = {
+  offset: number;
+  length: number;
+};
+export type ParsedDocument = {
+  value: unknown;
+  diagnostics: Diagnostic[];
+  locate: (pointer: string, key?: boolean) => SourceSpan | undefined;
+};
+export type ParsedJsonDocument = ParsedDocument & {
+  root: Node | undefined;
+};
+export declare function pointer(parts: readonly (string | number)[]): string;
+export declare function positionAt(text: string, offset: number): Position;
+export declare function diagnostic(text: string, code: string, message: string, jsonPointer?: string, offset?: number, length?: number): Diagnostic;
+export declare function parseDocument(text: string, mode: Mode): ParsedJsonDocument;
+export declare function locate(root: Node | undefined, jsonPointer: string, key?: boolean): Node | undefined;
+//#endregion
+//#region src/core/config.d.ts
+export declare const CONFIG_NAME = "correctly.config.json";
+export declare const DEFAULT_EXCLUDES: string[];
+export type ProjectConfig = {
+  files?: string[];
+  exclude?: string[];
+  associations: {
+    name?: string;
+    files: string[];
+    schema: string | null;
+    mode?: Mode;
+  }[];
+  remote?: {
+    offline?: boolean;
+    cacheDir?: string;
+    timeoutMs?: number;
+    maxBytes?: number;
+    maxRequests?: number;
+  };
+};
+export type Project = {
+  configPath: string;
+  root: string;
+  config: ProjectConfig;
+};
+export type ReadText = (uri: string) => Promise<string>;
+export declare const readText: ReadText;
+export declare function contains(root: string, file: string): boolean;
+export declare function discoverConfig(start: string, boundary?: string, virtualFiles?: ReadonlySet<string>): Promise<string>;
+export declare function loadProject(configPath: string, read?: ReadText): Promise<Project>;
+export declare function schemaUri(value: string, root: string): string;
+export declare function exclusions(project: Project): string[];
+export declare function isIncluded(project: Project, file: string): boolean;
+export declare function associationFor(project: Project, file: string): Association | null;
+export declare function modeFor(file: string): Mode;
+//#endregion
+//#region src/core/schemas.d.ts
+export type Dialect = "draft7" | "2020-12";
+export declare const DIALECTS: {
+  readonly draft7: "http://json-schema.org/draft-07/schema#";
+  readonly "2020-12": "https://json-schema.org/draft/2020-12/schema";
+};
+export type SchemaResource = {
+  uri: string;
+  schema: AnySchema;
+  dialect: Dialect;
+};
+export type StoreOptions = {
+  offline?: boolean;
+  read?: ReadText;
+  fetch?: typeof fetch;
+  signal?: AbortSignal;
+};
+export declare class SchemaStore {
+  private readonly options;
+  readonly resources: Map<string, SchemaResource>;
+  private readonly pending;
+  private readonly cacheDir;
+  private readonly offline;
+  private readonly timeoutMs;
+  private readonly maxBytes;
+  private readonly maxRequests;
+  private readonly read;
+  private readonly request;
+  private requests;
+  constructor(project: Project, options?: StoreOptions);
+  load(value: string, inherited?: Dialect): Promise<SchemaResource>;
+  private loadResource;
+  private register;
+  private normalize;
+  private remote;
+}
+export declare function localSchemaPath(uri: string): string | undefined;
+//#endregion
+//#region src/core/engine.d.ts
+export declare class Engine {
+  readonly project: Project;
+  readonly store: SchemaStore;
+  private readonly compiled;
+  constructor(project: Project, options?: StoreOptions);
+  validator(uri: string): Promise<ValidateFunction>;
+  private compile;
+  prepare(): Promise<void>;
+  validate(file: string, text: string): Promise<FileResult>;
+}
+//#endregion
+//#region src/core/diagnostics.d.ts
+type DiagnosticView = Diagnostic & {
+  branches: {
+    label: string;
+    diagnostics: DiagnosticView[];
+  }[];
+};
+export declare function diagnosticViews(diagnostics: readonly Diagnostic[]): DiagnosticView[];
+export declare function diagnosticDetails(view: DiagnosticView): {
+  label: string;
+  diagnostic: DiagnosticView;
+}[];
+//#endregion
+export type { DiagnosticView };
+//# sourceMappingURL=core.d.mts.map

package/dist/core.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"core.d.mts","names":[],"sources":["../src/core/types.ts","../src/core/parse.ts","../src/core/config.ts","../src/core/schemas.ts","../src/core/engine.ts","../src/core/diagnostics.ts"],"mappings":";;;YAAY;YACA;EAAa;EAAc;;YAC3B;EAAU,OAAO;EAAU,KAAK;;YAChC;EACX;EACA;EACA;EACA;EACA;EACA,OAAO;EACP;IAAY;IAAgB;;;YAEjB;EAAY;EAAc;EAAiB;;qBAC1C,uBAAuB;WAC1B;EACT,YAAY,cAAc;;wBAMX,QAAQ,gBAAgB,gBAAgB;YAO5C;EACX;EACA;EACA;EACA,MAAM;;YAEK;EACX;EACA,MAAM;EACN;EACA,aAAa;EACb,aAAa;EACb,UAAU;;YAEC;EACX;EACA;EACA,OAAO;EACP,UAAU;EACV;IACC;IACA;IACA;IACA;IACA;;EAED;;;;YC3CW;EAAe;EAAgB;;YAC/B;EACX;EACA,aAAa;EACb,SAAS,iBAAiB,kBAAkB;;YAEjC,qBAAqB;EAAmB,MAAM;;wBAE1C,QAAQ;wBAMR,WAAW,cAAc,iBAAiB;wBAiB1C,WACf,cACA,cACA,iBACA,sBACA,iBACA,kBACE;wBAgBa,cAAc,cAAc,MAAM,OAAO;wBA8EzC,OACf,MAAM,kBACN,qBACA,gBACE;;;qBC1IU;qBACA;YAOD;EACX;EACA;EACA;IACC;IACA;IACA;IACA,OAAO;;EAER;IACC;IACA;IACA;IACA;IACA;;;YAGU;EACX;EACA;EACA,QAAQ;;YAEG,YAAY,gBAAgB;qBAC3B,UAAU;wBAKP,SAAS,cAAc;wBASjB,eACrB,eACA,mBACA,eAAc,sBACZ;wBAuBmB,YACrB,oBACA,OAAM,WACJ,QAAQ;wBAwCK,UAAU,eAAe;wBAoBzB,WAAW,SAAS;wBAkBpB,WAAW,SAAS,SAAS;wBAY7B,eACf,SAAS,SACT,eACE;wBAoBa,QAAQ,eAAe;;;YC5L3B;qBACC;WACZ;WACA;;YAwDW;EACX;EACA,QAAQ;EACR,SAAS;;YAQE;EACX;EACA,OAAO;EACP,eAAe;EACf,SAAS;;qBAGG;mBACK;WACR,WAAS,YAAA;mBACD;mBACA;mBACA;mBACA;mBACA;mBACA;mBACA;mBACA;UACT;EACR,YAAY,SAAS,SAAS,UAAS;EAejC,KACL,eACA,YAAW,UACT,QAAQ;UAeG;UA2DN;UAOA;UAoEM;;wBA8GC,gBAAgB;;;qBCzPnB;WACH,SAAS;WACT,OAAO;mBACC;EACjB,YAAY,SAAS,SAAS,UAAS;EAKvC,UAAU,cAAc,QAAQ;UASlB;EAwDR,WAAW;EAYX,SAAS,cAAc,eAAe,QAAQ;;;;KCjNzC,iBAAiB;EAC5B;IAAY;IAAe,aAAa;;;wBAiEzB,gBACf,sBAAsB,eACpB;wBA8Ba,kBACf,MAAM;EACF;EAAe,YAAY"}

package/dist/core.mjs

@@ -0,0 +1,2 @@
+import { C as pointer, S as parseDocument, _ as schemaUri, a as SchemaStore, b as diagnostic, c as DEFAULT_EXCLUDES, d as discoverConfig, f as exclusions, g as readText, h as modeFor, i as DIALECTS, l as associationFor, m as loadProject, n as diagnosticDetails, o as localSchemaPath, p as isIncluded, r as diagnosticViews, s as CONFIG_NAME, t as Engine, u as contains, v as CorrectlyError, w as positionAt, x as locate, y as failure } from "./engine-BgWBnb1A.mjs";
+export { CONFIG_NAME, CorrectlyError, DEFAULT_EXCLUDES, DIALECTS, Engine, SchemaStore, associationFor, contains, diagnostic, diagnosticDetails, diagnosticViews, discoverConfig, exclusions, failure, isIncluded, loadProject, localSchemaPath, locate, modeFor, parseDocument, pointer, positionAt, readText, schemaUri };