@earendil-works/pi-schema 0.0.0-stage → 1.5.0

package/dist/resolver.d.ts

@@ -0,0 +1,57 @@
+import type { CompileOptions, JsonSchema, SchemaObject } from "./types.ts";
+/** A schema and the base URI its references resolve against. */
+export interface Resolved {
+    readonly node: unknown;
+    readonly base: string;
+}
+/** The base URI of a root schema without `$id`; relative references resolve against it. */
+export declare const DEFAULT_BASE = "https://json-schema.invalid/root.json";
+/**
+ * Resolves references in the root schema and the registered documents. The schema is indexed on the first
+ * reference, so a schema without references is never walked for identifiers.
+ */
+export declare class Resolver {
+    readonly draft: "2020-12" | "7";
+    readonly rootBase: string;
+    /** Schema object to the base URI it was indexed under. */
+    readonly baseOf: Map<object, string>;
+    /** URI (with a `#name` fragment) of every `$dynamicAnchor`, to its schema. */
+    readonly dynamicAnchors: Map<string, SchemaObject>;
+    private readonly root;
+    private readonly options;
+    private readonly registry;
+    private readonly rejectUnresolved;
+    /** The references that named nothing and resolved to `false` (with `unresolvedRefs: "reject"`). */
+    private readonly unresolved;
+    private readonly resources;
+    private readonly anchors;
+    private indexed;
+    constructor(root: JsonSchema, options: CompileOptions);
+    /**
+     * The base URI of `node`, whose parent has `base`: its `$id` changes it, unless draft 7 makes the `$id` inert. Once
+     * the schema is indexed, the indexed base (a resolved reference target already has its own).
+     */
+    baseFor(node: SchemaObject, base: string): string;
+    /** Indexes the root schema and the registered documents' URIs (once). */
+    ensureIndexed(): void;
+    /**
+     * The schema a reference names, with the base URI it compiles under. Throws if it names nothing, or, with
+     * `unresolvedRefs: "reject"`, resolves to `false`, the schema no value passes.
+     */
+    resolve(ref: string, base: string): Resolved;
+    /** Whether `ref`, from `base`, named nothing and resolved to `false`. */
+    isUnresolved(ref: string, base: string): boolean;
+    private find;
+    /** Whether `node` is the root of the schema resource at `base`. */
+    isResource(node: object, base: string): boolean;
+    private index;
+    private load;
+    private pointer;
+}
+/** Whether `value` is a schema object (not `true`/`false`, an array or a primitive). */
+export declare function isSchemaObject(value: unknown): value is SchemaObject;
+/** `ref` resolved against `base`. URNs and other bases a URL parser rejects take fragment-only references. */
+export declare function resolveUri(ref: string, base: string): string;
+/** `uri` without its fragment. */
+export declare function documentOf(uri: string): string;
+//# sourceMappingURL=resolver.d.ts.map

package/dist/resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolver.d.ts","sourceRoot":"","sources":["../src/resolver.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE3E,gEAAgE;AAChE,MAAM,WAAW,QAAQ;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACtB;AAED,2FAA2F;AAC3F,eAAO,MAAM,YAAY,0CAA0C,CAAC;AAEpE;;;GAGG;AACH,qBAAa,QAAQ;IACpB,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,GAAG,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,0DAA0D;IAC1D,QAAQ,CAAC,MAAM,sBAA6B;IAC5C,8EAA8E;IAC9E,QAAQ,CAAC,cAAc,4BAAmC;IAC1D,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAa;IAClC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAiB;IACzC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAiC;IAC1D,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAU;IAC3C,mGAAmG;IACnG,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAqB;IAChD,OAAO,CAAC,QAAQ,CAAC,SAAS,CAA8B;IACxD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAmC;IAC3D,OAAO,CAAC,OAAO,CAAS;IAExB,YAAY,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,cAAc,EAMpD;IAED;;;OAGG;IACH,OAAO,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAOhD;IAED,yEAAyE;IACzE,aAAa,IAAI,IAAI,CAQpB;IAED;;;OAGG;IACH,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,CAS3C;IAED,yEAAyE;IACzE,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAE/C;IAED,OAAO,CAAC,IAAI;IAaZ,mEAAmE;IACnE,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAG9C;IAGD,OAAO,CAAC,KAAK;IAkCb,OAAO,CAAC,IAAI;IAQZ,OAAO,CAAC,OAAO;CAcf;AAqBD,wFAAwF;AACxF,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,YAAY,CAEpE;AAED,8GAA8G;AAC9G,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAM5D;AAED,kCAAkC;AAClC,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAG9C"}

package/dist/resolver.js

@@ -0,0 +1,202 @@
+// Reference resolution of one compile: schema resources, anchors and JSON Pointers over the root schema and the
+// registered documents. A Resolver lives only while a schema compiles (or while its errors are explained).
+/** The base URI of a root schema without `$id`; relative references resolve against it. */
+export const DEFAULT_BASE = "https://json-schema.invalid/root.json";
+/**
+ * Resolves references in the root schema and the registered documents. The schema is indexed on the first
+ * reference, so a schema without references is never walked for identifiers.
+ */
+export class Resolver {
+    draft;
+    rootBase;
+    /** Schema object to the base URI it was indexed under. */
+    baseOf = new Map();
+    /** URI (with a `#name` fragment) of every `$dynamicAnchor`, to its schema. */
+    dynamicAnchors = new Map();
+    root;
+    options;
+    registry = new Map();
+    rejectUnresolved;
+    /** The references that named nothing and resolved to `false` (with `unresolvedRefs: "reject"`). */
+    unresolved = new Set();
+    resources = new Map();
+    anchors = new Map();
+    indexed = false;
+    constructor(root, options) {
+        this.draft = options.draft === "7" ? "7" : "2020-12";
+        this.root = root;
+        this.options = options;
+        this.rejectUnresolved = options.unresolvedRefs === "reject";
+        this.rootBase = isSchemaObject(root) ? this.baseFor(root, DEFAULT_BASE) : DEFAULT_BASE;
+    }
+    /**
+     * The base URI of `node`, whose parent has `base`: its `$id` changes it, unless draft 7 makes the `$id` inert. Once
+     * the schema is indexed, the indexed base (a resolved reference target already has its own).
+     */
+    baseFor(node, base) {
+        const indexed = this.baseOf.get(node);
+        if (indexed !== undefined)
+            return indexed;
+        const id = node.$id;
+        if (typeof id !== "string")
+            return base;
+        if (this.draft === "7" && (typeof node.$ref === "string" || id.startsWith("#")))
+            return base;
+        return documentOf(resolveUri(id, base));
+    }
+    /** Indexes the root schema and the registered documents' URIs (once). */
+    ensureIndexed() {
+        if (this.indexed)
+            return;
+        this.indexed = true;
+        for (const [uri, schema] of Object.entries(this.options.schemas ?? {})) {
+            this.registry.set(documentOf(resolveUri(uri, DEFAULT_BASE)), schema);
+        }
+        this.resources.set(DEFAULT_BASE, this.root);
+        this.index(this.root, DEFAULT_BASE);
+    }
+    /**
+     * The schema a reference names, with the base URI it compiles under. Throws if it names nothing, or, with
+     * `unresolvedRefs: "reject"`, resolves to `false`, the schema no value passes.
+     */
+    resolve(ref, base) {
+        this.ensureIndexed();
+        if (!this.rejectUnresolved)
+            return this.find(ref, base);
+        try {
+            return this.find(ref, base);
+        }
+        catch {
+            this.unresolved.add(resolveUri(ref, base));
+            return { node: false, base };
+        }
+    }
+    /** Whether `ref`, from `base`, named nothing and resolved to `false`. */
+    isUnresolved(ref, base) {
+        return this.unresolved.has(resolveUri(ref, base));
+    }
+    find(ref, base) {
+        const uri = resolveUri(ref, base);
+        const doc = documentOf(uri);
+        const fragment = uri.length > doc.length ? decodeURIComponent(uri.slice(doc.length + 1)) : "";
+        const root = this.resources.has(doc) ? this.resources.get(doc) : this.load(doc);
+        if (root === undefined)
+            throw new Error(`Unresolved $ref ${ref} (no schema registered for ${doc})`);
+        if (fragment === "")
+            return { node: root, base: doc };
+        if (fragment.startsWith("/"))
+            return this.pointer(root, doc, fragment);
+        const target = this.anchors.get(`${doc}#${fragment}`);
+        if (target === undefined)
+            throw new Error(`Unresolved $ref ${ref} (no anchor ${fragment} in ${doc})`);
+        return { node: target, base: this.baseOf.get(target) ?? doc };
+    }
+    /** Whether `node` is the root of the schema resource at `base`. */
+    isResource(node, base) {
+        this.ensureIndexed();
+        return this.resources.get(base) === node;
+    }
+    // Walks only keywords that hold subschemas: an `$id` inside `enum`, `const` or an unknown keyword names nothing.
+    index(node, base) {
+        if (!isSchemaObject(node) || this.baseOf.has(node))
+            return;
+        let b = base;
+        // In draft 7 a `$ref` makes every sibling keyword, `$id` included, inert.
+        const refOnly = this.draft === "7" && typeof node.$ref === "string";
+        if (!refOnly && typeof node.$id === "string") {
+            if (this.draft === "7" && node.$id.startsWith("#"))
+                this.anchors.set(documentOf(b) + node.$id, node);
+            else {
+                const uri = resolveUri(node.$id, b);
+                b = documentOf(uri);
+                this.resources.set(b, node);
+                if (uri.length > b.length + 1)
+                    this.anchors.set(uri, node);
+            }
+        }
+        this.baseOf.set(node, b);
+        if (refOnly)
+            return;
+        if (this.draft !== "7") {
+            if (typeof node.$anchor === "string")
+                this.anchors.set(`${b}#${node.$anchor}`, node);
+            if (typeof node.$dynamicAnchor === "string") {
+                this.anchors.set(`${b}#${node.$dynamicAnchor}`, node);
+                this.dynamicAnchors.set(`${b}#${node.$dynamicAnchor}`, node);
+            }
+        }
+        for (const key of SCHEMA_KEYWORDS)
+            this.index(node[key], b);
+        for (const key of MAP_KEYWORDS) {
+            const map = node[key];
+            if (isSchemaObject(map))
+                for (const k of Object.keys(map))
+                    this.index(map[k], b);
+        }
+        for (const key of ARRAY_KEYWORDS) {
+            const list = node[key];
+            if (Array.isArray(list))
+                for (const s of list)
+                    this.index(s, b);
+        }
+    }
+    load(doc) {
+        const schema = this.registry.get(doc);
+        if (schema === undefined)
+            return undefined;
+        this.resources.set(doc, schema);
+        this.index(schema, doc);
+        return schema;
+    }
+    pointer(root, base, fragment) {
+        let node = root;
+        let b = base;
+        for (const raw of fragment.split("/").slice(1)) {
+            const key = raw.replace(/~1/g, "/").replace(/~0/g, "~");
+            node =
+                typeof node === "object" && node !== null && Object.hasOwn(node, key)
+                    ? node[key]
+                    : undefined;
+            if (node === undefined)
+                throw new Error(`Unresolved $ref #${fragment} in ${base}`);
+            if (typeof node === "object" && node !== null)
+                b = this.baseOf.get(node) ?? b;
+        }
+        return { node, base: b };
+    }
+}
+const SCHEMA_KEYWORDS = [
+    "additionalProperties",
+    "propertyNames",
+    "contains",
+    "not",
+    "if",
+    "then",
+    "else",
+    "unevaluatedProperties",
+    "unevaluatedItems",
+    "additionalItems",
+    "contentSchema",
+    "items",
+];
+const MAP_KEYWORDS = ["properties", "patternProperties", "$defs", "definitions", "dependentSchemas", "dependencies"];
+const ARRAY_KEYWORDS = ["allOf", "anyOf", "oneOf", "prefixItems", "items"];
+/** Whether `value` is a schema object (not `true`/`false`, an array or a primitive). */
+export function isSchemaObject(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+/** `ref` resolved against `base`. URNs and other bases a URL parser rejects take fragment-only references. */
+export function resolveUri(ref, base) {
+    try {
+        return new URL(ref, base).href;
+    }
+    catch {
+        return ref.startsWith("#") ? documentOf(base) + ref : ref;
+    }
+}
+/** `uri` without its fragment. */
+export function documentOf(uri) {
+    const hash = uri.indexOf("#");
+    return hash < 0 ? uri : uri.slice(0, hash);
+}
+//# sourceMappingURL=resolver.js.map

package/dist/resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolver.js","sourceRoot":"","sources":["../src/resolver.ts"],"names":[],"mappings":"AAAA,gHAAgH;AAChH,2GAA2G;AAU3G,2FAA2F;AAC3F,MAAM,CAAC,MAAM,YAAY,GAAG,uCAAuC,CAAC;AAEpE;;;GAGG;AACH,MAAM,OAAO,QAAQ;IACX,KAAK,CAAkB;IACvB,QAAQ,CAAS;IAC1B,0DAA0D;IACjD,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,8EAA8E;IACrE,cAAc,GAAG,IAAI,GAAG,EAAwB,CAAC;IACzC,IAAI,CAAa;IACjB,OAAO,CAAiB;IACxB,QAAQ,GAAG,IAAI,GAAG,EAAsB,CAAC;IACzC,gBAAgB,CAAU;IAC3C,mGAAmG;IAClF,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,SAAS,GAAG,IAAI,GAAG,EAAmB,CAAC;IACvC,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IACnD,OAAO,GAAG,KAAK,CAAC;IAExB,YAAY,IAAgB,EAAE,OAAuB;QACpD,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;QACrD,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,gBAAgB,GAAG,OAAO,CAAC,cAAc,KAAK,QAAQ,CAAC;QAC5D,IAAI,CAAC,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC;IACxF,CAAC;IAED;;;OAGG;IACH,OAAO,CAAC,IAAkB,EAAE,IAAY;QACvC,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;QAC1C,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC;QACpB,IAAI,OAAO,EAAE,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACxC,IAAI,IAAI,CAAC,KAAK,KAAK,GAAG,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAC7F,OAAO,UAAU,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;IACzC,CAAC;IAED,yEAAyE;IACzE,aAAa;QACZ,IAAI,IAAI,CAAC,OAAO;YAAE,OAAO;QACzB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;QACpB,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;YACxE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACrC,CAAC;IAED;;;OAGG;IACH,OAAO,CAAC,GAAW,EAAE,IAAY;QAChC,IAAI,CAAC,aAAa,EAAE,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,gBAAgB;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACxD,IAAI,CAAC;YACJ,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC7B,CAAC;QAAC,MAAM,CAAC;YACR,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;YAC3C,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC9B,CAAC;IACF,CAAC;IAED,yEAAyE;IACzE,YAAY,CAAC,GAAW,EAAE,IAAY;QACrC,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IACnD,CAAC;IAEO,IAAI,CAAC,GAAW,EAAE,IAAY;QACrC,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9F,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChF,IAAI,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,GAAG,8BAA8B,GAAG,GAAG,CAAC,CAAC;QACpG,IAAI,QAAQ,KAAK,EAAE;YAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACtD,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QACvE,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,QAAQ,EAAE,CAAC,CAAC;QACtD,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,GAAG,eAAe,QAAQ,OAAO,GAAG,GAAG,CAAC,CAAC;QACtG,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;IAC/D,CAAC;IAED,mEAAmE;IACnE,UAAU,CAAC,IAAY,EAAE,IAAY;QACpC,IAAI,CAAC,aAAa,EAAE,CAAC;QACrB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;IAC1C,CAAC;IAED,iHAAiH;IACzG,KAAK,CAAC,IAAa,EAAE,IAAY;QACxC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAC3D,IAAI,CAAC,GAAG,IAAI,CAAC;QACb,0EAA0E;QAC1E,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,KAAK,GAAG,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;QACpE,IAAI,CAAC,OAAO,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC9C,IAAI,IAAI,CAAC,KAAK,KAAK,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;iBAChG,CAAC;gBACL,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBACpC,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;gBACpB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;gBAC5B,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC;oBAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAC5D,CAAC;QACF,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACzB,IAAI,OAAO;YAAE,OAAO;QACpB,IAAI,IAAI,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;YACxB,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ;gBAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,CAAC;YACrF,IAAI,OAAO,IAAI,CAAC,cAAc,KAAK,QAAQ,EAAE,CAAC;gBAC7C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,cAAc,EAAE,EAAE,IAAI,CAAC,CAAC;gBACtD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,cAAc,EAAE,EAAE,IAAI,CAAC,CAAC;YAC9D,CAAC;QACF,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,eAAe;YAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5D,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;YAChC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;YACtB,IAAI,cAAc,CAAC,GAAG,CAAC;gBAAE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;oBAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClF,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;YAClC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;YACvB,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;gBAAE,KAAK,MAAM,CAAC,IAAI,IAAI;oBAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjE,CAAC;IACF,CAAC;IAEO,IAAI,CAAC,GAAW;QACvB,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC3C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACxB,OAAO,MAAM,CAAC;IACf,CAAC;IAEO,OAAO,CAAC,IAAa,EAAE,IAAY,EAAE,QAAgB;QAC5D,IAAI,IAAI,GAAG,IAAI,CAAC;QAChB,IAAI,CAAC,GAAG,IAAI,CAAC;QACb,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YAChD,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACxD,IAAI;gBACH,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC;oBACpE,CAAC,CAAE,IAAqB,CAAC,GAAG,CAAC;oBAC7B,CAAC,CAAC,SAAS,CAAC;YACd,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,QAAQ,OAAO,IAAI,EAAE,CAAC,CAAC;YACnF,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;gBAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/E,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IAC1B,CAAC;CACD;AAED,MAAM,eAAe,GAAG;IACvB,sBAAsB;IACtB,eAAe;IACf,UAAU;IACV,KAAK;IACL,IAAI;IACJ,MAAM;IACN,MAAM;IACN,uBAAuB;IACvB,kBAAkB;IAClB,iBAAiB;IACjB,eAAe;IACf,OAAO;CACP,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,YAAY,EAAE,mBAAmB,EAAE,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,cAAc,CAAC,CAAC;AAErH,MAAM,cAAc,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;AAE3E,wFAAwF;AACxF,MAAM,UAAU,cAAc,CAAC,KAAc;IAC5C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC7E,CAAC;AAED,8GAA8G;AAC9G,MAAM,UAAU,UAAU,CAAC,GAAW,EAAE,IAAY;IACnD,IAAI,CAAC;QACJ,OAAO,IAAI,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC;IAChC,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IAC3D,CAAC;AACF,CAAC;AAED,kCAAkC;AAClC,MAAM,UAAU,UAAU,CAAC,GAAW;IACrC,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC9B,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAC5C,CAAC","sourcesContent":["// Reference resolution of one compile: schema resources, anchors and JSON Pointers over the root schema and the\n// registered documents. A Resolver lives only while a schema compiles (or while its errors are explained).\n\nimport type { CompileOptions, JsonSchema, SchemaObject } from \"./types.ts\";\n\n/** A schema and the base URI its references resolve against. */\nexport interface Resolved {\n\treadonly node: unknown;\n\treadonly base: string;\n}\n\n/** The base URI of a root schema without `$id`; relative references resolve against it. */\nexport const DEFAULT_BASE = \"https://json-schema.invalid/root.json\";\n\n/**\n * Resolves references in the root schema and the registered documents. The schema is indexed on the first\n * reference, so a schema without references is never walked for identifiers.\n */\nexport class Resolver {\n\treadonly draft: \"2020-12\" | \"7\";\n\treadonly rootBase: string;\n\t/** Schema object to the base URI it was indexed under. */\n\treadonly baseOf = new Map<object, string>();\n\t/** URI (with a `#name` fragment) of every `$dynamicAnchor`, to its schema. */\n\treadonly dynamicAnchors = new Map<string, SchemaObject>();\n\tprivate readonly root: JsonSchema;\n\tprivate readonly options: CompileOptions;\n\tprivate readonly registry = new Map<string, JsonSchema>();\n\tprivate readonly rejectUnresolved: boolean;\n\t/** The references that named nothing and resolved to `false` (with `unresolvedRefs: \"reject\"`). */\n\tprivate readonly unresolved = new Set<string>();\n\tprivate readonly resources = new Map<string, unknown>();\n\tprivate readonly anchors = new Map<string, SchemaObject>();\n\tprivate indexed = false;\n\n\tconstructor(root: JsonSchema, options: CompileOptions) {\n\t\tthis.draft = options.draft === \"7\" ? \"7\" : \"2020-12\";\n\t\tthis.root = root;\n\t\tthis.options = options;\n\t\tthis.rejectUnresolved = options.unresolvedRefs === \"reject\";\n\t\tthis.rootBase = isSchemaObject(root) ? this.baseFor(root, DEFAULT_BASE) : DEFAULT_BASE;\n\t}\n\n\t/**\n\t * The base URI of `node`, whose parent has `base`: its `$id` changes it, unless draft 7 makes the `$id` inert. Once\n\t * the schema is indexed, the indexed base (a resolved reference target already has its own).\n\t */\n\tbaseFor(node: SchemaObject, base: string): string {\n\t\tconst indexed = this.baseOf.get(node);\n\t\tif (indexed !== undefined) return indexed;\n\t\tconst id = node.$id;\n\t\tif (typeof id !== \"string\") return base;\n\t\tif (this.draft === \"7\" && (typeof node.$ref === \"string\" || id.startsWith(\"#\"))) return base;\n\t\treturn documentOf(resolveUri(id, base));\n\t}\n\n\t/** Indexes the root schema and the registered documents' URIs (once). */\n\tensureIndexed(): void {\n\t\tif (this.indexed) return;\n\t\tthis.indexed = true;\n\t\tfor (const [uri, schema] of Object.entries(this.options.schemas ?? {})) {\n\t\t\tthis.registry.set(documentOf(resolveUri(uri, DEFAULT_BASE)), schema);\n\t\t}\n\t\tthis.resources.set(DEFAULT_BASE, this.root);\n\t\tthis.index(this.root, DEFAULT_BASE);\n\t}\n\n\t/**\n\t * The schema a reference names, with the base URI it compiles under. Throws if it names nothing, or, with\n\t * `unresolvedRefs: \"reject\"`, resolves to `false`, the schema no value passes.\n\t */\n\tresolve(ref: string, base: string): Resolved {\n\t\tthis.ensureIndexed();\n\t\tif (!this.rejectUnresolved) return this.find(ref, base);\n\t\ttry {\n\t\t\treturn this.find(ref, base);\n\t\t} catch {\n\t\t\tthis.unresolved.add(resolveUri(ref, base));\n\t\t\treturn { node: false, base };\n\t\t}\n\t}\n\n\t/** Whether `ref`, from `base`, named nothing and resolved to `false`. */\n\tisUnresolved(ref: string, base: string): boolean {\n\t\treturn this.unresolved.has(resolveUri(ref, base));\n\t}\n\n\tprivate find(ref: string, base: string): Resolved {\n\t\tconst uri = resolveUri(ref, base);\n\t\tconst doc = documentOf(uri);\n\t\tconst fragment = uri.length > doc.length ? decodeURIComponent(uri.slice(doc.length + 1)) : \"\";\n\t\tconst root = this.resources.has(doc) ? this.resources.get(doc) : this.load(doc);\n\t\tif (root === undefined) throw new Error(`Unresolved $ref ${ref} (no schema registered for ${doc})`);\n\t\tif (fragment === \"\") return { node: root, base: doc };\n\t\tif (fragment.startsWith(\"/\")) return this.pointer(root, doc, fragment);\n\t\tconst target = this.anchors.get(`${doc}#${fragment}`);\n\t\tif (target === undefined) throw new Error(`Unresolved $ref ${ref} (no anchor ${fragment} in ${doc})`);\n\t\treturn { node: target, base: this.baseOf.get(target) ?? doc };\n\t}\n\n\t/** Whether `node` is the root of the schema resource at `base`. */\n\tisResource(node: object, base: string): boolean {\n\t\tthis.ensureIndexed();\n\t\treturn this.resources.get(base) === node;\n\t}\n\n\t// Walks only keywords that hold subschemas: an `$id` inside `enum`, `const` or an unknown keyword names nothing.\n\tprivate index(node: unknown, base: string): void {\n\t\tif (!isSchemaObject(node) || this.baseOf.has(node)) return;\n\t\tlet b = base;\n\t\t// In draft 7 a `$ref` makes every sibling keyword, `$id` included, inert.\n\t\tconst refOnly = this.draft === \"7\" && typeof node.$ref === \"string\";\n\t\tif (!refOnly && typeof node.$id === \"string\") {\n\t\t\tif (this.draft === \"7\" && node.$id.startsWith(\"#\")) this.anchors.set(documentOf(b) + node.$id, node);\n\t\t\telse {\n\t\t\t\tconst uri = resolveUri(node.$id, b);\n\t\t\t\tb = documentOf(uri);\n\t\t\t\tthis.resources.set(b, node);\n\t\t\t\tif (uri.length > b.length + 1) this.anchors.set(uri, node);\n\t\t\t}\n\t\t}\n\t\tthis.baseOf.set(node, b);\n\t\tif (refOnly) return;\n\t\tif (this.draft !== \"7\") {\n\t\t\tif (typeof node.$anchor === \"string\") this.anchors.set(`${b}#${node.$anchor}`, node);\n\t\t\tif (typeof node.$dynamicAnchor === \"string\") {\n\t\t\t\tthis.anchors.set(`${b}#${node.$dynamicAnchor}`, node);\n\t\t\t\tthis.dynamicAnchors.set(`${b}#${node.$dynamicAnchor}`, node);\n\t\t\t}\n\t\t}\n\t\tfor (const key of SCHEMA_KEYWORDS) this.index(node[key], b);\n\t\tfor (const key of MAP_KEYWORDS) {\n\t\t\tconst map = node[key];\n\t\t\tif (isSchemaObject(map)) for (const k of Object.keys(map)) this.index(map[k], b);\n\t\t}\n\t\tfor (const key of ARRAY_KEYWORDS) {\n\t\t\tconst list = node[key];\n\t\t\tif (Array.isArray(list)) for (const s of list) this.index(s, b);\n\t\t}\n\t}\n\n\tprivate load(doc: string): JsonSchema | undefined {\n\t\tconst schema = this.registry.get(doc);\n\t\tif (schema === undefined) return undefined;\n\t\tthis.resources.set(doc, schema);\n\t\tthis.index(schema, doc);\n\t\treturn schema;\n\t}\n\n\tprivate pointer(root: unknown, base: string, fragment: string): Resolved {\n\t\tlet node = root;\n\t\tlet b = base;\n\t\tfor (const raw of fragment.split(\"/\").slice(1)) {\n\t\t\tconst key = raw.replace(/~1/g, \"/\").replace(/~0/g, \"~\");\n\t\t\tnode =\n\t\t\t\ttypeof node === \"object\" && node !== null && Object.hasOwn(node, key)\n\t\t\t\t\t? (node as SchemaObject)[key]\n\t\t\t\t\t: undefined;\n\t\t\tif (node === undefined) throw new Error(`Unresolved $ref #${fragment} in ${base}`);\n\t\t\tif (typeof node === \"object\" && node !== null) b = this.baseOf.get(node) ?? b;\n\t\t}\n\t\treturn { node, base: b };\n\t}\n}\n\nconst SCHEMA_KEYWORDS = [\n\t\"additionalProperties\",\n\t\"propertyNames\",\n\t\"contains\",\n\t\"not\",\n\t\"if\",\n\t\"then\",\n\t\"else\",\n\t\"unevaluatedProperties\",\n\t\"unevaluatedItems\",\n\t\"additionalItems\",\n\t\"contentSchema\",\n\t\"items\",\n];\n\nconst MAP_KEYWORDS = [\"properties\", \"patternProperties\", \"$defs\", \"definitions\", \"dependentSchemas\", \"dependencies\"];\n\nconst ARRAY_KEYWORDS = [\"allOf\", \"anyOf\", \"oneOf\", \"prefixItems\", \"items\"];\n\n/** Whether `value` is a schema object (not `true`/`false`, an array or a primitive). */\nexport function isSchemaObject(value: unknown): value is SchemaObject {\n\treturn typeof value === \"object\" && value !== null && !Array.isArray(value);\n}\n\n/** `ref` resolved against `base`. URNs and other bases a URL parser rejects take fragment-only references. */\nexport function resolveUri(ref: string, base: string): string {\n\ttry {\n\t\treturn new URL(ref, base).href;\n\t} catch {\n\t\treturn ref.startsWith(\"#\") ? documentOf(base) + ref : ref;\n\t}\n}\n\n/** `uri` without its fragment. */\nexport function documentOf(uri: string): string {\n\tconst hash = uri.indexOf(\"#\");\n\treturn hash < 0 ? uri : uri.slice(0, hash);\n}\n"]}

package/dist/shared.d.ts

@@ -0,0 +1,9 @@
+/**
+ * The regular expression of a `pattern` source, shared by source. Patterns are ECMAScript regular expressions with
+ * the `u` flag; a source that is invalid with it (some older schemas escape characters `u` rejects) compiles
+ * without it.
+ */
+export declare function sharedRegex(source: string): RegExp;
+/** The number of cached regular expressions (for tests). */
+export declare function sharedRegexCount(): number;
+//# sourceMappingURL=shared.d.ts.map

package/dist/shared.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../src/shared.ts"],"names":[],"mappings":"AAIA;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAYlD;AAQD,4DAA4D;AAC5D,wBAAgB,gBAAgB,IAAI,MAAM,CAEzC"}

package/dist/shared.js

@@ -0,0 +1,33 @@
+// Regular expressions shared across all compiled schemas while one still uses them: tool schemas repeat a few
+// patterns many times, and a RegExp is large once it has run. The cache holds its values weakly and drops an entry
+// once its RegExp is collected, so it keeps nothing alive.
+/**
+ * The regular expression of a `pattern` source, shared by source. Patterns are ECMAScript regular expressions with
+ * the `u` flag; a source that is invalid with it (some older schemas escape characters `u` rejects) compiles
+ * without it.
+ */
+export function sharedRegex(source) {
+    const hit = regexes.get(source)?.deref();
+    if (hit !== undefined)
+        return hit;
+    let re;
+    try {
+        re = new RegExp(source, "u");
+    }
+    catch {
+        re = new RegExp(source);
+    }
+    regexes.set(source, new WeakRef(re));
+    regexCleanup.register(re, source);
+    return re;
+}
+const regexes = new Map();
+const regexCleanup = new FinalizationRegistry((source) => {
+    if (regexes.get(source)?.deref() === undefined)
+        regexes.delete(source);
+});
+/** The number of cached regular expressions (for tests). */
+export function sharedRegexCount() {
+    return regexes.size;
+}
+//# sourceMappingURL=shared.js.map

package/dist/shared.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared.js","sourceRoot":"","sources":["../src/shared.ts"],"names":[],"mappings":"AAAA,8GAA8G;AAC9G,mHAAmH;AACnH,2DAA2D;AAE3D;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,MAAc;IACzC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC;IACzC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC;IAClC,IAAI,EAAU,CAAC;IACf,IAAI,CAAC;QACJ,EAAE,GAAG,IAAI,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC9B,CAAC;IAAC,MAAM,CAAC;QACR,EAAE,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,YAAY,CAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAClC,OAAO,EAAE,CAAC;AACX,CAAC;AAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAA2B,CAAC;AAEnD,MAAM,YAAY,GAAG,IAAI,oBAAoB,CAAS,CAAC,MAAM,EAAE,EAAE;IAChE,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,KAAK,SAAS;QAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACxE,CAAC,CAAC,CAAC;AAEH,4DAA4D;AAC5D,MAAM,UAAU,gBAAgB;IAC/B,OAAO,OAAO,CAAC,IAAI,CAAC;AACrB,CAAC","sourcesContent":["// Regular expressions shared across all compiled schemas while one still uses them: tool schemas repeat a few\n// patterns many times, and a RegExp is large once it has run. The cache holds its values weakly and drops an entry\n// once its RegExp is collected, so it keeps nothing alive.\n\n/**\n * The regular expression of a `pattern` source, shared by source. Patterns are ECMAScript regular expressions with\n * the `u` flag; a source that is invalid with it (some older schemas escape characters `u` rejects) compiles\n * without it.\n */\nexport function sharedRegex(source: string): RegExp {\n\tconst hit = regexes.get(source)?.deref();\n\tif (hit !== undefined) return hit;\n\tlet re: RegExp;\n\ttry {\n\t\tre = new RegExp(source, \"u\");\n\t} catch {\n\t\tre = new RegExp(source);\n\t}\n\tregexes.set(source, new WeakRef(re));\n\tregexCleanup.register(re, source);\n\treturn re;\n}\n\nconst regexes = new Map<string, WeakRef<RegExp>>();\n\nconst regexCleanup = new FinalizationRegistry<string>((source) => {\n\tif (regexes.get(source)?.deref() === undefined) regexes.delete(source);\n});\n\n/** The number of cached regular expressions (for tests). */\nexport function sharedRegexCount(): number {\n\treturn regexes.size;\n}\n"]}

package/dist/typebox-static.d.ts

@@ -0,0 +1,48 @@
+import type { Static } from "./builders.ts";
+/** The value type of a TypeBox schema type by its `'~kind'`, or its `Type.Unsafe` type; `unknown` for other kinds. */
+export type TypeBoxStatic<S> = S extends {
+    readonly "~kind": infer K;
+} ? KindStatic<S, K> : S extends {
+    readonly "~unsafe": infer T;
+} ? T : unknown;
+interface Primitives {
+    String: string;
+    Number: number;
+    Integer: number;
+    Boolean: boolean;
+    Null: null;
+    Unknown: unknown;
+    Any: any;
+}
+type KindStatic<S, K> = K extends keyof Primitives ? Primitives[K] : K extends "Literal" ? S extends {
+    readonly const: infer V;
+} ? V : unknown : K extends "Array" ? S extends {
+    readonly items: infer I;
+} ? Static<I>[] : unknown : K extends "Object" ? S extends {
+    readonly properties: infer P;
+} ? ObjectStatic<P> : unknown : K extends "Union" ? S extends {
+    readonly anyOf: readonly (infer B)[];
+} ? Static<B> : unknown : K extends "Record" ? S extends {
+    readonly patternProperties: infer P;
+} ? Record<RecordKey<keyof P>, Static<P[keyof P]>> : unknown : unknown;
+type Optional = {
+    readonly "~optional": true;
+};
+type Readonly = {
+    readonly "~readonly": true;
+};
+type ObjectStatic<P> = keyof P extends never ? object : Simplify<{
+    -readonly [K in keyof P as P[K] extends Optional | Readonly ? never : K]: Static<P[K]>;
+} & {
+    -readonly [K in keyof P as P[K] extends Optional ? (P[K] extends Readonly ? never : K) : never]?: Static<P[K]>;
+} & {
+    readonly [K in keyof P as P[K] extends Readonly ? (P[K] extends Optional ? never : K) : never]: Static<P[K]>;
+} & {
+    readonly [K in keyof P as P[K] extends Optional ? (P[K] extends Readonly ? K : never) : never]?: Static<P[K]>;
+}>;
+type Simplify<T> = {
+    [K in keyof T]: T[K];
+} & {};
+type RecordKey<Pattern> = Pattern extends "^-?(?:0|[1-9][0-9]*)$" | "^-?(?:0|[1-9][0-9]*)(?:\\.[0-9]+)?$" ? number : string;
+export {};
+//# sourceMappingURL=typebox-static.d.ts.map

package/dist/typebox-static.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typebox-static.d.ts","sourceRoot":"","sources":["../src/typebox-static.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAE5C,sHAAsH;AACtH,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;CAAE,GACnE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAChB,CAAC,SAAS;IAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAA;CAAE,GACxC,CAAC,GACD,OAAO,CAAC;AAEZ,UAAU,UAAU;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,IAAI,CAAC;IACX,OAAO,EAAE,OAAO,CAAC;IACjB,GAAG,EAAE,GAAG,CAAC;CACT;AAED,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,MAAM,UAAU,GAC/C,UAAU,CAAC,CAAC,CAAC,GACb,CAAC,SAAS,SAAS,GAClB,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;CAAE,GACpC,CAAC,GACD,OAAO,GACR,CAAC,SAAS,OAAO,GAChB,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;CAAE,GACpC,MAAM,CAAC,CAAC,CAAC,EAAE,GACX,OAAO,GACR,CAAC,SAAS,QAAQ,GACjB,CAAC,SAAS;IAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;CAAE,GACzC,YAAY,CAAC,CAAC,CAAC,GACf,OAAO,GACR,CAAC,SAAS,OAAO,GAChB,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAA;CAAE,GACjD,MAAM,CAAC,CAAC,CAAC,GACT,OAAO,GACR,CAAC,SAAS,QAAQ,GACjB,CAAC,SAAS;IAAE,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAA;CAAE,GAChD,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAC9C,OAAO,GACR,OAAO,CAAC;AAEhB,KAAK,QAAQ,GAAG;IAAE,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAA;CAAE,CAAC;AAE/C,KAAK,QAAQ,GAAG;IAAE,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAA;CAAE,CAAC;AAG/C,KAAK,YAAY,CAAC,CAAC,IAAI,MAAM,CAAC,SAAS,KAAK,GACzC,MAAM,GACN,QAAQ,CACR;IAAE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,QAAQ,GAAG,KAAK,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG;IAC5F,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,KAAK,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,MAAM,CACvG,CAAC,CAAC,CAAC,CAAC,CACJ;CACD,GAAG;IACH,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,KAAK,GAAG,CAAC,CAAC,GAAG,KAAK,GAAG,MAAM,CACrG,CAAC,CAAC,CAAC,CAAC,CACJ;CACD,GAAG;IACH,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,MAAM,CACtG,CAAC,CAAC,CAAC,CAAC,CACJ;CACD,CACD,CAAC;AAEJ,KAAK,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,EAAE,CAAC;AAGjD,KAAK,SAAS,CAAC,OAAO,IAAI,OAAO,SAAS,uBAAuB,GAAG,qCAAqC,GACtG,MAAM,GACN,MAAM,CAAC"}

package/dist/typebox-static.js

@@ -0,0 +1,5 @@
+// The static types of TypeBox-built schemas, read from the type shapes TypeBox 1.x declares (`'~kind'`, `'~optional'`,
+// `'~readonly'`, `'~unsafe'`) without importing TypeBox, so `Static` also types tool arguments of TypeBox schemas.
+// Only the common kinds are mapped; every other kind (Enum, Tuple, Intersect, Cyclic, Ref, ...) is `unknown`.
+export {};
+//# sourceMappingURL=typebox-static.js.map

package/dist/typebox-static.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typebox-static.js","sourceRoot":"","sources":["../src/typebox-static.ts"],"names":[],"mappings":"AAAA,uHAAuH;AACvH,mHAAmH;AACnH,8GAA8G","sourcesContent":["// The static types of TypeBox-built schemas, read from the type shapes TypeBox 1.x declares (`'~kind'`, `'~optional'`,\n// `'~readonly'`, `'~unsafe'`) without importing TypeBox, so `Static` also types tool arguments of TypeBox schemas.\n// Only the common kinds are mapped; every other kind (Enum, Tuple, Intersect, Cyclic, Ref, ...) is `unknown`.\n\nimport type { Static } from \"./builders.ts\";\n\n/** The value type of a TypeBox schema type by its `'~kind'`, or its `Type.Unsafe` type; `unknown` for other kinds. */\nexport type TypeBoxStatic<S> = S extends { readonly \"~kind\": infer K }\n\t? KindStatic<S, K>\n\t: S extends { readonly \"~unsafe\": infer T }\n\t\t? T\n\t\t: unknown;\n\ninterface Primitives {\n\tString: string;\n\tNumber: number;\n\tInteger: number;\n\tBoolean: boolean;\n\tNull: null;\n\tUnknown: unknown;\n\tAny: any;\n}\n\ntype KindStatic<S, K> = K extends keyof Primitives\n\t? Primitives[K]\n\t: K extends \"Literal\"\n\t\t? S extends { readonly const: infer V }\n\t\t\t? V\n\t\t\t: unknown\n\t\t: K extends \"Array\"\n\t\t\t? S extends { readonly items: infer I }\n\t\t\t\t? Static<I>[]\n\t\t\t\t: unknown\n\t\t\t: K extends \"Object\"\n\t\t\t\t? S extends { readonly properties: infer P }\n\t\t\t\t\t? ObjectStatic<P>\n\t\t\t\t\t: unknown\n\t\t\t\t: K extends \"Union\"\n\t\t\t\t\t? S extends { readonly anyOf: readonly (infer B)[] }\n\t\t\t\t\t\t? Static<B>\n\t\t\t\t\t\t: unknown\n\t\t\t\t\t: K extends \"Record\"\n\t\t\t\t\t\t? S extends { readonly patternProperties: infer P }\n\t\t\t\t\t\t\t? Record<RecordKey<keyof P>, Static<P[keyof P]>>\n\t\t\t\t\t\t\t: unknown\n\t\t\t\t\t\t: unknown;\n\ntype Optional = { readonly \"~optional\": true };\n\ntype Readonly = { readonly \"~readonly\": true };\n\n// As TypeBox: no properties is `object`; `'~optional'` properties may be omitted, `'~readonly'` ones are readonly.\ntype ObjectStatic<P> = keyof P extends never\n\t? object\n\t: Simplify<\n\t\t\t{ -readonly [K in keyof P as P[K] extends Optional | Readonly ? never : K]: Static<P[K]> } & {\n\t\t\t\t-readonly [K in keyof P as P[K] extends Optional ? (P[K] extends Readonly ? never : K) : never]?: Static<\n\t\t\t\t\tP[K]\n\t\t\t\t>;\n\t\t\t} & {\n\t\t\t\treadonly [K in keyof P as P[K] extends Readonly ? (P[K] extends Optional ? never : K) : never]: Static<\n\t\t\t\t\tP[K]\n\t\t\t\t>;\n\t\t\t} & {\n\t\t\t\treadonly [K in keyof P as P[K] extends Optional ? (P[K] extends Readonly ? K : never) : never]?: Static<\n\t\t\t\t\tP[K]\n\t\t\t\t>;\n\t\t\t}\n\t\t>;\n\ntype Simplify<T> = { [K in keyof T]: T[K] } & {};\n\n// TypeBox's key patterns for integer and number keys; every other pattern types its keys as strings.\ntype RecordKey<Pattern> = Pattern extends \"^-?(?:0|[1-9][0-9]*)$\" | \"^-?(?:0|[1-9][0-9]*)(?:\\\\.[0-9]+)?$\"\n\t? number\n\t: string;\n"]}

package/dist/types.d.ts

@@ -0,0 +1,48 @@
+/**
+ * A JSON Schema: `true`, `false` or a schema object. Schemas come from tool definitions, MCP servers and other
+ * untrusted sources, so compile() reads every keyword defensively instead of trusting a static shape.
+ */
+export type JsonSchema = boolean | object;
+/** A format check: whether `value` (a string) has the format. */
+export type FormatCheck = (value: string) => boolean;
+/** Options of compile(). */
+export interface CompileOptions {
+    /** The draft whose semantics apply: "2020-12" (default) or "7". */
+    readonly draft?: "2020-12" | "7";
+    /**
+     * Format name to check. Without it `format` is an annotation, as draft 2020-12 specifies. The standard formats are
+     * in `@earendil-works/pi-schema/formats`.
+     */
+    readonly formats?: Readonly<Record<string, FormatCheck>>;
+    /** Schema documents by URI, for `$ref`s to other documents. */
+    readonly schemas?: Readonly<Record<string, JsonSchema>>;
+    /** Add `coerce()` and `parse()` to the validator, for loosely typed input (see the README's Coercion section). */
+    readonly coerce?: boolean;
+    /**
+     * What a `$ref` that names nothing (a missing definition, a document not in `schemas`) does: `"throw"` (default)
+     * makes compile() throw; `"reject"` compiles it as `false`, so only values at that place fail, with the error
+     * "unresolved reference".
+     */
+    readonly unresolvedRefs?: "throw" | "reject";
+}
+/** The result of `parse()`: the coerced value when it is valid, else the errors of the coerced value. */
+export type ParseResult<T> = {
+    readonly ok: true;
+    readonly value: T;
+} | {
+    readonly ok: false;
+    readonly errors: ValidationError[];
+};
+/** One failure of a value: where it is (a JSON Pointer, "" for the value itself), the failing keyword and a message. */
+export interface ValidationError {
+    readonly path: string;
+    readonly keyword: string;
+    readonly message: string;
+}
+/** A schema object as compile() reads it: any keyword, of any value, checked where it is used. */
+export type SchemaObject = {
+    readonly [keyword: string]: unknown;
+};
+/** A compiled boolean check. */
+export type Check = (value: unknown) => boolean;
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAEA;;;GAGG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,MAAM,CAAC;AAE1C,iEAAiE;AACjE,MAAM,MAAM,WAAW,GAAG,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC;AAErD,4BAA4B;AAC5B,MAAM,WAAW,cAAc;IAC9B,mEAAmE;IACnE,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,GAAG,GAAG,CAAC;IACjC;;;OAGG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IACzD,+DAA+D;IAC/D,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IACxD,kHAAkH;IAClH,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B;;;;OAIG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,GAAG,QAAQ,CAAC;CAC7C;AAED,yGAAyG;AACzG,MAAM,MAAM,WAAW,CAAC,CAAC,IACtB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GACxC;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,eAAe,EAAE,CAAA;CAAE,CAAC;AAE9D,wHAAwH;AACxH,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CACzB;AAED,kGAAkG;AAClG,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAA;CAAE,CAAC;AAEnE,gCAAgC;AAChC,MAAM,MAAM,KAAK,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC"}

package/dist/types.js

@@ -0,0 +1,3 @@
+// Public types: the schema accepted by compile(), its options, and the errors a failed value produces.
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,uGAAuG","sourcesContent":["// Public types: the schema accepted by compile(), its options, and the errors a failed value produces.\n\n/**\n * A JSON Schema: `true`, `false` or a schema object. Schemas come from tool definitions, MCP servers and other\n * untrusted sources, so compile() reads every keyword defensively instead of trusting a static shape.\n */\nexport type JsonSchema = boolean | object;\n\n/** A format check: whether `value` (a string) has the format. */\nexport type FormatCheck = (value: string) => boolean;\n\n/** Options of compile(). */\nexport interface CompileOptions {\n\t/** The draft whose semantics apply: \"2020-12\" (default) or \"7\". */\n\treadonly draft?: \"2020-12\" | \"7\";\n\t/**\n\t * Format name to check. Without it `format` is an annotation, as draft 2020-12 specifies. The standard formats are\n\t * in `@earendil-works/pi-schema/formats`.\n\t */\n\treadonly formats?: Readonly<Record<string, FormatCheck>>;\n\t/** Schema documents by URI, for `$ref`s to other documents. */\n\treadonly schemas?: Readonly<Record<string, JsonSchema>>;\n\t/** Add `coerce()` and `parse()` to the validator, for loosely typed input (see the README's Coercion section). */\n\treadonly coerce?: boolean;\n\t/**\n\t * What a `$ref` that names nothing (a missing definition, a document not in `schemas`) does: `\"throw\"` (default)\n\t * makes compile() throw; `\"reject\"` compiles it as `false`, so only values at that place fail, with the error\n\t * \"unresolved reference\".\n\t */\n\treadonly unresolvedRefs?: \"throw\" | \"reject\";\n}\n\n/** The result of `parse()`: the coerced value when it is valid, else the errors of the coerced value. */\nexport type ParseResult<T> =\n\t| { readonly ok: true; readonly value: T }\n\t| { readonly ok: false; readonly errors: ValidationError[] };\n\n/** One failure of a value: where it is (a JSON Pointer, \"\" for the value itself), the failing keyword and a message. */\nexport interface ValidationError {\n\treadonly path: string;\n\treadonly keyword: string;\n\treadonly message: string;\n}\n\n/** A schema object as compile() reads it: any keyword, of any value, checked where it is used. */\nexport type SchemaObject = { readonly [keyword: string]: unknown };\n\n/** A compiled boolean check. */\nexport type Check = (value: unknown) => boolean;\n"]}

package/dist/validator.d.ts

@@ -0,0 +1,39 @@
+import type { Static } from "./builders.ts";
+import type { Check, CompileOptions, JsonSchema, ParseResult, ValidationError } from "./types.ts";
+/**
+ * Compiles `schema` into a Validator. Throws if the schema is malformed or a `$ref` names nothing (register other
+ * documents with `options.schemas`). The schema is read, never modified. With `coerce: true` the validator also
+ * coerces and parses loosely typed input.
+ */
+export declare function compile<S extends JsonSchema>(schema: S, options: CompileOptions & {
+    readonly coerce: true;
+}): CoercingValidator<Static<S>>;
+export declare function compile<S extends JsonSchema>(schema: S, options?: CompileOptions): Validator<Static<S>>;
+/** A compiled schema whose valid values have type `T` (`unknown` unless the schema was built with the builders). */
+export declare class Validator<T = unknown> {
+    /** Whether `value` is valid. A plain function: it may be passed around without its validator. */
+    readonly check: (value: unknown) => value is T;
+    protected readonly schema: JsonSchema;
+    protected readonly options: CompileOptions;
+    private explainer;
+    constructor(schema: JsonSchema, options: CompileOptions, check: Check);
+    /**
+     * Why `value` is invalid: one error per failing keyword, `[]` when it is valid. Built on the first failure and
+     * kept, so a validator whose values always pass never pays for it.
+     */
+    errors(value: unknown): ValidationError[];
+}
+/** A validator compiled with `coerce: true`: it also coerces loosely typed input towards the schema. */
+export declare class CoercingValidator<T = unknown> extends Validator<T> {
+    private coercer;
+    /**
+     * `value` coerced towards the schema: numeric strings to numbers, `"true"` to `true`, a single value to a one-item
+     * array, an optional `null` dropped, the first union branch the value converts to (the README lists every rule).
+     * Only the changed paths are copied; `value` comes back itself when nothing changes, and is never modified. Values
+     * that cannot be coerced stay as they are. The rules are built on the first call.
+     */
+    coerce(value: unknown): unknown;
+    /** Coerces `value`, then checks it: the coerced value when it is valid, else its errors. */
+    parse(value: unknown): ParseResult<T>;
+}
+//# sourceMappingURL=validator.d.ts.map

package/dist/validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../src/validator.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAI5C,OAAO,KAAK,EAAE,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElG;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,CAAC,SAAS,UAAU,EAC3C,MAAM,EAAE,CAAC,EACT,OAAO,EAAE,cAAc,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAA;CAAE,GACjD,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAChC,wBAAgB,OAAO,CAAC,CAAC,SAAS,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,cAAc,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAazG,oHAAoH;AACpH,qBAAa,SAAS,CAAC,CAAC,GAAG,OAAO;IACjC,iGAAiG;IACjG,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC;IAC/C,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IACtC,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IAC3C,OAAO,CAAC,SAAS,CAAoC;IAErD,YAAY,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,EAKpE;IAED;;;OAGG;IACH,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,eAAe,EAAE,CAIxC;CACD;AAED,wGAAwG;AACxG,qBAAa,iBAAiB,CAAC,CAAC,GAAG,OAAO,CAAE,SAAQ,SAAS,CAAC,CAAC,CAAC;IAC/D,OAAO,CAAC,OAAO,CAAkC;IAEjD;;;;;OAKG;IACH,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAG9B;IAED,4FAA4F;IAC5F,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAGpC;CACD"}

package/dist/validator.js

@@ -0,0 +1,71 @@
+// compile(): a schema to a Validator, whose `check` is the fast boolean path and whose `errors` explains failures.
+import { Coercer } from "./coerce.js";
+import { Compiler, RESTART } from "./compiler.js";
+import { Explainer } from "./explain.js";
+export function compile(schema, options = NO_OPTIONS) {
+    const check = compileCheck(schema, options);
+    return options.coerce === true
+        ? new CoercingValidator(schema, options, check)
+        : new Validator(schema, options, check);
+}
+const NO_OPTIONS = Object.freeze({});
+/** A compiled schema whose valid values have type `T` (`unknown` unless the schema was built with the builders). */
+export class Validator {
+    /** Whether `value` is valid. A plain function: it may be passed around without its validator. */
+    check;
+    schema;
+    options;
+    explainer = undefined;
+    constructor(schema, options, check) {
+        // A compiled check is exactly the test that a value has the schema's static type.
+        this.check = check;
+        this.schema = schema;
+        this.options = options;
+    }
+    /**
+     * Why `value` is invalid: one error per failing keyword, `[]` when it is valid. Built on the first failure and
+     * kept, so a validator whose values always pass never pays for it.
+     */
+    errors(value) {
+        if (this.check(value))
+            return [];
+        this.explainer ??= new Explainer(compiler(this.schema, this.options), this.schema);
+        return this.explainer.errors(value);
+    }
+}
+/** A validator compiled with `coerce: true`: it also coerces loosely typed input towards the schema. */
+export class CoercingValidator extends Validator {
+    coercer = undefined;
+    /**
+     * `value` coerced towards the schema: numeric strings to numbers, `"true"` to `true`, a single value to a one-item
+     * array, an optional `null` dropped, the first union branch the value converts to (the README lists every rule).
+     * Only the changed paths are copied; `value` comes back itself when nothing changes, and is never modified. Values
+     * that cannot be coerced stay as they are. The rules are built on the first call.
+     */
+    coerce(value) {
+        this.coercer ??= new Coercer(compiler(this.schema, this.options), this.schema);
+        return this.coercer.coerce(value);
+    }
+    /** Coerces `value`, then checks it: the coerced value when it is valid, else its errors. */
+    parse(value) {
+        const coerced = this.coerce(value);
+        return this.check(coerced) ? { ok: true, value: coerced } : { ok: false, errors: this.errors(coerced) };
+    }
+}
+function compileCheck(schema, options) {
+    return compiler(schema, options).root();
+}
+// Most schemas compile without tracking the dynamic scope; one with a bookended $dynamicRef compiles again with it.
+function compiler(schema, options) {
+    const plain = new Compiler(schema, options, false);
+    try {
+        plain.root();
+        return plain;
+    }
+    catch (error) {
+        if (error !== RESTART)
+            throw error;
+        return new Compiler(schema, options, true);
+    }
+}
+//# sourceMappingURL=validator.js.map

package/dist/validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.js","sourceRoot":"","sources":["../src/validator.ts"],"names":[],"mappings":"AAAA,mHAAmH;AAGnH,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAazC,MAAM,UAAU,OAAO,CACtB,MAAS,EACT,OAAO,GAAmB,UAAU;IAEpC,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC5C,OAAO,OAAO,CAAC,MAAM,KAAK,IAAI;QAC7B,CAAC,CAAC,IAAI,iBAAiB,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC;QAC/C,CAAC,CAAC,IAAI,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,GAAmB,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAErD,oHAAoH;AACpH,MAAM,OAAO,SAAS;IACrB,iGAAiG;IACxF,KAAK,CAAiC;IAC5B,MAAM,CAAa;IACnB,OAAO,CAAiB;IACnC,SAAS,GAA0B,SAAS,CAAC;IAErD,YAAY,MAAkB,EAAE,OAAuB,EAAE,KAAY;QACpE,kFAAkF;QAClF,IAAI,CAAC,KAAK,GAAG,KAAuC,CAAC;QACrD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACxB,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,KAAc;QACpB,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACjC,IAAI,CAAC,SAAS,KAAK,IAAI,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACnF,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC;CACD;AAED,wGAAwG;AACxG,MAAM,OAAO,iBAA+B,SAAQ,SAAY;IACvD,OAAO,GAAwB,SAAS,CAAC;IAEjD;;;;;OAKG;IACH,MAAM,CAAC,KAAc;QACpB,IAAI,CAAC,OAAO,KAAK,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/E,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC;IAED,4FAA4F;IAC5F,KAAK,CAAC,KAAc;QACnB,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;IACzG,CAAC;CACD;AAED,SAAS,YAAY,CAAC,MAAkB,EAAE,OAAuB;IAChE,OAAO,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;AACzC,CAAC;AAED,oHAAoH;AACpH,SAAS,QAAQ,CAAC,MAAkB,EAAE,OAAuB;IAC5D,MAAM,KAAK,GAAG,IAAI,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACnD,IAAI,CAAC;QACJ,KAAK,CAAC,IAAI,EAAE,CAAC;QACb,OAAO,KAAK,CAAC;IACd,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,IAAI,KAAK,KAAK,OAAO;YAAE,MAAM,KAAK,CAAC;QACnC,OAAO,IAAI,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IAC5C,CAAC;AACF,CAAC","sourcesContent":["// compile(): a schema to a Validator, whose `check` is the fast boolean path and whose `errors` explains failures.\n\nimport type { Static } from \"./builders.ts\";\nimport { Coercer } from \"./coerce.ts\";\nimport { Compiler, RESTART } from \"./compiler.ts\";\nimport { Explainer } from \"./explain.ts\";\nimport type { Check, CompileOptions, JsonSchema, ParseResult, ValidationError } from \"./types.ts\";\n\n/**\n * Compiles `schema` into a Validator. Throws if the schema is malformed or a `$ref` names nothing (register other\n * documents with `options.schemas`). The schema is read, never modified. With `coerce: true` the validator also\n * coerces and parses loosely typed input.\n */\nexport function compile<S extends JsonSchema>(\n\tschema: S,\n\toptions: CompileOptions & { readonly coerce: true },\n): CoercingValidator<Static<S>>;\nexport function compile<S extends JsonSchema>(schema: S, options?: CompileOptions): Validator<Static<S>>;\nexport function compile<S extends JsonSchema>(\n\tschema: S,\n\toptions: CompileOptions = NO_OPTIONS,\n): Validator<Static<S>> | CoercingValidator<Static<S>> {\n\tconst check = compileCheck(schema, options);\n\treturn options.coerce === true\n\t\t? new CoercingValidator(schema, options, check)\n\t\t: new Validator(schema, options, check);\n}\n\nconst NO_OPTIONS: CompileOptions = Object.freeze({});\n\n/** A compiled schema whose valid values have type `T` (`unknown` unless the schema was built with the builders). */\nexport class Validator<T = unknown> {\n\t/** Whether `value` is valid. A plain function: it may be passed around without its validator. */\n\treadonly check: (value: unknown) => value is T;\n\tprotected readonly schema: JsonSchema;\n\tprotected readonly options: CompileOptions;\n\tprivate explainer: Explainer | undefined = undefined;\n\n\tconstructor(schema: JsonSchema, options: CompileOptions, check: Check) {\n\t\t// A compiled check is exactly the test that a value has the schema's static type.\n\t\tthis.check = check as (value: unknown) => value is T;\n\t\tthis.schema = schema;\n\t\tthis.options = options;\n\t}\n\n\t/**\n\t * Why `value` is invalid: one error per failing keyword, `[]` when it is valid. Built on the first failure and\n\t * kept, so a validator whose values always pass never pays for it.\n\t */\n\terrors(value: unknown): ValidationError[] {\n\t\tif (this.check(value)) return [];\n\t\tthis.explainer ??= new Explainer(compiler(this.schema, this.options), this.schema);\n\t\treturn this.explainer.errors(value);\n\t}\n}\n\n/** A validator compiled with `coerce: true`: it also coerces loosely typed input towards the schema. */\nexport class CoercingValidator<T = unknown> extends Validator<T> {\n\tprivate coercer: Coercer | undefined = undefined;\n\n\t/**\n\t * `value` coerced towards the schema: numeric strings to numbers, `\"true\"` to `true`, a single value to a one-item\n\t * array, an optional `null` dropped, the first union branch the value converts to (the README lists every rule).\n\t * Only the changed paths are copied; `value` comes back itself when nothing changes, and is never modified. Values\n\t * that cannot be coerced stay as they are. The rules are built on the first call.\n\t */\n\tcoerce(value: unknown): unknown {\n\t\tthis.coercer ??= new Coercer(compiler(this.schema, this.options), this.schema);\n\t\treturn this.coercer.coerce(value);\n\t}\n\n\t/** Coerces `value`, then checks it: the coerced value when it is valid, else its errors. */\n\tparse(value: unknown): ParseResult<T> {\n\t\tconst coerced = this.coerce(value);\n\t\treturn this.check(coerced) ? { ok: true, value: coerced } : { ok: false, errors: this.errors(coerced) };\n\t}\n}\n\nfunction compileCheck(schema: JsonSchema, options: CompileOptions): Check {\n\treturn compiler(schema, options).root();\n}\n\n// Most schemas compile without tracking the dynamic scope; one with a bookended $dynamicRef compiles again with it.\nfunction compiler(schema: JsonSchema, options: CompileOptions): Compiler {\n\tconst plain = new Compiler(schema, options, false);\n\ttry {\n\t\tplain.root();\n\t\treturn plain;\n\t} catch (error) {\n\t\tif (error !== RESTART) throw error;\n\t\treturn new Compiler(schema, options, true);\n\t}\n}\n"]}