correctly 0.0.0 → 0.1.0

package/AGENTS.md

@@ -1,8 +1,12 @@
 # Correctly consumer guidance
 
-- Keep schema associations in `correctly.config.json`; document `$schema` fields do not select schemas.
+- Keep schema associations in `correctly.config.ts`; document `$schema` fields do not select schemas.
 - Run `correctly check` in CI and use the extension or `correctly-lsp --stdio` for editor assistance.
 - JSON is strict. JSONC permits comments and trailing commas. Duplicate keys are always errors.
 - Resolve patterns and local schema paths from the configuration directory. Last matching association wins.
+- Compose parser and validator adapters directly; install `@correctlyjs/schemars` and import `schemars` from `@correctlyjs/schemars/ajv` and opt into the extension on each Ajv validator, for example `extensions: [schemars({ version: "0.8.22" })]`; an exact reviewed release or a closed range within one compatibility era is required; consult the extension package's guide for supported eras, format inventory, and precision. Renovate metadata uses the separate `renovate()` extension.
+- Missing format implementations fail with `extension-required`; never disable format validation to work around them.
 - Use explicit offline mode for reproducible cached validation. Missing schemas and offline cache misses fail.
-- See `docs/guide.md` for detailed semantics. Formatting belongs to your formatter; YAML/TOML are not supported yet.
+- See `docs/guide.md` for detailed semantics. Formatting belongs to your formatter; built-in parsers cover JSON/JSONC. Custom parsers must specify value semantics and source mapping.
+
+- Use Comline-loaded TypeScript configuration and project-local dependencies. Save executable configuration/imports to reload; do not evaluate unsaved TypeScript. The VSIX requires workspace trust.

package/README.md

@@ -1,24 +1,30 @@
 # Correctly
 
-Validate JSON and JSONC in CI and editors using one external schema map.
+Compose parsers and validators in one TypeScript configuration for CI and editors.
 
-```json
-{
-	"files": ["config/**/*.json", "config/**/*.jsonc"],
-	"associations": [
+```ts
+import { defineConfig, json } from "correctly"
+import { ajv } from "correctly/validators/ajv"
+import { schemars } from "@correctlyjs/schemars/ajv"
+
+export default defineConfig({
+	associations: [
 		{
-			"name": "Application",
-			"files": ["config/**"],
-			"schema": "schemas/app.json"
-		}
-	]
-}
+			files: ["turbo.json"],
+			parse: json(),
+			validate: ajv({
+				schema: "https://turbo.build/schema.json",
+				extensions: [schemars({ version: ">=0.8.15 <=0.8.22" })],
+			}),
+		},
+	],
+})
 ```
 
-Save as `correctly.config.json`, then run `correctly check`. Exit codes are 0 for success, 1 for document errors, and 2 for configuration/schema/execution failures. Use `correctly check --format json` for a stable report or `correctly check --offline` for cached remote schemas. Formatting never changes results.
+Install `correctly` and `@correctlyjs/schemars` in your project and save this as `correctly.config.ts`, then run `correctly check`. Comline loads the configuration and its imported implementations. Exit codes are 0 for success, 1 for document errors, and 2 for configuration/schema/execution failures. Use `correctly check --format json` for a versioned report or `correctly check --offline` for cached remote schemas.
 
-The VS Code extension uses the same configuration for diagnostics, completion and hover. Other editors can launch `correctly-lsp --stdio`.
+The VS Code extension and `correctly-lsp --stdio` use the same runtime for diagnostics, completion and hover. Executable configuration runs only in trusted workspaces and reloads after saving; data and schema buffers validate as you type.
 
-Draft 7 and 2020-12 are supported by separate Ajv validators. Documents' `$schema` properties remain ordinary data. Correctly does not coerce values, insert defaults, remove properties, format, or fix documents.
+Built-in JSON/JSONC parsers and an Ajv adapter support drafts 7 and 2020-12. Schema extensions are explicit per validator. Unsupported formats produce actionable extension requirements. Documents' `$schema` properties remain ordinary data. Correctly does not coerce values, insert defaults, remove properties, format, or fix documents.
 
-See the [guide](docs/guide.md) for discovery, precedence, cache policy, diagnostics, editor behavior, and core APIs. JSON/JSONC are supported today; YAML/TOML are future scope.
+See the [guide](docs/guide.md) for migration, adapter contracts, reviewed Schemars eras and precision, discovery, cache policy, diagnostics, and editor behavior.

package/dist/ajv.d.mts

@@ -0,0 +1,11 @@
+import { C as Validator } from "./config-Bx1-XXeo.mjs";
+import { t as AjvExtension } from "./extensions-ClclWslY.mjs";
+//#region src/validators/ajv.d.ts
+export type AjvOptions = {
+  schema: string;
+  extensions?: readonly AjvExtension[];
+};
+export declare function ajv(options: AjvOptions): Validator;
+//#endregion
+export type { AjvExtension };
+//# sourceMappingURL=ajv.d.mts.map

package/dist/ajv.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ajv.d.mts","names":[],"sources":["../src/validators/ajv.ts"],"mappings":";;;YA0NY;EACX;EACA,sBAAsB;;wBAEP,IAAI,SAAS,aAAa"}

package/dist/ajv.mjs

@@ -0,0 +1,221 @@
+import { C as pointer, b as diagnostic, f as schemaUri, g as isCorrectlyError, m as CorrectlyError } from "./config-Cb6o4YnJ.mjs";
+import { r as validationContexts } from "./diagnostics-BqD1WOy4.mjs";
+import { i as schemaChildren, n as SchemaStore, t as DIALECTS } from "./schemas-UxCtIdo2.mjs";
+import { Ajv } from "ajv";
+import { Ajv2020 } from "ajv/dist/2020.js";
+import addFormats from "ajv-formats";
+//#region src/core/extensions.ts
+const knownExtensions = [{
+	id: "@correctlyjs/schemars",
+	formats: [
+		"int",
+		"uint",
+		"int8",
+		"uint8",
+		"int16",
+		"uint16",
+		"int32",
+		"uint32",
+		"int64",
+		"uint64",
+		"int128",
+		"uint128",
+		"float",
+		"double",
+		"ip",
+		"phone",
+		"partial-date-time"
+	],
+	guidance: `For a Schemars-generated schema, install @correctlyjs/schemars and import { schemars } from "@correctlyjs/schemars/ajv". Select the schema's reviewed Schemars version with schemars({ version: "..." }) in this Ajv validator's extensions in correctly.config.ts.`
+}];
+function installExtensions(ajv, extensions) {
+	const formats = /* @__PURE__ */ new Set(), annotations = /* @__PURE__ */ new Set();
+	const identifiers = /* @__PURE__ */ new Set();
+	for (const extension of extensions) {
+		if (!extension || typeof extension !== "object" || typeof extension.id !== "string" || !extension.id) throw new CorrectlyError("extension", "Pass extension implementations to ajv({ extensions: [...] }); string identifiers are not implementations.");
+		const id = extension.id;
+		if (identifiers.has(id)) throw new CorrectlyError("extension", `Duplicate extension identifier: ${id}`);
+		identifiers.add(id);
+		for (const [name, definition] of Object.entries(extension.formats ?? {})) {
+			if (formats.has(name)) throw new CorrectlyError("extension", `Enabled extensions both define format ${JSON.stringify(name)}.`);
+			if (definition.async || typeof definition.validate !== "function") throw new CorrectlyError("extension", `Extension ${id} must provide a synchronous validator for format ${JSON.stringify(name)}.`);
+			formats.add(name);
+			const validate = definition.validate;
+			ajv.addFormat(name, {
+				...definition,
+				validate: (value) => {
+					const valid = validate(value);
+					if (typeof valid !== "boolean") throw new CorrectlyError("extension", `Extension ${id} returned a non-boolean result for format ${JSON.stringify(name)}. Validators must be synchronous.`);
+					return valid;
+				}
+			});
+		}
+		for (const keyword of extension.annotations ?? []) {
+			if (annotations.has(keyword) || ajv.RULES.keywords[keyword]) throw new CorrectlyError("extension", `Extension ${id} conflicts with keyword ${JSON.stringify(keyword)}.`);
+			annotations.add(keyword);
+			ajv.addKeyword({
+				keyword,
+				valid: true
+			});
+		}
+	}
+}
+function assertFormats(ajv, schema, uri, registry, location = "") {
+	if (typeof schema !== "object" || schema === null || Array.isArray(schema)) return;
+	const object = schema;
+	if (typeof object.format === "string" && (!Object.hasOwn(ajv.formats, object.format) || ajv.formats[object.format] === true)) {
+		const format = object.format;
+		const extension = registry.find((entry) => entry.formats.includes(format));
+		const hint = extension?.guidance ?? `Pass an extension implementing ${JSON.stringify(format)} to this Ajv validator's extensions in correctly.config.ts.`;
+		throw new CorrectlyError("extension-required", `This schema needs an extension.\nFormat ${JSON.stringify(format)} has no enabled validator; validation cannot proceed.\nSchema: ${uri}#${location}/format\n${hint}`, {
+			schemaUri: uri,
+			schemaPointer: `${location}/format`,
+			format,
+			...extension ? { suggestedExtension: extension.id } : {}
+		});
+	}
+	for (const [path, child] of schemaChildren(object)) assertFormats(ajv, child, uri, registry, location + path);
+}
+//#endregion
+//#region src/validators/ajv.ts
+const ANNOTATIONS = [
+	"markdownDescription",
+	"enumDescriptions",
+	"markdownEnumDescriptions",
+	"defaultSnippets",
+	"errorMessage",
+	"patternErrorMessage",
+	"deprecationMessage",
+	"suggestSortText",
+	"doNotSuggest",
+	"allowComments",
+	"allowTrailingCommas",
+	"deprecated",
+	"$vocabulary"
+];
+function registerRootAnchors(ajv, schema, uri) {
+	if (typeof schema !== "object" || schema === null) return;
+	const object = schema;
+	for (const anchor of [object.$anchor, object.$dynamicAnchor]) if (typeof anchor === "string") ajv.refs[new URL(`#${anchor}`, object.$id ?? uri).href] = object.$id ?? uri;
+}
+function validationMessage(error) {
+	if (error.keyword === "anyOf") return "must match at least one alternative; none matched";
+	if (error.keyword === "if" && ["then", "else"].includes(error.params.failingKeyword)) return `must satisfy the ${error.params.failingKeyword} branch of the conditional schema`;
+	if (error.keyword === "uniqueItems") {
+		const { i, j } = error.params;
+		if (Number.isInteger(i) && Number.isInteger(j)) return `duplicates item at ${error.instancePath}${pointer([Math.min(i, j)])}; array items must be unique`;
+	}
+	if (error.keyword === "enum" && Array.isArray(error.params.allowedValues)) return `must be one of: ${error.params.allowedValues.map((value) => JSON.stringify(value)).join(", ")}`;
+	if (error.keyword === "const" && Object.hasOwn(error.params, "allowedValue")) return `must equal ${JSON.stringify(error.params.allowedValue)}`;
+	if (error.keyword === "oneOf") {
+		if (error.params.passingSchemas === null) return "must match exactly one alternative; none matched";
+		if (Array.isArray(error.params.passingSchemas)) return `must match exactly one alternative; multiple matched (alternatives ${error.params.passingSchemas.map((index) => index + 1).join(", ")})`;
+	}
+	return error.message ?? "Schema violation";
+}
+function validationDiagnostic(text, parsed, error) {
+	let jsonPointer = error.instancePath;
+	if (error.keyword === "uniqueItems" && Number.isInteger(error.params.i) && Number.isInteger(error.params.j)) jsonPointer += pointer([Math.max(error.params.i, error.params.j)]);
+	const property = error.params.additionalProperty ?? error.params.unevaluatedProperty ?? error.params.missingProperty ?? error.params.propertyName ?? error.propertyName;
+	if (typeof property === "string") jsonPointer += pointer([property]);
+	const node = parsed.locate(jsonPointer, error.keyword === "additionalProperties" || error.keyword === "unevaluatedProperties" || error.keyword === "propertyNames" || typeof error.propertyName === "string");
+	const rangeNode = error.keyword === "required" && error.propertyName === void 0 ? parsed.locate(error.instancePath) : node;
+	const length = error.keyword === "required" && error.propertyName === void 0 ? 1 : rangeNode?.length;
+	return diagnostic(text, `schema/${error.keyword}`, `${jsonPointer || "/"}: ${validationMessage(error)}`, jsonPointer, rangeNode?.offset ?? 0, length ?? 1);
+}
+async function compile(store, uri, extensions) {
+	try {
+		const resource = await store.load(uri);
+		const options = {
+			allErrors: true,
+			strictSchema: true,
+			strictTypes: false,
+			strictTuples: false,
+			strictRequired: false,
+			coerceTypes: false,
+			useDefaults: false,
+			removeAdditional: false,
+			validateSchema: true,
+			loadSchema: async (ref) => {
+				const loaded = await store.load(ref, resource.dialect);
+				if (loaded.dialect !== resource.dialect) throw new CorrectlyError("unsupported-dialect", `Mixed schema dialects: ${uri} references ${ref}`);
+				assertFormats(ajv, loaded.schema, loaded.uri, knownExtensions, loaded.pointer);
+				registerRootAnchors(ajv, loaded.schema, loaded.uri);
+				return loaded.schema;
+			}
+		};
+		const ajv = resource.dialect === "2020-12" ? new Ajv2020(options) : new Ajv(options);
+		addFormats(ajv);
+		for (const name of [
+			"int32",
+			"int64",
+			"float",
+			"double"
+		]) delete ajv.formats[name];
+		for (const keyword of ANNOTATIONS) if (!ajv.RULES.keywords[keyword]) ajv.addKeyword({
+			keyword,
+			valid: true
+		});
+		if (resource.dialect === "2020-12") ajv.addKeyword({
+			keyword: "$anchor",
+			schemaType: "string",
+			valid: true
+		});
+		installExtensions(ajv, extensions);
+		assertFormats(ajv, resource.schema, resource.uri, knownExtensions, resource.pointer);
+		ajv.addSchema(resource.schema, resource.uri);
+		registerRootAnchors(ajv, resource.schema, resource.uri);
+		return await ajv.compileAsync({
+			$schema: DIALECTS[resource.dialect],
+			$ref: uri
+		});
+	} catch (error) {
+		if (isCorrectlyError(error)) throw error;
+		throw new CorrectlyError("schema", `Cannot compile schema ${uri}: ${error instanceof Error ? error.message : String(error)}`);
+	}
+}
+const storeKey = Symbol.for("correctly/ajv/schema-store@1");
+function schemaStore(context) {
+	let store = context.services.get(storeKey);
+	if (!store) {
+		store = new SchemaStore({
+			root: context.root,
+			config: context.remote ? { remote: context.remote } : {}
+		}, {
+			read: context.read,
+			...context.fetch ? { fetch: context.fetch } : {},
+			...context.signal ? { signal: context.signal } : {}
+		});
+		context.services.set(storeKey, store);
+	}
+	return store;
+}
+function ajv(options) {
+	const extensions = [...options.extensions ?? []];
+	return {
+		id: "ajv",
+		accepts: ["json"],
+		schema: options.schema,
+		extensions,
+		register: async (context) => {
+			await schemaStore(context).load(schemaUri(options.schema, context.root));
+		},
+		prepare: async (context) => {
+			const store = schemaStore(context);
+			const uri = schemaUri(options.schema, context.root);
+			const validate = await compile(store, uri, extensions);
+			return {
+				validate: ({ text, parsed }) => validate(parsed.value) ? [] : validationContexts(validate.errors ?? [], (validate.errors ?? []).map((error) => validationDiagnostic(text, parsed, error))),
+				editor: {
+					kind: "json-schema",
+					uri,
+					readSchema: async (uri) => JSON.stringify((await store.load(uri)).schema)
+				}
+			};
+		}
+	};
+}
+//#endregion
+export { ajv };
+
+//# sourceMappingURL=ajv.mjs.map

package/dist/ajv.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"ajv.mjs","names":[],"sources":["../src/core/extensions.ts","../src/validators/ajv.ts"],"sourcesContent":["import type { Ajv, FormatDefinition } from \"ajv\"\nimport { CorrectlyError } from \"./types.ts\"\nimport { schemaChildren } from \"./schema-walk.ts\"\n\n/** Synchronous assertions and annotation-only keywords. Registration is explicit. */\nexport type AjvExtension = {\n\tid: string\n\tformats?: Readonly<\n\t\tRecord<string, FormatDefinition<string> | FormatDefinition<number>>\n\t>\n\tannotations?: readonly string[]\n}\n\ntype ExtensionSuggestion = {\n\tid: string\n\tformats: readonly string[]\n\tguidance: string\n}\n// Discovery metadata only: implementations are installed by the consuming project.\nexport const knownExtensions: readonly ExtensionSuggestion[] = [\n\t{\n\t\tid: \"@correctlyjs/schemars\",\n\t\tformats: [\n\t\t\t\"int\",\n\t\t\t\"uint\",\n\t\t\t\"int8\",\n\t\t\t\"uint8\",\n\t\t\t\"int16\",\n\t\t\t\"uint16\",\n\t\t\t\"int32\",\n\t\t\t\"uint32\",\n\t\t\t\"int64\",\n\t\t\t\"uint64\",\n\t\t\t\"int128\",\n\t\t\t\"uint128\",\n\t\t\t\"float\",\n\t\t\t\"double\",\n\t\t\t\"ip\",\n\t\t\t\"phone\",\n\t\t\t\"partial-date-time\",\n\t\t],\n\t\tguidance: `For a Schemars-generated schema, install @correctlyjs/schemars and import { schemars } from \"@correctlyjs/schemars/ajv\". Select the schema's reviewed Schemars version with schemars({ version: \"...\" }) in this Ajv validator's extensions in correctly.config.ts.`,\n\t},\n]\n\nexport function installExtensions(\n\tajv: Ajv,\n\textensions: readonly AjvExtension[],\n): void {\n\tconst formats = new Set<string>(),\n\t\tannotations = new Set<string>()\n\tconst identifiers = new Set<string>()\n\tfor (const extension of extensions) {\n\t\tif (\n\t\t\t!extension ||\n\t\t\ttypeof extension !== \"object\" ||\n\t\t\ttypeof extension.id !== \"string\" ||\n\t\t\t!extension.id\n\t\t)\n\t\t\tthrow new CorrectlyError(\n\t\t\t\t\"extension\",\n\t\t\t\t\"Pass extension implementations to ajv({ extensions: [...] }); string identifiers are not implementations.\",\n\t\t\t)\n\t\tconst id = extension.id\n\t\tif (identifiers.has(id))\n\t\t\tthrow new CorrectlyError(\n\t\t\t\t\"extension\",\n\t\t\t\t`Duplicate extension identifier: ${id}`,\n\t\t\t)\n\t\tidentifiers.add(id)\n\t\tfor (const [name, definition] of Object.entries(extension.formats ?? {})) {\n\t\t\tif (formats.has(name))\n\t\t\t\tthrow new CorrectlyError(\n\t\t\t\t\t\"extension\",\n\t\t\t\t\t`Enabled extensions both define format ${JSON.stringify(name)}.`,\n\t\t\t\t)\n\t\t\tif (definition.async || typeof definition.validate !== \"function\")\n\t\t\t\tthrow new CorrectlyError(\n\t\t\t\t\t\"extension\",\n\t\t\t\t\t`Extension ${id} must provide a synchronous validator for format ${JSON.stringify(name)}.`,\n\t\t\t\t)\n\t\t\tformats.add(name)\n\t\t\tconst validate = definition.validate as (\n\t\t\t\tvalue: string | number,\n\t\t\t) => unknown\n\t\t\tajv.addFormat(name, {\n\t\t\t\t...definition,\n\t\t\t\tvalidate: (value: string | number) => {\n\t\t\t\t\tconst valid = validate(value)\n\t\t\t\t\tif (typeof valid !== \"boolean\")\n\t\t\t\t\t\tthrow new CorrectlyError(\n\t\t\t\t\t\t\t\"extension\",\n\t\t\t\t\t\t\t`Extension ${id} returned a non-boolean result for format ${JSON.stringify(name)}. Validators must be synchronous.`,\n\t\t\t\t\t\t)\n\t\t\t\t\treturn valid\n\t\t\t\t},\n\t\t\t})\n\t\t}\n\t\tfor (const keyword of extension.annotations ?? []) {\n\t\t\tif (annotations.has(keyword) || ajv.RULES.keywords[keyword])\n\t\t\t\tthrow new CorrectlyError(\n\t\t\t\t\t\"extension\",\n\t\t\t\t\t`Extension ${id} conflicts with keyword ${JSON.stringify(keyword)}.`,\n\t\t\t\t)\n\t\t\tannotations.add(keyword)\n\t\t\tajv.addKeyword({ keyword, valid: true })\n\t\t}\n\t}\n}\n\nexport function assertFormats(\n\tajv: Ajv,\n\tschema: unknown,\n\turi: string,\n\tregistry: readonly ExtensionSuggestion[],\n\tlocation = \"\",\n): void {\n\tif (typeof schema !== \"object\" || schema === null || Array.isArray(schema))\n\t\treturn\n\tconst object = schema as Record<string, unknown>\n\tif (\n\t\ttypeof object.format === \"string\" &&\n\t\t(!Object.hasOwn(ajv.formats, object.format) ||\n\t\t\tajv.formats[object.format] === true)\n\t) {\n\t\tconst format = object.format\n\t\tconst extension = registry.find((entry) => entry.formats.includes(format))\n\t\tconst hint =\n\t\t\textension?.guidance ??\n\t\t\t`Pass an extension implementing ${JSON.stringify(format)} to this Ajv validator's extensions in correctly.config.ts.`\n\t\tthrow new CorrectlyError(\n\t\t\t\"extension-required\",\n\t\t\t`This schema needs an extension.\\nFormat ${JSON.stringify(format)} has no enabled validator; validation cannot proceed.\\nSchema: ${uri}#${location}/format\\n${hint}`,\n\t\t\t{\n\t\t\t\tschemaUri: uri,\n\t\t\t\tschemaPointer: `${location}/format`,\n\t\t\t\tformat,\n\t\t\t\t...(extension ? { suggestedExtension: extension.id } : {}),\n\t\t\t},\n\t\t)\n\t}\n\tfor (const [path, child] of schemaChildren(object))\n\t\tassertFormats(ajv, child, uri, registry, location + path)\n}\n","import {\n\tAjv,\n\ttype ErrorObject,\n\ttype ValidateFunction,\n\ttype SchemaObject,\n} from \"ajv\"\nimport { Ajv2020 } from \"ajv/dist/2020.js\"\nimport addFormats from \"ajv-formats\"\nimport { schemaUri } from \"../core/config.ts\"\nimport { diagnostic, pointer, type ParsedDocument } from \"../core/parse.ts\"\nimport { DIALECTS, SchemaStore } from \"../core/schemas.ts\"\nimport { validationContexts } from \"../core/diagnostics.ts\"\nimport {\n\tknownExtensions,\n\tinstallExtensions,\n\tassertFormats,\n\ttype AjvExtension,\n} from \"../core/extensions.ts\"\nimport {\n\tCorrectlyError,\n\tisCorrectlyError,\n\ttype Diagnostic,\n} from \"../core/types.ts\"\nimport type { Validator, ValidationContext } from \"../core/adapters.ts\"\n\nconst ANNOTATIONS = [\n\t\"markdownDescription\",\n\t\"enumDescriptions\",\n\t\"markdownEnumDescriptions\",\n\t\"defaultSnippets\",\n\t\"errorMessage\",\n\t\"patternErrorMessage\",\n\t\"deprecationMessage\",\n\t\"suggestSortText\",\n\t\"doNotSuggest\",\n\t\"allowComments\",\n\t\"allowTrailingCommas\",\n\t\"deprecated\",\n\t\"$vocabulary\",\n]\n\nfunction registerRootAnchors(ajv: Ajv, schema: unknown, uri: string) {\n\tif (typeof schema !== \"object\" || schema === null) return\n\tconst object = schema as SchemaObject\n\tfor (const anchor of [object.$anchor, object.$dynamicAnchor]) {\n\t\tif (typeof anchor === \"string\")\n\t\t\tajv.refs[new URL(`#${anchor}`, object.$id ?? uri).href] =\n\t\t\t\tobject.$id ?? uri\n\t}\n}\n\nfunction validationMessage(error: ErrorObject): string {\n\tif (error.keyword === \"anyOf\")\n\t\treturn \"must match at least one alternative; none matched\"\n\tif (\n\t\terror.keyword === \"if\" &&\n\t\t[\"then\", \"else\"].includes(error.params.failingKeyword as string)\n\t)\n\t\treturn `must satisfy the ${error.params.failingKeyword} branch of the conditional schema`\n\tif (error.keyword === \"uniqueItems\") {\n\t\tconst { i, j } = error.params\n\t\tif (Number.isInteger(i) && Number.isInteger(j))\n\t\t\treturn `duplicates item at ${error.instancePath}${pointer([Math.min(i, j)])}; array items must be unique`\n\t}\n\tif (error.keyword === \"enum\" && Array.isArray(error.params.allowedValues))\n\t\treturn `must be one of: ${error.params.allowedValues.map((value: unknown) => JSON.stringify(value)).join(\", \")}`\n\tif (error.keyword === \"const\" && Object.hasOwn(error.params, \"allowedValue\"))\n\t\treturn `must equal ${JSON.stringify(error.params.allowedValue)}`\n\tif (error.keyword === \"oneOf\") {\n\t\tif (error.params.passingSchemas === null)\n\t\t\treturn \"must match exactly one alternative; none matched\"\n\t\tif (Array.isArray(error.params.passingSchemas))\n\t\t\treturn `must match exactly one alternative; multiple matched (alternatives ${error.params.passingSchemas.map((index: number) => index + 1).join(\", \")})`\n\t}\n\treturn error.message ?? \"Schema violation\"\n}\n\nfunction validationDiagnostic(\n\ttext: string,\n\tparsed: ParsedDocument,\n\terror: ErrorObject,\n): Diagnostic {\n\tlet jsonPointer = error.instancePath\n\tif (\n\t\terror.keyword === \"uniqueItems\" &&\n\t\tNumber.isInteger(error.params.i) &&\n\t\tNumber.isInteger(error.params.j)\n\t)\n\t\tjsonPointer += pointer([Math.max(error.params.i, error.params.j)])\n\tconst property: unknown =\n\t\terror.params.additionalProperty ??\n\t\terror.params.unevaluatedProperty ??\n\t\terror.params.missingProperty ??\n\t\terror.params.propertyName ??\n\t\terror.propertyName\n\tif (typeof property === \"string\") jsonPointer += pointer([property])\n\tconst node = parsed.locate(\n\t\tjsonPointer,\n\t\terror.keyword === \"additionalProperties\" ||\n\t\t\terror.keyword === \"unevaluatedProperties\" ||\n\t\t\terror.keyword === \"propertyNames\" ||\n\t\t\ttypeof error.propertyName === \"string\",\n\t)\n\tconst rangeNode =\n\t\terror.keyword === \"required\" && error.propertyName === undefined\n\t\t\t? parsed.locate(error.instancePath)\n\t\t\t: node\n\tconst length =\n\t\terror.keyword === \"required\" && error.propertyName === undefined\n\t\t\t? 1\n\t\t\t: rangeNode?.length\n\treturn diagnostic(\n\t\ttext,\n\t\t`schema/${error.keyword}`,\n\t\t`${jsonPointer || \"/\"}: ${validationMessage(error)}`,\n\t\tjsonPointer,\n\t\trangeNode?.offset ?? 0,\n\t\tlength ?? 1,\n\t)\n}\n\nasync function compile(\n\tstore: SchemaStore,\n\turi: string,\n\textensions: readonly AjvExtension[],\n): Promise<ValidateFunction> {\n\ttry {\n\t\tconst resource = await store.load(uri)\n\t\tconst options = {\n\t\t\tallErrors: true,\n\t\t\tstrictSchema: true,\n\t\t\tstrictTypes: false,\n\t\t\tstrictTuples: false,\n\t\t\tstrictRequired: false,\n\t\t\tcoerceTypes: false,\n\t\t\tuseDefaults: false,\n\t\t\tremoveAdditional: false,\n\t\t\tvalidateSchema: true,\n\t\t\tloadSchema: async (ref: string) => {\n\t\t\t\tconst loaded = await store.load(ref, resource.dialect)\n\t\t\t\tif (loaded.dialect !== resource.dialect)\n\t\t\t\t\tthrow new CorrectlyError(\n\t\t\t\t\t\t\"unsupported-dialect\",\n\t\t\t\t\t\t`Mixed schema dialects: ${uri} references ${ref}`,\n\t\t\t\t\t)\n\t\t\t\tassertFormats(\n\t\t\t\t\tajv,\n\t\t\t\t\tloaded.schema,\n\t\t\t\t\tloaded.uri,\n\t\t\t\t\tknownExtensions,\n\t\t\t\t\tloaded.pointer,\n\t\t\t\t)\n\t\t\t\tregisterRootAnchors(ajv, loaded.schema, loaded.uri)\n\t\t\t\treturn loaded.schema as SchemaObject\n\t\t\t},\n\t\t}\n\t\tconst ajv =\n\t\t\tresource.dialect === \"2020-12\" ? new Ajv2020(options) : new Ajv(options)\n\t\t// CommonJS package exports retain a callable default at runtime.\n\t\tconst formats = addFormats as unknown as (instance: Ajv) => void\n\t\tformats(ajv)\n\t\t// ajv-formats also ships OpenAPI numeric names. Their width semantics\n\t\t// belong to an explicitly selected extension, not the baseline.\n\t\tfor (const name of [\"int32\", \"int64\", \"float\", \"double\"])\n\t\t\tdelete ajv.formats[name]\n\t\tfor (const keyword of ANNOTATIONS)\n\t\t\tif (!ajv.RULES.keywords[keyword]) ajv.addKeyword({ keyword, valid: true })\n\t\t// Ajv indexes plain anchors during reference resolution, but does not\n\t\t// register the annotation keyword in its strict vocabulary.\n\t\tif (resource.dialect === \"2020-12\")\n\t\t\tajv.addKeyword({\n\t\t\t\tkeyword: \"$anchor\",\n\t\t\t\tschemaType: \"string\",\n\t\t\t\tvalid: true,\n\t\t\t})\n\t\tinstallExtensions(ajv, extensions)\n\t\tassertFormats(\n\t\t\tajv,\n\t\t\tresource.schema,\n\t\t\tresource.uri,\n\t\t\tknownExtensions,\n\t\t\tresource.pointer,\n\t\t)\n\t\tajv.addSchema(resource.schema, resource.uri)\n\t\tregisterRootAnchors(ajv, resource.schema, resource.uri)\n\t\tconst validate = await ajv.compileAsync({\n\t\t\t$schema: DIALECTS[resource.dialect],\n\t\t\t$ref: uri,\n\t\t})\n\t\treturn validate as ValidateFunction\n\t} catch (error) {\n\t\tif (isCorrectlyError(error)) throw error\n\t\tthrow new CorrectlyError(\n\t\t\t\"schema\",\n\t\t\t`Cannot compile schema ${uri}: ${error instanceof Error ? error.message : String(error)}`,\n\t\t)\n\t}\n}\n\nconst storeKey = Symbol.for(\"correctly/ajv/schema-store@1\")\nfunction schemaStore(context: ValidationContext): SchemaStore {\n\tlet store = context.services.get(storeKey) as SchemaStore | undefined\n\tif (!store) {\n\t\tstore = new SchemaStore(\n\t\t\t{\n\t\t\t\troot: context.root,\n\t\t\t\tconfig: context.remote ? { remote: context.remote } : {},\n\t\t\t},\n\t\t\t{\n\t\t\t\tread: context.read,\n\t\t\t\t...(context.fetch ? { fetch: context.fetch } : {}),\n\t\t\t\t...(context.signal ? { signal: context.signal } : {}),\n\t\t\t},\n\t\t)\n\t\tcontext.services.set(storeKey, store)\n\t}\n\treturn store\n}\nexport type AjvOptions = {\n\tschema: string\n\textensions?: readonly AjvExtension[]\n}\nexport function ajv(options: AjvOptions): Validator {\n\tconst extensions = [...(options.extensions ?? [])]\n\treturn {\n\t\tid: \"ajv\",\n\t\taccepts: [\"json\"],\n\t\tschema: options.schema,\n\t\textensions,\n\t\tregister: async (context) => {\n\t\t\tawait schemaStore(context).load(schemaUri(options.schema, context.root))\n\t\t},\n\t\tprepare: async (context) => {\n\t\t\tconst store = schemaStore(context)\n\t\t\tconst uri = schemaUri(options.schema, context.root)\n\t\t\tconst validate = await compile(store, uri, extensions)\n\t\t\treturn {\n\t\t\t\tvalidate: ({ text, parsed }) =>\n\t\t\t\t\tvalidate(parsed.value)\n\t\t\t\t\t\t? []\n\t\t\t\t\t\t: validationContexts(\n\t\t\t\t\t\t\t\tvalidate.errors ?? [],\n\t\t\t\t\t\t\t\t(validate.errors ?? []).map((error) =>\n\t\t\t\t\t\t\t\t\tvalidationDiagnostic(text, parsed, error),\n\t\t\t\t\t\t\t\t),\n\t\t\t\t\t\t\t),\n\t\t\t\teditor: {\n\t\t\t\t\tkind: \"json-schema\",\n\t\t\t\t\turi,\n\t\t\t\t\treadSchema: async (uri) =>\n\t\t\t\t\t\tJSON.stringify((await store.load(uri)).schema),\n\t\t\t\t},\n\t\t\t}\n\t\t},\n\t}\n}\nexport type { AjvExtension } from \"../core/extensions.ts\"\n"],"mappings":";;;;;;;AAmBA,MAAa,kBAAkD,CAC9D;CACC,IAAI;CACJ,SAAS;EACR;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;CACD;CACA,UAAU;AACX,CACD;AAEA,SAAgB,kBACf,KACA,YACO;CACP,MAAM,0BAAU,IAAI,IAAY,GAC/B,8BAAc,IAAI,IAAY;CAC/B,MAAM,8BAAc,IAAI,IAAY;CACpC,KAAK,MAAM,aAAa,YAAY;EACnC,IACC,CAAC,aACD,OAAO,cAAc,YACrB,OAAO,UAAU,OAAO,YACxB,CAAC,UAAU,IAEX,MAAM,IAAI,eACT,aACA,2GACD;EACD,MAAM,KAAK,UAAU;EACrB,IAAI,YAAY,IAAI,EAAE,GACrB,MAAM,IAAI,eACT,aACA,mCAAmC,IACpC;EACD,YAAY,IAAI,EAAE;EAClB,KAAK,MAAM,CAAC,MAAM,eAAe,OAAO,QAAQ,UAAU,WAAW,CAAC,CAAC,GAAG;GACzE,IAAI,QAAQ,IAAI,IAAI,GACnB,MAAM,IAAI,eACT,aACA,yCAAyC,KAAK,UAAU,IAAI,EAAE,EAC/D;GACD,IAAI,WAAW,SAAS,OAAO,WAAW,aAAa,YACtD,MAAM,IAAI,eACT,aACA,aAAa,GAAG,mDAAmD,KAAK,UAAU,IAAI,EAAE,EACzF;GACD,QAAQ,IAAI,IAAI;GAChB,MAAM,WAAW,WAAW;GAG5B,IAAI,UAAU,MAAM;IACnB,GAAG;IACH,WAAW,UAA2B;KACrC,MAAM,QAAQ,SAAS,KAAK;KAC5B,IAAI,OAAO,UAAU,WACpB,MAAM,IAAI,eACT,aACA,aAAa,GAAG,4CAA4C,KAAK,UAAU,IAAI,EAAE,kCAClF;KACD,OAAO;IACR;GACD,CAAC;EACF;EACA,KAAK,MAAM,WAAW,UAAU,eAAe,CAAC,GAAG;GAClD,IAAI,YAAY,IAAI,OAAO,KAAK,IAAI,MAAM,SAAS,UAClD,MAAM,IAAI,eACT,aACA,aAAa,GAAG,0BAA0B,KAAK,UAAU,OAAO,EAAE,EACnE;GACD,YAAY,IAAI,OAAO;GACvB,IAAI,WAAW;IAAE;IAAS,OAAO;GAAK,CAAC;EACxC;CACD;AACD;AAEA,SAAgB,cACf,KACA,QACA,KACA,UACA,WAAW,IACJ;CACP,IAAI,OAAO,WAAW,YAAY,WAAW,QAAQ,MAAM,QAAQ,MAAM,GACxE;CACD,MAAM,SAAS;CACf,IACC,OAAO,OAAO,WAAW,aACxB,CAAC,OAAO,OAAO,IAAI,SAAS,OAAO,MAAM,KACzC,IAAI,QAAQ,OAAO,YAAY,OAC/B;EACD,MAAM,SAAS,OAAO;EACtB,MAAM,YAAY,SAAS,MAAM,UAAU,MAAM,QAAQ,SAAS,MAAM,CAAC;EACzE,MAAM,OACL,WAAW,YACX,kCAAkC,KAAK,UAAU,MAAM,EAAE;EAC1D,MAAM,IAAI,eACT,sBACA,2CAA2C,KAAK,UAAU,MAAM,EAAE,iEAAiE,IAAI,GAAG,SAAS,WAAW,QAC9J;GACC,WAAW;GACX,eAAe,GAAG,SAAS;GAC3B;GACA,GAAI,YAAY,EAAE,oBAAoB,UAAU,GAAG,IAAI,CAAC;EACzD,CACD;CACD;CACA,KAAK,MAAM,CAAC,MAAM,UAAU,eAAe,MAAM,GAChD,cAAc,KAAK,OAAO,KAAK,UAAU,WAAW,IAAI;AAC1D;;;ACtHA,MAAM,cAAc;CACnB;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACD;AAEA,SAAS,oBAAoB,KAAU,QAAiB,KAAa;CACpE,IAAI,OAAO,WAAW,YAAY,WAAW,MAAM;CACnD,MAAM,SAAS;CACf,KAAK,MAAM,UAAU,CAAC,OAAO,SAAS,OAAO,cAAc,GAC1D,IAAI,OAAO,WAAW,UACrB,IAAI,KAAK,IAAI,IAAI,IAAI,UAAU,OAAO,OAAO,GAAG,CAAC,CAAC,QACjD,OAAO,OAAO;AAElB;AAEA,SAAS,kBAAkB,OAA4B;CACtD,IAAI,MAAM,YAAY,SACrB,OAAO;CACR,IACC,MAAM,YAAY,QAClB,CAAC,QAAQ,MAAM,CAAC,CAAC,SAAS,MAAM,OAAO,cAAwB,GAE/D,OAAO,oBAAoB,MAAM,OAAO,eAAe;CACxD,IAAI,MAAM,YAAY,eAAe;EACpC,MAAM,EAAE,GAAG,MAAM,MAAM;EACvB,IAAI,OAAO,UAAU,CAAC,KAAK,OAAO,UAAU,CAAC,GAC5C,OAAO,sBAAsB,MAAM,eAAe,QAAQ,CAAC,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE;CAC9E;CACA,IAAI,MAAM,YAAY,UAAU,MAAM,QAAQ,MAAM,OAAO,aAAa,GACvE,OAAO,mBAAmB,MAAM,OAAO,cAAc,KAAK,UAAmB,KAAK,UAAU,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI;CAC9G,IAAI,MAAM,YAAY,WAAW,OAAO,OAAO,MAAM,QAAQ,cAAc,GAC1E,OAAO,cAAc,KAAK,UAAU,MAAM,OAAO,YAAY;CAC9D,IAAI,MAAM,YAAY,SAAS;EAC9B,IAAI,MAAM,OAAO,mBAAmB,MACnC,OAAO;EACR,IAAI,MAAM,QAAQ,MAAM,OAAO,cAAc,GAC5C,OAAO,sEAAsE,MAAM,OAAO,eAAe,KAAK,UAAkB,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE;CACxJ;CACA,OAAO,MAAM,WAAW;AACzB;AAEA,SAAS,qBACR,MACA,QACA,OACa;CACb,IAAI,cAAc,MAAM;CACxB,IACC,MAAM,YAAY,iBAClB,OAAO,UAAU,MAAM,OAAO,CAAC,KAC/B,OAAO,UAAU,MAAM,OAAO,CAAC,GAE/B,eAAe,QAAQ,CAAC,KAAK,IAAI,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC;CAClE,MAAM,WACL,MAAM,OAAO,sBACb,MAAM,OAAO,uBACb,MAAM,OAAO,mBACb,MAAM,OAAO,gBACb,MAAM;CACP,IAAI,OAAO,aAAa,UAAU,eAAe,QAAQ,CAAC,QAAQ,CAAC;CACnE,MAAM,OAAO,OAAO,OACnB,aACA,MAAM,YAAY,0BACjB,MAAM,YAAY,2BAClB,MAAM,YAAY,mBAClB,OAAO,MAAM,iBAAiB,QAChC;CACA,MAAM,YACL,MAAM,YAAY,cAAc,MAAM,iBAAiB,KAAA,IACpD,OAAO,OAAO,MAAM,YAAY,IAChC;CACJ,MAAM,SACL,MAAM,YAAY,cAAc,MAAM,iBAAiB,KAAA,IACpD,IACA,WAAW;CACf,OAAO,WACN,MACA,UAAU,MAAM,WAChB,GAAG,eAAe,IAAI,IAAI,kBAAkB,KAAK,KACjD,aACA,WAAW,UAAU,GACrB,UAAU,CACX;AACD;AAEA,eAAe,QACd,OACA,KACA,YAC4B;CAC5B,IAAI;EACH,MAAM,WAAW,MAAM,MAAM,KAAK,GAAG;EACrC,MAAM,UAAU;GACf,WAAW;GACX,cAAc;GACd,aAAa;GACb,cAAc;GACd,gBAAgB;GAChB,aAAa;GACb,aAAa;GACb,kBAAkB;GAClB,gBAAgB;GAChB,YAAY,OAAO,QAAgB;IAClC,MAAM,SAAS,MAAM,MAAM,KAAK,KAAK,SAAS,OAAO;IACrD,IAAI,OAAO,YAAY,SAAS,SAC/B,MAAM,IAAI,eACT,uBACA,0BAA0B,IAAI,cAAc,KAC7C;IACD,cACC,KACA,OAAO,QACP,OAAO,KACP,iBACA,OAAO,OACR;IACA,oBAAoB,KAAK,OAAO,QAAQ,OAAO,GAAG;IAClD,OAAO,OAAO;GACf;EACD;EACA,MAAM,MACL,SAAS,YAAY,YAAY,IAAI,QAAQ,OAAO,IAAI,IAAI,IAAI,OAAO;EAGxE,WAAQ,GAAG;EAGX,KAAK,MAAM,QAAQ;GAAC;GAAS;GAAS;GAAS;EAAQ,GACtD,OAAO,IAAI,QAAQ;EACpB,KAAK,MAAM,WAAW,aACrB,IAAI,CAAC,IAAI,MAAM,SAAS,UAAU,IAAI,WAAW;GAAE;GAAS,OAAO;EAAK,CAAC;EAG1E,IAAI,SAAS,YAAY,WACxB,IAAI,WAAW;GACd,SAAS;GACT,YAAY;GACZ,OAAO;EACR,CAAC;EACF,kBAAkB,KAAK,UAAU;EACjC,cACC,KACA,SAAS,QACT,SAAS,KACT,iBACA,SAAS,OACV;EACA,IAAI,UAAU,SAAS,QAAQ,SAAS,GAAG;EAC3C,oBAAoB,KAAK,SAAS,QAAQ,SAAS,GAAG;EAKtD,OAAO,MAJgB,IAAI,aAAa;GACvC,SAAS,SAAS,SAAS;GAC3B,MAAM;EACP,CAAC;CAEF,SAAS,OAAO;EACf,IAAI,iBAAiB,KAAK,GAAG,MAAM;EACnC,MAAM,IAAI,eACT,UACA,yBAAyB,IAAI,IAAI,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,GACvF;CACD;AACD;AAEA,MAAM,WAAW,OAAO,IAAI,8BAA8B;AAC1D,SAAS,YAAY,SAAyC;CAC7D,IAAI,QAAQ,QAAQ,SAAS,IAAI,QAAQ;CACzC,IAAI,CAAC,OAAO;EACX,QAAQ,IAAI,YACX;GACC,MAAM,QAAQ;GACd,QAAQ,QAAQ,SAAS,EAAE,QAAQ,QAAQ,OAAO,IAAI,CAAC;EACxD,GACA;GACC,MAAM,QAAQ;GACd,GAAI,QAAQ,QAAQ,EAAE,OAAO,QAAQ,MAAM,IAAI,CAAC;GAChD,GAAI,QAAQ,SAAS,EAAE,QAAQ,QAAQ,OAAO,IAAI,CAAC;EACpD,CACD;EACA,QAAQ,SAAS,IAAI,UAAU,KAAK;CACrC;CACA,OAAO;AACR;AAKA,SAAgB,IAAI,SAAgC;CACnD,MAAM,aAAa,CAAC,GAAI,QAAQ,cAAc,CAAC,CAAE;CACjD,OAAO;EACN,IAAI;EACJ,SAAS,CAAC,MAAM;EAChB,QAAQ,QAAQ;EAChB;EACA,UAAU,OAAO,YAAY;GAC5B,MAAM,YAAY,OAAO,CAAC,CAAC,KAAK,UAAU,QAAQ,QAAQ,QAAQ,IAAI,CAAC;EACxE;EACA,SAAS,OAAO,YAAY;GAC3B,MAAM,QAAQ,YAAY,OAAO;GACjC,MAAM,MAAM,UAAU,QAAQ,QAAQ,QAAQ,IAAI;GAClD,MAAM,WAAW,MAAM,QAAQ,OAAO,KAAK,UAAU;GACrD,OAAO;IACN,WAAW,EAAE,MAAM,aAClB,SAAS,OAAO,KAAK,IAClB,CAAC,IACD,mBACA,SAAS,UAAU,CAAC,IACnB,SAAS,UAAU,CAAC,EAAA,CAAG,KAAK,UAC5B,qBAAqB,MAAM,QAAQ,KAAK,CACzC,CACD;IACH,QAAQ;KACP,MAAM;KACN;KACA,YAAY,OAAO,QAClB,KAAK,WAAW,MAAM,MAAM,KAAK,GAAG,EAAA,CAAG,MAAM;IAC/C;GACD;EACD;CACD;AACD"}

package/dist/check-BI7U3ZLc.mjs

@@ -0,0 +1,88 @@
+import { c as isIncluded, h as failure, o as discoverConfig, s as exclusions } from "./config-Cb6o4YnJ.mjs";
+import { t as ProjectSession } from "./session-DCFav56x.mjs";
+import { readFile } from "node:fs/promises";
+import path from "node:path";
+import { glob } from "tinyglobby";
+//#region src/cli/check.ts
+function emptyReport() {
+	return {
+		reportVersion: 2,
+		config: null,
+		files: [],
+		failures: [],
+		summary: {
+			checked: 0,
+			validated: 0,
+			schemaCovered: 0,
+			syntaxOnly: 0,
+			invalid: 0,
+			failures: 0
+		},
+		exitCode: 0
+	};
+}
+async function check(options = {}) {
+	const report = emptyReport();
+	let session;
+	try {
+		const cwd = path.resolve(options.cwd ?? process.cwd());
+		const configPath = options.config ? path.resolve(cwd, options.config) : await discoverConfig(cwd);
+		report.config = configPath;
+		session = new ProjectSession(configPath, options.offline === void 0 ? {} : { offline: options.offline });
+		const result = await session.check({
+			cwd,
+			...options.files ? { files: options.files } : {},
+			sources: Boolean(options.onRead)
+		});
+		for (const [file, text] of result.sources) options.onRead?.(file, text);
+		return result.report;
+	} catch (error) {
+		report.failures.push(failure(error));
+		report.summary.failures = 1;
+		report.exitCode = 2;
+		return report;
+	} finally {
+		await session?.dispose();
+	}
+}
+async function checkProject(engine, options) {
+	const report = emptyReport();
+	const project = engine.project;
+	report.config = project.configPath;
+	try {
+		const cwd = path.resolve(options.cwd ?? process.cwd());
+		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,
+		validated: checked.filter((f) => f.coverage === "schema" || f.coverage === "validated").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
+export { checkProject as n, check as t };
+
+//# sourceMappingURL=check-BI7U3ZLc.mjs.map

package/dist/check-BI7U3ZLc.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"check-BI7U3ZLc.mjs","names":[],"sources":["../src/cli/check.ts"],"sourcesContent":["import { readFile } from \"node:fs/promises\"\nimport path from \"node:path\"\nimport { glob } from \"tinyglobby\"\nimport { discoverConfig, exclusions, isIncluded } from \"../core/config.ts\"\nimport { ProjectSession } from \"../runtime/session.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}\nfunction emptyReport(): Report {\n\tconst report: Report = {\n\t\treportVersion: 2,\n\t\tconfig: null,\n\t\tfiles: [],\n\t\tfailures: [],\n\t\tsummary: {\n\t\t\tchecked: 0,\n\t\t\tvalidated: 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\treturn report\n}\nexport async function check(options: CheckOptions = {}): Promise<Report> {\n\tconst report = emptyReport()\n\tlet session: ProjectSession | undefined\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\tsession = new ProjectSession(\n\t\t\tconfigPath,\n\t\t\toptions.offline === undefined ? {} : { offline: options.offline },\n\t\t)\n\t\tconst result = await session.check({\n\t\t\tcwd,\n\t\t\t...(options.files ? { files: options.files } : {}),\n\t\t\tsources: Boolean(options.onRead),\n\t\t})\n\t\tfor (const [file, text] of result.sources) options.onRead?.(file, text)\n\t\treturn result.report\n\t} catch (error) {\n\t\treport.failures.push(failure(error))\n\t\treport.summary.failures = 1\n\t\treport.exitCode = 2\n\t\treturn report\n\t} finally {\n\t\tawait session?.dispose()\n\t}\n}\nexport async function checkProject(\n\tengine: Engine,\n\toptions: CheckOptions,\n): Promise<Report> {\n\tconst report = emptyReport()\n\tconst project = engine.project\n\treport.config = project.configPath\n\n\ttry {\n\t\tconst cwd = path.resolve(options.cwd ?? process.cwd())\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\tvalidated: checked.filter(\n\t\t\t(f) => f.coverage === \"schema\" || f.coverage === \"validated\",\n\t\t).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"],"mappings":";;;;;;AAeA,SAAS,cAAsB;CAgB9B,OAAO;EAdN,eAAe;EACf,QAAQ;EACR,OAAO,CAAC;EACR,UAAU,CAAC;EACX,SAAS;GACR,SAAS;GACT,WAAW;GACX,eAAe;GACf,YAAY;GACZ,SAAS;GACT,UAAU;EACX;EACA,UAAU;CAEC;AACb;AACA,eAAsB,MAAM,UAAwB,CAAC,GAAoB;CACxE,MAAM,SAAS,YAAY;CAC3B,IAAI;CACJ,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,UAAU,IAAI,eACb,YACA,QAAQ,YAAY,KAAA,IAAY,CAAC,IAAI,EAAE,SAAS,QAAQ,QAAQ,CACjE;EACA,MAAM,SAAS,MAAM,QAAQ,MAAM;GAClC;GACA,GAAI,QAAQ,QAAQ,EAAE,OAAO,QAAQ,MAAM,IAAI,CAAC;GAChD,SAAS,QAAQ,QAAQ,MAAM;EAChC,CAAC;EACD,KAAK,MAAM,CAAC,MAAM,SAAS,OAAO,SAAS,QAAQ,SAAS,MAAM,IAAI;EACtE,OAAO,OAAO;CACf,SAAS,OAAO;EACf,OAAO,SAAS,KAAK,QAAQ,KAAK,CAAC;EACnC,OAAO,QAAQ,WAAW;EAC1B,OAAO,WAAW;EAClB,OAAO;CACR,UAAU;EACT,MAAM,SAAS,QAAQ;CACxB;AACD;AACA,eAAsB,aACrB,QACA,SACkB;CAClB,MAAM,SAAS,YAAY;CAC3B,MAAM,UAAU,OAAO;CACvB,OAAO,SAAS,QAAQ;CAExB,IAAI;EACH,MAAM,MAAM,KAAK,QAAQ,QAAQ,OAAO,QAAQ,IAAI,CAAC;EACrD,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,WAAW,QAAQ,QACjB,MAAM,EAAE,aAAa,YAAY,EAAE,aAAa,WAClD,CAAC,CAAC;EACF,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"}

package/dist/cli.mjs

@@ -1,9 +1,9 @@
 #!/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 { h as failure } from "./config-Cb6o4YnJ.mjs";
+import { n as diagnosticViews } from "./diagnostics-BqD1WOy4.mjs";
+import { t as check } from "./check-BI7U3ZLc.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) {
@@ -70,6 +70,10 @@ function excerpt(source, diagnostic, diagnosedLines, styler) {
 		width
 	};
 }
+function renderFailure(error, styler, prefix = "", continuation = "") {
+	const [title, ...details] = error.message.split("\n");
+	return [`${prefix}${styler.bad(error.code)}: ${title}`, ...details.map((line) => `${styler.dim(continuation + "│")} ${line}`)].join("\n");
+}
 function renderDiagnostic(issue, prefix, last, source, diagnosedLines, styler, shownRegions = /* @__PURE__ */ new Set()) {
 	const branch = last ? "└─" : "├─";
 	const continuation = `${prefix}${last ? "   " : "│  "}`;
@@ -99,7 +103,7 @@ function fileSection(group, options, styler) {
 		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"})`;
+		const description = coverage === "excluded" ? format : schema ? `${format} against ${association.name} (${displaySchema(cwd, schema)})` : association?.validator ? `${format} validated by ${association.validator}` : `${format} syntax only (${association ? `association: ${association.name}` : "no schema association"})`;
 		header += `  ${styler.dim(`·  ${description}`)}`;
 	}
 	const output = [header];
@@ -112,7 +116,7 @@ function fileSection(group, options, styler) {
 		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}`);
+		else output.push(renderFailure(issue, styler, `${styler.dim(branch)} `, last ? "   " : "│  "));
 		if (!last) output.push(styler.dim("│"));
 	}
 	return output.join("\n");
@@ -142,7 +146,7 @@ function readableReport(report, options = {}) {
 		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}`);
+	for (const error of globalFailures) output.push(renderFailure(error, styler));
 	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";
@@ -151,69 +155,16 @@ function readableReport(report, options = {}) {
 		"",
 		(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`
+		`${s.checked} checked, ${s.validated} validated, ${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.
+Validate JSON/JSONC using associations in correctly.config.ts.
 Exit 0: valid; 1: document errors; 2: configuration, schema, or execution errors.
 Formatting does not affect validation. See the package guide for configuration.
 `;
@@ -266,12 +217,13 @@ async function run(args, cwd = process.cwd()) {
 		};
 	} catch (error) {
 		const report = {
-			reportVersion: 1,
+			reportVersion: 2,
 			config: null,
 			files: [],
 			failures: [failure(error)],
 			summary: {
 				checked: 0,
+				validated: 0,
 				schemaCovered: 0,
 				syntaxOnly: 0,
 				invalid: 0,