@maroonedog/luq 2.4.4 → 2.6.0

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/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/flatten-array-schema.d.ts

@@ -6,6 +6,10 @@ export declare const EACH_STEP = "[*]";
 /**
  * The single form only. The tuple form gets no child path: element 0 and
  * element 1 obey DIFFERENT schemas, and one declared `[*]` cannot say that.
+ *
+ * Reading through readCheckedItems is what stops a non-schema value here from
+ * becoming a child declaration whose sub-schema yields no rules at all; see
+ * array-keyword-guards.ts.
  */
 export declare function readItemChildren(schema: Draft07SchemaObject): readonly ChildSchema[];
 export declare function composeTupleItems(schema: Draft07SchemaObject, context: StructuralContext): readonly Rule[];
@@ -13,6 +17,10 @@ export declare function composeTupleItems(schema: Draft07SchemaObject, context:
  * `contains` is EXISTENTIAL: at least one element matches. arrayContains owns
  * that reduction, and its default bounds (min 1, no max) are exactly the
  * draft's, so this is one call and no arithmetic.
+ *
+ * An element branch holding no rules would satisfy the existence check on the
+ * first element and turn the keyword into "the array is non-empty", so the
+ * value is read through array-keyword-guards.ts.
  */
 export declare function composeContains(schema: Draft07SchemaObject, context: StructuralContext): readonly Rule[];
 /**
@@ -20,6 +28,8 @@ export declare function composeContains(schema: Draft07SchemaObject, context: St
  * and `maxItems` to `maxLength`; writing "minItems" as the method name does not
  * compile (keyword-map-array.ts), which is the C2 regression made impossible.
  * `uniqueItems: false` never reaches its binding: §6.4.3 gives it no effect and
- * the binding's value type is `true`.
+ * the binding's value type is `true`. That is why the value is read through
+ * readCheckedUniqueItems: with a bare `=== true`, a non-boolean would take the
+ * same silent route as the lawful `false` and lose the constraint entirely.
  */
 export declare function declareArrayRules(schema: Draft07SchemaObject, context: StructuralContext): readonly Rule[];

package/dist/json-schema/flatten-array-schema.js

@@ -33,6 +33,7 @@ const create_chain_node_1 = require("../chain/create-chain-node");
 const create_field_slots_1 = require("../chain/create-field-slots");
 const create_rule_1 = require("../plugin-kit/create-rule");
 const apply_keyword_binding_1 = require("./apply-keyword-binding");
+const array_keyword_guards_1 = require("./array-keyword-guards");
 const keyword_map_array_1 = require("./keyword-map-array");
 const types_1 = require("../types");
 const collect_definitions_1 = require("./collect-definitions");
@@ -47,9 +48,13 @@ function isTupleItems(items) {
 /**
  * The single form only. The tuple form gets no child path: element 0 and
  * element 1 obey DIFFERENT schemas, and one declared `[*]` cannot say that.
+ *
+ * Reading through readCheckedItems is what stops a non-schema value here from
+ * becoming a child declaration whose sub-schema yields no rules at all; see
+ * array-keyword-guards.ts.
  */
 function readItemChildren(schema) {
-    const items = schema.items;
+    const items = (0, array_keyword_guards_1.readCheckedItems)(schema);
     if (items === undefined || isTupleItems(items))
         return NO_CHILDREN;
     return Object.freeze([{ step: exports.EACH_STEP, schema: items, isRequired: false }]);
@@ -58,7 +63,9 @@ function readItemChildren(schema) {
  * Element i against position i, extra elements against `additionalItems`.
  * A non-array passes, a short array passes, and `additionalItems: false`
  * becomes the schema that matches nothing (collect-definitions), so the
- * "no extra elements" case needs no fourth branch kind.
+ * "no extra elements" case needs no fourth branch kind. A rest branch built
+ * from a non-schema would carry no rules and check none of those elements,
+ * which is why the value is read through array-keyword-guards.ts.
  */
 function applyPositionally(runners, positionCount, hasRest) {
     return (value, ctx) => {
@@ -85,11 +92,11 @@ function describePosition(index) {
         : `Element ${String(index)} does not match the schema declared for it`;
 }
 function composeTupleItems(schema, context) {
-    const items = schema.items;
+    const items = (0, array_keyword_guards_1.readCheckedItems)(schema);
     if (items === undefined || !isTupleItems(items))
         return NO_RULES;
     const branches = items.map((position, index) => context.toBranch(`position:${String(index)}`, position));
-    const rest = schema.additionalItems;
+    const rest = (0, array_keyword_guards_1.readCheckedAdditionalItems)(schema);
     const hasRest = rest !== undefined;
     if (rest !== undefined)
         branches.push(context.toBranch("rest", rest));
@@ -109,9 +116,13 @@ function composeTupleItems(schema, context) {
  * `contains` is EXISTENTIAL: at least one element matches. arrayContains owns
  * that reduction, and its default bounds (min 1, no max) are exactly the
  * draft's, so this is one call and no arithmetic.
+ *
+ * An element branch holding no rules would satisfy the existence check on the
+ * first element and turn the keyword into "the array is non-empty", so the
+ * value is read through array-keyword-guards.ts.
  */
 function composeContains(schema, context) {
-    const contains = schema.contains;
+    const contains = (0, array_keyword_guards_1.readCheckedContains)(schema);
     if (contains === undefined)
         return NO_RULES;
     const element = context.collectSubSchemaRules((0, collect_definitions_1.toSchemaObject)(contains));
@@ -124,7 +135,9 @@ function composeContains(schema, context) {
  * and `maxItems` to `maxLength`; writing "minItems" as the method name does not
  * compile (keyword-map-array.ts), which is the C2 regression made impossible.
  * `uniqueItems: false` never reaches its binding: §6.4.3 gives it no effect and
- * the binding's value type is `true`.
+ * the binding's value type is `true`. That is why the value is read through
+ * readCheckedUniqueItems: with a bare `=== true`, a non-boolean would take the
+ * same silent route as the lawful `false` and lose the constraint entirely.
  */
 function declareArrayRules(schema, context) {
     let chain = (0, create_field_slots_1.createFieldSlots)(context.bag, context.build).array;
@@ -134,7 +147,7 @@ function declareArrayRules(schema, context) {
     if (schema.maxItems !== undefined) {
         chain = (0, apply_keyword_binding_1.applyKeywordBinding)(chain, keyword_map_array_1.maxItemsBinding, schema.maxItems);
     }
-    if (schema.uniqueItems === true) {
+    if ((0, array_keyword_guards_1.readCheckedUniqueItems)(schema) === true) {
         chain = (0, apply_keyword_binding_1.applyKeywordBinding)(chain, keyword_map_array_1.uniqueItemsBinding, true);
     }
     return (0, create_chain_node_1.readChainRules)(chain) ?? NO_RULES;

package/dist/json-schema/flatten-array-schema.mjs

@@ -26,6 +26,7 @@ import { readChainRules } from "../chain/create-chain-node.mjs";
 import { createFieldSlots } from "../chain/create-field-slots.mjs";
 import { composite } from "../plugin-kit/create-rule.mjs";
 import { applyKeywordBinding } from "./apply-keyword-binding.mjs";
+import { readCheckedAdditionalItems, readCheckedContains, readCheckedItems, readCheckedUniqueItems, } from "./array-keyword-guards.mjs";
 import { maxItemsBinding, minItemsBinding, uniqueItemsBinding, } from "./keyword-map-array.mjs";
 import { PASS, fail, isArray, isNumber } from "../types/index.mjs";
 import { toSchemaObject } from "./collect-definitions.mjs";
@@ -40,9 +41,13 @@ function isTupleItems(items) {
 /**
  * The single form only. The tuple form gets no child path: element 0 and
  * element 1 obey DIFFERENT schemas, and one declared `[*]` cannot say that.
+ *
+ * Reading through readCheckedItems is what stops a non-schema value here from
+ * becoming a child declaration whose sub-schema yields no rules at all; see
+ * array-keyword-guards.ts.
  */
 export function readItemChildren(schema) {
-    const items = schema.items;
+    const items = readCheckedItems(schema);
     if (items === undefined || isTupleItems(items))
         return NO_CHILDREN;
     return Object.freeze([{ step: EACH_STEP, schema: items, isRequired: false }]);
@@ -51,7 +56,9 @@ export function readItemChildren(schema) {
  * Element i against position i, extra elements against `additionalItems`.
  * A non-array passes, a short array passes, and `additionalItems: false`
  * becomes the schema that matches nothing (collect-definitions), so the
- * "no extra elements" case needs no fourth branch kind.
+ * "no extra elements" case needs no fourth branch kind. A rest branch built
+ * from a non-schema would carry no rules and check none of those elements,
+ * which is why the value is read through array-keyword-guards.ts.
  */
 function applyPositionally(runners, positionCount, hasRest) {
     return (value, ctx) => {
@@ -78,11 +85,11 @@ function describePosition(index) {
         : `Element ${String(index)} does not match the schema declared for it`;
 }
 export function composeTupleItems(schema, context) {
-    const items = schema.items;
+    const items = readCheckedItems(schema);
     if (items === undefined || !isTupleItems(items))
         return NO_RULES;
     const branches = items.map((position, index) => context.toBranch(`position:${String(index)}`, position));
-    const rest = schema.additionalItems;
+    const rest = readCheckedAdditionalItems(schema);
     const hasRest = rest !== undefined;
     if (rest !== undefined)
         branches.push(context.toBranch("rest", rest));
@@ -102,9 +109,13 @@ export function composeTupleItems(schema, context) {
  * `contains` is EXISTENTIAL: at least one element matches. arrayContains owns
  * that reduction, and its default bounds (min 1, no max) are exactly the
  * draft's, so this is one call and no arithmetic.
+ *
+ * An element branch holding no rules would satisfy the existence check on the
+ * first element and turn the keyword into "the array is non-empty", so the
+ * value is read through array-keyword-guards.ts.
  */
 export function composeContains(schema, context) {
-    const contains = schema.contains;
+    const contains = readCheckedContains(schema);
     if (contains === undefined)
         return NO_RULES;
     const element = context.collectSubSchemaRules(toSchemaObject(contains));
@@ -117,7 +128,9 @@ export function composeContains(schema, context) {
  * and `maxItems` to `maxLength`; writing "minItems" as the method name does not
  * compile (keyword-map-array.ts), which is the C2 regression made impossible.
  * `uniqueItems: false` never reaches its binding: §6.4.3 gives it no effect and
- * the binding's value type is `true`.
+ * the binding's value type is `true`. That is why the value is read through
+ * readCheckedUniqueItems: with a bare `=== true`, a non-boolean would take the
+ * same silent route as the lawful `false` and lose the constraint entirely.
  */
 export function declareArrayRules(schema, context) {
     let chain = createFieldSlots(context.bag, context.build).array;
@@ -127,7 +140,7 @@ export function declareArrayRules(schema, context) {
     if (schema.maxItems !== undefined) {
         chain = applyKeywordBinding(chain, maxItemsBinding, schema.maxItems);
     }
-    if (schema.uniqueItems === true) {
+    if (readCheckedUniqueItems(schema) === true) {
         chain = applyKeywordBinding(chain, uniqueItemsBinding, true);
     }
     return readChainRules(chain) ?? NO_RULES;

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

@@ -17,6 +17,10 @@ export { createDocumentScope, createLocalScope } from "./ref-scope";
 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.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.
 //
@@ -50,6 +50,14 @@ var schema_registry_1 = require("./schema-registry");
 Object.defineProperty(exports, "createSchemaRegistry", { enumerable: true, get: function () { return schema_registry_1.createSchemaRegistry; } });
 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

@@ -17,6 +17,9 @@ export { isResolvableRef, resolveRef, resolveRefInScope } from "./resolve-ref.mj
 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-string.js

@@ -10,7 +10,9 @@ exports.stringKeywordMap = exports.contentMediaTypeBinding = exports.contentEnco
 // table in this repository — 1.x shipped three of them and they disagreed
 // (docs/legacy-spec/json-schema-mapping.md records the disagreements).
 // ===========================================================================
+const types_1 = require("../types");
 const bind_keyword_1 = require("./bind-keyword");
+const malformed_schema_error_1 = require("./malformed-schema-error");
 const string_min_1 = require("../plugins/string-min");
 const string_max_1 = require("../plugins/string-max");
 const string_pattern_1 = require("../plugins/string-pattern");
@@ -18,13 +20,40 @@ const string_content_encoding_1 = require("../plugins/string-content-encoding");
 const string_content_media_type_1 = require("../plugins/string-content-media-type");
 exports.minLengthBinding = (0, bind_keyword_1.bindKeyword)("string", "min", string_min_1.stringMinPlugin, (v) => [v]);
 exports.maxLengthBinding = (0, bind_keyword_1.bindKeyword)("string", "max", string_max_1.stringMaxPlugin, (v) => [v]);
+/**
+ * Compiles the document's source, refusing anything the meta-schema forbids.
+ *
+ * The parameter is `unknown` although the keyword's value type is `string`,
+ * and that is the whole point: compiling is a TOTAL operation on JSON values —
+ * every one of them has a string form — so a number becomes a literal digit
+ * pattern and an object becomes one that matches almost every string. Both
+ * then reach stringPattern as a perfectly valid RegExp, leaving its
+ * non-RegExp guard nothing to fire on. The refusal has to be here, before the
+ * value is turned into something well formed.
+ *
+ * A string that is not a valid ECMA-262 pattern is the same failure wearing a
+ * different coat: the compile step throws a SyntaxError naming neither the
+ * keyword nor the document, so it is caught and re-raised as the typed refusal
+ * every other malformed value gets.
+ */
+function compilePattern(source) {
+    if (!(0, types_1.isString)(source)) {
+        throw new malformed_schema_error_1.MalformedSchemaError("pattern", "the value must be a string", source);
+    }
+    try {
+        return new RegExp(source);
+    }
+    catch {
+        throw new malformed_schema_error_1.MalformedSchemaError("pattern", "the value must be a valid ECMA-262 regular expression", source);
+    }
+}
 /**
  * Draft-07 spells `pattern` as an ECMA-262 SOURCE string; the plugin accepts a
  * RegExp and only a RegExp, because 1.x's `new RegExp(source)` at the call site
  * dropped flags silently and gave the caller no compile-time check. Compiling
  * the schema's string therefore happens HERE, once, and nowhere else.
  */
-exports.patternBinding = (0, bind_keyword_1.bindKeyword)("string", "pattern", string_pattern_1.stringPatternPlugin, (v) => [new RegExp(v)]);
+exports.patternBinding = (0, bind_keyword_1.bindKeyword)("string", "pattern", string_pattern_1.stringPatternPlugin, (v) => [compilePattern(v)]);
 /**
  * The value type is `ContentEncodingName`, not `string`: an encoding the
  * plugin does not know must be refused by the converter rather than accepted

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

@@ -7,7 +7,9 @@
 // table in this repository — 1.x shipped three of them and they disagreed
 // (docs/legacy-spec/json-schema-mapping.md records the disagreements).
 // ===========================================================================
+import { isString } from "../types/index.mjs";
 import { bindKeyword, structural } from "./bind-keyword.mjs";
+import { MalformedSchemaError } from "./malformed-schema-error.mjs";
 import { stringMinPlugin } from "../plugins/string-min/index.mjs";
 import { stringMaxPlugin } from "../plugins/string-max/index.mjs";
 import { stringPatternPlugin } from "../plugins/string-pattern/index.mjs";
@@ -15,13 +17,40 @@ import { stringContentEncodingPlugin, } from "../plugins/string-content-encoding
 import { stringContentMediaTypePlugin } from "../plugins/string-content-media-type/index.mjs";
 export const minLengthBinding = bindKeyword("string", "min", stringMinPlugin, (v) => [v]);
 export const maxLengthBinding = bindKeyword("string", "max", stringMaxPlugin, (v) => [v]);
+/**
+ * Compiles the document's source, refusing anything the meta-schema forbids.
+ *
+ * The parameter is `unknown` although the keyword's value type is `string`,
+ * and that is the whole point: compiling is a TOTAL operation on JSON values —
+ * every one of them has a string form — so a number becomes a literal digit
+ * pattern and an object becomes one that matches almost every string. Both
+ * then reach stringPattern as a perfectly valid RegExp, leaving its
+ * non-RegExp guard nothing to fire on. The refusal has to be here, before the
+ * value is turned into something well formed.
+ *
+ * A string that is not a valid ECMA-262 pattern is the same failure wearing a
+ * different coat: the compile step throws a SyntaxError naming neither the
+ * keyword nor the document, so it is caught and re-raised as the typed refusal
+ * every other malformed value gets.
+ */
+function compilePattern(source) {
+    if (!isString(source)) {
+        throw new MalformedSchemaError("pattern", "the value must be a string", source);
+    }
+    try {
+        return new RegExp(source);
+    }
+    catch {
+        throw new MalformedSchemaError("pattern", "the value must be a valid ECMA-262 regular expression", source);
+    }
+}
 /**
  * Draft-07 spells `pattern` as an ECMA-262 SOURCE string; the plugin accepts a
  * RegExp and only a RegExp, because 1.x's `new RegExp(source)` at the call site
  * dropped flags silently and gave the caller no compile-time check. Compiling
  * the schema's string therefore happens HERE, once, and nowhere else.
  */
-export const patternBinding = bindKeyword("string", "pattern", stringPatternPlugin, (v) => [new RegExp(v)]);
+export const patternBinding = bindKeyword("string", "pattern", stringPatternPlugin, (v) => [compilePattern(v)]);
 /**
  * The value type is `ContentEncodingName`, not `string`: an encoding the
  * plugin does not know must be refused by the converter rather than accepted

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

@@ -32,9 +32,14 @@ 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",
+    maxContains: "2019-09 bound on `contains`; Draft-07 states no maximum",
     unevaluatedItems: "2019-09; no annotation-collection model in Luq",
     unevaluatedProperties: "2019-09; no annotation-collection model in Luq",
     contentSchema: "2019-09 companion to contentMediaType",

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

@@ -23,9 +23,14 @@ 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",
+    maxContains: "2019-09 bound on `contains`; Draft-07 states no maximum",
     unevaluatedItems: "2019-09; no annotation-collection model in Luq",
     unevaluatedProperties: "2019-09; no annotation-collection model in Luq",
     contentSchema: "2019-09 companion to contentMediaType",

package/dist/json-schema/malformed-schema-error.d.ts

@@ -0,0 +1,38 @@
+/**
+ * The two shapes §4.4 lets a schema take, worded once. Several keywords take a
+ * schema as their value — `properties` members, `additionalProperties`, every
+ * position of the tuple form of `items` — and each is read by a different
+ * module; sharing the phrase is what stops the same refusal being explained
+ * three different ways to the same caller.
+ *
+ * It is a fragment, so it composes: "the value ", `the schema under "a" `.
+ */
+export declare const SCHEMA_FORMS = "must be an object or a boolean";
+/**
+ * Renders an untrusted schema value for a message, in at most
+ * RECEIVED_MAX_LENGTH characters. The value comes from the same document that
+ * is already known to be malformed, so nothing about it can be assumed: it may
+ * be circular, hold a bigint, or be large enough to drown the message.
+ * Rendering must never be the thing that throws.
+ */
+export declare function renderReceivedValue(value: unknown): string;
+/**
+ * Raised when a keyword's value violates the Draft-07 meta-schema. Thrown at
+ * build time, before a validator that would enforce less than the document
+ * states can exist.
+ */
+export declare class MalformedSchemaError extends Error {
+    /** The keyword whose value is malformed, for instance "type". */
+    readonly keyword: string;
+    /**
+     * What the meta-schema REQUIRES, written as a sentence fragment with no
+     * terminal punctuation — the message supplies it. Every keyword phrases it
+     * the same way, "<the thing> must be <the shape>", so that a caller reading
+     * two refusals from two different keywords reads one library rather than
+     * three; what was found instead is carried separately, in `received`.
+     */
+    readonly reason: string;
+    /** The offending value, rendered short and safe by renderReceivedValue. */
+    readonly received: string;
+    constructor(keyword: string, reason: string, value: unknown);
+}