@nanoforge-dev/editor 0.0.2-beta.4555742 → 0.0.2-beta.7f94b8f

package/dist/server/chunks/{schemas-CyYMWYjZ.js → schemas-CAs9LqPk.js}

@@ -1,9 +1,9 @@
 import { n as __exportAll, r as __toESM, t as __commonJSMin } from "./chunk-ByNZkrT6.js";
-import { $ as onDestroy, Ct as clsx, D as ensure_array_like, M as get$1, P as getContext, St as writable, T as derived$1, bt as unsubscribe_stores, ct as setContext, dt as spread_props, ft as store_get, g as bind_props, gt as tick, h as attributes, it as readonly$1, k as escape_html, p as attr_class, tt as props_id, w as derived, y as clsx$1 } from "./events-DeYJGjCt.js";
-import { Q as stringify$1, f as fromStore } from "./internal-DXl_jCjC.js";
-import "./exports-8wSs4fiF.js";
-import { i as invalidateAll, n as applyAction, t as afterNavigate } from "./client-BpCCCb_o.js";
-import { $ as createId, B as Spinner, F as Select, G as attachRef, H as Switch$1, I as Select_content, L as Select_item, Q as createBitsAttrs, R as Select_trigger, U as Switch_thumb, V as StyleToObject, Y as boxWith$1, Z as cn, n as Button, nt as enhance, tt as deserialize, ut as mergeProps$1 } from "./error-CFpEevfM.js";
+import { $ as onDestroy, Ct as clsx, D as ensure_array_like, M as get$1, P as getContext, St as writable, T as derived$1, bt as unsubscribe_stores, ct as setContext, dt as spread_props, ft as store_get, g as bind_props, gt as tick, h as attributes, it as readonly$1, k as escape_html, p as attr_class, tt as props_id, w as derived, y as clsx$1 } from "./events-Bhh2w-5S.js";
+import { Q as stringify$1, f as fromStore } from "./internal2-BH90KZDG.js";
+import "./exports-CWOtdr_a.js";
+import { i as invalidateAll, n as applyAction, t as afterNavigate } from "./client-C2VsBptx.js";
+import { $ as createBitsAttrs, H as StyleToObject, I as Select, K as attachRef, L as Select_content, Q as cn, R as Select_item, U as Switch$1, W as Switch_thumb, X as boxWith$1, dt as mergeProps$1, et as createId, nt as deserialize, rt as enhance, z as Select_trigger } from "./error-DWpaxupR.js";
 //#region node_modules/.pnpm/zod@4.4.3/node_modules/zod/v4/core/core.js
 var _a$1;
 function $constructor(name, initializer, params) {
@@ -3169,7 +3169,7 @@ function toJSONSchema(input, params) {
 	return finalize(ctx, input);
 }
 //#endregion
-//#region .svelte-kit/adapter-bun/chunks/loading-button.js
+//#region .svelte-kit/adapter-bun/chunks/form.svelte.js
 var labelAttrs = createBitsAttrs({
 	component: "label",
 	parts: ["root"]
@@ -6688,7 +6688,7 @@ function IsUnsafePropertyKey(key) {
 function HasPropertyKey(value, key) {
 	return IsUnsafePropertyKey(key) ? Object.prototype.hasOwnProperty.call(value, key) : key in value;
 }
-/** Returns property keys for this object via `Object.getOwnPropertyKeys({ ... })` */
+/** Returns property keys for this object via `Object.getOwnPropertyNames({ ... })` */
 function Keys(value) {
 	return Object.getOwnPropertyNames(value);
 }
@@ -7233,6 +7233,27 @@ function Infer(...args) {
 function IsInfer(value) {
 	return IsKind(value, "Infer");
 }
+/** Creates a Dependent type */
+function Dependent$1(if_, then_, else_, options = {}) {
+	return Create({ "~kind": "Dependent" }, {
+		if: if_,
+		then: then_,
+		else: else_
+	}, options);
+}
+/** Returns true if the given value is TDependent. */
+function IsDependent(value) {
+	return IsKind(value, "Dependent");
+}
+/** Extracts options from a IsDependent. */
+function DependentOptions(type) {
+	return Discard(type, [
+		"~kind",
+		"if",
+		"then",
+		"else"
+	]);
+}
 function IsTypeScriptEnumLike(value) {
 	return IsObjectNotArray(value);
 }
@@ -7461,7 +7482,7 @@ function Null(options) {
 function IsNull(value) {
 	return IsKind(value, "Null");
 }
-var NumberPattern = "-?(?:0|[1-9][0-9]*)(?:.[0-9]+)?";
+var NumberPattern = "-?(?:0|[1-9][0-9]*)(?:\\.[0-9]+)?";
 /** Creates a Number type. */
 function Number$2(options) {
 	return Create({ "~kind": "Number" }, { type: "number" }, options);
@@ -7598,24 +7619,6 @@ function FromBooleanKey(value) {
 		false: value
 	});
 }
-function FromEnumValue(value) {
-	return IsString$1(value) || IsNumber$1(value) ? Literal$1(value) : IsNull$1(value) ? Null() : Never();
-}
-function EnumValuesToVariants(values) {
-	return values.map((value) => FromEnumValue(value));
-}
-function EnumValuesToUnion(values) {
-	return Union(EnumValuesToVariants(values));
-}
-function EnumToUnion(type) {
-	return EnumValuesToUnion(type.enum);
-}
-function FromEnumKey(values, value) {
-	return FromKey(EnumValuesToUnion(values), value);
-}
-function FromIntegerKey(_key, value) {
-	return CreateRecord(IntegerKey, value);
-}
 /** Creates a Tuple type. */
 function Tuple$1(types, options = {}) {
 	const [items, minItems, additionalItems] = [
@@ -7713,18 +7716,45 @@ function DistributeUnion(types, distribution, result = []) {
 function Distribute$1(types, result = []) {
 	return TakeLeft(types, (left, right) => IsUnion(left) ? Distribute$1(right, DistributeUnion(left.anyOf, result)) : Distribute$1(right, DistributeType(left, result)), () => result);
 }
+function ExcludeType(left, right) {
+	return IsExtendsTrueLike(Extends({}, left, right)) ? [] : [left];
+}
+function ExcludeUnion(types, right) {
+	return types.reduce((result, head) => {
+		return [...result, ...ExcludeType(head, right)];
+	}, []);
+}
+function ExcludeOperation(left, right) {
+	const evaluated = EvaluateType(left);
+	return EvaluateUnion(ExcludeUnion(IsUnion(evaluated) ? evaluated.anyOf : [evaluated], right));
+}
+function EvaluateDependent(if_, then_, else_) {
+	return EvaluateUnion([Intersect([if_, then_]), ExcludeOperation(else_, if_)]);
+}
+function EvaluateEnum(values) {
+	return EvaluateUnion(values.map((value) => Literal$1(value)));
+}
 function EvaluateIntersect(types) {
 	return Broaden(Distribute$1(types));
 }
+function EvaluateTemplateLiteral(pattern) {
+	return EvaluateType(TemplateLiteralDecode(pattern));
+}
 function EvaluateUnion(types) {
 	return Broaden(types);
 }
 function EvaluateType(type) {
-	return IsIntersect(type) ? EvaluateIntersect(type.allOf) : IsUnion(type) ? EvaluateUnion(type.anyOf) : type;
+	return IsDependent(type) ? EvaluateDependent(type.if, type.then, type.else) : IsEnum(type) ? EvaluateEnum(type.enum) : IsIntersect(type) ? EvaluateIntersect(type.allOf) : IsTemplateLiteral(type) ? EvaluateTemplateLiteral(type.pattern) : IsUnion(type) ? EvaluateUnion(type.anyOf) : type;
 }
 function EvaluateUnionFast(types) {
 	return IsEqual(types.length, 1) ? types[0] : IsEqual(types.length, 0) ? Never() : Union(types);
 }
+function FromEnumKey(values, value) {
+	return FromKey(EvaluateEnum(values), value);
+}
+function FromIntegerKey(_key, value) {
+	return CreateRecord(IntegerKey, value);
+}
 function FromIntersectKey(types, value) {
 	return FromKey(EvaluateIntersect(types), value);
 }
@@ -7738,7 +7768,7 @@ function FromStringKey(key, value) {
 	return HasPropertyKey(key, "pattern") && (IsString$1(key.pattern) || key.pattern instanceof RegExp) ? CreateRecord(key.pattern.toString(), value) : CreateRecord(StringKey, value);
 }
 function FromTemplateKey(pattern, value) {
-	return IsTemplateLiteralFinite(ParsePatternIntoTypes(pattern)) ? FromKey(TemplateLiteralDecode(pattern), value) : CreateRecord(pattern, value);
+	return IsTemplateLiteralFinite(ParsePatternIntoTypes(pattern)) ? FromKey(EvaluateTemplateLiteral(pattern), value) : CreateRecord(pattern, value);
 }
 function FlattenType(type) {
 	return IsUnion(type) ? Flatten(type.anyOf) : [type];
@@ -7845,7 +7875,7 @@ function IsVoid(value) {
 	return IsKind(value, "Void");
 }
 function IntrinsicOrCall(ref, parameters) {
-	return IsEqual(ref, "Array") ? _Array_(parameters[0]) : IsEqual(ref, "AsyncIterator") ? AsyncIterator(parameters[0]) : IsEqual(ref, "Iterator") ? Iterator(parameters[0]) : IsEqual(ref, "Promise") ? _Promise_(parameters[0]) : IsEqual(ref, "Awaited") ? AwaitedDeferred(parameters[0]) : IsEqual(ref, "Capitalize") ? CapitalizeDeferred(parameters[0]) : IsEqual(ref, "ConstructorParameters") ? ConstructorParametersDeferred(parameters[0]) : IsEqual(ref, "Evaluate") ? EvaluateDeferred(parameters[0]) : IsEqual(ref, "Exclude") ? ExcludeDeferred(parameters[0], parameters[1]) : IsEqual(ref, "Extract") ? ExtractDeferred(parameters[0], parameters[1]) : IsEqual(ref, "Index") ? IndexDeferred(parameters[0], parameters[1]) : IsEqual(ref, "InstanceType") ? InstanceTypeDeferred(parameters[0]) : IsEqual(ref, "Lowercase") ? LowercaseDeferred(parameters[0]) : IsEqual(ref, "NonNullable") ? NonNullableDeferred(parameters[0]) : IsEqual(ref, "Omit") ? OmitDeferred(parameters[0], parameters[1]) : IsEqual(ref, "Options") ? OptionsDeferred(parameters[0], parameters[1]) : IsEqual(ref, "Parameters") ? ParametersDeferred(parameters[0]) : IsEqual(ref, "Partial") ? PartialDeferred(parameters[0]) : IsEqual(ref, "Pick") ? PickDeferred(parameters[0], parameters[1]) : IsEqual(ref, "Readonly") ? ReadonlyObjectDeferred(parameters[0]) : IsEqual(ref, "KeyOf") ? KeyOfDeferred(parameters[0]) : IsEqual(ref, "Record") ? RecordDeferred(parameters[0], parameters[1]) : IsEqual(ref, "Required") ? RequiredDeferred(parameters[0]) : IsEqual(ref, "ReturnType") ? ReturnTypeDeferred(parameters[0]) : IsEqual(ref, "Uncapitalize") ? UncapitalizeDeferred(parameters[0]) : IsEqual(ref, "Uppercase") ? UppercaseDeferred(parameters[0]) : CallConstruct(Ref(ref), parameters);
+	return IsEqual(ref, "Array") ? _Array_(parameters[0]) : IsEqual(ref, "AsyncIterator") ? AsyncIterator(parameters[0]) : IsEqual(ref, "Iterator") ? Iterator(parameters[0]) : IsEqual(ref, "Promise") ? _Promise_(parameters[0]) : IsEqual(ref, "Awaited") ? AwaitedDeferred(parameters[0]) : IsEqual(ref, "Capitalize") ? CapitalizeDeferred(parameters[0]) : IsEqual(ref, "ConstructorParameters") ? ConstructorParametersDeferred(parameters[0]) : IsEqual(ref, "Evaluate") ? EvaluateDeferred(parameters[0]) : IsEqual(ref, "Exclude") ? ExcludeDeferred(parameters[0], parameters[1]) : IsEqual(ref, "Extract") ? ExtractDeferred(parameters[0], parameters[1]) : IsEqual(ref, "Index") ? IndexDeferred(parameters[0], parameters[1]) : IsEqual(ref, "InstanceType") ? InstanceTypeDeferred(parameters[0]) : IsEqual(ref, "Lowercase") ? LowercaseDeferred(parameters[0]) : IsEqual(ref, "NonNullable") ? NonNullableDeferred(parameters[0]) : IsEqual(ref, "Omit") ? OmitDeferred(parameters[0], parameters[1]) : IsEqual(ref, "Parameters") ? ParametersDeferred(parameters[0]) : IsEqual(ref, "Partial") ? PartialDeferred(parameters[0]) : IsEqual(ref, "Pick") ? PickDeferred(parameters[0], parameters[1]) : IsEqual(ref, "Readonly") ? ReadonlyObjectDeferred(parameters[0]) : IsEqual(ref, "KeyOf") ? KeyOfDeferred(parameters[0]) : IsEqual(ref, "Record") ? RecordDeferred(parameters[0], parameters[1]) : IsEqual(ref, "Required") ? RequiredDeferred(parameters[0]) : IsEqual(ref, "ReturnType") ? ReturnTypeDeferred(parameters[0]) : IsEqual(ref, "Uncapitalize") ? UncapitalizeDeferred(parameters[0]) : IsEqual(ref, "Uppercase") ? UppercaseDeferred(parameters[0]) : CallConstruct(Ref(ref), parameters);
 }
 function Unreachable() {
 	throw Error("Unreachable");
@@ -8002,7 +8032,7 @@ function FactorExtends(type, extend) {
 	return IsEqual(extend.length, 3) ? ConditionalDeferred(type, extend[0], extend[1], extend[2]) : type;
 }
 function FactorWith(type, withClause) {
-	return IsArray$1(withClause) && IsEqual(withClause.length, 0) ? type : OptionsDeferred(type, withClause);
+	return IsArray$1(withClause) && IsEqual(withClause.length, 0) ? type : WithDeferred(type, withClause);
 }
 function FactorMapping(input) {
 	const [keyOf, type, indexArray, extend, withClause] = input;
@@ -8158,12 +8188,12 @@ function MappedAsMapping(input) {
 function MappedMapping(input) {
 	return IsArray$1(input[6]) && IsEqual(input[6].length, 1) ? MappedDeferred(Identifier(input[3]), input[5], input[6][0], ApplyReadonly$1(input[1], ApplyOptional$1(input[8], input[10]))) : MappedDeferred(Identifier(input[3]), input[5], Ref(input[3]), ApplyReadonly$1(input[1], ApplyOptional$1(input[8], input[10])));
 }
+function DependentMapping(input) {
+	return IsEqual(input.length, 6) ? Dependent$1(input[1], input[3], input[5]) : Dependent$1(input[1], input[3], Unknown());
+}
 function ReferenceMapping(input) {
 	return Ref(input);
 }
-function OptionsMapping(input) {
-	return OptionsDeferred(input[2], input[4]);
-}
 function JsonNumberMapping(input) {
 	return parseFloat(input);
 }
@@ -8554,9 +8584,9 @@ var Base = (input) => If(If(If(Const("(", input), ([_0, input]) => If(Type(input
 	_0,
 	_1,
 	_2
-], input]))), ([_0, input]) => [_0, input], () => If(Keyword(input), ([_0, input]) => [_0, input], () => If(_Object_(input), ([_0, input]) => [_0, input], () => If(Tuple(input), ([_0, input]) => [_0, input], () => If(TemplateLiteral$1(input), ([_0, input]) => [_0, input], () => If(Literal(input), ([_0, input]) => [_0, input], () => If(Constructor(input), ([_0, input]) => [_0, input], () => If(_Function_(input), ([_0, input]) => [_0, input], () => If(Mapped$1(input), ([_0, input]) => [_0, input], () => If(Options$1(input), ([_0, input]) => [_0, input], () => If(GenericCall(input), ([_0, input]) => [_0, input], () => If(Reference(input), ([_0, input]) => [_0, input], () => [])))))))))))), ([_0, input]) => [BaseMapping(_0), input]);
-var With = (input) => If(If(If(Const("with", input), ([_0, input]) => If(JsonObject(input), ([_1, input]) => [[_0, _1], input])), ([_0, input]) => [_0, input], () => If([[], input], ([_0, input]) => [_0, input], () => [])), ([_0, input]) => [WithMapping(_0), input]);
-var Factor = (input) => If(If(KeyOf$1(input), ([_0, input]) => If(Base(input), ([_1, input]) => If(IndexArray(input), ([_2, input]) => If(Extends$1(input), ([_3, input]) => If(With(input), ([_4, input]) => [[
+], input]))), ([_0, input]) => [_0, input], () => If(Keyword(input), ([_0, input]) => [_0, input], () => If(_Object_(input), ([_0, input]) => [_0, input], () => If(Tuple(input), ([_0, input]) => [_0, input], () => If(TemplateLiteral$1(input), ([_0, input]) => [_0, input], () => If(Literal(input), ([_0, input]) => [_0, input], () => If(Constructor(input), ([_0, input]) => [_0, input], () => If(_Function_(input), ([_0, input]) => [_0, input], () => If(Mapped$1(input), ([_0, input]) => [_0, input], () => If(Dependent(input), ([_0, input]) => [_0, input], () => If(GenericCall(input), ([_0, input]) => [_0, input], () => If(Reference(input), ([_0, input]) => [_0, input], () => [])))))))))))), ([_0, input]) => [BaseMapping(_0), input]);
+var With$1 = (input) => If(If(If(Const("with", input), ([_0, input]) => If(JsonObject(input), ([_1, input]) => [[_0, _1], input])), ([_0, input]) => [_0, input], () => If([[], input], ([_0, input]) => [_0, input], () => [])), ([_0, input]) => [WithMapping(_0), input]);
+var Factor = (input) => If(If(KeyOf$1(input), ([_0, input]) => If(Base(input), ([_1, input]) => If(IndexArray(input), ([_2, input]) => If(Extends$1(input), ([_3, input]) => If(With$1(input), ([_4, input]) => [[
 	_0,
 	_1,
 	_2,
@@ -8716,15 +8746,20 @@ var Mapped$1 = (input) => If(If(Const("{", input), ([_0, input]) => If(MappedRea
 	_11,
 	_12
 ], input]))))))))))))), ([_0, input]) => [MappedMapping(_0), input]);
-var Reference = (input) => If(Ident(input), ([_0, input]) => [ReferenceMapping(_0), input]);
-var Options$1 = (input) => If(If(Const("Options", input), ([_0, input]) => If(Const("<", input), ([_1, input]) => If(Type(input), ([_2, input]) => If(Const(",", input), ([_3, input]) => If(JsonObject(input), ([_4, input]) => If(Const(">", input), ([_5, input]) => [[
+var Dependent = (input) => If(If(If(Const("if", input), ([_0, input]) => If(Type(input), ([_1, input]) => If(Const("then", input), ([_2, input]) => If(Type(input), ([_3, input]) => If(Const("else", input), ([_4, input]) => If(Type(input), ([_5, input]) => [[
 	_0,
 	_1,
 	_2,
 	_3,
 	_4,
 	_5
-], input])))))), ([_0, input]) => [OptionsMapping(_0), input]);
+], input])))))), ([_0, input]) => [_0, input], () => If(If(Const("if", input), ([_0, input]) => If(Type(input), ([_1, input]) => If(Const("then", input), ([_2, input]) => If(Type(input), ([_3, input]) => [[
+	_0,
+	_1,
+	_2,
+	_3
+], input])))), ([_0, input]) => [_0, input], () => [])), ([_0, input]) => [DependentMapping(_0), input]);
+var Reference = (input) => If(Ident(input), ([_0, input]) => [ReferenceMapping(_0), input]);
 var JsonNumber = (input) => If(Number$1(input), ([_0, input]) => [JsonNumberMapping(_0), input]);
 var JsonBoolean = (input) => If(If(Const("true", input), ([_0, input]) => [_0, input], () => If(Const("false", input), ([_0, input]) => [_0, input], () => [])), ([_0, input]) => [JsonBooleanMapping(_0), input]);
 var JsonString = (input) => If(String$1(["\"", "'"], input), ([_0, input]) => [JsonStringMapping(_0), input]);
@@ -8751,13 +8786,13 @@ var JsonArray = (input) => If(If(Const("[", input), ([_0, input]) => If(JsonElem
 var Json = (input) => If(If(JsonNumber(input), ([_0, input]) => [_0, input], () => If(JsonBoolean(input), ([_0, input]) => [_0, input], () => If(JsonString(input), ([_0, input]) => [_0, input], () => If(JsonNull(input), ([_0, input]) => [_0, input], () => If(JsonObject(input), ([_0, input]) => [_0, input], () => If(JsonArray(input), ([_0, input]) => [_0, input], () => [])))))), ([_0, input]) => [JsonMapping(_0), input]);
 var PatternBigInt = (input) => If(Const("-?(?:0|[1-9][0-9]*)n", input), ([_0, input]) => [PatternBigIntMapping(_0), input]);
 var PatternString = (input) => If(Const(".*", input), ([_0, input]) => [PatternStringMapping(_0), input]);
-var PatternNumber = (input) => If(Const("-?(?:0|[1-9][0-9]*)(?:.[0-9]+)?", input), ([_0, input]) => [PatternNumberMapping(_0), input]);
+var PatternNumber = (input) => If(Const("-?(?:0|[1-9][0-9]*)(?:\\.[0-9]+)?", input), ([_0, input]) => [PatternNumberMapping(_0), input]);
 var PatternInteger = (input) => If(Const("-?(?:0|[1-9][0-9]*)", input), ([_0, input]) => [PatternIntegerMapping(_0), input]);
 var PatternNever = (input) => If(Const("(?!)", input), ([_0, input]) => [PatternNeverMapping(_0), input]);
 var PatternText = (input) => If(Until_1([
 	"-?(?:0|[1-9][0-9]*)n",
 	".*",
-	"-?(?:0|[1-9][0-9]*)(?:.[0-9]+)?",
+	"-?(?:0|[1-9][0-9]*)(?:\\.[0-9]+)?",
 	"-?(?:0|[1-9][0-9]*)",
 	"(?!)",
 	"(",
@@ -8858,8 +8893,8 @@ function EncodeTemplateLiteral(templatePattern, right, pattern) {
 function EncodeTemplateLiteralDeferred(types, right, pattern) {
 	return EncodeType(TemplateLiteralAction(types, {}), right, pattern);
 }
-function EncodeEnum(types, right, pattern) {
-	return EncodeUnion(EnumValuesToVariants(types), right, pattern);
+function EncodeEnum(values, right, pattern) {
+	return EncodeType(EvaluateEnum(values), right, pattern);
 }
 function EncodeUnion(types, right, pattern, result = []) {
 	return TakeLeft(types, (head, tail) => EncodeUnion(tail, right, pattern, [...result, EncodeType(head, [], "")]), () => EncodeTypes(right, `${pattern}(${JoinString(result)})`));
@@ -8945,20 +8980,23 @@ function ExtendsRightInfer(inferred, name, left, right) {
 function ExtendsRightAny(inferred, _left) {
 	return ExtendsTrue(inferred);
 }
+function ExtendsRightDependent(inferred, left, if_, then_, else_) {
+	return Match(ExtendsLeft(inferred, left, if_), (inferred) => Match(ExtendsLeft(inferred, left, then_), (inferred) => ExtendsTrue(inferred), () => ExtendsFalse()), () => Match(ExtendsLeft(inferred, left, else_), (inferred) => ExtendsTrue(inferred), () => ExtendsFalse()));
+}
 function ExtendsRightEnum(inferred, left, right) {
-	return ExtendsLeft(inferred, left, EnumValuesToUnion(right));
+	return ExtendsLeft(inferred, left, EvaluateEnum(right));
 }
 function ExtendsRightIntersect(inferred, left, right) {
 	return TakeLeft(right, (head, tail) => Match(ExtendsLeft(inferred, left, head), (inferred) => ExtendsRightIntersect(inferred, left, tail), () => ExtendsFalse()), () => ExtendsTrue(inferred));
 }
 function ExtendsRightTemplateLiteral(inferred, left, right) {
-	return ExtendsLeft(inferred, left, TemplateLiteralDecode(right));
+	return ExtendsLeft(inferred, left, EvaluateTemplateLiteral(right));
 }
 function ExtendsRightUnion(inferred, left, right) {
 	return TakeLeft(right, (head, tail) => Match(ExtendsLeft(inferred, left, head), (inferred) => ExtendsTrue(inferred), () => ExtendsRightUnion(inferred, left, tail)), () => ExtendsFalse());
 }
 function ExtendsRight(inferred, left, right) {
-	return IsAny(right) ? ExtendsRightAny(inferred, left) : IsEnum(right) ? ExtendsRightEnum(inferred, left, right.enum) : IsInfer(right) ? ExtendsRightInfer(inferred, right.name, left, right.extends) : IsIntersect(right) ? ExtendsRightIntersect(inferred, left, right.allOf) : IsTemplateLiteral(right) ? ExtendsRightTemplateLiteral(inferred, left, right.pattern) : IsUnion(right) ? ExtendsRightUnion(inferred, left, right.anyOf) : IsUnknown(right) ? ExtendsTrue(inferred) : ExtendsFalse();
+	return IsAny(right) ? ExtendsRightAny(inferred, left) : IsDependent(right) ? ExtendsRightDependent(inferred, left, right.if, right.then, right.else) : IsEnum(right) ? ExtendsRightEnum(inferred, left, right.enum) : IsInfer(right) ? ExtendsRightInfer(inferred, right.name, left, right.extends) : IsIntersect(right) ? ExtendsRightIntersect(inferred, left, right.allOf) : IsTemplateLiteral(right) ? ExtendsRightTemplateLiteral(inferred, left, right.pattern) : IsUnion(right) ? ExtendsRightUnion(inferred, left, right.anyOf) : IsUnknown(right) ? ExtendsTrue(inferred) : ExtendsFalse();
 }
 function ExtendsAny(inferred, left, right) {
 	return IsInfer(right) ? ExtendsRight(inferred, left, right) : IsAny(right) ? ExtendsTrue(inferred) : IsUnknown(right) ? ExtendsTrue(inferred) : ExtendsUnion$1(inferred);
@@ -9002,8 +9040,11 @@ function ExtendsReturnType(inferred, left, right) {
 function ExtendsConstructor(inferred, parameters, returnType, right) {
 	return IsAny(right) ? ExtendsTrue(inferred) : IsUnknown(right) ? ExtendsTrue(inferred) : IsConstructor(right) ? Match(ExtendsParameters(inferred, parameters, right["parameters"]), (inferred) => ExtendsReturnType(inferred, returnType, right["instanceType"]), () => ExtendsFalse()) : ExtendsFalse();
 }
+function ExtendsDependent(inferred, if_, then_, else_, right) {
+	return Match(ExtendsLeft(inferred, if_, right), () => ExtendsLeft(inferred, then_, right), () => ExtendsLeft(inferred, else_, right));
+}
 function ExtendsEnum(inferred, left, right) {
-	return ExtendsLeft(inferred, EnumToUnion(left), right);
+	return ExtendsLeft(inferred, EvaluateEnum(left), right);
 }
 function ExtendsFunction(inferred, parameters, returnType, right) {
 	return IsAny(right) ? ExtendsTrue(inferred) : IsUnknown(right) ? ExtendsTrue(inferred) : IsFunction(right) ? Match(ExtendsParameters(inferred, parameters, right["parameters"]), (inferred) => ExtendsReturnType(inferred, returnType, right["returnType"]), () => ExtendsFalse()) : ExtendsFalse();
@@ -9085,7 +9126,7 @@ function ExtendsSymbol(inferred, left, right) {
 	return IsSymbol(right) ? ExtendsTrue(inferred) : ExtendsRight(inferred, left, right);
 }
 function ExtendsTemplateLiteral(inferred, left, right) {
-	return ExtendsLeft(inferred, TemplateLiteralDecode(left), right);
+	return ExtendsLeft(inferred, EvaluateTemplateLiteral(left), right);
 }
 function Inferrable(name, type) {
 	return Create({ "~kind": "Inferrable" }, {
@@ -9169,7 +9210,7 @@ function ExtendsVoid(inferred, left, right) {
 	return IsVoid(right) ? ExtendsTrue(inferred) : ExtendsRight(inferred, left, right);
 }
 function ExtendsLeft(inferred, left, right) {
-	return IsAny(left) ? ExtendsAny(inferred, left, right) : IsArray(left) ? ExtendsArray(inferred, left, left.items, right) : IsAsyncIterator(left) ? ExtendsAsyncIterator(inferred, left.iteratorItems, right) : IsBigInt(left) ? ExtendsBigInt(inferred, left, right) : IsBoolean(left) ? ExtendsBoolean(inferred, left, right) : IsConstructor(left) ? ExtendsConstructor(inferred, left.parameters, left.instanceType, right) : IsEnum(left) ? ExtendsEnum(inferred, left, right) : IsFunction(left) ? ExtendsFunction(inferred, left.parameters, left.returnType, right) : IsInteger(left) ? ExtendsInteger(inferred, left, right) : IsIntersect(left) ? ExtendsIntersect(inferred, left.allOf, right) : IsIterator(left) ? ExtendsIterator(inferred, left.iteratorItems, right) : IsLiteral(left) ? ExtendsLiteral(inferred, left, right) : IsNever(left) ? ExtendsNever(inferred, left, right) : IsNull(left) ? ExtendsNull(inferred, left, right) : IsNumber(left) ? ExtendsNumber(inferred, left, right) : IsObject(left) ? ExtendsObject(inferred, left.properties, right) : IsPromise(left) ? ExtendsPromise(inferred, left.item, right) : IsString(left) ? ExtendsString(inferred, left, right) : IsSymbol(left) ? ExtendsSymbol(inferred, left, right) : IsTemplateLiteral(left) ? ExtendsTemplateLiteral(inferred, left.pattern, right) : IsTuple(left) ? ExtendsTuple(inferred, left.items, right) : IsUndefined(left) ? ExtendsUndefined(inferred, left, right) : IsUnion(left) ? ExtendsUnion(inferred, left.anyOf, right) : IsUnknown(left) ? ExtendsUnknown(inferred, left, right) : IsVoid(left) ? ExtendsVoid(inferred, left, right) : ExtendsFalse();
+	return IsAny(left) ? ExtendsAny(inferred, left, right) : IsArray(left) ? ExtendsArray(inferred, left, left.items, right) : IsAsyncIterator(left) ? ExtendsAsyncIterator(inferred, left.iteratorItems, right) : IsBigInt(left) ? ExtendsBigInt(inferred, left, right) : IsBoolean(left) ? ExtendsBoolean(inferred, left, right) : IsConstructor(left) ? ExtendsConstructor(inferred, left.parameters, left.instanceType, right) : IsDependent(left) ? ExtendsDependent(inferred, left.if, left.then, left.else, right) : IsEnum(left) ? ExtendsEnum(inferred, left.enum, right) : IsFunction(left) ? ExtendsFunction(inferred, left.parameters, left.returnType, right) : IsInteger(left) ? ExtendsInteger(inferred, left, right) : IsIntersect(left) ? ExtendsIntersect(inferred, left.allOf, right) : IsIterator(left) ? ExtendsIterator(inferred, left.iteratorItems, right) : IsLiteral(left) ? ExtendsLiteral(inferred, left, right) : IsNever(left) ? ExtendsNever(inferred, left, right) : IsNull(left) ? ExtendsNull(inferred, left, right) : IsNumber(left) ? ExtendsNumber(inferred, left, right) : IsObject(left) ? ExtendsObject(inferred, left.properties, right) : IsPromise(left) ? ExtendsPromise(inferred, left.item, right) : IsString(left) ? ExtendsString(inferred, left, right) : IsSymbol(left) ? ExtendsSymbol(inferred, left, right) : IsTemplateLiteral(left) ? ExtendsTemplateLiteral(inferred, left.pattern, right) : IsTuple(left) ? ExtendsTuple(inferred, left.items, right) : IsUndefined(left) ? ExtendsUndefined(inferred, left, right) : IsUnion(left) ? ExtendsUnion(inferred, left.anyOf, right) : IsUnknown(left) ? ExtendsUnknown(inferred, left, right) : IsVoid(left) ? ExtendsVoid(inferred, left, right) : ExtendsFalse();
 }
 function InterfaceOperation(heritage, properties) {
 	return EvaluateIntersect([...heritage, _Object_$1(properties)]);
@@ -9450,7 +9491,7 @@ function FromLiteral$2(mapping, value) {
 	return IsString$1(value) ? Literal$1(ApplyMapping(mapping, value)) : Literal$1(value);
 }
 function FromTemplateLiteral$2(mapping, pattern) {
-	return FromType$11(mapping, TemplateLiteralDecode(pattern));
+	return FromType$11(mapping, EvaluateTemplateLiteral(pattern));
 }
 function FromUnion$6(mapping, types) {
 	return Union(types.map((type) => FromType$11(mapping, type)));
@@ -9566,17 +9607,6 @@ function ExcludeDeferred(left, right, options = {}) {
 function Exclude(left, right, options = {}) {
 	return ExcludeAction(left, right, options);
 }
-function ExcludeUnionLeft(types, right) {
-	return types.reduce((result, head) => {
-		return [...result, ...ExcludeTypeLeft(head, right)];
-	}, []);
-}
-function ExcludeTypeLeft(left, right) {
-	return IsExtendsTrueLike(Extends({}, left, right)) ? [] : [left];
-}
-function ExcludeOperation(left, right) {
-	return EvaluateUnion(IsEnum(left) ? ExcludeUnionLeft(EnumValuesToVariants(left.enum), right) : IsUnion(left) ? ExcludeUnionLeft(Flatten(left.anyOf), right) : ExcludeTypeLeft(left, right));
-}
 function ExcludeAction(left, right, options) {
 	return CanInstantiate([left, right]) ? Update(ExcludeOperation(left, right), {}, options) : ExcludeDeferred(left, right, options);
 }
@@ -9591,16 +9621,17 @@ function ExtractDeferred(left, right, options = {}) {
 function Extract(left, right, options = {}) {
 	return ExtractAction(left, right, options);
 }
-function ExtractUnionLeft(types, right) {
+function ExtractType(left, right) {
+	return IsExtendsTrueLike(Extends({}, left, right)) ? [left] : [];
+}
+function ExtractUnion(types, right) {
 	return types.reduce((result, head) => {
-		return [...result, ...ExtractTypeLeft(head, right)];
+		return [...result, ...ExtractType(head, right)];
 	}, []);
 }
-function ExtractTypeLeft(left, right) {
-	return IsExtendsTrueLike(Extends({}, left, right)) ? [left] : [];
-}
 function ExtractOperation(left, right) {
-	return EvaluateUnion(IsEnum(left) ? ExtractUnionLeft(EnumValuesToVariants(left.enum), right) : IsUnion(left) ? ExtractUnionLeft(Flatten(left.anyOf), right) : ExtractTypeLeft(left, right));
+	const evaluated = EvaluateType(left);
+	return EvaluateUnion(ExtractUnion(IsUnion(evaluated) ? evaluated.anyOf : [evaluated], right));
 }
 function ExtractAction(left, right, options) {
 	return CanInstantiate([left, right]) ? Update(ExtractOperation(left, right), {}, options) : ExtractDeferred(left, right, options);
@@ -9627,6 +9658,9 @@ function Index(type, indexer_or_keys, options = {}) {
 function FromCyclic$4(defs, ref) {
 	return FromType$10(CyclicTarget(defs, ref));
 }
+function FromDependent$4(if_, then_, else_) {
+	return FromType$10(EvaluateDependent(if_, then_, else_));
+}
 function CollapseIntersectProperties(left, right) {
 	const leftKeys = Keys(left).filter((key) => !HasPropertyKey(right, key));
 	const rightKeys = Keys(right).filter((key) => !HasPropertyKey(left, key));
@@ -9671,7 +9705,7 @@ function FromUnion$5(types) {
 	return TakeLeft(types, (left, right) => ReduceVariants(right, FromType$10(left)), () => Unreachable$1());
 }
 function FromType$10(type) {
-	return IsCyclic(type) ? FromCyclic$4(type.$defs, type.$ref) : IsIntersect(type) ? FromIntersect$4(type.allOf) : IsUnion(type) ? FromUnion$5(type.anyOf) : IsTuple(type) ? FromTuple$3(type.items) : IsObject(type) ? FromObject$5(type.properties) : {};
+	return IsCyclic(type) ? FromCyclic$4(type.$defs, type.$ref) : IsDependent(type) ? FromDependent$4(type.if, type.then, type.else) : IsIntersect(type) ? FromIntersect$4(type.allOf) : IsUnion(type) ? FromUnion$5(type.anyOf) : IsTuple(type) ? FromTuple$3(type.items) : IsObject(type) ? FromObject$5(type.properties) : {};
 }
 /**
 * Collapses a type into a TObject schema. This is a lossy fast path used to
@@ -9702,13 +9736,11 @@ function FromArray$2(type, indexer) {
 function FromCyclic$3(defs, ref) {
 	return FromType$9(CyclicTarget(defs, ref));
 }
-function FromUnion$4(types) {
-	return types.reduce((result, left) => {
-		return [...result, ...FromType$9(left)];
-	}, []);
+function FromDependent$3(if_, then_, else_) {
+	return FromType$9(EvaluateDependent(if_, then_, else_));
 }
-function FromEnum(values) {
-	return FromUnion$4(EnumValuesToVariants(values));
+function FromEnum$1(values) {
+	return FromType$9(EvaluateEnum(values));
 }
 function FromIntersect$3(types) {
 	return FromType$9(EvaluateIntersect(types));
@@ -9717,10 +9749,15 @@ function FromLiteral$1(value) {
 	return [`${value}`];
 }
 function FromTemplateLiteral$1(pattern) {
-	return FromType$9(TemplateLiteralDecode(pattern));
+	return FromType$9(EvaluateTemplateLiteral(pattern));
+}
+function FromUnion$4(types) {
+	return types.reduce((result, left) => {
+		return [...result, ...FromType$9(left)];
+	}, []);
 }
 function FromType$9(type) {
-	return IsCyclic(type) ? FromCyclic$3(type.$defs, type.$ref) : IsEnum(type) ? FromEnum(type.enum) : IsIntersect(type) ? FromIntersect$3(type.allOf) : IsLiteral(type) ? FromLiteral$1(type.const) : IsTemplateLiteral(type) ? FromTemplateLiteral$1(type.pattern) : IsUnion(type) ? FromUnion$4(type.anyOf) : [];
+	return IsCyclic(type) ? FromCyclic$3(type.$defs, type.$ref) : IsDependent(type) ? FromDependent$3(type.if, type.then, type.else) : IsEnum(type) ? FromEnum$1(type.enum) : IsIntersect(type) ? FromIntersect$3(type.allOf) : IsLiteral(type) ? FromLiteral$1(type.const) : IsTemplateLiteral(type) ? FromTemplateLiteral$1(type.pattern) : IsUnion(type) ? FromUnion$4(type.anyOf) : [];
 }
 /**
 * Transforms a type meant as an Indexer into string[] array which is used by Indexable types
@@ -9789,7 +9826,7 @@ function FromType$7(type, indexer) {
 	return IsArray(type) ? FromArray$2(type.items, indexer) : IsObject(type) ? FromObject$4(type.properties, indexer) : IsTuple(type) ? FromTuple$2(type.items, indexer) : Never();
 }
 function NormalizeType$1(type) {
-	return IsCyclic(type) || IsIntersect(type) || IsUnion(type) ? CollapseToObject(type) : type;
+	return IsCyclic(type) || IsDependent(type) || IsIntersect(type) || IsUnion(type) ? CollapseToObject(type) : type;
 }
 function IndexAction(type, indexer, options) {
 	return CanInstantiate([type, indexer]) ? Update(FromType$7(NormalizeType$1(type), indexer), {}, options) : IndexDeferred(type, indexer, options);
@@ -9850,7 +9887,7 @@ function FromType$6(type) {
 	return IsAny(type) ? FromAny() : IsArray(type) ? FromArray$1(type.items) : IsObject(type) ? FromObject$3(type.properties) : IsRecord(type) ? FromRecord(type) : IsTuple(type) ? FromTuple$1(type.items) : Never();
 }
 function NormalizeType(type) {
-	return IsCyclic(type) || IsIntersect(type) || IsUnion(type) ? CollapseToObject(type) : type;
+	return IsCyclic(type) || IsDependent(type) || IsIntersect(type) || IsUnion(type) ? CollapseToObject(type) : type;
 }
 function KeyOfAction(type, options) {
 	return CanInstantiate([type]) ? Update(FromType$6(NormalizeType(type)), {}, options) : KeyOfDeferred(type, options);
@@ -9872,24 +9909,27 @@ function Mapped(identifier, type, as, property, options = {}) {
 	return MappedAction({}, { callstack: [] }, identifier, type, as, property, options);
 }
 function FromTemplateLiteral(pattern) {
-	return FromType$5(TemplateLiteralDecode(pattern));
+	return FromType$5(EvaluateTemplateLiteral(pattern));
 }
 function FromUnion$3(types) {
 	return types.reduce((result, left) => {
 		return [...result, ...FromType$5(left)];
 	}, []);
 }
+function FromEnum(values) {
+	return FromType$5(EvaluateEnum(values));
+}
 function FromLiteral(value) {
 	return IsNumber$1(value) ? [Literal$1(`${value}`)] : [Literal$1(value)];
 }
 function FromType$5(type) {
-	return IsEnum(type) ? FromUnion$3(EnumValuesToVariants(type.enum)) : IsLiteral(type) ? FromLiteral(type.const) : IsTemplateLiteral(type) ? FromTemplateLiteral(type.pattern) : IsUnion(type) ? FromUnion$3(type.anyOf) : [type];
+	return IsEnum(type) ? FromEnum(type.enum) : IsLiteral(type) ? FromLiteral(type.const) : IsTemplateLiteral(type) ? FromTemplateLiteral(type.pattern) : IsUnion(type) ? FromUnion$3(type.anyOf) : [type];
 }
 function MappedVariants(type) {
 	return FromType$5(type);
 }
 function CanonicalAs(instantiatedAs) {
-	return IsTemplateLiteral(instantiatedAs) ? TemplateLiteralDecode(instantiatedAs.pattern) : instantiatedAs;
+	return IsTemplateLiteral(instantiatedAs) ? EvaluateTemplateLiteral(instantiatedAs.pattern) : instantiatedAs;
 }
 function MappedVariant(context, state, identifier, variant, as, property) {
 	const variantContext = Assign(context, { [identifier["name"]]: variant });
@@ -9991,20 +10031,6 @@ function OmitAction(type, indexer, options) {
 function OmitInstantiate(context, state, type, indexer, options) {
 	return OmitAction(InstantiateType(context, state, type), InstantiateType(context, state, indexer), options);
 }
-/** Creates a deferred Options action. */
-function OptionsDeferred(type, options) {
-	return Deferred("Options", [type, options], {});
-}
-/** Applies an immediate Options action to the given type. */
-function Options(type, options) {
-	return OptionsAction(type, options);
-}
-function OptionsAction(type, options) {
-	return CanInstantiate([type]) ? Update(type, {}, options) : OptionsDeferred(type, options);
-}
-function OptionsInstantiate(context, state, type, options) {
-	return OptionsAction(InstantiateType(context, state, type), options);
-}
 /** Creates a deferred Parameters action. */
 function ParametersDeferred(type, options = {}) {
 	return Deferred("Parameters", [type], options);
@@ -10034,8 +10060,11 @@ function FromCyclic$2(defs, ref) {
 	const partial = FromType$3(CyclicTarget(defs, ref));
 	return Cyclic(Assign(defs, { [ref]: partial }), ref);
 }
+function FromDependent$2(if_, then_, else_) {
+	return FromType$3(EvaluateDependent(if_, then_, else_));
+}
 function FromIntersect$2(types) {
-	return EvaluateIntersect(types.map((type) => FromType$3(type)));
+	return FromType$3(EvaluateIntersect(types));
 }
 function FromUnion$2(types) {
 	return Union(types.map((type) => FromType$3(type)));
@@ -10049,7 +10078,7 @@ function FromObject$2(properties) {
 	}, {}));
 }
 function FromType$3(type) {
-	return IsCyclic(type) ? FromCyclic$2(type.$defs, type.$ref) : IsIntersect(type) ? FromIntersect$2(type.allOf) : IsUnion(type) ? FromUnion$2(type.anyOf) : IsObject(type) ? FromObject$2(type.properties) : _Object_$1({});
+	return IsCyclic(type) ? FromCyclic$2(type.$defs, type.$ref) : IsDependent(type) ? FromDependent$2(type.if, type.then, type.else) : IsIntersect(type) ? FromIntersect$2(type.allOf) : IsUnion(type) ? FromUnion$2(type.anyOf) : IsObject(type) ? FromObject$2(type.properties) : _Object_$1({});
 }
 function PartialAction(type, options) {
 	return CanInstantiate([type]) ? Update(FromType$3(type), {}, options) : PartialDeferred(type, options);
@@ -10099,8 +10128,11 @@ function FromCyclic$1(defs, ref) {
 	const partial = FromType$1(CyclicTarget(defs, ref));
 	return Cyclic(Assign(defs, { [ref]: partial }), ref);
 }
+function FromDependent$1(if_, then_, else_) {
+	return FromType$1(EvaluateDependent(if_, then_, else_));
+}
 function FromIntersect$1(types) {
-	return EvaluateIntersect(types.map((type) => FromType$1(type)));
+	return FromType$1(EvaluateIntersect(types));
 }
 function FromObject$1(properties) {
 	return _Object_$1(Keys(properties).reduce((result, left) => {
@@ -10117,7 +10149,7 @@ function FromUnion$1(types) {
 	return Union(types.map((type) => FromType$1(type)));
 }
 function FromType$1(type) {
-	return IsArray(type) ? FromArray(type.items) : IsCyclic(type) ? FromCyclic$1(type.$defs, type.$ref) : IsIntersect(type) ? FromIntersect$1(type.allOf) : IsObject(type) ? FromObject$1(type.properties) : IsTuple(type) ? FromTuple(type.items) : IsUnion(type) ? FromUnion$1(type.anyOf) : type;
+	return IsArray(type) ? FromArray(type.items) : IsCyclic(type) ? FromCyclic$1(type.$defs, type.$ref) : IsDependent(type) ? FromDependent$1(type.if, type.then, type.else) : IsIntersect(type) ? FromIntersect$1(type.allOf) : IsObject(type) ? FromObject$1(type.properties) : IsTuple(type) ? FromTuple(type.items) : IsUnion(type) ? FromUnion$1(type.anyOf) : type;
 }
 function ReadonlyObjectAction(type, options) {
 	return CanInstantiate([type]) ? Update(FromType$1(type), {}, options) : ReadonlyObjectDeferred(type);
@@ -10132,8 +10164,11 @@ function FromCyclic(defs, ref) {
 	const partial = FromType(CyclicTarget(defs, ref));
 	return Cyclic(Assign(defs, { [ref]: partial }), ref);
 }
+function FromDependent(if_, then_, else_) {
+	return FromType(EvaluateDependent(if_, then_, else_));
+}
 function FromIntersect(types) {
-	return EvaluateIntersect(types.map((type) => FromType(type)));
+	return FromType(EvaluateIntersect(types));
 }
 function FromUnion(types) {
 	return Union(types.map((type) => FromType(type)));
@@ -10147,7 +10182,7 @@ function FromObject(properties) {
 	}, {}));
 }
 function FromType(type) {
-	return IsCyclic(type) ? FromCyclic(type.$defs, type.$ref) : IsIntersect(type) ? FromIntersect(type.allOf) : IsUnion(type) ? FromUnion(type.anyOf) : IsObject(type) ? FromObject(type.properties) : _Object_$1({});
+	return IsCyclic(type) ? FromCyclic(type.$defs, type.$ref) : IsDependent(type) ? FromDependent(type.if, type.then, type.else) : IsIntersect(type) ? FromIntersect(type.allOf) : IsUnion(type) ? FromUnion(type.anyOf) : IsObject(type) ? FromObject(type.properties) : _Object_$1({});
 }
 /** Creates a deferred Required action. */
 function RequiredDeferred(type, options = {}) {
@@ -10180,6 +10215,27 @@ function ReturnTypeAction(type, options) {
 function ReturnTypeInstantiate(context, state, type, options = {}) {
 	return ReturnTypeAction(InstantiateType(context, state, type), options);
 }
+/** Creates a deferred With action. */
+function WithDeferred(type, options) {
+	return Deferred("With", [type, options], {});
+}
+/** Applies annotation options to the given type. */
+function With(type, options) {
+	return WithAction(type, options);
+}
+/**
+* @deprecated Type.Options\<T\> has been renamed to Type.With\<T\>. This type will be removed in the
+* next version of TypeBox.
+*/
+function Options(type, options) {
+	return With(type, options);
+}
+function WithAction(type, options) {
+	return CanInstantiate([type]) ? Update(type, {}, options) : WithDeferred(type, options);
+}
+function WithInstantiate(context, state, type, options) {
+	return WithAction(InstantiateType(context, state, type), options);
+}
 function SpreadElement(type) {
 	return IsRest(type) ? IsTuple(type.items) ? RestSpread(type.items.items) : IsInfer(type.items) ? [type] : IsRef(type.items) ? [type] : [Never()] : [type];
 }
@@ -10219,13 +10275,13 @@ function InstantiateTypes(context, state, types) {
 	return types.map((type) => InstantiateType(context, state, type));
 }
 function InstantiateDeferred(context, state, action, parameters, options) {
-	return IsEqual(action, "Awaited") ? AwaitedInstantiate(context, state, parameters[0], options) : IsEqual(action, "Capitalize") ? CapitalizeInstantiate(context, state, parameters[0], options) : IsEqual(action, "Conditional") ? ConditionalInstantiate(context, state, parameters[0], parameters[1], parameters[2], parameters[3], options) : IsEqual(action, "ConstructorParameters") ? ConstructorParametersInstantiate(context, state, parameters[0], options) : IsEqual(action, "Evaluate") ? EvaluateInstantiate(context, state, parameters[0], options) : IsEqual(action, "Exclude") ? ExcludeInstantiate(context, state, parameters[0], parameters[1], options) : IsEqual(action, "Extract") ? ExtractInstantiate(context, state, parameters[0], parameters[1], options) : IsEqual(action, "Index") ? IndexInstantiate(context, state, parameters[0], parameters[1], options) : IsEqual(action, "InstanceType") ? InstanceTypeInstantiate(context, state, parameters[0], options) : IsEqual(action, "Interface") ? InterfaceInstantiate(context, state, parameters[0], parameters[1], options) : IsEqual(action, "KeyOf") ? KeyOfInstantiate(context, state, parameters[0], options) : IsEqual(action, "Lowercase") ? LowercaseInstantiate(context, state, parameters[0], options) : IsEqual(action, "Mapped") ? MappedInstantiate(context, state, parameters[0], parameters[1], parameters[2], parameters[3], options) : IsEqual(action, "Module") ? ModuleInstantiate(context, state, parameters[0], options) : IsEqual(action, "NonNullable") ? NonNullableInstantiate(context, state, parameters[0], options) : IsEqual(action, "Pick") ? PickInstantiate(context, state, parameters[0], parameters[1], options) : IsEqual(action, "Options") ? OptionsInstantiate(context, state, parameters[0], parameters[1]) : IsEqual(action, "Parameters") ? ParametersInstantiate(context, state, parameters[0], options) : IsEqual(action, "Partial") ? PartialInstantiate(context, state, parameters[0], options) : IsEqual(action, "Omit") ? OmitInstantiate(context, state, parameters[0], parameters[1], options) : IsEqual(action, "ReadonlyObject") ? ReadonlyObjectInstantiate(context, state, parameters[0], options) : IsEqual(action, "Record") ? RecordInstantiate(context, state, parameters[0], parameters[1], options) : IsEqual(action, "Required") ? RequiredInstantiate(context, state, parameters[0], options) : IsEqual(action, "ReturnType") ? ReturnTypeInstantiate(context, state, parameters[0], options) : IsEqual(action, "TemplateLiteral") ? TemplateLiteralInstantiate(context, state, parameters[0], options) : IsEqual(action, "Uncapitalize") ? UncapitalizeInstantiate(context, state, parameters[0], options) : IsEqual(action, "Uppercase") ? UppercaseInstantiate(context, state, parameters[0], options) : Deferred(action, parameters, options);
+	return IsEqual(action, "Awaited") ? AwaitedInstantiate(context, state, parameters[0], options) : IsEqual(action, "Capitalize") ? CapitalizeInstantiate(context, state, parameters[0], options) : IsEqual(action, "Conditional") ? ConditionalInstantiate(context, state, parameters[0], parameters[1], parameters[2], parameters[3], options) : IsEqual(action, "ConstructorParameters") ? ConstructorParametersInstantiate(context, state, parameters[0], options) : IsEqual(action, "Evaluate") ? EvaluateInstantiate(context, state, parameters[0], options) : IsEqual(action, "Exclude") ? ExcludeInstantiate(context, state, parameters[0], parameters[1], options) : IsEqual(action, "Extract") ? ExtractInstantiate(context, state, parameters[0], parameters[1], options) : IsEqual(action, "Index") ? IndexInstantiate(context, state, parameters[0], parameters[1], options) : IsEqual(action, "InstanceType") ? InstanceTypeInstantiate(context, state, parameters[0], options) : IsEqual(action, "Interface") ? InterfaceInstantiate(context, state, parameters[0], parameters[1], options) : IsEqual(action, "KeyOf") ? KeyOfInstantiate(context, state, parameters[0], options) : IsEqual(action, "Lowercase") ? LowercaseInstantiate(context, state, parameters[0], options) : IsEqual(action, "Mapped") ? MappedInstantiate(context, state, parameters[0], parameters[1], parameters[2], parameters[3], options) : IsEqual(action, "Module") ? ModuleInstantiate(context, state, parameters[0], options) : IsEqual(action, "NonNullable") ? NonNullableInstantiate(context, state, parameters[0], options) : IsEqual(action, "Pick") ? PickInstantiate(context, state, parameters[0], parameters[1], options) : IsEqual(action, "Parameters") ? ParametersInstantiate(context, state, parameters[0], options) : IsEqual(action, "Partial") ? PartialInstantiate(context, state, parameters[0], options) : IsEqual(action, "Omit") ? OmitInstantiate(context, state, parameters[0], parameters[1], options) : IsEqual(action, "ReadonlyObject") ? ReadonlyObjectInstantiate(context, state, parameters[0], options) : IsEqual(action, "Record") ? RecordInstantiate(context, state, parameters[0], parameters[1], options) : IsEqual(action, "Required") ? RequiredInstantiate(context, state, parameters[0], options) : IsEqual(action, "ReturnType") ? ReturnTypeInstantiate(context, state, parameters[0], options) : IsEqual(action, "TemplateLiteral") ? TemplateLiteralInstantiate(context, state, parameters[0], options) : IsEqual(action, "Uncapitalize") ? UncapitalizeInstantiate(context, state, parameters[0], options) : IsEqual(action, "Uppercase") ? UppercaseInstantiate(context, state, parameters[0], options) : IsEqual(action, "With") ? WithInstantiate(context, state, parameters[0], parameters[1]) : Deferred(action, parameters, options);
 }
 function InstantiateType(context, state, input) {
 	const immutable = IsImmutable(input);
 	const modifiers = ModifierActions(input, IsReadonly(input) ? "add" : "none", IsOptional(input) ? "add" : "none");
 	const type = IsBase(modifiers[0]) ? modifiers[0].Clone() : modifiers[0];
-	const instantiated = IsRef(type) ? RefInstantiate(context, state, type, type.$ref) : IsArray(type) ? _Array_(InstantiateType(context, state, type.items), ArrayOptions(type)) : IsAsyncIterator(type) ? AsyncIterator(InstantiateType(context, state, type.iteratorItems), AsyncIteratorOptions(type)) : IsCall(type) ? CallInstantiate(context, state, type.target, type.arguments) : IsConstructor(type) ? Constructor$1(InstantiateTypes(context, state, type.parameters), InstantiateType(context, state, type.instanceType), ConstructorOptions(type)) : IsDeferred(type) ? InstantiateDeferred(context, state, type.action, type.parameters, type.options) : IsFunction(type) ? _Function_$1(InstantiateTypes(context, state, type.parameters), InstantiateType(context, state, type.returnType), FunctionOptions(type)) : IsIntersect(type) ? Intersect(InstantiateTypes(context, state, type.allOf), IntersectOptions(type)) : IsIterator(type) ? Iterator(InstantiateType(context, state, type.iteratorItems), IteratorOptions(type)) : IsObject(type) ? _Object_$1(InstantiateProperties(context, state, type.properties), ObjectOptions(type)) : IsPromise(type) ? _Promise_(InstantiateType(context, state, type.item), PromiseOptions(type)) : IsRecord(type) ? RecordFromPattern(RecordPattern(type), InstantiateType(context, state, RecordValue(type))) : IsRest(type) ? Rest(InstantiateType(context, state, type.items)) : IsTuple(type) ? Tuple$1(InstantiateElements(context, state, type.items), TupleOptions(type)) : IsUnion(type) ? Union(InstantiateTypes(context, state, type.anyOf), UnionOptions(type)) : type;
+	const instantiated = IsRef(type) ? RefInstantiate(context, state, type, type.$ref) : IsArray(type) ? _Array_(InstantiateType(context, state, type.items), ArrayOptions(type)) : IsAsyncIterator(type) ? AsyncIterator(InstantiateType(context, state, type.iteratorItems), AsyncIteratorOptions(type)) : IsCall(type) ? CallInstantiate(context, state, type.target, type.arguments) : IsConstructor(type) ? Constructor$1(InstantiateTypes(context, state, type.parameters), InstantiateType(context, state, type.instanceType), ConstructorOptions(type)) : IsDeferred(type) ? InstantiateDeferred(context, state, type.action, type.parameters, type.options) : IsFunction(type) ? _Function_$1(InstantiateTypes(context, state, type.parameters), InstantiateType(context, state, type.returnType), FunctionOptions(type)) : IsDependent(type) ? Dependent$1(InstantiateType(context, state, type.if), InstantiateType(context, state, type.then), InstantiateType(context, state, type.else), DependentOptions(type)) : IsIntersect(type) ? Intersect(InstantiateTypes(context, state, type.allOf), IntersectOptions(type)) : IsIterator(type) ? Iterator(InstantiateType(context, state, type.iteratorItems), IteratorOptions(type)) : IsObject(type) ? _Object_$1(InstantiateProperties(context, state, type.properties), ObjectOptions(type)) : IsPromise(type) ? _Promise_(InstantiateType(context, state, type.item), PromiseOptions(type)) : IsRecord(type) ? RecordFromPattern(RecordPattern(type), InstantiateType(context, state, RecordValue(type))) : IsRest(type) ? Rest(InstantiateType(context, state, type.items)) : IsTuple(type) ? Tuple$1(InstantiateElements(context, state, type.items), TupleOptions(type)) : IsUnion(type) ? Union(InstantiateTypes(context, state, type.anyOf), UnionOptions(type)) : type;
 	const withImmutable = immutable ? Immutable(instantiated) : instantiated;
 	return ApplyReadonly(modifiers[1], ApplyOptional(modifiers[2], withImmutable));
 }
@@ -10313,6 +10369,7 @@ function Script(...args) {
 	Cyclic: () => Cyclic,
 	Decode: () => Decode,
 	DecodeBuilder: () => DecodeBuilder,
+	Dependent: () => Dependent$1,
 	Encode: () => Encode,
 	EncodeBuilder: () => EncodeBuilder,
 	Enum: () => Enum,
@@ -10342,6 +10399,7 @@ function Script(...args) {
 	IsCodec: () => IsCodec,
 	IsConstructor: () => IsConstructor,
 	IsCyclic: () => IsCyclic,
+	IsDependent: () => IsDependent,
 	IsEnum: () => IsEnum,
 	IsFunction: () => IsFunction,
 	IsGeneric: () => IsGeneric,
@@ -10419,7 +10477,8 @@ function Script(...args) {
 	Unknown: () => Unknown,
 	Unsafe: () => Unsafe,
 	Uppercase: () => Uppercase,
-	Void: () => Void
+	Void: () => Void,
+	With: () => With
 })).Base;
 async function validate$1(schema, data, errorMap) {
 	const result = await schema.safeParseAsync(data, { errorMap });
@@ -10546,25 +10605,6 @@ var useForm = (config) => {
 	}));
 	return result;
 };
-function Loading_button($$renderer, $$props) {
-	let { loading = false, disabled, children, $$slots, $$events, ...restProps } = $$props;
-	Button($$renderer, spread_props([
-		{ disabled: disabled || loading },
-		restProps,
-		{
-			children: ($$renderer) => {
-				if (loading) {
-					$$renderer.push("<!--[0-->");
-					Spinner($$renderer, {});
-				} else $$renderer.push("<!--[-1-->");
-				$$renderer.push(`<!--]--> `);
-				children?.($$renderer);
-				$$renderer.push(`<!---->`);
-			},
-			$$slots: { default: true }
-		}
-	]));
-}
 //#endregion
 //#region node_modules/.pnpm/zod@4.4.3/node_modules/zod/v4/classic/iso.js
 const ZodISODateTime = /*@__PURE__*/ $constructor("ZodISODateTime", (inst, def) => {
@@ -11319,6 +11359,6 @@ function superRefine(fn, params) {
 	return /* @__PURE__ */ _superRefine(fn, params);
 }
 //#endregion
-export { Form$1 as a, FormFieldSwitch as c, string as i, Loading_button as l, boolean as n, FormField as o, object as r, FormFieldSelect as s, _enum as t, useForm as u };
+export { Form$1 as a, FormFieldSwitch as c, string as i, useForm as l, boolean as n, FormField as o, object as r, FormFieldSelect as s, _enum as t };
 
-//# sourceMappingURL=schemas-CyYMWYjZ.js.map
+//# sourceMappingURL=schemas-CAs9LqPk.js.map