@mikrojs/native 0.18.2 → 0.19.0-pr-352.20260829215534

package/src/mikrojs.cpp

@@ -312,6 +312,7 @@ MIKRuntime* MIK_NewRuntimeInternal(MIKRunOptions* options) {
      * distinguish "unset" from "set to some object". */
     mik_rt->result_proto = JS_UNDEFINED;
     mik_rt->result_ok_void_singleton = JS_UNDEFINED;
+    mik_rt->http_body_consumed_ctor = JS_UNDEFINED;
 
     /* Default fs read cap: 64 KiB. Large enough for typical config/JSON
      * payloads on MCU; small enough that a runaway readFile() can't
@@ -361,7 +362,13 @@ MIKRuntime* MIK_NewRuntimeInternal(MIKRunOptions* options) {
     mik__udp_init(ctx);
     mik__observable_init(ctx);
 
-    /* Native mikrojs modules (replace bytecode builtins) */
+    /* Native mikrojs modules (replace bytecode builtins). The http client
+     * modules are NOT registered here: they load lazily through the C-module
+     * table in modules.cpp so virtual modules keep precedence. Schema takes
+     * the other lazy route, putting a descriptor on the native: registry,
+     * because mikro/schema keeps a small facade for its Result-returning
+     * parse(); both are resolved after the virtual-module check. */
+    mik__schema_register();
     mik__inspect_register(ctx);
     mik__pub_fs_register(ctx);
 
@@ -432,6 +439,8 @@ void MIK_FreeRuntime(MIKRuntime* mik_rt) {
     mik_rt->env_obj = JS_UNDEFINED;
     JS_FreeValue(mik_rt->ctx, mik_rt->result_ok_void_singleton);
     mik_rt->result_ok_void_singleton = JS_UNDEFINED;
+    JS_FreeValue(mik_rt->ctx, mik_rt->http_body_consumed_ctor);
+    mik_rt->http_body_consumed_ctor = JS_UNDEFINED;
     JS_FreeValue(mik_rt->ctx, mik_rt->result_proto);
     mik_rt->result_proto = JS_UNDEFINED;
     JS_FreeContext(mik_rt->ctx);
@@ -911,15 +920,32 @@ static void mik__check_pre_eval_headroom(JSContext* ctx, const char* filename) {
     if (mem.malloc_limit <= 0) return; /* No limit configured — nothing to warn about. */
 
     long headroom = (long)mem.malloc_limit - (long)mem.malloc_size;
+    /* The malloc limit is fixed at runtime creation, but the physical heap
+     * moves underneath it — the real budget is whichever ceiling is nearer.
+     * 0 means the platform can't report system memory (desktop builds). */
+    const MIKPlatform* platform = MIK_GetPlatform();
+    size_t sys_free = platform->get_free_system_mem();
+    bool sys_bound = sys_free > 0 && (long)sys_free < headroom;
+    if (sys_bound) {
+        headroom = (long)sys_free;
+    }
     if (headroom >= MIK__PRE_EVAL_HEADROOM_WARN) return;
 
-    const MIKPlatform* platform = MIK_GetPlatform();
-    platform->log(MIK_LOG_WARN, "mikrojs",
-                  "Low QuickJS heap headroom before evaluating '%s': %ld bytes left "
-                  "(%ld / %ld used). Module evaluation may fail with OOM. Lower "
-                  "`memReserved` in mikro.config.ts or split the module graph with "
-                  "dynamic imports.",
-                  filename, headroom, (long)mem.malloc_size, (long)mem.malloc_limit);
+    if (sys_bound) {
+        platform->log(MIK_LOG_WARN, "mikrojs",
+                      "Low system heap before evaluating '%s': %ld bytes free "
+                      "(QuickJS %ld / %ld used has room, but native subsystems have "
+                      "overrun the reserve). Module evaluation may fail with OOM. Raise "
+                      "`memReserved` in mikro.config.ts or free native resources.",
+                      filename, headroom, (long)mem.malloc_size, (long)mem.malloc_limit);
+    } else {
+        platform->log(MIK_LOG_WARN, "mikrojs",
+                      "Low QuickJS heap headroom before evaluating '%s': %ld bytes left "
+                      "(%ld / %ld used). Module evaluation may fail with OOM. Lower "
+                      "`memReserved` in mikro.config.ts or split the module graph with "
+                      "dynamic imports.",
+                      filename, headroom, (long)mem.malloc_size, (long)mem.malloc_limit);
+    }
 
     /* Signal the host so it can take application-level action (flash LED,
      * log metric, trigger reset, forward to telemetry). Operates on C state

package/src/modules.cpp

@@ -240,6 +240,21 @@ static JSModuleDef* mik_module_loader_inner(JSContext* ctx, const char* module_n
     }
 
     if (strncmp(mikro_prefix, module_name, strlen(mikro_prefix)) == 0) {
+        /* C-backed mikro-prefixed modules (ported from bytecode builtins). Resolved
+         * here — after the virtual-module check, before bytecode builtins —
+         * so MIK_RegisterVirtualModule keeps documented precedence and
+         * runtimes that never import them pay nothing. */
+        static const struct {
+            const char* name;
+            JSModuleDef* (*load)(JSContext* ctx);
+        } c_modules[] = {
+            {"mikro/http/helpers", mik__http_helpers_load},
+            {"mikro/http/request", mik__http_request_load},
+            {"mikro/wifi", mik__wifi_client_load},
+        };
+        for (const auto& cm : c_modules) {
+            if (strcmp(cm.name, module_name) == 0) return cm.load(ctx);
+        }
         JSModuleDef* builtin_m = mik__load_builtin(ctx, module_name);
         if (builtin_m) return builtin_m;
         /* mik__load_builtin returns NULL either because the module isn't in
@@ -960,3 +975,54 @@ bool mik__is_unloadable_namespace(JSContext* ctx, JSValueConst ns) {
     JS_FreeCString(ctx, name);
     return ok;
 }
+
+/* Load `specifier` through the module loader on behalf of `importer` and
+ * return its namespace. Goes through the loader (not the C-module table
+ * directly) so virtual-module overrides keep documented precedence.
+ *
+ * A PENDING evaluation promise is normal even for fully synchronous modules:
+ * quickjs-ng settles it through the job queue when this runs inside an outer
+ * module graph. Two invariants, picked by `require_evaluated`:
+ *  - false: the caller only stores the namespace or reads hoisted function
+ *    exports, which are safe from instantiation onward.
+ *  - true: the caller immediately reads or invokes const/class exports, so
+ *    the module body must have finished running (status EVALUATED); a module
+ *    parked in top-level await fails with a clear error instead of TDZ. */
+JSValue mik__load_module_ns(JSContext* ctx, const char* importer, const char* specifier,
+                            bool require_evaluated) {
+    JSAtom name = JS_NewAtom(ctx, specifier);
+    JSModuleDef* m = JS_FindLoadedModule(ctx, name);
+    if (!m) {
+        JSValue p = JS_LoadModule(ctx, importer, specifier);
+        if (JS_IsException(p)) {
+            /* Propagate the loader's real error (e.g. a syntax error in a
+             * virtual stub), not a generic not-available message. */
+            JS_FreeAtom(ctx, name);
+            return p;
+        }
+        if (JS_PromiseState(ctx, p) == JS_PROMISE_REJECTED) {
+            JSValue reason = JS_PromiseResult(ctx, p);
+            JS_PromiseMarkAsHandled(ctx, p);
+            JS_FreeValue(ctx, p);
+            JS_FreeAtom(ctx, name);
+            return JS_Throw(ctx, reason);
+        }
+        /* A PENDING promise (top-level-await stub) may still reject later;
+         * mark it handled so that surfaces as a load error, not as an
+         * unhandled-rejection report. Harmless for the fulfilled case. */
+        JS_PromiseMarkAsHandled(ctx, p);
+        JS_FreeValue(ctx, p);
+        m = JS_FindLoadedModule(ctx, name);
+    }
+    JS_FreeAtom(ctx, name);
+    if (!m) {
+        return JS_ThrowReferenceError(ctx, "Native module '%s' is not available", specifier);
+    }
+    /* 5 == EVALUATED; quickjs.h documents the numbering but exports no enum. */
+    if (require_evaluated && JS_GetModuleStatus(ctx, m) != 5) {
+        return JS_ThrowReferenceError(
+            ctx, "Module '%s' has not finished evaluating (top-level await is not supported here)",
+            specifier);
+    }
+    return JS_GetModuleNamespace(ctx, m);
+}

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

@@ -1,115 +0,0 @@
-declare function err<E>(error: E): {
-    ok: false;
-    error: E;
-};
-export declare const SchemaError: {
-    ValidationFailed: (message: string, path: string) => {
-        readonly name: "ValidationFailed";
-        readonly message: string;
-        readonly path: string;
-    };
-};
-export type SchemaError = ReturnType<typeof SchemaError.ValidationFailed>;
-type Primitive = string | number | boolean;
-export interface StringSchema {
-    readonly kind: 'string';
-    readonly default?: string;
-}
-export interface NumberSchema {
-    readonly kind: 'number';
-    readonly default?: number;
-}
-export interface BooleanSchema {
-    readonly kind: 'boolean';
-    readonly default?: boolean;
-}
-export interface UnknownSchema {
-    readonly kind: 'unknown';
-}
-export interface LiteralSchema<T extends Primitive = Primitive> {
-    readonly kind: 'literal';
-    readonly value: T;
-    readonly default?: T;
-}
-export interface ArraySchema<S extends Schema = Schema> {
-    readonly kind: 'array';
-    readonly element: S;
-    readonly default?: unknown;
-}
-export interface ObjectSchema<Shape extends Record<string, Schema> = Record<string, Schema>> {
-    readonly kind: 'object';
-    readonly shape: Shape;
-}
-export interface OptionalSchema<S extends Schema = Schema> {
-    readonly kind: 'optional';
-    readonly inner: S;
-}
-export interface TupleSchema<Elements extends readonly Schema[] = readonly Schema[]> {
-    readonly kind: 'tuple';
-    readonly elements: Elements;
-    readonly default?: unknown;
-}
-export interface UnionSchema<Members extends readonly Schema[] = readonly Schema[]> {
-    readonly kind: 'union';
-    readonly members: Members;
-    readonly default?: unknown;
-}
-export interface TaggedUnionSchema<Key extends string = string, Branches extends Record<string, ObjectSchema> = Record<string, ObjectSchema>> {
-    readonly kind: 'taggedUnion';
-    readonly key: Key;
-    readonly branches: Branches;
-    readonly default?: unknown;
-}
-export type Schema = StringSchema | NumberSchema | BooleanSchema | UnknownSchema | LiteralSchema | ArraySchema | ObjectSchema | OptionalSchema | TupleSchema | UnionSchema | TaggedUnionSchema;
-type Simplify<T> = {
-    [K in keyof T]: T[K];
-} & {};
-export type Infer<S> = S extends StringSchema ? string : S extends NumberSchema ? number : S extends BooleanSchema ? boolean : S extends UnknownSchema ? unknown : S extends LiteralSchema<infer T> ? T : S extends ArraySchema<infer E> ? ArraySchema extends S ? [] : Infer<E>[] : S extends ObjectSchema<infer Shape> ? ObjectSchema extends S ? object : Simplify<InferObject<Shape>> : S extends TupleSchema<infer Elements> ? InferTuple<Elements> : S extends OptionalSchema<infer Inner> ? OptionalSchema extends S ? OptionalSchema : Infer<Inner> | undefined : S extends UnionSchema<infer Members> ? InferUnion<Members> : S extends TaggedUnionSchema<infer Key, infer Branches> ? InferTaggedUnion<Key, Branches> : never;
-type InferObject<Shape> = {
-    [K in keyof Shape as Shape[K] extends OptionalSchema ? never : K]: Infer<Shape[K]>;
-} & {
-    [K in keyof Shape as Shape[K] extends OptionalSchema ? K : never]?: Infer<Shape[K]>;
-};
-type InferTuple<Elements> = Elements extends readonly [infer Head, ...infer Tail] ? [Infer<Head>, ...InferTuple<Tail>] : [];
-type InferUnion<Members> = Members extends readonly [infer Head, ...infer Tail] ? Infer<Head> | InferUnion<Tail> : never;
-type InferTaggedUnion<Key extends string, Branches> = {
-    [Tag in keyof Branches & string]: {
-        [K in Key]: Tag;
-    } & Infer<Branches[Tag]>;
-}[keyof Branches & string];
-export type InferRead<S> = S extends ObjectSchema<infer Shape> ? ObjectSchema extends S ? object : Simplify<InferReadObject<Shape>> : Infer<S>;
-type Filled<S> = S extends {
-    default: unknown;
-} ? true : S extends OptionalSchema ? false : S extends ObjectSchema<infer Shape> ? ObjectSchema extends S ? false : AllFilled<Shape> : false;
-type AllFilled<Shape> = false extends {
-    [K in keyof Shape]: Shape[K] extends OptionalSchema ? true : Filled<Shape[K]>;
-}[keyof Shape] ? false : true;
-type InferReadObject<Shape> = {
-    [K in keyof Shape as Filled<Shape[K]> extends true ? K : never]: InferRead<Shape[K]>;
-} & {
-    [K in keyof Shape as Filled<Shape[K]> extends true ? never : K]?: InferRead<Shape[K]>;
-};
-export interface ScalarOptions<T> {
-    readonly default?: T;
-}
-export interface DefaultOption<T> {
-    readonly default?: T;
-}
-type Defaulted<S, D> = [D] extends [undefined] ? S : S & {
-    readonly default: unknown;
-};
-export declare function string<D extends string | undefined = undefined>(options?: ScalarOptions<D>): Defaulted<StringSchema, D>;
-export declare function number<D extends number | undefined = undefined>(options?: ScalarOptions<D>): Defaulted<NumberSchema, D>;
-export declare function boolean<D extends boolean | undefined = undefined>(options?: ScalarOptions<D>): Defaulted<BooleanSchema, D>;
-export declare function unknown(): UnknownSchema;
-export declare function literal<T extends Primitive, D extends T | undefined = undefined>(value: T, options?: ScalarOptions<D>): Defaulted<LiteralSchema<T>, D>;
-export declare function array<S extends Schema, D extends NoInfer<Infer<S>>[] | undefined = undefined>(element: S, options?: DefaultOption<D>): Defaulted<ArraySchema<S>, D>;
-export declare function object<Shape extends Record<string, Schema>>(shape: Shape, options?: DefaultOption<never>): ObjectSchema<Shape>;
-export declare function tuple<Elements extends readonly Schema[], D extends NoInfer<Infer<TupleSchema<Elements>>> | undefined = undefined>(elements: [...Elements], options?: DefaultOption<D>): Defaulted<TupleSchema<Elements>, D>;
-export declare function optional<S extends Schema>(inner: S): OptionalSchema<S>;
-export declare function union<Members extends readonly Schema[], D extends NoInfer<Infer<UnionSchema<Members>>> | undefined = undefined>(members: [...Members], options?: DefaultOption<D>): Defaulted<UnionSchema<Members>, D>;
-export declare function taggedUnion<Key extends string, Branches extends Record<string, ObjectSchema>, D extends NoInfer<Infer<TaggedUnionSchema<Key, Branches>>> | undefined = undefined>(key: Key, branches: Branches, options?: DefaultOption<D>): Defaulted<TaggedUnionSchema<Key, Branches>, D>;
-export declare function applyDefaults(schema: Schema, value: unknown): unknown;
-export declare function validate(schema: Schema, value: unknown, path: string): ReturnType<typeof err<SchemaError>> | null;
-export {};
-//# sourceMappingURL=core.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../../../runtime/schema/core.ts"],"names":[],"mappings":"AAKA,iBAAS,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;;;EAEvB;AAED,eAAO,MAAM,WAAW;gCACM,MAAM,QAAQ,MAAM;;;;;CAEjD,CAAA;AACD,MAAM,MAAM,WAAW,GAAG,UAAU,CAAC,OAAO,WAAW,CAAC,gBAAgB,CAAC,CAAA;AAIzE,KAAK,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAA;AAO1C,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAC1B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAC1B;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAC3B;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CACzB;AAED,MAAM,WAAW,aAAa,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS;IAC5D,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;IACjB,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;CACrB;AAED,MAAM,WAAW,WAAW,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM;IACpD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAC3B;AAED,MAAM,WAAW,YAAY,CAAC,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IACzF,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CACtB;AAED,MAAM,WAAW,cAAc,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM;IACvD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAClB;AAED,MAAM,WAAW,WAAW,CAAC,QAAQ,SAAS,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE;IACjF,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAC3B;AAED,MAAM,WAAW,WAAW,CAAC,OAAO,SAAS,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE;IAChF,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAC3B;AAED,MAAM,WAAW,iBAAiB,CAChC,GAAG,SAAS,MAAM,GAAG,MAAM,EAC3B,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC;IAE5E,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAC5B,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAA;IACjB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAC3B;AAED,MAAM,MAAM,MAAM,GACd,YAAY,GACZ,YAAY,GACZ,aAAa,GACb,aAAa,GACb,aAAa,GACb,WAAW,GACX,YAAY,GACZ,cAAc,GACd,WAAW,GACX,WAAW,GACX,iBAAiB,CAAA;AAIrB,KAAK,QAAQ,CAAC,CAAC,IAAI;KAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAC,GAAG,EAAE,CAAA;AAE9C,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,YAAY,GACzC,MAAM,GACN,CAAC,SAAS,YAAY,GACpB,MAAM,GACN,CAAC,SAAS,aAAa,GACrB,OAAO,GACP,CAAC,SAAS,aAAa,GACrB,OAAO,GACP,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAC9B,CAAC,GACD,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAC5B,WAAW,SAAS,CAAC,GACnB,EAAE,GACF,KAAK,CAAC,CAAC,CAAC,EAAE,GACZ,CAAC,SAAS,YAAY,CAAC,MAAM,KAAK,CAAC,GACjC,YAAY,SAAS,CAAC,GACpB,MAAM,GACN,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,GAC9B,CAAC,SAAS,WAAW,CAAC,MAAM,QAAQ,CAAC,GACnC,UAAU,CAAC,QAAQ,CAAC,GACpB,CAAC,SAAS,cAAc,CAAC,MAAM,KAAK,CAAC,GACnC,cAAc,SAAS,CAAC,GACtB,cAAc,GACd,KAAK,CAAC,KAAK,CAAC,GAAG,SAAS,GAC1B,CAAC,SAAS,WAAW,CAAC,MAAM,OAAO,CAAC,GAClC,UAAU,CAAC,OAAO,CAAC,GACnB,CAAC,SAAS,iBAAiB,CAAC,MAAM,GAAG,EAAE,MAAM,QAAQ,CAAC,GACpD,gBAAgB,CAAC,GAAG,EAAE,QAAQ,CAAC,GAC/B,KAAK,CAAA;AAE7B,KAAK,WAAW,CAAC,KAAK,IAAI;KACvB,CAAC,IAAI,MAAM,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,SAAS,cAAc,GAAG,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CACnF,GAAG;KACD,CAAC,IAAI,MAAM,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,SAAS,cAAc,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CACpF,CAAA;AAED,KAAK,UAAU,CAAC,QAAQ,IAAI,QAAQ,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAC7E,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,GAClC,EAAE,CAAA;AAEN,KAAK,UAAU,CAAC,OAAO,IAAI,OAAO,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAC3E,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,GAC9B,KAAK,CAAA;AAET,KAAK,gBAAgB,CAAC,GAAG,SAAS,MAAM,EAAE,QAAQ,IAAI;KACnD,GAAG,IAAI,MAAM,QAAQ,GAAG,MAAM,GAAG;SAAE,CAAC,IAAI,GAAG,GAAG,GAAG;KAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;CAC3E,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAA;AAK1B,MAAM,MAAM,SAAS,CAAC,CAAC,IACrB,CAAC,SAAS,YAAY,CAAC,MAAM,KAAK,CAAC,GAC/B,YAAY,SAAS,CAAC,GACpB,MAAM,GACN,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,GAClC,KAAK,CAAC,CAAC,CAAC,CAAA;AAOd,KAAK,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS;IAAC,OAAO,EAAE,OAAO,CAAA;CAAC,GACzC,IAAI,GACJ,CAAC,SAAS,cAAc,GACtB,KAAK,GACL,CAAC,SAAS,YAAY,CAAC,MAAM,KAAK,CAAC,GACjC,YAAY,SAAS,CAAC,GACpB,KAAK,GACL,SAAS,CAAC,KAAK,CAAC,GAClB,KAAK,CAAA;AAGb,KAAK,SAAS,CAAC,KAAK,IAAI,KAAK,SAAS;KACnC,CAAC,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,SAAS,cAAc,GAAG,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CAC9E,CAAC,MAAM,KAAK,CAAC,GACV,KAAK,GACL,IAAI,CAAA;AAER,KAAK,eAAe,CAAC,KAAK,IAAI;KAC3B,CAAC,IAAI,MAAM,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CACrF,GAAG;KACD,CAAC,IAAI,MAAM,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CACtF,CAAA;AAID,MAAM,WAAW,aAAa,CAAC,CAAC;IAC9B,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;CACrB;AAED,MAAM,WAAW,aAAa,CAAC,CAAC;IAC9B,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;CACrB;AAMD,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAC,CAAA;AAyCpF,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,GAAG,SAAS,GAAG,SAAS,EAC7D,OAAO,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,GACzB,SAAS,CAAC,YAAY,EAAE,CAAC,CAAC,CAE5B;AAED,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,GAAG,SAAS,GAAG,SAAS,EAC7D,OAAO,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,GACzB,SAAS,CAAC,YAAY,EAAE,CAAC,CAAC,CAE5B;AAED,wBAAgB,OAAO,CAAC,CAAC,SAAS,OAAO,GAAG,SAAS,GAAG,SAAS,EAC/D,OAAO,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,GACzB,SAAS,CAAC,aAAa,EAAE,CAAC,CAAC,CAE7B;AAED,wBAAgB,OAAO,IAAI,aAAa,CAEvC;AAED,wBAAgB,OAAO,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,CAAC,GAAG,SAAS,GAAG,SAAS,EAC9E,KAAK,EAAE,CAAC,EACR,OAAO,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,GACzB,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAKhC;AAED,wBAAgB,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,GAAG,SAAS,EAC3F,OAAO,EAAE,CAAC,EACV,OAAO,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,GACzB,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAG9B;AAED,wBAAgB,MAAM,CAAC,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACzD,KAAK,EAAE,KAAK,EACZ,OAAO,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,GAC7B,YAAY,CAAC,KAAK,CAAC,CAOrB;AAED,wBAAgB,KAAK,CACnB,QAAQ,SAAS,SAAS,MAAM,EAAE,EAClC,CAAC,SAAS,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,SAAS,GAAG,SAAS,EACvE,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,EAAE,OAAO,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAQ1F;AAED,wBAAgB,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAKtE;AAED,wBAAgB,KAAK,CACnB,OAAO,SAAS,SAAS,MAAM,EAAE,EACjC,CAAC,SAAS,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,SAAS,GAAG,SAAS,EACtE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,EAAE,OAAO,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAQvF;AAED,wBAAgB,WAAW,CACzB,GAAG,SAAS,MAAM,EAClB,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,EAC7C,CAAC,SAAS,OAAO,CAAC,KAAK,CAAC,iBAAiB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,SAAS,GAAG,SAAS,EAElF,GAAG,EAAE,GAAG,EACR,QAAQ,EAAE,QAAQ,EAClB,OAAO,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,GACzB,SAAS,CAAC,iBAAiB,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAShD;AAUD,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAuCrE;AAUD,wBAAgB,QAAQ,CACtB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,MAAM,GACX,UAAU,CAAC,OAAO,GAAG,CAAC,WAAW,CAAC,CAAC,GAAG,IAAI,CAgI5C"}

package/dist/runtime/schema/core.js

@@ -1,259 +0,0 @@
-/* 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

@@ -1 +0,0 @@
-{"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

@@ -1,54 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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"}