@powerlines/schema 0.8.67 → 0.9.0

package/dist/reflection.mjs

@@ -2,120 +2,146 @@ import { ReflectionKind, TypeNumberBrand } from "@powerlines/deepkit/vendor/type
 
 //#region src/reflection.ts
 /**
-* Converts a Deepkit type reflection into a JSON Schema representation.
+* Maps a Deepkit numeric `brand` to the JTD numeric `type` keyword that best preserves the underlying width and signedness.
+*
+* @param brand - The Deepkit `TypeNumberBrand` of a numeric reflection, or `undefined` when no brand is set.
+* @returns The JTD numeric `type` keyword to use.
+*/
+function numberBrandToJtdType(brand) {
+	switch (brand) {
+		case TypeNumberBrand.integer: return "int32";
+		case TypeNumberBrand.int8: return "int8";
+		case TypeNumberBrand.uint8: return "uint8";
+		case TypeNumberBrand.int16: return "int16";
+		case TypeNumberBrand.uint16: return "uint16";
+		case TypeNumberBrand.int32: return "int32";
+		case TypeNumberBrand.uint32: return "uint32";
+		case TypeNumberBrand.float:
+		case TypeNumberBrand.float32: return "float32";
+		case TypeNumberBrand.float64: return "float64";
+		case void 0:
+		default: return "float64";
+	}
+}
+/**
+* Attaches a `description` annotation to a JTD form's `metadata` bag.
+*
+* @param form - The JTD form to decorate.
+* @param description - The description text, or `undefined` to skip.
+* @returns The same JTD form, decorated when a description was provided.
+*/
+function attachDescription(form, description) {
+	if (!description) return form;
+	const metadata = form.metadata ?? {};
+	metadata.description = description;
+	form.metadata = metadata;
+	return form;
+}
+/**
+* Converts a Deepkit type reflection into a JSON Type Definition (RFC 8927) form suitable for AJV's JTD validator.
+*
+* @remarks
+* Some TypeScript constructs have no direct JTD equivalent and are handled with the closest available form:
+*
+* - `null` and `undefined` become the empty JTD form with `nullable: true`.
+* - Unions of primitives that cannot be expressed as a JTD enum collapse to the empty form (which validates any value).
+* - String/number/bigint literal unions are emitted as a JTD enum (non-string members are stringified, as JTD requires string enum members).
+* - Tuples are emitted as a JTD elements form whose element schema is the single tuple member type, or the empty schema for mixed tuples.
+* - `Date` is emitted as `{ type: "timestamp" }`.
+* - Discriminated unions of object literals (a shared string-literal tag property) are emitted as a JTD discriminator form.
 *
 * @param reflection - The Deepkit type reflection to convert.
-* @returns The corresponding JSON Schema representation, or `undefined` if the type cannot be represented.
+* @returns The corresponding JTD form, or `undefined` if the type cannot be represented.
 */
 function reflectionToJsonSchema(reflection) {
+	return reflectionToJtd(reflection);
+}
+/**
+* Internal worker that performs the recursive Deepkit reflection → JTD conversion.
+*
+* @param reflection - The Deepkit type reflection to convert.
+* @returns The corresponding JTD form, or `undefined` if the type cannot be represented.
+*/
+function reflectionToJtd(reflection) {
 	switch (reflection.kind) {
 		case ReflectionKind.any:
 		case ReflectionKind.unknown:
 		case ReflectionKind.void:
 		case ReflectionKind.object: return {};
-		case ReflectionKind.never:
-		case ReflectionKind.undefined: return { not: {} };
-		case ReflectionKind.null: return { type: "null" };
+		case ReflectionKind.never: return;
+		case ReflectionKind.undefined:
+		case ReflectionKind.null: return { nullable: true };
 		case ReflectionKind.string: return { type: "string" };
 		case ReflectionKind.boolean: return { type: "boolean" };
-		case ReflectionKind.number: {
-			const brand = reflection.brand;
-			return { type: brand !== void 0 && brand >= TypeNumberBrand.integer && brand <= TypeNumberBrand.uint32 ? "integer" : "number" };
-		}
-		case ReflectionKind.bigint: return {
-			type: "integer",
-			format: "int64"
-		};
+		case ReflectionKind.number: return { type: numberBrandToJtdType(reflection.brand) };
+		case ReflectionKind.bigint: return { type: "float64" };
 		case ReflectionKind.regexp: return { type: "string" };
 		case ReflectionKind.literal: {
 			const { literal } = reflection;
-			if (typeof literal === "string") return {
-				type: "string",
-				const: literal
-			};
-			if (typeof literal === "number") return {
-				type: Number.isInteger(literal) ? "integer" : "number",
-				const: literal
-			};
-			if (typeof literal === "boolean") return {
-				type: "boolean",
-				const: literal
-			};
-			if (typeof literal === "bigint") return {
-				type: "integer",
-				format: "int64"
-			};
-			if (literal instanceof RegExp) return {
-				type: "string",
-				pattern: literal.source
-			};
+			if (typeof literal === "string") return { enum: [literal] };
+			if (typeof literal === "number" || typeof literal === "bigint") return { enum: [String(literal)] };
+			if (typeof literal === "boolean") return { type: "boolean" };
+			if (literal instanceof RegExp) return { type: "string" };
 			return {};
 		}
 		case ReflectionKind.templateLiteral: return { type: "string" };
 		case ReflectionKind.enum: {
-			const values = reflection.values.filter((value) => typeof value === "string" || typeof value === "number");
-			const allStrings = values.every((value) => typeof value === "string");
-			const allNumbers = values.every((value) => typeof value === "number");
-			return {
-				type: allStrings ? "string" : allNumbers ? "number" : ["string", "number"],
-				enum: values
-			};
+			const values = reflection.values.filter((value) => typeof value === "string" || typeof value === "number").map((value) => String(value));
+			const unique = Array.from(new Set(values));
+			if (unique.length === 0) return {};
+			return { enum: unique };
 		}
-		case ReflectionKind.array: {
-			const items = reflectionToJsonSchema(reflection.type);
-			return items ? {
-				type: "array",
-				items
-			} : { type: "array" };
+		case ReflectionKind.array: return { elements: reflectionToJtd(reflection.type) ?? {} };
+		case ReflectionKind.tuple: {
+			const items = reflection.types.map((member) => reflectionToJtd(member.type)).filter((item) => item !== void 0);
+			if (items.length === 0) return { elements: {} };
+			if (items.length === 1) return { elements: items[0] };
+			return { elements: {} };
 		}
-		case ReflectionKind.tuple: return {
-			type: "array",
-			items: reflection.types.map((member) => reflectionToJsonSchema(member.type)).filter((item) => item !== void 0),
-			minItems: reflection.types.filter((member) => !member.optional).length,
-			maxItems: reflection.types.length
-		};
 		case ReflectionKind.union: {
-			const anyOf = reflection.types.map((inner) => reflectionToJsonSchema(inner)).filter((item) => item !== void 0);
-			if (anyOf.length === 0) return;
-			if (anyOf.length === 1) return anyOf[0];
-			return { anyOf };
+			const branches = reflection.types.map((inner) => reflectionToJtd(inner)).filter((item) => item !== void 0);
+			const nullable = reflection.types.some((inner) => inner.kind === ReflectionKind.null || inner.kind === ReflectionKind.undefined);
+			const nonNull = branches.filter((b) => !isPureNullable(b));
+			if (nonNull.length === 0) return { nullable: true };
+			if (nonNull.length === 1) {
+				const only = nonNull[0];
+				if (nullable) only.nullable = true;
+				return only;
+			}
+			if (nonNull.every(isEnumForm)) {
+				const form = { enum: Array.from(new Set(nonNull.flatMap((b) => b.enum))) };
+				if (nullable) form.nullable = true;
+				return form;
+			}
+			const discriminator = tryReflectionDiscriminator(reflection.types);
+			if (discriminator) {
+				if (nullable) discriminator.nullable = true;
+				return discriminator;
+			}
+			const fallback = {};
+			if (nullable) fallback.nullable = true;
+			return fallback;
 		}
 		case ReflectionKind.intersection: {
-			const allOf = reflection.types.map((inner) => reflectionToJsonSchema(inner)).filter((item) => item !== void 0);
-			if (allOf.length === 0) return;
-			if (allOf.length === 1) return allOf[0];
-			return { allOf };
+			const members = reflection.types.map((inner) => reflectionToJtd(inner)).filter((item) => item !== void 0);
+			if (members.length === 0) return;
+			if (members.length === 1) return members[0];
+			if (members.every(isPropertiesForm)) return mergePropertiesForms(members);
+			return members[0];
 		}
-		case ReflectionKind.promise: return reflectionToJsonSchema(reflection.type);
-		case ReflectionKind.objectLiteral: return objectReflectionToJsonSchema(reflection);
+		case ReflectionKind.promise: return reflectionToJtd(reflection.type);
+		case ReflectionKind.objectLiteral: return objectReflectionToJtd(reflection);
 		case ReflectionKind.class: switch (reflection.classType?.name) {
-			case "Date": return {
-				type: "string",
-				format: "date-time"
-			};
+			case "Date": return { type: "timestamp" };
 			case "RegExp": return { type: "string" };
-			case "URL": return {
-				type: "string",
-				format: "uri"
-			};
+			case "URL": return { type: "string" };
 			case "Set": {
 				const itemType = reflection.arguments?.[0];
-				const items = itemType ? reflectionToJsonSchema(itemType) : void 0;
-				return items ? {
-					type: "array",
-					uniqueItems: true,
-					items
-				} : {
-					type: "array",
-					uniqueItems: true
-				};
+				return { elements: (itemType ? reflectionToJtd(itemType) : void 0) ?? {} };
 			}
 			case "Map": {
 				const valueType = reflection.arguments?.[1];
-				const additionalProperties = valueType ? reflectionToJsonSchema(valueType) : void 0;
-				const schema = { type: "object" };
-				if (additionalProperties) schema.additionalProperties = additionalProperties;
-				return schema;
+				return { values: (valueType ? reflectionToJtd(valueType) : void 0) ?? {} };
 			}
 			case "Uint8Array":
 			case "Uint8ClampedArray":
@@ -127,12 +153,9 @@ function reflectionToJsonSchema(reflection) {
 			case "Float32Array":
 			case "Float64Array":
 			case "BigInt64Array":
-			case "BigUint64Array": return {
-				type: "string",
-				contentEncoding: "base64"
-			};
+			case "BigUint64Array": return { type: "string" };
 			case void 0:
-			default: return objectReflectionToJsonSchema(reflection);
+			default: return objectReflectionToJtd(reflection);
 		}
 		case ReflectionKind.symbol:
 		case ReflectionKind.property:
@@ -152,36 +175,134 @@ function reflectionToJsonSchema(reflection) {
 	}
 }
 /**
-* Builds a JSON Schema object representation from a Deepkit class or object literal type.
+* Tests whether a JTD form is an enum form.
+*
+* @param form - The JTD form to inspect.
+* @returns `true` if the form is a JTD enum form.
+*/
+function isEnumForm(form) {
+	return Array.isArray(form.enum);
+}
+/**
+* Tests whether a JTD form is a properties form (object).
+*
+* @param form - The JTD form to inspect.
+* @returns `true` if the form is a JTD properties form.
+*/
+function isPropertiesForm(form) {
+	return "properties" in form || "optionalProperties" in form;
+}
+/**
+* Tests whether a JTD form is the empty `{ nullable: true }` placeholder.
+*
+* @param form - The JTD form to inspect.
+* @returns `true` if the form has no shape constraints beyond `nullable`.
+*/
+function isPureNullable(form) {
+	return Object.keys(form).filter((k) => k !== "nullable" && k !== "metadata").length === 0 && form.nullable === true;
+}
+/**
+* Shallow-merges two JTD properties forms, unioning their `properties` and `optionalProperties` maps.
+*
+* @param forms - The JTD properties forms to merge.
+* @returns The merged JTD properties form.
+*/
+function mergePropertiesForms(forms) {
+	const merged = {
+		properties: {},
+		optionalProperties: {}
+	};
+	for (const form of forms) {
+		const p = form.properties;
+		const o = form.optionalProperties;
+		if (p) Object.assign(merged.properties, p);
+		if (o) Object.assign(merged.optionalProperties, o);
+		if (form.additionalProperties) merged.additionalProperties = true;
+	}
+	const hasProperties = Object.keys(merged.properties).length > 0;
+	const hasOptional = Object.keys(merged.optionalProperties).length > 0;
+	const result = {};
+	if (hasProperties) result.properties = merged.properties;
+	else if (!hasOptional) result.properties = {};
+	if (hasOptional) result.optionalProperties = merged.optionalProperties;
+	if (merged.additionalProperties) result.additionalProperties = true;
+	return result;
+}
+/**
+* Detects whether a Deepkit union represents a tagged union and, when so, emits the corresponding JTD discriminator form.
+*
+* @param types - The Deepkit reflection types that make up the union branches.
+* @returns A JTD discriminator form if every non-null branch is an object literal that shares a string-literal tag property, otherwise `undefined`.
+*/
+function tryReflectionDiscriminator(types) {
+	const nonNullTypes = types.filter((t) => t.kind !== ReflectionKind.null && t.kind !== ReflectionKind.undefined);
+	const objectBranches = nonNullTypes.filter((t) => t.kind === ReflectionKind.objectLiteral || t.kind === ReflectionKind.class);
+	if (objectBranches.length < 2 || objectBranches.length !== nonNullTypes.length) return;
+	let tagKey;
+	const mapping = {};
+	for (const branch of objectBranches) {
+		const literalProps = [];
+		for (const member of branch.types) if ((member.kind === ReflectionKind.property || member.kind === ReflectionKind.propertySignature) && typeof member.name === "string" && member.type.kind === ReflectionKind.literal && typeof member.type.literal === "string") literalProps.push({
+			name: member.name,
+			literal: member.type.literal
+		});
+		if (literalProps.length === 0) return;
+		const first = literalProps[0];
+		if (!tagKey) tagKey = first.name;
+		else if (tagKey !== first.name) return;
+		const body = objectReflectionToJtd({
+			...branch,
+			types: branch.types.filter((member) => !((member.kind === ReflectionKind.property || member.kind === ReflectionKind.propertySignature) && member.name === tagKey))
+		});
+		if (!body || !isPropertiesForm(body)) return;
+		mapping[first.literal] = body;
+	}
+	if (!tagKey) return;
+	return {
+		discriminator: tagKey,
+		mapping
+	};
+}
+/**
+* Builds a JTD properties form from a Deepkit class or object literal type.
 *
 * @param type - The class or object literal type whose members should be serialized.
-* @returns A JSON Schema object describing the type's properties.
+* @returns A JTD properties form describing the type's members.
 */
 function objectReflectionToJsonSchema(type) {
+	return objectReflectionToJtd(type);
+}
+/**
+* Internal worker that produces a JTD properties form (or `values` form for index signatures alone) from a Deepkit object-like type.
+*
+* @param type - The class or object literal type whose members should be serialized.
+* @returns A JTD properties or values form describing the type's members.
+*/
+function objectReflectionToJtd(type) {
 	const properties = {};
-	const required = [];
-	let additionalProperties;
+	const optionalProperties = {};
+	let indexValueSchema;
 	const description = "description" in type && typeof type.description === "string" ? type.description : void 0;
 	for (const member of type.types) if (member.kind === ReflectionKind.property || member.kind === ReflectionKind.propertySignature) {
-		const property = member;
-		if (typeof property.name !== "string") continue;
-		const propertySchema = reflectionToJsonSchema(property.type);
+		if (typeof member.name !== "string") continue;
+		const propertySchema = reflectionToJtd(member.type);
 		if (!propertySchema) continue;
-		if (typeof property.description === "string") propertySchema.description = property.description;
-		properties[property.name] = propertySchema;
-		if (!property.optional) required.push(property.name);
+		if (typeof member.description === "string") attachDescription(propertySchema, member.description);
+		if (member.optional) optionalProperties[member.name] = propertySchema;
+		else properties[member.name] = propertySchema;
 	} else if (member.kind === ReflectionKind.indexSignature) {
-		const valueSchema = reflectionToJsonSchema(member.type);
-		if (valueSchema) additionalProperties = valueSchema;
+		const valueSchema = reflectionToJtd(member.type);
+		if (valueSchema) indexValueSchema = valueSchema;
 	}
-	const schema = {
-		type: "object",
-		properties
-	};
-	if (required.length > 0) schema.required = required;
-	if (additionalProperties !== void 0) schema.additionalProperties = additionalProperties;
-	if (description) schema.description = description;
-	return schema;
+	const hasProperties = Object.keys(properties).length > 0;
+	const hasOptional = Object.keys(optionalProperties).length > 0;
+	if (!hasProperties && !hasOptional && indexValueSchema) return attachDescription({ values: indexValueSchema }, description);
+	const form = {};
+	if (hasProperties) form.properties = properties;
+	else if (!hasOptional) form.properties = {};
+	if (hasOptional) form.optionalProperties = optionalProperties;
+	if (indexValueSchema) form.additionalProperties = true;
+	return attachDescription(form, description);
 }
 
 //#endregion

package/dist/reflection.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"reflection.mjs","names":["indexSignature"],"sources":["../src/reflection.ts"],"sourcesContent":["/* -------------------------------------------------------------------\n\n                   ⚡ Storm Software - Powerlines\n\n This code was released as part of the Powerlines project. Powerlines\n is maintained by Storm Software under the Apache-2.0 license, and is\n free for commercial and private use. For more information, please visit\n our licensing page at https://stormsoftware.com/licenses/projects/powerlines.\n\n Website:                  https://stormsoftware.com\n Repository:               https://github.com/storm-software/powerlines\n Documentation:            https://docs.stormsoftware.com/projects/powerlines\n Contact:                  https://stormsoftware.com/contact\n\n SPDX-License-Identifier:  Apache-2.0\n\n ------------------------------------------------------------------- */\n\nimport type { Type, TypeClass } from \"@powerlines/deepkit/vendor/type\";\nimport {\n  ReflectionKind,\n  TypeNumberBrand,\n  TypeObjectLiteral\n} from \"@powerlines/deepkit/vendor/type\";\nimport { JsonSchema7Type } from \"@stryke/json/types\";\n\n/**\n * Converts a Deepkit type reflection into a JSON Schema representation.\n *\n * @param reflection - The Deepkit type reflection to convert.\n * @returns The corresponding JSON Schema representation, or `undefined` if the type cannot be represented.\n */\nexport function reflectionToJsonSchema(\n  reflection: Type\n): JsonSchema7Type | undefined {\n  switch (reflection.kind) {\n    case ReflectionKind.any:\n    case ReflectionKind.unknown:\n    case ReflectionKind.void:\n    case ReflectionKind.object:\n      return {};\n    case ReflectionKind.never:\n    case ReflectionKind.undefined:\n      return { not: {} };\n    case ReflectionKind.null:\n      return { type: \"null\" };\n    case ReflectionKind.string:\n      return { type: \"string\" };\n    case ReflectionKind.boolean:\n      return { type: \"boolean\" };\n    case ReflectionKind.number: {\n      const brand = reflection.brand;\n      const isInteger =\n        brand !== undefined &&\n        brand >= TypeNumberBrand.integer &&\n        brand <= TypeNumberBrand.uint32;\n\n      return { type: isInteger ? \"integer\" : \"number\" };\n    }\n    case ReflectionKind.bigint:\n      return { type: \"integer\", format: \"int64\" };\n    case ReflectionKind.regexp:\n      return { type: \"string\" };\n    case ReflectionKind.literal: {\n      const { literal } = reflection;\n      if (typeof literal === \"string\") {\n        return { type: \"string\", const: literal };\n      }\n      if (typeof literal === \"number\") {\n        return {\n          type: Number.isInteger(literal) ? \"integer\" : \"number\",\n          const: literal\n        };\n      }\n      if (typeof literal === \"boolean\") {\n        return { type: \"boolean\", const: literal };\n      }\n      if (typeof literal === \"bigint\") {\n        return { type: \"integer\", format: \"int64\" };\n      }\n      if (literal instanceof RegExp) {\n        return { type: \"string\", pattern: literal.source };\n      }\n      return {};\n    }\n    case ReflectionKind.templateLiteral:\n      return { type: \"string\" };\n    case ReflectionKind.enum: {\n      const values = reflection.values.filter(\n        (value): value is string | number =>\n          typeof value === \"string\" || typeof value === \"number\"\n      );\n      const allStrings = values.every(value => typeof value === \"string\");\n      const allNumbers = values.every(value => typeof value === \"number\");\n\n      return {\n        type: allStrings\n          ? \"string\"\n          : allNumbers\n            ? \"number\"\n            : [\"string\", \"number\"],\n        enum: values\n      };\n    }\n    case ReflectionKind.array: {\n      const items = reflectionToJsonSchema(reflection.type);\n\n      return items ? { type: \"array\", items } : { type: \"array\" };\n    }\n    case ReflectionKind.tuple: {\n      const items = reflection.types\n        .map(member => reflectionToJsonSchema(member.type))\n        .filter((item): item is JsonSchema7Type => item !== undefined);\n      const required = reflection.types.filter(\n        member => !member.optional\n      ).length;\n\n      return {\n        type: \"array\",\n        items,\n        minItems: required,\n        maxItems: reflection.types.length\n      };\n    }\n    case ReflectionKind.union: {\n      const anyOf = reflection.types\n        .map(inner => reflectionToJsonSchema(inner))\n        .filter((item): item is JsonSchema7Type => item !== undefined);\n      if (anyOf.length === 0) {\n        return undefined;\n      }\n      if (anyOf.length === 1) {\n        return anyOf[0];\n      }\n      return { anyOf };\n    }\n    case ReflectionKind.intersection: {\n      const allOf = reflection.types\n        .map(inner => reflectionToJsonSchema(inner))\n        .filter((item): item is JsonSchema7Type => item !== undefined);\n      if (allOf.length === 0) {\n        return undefined;\n      }\n      if (allOf.length === 1) {\n        return allOf[0];\n      }\n      return { allOf };\n    }\n    case ReflectionKind.promise:\n      return reflectionToJsonSchema(reflection.type);\n    case ReflectionKind.objectLiteral:\n      return objectReflectionToJsonSchema(reflection);\n    case ReflectionKind.class: {\n      const classType = reflection.classType as { name?: string } | undefined;\n      const className = classType?.name;\n      switch (className) {\n        case \"Date\":\n          return { type: \"string\", format: \"date-time\" };\n        case \"RegExp\":\n          return { type: \"string\" };\n        case \"URL\":\n          return { type: \"string\", format: \"uri\" };\n        case \"Set\": {\n          const itemType = reflection.arguments?.[0];\n          const items = itemType ? reflectionToJsonSchema(itemType) : undefined;\n\n          return items\n            ? { type: \"array\", uniqueItems: true, items }\n            : { type: \"array\", uniqueItems: true };\n        }\n        case \"Map\": {\n          const valueType = reflection.arguments?.[1];\n          const additionalProperties = valueType\n            ? reflectionToJsonSchema(valueType)\n            : undefined;\n          const schema = { type: \"object\" } as JsonSchema7Type;\n          if (additionalProperties) {\n            (\n              schema as { additionalProperties?: JsonSchema7Type }\n            ).additionalProperties = additionalProperties;\n          }\n          return schema;\n        }\n        case \"Uint8Array\":\n        case \"Uint8ClampedArray\":\n        case \"Uint16Array\":\n        case \"Uint32Array\":\n        case \"Int8Array\":\n        case \"Int16Array\":\n        case \"Int32Array\":\n        case \"Float32Array\":\n        case \"Float64Array\":\n        case \"BigInt64Array\":\n        case \"BigUint64Array\":\n          return { type: \"string\", contentEncoding: \"base64\" };\n        case undefined:\n        default:\n          return objectReflectionToJsonSchema(reflection);\n      }\n    }\n\n    case ReflectionKind.symbol:\n    case ReflectionKind.property:\n    case ReflectionKind.method:\n    case ReflectionKind.function:\n    case ReflectionKind.parameter:\n    case ReflectionKind.typeParameter:\n    case ReflectionKind.tupleMember:\n    case ReflectionKind.enumMember:\n    case ReflectionKind.rest:\n    case ReflectionKind.indexSignature:\n    case ReflectionKind.propertySignature:\n    case ReflectionKind.methodSignature:\n    case ReflectionKind.infer:\n    case ReflectionKind.callSignature:\n    default:\n      return undefined;\n  }\n}\n\n/**\n * Builds a JSON Schema object representation from a Deepkit class or object literal type.\n *\n * @param type - The class or object literal type whose members should be serialized.\n * @returns A JSON Schema object describing the type's properties.\n */\nexport function objectReflectionToJsonSchema(\n  type: TypeObjectLiteral | TypeClass\n): JsonSchema7Type {\n  const properties: Record<string, JsonSchema7Type> = {};\n  const required: string[] = [];\n  let additionalProperties: JsonSchema7Type | boolean | undefined;\n  const description =\n    \"description\" in type && typeof type.description === \"string\"\n      ? type.description\n      : undefined;\n\n  for (const member of type.types) {\n    if (\n      member.kind === ReflectionKind.property ||\n      member.kind === ReflectionKind.propertySignature\n    ) {\n      const property = member;\n      if (typeof property.name !== \"string\") {\n        continue;\n      }\n      const propertySchema = reflectionToJsonSchema(property.type);\n      if (!propertySchema) {\n        continue;\n      }\n      if (typeof property.description === \"string\") {\n        (propertySchema as { description?: string }).description =\n          property.description;\n      }\n      properties[property.name] = propertySchema;\n      if (!property.optional) {\n        required.push(property.name);\n      }\n    } else if (member.kind === ReflectionKind.indexSignature) {\n      const indexSignature = member;\n      const valueSchema = reflectionToJsonSchema(indexSignature.type);\n      if (valueSchema) {\n        additionalProperties = valueSchema;\n      }\n    }\n  }\n\n  const schema = {\n    type: \"object\",\n    properties\n  } as JsonSchema7Type;\n\n  if (required.length > 0) {\n    (schema as { required?: string[] }).required = required;\n  }\n  if (additionalProperties !== undefined) {\n    (\n      schema as { additionalProperties?: JsonSchema7Type | boolean }\n    ).additionalProperties = additionalProperties;\n  }\n  if (description) {\n    (schema as { description?: string }).description = description;\n  }\n\n  return schema;\n}\n"],"mappings":";;;;;;;;;AAgCA,SAAgB,uBACd,YAC6B;AAC7B,SAAQ,WAAW,MAAnB;EACE,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe,OAClB,QAAO,EAAE;EACX,KAAK,eAAe;EACpB,KAAK,eAAe,UAClB,QAAO,EAAE,KAAK,EAAE,EAAE;EACpB,KAAK,eAAe,KAClB,QAAO,EAAE,MAAM,QAAQ;EACzB,KAAK,eAAe,OAClB,QAAO,EAAE,MAAM,UAAU;EAC3B,KAAK,eAAe,QAClB,QAAO,EAAE,MAAM,WAAW;EAC5B,KAAK,eAAe,QAAQ;GAC1B,MAAM,QAAQ,WAAW;AAMzB,UAAO,EAAE,MAJP,UAAU,UACV,SAAS,gBAAgB,WACzB,SAAS,gBAAgB,SAEA,YAAY,UAAU;;EAEnD,KAAK,eAAe,OAClB,QAAO;GAAE,MAAM;GAAW,QAAQ;GAAS;EAC7C,KAAK,eAAe,OAClB,QAAO,EAAE,MAAM,UAAU;EAC3B,KAAK,eAAe,SAAS;GAC3B,MAAM,EAAE,YAAY;AACpB,OAAI,OAAO,YAAY,SACrB,QAAO;IAAE,MAAM;IAAU,OAAO;IAAS;AAE3C,OAAI,OAAO,YAAY,SACrB,QAAO;IACL,MAAM,OAAO,UAAU,QAAQ,GAAG,YAAY;IAC9C,OAAO;IACR;AAEH,OAAI,OAAO,YAAY,UACrB,QAAO;IAAE,MAAM;IAAW,OAAO;IAAS;AAE5C,OAAI,OAAO,YAAY,SACrB,QAAO;IAAE,MAAM;IAAW,QAAQ;IAAS;AAE7C,OAAI,mBAAmB,OACrB,QAAO;IAAE,MAAM;IAAU,SAAS,QAAQ;IAAQ;AAEpD,UAAO,EAAE;;EAEX,KAAK,eAAe,gBAClB,QAAO,EAAE,MAAM,UAAU;EAC3B,KAAK,eAAe,MAAM;GACxB,MAAM,SAAS,WAAW,OAAO,QAC9B,UACC,OAAO,UAAU,YAAY,OAAO,UAAU,SACjD;GACD,MAAM,aAAa,OAAO,OAAM,UAAS,OAAO,UAAU,SAAS;GACnE,MAAM,aAAa,OAAO,OAAM,UAAS,OAAO,UAAU,SAAS;AAEnE,UAAO;IACL,MAAM,aACF,WACA,aACE,WACA,CAAC,UAAU,SAAS;IAC1B,MAAM;IACP;;EAEH,KAAK,eAAe,OAAO;GACzB,MAAM,QAAQ,uBAAuB,WAAW,KAAK;AAErD,UAAO,QAAQ;IAAE,MAAM;IAAS;IAAO,GAAG,EAAE,MAAM,SAAS;;EAE7D,KAAK,eAAe,MAQlB,QAAO;GACL,MAAM;GACN,OATY,WAAW,MACtB,KAAI,WAAU,uBAAuB,OAAO,KAAK,CAAC,CAClD,QAAQ,SAAkC,SAAS,OAO/C;GACL,UAPe,WAAW,MAAM,QAChC,WAAU,CAAC,OAAO,SACnB,CAAC;GAMA,UAAU,WAAW,MAAM;GAC5B;EAEH,KAAK,eAAe,OAAO;GACzB,MAAM,QAAQ,WAAW,MACtB,KAAI,UAAS,uBAAuB,MAAM,CAAC,CAC3C,QAAQ,SAAkC,SAAS,OAAU;AAChE,OAAI,MAAM,WAAW,EACnB;AAEF,OAAI,MAAM,WAAW,EACnB,QAAO,MAAM;AAEf,UAAO,EAAE,OAAO;;EAElB,KAAK,eAAe,cAAc;GAChC,MAAM,QAAQ,WAAW,MACtB,KAAI,UAAS,uBAAuB,MAAM,CAAC,CAC3C,QAAQ,SAAkC,SAAS,OAAU;AAChE,OAAI,MAAM,WAAW,EACnB;AAEF,OAAI,MAAM,WAAW,EACnB,QAAO,MAAM;AAEf,UAAO,EAAE,OAAO;;EAElB,KAAK,eAAe,QAClB,QAAO,uBAAuB,WAAW,KAAK;EAChD,KAAK,eAAe,cAClB,QAAO,6BAA6B,WAAW;EACjD,KAAK,eAAe,MAGlB,SAFkB,WAAW,WACA,MAC7B;GACE,KAAK,OACH,QAAO;IAAE,MAAM;IAAU,QAAQ;IAAa;GAChD,KAAK,SACH,QAAO,EAAE,MAAM,UAAU;GAC3B,KAAK,MACH,QAAO;IAAE,MAAM;IAAU,QAAQ;IAAO;GAC1C,KAAK,OAAO;IACV,MAAM,WAAW,WAAW,YAAY;IACxC,MAAM,QAAQ,WAAW,uBAAuB,SAAS,GAAG;AAE5D,WAAO,QACH;KAAE,MAAM;KAAS,aAAa;KAAM;KAAO,GAC3C;KAAE,MAAM;KAAS,aAAa;KAAM;;GAE1C,KAAK,OAAO;IACV,MAAM,YAAY,WAAW,YAAY;IACzC,MAAM,uBAAuB,YACzB,uBAAuB,UAAU,GACjC;IACJ,MAAM,SAAS,EAAE,MAAM,UAAU;AACjC,QAAI,qBACF,CACE,OACA,uBAAuB;AAE3B,WAAO;;GAET,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK,iBACH,QAAO;IAAE,MAAM;IAAU,iBAAiB;IAAU;GACtD,KAAK;GACL,QACE,QAAO,6BAA6B,WAAW;;EAIrD,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,QACE;;;;;;;;;AAUN,SAAgB,6BACd,MACiB;CACjB,MAAM,aAA8C,EAAE;CACtD,MAAM,WAAqB,EAAE;CAC7B,IAAI;CACJ,MAAM,cACJ,iBAAiB,QAAQ,OAAO,KAAK,gBAAgB,WACjD,KAAK,cACL;AAEN,MAAK,MAAM,UAAU,KAAK,MACxB,KACE,OAAO,SAAS,eAAe,YAC/B,OAAO,SAAS,eAAe,mBAC/B;EACA,MAAM,WAAW;AACjB,MAAI,OAAO,SAAS,SAAS,SAC3B;EAEF,MAAM,iBAAiB,uBAAuB,SAAS,KAAK;AAC5D,MAAI,CAAC,eACH;AAEF,MAAI,OAAO,SAAS,gBAAgB,SAClC,CAAC,eAA4C,cAC3C,SAAS;AAEb,aAAW,SAAS,QAAQ;AAC5B,MAAI,CAAC,SAAS,SACZ,UAAS,KAAK,SAAS,KAAK;YAErB,OAAO,SAAS,eAAe,gBAAgB;EAExD,MAAM,cAAc,uBAAuBA,OAAe,KAAK;AAC/D,MAAI,YACF,wBAAuB;;CAK7B,MAAM,SAAS;EACb,MAAM;EACN;EACD;AAED,KAAI,SAAS,SAAS,EACpB,CAAC,OAAmC,WAAW;AAEjD,KAAI,yBAAyB,OAC3B,CACE,OACA,uBAAuB;AAE3B,KAAI,YACF,CAAC,OAAoC,cAAc;AAGrD,QAAO"}
+{"version":3,"file":"reflection.mjs","names":[],"sources":["../src/reflection.ts"],"sourcesContent":["/* -------------------------------------------------------------------\n\n                   ⚡ Storm Software - Powerlines\n\n This code was released as part of the Powerlines project. Powerlines\n is maintained by Storm Software under the Apache-2.0 license, and is\n free for commercial and private use. For more information, please visit\n our licensing page at https://stormsoftware.com/licenses/projects/powerlines.\n\n Website:                  https://stormsoftware.com\n Repository:               https://github.com/storm-software/powerlines\n Documentation:            https://docs.stormsoftware.com/projects/powerlines\n Contact:                  https://stormsoftware.com/contact\n\n SPDX-License-Identifier:  Apache-2.0\n\n ------------------------------------------------------------------- */\n\nimport type { Type, TypeClass } from \"@powerlines/deepkit/vendor/type\";\nimport {\n  ReflectionKind,\n  TypeNumberBrand,\n  TypeObjectLiteral\n} from \"@powerlines/deepkit/vendor/type\";\nimport { JTDSchemaType, SomeJTDSchemaType } from \"ajv/dist/types/jtd-schema\";\n\n/**\n * Maps a Deepkit numeric `brand` to the JTD numeric `type` keyword that best preserves the underlying width and signedness.\n *\n * @param brand - The Deepkit `TypeNumberBrand` of a numeric reflection, or `undefined` when no brand is set.\n * @returns The JTD numeric `type` keyword to use.\n */\nfunction numberBrandToJtdType(\n  brand: TypeNumberBrand | undefined\n):\n  | \"int8\"\n  | \"uint8\"\n  | \"int16\"\n  | \"uint16\"\n  | \"int32\"\n  | \"uint32\"\n  | \"float32\"\n  | \"float64\" {\n  switch (brand) {\n    case TypeNumberBrand.integer:\n      return \"int32\";\n    case TypeNumberBrand.int8:\n      return \"int8\";\n    case TypeNumberBrand.uint8:\n      return \"uint8\";\n    case TypeNumberBrand.int16:\n      return \"int16\";\n    case TypeNumberBrand.uint16:\n      return \"uint16\";\n    case TypeNumberBrand.int32:\n      return \"int32\";\n    case TypeNumberBrand.uint32:\n      return \"uint32\";\n    case TypeNumberBrand.float:\n    case TypeNumberBrand.float32:\n      return \"float32\";\n    case TypeNumberBrand.float64:\n      return \"float64\";\n    case undefined:\n    default:\n      return \"float64\";\n  }\n}\n\n/**\n * Attaches a `description` annotation to a JTD form's `metadata` bag.\n *\n * @param form - The JTD form to decorate.\n * @param description - The description text, or `undefined` to skip.\n * @returns The same JTD form, decorated when a description was provided.\n */\nfunction attachDescription<S extends SomeJTDSchemaType>(\n  form: S,\n  description: string | undefined\n): S {\n  if (!description) {\n    return form;\n  }\n  const metadata =\n    (form as { metadata?: Record<string, unknown> }).metadata ?? {};\n  metadata.description = description;\n  (form as { metadata?: Record<string, unknown> }).metadata = metadata;\n  return form;\n}\n\n/**\n * Converts a Deepkit type reflection into a JSON Type Definition (RFC 8927) form suitable for AJV's JTD validator.\n *\n * @remarks\n * Some TypeScript constructs have no direct JTD equivalent and are handled with the closest available form:\n *\n * - `null` and `undefined` become the empty JTD form with `nullable: true`.\n * - Unions of primitives that cannot be expressed as a JTD enum collapse to the empty form (which validates any value).\n * - String/number/bigint literal unions are emitted as a JTD enum (non-string members are stringified, as JTD requires string enum members).\n * - Tuples are emitted as a JTD elements form whose element schema is the single tuple member type, or the empty schema for mixed tuples.\n * - `Date` is emitted as `{ type: \"timestamp\" }`.\n * - Discriminated unions of object literals (a shared string-literal tag property) are emitted as a JTD discriminator form.\n *\n * @param reflection - The Deepkit type reflection to convert.\n * @returns The corresponding JTD form, or `undefined` if the type cannot be represented.\n */\nexport function reflectionToJsonSchema<\n  T = unknown,\n  D extends Record<string, unknown> = Record<string, unknown>\n>(reflection: Type): JTDSchemaType<T, D> | undefined {\n  const result = reflectionToJtd(reflection);\n\n  return result as JTDSchemaType<T, D> | undefined;\n}\n\n/**\n * Internal worker that performs the recursive Deepkit reflection → JTD conversion.\n *\n * @param reflection - The Deepkit type reflection to convert.\n * @returns The corresponding JTD form, or `undefined` if the type cannot be represented.\n */\nfunction reflectionToJtd(reflection: Type): SomeJTDSchemaType | undefined {\n  switch (reflection.kind) {\n    case ReflectionKind.any:\n    case ReflectionKind.unknown:\n    case ReflectionKind.void:\n    case ReflectionKind.object:\n      return {};\n    case ReflectionKind.never:\n      return undefined;\n    case ReflectionKind.undefined:\n    case ReflectionKind.null:\n      return { nullable: true };\n    case ReflectionKind.string:\n      return { type: \"string\" };\n    case ReflectionKind.boolean:\n      return { type: \"boolean\" };\n    case ReflectionKind.number:\n      return { type: numberBrandToJtdType(reflection.brand) };\n    case ReflectionKind.bigint:\n      // JTD has no native 64-bit integer type — float64 is the widest numeric form.\n      return { type: \"float64\" };\n    case ReflectionKind.regexp:\n      return { type: \"string\" };\n    case ReflectionKind.literal: {\n      const { literal } = reflection;\n      if (typeof literal === \"string\") {\n        return { enum: [literal] };\n      }\n      if (typeof literal === \"number\" || typeof literal === \"bigint\") {\n        return { enum: [String(literal)] };\n      }\n      if (typeof literal === \"boolean\") {\n        // JTD has no boolean literal — emit the type form.\n        return { type: \"boolean\" };\n      }\n      if (literal instanceof RegExp) {\n        return { type: \"string\" };\n      }\n      return {};\n    }\n    case ReflectionKind.templateLiteral:\n      return { type: \"string\" };\n    case ReflectionKind.enum: {\n      const values = reflection.values\n        .filter(\n          (value): value is string | number =>\n            typeof value === \"string\" || typeof value === \"number\"\n        )\n        .map(value => String(value));\n      const unique = Array.from(new Set(values));\n      if (unique.length === 0) {\n        return {};\n      }\n      return { enum: unique };\n    }\n    case ReflectionKind.array: {\n      const items = reflectionToJtd(reflection.type);\n\n      return { elements: items ?? {} };\n    }\n    case ReflectionKind.tuple: {\n      const items = reflection.types\n        .map(member => reflectionToJtd(member.type))\n        .filter((item): item is SomeJTDSchemaType => item !== undefined);\n      if (items.length === 0) {\n        return { elements: {} };\n      }\n      if (items.length === 1) {\n        return { elements: items[0]! };\n      }\n      // JTD has no tuple form — accept any element shape.\n      return { elements: {} };\n    }\n    case ReflectionKind.union: {\n      const branches = reflection.types\n        .map(inner => reflectionToJtd(inner))\n        .filter((item): item is SomeJTDSchemaType => item !== undefined);\n\n      const nullable = reflection.types.some(\n        inner =>\n          inner.kind === ReflectionKind.null ||\n          inner.kind === ReflectionKind.undefined\n      );\n      const nonNull = branches.filter(b => !isPureNullable(b));\n\n      if (nonNull.length === 0) {\n        return { nullable: true };\n      }\n      if (nonNull.length === 1) {\n        const only = nonNull[0]!;\n        if (nullable) {\n          (only as { nullable?: boolean }).nullable = true;\n        }\n        return only;\n      }\n\n      // String-enum union: combine all enum branches into one JTD enum.\n      if (nonNull.every(isEnumForm)) {\n        const merged = Array.from(\n          new Set(nonNull.flatMap(b => (b as { enum: string[] }).enum))\n        );\n        const form: SomeJTDSchemaType = { enum: merged };\n        if (nullable) {\n          (form as { nullable?: boolean }).nullable = true;\n        }\n        return form;\n      }\n\n      // Discriminated union of object literals: detect a shared string-literal tag.\n      const discriminator = tryReflectionDiscriminator(reflection.types);\n      if (discriminator) {\n        if (nullable) {\n          (discriminator as { nullable?: boolean }).nullable = true;\n        }\n        return discriminator;\n      }\n\n      // Fallback — JTD has no general union; allow any value.\n      const fallback: SomeJTDSchemaType = {};\n      if (nullable) {\n        (fallback as { nullable?: boolean }).nullable = true;\n      }\n      return fallback;\n    }\n    case ReflectionKind.intersection: {\n      const members = reflection.types\n        .map(inner => reflectionToJtd(inner))\n        .filter((item): item is SomeJTDSchemaType => item !== undefined);\n      if (members.length === 0) {\n        return undefined;\n      }\n      if (members.length === 1) {\n        return members[0]!;\n      }\n      if (members.every(isPropertiesForm)) {\n        return mergePropertiesForms(members);\n      }\n      return members[0]!;\n    }\n    case ReflectionKind.promise:\n      return reflectionToJtd(reflection.type);\n    case ReflectionKind.objectLiteral:\n      return objectReflectionToJtd(reflection);\n    case ReflectionKind.class: {\n      const classType = reflection.classType as { name?: string } | undefined;\n      const className = classType?.name;\n      switch (className) {\n        case \"Date\":\n          return { type: \"timestamp\" };\n        case \"RegExp\":\n          return { type: \"string\" };\n        case \"URL\":\n          return { type: \"string\" };\n        case \"Set\": {\n          const itemType = reflection.arguments?.[0];\n          const items = itemType ? reflectionToJtd(itemType) : undefined;\n\n          return { elements: items ?? {} };\n        }\n        case \"Map\": {\n          const valueType = reflection.arguments?.[1];\n          const values = valueType ? reflectionToJtd(valueType) : undefined;\n\n          return { values: values ?? {} };\n        }\n        case \"Uint8Array\":\n        case \"Uint8ClampedArray\":\n        case \"Uint16Array\":\n        case \"Uint32Array\":\n        case \"Int8Array\":\n        case \"Int16Array\":\n        case \"Int32Array\":\n        case \"Float32Array\":\n        case \"Float64Array\":\n        case \"BigInt64Array\":\n        case \"BigUint64Array\":\n          // Base64-encoded binary payload — represented as a plain string in JTD.\n          return { type: \"string\" };\n        case undefined:\n        default:\n          return objectReflectionToJtd(reflection);\n      }\n    }\n\n    case ReflectionKind.symbol:\n    case ReflectionKind.property:\n    case ReflectionKind.method:\n    case ReflectionKind.function:\n    case ReflectionKind.parameter:\n    case ReflectionKind.typeParameter:\n    case ReflectionKind.tupleMember:\n    case ReflectionKind.enumMember:\n    case ReflectionKind.rest:\n    case ReflectionKind.indexSignature:\n    case ReflectionKind.propertySignature:\n    case ReflectionKind.methodSignature:\n    case ReflectionKind.infer:\n    case ReflectionKind.callSignature:\n    default:\n      return undefined;\n  }\n}\n\n/**\n * Tests whether a JTD form is an enum form.\n *\n * @param form - The JTD form to inspect.\n * @returns `true` if the form is a JTD enum form.\n */\nfunction isEnumForm(\n  form: SomeJTDSchemaType\n): form is { enum: string[]; nullable?: boolean } {\n  return Array.isArray((form as { enum?: unknown[] }).enum);\n}\n\n/**\n * Tests whether a JTD form is a properties form (object).\n *\n * @param form - The JTD form to inspect.\n * @returns `true` if the form is a JTD properties form.\n */\nfunction isPropertiesForm(form: SomeJTDSchemaType): boolean {\n  return (\n    \"properties\" in (form as object) || \"optionalProperties\" in (form as object)\n  );\n}\n\n/**\n * Tests whether a JTD form is the empty `{ nullable: true }` placeholder.\n *\n * @param form - The JTD form to inspect.\n * @returns `true` if the form has no shape constraints beyond `nullable`.\n */\nfunction isPureNullable(form: SomeJTDSchemaType): boolean {\n  const keys = Object.keys(form as object).filter(\n    k => k !== \"nullable\" && k !== \"metadata\"\n  );\n\n  return (\n    keys.length === 0 && (form as { nullable?: boolean }).nullable === true\n  );\n}\n\n/**\n * Shallow-merges two JTD properties forms, unioning their `properties` and `optionalProperties` maps.\n *\n * @param forms - The JTD properties forms to merge.\n * @returns The merged JTD properties form.\n */\nfunction mergePropertiesForms(forms: SomeJTDSchemaType[]): SomeJTDSchemaType {\n  const merged: {\n    properties: Record<string, SomeJTDSchemaType>;\n    optionalProperties: Record<string, SomeJTDSchemaType>;\n    additionalProperties?: boolean;\n  } = {\n    properties: {},\n    optionalProperties: {}\n  };\n  for (const form of forms) {\n    const p = (form as { properties?: Record<string, SomeJTDSchemaType> })\n      .properties;\n    const o = (\n      form as { optionalProperties?: Record<string, SomeJTDSchemaType> }\n    ).optionalProperties;\n    if (p) {\n      Object.assign(merged.properties, p);\n    }\n    if (o) {\n      Object.assign(merged.optionalProperties, o);\n    }\n    if ((form as { additionalProperties?: boolean }).additionalProperties) {\n      merged.additionalProperties = true;\n    }\n  }\n  const hasProperties = Object.keys(merged.properties).length > 0;\n  const hasOptional = Object.keys(merged.optionalProperties).length > 0;\n  const result: SomeJTDSchemaType = {};\n  if (hasProperties) {\n    (result as { properties: Record<string, SomeJTDSchemaType> }).properties =\n      merged.properties;\n  } else if (!hasOptional) {\n    (result as { properties: Record<string, SomeJTDSchemaType> }).properties =\n      {};\n  }\n  if (hasOptional) {\n    (\n      result as { optionalProperties: Record<string, SomeJTDSchemaType> }\n    ).optionalProperties = merged.optionalProperties;\n  }\n  if (merged.additionalProperties) {\n    (result as { additionalProperties: boolean }).additionalProperties = true;\n  }\n  return result;\n}\n\n/**\n * Detects whether a Deepkit union represents a tagged union and, when so, emits the corresponding JTD discriminator form.\n *\n * @param types - The Deepkit reflection types that make up the union branches.\n * @returns A JTD discriminator form if every non-null branch is an object literal that shares a string-literal tag property, otherwise `undefined`.\n */\nfunction tryReflectionDiscriminator(\n  types: readonly Type[]\n): SomeJTDSchemaType | undefined {\n  const nonNullTypes = types.filter(\n    t => t.kind !== ReflectionKind.null && t.kind !== ReflectionKind.undefined\n  );\n  const objectBranches: Array<TypeObjectLiteral | TypeClass> =\n    nonNullTypes.filter(\n      t =>\n        t.kind === ReflectionKind.objectLiteral ||\n        t.kind === ReflectionKind.class\n    );\n  if (\n    objectBranches.length < 2 ||\n    objectBranches.length !== nonNullTypes.length\n  ) {\n    return undefined;\n  }\n\n  let tagKey: string | undefined;\n  const mapping: Record<string, SomeJTDSchemaType> = {};\n\n  for (const branch of objectBranches) {\n    const literalProps: Array<{ name: string; literal: string }> = [];\n    for (const member of branch.types) {\n      if (\n        (member.kind === ReflectionKind.property ||\n          member.kind === ReflectionKind.propertySignature) &&\n        typeof member.name === \"string\" &&\n        member.type.kind === ReflectionKind.literal &&\n        typeof (member.type as { literal?: unknown }).literal === \"string\"\n      ) {\n        literalProps.push({\n          name: member.name,\n          literal: (member.type as { literal: string }).literal\n        });\n      }\n    }\n    if (literalProps.length === 0) {\n      return undefined;\n    }\n    const first = literalProps[0]!;\n    if (!tagKey) {\n      tagKey = first.name;\n    } else if (tagKey !== first.name) {\n      return undefined;\n    }\n\n    // Build the branch body excluding the discriminator property.\n    const filteredBranch = {\n      ...branch,\n      types: branch.types.filter(\n        member =>\n          !(\n            (member.kind === ReflectionKind.property ||\n              member.kind === ReflectionKind.propertySignature) &&\n            member.name === tagKey\n          )\n      )\n    } as TypeObjectLiteral | TypeClass;\n    const body = objectReflectionToJtd(filteredBranch);\n    if (!body || !isPropertiesForm(body)) {\n      return undefined;\n    }\n    mapping[first.literal] = body;\n  }\n\n  if (!tagKey) {\n    return undefined;\n  }\n  return { discriminator: tagKey, mapping };\n}\n\n/**\n * Builds a JTD properties form from a Deepkit class or object literal type.\n *\n * @param type - The class or object literal type whose members should be serialized.\n * @returns A JTD properties form describing the type's members.\n */\nexport function objectReflectionToJsonSchema<\n  T = unknown,\n  D extends Record<string, unknown> = Record<string, unknown>\n>(type: TypeObjectLiteral | TypeClass): JTDSchemaType<T, D> {\n  return objectReflectionToJtd(type) as JTDSchemaType<T, D>;\n}\n\n/**\n * Internal worker that produces a JTD properties form (or `values` form for index signatures alone) from a Deepkit object-like type.\n *\n * @param type - The class or object literal type whose members should be serialized.\n * @returns A JTD properties or values form describing the type's members.\n */\nfunction objectReflectionToJtd(\n  type: TypeObjectLiteral | TypeClass\n): SomeJTDSchemaType {\n  const properties: Record<string, SomeJTDSchemaType> = {};\n  const optionalProperties: Record<string, SomeJTDSchemaType> = {};\n  let indexValueSchema: SomeJTDSchemaType | undefined;\n  const description =\n    \"description\" in type && typeof type.description === \"string\"\n      ? type.description\n      : undefined;\n\n  for (const member of type.types) {\n    if (\n      member.kind === ReflectionKind.property ||\n      member.kind === ReflectionKind.propertySignature\n    ) {\n      if (typeof member.name !== \"string\") {\n        continue;\n      }\n      const propertySchema = reflectionToJtd(member.type);\n      if (!propertySchema) {\n        continue;\n      }\n      if (typeof member.description === \"string\") {\n        attachDescription(propertySchema, member.description);\n      }\n      if (member.optional) {\n        optionalProperties[member.name] = propertySchema;\n      } else {\n        properties[member.name] = propertySchema;\n      }\n    } else if (member.kind === ReflectionKind.indexSignature) {\n      const valueSchema = reflectionToJtd(member.type);\n      if (valueSchema) {\n        indexValueSchema = valueSchema;\n      }\n    }\n  }\n\n  const hasProperties = Object.keys(properties).length > 0;\n  const hasOptional = Object.keys(optionalProperties).length > 0;\n\n  // Open map with no declared properties → JTD values form.\n  if (!hasProperties && !hasOptional && indexValueSchema) {\n    return attachDescription({ values: indexValueSchema }, description);\n  }\n\n  const form: {\n    properties?: Record<string, SomeJTDSchemaType>;\n    optionalProperties?: Record<string, SomeJTDSchemaType>;\n    additionalProperties?: boolean;\n  } = {};\n  if (hasProperties) {\n    form.properties = properties;\n  } else if (!hasOptional) {\n    form.properties = {};\n  }\n  if (hasOptional) {\n    form.optionalProperties = optionalProperties;\n  }\n  if (indexValueSchema) {\n    form.additionalProperties = true;\n  }\n  return attachDescription(form as SomeJTDSchemaType, description);\n}\n"],"mappings":";;;;;;;;;AAgCA,SAAS,qBACP,OASY;AACZ,SAAQ,OAAR;EACE,KAAK,gBAAgB,QACnB,QAAO;EACT,KAAK,gBAAgB,KACnB,QAAO;EACT,KAAK,gBAAgB,MACnB,QAAO;EACT,KAAK,gBAAgB,MACnB,QAAO;EACT,KAAK,gBAAgB,OACnB,QAAO;EACT,KAAK,gBAAgB,MACnB,QAAO;EACT,KAAK,gBAAgB,OACnB,QAAO;EACT,KAAK,gBAAgB;EACrB,KAAK,gBAAgB,QACnB,QAAO;EACT,KAAK,gBAAgB,QACnB,QAAO;EACT,KAAK;EACL,QACE,QAAO;;;;;;;;;;AAWb,SAAS,kBACP,MACA,aACG;AACH,KAAI,CAAC,YACH,QAAO;CAET,MAAM,WACH,KAAgD,YAAY,EAAE;AACjE,UAAS,cAAc;AACvB,CAAC,KAAgD,WAAW;AAC5D,QAAO;;;;;;;;;;;;;;;;;;AAmBT,SAAgB,uBAGd,YAAmD;AAGnD,QAFe,gBAAgB,WAElB;;;;;;;;AASf,SAAS,gBAAgB,YAAiD;AACxE,SAAQ,WAAW,MAAnB;EACE,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe,OAClB,QAAO,EAAE;EACX,KAAK,eAAe,MAClB;EACF,KAAK,eAAe;EACpB,KAAK,eAAe,KAClB,QAAO,EAAE,UAAU,MAAM;EAC3B,KAAK,eAAe,OAClB,QAAO,EAAE,MAAM,UAAU;EAC3B,KAAK,eAAe,QAClB,QAAO,EAAE,MAAM,WAAW;EAC5B,KAAK,eAAe,OAClB,QAAO,EAAE,MAAM,qBAAqB,WAAW,MAAM,EAAE;EACzD,KAAK,eAAe,OAElB,QAAO,EAAE,MAAM,WAAW;EAC5B,KAAK,eAAe,OAClB,QAAO,EAAE,MAAM,UAAU;EAC3B,KAAK,eAAe,SAAS;GAC3B,MAAM,EAAE,YAAY;AACpB,OAAI,OAAO,YAAY,SACrB,QAAO,EAAE,MAAM,CAAC,QAAQ,EAAE;AAE5B,OAAI,OAAO,YAAY,YAAY,OAAO,YAAY,SACpD,QAAO,EAAE,MAAM,CAAC,OAAO,QAAQ,CAAC,EAAE;AAEpC,OAAI,OAAO,YAAY,UAErB,QAAO,EAAE,MAAM,WAAW;AAE5B,OAAI,mBAAmB,OACrB,QAAO,EAAE,MAAM,UAAU;AAE3B,UAAO,EAAE;;EAEX,KAAK,eAAe,gBAClB,QAAO,EAAE,MAAM,UAAU;EAC3B,KAAK,eAAe,MAAM;GACxB,MAAM,SAAS,WAAW,OACvB,QACE,UACC,OAAO,UAAU,YAAY,OAAO,UAAU,SACjD,CACA,KAAI,UAAS,OAAO,MAAM,CAAC;GAC9B,MAAM,SAAS,MAAM,KAAK,IAAI,IAAI,OAAO,CAAC;AAC1C,OAAI,OAAO,WAAW,EACpB,QAAO,EAAE;AAEX,UAAO,EAAE,MAAM,QAAQ;;EAEzB,KAAK,eAAe,MAGlB,QAAO,EAAE,UAFK,gBAAgB,WAAW,KAEjB,IAAI,EAAE,EAAE;EAElC,KAAK,eAAe,OAAO;GACzB,MAAM,QAAQ,WAAW,MACtB,KAAI,WAAU,gBAAgB,OAAO,KAAK,CAAC,CAC3C,QAAQ,SAAoC,SAAS,OAAU;AAClE,OAAI,MAAM,WAAW,EACnB,QAAO,EAAE,UAAU,EAAE,EAAE;AAEzB,OAAI,MAAM,WAAW,EACnB,QAAO,EAAE,UAAU,MAAM,IAAK;AAGhC,UAAO,EAAE,UAAU,EAAE,EAAE;;EAEzB,KAAK,eAAe,OAAO;GACzB,MAAM,WAAW,WAAW,MACzB,KAAI,UAAS,gBAAgB,MAAM,CAAC,CACpC,QAAQ,SAAoC,SAAS,OAAU;GAElE,MAAM,WAAW,WAAW,MAAM,MAChC,UACE,MAAM,SAAS,eAAe,QAC9B,MAAM,SAAS,eAAe,UACjC;GACD,MAAM,UAAU,SAAS,QAAO,MAAK,CAAC,eAAe,EAAE,CAAC;AAExD,OAAI,QAAQ,WAAW,EACrB,QAAO,EAAE,UAAU,MAAM;AAE3B,OAAI,QAAQ,WAAW,GAAG;IACxB,MAAM,OAAO,QAAQ;AACrB,QAAI,SACF,CAAC,KAAgC,WAAW;AAE9C,WAAO;;AAIT,OAAI,QAAQ,MAAM,WAAW,EAAE;IAI7B,MAAM,OAA0B,EAAE,MAHnB,MAAM,KACnB,IAAI,IAAI,QAAQ,SAAQ,MAAM,EAAyB,KAAK,CAAC,CAEjB,EAAE;AAChD,QAAI,SACF,CAAC,KAAgC,WAAW;AAE9C,WAAO;;GAIT,MAAM,gBAAgB,2BAA2B,WAAW,MAAM;AAClE,OAAI,eAAe;AACjB,QAAI,SACF,CAAC,cAAyC,WAAW;AAEvD,WAAO;;GAIT,MAAM,WAA8B,EAAE;AACtC,OAAI,SACF,CAAC,SAAoC,WAAW;AAElD,UAAO;;EAET,KAAK,eAAe,cAAc;GAChC,MAAM,UAAU,WAAW,MACxB,KAAI,UAAS,gBAAgB,MAAM,CAAC,CACpC,QAAQ,SAAoC,SAAS,OAAU;AAClE,OAAI,QAAQ,WAAW,EACrB;AAEF,OAAI,QAAQ,WAAW,EACrB,QAAO,QAAQ;AAEjB,OAAI,QAAQ,MAAM,iBAAiB,CACjC,QAAO,qBAAqB,QAAQ;AAEtC,UAAO,QAAQ;;EAEjB,KAAK,eAAe,QAClB,QAAO,gBAAgB,WAAW,KAAK;EACzC,KAAK,eAAe,cAClB,QAAO,sBAAsB,WAAW;EAC1C,KAAK,eAAe,MAGlB,SAFkB,WAAW,WACA,MAC7B;GACE,KAAK,OACH,QAAO,EAAE,MAAM,aAAa;GAC9B,KAAK,SACH,QAAO,EAAE,MAAM,UAAU;GAC3B,KAAK,MACH,QAAO,EAAE,MAAM,UAAU;GAC3B,KAAK,OAAO;IACV,MAAM,WAAW,WAAW,YAAY;AAGxC,WAAO,EAAE,WAFK,WAAW,gBAAgB,SAAS,GAAG,WAEzB,EAAE,EAAE;;GAElC,KAAK,OAAO;IACV,MAAM,YAAY,WAAW,YAAY;AAGzC,WAAO,EAAE,SAFM,YAAY,gBAAgB,UAAU,GAAG,WAE7B,EAAE,EAAE;;GAEjC,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK,iBAEH,QAAO,EAAE,MAAM,UAAU;GAC3B,KAAK;GACL,QACE,QAAO,sBAAsB,WAAW;;EAI9C,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,KAAK,eAAe;EACpB,QACE;;;;;;;;;AAUN,SAAS,WACP,MACgD;AAChD,QAAO,MAAM,QAAS,KAA8B,KAAK;;;;;;;;AAS3D,SAAS,iBAAiB,MAAkC;AAC1D,QACE,gBAAiB,QAAmB,wBAAyB;;;;;;;;AAUjE,SAAS,eAAe,MAAkC;AAKxD,QAJa,OAAO,KAAK,KAAe,CAAC,QACvC,MAAK,MAAM,cAAc,MAAM,WAI3B,CAAC,WAAW,KAAM,KAAgC,aAAa;;;;;;;;AAUvE,SAAS,qBAAqB,OAA+C;CAC3E,MAAM,SAIF;EACF,YAAY,EAAE;EACd,oBAAoB,EAAE;EACvB;AACD,MAAK,MAAM,QAAQ,OAAO;EACxB,MAAM,IAAK,KACR;EACH,MAAM,IACJ,KACA;AACF,MAAI,EACF,QAAO,OAAO,OAAO,YAAY,EAAE;AAErC,MAAI,EACF,QAAO,OAAO,OAAO,oBAAoB,EAAE;AAE7C,MAAK,KAA4C,qBAC/C,QAAO,uBAAuB;;CAGlC,MAAM,gBAAgB,OAAO,KAAK,OAAO,WAAW,CAAC,SAAS;CAC9D,MAAM,cAAc,OAAO,KAAK,OAAO,mBAAmB,CAAC,SAAS;CACpE,MAAM,SAA4B,EAAE;AACpC,KAAI,cACF,CAAC,OAA6D,aAC5D,OAAO;UACA,CAAC,YACV,CAAC,OAA6D,aAC5D,EAAE;AAEN,KAAI,YACF,CACE,OACA,qBAAqB,OAAO;AAEhC,KAAI,OAAO,qBACT,CAAC,OAA6C,uBAAuB;AAEvE,QAAO;;;;;;;;AAST,SAAS,2BACP,OAC+B;CAC/B,MAAM,eAAe,MAAM,QACzB,MAAK,EAAE,SAAS,eAAe,QAAQ,EAAE,SAAS,eAAe,UAClE;CACD,MAAM,iBACJ,aAAa,QACX,MACE,EAAE,SAAS,eAAe,iBAC1B,EAAE,SAAS,eAAe,MAC7B;AACH,KACE,eAAe,SAAS,KACxB,eAAe,WAAW,aAAa,OAEvC;CAGF,IAAI;CACJ,MAAM,UAA6C,EAAE;AAErD,MAAK,MAAM,UAAU,gBAAgB;EACnC,MAAM,eAAyD,EAAE;AACjE,OAAK,MAAM,UAAU,OAAO,MAC1B,MACG,OAAO,SAAS,eAAe,YAC9B,OAAO,SAAS,eAAe,sBACjC,OAAO,OAAO,SAAS,YACvB,OAAO,KAAK,SAAS,eAAe,WACpC,OAAQ,OAAO,KAA+B,YAAY,SAE1D,cAAa,KAAK;GAChB,MAAM,OAAO;GACb,SAAU,OAAO,KAA6B;GAC/C,CAAC;AAGN,MAAI,aAAa,WAAW,EAC1B;EAEF,MAAM,QAAQ,aAAa;AAC3B,MAAI,CAAC,OACH,UAAS,MAAM;WACN,WAAW,MAAM,KAC1B;EAeF,MAAM,OAAO,sBAAsB;GAVjC,GAAG;GACH,OAAO,OAAO,MAAM,QAClB,WACE,GACG,OAAO,SAAS,eAAe,YAC9B,OAAO,SAAS,eAAe,sBACjC,OAAO,SAAS,QAErB;GAE8C,CAAC;AAClD,MAAI,CAAC,QAAQ,CAAC,iBAAiB,KAAK,CAClC;AAEF,UAAQ,MAAM,WAAW;;AAG3B,KAAI,CAAC,OACH;AAEF,QAAO;EAAE,eAAe;EAAQ;EAAS;;;;;;;;AAS3C,SAAgB,6BAGd,MAA0D;AAC1D,QAAO,sBAAsB,KAAK;;;;;;;;AASpC,SAAS,sBACP,MACmB;CACnB,MAAM,aAAgD,EAAE;CACxD,MAAM,qBAAwD,EAAE;CAChE,IAAI;CACJ,MAAM,cACJ,iBAAiB,QAAQ,OAAO,KAAK,gBAAgB,WACjD,KAAK,cACL;AAEN,MAAK,MAAM,UAAU,KAAK,MACxB,KACE,OAAO,SAAS,eAAe,YAC/B,OAAO,SAAS,eAAe,mBAC/B;AACA,MAAI,OAAO,OAAO,SAAS,SACzB;EAEF,MAAM,iBAAiB,gBAAgB,OAAO,KAAK;AACnD,MAAI,CAAC,eACH;AAEF,MAAI,OAAO,OAAO,gBAAgB,SAChC,mBAAkB,gBAAgB,OAAO,YAAY;AAEvD,MAAI,OAAO,SACT,oBAAmB,OAAO,QAAQ;MAElC,YAAW,OAAO,QAAQ;YAEnB,OAAO,SAAS,eAAe,gBAAgB;EACxD,MAAM,cAAc,gBAAgB,OAAO,KAAK;AAChD,MAAI,YACF,oBAAmB;;CAKzB,MAAM,gBAAgB,OAAO,KAAK,WAAW,CAAC,SAAS;CACvD,MAAM,cAAc,OAAO,KAAK,mBAAmB,CAAC,SAAS;AAG7D,KAAI,CAAC,iBAAiB,CAAC,eAAe,iBACpC,QAAO,kBAAkB,EAAE,QAAQ,kBAAkB,EAAE,YAAY;CAGrE,MAAM,OAIF,EAAE;AACN,KAAI,cACF,MAAK,aAAa;UACT,CAAC,YACV,MAAK,aAAa,EAAE;AAEtB,KAAI,YACF,MAAK,qBAAqB;AAE5B,KAAI,iBACF,MAAK,uBAAuB;AAE9B,QAAO,kBAAkB,MAA2B,YAAY"}

package/dist/resolve.d.cts

@@ -1,7 +1,7 @@
 import { BundleOptions } from "./bundle.cjs";
-import { PluginContext } from "@powerlines/core";
+import { TypeDefinitionReference } from "./types.cjs";
+import { PluginContext, UnresolvedContext } from "@powerlines/core";
 import { Type } from "@powerlines/deepkit/vendor/type";
-import { TypeDefinitionParameter } from "@stryke/types/configuration";
 
 //#region src/resolve.d.ts
 /**
@@ -12,7 +12,7 @@ import { TypeDefinitionParameter } from "@stryke/types/configuration";
  * @param overrides - Optional overrides for the ESBuild configuration.
  * @returns A promise that resolves to the compiled module.
  */
-declare function resolveModule<TResult, TContext extends PluginContext = PluginContext>(context: TContext, type: TypeDefinitionParameter, overrides?: BundleOptions): Promise<TResult>;
+declare function resolveModule<TResult, TContext extends UnresolvedContext = UnresolvedContext>(context: TContext, type: TypeDefinitionReference, overrides?: BundleOptions): Promise<TResult>;
 /**
  * Compiles a type definition to a module and returns the specified export from the module.
  *
@@ -21,7 +21,7 @@ declare function resolveModule<TResult, TContext extends PluginContext = PluginC
  * @param options - Optional overrides for the ESBuild configuration.
  * @returns A promise that resolves to the compiled module.
  */
-declare function resolve<TResult, TContext extends PluginContext = PluginContext>(context: TContext, input: TypeDefinitionParameter, options?: BundleOptions): Promise<TResult>;
+declare function resolve<TResult, TContext extends UnresolvedContext = UnresolvedContext>(context: TContext, input: TypeDefinitionReference, options?: BundleOptions): Promise<TResult>;
 /**
  * Resolves a type definition to a Deepkit Type reflection. This function compiles the provided type definition to a module, evaluates the module to get the specified export, and then reflects the export to get its Deepkit Type reflection.
  *
@@ -30,7 +30,7 @@ declare function resolve<TResult, TContext extends PluginContext = PluginContext
  * @param options - Optional overrides for the ESBuild configuration.
  * @returns A promise that resolves to the Deepkit Type reflection.
  */
-declare function resolveReflection<TContext extends PluginContext = PluginContext>(context: TContext, input: TypeDefinitionParameter, options?: BundleOptions): Promise<Type>;
+declare function resolveReflection<TContext extends PluginContext = PluginContext>(context: TContext, input: TypeDefinitionReference, options?: BundleOptions): Promise<Type>;
 //#endregion
 export { resolve, resolveModule, resolveReflection };
 //# sourceMappingURL=resolve.d.cts.map

package/dist/resolve.d.cts.map

@@ -1 +1 @@
-{"version":3,"file":"resolve.d.cts","names":[],"sources":["../src/resolve.ts"],"mappings":";;;;;;;;AAuCA;;;;;;iBAAsB,aAAA,2BAEH,aAAA,GAAgB,aAAA,CAAA,CAEjC,OAAA,EAAS,QAAA,EACT,IAAA,EAAM,uBAAA,EACN,SAAA,GAAY,aAAA,GACX,OAAA,CAAQ,OAAA;;;;;;;;;iBAyEW,OAAA,2BAEH,aAAA,GAAgB,aAAA,CAAA,CAEjC,OAAA,EAAS,QAAA,EACT,KAAA,EAAO,uBAAA,EACP,OAAA,GAAU,aAAA,GACT,OAAA,CAAQ,OAAA;;;;;;;;;iBAiDW,iBAAA,kBACH,aAAA,GAAgB,aAAA,CAAA,CAEjC,OAAA,EAAS,QAAA,EACT,KAAA,EAAO,uBAAA,EACP,OAAA,GAAU,aAAA,GACT,OAAA,CAAQ,IAAA"}
+{"version":3,"file":"resolve.d.cts","names":[],"sources":["../src/resolve.ts"],"mappings":";;;;;;;;AAqCA;;;;;;iBAAsB,aAAA,2BAEH,iBAAA,GAAoB,iBAAA,CAAA,CAErC,OAAA,EAAS,QAAA,EACT,IAAA,EAAM,uBAAA,EACN,SAAA,GAAY,aAAA,GACX,OAAA,CAAQ,OAAA;;;;;;;;;iBAyEW,OAAA,2BAEH,iBAAA,GAAoB,iBAAA,CAAA,CAErC,OAAA,EAAS,QAAA,EACT,KAAA,EAAO,uBAAA,EACP,OAAA,GAAU,aAAA,GACT,OAAA,CAAQ,OAAA;;;;;;;;;iBAiDW,iBAAA,kBACH,aAAA,GAAgB,aAAA,CAAA,CAEjC,OAAA,EAAS,QAAA,EACT,KAAA,EAAO,uBAAA,EACP,OAAA,GAAU,aAAA,GACT,OAAA,CAAQ,IAAA"}

package/dist/resolve.d.mts

@@ -1,7 +1,7 @@
 import { BundleOptions } from "./bundle.mjs";
-import { PluginContext } from "@powerlines/core";
+import { TypeDefinitionReference } from "./types.mjs";
+import { PluginContext, UnresolvedContext } from "@powerlines/core";
 import { Type } from "@powerlines/deepkit/vendor/type";
-import { TypeDefinitionParameter } from "@stryke/types/configuration";
 
 //#region src/resolve.d.ts
 /**
@@ -12,7 +12,7 @@ import { TypeDefinitionParameter } from "@stryke/types/configuration";
  * @param overrides - Optional overrides for the ESBuild configuration.
  * @returns A promise that resolves to the compiled module.
  */
-declare function resolveModule<TResult, TContext extends PluginContext = PluginContext>(context: TContext, type: TypeDefinitionParameter, overrides?: BundleOptions): Promise<TResult>;
+declare function resolveModule<TResult, TContext extends UnresolvedContext = UnresolvedContext>(context: TContext, type: TypeDefinitionReference, overrides?: BundleOptions): Promise<TResult>;
 /**
  * Compiles a type definition to a module and returns the specified export from the module.
  *
@@ -21,7 +21,7 @@ declare function resolveModule<TResult, TContext extends PluginContext = PluginC
  * @param options - Optional overrides for the ESBuild configuration.
  * @returns A promise that resolves to the compiled module.
  */
-declare function resolve<TResult, TContext extends PluginContext = PluginContext>(context: TContext, input: TypeDefinitionParameter, options?: BundleOptions): Promise<TResult>;
+declare function resolve<TResult, TContext extends UnresolvedContext = UnresolvedContext>(context: TContext, input: TypeDefinitionReference, options?: BundleOptions): Promise<TResult>;
 /**
  * Resolves a type definition to a Deepkit Type reflection. This function compiles the provided type definition to a module, evaluates the module to get the specified export, and then reflects the export to get its Deepkit Type reflection.
  *
@@ -30,7 +30,7 @@ declare function resolve<TResult, TContext extends PluginContext = PluginContext
  * @param options - Optional overrides for the ESBuild configuration.
  * @returns A promise that resolves to the Deepkit Type reflection.
  */
-declare function resolveReflection<TContext extends PluginContext = PluginContext>(context: TContext, input: TypeDefinitionParameter, options?: BundleOptions): Promise<Type>;
+declare function resolveReflection<TContext extends PluginContext = PluginContext>(context: TContext, input: TypeDefinitionReference, options?: BundleOptions): Promise<Type>;
 //#endregion
 export { resolve, resolveModule, resolveReflection };
 //# sourceMappingURL=resolve.d.mts.map

package/dist/resolve.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"resolve.d.mts","names":[],"sources":["../src/resolve.ts"],"mappings":";;;;;;;;AAuCA;;;;;;iBAAsB,aAAA,2BAEH,aAAA,GAAgB,aAAA,CAAA,CAEjC,OAAA,EAAS,QAAA,EACT,IAAA,EAAM,uBAAA,EACN,SAAA,GAAY,aAAA,GACX,OAAA,CAAQ,OAAA;;;;;;;;;iBAyEW,OAAA,2BAEH,aAAA,GAAgB,aAAA,CAAA,CAEjC,OAAA,EAAS,QAAA,EACT,KAAA,EAAO,uBAAA,EACP,OAAA,GAAU,aAAA,GACT,OAAA,CAAQ,OAAA;;;;;;;;;iBAiDW,iBAAA,kBACH,aAAA,GAAgB,aAAA,CAAA,CAEjC,OAAA,EAAS,QAAA,EACT,KAAA,EAAO,uBAAA,EACP,OAAA,GAAU,aAAA,GACT,OAAA,CAAQ,IAAA"}
+{"version":3,"file":"resolve.d.mts","names":[],"sources":["../src/resolve.ts"],"mappings":";;;;;;;;AAqCA;;;;;;iBAAsB,aAAA,2BAEH,iBAAA,GAAoB,iBAAA,CAAA,CAErC,OAAA,EAAS,QAAA,EACT,IAAA,EAAM,uBAAA,EACN,SAAA,GAAY,aAAA,GACX,OAAA,CAAQ,OAAA;;;;;;;;;iBAyEW,OAAA,2BAEH,iBAAA,GAAoB,iBAAA,CAAA,CAErC,OAAA,EAAS,QAAA,EACT,KAAA,EAAO,uBAAA,EACP,OAAA,GAAU,aAAA,GACT,OAAA,CAAQ,OAAA;;;;;;;;;iBAiDW,iBAAA,kBACH,aAAA,GAAgB,aAAA,CAAA,CAEjC,OAAA,EAAS,QAAA,EACT,KAAA,EAAO,uBAAA,EACP,OAAA,GAAU,aAAA,GACT,OAAA,CAAQ,IAAA"}

package/dist/resolve.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"resolve.mjs","names":[],"sources":["../src/resolve.ts"],"sourcesContent":["/* -------------------------------------------------------------------\n\n                   ⚡ Storm Software - Powerlines\n\n This code was released as part of the Powerlines project. Powerlines\n is maintained by Storm Software under the Apache-2.0 license, and is\n free for commercial and private use. For more information, please visit\n our licensing page at https://stormsoftware.com/licenses/projects/powerlines.\n\n Website:                  https://stormsoftware.com\n Repository:               https://github.com/storm-software/powerlines\n Documentation:            https://docs.stormsoftware.com/projects/powerlines\n Contact:                  https://stormsoftware.com/contact\n\n SPDX-License-Identifier:  Apache-2.0\n\n ------------------------------------------------------------------- */\n\nimport { PluginContext } from \"@powerlines/core\";\nimport { esbuildPlugin } from \"@powerlines/deepkit/esbuild-plugin\";\nimport { reflect, Type } from \"@powerlines/deepkit/vendor/type\";\nimport { parseTypeDefinition } from \"@stryke/convert/parse-type-definition\";\nimport { findFileDotExtension } from \"@stryke/path/find\";\nimport { isSetString } from \"@stryke/type-checks/is-set-string\";\nimport {\n  TypeDefinition,\n  TypeDefinitionParameter\n} from \"@stryke/types/configuration\";\nimport defu from \"defu\";\nimport { bundle, BundleOptions } from \"./bundle\";\n\n/**\n * Compiles a type definition to a module and returns the module.\n *\n * @param context - The context object containing the environment paths.\n * @param type - The type definition to compile. This can be either a string or a {@link TypeDefinition} object.\n * @param overrides - Optional overrides for the ESBuild configuration.\n * @returns A promise that resolves to the compiled module.\n */\nexport async function resolveModule<\n  TResult,\n  TContext extends PluginContext = PluginContext\n>(\n  context: TContext,\n  type: TypeDefinitionParameter,\n  overrides?: BundleOptions\n): Promise<TResult> {\n  let typeDefinition!: TypeDefinition;\n  if (isSetString(type)) {\n    typeDefinition = parseTypeDefinition(type) as TypeDefinition;\n  } else {\n    typeDefinition = type;\n  }\n\n  const result = await bundle<TContext>(\n    context,\n    typeDefinition.file,\n    overrides\n  );\n\n  let resolved: any;\n  try {\n    resolved = await context.resolver.evalModule(result.text, {\n      filename: result.path,\n      ext: findFileDotExtension(result.path)\n    });\n  } catch (error) {\n    if (\n      isSetString((error as Error).message) &&\n      new RegExp(\n        `Cannot find module '${context.config.framework?.name || \"powerlines\"}:.*'`\n      ).test((error as Error).message)\n    ) {\n      const moduleName = (error as Error).message.match(\n        new RegExp(\n          `Cannot find module '(${context.config.framework?.name || \"powerlines\"}:.*)'`\n        )\n      )?.[1];\n      throw new Error(\n        `The module \"${moduleName}\" could not be resolved while evaluating \"${\n          typeDefinition.file\n        }\". It is possible the required built-in modules have not yet been generated. Please check the order of your plugins. ${\n          context.config.logLevel.general === \"debug\" ||\n          context.config.logLevel.general === \"trace\"\n            ? `\n\nBundle output for module:\n${result.text}`\n            : \"\"\n        }`\n      );\n    }\n\n    throw new Error(\n      `Failed to evaluate the bundled module for \"${\n        typeDefinition.file\n      }\". Error: ${(error as Error).message}${\n        context.config.logLevel.general === \"debug\" ||\n        context.config.logLevel.general === \"trace\"\n          ? `\n\nBundle output for module:\n${result.text}`\n          : \"\"\n      }`\n    );\n  }\n\n  return resolved;\n}\n\n/**\n * Compiles a type definition to a module and returns the specified export from the module.\n *\n * @param context - The context object containing the environment paths.\n * @param input - The type definition to compile. This can be either a string or a {@link TypeDefinition} object.\n * @param options - Optional overrides for the ESBuild configuration.\n * @returns A promise that resolves to the compiled module.\n */\nexport async function resolve<\n  TResult,\n  TContext extends PluginContext = PluginContext\n>(\n  context: TContext,\n  input: TypeDefinitionParameter,\n  options?: BundleOptions\n): Promise<TResult> {\n  let typeDefinition!: TypeDefinition;\n  if (isSetString(input)) {\n    typeDefinition = parseTypeDefinition(input) as TypeDefinition;\n  } else {\n    typeDefinition = input;\n  }\n\n  const resolved = await resolveModule<Record<string, any>, TContext>(\n    context,\n    typeDefinition,\n    options\n  );\n\n  let exportName = typeDefinition.name;\n  if (!exportName) {\n    exportName = \"default\";\n  }\n\n  const resolvedExport = resolved[exportName] ?? resolved[`__Ω${exportName}`];\n  if (resolvedExport === undefined) {\n    throw new Error(\n      `The export \"${exportName}\" could not be resolved in the \"${\n        typeDefinition.file\n      }\" module. ${\n        Object.keys(resolved).length === 0\n          ? `After bundling, no exports were found in the module. Please ensure that the \"${\n              typeDefinition.file\n            }\" module has a \"${exportName}\" export with the desired value.`\n          : `After bundling, the available exports were: ${Object.keys(\n              resolved\n            ).join(\n              \", \"\n            )}. Please ensure that the export exists and is correctly named.`\n      }`\n    );\n  }\n\n  return resolvedExport;\n}\n\n/**\n * Resolves a type definition to a Deepkit Type reflection. This function compiles the provided type definition to a module, evaluates the module to get the specified export, and then reflects the export to get its Deepkit Type reflection.\n *\n * @param context - The context object containing the environment paths.\n * @param input - The type definition to compile. This can be either a string or a {@link TypeDefinition} object.\n * @param options - Optional overrides for the ESBuild configuration.\n * @returns A promise that resolves to the Deepkit Type reflection.\n */\nexport async function resolveReflection<\n  TContext extends PluginContext = PluginContext\n>(\n  context: TContext,\n  input: TypeDefinitionParameter,\n  options?: BundleOptions\n): Promise<Type> {\n  return reflect(\n    await resolve<Type>(\n      context,\n      input,\n      defu(options, {\n        plugins: [\n          esbuildPlugin(context, {\n            reflection: \"default\",\n            level: \"all\"\n          })\n        ]\n      })\n    )\n  );\n}\n"],"mappings":";;;;;;;;;;;;;;;;;AAuCA,eAAsB,cAIpB,SACA,MACA,WACkB;CAClB,IAAI;AACJ,KAAI,YAAY,KAAK,CACnB,kBAAiB,oBAAoB,KAAK;KAE1C,kBAAiB;CAGnB,MAAM,SAAS,MAAM,OACnB,SACA,eAAe,MACf,UACD;CAED,IAAI;AACJ,KAAI;AACF,aAAW,MAAM,QAAQ,SAAS,WAAW,OAAO,MAAM;GACxD,UAAU,OAAO;GACjB,KAAK,qBAAqB,OAAO,KAAK;GACvC,CAAC;UACK,OAAO;AACd,MACE,YAAa,MAAgB,QAAQ,IACrC,IAAI,OACF,uBAAuB,QAAQ,OAAO,WAAW,QAAQ,aAAa,MACvE,CAAC,KAAM,MAAgB,QAAQ,EAChC;GACA,MAAM,aAAc,MAAgB,QAAQ,MAC1C,IAAI,OACF,wBAAwB,QAAQ,OAAO,WAAW,QAAQ,aAAa,OACxE,CACF,GAAG;AACJ,SAAM,IAAI,MACR,eAAe,WAAW,4CACxB,eAAe,KAChB,uHACC,QAAQ,OAAO,SAAS,YAAY,WACpC,QAAQ,OAAO,SAAS,YAAY,UAChC;;;EAGZ,OAAO,SACK,KAEP;;AAGH,QAAM,IAAI,MACR,8CACE,eAAe,KAChB,YAAa,MAAgB,UAC5B,QAAQ,OAAO,SAAS,YAAY,WACpC,QAAQ,OAAO,SAAS,YAAY,UAChC;;;EAGV,OAAO,SACG,KAEP;;AAGH,QAAO;;;;;;;;;;AAWT,eAAsB,QAIpB,SACA,OACA,SACkB;CAClB,IAAI;AACJ,KAAI,YAAY,MAAM,CACpB,kBAAiB,oBAAoB,MAAM;KAE3C,kBAAiB;CAGnB,MAAM,WAAW,MAAM,cACrB,SACA,gBACA,QACD;CAED,IAAI,aAAa,eAAe;AAChC,KAAI,CAAC,WACH,cAAa;CAGf,MAAM,iBAAiB,SAAS,eAAe,SAAS,MAAM;AAC9D,KAAI,mBAAmB,OACrB,OAAM,IAAI,MACR,eAAe,WAAW,kCACxB,eAAe,KAChB,YACC,OAAO,KAAK,SAAS,CAAC,WAAW,IAC7B,gFACE,eAAe,KAChB,kBAAkB,WAAW,oCAC9B,+CAA+C,OAAO,KACpD,SACD,CAAC,KACA,KACD,CAAC,kEAET;AAGH,QAAO;;;;;;;;;;AAWT,eAAsB,kBAGpB,SACA,OACA,SACe;AACf,QAAO,QACL,MAAM,QACJ,SACA,OACA,KAAK,SAAS,EACZ,SAAS,CACP,cAAc,SAAS;EACrB,YAAY;EACZ,OAAO;EACR,CAAC,CACH,EACF,CAAC,CACH,CACF"}
+{"version":3,"file":"resolve.mjs","names":[],"sources":["../src/resolve.ts"],"sourcesContent":["/* -------------------------------------------------------------------\n\n                   ⚡ Storm Software - Powerlines\n\n This code was released as part of the Powerlines project. Powerlines\n is maintained by Storm Software under the Apache-2.0 license, and is\n free for commercial and private use. For more information, please visit\n our licensing page at https://stormsoftware.com/licenses/projects/powerlines.\n\n Website:                  https://stormsoftware.com\n Repository:               https://github.com/storm-software/powerlines\n Documentation:            https://docs.stormsoftware.com/projects/powerlines\n Contact:                  https://stormsoftware.com/contact\n\n SPDX-License-Identifier:  Apache-2.0\n\n ------------------------------------------------------------------- */\n\nimport { PluginContext, UnresolvedContext } from \"@powerlines/core\";\nimport { esbuildPlugin } from \"@powerlines/deepkit/esbuild-plugin\";\nimport { reflect, Type } from \"@powerlines/deepkit/vendor/type\";\nimport { parseTypeDefinition } from \"@stryke/convert/parse-type-definition\";\nimport { findFileDotExtension } from \"@stryke/path/find\";\nimport { isSetString } from \"@stryke/type-checks/is-set-string\";\nimport { TypeDefinition } from \"@stryke/types/configuration\";\nimport defu from \"defu\";\nimport { bundle, BundleOptions } from \"./bundle\";\nimport { TypeDefinitionReference } from \"./types\";\n\n/**\n * Compiles a type definition to a module and returns the module.\n *\n * @param context - The context object containing the environment paths.\n * @param type - The type definition to compile. This can be either a string or a {@link TypeDefinition} object.\n * @param overrides - Optional overrides for the ESBuild configuration.\n * @returns A promise that resolves to the compiled module.\n */\nexport async function resolveModule<\n  TResult,\n  TContext extends UnresolvedContext = UnresolvedContext\n>(\n  context: TContext,\n  type: TypeDefinitionReference,\n  overrides?: BundleOptions\n): Promise<TResult> {\n  let typeDefinition!: TypeDefinition;\n  if (isSetString(type)) {\n    typeDefinition = parseTypeDefinition(type) as TypeDefinition;\n  } else {\n    typeDefinition = type;\n  }\n\n  const result = await bundle<TContext>(\n    context,\n    typeDefinition.file,\n    overrides\n  );\n\n  let resolved: any;\n  try {\n    resolved = await context.resolver.evalModule(result.text, {\n      filename: result.path,\n      ext: findFileDotExtension(result.path)\n    });\n  } catch (error) {\n    if (\n      isSetString((error as Error).message) &&\n      new RegExp(\n        `Cannot find module '${context.config.framework?.name || \"powerlines\"}:.*'`\n      ).test((error as Error).message)\n    ) {\n      const moduleName = (error as Error).message.match(\n        new RegExp(\n          `Cannot find module '(${context.config.framework?.name || \"powerlines\"}:.*)'`\n        )\n      )?.[1];\n      throw new Error(\n        `The module \"${moduleName}\" could not be resolved while evaluating \"${\n          typeDefinition.file\n        }\". It is possible the required built-in modules have not yet been generated. Please check the order of your plugins. ${\n          context.config.logLevel.general === \"debug\" ||\n          context.config.logLevel.general === \"trace\"\n            ? `\n\nBundle output for module:\n${result.text}`\n            : \"\"\n        }`\n      );\n    }\n\n    throw new Error(\n      `Failed to evaluate the bundled module for \"${\n        typeDefinition.file\n      }\". Error: ${(error as Error).message}${\n        context.config.logLevel.general === \"debug\" ||\n        context.config.logLevel.general === \"trace\"\n          ? `\n\nBundle output for module:\n${result.text}`\n          : \"\"\n      }`\n    );\n  }\n\n  return resolved;\n}\n\n/**\n * Compiles a type definition to a module and returns the specified export from the module.\n *\n * @param context - The context object containing the environment paths.\n * @param input - The type definition to compile. This can be either a string or a {@link TypeDefinition} object.\n * @param options - Optional overrides for the ESBuild configuration.\n * @returns A promise that resolves to the compiled module.\n */\nexport async function resolve<\n  TResult,\n  TContext extends UnresolvedContext = UnresolvedContext\n>(\n  context: TContext,\n  input: TypeDefinitionReference,\n  options?: BundleOptions\n): Promise<TResult> {\n  let typeDefinition!: TypeDefinition;\n  if (isSetString(input)) {\n    typeDefinition = parseTypeDefinition(input) as TypeDefinition;\n  } else {\n    typeDefinition = input;\n  }\n\n  const resolved = await resolveModule<Record<string, any>, TContext>(\n    context,\n    typeDefinition,\n    options\n  );\n\n  let exportName = typeDefinition.name;\n  if (!exportName) {\n    exportName = \"default\";\n  }\n\n  const resolvedExport = resolved[exportName] ?? resolved[`__Ω${exportName}`];\n  if (resolvedExport === undefined) {\n    throw new Error(\n      `The export \"${exportName}\" could not be resolved in the \"${\n        typeDefinition.file\n      }\" module. ${\n        Object.keys(resolved).length === 0\n          ? `After bundling, no exports were found in the module. Please ensure that the \"${\n              typeDefinition.file\n            }\" module has a \"${exportName}\" export with the desired value.`\n          : `After bundling, the available exports were: ${Object.keys(\n              resolved\n            ).join(\n              \", \"\n            )}. Please ensure that the export exists and is correctly named.`\n      }`\n    );\n  }\n\n  return resolvedExport;\n}\n\n/**\n * Resolves a type definition to a Deepkit Type reflection. This function compiles the provided type definition to a module, evaluates the module to get the specified export, and then reflects the export to get its Deepkit Type reflection.\n *\n * @param context - The context object containing the environment paths.\n * @param input - The type definition to compile. This can be either a string or a {@link TypeDefinition} object.\n * @param options - Optional overrides for the ESBuild configuration.\n * @returns A promise that resolves to the Deepkit Type reflection.\n */\nexport async function resolveReflection<\n  TContext extends PluginContext = PluginContext\n>(\n  context: TContext,\n  input: TypeDefinitionReference,\n  options?: BundleOptions\n): Promise<Type> {\n  return reflect(\n    await resolve<Type>(\n      context,\n      input,\n      defu(options, {\n        plugins: [\n          esbuildPlugin(context, {\n            reflection: \"default\",\n            level: \"all\"\n          })\n        ]\n      })\n    )\n  );\n}\n"],"mappings":";;;;;;;;;;;;;;;;;AAqCA,eAAsB,cAIpB,SACA,MACA,WACkB;CAClB,IAAI;AACJ,KAAI,YAAY,KAAK,CACnB,kBAAiB,oBAAoB,KAAK;KAE1C,kBAAiB;CAGnB,MAAM,SAAS,MAAM,OACnB,SACA,eAAe,MACf,UACD;CAED,IAAI;AACJ,KAAI;AACF,aAAW,MAAM,QAAQ,SAAS,WAAW,OAAO,MAAM;GACxD,UAAU,OAAO;GACjB,KAAK,qBAAqB,OAAO,KAAK;GACvC,CAAC;UACK,OAAO;AACd,MACE,YAAa,MAAgB,QAAQ,IACrC,IAAI,OACF,uBAAuB,QAAQ,OAAO,WAAW,QAAQ,aAAa,MACvE,CAAC,KAAM,MAAgB,QAAQ,EAChC;GACA,MAAM,aAAc,MAAgB,QAAQ,MAC1C,IAAI,OACF,wBAAwB,QAAQ,OAAO,WAAW,QAAQ,aAAa,OACxE,CACF,GAAG;AACJ,SAAM,IAAI,MACR,eAAe,WAAW,4CACxB,eAAe,KAChB,uHACC,QAAQ,OAAO,SAAS,YAAY,WACpC,QAAQ,OAAO,SAAS,YAAY,UAChC;;;EAGZ,OAAO,SACK,KAEP;;AAGH,QAAM,IAAI,MACR,8CACE,eAAe,KAChB,YAAa,MAAgB,UAC5B,QAAQ,OAAO,SAAS,YAAY,WACpC,QAAQ,OAAO,SAAS,YAAY,UAChC;;;EAGV,OAAO,SACG,KAEP;;AAGH,QAAO;;;;;;;;;;AAWT,eAAsB,QAIpB,SACA,OACA,SACkB;CAClB,IAAI;AACJ,KAAI,YAAY,MAAM,CACpB,kBAAiB,oBAAoB,MAAM;KAE3C,kBAAiB;CAGnB,MAAM,WAAW,MAAM,cACrB,SACA,gBACA,QACD;CAED,IAAI,aAAa,eAAe;AAChC,KAAI,CAAC,WACH,cAAa;CAGf,MAAM,iBAAiB,SAAS,eAAe,SAAS,MAAM;AAC9D,KAAI,mBAAmB,OACrB,OAAM,IAAI,MACR,eAAe,WAAW,kCACxB,eAAe,KAChB,YACC,OAAO,KAAK,SAAS,CAAC,WAAW,IAC7B,gFACE,eAAe,KAChB,kBAAkB,WAAW,oCAC9B,+CAA+C,OAAO,KACpD,SACD,CAAC,KACA,KACD,CAAC,kEAET;AAGH,QAAO;;;;;;;;;;AAWT,eAAsB,kBAGpB,SACA,OACA,SACe;AACf,QAAO,QACL,MAAM,QACJ,SACA,OACA,KAAK,SAAS,EACZ,SAAS,CACP,cAAc,SAAS;EACrB,YAAY;EACZ,OAAO;EACR,CAAC,CACH,EACF,CAAC,CACH,CACF"}