@atscript/typescript 0.1.24 → 0.1.26

package/dist/index.mjs

@@ -944,6 +944,7 @@ else if (!newBase) throw new Error(`"${typeName}" is not annotated type`);
 					__is_atscript_annotated_type: true,
 					type: newBase.type,
 					metadata,
+					id: newBase.id,
 					validator(opts) {
 						return new Validator(this, opts);
 					}
@@ -954,6 +955,10 @@ else if (!newBase) throw new Error(`"${typeName}" is not annotated type`);
 		annotate(key, value, asArray) {
 			annotate(this.$metadata, key, value, asArray);
 			return this;
+		},
+		id(value) {
+			this.$type.id = value;
+			return this;
 		}
 	};
 	return handle;
@@ -964,40 +969,112 @@ function isPhantomType(def) {
 
 //#endregion
 //#region packages/typescript/src/json-schema.ts
+/**
+* Detects a discriminator property across union items.
+*
+* Scans all items for object-typed members that share a common property
+* with distinct const/literal values. If exactly one such property exists,
+* it is returned as the discriminator.
+*/ function detectDiscriminator(items) {
+	if (items.length < 2) return null;
+	for (const item of items) if (item.type.kind !== "object") return null;
+	const firstObj = items[0].type;
+	const candidates = [];
+	for (const [propName, propType] of firstObj.props.entries()) if (propType.type.kind === "" && propType.type.value !== undefined) candidates.push(propName);
+	const validCandidates = [];
+	for (const candidate of candidates) {
+		const values = new Set();
+		const mapping = {};
+		let valid = true;
+		for (let i = 0; i < items.length; i++) {
+			const obj = items[i].type;
+			const prop = obj.props.get(candidate);
+			if (!prop || prop.type.kind !== "" || prop.type.value === undefined) {
+				valid = false;
+				break;
+			}
+			const val = prop.type.value;
+			if (values.has(val)) {
+				valid = false;
+				break;
+			}
+			values.add(val);
+			mapping[String(val)] = `#/oneOf/${i}`;
+		}
+		if (valid) validCandidates.push({
+			propertyName: candidate,
+			mapping
+		});
+	}
+	if (validCandidates.length === 1) return validCandidates[0];
+	return null;
+}
 function buildJsonSchema(type) {
+	const defs = {};
+	let isRoot = true;
+	const buildObject = (d) => {
+		const properties = {};
+		const required = [];
+		for (const [key, val] of d.type.props.entries()) {
+			if (isPhantomType(val)) continue;
+			properties[key] = build(val);
+			if (!val.optional) required.push(key);
+		}
+		const schema$1 = {
+			type: "object",
+			properties
+		};
+		if (required.length > 0) schema$1.required = required;
+		return schema$1;
+	};
 	const build = (def) => {
+		if (def.id && def.type.kind === "object" && !isRoot) {
+			const name = def.id;
+			if (!defs[name]) {
+				defs[name] = {};
+				defs[name] = buildObject(def);
+			}
+			return { $ref: `#/$defs/${name}` };
+		}
+		isRoot = false;
 		const meta = def.metadata;
 		return forAnnotatedType(def, {
 			phantom() {
 				return {};
 			},
 			object(d) {
-				const properties = {};
-				const required = [];
-				for (const [key, val] of d.type.props.entries()) {
-					if (isPhantomType(val)) continue;
-					properties[key] = build(val);
-					if (!val.optional) required.push(key);
-				}
-				const schema = {
-					type: "object",
-					properties
-				};
-				if (required.length > 0) schema.required = required;
-				return schema;
+				return buildObject(d);
 			},
 			array(d) {
-				const schema = {
+				const schema$1 = {
 					type: "array",
 					items: build(d.type.of)
 				};
 				const minLength = meta.get("expect.minLength");
-				if (minLength) schema.minItems = typeof minLength === "number" ? minLength : minLength.length;
+				if (minLength) schema$1.minItems = typeof minLength === "number" ? minLength : minLength.length;
 				const maxLength = meta.get("expect.maxLength");
-				if (maxLength) schema.maxItems = typeof maxLength === "number" ? maxLength : maxLength.length;
-				return schema;
+				if (maxLength) schema$1.maxItems = typeof maxLength === "number" ? maxLength : maxLength.length;
+				return schema$1;
 			},
 			union(d) {
+				const disc = detectDiscriminator(d.type.items);
+				if (disc) {
+					const oneOf = d.type.items.map(build);
+					const mapping = {};
+					for (const [val, origPath] of Object.entries(disc.mapping)) {
+						const idx = Number.parseInt(origPath.split("/").pop());
+						const item = d.type.items[idx];
+						if (item.id && defs[item.id]) mapping[val] = `#/$defs/${item.id}`;
+else mapping[val] = origPath;
+					}
+					return {
+						oneOf,
+						discriminator: {
+							propertyName: disc.propertyName,
+							mapping
+						}
+					};
+				}
 				return { anyOf: d.type.items.map(build) };
 			},
 			intersection(d) {
@@ -1011,33 +1088,38 @@ function buildJsonSchema(type) {
 				};
 			},
 			final(d) {
-				const schema = {};
-				if (d.type.value !== undefined) schema.const = d.type.value;
+				const schema$1 = {};
+				if (d.type.value !== undefined) schema$1.const = d.type.value;
 				if (d.type.designType && d.type.designType !== "any") {
-					schema.type = d.type.designType === "undefined" ? "null" : d.type.designType;
-					if (schema.type === "number" && meta.get("expect.int")) schema.type = "integer";
+					schema$1.type = d.type.designType === "undefined" ? "null" : d.type.designType;
+					if (schema$1.type === "number" && meta.get("expect.int")) schema$1.type = "integer";
 				}
-				if (schema.type === "string") {
-					if (meta.get("meta.required")) schema.minLength = 1;
+				if (schema$1.type === "string") {
+					if (meta.get("meta.required")) schema$1.minLength = 1;
 					const minLength = meta.get("expect.minLength");
-					if (minLength) schema.minLength = typeof minLength === "number" ? minLength : minLength.length;
+					if (minLength) schema$1.minLength = typeof minLength === "number" ? minLength : minLength.length;
 					const maxLength = meta.get("expect.maxLength");
-					if (maxLength) schema.maxLength = typeof maxLength === "number" ? maxLength : maxLength.length;
+					if (maxLength) schema$1.maxLength = typeof maxLength === "number" ? maxLength : maxLength.length;
 					const patterns = meta.get("expect.pattern");
-					if (patterns?.length) if (patterns.length === 1) schema.pattern = patterns[0].pattern;
-else schema.allOf = (schema.allOf || []).concat(patterns.map((p) => ({ pattern: p.pattern })));
+					if (patterns?.length) if (patterns.length === 1) schema$1.pattern = patterns[0].pattern;
+else schema$1.allOf = (schema$1.allOf || []).concat(patterns.map((p) => ({ pattern: p.pattern })));
 				}
-				if (schema.type === "number" || schema.type === "integer") {
+				if (schema$1.type === "number" || schema$1.type === "integer") {
 					const min = meta.get("expect.min");
-					if (min) schema.minimum = typeof min === "number" ? min : min.minValue;
+					if (min) schema$1.minimum = typeof min === "number" ? min : min.minValue;
 					const max = meta.get("expect.max");
-					if (max) schema.maximum = typeof max === "number" ? max : max.maxValue;
+					if (max) schema$1.maximum = typeof max === "number" ? max : max.maxValue;
 				}
-				return schema;
+				return schema$1;
 			}
 		});
 	};
-	return build(type);
+	const schema = build(type);
+	if (Object.keys(defs).length > 0) return {
+		...schema,
+		$defs: defs
+	};
+	return schema;
 }
 
 //#endregion
@@ -1058,11 +1140,23 @@ var JsRenderer = class extends BaseRenderer {
 		this.writeln("/* eslint-disable */");
 		this.writeln("/* oxlint-disable */");
 		const imports = ["defineAnnotatedType as $", "annotate as $a"];
+		const hasMutatingAnnotate = this.doc.nodes.some((n) => n.entity === "annotate" && n.isMutating);
+		if (hasMutatingAnnotate) imports.push("cloneRefProp as $c");
 		const jsonSchemaMode = resolveJsonSchemaMode(this.opts);
 		if (jsonSchemaMode === "lazy") imports.push("buildJsonSchema as $$");
 		if (this.opts?.exampleData) imports.push("createDataFromAnnotatedType as $e");
 		if (jsonSchemaMode === false) imports.push("throwFeatureDisabled as $d");
 		this.writeln(`import { ${imports.join(", ")} } from "@atscript/typescript/utils"`);
+		const nameCounts = new Map();
+		const nodesByName = new Map();
+		for (const node of this.doc.nodes) if (node.__typeId != null && node.id) {
+			const name = node.id;
+			nameCounts.set(name, (nameCounts.get(name) || 0) + 1);
+			if (!nodesByName.has(name)) nodesByName.set(name, []);
+			nodesByName.get(name).push(node);
+		}
+		for (const [name, nodes] of nodesByName) if (nodes.length === 1) this.typeIds.set(nodes[0], name);
+else for (let i = 0; i < nodes.length; i++) this.typeIds.set(nodes[i], `${name}__${i + 1}`);
 	}
 	buildAdHocMap(annotateNodes) {
 		const map = new Map();
@@ -1076,6 +1170,15 @@ var JsRenderer = class extends BaseRenderer {
 		}
 		return map.size > 0 ? map : null;
 	}
+	/**
+	* Checks if any ad-hoc annotation path extends beyond the current _propPath,
+	* meaning annotations target properties inside a referenced type.
+	*/ hasAdHocAnnotationsThroughRef() {
+		if (!this._adHocAnnotations || this._propPath.length === 0) return false;
+		const prefix = this._propPath.join(".") + ".";
+		for (const key of this._adHocAnnotations.keys()) if (key.startsWith(prefix)) return true;
+		return false;
+	}
 	post() {
 		for (const node of this.postAnnotate) if (node.entity === "annotate") {
 			const annotateNode = node;
@@ -1106,6 +1209,8 @@ else {
 		this.writeln("static __is_atscript_annotated_type = true");
 		this.writeln("static type = {}");
 		this.writeln("static metadata = new Map()");
+		const typeId = this.typeIds.get(node);
+		if (typeId) this.writeln(`static id = "${typeId}"`);
 		this.renderJsonSchemaMethod(node);
 		this.renderExampleDataMethod(node);
 	}
@@ -1184,6 +1289,8 @@ else {
 			case "type": {
 				const def = node.getDefinition();
 				const handle = this.toAnnotatedHandle(def, true);
+				const typeId = this.typeIds.get(node) ?? (node.__typeId != null ? node.id : undefined);
+				if (typeId) handle.id(typeId);
 				return skipAnnotations ? handle : this.applyExpectAnnotations(handle, this.doc.evalAnnotationsForNode(node));
 			}
 			case "prop": {
@@ -1310,6 +1417,14 @@ else handle.prop(prop.id, propHandle.$type);
 						return this;
 					}
 				}
+				if (this._adHocAnnotations && this.hasAdHocAnnotationsThroughRef()) {
+					let resolved = decl ? this.doc.mergeIntersection(decl) : undefined;
+					if (resolved && isInterface(resolved)) resolved = resolved.getDefinition() || resolved;
+					if (resolved) {
+						this.annotateType(resolved, name);
+						return this;
+					}
+				}
 				const chain = ref.hasChain ? `, [${ref.chain.map((c) => `"${escapeQuotes(c.text)}"`).join(", ")}]` : "";
 				this.writeln(`$(${name ? `"", ${name}` : ""})`).indent().writeln(`.refTo(${ref.id}${chain})`);
 				if (!ref.hasChain) {
@@ -1543,11 +1658,29 @@ else targetValue = "true";
 		const targetName = node.targetName;
 		const targetDef = this.resolveTargetDef(targetName);
 		this.writeln("// Ad-hoc annotations for ", targetName);
+		const allClones = [];
+		const entryAccessors = [];
 		for (const entry of node.entries) {
 			const anns = entry.annotations;
 			if (!anns || anns.length === 0) continue;
 			const parts = entry.hasChain ? [entry.id, ...entry.chain.map((c) => c.text)] : [entry.id];
-			const accessors = this.buildMutatingAccessors(targetName, targetDef, parts);
+			const { accessors, clones } = this.buildMutatingAccessors(targetName, targetDef, parts);
+			allClones.push(...clones);
+			entryAccessors.push({
+				entry,
+				accessors
+			});
+		}
+		const cloneKeys = new Set();
+		for (const clone of allClones) {
+			const key = `${clone.parentPath}|${clone.propName}`;
+			if (!cloneKeys.has(key)) {
+				cloneKeys.add(key);
+				this.writeln(`$c(${clone.parentPath}, "${escapeQuotes(clone.propName)}")`);
+			}
+		}
+		for (const { entry, accessors } of entryAccessors) {
+			const anns = entry.annotations;
 			for (const accessor of accessors) {
 				const cleared = new Set();
 				for (const an of anns) {
@@ -1597,15 +1730,21 @@ else targetValue = "true";
 			prefix: `${targetName}.type`,
 			def: targetDef
 		}];
+		const clones = [];
 		for (let i = 0; i < parts.length; i++) {
 			const nextAccessors = [];
 			for (const { prefix, def } of accessors) {
 				const results = this.buildPropPaths(def, parts[i]);
-				if (results.length > 0) for (const result of results) if (i < parts.length - 1) nextAccessors.push({
-					prefix: `${prefix}${result.path}?.type`,
-					def: result.propDef
-				});
-else nextAccessors.push({
+				if (results.length > 0) for (const result of results) if (i < parts.length - 1) {
+					if (result.propDef && isRef(result.propDef)) clones.push({
+						parentPath: prefix,
+						propName: parts[i]
+					});
+					nextAccessors.push({
+						prefix: `${prefix}${result.path}?.type`,
+						def: result.propDef
+					});
+				} else nextAccessors.push({
 					prefix: `${prefix}${result.path}?`,
 					def: result.propDef
 				});
@@ -1619,7 +1758,10 @@ else {
 			}
 			accessors = nextAccessors;
 		}
-		return accessors.map((a) => a.prefix);
+		return {
+			accessors: accessors.map((a) => a.prefix),
+			clones
+		};
 	}
 	/**
 	* Finds a property in a type tree at compile time, returning all
@@ -1655,7 +1797,7 @@ else {
 		return [];
 	}
 	constructor(doc, opts) {
-		super(doc), _define_property(this, "opts", void 0), _define_property(this, "postAnnotate", void 0), _define_property(this, "_adHocAnnotations", void 0), _define_property(this, "_propPath", void 0), this.opts = opts, this.postAnnotate = [], this._adHocAnnotations = null, this._propPath = [];
+		super(doc), _define_property(this, "opts", void 0), _define_property(this, "postAnnotate", void 0), _define_property(this, "_adHocAnnotations", void 0), _define_property(this, "_propPath", void 0), _define_property(this, "typeIds", void 0), this.opts = opts, this.postAnnotate = [], this._adHocAnnotations = null, this._propPath = [], this.typeIds = new Map();
 	}
 };
 

package/dist/utils.cjs

@@ -428,6 +428,63 @@ else metadata.set(key, [a, value]);
 	} else metadata.set(key, [value]);
 else metadata.set(key, value);
 }
+function cloneRefProp(parentType, propName) {
+	if (parentType.kind !== "object") return;
+	const objType = parentType;
+	const existing = objType.props.get(propName);
+	if (!existing) return;
+	const clonedType = cloneTypeDef(existing.type);
+	objType.props.set(propName, {
+		__is_atscript_annotated_type: true,
+		type: clonedType,
+		metadata: new Map(existing.metadata),
+		id: existing.id,
+		optional: existing.optional,
+		validator(opts) {
+			return new Validator(this, opts);
+		}
+	});
+}
+function cloneTypeDef(type) {
+	if (type.kind === "object") {
+		const obj = type;
+		return {
+			kind: "object",
+			props: new Map(Array.from(obj.props.entries()).map(([k, v]) => [k, {
+				__is_atscript_annotated_type: true,
+				type: v.type,
+				metadata: new Map(v.metadata),
+				id: v.id,
+				optional: v.optional,
+				validator(opts) {
+					return new Validator(this, opts);
+				}
+			}])),
+			propsPatterns: [...obj.propsPatterns],
+			tags: new Set(obj.tags)
+		};
+	}
+	if (type.kind === "array") {
+		const arr = type;
+		return {
+			kind: "array",
+			of: arr.of,
+			tags: new Set(arr.tags)
+		};
+	}
+	if (type.kind === "union" || type.kind === "intersection" || type.kind === "tuple") {
+		const complex = type;
+		return {
+			kind: type.kind,
+			items: [...complex.items],
+			tags: new Set(complex.tags)
+		};
+	}
+	return {
+		...type,
+		tags: new Set(type.tags)
+	};
+}
 function defineAnnotatedType(_kind, base) {
 	const kind = _kind || "";
 	const type = base?.type || {};
@@ -519,6 +576,7 @@ else if (!newBase) throw new Error(`"${typeName}" is not annotated type`);
 					__is_atscript_annotated_type: true,
 					type: newBase.type,
 					metadata,
+					id: newBase.id,
 					validator(opts) {
 						return new Validator(this, opts);
 					}
@@ -529,6 +587,10 @@ else if (!newBase) throw new Error(`"${typeName}" is not annotated type`);
 		annotate(key, value, asArray) {
 			annotate(this.$metadata, key, value, asArray);
 			return this;
+		},
+		id(value) {
+			this.$type.id = value;
+			return this;
 		}
 	};
 	return handle;
@@ -552,40 +614,112 @@ function isAnnotatedTypeOfPrimitive(t) {
 
 //#endregion
 //#region packages/typescript/src/json-schema.ts
+/**
+* Detects a discriminator property across union items.
+*
+* Scans all items for object-typed members that share a common property
+* with distinct const/literal values. If exactly one such property exists,
+* it is returned as the discriminator.
+*/ function detectDiscriminator(items) {
+	if (items.length < 2) return null;
+	for (const item of items) if (item.type.kind !== "object") return null;
+	const firstObj = items[0].type;
+	const candidates = [];
+	for (const [propName, propType] of firstObj.props.entries()) if (propType.type.kind === "" && propType.type.value !== undefined) candidates.push(propName);
+	const validCandidates = [];
+	for (const candidate of candidates) {
+		const values = new Set();
+		const mapping = {};
+		let valid = true;
+		for (let i = 0; i < items.length; i++) {
+			const obj = items[i].type;
+			const prop = obj.props.get(candidate);
+			if (!prop || prop.type.kind !== "" || prop.type.value === undefined) {
+				valid = false;
+				break;
+			}
+			const val = prop.type.value;
+			if (values.has(val)) {
+				valid = false;
+				break;
+			}
+			values.add(val);
+			mapping[String(val)] = `#/oneOf/${i}`;
+		}
+		if (valid) validCandidates.push({
+			propertyName: candidate,
+			mapping
+		});
+	}
+	if (validCandidates.length === 1) return validCandidates[0];
+	return null;
+}
 function buildJsonSchema(type) {
+	const defs = {};
+	let isRoot = true;
+	const buildObject = (d) => {
+		const properties = {};
+		const required = [];
+		for (const [key, val] of d.type.props.entries()) {
+			if (isPhantomType(val)) continue;
+			properties[key] = build$1(val);
+			if (!val.optional) required.push(key);
+		}
+		const schema$1 = {
+			type: "object",
+			properties
+		};
+		if (required.length > 0) schema$1.required = required;
+		return schema$1;
+	};
 	const build$1 = (def) => {
+		if (def.id && def.type.kind === "object" && !isRoot) {
+			const name = def.id;
+			if (!defs[name]) {
+				defs[name] = {};
+				defs[name] = buildObject(def);
+			}
+			return { $ref: `#/$defs/${name}` };
+		}
+		isRoot = false;
 		const meta = def.metadata;
 		return forAnnotatedType(def, {
 			phantom() {
 				return {};
 			},
 			object(d) {
-				const properties = {};
-				const required = [];
-				for (const [key, val] of d.type.props.entries()) {
-					if (isPhantomType(val)) continue;
-					properties[key] = build$1(val);
-					if (!val.optional) required.push(key);
-				}
-				const schema = {
-					type: "object",
-					properties
-				};
-				if (required.length > 0) schema.required = required;
-				return schema;
+				return buildObject(d);
 			},
 			array(d) {
-				const schema = {
+				const schema$1 = {
 					type: "array",
 					items: build$1(d.type.of)
 				};
 				const minLength = meta.get("expect.minLength");
-				if (minLength) schema.minItems = typeof minLength === "number" ? minLength : minLength.length;
+				if (minLength) schema$1.minItems = typeof minLength === "number" ? minLength : minLength.length;
 				const maxLength = meta.get("expect.maxLength");
-				if (maxLength) schema.maxItems = typeof maxLength === "number" ? maxLength : maxLength.length;
-				return schema;
+				if (maxLength) schema$1.maxItems = typeof maxLength === "number" ? maxLength : maxLength.length;
+				return schema$1;
 			},
 			union(d) {
+				const disc = detectDiscriminator(d.type.items);
+				if (disc) {
+					const oneOf = d.type.items.map(build$1);
+					const mapping = {};
+					for (const [val, origPath] of Object.entries(disc.mapping)) {
+						const idx = Number.parseInt(origPath.split("/").pop());
+						const item = d.type.items[idx];
+						if (item.id && defs[item.id]) mapping[val] = `#/$defs/${item.id}`;
+else mapping[val] = origPath;
+					}
+					return {
+						oneOf,
+						discriminator: {
+							propertyName: disc.propertyName,
+							mapping
+						}
+					};
+				}
 				return { anyOf: d.type.items.map(build$1) };
 			},
 			intersection(d) {
@@ -599,38 +733,54 @@ function buildJsonSchema(type) {
 				};
 			},
 			final(d) {
-				const schema = {};
-				if (d.type.value !== undefined) schema.const = d.type.value;
+				const schema$1 = {};
+				if (d.type.value !== undefined) schema$1.const = d.type.value;
 				if (d.type.designType && d.type.designType !== "any") {
-					schema.type = d.type.designType === "undefined" ? "null" : d.type.designType;
-					if (schema.type === "number" && meta.get("expect.int")) schema.type = "integer";
+					schema$1.type = d.type.designType === "undefined" ? "null" : d.type.designType;
+					if (schema$1.type === "number" && meta.get("expect.int")) schema$1.type = "integer";
 				}
-				if (schema.type === "string") {
-					if (meta.get("meta.required")) schema.minLength = 1;
+				if (schema$1.type === "string") {
+					if (meta.get("meta.required")) schema$1.minLength = 1;
 					const minLength = meta.get("expect.minLength");
-					if (minLength) schema.minLength = typeof minLength === "number" ? minLength : minLength.length;
+					if (minLength) schema$1.minLength = typeof minLength === "number" ? minLength : minLength.length;
 					const maxLength = meta.get("expect.maxLength");
-					if (maxLength) schema.maxLength = typeof maxLength === "number" ? maxLength : maxLength.length;
+					if (maxLength) schema$1.maxLength = typeof maxLength === "number" ? maxLength : maxLength.length;
 					const patterns = meta.get("expect.pattern");
-					if (patterns?.length) if (patterns.length === 1) schema.pattern = patterns[0].pattern;
-else schema.allOf = (schema.allOf || []).concat(patterns.map((p) => ({ pattern: p.pattern })));
+					if (patterns?.length) if (patterns.length === 1) schema$1.pattern = patterns[0].pattern;
+else schema$1.allOf = (schema$1.allOf || []).concat(patterns.map((p) => ({ pattern: p.pattern })));
 				}
-				if (schema.type === "number" || schema.type === "integer") {
+				if (schema$1.type === "number" || schema$1.type === "integer") {
 					const min = meta.get("expect.min");
-					if (min) schema.minimum = typeof min === "number" ? min : min.minValue;
+					if (min) schema$1.minimum = typeof min === "number" ? min : min.minValue;
 					const max = meta.get("expect.max");
-					if (max) schema.maximum = typeof max === "number" ? max : max.maxValue;
+					if (max) schema$1.maximum = typeof max === "number" ? max : max.maxValue;
 				}
-				return schema;
+				return schema$1;
 			}
 		});
 	};
-	return build$1(type);
+	const schema = build$1(type);
+	if (Object.keys(defs).length > 0) return {
+		...schema,
+		$defs: defs
+	};
+	return schema;
 }
 function fromJsonSchema(schema) {
+	const defsSource = schema.$defs || schema.definitions || {};
+	const resolved = new Map();
 	const convert = (s) => {
 		if (!s || Object.keys(s).length === 0) return defineAnnotatedType().designType("any").$type;
-		if (s.$ref) throw new Error("$ref is not supported by fromJsonSchema. Dereference the schema first.");
+		if (s.$ref) {
+			const refName = s.$ref.replace(/^#\/(\$defs|definitions)\//, "");
+			if (resolved.has(refName)) return resolved.get(refName);
+			if (defsSource[refName]) {
+				const type = convert(defsSource[refName]);
+				resolved.set(refName, type);
+				return type;
+			}
+			throw new Error(`Unresolvable $ref: ${s.$ref}`);
+		}
 		if ("const" in s) {
 			const val = s.const;
 			const dt = val === null ? "null" : typeof val;
@@ -718,6 +868,24 @@ function fromJsonSchema(schema) {
 	};
 	return convert(schema);
 }
+function mergeJsonSchemas(types) {
+	const mergedDefs = {};
+	const schemas = {};
+	for (const type of types) {
+		const name = type.id;
+		if (!name) throw new Error("mergeJsonSchemas: all types must have an id");
+		const schema = buildJsonSchema(type);
+		if (schema.$defs) {
+			for (const [defName, defSchema] of Object.entries(schema.$defs)) if (!mergedDefs[defName]) mergedDefs[defName] = defSchema;
+			const { $defs: _,...rest } = schema;
+			schemas[name] = rest;
+		} else schemas[name] = schema;
+	}
+	return {
+		schemas,
+		$defs: mergedDefs
+	};
+}
 
 //#endregion
 //#region packages/typescript/src/default-value.ts
@@ -911,6 +1079,7 @@ function serializeNode(def, path, options) {
 		metadata: serializeMetadata(def.metadata, path, def.type.kind, options)
 	};
 	if (def.optional) result.optional = true;
+	if (def.id) result.id = def.id;
 	return result;
 }
 function serializeTypeDef(def, path, options) {
@@ -1014,6 +1183,7 @@ function deserializeNode(data) {
 		}
 	};
 	if (data.optional) result.optional = true;
+	if (data.id) result.id = data.id;
 	return result;
 }
 function deserializeTypeDef(t) {
@@ -1064,6 +1234,7 @@ exports.Validator = Validator
 exports.ValidatorError = ValidatorError
 exports.annotate = annotate
 exports.buildJsonSchema = buildJsonSchema
+exports.cloneRefProp = cloneRefProp
 exports.createDataFromAnnotatedType = createDataFromAnnotatedType
 exports.defineAnnotatedType = defineAnnotatedType
 exports.deserializeAnnotatedType = deserializeAnnotatedType
@@ -1073,5 +1244,6 @@ exports.fromJsonSchema = fromJsonSchema
 exports.isAnnotatedType = isAnnotatedType
 exports.isAnnotatedTypeOfPrimitive = isAnnotatedTypeOfPrimitive
 exports.isPhantomType = isPhantomType
+exports.mergeJsonSchemas = mergeJsonSchemas
 exports.serializeAnnotatedType = serializeAnnotatedType
 exports.throwFeatureDisabled = throwFeatureDisabled