@json-schema-engine/dialect-draft04 0.0.1

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Henry Andrews
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,47 @@
+# @json-schema-engine/dialect-draft04
+
+JSON Schema draft-04 dialect for `@json-schema-engine/core`, assembled entirely through core's public dialect-authoring surface. draft-04's syntax differs from every later draft — `id` instead of `$id`, boolean `exclusiveMinimum`/`exclusiveMaximum` modifying sibling bounds, no `const`, `contains`, `propertyNames`, or `if`/`then`/`else` — so it ships separately rather than in core. Add this package when you need to validate draft-04 documents; they can coexist with every other draft in the same registry, including `$ref`s across the dialect boundary. Needs `@json-schema-engine/core` installed alongside.
+
+## Install
+
+```sh
+npm install @json-schema-engine/dialect-draft04 @json-schema-engine/core
+```
+
+## Example
+
+```ts
+import assert from "node:assert";
+import { createEngine } from "@json-schema-engine/core";
+import { registerDraft04 } from "@json-schema-engine/dialect-draft04";
+
+const engine = createEngine();
+registerDraft04(engine);
+
+const uri = engine.registerSchema(
+  {
+    $schema: "http://json-schema.org/draft-04/schema#",
+    minimum: 5,
+    exclusiveMinimum: true, // draft-04: a boolean modifying `minimum`
+  },
+  "https://example.com/draft-04",
+);
+
+assert.equal(engine.evaluate(uri, 5).valid, false);
+assert.equal(engine.evaluate(uri, 6).valid, true);
+```
+
+## Status
+
+Version 0.0.1 is published for initial public feedback on both the functionality and the documentation. APIs may change before 1.0. [STATUS.md](https://github.com/handrews/json-schema-engine/blob/main/STATUS.md) is the authoritative statement of what is built and what is staged.
+
+## Documentation
+
+- [User guide](https://github.com/handrews/json-schema-engine/blob/main/docs/guide/index.md)
+- [Dialects](https://github.com/handrews/json-schema-engine/blob/main/docs/guide/dialects.md)
+- [Conformance](https://github.com/handrews/json-schema-engine/blob/main/docs/conformance.md)
+- [Repository](https://github.com/handrews/json-schema-engine)
+
+## License
+
+MIT

package/dist/index.d.ts

@@ -0,0 +1,24 @@
+import { Engine, IdentifierExtractor } from "@json-schema-engine/core";
+/** draft-04 dialect URI. */
+export declare const DIALECT_DRAFT_04 = "http://json-schema.org/draft-04/schema";
+/**
+ * draft-04 vocabulary identity (registry-internal; draft-04 predates
+ * `$vocabulary`, so this URI is never a spec-meaningful vocabulary document).
+ */
+export declare const VOCAB_DRAFT_04 = "urn:jse:vocab:draft-04";
+/**
+ * Identifier syntax for the draft-04 dialect: the keyword is `id` (no `$`);
+ * a schema object containing `$ref` has no identifiers at all, and a
+ * plain-fragment `id` is an anchor rather than a base change — the same
+ * legacy rules as draft-07/06's `$id` (see core's identifiersLegacy).
+ */
+export declare const identifiersDraft04: IdentifierExtractor;
+/**
+ * Registers the draft-04 vocabulary, dialect, and metaschema on an engine.
+ * Safe to call more than once per engine. Documents declaring
+ * `$schema: "http://json-schema.org/draft-04/schema#"` (or registered with
+ * that dialect URI) evaluate with draft-04 semantics afterwards, alongside
+ * every natively supported draft in the same registry.
+ */
+export declare function registerDraft04(engine: Engine): void;
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAWA,OAAO,EACL,MAAM,EACN,mBAAmB,EAKpB,MAAM,0BAA0B,CAAC;AAGlC,4BAA4B;AAC5B,eAAO,MAAM,gBAAgB,2CAA2C,CAAC;AAEzE;;;GAGG;AACH,eAAO,MAAM,cAAc,2BAA2B,CAAC;AAIvD;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,EAAE,mBAQhC,CAAC;AAyJF;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAUpD"}

package/dist/index.js

@@ -0,0 +1,191 @@
+// JSON Schema draft-04 dialect (DESIGN.md M10, D11, D18), assembled entirely
+// through @json-schema-engine/core's public surface — this package is the reference for
+// third-party dialect authoring. Keywords draft-04 shares with draft-07 are
+// harvested as behavior objects from the engine's registered draft-07
+// dialect: behaviors are stateless shared values (draft-06 already reuses
+// draft-07's objects the same way), harvesting `format` picks up the
+// engine's formats/assertFormats configuration, and compiler lowerings
+// added to the shared behaviors (M6.6) will apply here without changes.
+// Only the keywords whose draft-04 semantics genuinely differ are defined
+// below.
+import { DIALECT_DRAFT_07, lowerIR, } from "@json-schema-engine/core";
+import { METASCHEMAS_DRAFT_04 } from "./metaschema4.js";
+/** draft-04 dialect URI. */
+export const DIALECT_DRAFT_04 = "http://json-schema.org/draft-04/schema";
+/**
+ * draft-04 vocabulary identity (registry-internal; draft-04 predates
+ * `$vocabulary`, so this URI is never a spec-meaningful vocabulary document).
+ */
+export const VOCAB_DRAFT_04 = "urn:jse:vocab:draft-04";
+const id04 = (name) => `${VOCAB_DRAFT_04}#${name}`;
+/**
+ * Identifier syntax for the draft-04 dialect: the keyword is `id` (no `$`);
+ * a schema object containing `$ref` has no identifiers at all, and a
+ * plain-fragment `id` is an anchor rather than a base change — the same
+ * legacy rules as draft-07/06's `$id` (see core's identifiersLegacy).
+ */
+export const identifiersDraft04 = (node) => {
+    if (Object.hasOwn(node, "$ref"))
+        return {};
+    const id = node.id;
+    if (typeof id !== "string")
+        return {};
+    if (id.startsWith("#")) {
+        return id.length > 1 ? { anchors: [id.slice(1)] } : {};
+    }
+    return { baseId: id };
+};
+/**
+ * Identifier/reserved keywords: no evaluation behavior, no annotation, and
+ * an empty lower() — the planner's capability check requires the function
+ * to exist, and an inert keyword's compiled contribution is legitimately
+ * nothing.
+ */
+const structural = (name) => ({
+    id: id04(name),
+    analyze: () => ({ produces: [] }),
+    evaluate: () => true,
+    lower: () => undefined,
+});
+// draft-04's exclusiveMinimum/exclusiveMaximum are boolean modifiers on
+// sibling minimum/maximum, not standalone assertions — so minimum/maximum
+// read the sibling through ctx.schema (the same sibling-read pattern as
+// 2020-12's contains with minContains) and the booleans themselves assert
+// nothing. Params stay { limit } per the shared bounds-keyword shape (D13);
+// exclusivity is recoverable from the schema itself.
+// lower(): the exclusive/inclusive choice is plan-time data (the sibling
+// boolean lives on lctx.schema, same sibling-read pattern as core's
+// additionalItems reading lctx.schema.items) — so the comparison operator
+// and message are picked once at lowering time rather than branching at
+// runtime. Guard/compare/fail shape mirrors core's guardedCompare exemplar
+// for 2020-12 minimum/maximum (validation.ts).
+const minimum = {
+    id: id04("minimum"),
+    evaluate: (value, cursor, ctx) => {
+        const instance = cursor.value;
+        if (typeof instance !== "number")
+            return true;
+        const limit = value;
+        if (ctx.schema.exclusiveMinimum === true) {
+            if (instance > limit)
+                return true;
+            ctx.error(`must be > ${limit}`, { limit });
+            return false;
+        }
+        if (instance >= limit)
+            return true;
+        ctx.error(`must be >= ${limit}`, { limit });
+        return false;
+    },
+    lower: (value, lctx) => {
+        const exclusive = lctx.schema.exclusiveMinimum === true;
+        const op = exclusive ? ">" : ">=";
+        const message = exclusive
+            ? `must be > ${value}`
+            : `must be >= ${value}`;
+        lctx.emit(lowerIR.when(lowerIR.and(lowerIR.typeIs(lctx.instance, "number"), lowerIR.not(lowerIR.cmp(op, lctx.instance, lowerIR.constant(value)))), [lowerIR.failWith({ limit: lowerIR.constant(value) }, message)]));
+    },
+};
+const maximum = {
+    id: id04("maximum"),
+    evaluate: (value, cursor, ctx) => {
+        const instance = cursor.value;
+        if (typeof instance !== "number")
+            return true;
+        const limit = value;
+        if (ctx.schema.exclusiveMaximum === true) {
+            if (instance < limit)
+                return true;
+            ctx.error(`must be < ${limit}`, { limit });
+            return false;
+        }
+        if (instance <= limit)
+            return true;
+        ctx.error(`must be <= ${limit}`, { limit });
+        return false;
+    },
+    lower: (value, lctx) => {
+        const exclusive = lctx.schema.exclusiveMaximum === true;
+        const op = exclusive ? "<" : "<=";
+        const message = exclusive
+            ? `must be < ${value}`
+            : `must be <= ${value}`;
+        lctx.emit(lowerIR.when(lowerIR.and(lowerIR.typeIs(lctx.instance, "number"), lowerIR.not(lowerIR.cmp(op, lctx.instance, lowerIR.constant(value)))), [lowerIR.failWith({ limit: lowerIR.constant(value) }, message)]));
+    },
+};
+// Keywords draft-04 shares with draft-07, harvested from the engine's
+// draft-07 dialect. Absent by omission: $id, $comment, if/then/else,
+// propertyNames, contains, const, readOnly/writeOnly/examples, and the
+// content keywords — none exist in draft-04, and the numeric 2020-12
+// exclusiveMinimum/exclusiveMaximum are replaced by the boolean forms above.
+// `type` is shared deliberately: draft-04's stricter integer (1.0 is not an
+// integer) is unrepresentable after JSON.parse — the suite itself makes it
+// optional (zeroTerminatedFloats.json) for exactly this reason.
+const HARVESTED = [
+    "$ref",
+    "$schema",
+    "definitions",
+    "title",
+    "description",
+    "default",
+    "format",
+    "allOf",
+    "anyOf",
+    "oneOf",
+    "not",
+    "dependencies",
+    "properties",
+    "patternProperties",
+    "additionalProperties",
+    "items",
+    "additionalItems",
+    "type",
+    "enum",
+    "required",
+    "pattern",
+    "multipleOf",
+    "maxLength",
+    "minLength",
+    "maxItems",
+    "minItems",
+    "uniqueItems",
+    "maxProperties",
+    "minProperties",
+];
+function draft04Vocabulary(engine) {
+    const draft07 = engine.dialects.getDialect(DIALECT_DRAFT_07);
+    const vocabulary = {};
+    for (const name of HARVESTED) {
+        const entry = draft07.keywords.get(name);
+        if (!entry) {
+            throw new Error(`draft-07 dialect is missing '${name}' — cannot assemble draft-04`);
+        }
+        vocabulary[name] = entry.behavior;
+    }
+    vocabulary.id = structural("id");
+    vocabulary.minimum = minimum;
+    vocabulary.maximum = maximum;
+    vocabulary.exclusiveMinimum = structural("exclusiveMinimum");
+    vocabulary.exclusiveMaximum = structural("exclusiveMaximum");
+    return vocabulary;
+}
+/**
+ * Registers the draft-04 vocabulary, dialect, and metaschema on an engine.
+ * Safe to call more than once per engine. Documents declaring
+ * `$schema: "http://json-schema.org/draft-04/schema#"` (or registered with
+ * that dialect URI) evaluate with draft-04 semantics afterwards, alongside
+ * every natively supported draft in the same registry.
+ */
+export function registerDraft04(engine) {
+    if (engine.dialects.hasDialect(DIALECT_DRAFT_04))
+        return;
+    engine.registerVocabulary(VOCAB_DRAFT_04, draft04Vocabulary(engine));
+    engine.registerDialect(DIALECT_DRAFT_04, [VOCAB_DRAFT_04], {
+        identifiers: identifiersDraft04,
+        refIgnoresSiblings: true,
+    });
+    for (const [uri, doc] of METASCHEMAS_DRAFT_04) {
+        engine.registerSchema(doc, uri);
+    }
+}
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,wFAAwF;AACxF,4EAA4E;AAC5E,sEAAsE;AACtE,0EAA0E;AAC1E,qEAAqE;AACrE,uEAAuE;AACvE,wEAAwE;AACxE,0EAA0E;AAC1E,SAAS;AAET,OAAO,EAIL,gBAAgB,EAChB,OAAO,GAER,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAExD,4BAA4B;AAC5B,MAAM,CAAC,MAAM,gBAAgB,GAAG,wCAAwC,CAAC;AAEzE;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,wBAAwB,CAAC;AAEvD,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,GAAG,cAAc,IAAI,IAAI,EAAE,CAAC;AAEnE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAwB,CAAC,IAAI,EAAE,EAAE;IAC9D,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3C,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;IACnB,IAAI,OAAO,EAAE,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IACtC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACzD,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;AACxB,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,GAAG,CAAC,IAAY,EAAmB,EAAE,CAAC,CAAC;IACrD,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC;IACd,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACjC,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI;IACpB,KAAK,EAAE,GAAG,EAAE,CAAC,SAAS;CACvB,CAAC,CAAC;AAEH,wEAAwE;AACxE,0EAA0E;AAC1E,wEAAwE;AACxE,0EAA0E;AAC1E,4EAA4E;AAC5E,qDAAqD;AACrD,yEAAyE;AACzE,oEAAoE;AACpE,0EAA0E;AAC1E,wEAAwE;AACxE,2EAA2E;AAC3E,+CAA+C;AAC/C,MAAM,OAAO,GAAoB;IAC/B,EAAE,EAAE,IAAI,CAAC,SAAS,CAAC;IACnB,QAAQ,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE;QAC/B,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC;QAC9B,IAAI,OAAO,QAAQ,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC9C,MAAM,KAAK,GAAG,KAAe,CAAC;QAC9B,IAAI,GAAG,CAAC,MAAM,CAAC,gBAAgB,KAAK,IAAI,EAAE,CAAC;YACzC,IAAI,QAAQ,GAAG,KAAK;gBAAE,OAAO,IAAI,CAAC;YAClC,GAAG,CAAC,KAAK,CAAC,aAAa,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;YAC3C,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,QAAQ,IAAI,KAAK;YAAE,OAAO,IAAI,CAAC;QACnC,GAAG,CAAC,KAAK,CAAC,cAAc,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QAC5C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,EAAE,CAAC,KAAK,EAAE,IAAqB,EAAE,EAAE;QACtC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,gBAAgB,KAAK,IAAI,CAAC;QACxD,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;QAClC,MAAM,OAAO,GAAG,SAAS;YACvB,CAAC,CAAC,aAAa,KAAe,EAAE;YAChC,CAAC,CAAC,cAAc,KAAe,EAAE,CAAC;QACpC,IAAI,CAAC,IAAI,CACP,OAAO,CAAC,IAAI,CACV,OAAO,CAAC,GAAG,CACT,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,EACvC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CACrE,EACD,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAChE,CACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,OAAO,GAAoB;IAC/B,EAAE,EAAE,IAAI,CAAC,SAAS,CAAC;IACnB,QAAQ,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE;QAC/B,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC;QAC9B,IAAI,OAAO,QAAQ,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC9C,MAAM,KAAK,GAAG,KAAe,CAAC;QAC9B,IAAI,GAAG,CAAC,MAAM,CAAC,gBAAgB,KAAK,IAAI,EAAE,CAAC;YACzC,IAAI,QAAQ,GAAG,KAAK;gBAAE,OAAO,IAAI,CAAC;YAClC,GAAG,CAAC,KAAK,CAAC,aAAa,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;YAC3C,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,QAAQ,IAAI,KAAK;YAAE,OAAO,IAAI,CAAC;QACnC,GAAG,CAAC,KAAK,CAAC,cAAc,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QAC5C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,EAAE,CAAC,KAAK,EAAE,IAAqB,EAAE,EAAE;QACtC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,gBAAgB,KAAK,IAAI,CAAC;QACxD,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;QAClC,MAAM,OAAO,GAAG,SAAS;YACvB,CAAC,CAAC,aAAa,KAAe,EAAE;YAChC,CAAC,CAAC,cAAc,KAAe,EAAE,CAAC;QACpC,IAAI,CAAC,IAAI,CACP,OAAO,CAAC,IAAI,CACV,OAAO,CAAC,GAAG,CACT,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,EACvC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CACrE,EACD,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAChE,CACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,sEAAsE;AACtE,qEAAqE;AACrE,uEAAuE;AACvE,qEAAqE;AACrE,6EAA6E;AAC7E,4EAA4E;AAC5E,2EAA2E;AAC3E,gEAAgE;AAChE,MAAM,SAAS,GAAG;IAChB,MAAM;IACN,SAAS;IACT,aAAa;IACb,OAAO;IACP,aAAa;IACb,SAAS;IACT,QAAQ;IACR,OAAO;IACP,OAAO;IACP,OAAO;IACP,KAAK;IACL,cAAc;IACd,YAAY;IACZ,mBAAmB;IACnB,sBAAsB;IACtB,OAAO;IACP,iBAAiB;IACjB,MAAM;IACN,MAAM;IACN,UAAU;IACV,SAAS;IACT,YAAY;IACZ,WAAW;IACX,WAAW;IACX,UAAU;IACV,UAAU;IACV,aAAa;IACb,eAAe;IACf,eAAe;CACP,CAAC;AAEX,SAAS,iBAAiB,CAAC,MAAc;IACvC,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAoC,EAAE,CAAC;IACvD,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CACb,gCAAgC,IAAI,8BAA8B,CACnE,CAAC;QACJ,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC;IACpC,CAAC;IACD,UAAU,CAAC,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACjC,UAAU,CAAC,OAAO,GAAG,OAAO,CAAC;IAC7B,UAAU,CAAC,OAAO,GAAG,OAAO,CAAC;IAC7B,UAAU,CAAC,gBAAgB,GAAG,UAAU,CAAC,kBAAkB,CAAC,CAAC;IAC7D,UAAU,CAAC,gBAAgB,GAAG,UAAU,CAAC,kBAAkB,CAAC,CAAC;IAC7D,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,MAAc;IAC5C,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,gBAAgB,CAAC;QAAE,OAAO;IACzD,MAAM,CAAC,kBAAkB,CAAC,cAAc,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC;IACrE,MAAM,CAAC,eAAe,CAAC,gBAAgB,EAAE,CAAC,cAAc,CAAC,EAAE;QACzD,WAAW,EAAE,kBAAkB;QAC/B,kBAAkB,EAAE,IAAI;KACzB,CAAC,CAAC;IACH,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,oBAAoB,EAAE,CAAC;QAC9C,MAAM,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAClC,CAAC;AACH,CAAC"}

package/dist/metaschema4.d.ts

@@ -0,0 +1,3 @@
+import { JsonValue } from "@json-schema-engine/core";
+export declare const METASCHEMAS_DRAFT_04: readonly (readonly [string, JsonValue])[];
+//# sourceMappingURL=metaschema4.d.ts.map

package/dist/metaschema4.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"metaschema4.d.ts","sourceRoot":"","sources":["../src/metaschema4.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AAErD,eAAO,MAAM,oBAAoB,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,EA8NzE,CAAC"}

package/dist/metaschema4.js

@@ -0,0 +1,224 @@
+export const METASCHEMAS_DRAFT_04 = [
+    [
+        "http://json-schema.org/draft-04/schema",
+        {
+            id: "http://json-schema.org/draft-04/schema#",
+            $schema: "http://json-schema.org/draft-04/schema#",
+            description: "Core schema meta-schema",
+            definitions: {
+                schemaArray: {
+                    type: "array",
+                    minItems: 1,
+                    items: {
+                        $ref: "#",
+                    },
+                },
+                positiveInteger: {
+                    type: "integer",
+                    minimum: 0,
+                },
+                positiveIntegerDefault0: {
+                    allOf: [
+                        {
+                            $ref: "#/definitions/positiveInteger",
+                        },
+                        {
+                            default: 0,
+                        },
+                    ],
+                },
+                simpleTypes: {
+                    enum: [
+                        "array",
+                        "boolean",
+                        "integer",
+                        "null",
+                        "number",
+                        "object",
+                        "string",
+                    ],
+                },
+                stringArray: {
+                    type: "array",
+                    items: {
+                        type: "string",
+                    },
+                    minItems: 1,
+                    uniqueItems: true,
+                },
+            },
+            type: "object",
+            properties: {
+                id: {
+                    type: "string",
+                },
+                $schema: {
+                    type: "string",
+                },
+                title: {
+                    type: "string",
+                },
+                description: {
+                    type: "string",
+                },
+                default: {},
+                multipleOf: {
+                    type: "number",
+                    minimum: 0,
+                    exclusiveMinimum: true,
+                },
+                maximum: {
+                    type: "number",
+                },
+                exclusiveMaximum: {
+                    type: "boolean",
+                    default: false,
+                },
+                minimum: {
+                    type: "number",
+                },
+                exclusiveMinimum: {
+                    type: "boolean",
+                    default: false,
+                },
+                maxLength: {
+                    $ref: "#/definitions/positiveInteger",
+                },
+                minLength: {
+                    $ref: "#/definitions/positiveIntegerDefault0",
+                },
+                pattern: {
+                    type: "string",
+                    format: "regex",
+                },
+                additionalItems: {
+                    anyOf: [
+                        {
+                            type: "boolean",
+                        },
+                        {
+                            $ref: "#",
+                        },
+                    ],
+                    default: {},
+                },
+                items: {
+                    anyOf: [
+                        {
+                            $ref: "#",
+                        },
+                        {
+                            $ref: "#/definitions/schemaArray",
+                        },
+                    ],
+                    default: {},
+                },
+                maxItems: {
+                    $ref: "#/definitions/positiveInteger",
+                },
+                minItems: {
+                    $ref: "#/definitions/positiveIntegerDefault0",
+                },
+                uniqueItems: {
+                    type: "boolean",
+                    default: false,
+                },
+                maxProperties: {
+                    $ref: "#/definitions/positiveInteger",
+                },
+                minProperties: {
+                    $ref: "#/definitions/positiveIntegerDefault0",
+                },
+                required: {
+                    $ref: "#/definitions/stringArray",
+                },
+                additionalProperties: {
+                    anyOf: [
+                        {
+                            type: "boolean",
+                        },
+                        {
+                            $ref: "#",
+                        },
+                    ],
+                    default: {},
+                },
+                definitions: {
+                    type: "object",
+                    additionalProperties: {
+                        $ref: "#",
+                    },
+                    default: {},
+                },
+                properties: {
+                    type: "object",
+                    additionalProperties: {
+                        $ref: "#",
+                    },
+                    default: {},
+                },
+                patternProperties: {
+                    type: "object",
+                    additionalProperties: {
+                        $ref: "#",
+                    },
+                    default: {},
+                },
+                dependencies: {
+                    type: "object",
+                    additionalProperties: {
+                        anyOf: [
+                            {
+                                $ref: "#",
+                            },
+                            {
+                                $ref: "#/definitions/stringArray",
+                            },
+                        ],
+                    },
+                },
+                enum: {
+                    type: "array",
+                    minItems: 1,
+                    uniqueItems: true,
+                },
+                type: {
+                    anyOf: [
+                        {
+                            $ref: "#/definitions/simpleTypes",
+                        },
+                        {
+                            type: "array",
+                            items: {
+                                $ref: "#/definitions/simpleTypes",
+                            },
+                            minItems: 1,
+                            uniqueItems: true,
+                        },
+                    ],
+                },
+                format: {
+                    type: "string",
+                },
+                allOf: {
+                    $ref: "#/definitions/schemaArray",
+                },
+                anyOf: {
+                    $ref: "#/definitions/schemaArray",
+                },
+                oneOf: {
+                    $ref: "#/definitions/schemaArray",
+                },
+                not: {
+                    $ref: "#",
+                },
+            },
+            dependencies: {
+                exclusiveMaximum: ["maximum"],
+                exclusiveMinimum: ["minimum"],
+            },
+            default: {},
+        },
+    ],
+];
+//# sourceMappingURL=metaschema4.js.map

package/dist/metaschema4.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"metaschema4.js","sourceRoot":"","sources":["../src/metaschema4.ts"],"names":[],"mappings":"AAQA,MAAM,CAAC,MAAM,oBAAoB,GAA8C;IAC7E;QACE,wCAAwC;QACxC;YACE,EAAE,EAAE,yCAAyC;YAC7C,OAAO,EAAE,yCAAyC;YAClD,WAAW,EAAE,yBAAyB;YACtC,WAAW,EAAE;gBACX,WAAW,EAAE;oBACX,IAAI,EAAE,OAAO;oBACb,QAAQ,EAAE,CAAC;oBACX,KAAK,EAAE;wBACL,IAAI,EAAE,GAAG;qBACV;iBACF;gBACD,eAAe,EAAE;oBACf,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,CAAC;iBACX;gBACD,uBAAuB,EAAE;oBACvB,KAAK,EAAE;wBACL;4BACE,IAAI,EAAE,+BAA+B;yBACtC;wBACD;4BACE,OAAO,EAAE,CAAC;yBACX;qBACF;iBACF;gBACD,WAAW,EAAE;oBACX,IAAI,EAAE;wBACJ,OAAO;wBACP,SAAS;wBACT,SAAS;wBACT,MAAM;wBACN,QAAQ;wBACR,QAAQ;wBACR,QAAQ;qBACT;iBACF;gBACD,WAAW,EAAE;oBACX,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE;wBACL,IAAI,EAAE,QAAQ;qBACf;oBACD,QAAQ,EAAE,CAAC;oBACX,WAAW,EAAE,IAAI;iBAClB;aACF;YACD,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,EAAE,EAAE;oBACF,IAAI,EAAE,QAAQ;iBACf;gBACD,OAAO,EAAE;oBACP,IAAI,EAAE,QAAQ;iBACf;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;iBACf;gBACD,WAAW,EAAE;oBACX,IAAI,EAAE,QAAQ;iBACf;gBACD,OAAO,EAAE,EAAE;gBACX,UAAU,EAAE;oBACV,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,CAAC;oBACV,gBAAgB,EAAE,IAAI;iBACvB;gBACD,OAAO,EAAE;oBACP,IAAI,EAAE,QAAQ;iBACf;gBACD,gBAAgB,EAAE;oBAChB,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,KAAK;iBACf;gBACD,OAAO,EAAE;oBACP,IAAI,EAAE,QAAQ;iBACf;gBACD,gBAAgB,EAAE;oBAChB,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,KAAK;iBACf;gBACD,SAAS,EAAE;oBACT,IAAI,EAAE,+BAA+B;iBACtC;gBACD,SAAS,EAAE;oBACT,IAAI,EAAE,uCAAuC;iBAC9C;gBACD,OAAO,EAAE;oBACP,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,OAAO;iBAChB;gBACD,eAAe,EAAE;oBACf,KAAK,EAAE;wBACL;4BACE,IAAI,EAAE,SAAS;yBAChB;wBACD;4BACE,IAAI,EAAE,GAAG;yBACV;qBACF;oBACD,OAAO,EAAE,EAAE;iBACZ;gBACD,KAAK,EAAE;oBACL,KAAK,EAAE;wBACL;4BACE,IAAI,EAAE,GAAG;yBACV;wBACD;4BACE,IAAI,EAAE,2BAA2B;yBAClC;qBACF;oBACD,OAAO,EAAE,EAAE;iBACZ;gBACD,QAAQ,EAAE;oBACR,IAAI,EAAE,+BAA+B;iBACtC;gBACD,QAAQ,EAAE;oBACR,IAAI,EAAE,uCAAuC;iBAC9C;gBACD,WAAW,EAAE;oBACX,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,KAAK;iBACf;gBACD,aAAa,EAAE;oBACb,IAAI,EAAE,+BAA+B;iBACtC;gBACD,aAAa,EAAE;oBACb,IAAI,EAAE,uCAAuC;iBAC9C;gBACD,QAAQ,EAAE;oBACR,IAAI,EAAE,2BAA2B;iBAClC;gBACD,oBAAoB,EAAE;oBACpB,KAAK,EAAE;wBACL;4BACE,IAAI,EAAE,SAAS;yBAChB;wBACD;4BACE,IAAI,EAAE,GAAG;yBACV;qBACF;oBACD,OAAO,EAAE,EAAE;iBACZ;gBACD,WAAW,EAAE;oBACX,IAAI,EAAE,QAAQ;oBACd,oBAAoB,EAAE;wBACpB,IAAI,EAAE,GAAG;qBACV;oBACD,OAAO,EAAE,EAAE;iBACZ;gBACD,UAAU,EAAE;oBACV,IAAI,EAAE,QAAQ;oBACd,oBAAoB,EAAE;wBACpB,IAAI,EAAE,GAAG;qBACV;oBACD,OAAO,EAAE,EAAE;iBACZ;gBACD,iBAAiB,EAAE;oBACjB,IAAI,EAAE,QAAQ;oBACd,oBAAoB,EAAE;wBACpB,IAAI,EAAE,GAAG;qBACV;oBACD,OAAO,EAAE,EAAE;iBACZ;gBACD,YAAY,EAAE;oBACZ,IAAI,EAAE,QAAQ;oBACd,oBAAoB,EAAE;wBACpB,KAAK,EAAE;4BACL;gCACE,IAAI,EAAE,GAAG;6BACV;4BACD;gCACE,IAAI,EAAE,2BAA2B;6BAClC;yBACF;qBACF;iBACF;gBACD,IAAI,EAAE;oBACJ,IAAI,EAAE,OAAO;oBACb,QAAQ,EAAE,CAAC;oBACX,WAAW,EAAE,IAAI;iBAClB;gBACD,IAAI,EAAE;oBACJ,KAAK,EAAE;wBACL;4BACE,IAAI,EAAE,2BAA2B;yBAClC;wBACD;4BACE,IAAI,EAAE,OAAO;4BACb,KAAK,EAAE;gCACL,IAAI,EAAE,2BAA2B;6BAClC;4BACD,QAAQ,EAAE,CAAC;4BACX,WAAW,EAAE,IAAI;yBAClB;qBACF;iBACF;gBACD,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;iBACf;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,2BAA2B;iBAClC;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,2BAA2B;iBAClC;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,2BAA2B;iBAClC;gBACD,GAAG,EAAE;oBACH,IAAI,EAAE,GAAG;iBACV;aACF;YACD,YAAY,EAAE;gBACZ,gBAAgB,EAAE,CAAC,SAAS,CAAC;gBAC7B,gBAAgB,EAAE,CAAC,SAAS,CAAC;aAC9B;YACD,OAAO,EAAE,EAAE;SACZ;KACF;CACF,CAAC"}

package/package.json

@@ -0,0 +1,40 @@
+{
+  "name": "@json-schema-engine/dialect-draft04",
+  "version": "0.0.1",
+  "description": "JSON Schema draft-04 dialect for @json-schema-engine/core, assembled through the public dialect-authoring surface (DESIGN.md M10, D11)",
+  "type": "module",
+  "main": "./dist/index.js",
+  "exports": {
+    ".": {
+      "jse-source": "./src/index.ts",
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    }
+  },
+  "license": "MIT",
+  "publishConfig": {
+    "access": "public"
+  },
+  "engines": {
+    "node": ">=22"
+  },
+  "dependencies": {
+    "@json-schema-engine/core": "^0.0.1"
+  },
+  "devDependencies": {
+    "@json-schema-engine/compiler": "^0.0.1",
+    "@json-schema-engine/formats": "^0.0.1",
+    "@json-schema-engine/test-kit": "^0.0.1"
+  },
+  "types": "./dist/index.d.ts",
+  "files": [
+    "dist",
+    "src"
+  ],
+  "sideEffects": false,
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/handrews/json-schema-engine.git",
+    "directory": "packages/dialect-draft04"
+  }
+}

package/src/index.ts

@@ -0,0 +1,217 @@
+// JSON Schema draft-04 dialect (DESIGN.md M10, D11, D18), assembled entirely
+// through @json-schema-engine/core's public surface — this package is the reference for
+// third-party dialect authoring. Keywords draft-04 shares with draft-07 are
+// harvested as behavior objects from the engine's registered draft-07
+// dialect: behaviors are stateless shared values (draft-06 already reuses
+// draft-07's objects the same way), harvesting `format` picks up the
+// engine's formats/assertFormats configuration, and compiler lowerings
+// added to the shared behaviors (M6.6) will apply here without changes.
+// Only the keywords whose draft-04 semantics genuinely differ are defined
+// below.
+
+import {
+  Engine,
+  IdentifierExtractor,
+  KeywordBehavior,
+  DIALECT_DRAFT_07,
+  lowerIR,
+  LoweringContext,
+} from "@json-schema-engine/core";
+import { METASCHEMAS_DRAFT_04 } from "./metaschema4.js";
+
+/** draft-04 dialect URI. */
+export const DIALECT_DRAFT_04 = "http://json-schema.org/draft-04/schema";
+
+/**
+ * draft-04 vocabulary identity (registry-internal; draft-04 predates
+ * `$vocabulary`, so this URI is never a spec-meaningful vocabulary document).
+ */
+export const VOCAB_DRAFT_04 = "urn:jse:vocab:draft-04";
+
+const id04 = (name: string): string => `${VOCAB_DRAFT_04}#${name}`;
+
+/**
+ * Identifier syntax for the draft-04 dialect: the keyword is `id` (no `$`);
+ * a schema object containing `$ref` has no identifiers at all, and a
+ * plain-fragment `id` is an anchor rather than a base change — the same
+ * legacy rules as draft-07/06's `$id` (see core's identifiersLegacy).
+ */
+export const identifiersDraft04: IdentifierExtractor = (node) => {
+  if (Object.hasOwn(node, "$ref")) return {};
+  const id = node.id;
+  if (typeof id !== "string") return {};
+  if (id.startsWith("#")) {
+    return id.length > 1 ? { anchors: [id.slice(1)] } : {};
+  }
+  return { baseId: id };
+};
+
+/**
+ * Identifier/reserved keywords: no evaluation behavior, no annotation, and
+ * an empty lower() — the planner's capability check requires the function
+ * to exist, and an inert keyword's compiled contribution is legitimately
+ * nothing.
+ */
+const structural = (name: string): KeywordBehavior => ({
+  id: id04(name),
+  analyze: () => ({ produces: [] }),
+  evaluate: () => true,
+  lower: () => undefined,
+});
+
+// draft-04's exclusiveMinimum/exclusiveMaximum are boolean modifiers on
+// sibling minimum/maximum, not standalone assertions — so minimum/maximum
+// read the sibling through ctx.schema (the same sibling-read pattern as
+// 2020-12's contains with minContains) and the booleans themselves assert
+// nothing. Params stay { limit } per the shared bounds-keyword shape (D13);
+// exclusivity is recoverable from the schema itself.
+// lower(): the exclusive/inclusive choice is plan-time data (the sibling
+// boolean lives on lctx.schema, same sibling-read pattern as core's
+// additionalItems reading lctx.schema.items) — so the comparison operator
+// and message are picked once at lowering time rather than branching at
+// runtime. Guard/compare/fail shape mirrors core's guardedCompare exemplar
+// for 2020-12 minimum/maximum (validation.ts).
+const minimum: KeywordBehavior = {
+  id: id04("minimum"),
+  evaluate: (value, cursor, ctx) => {
+    const instance = cursor.value;
+    if (typeof instance !== "number") return true;
+    const limit = value as number;
+    if (ctx.schema.exclusiveMinimum === true) {
+      if (instance > limit) return true;
+      ctx.error(`must be > ${limit}`, { limit });
+      return false;
+    }
+    if (instance >= limit) return true;
+    ctx.error(`must be >= ${limit}`, { limit });
+    return false;
+  },
+  lower: (value, lctx: LoweringContext) => {
+    const exclusive = lctx.schema.exclusiveMinimum === true;
+    const op = exclusive ? ">" : ">=";
+    const message = exclusive
+      ? `must be > ${value as number}`
+      : `must be >= ${value as number}`;
+    lctx.emit(
+      lowerIR.when(
+        lowerIR.and(
+          lowerIR.typeIs(lctx.instance, "number"),
+          lowerIR.not(lowerIR.cmp(op, lctx.instance, lowerIR.constant(value))),
+        ),
+        [lowerIR.failWith({ limit: lowerIR.constant(value) }, message)],
+      ),
+    );
+  },
+};
+
+const maximum: KeywordBehavior = {
+  id: id04("maximum"),
+  evaluate: (value, cursor, ctx) => {
+    const instance = cursor.value;
+    if (typeof instance !== "number") return true;
+    const limit = value as number;
+    if (ctx.schema.exclusiveMaximum === true) {
+      if (instance < limit) return true;
+      ctx.error(`must be < ${limit}`, { limit });
+      return false;
+    }
+    if (instance <= limit) return true;
+    ctx.error(`must be <= ${limit}`, { limit });
+    return false;
+  },
+  lower: (value, lctx: LoweringContext) => {
+    const exclusive = lctx.schema.exclusiveMaximum === true;
+    const op = exclusive ? "<" : "<=";
+    const message = exclusive
+      ? `must be < ${value as number}`
+      : `must be <= ${value as number}`;
+    lctx.emit(
+      lowerIR.when(
+        lowerIR.and(
+          lowerIR.typeIs(lctx.instance, "number"),
+          lowerIR.not(lowerIR.cmp(op, lctx.instance, lowerIR.constant(value))),
+        ),
+        [lowerIR.failWith({ limit: lowerIR.constant(value) }, message)],
+      ),
+    );
+  },
+};
+
+// Keywords draft-04 shares with draft-07, harvested from the engine's
+// draft-07 dialect. Absent by omission: $id, $comment, if/then/else,
+// propertyNames, contains, const, readOnly/writeOnly/examples, and the
+// content keywords — none exist in draft-04, and the numeric 2020-12
+// exclusiveMinimum/exclusiveMaximum are replaced by the boolean forms above.
+// `type` is shared deliberately: draft-04's stricter integer (1.0 is not an
+// integer) is unrepresentable after JSON.parse — the suite itself makes it
+// optional (zeroTerminatedFloats.json) for exactly this reason.
+const HARVESTED = [
+  "$ref",
+  "$schema",
+  "definitions",
+  "title",
+  "description",
+  "default",
+  "format",
+  "allOf",
+  "anyOf",
+  "oneOf",
+  "not",
+  "dependencies",
+  "properties",
+  "patternProperties",
+  "additionalProperties",
+  "items",
+  "additionalItems",
+  "type",
+  "enum",
+  "required",
+  "pattern",
+  "multipleOf",
+  "maxLength",
+  "minLength",
+  "maxItems",
+  "minItems",
+  "uniqueItems",
+  "maxProperties",
+  "minProperties",
+] as const;
+
+function draft04Vocabulary(engine: Engine): Record<string, KeywordBehavior> {
+  const draft07 = engine.dialects.getDialect(DIALECT_DRAFT_07);
+  const vocabulary: Record<string, KeywordBehavior> = {};
+  for (const name of HARVESTED) {
+    const entry = draft07.keywords.get(name);
+    if (!entry) {
+      throw new Error(
+        `draft-07 dialect is missing '${name}' — cannot assemble draft-04`,
+      );
+    }
+    vocabulary[name] = entry.behavior;
+  }
+  vocabulary.id = structural("id");
+  vocabulary.minimum = minimum;
+  vocabulary.maximum = maximum;
+  vocabulary.exclusiveMinimum = structural("exclusiveMinimum");
+  vocabulary.exclusiveMaximum = structural("exclusiveMaximum");
+  return vocabulary;
+}
+
+/**
+ * Registers the draft-04 vocabulary, dialect, and metaschema on an engine.
+ * Safe to call more than once per engine. Documents declaring
+ * `$schema: "http://json-schema.org/draft-04/schema#"` (or registered with
+ * that dialect URI) evaluate with draft-04 semantics afterwards, alongside
+ * every natively supported draft in the same registry.
+ */
+export function registerDraft04(engine: Engine): void {
+  if (engine.dialects.hasDialect(DIALECT_DRAFT_04)) return;
+  engine.registerVocabulary(VOCAB_DRAFT_04, draft04Vocabulary(engine));
+  engine.registerDialect(DIALECT_DRAFT_04, [VOCAB_DRAFT_04], {
+    identifiers: identifiersDraft04,
+    refIgnoresSiblings: true,
+  });
+  for (const [uri, doc] of METASCHEMAS_DRAFT_04) {
+    engine.registerSchema(doc, uri);
+  }
+}

package/src/metaschema4.ts

@@ -0,0 +1,231 @@
+// The draft-04 metaschema, vendored verbatim from
+// https://json-schema.org/draft-04/schema (JSON Schema specification
+// artifact, BSD-licensed). Same role as core's metaschemas7.ts, but shipped
+// here: core stays free of draft-04 syntax (D11), so the dialect package
+// registers this as an ordinary schema resource through the public Engine
+// surface. The id's empty fragment is stripped to the resource URI.
+import { JsonValue } from "@json-schema-engine/core";
+
+export const METASCHEMAS_DRAFT_04: readonly (readonly [string, JsonValue])[] = [
+  [
+    "http://json-schema.org/draft-04/schema",
+    {
+      id: "http://json-schema.org/draft-04/schema#",
+      $schema: "http://json-schema.org/draft-04/schema#",
+      description: "Core schema meta-schema",
+      definitions: {
+        schemaArray: {
+          type: "array",
+          minItems: 1,
+          items: {
+            $ref: "#",
+          },
+        },
+        positiveInteger: {
+          type: "integer",
+          minimum: 0,
+        },
+        positiveIntegerDefault0: {
+          allOf: [
+            {
+              $ref: "#/definitions/positiveInteger",
+            },
+            {
+              default: 0,
+            },
+          ],
+        },
+        simpleTypes: {
+          enum: [
+            "array",
+            "boolean",
+            "integer",
+            "null",
+            "number",
+            "object",
+            "string",
+          ],
+        },
+        stringArray: {
+          type: "array",
+          items: {
+            type: "string",
+          },
+          minItems: 1,
+          uniqueItems: true,
+        },
+      },
+      type: "object",
+      properties: {
+        id: {
+          type: "string",
+        },
+        $schema: {
+          type: "string",
+        },
+        title: {
+          type: "string",
+        },
+        description: {
+          type: "string",
+        },
+        default: {},
+        multipleOf: {
+          type: "number",
+          minimum: 0,
+          exclusiveMinimum: true,
+        },
+        maximum: {
+          type: "number",
+        },
+        exclusiveMaximum: {
+          type: "boolean",
+          default: false,
+        },
+        minimum: {
+          type: "number",
+        },
+        exclusiveMinimum: {
+          type: "boolean",
+          default: false,
+        },
+        maxLength: {
+          $ref: "#/definitions/positiveInteger",
+        },
+        minLength: {
+          $ref: "#/definitions/positiveIntegerDefault0",
+        },
+        pattern: {
+          type: "string",
+          format: "regex",
+        },
+        additionalItems: {
+          anyOf: [
+            {
+              type: "boolean",
+            },
+            {
+              $ref: "#",
+            },
+          ],
+          default: {},
+        },
+        items: {
+          anyOf: [
+            {
+              $ref: "#",
+            },
+            {
+              $ref: "#/definitions/schemaArray",
+            },
+          ],
+          default: {},
+        },
+        maxItems: {
+          $ref: "#/definitions/positiveInteger",
+        },
+        minItems: {
+          $ref: "#/definitions/positiveIntegerDefault0",
+        },
+        uniqueItems: {
+          type: "boolean",
+          default: false,
+        },
+        maxProperties: {
+          $ref: "#/definitions/positiveInteger",
+        },
+        minProperties: {
+          $ref: "#/definitions/positiveIntegerDefault0",
+        },
+        required: {
+          $ref: "#/definitions/stringArray",
+        },
+        additionalProperties: {
+          anyOf: [
+            {
+              type: "boolean",
+            },
+            {
+              $ref: "#",
+            },
+          ],
+          default: {},
+        },
+        definitions: {
+          type: "object",
+          additionalProperties: {
+            $ref: "#",
+          },
+          default: {},
+        },
+        properties: {
+          type: "object",
+          additionalProperties: {
+            $ref: "#",
+          },
+          default: {},
+        },
+        patternProperties: {
+          type: "object",
+          additionalProperties: {
+            $ref: "#",
+          },
+          default: {},
+        },
+        dependencies: {
+          type: "object",
+          additionalProperties: {
+            anyOf: [
+              {
+                $ref: "#",
+              },
+              {
+                $ref: "#/definitions/stringArray",
+              },
+            ],
+          },
+        },
+        enum: {
+          type: "array",
+          minItems: 1,
+          uniqueItems: true,
+        },
+        type: {
+          anyOf: [
+            {
+              $ref: "#/definitions/simpleTypes",
+            },
+            {
+              type: "array",
+              items: {
+                $ref: "#/definitions/simpleTypes",
+              },
+              minItems: 1,
+              uniqueItems: true,
+            },
+          ],
+        },
+        format: {
+          type: "string",
+        },
+        allOf: {
+          $ref: "#/definitions/schemaArray",
+        },
+        anyOf: {
+          $ref: "#/definitions/schemaArray",
+        },
+        oneOf: {
+          $ref: "#/definitions/schemaArray",
+        },
+        not: {
+          $ref: "#",
+        },
+      },
+      dependencies: {
+        exclusiveMaximum: ["maximum"],
+        exclusiveMinimum: ["minimum"],
+      },
+      default: {},
+    },
+  ],
+];