@mikrojs/native 0.18.0 → 0.18.1

package/dist/runtime/schema/core.js

@@ -0,0 +1,259 @@
+/* Core schema machinery: types, constructors, the validator, and
+ * applyDefaults. Dependency-free so hosts (CLI, registries) can import it via
+ * shared.ts without resolving mikro/* builtins; mikro/schema re-exports it and
+ * adds the Result-returning parse(). */
+function err(error) {
+    return { ok: false, error };
+}
+export const SchemaError = {
+    ValidationFailed: (message, path) => ({ name: 'ValidationFailed', message, path }),
+};
+/* Defaults below a wholesale unit never fill: applyDefaults replaces the unit
+ * whole, so only a unit-level default applies. Rejected where they are written
+ * rather than at the validation that later misses the field. The walk stops at
+ * a nested unit's own default, since that unit's constructor already cleared
+ * everything under it. */
+function rejectInnerDefaults(node, path, unit, self) {
+    if (node.default !== undefined) {
+        throw new TypeError(`a default under ${unit} never applies; give ${self} itself a whole-value ` +
+            `default instead (found at ${path})`);
+    }
+    if (node.kind === 'object') {
+        const keys = Object.keys(node.shape);
+        for (let i = 0; i < keys.length; i++) {
+            rejectInnerDefaults(node.shape[keys[i]], `${path}.${keys[i]}`, unit, self);
+        }
+    }
+    else if (node.kind === 'optional') {
+        // optional() rejects an inner default itself, so this only reaches what it
+        // wraps without reporting the same node twice.
+        rejectInnerDefaults(node.inner, path, unit, self);
+    }
+}
+/* Copies the annotation onto the node and rejects a `default` the node itself
+ * would not accept, so a bad default fails where it is written. */
+function annotate(node, options) {
+    if (options === undefined)
+        return node;
+    const out = node;
+    if (options.default !== undefined) {
+        out.default = options.default;
+        const result = validate(node, options.default, '');
+        if (result !== null) {
+            throw new TypeError(`schema default does not match the schema: ${result.error.message}`);
+        }
+    }
+    return node;
+}
+export function string(options) {
+    return annotate({ kind: 'string' }, options);
+}
+export function number(options) {
+    return annotate({ kind: 'number' }, options);
+}
+export function boolean(options) {
+    return annotate({ kind: 'boolean' }, options);
+}
+export function unknown() {
+    return { kind: 'unknown' };
+}
+export function literal(value, options) {
+    return annotate({ kind: 'literal', value }, options);
+}
+export function array(element, options) {
+    rejectInnerDefaults(element, '[]', 'an array', 'the array');
+    return annotate({ kind: 'array', element }, options);
+}
+export function object(shape, options) {
+    if (options?.default !== undefined) {
+        throw new TypeError("an object's defaults compose from its fields; declare defaults on the fields");
+    }
+    return { kind: 'object', shape };
+}
+export function tuple(elements, options) {
+    for (let i = 0; i < elements.length; i++) {
+        rejectInnerDefaults(elements[i], `[${i}]`, 'a tuple', 'the tuple');
+    }
+    return annotate({ kind: 'tuple', elements }, options);
+}
+export function optional(inner) {
+    if (inner.default !== undefined) {
+        throw new TypeError('optional() cannot wrap a schema with a default');
+    }
+    return { kind: 'optional', inner };
+}
+export function union(members, options) {
+    for (let i = 0; i < members.length; i++) {
+        rejectInnerDefaults(members[i], `[${i}]`, 'a union', 'the union');
+    }
+    return annotate({ kind: 'union', members }, options);
+}
+export function taggedUnion(key, branches, options) {
+    const tags = Object.keys(branches);
+    for (let i = 0; i < tags.length; i++) {
+        rejectInnerDefaults(branches[tags[i]], `.${tags[i]}`, 'a taggedUnion', 'the union');
+    }
+    return annotate({ kind: 'taggedUnion', key, branches }, options);
+}
+// ── Defaults ────────────────────────────────────────────────────────
+/* Builds the effective value: schema defaults with `value` layered over them.
+ * Objects are structure and always materialize (recursing per field, unknown
+ * keys dropped); every other node is replaced wholesale by a present value, so
+ * defaults inside array elements or union branches are form hints, not fills.
+ * The result is unvalidated — a missing required field stays missing for
+ * parse() to report. */
+export function applyDefaults(schema, value) {
+    switch (schema.kind) {
+        case 'object': {
+            // A present non-object stays as-is so validation rejects it; replacing
+            // it with {} here would make `{mqtt: 42}` validate clean and never
+            // record a configError.
+            if (value !== undefined &&
+                (typeof value !== 'object' || value === null || Array.isArray(value))) {
+                return value;
+            }
+            const src = value === undefined ? {} : value;
+            const out = {};
+            const keys = Object.keys(schema.shape);
+            for (let i = 0; i < keys.length; i++) {
+                const key = keys[i];
+                const field = schema.shape[key];
+                // hasOwn, not indexing: a shape key like "constructor" must read as
+                // absent, not as the inherited prototype member.
+                const raw = Object.hasOwn(src, key) ? src[key] : undefined;
+                if (field.kind === 'optional') {
+                    if (raw !== undefined)
+                        out[key] = raw;
+                }
+                else {
+                    const child = applyDefaults(field, raw);
+                    if (child !== undefined)
+                        out[key] = child;
+                }
+            }
+            return out;
+        }
+        case 'array':
+            if (value !== undefined)
+                return value;
+            return schema.default !== undefined ? schema.default : [];
+        case 'unknown':
+        case 'optional':
+            return value;
+        default:
+            return value !== undefined ? value : schema.default;
+    }
+}
+// ── Parse ───────────────────────────────────────────────────────────
+function typeOf(value) {
+    if (value === null)
+        return 'null';
+    if (Array.isArray(value))
+        return 'array';
+    return typeof value;
+}
+export function validate(schema, value, path) {
+    switch (schema.kind) {
+        case 'string':
+            if (typeof value !== 'string')
+                return err(SchemaError.ValidationFailed(`expected string, got ${typeOf(value)}`, path));
+            return null;
+        case 'number':
+            if (typeof value !== 'number' || Number.isNaN(value))
+                return err(SchemaError.ValidationFailed(`expected number, got ${typeOf(value)}`, path));
+            return null;
+        case 'boolean':
+            if (typeof value !== 'boolean')
+                return err(SchemaError.ValidationFailed(`expected boolean, got ${typeOf(value)}`, path));
+            return null;
+        case 'unknown':
+            return null;
+        case 'literal':
+            if (value !== schema.value)
+                return err(SchemaError.ValidationFailed(`expected ${JSON.stringify(schema.value)}, got ${JSON.stringify(value)}`, path));
+            return null;
+        case 'array': {
+            if (!Array.isArray(value))
+                return err(SchemaError.ValidationFailed(`expected array, got ${typeOf(value)}`, path));
+            for (let i = 0; i < value.length; i++) {
+                const result = validate(schema.element, value[i], `${path}[${i}]`);
+                if (result !== null)
+                    return result;
+            }
+            return null;
+        }
+        case 'object': {
+            if (typeof value !== 'object' || value === null || Array.isArray(value))
+                return err(SchemaError.ValidationFailed(`expected object, got ${typeOf(value)}`, path));
+            const obj = value;
+            const keys = Object.keys(schema.shape);
+            for (let i = 0; i < keys.length; i++) {
+                const key = keys[i];
+                const fieldSchema = schema.shape[key];
+                const fieldPath = `${path}.${key}`;
+                // hasOwn, like the taggedUnion dispatch: an inherited "constructor"
+                // must not stand in for a field.
+                if (fieldSchema.kind === 'optional') {
+                    if (Object.hasOwn(obj, key)) {
+                        const result = validate(fieldSchema, obj[key], fieldPath);
+                        if (result !== null)
+                            return result;
+                    }
+                }
+                else {
+                    if (!Object.hasOwn(obj, key))
+                        return err(SchemaError.ValidationFailed(`missing required field`, fieldPath));
+                    const result = validate(fieldSchema, obj[key], fieldPath);
+                    if (result !== null)
+                        return result;
+                }
+            }
+            return null;
+        }
+        case 'tuple': {
+            if (!Array.isArray(value))
+                return err(SchemaError.ValidationFailed(`expected array, got ${typeOf(value)}`, path));
+            if (value.length !== schema.elements.length)
+                return err(SchemaError.ValidationFailed(`expected ${schema.elements.length} elements, got ${value.length}`, path));
+            for (let i = 0; i < schema.elements.length; i++) {
+                const result = validate(schema.elements[i], value[i], `${path}[${i}]`);
+                if (result !== null)
+                    return result;
+            }
+            return null;
+        }
+        case 'optional': {
+            if (value === undefined)
+                return null;
+            return validate(schema.inner, value, path);
+        }
+        case 'union': {
+            for (let i = 0; i < schema.members.length; i++) {
+                const result = validate(schema.members[i], value, path);
+                if (result === null)
+                    return null;
+            }
+            return err(SchemaError.ValidationFailed(`value did not match any union member`, path));
+        }
+        case 'taggedUnion': {
+            if (typeof value !== 'object' || value === null || Array.isArray(value))
+                return err(SchemaError.ValidationFailed(`expected object, got ${typeOf(value)}`, path));
+            const obj = value;
+            const tag = obj[schema.key];
+            if (tag === undefined)
+                return err(SchemaError.ValidationFailed(`missing discriminator field`, `${path}.${schema.key}`));
+            if (typeof tag !== 'string' && typeof tag !== 'number' && typeof tag !== 'boolean')
+                return err(SchemaError.ValidationFailed(`expected primitive discriminator, got ${typeOf(tag)}`, `${path}.${schema.key}`));
+            // hasOwn, not indexing: a tag like "constructor" must not resolve to
+            // an inherited property and validate against garbage.
+            const branch = Object.hasOwn(schema.branches, tag)
+                ? schema.branches[tag]
+                : undefined;
+            if (branch === undefined)
+                return err(SchemaError.ValidationFailed(`unknown tag ${JSON.stringify(tag)}`, `${path}.${schema.key}`));
+            return validate(branch, value, path);
+        }
+    }
+    return err(SchemaError.ValidationFailed(`unknown schema kind: ${schema.kind}`, path));
+}
+//# sourceMappingURL=core.js.map

package/dist/runtime/schema/core.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"core.js","sourceRoot":"","sources":["../../../runtime/schema/core.ts"],"names":[],"mappings":"AAAA;;;wCAGwC;AAExC,SAAS,GAAG,CAAI,KAAQ;IACtB,OAAO,EAAC,EAAE,EAAE,KAAc,EAAE,KAAK,EAAC,CAAA;AACpC,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,gBAAgB,EAAE,CAAC,OAAe,EAAE,IAAY,EAAE,EAAE,CAClD,CAAC,EAAC,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,IAAI,EAAC,CAAU;CACvD,CAAA;AAkMD;;;;0BAI0B;AAC1B,SAAS,mBAAmB,CAAC,IAAY,EAAE,IAAY,EAAE,IAAY,EAAE,IAAY;IACjF,IAAK,IAA4B,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACxD,MAAM,IAAI,SAAS,CACjB,mBAAmB,IAAI,wBAAwB,IAAI,wBAAwB;YACzE,6BAA6B,IAAI,GAAG,CACvC,CAAA;IACH,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAE,EAAE,GAAG,IAAI,IAAI,IAAI,CAAC,CAAC,CAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAC/E,CAAC;IACH,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACpC,2EAA2E;QAC3E,+CAA+C;QAC/C,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IACnD,CAAC;AACH,CAAC;AAED;mEACmE;AACnE,SAAS,QAAQ,CAAmB,IAAO,EAAE,OAA6B;IACxE,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAA;IACtC,MAAM,GAAG,GAAG,IAA2B,CAAA;IACvC,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAClC,GAAG,CAAC,OAAO,GAAG,OAAO,CAAC,OAAO,CAAA;QAC7B,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;QAClD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,IAAI,SAAS,CAAC,6CAA6C,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;QAC1F,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,MAAM,UAAU,MAAM,CACpB,OAA0B;IAE1B,OAAO,QAAQ,CAAe,EAAC,IAAI,EAAE,QAAQ,EAAC,EAAE,OAAO,CAA+B,CAAA;AACxF,CAAC;AAED,MAAM,UAAU,MAAM,CACpB,OAA0B;IAE1B,OAAO,QAAQ,CAAe,EAAC,IAAI,EAAE,QAAQ,EAAC,EAAE,OAAO,CAA+B,CAAA;AACxF,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,OAA0B;IAE1B,OAAO,QAAQ,CAAgB,EAAC,IAAI,EAAE,SAAS,EAAC,EAAE,OAAO,CAAgC,CAAA;AAC3F,CAAC;AAED,MAAM,UAAU,OAAO;IACrB,OAAO,EAAC,IAAI,EAAE,SAAS,EAAC,CAAA;AAC1B,CAAC;AAED,MAAM,UAAU,OAAO,CACrB,KAAQ,EACR,OAA0B;IAE1B,OAAO,QAAQ,CAAmB,EAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAC,EAAE,OAAO,CAGlE,CAAA;AACH,CAAC;AAED,MAAM,UAAU,KAAK,CACnB,OAAU,EACV,OAA0B;IAE1B,mBAAmB,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;IAC3D,OAAO,QAAQ,CAAiB,EAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAC,EAAE,OAAO,CAAiC,CAAA;AACpG,CAAC;AAED,MAAM,UAAU,MAAM,CACpB,KAAY,EACZ,OAA8B;IAE9B,IAAI,OAAO,EAAE,OAAO,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,IAAI,SAAS,CACjB,8EAA8E,CAC/E,CAAA;IACH,CAAC;IACD,OAAO,EAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAC,CAAA;AAChC,CAAC;AAED,MAAM,UAAU,KAAK,CAGnB,QAAuB,EAAE,OAA0B;IACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,WAAW,CAAC,CAAA;IACrE,CAAC;IACD,OAAO,QAAQ,CAAwB,EAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAC,EAAE,OAAO,CAGxE,CAAA;AACH,CAAC;AAED,MAAM,UAAU,QAAQ,CAAmB,KAAQ;IACjD,IAAK,KAA6B,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACzD,MAAM,IAAI,SAAS,CAAC,gDAAgD,CAAC,CAAA;IACvE,CAAC;IACD,OAAO,EAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAC,CAAA;AAClC,CAAC;AAED,MAAM,UAAU,KAAK,CAGnB,OAAqB,EAAE,OAA0B;IACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,WAAW,CAAC,CAAA;IACpE,CAAC;IACD,OAAO,QAAQ,CAAuB,EAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAC,EAAE,OAAO,CAGtE,CAAA;AACH,CAAC;AAED,MAAM,UAAU,WAAW,CAKzB,GAAQ,EACR,QAAkB,EAClB,OAA0B;IAE1B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,CAAE,EAAE,IAAI,IAAI,CAAC,CAAC,CAAE,EAAE,EAAE,eAAe,EAAE,WAAW,CAAC,CAAA;IACxF,CAAC;IACD,OAAO,QAAQ,CACb,EAAC,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,QAAQ,EAAC,EACpC,OAAO,CAC0C,CAAA;AACrD,CAAC;AAED,uEAAuE;AAEvE;;;;;wBAKwB;AACxB,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,KAAc;IAC1D,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,uEAAuE;YACvE,mEAAmE;YACnE,wBAAwB;YACxB,IACE,KAAK,KAAK,SAAS;gBACnB,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EACrE,CAAC;gBACD,OAAO,KAAK,CAAA;YACd,CAAC;YACD,MAAM,GAAG,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAE,KAAiC,CAAA;YACzE,MAAM,GAAG,GAA4B,EAAE,CAAA;YACvC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACrC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAE,CAAA;gBACpB,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAE,CAAA;gBAChC,oEAAoE;gBACpE,iDAAiD;gBACjD,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;gBAC1D,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBAC9B,IAAI,GAAG,KAAK,SAAS;wBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,CAAA;gBACvC,CAAC;qBAAM,CAAC;oBACN,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;oBACvC,IAAI,KAAK,KAAK,SAAS;wBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;gBAC3C,CAAC;YACH,CAAC;YACD,OAAO,GAAG,CAAA;QACZ,CAAC;QACD,KAAK,OAAO;YACV,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAA;YACrC,OAAO,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAA;QAC3D,KAAK,SAAS,CAAC;QACf,KAAK,UAAU;YACb,OAAO,KAAK,CAAA;QACd;YACE,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,MAA8B,CAAC,OAAO,CAAA;IAChF,CAAC;AACH,CAAC;AAED,uEAAuE;AAEvE,SAAS,MAAM,CAAC,KAAc;IAC5B,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAA;IACjC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,OAAO,CAAA;IACxC,OAAO,OAAO,KAAK,CAAA;AACrB,CAAC;AAED,MAAM,UAAU,QAAQ,CACtB,MAAc,EACd,KAAc,EACd,IAAY;IAEZ,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ;YACX,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAC3B,OAAO,GAAG,CAAC,WAAW,CAAC,gBAAgB,CAAC,wBAAwB,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAA;YACzF,OAAO,IAAI,CAAA;QAEb,KAAK,QAAQ;YACX,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;gBAClD,OAAO,GAAG,CAAC,WAAW,CAAC,gBAAgB,CAAC,wBAAwB,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAA;YACzF,OAAO,IAAI,CAAA;QAEb,KAAK,SAAS;YACZ,IAAI,OAAO,KAAK,KAAK,SAAS;gBAC5B,OAAO,GAAG,CAAC,WAAW,CAAC,gBAAgB,CAAC,yBAAyB,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAA;YAC1F,OAAO,IAAI,CAAA;QAEb,KAAK,SAAS;YACZ,OAAO,IAAI,CAAA;QAEb,KAAK,SAAS;YACZ,IAAI,KAAK,KAAK,MAAM,CAAC,KAAK;gBACxB,OAAO,GAAG,CACR,WAAW,CAAC,gBAAgB,CAC1B,YAAY,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,EACxE,IAAI,CACL,CACF,CAAA;YACH,OAAO,IAAI,CAAA;QAEb,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBACvB,OAAO,GAAG,CAAC,WAAW,CAAC,gBAAgB,CAAC,uBAAuB,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAA;YACxF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAA;gBAClE,IAAI,MAAM,KAAK,IAAI;oBAAE,OAAO,MAAM,CAAA;YACpC,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBACrE,OAAO,GAAG,CAAC,WAAW,CAAC,gBAAgB,CAAC,wBAAwB,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAA;YACzF,MAAM,GAAG,GAAG,KAAgC,CAAA;YAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACrC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAE,CAAA;gBACpB,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAE,CAAA;gBACtC,MAAM,SAAS,GAAG,GAAG,IAAI,IAAI,GAAG,EAAE,CAAA;gBAClC,oEAAoE;gBACpE,iCAAiC;gBACjC,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACpC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;wBAC5B,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAA;wBACzD,IAAI,MAAM,KAAK,IAAI;4BAAE,OAAO,MAAM,CAAA;oBACpC,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC;wBAC1B,OAAO,GAAG,CAAC,WAAW,CAAC,gBAAgB,CAAC,wBAAwB,EAAE,SAAS,CAAC,CAAC,CAAA;oBAC/E,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAA;oBACzD,IAAI,MAAM,KAAK,IAAI;wBAAE,OAAO,MAAM,CAAA;gBACpC,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBACvB,OAAO,GAAG,CAAC,WAAW,CAAC,gBAAgB,CAAC,uBAAuB,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAA;YACxF,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,QAAQ,CAAC,MAAM;gBACzC,OAAO,GAAG,CACR,WAAW,CAAC,gBAAgB,CAC1B,YAAY,MAAM,CAAC,QAAQ,CAAC,MAAM,kBAAkB,KAAK,CAAC,MAAM,EAAE,EAClE,IAAI,CACL,CACF,CAAA;YACH,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAChD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAA;gBACvE,IAAI,MAAM,KAAK,IAAI;oBAAE,OAAO,MAAM,CAAA;YACpC,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;QAED,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAA;YACpC,OAAO,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;QAC5C,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/C,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;gBACxD,IAAI,MAAM,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAA;YAClC,CAAC;YACD,OAAO,GAAG,CAAC,WAAW,CAAC,gBAAgB,CAAC,sCAAsC,EAAE,IAAI,CAAC,CAAC,CAAA;QACxF,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBACrE,OAAO,GAAG,CAAC,WAAW,CAAC,gBAAgB,CAAC,wBAAwB,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAA;YACzF,MAAM,GAAG,GAAG,KAAgC,CAAA;YAC5C,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;YAC3B,IAAI,GAAG,KAAK,SAAS;gBACnB,OAAO,GAAG,CACR,WAAW,CAAC,gBAAgB,CAAC,6BAA6B,EAAE,GAAG,IAAI,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,CACrF,CAAA;YACH,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,SAAS;gBAChF,OAAO,GAAG,CACR,WAAW,CAAC,gBAAgB,CAC1B,yCAAyC,MAAM,CAAC,GAAG,CAAC,EAAE,EACtD,GAAG,IAAI,IAAI,MAAM,CAAC,GAAG,EAAE,CACxB,CACF,CAAA;YACH,qEAAqE;YACrE,sDAAsD;YACtD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAa,CAAC;gBAC1D,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAa,CAAC;gBAChC,CAAC,CAAC,SAAS,CAAA;YACb,IAAI,MAAM,KAAK,SAAS;gBACtB,OAAO,GAAG,CACR,WAAW,CAAC,gBAAgB,CAC1B,eAAe,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,EACpC,GAAG,IAAI,IAAI,MAAM,CAAC,GAAG,EAAE,CACxB,CACF,CAAA;YACH,OAAO,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;QACtC,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,WAAW,CAAC,gBAAgB,CAAC,wBAAyB,MAAc,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC,CAAA;AAChG,CAAC"}

package/dist/runtime/schema/shared.d.ts

@@ -0,0 +1,54 @@
+import { type Schema, SchemaError } from './core.js';
+export type SchemaCheck<T> = {
+    ok: true;
+    value: T;
+} | {
+    ok: false;
+    error: SchemaError;
+};
+/**
+ * Validates an untrusted serialized schema AST as a config schema: well-formed
+ * nodes only, an object at the root, no `unknown()`, no `optional()` around an
+ * object or array (an overlay needs every absence to mean exactly one thing),
+ * defaults that match their own node, and nesting of at most 8 levels.
+ * The size cap is the caller's, since only the caller sees encoded bytes.
+ */
+export declare function parseConfigSchema(value: unknown): SchemaCheck<Schema>;
+/**
+ * Derives the overlay to store or serve from operator-supplied values: drops
+ * keys the schema does not know, strips values structurally equal to the
+ * schema default, and prunes empty objects and arrays. Returns undefined when
+ * nothing deviates from the defaults. Wholesale nodes (arrays, tuples, unions)
+ * are compared and kept as units; nothing inside them is stripped.
+ */
+export declare function deriveOverlay(schema: Schema, values: unknown): unknown;
+export declare function structuralEquals(a: unknown, b: unknown): boolean;
+/**
+ * The effective config for an overlay: defaults filled in, then validated.
+ * What a registry runs before serving and what `ota.config()` runs on read.
+ */
+export declare function parseEffective(schema: Schema, overlay: unknown): SchemaCheck<unknown>;
+/**
+ * The partial defaults a schema materializes with no overrides: every field a
+ * default covers, and nothing else. Unlike parseEffective it never fails on a
+ * required defaultless field, it omits it. This is what pack bakes into the
+ * manifest and what a device reads when it holds no served document.
+ *
+ * Plain objects compose, so a nested one is included only when defaults fill
+ * it completely: a half-filled object would not validate, and the read type
+ * makes that field optional anyway. Wholesale units (array, tuple, union,
+ * taggedUnion) need a whole-value default on the node itself, matching
+ * applyDefaults, where a default inside an element or branch is a form hint.
+ * Optional fields rest on absence, so they are omitted too.
+ */
+export declare function materializeDefaults(schema: Schema): Record<string, unknown>;
+/**
+ * Human-readable warnings for what changed between two releases' config
+ * schemas, per the spec's change taxonomy (registry-spec.md, "Schema changes
+ * between releases"). Safe changes (new defaulted or optional fields, added
+ * union members, loosened requirements) produce nothing. "requires an
+ * operator" lines gate offers under rule 5 until someone supplies or fixes a
+ * value; "note" lines are compatible but worth telling the operator about.
+ */
+export declare function diffConfigSchemas(previous: Schema, next: Schema): string[];
+//# sourceMappingURL=shared.d.ts.map

package/dist/runtime/schema/shared.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../../runtime/schema/shared.ts"],"names":[],"mappings":"AAMA,OAAO,EAAmC,KAAK,MAAM,EAAE,WAAW,EAAW,MAAM,WAAW,CAAA;AAE9F,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI;IAAC,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAC,GAAG;IAAC,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAC,CAAA;AA4BnF;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAOrE;AAuJD;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,GAAG,OAAO,CAuCtE;AAkBD,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,OAAO,CAmBhE;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,CAIrF;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAE3E;AAwED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAsG1E"}