@json-schema-engine/core 0.0.1

package/dist/json.js

@@ -0,0 +1,128 @@
+// JSON utilities. Discipline notes carried over from the F2 prototype
+// (DESIGN.md §5): Object.hasOwn everywhere an instance or schema key is
+// tested (`__proto__`/`toString`/`constructor` are legal property names);
+// regex compiled in unicode mode with fallback; length in code points.
+/** True for JSON objects, excluding arrays and `null`. */
+export const isObject = (v) => typeof v === "object" && v !== null && !Array.isArray(v);
+/**
+ * The primitive type of an instance value. `"integer"` is a numeric subtype
+ * handled by the `type` keyword and is never returned here.
+ */
+export function jsonTypeOf(v) {
+    if (v === null)
+        return "null";
+    if (Array.isArray(v))
+        return "array";
+    switch (typeof v) {
+        case "boolean":
+            return "boolean";
+        case "number":
+            return "number";
+        case "string":
+            return "string";
+        default:
+            return "object";
+    }
+}
+/**
+ * JSON equality per the spec: same type and value, object member order
+ * insignificant.
+ */
+export function jsonEqual(a, b) {
+    if (a === b)
+        return true;
+    if (Array.isArray(a)) {
+        if (!Array.isArray(b) || a.length !== b.length)
+            return false;
+        for (let i = 0; i < a.length; i++) {
+            if (!jsonEqual(a[i], b[i]))
+                return false;
+        }
+        return true;
+    }
+    if (isObject(a)) {
+        if (!isObject(b))
+            return false;
+        const keys = Object.keys(a);
+        if (keys.length !== Object.keys(b).length)
+            return false;
+        for (const k of keys) {
+            if (!Object.hasOwn(b, k) || !jsonEqual(a[k], b[k]))
+                return false;
+        }
+        return true;
+    }
+    return false;
+}
+/**
+ * A canonical string key for JSON equality: two values share a key exactly
+ * when {@link jsonEqual} holds (object member order made insignificant by
+ * sorting keys). Used to bucket values for near-linear duplicate detection;
+ * callers confirm bucket collisions with {@link jsonEqual} since distinct
+ * values could, in principle, collide on the key.
+ */
+export function canonicalKey(value) {
+    if (value === null || typeof value !== "object")
+        return JSON.stringify(value);
+    if (Array.isArray(value))
+        return `[${value.map(canonicalKey).join(",")}]`;
+    const keys = Object.keys(value).sort();
+    return `{${keys.map((k) => `${JSON.stringify(k)}:${canonicalKey(value[k])}`).join(",")}}`;
+}
+/** String length in Unicode code points, per `minLength`/`maxLength`. */
+export function codePointLength(s) {
+    let n = 0;
+    for (let i = 0; i < s.length; i++) {
+        n++;
+        const c = s.charCodeAt(i);
+        if (c >= 0xd800 && c <= 0xdbff)
+            i++;
+    }
+    return n;
+}
+/**
+ * Compiles an ECMA-262 regex in unicode mode where possible (required for
+ * `\p{...}` property escapes), falling back for patterns invalid under the
+ * `u` flag.
+ */
+export function schemaRegExp(pattern) {
+    try {
+        return new RegExp(pattern, "u");
+    }
+    catch {
+        return new RegExp(pattern);
+    }
+}
+/** Escapes a JSON Pointer segment (RFC 6901). */
+export const escapeSegment = (s) => s.replace(/~/g, "~0").replace(/\//g, "~1");
+/** Unescapes a JSON Pointer segment (RFC 6901). */
+export const unescapeSegment = (s) => s.replace(/~1/g, "/").replace(/~0/g, "~");
+/**
+ * The first jsonEqual-duplicate pair in `items` (by ascending index), or
+ * `null` when every item is distinct — `uniqueItems`' predicate, shared by
+ * both tiers. Buckets by {@link canonicalKey} for near-linear detection; a
+ * key collision is confirmed with {@link jsonEqual} so distinct values that
+ * happen to share a key are never misreported as duplicates.
+ */
+export function firstDuplicatePair(items) {
+    const seen = new Map();
+    for (let i = 0; i < items.length; i++) {
+        const key = canonicalKey(items[i]);
+        const bucket = seen.get(key);
+        if (bucket === undefined) {
+            seen.set(key, [i]);
+            continue;
+        }
+        for (const j of bucket) {
+            if (jsonEqual(items[j], items[i]))
+                return [j, i];
+        }
+        bucket.push(i);
+    }
+    return null;
+}
+/** True when `items` contains any jsonEqual-duplicate pair (`uniqueItems`'s compiled-tier predicate). */
+export function hasDuplicateItems(items) {
+    return firstDuplicatePair(items) !== null;
+}
+//# sourceMappingURL=json.js.map

package/dist/json.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"json.js","sourceRoot":"","sources":["../src/json.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,wEAAwE;AACxE,0EAA0E;AAC1E,uEAAuE;AAUvE,0DAA0D;AAC1D,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAkC,EAAE,CACrE,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAE3D;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,CAAY;IACrC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,OAAO,CAAC;IACrC,QAAQ,OAAO,CAAC,EAAE,CAAC;QACjB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB;YACE,OAAO,QAAQ,CAAC;IACpB,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,CAAY,EAAE,CAAY;IAClD,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC;gBAAE,OAAO,KAAK,CAAC;QAC7C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QAChB,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QACxD,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC;gBAAE,OAAO,KAAK,CAAC;QACrE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,KAAgB;IAC3C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9E,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAC1E,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IACvC,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAC7F,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,eAAe,CAAC,CAAS;IACvC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,CAAC,EAAE,CAAC;QACJ,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,MAAM;YAAE,CAAC,EAAE,CAAC;IACtC,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,OAAe;IAC1C,IAAI,CAAC;QACH,OAAO,IAAI,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;AACH,CAAC;AAED,iDAAiD;AACjD,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAS,EAAU,EAAE,CACjD,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AAE7C,mDAAmD;AACnD,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAS,EAAU,EAAE,CACnD,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAE5C;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAA2B;IAE3B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAoB,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACnB,SAAS;QACX,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC;gBAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrD,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,yGAAyG;AACzG,MAAM,UAAU,iBAAiB,CAAC,KAA2B;IAC3D,OAAO,kBAAkB,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;AAC5C,CAAC"}

package/dist/keywords/applicator.d.ts

@@ -0,0 +1,57 @@
+import { KeywordBehavior } from "../dialect.js";
+/** 2020-12 applicator vocabulary URI. */
+export declare const VOCAB_APPLICATOR = "https://json-schema.org/draft/2020-12/vocab/applicator";
+/** `allOf`: every subschema must match, at the same cursor. */
+export declare const allOf: KeywordBehavior;
+/** EXEMPLAR (in-place applicator class): every branch runs, even after a match (DESIGN.md §4 rule 6; see engine.ts). */
+export declare const anyOf: KeywordBehavior;
+/** `oneOf`: exactly one subschema must match, at the same cursor. */
+export declare const oneOf: KeywordBehavior;
+/** `not`: the subschema must not match. */
+export declare const not: KeywordBehavior;
+/**
+ * `if`: applies its subschema and communicates the outcome to `then`/`else`
+ * as dependency data (draft-03 Appendix D); the keyword itself always
+ * accepts, so a rejecting condition's errors are irrelevant (§12.2). The
+ * compiled form realizes the dependency structurally — the hoisted condition
+ * selects the sibling apply — so `then`/`else` lower nothing and the planner
+ * edges for both branches are declared here.
+ */
+export declare const ifKeyword: KeywordBehavior;
+/**
+ * `then` / `else`: consume `if`'s outcome; the selected branch applies its
+ * subschema and reports that verdict as its own, the other is inert. Without
+ * a sibling `if` there is no outcome and the keyword accepts.
+ */
+export declare const conditionalBranch: (branchId: string, name: "then" | "else", when: boolean) => KeywordBehavior;
+export declare const thenKeyword: KeywordBehavior;
+export declare const elseKeyword: KeywordBehavior;
+/** `dependentSchemas`: applies a named subschema when the property is present. */
+export declare const dependentSchemas: KeywordBehavior;
+/** EXEMPLAR (child applicator class): child cursors, produces the matched property names. */
+export declare const properties: KeywordBehavior;
+/** `patternProperties`: applies to properties whose name matches a pattern; produces the matched names. */
+export declare const patternProperties: KeywordBehavior;
+/**
+ * `additionalProperties`: applies to properties not matched by sibling
+ * `properties`/`patternProperties` — statically derivable from the schema
+ * object, no channel involvement (contrast `unevaluatedProperties`).
+ */
+export declare const additionalProperties: KeywordBehavior;
+/** `prefixItems`: applies each subschema to the array item at its index; produces the largest applied index. */
+export declare const prefixItems: KeywordBehavior;
+/** `items`: applies to array items past sibling `prefixItems`; produces `true` when it applied to any item. */
+export declare const items: KeywordBehavior;
+/**
+ * `contains`: at least one array item must match (range configurable by
+ * sibling `minContains`/`maxContains`); produces matched indexes.
+ */
+export declare const contains: KeywordBehavior;
+/**
+ * `propertyNames`: applies the subschema to each property name (as a string
+ * instance), not to the object itself.
+ */
+export declare const propertyNames: KeywordBehavior;
+/** The 2020-12 applicator vocabulary's keyword behaviors, by name. */
+export declare const applicatorVocabulary: Record<string, KeywordBehavior>;
+//# sourceMappingURL=applicator.d.ts.map

package/dist/keywords/applicator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"applicator.d.ts","sourceRoot":"","sources":["../../src/keywords/applicator.ts"],"names":[],"mappings":"AAQA,OAAO,EACL,eAAe,EAGhB,MAAM,eAAe,CAAC;AAKvB,yCAAyC;AACzC,eAAO,MAAM,gBAAgB,2DAC6B,CAAC;AA2B3D,+DAA+D;AAC/D,eAAO,MAAM,KAAK,EAAE,eAkBnB,CAAC;AAEF,wHAAwH;AACxH,eAAO,MAAM,KAAK,EAAE,eAgCnB,CAAC;AAEF,qEAAqE;AACrE,eAAO,MAAM,KAAK,EAAE,eA0CnB,CAAC;AAEF,2CAA2C;AAC3C,eAAO,MAAM,GAAG,EAAE,eAgCjB,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,SAAS,EAAE,eAgEvB,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAC5B,UAAU,MAAM,EAChB,MAAM,MAAM,GAAG,MAAM,EACrB,MAAM,OAAO,KACZ,eAWD,CAAC;AAEH,eAAO,MAAM,WAAW,EAAE,eAIzB,CAAC;AACF,eAAO,MAAM,WAAW,EAAE,eAIzB,CAAC;AAEF,kFAAkF;AAClF,eAAO,MAAM,gBAAgB,EAAE,eA6C9B,CAAC;AAEF,6FAA6F;AAC7F,eAAO,MAAM,UAAU,EAAE,eAqExB,CAAC;AAEF,2GAA2G;AAC3G,eAAO,MAAM,iBAAiB,EAAE,eAoF/B,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,EAAE,eAwFlC,CAAC;AAEF,gHAAgH;AAChH,eAAO,MAAM,WAAW,EAAE,eAuEzB,CAAC;AAEF,+GAA+G;AAC/G,eAAO,MAAM,KAAK,EAAE,eAiEnB,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE,eA6FtB,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,aAAa,EAAE,eAuC3B,CAAC;AAEF,sEAAsE;AACtE,eAAO,MAAM,oBAAoB,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAgBhE,CAAC"}