@atscript/typescript 0.1.1 → 0.1.3

package/dist/index.cjs

@@ -231,7 +231,7 @@ var TypeRenderer = class TypeRenderer extends BaseRenderer {
 		this.writeln(" * Do not edit this file!");
 		this.writeln(" */");
 		this.writeln();
-		this.writeln("import type { TAtscriptTypeObject, TAtscriptTypeComplex, TAtscriptTypeFinal, TAtscriptTypeArray, TMetadataMap, Validator, TAtscriptAnnotatedTypeConstructor, TValidatorOptions } from \"@atscript/typescript/utils\"");
+		this.writeln("import type { TAtscriptTypeObject, TAtscriptTypeComplex, TAtscriptTypeFinal, TAtscriptTypeArray, TAtscriptAnnotatedType, TMetadataMap, Validator, TValidatorOptions } from \"@atscript/typescript/utils\"");
 	}
 	post() {
 		this.writeln("// prettier-ignore-end");
@@ -320,9 +320,10 @@ var TypeRenderer = class TypeRenderer extends BaseRenderer {
 		}
 		if (asClass) {
 			this.writeln("static __is_atscript_annotated_type: true");
-			this.writeln(`static type: TAtscriptTypeObject<keyof ${asClass}>`);
+			this.writeln(`static type: TAtscriptTypeObject<keyof ${asClass}, ${asClass}>`);
 			this.writeln(`static metadata: TMetadataMap<AtscriptMetadata>`);
-			this.writeln(`static validator: <TT extends TAtscriptAnnotatedTypeConstructor = ${asClass}>(opts?: Partial<TValidatorOptions>) => Validator<TT>`);
+			this.writeln(`static validator: (opts?: Partial<TValidatorOptions>) => Validator<typeof ${asClass}>`);
+			if (resolveJsonSchemaMode(this.opts) === false) this.writeln("/** @deprecated JSON Schema support is disabled. Calling this method will throw a runtime error. To enable, set `jsonSchema: 'lazy'` or `jsonSchema: 'bundle'` in tsPlugin options, or add `@emit.jsonSchema` annotation to individual interfaces. */");
 			this.writeln("static toJsonSchema: () => any");
 		}
 		this.pop();
@@ -337,6 +338,12 @@ var TypeRenderer = class TypeRenderer extends BaseRenderer {
 		if (struct?.entity === "structure") this.renderStructure(struct, node.id);
 else this.writeln("{}");
 		this.writeln();
+		const nsPrefix = exported ? "export declare" : "declare";
+		this.write(`${nsPrefix} namespace ${node.id} `);
+		this.blockln("{}");
+		this.writeln(`type DataType = ${node.id}`);
+		this.popln();
+		this.writeln();
 	}
 	renderType(node) {
 		this.writeln();
@@ -351,44 +358,60 @@ else this.writeln("{}");
 	renderAnnotate(node) {
 		if (node.isMutating) return;
 		const targetName = node.targetName;
-		const unwound = this.doc.unwindType(targetName);
-		if (!unwound?.def) return;
-		const def = this.doc.mergeIntersection(unwound.def);
 		this.writeln();
 		const exported = node.token("export")?.text === "export";
 		this.renderJsDoc(node);
-		if ((0, __atscript_core.isStructure)(def) || (0, __atscript_core.isInterface)(def)) {
-			this.write(exported ? "export declare " : "declare ");
-			this.write(`class ${node.id} `);
-			this.renderStructure(def, node.id);
-		} else {
+		if (this.isTypeTarget(targetName)) {
 			this.write(exported ? "export " : "declare ");
-			this.write(`type ${node.id} = `);
-			this.renderTypeDef(def);
+			this.write(`type ${node.id} = ${targetName}`);
+			this.writeln();
+			const unwound = this.doc.unwindType(targetName);
+			this.renderTypeNamespaceFor(node.id, unwound?.def);
+		} else {
+			this.write(exported ? "export declare " : "declare ");
+			this.writeln(`class ${node.id} extends ${targetName} {}`);
+			const nsPrefix = exported ? "export declare" : "declare";
+			this.write(`${nsPrefix} namespace ${node.id} `);
+			this.blockln("{}");
+			this.writeln(`type DataType = ${node.id}`);
+			this.popln();
+			this.writeln();
 		}
-		this.writeln();
 	}
 	renderTypeNamespace(node) {
-		this.write(`declare namespace ${node.id} `);
+		this.renderTypeNamespaceFor(node.id, node.getDefinition());
+	}
+	renderTypeNamespaceFor(name, inputDef) {
+		this.write(`declare namespace ${name} `);
 		this.blockln("{}");
-		const def = node.getDefinition();
 		let typeDef = "TAtscriptTypeDef";
-		if (def) {
-			let realDef = def;
-			if ((0, __atscript_core.isRef)(def)) realDef = this.doc.unwindType(def.id, def.chain)?.def || realDef;
+		if (inputDef) {
+			let realDef = inputDef;
+			if ((0, __atscript_core.isRef)(inputDef)) realDef = this.doc.unwindType(inputDef.id, inputDef.chain)?.def || realDef;
 			realDef = this.doc.mergeIntersection(realDef);
-			if ((0, __atscript_core.isStructure)(realDef) || (0, __atscript_core.isInterface)(realDef)) typeDef = `TAtscriptTypeObject<keyof ${node.id}>`;
-else if ((0, __atscript_core.isGroup)(realDef)) typeDef = "TAtscriptTypeComplex";
-else if ((0, __atscript_core.isArray)(realDef)) typeDef = "TAtscriptTypeArray";
-else if ((0, __atscript_core.isPrimitive)(realDef)) typeDef = "TAtscriptTypeFinal";
+			if ((0, __atscript_core.isStructure)(realDef) || (0, __atscript_core.isInterface)(realDef)) typeDef = `TAtscriptTypeObject<keyof ${name}, ${name}>`;
+else if ((0, __atscript_core.isGroup)(realDef)) typeDef = `TAtscriptTypeComplex<${name}>`;
+else if ((0, __atscript_core.isArray)(realDef)) typeDef = `TAtscriptTypeArray<${name}>`;
+else if ((0, __atscript_core.isPrimitive)(realDef)) typeDef = `TAtscriptTypeFinal<${name}>`;
 		}
+		this.writeln(`type DataType = ${name}`);
 		this.writeln(`const __is_atscript_annotated_type: true`);
 		this.writeln(`const type: ${typeDef}`);
 		this.writeln(`const metadata: TMetadataMap<AtscriptMetadata>`);
-		this.writeln(`const validator: <TT extends TAtscriptAnnotatedTypeConstructor = ${node.id}>(opts?: Partial<TValidatorOptions>) => Validator<TT>`);
+		this.writeln(`const validator: (opts?: Partial<TValidatorOptions>) => Validator<TAtscriptAnnotatedType, ${name}>`);
+		if (resolveJsonSchemaMode(this.opts) === false) this.writeln("/** @deprecated JSON Schema support is disabled. Calling this method will throw a runtime error. To enable, set `jsonSchema: 'lazy'` or `jsonSchema: 'bundle'` in tsPlugin options, or add `@emit.jsonSchema` annotation to individual interfaces. */");
 		this.writeln("const toJsonSchema: () => any");
 		this.popln();
 	}
+	isTypeTarget(name, doc) {
+		const d = doc || this.doc;
+		const decl = d.getDeclarationOwnerNode(name);
+		if (!decl?.node) return false;
+		if (decl.node.entity === "type") return true;
+		if (decl.node.entity === "interface") return false;
+		if (decl.node.entity === "annotate") return this.isTypeTarget(decl.node.targetName, decl.doc);
+		return false;
+	}
 	renderJsDoc(node) {
 		const range = node.token("identifier")?.range;
 		const rangeStr = range ? `:${range.start.line + 1}:${range.start.character + 1}` : "";
@@ -418,6 +441,20 @@ function renderPrimitiveTypeDef(def) {
 	}
 }
 
+//#endregion
+//#region packages/typescript/src/traverse.ts
+function forAnnotatedType(def, handlers) {
+	switch (def.type.kind) {
+		case "": return handlers.final(def);
+		case "object": return handlers.object(def);
+		case "array": return handlers.array(def);
+		case "union": return handlers.union(def);
+		case "intersection": return handlers.intersection(def);
+		case "tuple": return handlers.tuple(def);
+		default: throw new Error(`Unknown type kind "${def.type.kind}"`);
+	}
+}
+
 //#endregion
 //#region packages/typescript/src/validator.ts
 function _define_property$1(obj, key, value) {
@@ -463,7 +500,17 @@ var Validator = class {
 	throw() {
 		throw new ValidatorError(this.errors);
 	}
-	validate(value, safe) {
+	/**
+	* Validates a value against the type definition.
+	*
+	* Acts as a TypeScript type guard — when it returns `true`, the value
+	* is narrowed to `DataType`.
+	*
+	* @param value - The value to validate.
+	* @param safe - If `true`, returns `false` on failure instead of throwing.
+	* @returns `true` if the value matches the type definition.
+	* @throws {ValidatorError} When validation fails and `safe` is not `true`.
+	*/ validate(value, safe) {
 		this.push("");
 		this.errors = [];
 		this.stackErrors = [];
@@ -490,15 +537,14 @@ var Validator = class {
 		return this.stackPath.slice(1).join(".");
 	}
 	validateAnnotatedType(def, value) {
-		switch (def.type.kind) {
-			case "object": return this.validateObject(def, value);
-			case "union": return this.validateUnion(def, value);
-			case "intersection": return this.validateIntersection(def, value);
-			case "tuple": return this.validateTuple(def, value);
-			case "array": return this.validateArray(def, value);
-			case "": return this.validatePrimitive(def, value);
-			default: throw new Error(`Unknown type "${def.type.kind}"`);
-		}
+		return forAnnotatedType(def, {
+			final: (d) => this.validatePrimitive(d, value),
+			object: (d) => this.validateObject(d, value),
+			array: (d) => this.validateArray(d, value),
+			union: (d) => this.validateUnion(d, value),
+			intersection: (d) => this.validateIntersection(d, value),
+			tuple: (d) => this.validateTuple(d, value)
+		});
 	}
 	validateUnion(def, value) {
 		let i = 0;
@@ -730,7 +776,7 @@ else {
 	constructor(def, opts) {
 		_define_property$1(this, "def", void 0);
 		_define_property$1(this, "opts", void 0);
-		_define_property$1(this, "errors", void 0);
+		/** Validation errors collected during the last {@link validate} call. */ _define_property$1(this, "errors", void 0);
 		_define_property$1(this, "stackErrors", void 0);
 		_define_property$1(this, "stackPath", void 0);
 		this.def = def;
@@ -757,6 +803,15 @@ var ValidatorError = class extends Error {
 function isAnnotatedType(type) {
 	return type && type.__is_atscript_annotated_type;
 }
+function annotate(metadata, key, value, asArray) {
+	if (!metadata) return;
+	if (asArray) if (metadata.has(key)) {
+		const a = metadata.get(key);
+		if (Array.isArray(a)) a.push(value);
+else metadata.set(key, [a, value]);
+	} else metadata.set(key, [value]);
+else metadata.set(key, value);
+}
 function defineAnnotatedType(_kind, base) {
 	const kind = _kind || "";
 	const type = base?.type || {};
@@ -856,12 +911,7 @@ else if (!newBase) throw new Error(`"${typeName}" is not annotated type`);
 			return this;
 		},
 		annotate(key, value, asArray) {
-			if (asArray) if (this.$metadata.has(key)) {
-				const a = this.$metadata.get(key);
-				if (Array.isArray(a)) a.push(value);
-else this.$metadata.set(key, [a, value]);
-			} else this.$metadata.set(key, [value]);
-else this.$metadata.set(key, value);
+			annotate(this.$metadata, key, value, asArray);
 			return this;
 		}
 	};
@@ -872,14 +922,12 @@ else this.$metadata.set(key, value);
 //#region packages/typescript/src/json-schema.ts
 function buildJsonSchema(type) {
 	const build = (def) => {
-		const t = def.type;
 		const meta = def.metadata;
-		switch (t.kind) {
-			case "object": {
-				const obj = t;
+		return forAnnotatedType(def, {
+			object(d) {
 				const properties = {};
 				const required = [];
-				for (const [key, val] of obj.props.entries()) {
+				for (const [key, val] of d.type.props.entries()) {
 					properties[key] = build(val);
 					if (!val.optional) required.push(key);
 				}
@@ -889,41 +937,36 @@ function buildJsonSchema(type) {
 				};
 				if (required.length) schema.required = required;
 				return schema;
-			}
-			case "array": {
-				const arr = t;
+			},
+			array(d) {
 				const schema = {
 					type: "array",
-					items: build(arr.of)
+					items: build(d.type.of)
 				};
 				const minLength = meta.get("expect.minLength");
 				if (typeof minLength === "number") schema.minItems = minLength;
 				const maxLength = meta.get("expect.maxLength");
 				if (typeof maxLength === "number") schema.maxItems = maxLength;
 				return schema;
-			}
-			case "union": {
-				const grp = t;
-				return { anyOf: grp.items.map(build) };
-			}
-			case "intersection": {
-				const grp = t;
-				return { allOf: grp.items.map(build) };
-			}
-			case "tuple": {
-				const grp = t;
+			},
+			union(d) {
+				return { anyOf: d.type.items.map(build) };
+			},
+			intersection(d) {
+				return { allOf: d.type.items.map(build) };
+			},
+			tuple(d) {
 				return {
 					type: "array",
-					items: grp.items.map(build),
+					items: d.type.items.map(build),
 					additionalItems: false
 				};
-			}
-			case "": {
-				const fin = t;
+			},
+			final(d) {
 				const schema = {};
-				if (fin.value !== undefined) schema.const = fin.value;
-				if (fin.designType && fin.designType !== "any") {
-					schema.type = fin.designType === "undefined" ? "null" : fin.designType;
+				if (d.type.value !== undefined) schema.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";
 				}
 				if (schema.type === "string") {
@@ -943,8 +986,7 @@ else schema.allOf = (schema.allOf || []).concat(patterns.map((p) => ({ pattern:
 				}
 				return schema;
 			}
-			default: return {};
-		}
+		});
 	};
 	return build(type);
 }
@@ -965,8 +1007,8 @@ var JsRenderer = class extends BaseRenderer {
 	pre() {
 		this.writeln("// prettier-ignore-start");
 		this.writeln("/* eslint-disable */");
-		const imports = ["defineAnnotatedType as $"];
-		if (!this.opts?.preRenderJsonSchema) imports.push("buildJsonSchema as $$");
+		const imports = ["defineAnnotatedType as $", "annotate as $a"];
+		if (resolveJsonSchemaMode(this.opts) === "lazy") imports.push("buildJsonSchema as $$");
 		this.writeln(`import { ${imports.join(", ")} } from "@atscript/typescript/utils"`);
 	}
 	buildAdHocMap(annotateNodes) {
@@ -984,27 +1026,26 @@ var JsRenderer = class extends BaseRenderer {
 	post() {
 		for (const node of this.postAnnotate) if (node.entity === "annotate") {
 			const annotateNode = node;
-			const unwound = this.doc.unwindType(annotateNode.targetName);
-			if (unwound?.def) {
-				let def = this.doc.mergeIntersection(unwound.def);
-				if ((0, __atscript_core.isInterface)(def)) def = def.getDefinition() || def;
-				this._adHocAnnotations = this.buildAdHocMap([annotateNode]);
-				this.annotateType(def, node.id);
-				this._adHocAnnotations = null;
-				this.indent();
-				this.defineMetadataForAnnotateAlias(annotateNode);
-				this.unindent();
-				this.writeln();
+			if (annotateNode.isMutating) this.renderMutatingAnnotateNode(annotateNode);
+else {
+				const unwound = this.doc.unwindType(annotateNode.targetName);
+				if (unwound?.def) {
+					let def = this.doc.mergeIntersection(unwound.def);
+					if ((0, __atscript_core.isInterface)(def)) def = def.getDefinition() || def;
+					this._adHocAnnotations = this.buildAdHocMap([annotateNode]);
+					this.annotateType(def, node.id);
+					this._adHocAnnotations = null;
+					this.indent();
+					this.defineMetadataForAnnotateAlias(annotateNode);
+					this.unindent();
+					this.writeln();
+				}
 			}
 		} else {
-			const mutatingNodes = this.doc.getAnnotateNodesFor(node.id).filter((n) => n.isMutating);
-			this._adHocAnnotations = this.buildAdHocMap(mutatingNodes);
 			this.annotateType(node.getDefinition(), node.id);
-			this._adHocAnnotations = null;
 			this.indent().defineMetadata(node).unindent();
 			this.writeln();
 		}
-		this.renderMutatingAnnotates();
 		this.writeln("// prettier-ignore-end");
 		super.post();
 	}
@@ -1038,7 +1079,7 @@ var JsRenderer = class extends BaseRenderer {
 	}
 	renderAnnotate(node) {
 		if (node.isMutating) {
-			this.mutatingAnnotates.push(node);
+			this.postAnnotate.push(node);
 			return;
 		}
 		const targetName = node.targetName;
@@ -1055,15 +1096,21 @@ var JsRenderer = class extends BaseRenderer {
 		this.writeln();
 	}
 	renderJsonSchemaMethod(node) {
-		if (this.opts?.preRenderJsonSchema) {
+		const mode = resolveJsonSchemaMode(this.opts);
+		const hasAnnotation = node.countAnnotations("emit.jsonSchema") > 0;
+		if (hasAnnotation || mode === "bundle") {
 			const schema = JSON.stringify(buildJsonSchema(this.toAnnotatedType(node)));
 			this.writeln("static toJsonSchema() {");
 			this.indent().writeln(`return ${schema}`).unindent();
 			this.writeln("}");
-		} else {
+		} else if (mode === "lazy") {
 			this.writeln("static toJsonSchema() {");
 			this.indent().writeln("return this._jsonSchema ?? (this._jsonSchema = $$(this))").unindent();
 			this.writeln("}");
+		} else {
+			this.writeln("static toJsonSchema() {");
+			this.indent().writeln("throw new Error(\"JSON Schema support is disabled. To enable, set `jsonSchema: 'lazy'` or `jsonSchema: 'bundle'` in tsPlugin options, or add @emit.jsonSchema annotation to individual interfaces.\")").unindent();
+			this.writeln("}");
 		}
 	}
 	toAnnotatedType(node) {
@@ -1326,18 +1373,13 @@ else handle.prop(prop.id, propHandle.$type);
 		return this;
 	}
 	defineMetadata(node) {
-		const annotations = this.doc.evalAnnotationsForNode(node);
-		let adHocNames;
-		let adHoc;
+		let annotations = this.doc.evalAnnotationsForNode(node);
 		if (this._adHocAnnotations && this._propPath.length > 0) {
 			const path$2 = this._propPath.join(".");
-			adHoc = this._adHocAnnotations.get(path$2);
-			if (adHoc) adHocNames = new Set(adHoc.map((a) => a.name));
+			const adHoc = this._adHocAnnotations.get(path$2);
+			if (adHoc) annotations = this.doc.mergeNodesAnnotations(annotations, adHoc);
 		}
 		annotations?.forEach((an) => {
-			if (!adHocNames || !adHocNames.has(an.name)) this.resolveAnnotationValue(node, an);
-		});
-		adHoc?.forEach((an) => {
 			this.resolveAnnotationValue(node, an);
 		});
 		return this;
@@ -1349,11 +1391,8 @@ else handle.prop(prop.id, propHandle.$type);
 		const annotateAnnotations = this.doc.evalAnnotationsForNode(annotateNode);
 		const targetDecl = this.doc.getDeclarationOwnerNode(annotateNode.targetName);
 		const targetAnnotations = targetDecl?.node ? targetDecl.doc.evalAnnotationsForNode(targetDecl.node) : undefined;
-		const overriddenNames = new Set(annotateAnnotations?.map((a) => a.name));
-		targetAnnotations?.forEach((an) => {
-			if (!overriddenNames.has(an.name)) this.resolveAnnotationValue(annotateNode, an);
-		});
-		annotateAnnotations?.forEach((an) => {
+		const merged = this.doc.mergeNodesAnnotations(targetAnnotations, annotateAnnotations);
+		merged.forEach((an) => {
 			this.resolveAnnotationValue(annotateNode, an);
 		});
 		return this;
@@ -1392,52 +1431,132 @@ else targetValue = "true";
 			multiple: !!multiple
 		};
 	}
-	renderMutatingAnnotates() {
-		for (const node of this.mutatingAnnotates) {
-			const targetName = node.targetName;
-			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];
-				let accessor = targetName;
-				for (const part of parts) accessor += `.type.props.get("${escapeQuotes(part)}")?`;
+	renderMutatingAnnotateNode(node) {
+		const targetName = node.targetName;
+		const targetDef = this.resolveTargetDef(targetName);
+		this.writeln("// Ad-hoc annotations for ", targetName);
+		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);
+			for (const accessor of accessors) {
+				const cleared = new Set();
 				for (const an of anns) {
 					const { value, multiple } = this.computeAnnotationValue(entry, an);
 					if (multiple) {
-						this.writeln(`{`);
-						this.indent();
-						this.writeln(`const __t = ${accessor}.metadata`);
-						this.writeln(`const __k = "${escapeQuotes(an.name)}"`);
-						this.writeln(`const __v = ${value}`);
-						this.writeln(`if (__t) { const __e = __t.get(__k); __t.set(__k, Array.isArray(__e) ? [...__e, __v] : __e !== undefined ? [__e, __v] : [__v]) }`);
-						this.unindent();
-						this.writeln(`}`);
-					} else this.writeln(`${accessor}.metadata.set("${escapeQuotes(an.name)}", ${value})`);
+						if (!cleared.has(an.name)) {
+							const spec = this.doc.resolveAnnotation(an.name);
+							if (!spec || spec.config.mergeStrategy !== "append") this.writeln(`${accessor}.metadata.delete("${escapeQuotes(an.name)}")`);
+							cleared.add(an.name);
+						}
+						this.writeln(`$a(${accessor}.metadata, "${escapeQuotes(an.name)}", ${value}, true)`);
+					} else this.writeln(`$a(${accessor}.metadata, "${escapeQuotes(an.name)}", ${value})`);
 				}
 			}
-			const topAnnotations = node.annotations;
-			if (topAnnotations && topAnnotations.length > 0) for (const an of topAnnotations) {
+		}
+		const topAnnotations = node.annotations;
+		if (topAnnotations && topAnnotations.length > 0) {
+			const cleared = new Set();
+			for (const an of topAnnotations) {
 				const { value, multiple } = this.computeAnnotationValue(node, an);
 				if (multiple) {
-					this.writeln(`{`);
-					this.indent();
-					this.writeln(`const __t = ${targetName}.metadata`);
-					this.writeln(`const __k = "${escapeQuotes(an.name)}"`);
-					this.writeln(`const __v = ${value}`);
-					this.writeln(`if (__t) { const __e = __t.get(__k); __t.set(__k, Array.isArray(__e) ? [...__e, __v] : __e !== undefined ? [__e, __v] : [__v]) }`);
-					this.unindent();
-					this.writeln(`}`);
-				} else this.writeln(`${targetName}.metadata.set("${escapeQuotes(an.name)}", ${value})`);
+					if (!cleared.has(an.name)) {
+						const spec = this.doc.resolveAnnotation(an.name);
+						if (!spec || spec.config.mergeStrategy !== "append") this.writeln(`${targetName}.metadata.delete("${escapeQuotes(an.name)}")`);
+						cleared.add(an.name);
+					}
+					this.writeln(`$a(${targetName}.metadata, "${escapeQuotes(an.name)}", ${value}, true)`);
+				} else this.writeln(`$a(${targetName}.metadata, "${escapeQuotes(an.name)}", ${value})`);
+			}
+		}
+		this.writeln();
+	}
+	resolveTargetDef(targetName) {
+		const unwound = this.doc.unwindType(targetName);
+		if (!unwound?.def) return undefined;
+		let def = unwound.def;
+		if ((0, __atscript_core.isInterface)(def)) def = def.getDefinition() || def;
+		return def;
+	}
+	/**
+	* Builds the runtime accessor paths for mutating annotate entries.
+	* Computes exact paths at compile time by walking the AST,
+	* so the generated JS accesses props directly without runtime search.
+	* Returns multiple paths when a property appears in multiple union branches.
+	*/ buildMutatingAccessors(targetName, targetDef, parts) {
+		let accessors = [{
+			prefix: targetName + ".type",
+			def: targetDef
+		}];
+		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({
+					prefix: prefix + result.path + "?",
+					def: result.propDef
+				});
+else {
+					const suffix = `.props.get("${escapeQuotes(parts[i])}")` + (i < parts.length - 1 ? "?.type" : "?");
+					nextAccessors.push({
+						prefix: prefix + suffix,
+						def: undefined
+					});
+				}
 			}
+			accessors = nextAccessors;
+		}
+		return accessors.map((a) => a.prefix);
+	}
+	/**
+	* Finds a property in a type tree at compile time, returning all
+	* matching runtime path strings and prop definitions for further chaining.
+	* Returns multiple results when the same property appears in different union branches.
+	*/ buildPropPaths(def, propName) {
+		if (!def) return [];
+		def = this.doc.mergeIntersection(def);
+		if ((0, __atscript_core.isRef)(def)) {
+			const ref = def;
+			const unwound = this.doc.unwindType(ref.id, ref.chain)?.def;
+			return this.buildPropPaths(unwound, propName);
+		}
+		if ((0, __atscript_core.isInterface)(def)) return this.buildPropPaths(def.getDefinition(), propName);
+		if ((0, __atscript_core.isStructure)(def)) {
+			const prop = def.props.get(propName);
+			if (prop) return [{
+				path: `.props.get("${escapeQuotes(propName)}")`,
+				propDef: prop.getDefinition()
+			}];
+			return [];
 		}
+		if ((0, __atscript_core.isGroup)(def)) {
+			const group = def;
+			const items = group.unwrap();
+			const results = [];
+			for (let i = 0; i < items.length; i++) for (const result of this.buildPropPaths(items[i], propName)) results.push({
+				path: `.items[${i}].type${result.path}`,
+				propDef: result.propDef
+			});
+			return results;
+		}
+		return [];
 	}
 	constructor(doc, opts) {
-		super(doc), _define_property(this, "opts", void 0), _define_property(this, "postAnnotate", void 0), _define_property(this, "mutatingAnnotates", void 0), _define_property(this, "_adHocAnnotations", void 0), _define_property(this, "_propPath", void 0), this.opts = opts, this.postAnnotate = [], this.mutatingAnnotates = [], 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), this.opts = opts, this.postAnnotate = [], this._adHocAnnotations = null, this._propPath = [];
 	}
 };
 
 //#endregion
 //#region packages/typescript/src/plugin.ts
+function resolveJsonSchemaMode(opts) {
+	if (opts?.jsonSchema !== undefined) return opts.jsonSchema;
+	return false;
+}
 const tsPlugin = (opts) => {
 	return {
 		name: "typesccript",

package/dist/index.d.ts

@@ -2,9 +2,15 @@ import { TAtscriptPlugin } from '@atscript/core';
 
 interface TTsPluginOptions {
     /**
-     * Render JSON schemas at build-time
+     * JSON Schema support mode:
+     * - `false` — No support. `toJsonSchema()` throws at runtime. No `buildJsonSchema` import. *(default)*
+     * - `'lazy'` — Import `buildJsonSchema`, compute on demand, cache in type object.
+     * - `'bundle'` — Pre-compute at build time, embed static JSON in output. No import.
+     *
+     * Individual interfaces can override this with `@emit.jsonSchema` annotation
+     * to force build-time embedding regardless of this setting.
      */
-    preRenderJsonSchema?: boolean;
+    jsonSchema?: false | 'lazy' | 'bundle';
 }
 declare const tsPlugin: (opts?: TTsPluginOptions) => TAtscriptPlugin;