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

package/README.md

@@ -19,11 +19,11 @@ Most app code can use `formspec`, but use `@formspec/build` directly when you ne
 
 ## Public Entry Points
 
-| Entry point                 | Purpose                                |
-| --------------------------- | -------------------------------------- |
-| `@formspec/build`           | Public build APIs                      |
-| `@formspec/build/browser`   | Browser-safe chain-DSL and IR surface  |
-| `@formspec/build/internals` | Unstable low-level IR/analyzer APIs    |
+| Entry point                 | Purpose                               |
+| --------------------------- | ------------------------------------- |
+| `@formspec/build`           | Public build APIs                     |
+| `@formspec/build/browser`   | Browser-safe chain-DSL and IR surface |
+| `@formspec/build/internals` | Unstable low-level IR/analyzer APIs   |
 
 ## Chain DSL Generation
 
@@ -63,6 +63,83 @@ const result = generateSchemasFromClass({
 });
 ```
 
+### Static Build Context
+
+Use the static build context APIs when you need to inspect exports, declarations,
+or method signatures before deciding what schemas to generate.
+
+Public helpers in this workflow:
+
+- `createStaticBuildContext(filePath)` - Create a reusable compiler-backed context from a file.
+- `createStaticBuildContextFromProgram(program, filePath)` - Reuse a host-owned `ts.Program`.
+- `resolveModuleExport(context, exportName?)` - Resolve any exported symbol, including functions and other non-schema declarations.
+- `resolveModuleExportDeclaration(context, exportName?)` - Resolve only schema-source declarations (`class`, `interface`, `type` alias).
+- `generateSchemasFromDeclaration(...)` - Generate from a resolved schema-source declaration.
+- `generateSchemasFromParameter(...)` - Generate from a method or function parameter declaration.
+- `generateSchemasFromReturnType(...)` - Generate from a method or function return type.
+- `generateSchemasFromType(...)` - Generate directly from a resolved `ts.Type`.
+
+Use `resolveModuleExportDeclaration(...)` when your tooling wants to hand a resolved
+declaration straight to `generateSchemasFromDeclaration(...)`. Use `resolveModuleExport(...)`
+when you need lower-level TypeScript access first, for example to inspect a function
+export and then generate schemas from one of its signature types.
+
+```ts
+import * as ts from "typescript";
+import {
+  createStaticBuildContext,
+  generateSchemasFromDeclaration,
+  generateSchemasFromParameter,
+  generateSchemasFromReturnType,
+  resolveModuleExport,
+  resolveModuleExportDeclaration,
+} from "@formspec/build";
+
+const context = createStaticBuildContext("./src/service.ts");
+const serviceDeclaration = resolveModuleExportDeclaration(context, "PaymentService");
+
+if (serviceDeclaration && ts.isClassDeclaration(serviceDeclaration)) {
+  const submitMethod = serviceDeclaration.members.find(
+    (member): member is ts.MethodDeclaration =>
+      ts.isMethodDeclaration(member) &&
+      ts.isIdentifier(member.name) &&
+      member.name.text === "submit"
+  );
+
+  if (submitMethod?.parameters[0]) {
+    const inputSchemas = generateSchemasFromParameter({
+      context,
+      parameter: submitMethod.parameters[0],
+    });
+  }
+}
+
+const inputDeclaration = resolveModuleExportDeclaration(context, "SubmitInput");
+if (inputDeclaration) {
+  const inputSchemas = generateSchemasFromDeclaration({
+    context,
+    declaration: inputDeclaration,
+  });
+}
+
+const paymentSymbol = resolveModuleExport(context, "submitPayment");
+const paymentDeclaration = paymentSymbol?.declarations?.find(ts.isFunctionDeclaration);
+if (paymentDeclaration) {
+  const outputSchemas = generateSchemasFromReturnType({
+    context,
+    declaration: paymentDeclaration,
+  });
+}
+```
+
+If you already own a `ts.Program`, use `createStaticBuildContextFromProgram(program, filePath)`
+instead of letting FormSpec create one. If your tool has already resolved a raw
+`ts.Type` or signature declaration, use `generateSchemasFromType(...)` or
+`generateSchemasFromReturnType(...)` directly.
+
+This is the supported public path for build-time analysis workflows that used to
+require `@formspec/build/internals`.
+
 ### Supported TSDoc Examples
 
 ```ts

package/dist/analyzer/class-analyzer.d.ts

@@ -57,7 +57,13 @@ export type AnalyzeTypeAliasToIRResult = {
     readonly ok: false;
     readonly error: string;
 };
+export interface DeclarationRootInfo {
+    readonly metadata?: ResolvedMetadata;
+    readonly annotations: readonly AnnotationNode[];
+    readonly diagnostics: readonly ConstraintSemanticDiagnostic[];
+}
 type AnalyzerMetadataPolicy = ReturnType<typeof normalizeMetadataPolicy>;
+export declare function analyzeDeclarationRootInfo(declaration: ts.ClassDeclaration | ts.InterfaceDeclaration | ts.TypeAliasDeclaration, checker: ts.TypeChecker, file?: string, extensionRegistry?: ExtensionRegistry, metadataPolicy?: MetadataPolicyInput): DeclarationRootInfo;
 /**
  * Analyzes a class declaration and produces canonical IR FieldNodes.
  */

package/dist/analyzer/class-analyzer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"class-analyzer.d.ts","sourceRoot":"","sources":["../../src/analyzer/class-analyzer.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAEL,KAAK,4BAA4B,EAElC,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EACV,SAAS,EACT,QAAQ,EAIR,cAAc,EAId,cAAc,EACd,SAAS,EACT,gBAAgB,EAEjB,MAAM,0BAA0B,CAAC;AAQlC,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAGL,uBAAuB,EAExB,MAAM,sBAAsB,CAAC;AAoE9B;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,qEAAqE;IACrE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,6FAA6F;IAC7F,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;KAAE,CAAC;CAC3E;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,gBAAgB;IAChB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,wDAAwD;IACxD,QAAQ,CAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IACrC,iDAAiD;IACjD,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,iEAAiE;IACjE,QAAQ,CAAC,YAAY,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACtD,kDAAkD;IAClD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACtD,wDAAwD;IACxD,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IACjD,iEAAiE;IACjE,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,4BAA4B,EAAE,CAAC;IAC/D,0EAA0E;IAC1E,QAAQ,CAAC,eAAe,EAAE,SAAS,UAAU,EAAE,CAAC;IAChD,qBAAqB;IACrB,QAAQ,CAAC,aAAa,EAAE,SAAS,UAAU,EAAE,CAAC;CAC/C;AAED;;GAEG;AACH,MAAM,MAAM,0BAA0B,GAClC;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAA;CAAE,GACzD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAQnD,KAAK,sBAAsB,GAAG,UAAU,CAAC,OAAO,uBAAuB,CAAC,CAAC;AA0FzE;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,SAAS,EAAE,EAAE,CAAC,gBAAgB,EAC9B,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,IAAI,SAAK,EACT,iBAAiB,CAAC,EAAE,iBAAiB,EACrC,cAAc,CAAC,EAAE,mBAAmB,GACnC,eAAe,CA4EjB;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,aAAa,EAAE,EAAE,CAAC,oBAAoB,EACtC,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,IAAI,SAAK,EACT,iBAAiB,CAAC,EAAE,iBAAiB,EACrC,cAAc,CAAC,EAAE,mBAAmB,GACnC,eAAe,CA+DjB;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,EAAE,CAAC,oBAAoB,EAClC,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,IAAI,SAAK,EACT,iBAAiB,CAAC,EAAE,iBAAiB,EACrC,cAAc,CAAC,EAAE,mBAAmB,GACnC,0BAA0B,CA6E5B;AAy/BD;;GAEG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,EAC5C,QAAQ,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EACtB,UAAU,CAAC,EAAE,EAAE,CAAC,IAAI,EACpB,cAAc,GAAE,sBAA2D,EAC3E,iBAAiB,CAAC,EAAE,iBAAiB,EACrC,WAAW,CAAC,EAAE,4BAA4B,EAAE,GAC3C,QAAQ,CAwGV;AA6hCD;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,wBAAwB;IACxB,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5B,uBAAuB;IACvB,cAAc,EAAE,EAAE,CAAC,QAAQ,GAAG,SAAS,CAAC;IACxC,2BAA2B;IAC3B,UAAU,EAAE,EAAE,CAAC,IAAI,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,qBAAqB;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,2BAA2B;IAC3B,QAAQ,EAAE,EAAE,CAAC,QAAQ,GAAG,SAAS,CAAC;IAClC,oBAAoB;IACpB,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;IACd,0DAA0D;IAC1D,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,iEAAiE;IACjE,QAAQ,EAAE,OAAO,CAAC;CACnB"}
+{"version":3,"file":"class-analyzer.d.ts","sourceRoot":"","sources":["../../src/analyzer/class-analyzer.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAEL,KAAK,4BAA4B,EAElC,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EACV,SAAS,EACT,QAAQ,EAIR,cAAc,EAId,cAAc,EACd,SAAS,EACT,gBAAgB,EAEjB,MAAM,0BAA0B,CAAC;AAQlC,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAGL,uBAAuB,EAExB,MAAM,sBAAsB,CAAC;AAoE9B;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,qEAAqE;IACrE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,6FAA6F;IAC7F,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;KAAE,CAAC;CAC3E;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,gBAAgB;IAChB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,wDAAwD;IACxD,QAAQ,CAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IACrC,iDAAiD;IACjD,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,iEAAiE;IACjE,QAAQ,CAAC,YAAY,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACtD,kDAAkD;IAClD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACtD,wDAAwD;IACxD,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IACjD,iEAAiE;IACjE,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,4BAA4B,EAAE,CAAC;IAC/D,0EAA0E;IAC1E,QAAQ,CAAC,eAAe,EAAE,SAAS,UAAU,EAAE,CAAC;IAChD,qBAAqB;IACrB,QAAQ,CAAC,aAAa,EAAE,SAAS,UAAU,EAAE,CAAC;CAC/C;AAED;;GAEG;AACH,MAAM,MAAM,0BAA0B,GAClC;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAA;CAAE,GACzD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,SAAS,cAAc,EAAE,CAAC;IAChD,QAAQ,CAAC,WAAW,EAAE,SAAS,4BAA4B,EAAE,CAAC;CAC/D;AAQD,KAAK,sBAAsB,GAAG,UAAU,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAoFzE,wBAAgB,0BAA0B,CACxC,WAAW,EAAE,EAAE,CAAC,gBAAgB,GAAG,EAAE,CAAC,oBAAoB,GAAG,EAAE,CAAC,oBAAoB,EACpF,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,IAAI,SAAK,EACT,iBAAiB,CAAC,EAAE,iBAAiB,EACrC,cAAc,CAAC,EAAE,mBAAmB,GACnC,mBAAmB,CAuBrB;AAMD;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,SAAS,EAAE,EAAE,CAAC,gBAAgB,EAC9B,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,IAAI,SAAK,EACT,iBAAiB,CAAC,EAAE,iBAAiB,EACrC,cAAc,CAAC,EAAE,mBAAmB,GACnC,eAAe,CA4EjB;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,aAAa,EAAE,EAAE,CAAC,oBAAoB,EACtC,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,IAAI,SAAK,EACT,iBAAiB,CAAC,EAAE,iBAAiB,EACrC,cAAc,CAAC,EAAE,mBAAmB,GACnC,eAAe,CA+DjB;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,EAAE,CAAC,oBAAoB,EAClC,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,IAAI,SAAK,EACT,iBAAiB,CAAC,EAAE,iBAAiB,EACrC,cAAc,CAAC,EAAE,mBAAmB,GACnC,0BAA0B,CA6E5B;AAq/BD;;GAEG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,EAC5C,QAAQ,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EACtB,UAAU,CAAC,EAAE,EAAE,CAAC,IAAI,EACpB,cAAc,GAAE,sBAA2D,EAC3E,iBAAiB,CAAC,EAAE,iBAAiB,EACrC,WAAW,CAAC,EAAE,4BAA4B,EAAE,GAC3C,QAAQ,CAwGV;AAqjCD;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,wBAAwB;IACxB,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5B,uBAAuB;IACvB,cAAc,EAAE,EAAE,CAAC,QAAQ,GAAG,SAAS,CAAC;IACxC,2BAA2B;IAC3B,UAAU,EAAE,EAAE,CAAC,IAAI,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,qBAAqB;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,2BAA2B;IAC3B,QAAQ,EAAE,EAAE,CAAC,QAAQ,GAAG,SAAS,CAAC;IAClC,oBAAoB;IACpB,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;IACd,0DAA0D;IAC1D,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,iEAAiE;IACjE,QAAQ,EAAE,OAAO,CAAC;CACnB"}

package/dist/build-alpha.d.ts

@@ -219,12 +219,48 @@ export declare interface ControlElement {
  */
 export declare function createExtensionRegistry(extensions: readonly ExtensionDefinition[]): ExtensionRegistry;
 
+/**
+ * Creates a supported static build context for a source file.
+ *
+ * @param filePath - Entry TypeScript source file used for export resolution
+ * @returns Reusable build context containing the program, checker, and source file
+ *
+ * @public
+ */
+export declare function createStaticBuildContext(filePath: string): StaticBuildContext;
+
+/**
+ * Creates a supported static build context from an existing host-owned program.
+ *
+ * @param program - Existing TypeScript program supplied by the caller
+ * @param filePath - Entry TypeScript source file used for export resolution
+ * @returns Reusable build context containing the program, checker, and source file
+ *
+ * @public
+ */
+export declare function createStaticBuildContextFromProgram(program: ts.Program, filePath: string): StaticBuildContext;
+
 export { CustomAnnotationRegistration }
 
 export { CustomConstraintRegistration }
 
 export { CustomTypeRegistration }
 
+/**
+ * Generated schemas for a discovered declaration or signature type.
+ *
+ * `uiSchema` is `null` when the discovered type does not have an object-shaped
+ * root that can be represented as a JSON Forms layout.
+ *
+ * @public
+ */
+export declare interface DiscoveredTypeSchemas {
+    /** JSON Schema 2020-12 for the resolved type. */
+    readonly jsonSchema: JsonSchema2020;
+    /** UI Schema for object-shaped roots, or `null` when not applicable. */
+    readonly uiSchema: UISchema | null;
+}
+
 export { DynamicEnumField }
 
 export { DynamicSchemaField }
@@ -429,6 +465,49 @@ export declare function generateSchemas(options: GenerateSchemasOptions): Genera
  */
 export declare function generateSchemasFromClass(options: GenerateFromClassOptions): GenerateFromClassResult;
 
+/**
+ * Generates schemas from a resolved declaration using the supported public
+ * static-build workflow.
+ *
+ * Named declarations reuse the same analyzer semantics as FormSpec's existing
+ * top-level generation APIs. Non-object type aliases fall back to the generic
+ * resolved-type entry point.
+ *
+ * @public
+ */
+export declare function generateSchemasFromDeclaration(options: GenerateSchemasFromDeclarationOptions): DiscoveredTypeSchemas;
+
+/**
+ * Options for generating schemas from a resolved declaration.
+ *
+ * @public
+ */
+export declare interface GenerateSchemasFromDeclarationOptions extends StaticSchemaGenerationOptions {
+    /** Supported build context used for checker access and related analysis. */
+    readonly context: StaticBuildContext;
+    /** Declaration to turn into schemas. */
+    readonly declaration: SchemaSourceDeclaration;
+}
+
+/**
+ * Generates schemas for a method or function parameter type.
+ *
+ * @public
+ */
+export declare function generateSchemasFromParameter(options: GenerateSchemasFromParameterOptions): DiscoveredTypeSchemas;
+
+/**
+ * Options for generating schemas from a method or function parameter type.
+ *
+ * @public
+ */
+export declare interface GenerateSchemasFromParameterOptions extends StaticSchemaGenerationOptions {
+    /** Supported build context used for checker access and related analysis. */
+    readonly context: StaticBuildContext;
+    /** Parameter declaration whose type should be converted into schemas. */
+    readonly parameter: ts.ParameterDeclaration;
+}
+
 /**
  * Generates JSON Schema and UI Schema from a named type within an existing
  * TypeScript program supplied by the caller.
@@ -457,6 +536,57 @@ export declare interface GenerateSchemasFromProgramOptions extends StaticSchemaG
     readonly typeName: string;
 }
 
+/**
+ * Generates schemas for a method or function return type.
+ *
+ * @public
+ */
+export declare function generateSchemasFromReturnType(options: GenerateSchemasFromReturnTypeOptions): DiscoveredTypeSchemas;
+
+/**
+ * Options for generating schemas from a method or function return type.
+ *
+ * @public
+ */
+export declare interface GenerateSchemasFromReturnTypeOptions extends StaticSchemaGenerationOptions {
+    /** Supported build context used for checker access and related analysis. */
+    readonly context: StaticBuildContext;
+    /** Signature declaration whose return type should be converted into schemas. */
+    readonly declaration: ts.SignatureDeclaration;
+}
+
+/**
+ * Generates schemas from a resolved TypeScript type.
+ *
+ * This is the advanced public entry point for build tooling that already uses
+ * the TypeScript compiler API to discover types before handing them to
+ * FormSpec.
+ *
+ * @public
+ */
+export declare function generateSchemasFromType(options: GenerateSchemasFromTypeOptions): DiscoveredTypeSchemas;
+
+/**
+ * Options for generating schemas from a resolved TypeScript type.
+ *
+ * @public
+ */
+export declare interface GenerateSchemasFromTypeOptions extends StaticSchemaGenerationOptions {
+    /** Supported build context used for checker access and related analysis. */
+    readonly context: StaticBuildContext;
+    /** TypeScript type to turn into schemas. */
+    readonly type: ts.Type;
+    /**
+     * Optional source node associated with the type.
+     *
+     * When provided, FormSpec uses it as the source location for provenance and
+     * inline-type analysis.
+     */
+    readonly sourceNode?: ts.Node | undefined;
+    /** Optional logical name used for anonymous roots. */
+    readonly name?: string | undefined;
+}
+
 /**
  * Options for generating schemas from a named type (class, interface, or type alias).
  *
@@ -776,6 +906,31 @@ export { NumberField }
 
 export { ObjectField }
 
+/**
+ * Resolves an export from the context source file, following aliases and re-exports.
+ *
+ * @param context - Static build context created for the entry source file
+ * @param exportName - Export name to resolve. Defaults to `"default"`.
+ * @returns Resolved symbol for the export, or `null` when it cannot be found
+ *
+ * @public
+ */
+export declare function resolveModuleExport(context: StaticBuildContext, exportName?: string): ts.Symbol | null;
+
+/**
+ * Resolves the declaration behind an export from the context source file,
+ * following aliases and re-exports. This helper is intentionally limited to
+ * declaration kinds accepted by declaration-driven schema generation.
+ *
+ * @param context - Static build context created for the entry source file
+ * @param exportName - Export name to resolve. Defaults to `"default"`.
+ * @returns Resolved class, interface, or type-alias declaration for the export,
+ * or `null` when the export does not resolve to one of those schema-source kinds
+ *
+ * @public
+ */
+export declare function resolveModuleExportDeclaration(context: StaticBuildContext, exportName?: string): ts.ClassDeclaration | ts.InterfaceDeclaration | ts.TypeAliasDeclaration | null;
+
 /**
  * Rule for conditional element visibility/enablement.
  *
@@ -847,6 +1002,31 @@ export declare interface SchemaBasedCondition {
     readonly schema: RuleConditionSchema;
 }
 
+/**
+ * Supported declaration kinds for declaration-driven schema generation.
+ *
+ * @public
+ */
+export declare type SchemaSourceDeclaration = ts.ClassDeclaration | ts.InterfaceDeclaration | ts.TypeAliasDeclaration;
+
+/**
+ * Supported compiler context for static build-time analysis workflows.
+ *
+ * This context gives consumers access to the TypeScript program, checker, and
+ * source file used to discover declarations before invoking FormSpec schema
+ * generation helpers.
+ *
+ * @public
+ */
+export declare interface StaticBuildContext {
+    /** Host-owned or FormSpec-created TypeScript program. */
+    readonly program: ts.Program;
+    /** TypeScript checker for symbol and type analysis. */
+    readonly checker: ts.TypeChecker;
+    /** Source file used as the entry module for export resolution. */
+    readonly sourceFile: ts.SourceFile;
+}
+
 export { StaticEnumField }
 
 /**

package/dist/build-beta.d.ts

@@ -219,12 +219,48 @@ export declare interface ControlElement {
  */
 export declare function createExtensionRegistry(extensions: readonly ExtensionDefinition[]): ExtensionRegistry;
 
+/**
+ * Creates a supported static build context for a source file.
+ *
+ * @param filePath - Entry TypeScript source file used for export resolution
+ * @returns Reusable build context containing the program, checker, and source file
+ *
+ * @public
+ */
+export declare function createStaticBuildContext(filePath: string): StaticBuildContext;
+
+/**
+ * Creates a supported static build context from an existing host-owned program.
+ *
+ * @param program - Existing TypeScript program supplied by the caller
+ * @param filePath - Entry TypeScript source file used for export resolution
+ * @returns Reusable build context containing the program, checker, and source file
+ *
+ * @public
+ */
+export declare function createStaticBuildContextFromProgram(program: ts.Program, filePath: string): StaticBuildContext;
+
 export { CustomAnnotationRegistration }
 
 export { CustomConstraintRegistration }
 
 export { CustomTypeRegistration }
 
+/**
+ * Generated schemas for a discovered declaration or signature type.
+ *
+ * `uiSchema` is `null` when the discovered type does not have an object-shaped
+ * root that can be represented as a JSON Forms layout.
+ *
+ * @public
+ */
+export declare interface DiscoveredTypeSchemas {
+    /** JSON Schema 2020-12 for the resolved type. */
+    readonly jsonSchema: JsonSchema2020;
+    /** UI Schema for object-shaped roots, or `null` when not applicable. */
+    readonly uiSchema: UISchema | null;
+}
+
 export { DynamicEnumField }
 
 export { DynamicSchemaField }
@@ -429,6 +465,49 @@ export declare function generateSchemas(options: GenerateSchemasOptions): Genera
  */
 export declare function generateSchemasFromClass(options: GenerateFromClassOptions): GenerateFromClassResult;
 
+/**
+ * Generates schemas from a resolved declaration using the supported public
+ * static-build workflow.
+ *
+ * Named declarations reuse the same analyzer semantics as FormSpec's existing
+ * top-level generation APIs. Non-object type aliases fall back to the generic
+ * resolved-type entry point.
+ *
+ * @public
+ */
+export declare function generateSchemasFromDeclaration(options: GenerateSchemasFromDeclarationOptions): DiscoveredTypeSchemas;
+
+/**
+ * Options for generating schemas from a resolved declaration.
+ *
+ * @public
+ */
+export declare interface GenerateSchemasFromDeclarationOptions extends StaticSchemaGenerationOptions {
+    /** Supported build context used for checker access and related analysis. */
+    readonly context: StaticBuildContext;
+    /** Declaration to turn into schemas. */
+    readonly declaration: SchemaSourceDeclaration;
+}
+
+/**
+ * Generates schemas for a method or function parameter type.
+ *
+ * @public
+ */
+export declare function generateSchemasFromParameter(options: GenerateSchemasFromParameterOptions): DiscoveredTypeSchemas;
+
+/**
+ * Options for generating schemas from a method or function parameter type.
+ *
+ * @public
+ */
+export declare interface GenerateSchemasFromParameterOptions extends StaticSchemaGenerationOptions {
+    /** Supported build context used for checker access and related analysis. */
+    readonly context: StaticBuildContext;
+    /** Parameter declaration whose type should be converted into schemas. */
+    readonly parameter: ts.ParameterDeclaration;
+}
+
 /**
  * Generates JSON Schema and UI Schema from a named type within an existing
  * TypeScript program supplied by the caller.
@@ -457,6 +536,57 @@ export declare interface GenerateSchemasFromProgramOptions extends StaticSchemaG
     readonly typeName: string;
 }
 
+/**
+ * Generates schemas for a method or function return type.
+ *
+ * @public
+ */
+export declare function generateSchemasFromReturnType(options: GenerateSchemasFromReturnTypeOptions): DiscoveredTypeSchemas;
+
+/**
+ * Options for generating schemas from a method or function return type.
+ *
+ * @public
+ */
+export declare interface GenerateSchemasFromReturnTypeOptions extends StaticSchemaGenerationOptions {
+    /** Supported build context used for checker access and related analysis. */
+    readonly context: StaticBuildContext;
+    /** Signature declaration whose return type should be converted into schemas. */
+    readonly declaration: ts.SignatureDeclaration;
+}
+
+/**
+ * Generates schemas from a resolved TypeScript type.
+ *
+ * This is the advanced public entry point for build tooling that already uses
+ * the TypeScript compiler API to discover types before handing them to
+ * FormSpec.
+ *
+ * @public
+ */
+export declare function generateSchemasFromType(options: GenerateSchemasFromTypeOptions): DiscoveredTypeSchemas;
+
+/**
+ * Options for generating schemas from a resolved TypeScript type.
+ *
+ * @public
+ */
+export declare interface GenerateSchemasFromTypeOptions extends StaticSchemaGenerationOptions {
+    /** Supported build context used for checker access and related analysis. */
+    readonly context: StaticBuildContext;
+    /** TypeScript type to turn into schemas. */
+    readonly type: ts.Type;
+    /**
+     * Optional source node associated with the type.
+     *
+     * When provided, FormSpec uses it as the source location for provenance and
+     * inline-type analysis.
+     */
+    readonly sourceNode?: ts.Node | undefined;
+    /** Optional logical name used for anonymous roots. */
+    readonly name?: string | undefined;
+}
+
 /**
  * Options for generating schemas from a named type (class, interface, or type alias).
  *
@@ -776,6 +906,31 @@ export { NumberField }
 
 export { ObjectField }
 
+/**
+ * Resolves an export from the context source file, following aliases and re-exports.
+ *
+ * @param context - Static build context created for the entry source file
+ * @param exportName - Export name to resolve. Defaults to `"default"`.
+ * @returns Resolved symbol for the export, or `null` when it cannot be found
+ *
+ * @public
+ */
+export declare function resolveModuleExport(context: StaticBuildContext, exportName?: string): ts.Symbol | null;
+
+/**
+ * Resolves the declaration behind an export from the context source file,
+ * following aliases and re-exports. This helper is intentionally limited to
+ * declaration kinds accepted by declaration-driven schema generation.
+ *
+ * @param context - Static build context created for the entry source file
+ * @param exportName - Export name to resolve. Defaults to `"default"`.
+ * @returns Resolved class, interface, or type-alias declaration for the export,
+ * or `null` when the export does not resolve to one of those schema-source kinds
+ *
+ * @public
+ */
+export declare function resolveModuleExportDeclaration(context: StaticBuildContext, exportName?: string): ts.ClassDeclaration | ts.InterfaceDeclaration | ts.TypeAliasDeclaration | null;
+
 /**
  * Rule for conditional element visibility/enablement.
  *
@@ -847,6 +1002,31 @@ export declare interface SchemaBasedCondition {
     readonly schema: RuleConditionSchema;
 }
 
+/**
+ * Supported declaration kinds for declaration-driven schema generation.
+ *
+ * @public
+ */
+export declare type SchemaSourceDeclaration = ts.ClassDeclaration | ts.InterfaceDeclaration | ts.TypeAliasDeclaration;
+
+/**
+ * Supported compiler context for static build-time analysis workflows.
+ *
+ * This context gives consumers access to the TypeScript program, checker, and
+ * source file used to discover declarations before invoking FormSpec schema
+ * generation helpers.
+ *
+ * @public
+ */
+export declare interface StaticBuildContext {
+    /** Host-owned or FormSpec-created TypeScript program. */
+    readonly program: ts.Program;
+    /** TypeScript checker for symbol and type analysis. */
+    readonly checker: ts.TypeChecker;
+    /** Source file used as the entry module for export resolution. */
+    readonly sourceFile: ts.SourceFile;
+}
+
 export { StaticEnumField }
 
 /**