elysia 2.0.0-beta.2 → 2.0.0-beta.21

package/dist/type/validator/clean-safe.js

@@ -2,19 +2,19 @@ Object.defineProperty(exports, Symbol.toStringTag, { value: 'Module' });
 const require_constants = require('../../constants.js');
 
 //#region src/type/validator/clean-safe.ts
-function schemaSome(schema, test, seen = /* @__PURE__ */ new WeakSet(), prune) {
+function schemaSome(schema, test, seen = /* @__PURE__ */ new WeakSet(), prune, conditional = false) {
 	if (!schema || typeof schema !== "object" || seen.has(schema)) return false;
 	seen.add(schema);
 	if (test(schema)) return true;
 	if (prune && prune(schema)) return false;
 	const props = schema.properties;
 	if (props) {
-		for (const k in props) if (Object.hasOwn(props, k) && schemaSome(props[k], test, seen, prune)) return true;
+		for (const k in props) if ((conditional || Object.hasOwn(props, k)) && schemaSome(props[k], test, seen, prune, conditional)) return true;
 	}
 	const items = schema.items;
 	if (Array.isArray(items)) {
-		for (const it of items) if (schemaSome(it, test, seen, prune)) return true;
-	} else if (items && schemaSome(items, test, seen, prune)) return true;
+		for (const it of items) if (schemaSome(it, test, seen, prune, conditional)) return true;
+	} else if (items && schemaSome(items, test, seen, prune, conditional)) return true;
 	for (const k of [
 		"anyOf",
 		"allOf",
@@ -22,14 +22,21 @@ function schemaSome(schema, test, seen = /* @__PURE__ */ new WeakSet(), prune) {
 	]) {
 		const arr = schema[k];
 		if (Array.isArray(arr)) {
-			for (const x of arr) if (schemaSome(x, test, seen, prune)) return true;
+			for (const x of arr) if (schemaSome(x, test, seen, prune, conditional)) return true;
 		}
 	}
-	if (schema.additionalProperties && typeof schema.additionalProperties === "object" && schemaSome(schema.additionalProperties, test, seen, prune)) return true;
-	if (schema.not && schemaSome(schema.not, test, seen, prune)) return true;
+	if (schema.additionalProperties && typeof schema.additionalProperties === "object" && schemaSome(schema.additionalProperties, test, seen, prune, conditional)) return true;
+	if (schema.not && schemaSome(schema.not, test, seen, prune, conditional)) return true;
+	if (conditional) {
+		for (const k of [
+			"if",
+			"then",
+			"else"
+		]) if (schema[k] && schemaSome(schema[k], test, seen, prune, true)) return true;
+	}
 	const pp = schema.patternProperties;
 	if (pp) {
-		for (const k in pp) if (schemaSome(pp[k], test, seen, prune)) return true;
+		for (const k in pp) if (schemaSome(pp[k], test, seen, prune, conditional)) return true;
 	}
 	return false;
 }
@@ -39,7 +46,6 @@ const schemaHasDangerousProperties = (schema) => schemaSome(schema, (node) => {
 	for (const key of require_constants.dangerousKeys) if (Object.hasOwn(properties, key)) return true;
 	return false;
 });
-const schemaContainsRef = (node, seen = /* @__PURE__ */ new WeakSet()) => schemaSome(node, (n) => !!n.$ref, seen);
 function isCleanSafeNode(node, visiting, clean) {
 	if (!node || typeof node !== "object") return true;
 	if (clean.has(node)) return true;
@@ -75,8 +81,6 @@ function isFullyClosedObject(schema) {
 }
 
 //#endregion
-exports.isCleanSafeNode = isCleanSafeNode;
 exports.isFullyClosedObject = isFullyClosedObject;
-exports.schemaContainsRef = schemaContainsRef;
 exports.schemaHasDangerousProperties = schemaHasDangerousProperties;
 exports.schemaSome = schemaSome;

package/dist/type/validator/clean-safe.mjs

@@ -1,19 +1,19 @@
 import { dangerousKeys } from "../../constants.mjs";
 
 //#region src/type/validator/clean-safe.ts
-function schemaSome(schema, test, seen = /* @__PURE__ */ new WeakSet(), prune) {
+function schemaSome(schema, test, seen = /* @__PURE__ */ new WeakSet(), prune, conditional = false) {
 	if (!schema || typeof schema !== "object" || seen.has(schema)) return false;
 	seen.add(schema);
 	if (test(schema)) return true;
 	if (prune && prune(schema)) return false;
 	const props = schema.properties;
 	if (props) {
-		for (const k in props) if (Object.hasOwn(props, k) && schemaSome(props[k], test, seen, prune)) return true;
+		for (const k in props) if ((conditional || Object.hasOwn(props, k)) && schemaSome(props[k], test, seen, prune, conditional)) return true;
 	}
 	const items = schema.items;
 	if (Array.isArray(items)) {
-		for (const it of items) if (schemaSome(it, test, seen, prune)) return true;
-	} else if (items && schemaSome(items, test, seen, prune)) return true;
+		for (const it of items) if (schemaSome(it, test, seen, prune, conditional)) return true;
+	} else if (items && schemaSome(items, test, seen, prune, conditional)) return true;
 	for (const k of [
 		"anyOf",
 		"allOf",
@@ -21,14 +21,21 @@ function schemaSome(schema, test, seen = /* @__PURE__ */ new WeakSet(), prune) {
 	]) {
 		const arr = schema[k];
 		if (Array.isArray(arr)) {
-			for (const x of arr) if (schemaSome(x, test, seen, prune)) return true;
+			for (const x of arr) if (schemaSome(x, test, seen, prune, conditional)) return true;
 		}
 	}
-	if (schema.additionalProperties && typeof schema.additionalProperties === "object" && schemaSome(schema.additionalProperties, test, seen, prune)) return true;
-	if (schema.not && schemaSome(schema.not, test, seen, prune)) return true;
+	if (schema.additionalProperties && typeof schema.additionalProperties === "object" && schemaSome(schema.additionalProperties, test, seen, prune, conditional)) return true;
+	if (schema.not && schemaSome(schema.not, test, seen, prune, conditional)) return true;
+	if (conditional) {
+		for (const k of [
+			"if",
+			"then",
+			"else"
+		]) if (schema[k] && schemaSome(schema[k], test, seen, prune, true)) return true;
+	}
 	const pp = schema.patternProperties;
 	if (pp) {
-		for (const k in pp) if (schemaSome(pp[k], test, seen, prune)) return true;
+		for (const k in pp) if (schemaSome(pp[k], test, seen, prune, conditional)) return true;
 	}
 	return false;
 }
@@ -38,7 +45,6 @@ const schemaHasDangerousProperties = (schema) => schemaSome(schema, (node) => {
 	for (const key of dangerousKeys) if (Object.hasOwn(properties, key)) return true;
 	return false;
 });
-const schemaContainsRef = (node, seen = /* @__PURE__ */ new WeakSet()) => schemaSome(node, (n) => !!n.$ref, seen);
 function isCleanSafeNode(node, visiting, clean) {
 	if (!node || typeof node !== "object") return true;
 	if (clean.has(node)) return true;
@@ -74,4 +80,4 @@ function isFullyClosedObject(schema) {
 }
 
 //#endregion
-export { isCleanSafeNode, isFullyClosedObject, schemaContainsRef, schemaHasDangerousProperties, schemaSome };
+export { isFullyClosedObject, schemaHasDangerousProperties, schemaSome };

package/dist/type/validator/custom-error.js

@@ -1,10 +1,9 @@
 Object.defineProperty(exports, Symbol.toStringTag, { value: 'Module' });
-const require_runtime = require('../../_virtual/_rolldown/runtime.js');
 const require_utils = require('../../utils.js');
 const require_error = require('../../error.js');
 const require_compile_aot = require('../../compile/aot.js');
+const require_type_typebox_value = require('../typebox-value.js');
 const require_type_validator_frozen_check = require('./frozen-check.js');
-let typebox_schema = require("typebox/schema");
 
 //#region src/type/validator/custom-error.ts
 function encodePointer(segments) {
@@ -50,18 +49,17 @@ const literalOf = (propSchema) => {
 	if ("const" in propSchema) return { value: propSchema.const };
 	if (Array.isArray(propSchema.enum) && propSchema.enum.length === 1) return { value: propSchema.enum[0] };
 };
-function computeDiscriminators(branches) {
+const findDiscriminators = (branches) => {
 	let candidates;
 	for (const branch of branches) {
-		if (!branch || !branch.properties) return;
+		if (!branch?.properties) return null;
 		const keys = /* @__PURE__ */ new Set();
 		for (const k in branch.properties) if (literalOf(branch.properties[k])) keys.add(k);
-		if (!keys.size) return;
 		if (!candidates) candidates = keys;
 		else for (const c of [...candidates]) if (!keys.has(c)) candidates.delete(c);
-		if (!candidates.size) return;
+		if (!candidates.size) return null;
 	}
-	if (!candidates || !candidates.size) return;
+	if (!candidates) return null;
 	const perBranch = branches.map(require_utils.nullObject);
 	let hasDisambiguating = false;
 	for (const key of candidates) {
@@ -73,8 +71,8 @@ function computeDiscriminators(branches) {
 		}
 		if (new Set(seenValues).size === branches.length) hasDisambiguating = true;
 	}
-	return hasDisambiguating ? perBranch : void 0;
-}
+	return hasDisambiguating ? perBranch : null;
+};
 function buildFindCustomError(schema, frozen) {
 	const nodes = collectCustomErrorNodes(schema, [], [], /* @__PURE__ */ new WeakSet());
 	if (!nodes.length) return;
@@ -85,7 +83,7 @@ function buildFindCustomError(schema, frozen) {
 		const cached = unionCheckCache.get(node);
 		if (cached) return cached;
 		try {
-			const uc = (0, typebox_schema.Compile)(node);
+			const uc = require_type_typebox_value.SchemaCompile(node);
 			const fn = (v) => uc.Check(v);
 			unionCheckCache.set(node, fn);
 			return fn;
@@ -94,10 +92,8 @@ function buildFindCustomError(schema, frozen) {
 		}
 	};
 	const discriminatorsOf = (node, branches) => {
-		if (discriminatorCache.has(node)) return discriminatorCache.get(node) ?? void 0;
-		const d = computeDiscriminators(branches) ?? null;
-		discriminatorCache.set(node, d);
-		return d ?? void 0;
+		if (!discriminatorCache.has(node)) discriminatorCache.set(node, findDiscriminators(branches));
+		return discriminatorCache.get(node) ?? void 0;
 	};
 	const checks = [];
 	for (const { path, node, each, segments, union } of nodes) {
@@ -107,7 +103,7 @@ function buildFindCustomError(schema, frozen) {
 			check = fe.c(fe.e ? require_compile_aot.reconstruct().collectExternals(node) : require_compile_aot.EMPTY_EXTERNALS);
 		} catch {}
 		else try {
-			const c = (0, typebox_schema.Compile)(node);
+			const c = require_type_typebox_value.SchemaCompile(node);
 			check = (v) => c.Check(v);
 		} catch {}
 		if (!check) continue;
@@ -176,7 +172,7 @@ function captureCustomErrors(schema) {
 	for (const { path, node, union, each } of ceNodes) {
 		if (union || each) continue;
 		try {
-			const cf = require_type_validator_frozen_check.buildFrozenCheck((0, typebox_schema.Build)(node), node);
+			const cf = require_type_validator_frozen_check.buildFrozenCheck(require_type_typebox_value.Build(node), node);
 			if (cf) entries.push({
 				path,
 				...cf

package/dist/type/validator/custom-error.mjs

@@ -1,8 +1,8 @@
 import { nullObject } from "../../utils.mjs";
 import { subValueAt } from "../../error.mjs";
 import { EMPTY_EXTERNALS, reconstruct } from "../../compile/aot.mjs";
+import { Build, SchemaCompile } from "../typebox-value.mjs";
 import { buildFrozenCheck } from "./frozen-check.mjs";
-import { Build, Compile } from "typebox/schema";
 
 //#region src/type/validator/custom-error.ts
 function encodePointer(segments) {
@@ -48,18 +48,17 @@ const literalOf = (propSchema) => {
 	if ("const" in propSchema) return { value: propSchema.const };
 	if (Array.isArray(propSchema.enum) && propSchema.enum.length === 1) return { value: propSchema.enum[0] };
 };
-function computeDiscriminators(branches) {
+const findDiscriminators = (branches) => {
 	let candidates;
 	for (const branch of branches) {
-		if (!branch || !branch.properties) return;
+		if (!branch?.properties) return null;
 		const keys = /* @__PURE__ */ new Set();
 		for (const k in branch.properties) if (literalOf(branch.properties[k])) keys.add(k);
-		if (!keys.size) return;
 		if (!candidates) candidates = keys;
 		else for (const c of [...candidates]) if (!keys.has(c)) candidates.delete(c);
-		if (!candidates.size) return;
+		if (!candidates.size) return null;
 	}
-	if (!candidates || !candidates.size) return;
+	if (!candidates) return null;
 	const perBranch = branches.map(nullObject);
 	let hasDisambiguating = false;
 	for (const key of candidates) {
@@ -71,8 +70,8 @@ function computeDiscriminators(branches) {
 		}
 		if (new Set(seenValues).size === branches.length) hasDisambiguating = true;
 	}
-	return hasDisambiguating ? perBranch : void 0;
-}
+	return hasDisambiguating ? perBranch : null;
+};
 function buildFindCustomError(schema, frozen) {
 	const nodes = collectCustomErrorNodes(schema, [], [], /* @__PURE__ */ new WeakSet());
 	if (!nodes.length) return;
@@ -83,7 +82,7 @@ function buildFindCustomError(schema, frozen) {
 		const cached = unionCheckCache.get(node);
 		if (cached) return cached;
 		try {
-			const uc = Compile(node);
+			const uc = SchemaCompile(node);
 			const fn = (v) => uc.Check(v);
 			unionCheckCache.set(node, fn);
 			return fn;
@@ -92,10 +91,8 @@ function buildFindCustomError(schema, frozen) {
 		}
 	};
 	const discriminatorsOf = (node, branches) => {
-		if (discriminatorCache.has(node)) return discriminatorCache.get(node) ?? void 0;
-		const d = computeDiscriminators(branches) ?? null;
-		discriminatorCache.set(node, d);
-		return d ?? void 0;
+		if (!discriminatorCache.has(node)) discriminatorCache.set(node, findDiscriminators(branches));
+		return discriminatorCache.get(node) ?? void 0;
 	};
 	const checks = [];
 	for (const { path, node, each, segments, union } of nodes) {
@@ -105,7 +102,7 @@ function buildFindCustomError(schema, frozen) {
 			check = fe.c(fe.e ? reconstruct().collectExternals(node) : EMPTY_EXTERNALS);
 		} catch {}
 		else try {
-			const c = Compile(node);
+			const c = SchemaCompile(node);
 			check = (v) => c.Check(v);
 		} catch {}
 		if (!check) continue;

package/dist/type/validator/default-precompute.d.ts

@@ -7,6 +7,14 @@ declare function applyPrecomputed(defaults: Record<string, unknown>, value: Reco
 declare function isEmittable(v: unknown, seen: Set<unknown>, top?: boolean): boolean;
 declare function buildDefaultClonerSource(value: unknown): string | undefined;
 declare function buildObjectDefaultMergeSource(defaults: Record<string, unknown>): string | undefined;
+/**
+ * How many emitted default-precompute sources have failed to compile.
+ *
+ * Build-time only. A non-zero count means codegen emitted source that
+ * `Function()` rejected, so those routes silently fell back to the interpreted
+ * default path — always a bug in this module, never a user error.
+ */
+declare const precomputeCompileFailures: () => number;
 declare function createDefaultCloner(value: unknown): DefaultCloner | undefined;
 declare function createObjectDefaultMerger(defaults: Record<string, unknown>): ObjectDefaultMerger | undefined;
 declare function createMergerFromSource(source: string): ((value: any) => any) | undefined;
@@ -23,4 +31,4 @@ declare function verifyPreallocatableDefault(schema: TSchema, validate?: boolean
   ms: string | undefined;
 } | undefined;
 //#endregion
-export { DefaultProbeImpl, applyPrecomputed, buildDefaultClonerSource, buildObjectDefaultMergeSource, canonical, createDefaultCloner, createMergerFromSource, createObjectDefaultMerger, isEmittable, setDefaultProbeImpl, verifyPreallocatableDefault };
+export { DefaultProbeImpl, applyPrecomputed, buildDefaultClonerSource, buildObjectDefaultMergeSource, canonical, createDefaultCloner, createMergerFromSource, createObjectDefaultMerger, isEmittable, precomputeCompileFailures, setDefaultProbeImpl, verifyPreallocatableDefault };

package/dist/type/validator/default-precompute.js

@@ -1,8 +1,9 @@
 Object.defineProperty(exports, Symbol.toStringTag, { value: 'Module' });
-const require_runtime = require('../../_virtual/_rolldown/runtime.js');
 const require_constants = require('../../constants.js');
 const require_utils = require('../../utils.js');
-let typebox_value = require("typebox/value");
+const require_universal_is_production = require('../../universal/is-production.js');
+const require_type_validator_clean_safe = require('./clean-safe.js');
+const require_type_typebox_value = require('../typebox-value.js');
 
 //#region src/type/validator/default-precompute.ts
 function isPrecomputeSafe(schema, depth = 0) {
@@ -66,64 +67,16 @@ function applyPrecomputed(defaults, value) {
 	}
 	return out;
 }
-const subtreeHasDefault = (n) => !!n && typeof n === "object" && ("default" in n || childSchemaSome(n, subtreeHasDefault));
-function childSchemaSome(n, f) {
-	if (!n || typeof n !== "object") return false;
-	if (n.properties) {
-		for (const k in n.properties) if (f(n.properties[k])) return true;
-	}
-	const items = n.items;
-	if (Array.isArray(items)) {
-		for (const it of items) if (f(it)) return true;
-	} else if (items && f(items)) return true;
-	for (const key of [
-		"anyOf",
-		"allOf",
-		"oneOf"
-	]) {
-		const arr = n[key];
-		if (Array.isArray(arr)) {
-			for (const s of arr) if (f(s)) return true;
-		}
-	}
-	if (typeof n.additionalProperties === "object" && f(n.additionalProperties)) return true;
-	if (n.patternProperties) {
-		for (const k in n.patternProperties) if (f(n.patternProperties[k])) return true;
-	}
-	for (const key of [
-		"not",
-		"if",
-		"then",
-		"else"
-	]) if (n[key] && f(n[key])) return true;
-	return false;
-}
-const hasDefaultBelow = (node) => childSchemaSome(node, subtreeHasDefault);
-function hasUnemittableDefaultValue(node) {
-	if (!node || typeof node !== "object") return false;
-	if ("default" in node && !isEmittable(node.default, /* @__PURE__ */ new Set(), true)) return true;
-	return childSchemaSome(node, hasUnemittableDefaultValue);
-}
-function containsRefLike(node, seen = /* @__PURE__ */ new WeakSet()) {
-	if (!node || typeof node !== "object" || seen.has(node)) return false;
-	seen.add(node);
-	if (node.$ref !== void 0 || node["~kind"] === "Ref" || node["~kind"] === "This" || node["~kind"] === "Cyclic") return true;
-	return childSchemaSome(node, (child) => containsRefLike(child, seen));
-}
-function hasDivergentDefaultBelow(node) {
-	const ownKey = "default" in node ? canonical(node.default) : void 0;
-	let bad = false;
-	const visit = (n) => {
-		if (!n || typeof n !== "object") return false;
-		if ("default" in n && (ownKey === void 0 || canonical(n.default) !== ownKey)) return bad = true;
-		return childSchemaSome(n, visit);
-	};
-	childSchemaSome(node, visit);
-	return bad;
-}
+const subtreeHasDefault = (node) => require_type_validator_clean_safe.schemaSome(node, (n) => "default" in n, void 0, void 0, true);
+const hasDefaultBelow = (node) => require_type_validator_clean_safe.schemaSome(node, (n) => n !== node && "default" in n, void 0, void 0, true);
+const hasUnemittableDefaultValue = (node) => require_type_validator_clean_safe.schemaSome(node, (n) => "default" in n && !isEmittable(n.default, /* @__PURE__ */ new Set(), true), void 0, void 0, true);
+const containsRefLike = (node) => require_type_validator_clean_safe.schemaSome(node, (n) => n.$ref !== void 0 || n["~kind"] === "Ref" || n["~kind"] === "This" || n["~kind"] === "Cyclic", void 0, void 0, true);
 function structuralPreallocatable(schema, depth = 0) {
 	if (!schema || typeof schema !== "object") return true;
-	if (!((schema["~kind"] === "Object" || schema.type === "object") && !schema["~codec"] && !schema["~refine"] && !Array.isArray(schema.anyOf) && !Array.isArray(schema.allOf) && !Array.isArray(schema.oneOf) && schema.$ref === void 0 && schema.if === void 0 && schema.not === void 0)) return !hasDivergentDefaultBelow(schema);
+	if (!((schema["~kind"] === "Object" || schema.type === "object") && !schema["~codec"] && !schema["~refine"] && !Array.isArray(schema.anyOf) && !Array.isArray(schema.allOf) && !Array.isArray(schema.oneOf) && schema.$ref === void 0 && schema.if === void 0 && schema.not === void 0)) {
+		const ownKey = "default" in schema ? canonical(schema.default) : void 0;
+		return !require_type_validator_clean_safe.schemaSome(schema, (n) => n !== schema && "default" in n && (ownKey === void 0 || canonical(n.default) !== ownKey), void 0, void 0, true);
+	}
 	if (depth > 0 && schema.default === void 0 && hasDefaultBelow(schema)) return false;
 	if (typeof schema.additionalProperties === "object" && subtreeHasDefault(schema.additionalProperties)) return false;
 	if (schema.patternProperties) {
@@ -258,11 +211,21 @@ function buildObjectDefaultMergeSource(defaults) {
 	if (!root) return;
 	return `(function(){${helpers.join(";")};return ${root}})()`;
 }
+let compileFailures = 0;
+/**
+* How many emitted default-precompute sources have failed to compile.
+*
+* Build-time only. A non-zero count means codegen emitted source that
+* `Function()` rejected, so those routes silently fell back to the interpreted
+* default path — always a bug in this module, never a user error.
+*/
+const precomputeCompileFailures = () => compileFailures;
 function fromSource(source) {
 	try {
 		return Function(`return ${source}`)();
-	} catch {
-		return;
+	} catch (error) {
+		compileFailures++;
+		console.warn("[Elysia] default precompute emitted source that does not compile; falling back to the interpreted default path. This is a bug, please report it:", error, ...require_universal_is_production.isProduction() ? [] : ["\nsource: " + (source.length > 512 ? source.slice(0, 512) + "…" : source)]);
 	}
 }
 function createDefaultCloner(value) {
@@ -286,20 +249,20 @@ function mergeCategory(node) {
 	if ((kind === "Array" || node.type === "array") && node.items) return !Array.isArray(node.items) && subtreeHasDefault(node.items) ? "array" : "identity";
 	return "identity";
 }
-function presentExpr(child, isObject, varName) {
-	if (child === "") return varName;
-	return isObject ? `(${varName}!==null&&typeof ${varName}==='object'&&!Array.isArray(${varName})?${child}(${varName}):${varName})` : `(Array.isArray(${varName})?${child}(${varName}):${varName})`;
-}
 function mergeExpression(schema, varName, helpers, memo) {
-	const full = (0, typebox_value.Default)(schema, void 0);
+	const full = require_type_typebox_value.Default(schema, void 0);
 	const child = emitMerger(schema, helpers, memo);
 	if (child === void 0) return;
 	const absent = full === void 0 ? void 0 : cloneExpression(full);
 	if (full !== void 0 && absent === void 0) return;
 	const isObject = mergeCategory(schema) === "object";
+	let present;
+	if (child === "") present = varName;
+	else if (isObject) present = `(${varName}!==null&&typeof ${varName}==='object'&&!Array.isArray(${varName})?${child}(${varName}):${varName})`;
+	else present = `(Array.isArray(${varName})?${child}(${varName}):${varName})`;
 	return {
 		absent,
-		present: presentExpr(child, isObject, varName),
+		present,
 		child,
 		isObject
 	};
@@ -365,14 +328,6 @@ function emitMerger(node, helpers, memo = /* @__PURE__ */ new WeakMap()) {
 	helpers[+name.slice(2)] = `function ${name}(v){if(!Array.isArray(v))return v;const o=new Array(v.length);let e;for(let i=0;i<v.length;i++){e=v[i];o[i]=${assign}}return o}`;
 	return name;
 }
-function buildMergeSource(schema) {
-	const category = mergeCategory(schema);
-	if (category !== "object" && category !== "array") return;
-	const helpers = [];
-	const root = emitMerger(schema, helpers, /* @__PURE__ */ new WeakMap());
-	if (!root) return;
-	return `(function(){${helpers.join(";")};return ${root}})()`;
-}
 let probeImpl;
 function setDefaultProbeImpl(impl) {
 	probeImpl = impl;
@@ -393,8 +348,8 @@ function verifyPreallocatableDefault(schema, validate = true) {
 	let pd;
 	let podRaw;
 	try {
-		pd = (0, typebox_value.Default)(schema, void 0);
-		podRaw = (0, typebox_value.Default)(schema, require_utils.nullObject());
+		pd = require_type_typebox_value.Default(schema, void 0);
+		podRaw = require_type_typebox_value.Default(schema, require_utils.nullObject());
 	} catch {
 		return;
 	}
@@ -404,7 +359,14 @@ function verifyPreallocatableDefault(schema, validate = true) {
 	if (containsRefLike(schema)) return;
 	if (!isEmittable(pd, /* @__PURE__ */ new Set(), true) || pod !== void 0 && !isEmittable(pod, /* @__PURE__ */ new Set(), true)) return;
 	const nullDefault = isPrecomputeSafe(schema);
-	let ms = buildMergeSource(schema);
+	let ms;
+	const category = mergeCategory(schema);
+	if (category !== "object" && category !== "array") ms = void 0;
+	else {
+		const helpers = [];
+		const root = emitMerger(schema, helpers, /* @__PURE__ */ new WeakMap());
+		ms = root ? `(function(){${helpers.join(";")};return ${root}})()` : void 0;
+	}
 	if (ms !== void 0 && validate && !probe().validateMergeSource(schema, ms)) ms = void 0;
 	if (!nullDefault && ms === void 0) {
 		if (!rootIsObject) return;
@@ -428,5 +390,6 @@ exports.createDefaultCloner = createDefaultCloner;
 exports.createMergerFromSource = createMergerFromSource;
 exports.createObjectDefaultMerger = createObjectDefaultMerger;
 exports.isEmittable = isEmittable;
+exports.precomputeCompileFailures = precomputeCompileFailures;
 exports.setDefaultProbeImpl = setDefaultProbeImpl;
 exports.verifyPreallocatableDefault = verifyPreallocatableDefault;