@maroonedog/luq 2.5.0 → 2.7.0

package/dist/json-schema/build-from-schema.js

@@ -6,6 +6,7 @@ exports.buildFromSchema = buildFromSchema;
 exports.fromJsonSchema = fromJsonSchema;
 const create_field_builder_1 = require("../builder/create-field-builder");
 const type_erasure_1 = require("../core/type-erasure");
+const assert_supported_dialect_1 = require("./assert-supported-dialect");
 const create_structural_context_1 = require("./create-structural-context");
 const declare_presence_1 = require("./declare-presence");
 const ref_scope_1 = require("./ref-scope");
@@ -35,9 +36,12 @@ function collectDeclaredRules(declaration, bag, root, chain) {
     ]);
 }
 /** One pending `.v()` per declared path, with its callback still unrun. */
-function buildFieldEntries(bag, schema) {
+function buildFieldEntries(bag, schema, options = {}) {
     if (!(0, draft07_types_1.isDraft07Schema)(schema))
         throw new NotASchemaError(schema);
+    // Before any keyword is read: what the document's keywords MEAN depends on
+    // the dialect it declares, and Luq reads every one of them as Draft-07.
+    (0, assert_supported_dialect_1.assertSupportedDialect)(schema, options);
     return (0, flatten_schema_1.flattenSchema)(schema, schema_to_declarations_1.readChildSchemas).map((declaration) => ({
         path: declaration.path,
         defaultOf: null,
@@ -53,10 +57,28 @@ function buildFieldEntries(bag, schema) {
     }));
 }
 /** The erased front door: the declarations, with nothing compiled yet. */
-function buildFromSchema(bag, schema, config) {
-    return (0, create_field_builder_1.createFieldBuilderSurface)(bag, config, buildFieldEntries(bag, schema));
+function buildFromSchema(bag, schema, config, options) {
+    return (0, create_field_builder_1.createFieldBuilderSurface)(bag, config, buildFieldEntries(bag, schema, options));
 }
 /**
+ * Converts a JSON Schema document into a validator.
+ *
+ * THE INPUT LIMIT IS DRAFT-07, and it is a limit on what may be handed in, not
+ * only a statement of how much of Draft-07 is covered. A document declaring
+ * 2019-09 or 2020-12 in its root `$schema` is REFUSED with an
+ * `UnsupportedDialectError` rather than read as Draft-07, because the two
+ * dialects disagree about what an unchanged keyword means: from 2019-09 on
+ * `$ref` is an ordinary applicator whose siblings are applied, while Draft-07
+ * §8.3 replaces the node, so `{"$ref": "#/$defs/name", "minLength": 5}` read as
+ * Draft-07 loses the `minLength` and accepts a value the document forbids. A
+ * document with NO `$schema` is read as Draft-07 and always has been. Pass
+ * `{ assumeDraft07: true }` as the fourth argument to read a newer-dialect
+ * document under Draft-07 rules deliberately, with that reading's consequences.
+ *
+ * `T` defaults to `Record<string, unknown>`, never `any`; under the default NO
+ * declared path is checked. See the header of this file, which owns that
+ * escape hatch.
+ *
  * The declared type is put back on by `eraseSchemaValidator`, the fourth
  * function in src/core/type-erasure.ts — the one file the code standard allows
  * to assert. Step 25 expressed this as an OVERLOAD PAIR instead, because
@@ -64,7 +86,7 @@ function buildFromSchema(bag, schema, config) {
  * TypeScript on lenient compatibility rules and so was never audited anywhere.
  * The call below is, in the file where every escape hatch is reviewed together.
  */
-function fromJsonSchema(bag, schema, config) {
-    const planBacked = buildFromSchema(bag, schema, config).build();
+function fromJsonSchema(bag, schema, config, options) {
+    const planBacked = buildFromSchema(bag, schema, config, options).build();
     return (0, type_erasure_1.eraseSchemaValidator)(planBacked);
 }

package/dist/json-schema/build-from-schema.mjs

@@ -1,5 +1,6 @@
 import { createFieldBuilderSurface } from "../builder/create-field-builder.mjs";
 import { eraseSchemaValidator } from "../core/type-erasure.mjs";
+import { assertSupportedDialect } from "./assert-supported-dialect.mjs";
 import { createStructuralContext } from "./create-structural-context.mjs";
 import { declarePresenceRules } from "./declare-presence.mjs";
 import { createLocalScope } from "./ref-scope.mjs";
@@ -28,9 +29,12 @@ function collectDeclaredRules(declaration, bag, root, chain) {
     ]);
 }
 /** One pending `.v()` per declared path, with its callback still unrun. */
-export function buildFieldEntries(bag, schema) {
+export function buildFieldEntries(bag, schema, options = {}) {
     if (!isDraft07Schema(schema))
         throw new NotASchemaError(schema);
+    // Before any keyword is read: what the document's keywords MEAN depends on
+    // the dialect it declares, and Luq reads every one of them as Draft-07.
+    assertSupportedDialect(schema, options);
     return flattenSchema(schema, readChildSchemas).map((declaration) => ({
         path: declaration.path,
         defaultOf: null,
@@ -46,10 +50,28 @@ export function buildFieldEntries(bag, schema) {
     }));
 }
 /** The erased front door: the declarations, with nothing compiled yet. */
-export function buildFromSchema(bag, schema, config) {
-    return createFieldBuilderSurface(bag, config, buildFieldEntries(bag, schema));
+export function buildFromSchema(bag, schema, config, options) {
+    return createFieldBuilderSurface(bag, config, buildFieldEntries(bag, schema, options));
 }
 /**
+ * Converts a JSON Schema document into a validator.
+ *
+ * THE INPUT LIMIT IS DRAFT-07, and it is a limit on what may be handed in, not
+ * only a statement of how much of Draft-07 is covered. A document declaring
+ * 2019-09 or 2020-12 in its root `$schema` is REFUSED with an
+ * `UnsupportedDialectError` rather than read as Draft-07, because the two
+ * dialects disagree about what an unchanged keyword means: from 2019-09 on
+ * `$ref` is an ordinary applicator whose siblings are applied, while Draft-07
+ * §8.3 replaces the node, so `{"$ref": "#/$defs/name", "minLength": 5}` read as
+ * Draft-07 loses the `minLength` and accepts a value the document forbids. A
+ * document with NO `$schema` is read as Draft-07 and always has been. Pass
+ * `{ assumeDraft07: true }` as the fourth argument to read a newer-dialect
+ * document under Draft-07 rules deliberately, with that reading's consequences.
+ *
+ * `T` defaults to `Record<string, unknown>`, never `any`; under the default NO
+ * declared path is checked. See the header of this file, which owns that
+ * escape hatch.
+ *
  * The declared type is put back on by `eraseSchemaValidator`, the fourth
  * function in src/core/type-erasure.ts — the one file the code standard allows
  * to assert. Step 25 expressed this as an OVERLOAD PAIR instead, because
@@ -57,7 +79,7 @@ export function buildFromSchema(bag, schema, config) {
  * TypeScript on lenient compatibility rules and so was never audited anywhere.
  * The call below is, in the file where every escape hatch is reviewed together.
  */
-export function fromJsonSchema(bag, schema, config) {
-    const planBacked = buildFromSchema(bag, schema, config).build();
+export function fromJsonSchema(bag, schema, config, options) {
+    const planBacked = buildFromSchema(bag, schema, config, options).build();
     return eraseSchemaValidator(planBacked);
 }

package/dist/json-schema/declare-value-keywords.d.ts

@@ -20,8 +20,6 @@ export declare function permitsNull(schema: Draft07SchemaObject): boolean;
  * that fails all of them.
  */
 export declare function declareTypeRules(schema: Draft07SchemaObject, context: StructuralContext): readonly Rule[];
-/** `type: "integer"` is the only `type` member that adds a chain method. */
-export declare function declareIntegerRules(schema: Draft07SchemaObject, context: StructuralContext): readonly Rule[];
 export declare function declareConstRules(schema: Draft07SchemaObject, context: StructuralContext): readonly Rule[];
 /**
  * `enum` drives the `.oneOf()` METHOD, which is a different thing from the

package/dist/json-schema/declare-value-keywords.js

@@ -3,7 +3,6 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.readDeclaredTypes = readDeclaredTypes;
 exports.permitsNull = permitsNull;
 exports.declareTypeRules = declareTypeRules;
-exports.declareIntegerRules = declareIntegerRules;
 exports.declareConstRules = declareConstRules;
 exports.declareEnumRules = declareEnumRules;
 // ===========================================================================
@@ -41,6 +40,13 @@ const NO_RULES = Object.freeze([]);
 const JSON_TYPE_TESTS = {
     string: types_1.isString,
     number: (value) => typeof value === "number",
+    // The whole of `type: "integer"`. A second rule built from the numberInteger
+    // plugin used to run beside this one with its code overridden to `type`,
+    // which put two issues coded `type` at one path for one value — and (path,
+    // code) is the pair a machine consumer de-duplicates on, so one of them
+    // disappeared without trace. This test is the same predicate the plugin
+    // applies, so removing the second rule changed no verdict: the conformance
+    // corpus stayed at 929 / 929.
     integer: (value) => typeof value === "number" && Number.isInteger(value),
     boolean: (value) => typeof value === "boolean",
     array: types_1.isArray,
@@ -126,15 +132,6 @@ function declareTypeRules(schema, context) {
         }),
     ]);
 }
-/** `type: "integer"` is the only `type` member that adds a chain method. */
-function declareIntegerRules(schema, context) {
-    if (!readDeclaredTypes(schema).includes("integer"))
-        return NO_RULES;
-    const plugin = context.bag.numberInteger;
-    return Object.freeze([
-        plugin.build(context.ruleContextFor(plugin.name, "type")),
-    ]);
-}
 function declareConstRules(schema, context) {
     if (!Object.prototype.hasOwnProperty.call(schema, "const"))
         return NO_RULES;

package/dist/json-schema/declare-value-keywords.mjs

@@ -33,6 +33,13 @@ const NO_RULES = Object.freeze([]);
 const JSON_TYPE_TESTS = {
     string: isString,
     number: (value) => typeof value === "number",
+    // The whole of `type: "integer"`. A second rule built from the numberInteger
+    // plugin used to run beside this one with its code overridden to `type`,
+    // which put two issues coded `type` at one path for one value — and (path,
+    // code) is the pair a machine consumer de-duplicates on, so one of them
+    // disappeared without trace. This test is the same predicate the plugin
+    // applies, so removing the second rule changed no verdict: the conformance
+    // corpus stayed at 929 / 929.
     integer: (value) => typeof value === "number" && Number.isInteger(value),
     boolean: (value) => typeof value === "boolean",
     array: isArray,
@@ -118,15 +125,6 @@ export function declareTypeRules(schema, context) {
         }),
     ]);
 }
-/** `type: "integer"` is the only `type` member that adds a chain method. */
-export function declareIntegerRules(schema, context) {
-    if (!readDeclaredTypes(schema).includes("integer"))
-        return NO_RULES;
-    const plugin = context.bag.numberInteger;
-    return Object.freeze([
-        plugin.build(context.ruleContextFor(plugin.name, "type")),
-    ]);
-}
 export function declareConstRules(schema, context) {
     if (!Object.prototype.hasOwnProperty.call(schema, "const"))
         return NO_RULES;

package/dist/json-schema/extensions/json-schema/index.d.ts

@@ -1,4 +1,4 @@
 export { SCHEMA_BRANCH_LABEL, collectDocumentRules, jsonSchemaPlugin, } from "./json-schema";
 export type { JsonSchemaOptions } from "./json-schema";
-export { MalformedSchemaError, NotASchemaError, UnsupportedKeywordError, RefResolutionError, buildFieldEntries, buildFromSchema, fromJsonSchema, isDraft07Schema, listBoundPluginNames, listDraft07Keywords, listFormatNames, } from "../../index";
-export type { Draft07Schema, Draft07SchemaObject, JsonSchemaBag, } from "../../index";
+export { DRAFT07_DIALECT_URI, MalformedSchemaError, NotASchemaError, UnsupportedDialectError, UnsupportedKeywordError, RefResolutionError, buildFieldEntries, buildFromSchema, fromJsonSchema, isDraft07Schema, listBoundPluginNames, listDraft07Keywords, listFormatNames, } from "../../index";
+export type { DialectOptions, Draft07Schema, Draft07SchemaObject, JsonSchemaBag, } from "../../index";

package/dist/json-schema/extensions/json-schema/index.js

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.listFormatNames = exports.listDraft07Keywords = exports.listBoundPluginNames = exports.isDraft07Schema = exports.fromJsonSchema = exports.buildFromSchema = exports.buildFieldEntries = exports.RefResolutionError = exports.UnsupportedKeywordError = exports.NotASchemaError = exports.MalformedSchemaError = exports.jsonSchemaPlugin = exports.collectDocumentRules = exports.SCHEMA_BRANCH_LABEL = void 0;
+exports.listFormatNames = exports.listDraft07Keywords = exports.listBoundPluginNames = exports.isDraft07Schema = exports.fromJsonSchema = exports.buildFromSchema = exports.buildFieldEntries = exports.RefResolutionError = exports.UnsupportedKeywordError = exports.UnsupportedDialectError = exports.NotASchemaError = exports.MalformedSchemaError = exports.DRAFT07_DIALECT_URI = exports.jsonSchemaPlugin = exports.collectDocumentRules = exports.SCHEMA_BRANCH_LABEL = void 0;
 // ===========================================================================
 // The public subpath `@maroonedog/luq/plugins/jsonSchema`. Re-exports only.
 //
@@ -15,8 +15,10 @@ Object.defineProperty(exports, "SCHEMA_BRANCH_LABEL", { enumerable: true, get: f
 Object.defineProperty(exports, "collectDocumentRules", { enumerable: true, get: function () { return json_schema_1.collectDocumentRules; } });
 Object.defineProperty(exports, "jsonSchemaPlugin", { enumerable: true, get: function () { return json_schema_1.jsonSchemaPlugin; } });
 var index_1 = require("../../index");
+Object.defineProperty(exports, "DRAFT07_DIALECT_URI", { enumerable: true, get: function () { return index_1.DRAFT07_DIALECT_URI; } });
 Object.defineProperty(exports, "MalformedSchemaError", { enumerable: true, get: function () { return index_1.MalformedSchemaError; } });
 Object.defineProperty(exports, "NotASchemaError", { enumerable: true, get: function () { return index_1.NotASchemaError; } });
+Object.defineProperty(exports, "UnsupportedDialectError", { enumerable: true, get: function () { return index_1.UnsupportedDialectError; } });
 Object.defineProperty(exports, "UnsupportedKeywordError", { enumerable: true, get: function () { return index_1.UnsupportedKeywordError; } });
 Object.defineProperty(exports, "RefResolutionError", { enumerable: true, get: function () { return index_1.RefResolutionError; } });
 Object.defineProperty(exports, "buildFieldEntries", { enumerable: true, get: function () { return index_1.buildFieldEntries; } });

package/dist/json-schema/extensions/json-schema/index.mjs

@@ -8,4 +8,4 @@
 // a consumer of this subpath pays only for the plugins they import themselves.
 // ===========================================================================
 export { SCHEMA_BRANCH_LABEL, collectDocumentRules, jsonSchemaPlugin, } from "./json-schema.mjs";
-export { MalformedSchemaError, NotASchemaError, UnsupportedKeywordError, RefResolutionError, buildFieldEntries, buildFromSchema, fromJsonSchema, isDraft07Schema, listBoundPluginNames, listDraft07Keywords, listFormatNames, } from "../../index.mjs";
+export { DRAFT07_DIALECT_URI, MalformedSchemaError, NotASchemaError, UnsupportedDialectError, UnsupportedKeywordError, RefResolutionError, buildFieldEntries, buildFromSchema, fromJsonSchema, isDraft07Schema, listBoundPluginNames, listDraft07Keywords, listFormatNames, } from "../../index.mjs";

package/dist/json-schema/extensions/json-schema/json-schema.d.ts

@@ -2,7 +2,7 @@ import type { Rule } from "../../../plugin-kit/compiled-rule";
 import { type MessageContextExtra, type TypeName } from "../../../types";
 import type { RuleBuildContext } from "../../../plugin-kit/rule-build-context";
 import type { Unchanged } from "../../../plugin-kit/marker.types";
-import { type JsonSchemaBag } from "../../index";
+import { type DialectOptions, type JsonSchemaBag } from "../../index";
 /** The label the whole document carries inside the composite it becomes. */
 export declare const SCHEMA_BRANCH_LABEL = "schema";
 /**
@@ -17,7 +17,7 @@ export declare const SCHEMA_BRANCH_LABEL = "schema";
  * The caller fetches, reads from disk, or bundles — whichever is right for
  * their deployment — and hands over what they already have.
  */
-export interface JsonSchemaOptions {
+export interface JsonSchemaOptions extends DialectOptions {
     readonly externalDocuments?: Readonly<Record<string, unknown>> | undefined;
 }
 /**

package/dist/json-schema/extensions/json-schema/json-schema.js

@@ -66,6 +66,9 @@ const NO_EXTERNAL_DOCUMENTS = Object.freeze({});
 function collectDocumentRules(ctx, document, bag, options = {}) {
     if (!(0, index_1.isDraft07Schema)(document))
         throw new index_1.NotASchemaError(document);
+    // Before any keyword is read, and in the same place the function front door
+    // reads it: the dialect decides what the keywords below MEAN.
+    (0, index_1.assertSupportedDialect)(document, options);
     const root = document;
     const scope = (0, index_1.createDocumentScope)(root, options.externalDocuments ?? NO_EXTERNAL_DOCUMENTS);
     // The seed's `chain` is a ChainBuildContext, whose three members a

package/dist/json-schema/extensions/json-schema/json-schema.mjs

@@ -38,7 +38,7 @@
 import { branch, composite } from "../../../plugin-kit/create-rule.mjs";
 import { definePlugin } from "../../../plugin-kit/plugin-definition.mjs";
 import { PASS } from "../../../types/index.mjs";
-import { NotASchemaError, collectSubSchemaRules, createStructuralContext, createDocumentScope, isDraft07Schema, resolveSchemaNodeInScope, } from "../../index.mjs";
+import { NotASchemaError, assertSupportedDialect, collectSubSchemaRules, createStructuralContext, createDocumentScope, isDraft07Schema, resolveSchemaNodeInScope, } from "../../index.mjs";
 /** Every slot: a JSON Schema document constrains a value of any shape. */
 const SCHEMA_SLOTS = [
     "string",
@@ -62,6 +62,9 @@ const NO_EXTERNAL_DOCUMENTS = Object.freeze({});
 export function collectDocumentRules(ctx, document, bag, options = {}) {
     if (!isDraft07Schema(document))
         throw new NotASchemaError(document);
+    // Before any keyword is read, and in the same place the function front door
+    // reads it: the dialect decides what the keywords below MEAN.
+    assertSupportedDialect(document, options);
     const root = document;
     const scope = createDocumentScope(root, options.externalDocuments ?? NO_EXTERNAL_DOCUMENTS);
     // The seed's `chain` is a ChainBuildContext, whose three members a

package/dist/json-schema/extensions/json-schema-full-feature/bundle-coverage.js

@@ -44,7 +44,6 @@ exports.UNBOUND_BUNDLED_PLUGIN_NAMES = Object.freeze([
     "arrayContains",
     "arrayEach",
     "conditionalSchema",
-    "numberInteger",
     "objectAdditionalPropertiesSchema",
     "objectDependentRequired",
     "objectDependentSchemas",
@@ -53,6 +52,12 @@ exports.UNBOUND_BUNDLED_PLUGIN_NAMES = Object.freeze([
     "oneOf",
     // Reachable only from a hand-written chain; the converter never calls them.
     "compareField",
+    // numberInteger moved into this group when the converter stopped building a
+    // second rule from it for `type: "integer"`: the type table's own predicate
+    // is `Number.isInteger`, so the plugin's rule only ever duplicated it. It
+    // stays in the bag because `.integer()` is still a method a hand-written
+    // chain can call.
+    "numberInteger",
     "nullable",
     "optional",
     "tupleBuilder",

package/dist/json-schema/extensions/json-schema-full-feature/bundle-coverage.mjs

@@ -37,7 +37,6 @@ export const UNBOUND_BUNDLED_PLUGIN_NAMES = Object.freeze([
     "arrayContains",
     "arrayEach",
     "conditionalSchema",
-    "numberInteger",
     "objectAdditionalPropertiesSchema",
     "objectDependentRequired",
     "objectDependentSchemas",
@@ -46,6 +45,12 @@ export const UNBOUND_BUNDLED_PLUGIN_NAMES = Object.freeze([
     "oneOf",
     // Reachable only from a hand-written chain; the converter never calls them.
     "compareField",
+    // numberInteger moved into this group when the converter stopped building a
+    // second rule from it for `type: "integer"`: the type table's own predicate
+    // is `Number.isInteger`, so the plugin's rule only ever duplicated it. It
+    // stays in the bag because `.integer()` is still a method a hand-written
+    // chain can call.
+    "numberInteger",
     "nullable",
     "optional",
     "tupleBuilder",

package/dist/json-schema/extensions/json-schema-full-feature/index.d.ts

@@ -2,4 +2,6 @@ export { fromJsonSchema, jsonSchemaFullFeaturePlugin, } from "./json-schema-full
 export { jsonSchemaBag } from "./bundled-plugins";
 export { UNBOUND_BUNDLED_PLUGIN_NAMES, findStaleUnboundDeclarations, findUnbundledBoundPlugins, findUnexplainedBundledPlugins, listBundledPluginNames, } from "./bundle-coverage";
 export type { JsonSchemaOptions } from "../json-schema";
-export type { JsonSchemaBag } from "../../index";
+export { DRAFT07_DIALECT_URI, UnsupportedDialectError, } from "../../unsupported-dialect-error";
+export { MalformedSchemaError, NotASchemaError, RefResolutionError, UnsupportedKeywordError, } from "../../index";
+export type { DialectOptions, JsonSchemaBag } from "../../index";

package/dist/json-schema/extensions/json-schema-full-feature/index.js

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.listBundledPluginNames = exports.findUnexplainedBundledPlugins = exports.findUnbundledBoundPlugins = exports.findStaleUnboundDeclarations = exports.UNBOUND_BUNDLED_PLUGIN_NAMES = exports.jsonSchemaBag = exports.jsonSchemaFullFeaturePlugin = exports.fromJsonSchema = void 0;
+exports.UnsupportedKeywordError = exports.RefResolutionError = exports.NotASchemaError = exports.MalformedSchemaError = exports.UnsupportedDialectError = exports.DRAFT07_DIALECT_URI = exports.listBundledPluginNames = exports.findUnexplainedBundledPlugins = exports.findUnbundledBoundPlugins = exports.findStaleUnboundDeclarations = exports.UNBOUND_BUNDLED_PLUGIN_NAMES = exports.jsonSchemaBag = exports.jsonSchemaFullFeaturePlugin = exports.fromJsonSchema = void 0;
 // ===========================================================================
 // The public subpath `@maroonedog/luq/plugins/jsonSchemaFullFeature`.
 // Re-exports only.
@@ -23,3 +23,20 @@ Object.defineProperty(exports, "findStaleUnboundDeclarations", { enumerable: tru
 Object.defineProperty(exports, "findUnbundledBoundPlugins", { enumerable: true, get: function () { return bundle_coverage_1.findUnbundledBoundPlugins; } });
 Object.defineProperty(exports, "findUnexplainedBundledPlugins", { enumerable: true, get: function () { return bundle_coverage_1.findUnexplainedBundledPlugins; } });
 Object.defineProperty(exports, "listBundledPluginNames", { enumerable: true, get: function () { return bundle_coverage_1.listBundledPluginNames; } });
+// Every error `fromJsonSchema` can throw, so a caller can tell them apart by
+// class rather than by reading the message.
+//
+// This subpath is the one-import route and the one the documentation points at,
+// which made it the worst place to be missing them: a document that is not
+// Draft-07 at all, one the meta-schema forbids, one carrying a keyword Luq
+// cannot honour and one that is not a schema are four different things to do
+// about it, and a caller who can only match on message text has to re-derive
+// that distinction from prose that is free to change.
+var unsupported_dialect_error_1 = require("../../unsupported-dialect-error");
+Object.defineProperty(exports, "DRAFT07_DIALECT_URI", { enumerable: true, get: function () { return unsupported_dialect_error_1.DRAFT07_DIALECT_URI; } });
+Object.defineProperty(exports, "UnsupportedDialectError", { enumerable: true, get: function () { return unsupported_dialect_error_1.UnsupportedDialectError; } });
+var index_1 = require("../../index");
+Object.defineProperty(exports, "MalformedSchemaError", { enumerable: true, get: function () { return index_1.MalformedSchemaError; } });
+Object.defineProperty(exports, "NotASchemaError", { enumerable: true, get: function () { return index_1.NotASchemaError; } });
+Object.defineProperty(exports, "RefResolutionError", { enumerable: true, get: function () { return index_1.RefResolutionError; } });
+Object.defineProperty(exports, "UnsupportedKeywordError", { enumerable: true, get: function () { return index_1.UnsupportedKeywordError; } });

package/dist/json-schema/extensions/json-schema-full-feature/index.mjs

@@ -12,3 +12,14 @@
 export { fromJsonSchema, jsonSchemaFullFeaturePlugin, } from "./json-schema-full-feature.mjs";
 export { jsonSchemaBag } from "./bundled-plugins.mjs";
 export { UNBOUND_BUNDLED_PLUGIN_NAMES, findStaleUnboundDeclarations, findUnbundledBoundPlugins, findUnexplainedBundledPlugins, listBundledPluginNames, } from "./bundle-coverage.mjs";
+// Every error `fromJsonSchema` can throw, so a caller can tell them apart by
+// class rather than by reading the message.
+//
+// This subpath is the one-import route and the one the documentation points at,
+// which made it the worst place to be missing them: a document that is not
+// Draft-07 at all, one the meta-schema forbids, one carrying a keyword Luq
+// cannot honour and one that is not a schema are four different things to do
+// about it, and a caller who can only match on message text has to re-derive
+// that distinction from prose that is free to change.
+export { DRAFT07_DIALECT_URI, UnsupportedDialectError, } from "../../unsupported-dialect-error.mjs";
+export { MalformedSchemaError, NotASchemaError, RefResolutionError, UnsupportedKeywordError, } from "../../index.mjs";

package/dist/json-schema/extensions/json-schema-full-feature/json-schema-full-feature.d.ts

@@ -1,6 +1,7 @@
 import type { MessageContextExtra, TypeName } from "../../../types";
 import type { Unchanged } from "../../../plugin-kit/marker.types";
 import type { JsonSchemaOptions } from "../json-schema";
+import type { DialectOptions } from "../../index";
 import type { GlobalConfig } from "../../../types/global-config";
 export declare const jsonSchemaFullFeaturePlugin: import("../../../plugin-kit/plugin-definition").PluginDefinition<"jsonSchemaFullFeature", "jsonSchemaFullFeature", readonly TypeName[], {
     args: readonly [document: unknown, options?: JsonSchemaOptions];
@@ -17,8 +18,15 @@ export declare const jsonSchemaFullFeaturePlugin: import("../../../plugin-kit/pl
  * NO declared path is checked — see build-from-schema.ts, which owns that
  * escape hatch and its single overload.
  *
+ * THE INPUT LIMIT IS DRAFT-07. A document whose root `$schema` names 2019-09 or
+ * 2020-12 is refused with an `UnsupportedDialectError` rather than read as
+ * Draft-07, because the dialects disagree about what unchanged keywords mean;
+ * a document with no `$schema` is read as Draft-07 as before. Pass
+ * `{ assumeDraft07: true }` as the third argument to take the Draft-07 reading
+ * deliberately. build-from-schema.ts states the divergence in full.
+ *
  * The return type is INFERRED rather than written: naming `Validator<T>` would
  * mean importing src/builder, which tier `extension` forbids. The inferred type
  * is that same `Validator<T>` and the type test asserts it.
  */
-export declare function fromJsonSchema<T extends object = Record<string, unknown>>(schema: unknown, config?: GlobalConfig): import("../../..").Validator<T, T>;
+export declare function fromJsonSchema<T extends object = Record<string, unknown>>(schema: unknown, config?: GlobalConfig, options?: DialectOptions): import("../../..").Validator<T, T>;

package/dist/json-schema/extensions/json-schema-full-feature/json-schema-full-feature.js

@@ -57,10 +57,17 @@ exports.jsonSchemaFullFeaturePlugin = (0, plugin_definition_1.definePlugin)()({
  * NO declared path is checked — see build-from-schema.ts, which owns that
  * escape hatch and its single overload.
  *
+ * THE INPUT LIMIT IS DRAFT-07. A document whose root `$schema` names 2019-09 or
+ * 2020-12 is refused with an `UnsupportedDialectError` rather than read as
+ * Draft-07, because the dialects disagree about what unchanged keywords mean;
+ * a document with no `$schema` is read as Draft-07 as before. Pass
+ * `{ assumeDraft07: true }` as the third argument to take the Draft-07 reading
+ * deliberately. build-from-schema.ts states the divergence in full.
+ *
  * The return type is INFERRED rather than written: naming `Validator<T>` would
  * mean importing src/builder, which tier `extension` forbids. The inferred type
  * is that same `Validator<T>` and the type test asserts it.
  */
-function fromJsonSchema(schema, config) {
-    return (0, index_1.fromJsonSchema)(bundled_plugins_1.jsonSchemaBag, schema, config);
+function fromJsonSchema(schema, config, options) {
+    return (0, index_1.fromJsonSchema)(bundled_plugins_1.jsonSchemaBag, schema, config, options);
 }

package/dist/json-schema/extensions/json-schema-full-feature/json-schema-full-feature.mjs

@@ -53,10 +53,17 @@ export const jsonSchemaFullFeaturePlugin = /*#__PURE__*/ definePlugin()({
  * NO declared path is checked — see build-from-schema.ts, which owns that
  * escape hatch and its single overload.
  *
+ * THE INPUT LIMIT IS DRAFT-07. A document whose root `$schema` names 2019-09 or
+ * 2020-12 is refused with an `UnsupportedDialectError` rather than read as
+ * Draft-07, because the dialects disagree about what unchanged keywords mean;
+ * a document with no `$schema` is read as Draft-07 as before. Pass
+ * `{ assumeDraft07: true }` as the third argument to take the Draft-07 reading
+ * deliberately. build-from-schema.ts states the divergence in full.
+ *
  * The return type is INFERRED rather than written: naming `Validator<T>` would
  * mean importing src/builder, which tier `extension` forbids. The inferred type
  * is that same `Validator<T>` and the type test asserts it.
  */
-export function fromJsonSchema(schema, config) {
-    return convertWithBag(jsonSchemaBag, schema, config);
+export function fromJsonSchema(schema, config, options) {
+    return convertWithBag(jsonSchemaBag, schema, config, options);
 }

package/dist/json-schema/index.d.ts

@@ -18,6 +18,9 @@ export type { SchemaRegistry } from "./schema-registry";
 export { createSchemaRegistry } from "./schema-registry";
 export { UnsupportedKeywordError } from "./unsupported-keyword-error";
 export { MalformedSchemaError } from "./malformed-schema-error";
+export { DRAFT07_DIALECT_URI, UnsupportedDialectError, } from "./unsupported-dialect-error";
+export { NON_DRAFT07_DIALECTS, assertSupportedDialect, } from "./assert-supported-dialect";
+export type { DialectOptions } from "./assert-supported-dialect";
 export { isDraft07Schema, isSchemaObject } from "./draft07.types";
 export type { Draft07Schema, Draft07SchemaObject, Draft07TypeKeyword, } from "./draft07.types";
 export { assertKeywordSupported, countKeywordHandlings, findKeywordHandling, isDraft07Keyword, listBoundPluginNames, listDraft07Keywords, } from "./keyword-map";

package/dist/json-schema/index.js

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.listFormatNames = exports.findFormatHandling = exports.listDraft07Keywords = exports.listBoundPluginNames = exports.isDraft07Keyword = exports.findKeywordHandling = exports.countKeywordHandlings = exports.assertKeywordSupported = exports.isSchemaObject = exports.isDraft07Schema = exports.MalformedSchemaError = exports.UnsupportedKeywordError = exports.createSchemaRegistry = exports.createLocalScope = exports.createDocumentScope = exports.resolveRefInScope = exports.resolveRef = exports.isResolvableRef = exports.RefResolutionError = exports.declarePresenceRules = exports.declareRequiredProperties = exports.createStructuralContext = exports.toSchemaBranch = exports.collectSubSchemaRules = exports.readChildSchemas = exports.isStructuralKeyword = exports.expandSchemaRules = exports.STRUCTURAL_EXPANSIONS = exports.joinDeclaredPath = exports.flattenSchema = exports.toSchemaObject = exports.resolveSchemaNodeInScope = exports.resolveSchemaNode = exports.readRefPointer = exports.isDefinitionContainer = exports.collectDefinitionNames = exports.DEFINITION_CONTAINERS = exports.fromJsonSchema = exports.buildFromSchema = exports.buildFieldEntries = exports.NotASchemaError = void 0;
+exports.listFormatNames = exports.findFormatHandling = exports.listDraft07Keywords = exports.listBoundPluginNames = exports.isDraft07Keyword = exports.findKeywordHandling = exports.countKeywordHandlings = exports.assertKeywordSupported = exports.isSchemaObject = exports.isDraft07Schema = exports.assertSupportedDialect = exports.NON_DRAFT07_DIALECTS = exports.UnsupportedDialectError = exports.DRAFT07_DIALECT_URI = exports.MalformedSchemaError = exports.UnsupportedKeywordError = exports.createSchemaRegistry = exports.createLocalScope = exports.createDocumentScope = exports.resolveRefInScope = exports.resolveRef = exports.isResolvableRef = exports.RefResolutionError = exports.declarePresenceRules = exports.declareRequiredProperties = exports.createStructuralContext = exports.toSchemaBranch = exports.collectSubSchemaRules = exports.readChildSchemas = exports.isStructuralKeyword = exports.expandSchemaRules = exports.STRUCTURAL_EXPANSIONS = exports.joinDeclaredPath = exports.flattenSchema = exports.toSchemaObject = exports.resolveSchemaNodeInScope = exports.resolveSchemaNode = exports.readRefPointer = exports.isDefinitionContainer = exports.collectDefinitionNames = exports.DEFINITION_CONTAINERS = exports.fromJsonSchema = exports.buildFromSchema = exports.buildFieldEntries = exports.NotASchemaError = void 0;
 // ===========================================================================
 // L8  src/json-schema/index.ts — re-exports only. Nothing is defined here.
 //
@@ -52,6 +52,12 @@ var unsupported_keyword_error_1 = require("./unsupported-keyword-error");
 Object.defineProperty(exports, "UnsupportedKeywordError", { enumerable: true, get: function () { return unsupported_keyword_error_1.UnsupportedKeywordError; } });
 var malformed_schema_error_1 = require("./malformed-schema-error");
 Object.defineProperty(exports, "MalformedSchemaError", { enumerable: true, get: function () { return malformed_schema_error_1.MalformedSchemaError; } });
+var unsupported_dialect_error_1 = require("./unsupported-dialect-error");
+Object.defineProperty(exports, "DRAFT07_DIALECT_URI", { enumerable: true, get: function () { return unsupported_dialect_error_1.DRAFT07_DIALECT_URI; } });
+Object.defineProperty(exports, "UnsupportedDialectError", { enumerable: true, get: function () { return unsupported_dialect_error_1.UnsupportedDialectError; } });
+var assert_supported_dialect_1 = require("./assert-supported-dialect");
+Object.defineProperty(exports, "NON_DRAFT07_DIALECTS", { enumerable: true, get: function () { return assert_supported_dialect_1.NON_DRAFT07_DIALECTS; } });
+Object.defineProperty(exports, "assertSupportedDialect", { enumerable: true, get: function () { return assert_supported_dialect_1.assertSupportedDialect; } });
 var draft07_types_1 = require("./draft07.types");
 Object.defineProperty(exports, "isDraft07Schema", { enumerable: true, get: function () { return draft07_types_1.isDraft07Schema; } });
 Object.defineProperty(exports, "isSchemaObject", { enumerable: true, get: function () { return draft07_types_1.isSchemaObject; } });

package/dist/json-schema/index.mjs

@@ -18,6 +18,8 @@ export { createDocumentScope, createLocalScope } from "./ref-scope.mjs";
 export { createSchemaRegistry } from "./schema-registry.mjs";
 export { UnsupportedKeywordError } from "./unsupported-keyword-error.mjs";
 export { MalformedSchemaError } from "./malformed-schema-error.mjs";
+export { DRAFT07_DIALECT_URI, UnsupportedDialectError, } from "./unsupported-dialect-error.mjs";
+export { NON_DRAFT07_DIALECTS, assertSupportedDialect, } from "./assert-supported-dialect.mjs";
 export { isDraft07Schema, isSchemaObject } from "./draft07.types.mjs";
 export { assertKeywordSupported, countKeywordHandlings, findKeywordHandling, isDraft07Keyword, listBoundPluginNames, listDraft07Keywords, } from "./keyword-map.mjs";
 export { findFormatHandling, listFormatNames } from "./format-map.mjs";

package/dist/json-schema/keyword-map-core.js

@@ -25,7 +25,9 @@ const ANNOTATION_ONLY = "an annotation with no validation effect in Draft-07";
  */
 exports.constBinding = (0, bind_keyword_1.bindKeyword)("any", "literal", literal_1.literalPlugin, (v) => [v]);
 exports.coreKeywordMap = {
-    $schema: (0, bind_keyword_1.unsupported)("read and discarded: Luq targets Draft-07 and does not switch dialect"),
+    $schema: (0, bind_keyword_1.unsupported)("read at the document ROOT by assert-supported-dialect and then " +
+        "discarded: Luq implements Draft-07 and never switches dialect, so a " +
+        "root `$schema` naming another one is refused rather than ignored"),
     $id: (0, bind_keyword_1.unsupported)("no base-URI resolution; resolve-ref accepts local $ref only"),
     $comment: (0, bind_keyword_1.unsupported)(ANNOTATION_ONLY),
     $ref: (0, bind_keyword_1.structural)("resolved by resolve-ref before any keyword is read"),

package/dist/json-schema/keyword-map-core.mjs

@@ -22,7 +22,9 @@ const ANNOTATION_ONLY = "an annotation with no validation effect in Draft-07";
  */
 export const constBinding = bindKeyword("any", "literal", literalPlugin, (v) => [v]);
 export const coreKeywordMap = {
-    $schema: unsupported("read and discarded: Luq targets Draft-07 and does not switch dialect"),
+    $schema: unsupported("read at the document ROOT by assert-supported-dialect and then " +
+        "discarded: Luq implements Draft-07 and never switches dialect, so a " +
+        "root `$schema` naming another one is refused rather than ignored"),
     $id: unsupported("no base-URI resolution; resolve-ref accepts local $ref only"),
     $comment: unsupported(ANNOTATION_ONLY),
     $ref: structural("resolved by resolve-ref before any keyword is read"),

package/dist/json-schema/keyword-map.js

@@ -32,7 +32,10 @@ exports.NON_DRAFT07_KEYWORDS = {
     $defs: "2019-09 spelling of `definitions`; resolve-ref follows it anyway",
     $anchor: "2019-09 anchors; resolve-ref resolves JSON Pointers only",
     $dynamicRef: "2020-12 dynamic references",
+    $dynamicAnchor: "2020-12 dynamic anchors; the target half of $dynamicRef",
     $recursiveRef: "2019-09 recursive references",
+    $recursiveAnchor: "2019-09 recursive anchors; the target half of $recursiveRef",
+    $vocabulary: "2019-09 vocabulary declaration; Luq has one fixed vocabulary",
     dependentRequired: "2019-09 split of `dependencies`; use `dependencies`",
     dependentSchemas: "2019-09 split of `dependencies`; use `dependencies`",
     minContains: "2019-09 bound on `contains`; Draft-07's is fixed at one",

package/dist/json-schema/keyword-map.mjs

@@ -23,7 +23,10 @@ export const NON_DRAFT07_KEYWORDS = {
     $defs: "2019-09 spelling of `definitions`; resolve-ref follows it anyway",
     $anchor: "2019-09 anchors; resolve-ref resolves JSON Pointers only",
     $dynamicRef: "2020-12 dynamic references",
+    $dynamicAnchor: "2020-12 dynamic anchors; the target half of $dynamicRef",
     $recursiveRef: "2019-09 recursive references",
+    $recursiveAnchor: "2019-09 recursive anchors; the target half of $recursiveRef",
+    $vocabulary: "2019-09 vocabulary declaration; Luq has one fixed vocabulary",
     dependentRequired: "2019-09 split of `dependencies`; use `dependencies`",
     dependentSchemas: "2019-09 split of `dependencies`; use `dependencies`",
     minContains: "2019-09 bound on `contains`; Draft-07's is fixed at one",

package/dist/json-schema/schema-to-declarations.js

@@ -30,10 +30,7 @@ exports.STRUCTURAL_EXPANSIONS = {
     },
     type: {
         expandsTo: "rules",
-        toRules: (schema, context) => [
-            ...(0, declare_value_keywords_1.declareTypeRules)(schema, context),
-            ...(0, declare_value_keywords_1.declareIntegerRules)(schema, context),
-        ],
+        toRules: declare_value_keywords_1.declareTypeRules,
     },
     enum: { expandsTo: "rules", toRules: declare_value_keywords_1.declareEnumRules },
     allOf: { expandsTo: "rules", toRules: compose_keyword_1.composeAllOf },

package/dist/json-schema/schema-to-declarations.mjs

@@ -5,7 +5,7 @@ import { declareAdditionalPropertiesSchema } from "./declare-additional-properti
 import { declareDependencies, declareObjectRules, declarePatternProperties, declarePropertyNames, readPropertyChildren, } from "./declare-object-keywords.mjs";
 import { declareRequiredProperties } from "./declare-required-properties.mjs";
 import { declareFormatRules, declareNumberRules, declareStringRules, } from "./declare-scalar-keywords.mjs";
-import { declareConstRules, declareEnumRules, declareIntegerRules, declareTypeRules, } from "./declare-value-keywords.mjs";
+import { declareConstRules, declareEnumRules, declareTypeRules, } from "./declare-value-keywords.mjs";
 import { composeContains, composeTupleItems, declareArrayRules, readItemChildren, } from "./flatten-array-schema.mjs";
 import { NON_DRAFT07_KEYWORDS, findKeywordHandling } from "./keyword-map.mjs";
 import { readChildExpansion, readRuleExpansion, } from "./structural-expansion.types.mjs";
@@ -24,10 +24,7 @@ export const STRUCTURAL_EXPANSIONS = {
     },
     type: {
         expandsTo: "rules",
-        toRules: (schema, context) => [
-            ...declareTypeRules(schema, context),
-            ...declareIntegerRules(schema, context),
-        ],
+        toRules: declareTypeRules,
     },
     enum: { expandsTo: "rules", toRules: declareEnumRules },
     allOf: { expandsTo: "rules", toRules: composeAllOf },

package/dist/json-schema/unsupported-dialect-error.d.ts

@@ -0,0 +1,21 @@
+/** The dialect this library implements, in the spelling the draft publishes. */
+export declare const DRAFT07_DIALECT_URI = "http://json-schema.org/draft-07/schema#";
+/**
+ * Raised when a document's root `$schema` names a dialect Luq does not
+ * implement. Thrown at build time, before a validator that would read the
+ * document under the wrong dialect's rules can exist.
+ *
+ * `reason` follows the convention the other two refusals use: a sentence
+ * fragment with no terminal punctuation, saying what the dialect does that
+ * Draft-07 does not, so that two refusals from two different dialects read as
+ * one library rather than as two unrelated messages.
+ */
+export declare class UnsupportedDialectError extends Error {
+    /** The `$schema` value the document wrote, verbatim. */
+    readonly declared: string;
+    /** The dialect Luq reads every document under. */
+    readonly implemented: string;
+    /** What that dialect does differently, or that it is unrecognised. */
+    readonly reason: string;
+    constructor(declared: string, reason: string);
+}