@formspec/build 0.1.0-alpha.57 → 0.1.0-alpha.59

package/dist/internals.cjs

@@ -847,19 +847,19 @@ function wrapInConditional(field, layout, provenance) {
 }
 
 // src/analyzer/program.ts
-var ts7 = __toESM(require("typescript"), 1);
+var ts6 = __toESM(require("typescript"), 1);
 var path = __toESM(require("path"), 1);
 
 // src/analyzer/class-analyzer.ts
-var ts6 = __toESM(require("typescript"), 1);
-var import_internal4 = require("@formspec/analysis/internal");
+var ts5 = __toESM(require("typescript"), 1);
+var import_internal5 = require("@formspec/analysis/internal");
 
 // src/analyzer/jsdoc-constraints.ts
-var ts5 = __toESM(require("typescript"), 1);
+var ts4 = __toESM(require("typescript"), 1);
 
 // src/analyzer/tsdoc-parser.ts
-var ts4 = __toESM(require("typescript"), 1);
-var import_internal2 = require("@formspec/analysis/internal");
+var ts3 = __toESM(require("typescript"), 1);
+var import_internal3 = require("@formspec/analysis/internal");
 var import_internals3 = require("@formspec/core/internals");
 var import_internals4 = require("@formspec/core/internals");
 var import_core = require("@formspec/core");
@@ -870,21 +870,6 @@ var import_internal = require("@formspec/analysis/internal");
 
 // src/extensions/ts-type-utils.ts
 var ts = __toESM(require("typescript"), 1);
-function collectBrandIdentifiers(type) {
-  if (!type.isIntersection()) {
-    return [];
-  }
-  const brands = [];
-  for (const prop of type.getProperties()) {
-    const decl = prop.valueDeclaration ?? prop.declarations?.[0];
-    if (decl === void 0) continue;
-    if (!ts.isPropertySignature(decl) && !ts.isPropertyDeclaration(decl)) continue;
-    if (!ts.isComputedPropertyName(decl.name)) continue;
-    if (!ts.isIdentifier(decl.name.expression)) continue;
-    brands.push(decl.name.expression.text);
-  }
-  return brands;
-}
 function resolveCanonicalSymbol(type, checker) {
   const raw = type.aliasSymbol ?? type.getSymbol();
   if (raw === void 0) return void 0;
@@ -969,7 +954,7 @@ function resolveCustomTypeFromTsType(type, checker, registry, sourceNode) {
       return bySymbol;
     }
   }
-  for (const brand of collectBrandIdentifiers(stripped)) {
+  for (const brand of (0, import_internal._collectBrandIdentifiers)(stripped)) {
     const byBrand = registry.findTypeByBrand(brand);
     if (byBrand !== void 0) {
       return byBrand;
@@ -982,22 +967,17 @@ function customTypeIdFromLookup(result) {
 }
 
 // src/analyzer/builtin-brands.ts
-var ts3 = __toESM(require("typescript"), 1);
-function isIntegerBrandedType(type) {
-  if (!type.isIntersection()) return false;
-  if (!type.types.some((member) => !!(member.flags & ts3.TypeFlags.Number))) return false;
-  return collectBrandIdentifiers(type).includes("__integerBrand");
-}
+var import_internal2 = require("@formspec/analysis/internal");
 
 // src/analyzer/tsdoc-parser.ts
-var import_internal3 = require("@formspec/analysis/internal");
+var import_internal4 = require("@formspec/analysis/internal");
 function sharedTagValueOptions(options) {
   return {
     ...options?.extensionRegistry !== void 0 ? { registry: options.extensionRegistry } : {},
     ...options?.fieldType !== void 0 ? { fieldType: options.fieldType } : {}
   };
 }
-var SYNTHETIC_TYPE_FORMAT_FLAGS = ts4.TypeFormatFlags.NoTruncation | ts4.TypeFormatFlags.UseAliasDefinedOutsideCurrentScope;
+var SYNTHETIC_TYPE_FORMAT_FLAGS = ts3.TypeFormatFlags.NoTruncation | ts3.TypeFormatFlags.UseAliasDefinedOutsideCurrentScope;
 function getExtensionTypeNames(registry) {
   if (registry === void 0) {
     return /* @__PURE__ */ new Set();
@@ -1011,23 +991,23 @@ function getExtensionTypeNames(registry) {
 function collectImportedNames(sourceFile) {
   const importedNames = /* @__PURE__ */ new Set();
   for (const statement of sourceFile.statements) {
-    if (ts4.isImportDeclaration(statement) && statement.importClause !== void 0) {
+    if (ts3.isImportDeclaration(statement) && statement.importClause !== void 0) {
       const clause = statement.importClause;
       if (clause.name !== void 0) {
         importedNames.add(clause.name.text);
       }
       if (clause.namedBindings !== void 0) {
-        if (ts4.isNamedImports(clause.namedBindings)) {
+        if (ts3.isNamedImports(clause.namedBindings)) {
           for (const specifier of clause.namedBindings.elements) {
             importedNames.add(specifier.name.text);
           }
-        } else if (ts4.isNamespaceImport(clause.namedBindings)) {
+        } else if (ts3.isNamespaceImport(clause.namedBindings)) {
           importedNames.add(clause.namedBindings.name.text);
         }
       }
       continue;
     }
-    if (ts4.isImportEqualsDeclaration(statement)) {
+    if (ts3.isImportEqualsDeclaration(statement)) {
       importedNames.add(statement.name.text);
     }
   }
@@ -1035,13 +1015,13 @@ function collectImportedNames(sourceFile) {
 }
 function isNonReferenceIdentifier(node) {
   const parent = node.parent;
-  if ((ts4.isBindingElement(parent) || ts4.isClassDeclaration(parent) || ts4.isEnumDeclaration(parent) || ts4.isEnumMember(parent) || ts4.isFunctionDeclaration(parent) || ts4.isFunctionExpression(parent) || ts4.isImportClause(parent) || ts4.isImportEqualsDeclaration(parent) || ts4.isImportSpecifier(parent) || ts4.isInterfaceDeclaration(parent) || ts4.isMethodDeclaration(parent) || ts4.isMethodSignature(parent) || ts4.isModuleDeclaration(parent) || ts4.isNamespaceExport(parent) || ts4.isNamespaceImport(parent) || ts4.isParameter(parent) || ts4.isPropertyDeclaration(parent) || ts4.isPropertySignature(parent) || ts4.isSetAccessorDeclaration(parent) || ts4.isGetAccessorDeclaration(parent) || ts4.isTypeAliasDeclaration(parent) || ts4.isTypeParameterDeclaration(parent) || ts4.isVariableDeclaration(parent)) && parent.name === node) {
+  if ((ts3.isBindingElement(parent) || ts3.isClassDeclaration(parent) || ts3.isEnumDeclaration(parent) || ts3.isEnumMember(parent) || ts3.isFunctionDeclaration(parent) || ts3.isFunctionExpression(parent) || ts3.isImportClause(parent) || ts3.isImportEqualsDeclaration(parent) || ts3.isImportSpecifier(parent) || ts3.isInterfaceDeclaration(parent) || ts3.isMethodDeclaration(parent) || ts3.isMethodSignature(parent) || ts3.isModuleDeclaration(parent) || ts3.isNamespaceExport(parent) || ts3.isNamespaceImport(parent) || ts3.isParameter(parent) || ts3.isPropertyDeclaration(parent) || ts3.isPropertySignature(parent) || ts3.isSetAccessorDeclaration(parent) || ts3.isGetAccessorDeclaration(parent) || ts3.isTypeAliasDeclaration(parent) || ts3.isTypeParameterDeclaration(parent) || ts3.isVariableDeclaration(parent)) && parent.name === node) {
     return true;
   }
-  if ((ts4.isPropertyAssignment(parent) || ts4.isPropertyAccessExpression(parent)) && parent.name === node) {
+  if ((ts3.isPropertyAssignment(parent) || ts3.isPropertyAccessExpression(parent)) && parent.name === node) {
     return true;
   }
-  if (ts4.isQualifiedName(parent) && parent.right === node) {
+  if (ts3.isQualifiedName(parent) && parent.right === node) {
     return true;
   }
   return false;
@@ -1053,20 +1033,20 @@ function astReferencesImportedName(root, importedNames) {
   let found = false;
   const visit = (node) => {
     if (found) return;
-    if (ts4.isIdentifier(node) && importedNames.has(node.text) && !isNonReferenceIdentifier(node)) {
+    if (ts3.isIdentifier(node) && importedNames.has(node.text) && !isNonReferenceIdentifier(node)) {
       found = true;
       return;
     }
-    ts4.forEachChild(node, visit);
+    ts3.forEachChild(node, visit);
   };
   visit(root);
   return found;
 }
 function getObjectMembers(statement) {
-  if (ts4.isInterfaceDeclaration(statement)) {
+  if (ts3.isInterfaceDeclaration(statement)) {
     return statement.members;
   }
-  if (ts4.isTypeLiteralNode(statement.type)) {
+  if (ts3.isTypeLiteralNode(statement.type)) {
     return statement.type.members;
   }
   return void 0;
@@ -1078,7 +1058,7 @@ function rewriteImportedMemberTypes(statement, sourceFile, importedNames) {
   }
   const replacements = [];
   for (const member of members) {
-    if (!ts4.isPropertySignature(member)) {
+    if (!ts3.isPropertySignature(member)) {
       if (astReferencesImportedName(member, importedNames)) {
         return null;
       }
@@ -1110,14 +1090,14 @@ function buildSupportingDeclarations(sourceFile, extensionTypeNames) {
   );
   const result = [];
   for (const statement of sourceFile.statements) {
-    if (ts4.isImportDeclaration(statement)) continue;
-    if (ts4.isImportEqualsDeclaration(statement)) continue;
-    if (ts4.isExportDeclaration(statement) && statement.moduleSpecifier !== void 0) continue;
+    if (ts3.isImportDeclaration(statement)) continue;
+    if (ts3.isImportEqualsDeclaration(statement)) continue;
+    if (ts3.isExportDeclaration(statement) && statement.moduleSpecifier !== void 0) continue;
     if (!astReferencesImportedName(statement, importedNamesToSkip)) {
       result.push(statement.getText(sourceFile));
       continue;
     }
-    if (ts4.isInterfaceDeclaration(statement) || ts4.isTypeAliasDeclaration(statement)) {
+    if (ts3.isInterfaceDeclaration(statement) || ts3.isTypeAliasDeclaration(statement)) {
       const rewritten = rewriteImportedMemberTypes(statement, sourceFile, importedNamesToSkip);
       if (rewritten !== null) {
         result.push(rewritten);
@@ -1142,6 +1122,7 @@ function processConstraintTag(tagName, text, parsedTag, provenance, node, source
     sourceFile,
     tagName,
     parsedTag,
+    text,
     provenance,
     supportingDeclarations,
     options
@@ -1150,7 +1131,7 @@ function processConstraintTag(tagName, text, parsedTag, provenance, node, source
     pushUniqueCompilerDiagnostics(diagnostics, compilerDiagnostics);
     return;
   }
-  const constraintNode = (0, import_internal2.parseConstraintTagValue)(
+  const constraintNode = (0, import_internal3.parseConstraintTagValue)(
     tagName,
     text,
     provenance,
@@ -1169,6 +1150,9 @@ function renderSyntheticArgumentExpression(valueKind, argumentText) {
     case "number":
     case "integer":
     case "signedInteger":
+      if (trimmed === "Infinity" || trimmed === "-Infinity" || trimmed === "NaN") {
+        return trimmed;
+      }
       return Number.isFinite(Number(trimmed)) ? trimmed : JSON.stringify(trimmed);
     case "string":
       return JSON.stringify(argumentText);
@@ -1200,12 +1184,12 @@ function supportsConstraintCapability(type, checker, capability) {
   if (capability === void 0) {
     return true;
   }
-  if ((0, import_internal2.hasTypeSemanticCapability)(type, checker, capability)) {
+  if ((0, import_internal3.hasTypeSemanticCapability)(type, checker, capability)) {
     return true;
   }
   if (capability === "string-like") {
     const itemType = getArrayElementType(type, checker);
-    return itemType !== null && (0, import_internal2.hasTypeSemanticCapability)(itemType, checker, capability);
+    return itemType !== null && (0, import_internal3.hasTypeSemanticCapability)(itemType, checker, capability);
   }
   return false;
 }
@@ -1216,7 +1200,7 @@ function stripHintNullishUnion(type) {
     return type;
   }
   const nonNullish = type.types.filter(
-    (member) => (member.flags & (ts4.TypeFlags.Null | ts4.TypeFlags.Undefined)) === 0
+    (member) => (member.flags & (ts3.TypeFlags.Null | ts3.TypeFlags.Undefined)) === 0
   );
   if (nonNullish.length === 1 && nonNullish[0] !== void 0) {
     return nonNullish[0];
@@ -1232,10 +1216,10 @@ function isUserEmittableHintProperty(property, declaration) {
   }
   if ("name" in declaration && declaration.name !== void 0) {
     const name = declaration.name;
-    if (ts4.isComputedPropertyName(name) || ts4.isPrivateIdentifier(name)) {
+    if (ts3.isComputedPropertyName(name) || ts3.isPrivateIdentifier(name)) {
       return false;
     }
-    if (!ts4.isIdentifier(name) && !ts4.isStringLiteral(name) && !ts4.isNumericLiteral(name)) {
+    if (!ts3.isIdentifier(name) && !ts3.isStringLiteral(name) && !ts3.isNumericLiteral(name)) {
       return false;
     }
   }
@@ -1251,7 +1235,7 @@ function collectObjectSubfieldCandidates(type, checker, capability) {
     if (isCallableType(stripped)) {
       return;
     }
-    if (!(0, import_internal2.hasTypeSemanticCapability)(stripped, checker, "object-like")) {
+    if (!(0, import_internal3.hasTypeSemanticCapability)(stripped, checker, "object-like")) {
       return;
     }
     for (const property of stripped.getProperties()) {
@@ -1269,7 +1253,7 @@ function collectObjectSubfieldCandidates(type, checker, capability) {
         continue;
       }
       const strippedPropertyType = stripHintNullishUnion(propertyType);
-      if (!isCallableType(strippedPropertyType) && (0, import_internal2.hasTypeSemanticCapability)(strippedPropertyType, checker, "object-like")) {
+      if (!isCallableType(strippedPropertyType) && (0, import_internal3.hasTypeSemanticCapability)(strippedPropertyType, checker, "object-like")) {
         visit(strippedPropertyType, path3, depth + 1);
       }
     }
@@ -1278,7 +1262,7 @@ function collectObjectSubfieldCandidates(type, checker, capability) {
   return out;
 }
 function buildPathTargetHint(subjectType, checker, capability, tagName, argumentText) {
-  if (!(0, import_internal2.hasTypeSemanticCapability)(subjectType, checker, "object-like")) {
+  if (!(0, import_internal3.hasTypeSemanticCapability)(subjectType, checker, "object-like")) {
     return null;
   }
   const candidates = collectObjectSubfieldCandidates(subjectType, checker, capability);
@@ -1380,7 +1364,7 @@ function hasBuiltinConstraintBroadening(tagName, options) {
   const broadenedTypeId = getBroadenedCustomTypeId(options?.fieldType);
   return broadenedTypeId !== void 0 && options?.extensionRegistry?.findBuiltinConstraintBroadening(broadenedTypeId, tagName) !== void 0;
 }
-function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, parsedTag, provenance, supportingDeclarations, options) {
+function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, parsedTag, rawText, provenance, supportingDeclarations, options) {
   if (!(0, import_internals3.isBuiltinConstraintName)(tagName)) {
     return [];
   }
@@ -1389,22 +1373,24 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
   if (checker === void 0 || subjectType === void 0) {
     return [];
   }
-  const placement = (0, import_internal2.resolveDeclarationPlacement)(node);
+  const placement = (0, import_internal3.resolveDeclarationPlacement)(node);
   if (placement === null) {
     return [];
   }
-  const definition = (0, import_internal2.getTagDefinition)(tagName, options?.extensionRegistry?.extensions);
+  const definition = (0, import_internal3.getTagDefinition)(tagName, options?.extensionRegistry?.extensions);
   if (definition === null) {
     return [];
   }
   const nonNullPlacement = placement;
-  const log = (0, import_internal3.getBuildLogger)();
-  const broadeningLog = (0, import_internal3.getBroadeningLogger)();
-  const syntheticLog = (0, import_internal3.getSyntheticLogger)();
+  const log = (0, import_internal4.getBuildLogger)();
+  const broadeningLog = (0, import_internal4.getBroadeningLogger)();
+  const syntheticLog = (0, import_internal4.getSyntheticLogger)();
+  const typedParserLog = (0, import_internal4.getTypedParserLogger)();
   const logsEnabled = log !== import_core.noopLogger || broadeningLog !== import_core.noopLogger;
   const syntheticTraceEnabled = syntheticLog !== import_core.noopLogger;
-  const logStart = logsEnabled ? (0, import_internal3.nowMicros)() : 0;
-  const subjectTypeKind = logsEnabled ? (0, import_internal3.describeTypeKind)(subjectType, checker) : "";
+  const typedParserTraceEnabled = typedParserLog !== import_core.noopLogger;
+  const logStart = logsEnabled ? (0, import_internal4.nowMicros)() : 0;
+  const subjectTypeKind = logsEnabled ? (0, import_internal4.describeTypeKind)(subjectType, checker) : "";
   function emit(outcome, result2) {
     if (!logsEnabled) {
       return result2;
@@ -1415,11 +1401,11 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
       placement: nonNullPlacement,
       subjectTypeKind,
       roleOutcome: outcome,
-      elapsedMicros: (0, import_internal3.elapsedMicros)(logStart)
+      elapsedMicros: (0, import_internal4.elapsedMicros)(logStart)
     };
-    (0, import_internal3.logTagApplication)(log, entry);
+    (0, import_internal4.logTagApplication)(log, entry);
     if (outcome === "bypass" || outcome === "D1" || outcome === "D2") {
-      (0, import_internal3.logTagApplication)(broadeningLog, entry);
+      (0, import_internal4.logTagApplication)(broadeningLog, entry);
     }
     return result2;
   }
@@ -1454,7 +1440,7 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
         )
       ]);
     }
-    const resolution = (0, import_internal2.resolvePathTargetType)(subjectType, checker, target.path.segments);
+    const resolution = (0, import_internal3.resolvePathTargetType)(subjectType, checker, target.path.segments);
     if (resolution.kind === "missing-property") {
       return emit("B-reject", [
         makeDiagnostic(
@@ -1479,7 +1465,7 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
   }
   const hasBroadening = (() => {
     if (target === null) {
-      if (isIntegerBrandedType((0, import_internal2.stripNullishUnion)(subjectType)) && definition.capabilities.includes("numeric-comparable")) {
+      if ((0, import_internal2._isIntegerBrandedType)((0, import_internal3.stripNullishUnion)(subjectType)) && definition.capabilities.includes("numeric-comparable")) {
         return true;
       }
       return hasBuiltinConstraintBroadening(tagName, options);
@@ -1510,16 +1496,41 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
       ]);
     }
   }
-  const argumentExpression = renderSyntheticArgumentExpression(
-    definition.valueKind,
-    parsedTag?.argumentText ?? ""
-  );
-  if (definition.requiresArgument && argumentExpression === null) {
-    return emit("A-pass", []);
-  }
   if (hasBroadening) {
     return emit("bypass", []);
   }
+  const effectiveArgumentText = (0, import_internal4.extractEffectiveArgumentText)(tagName, rawText, parsedTag);
+  const typedParseResult = (0, import_internal4.parseTagArgument)(tagName, effectiveArgumentText, "build");
+  if (!typedParseResult.ok) {
+    if (typedParserTraceEnabled) {
+      typedParserLog.trace("typed-parser C-reject", {
+        consumer: "build",
+        tag: tagName,
+        placement: nonNullPlacement,
+        subjectTypeKind: subjectTypeKind !== "" ? subjectTypeKind : "-",
+        roleOutcome: "C-reject",
+        diagnosticCode: typedParseResult.diagnostic.code
+      });
+    }
+    const mappedCode = (0, import_internal4.mapTypedParserDiagnosticCode)(typedParseResult.diagnostic.code, tagName);
+    return emit("C-reject", [
+      makeDiagnostic(mappedCode, typedParseResult.diagnostic.message, provenance)
+    ]);
+  }
+  if (typedParserTraceEnabled) {
+    typedParserLog.trace("typed-parser C-pass", {
+      consumer: "build",
+      tag: tagName,
+      placement: nonNullPlacement,
+      subjectTypeKind: subjectTypeKind !== "" ? subjectTypeKind : "-",
+      roleOutcome: "C-pass",
+      valueKind: typedParseResult.value.kind
+    });
+  }
+  const argumentExpression = renderSyntheticArgumentExpression(
+    definition.valueKind,
+    effectiveArgumentText
+  );
   const subjectTypeText = checker.typeToString(subjectType, node, SYNTHETIC_TYPE_FORMAT_FLAGS);
   const hostType = options?.hostType ?? subjectType;
   const hostTypeText = checker.typeToString(hostType, node, SYNTHETIC_TYPE_FORMAT_FLAGS);
@@ -1532,7 +1543,7 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
       subjectTypeText
     });
   }
-  const result = (0, import_internal2.checkSyntheticTagApplication)({
+  const result = (0, import_internal3.checkSyntheticTagApplication)({
     tagName,
     placement,
     hostType: hostTypeText,
@@ -1558,13 +1569,13 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
     } : {}
   });
   if (result.diagnostics.length === 0) {
-    return emit("C-pass", []);
+    return emit("D-pass", []);
   }
   const setupDiagnostic = result.diagnostics.find((diagnostic) => diagnostic.kind !== "typescript");
   if (setupDiagnostic !== void 0) {
     return emit("C-reject", [
       makeDiagnostic(
-        setupDiagnostic.kind === "unsupported-custom-type-override" ? "UNSUPPORTED_CUSTOM_TYPE_OVERRIDE" : "SYNTHETIC_SETUP_FAILURE",
+        (0, import_internal4._mapSetupDiagnosticCode)(setupDiagnostic.kind),
         setupDiagnostic.message,
         provenance
       )
@@ -1583,10 +1594,10 @@ var parseResultCache = /* @__PURE__ */ new Map();
 function getExtensionTagNames(options) {
   return [
     ...options?.extensionRegistry?.extensions.flatMap(
-      (extension) => (extension.constraintTags ?? []).map((tag) => (0, import_internal2.normalizeFormSpecTagName)(tag.tagName))
+      (extension) => (extension.constraintTags ?? []).map((tag) => (0, import_internal3.normalizeFormSpecTagName)(tag.tagName))
     ) ?? [],
     ...options?.extensionRegistry?.extensions.flatMap(
-      (extension) => (extension.metadataSlots ?? []).map((slot) => (0, import_internal2.normalizeFormSpecTagName)(slot.tagName))
+      (extension) => (extension.metadataSlots ?? []).map((slot) => (0, import_internal3.normalizeFormSpecTagName)(slot.tagName))
     ) ?? []
   ].sort();
 }
@@ -1598,9 +1609,9 @@ function getExtensionRegistryCacheKey(registry) {
     (extension) => JSON.stringify({
       extensionId: extension.extensionId,
       typeNames: extension.types?.map((type) => type.typeName) ?? [],
-      constraintTags: extension.constraintTags?.map((tag) => (0, import_internal2.normalizeFormSpecTagName)(tag.tagName)) ?? [],
+      constraintTags: extension.constraintTags?.map((tag) => (0, import_internal3.normalizeFormSpecTagName)(tag.tagName)) ?? [],
       metadataSlots: extension.metadataSlots?.map((slot) => ({
-        tagName: (0, import_internal2.normalizeFormSpecTagName)(slot.tagName),
+        tagName: (0, import_internal3.normalizeFormSpecTagName)(slot.tagName),
         declarationKinds: [...slot.declarationKinds].sort(),
         allowBare: slot.allowBare !== false,
         qualifiers: (slot.qualifiers ?? []).map((qualifier) => ({
@@ -1632,6 +1643,16 @@ function parseTSDocTags(node, file = "", options) {
   if (cached !== void 0) {
     return cached;
   }
+  const setupDiags = options?.extensionRegistry?.setupDiagnostics;
+  if (setupDiags !== void 0 && setupDiags.length > 0) {
+    const result2 = {
+      constraints: [],
+      annotations: [],
+      diagnostics: (0, import_internal4._emitSetupDiagnostics)(setupDiags, file)
+    };
+    parseResultCache.set(cacheKey, result2);
+    return result2;
+  }
   const constraints = [];
   const annotations = [];
   const diagnostics = [];
@@ -1643,12 +1664,12 @@ function parseTSDocTags(node, file = "", options) {
   const sourceText = sourceFile.getFullText();
   const extensionTypeNames = getExtensionTypeNames(options?.extensionRegistry);
   const supportingDeclarations = buildSupportingDeclarations(sourceFile, extensionTypeNames);
-  const commentRanges = ts4.getLeadingCommentRanges(sourceText, node.getFullStart());
+  const commentRanges = ts3.getLeadingCommentRanges(sourceText, node.getFullStart());
   const rawTextFallbacks = collectRawTextFallbacks(node, file);
   const extensionTagNames = getExtensionTagNames(options);
   if (commentRanges) {
     for (const range of commentRanges) {
-      if (range.kind !== ts4.SyntaxKind.MultiLineCommentTrivia) {
+      if (range.kind !== ts3.SyntaxKind.MultiLineCommentTrivia) {
         continue;
       }
       const commentText = sourceText.substring(range.pos, range.end);
@@ -1656,7 +1677,7 @@ function parseTSDocTags(node, file = "", options) {
         continue;
       }
       const extensions = options?.extensionRegistry?.extensions;
-      const unified = (0, import_internal2.parseUnifiedComment)(commentText, {
+      const unified = (0, import_internal3.parseUnifiedComment)(commentText, {
         offset: range.pos,
         extensionTagNames,
         ...extensions !== void 0 ? { extensions } : {}
@@ -1691,13 +1712,13 @@ function parseTSDocTags(node, file = "", options) {
           }
           continue;
         }
-        if (import_internal2.TAGS_REQUIRING_RAW_TEXT.has(tagName)) {
+        if (import_internal3.TAGS_REQUIRING_RAW_TEXT.has(tagName)) {
           const fallback = rawTextFallbacks.get(tagName)?.shift();
-          const text2 = (0, import_internal2.choosePreferredPayloadText)(tag.resolvedPayloadText, fallback?.text ?? "");
+          const text2 = (0, import_internal3.choosePreferredPayloadText)(tag.resolvedPayloadText, fallback?.text ?? "");
           if (text2 === "") continue;
           const provenance2 = provenanceForParsedTag(tag, sourceFile, file);
           if (tagName === "defaultValue") {
-            annotations.push((0, import_internal2.parseDefaultValueTagValue)(text2, provenance2));
+            annotations.push((0, import_internal3.parseDefaultValueTagValue)(text2, provenance2));
             continue;
           }
           processConstraintTag(
@@ -1779,7 +1800,7 @@ function parseTSDocTags(node, file = "", options) {
       if (text === "") continue;
       const provenance = fallback.provenance;
       if (tagName === "defaultValue") {
-        annotations.push((0, import_internal2.parseDefaultValueTagValue)(text, provenance));
+        annotations.push((0, import_internal3.parseDefaultValueTagValue)(text, provenance));
         continue;
       }
       processConstraintTag(
@@ -1805,13 +1826,13 @@ function extractDisplayNameMetadata(node) {
   const memberDisplayNames = /* @__PURE__ */ new Map();
   const sourceFile = node.getSourceFile();
   const sourceText = sourceFile.getFullText();
-  const commentRanges = ts4.getLeadingCommentRanges(sourceText, node.getFullStart());
+  const commentRanges = ts3.getLeadingCommentRanges(sourceText, node.getFullStart());
   if (commentRanges) {
     for (const range of commentRanges) {
-      if (range.kind !== ts4.SyntaxKind.MultiLineCommentTrivia) continue;
+      if (range.kind !== ts3.SyntaxKind.MultiLineCommentTrivia) continue;
       const commentText = sourceText.substring(range.pos, range.end);
       if (!commentText.startsWith("/**")) continue;
-      const unified = (0, import_internal2.parseUnifiedComment)(commentText);
+      const unified = (0, import_internal3.parseUnifiedComment)(commentText);
       for (const tag of unified.tags) {
         if (tag.normalizedTagName !== "displayName") {
           continue;
@@ -1833,9 +1854,9 @@ function extractDisplayNameMetadata(node) {
 }
 function collectRawTextFallbacks(node, file) {
   const fallbacks = /* @__PURE__ */ new Map();
-  for (const tag of ts4.getJSDocTags(node)) {
+  for (const tag of ts3.getJSDocTags(node)) {
     const tagName = (0, import_internals3.normalizeConstraintTagName)(tag.tagName.text);
-    if (!import_internal2.TAGS_REQUIRING_RAW_TEXT.has(tagName)) continue;
+    if (!import_internal3.TAGS_REQUIRING_RAW_TEXT.has(tagName)) continue;
     const commentText = getTagCommentText(tag)?.trim() ?? "";
     if (commentText === "") continue;
     const entries = fallbacks.get(tagName) ?? [];
@@ -1848,7 +1869,7 @@ function collectRawTextFallbacks(node, file) {
   return fallbacks;
 }
 function isMemberTargetDisplayName(text) {
-  return (0, import_internal2.parseTagSyntax)("displayName", text).target !== null;
+  return (0, import_internal3.parseTagSyntax)("displayName", text).target !== null;
 }
 function provenanceForComment(range, sourceFile, file, tagName) {
   const { line, character } = sourceFile.getLineAndCharacterOfPosition(range.pos);
@@ -1888,7 +1909,7 @@ function getTagCommentText(tag) {
   if (typeof tag.comment === "string") {
     return tag.comment;
   }
-  return ts4.getTextOfJSDocComment(tag.comment);
+  return ts3.getTextOfJSDocComment(tag.comment);
 }
 
 // src/analyzer/jsdoc-constraints.ts
@@ -1906,18 +1927,18 @@ function extractJSDocAnnotationNodes(node, file = "", options) {
 function extractDefaultValueAnnotation(initializer, file = "") {
   if (!initializer) return null;
   let value;
-  if (ts5.isStringLiteral(initializer)) {
+  if (ts4.isStringLiteral(initializer)) {
     value = initializer.text;
-  } else if (ts5.isNumericLiteral(initializer)) {
+  } else if (ts4.isNumericLiteral(initializer)) {
     value = Number(initializer.text);
-  } else if (initializer.kind === ts5.SyntaxKind.TrueKeyword) {
+  } else if (initializer.kind === ts4.SyntaxKind.TrueKeyword) {
     value = true;
-  } else if (initializer.kind === ts5.SyntaxKind.FalseKeyword) {
+  } else if (initializer.kind === ts4.SyntaxKind.FalseKeyword) {
     value = false;
-  } else if (initializer.kind === ts5.SyntaxKind.NullKeyword) {
+  } else if (initializer.kind === ts4.SyntaxKind.NullKeyword) {
     value = null;
-  } else if (ts5.isPrefixUnaryExpression(initializer)) {
-    if (initializer.operator === ts5.SyntaxKind.MinusToken && ts5.isNumericLiteral(initializer.operand)) {
+  } else if (ts4.isPrefixUnaryExpression(initializer)) {
+    if (initializer.operator === ts4.SyntaxKind.MinusToken && ts4.isNumericLiteral(initializer.operand)) {
       value = -Number(initializer.operand.text);
     }
   }
@@ -1939,28 +1960,28 @@ function extractDefaultValueAnnotation(initializer, file = "") {
 
 // src/analyzer/class-analyzer.ts
 function isObjectType(type) {
-  return !!(type.flags & ts6.TypeFlags.Object);
+  return !!(type.flags & ts5.TypeFlags.Object);
 }
 function isIntersectionType(type) {
-  return !!(type.flags & ts6.TypeFlags.Intersection);
+  return !!(type.flags & ts5.TypeFlags.Intersection);
 }
 function isResolvableObjectLikeAliasTypeNode(typeNode) {
-  if (ts6.isParenthesizedTypeNode(typeNode)) {
+  if (ts5.isParenthesizedTypeNode(typeNode)) {
     return isResolvableObjectLikeAliasTypeNode(typeNode.type);
   }
-  if (ts6.isTypeLiteralNode(typeNode) || ts6.isTypeReferenceNode(typeNode)) {
+  if (ts5.isTypeLiteralNode(typeNode) || ts5.isTypeReferenceNode(typeNode)) {
     return true;
   }
-  return ts6.isIntersectionTypeNode(typeNode) && typeNode.types.length > 0 && typeNode.types.every((member) => isResolvableObjectLikeAliasTypeNode(member));
+  return ts5.isIntersectionTypeNode(typeNode) && typeNode.types.length > 0 && typeNode.types.every((member) => isResolvableObjectLikeAliasTypeNode(member));
 }
 function isSemanticallyPlainObjectLikeType(type, checker) {
   if (isIntersectionType(type)) {
     return type.types.length > 0 && type.types.every((member) => isSemanticallyPlainObjectLikeType(member, checker));
   }
-  return isObjectType(type) && checker.getSignaturesOfType(type, ts6.SignatureKind.Call).length === 0 && checker.getSignaturesOfType(type, ts6.SignatureKind.Construct).length === 0 && !checker.isArrayType(type) && !checker.isTupleType(type);
+  return isObjectType(type) && checker.getSignaturesOfType(type, ts5.SignatureKind.Call).length === 0 && checker.getSignaturesOfType(type, ts5.SignatureKind.Construct).length === 0 && !checker.isArrayType(type) && !checker.isTupleType(type);
 }
 function isTypeReference(type) {
-  return !!(type.flags & ts6.TypeFlags.Object) && !!(type.objectFlags & ts6.ObjectFlags.Reference);
+  return !!(type.flags & ts5.TypeFlags.Object) && !!(type.objectFlags & ts5.ObjectFlags.Reference);
 }
 var RESOLVING_TYPE_PLACEHOLDER = {
   kind: "object",
@@ -1986,8 +2007,23 @@ function createAnalyzerMetadataPolicy(input, discriminator) {
     discriminator
   };
 }
+var DEDUPLICATABLE_DIAGNOSTIC_CODES = /* @__PURE__ */ new Set([
+  "SYNTHETIC_SETUP_FAILURE",
+  "UNSUPPORTED_CUSTOM_TYPE_OVERRIDE"
+]);
+function deduplicateDiagnostics(diagnostics) {
+  if (diagnostics.length <= 1) return diagnostics;
+  const seen = /* @__PURE__ */ new Set();
+  return diagnostics.filter((d) => {
+    if (!DEDUPLICATABLE_DIAGNOSTIC_CODES.has(d.code)) return true;
+    const key = `${d.code}\0${d.message}`;
+    if (seen.has(key)) return false;
+    seen.add(key);
+    return true;
+  });
+}
 function resolveNodeMetadata(metadataPolicy, declarationKind, logicalName, node, checker, extensionRegistry, buildContext) {
-  const analysis = (0, import_internal4.analyzeMetadataForNodeWithChecker)({
+  const analysis = (0, import_internal5.analyzeMetadataForNodeWithChecker)({
     checker,
     node,
     logicalName,
@@ -2022,10 +2058,121 @@ function resolveNodeMetadata(metadataPolicy, declarationKind, logicalName, node,
   }
   return resolvedMetadata;
 }
+var INHERITABLE_TYPE_ANNOTATION_KINDS = /* @__PURE__ */ new Set(["format"]);
+function getInheritableAnnotationStringValue(annotation) {
+  if (annotation.annotationKind === "format") return annotation.value;
+  return void 0;
+}
+function isOverridingInheritableAnnotation(annotation) {
+  const value = getInheritableAnnotationStringValue(annotation);
+  if (value === void 0) return true;
+  return value.trim().length > 0;
+}
+function collectInheritedTypeAnnotations(derivedDecl, existingAnnotations, checker, extensionRegistry) {
+  const existingKinds = new Set(
+    existingAnnotations.filter(isOverridingInheritableAnnotation).map((a) => a.annotationKind)
+  );
+  const needed = /* @__PURE__ */ new Set();
+  for (const kind of INHERITABLE_TYPE_ANNOTATION_KINDS) {
+    if (!existingKinds.has(kind)) needed.add(kind);
+  }
+  if (needed.size === 0) return [];
+  const inherited = [];
+  const seen = /* @__PURE__ */ new Set([derivedDecl]);
+  const queue = [];
+  const resolveSymbolTarget = (sym) => {
+    if ((sym.flags & ts5.SymbolFlags.Alias) === 0) return sym;
+    try {
+      return checker.getAliasedSymbol(sym);
+    } catch {
+      return sym;
+    }
+  };
+  const isObjectShapedTypeAlias = (alias) => {
+    const type = checker.getTypeFromTypeNode(alias.type);
+    if ((type.flags & ts5.TypeFlags.Object) !== 0) return true;
+    if (type.isIntersection()) return true;
+    return false;
+  };
+  const enqueueCandidate = (baseDecl, fromTypeAliasRhs) => {
+    if (seen.has(baseDecl)) return;
+    if (ts5.isClassDeclaration(baseDecl) || ts5.isInterfaceDeclaration(baseDecl)) {
+      seen.add(baseDecl);
+      queue.push(baseDecl);
+      return;
+    }
+    if (ts5.isTypeAliasDeclaration(baseDecl)) {
+      if (!fromTypeAliasRhs && !isObjectShapedTypeAlias(baseDecl)) return;
+      seen.add(baseDecl);
+      queue.push(baseDecl);
+    }
+  };
+  const enqueueBasesOf = (decl) => {
+    if (ts5.isTypeAliasDeclaration(decl)) {
+      const rhs = decl.type;
+      if (!ts5.isTypeReferenceNode(rhs)) return;
+      const sym = checker.getSymbolAtLocation(rhs.typeName);
+      if (!sym) return;
+      const target = resolveSymbolTarget(sym);
+      for (const baseDecl of target.declarations ?? []) {
+        enqueueCandidate(
+          baseDecl,
+          /*fromTypeAliasRhs*/
+          true
+        );
+      }
+      return;
+    }
+    const heritageClauses = decl.heritageClauses;
+    if (!heritageClauses) return;
+    for (const clause of heritageClauses) {
+      if (clause.token !== ts5.SyntaxKind.ExtendsKeyword) continue;
+      for (const typeExpr of clause.types) {
+        const sym = checker.getSymbolAtLocation(typeExpr.expression);
+        if (!sym) continue;
+        const target = resolveSymbolTarget(sym);
+        for (const baseDecl of target.declarations ?? []) {
+          enqueueCandidate(
+            baseDecl,
+            /*fromTypeAliasRhs*/
+            false
+          );
+        }
+      }
+    }
+  };
+  enqueueBasesOf(derivedDecl);
+  for (let queueIndex = 0; queueIndex < queue.length && needed.size > 0; queueIndex++) {
+    const baseDecl = queue[queueIndex];
+    if (baseDecl === void 0) continue;
+    const baseFile = baseDecl.getSourceFile().fileName;
+    const baseAnnotations = extractJSDocAnnotationNodes(
+      baseDecl,
+      baseFile,
+      makeParseOptions(extensionRegistry)
+    );
+    for (const annotation of baseAnnotations) {
+      if (!needed.has(annotation.annotationKind)) continue;
+      if (!isOverridingInheritableAnnotation(annotation)) continue;
+      inherited.push(annotation);
+      needed.delete(annotation.annotationKind);
+    }
+    if (needed.size > 0) {
+      enqueueBasesOf(baseDecl);
+    }
+  }
+  return inherited;
+}
+function extractNamedTypeAnnotations(namedDecl, checker, file, extensionRegistry) {
+  const local = extractJSDocAnnotationNodes(namedDecl, file, makeParseOptions(extensionRegistry));
+  const inherited = collectInheritedTypeAnnotations(namedDecl, local, checker, extensionRegistry);
+  if (inherited.length === 0) return [...local];
+  return [...local, ...inherited];
+}
 function analyzeDeclarationRootInfo(declaration, checker, file = "", extensionRegistry, metadataPolicy) {
   const normalizedMetadataPolicy = createAnalyzerMetadataPolicy(metadataPolicy);
   const declarationType = checker.getTypeAtLocation(declaration);
-  const logicalName = ts6.isClassDeclaration(declaration) ? declaration.name?.text ?? "AnonymousClass" : declaration.name.text;
+  const logicalName = ts5.isClassDeclaration(declaration) ? declaration.name?.text ?? "AnonymousClass" : declaration.name.text;
   const docResult = extractJSDocParseResult(
     declaration,
     file,
@@ -2067,13 +2214,19 @@ function analyzeClassToIR(classDecl, checker, file = "", extensionRegistry, meta
     file,
     makeParseOptions(extensionRegistry, void 0, checker, classType, classType)
   );
-  const annotations = [...classDoc.annotations];
+  const inheritedClassAnnotations = collectInheritedTypeAnnotations(
+    classDecl,
+    classDoc.annotations,
+    checker,
+    extensionRegistry
+  );
+  const annotations = [...classDoc.annotations, ...inheritedClassAnnotations];
   diagnostics.push(...classDoc.diagnostics);
   const visiting = /* @__PURE__ */ new Set();
   const instanceMethods = [];
   const staticMethods = [];
   for (const member of classDecl.members) {
-    if (ts6.isPropertyDeclaration(member)) {
+    if (ts5.isPropertyDeclaration(member)) {
       const fieldNode = analyzeFieldToIR(
         member,
         checker,
@@ -2089,10 +2242,10 @@ function analyzeClassToIR(classDecl, checker, file = "", extensionRegistry, meta
         fields.push(fieldNode);
         fieldLayouts.push({});
       }
-    } else if (ts6.isMethodDeclaration(member)) {
+    } else if (ts5.isMethodDeclaration(member)) {
       const methodInfo = analyzeMethod(member, checker);
       if (methodInfo) {
-        const isStatic = member.modifiers?.some((m) => m.kind === ts6.SyntaxKind.StaticKeyword);
+        const isStatic = member.modifiers?.some((m) => m.kind === ts5.SyntaxKind.StaticKeyword);
         if (isStatic) {
           staticMethods.push(methodInfo);
         } else {
@@ -2124,6 +2277,7 @@ function analyzeClassToIR(classDecl, checker, file = "", extensionRegistry, meta
       hostType: classType
     }
   );
+  const deduplicatedDiagnostics = deduplicateDiagnostics(diagnostics);
   return {
     name,
     ...metadata !== void 0 && { metadata },
@@ -2131,7 +2285,7 @@ function analyzeClassToIR(classDecl, checker, file = "", extensionRegistry, meta
     fieldLayouts,
     typeRegistry,
     ...annotations.length > 0 && { annotations },
-    ...diagnostics.length > 0 && { diagnostics },
+    ...deduplicatedDiagnostics.length > 0 && { diagnostics: deduplicatedDiagnostics },
     instanceMethods,
     staticMethods
   };
@@ -2151,11 +2305,20 @@ function analyzeInterfaceToIR(interfaceDecl, checker, file = "", extensionRegist
     file,
     makeParseOptions(extensionRegistry, void 0, checker, interfaceType, interfaceType)
   );
-  const annotations = [...interfaceDoc.annotations];
+  const inheritedInterfaceAnnotations = collectInheritedTypeAnnotations(
+    interfaceDecl,
+    interfaceDoc.annotations,
+    checker,
+    extensionRegistry
+  );
+  const annotations = [
+    ...interfaceDoc.annotations,
+    ...inheritedInterfaceAnnotations
+  ];
   diagnostics.push(...interfaceDoc.diagnostics);
   const visiting = /* @__PURE__ */ new Set();
   for (const member of interfaceDecl.members) {
-    if (ts6.isPropertySignature(member)) {
+    if (ts5.isPropertySignature(member)) {
       const fieldNode = analyzeInterfacePropertyToIR(
         member,
         checker,
@@ -2196,6 +2359,7 @@ function analyzeInterfaceToIR(interfaceDecl, checker, file = "", extensionRegist
       hostType: interfaceType
     }
   );
+  const deduplicatedDiagnostics = deduplicateDiagnostics(diagnostics);
   return {
     name,
     ...metadata !== void 0 && { metadata },
@@ -2203,7 +2367,7 @@ function analyzeInterfaceToIR(interfaceDecl, checker, file = "", extensionRegist
     fieldLayouts,
     typeRegistry,
     ...annotations.length > 0 && { annotations },
-    ...diagnostics.length > 0 && { diagnostics },
+    ...deduplicatedDiagnostics.length > 0 && { diagnostics: deduplicatedDiagnostics },
     instanceMethods: [],
     staticMethods: []
   };
@@ -2213,7 +2377,7 @@ function analyzeTypeAliasToIR(typeAlias, checker, file = "", extensionRegistry,
   if (members === null) {
     const sourceFile = typeAlias.getSourceFile();
     const { line } = sourceFile.getLineAndCharacterOfPosition(typeAlias.getStart());
-    const kindDesc = ts6.SyntaxKind[typeAlias.type.kind] ?? "unknown";
+    const kindDesc = ts5.SyntaxKind[typeAlias.type.kind] ?? "unknown";
     return {
       ok: false,
       kind: "not-object-like",
@@ -2248,7 +2412,7 @@ function analyzeTypeAliasToIR(typeAlias, checker, file = "", extensionRegistry,
   diagnostics.push(...typeAliasDoc.diagnostics);
   const visiting = /* @__PURE__ */ new Set();
   for (const member of members) {
-    if (ts6.isPropertySignature(member)) {
+    if (ts5.isPropertySignature(member)) {
       const fieldNode = analyzeInterfacePropertyToIR(
         member,
         checker,
@@ -2288,6 +2452,7 @@ function analyzeTypeAliasToIR(typeAlias, checker, file = "", extensionRegistry,
       hostType: aliasType
     }
   );
+  const deduplicatedDiagnostics = deduplicateDiagnostics(diagnostics);
   return {
     ok: true,
     analysis: {
@@ -2297,7 +2462,7 @@ function analyzeTypeAliasToIR(typeAlias, checker, file = "", extensionRegistry,
       fieldLayouts: specializedFields.map(() => ({})),
       typeRegistry,
       ...annotations.length > 0 && { annotations },
-      ...diagnostics.length > 0 && { diagnostics },
+      ...deduplicatedDiagnostics.length > 0 && { diagnostics: deduplicatedDiagnostics },
       instanceMethods: [],
       staticMethods: []
     }
@@ -2315,20 +2480,20 @@ function makeAnalysisDiagnostic(code, message, primaryLocation, relatedLocations
 function getLeadingParsedTags(node) {
   const sourceFile = node.getSourceFile();
   const sourceText = sourceFile.getFullText();
-  const commentRanges = ts6.getLeadingCommentRanges(sourceText, node.getFullStart());
+  const commentRanges = ts5.getLeadingCommentRanges(sourceText, node.getFullStart());
   if (commentRanges === void 0) {
     return [];
   }
   const parsedTags = [];
   for (const range of commentRanges) {
-    if (range.kind !== ts6.SyntaxKind.MultiLineCommentTrivia) {
+    if (range.kind !== ts5.SyntaxKind.MultiLineCommentTrivia) {
       continue;
     }
     const commentText = sourceText.slice(range.pos, range.end);
     if (!commentText.startsWith("/**")) {
       continue;
     }
-    parsedTags.push(...(0, import_internal4.parseCommentBlock)(commentText, { offset: range.pos }).tags);
+    parsedTags.push(...(0, import_internal5.parseCommentBlock)(commentText, { offset: range.pos }).tags);
   }
   return parsedTags;
 }
@@ -2339,19 +2504,19 @@ function resolveDiscriminatorProperty(node, checker, fieldName) {
     return null;
   }
   const declaration = propertySymbol.valueDeclaration ?? propertySymbol.declarations?.find(
-    (candidate) => ts6.isPropertyDeclaration(candidate) || ts6.isPropertySignature(candidate)
+    (candidate) => ts5.isPropertyDeclaration(candidate) || ts5.isPropertySignature(candidate)
   ) ?? propertySymbol.declarations?.[0];
   return {
     declaration,
     type: checker.getTypeOfSymbolAtLocation(propertySymbol, declaration ?? node),
-    optional: !!(propertySymbol.flags & ts6.SymbolFlags.Optional) || declaration !== void 0 && "questionToken" in declaration && declaration.questionToken !== void 0
+    optional: !!(propertySymbol.flags & ts5.SymbolFlags.Optional) || declaration !== void 0 && "questionToken" in declaration && declaration.questionToken !== void 0
   };
 }
 function isLocalTypeParameterName(node, typeParameterName) {
   return node.typeParameters?.some((typeParameter) => typeParameter.name.text === typeParameterName) ?? false;
 }
 function isNullishSemanticType(type) {
-  if (type.flags & (ts6.TypeFlags.Null | ts6.TypeFlags.Undefined | ts6.TypeFlags.Void | ts6.TypeFlags.Unknown | ts6.TypeFlags.Any)) {
+  if (type.flags & (ts5.TypeFlags.Null | ts5.TypeFlags.Undefined | ts5.TypeFlags.Void | ts5.TypeFlags.Unknown | ts5.TypeFlags.Any)) {
     return true;
   }
   return type.isUnion() && type.types.some((member) => isNullishSemanticType(member));
@@ -2361,7 +2526,7 @@ function isStringLikeSemanticType(type, checker, seen = /* @__PURE__ */ new Set(
     return false;
   }
   seen.add(type);
-  if (type.flags & ts6.TypeFlags.StringLike) {
+  if (type.flags & ts5.TypeFlags.StringLike) {
     return true;
   }
   if (type.isUnion()) {
@@ -2374,13 +2539,13 @@ function isStringLikeSemanticType(type, checker, seen = /* @__PURE__ */ new Set(
   return false;
 }
 function getObjectLikeTypeAliasMembers(typeNode) {
-  if (ts6.isParenthesizedTypeNode(typeNode)) {
+  if (ts5.isParenthesizedTypeNode(typeNode)) {
     return getObjectLikeTypeAliasMembers(typeNode.type);
   }
-  if (ts6.isTypeLiteralNode(typeNode)) {
+  if (ts5.isTypeLiteralNode(typeNode)) {
     return [...typeNode.members];
   }
-  if (ts6.isIntersectionTypeNode(typeNode)) {
+  if (ts5.isIntersectionTypeNode(typeNode)) {
     const members = [];
     for (const intersectionMember of typeNode.types) {
       const resolvedMembers = getObjectLikeTypeAliasMembers(intersectionMember);
@@ -2543,7 +2708,7 @@ function resolveLiteralDiscriminatorPropertyValue(boundType, propertyName, check
   }
   if (propertyType.isUnion()) {
     const nonNullMembers = propertyType.types.filter(
-      (member) => !(member.flags & (ts6.TypeFlags.Null | ts6.TypeFlags.Undefined))
+      (member) => !(member.flags & (ts5.TypeFlags.Null | ts5.TypeFlags.Undefined))
     );
     if (nonNullMembers.length > 0 && nonNullMembers.every((member) => member.isStringLiteral())) {
       diagnostics.push(
@@ -2592,13 +2757,13 @@ function resolveNamedDiscriminatorDeclaration(type, checker, seen = /* @__PURE__
   seen.add(type);
   const symbol = type.aliasSymbol ?? type.getSymbol();
   if (symbol !== void 0) {
-    const aliased = symbol.flags & ts6.SymbolFlags.Alias ? checker.getAliasedSymbol(symbol) : void 0;
+    const aliased = symbol.flags & ts5.SymbolFlags.Alias ? checker.getAliasedSymbol(symbol) : void 0;
     const targetSymbol = aliased ?? symbol;
     const declaration = targetSymbol.declarations?.find(
-      (candidate) => ts6.isClassDeclaration(candidate) || ts6.isInterfaceDeclaration(candidate) || ts6.isTypeAliasDeclaration(candidate) || ts6.isEnumDeclaration(candidate)
+      (candidate) => ts5.isClassDeclaration(candidate) || ts5.isInterfaceDeclaration(candidate) || ts5.isTypeAliasDeclaration(candidate) || ts5.isEnumDeclaration(candidate)
     );
     if (declaration !== void 0) {
-      if (ts6.isTypeAliasDeclaration(declaration) && ts6.isTypeReferenceNode(declaration.type) && checker.getTypeFromTypeNode(declaration.type) !== type) {
+      if (ts5.isTypeAliasDeclaration(declaration) && ts5.isTypeReferenceNode(declaration.type) && checker.getTypeFromTypeNode(declaration.type) !== type) {
         return resolveNamedDiscriminatorDeclaration(
           checker.getTypeFromTypeNode(declaration.type),
           checker,
@@ -2626,7 +2791,7 @@ function resolveDiscriminatorValue(boundType, fieldName, checker, provenance, di
   }
   if (boundType.isUnion()) {
     const nonNullMembers = boundType.types.filter(
-      (member) => !(member.flags & (ts6.TypeFlags.Null | ts6.TypeFlags.Undefined))
+      (member) => !(member.flags & (ts5.TypeFlags.Null | ts5.TypeFlags.Undefined))
     );
     if (nonNullMembers.every((member) => member.isStringLiteral())) {
       diagnostics.push(
@@ -2671,7 +2836,7 @@ function resolveDiscriminatorValue(boundType, fieldName, checker, provenance, di
   return null;
 }
 function getDeclarationName(node) {
-  if (ts6.isClassDeclaration(node) || ts6.isInterfaceDeclaration(node) || ts6.isTypeAliasDeclaration(node) || ts6.isEnumDeclaration(node)) {
+  if (ts5.isClassDeclaration(node) || ts5.isInterfaceDeclaration(node) || ts5.isTypeAliasDeclaration(node) || ts5.isEnumDeclaration(node)) {
     return node.name?.text ?? "anonymous";
   }
   return "anonymous";
@@ -2726,11 +2891,11 @@ function extractReferenceTypeArguments(type, checker, file, typeRegistry, visiti
   if (sourceTypeNode === void 0) {
     return [];
   }
-  const unwrapParentheses = (typeNode) => ts6.isParenthesizedTypeNode(typeNode) ? unwrapParentheses(typeNode.type) : typeNode;
+  const unwrapParentheses = (typeNode) => ts5.isParenthesizedTypeNode(typeNode) ? unwrapParentheses(typeNode.type) : typeNode;
   const directTypeNode = unwrapParentheses(sourceTypeNode);
-  const referenceTypeNode = ts6.isTypeReferenceNode(directTypeNode) ? directTypeNode : (() => {
+  const referenceTypeNode = ts5.isTypeReferenceNode(directTypeNode) ? directTypeNode : (() => {
     const resolvedTypeNode = resolveAliasedTypeNode(directTypeNode, checker);
-    return ts6.isTypeReferenceNode(resolvedTypeNode) ? resolvedTypeNode : null;
+    return ts5.isTypeReferenceNode(resolvedTypeNode) ? resolvedTypeNode : null;
   })();
   if (referenceTypeNode?.typeArguments === void 0) {
     return [];
@@ -2738,7 +2903,7 @@ function extractReferenceTypeArguments(type, checker, file, typeRegistry, visiti
   return referenceTypeNode.typeArguments.map((argumentNode) => {
     const argumentType = checker.getTypeFromTypeNode(argumentNode);
     const baseSymbol = argumentType.aliasSymbol ?? argumentType.getSymbol();
-    const argumentSymbol = baseSymbol !== void 0 && baseSymbol.flags & ts6.SymbolFlags.Alias ? checker.getAliasedSymbol(baseSymbol) : baseSymbol;
+    const argumentSymbol = baseSymbol !== void 0 && baseSymbol.flags & ts5.SymbolFlags.Alias ? checker.getAliasedSymbol(baseSymbol) : baseSymbol;
     const argumentDecl = argumentSymbol?.declarations?.[0];
     if (argumentDecl !== void 0 && argumentDecl.getSourceFile().fileName !== file) {
       const argumentName = argumentSymbol?.getName() ?? baseSymbol?.getName();
@@ -2801,7 +2966,7 @@ function applyDiscriminatorToObjectProperties(properties, node, subjectType, che
   );
 }
 function analyzeFieldToIR(prop, checker, file, typeRegistry, visiting, diagnostics, hostType, metadataPolicy, extensionRegistry) {
-  if (!ts6.isIdentifier(prop.name)) {
+  if (!ts5.isIdentifier(prop.name)) {
     return null;
   }
   const name = prop.name.text;
@@ -2928,7 +3093,7 @@ function findDuplicateObjectLikeTypeAliasPropertyNames(members) {
   const seen = /* @__PURE__ */ new Set();
   const duplicates = /* @__PURE__ */ new Set();
   for (const member of members) {
-    if (!ts6.isPropertySignature(member)) {
+    if (!ts5.isPropertySignature(member)) {
       continue;
     }
     const name = getAnalyzableObjectLikePropertyName(member.name);
@@ -2944,7 +3109,7 @@ function findDuplicateObjectLikeTypeAliasPropertyNames(members) {
   return [...duplicates].sort();
 }
 function getAnalyzableObjectLikePropertyName(name) {
-  if (ts6.isIdentifier(name) || ts6.isStringLiteral(name) || ts6.isNumericLiteral(name)) {
+  if (ts5.isIdentifier(name) || ts5.isStringLiteral(name) || ts5.isNumericLiteral(name)) {
     return name.text;
   }
   return null;
@@ -3039,28 +3204,28 @@ function resolveTypeNode(type, checker, file, typeRegistry, visiting, sourceNode
   if (primitiveAlias) {
     return primitiveAlias;
   }
-  if (isIntegerBrandedType(type)) {
+  if ((0, import_internal2._isIntegerBrandedType)(type)) {
     return { kind: "primitive", primitiveKind: "integer" };
   }
-  if (type.flags & ts6.TypeFlags.String) {
+  if (type.flags & ts5.TypeFlags.String) {
     return { kind: "primitive", primitiveKind: "string" };
   }
-  if (type.flags & ts6.TypeFlags.Number) {
+  if (type.flags & ts5.TypeFlags.Number) {
     return { kind: "primitive", primitiveKind: "number" };
   }
-  if (type.flags & (ts6.TypeFlags.BigInt | ts6.TypeFlags.BigIntLiteral)) {
+  if (type.flags & (ts5.TypeFlags.BigInt | ts5.TypeFlags.BigIntLiteral)) {
     return { kind: "primitive", primitiveKind: "bigint" };
   }
-  if (type.flags & ts6.TypeFlags.Boolean) {
+  if (type.flags & ts5.TypeFlags.Boolean) {
     return { kind: "primitive", primitiveKind: "boolean" };
   }
-  if (type.flags & ts6.TypeFlags.Null) {
+  if (type.flags & ts5.TypeFlags.Null) {
     return { kind: "primitive", primitiveKind: "null" };
   }
-  if (type.flags & ts6.TypeFlags.Undefined) {
+  if (type.flags & ts5.TypeFlags.Undefined) {
     return { kind: "primitive", primitiveKind: "null" };
   }
-  if (type.flags & ts6.TypeFlags.Void) {
+  if (type.flags & ts5.TypeFlags.Void) {
     return { kind: "primitive", primitiveKind: "null" };
   }
   if (type.isStringLiteral()) {
@@ -3147,10 +3312,10 @@ function resolveTypeNode(type, checker, file, typeRegistry, visiting, sourceNode
   return { kind: "primitive", primitiveKind: "string" };
 }
 function tryResolveNamedPrimitiveAlias(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy = createAnalyzerMetadataPolicy(void 0), extensionRegistry, diagnostics) {
-  if (!(type.flags & (ts6.TypeFlags.String | ts6.TypeFlags.Number | ts6.TypeFlags.BigInt | ts6.TypeFlags.BigIntLiteral | ts6.TypeFlags.Boolean | ts6.TypeFlags.Null)) && !isIntegerBrandedType(type)) {
+  if (!(type.flags & (ts5.TypeFlags.String | ts5.TypeFlags.Number | ts5.TypeFlags.BigInt | ts5.TypeFlags.BigIntLiteral | ts5.TypeFlags.Boolean | ts5.TypeFlags.Null)) && !(0, import_internal2._isIntegerBrandedType)(type)) {
     return null;
   }
-  const aliasDecl = type.aliasSymbol?.declarations?.find(ts6.isTypeAliasDeclaration) ?? getReferencedTypeAliasDeclaration(sourceNode, checker);
+  const aliasDecl = type.aliasSymbol?.declarations?.find(ts5.isTypeAliasDeclaration) ?? getReferencedTypeAliasDeclaration(sourceNode, checker);
   if (!aliasDecl) {
     return null;
   }
@@ -3161,11 +3326,18 @@ function tryResolveNamedPrimitiveAlias(type, checker, file, typeRegistry, visiti
       ...extractJSDocConstraintNodes(aliasDecl, file, makeParseOptions(extensionRegistry)),
       ...extractTypeAliasConstraintNodes(aliasDecl.type, checker, file, extensionRegistry)
     ];
-    const annotations = extractJSDocAnnotationNodes(
+    const localAnnotations = extractJSDocAnnotationNodes(
       aliasDecl,
       file,
       makeParseOptions(extensionRegistry)
     );
+    const inheritedAnnotations = collectInheritedTypeAnnotations(
+      aliasDecl,
+      localAnnotations,
+      checker,
+      extensionRegistry
+    );
+    const annotations = [...localAnnotations, ...inheritedAnnotations];
     const metadata = resolveNodeMetadata(
       metadataPolicy,
       "type",
@@ -3200,8 +3372,8 @@ function tryResolveNamedPrimitiveAlias(type, checker, file, typeRegistry, visiti
   return { kind: "reference", name: aliasName, typeArguments: [] };
 }
 function getReferencedTypeAliasDeclaration(sourceNode, checker) {
-  const typeNode = sourceNode && (ts6.isPropertyDeclaration(sourceNode) || ts6.isPropertySignature(sourceNode) || ts6.isParameter(sourceNode)) ? sourceNode.type : void 0;
-  if (!typeNode || !ts6.isTypeReferenceNode(typeNode)) {
+  const typeNode = sourceNode && (ts5.isPropertyDeclaration(sourceNode) || ts5.isPropertySignature(sourceNode) || ts5.isParameter(sourceNode)) ? sourceNode.type : void 0;
+  if (!typeNode || !ts5.isTypeReferenceNode(typeNode)) {
     return void 0;
   }
   return getTypeAliasDeclarationFromTypeReference(typeNode, checker);
@@ -3222,7 +3394,7 @@ function resolveNamedTypeWithSourceRecovery(type, sourceNode, checker) {
   return { typeName: refAliasDecl.name.text, namedDecl: refAliasDecl };
 }
 function shouldEmitPrimitiveAliasDefinition(typeNode, checker) {
-  if (!ts6.isTypeReferenceNode(typeNode)) {
+  if (!ts5.isTypeReferenceNode(typeNode)) {
     return false;
   }
   const aliasDecl = getTypeAliasDeclarationFromTypeReference(typeNode, checker);
@@ -3230,10 +3402,10 @@ function shouldEmitPrimitiveAliasDefinition(typeNode, checker) {
     return false;
   }
   const resolved = checker.getTypeFromTypeNode(aliasDecl.type);
-  return !!(resolved.flags & (ts6.TypeFlags.String | ts6.TypeFlags.Number | ts6.TypeFlags.BigInt | ts6.TypeFlags.BigIntLiteral | ts6.TypeFlags.Boolean | ts6.TypeFlags.Null));
+  return !!(resolved.flags & (ts5.TypeFlags.String | ts5.TypeFlags.Number | ts5.TypeFlags.BigInt | ts5.TypeFlags.BigIntLiteral | ts5.TypeFlags.Boolean | ts5.TypeFlags.Null));
 }
 function resolveAliasedPrimitiveTarget(type, checker, file, typeRegistry, visiting, metadataPolicy = createAnalyzerMetadataPolicy(void 0), extensionRegistry, diagnostics, visitedAliases = /* @__PURE__ */ new Set()) {
-  const nestedAliasDecl = type.aliasSymbol?.declarations?.find(ts6.isTypeAliasDeclaration);
+  const nestedAliasDecl = type.aliasSymbol?.declarations?.find(ts5.isTypeAliasDeclaration);
   if (nestedAliasDecl !== void 0 && !visitedAliases.has(nestedAliasDecl)) {
     visitedAliases.add(nestedAliasDecl);
     return resolveAliasedPrimitiveTarget(
@@ -3248,22 +3420,22 @@ function resolveAliasedPrimitiveTarget(type, checker, file, typeRegistry, visiti
       visitedAliases
     );
   }
-  if (isIntegerBrandedType(type)) {
+  if ((0, import_internal2._isIntegerBrandedType)(type)) {
     return { kind: "primitive", primitiveKind: "integer" };
   }
-  if (type.flags & ts6.TypeFlags.String) {
+  if (type.flags & ts5.TypeFlags.String) {
     return { kind: "primitive", primitiveKind: "string" };
   }
-  if (type.flags & ts6.TypeFlags.Number) {
+  if (type.flags & ts5.TypeFlags.Number) {
     return { kind: "primitive", primitiveKind: "number" };
   }
-  if (type.flags & (ts6.TypeFlags.BigInt | ts6.TypeFlags.BigIntLiteral)) {
+  if (type.flags & (ts5.TypeFlags.BigInt | ts5.TypeFlags.BigIntLiteral)) {
     return { kind: "primitive", primitiveKind: "bigint" };
   }
-  if (type.flags & ts6.TypeFlags.Boolean) {
+  if (type.flags & ts5.TypeFlags.Boolean) {
     return { kind: "primitive", primitiveKind: "boolean" };
   }
-  if (type.flags & ts6.TypeFlags.Null) {
+  if (type.flags & ts5.TypeFlags.Null) {
     return { kind: "primitive", primitiveKind: "null" };
   }
   return resolveTypeNode(
@@ -3283,7 +3455,7 @@ function resolveUnionType(type, checker, file, typeRegistry, visiting, sourceNod
   let typeName = null;
   let namedDecl;
   if (recovered !== null) {
-    const recoveredAliasDecl = ts6.isTypeAliasDeclaration(recovered.namedDecl) ? recovered.namedDecl : void 0;
+    const recoveredAliasDecl = ts5.isTypeAliasDeclaration(recovered.namedDecl) ? recovered.namedDecl : void 0;
     if (recoveredAliasDecl !== void 0) {
       const aliasUnderlyingType = checker.getTypeFromTypeNode(recoveredAliasDecl.type);
       const isNonGeneric = recoveredAliasDecl.typeParameters === void 0 || recoveredAliasDecl.typeParameters.length === 0;
@@ -3305,13 +3477,13 @@ function resolveUnionType(type, checker, file, typeRegistry, visiting, sourceNod
     (memberTypeNode) => !isNullishTypeNode(resolveAliasedTypeNode(memberTypeNode, checker))
   );
   const nonNullTypes = allTypes.filter(
-    (memberType) => !(memberType.flags & (ts6.TypeFlags.Null | ts6.TypeFlags.Undefined))
+    (memberType) => !(memberType.flags & (ts5.TypeFlags.Null | ts5.TypeFlags.Undefined))
   );
   const nonNullMembers = nonNullTypes.map((memberType, index) => ({
     memberType,
     sourceNode: nonNullSourceNodes.length === nonNullTypes.length ? nonNullSourceNodes[index] : void 0
   }));
-  const hasNull = allTypes.some((t) => t.flags & ts6.TypeFlags.Null);
+  const hasNull = allTypes.some((t) => t.flags & ts5.TypeFlags.Null);
   const memberDisplayNames = /* @__PURE__ */ new Map();
   if (namedDecl) {
     for (const [value, label] of extractDisplayNameMetadata(namedDecl).memberDisplayNames) {
@@ -3331,7 +3503,7 @@ function resolveUnionType(type, checker, file, typeRegistry, visiting, sourceNod
     if (existing !== void 0 && existing.type !== RESOLVING_TYPE_PLACEHOLDER) {
       return { kind: "reference", name: typeName, typeArguments: [] };
     }
-    const annotations = namedDecl ? extractJSDocAnnotationNodes(namedDecl, file, makeParseOptions(extensionRegistry)) : void 0;
+    const annotations = namedDecl ? extractNamedTypeAnnotations(namedDecl, checker, file, extensionRegistry) : void 0;
     const metadata = namedDecl !== void 0 ? resolveNodeMetadata(
       metadataPolicy,
       "type",
@@ -3358,7 +3530,7 @@ function resolveUnionType(type, checker, file, typeRegistry, visiting, sourceNod
     const displayName = memberDisplayNames.get(String(value));
     return displayName !== void 0 ? { value, displayName } : { value };
   });
-  const isBooleanUnion2 = nonNullTypes.length === 2 && nonNullTypes.every((t) => t.flags & ts6.TypeFlags.BooleanLiteral);
+  const isBooleanUnion2 = nonNullTypes.length === 2 && nonNullTypes.every((t) => t.flags & ts5.TypeFlags.BooleanLiteral);
   if (isBooleanUnion2) {
     const boolNode = { kind: "primitive", primitiveKind: "boolean" };
     const result = hasNull ? {
@@ -3450,7 +3622,7 @@ function tryResolveRecordType(type, checker, file, typeRegistry, visiting, metad
   if (type.getProperties().length > 0) {
     return null;
   }
-  const indexInfo = checker.getIndexInfoOfType(type, ts6.IndexKind.String);
+  const indexInfo = checker.getIndexInfoOfType(type, ts5.IndexKind.String);
   if (!indexInfo) {
     return null;
   }
@@ -3498,20 +3670,53 @@ function shouldEmitResolvedObjectProperty(property, declaration) {
   }
   if (declaration !== void 0 && "name" in declaration && declaration.name !== void 0) {
     const name = declaration.name;
-    if (ts6.isComputedPropertyName(name) || ts6.isPrivateIdentifier(name)) {
+    if (ts5.isComputedPropertyName(name) || ts5.isPrivateIdentifier(name)) {
       return false;
     }
-    if (!ts6.isIdentifier(name) && !ts6.isStringLiteral(name) && !ts6.isNumericLiteral(name)) {
+    if (!ts5.isIdentifier(name) && !ts5.isStringLiteral(name) && !ts5.isNumericLiteral(name)) {
       return false;
     }
   }
   return true;
 }
+function getPassThroughTypeAliasFromSourceNode(sourceNode, checker, extensionRegistry, resolvedTypeName) {
+  const aliasDecl = getReferencedTypeAliasDeclaration(sourceNode, checker);
+  if (!aliasDecl) return void 0;
+  const aliasName = aliasDecl.name.text;
+  if (aliasName === resolvedTypeName) return void 0;
+  if (!ts5.isTypeReferenceNode(aliasDecl.type)) return void 0;
+  if (!hasInheritableTypeAnnotation(aliasDecl, checker, extensionRegistry)) {
+    return void 0;
+  }
+  return { aliasName, aliasDecl };
+}
+function hasInheritableTypeAnnotation(aliasDecl, checker, extensionRegistry) {
+  const file = aliasDecl.getSourceFile().fileName;
+  const local = extractJSDocAnnotationNodes(aliasDecl, file, makeParseOptions(extensionRegistry));
+  for (const annotation of local) {
+    if (!INHERITABLE_TYPE_ANNOTATION_KINDS.has(annotation.annotationKind)) continue;
+    if (!isOverridingInheritableAnnotation(annotation)) continue;
+    return true;
+  }
+  const inherited = collectInheritedTypeAnnotations(aliasDecl, local, checker, extensionRegistry);
+  for (const annotation of inherited) {
+    if (INHERITABLE_TYPE_ANNOTATION_KINDS.has(annotation.annotationKind)) return true;
+  }
+  return false;
+}
 function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy = createAnalyzerMetadataPolicy(void 0), extensionRegistry, diagnostics) {
   const collectedDiagnostics = diagnostics ?? [];
   const typeName = getNamedTypeName(type);
   const namedTypeName = typeName ?? void 0;
   const namedDecl = getNamedTypeDeclaration(type);
+  const passThroughAlias = getPassThroughTypeAliasFromSourceNode(
+    sourceNode,
+    checker,
+    extensionRegistry,
+    namedTypeName
+  );
+  const effectiveTypeName = passThroughAlias?.aliasName ?? namedTypeName;
+  const effectiveNamedDecl = passThroughAlias?.aliasDecl ?? namedDecl;
   const referenceTypeArguments = extractReferenceTypeArguments(
     type,
     checker,
@@ -3523,13 +3728,13 @@ function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNo
     extensionRegistry,
     collectedDiagnostics
   );
-  const instantiatedTypeName = namedTypeName !== void 0 && referenceTypeArguments.length > 0 ? buildInstantiatedReferenceName(
-    namedTypeName,
+  const instantiatedTypeName = effectiveTypeName !== void 0 && referenceTypeArguments.length > 0 ? buildInstantiatedReferenceName(
+    effectiveTypeName,
     referenceTypeArguments.map((argument) => argument.tsType),
     checker
   ) : void 0;
-  const registryTypeName = instantiatedTypeName ?? namedTypeName;
-  const shouldRegisterNamedType = registryTypeName !== void 0 && !(registryTypeName === "Record" && namedDecl?.getSourceFile().fileName !== file);
+  const registryTypeName = instantiatedTypeName ?? effectiveTypeName;
+  const shouldRegisterNamedType = registryTypeName !== void 0 && !(registryTypeName === "Record" && effectiveNamedDecl?.getSourceFile().fileName !== file);
   const clearNamedTypeRegistration = () => {
     if (registryTypeName === void 0 || !shouldRegisterNamedType) {
       return;
@@ -3550,7 +3755,7 @@ function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNo
     typeRegistry[registryTypeName] = {
       name: registryTypeName,
       type: RESOLVING_TYPE_PLACEHOLDER,
-      provenance: provenanceForDeclaration(namedDecl, file)
+      provenance: provenanceForDeclaration(effectiveNamedDecl, file)
     };
   }
   visiting.add(type);
@@ -3582,17 +3787,17 @@ function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNo
         clearNamedTypeRegistration();
         return recordNode;
       }
-      const annotations = namedDecl ? extractJSDocAnnotationNodes(namedDecl, file, makeParseOptions(extensionRegistry)) : void 0;
-      const metadata = namedDecl !== void 0 ? resolveNodeMetadata(
+      const annotations = effectiveNamedDecl ? extractNamedTypeAnnotations(effectiveNamedDecl, checker, file, extensionRegistry) : void 0;
+      const metadata = effectiveNamedDecl !== void 0 ? resolveNodeMetadata(
         metadataPolicy,
         "type",
         registryTypeName,
-        namedDecl,
+        effectiveNamedDecl,
         checker,
         extensionRegistry,
         {
           checker,
-          declaration: namedDecl,
+          declaration: effectiveNamedDecl,
           subjectType: type
         }
       ) : void 0;
@@ -3601,7 +3806,7 @@ function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNo
         ...metadata !== void 0 && { metadata },
         type: recordNode,
         ...annotations !== void 0 && annotations.length > 0 && { annotations },
-        provenance: provenanceForDeclaration(namedDecl, file)
+        provenance: provenanceForDeclaration(effectiveNamedDecl, file)
       };
       return {
         kind: "reference",
@@ -3627,7 +3832,7 @@ function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNo
     if (!declaration) continue;
     if (!shouldEmitResolvedObjectProperty(prop, declaration)) continue;
     const propType = checker.getTypeOfSymbolAtLocation(prop, declaration);
-    const optional = !!(prop.flags & ts6.SymbolFlags.Optional);
+    const optional = !!(prop.flags & ts5.SymbolFlags.Optional);
     const propTypeNode = resolveTypeNode(
       propType,
       checker,
@@ -3640,7 +3845,7 @@ function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNo
       collectedDiagnostics
     );
     const fieldNodeInfo = fieldInfoMap?.get(prop.name);
-    const inlineFieldNodeInfo = fieldNodeInfo === void 0 ? ts6.isPropertySignature(declaration) ? analyzeInterfacePropertyToIR(
+    const inlineFieldNodeInfo = fieldNodeInfo === void 0 ? ts5.isPropertySignature(declaration) ? analyzeInterfacePropertyToIR(
       declaration,
       checker,
       file,
@@ -3650,7 +3855,7 @@ function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNo
       type,
       metadataPolicy,
       extensionRegistry
-    ) : ts6.isPropertyDeclaration(declaration) ? analyzeFieldToIR(
+    ) : ts5.isPropertyDeclaration(declaration) ? analyzeFieldToIR(
       declaration,
       checker,
       file,
@@ -3678,9 +3883,9 @@ function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNo
   visiting.delete(type);
   const objectNode = {
     kind: "object",
-    properties: namedDecl !== void 0 && (ts6.isClassDeclaration(namedDecl) || ts6.isInterfaceDeclaration(namedDecl) || ts6.isTypeAliasDeclaration(namedDecl)) ? applyDiscriminatorToObjectProperties(
+    properties: effectiveNamedDecl !== void 0 && (ts5.isClassDeclaration(effectiveNamedDecl) || ts5.isInterfaceDeclaration(effectiveNamedDecl) || ts5.isTypeAliasDeclaration(effectiveNamedDecl)) ? applyDiscriminatorToObjectProperties(
       properties,
-      namedDecl,
+      effectiveNamedDecl,
       type,
       checker,
       file,
@@ -3690,17 +3895,17 @@ function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNo
     additionalProperties: true
   };
   if (registryTypeName !== void 0 && shouldRegisterNamedType) {
-    const annotations = namedDecl ? extractJSDocAnnotationNodes(namedDecl, file, makeParseOptions(extensionRegistry)) : void 0;
-    const metadata = namedDecl !== void 0 ? resolveNodeMetadata(
+    const annotations = effectiveNamedDecl ? extractNamedTypeAnnotations(effectiveNamedDecl, checker, file, extensionRegistry) : void 0;
+    const metadata = effectiveNamedDecl !== void 0 ? resolveNodeMetadata(
       metadataPolicy,
       "type",
       registryTypeName,
-      namedDecl,
+      effectiveNamedDecl,
       checker,
       extensionRegistry,
       {
         checker,
-        declaration: namedDecl,
+        declaration: effectiveNamedDecl,
         subjectType: type
       }
     ) : void 0;
@@ -3709,7 +3914,7 @@ function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNo
       ...metadata !== void 0 && { metadata },
       type: objectNode,
       ...annotations !== void 0 && annotations.length > 0 && { annotations },
-      provenance: provenanceForDeclaration(namedDecl, file)
+      provenance: provenanceForDeclaration(effectiveNamedDecl, file)
     };
     return {
       kind: "reference",
@@ -3726,12 +3931,12 @@ function getNamedTypeFieldNodeInfoMap(type, checker, file, typeRegistry, visitin
   for (const symbol of symbols) {
     const declarations = symbol.declarations;
     if (!declarations) continue;
-    const classDecl = declarations.find(ts6.isClassDeclaration);
+    const classDecl = declarations.find(ts5.isClassDeclaration);
     if (classDecl) {
       const map = /* @__PURE__ */ new Map();
       const hostType = checker.getTypeAtLocation(classDecl);
       for (const member of classDecl.members) {
-        if (ts6.isPropertyDeclaration(member) && ts6.isIdentifier(member.name)) {
+        if (ts5.isPropertyDeclaration(member) && ts5.isIdentifier(member.name)) {
           const fieldNode = analyzeFieldToIR(
             member,
             checker,
@@ -3755,7 +3960,7 @@ function getNamedTypeFieldNodeInfoMap(type, checker, file, typeRegistry, visitin
       }
       return map;
     }
-    const interfaceDecl = declarations.find(ts6.isInterfaceDeclaration);
+    const interfaceDecl = declarations.find(ts5.isInterfaceDeclaration);
     if (interfaceDecl) {
       return buildFieldNodeInfoMap(
         interfaceDecl.members,
@@ -3769,7 +3974,7 @@ function getNamedTypeFieldNodeInfoMap(type, checker, file, typeRegistry, visitin
         extensionRegistry
       );
     }
-    const typeAliasDecl = declarations.find(ts6.isTypeAliasDeclaration);
+    const typeAliasDecl = declarations.find(ts5.isTypeAliasDeclaration);
     const typeAliasMembers = typeAliasDecl === void 0 ? null : getObjectLikeTypeAliasMembers(typeAliasDecl.type);
     if (typeAliasDecl && typeAliasMembers !== null) {
       return buildFieldNodeInfoMap(
@@ -3793,10 +3998,10 @@ function extractArrayElementTypeNode(sourceNode, checker) {
     return void 0;
   }
   const resolvedTypeNode = resolveAliasedTypeNode(typeNode, checker);
-  if (ts6.isArrayTypeNode(resolvedTypeNode)) {
+  if (ts5.isArrayTypeNode(resolvedTypeNode)) {
     return resolvedTypeNode.elementType;
   }
-  if (ts6.isTypeReferenceNode(resolvedTypeNode) && ts6.isIdentifier(resolvedTypeNode.typeName) && resolvedTypeNode.typeName.text === "Array" && resolvedTypeNode.typeArguments?.[0]) {
+  if (ts5.isTypeReferenceNode(resolvedTypeNode) && ts5.isIdentifier(resolvedTypeNode.typeName) && resolvedTypeNode.typeName.text === "Array" && resolvedTypeNode.typeArguments?.[0]) {
     return resolvedTypeNode.typeArguments[0];
   }
   return void 0;
@@ -3807,13 +4012,13 @@ function extractUnionMemberTypeNodes(sourceNode, checker) {
     return [];
   }
   const resolvedTypeNode = resolveAliasedTypeNode(typeNode, checker);
-  return ts6.isUnionTypeNode(resolvedTypeNode) ? [...resolvedTypeNode.types] : [];
+  return ts5.isUnionTypeNode(resolvedTypeNode) ? [...resolvedTypeNode.types] : [];
 }
 function resolveAliasedTypeNode(typeNode, checker, visited = /* @__PURE__ */ new Set()) {
-  if (ts6.isParenthesizedTypeNode(typeNode)) {
+  if (ts5.isParenthesizedTypeNode(typeNode)) {
     return resolveAliasedTypeNode(typeNode.type, checker, visited);
   }
-  if (!ts6.isTypeReferenceNode(typeNode) || !ts6.isIdentifier(typeNode.typeName)) {
+  if (!ts5.isTypeReferenceNode(typeNode) || !ts5.isIdentifier(typeNode.typeName)) {
     return typeNode;
   }
   const aliasDecl = getTypeAliasDeclarationFromTypeReference(typeNode, checker);
@@ -3824,15 +4029,15 @@ function resolveAliasedTypeNode(typeNode, checker, visited = /* @__PURE__ */ new
   return resolveAliasedTypeNode(aliasDecl.type, checker, visited);
 }
 function isNullishTypeNode(typeNode) {
-  if (typeNode.kind === ts6.SyntaxKind.NullKeyword || typeNode.kind === ts6.SyntaxKind.UndefinedKeyword) {
+  if (typeNode.kind === ts5.SyntaxKind.NullKeyword || typeNode.kind === ts5.SyntaxKind.UndefinedKeyword) {
     return true;
   }
-  return ts6.isLiteralTypeNode(typeNode) && (typeNode.literal.kind === ts6.SyntaxKind.NullKeyword || typeNode.literal.kind === ts6.SyntaxKind.UndefinedKeyword);
+  return ts5.isLiteralTypeNode(typeNode) && (typeNode.literal.kind === ts5.SyntaxKind.NullKeyword || typeNode.literal.kind === ts5.SyntaxKind.UndefinedKeyword);
 }
 function buildFieldNodeInfoMap(members, checker, file, typeRegistry, visiting, metadataPolicy, hostType, diagnostics, extensionRegistry) {
   const map = /* @__PURE__ */ new Map();
   for (const member of members) {
-    if (ts6.isPropertySignature(member)) {
+    if (ts5.isPropertySignature(member)) {
       const fieldNode = analyzeInterfacePropertyToIR(
         member,
         checker,
@@ -3858,7 +4063,7 @@ function buildFieldNodeInfoMap(members, checker, file, typeRegistry, visiting, m
 }
 var MAX_ALIAS_CHAIN_DEPTH = 8;
 function extractTypeAliasConstraintNodes(typeNode, checker, file, extensionRegistry, depth = 0) {
-  if (!ts6.isTypeReferenceNode(typeNode)) return [];
+  if (!ts5.isTypeReferenceNode(typeNode)) return [];
   if (depth >= MAX_ALIAS_CHAIN_DEPTH) {
     const aliasName = typeNode.typeName.getText();
     throw new Error(
@@ -3867,7 +4072,7 @@ function extractTypeAliasConstraintNodes(typeNode, checker, file, extensionRegis
   }
   const aliasDecl = getTypeAliasDeclarationFromTypeReference(typeNode, checker);
   if (!aliasDecl) return [];
-  if (ts6.isTypeLiteralNode(aliasDecl.type)) return [];
+  if (ts5.isTypeLiteralNode(aliasDecl.type)) return [];
   const aliasFieldType = resolveTypeNode(
     checker.getTypeAtLocation(aliasDecl.type),
     checker,
@@ -3911,14 +4116,14 @@ function getNamedTypeName(type) {
   const symbol = type.getSymbol();
   if (symbol?.declarations) {
     const decl = symbol.declarations[0];
-    if (decl && (ts6.isClassDeclaration(decl) || ts6.isInterfaceDeclaration(decl) || ts6.isTypeAliasDeclaration(decl))) {
-      const name = ts6.isClassDeclaration(decl) ? decl.name?.text : decl.name.text;
+    if (decl && (ts5.isClassDeclaration(decl) || ts5.isInterfaceDeclaration(decl) || ts5.isTypeAliasDeclaration(decl))) {
+      const name = ts5.isClassDeclaration(decl) ? decl.name?.text : decl.name.text;
       if (name) return name;
     }
   }
   const aliasSymbol = type.aliasSymbol;
   if (aliasSymbol?.declarations) {
-    const aliasDecl = aliasSymbol.declarations.find(ts6.isTypeAliasDeclaration);
+    const aliasDecl = aliasSymbol.declarations.find(ts5.isTypeAliasDeclaration);
     if (aliasDecl) {
       return aliasDecl.name.text;
     }
@@ -3929,24 +4134,24 @@ function getNamedTypeDeclaration(type) {
   const symbol = type.getSymbol();
   if (symbol?.declarations) {
     const decl = symbol.declarations[0];
-    if (decl && (ts6.isClassDeclaration(decl) || ts6.isInterfaceDeclaration(decl) || ts6.isTypeAliasDeclaration(decl))) {
+    if (decl && (ts5.isClassDeclaration(decl) || ts5.isInterfaceDeclaration(decl) || ts5.isTypeAliasDeclaration(decl))) {
       return decl;
     }
   }
   const aliasSymbol = type.aliasSymbol;
   if (aliasSymbol?.declarations) {
-    return aliasSymbol.declarations.find(ts6.isTypeAliasDeclaration);
+    return aliasSymbol.declarations.find(ts5.isTypeAliasDeclaration);
   }
   return void 0;
 }
 function analyzeMethod(method, checker) {
-  if (!ts6.isIdentifier(method.name)) {
+  if (!ts5.isIdentifier(method.name)) {
     return null;
   }
   const name = method.name.text;
   const parameters = [];
   for (const param of method.parameters) {
-    if (ts6.isIdentifier(param.name)) {
+    if (ts5.isIdentifier(param.name)) {
       const paramInfo = analyzeParameter(param, checker);
       parameters.push(paramInfo);
     }
@@ -3957,7 +4162,7 @@ function analyzeMethod(method, checker) {
   return { name, parameters, returnTypeNode, returnType };
 }
 function analyzeParameter(param, checker) {
-  const name = ts6.isIdentifier(param.name) ? param.name.text : "param";
+  const name = ts5.isIdentifier(param.name) ? param.name.text : "param";
   const typeNode = param.type;
   const type = checker.getTypeAtLocation(param);
   const formSpecExportName = detectFormSpecReference(typeNode);
@@ -3966,15 +4171,15 @@ function analyzeParameter(param, checker) {
 }
 function detectFormSpecReference(typeNode) {
   if (!typeNode) return null;
-  if (!ts6.isTypeReferenceNode(typeNode)) return null;
-  const typeName = ts6.isIdentifier(typeNode.typeName) ? typeNode.typeName.text : ts6.isQualifiedName(typeNode.typeName) ? typeNode.typeName.right.text : null;
+  if (!ts5.isTypeReferenceNode(typeNode)) return null;
+  const typeName = ts5.isIdentifier(typeNode.typeName) ? typeNode.typeName.text : ts5.isQualifiedName(typeNode.typeName) ? typeNode.typeName.right.text : null;
   if (typeName !== "InferSchema" && typeName !== "InferFormSchema") return null;
   const typeArg = typeNode.typeArguments?.[0];
-  if (!typeArg || !ts6.isTypeQueryNode(typeArg)) return null;
-  if (ts6.isIdentifier(typeArg.exprName)) {
+  if (!typeArg || !ts5.isTypeQueryNode(typeArg)) return null;
+  if (ts5.isIdentifier(typeArg.exprName)) {
     return typeArg.exprName.text;
   }
-  if (ts6.isQualifiedName(typeArg.exprName)) {
+  if (ts5.isQualifiedName(typeArg.exprName)) {
     return typeArg.exprName.right.text;
   }
   return null;
@@ -3996,23 +4201,23 @@ function createProgramContextFromProgram(program, filePath) {
 function createProgramContext(filePath, additionalFiles) {
   const absolutePath = path.resolve(filePath);
   const fileDir = path.dirname(absolutePath);
-  const configPath = ts7.findConfigFile(fileDir, ts7.sys.fileExists.bind(ts7.sys), "tsconfig.json");
+  const configPath = ts6.findConfigFile(fileDir, ts6.sys.fileExists.bind(ts6.sys), "tsconfig.json");
   let compilerOptions;
   let fileNames;
   if (configPath) {
-    const configFile = ts7.readConfigFile(configPath, ts7.sys.readFile.bind(ts7.sys));
+    const configFile = ts6.readConfigFile(configPath, ts6.sys.readFile.bind(ts6.sys));
     if (configFile.error) {
       throw new Error(
-        `Error reading tsconfig.json: ${ts7.flattenDiagnosticMessageText(configFile.error.messageText, "\n")}`
+        `Error reading tsconfig.json: ${ts6.flattenDiagnosticMessageText(configFile.error.messageText, "\n")}`
       );
     }
-    const parsed = ts7.parseJsonConfigFileContent(
+    const parsed = ts6.parseJsonConfigFileContent(
       configFile.config,
-      ts7.sys,
+      ts6.sys,
       path.dirname(configPath)
     );
     if (parsed.errors.length > 0) {
-      const errorMessages = parsed.errors.map((e) => ts7.flattenDiagnosticMessageText(e.messageText, "\n")).join("\n");
+      const errorMessages = parsed.errors.map((e) => ts6.flattenDiagnosticMessageText(e.messageText, "\n")).join("\n");
       throw new Error(`Error parsing tsconfig.json: ${errorMessages}`);
     }
     compilerOptions = parsed.options;
@@ -4020,9 +4225,9 @@ function createProgramContext(filePath, additionalFiles) {
     fileNames = [.../* @__PURE__ */ new Set([...parsed.fileNames, absolutePath, ...normalizedAdditional])];
   } else {
     compilerOptions = {
-      target: ts7.ScriptTarget.ES2022,
-      module: ts7.ModuleKind.NodeNext,
-      moduleResolution: ts7.ModuleResolutionKind.NodeNext,
+      target: ts6.ScriptTarget.ES2022,
+      module: ts6.ModuleKind.NodeNext,
+      moduleResolution: ts6.ModuleResolutionKind.NodeNext,
       strict: true,
       skipLibCheck: true,
       declaration: true
@@ -4030,7 +4235,7 @@ function createProgramContext(filePath, additionalFiles) {
     const normalizedAdditional = (additionalFiles ?? []).map((f) => path.resolve(f));
     fileNames = [.../* @__PURE__ */ new Set([absolutePath, ...normalizedAdditional])];
   }
-  const program = ts7.createProgram(fileNames, compilerOptions);
+  const program = ts6.createProgram(fileNames, compilerOptions);
   const sourceFile = program.getSourceFile(absolutePath);
   if (!sourceFile) {
     throw new Error(`Could not find source file: ${absolutePath}`);
@@ -4049,19 +4254,19 @@ function findNodeByName(sourceFile, name, predicate, getName) {
       result = node;
       return;
     }
-    ts7.forEachChild(node, visit);
+    ts6.forEachChild(node, visit);
   }
   visit(sourceFile);
   return result;
 }
 function findClassByName(sourceFile, className) {
-  return findNodeByName(sourceFile, className, ts7.isClassDeclaration, (n) => n.name?.text);
+  return findNodeByName(sourceFile, className, ts6.isClassDeclaration, (n) => n.name?.text);
 }
 function findInterfaceByName(sourceFile, interfaceName) {
-  return findNodeByName(sourceFile, interfaceName, ts7.isInterfaceDeclaration, (n) => n.name.text);
+  return findNodeByName(sourceFile, interfaceName, ts6.isInterfaceDeclaration, (n) => n.name.text);
 }
 function findTypeAliasByName(sourceFile, aliasName) {
-  return findNodeByName(sourceFile, aliasName, ts7.isTypeAliasDeclaration, (n) => n.name.text);
+  return findNodeByName(sourceFile, aliasName, ts6.isTypeAliasDeclaration, (n) => n.name.text);
 }
 function getResolvedObjectRootType(rootType, typeRegistry) {
   if (rootType.kind === "object") {
@@ -4101,22 +4306,22 @@ function createResolvedObjectAliasAnalysis(name, rootType, typeRegistry, rootInf
   };
 }
 function containsTypeReferenceInObjectLikeAlias(typeNode) {
-  if (ts7.isParenthesizedTypeNode(typeNode)) {
+  if (ts6.isParenthesizedTypeNode(typeNode)) {
     return containsTypeReferenceInObjectLikeAlias(typeNode.type);
   }
-  if (ts7.isTypeReferenceNode(typeNode)) {
+  if (ts6.isTypeReferenceNode(typeNode)) {
     return true;
   }
-  return ts7.isIntersectionTypeNode(typeNode) && typeNode.types.some((member) => containsTypeReferenceInObjectLikeAlias(member));
+  return ts6.isIntersectionTypeNode(typeNode) && typeNode.types.some((member) => containsTypeReferenceInObjectLikeAlias(member));
 }
 function collectFallbackAliasMemberPropertyNames(typeNode, checker) {
-  if (ts7.isParenthesizedTypeNode(typeNode)) {
+  if (ts6.isParenthesizedTypeNode(typeNode)) {
     return collectFallbackAliasMemberPropertyNames(typeNode.type, checker);
   }
-  if (ts7.isTypeLiteralNode(typeNode)) {
+  if (ts6.isTypeLiteralNode(typeNode)) {
     const propertyNames = [];
     for (const member of typeNode.members) {
-      if (!ts7.isPropertySignature(member)) {
+      if (!ts6.isPropertySignature(member)) {
         continue;
       }
       const propertyName = getAnalyzableObjectLikePropertyName(member.name);
@@ -4126,13 +4331,13 @@ function collectFallbackAliasMemberPropertyNames(typeNode, checker) {
     }
     return propertyNames;
   }
-  if (ts7.isTypeReferenceNode(typeNode)) {
+  if (ts6.isTypeReferenceNode(typeNode)) {
     return checker.getTypeFromTypeNode(typeNode).getProperties().map((property) => property.getName());
   }
   return null;
 }
 function findFallbackAliasDuplicatePropertyNames(typeNode, checker) {
-  if (!ts7.isIntersectionTypeNode(typeNode)) {
+  if (!ts6.isIntersectionTypeNode(typeNode)) {
     return [];
   }
   const seen = /* @__PURE__ */ new Set();
@@ -4322,7 +4527,7 @@ function makeFileProvenance(filePath) {
 }
 
 // src/generators/class-schema.ts
-var ts9 = __toESM(require("typescript"), 1);
+var ts8 = __toESM(require("typescript"), 1);
 
 // src/metadata/collision-guards.ts
 function assertUniqueSerializedNames(entries, scope) {
@@ -4491,7 +4696,7 @@ function generateJsonSchemaFromIR(ir, options) {
       applyConstraints(ctx.defs[schemaName], typeDef.constraints, ctx);
     }
     if (typeDef.annotations && typeDef.annotations.length > 0) {
-      applyAnnotations(ctx.defs[schemaName], typeDef.annotations, ctx);
+      applyAnnotations(ctx.defs[schemaName], typeDef.annotations, ctx, typeDef.type);
     }
   }
   const properties = {};
@@ -4564,7 +4769,7 @@ function generateFieldSchema(field, ctx) {
     }
   }
   applyResolvedMetadata(schema, field.metadata);
-  applyAnnotations(schema, rootAnnotations, ctx);
+  applyAnnotations(schema, rootAnnotations, ctx, field.type);
   if (itemStringSchema !== void 0) {
     applyAnnotations(itemStringSchema, itemAnnotations, ctx);
   }
@@ -4607,32 +4812,36 @@ function applyPathTargetedConstraints(schema, pathConstraints, ctx, typeNode) {
     return schema;
   }
   if (schema.$ref) {
-    const { $ref, ...rest } = schema;
-    const refPart = { $ref };
-    const overridePart = {
-      properties: propertyOverrides,
-      ...rest
+    return {
+      ...schema,
+      properties: propertyOverrides
     };
-    return { allOf: [refPart, overridePart] };
   }
   if (schema.type === "object" && schema.properties) {
-    const missingOverrides = {};
     for (const [target, overrideSchema] of Object.entries(propertyOverrides)) {
-      if (schema.properties[target]) {
-        mergeSchemaOverride(schema.properties[target], overrideSchema);
-      } else {
-        missingOverrides[target] = overrideSchema;
+      if (Object.hasOwn(schema.properties, target)) {
+        const existing = schema.properties[target];
+        if (existing) {
+          mergeSchemaOverride(existing, overrideSchema);
+          continue;
+        }
       }
+      Object.defineProperty(schema.properties, target, {
+        value: overrideSchema,
+        writable: true,
+        enumerable: true,
+        configurable: true
+      });
     }
-    if (Object.keys(missingOverrides).length === 0) {
-      return schema;
-    }
-    return {
-      allOf: [schema, { properties: missingOverrides }]
-    };
+    return schema;
   }
   if (schema.allOf) {
-    schema.allOf = [...schema.allOf, { properties: propertyOverrides }];
+    const overrideMember = { properties: propertyOverrides };
+    const flattened = tryFlattenAllOfToSiblings(schema, overrideMember);
+    if (flattened !== void 0) {
+      return flattened;
+    }
+    schema.allOf = [...schema.allOf, overrideMember];
     return schema;
   }
   return schema;
@@ -4745,7 +4954,7 @@ function generatePropertySchema(prop, ctx) {
   const schema = generateTypeNode(prop.type, ctx);
   applyConstraints(schema, prop.constraints, ctx);
   applyResolvedMetadata(schema, prop.metadata);
-  applyAnnotations(schema, prop.annotations, ctx);
+  applyAnnotations(schema, prop.annotations, ctx, prop.type);
   return schema;
 }
 function generateUnionType(type, ctx) {
@@ -4848,13 +5057,20 @@ function buildPropertyOverrides(pathConstraints, typeNode, ctx) {
     grouped.push(constraint);
     byTarget.set(target, grouped);
   }
-  const overrides = {};
+  const overrides = /* @__PURE__ */ Object.create(null);
   for (const [target, constraints] of byTarget) {
-    overrides[resolveSerializedPropertyName(target, typeNode, ctx)] = buildPathOverrideSchema(
+    const resolvedName = resolveSerializedPropertyName(target, typeNode, ctx);
+    const schema = buildPathOverrideSchema(
       constraints.map(stripLeadingPathSegment),
       resolveTargetTypeNode(target, typeNode, ctx),
       ctx
     );
+    Object.defineProperty(overrides, resolvedName, {
+      value: schema,
+      writable: true,
+      enumerable: true,
+      configurable: true
+    });
   }
   return overrides;
 }
@@ -4881,6 +5097,34 @@ function buildPathOverrideSchema(constraints, typeNode, ctx) {
   schema.properties = buildPropertyOverrides(nestedConstraints, effectiveType, ctx);
   return schema;
 }
+function tryFlattenAllOfToSiblings(schema, overrideMember) {
+  if (schema.allOf?.length !== 1) {
+    return void 0;
+  }
+  const [soleMember] = schema.allOf;
+  if (soleMember === void 0) {
+    return void 0;
+  }
+  const { allOf: _allOf, ...outerRest } = schema;
+  const outerKeys = new Set(Object.keys(outerRest));
+  const memberKeys = new Set(Object.keys(soleMember));
+  const overrideKeys = new Set(Object.keys(overrideMember));
+  for (const key of memberKeys) {
+    if (outerKeys.has(key) || overrideKeys.has(key)) {
+      return void 0;
+    }
+  }
+  for (const key of overrideKeys) {
+    if (outerKeys.has(key)) {
+      return void 0;
+    }
+  }
+  return {
+    ...outerRest,
+    ...soleMember,
+    ...overrideMember
+  };
+}
 function mergeSchemaOverride(target, override) {
   const nullableValueBranch = getNullableUnionValueSchema(target);
   if (nullableValueBranch !== void 0) {
@@ -4888,11 +5132,16 @@ function mergeSchemaOverride(target, override) {
     return;
   }
   if (override.properties !== void 0) {
-    const mergedProperties = target.properties ?? {};
+    const mergedProperties = target.properties ?? /* @__PURE__ */ Object.create(null);
     for (const [name, propertyOverride] of Object.entries(override.properties)) {
-      const existing = mergedProperties[name];
+      const existing = Object.hasOwn(mergedProperties, name) ? mergedProperties[name] : void 0;
       if (existing === void 0) {
-        mergedProperties[name] = propertyOverride;
+        Object.defineProperty(mergedProperties, name, {
+          value: propertyOverride,
+          writable: true,
+          enumerable: true,
+          configurable: true
+        });
       } else {
         mergeSchemaOverride(existing, propertyOverride);
       }
@@ -4910,7 +5159,12 @@ function mergeSchemaOverride(target, override) {
     if (key === "properties" || key === "items") {
       continue;
     }
-    target[key] = value;
+    Object.defineProperty(target, key, {
+      value,
+      writable: true,
+      enumerable: true,
+      configurable: true
+    });
   }
 }
 function stripLeadingPathSegment(constraint) {
@@ -5010,7 +5264,7 @@ function applyConstraints(schema, constraints, ctx) {
     }
   }
 }
-function applyAnnotations(schema, annotations, ctx) {
+function applyAnnotations(schema, annotations, ctx, typeNode) {
   for (const annotation of annotations) {
     switch (annotation.annotationKind) {
       case "displayName":
@@ -5023,7 +5277,7 @@ function applyAnnotations(schema, annotations, ctx) {
         schema[`${ctx.vendorPrefix}-remarks`] = annotation.value;
         break;
       case "defaultValue":
-        schema.default = annotation.value;
+        schema.default = coerceDefaultValue(annotation.value, typeNode, schema, ctx);
         break;
       case "format":
         schema.format = annotation.value;
@@ -5048,6 +5302,34 @@ function applyAnnotations(schema, annotations, ctx) {
     }
   }
 }
+function coerceDefaultValue(value, typeNode, emittedSchema, ctx) {
+  if (typeNode?.kind !== "custom") {
+    return value;
+  }
+  const registration = ctx.extensionRegistry?.findType(typeNode.typeId);
+  if (registration === void 0) {
+    return value;
+  }
+  if (registration.serializeDefault !== void 0) {
+    return registration.serializeDefault(value, typeNode.payload);
+  }
+  const declaredType = emittedSchema["type"];
+  if (declaredType === "string" && typeof value !== "string") {
+    if (typeof value === "number") {
+      if (!Number.isFinite(value)) {
+        return value;
+      }
+      return String(value);
+    }
+    if (typeof value === "boolean") {
+      return String(value);
+    }
+    if (typeof value === "bigint") {
+      return value.toString();
+    }
+  }
+  return value;
+}
 function generateCustomType(type, ctx) {
   const registration = ctx.extensionRegistry?.findType(type.typeId);
   if (registration === void 0) {
@@ -5174,25 +5456,41 @@ function assignVendorPrefixedExtensionKeywords(schema, extensionSchema, vendorPr
 
 // src/extensions/registry.ts
 var import_internals5 = require("@formspec/core/internals");
-var import_internal5 = require("@formspec/analysis/internal");
+var import_internal6 = require("@formspec/analysis/internal");
 var BUILTIN_METADATA_TAGS = /* @__PURE__ */ new Set(["apiName", "displayName"]);
 function buildConstraintTagSources(extensions) {
   return extensions.map((extension) => ({
     extensionId: extension.extensionId,
     ...extension.constraintTags !== void 0 ? {
       constraintTags: extension.constraintTags.map((tag) => ({
-        tagName: (0, import_internal5.normalizeFormSpecTagName)(tag.tagName)
+        tagName: (0, import_internal6.normalizeFormSpecTagName)(tag.tagName)
+      }))
+    } : {},
+    // Include customTypes so _validateExtensionSetup can check tsTypeNames for
+    // unsupported built-in overrides and invalid identifier patterns.
+    ...extension.types !== void 0 ? {
+      customTypes: extension.types.map((type) => ({
+        // tsTypeNames: deprecated in favour of symbol-based detection, but
+        // still required for name-based validation in _validateExtensionSetup
+        // until the bridge is fully retired (see §synthetic-checker-retirement §4C).
+        tsTypeNames: type.tsTypeNames ?? [type.typeName]
       }))
     } : {}
   }));
 }
 function createExtensionRegistry(extensions) {
-  const registryLog = (0, import_internal5.getSyntheticLogger)();
+  const registryLog = (0, import_internal6.getSyntheticLogger)();
   registryLog.debug("createExtensionRegistry: constructing", {
     extensionCount: extensions.length,
     extensionIds: extensions.map((e) => e.extensionId)
   });
-  const reservedTagSources = buildConstraintTagSources(extensions);
+  const extensionTagSources = buildConstraintTagSources(extensions);
+  const setupDiagnostics = (0, import_internal6._validateExtensionSetup)(extensionTagSources);
+  (0, import_internal6.logSetupDiagnostics)(registryLog, {
+    diagnosticCount: setupDiagnostics.length,
+    codes: setupDiagnostics.map((d) => d.kind)
+  });
+  const reservedTagSources = extensionTagSources;
   let symbolMap = /* @__PURE__ */ new Map();
   const typeMap = /* @__PURE__ */ new Map();
   const typeNameMap = /* @__PURE__ */ new Map();
@@ -5259,7 +5557,7 @@ function createExtensionRegistry(extensions) {
     }
     if (ext.constraintTags !== void 0) {
       for (const tag of ext.constraintTags) {
-        const canonicalTagName = (0, import_internal5.normalizeFormSpecTagName)(tag.tagName);
+        const canonicalTagName = (0, import_internal6.normalizeFormSpecTagName)(tag.tagName);
         if (constraintTagMap.has(canonicalTagName)) {
           throw new Error(`Duplicate custom constraint tag: "@${canonicalTagName}"`);
         }
@@ -5284,7 +5582,7 @@ function createExtensionRegistry(extensions) {
           throw new Error(`Duplicate metadata slot ID: "${slot.slotId}"`);
         }
         metadataSlotMap.set(slot.slotId, true);
-        const canonicalTagName = (0, import_internal5.normalizeFormSpecTagName)(slot.tagName);
+        const canonicalTagName = (0, import_internal6.normalizeFormSpecTagName)(slot.tagName);
         if (slot.allowBare === false && (slot.qualifiers?.length ?? 0) === 0) {
           throw new Error(
             `Metadata tag "@${canonicalTagName}" must allow bare usage or declare at least one qualifier.`
@@ -5311,7 +5609,7 @@ function createExtensionRegistry(extensions) {
             `Metadata tag "@${canonicalTagName}" conflicts with existing FormSpec tag "@${(0, import_internals5.normalizeConstraintTagName)(canonicalTagName)}".`
           );
         }
-        const existingTag = (0, import_internal5.getTagDefinition)(canonicalTagName, reservedTagSources);
+        const existingTag = (0, import_internal6.getTagDefinition)(canonicalTagName, reservedTagSources);
         if (existingTag !== null) {
           throw BUILTIN_METADATA_TAGS.has(existingTag.canonicalName) ? new Error(
             `Metadata tag "@${canonicalTagName}" conflicts with built-in metadata tags.`
@@ -5329,10 +5627,12 @@ function createExtensionRegistry(extensions) {
     constraintTagCount: constraintTagMap.size,
     broadeningCount: builtinBroadeningMap.size,
     annotationCount: annotationMap.size,
-    metadataSlotCount: metadataSlotMap.size
+    metadataSlotCount: metadataSlotMap.size,
+    setupDiagnosticCount: setupDiagnostics.length
   });
   return {
     extensions,
+    setupDiagnostics,
     findType: (typeId) => typeMap.get(typeId),
     findTypeByName: (typeName) => typeNameMap.get(typeName),
     findTypeByBrand: (brand) => brandMap.get(brand),
@@ -5341,14 +5641,14 @@ function createExtensionRegistry(extensions) {
       symbolMap = map;
     },
     findConstraint: (constraintId) => constraintMap.get(constraintId),
-    findConstraintTag: (tagName) => constraintTagMap.get((0, import_internal5.normalizeFormSpecTagName)(tagName)),
+    findConstraintTag: (tagName) => constraintTagMap.get((0, import_internal6.normalizeFormSpecTagName)(tagName)),
     findBuiltinConstraintBroadening: (typeId, tagName) => builtinBroadeningMap.get(`${typeId}:${tagName}`),
     findAnnotation: (annotationId) => annotationMap.get(annotationId)
   };
 }
 
 // src/extensions/symbol-registry.ts
-var ts8 = __toESM(require("typescript"), 1);
+var ts7 = __toESM(require("typescript"), 1);
 var path2 = __toESM(require("path"), 1);
 
 // src/ui-schema/schema.ts
@@ -5609,9 +5909,9 @@ function collectFieldNameMap(elements) {
 }
 
 // src/validate/constraint-validator.ts
-var import_internal6 = require("@formspec/analysis/internal");
+var import_internal7 = require("@formspec/analysis/internal");
 function validateFieldNode(ctx, field) {
-  const analysis = (0, import_internal6.analyzeConstraintTargets)(
+  const analysis = (0, import_internal7.analyzeConstraintTargets)(
     field.name,
     field.type,
     field.constraints,
@@ -5629,7 +5929,7 @@ function validateFieldNode(ctx, field) {
 }
 function validateObjectProperty(ctx, parentName, property) {
   const qualifiedName = `${parentName}.${property.name}`;
-  const analysis = (0, import_internal6.analyzeConstraintTargets)(
+  const analysis = (0, import_internal7.analyzeConstraintTargets)(
     qualifiedName,
     property.type,
     property.constraints,
@@ -5741,7 +6041,7 @@ function formatLocation(location) {
 }
 function resolveStaticOptions(options) {
   const legacyRegistry = options.extensionRegistry;
-  const configRegistry = legacyRegistry === void 0 && options.config?.extensions !== void 0 ? createExtensionRegistry(options.config.extensions) : void 0;
+  const configRegistry = legacyRegistry === void 0 && options.config?.extensions !== void 0 && options.config.extensions.length > 0 ? createExtensionRegistry(options.config.extensions) : void 0;
   return {
     extensionRegistry: legacyRegistry ?? configRegistry,
     // eslint-disable-next-line @typescript-eslint/no-deprecated -- migration bridge reads deprecated fields