@formspec/build 0.1.0-alpha.31 → 0.1.0-alpha.33

package/dist/index.cjs

@@ -33,12 +33,20 @@ __export(index_exports, {
   buildFormSchemas: () => buildFormSchemas,
   buildMixedAuthoringSchemas: () => buildMixedAuthoringSchemas,
   createExtensionRegistry: () => createExtensionRegistry,
+  createStaticBuildContext: () => createStaticBuildContext,
+  createStaticBuildContextFromProgram: () => createStaticBuildContextFromProgram,
   generateJsonSchema: () => generateJsonSchema,
   generateSchemas: () => generateSchemas,
   generateSchemasFromClass: () => generateSchemasFromClass,
+  generateSchemasFromDeclaration: () => generateSchemasFromDeclaration,
+  generateSchemasFromParameter: () => generateSchemasFromParameter,
   generateSchemasFromProgram: () => generateSchemasFromProgram,
+  generateSchemasFromReturnType: () => generateSchemasFromReturnType,
+  generateSchemasFromType: () => generateSchemasFromType,
   generateUiSchema: () => generateUiSchema,
   jsonSchema7Schema: () => jsonSchema7Schema,
+  resolveModuleExport: () => resolveModuleExport,
+  resolveModuleExportDeclaration: () => resolveModuleExportDeclaration,
   uiSchemaSchema: () => uiSchema,
   writeSchemas: () => writeSchemas
 });
@@ -1811,13 +1819,29 @@ var fs = __toESM(require("fs"), 1);
 var path2 = __toESM(require("path"), 1);
 
 // src/extensions/registry.ts
+var import_internals3 = require("@formspec/core/internals");
+var import_internal = 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_internal.normalizeFormSpecTagName)(tag.tagName)
+      }))
+    } : {}
+  }));
+}
 function createExtensionRegistry(extensions) {
+  const reservedTagSources = buildConstraintTagSources(extensions);
   const typeMap = /* @__PURE__ */ new Map();
   const typeNameMap = /* @__PURE__ */ new Map();
   const constraintMap = /* @__PURE__ */ new Map();
   const constraintTagMap = /* @__PURE__ */ new Map();
   const builtinBroadeningMap = /* @__PURE__ */ new Map();
   const annotationMap = /* @__PURE__ */ new Map();
+  const metadataSlotMap = /* @__PURE__ */ new Map();
+  const metadataTagMap = /* @__PURE__ */ new Map();
   for (const ext of extensions) {
     if (ext.types !== void 0) {
       for (const type of ext.types) {
@@ -1860,10 +1884,11 @@ function createExtensionRegistry(extensions) {
     }
     if (ext.constraintTags !== void 0) {
       for (const tag of ext.constraintTags) {
-        if (constraintTagMap.has(tag.tagName)) {
-          throw new Error(`Duplicate custom constraint tag: "@${tag.tagName}"`);
+        const canonicalTagName = (0, import_internal.normalizeFormSpecTagName)(tag.tagName);
+        if (constraintTagMap.has(canonicalTagName)) {
+          throw new Error(`Duplicate custom constraint tag: "@${canonicalTagName}"`);
         }
-        constraintTagMap.set(tag.tagName, {
+        constraintTagMap.set(canonicalTagName, {
           extensionId: ext.extensionId,
           registration: tag
         });
@@ -1878,13 +1903,54 @@ function createExtensionRegistry(extensions) {
         annotationMap.set(qualifiedId, annotation);
       }
     }
+    if (ext.metadataSlots !== void 0) {
+      for (const slot of ext.metadataSlots) {
+        if (metadataSlotMap.has(slot.slotId)) {
+          throw new Error(`Duplicate metadata slot ID: "${slot.slotId}"`);
+        }
+        metadataSlotMap.set(slot.slotId, true);
+        const canonicalTagName = (0, import_internal.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.`
+          );
+        }
+        if (metadataTagMap.has(canonicalTagName)) {
+          throw new Error(`Duplicate metadata tag: "@${canonicalTagName}"`);
+        }
+        if (BUILTIN_METADATA_TAGS.has(canonicalTagName)) {
+          throw new Error(
+            `Metadata tag "@${canonicalTagName}" conflicts with built-in metadata tags.`
+          );
+        }
+        if (constraintTagMap.has(canonicalTagName)) {
+          throw new Error(
+            `Metadata tag "@${canonicalTagName}" conflicts with existing FormSpec tag "@${canonicalTagName}".`
+          );
+        }
+        if (Object.hasOwn(import_internals3.BUILTIN_CONSTRAINT_DEFINITIONS, (0, import_internals3.normalizeConstraintTagName)(canonicalTagName))) {
+          throw new Error(
+            `Metadata tag "@${canonicalTagName}" conflicts with existing FormSpec tag "@${(0, import_internals3.normalizeConstraintTagName)(canonicalTagName)}".`
+          );
+        }
+        const existingTag = (0, import_internal.getTagDefinition)(canonicalTagName, reservedTagSources);
+        if (existingTag !== null) {
+          throw BUILTIN_METADATA_TAGS.has(existingTag.canonicalName) ? new Error(
+            `Metadata tag "@${canonicalTagName}" conflicts with built-in metadata tags.`
+          ) : new Error(
+            `Metadata tag "@${canonicalTagName}" conflicts with existing FormSpec tag "@${existingTag.canonicalName}".`
+          );
+        }
+        metadataTagMap.set(canonicalTagName, true);
+      }
+    }
   }
   return {
     extensions,
     findType: (typeId) => typeMap.get(typeId),
     findTypeByName: (typeName) => typeNameMap.get(typeName),
     findConstraint: (constraintId) => constraintMap.get(constraintId),
-    findConstraintTag: (tagName) => constraintTagMap.get(tagName),
+    findConstraintTag: (tagName) => constraintTagMap.get((0, import_internal.normalizeFormSpecTagName)(tagName)),
     findBuiltinConstraintBroadening: (typeId, tagName) => builtinBroadeningMap.get(`${typeId}:${tagName}`),
     findAnnotation: (annotationId) => annotationMap.get(annotationId)
   };
@@ -1961,21 +2027,21 @@ var path = __toESM(require("path"), 1);
 
 // src/analyzer/class-analyzer.ts
 var ts3 = __toESM(require("typescript"), 1);
-var import_internal2 = require("@formspec/analysis/internal");
+var import_internal3 = require("@formspec/analysis/internal");
 
 // src/analyzer/jsdoc-constraints.ts
 var ts2 = __toESM(require("typescript"), 1);
 
 // src/analyzer/tsdoc-parser.ts
 var ts = __toESM(require("typescript"), 1);
-var import_internal = require("@formspec/analysis/internal");
+var import_internal2 = require("@formspec/analysis/internal");
 var import_tsdoc = require("@microsoft/tsdoc");
-var import_internals3 = require("@formspec/core/internals");
 var import_internals4 = require("@formspec/core/internals");
+var import_internals5 = require("@formspec/core/internals");
 var TAGS_REQUIRING_RAW_TEXT = /* @__PURE__ */ new Set(["pattern", "enumOptions", "defaultValue"]);
 function createFormSpecTSDocConfig(extensionTagNames = []) {
   const config = new import_tsdoc.TSDocConfiguration();
-  for (const tagName of Object.keys(import_internals3.BUILTIN_CONSTRAINT_DEFINITIONS)) {
+  for (const tagName of Object.keys(import_internals4.BUILTIN_CONSTRAINT_DEFINITIONS)) {
     config.addTagDefinition(
       new import_tsdoc.TSDocTagDefinition({
         tagName: "@" + tagName,
@@ -1984,7 +2050,7 @@ function createFormSpecTSDocConfig(extensionTagNames = []) {
       })
     );
   }
-  for (const tagName of ["displayName", "format", "placeholder"]) {
+  for (const tagName of ["apiName", "displayName", "format", "placeholder"]) {
     config.addTagDefinition(
       new import_tsdoc.TSDocTagDefinition({
         tagName: "@" + tagName,
@@ -2018,6 +2084,16 @@ function sharedTagValueOptions(options) {
   };
 }
 var SYNTHETIC_TYPE_FORMAT_FLAGS = ts.TypeFormatFlags.NoTruncation | ts.TypeFormatFlags.UseAliasDefinedOutsideCurrentScope;
+function getExtensionTypeNames(registry) {
+  if (registry === void 0) {
+    return /* @__PURE__ */ new Set();
+  }
+  return new Set(
+    registry.extensions.flatMap(
+      (ext) => (ext.types ?? []).flatMap((t) => t.tsTypeNames ?? [t.typeName])
+    )
+  );
+}
 function collectImportedNames(sourceFile) {
   const importedNames = /* @__PURE__ */ new Set();
   for (const statement of sourceFile.statements) {
@@ -2057,6 +2133,9 @@ function isNonReferenceIdentifier(node) {
   return false;
 }
 function statementReferencesImportedName(statement, importedNames) {
+  if (importedNames.size === 0) {
+    return false;
+  }
   let referencesImportedName = false;
   const visit = (node) => {
     if (referencesImportedName) {
@@ -2071,14 +2150,17 @@ function statementReferencesImportedName(statement, importedNames) {
   visit(statement);
   return referencesImportedName;
 }
-function buildSupportingDeclarations(sourceFile) {
+function buildSupportingDeclarations(sourceFile, extensionTypeNames) {
   const importedNames = collectImportedNames(sourceFile);
+  const importedNamesToSkip = new Set(
+    [...importedNames].filter((name) => !extensionTypeNames.has(name))
+  );
   return sourceFile.statements.filter((statement) => {
     if (ts.isImportDeclaration(statement)) return false;
     if (ts.isImportEqualsDeclaration(statement)) return false;
     if (ts.isExportDeclaration(statement) && statement.moduleSpecifier !== void 0)
       return false;
-    if (importedNames.size > 0 && statementReferencesImportedName(statement, importedNames)) {
+    if (statementReferencesImportedName(statement, importedNamesToSkip)) {
       return false;
     }
     return true;
@@ -2124,12 +2206,12 @@ function supportsConstraintCapability(type, checker, capability) {
   if (capability === void 0) {
     return true;
   }
-  if ((0, import_internal.hasTypeSemanticCapability)(type, checker, capability)) {
+  if ((0, import_internal2.hasTypeSemanticCapability)(type, checker, capability)) {
     return true;
   }
   if (capability === "string-like") {
     const itemType = getArrayElementType(type, checker);
-    return itemType !== null && (0, import_internal.hasTypeSemanticCapability)(itemType, checker, capability);
+    return itemType !== null && (0, import_internal2.hasTypeSemanticCapability)(itemType, checker, capability);
   }
   return false;
 }
@@ -2219,7 +2301,7 @@ function hasBuiltinConstraintBroadening(tagName, options) {
   return broadenedTypeId !== void 0 && options?.extensionRegistry?.findBuiltinConstraintBroadening(broadenedTypeId, tagName) !== void 0;
 }
 function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, parsedTag, provenance, supportingDeclarations, options) {
-  if (!(0, import_internals3.isBuiltinConstraintName)(tagName)) {
+  if (!(0, import_internals4.isBuiltinConstraintName)(tagName)) {
     return [];
   }
   const checker = options?.checker;
@@ -2227,11 +2309,11 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
   if (checker === void 0 || subjectType === void 0) {
     return [];
   }
-  const placement = (0, import_internal.resolveDeclarationPlacement)(node);
+  const placement = (0, import_internal2.resolveDeclarationPlacement)(node);
   if (placement === null) {
     return [];
   }
-  const definition = (0, import_internal.getTagDefinition)(tagName, options?.extensionRegistry?.extensions);
+  const definition = (0, import_internal2.getTagDefinition)(tagName, options?.extensionRegistry?.extensions);
   if (definition === null) {
     return [];
   }
@@ -2265,7 +2347,7 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
         )
       ];
     }
-    const resolution = (0, import_internal.resolvePathTargetType)(subjectType, checker, target.path.segments);
+    const resolution = (0, import_internal2.resolvePathTargetType)(subjectType, checker, target.path.segments);
     if (resolution.kind === "missing-property") {
       return [
         makeDiagnostic(
@@ -2322,7 +2404,7 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
   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);
-  const result = (0, import_internal.checkSyntheticTagApplication)({
+  const result = (0, import_internal2.checkSyntheticTagApplication)({
     tagName,
     placement,
     hostType: hostTypeText,
@@ -2335,6 +2417,14 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
         extensionId: extension.extensionId,
         ...extension.constraintTags !== void 0 ? {
           constraintTags: extension.constraintTags.map((tag) => ({ tagName: tag.tagName }))
+        } : {},
+        ...extension.metadataSlots !== void 0 ? {
+          metadataSlots: extension.metadataSlots
+        } : {},
+        ...extension.types !== void 0 ? {
+          customTypes: extension.types.map((t) => ({
+            tsTypeNames: t.tsTypeNames ?? [t.typeName]
+          }))
         } : {}
       }))
     } : {}
@@ -2356,7 +2446,10 @@ var parseResultCache = /* @__PURE__ */ new Map();
 function getParser(options) {
   const extensionTagNames = [
     ...options?.extensionRegistry?.extensions.flatMap(
-      (extension) => (extension.constraintTags ?? []).map((tag) => tag.tagName)
+      (extension) => (extension.constraintTags ?? []).map((tag) => (0, import_internal2.normalizeFormSpecTagName)(tag.tagName))
+    ) ?? [],
+    ...options?.extensionRegistry?.extensions.flatMap(
+      (extension) => (extension.metadataSlots ?? []).map((slot) => (0, import_internal2.normalizeFormSpecTagName)(slot.tagName))
     ) ?? []
   ].sort();
   const cacheKey = extensionTagNames.join("|");
@@ -2376,7 +2469,16 @@ function getExtensionRegistryCacheKey(registry) {
     (extension) => JSON.stringify({
       extensionId: extension.extensionId,
       typeNames: extension.types?.map((type) => type.typeName) ?? [],
-      constraintTags: extension.constraintTags?.map((tag) => tag.tagName) ?? []
+      constraintTags: extension.constraintTags?.map((tag) => (0, import_internal2.normalizeFormSpecTagName)(tag.tagName)) ?? [],
+      metadataSlots: extension.metadataSlots?.map((slot) => ({
+        tagName: (0, import_internal2.normalizeFormSpecTagName)(slot.tagName),
+        declarationKinds: [...slot.declarationKinds].sort(),
+        allowBare: slot.allowBare !== false,
+        qualifiers: (slot.qualifiers ?? []).map((qualifier) => ({
+          qualifier: qualifier.qualifier,
+          ...qualifier.sourceQualifier !== void 0 ? { sourceQualifier: qualifier.sourceQualifier } : {}
+        })).sort((left, right) => left.qualifier.localeCompare(right.qualifier))
+      })) ?? []
     })
   ).join("|");
 }
@@ -2411,7 +2513,8 @@ function parseTSDocTags(node, file = "", options) {
   const rawTextTags = [];
   const sourceFile = node.getSourceFile();
   const sourceText = sourceFile.getFullText();
-  const supportingDeclarations = buildSupportingDeclarations(sourceFile);
+  const extensionTypeNames = getExtensionTypeNames(options?.extensionRegistry);
+  const supportingDeclarations = buildSupportingDeclarations(sourceFile, extensionTypeNames);
   const commentRanges = ts.getLeadingCommentRanges(sourceText, node.getFullStart());
   const rawTextFallbacks = collectRawTextFallbacks(node, file);
   if (commentRanges) {
@@ -2428,7 +2531,7 @@ function parseTSDocTags(node, file = "", options) {
         import_tsdoc.TextRange.fromStringRange(sourceText, range.pos, range.end)
       );
       const docComment = parserContext.docComment;
-      const parsedComment = (0, import_internal.parseCommentBlock)(
+      const parsedComment = (0, import_internal2.parseCommentBlock)(
         commentText,
         sharedCommentSyntaxOptions(options, range.pos)
       );
@@ -2449,7 +2552,7 @@ function parseTSDocTags(node, file = "", options) {
         }
       }
       for (const block of docComment.customBlocks) {
-        const tagName = (0, import_internals3.normalizeConstraintTagName)(block.blockTag.tagName.substring(1));
+        const tagName = (0, import_internals4.normalizeConstraintTagName)(block.blockTag.tagName.substring(1));
         const parsedTag = nextParsedTag(tagName);
         if (tagName === "displayName" || tagName === "format" || tagName === "placeholder") {
           const text2 = getBestBlockPayloadText(parsedTag, commentText, range.pos, block);
@@ -2481,7 +2584,7 @@ function parseTSDocTags(node, file = "", options) {
         }
         if (TAGS_REQUIRING_RAW_TEXT.has(tagName)) continue;
         const text = getBestBlockPayloadText(parsedTag, commentText, range.pos, block);
-        const expectedType = (0, import_internals3.isBuiltinConstraintName)(tagName) ? import_internals3.BUILTIN_CONSTRAINT_DEFINITIONS[tagName] : void 0;
+        const expectedType = (0, import_internals4.isBuiltinConstraintName)(tagName) ? import_internals4.BUILTIN_CONSTRAINT_DEFINITIONS[tagName] : void 0;
         if (text === "" && expectedType !== "boolean") continue;
         const provenance = parsedTag !== null ? provenanceForParsedTag(parsedTag, sourceFile, file) : provenanceForComment(range, sourceFile, file, tagName);
         const compilerDiagnostics = buildCompilerBackedConstraintDiagnostics(
@@ -2497,7 +2600,7 @@ function parseTSDocTags(node, file = "", options) {
           diagnostics.push(...compilerDiagnostics);
           continue;
         }
-        const constraintNode = (0, import_internal.parseConstraintTagValue)(
+        const constraintNode = (0, import_internal2.parseConstraintTagValue)(
           tagName,
           text,
           provenance,
@@ -2567,7 +2670,7 @@ function parseTSDocTags(node, file = "", options) {
       if (text === "") continue;
       const provenance = provenanceForParsedTag(rawTextTag.tag, sourceFile, file);
       if (rawTextTag.tag.normalizedTagName === "defaultValue") {
-        const defaultValueNode = (0, import_internal.parseDefaultValueTagValue)(text, provenance);
+        const defaultValueNode = (0, import_internal2.parseDefaultValueTagValue)(text, provenance);
         annotations.push(defaultValueNode);
         continue;
       }
@@ -2584,7 +2687,7 @@ function parseTSDocTags(node, file = "", options) {
         diagnostics.push(...compilerDiagnostics);
         continue;
       }
-      const constraintNode = (0, import_internal.parseConstraintTagValue)(
+      const constraintNode = (0, import_internal2.parseConstraintTagValue)(
         rawTextTag.tag.normalizedTagName,
         text,
         provenance,
@@ -2601,7 +2704,7 @@ function parseTSDocTags(node, file = "", options) {
       if (text === "") continue;
       const provenance = fallback.provenance;
       if (tagName === "defaultValue") {
-        const defaultValueNode = (0, import_internal.parseDefaultValueTagValue)(text, provenance);
+        const defaultValueNode = (0, import_internal2.parseDefaultValueTagValue)(text, provenance);
         annotations.push(defaultValueNode);
         continue;
       }
@@ -2618,7 +2721,7 @@ function parseTSDocTags(node, file = "", options) {
         diagnostics.push(...compilerDiagnostics);
         continue;
       }
-      const constraintNode = (0, import_internal.parseConstraintTagValue)(
+      const constraintNode = (0, import_internal2.parseConstraintTagValue)(
         tagName,
         text,
         provenance,
@@ -2644,7 +2747,7 @@ function extractDisplayNameMetadata(node) {
       if (range.kind !== ts.SyntaxKind.MultiLineCommentTrivia) continue;
       const commentText = sourceText.substring(range.pos, range.end);
       if (!commentText.startsWith("/**")) continue;
-      const parsed = (0, import_internal.parseCommentBlock)(commentText);
+      const parsed = (0, import_internal2.parseCommentBlock)(commentText);
       for (const tag of parsed.tags) {
         if (tag.normalizedTagName !== "displayName") {
           continue;
@@ -2700,7 +2803,7 @@ function getSharedPayloadText(tag, commentText, commentOffset) {
   if (tag.payloadSpan === null) {
     return "";
   }
-  return (0, import_internal.sliceCommentSpan)(commentText, tag.payloadSpan, {
+  return (0, import_internal2.sliceCommentSpan)(commentText, tag.payloadSpan, {
     offset: commentOffset
   }).trim();
 }
@@ -2712,7 +2815,7 @@ function getBestBlockPayloadText(tag, commentText, commentOffset, block) {
 function collectRawTextFallbacks(node, file) {
   const fallbacks = /* @__PURE__ */ new Map();
   for (const tag of ts.getJSDocTags(node)) {
-    const tagName = (0, import_internals3.normalizeConstraintTagName)(tag.tagName.text);
+    const tagName = (0, import_internals4.normalizeConstraintTagName)(tag.tagName.text);
     if (!TAGS_REQUIRING_RAW_TEXT.has(tagName)) continue;
     const commentText = getTagCommentText(tag)?.trim() ?? "";
     if (commentText === "") continue;
@@ -2726,7 +2829,7 @@ function collectRawTextFallbacks(node, file) {
   return fallbacks;
 }
 function isMemberTargetDisplayName(text) {
-  return (0, import_internal.parseTagSyntax)("displayName", text).target !== null;
+  return (0, import_internal2.parseTagSyntax)("displayName", text).target !== null;
 }
 function provenanceForComment(range, sourceFile, file, tagName) {
   const { line, character } = sourceFile.getLineAndCharacterOfPosition(range.pos);
@@ -2839,76 +2942,79 @@ function makeParseOptions(extensionRegistry, fieldType, checker, subjectType, ho
     ...hostType !== void 0 && { hostType }
   };
 }
-function makeExplicitScalarMetadata(value) {
-  return value === void 0 || value === "" ? void 0 : { value, source: "explicit" };
+function createAnalyzerMetadataPolicy(input) {
+  return {
+    raw: input,
+    normalized: normalizeMetadataPolicy(input)
+  };
 }
-function extractExplicitMetadata(node) {
-  let apiName;
-  let displayName;
-  let apiNamePlural;
-  let displayNamePlural;
-  for (const tag of getLeadingParsedTags(node)) {
-    const value = tag.argumentText.trim();
-    if (value === "") {
-      continue;
-    }
-    if (tag.normalizedTagName === "apiName") {
-      if (tag.target === null) {
-        apiName ??= value;
-      } else if (tag.target.kind === "variant") {
-        if (tag.target.rawText === "singular") {
-          apiName ??= value;
-        } else if (tag.target.rawText === "plural") {
-          apiNamePlural ??= value;
-        }
-      }
-      continue;
-    }
-    if (tag.normalizedTagName === "displayName") {
-      if (tag.target === null) {
-        displayName ??= value;
-      } else if (tag.target.kind === "variant") {
-        if (tag.target.rawText === "singular") {
-          displayName ??= value;
-        } else if (tag.target.rawText === "plural") {
-          displayNamePlural ??= value;
-        }
-      }
-    }
+function resolveNodeMetadata(metadataPolicy, declarationKind, logicalName, node, checker, extensionRegistry, buildContext) {
+  const analysis = (0, import_internal3.analyzeMetadataForNodeWithChecker)({
+    checker,
+    node,
+    logicalName,
+    metadata: metadataPolicy.raw,
+    extensions: extensionRegistry?.extensions,
+    ...buildContext !== void 0 && { buildContext }
+  });
+  const resolvedMetadata = analysis?.resolvedMetadata;
+  const declarationPolicy = getDeclarationMetadataPolicy(
+    metadataPolicy.normalized,
+    declarationKind
+  );
+  if (resolvedMetadata?.apiName === void 0 && declarationPolicy.apiName.mode === "require-explicit") {
+    throw new Error(
+      `Metadata policy requires explicit apiName for ${declarationKind} "${logicalName}" on the tsdoc surface.`
+    );
   }
-  const resolvedApiName = makeExplicitScalarMetadata(apiName);
-  const resolvedDisplayName = makeExplicitScalarMetadata(displayName);
-  const resolvedApiNamePlural = makeExplicitScalarMetadata(apiNamePlural);
-  const resolvedDisplayNamePlural = makeExplicitScalarMetadata(displayNamePlural);
-  const metadata = {
-    ...resolvedApiName !== void 0 && { apiName: resolvedApiName },
-    ...resolvedDisplayName !== void 0 && { displayName: resolvedDisplayName },
-    ...resolvedApiNamePlural !== void 0 && { apiNamePlural: resolvedApiNamePlural },
-    ...resolvedDisplayNamePlural !== void 0 && {
-      displayNamePlural: resolvedDisplayNamePlural
-    }
-  };
-  return Object.keys(metadata).length === 0 ? void 0 : metadata;
+  if (resolvedMetadata?.displayName === void 0 && declarationPolicy.displayName.mode === "require-explicit") {
+    throw new Error(
+      `Metadata policy requires explicit displayName for ${declarationKind} "${logicalName}" on the tsdoc surface.`
+    );
+  }
+  if (resolvedMetadata?.apiNamePlural === void 0 && declarationPolicy.apiName.pluralization.mode === "require-explicit") {
+    throw new Error(
+      `Metadata policy requires explicit apiNamePlural for ${declarationKind} "${logicalName}" on the tsdoc surface.`
+    );
+  }
+  if (resolvedMetadata?.displayNamePlural === void 0 && declarationPolicy.displayName.pluralization.mode === "require-explicit") {
+    throw new Error(
+      `Metadata policy requires explicit displayNamePlural for ${declarationKind} "${logicalName}" on the tsdoc surface.`
+    );
+  }
+  return resolvedMetadata;
 }
-function resolveNodeMetadata(metadataPolicy, declarationKind, logicalName, node, buildContext) {
-  const explicit = extractExplicitMetadata(node);
-  return resolveMetadata(
+function analyzeDeclarationRootInfo(declaration, checker, file = "", extensionRegistry, metadataPolicy) {
+  const normalizedMetadataPolicy = createAnalyzerMetadataPolicy(metadataPolicy);
+  const declarationType = checker.getTypeAtLocation(declaration);
+  const logicalName = ts3.isClassDeclaration(declaration) ? declaration.name?.text ?? "AnonymousClass" : declaration.name.text;
+  const docResult = extractJSDocParseResult(
+    declaration,
+    file,
+    makeParseOptions(extensionRegistry, void 0, checker, declarationType, declarationType)
+  );
+  const metadata = resolveNodeMetadata(
+    normalizedMetadataPolicy,
+    "type",
+    logicalName,
+    declaration,
+    checker,
+    extensionRegistry,
     {
-      ...explicit?.apiName !== void 0 && { apiName: explicit.apiName.value },
-      ...explicit?.displayName !== void 0 && { displayName: explicit.displayName.value },
-      ...explicit?.apiNamePlural !== void 0 && {
-        apiNamePlural: explicit.apiNamePlural.value
-      },
-      ...explicit?.displayNamePlural !== void 0 && {
-        displayNamePlural: explicit.displayNamePlural.value
-      }
-    },
-    getDeclarationMetadataPolicy(metadataPolicy, declarationKind),
-    makeMetadataContext("tsdoc", declarationKind, logicalName, buildContext)
+      checker,
+      declaration,
+      subjectType: declarationType,
+      hostType: declarationType
+    }
   );
+  return {
+    ...metadata !== void 0 && { metadata },
+    annotations: docResult.annotations,
+    diagnostics: docResult.diagnostics
+  };
 }
 function analyzeClassToIR(classDecl, checker, file = "", extensionRegistry, metadataPolicy) {
-  const normalizedMetadataPolicy = normalizeMetadataPolicy(metadataPolicy);
+  const normalizedMetadataPolicy = createAnalyzerMetadataPolicy(metadataPolicy);
   const name = classDecl.name?.text ?? "AnonymousClass";
   const fields = [];
   const fieldLayouts = [];
@@ -2963,12 +3069,20 @@ function analyzeClassToIR(classDecl, checker, file = "", extensionRegistry, meta
     diagnostics,
     normalizedMetadataPolicy
   );
-  const metadata = resolveNodeMetadata(normalizedMetadataPolicy, "type", name, classDecl, {
+  const metadata = resolveNodeMetadata(
+    normalizedMetadataPolicy,
+    "type",
+    name,
+    classDecl,
     checker,
-    declaration: classDecl,
-    subjectType: classType,
-    hostType: classType
-  });
+    extensionRegistry,
+    {
+      checker,
+      declaration: classDecl,
+      subjectType: classType,
+      hostType: classType
+    }
+  );
   return {
     name,
     ...metadata !== void 0 && { metadata },
@@ -2982,7 +3096,7 @@ function analyzeClassToIR(classDecl, checker, file = "", extensionRegistry, meta
   };
 }
 function analyzeInterfaceToIR(interfaceDecl, checker, file = "", extensionRegistry, metadataPolicy) {
-  const normalizedMetadataPolicy = normalizeMetadataPolicy(metadataPolicy);
+  const normalizedMetadataPolicy = createAnalyzerMetadataPolicy(metadataPolicy);
   const name = interfaceDecl.name.text;
   const fields = [];
   const typeRegistry = {};
@@ -3024,12 +3138,20 @@ function analyzeInterfaceToIR(interfaceDecl, checker, file = "", extensionRegist
     normalizedMetadataPolicy
   );
   const fieldLayouts = specializedFields.map(() => ({}));
-  const metadata = resolveNodeMetadata(normalizedMetadataPolicy, "type", name, interfaceDecl, {
+  const metadata = resolveNodeMetadata(
+    normalizedMetadataPolicy,
+    "type",
+    name,
+    interfaceDecl,
     checker,
-    declaration: interfaceDecl,
-    subjectType: interfaceType,
-    hostType: interfaceType
-  });
+    extensionRegistry,
+    {
+      checker,
+      declaration: interfaceDecl,
+      subjectType: interfaceType,
+      hostType: interfaceType
+    }
+  );
   return {
     name,
     ...metadata !== void 0 && { metadata },
@@ -3053,7 +3175,7 @@ function analyzeTypeAliasToIR(typeAlias, checker, file = "", extensionRegistry,
     };
   }
   const typeLiteral = typeAlias.type;
-  const normalizedMetadataPolicy = normalizeMetadataPolicy(metadataPolicy);
+  const normalizedMetadataPolicy = createAnalyzerMetadataPolicy(metadataPolicy);
   const name = typeAlias.name.text;
   const fields = [];
   const typeRegistry = {};
@@ -3094,12 +3216,20 @@ function analyzeTypeAliasToIR(typeAlias, checker, file = "", extensionRegistry,
     diagnostics,
     normalizedMetadataPolicy
   );
-  const metadata = resolveNodeMetadata(normalizedMetadataPolicy, "type", name, typeAlias, {
+  const metadata = resolveNodeMetadata(
+    normalizedMetadataPolicy,
+    "type",
+    name,
+    typeAlias,
     checker,
-    declaration: typeAlias,
-    subjectType: aliasType,
-    hostType: aliasType
-  });
+    extensionRegistry,
+    {
+      checker,
+      declaration: typeAlias,
+      subjectType: aliasType,
+      hostType: aliasType
+    }
+  );
   return {
     ok: true,
     analysis: {
@@ -3140,7 +3270,7 @@ function getLeadingParsedTags(node) {
     if (!commentText.startsWith("/**")) {
       continue;
     }
-    parsedTags.push(...(0, import_internal2.parseCommentBlock)(commentText, { offset: range.pos }).tags);
+    parsedTags.push(...(0, import_internal3.parseCommentBlock)(commentText, { offset: range.pos }).tags);
   }
   return parsedTags;
 }
@@ -3321,10 +3451,7 @@ function resolveLiteralDiscriminatorPropertyValue(boundType, fieldName, checker,
   if (resolvedAnchorNode === null) {
     return void 0;
   }
-  const propertyType = checker.getTypeOfSymbolAtLocation(
-    propertySymbol,
-    resolvedAnchorNode
-  );
+  const propertyType = checker.getTypeOfSymbolAtLocation(propertySymbol, resolvedAnchorNode);
   if (propertyType.isStringLiteral()) {
     return propertyType.value;
   }
@@ -3355,6 +3482,8 @@ function resolveDiscriminatorApiName(boundType, checker, metadataPolicy) {
     "type",
     getDiscriminatorLogicalName(boundType, declaration, checker),
     declaration,
+    checker,
+    void 0,
     {
       checker,
       declaration,
@@ -3591,12 +3720,20 @@ function analyzeFieldToIR(prop, checker, file, typeRegistry, visiting, diagnosti
     annotations.push(defaultAnnotation);
   }
   ({ type, annotations } = applyEnumMemberDisplayNames(type, annotations));
-  const metadata = resolveNodeMetadata(metadataPolicy, "field", name, prop, {
+  const metadata = resolveNodeMetadata(
+    metadataPolicy,
+    "field",
+    name,
+    prop,
     checker,
-    declaration: prop,
-    subjectType: tsType,
-    hostType
-  });
+    extensionRegistry,
+    {
+      checker,
+      declaration: prop,
+      subjectType: tsType,
+      hostType
+    }
+  );
   return {
     kind: "field",
     name,
@@ -3643,12 +3780,20 @@ function analyzeInterfacePropertyToIR(prop, checker, file, typeRegistry, visitin
   let annotations = [];
   annotations.push(...docResult.annotations);
   ({ type, annotations } = applyEnumMemberDisplayNames(type, annotations));
-  const metadata = resolveNodeMetadata(metadataPolicy, "field", name, prop, {
+  const metadata = resolveNodeMetadata(
+    metadataPolicy,
+    "field",
+    name,
+    prop,
     checker,
-    declaration: prop,
-    subjectType: tsType,
-    hostType
-  });
+    extensionRegistry,
+    {
+      checker,
+      declaration: prop,
+      subjectType: tsType,
+      hostType
+    }
+  );
   return {
     kind: "field",
     name,
@@ -3777,7 +3922,7 @@ function getTypeNodeRegistrationName(typeNode) {
   }
   return null;
 }
-function resolveTypeNode(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy = normalizeMetadataPolicy(void 0), extensionRegistry, diagnostics) {
+function resolveTypeNode(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy = createAnalyzerMetadataPolicy(void 0), extensionRegistry, diagnostics) {
   const customType = resolveRegisteredCustomType(sourceNode, extensionRegistry, checker);
   if (customType) {
     return customType;
@@ -3867,7 +4012,7 @@ function resolveTypeNode(type, checker, file, typeRegistry, visiting, sourceNode
   }
   return { kind: "primitive", primitiveKind: "string" };
 }
-function tryResolveNamedPrimitiveAlias(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy = normalizeMetadataPolicy(void 0), extensionRegistry, diagnostics) {
+function tryResolveNamedPrimitiveAlias(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy = createAnalyzerMetadataPolicy(void 0), extensionRegistry, diagnostics) {
   if (!(type.flags & (ts3.TypeFlags.String | ts3.TypeFlags.Number | ts3.TypeFlags.BigInt | ts3.TypeFlags.BigIntLiteral | ts3.TypeFlags.Boolean | ts3.TypeFlags.Null))) {
     return null;
   }
@@ -3887,11 +4032,19 @@ function tryResolveNamedPrimitiveAlias(type, checker, file, typeRegistry, visiti
       file,
       makeParseOptions(extensionRegistry)
     );
-    const metadata = resolveNodeMetadata(metadataPolicy, "type", aliasName, aliasDecl, {
+    const metadata = resolveNodeMetadata(
+      metadataPolicy,
+      "type",
+      aliasName,
+      aliasDecl,
       checker,
-      declaration: aliasDecl,
-      subjectType: aliasType
-    });
+      extensionRegistry,
+      {
+        checker,
+        declaration: aliasDecl,
+        subjectType: aliasType
+      }
+    );
     typeRegistry[aliasName] = {
       name: aliasName,
       ...metadata !== void 0 && { metadata },
@@ -3930,7 +4083,7 @@ function shouldEmitPrimitiveAliasDefinition(typeNode, checker) {
   const resolved = checker.getTypeFromTypeNode(aliasDecl.type);
   return !!(resolved.flags & (ts3.TypeFlags.String | ts3.TypeFlags.Number | ts3.TypeFlags.BigInt | ts3.TypeFlags.BigIntLiteral | ts3.TypeFlags.Boolean | ts3.TypeFlags.Null));
 }
-function resolveAliasedPrimitiveTarget(type, checker, file, typeRegistry, visiting, metadataPolicy = normalizeMetadataPolicy(void 0), extensionRegistry, diagnostics) {
+function resolveAliasedPrimitiveTarget(type, checker, file, typeRegistry, visiting, metadataPolicy = createAnalyzerMetadataPolicy(void 0), extensionRegistry, diagnostics) {
   const nestedAliasDecl = type.aliasSymbol?.declarations?.find(ts3.isTypeAliasDeclaration);
   if (nestedAliasDecl !== void 0) {
     return resolveAliasedPrimitiveTarget(
@@ -3956,7 +4109,7 @@ function resolveAliasedPrimitiveTarget(type, checker, file, typeRegistry, visiti
     diagnostics
   );
 }
-function resolveUnionType(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy = normalizeMetadataPolicy(void 0), extensionRegistry, diagnostics) {
+function resolveUnionType(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy = createAnalyzerMetadataPolicy(void 0), extensionRegistry, diagnostics) {
   const typeName = getNamedTypeName(type);
   const namedDecl = getNamedTypeDeclaration(type);
   if (typeName && typeName in typeRegistry) {
@@ -3991,11 +4144,19 @@ function resolveUnionType(type, checker, file, typeRegistry, visiting, sourceNod
       return result;
     }
     const annotations = namedDecl ? extractJSDocAnnotationNodes(namedDecl, file, makeParseOptions(extensionRegistry)) : void 0;
-    const metadata = namedDecl !== void 0 ? resolveNodeMetadata(metadataPolicy, "type", typeName, namedDecl, {
+    const metadata = namedDecl !== void 0 ? resolveNodeMetadata(
+      metadataPolicy,
+      "type",
+      typeName,
+      namedDecl,
       checker,
-      declaration: namedDecl,
-      subjectType: type
-    }) : void 0;
+      extensionRegistry,
+      {
+        checker,
+        declaration: namedDecl,
+        subjectType: type
+      }
+    ) : void 0;
     typeRegistry[typeName] = {
       name: typeName,
       ...metadata !== void 0 && { metadata },
@@ -4080,7 +4241,7 @@ function resolveUnionType(type, checker, file, typeRegistry, visiting, sourceNod
   }
   return registerNamed({ kind: "union", members });
 }
-function resolveArrayType(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy = normalizeMetadataPolicy(void 0), extensionRegistry, diagnostics) {
+function resolveArrayType(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy = createAnalyzerMetadataPolicy(void 0), extensionRegistry, diagnostics) {
   const typeArgs = isTypeReference(type) ? type.typeArguments : void 0;
   const elementType = typeArgs?.[0];
   const elementSourceNode = extractArrayElementTypeNode(sourceNode, checker);
@@ -4097,7 +4258,7 @@ function resolveArrayType(type, checker, file, typeRegistry, visiting, sourceNod
   ) : { kind: "primitive", primitiveKind: "string" };
   return { kind: "array", items };
 }
-function tryResolveRecordType(type, checker, file, typeRegistry, visiting, metadataPolicy = normalizeMetadataPolicy(void 0), extensionRegistry, diagnostics) {
+function tryResolveRecordType(type, checker, file, typeRegistry, visiting, metadataPolicy = createAnalyzerMetadataPolicy(void 0), extensionRegistry, diagnostics) {
   if (type.getProperties().length > 0) {
     return null;
   }
@@ -4158,7 +4319,7 @@ function shouldEmitResolvedObjectProperty(property, declaration) {
   }
   return true;
 }
-function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNode, metadataPolicy = normalizeMetadataPolicy(void 0), extensionRegistry, diagnostics) {
+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;
@@ -4234,11 +4395,19 @@ function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNo
         return recordNode;
       }
       const annotations = namedDecl ? extractJSDocAnnotationNodes(namedDecl, file, makeParseOptions(extensionRegistry)) : void 0;
-      const metadata = namedDecl !== void 0 ? resolveNodeMetadata(metadataPolicy, "type", registryTypeName, namedDecl, {
+      const metadata = namedDecl !== void 0 ? resolveNodeMetadata(
+        metadataPolicy,
+        "type",
+        registryTypeName,
+        namedDecl,
         checker,
-        declaration: namedDecl,
-        subjectType: type
-      }) : void 0;
+        extensionRegistry,
+        {
+          checker,
+          declaration: namedDecl,
+          subjectType: type
+        }
+      ) : void 0;
       typeRegistry[registryTypeName] = {
         name: registryTypeName,
         ...metadata !== void 0 && { metadata },
@@ -4283,14 +4452,39 @@ function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNo
       collectedDiagnostics
     );
     const fieldNodeInfo = fieldInfoMap?.get(prop.name);
+    const inlineFieldNodeInfo = fieldNodeInfo === void 0 ? ts3.isPropertySignature(declaration) ? analyzeInterfacePropertyToIR(
+      declaration,
+      checker,
+      file,
+      typeRegistry,
+      visiting,
+      collectedDiagnostics,
+      type,
+      metadataPolicy,
+      extensionRegistry
+    ) : ts3.isPropertyDeclaration(declaration) ? analyzeFieldToIR(
+      declaration,
+      checker,
+      file,
+      typeRegistry,
+      visiting,
+      collectedDiagnostics,
+      type,
+      metadataPolicy,
+      extensionRegistry
+    ) : null : null;
+    const resolvedFieldNodeInfo = fieldNodeInfo ?? inlineFieldNodeInfo;
+    const resolvedPropertyType = inlineFieldNodeInfo?.type ?? propTypeNode;
     properties.push({
       name: prop.name,
-      ...fieldNodeInfo?.metadata !== void 0 && { metadata: fieldNodeInfo.metadata },
-      type: propTypeNode,
+      ...resolvedFieldNodeInfo?.metadata !== void 0 && {
+        metadata: resolvedFieldNodeInfo.metadata
+      },
+      type: resolvedPropertyType,
       optional,
-      constraints: fieldNodeInfo?.constraints ?? [],
-      annotations: fieldNodeInfo?.annotations ?? [],
-      provenance: fieldNodeInfo?.provenance ?? provenanceForFile(file)
+      constraints: resolvedFieldNodeInfo?.constraints ?? [],
+      annotations: resolvedFieldNodeInfo?.annotations ?? [],
+      provenance: resolvedFieldNodeInfo?.provenance ?? provenanceForFile(file)
     });
   }
   visiting.delete(type);
@@ -4309,11 +4503,19 @@ function resolveObjectType(type, checker, file, typeRegistry, visiting, sourceNo
   };
   if (registryTypeName !== void 0 && shouldRegisterNamedType) {
     const annotations = namedDecl ? extractJSDocAnnotationNodes(namedDecl, file, makeParseOptions(extensionRegistry)) : void 0;
-    const metadata = namedDecl !== void 0 ? resolveNodeMetadata(metadataPolicy, "type", registryTypeName, namedDecl, {
+    const metadata = namedDecl !== void 0 ? resolveNodeMetadata(
+      metadataPolicy,
+      "type",
+      registryTypeName,
+      namedDecl,
       checker,
-      declaration: namedDecl,
-      subjectType: type
-    }) : void 0;
+      extensionRegistry,
+      {
+        checker,
+        declaration: namedDecl,
+        subjectType: type
+      }
+    ) : void 0;
     typeRegistry[registryTypeName] = {
       name: registryTypeName,
       ...metadata !== void 0 && { metadata },
@@ -4725,9 +4927,9 @@ function analyzeNamedTypeToIRFromProgramContext(ctx, filePath, typeName, extensi
 }
 
 // src/validate/constraint-validator.ts
-var import_internal3 = require("@formspec/analysis/internal");
+var import_internal4 = require("@formspec/analysis/internal");
 function validateFieldNode(ctx, field) {
-  const analysis = (0, import_internal3.analyzeConstraintTargets)(
+  const analysis = (0, import_internal4.analyzeConstraintTargets)(
     field.name,
     field.type,
     field.constraints,
@@ -4745,7 +4947,7 @@ function validateFieldNode(ctx, field) {
 }
 function validateObjectProperty(ctx, parentName, property) {
   const qualifiedName = `${parentName}.${property.name}`;
-  const analysis = (0, import_internal3.analyzeConstraintTargets)(
+  const analysis = (0, import_internal4.analyzeConstraintTargets)(
     qualifiedName,
     property.type,
     property.constraints,
@@ -4886,6 +5088,345 @@ function generateSchemasFromProgram(options) {
   );
 }
 
+// src/static-build.ts
+var ts6 = __toESM(require("typescript"), 1);
+function toStaticBuildContext(context) {
+  return context;
+}
+function createStaticBuildContext(filePath) {
+  return toStaticBuildContext(createProgramContext(filePath));
+}
+function createStaticBuildContextFromProgram(program, filePath) {
+  return toStaticBuildContext(createProgramContextFromProgram(program, filePath));
+}
+function getModuleSymbol(context) {
+  const sourceFileWithSymbol = context.sourceFile;
+  return context.checker.getSymbolAtLocation(context.sourceFile) ?? sourceFileWithSymbol.symbol;
+}
+function isSchemaSourceDeclaration(declaration) {
+  return ts6.isClassDeclaration(declaration) || ts6.isInterfaceDeclaration(declaration) || ts6.isTypeAliasDeclaration(declaration);
+}
+function resolveModuleExport(context, exportName = "default") {
+  const moduleSymbol = getModuleSymbol(context);
+  if (moduleSymbol === void 0) {
+    return null;
+  }
+  const exportSymbol = context.checker.getExportsOfModule(moduleSymbol).find((candidate) => candidate.name === exportName) ?? null;
+  if (exportSymbol === null) {
+    return null;
+  }
+  return exportSymbol.flags & ts6.SymbolFlags.Alias ? context.checker.getAliasedSymbol(exportSymbol) : exportSymbol;
+}
+function resolveModuleExportDeclaration(context, exportName = "default") {
+  return resolveModuleExport(context, exportName)?.declarations?.find(isSchemaSourceDeclaration) ?? null;
+}
+
+// src/generators/discovered-schema.ts
+var ts7 = __toESM(require("typescript"), 1);
+var import_internals6 = require("@formspec/core/internals");
+function toDiscoveredTypeSchemas(result) {
+  return result;
+}
+function isNamedTypeDeclaration(declaration) {
+  return ts7.isClassDeclaration(declaration) || ts7.isInterfaceDeclaration(declaration) || ts7.isTypeAliasDeclaration(declaration);
+}
+function hasConcreteTypeArguments(type, checker) {
+  if ("aliasTypeArguments" in type && Array.isArray(type.aliasTypeArguments) && type.aliasTypeArguments.length > 0) {
+    return true;
+  }
+  if ((type.flags & ts7.TypeFlags.Object) === 0) {
+    return false;
+  }
+  const objectType = type;
+  if ((objectType.objectFlags & ts7.ObjectFlags.Reference) === 0) {
+    return false;
+  }
+  return checker.getTypeArguments(objectType).length > 0;
+}
+function getNamedTypeDeclaration2(type) {
+  const symbol = type.getSymbol();
+  if (symbol?.declarations !== void 0) {
+    const declaration = symbol.declarations[0];
+    if (declaration !== void 0 && isNamedTypeDeclaration(declaration)) {
+      return declaration;
+    }
+  }
+  const aliasDeclaration = type.aliasSymbol?.declarations?.find(ts7.isTypeAliasDeclaration);
+  return aliasDeclaration;
+}
+function getFallbackName(sourceNode, fallback = "AnonymousType") {
+  if (sourceNode !== void 0 && "name" in sourceNode) {
+    const namedNode = sourceNode;
+    if (namedNode.name !== void 0 && ts7.isIdentifier(namedNode.name)) {
+      return namedNode.name.text;
+    }
+  }
+  return fallback;
+}
+function createObjectRootAnalysis(name, properties, typeRegistry, metadata, annotations) {
+  const fields = properties.map((property) => ({
+    kind: "field",
+    name: property.name,
+    ...property.metadata !== void 0 && { metadata: property.metadata },
+    type: property.type,
+    required: !property.optional,
+    constraints: property.constraints,
+    annotations: property.annotations,
+    provenance: property.provenance
+  }));
+  return {
+    name,
+    ...metadata !== void 0 && { metadata },
+    fields,
+    fieldLayouts: fields.map(() => ({})),
+    typeRegistry,
+    ...annotations !== void 0 && annotations.length > 0 && { annotations },
+    instanceMethods: [],
+    staticMethods: [],
+    diagnostics: []
+  };
+}
+function omitApiName(metadata) {
+  if (metadata?.apiName === void 0) {
+    return metadata;
+  }
+  const { apiName: _apiName, ...rest } = metadata;
+  return Object.keys(rest).length > 0 ? rest : void 0;
+}
+function describeRootType(rootType, typeRegistry, fallbackName) {
+  if (rootType.kind !== "reference") {
+    return {
+      name: fallbackName,
+      type: rootType
+    };
+  }
+  const definition = typeRegistry[rootType.name];
+  if (definition === void 0) {
+    return {
+      name: rootType.name,
+      type: rootType
+    };
+  }
+  return {
+    name: definition.name,
+    ...definition.metadata !== void 0 && { metadata: definition.metadata },
+    ...definition.annotations !== void 0 && definition.annotations.length > 0 && { annotations: definition.annotations },
+    type: definition.type
+  };
+}
+function toStandaloneJsonSchema(root, typeRegistry, options) {
+  const syntheticFieldMetadata = omitApiName(root.metadata);
+  const syntheticField = {
+    kind: "field",
+    name: "__result",
+    ...syntheticFieldMetadata !== void 0 && { metadata: syntheticFieldMetadata },
+    type: root.type,
+    required: true,
+    constraints: [],
+    annotations: [...root.annotations ?? []],
+    provenance: {
+      surface: "tsdoc",
+      file: "",
+      line: 1,
+      column: 0
+    }
+  };
+  const schema = generateJsonSchemaFromIR(
+    {
+      kind: "form-ir",
+      name: root.name,
+      irVersion: import_internals6.IR_VERSION,
+      elements: [syntheticField],
+      ...root.metadata !== void 0 && { metadata: root.metadata },
+      ...root.annotations !== void 0 && root.annotations.length > 0 && { rootAnnotations: root.annotations },
+      typeRegistry,
+      provenance: syntheticField.provenance
+    },
+    {
+      extensionRegistry: options?.extensionRegistry,
+      vendorPrefix: options?.vendorPrefix
+    }
+  );
+  const result = schema.properties?.["__result"];
+  if (result === void 0) {
+    throw new Error("FormSpec failed to extract the standalone schema root from the synthetic IR.");
+  }
+  if (schema.$defs === void 0 || Object.keys(schema.$defs).length === 0) {
+    return {
+      ...schema.$schema !== void 0 && { $schema: schema.$schema },
+      ...result
+    };
+  }
+  return {
+    ...schema.$schema !== void 0 && { $schema: schema.$schema },
+    ...result,
+    $defs: schema.$defs
+  };
+}
+function generateSchemasFromAnalysis(analysis, filePath, options) {
+  return toDiscoveredTypeSchemas(
+    generateClassSchemas(
+      analysis,
+      { file: filePath },
+      {
+        extensionRegistry: options?.extensionRegistry,
+        metadata: options?.metadata,
+        vendorPrefix: options?.vendorPrefix
+      }
+    )
+  );
+}
+function generateSchemasFromResolvedType(options, skipNamedDeclaration = false, rootOverride) {
+  const namedDeclaration = skipNamedDeclaration || hasConcreteTypeArguments(options.type, options.context.checker) ? void 0 : getNamedTypeDeclaration2(options.type);
+  if (namedDeclaration !== void 0) {
+    return generateSchemasFromDeclaration({
+      ...options,
+      declaration: namedDeclaration
+    });
+  }
+  const filePath = options.sourceNode?.getSourceFile().fileName ?? options.context.sourceFile.fileName;
+  const typeRegistry = {};
+  const diagnostics = [];
+  const rootType = resolveTypeNode(
+    options.type,
+    options.context.checker,
+    filePath,
+    typeRegistry,
+    /* @__PURE__ */ new Set(),
+    options.sourceNode,
+    createAnalyzerMetadataPolicy(options.metadata),
+    options.extensionRegistry,
+    diagnostics
+  );
+  if (diagnostics.length > 0) {
+    const diagnosticDetails = diagnostics.map((diagnostic) => `${diagnostic.code}: ${diagnostic.message}`).join("; ");
+    throw new Error(
+      `FormSpec validation failed while generating discovered type schemas. ${diagnosticDetails}`
+    );
+  }
+  const describedRoot = describeRootType(
+    rootType,
+    typeRegistry,
+    options.name ?? getFallbackName(options.sourceNode)
+  );
+  const mergedMetadata = mergeResolvedMetadata(describedRoot.metadata, rootOverride?.metadata);
+  const root = {
+    ...describedRoot,
+    ...rootOverride?.name !== void 0 && { name: rootOverride.name },
+    ...mergedMetadata !== void 0 && { metadata: mergedMetadata },
+    ...rootOverride?.annotations !== void 0 && { annotations: rootOverride.annotations }
+  };
+  if (root.type.kind === "object") {
+    return generateSchemasFromAnalysis(
+      createObjectRootAnalysis(
+        options.name ?? root.name,
+        root.type.properties,
+        typeRegistry,
+        root.metadata,
+        root.annotations
+      ),
+      filePath,
+      options
+    );
+  }
+  return {
+    jsonSchema: toStandaloneJsonSchema(root, typeRegistry, options),
+    uiSchema: null
+  };
+}
+function generateSchemasFromDeclaration(options) {
+  const filePath = options.declaration.getSourceFile().fileName;
+  if (ts7.isClassDeclaration(options.declaration)) {
+    return generateSchemasFromAnalysis(
+      analyzeClassToIR(
+        options.declaration,
+        options.context.checker,
+        filePath,
+        options.extensionRegistry,
+        options.metadata
+      ),
+      filePath,
+      options
+    );
+  }
+  if (ts7.isInterfaceDeclaration(options.declaration)) {
+    return generateSchemasFromAnalysis(
+      analyzeInterfaceToIR(
+        options.declaration,
+        options.context.checker,
+        filePath,
+        options.extensionRegistry,
+        options.metadata
+      ),
+      filePath,
+      options
+    );
+  }
+  if (ts7.isTypeAliasDeclaration(options.declaration)) {
+    const analyzedAlias = analyzeTypeAliasToIR(
+      options.declaration,
+      options.context.checker,
+      filePath,
+      options.extensionRegistry,
+      options.metadata
+    );
+    if (analyzedAlias.ok) {
+      return generateSchemasFromAnalysis(analyzedAlias.analysis, filePath, options);
+    }
+    const aliasRootInfo = analyzeDeclarationRootInfo(
+      options.declaration,
+      options.context.checker,
+      filePath,
+      options.extensionRegistry,
+      options.metadata
+    );
+    if (aliasRootInfo.diagnostics.length > 0) {
+      const diagnosticDetails = aliasRootInfo.diagnostics.map((diagnostic) => `${diagnostic.code}: ${diagnostic.message}`).join("; ");
+      throw new Error(
+        `FormSpec validation failed while generating discovered type schemas. ${diagnosticDetails}`
+      );
+    }
+    return generateSchemasFromResolvedType(
+      {
+        ...options,
+        type: options.context.checker.getTypeAtLocation(options.declaration),
+        sourceNode: options.declaration,
+        name: options.declaration.name.text
+      },
+      true,
+      {
+        name: options.declaration.name.text,
+        ...aliasRootInfo.metadata !== void 0 && { metadata: aliasRootInfo.metadata },
+        ...aliasRootInfo.annotations.length > 0 && { annotations: aliasRootInfo.annotations }
+      }
+    );
+  }
+  const _exhaustive = options.declaration;
+  return _exhaustive;
+}
+function generateSchemasFromType(options) {
+  return generateSchemasFromResolvedType(options);
+}
+function generateSchemasFromParameter(options) {
+  return generateSchemasFromResolvedType({
+    ...options,
+    type: options.context.checker.getTypeAtLocation(options.parameter),
+    sourceNode: options.parameter,
+    name: getFallbackName(options.parameter, "Parameter")
+  });
+}
+function generateSchemasFromReturnType(options) {
+  const signature = options.context.checker.getSignatureFromDeclaration(options.declaration);
+  const type = signature !== void 0 ? options.context.checker.getReturnTypeOfSignature(signature) : options.context.checker.getTypeAtLocation(options.declaration);
+  const fallbackName = options.declaration.name !== void 0 && ts7.isIdentifier(options.declaration.name) ? `${options.declaration.name.text}ReturnType` : "ReturnType";
+  return generateSchemasFromResolvedType({
+    ...options,
+    type,
+    sourceNode: options.declaration.type ?? options.declaration,
+    name: fallbackName
+  });
+}
+
 // src/generators/mixed-authoring.ts
 function buildMixedAuthoringSchemas(options) {
   const { filePath, typeName, overlays, ...schemaOptions } = options;
@@ -5101,12 +5642,20 @@ function writeSchemas(form, options) {
   buildFormSchemas,
   buildMixedAuthoringSchemas,
   createExtensionRegistry,
+  createStaticBuildContext,
+  createStaticBuildContextFromProgram,
   generateJsonSchema,
   generateSchemas,
   generateSchemasFromClass,
+  generateSchemasFromDeclaration,
+  generateSchemasFromParameter,
   generateSchemasFromProgram,
+  generateSchemasFromReturnType,
+  generateSchemasFromType,
   generateUiSchema,
   jsonSchema7Schema,
+  resolveModuleExport,
+  resolveModuleExportDeclaration,
   uiSchemaSchema,
   writeSchemas
 });