@formspec/build 0.1.0-alpha.37 → 0.1.0-alpha.39

package/dist/index.d.ts

@@ -35,15 +35,19 @@ export type { JSONSchema7, JSONSchemaType, ExtendedJSONSchema7, FormSpecSchemaEx
 export { createExtensionRegistry } from "./extensions/index.js";
 export type { ExtensionRegistry } from "./extensions/index.js";
 export type { UISchema, UISchemaElement, UISchemaElementBase, UISchemaElementType, ControlElement, VerticalLayout, HorizontalLayout, GroupLayout, Categorization, Category, LabelElement, Rule, RuleEffect, RuleConditionSchema, SchemaBasedCondition, } from "./ui-schema/types.js";
-export type { DiscriminatorResolutionOptions, GenerateFromClassOptions, GenerateFromClassResult, GenerateSchemasOptions, GenerateSchemasFromProgramOptions, StaticSchemaGenerationOptions, } from "./generators/class-schema.js";
+export type { DetailedClassSchemasResult, DetailedSchemaGenerationTargetResult, DiscriminatorResolutionOptions, GenerateFromClassOptions, GenerateFromClassResult, GenerateSchemasOptions, GenerateSchemasBatchFromProgramOptions, GenerateSchemasBatchOptions, GenerateSchemasFromProgramOptions, SchemaGenerationTarget, StaticSchemaGenerationOptions, } from "./generators/class-schema.js";
 export type { StaticBuildContext } from "./static-build.js";
+export type { ValidateIROptions, ValidationDiagnostic, ValidationDiagnosticLocation, ValidationDiagnosticSeverity, ValidationResult, } from "./validate/index.js";
 export type { DiscoveredTypeSchemas, GenerateSchemasFromDeclarationOptions, GenerateSchemasFromParameterOptions, GenerateSchemasFromReturnTypeOptions, GenerateSchemasFromTypeOptions, SchemaSourceDeclaration, } from "./generators/discovered-schema.js";
 export type { BuildMixedAuthoringSchemasOptions, MixedAuthoringSchemas, } from "./generators/mixed-authoring.js";
 export { jsonSchema7Schema } from "./json-schema/schema.js";
 export { uiSchema as uiSchemaSchema } from "./ui-schema/schema.js";
 export { generateJsonSchema } from "./json-schema/generator.js";
 export { generateUiSchema } from "./ui-schema/generator.js";
-export { generateSchemasFromClass, generateSchemas, generateSchemasFromProgram, } from "./generators/class-schema.js";
+export { generateSchemasBatch, generateSchemasBatchFromProgram, generateSchemasFromClass, } from "./generators/class-schema.js";
+export { generateSchemas } from "./generators/class-schema.js";
+export { generateSchemasFromProgram } from "./generators/class-schema.js";
+export { generateSchemasDetailed, generateSchemasFromProgramDetailed, } from "./generators/class-schema.js";
 export { createStaticBuildContext, createStaticBuildContextFromProgram, resolveModuleExport, resolveModuleExportDeclaration, } from "./static-build.js";
 export { generateSchemasFromDeclaration, generateSchemasFromParameter, generateSchemasFromReturnType, generateSchemasFromType, } from "./generators/discovered-schema.js";
 export { buildMixedAuthoringSchemas } from "./generators/mixed-authoring.js";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAsB,KAAK,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AAChG,OAAO,EAAoB,KAAK,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AAC1F,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAQrD,YAAY,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AACpE,YAAY,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AAC5E,YAAY,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AACxE,YAAY,EACV,uCAAuC,EACvC,yBAAyB,EACzB,4BAA4B,EAC5B,4BAA4B,EAC5B,sBAAsB,EACtB,mBAAmB,EACnB,QAAQ,EACR,UAAU,EACV,YAAY,EACZ,WAAW,EACX,gBAAgB,EAChB,kBAAkB,EAClB,UAAU,EACV,eAAe,EACf,WAAW,EACX,QAAQ,EACR,KAAK,EACL,WAAW,EACX,WAAW,EACX,eAAe,EACf,SAAS,GACV,MAAM,gBAAgB,CAAC;AAExB,YAAY,EACV,WAAW,EACX,cAAc,EACd,mBAAmB,EACnB,wBAAwB,GACzB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,YAAY,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE/D,YAAY,EACV,QAAQ,EACR,eAAe,EACf,mBAAmB,EACnB,mBAAmB,EACnB,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,WAAW,EACX,cAAc,EACd,QAAQ,EACR,YAAY,EACZ,IAAI,EACJ,UAAU,EACV,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,sBAAsB,CAAC;AAE9B,YAAY,EACV,8BAA8B,EAC9B,wBAAwB,EACxB,uBAAuB,EACvB,sBAAsB,EACtB,iCAAiC,EACjC,6BAA6B,GAC9B,MAAM,8BAA8B,CAAC;AACtC,YAAY,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,YAAY,EACV,qBAAqB,EACrB,qCAAqC,EACrC,mCAAmC,EACnC,oCAAoC,EACpC,8BAA8B,EAC9B,uBAAuB,GACxB,MAAM,mCAAmC,CAAC;AAC3C,YAAY,EACV,iCAAiC,EACjC,qBAAqB,GACtB,MAAM,iCAAiC,CAAC;AAMzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,QAAQ,IAAI,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAMnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EACL,wBAAwB,EACxB,eAAe,EACf,0BAA0B,GAC3B,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,wBAAwB,EACxB,mCAAmC,EACnC,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,8BAA8B,EAC9B,4BAA4B,EAC5B,6BAA6B,EAC7B,uBAAuB,GACxB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AAE7E;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,yCAAyC;IACzC,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,yCAAyC;IACzC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;CAC7B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,uBACf,SAAQ,yBAAyB,EAAE,uBAAuB;CAAG;AAE/D;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,SAAS,WAAW,EAAE,EAC/D,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EACjB,OAAO,CAAC,EAAE,uBAAuB,GAChC,WAAW,CAKb;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAoB,SAAQ,yBAAyB;IACpE,4CAA4C;IAC5C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,+EAA+E;IAC/E,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,2DAA2D;IAC3D,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,6CAA6C;IAC7C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,2CAA2C;IAC3C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,SAAS,WAAW,EAAE,EAC3D,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EACjB,OAAO,EAAE,mBAAmB,GAC3B,kBAAkB,CAsBpB"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAsB,KAAK,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AAChG,OAAO,EAAoB,KAAK,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AAC1F,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAQrD,YAAY,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AACpE,YAAY,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AAC5E,YAAY,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AACxE,YAAY,EACV,uCAAuC,EACvC,yBAAyB,EACzB,4BAA4B,EAC5B,4BAA4B,EAC5B,sBAAsB,EACtB,mBAAmB,EACnB,QAAQ,EACR,UAAU,EACV,YAAY,EACZ,WAAW,EACX,gBAAgB,EAChB,kBAAkB,EAClB,UAAU,EACV,eAAe,EACf,WAAW,EACX,QAAQ,EACR,KAAK,EACL,WAAW,EACX,WAAW,EACX,eAAe,EACf,SAAS,GACV,MAAM,gBAAgB,CAAC;AAExB,YAAY,EACV,WAAW,EACX,cAAc,EACd,mBAAmB,EACnB,wBAAwB,GACzB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,YAAY,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE/D,YAAY,EACV,QAAQ,EACR,eAAe,EACf,mBAAmB,EACnB,mBAAmB,EACnB,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,WAAW,EACX,cAAc,EACd,QAAQ,EACR,YAAY,EACZ,IAAI,EACJ,UAAU,EACV,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,sBAAsB,CAAC;AAE9B,YAAY,EACV,0BAA0B,EAC1B,oCAAoC,EACpC,8BAA8B,EAC9B,wBAAwB,EACxB,uBAAuB,EACvB,sBAAsB,EACtB,sCAAsC,EACtC,2BAA2B,EAC3B,iCAAiC,EACjC,sBAAsB,EACtB,6BAA6B,GAC9B,MAAM,8BAA8B,CAAC;AACtC,YAAY,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,YAAY,EACV,iBAAiB,EACjB,oBAAoB,EACpB,4BAA4B,EAC5B,4BAA4B,EAC5B,gBAAgB,GACjB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACV,qBAAqB,EACrB,qCAAqC,EACrC,mCAAmC,EACnC,oCAAoC,EACpC,8BAA8B,EAC9B,uBAAuB,GACxB,MAAM,mCAAmC,CAAC;AAC3C,YAAY,EACV,iCAAiC,EACjC,qBAAqB,GACtB,MAAM,iCAAiC,CAAC;AAMzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,QAAQ,IAAI,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAMnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EACL,oBAAoB,EACpB,+BAA+B,EAC/B,wBAAwB,GACzB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAE/D,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAE1E,OAAO,EACL,uBAAuB,EACvB,kCAAkC,GACnC,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EACL,wBAAwB,EACxB,mCAAmC,EACnC,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,8BAA8B,EAC9B,4BAA4B,EAC5B,6BAA6B,EAC7B,uBAAuB,GACxB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AAE7E;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,yCAAyC;IACzC,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,yCAAyC;IACzC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;CAC7B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,uBACf,SAAQ,yBAAyB,EAAE,uBAAuB;CAAG;AAE/D;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,SAAS,WAAW,EAAE,EAC/D,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EACjB,OAAO,CAAC,EAAE,uBAAuB,GAChC,WAAW,CAKb;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAoB,SAAQ,yBAAyB;IACpE,4CAA4C;IAC5C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,+EAA+E;IAC/E,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,2DAA2D;IAC3D,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,6CAA6C;IAC7C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,2CAA2C;IAC3C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,SAAS,WAAW,EAAE,EAC3D,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EACjB,OAAO,EAAE,mBAAmB,GAC3B,kBAAkB,CAsBpB"}

package/dist/index.js

@@ -1971,7 +1971,7 @@ var jsonSchema7Schema = z3.lazy(
 );
 
 // src/generators/class-schema.ts
-import "typescript";
+import * as ts5 from "typescript";
 
 // src/analyzer/program.ts
 import * as ts4 from "typescript";
@@ -2147,6 +2147,16 @@ function buildSupportingDeclarations(sourceFile, extensionTypeNames) {
     return true;
   }).map((statement) => statement.getText(sourceFile));
 }
+function pushUniqueCompilerDiagnostics(target, additions) {
+  for (const diagnostic of additions) {
+    if ((diagnostic.code === "UNSUPPORTED_CUSTOM_TYPE_OVERRIDE" || diagnostic.code === "SYNTHETIC_SETUP_FAILURE") && target.some(
+      (existing) => existing.code === diagnostic.code && existing.message === diagnostic.message
+    )) {
+      continue;
+    }
+    target.push(diagnostic);
+  }
+}
 function renderSyntheticArgumentExpression(valueKind, argumentText) {
   const trimmed = argumentText.trim();
   if (trimmed === "") {
@@ -2413,6 +2423,16 @@ function buildCompilerBackedConstraintDiagnostics(node, sourceFile, tagName, par
   if (result.diagnostics.length === 0) {
     return [];
   }
+  const setupDiagnostic = result.diagnostics.find((diagnostic) => diagnostic.kind !== "typescript");
+  if (setupDiagnostic !== void 0) {
+    return [
+      makeDiagnostic(
+        setupDiagnostic.kind === "unsupported-custom-type-override" ? "UNSUPPORTED_CUSTOM_TYPE_OVERRIDE" : "SYNTHETIC_SETUP_FAILURE",
+        setupDiagnostic.message,
+        provenance
+      )
+    ];
+  }
   const expectedLabel = definition.valueKind === null ? "compatible argument" : capabilityLabel(definition.valueKind);
   return [
     makeDiagnostic(
@@ -2578,7 +2598,7 @@ function parseTSDocTags(node, file = "", options) {
           options
         );
         if (compilerDiagnostics.length > 0) {
-          diagnostics.push(...compilerDiagnostics);
+          pushUniqueCompilerDiagnostics(diagnostics, compilerDiagnostics);
           continue;
         }
         const constraintNode = parseConstraintTagValue(
@@ -2665,7 +2685,7 @@ function parseTSDocTags(node, file = "", options) {
         options
       );
       if (compilerDiagnostics.length > 0) {
-        diagnostics.push(...compilerDiagnostics);
+        pushUniqueCompilerDiagnostics(diagnostics, compilerDiagnostics);
         continue;
       }
       const constraintNode = parseConstraintTagValue(
@@ -2699,7 +2719,7 @@ function parseTSDocTags(node, file = "", options) {
         options
       );
       if (compilerDiagnostics.length > 0) {
-        diagnostics.push(...compilerDiagnostics);
+        pushUniqueCompilerDiagnostics(diagnostics, compilerDiagnostics);
         continue;
       }
       const constraintNode = parseConstraintTagValue(
@@ -5123,29 +5143,35 @@ function analyzeNamedTypeToIR(filePath, typeName, extensionRegistry, metadataPol
     discriminatorOptions
   );
 }
-function analyzeNamedTypeToIRFromProgramContext(ctx, filePath, typeName, extensionRegistry, metadataPolicy, discriminatorOptions) {
+function analyzeNamedTypeToIRFromProgramContextDetailed(ctx, filePath, typeName, extensionRegistry, metadataPolicy, discriminatorOptions) {
   const analysisFilePath = path.resolve(filePath);
   const classDecl = findClassByName(ctx.sourceFile, typeName);
   if (classDecl !== null) {
-    return analyzeClassToIR(
-      classDecl,
-      ctx.checker,
-      analysisFilePath,
-      extensionRegistry,
-      metadataPolicy,
-      discriminatorOptions
-    );
+    return {
+      ok: true,
+      analysis: analyzeClassToIR(
+        classDecl,
+        ctx.checker,
+        analysisFilePath,
+        extensionRegistry,
+        metadataPolicy,
+        discriminatorOptions
+      )
+    };
   }
   const interfaceDecl = findInterfaceByName(ctx.sourceFile, typeName);
   if (interfaceDecl !== null) {
-    return analyzeInterfaceToIR(
-      interfaceDecl,
-      ctx.checker,
-      analysisFilePath,
-      extensionRegistry,
-      metadataPolicy,
-      discriminatorOptions
-    );
+    return {
+      ok: true,
+      analysis: analyzeInterfaceToIR(
+        interfaceDecl,
+        ctx.checker,
+        analysisFilePath,
+        extensionRegistry,
+        metadataPolicy,
+        discriminatorOptions
+      )
+    };
   }
   const typeAlias = findTypeAliasByName(ctx.sourceFile, typeName);
   if (typeAlias !== null) {
@@ -5158,11 +5184,20 @@ function analyzeNamedTypeToIRFromProgramContext(ctx, filePath, typeName, extensi
       discriminatorOptions
     );
     if (result.ok) {
-      return result.analysis;
+      return { ok: true, analysis: result.analysis };
     }
     const fallbackEligible = result.kind === "not-object-like" && isResolvableObjectLikeAliasTypeNode(typeAlias.type) && containsTypeReferenceInObjectLikeAlias(typeAlias.type);
     if (!fallbackEligible) {
-      throw new Error(result.error);
+      return {
+        ok: false,
+        diagnostics: [
+          makeProgramDiagnostic(
+            result.kind === "duplicate-properties" ? "DUPLICATE_ROOT_PROPERTIES" : "UNSUPPORTED_ROOT_TYPE",
+            result.error,
+            makeNodeProvenance(typeAlias, analysisFilePath)
+          )
+        ]
+      };
     }
     const duplicatePropertyNames = findFallbackAliasDuplicatePropertyNames(
       typeAlias.type,
@@ -5171,9 +5206,16 @@ function analyzeNamedTypeToIRFromProgramContext(ctx, filePath, typeName, extensi
     if (duplicatePropertyNames.length > 0) {
       const sourceFile = typeAlias.getSourceFile();
       const { line } = sourceFile.getLineAndCharacterOfPosition(typeAlias.getStart());
-      throw new Error(
-        `Type alias "${typeAlias.name.text}" at line ${String(line + 1)} contains duplicate property names across object-like members: ${duplicatePropertyNames.join(", ")}`
-      );
+      return {
+        ok: false,
+        diagnostics: [
+          makeProgramDiagnostic(
+            "DUPLICATE_ROOT_PROPERTIES",
+            `Type alias "${typeAlias.name.text}" at line ${String(line + 1)} contains duplicate property names across object-like members: ${duplicatePropertyNames.join(", ")}`,
+            makeNodeProvenance(typeAlias, analysisFilePath)
+          )
+        ]
+      };
     }
     const rootInfo = analyzeDeclarationRootInfo(
       typeAlias,
@@ -5203,13 +5245,71 @@ function analyzeNamedTypeToIRFromProgramContext(ctx, filePath, typeName, extensi
       diagnostics
     );
     if (fallbackAnalysis !== null) {
-      return fallbackAnalysis;
+      return { ok: true, analysis: fallbackAnalysis };
     }
-    throw new Error(result.error);
+    return {
+      ok: false,
+      diagnostics: [
+        makeProgramDiagnostic(
+          "UNSUPPORTED_ROOT_TYPE",
+          result.error,
+          makeNodeProvenance(typeAlias, analysisFilePath)
+        )
+      ]
+    };
   }
-  throw new Error(
-    `Type "${typeName}" not found as a class, interface, or type alias in ${analysisFilePath}`
+  return {
+    ok: false,
+    diagnostics: [
+      makeProgramDiagnostic(
+        "TYPE_NOT_FOUND",
+        `Type "${typeName}" not found as a class, interface, or type alias in ${analysisFilePath}`,
+        makeFileProvenance(analysisFilePath)
+      )
+    ]
+  };
+}
+function analyzeNamedTypeToIRFromProgramContext(ctx, filePath, typeName, extensionRegistry, metadataPolicy, discriminatorOptions) {
+  const result = analyzeNamedTypeToIRFromProgramContextDetailed(
+    ctx,
+    filePath,
+    typeName,
+    extensionRegistry,
+    metadataPolicy,
+    discriminatorOptions
   );
+  if (result.ok) {
+    return result.analysis;
+  }
+  throw new Error(result.diagnostics.map((diagnostic) => diagnostic.message).join("\n"));
+}
+function makeProgramDiagnostic(code, message, primaryLocation) {
+  return {
+    code,
+    message,
+    severity: "error",
+    primaryLocation,
+    relatedLocations: []
+  };
+}
+function makeNodeProvenance(node, filePath) {
+  const sourceFile = node.getSourceFile();
+  const position = sourceFile.getLineAndCharacterOfPosition(node.getStart());
+  return {
+    surface: "tsdoc",
+    file: filePath,
+    line: position.line + 1,
+    column: position.character,
+    length: node.getWidth()
+  };
+}
+function makeFileProvenance(filePath) {
+  return {
+    surface: "tsdoc",
+    file: filePath,
+    line: 1,
+    column: 0
+  };
 }
 
 // src/validate/constraint-validator.ts
@@ -5289,11 +5389,25 @@ function validateIR(ir, options) {
 
 // src/generators/class-schema.ts
 function generateClassSchemas(analysis, source, options) {
-  const errorDiagnostics = analysis.diagnostics?.filter(
+  const result = generateClassSchemasDetailed(analysis, source, options);
+  if (!result.ok || result.jsonSchema === void 0 || result.uiSchema === void 0) {
+    throw new Error(formatValidationError(result.diagnostics));
+  }
+  return {
+    jsonSchema: result.jsonSchema,
+    uiSchema: result.uiSchema
+  };
+}
+function generateClassSchemasDetailed(analysis, source, options) {
+  const analysisDiagnostics = analysis.diagnostics ?? [];
+  const errorDiagnostics = analysisDiagnostics.filter(
     (diagnostic) => diagnostic.severity === "error"
   );
-  if (errorDiagnostics !== void 0 && errorDiagnostics.length > 0) {
-    throw new Error(formatValidationError(errorDiagnostics));
+  if (errorDiagnostics.length > 0) {
+    return {
+      ok: false,
+      diagnostics: analysisDiagnostics
+    };
   }
   const ir = canonicalizeTSDoc(
     analysis,
@@ -5307,9 +5421,14 @@ function generateClassSchemas(analysis, source, options) {
     ...options?.vendorPrefix !== void 0 && { vendorPrefix: options.vendorPrefix }
   });
   if (!validationResult.valid) {
-    throw new Error(formatValidationError(validationResult.diagnostics));
+    return {
+      ok: false,
+      diagnostics: [...analysisDiagnostics, ...validationResult.diagnostics]
+    };
   }
   return {
+    ok: true,
+    diagnostics: [...analysisDiagnostics, ...validationResult.diagnostics],
     jsonSchema: generateJsonSchemaFromIR(ir, options),
     uiSchema: generateUiSchemaFromIR(ir)
   };
@@ -5351,25 +5470,127 @@ function generateSchemasFromClass(options) {
   );
 }
 function generateSchemas(options) {
-  const ctx = createProgramContext(options.filePath);
+  const result = generateSchemasDetailedInternal(options);
+  if (options.errorReporting === "diagnostics") {
+    return result;
+  }
+  if (!result.ok || result.jsonSchema === void 0 || result.uiSchema === void 0) {
+    throw new Error(formatValidationError(result.diagnostics));
+  }
+  return {
+    jsonSchema: result.jsonSchema,
+    uiSchema: result.uiSchema
+  };
+}
+function generateSchemasFromProgram(options) {
+  const result = generateSchemasFromProgramDetailedInternal(options);
+  if (options.errorReporting === "diagnostics") {
+    return result;
+  }
+  if (!result.ok || result.jsonSchema === void 0 || result.uiSchema === void 0) {
+    throw new Error(formatValidationError(result.diagnostics));
+  }
+  return {
+    jsonSchema: result.jsonSchema,
+    uiSchema: result.uiSchema
+  };
+}
+function generateSchemasDetailed(options) {
+  return generateSchemas({
+    ...options,
+    errorReporting: "diagnostics"
+  });
+}
+function generateSchemasDetailedInternal(options) {
+  let ctx;
+  try {
+    ctx = createProgramContext(options.filePath);
+  } catch (error) {
+    return {
+      ok: false,
+      diagnostics: [createProgramContextFailureDiagnostic(options.filePath, error)]
+    };
+  }
+  return generateSchemasFromDetailedProgramContext(ctx, options.filePath, options.typeName, options);
+}
+function generateSchemasFromProgramDetailed(options) {
   return generateSchemasFromProgram({
     ...options,
-    program: ctx.program
+    errorReporting: "diagnostics"
   });
 }
-function generateSchemasFromProgram(options) {
-  const ctx = createProgramContextFromProgram(options.program, options.filePath);
-  const analysis = analyzeNamedTypeToIRFromProgramContext(
+function generateSchemasFromProgramDetailedInternal(options) {
+  let ctx;
+  try {
+    ctx = createProgramContextFromProgram(options.program, options.filePath);
+  } catch (error) {
+    return {
+      ok: false,
+      diagnostics: [createProgramContextFailureDiagnostic(options.filePath, error)]
+    };
+  }
+  return generateSchemasFromDetailedProgramContext(ctx, options.filePath, options.typeName, options);
+}
+function generateSchemasBatch(options) {
+  const contextCache = /* @__PURE__ */ new Map();
+  return options.targets.map((target) => {
+    let ctx;
+    try {
+      const cacheKey = ts5.sys.useCaseSensitiveFileNames ? target.filePath : target.filePath.toLowerCase();
+      const cachedContext = contextCache.get(cacheKey);
+      if (cachedContext === void 0) {
+        ctx = createProgramContext(target.filePath);
+        contextCache.set(cacheKey, ctx);
+      } else {
+        ctx = cachedContext;
+      }
+    } catch (error) {
+      return withTarget(target, {
+        ok: false,
+        diagnostics: [createProgramContextFailureDiagnostic(target.filePath, error)]
+      });
+    }
+    return withTarget(
+      target,
+      generateSchemasFromDetailedProgramContext(ctx, target.filePath, target.typeName, options)
+    );
+  });
+}
+function generateSchemasBatchFromProgram(options) {
+  return options.targets.map((target) => {
+    let ctx;
+    try {
+      ctx = createProgramContextFromProgram(options.program, target.filePath);
+    } catch (error) {
+      return withTarget(target, {
+        ok: false,
+        diagnostics: [createProgramContextFailureDiagnostic(target.filePath, error)]
+      });
+    }
+    return withTarget(
+      target,
+      generateSchemasFromDetailedProgramContext(ctx, target.filePath, target.typeName, options)
+    );
+  });
+}
+function generateSchemasFromDetailedProgramContext(ctx, filePath, typeName, options) {
+  const analysisResult = analyzeNamedTypeToIRFromProgramContextDetailed(
     ctx,
-    options.filePath,
-    options.typeName,
+    filePath,
+    typeName,
     options.extensionRegistry,
     options.metadata,
     options.discriminator
   );
-  return generateClassSchemas(
-    analysis,
-    { file: options.filePath },
+  if (!analysisResult.ok) {
+    return {
+      ok: false,
+      diagnostics: analysisResult.diagnostics
+    };
+  }
+  return generateClassSchemasDetailed(
+    analysisResult.analysis,
+    { file: filePath },
     {
       extensionRegistry: options.extensionRegistry,
       metadata: options.metadata,
@@ -5377,6 +5598,27 @@ function generateSchemasFromProgram(options) {
     }
   );
 }
+function withTarget(target, result) {
+  return {
+    filePath: target.filePath,
+    typeName: target.typeName,
+    ...result
+  };
+}
+function createProgramContextFailureDiagnostic(filePath, error) {
+  return {
+    code: "PROGRAM_CONTEXT_FAILURE",
+    message: error instanceof Error ? error.message : String(error),
+    severity: "error",
+    primaryLocation: {
+      surface: "tsdoc",
+      file: filePath,
+      line: 1,
+      column: 0
+    },
+    relatedLocations: []
+  };
+}
 
 // src/static-build.ts
 import * as ts6 from "typescript";
@@ -5414,8 +5656,11 @@ function resolveModuleExportDeclaration(context, exportName = "default") {
 // src/generators/discovered-schema.ts
 import * as ts7 from "typescript";
 import { IR_VERSION as IR_VERSION3 } from "@formspec/core/internals";
-function toDiscoveredTypeSchemas(result) {
-  return result;
+function toDiscoveredTypeSchemas(result, resolvedMetadata) {
+  return {
+    ...result,
+    ...resolvedMetadata !== void 0 && { resolvedMetadata }
+  };
 }
 function isNamedTypeDeclaration(declaration) {
   return ts7.isClassDeclaration(declaration) || ts7.isInterfaceDeclaration(declaration) || ts7.isTypeAliasDeclaration(declaration);
@@ -5563,7 +5808,8 @@ function generateSchemasFromAnalysis(analysis, filePath, options) {
         metadata: options?.metadata,
         vendorPrefix: options?.vendorPrefix
       }
-    )
+    ),
+    analysis.metadata
   );
 }
 function generateSchemasFromResolvedType(options, skipNamedDeclaration = false, rootOverride) {
@@ -5621,7 +5867,8 @@ function generateSchemasFromResolvedType(options, skipNamedDeclaration = false,
   }
   return {
     jsonSchema: toStandaloneJsonSchema(root, typeRegistry, options),
-    uiSchema: null
+    uiSchema: null,
+    ...root.metadata !== void 0 && { resolvedMetadata: root.metadata }
   };
 }
 function generateSchemasFromDeclaration(options) {
@@ -5960,10 +6207,14 @@ export {
   createStaticBuildContextFromProgram,
   generateJsonSchema,
   generateSchemas,
+  generateSchemasBatch,
+  generateSchemasBatchFromProgram,
+  generateSchemasDetailed,
   generateSchemasFromClass,
   generateSchemasFromDeclaration,
   generateSchemasFromParameter,
   generateSchemasFromProgram,
+  generateSchemasFromProgramDetailed,
   generateSchemasFromReturnType,
   generateSchemasFromType,
   generateUiSchema,