@stripe/extensibility-jsonschema-tools 0.6.3

package/dist/extensibility-jsonschema-tools-alpha.d.ts

@@ -0,0 +1,2598 @@
+import { ExtendedJSONSchema7 } from '@formspec/build/browser';
+import { getSchemaExtension } from '@formspec/build/browser';
+import { jsonSchema7Schema } from '@formspec/build/browser';
+import { setSchemaExtension } from '@formspec/build/browser';
+import * as ts from 'typescript';
+import { uiSchemaSchema } from '@formspec/build/browser';
+
+/**
+ * Registration for mapping a built-in TSDoc tag onto a custom constraint when
+ * it is used on a particular custom type.
+ *
+ * @public
+ */
+export declare interface BuiltinConstraintBroadeningRegistration {
+    /** The built-in tag being broadened, without the `@` prefix. */
+    readonly tagName: BuiltinConstraintName;
+    /** The custom constraint to emit for this built-in tag. */
+    readonly constraintName: string;
+    /** Parser from raw TSDoc text to extension payload. */
+    readonly parseValue: (raw: string) => ExtensionPayloadValue;
+}
+
+/**
+ * Registration for mapping a built-in TSDoc tag onto a custom constraint when
+ * it is used on a particular custom type.
+ *
+ * @public
+ */
+declare interface BuiltinConstraintBroadeningRegistration_2 {
+    /** The built-in tag being broadened, without the `@` prefix. */
+    readonly tagName: BuiltinConstraintName$1;
+    /** The custom constraint to emit for this built-in tag. */
+    readonly constraintName: string;
+    /** Parser from raw TSDoc text to extension payload. */
+    readonly parseValue: (raw: string) => ExtensionPayloadValue$1;
+}
+
+/**
+ * Registration for mapping a built-in TSDoc tag onto a custom constraint when
+ * it is used on a particular custom type.
+ *
+ * @public
+ */
+declare interface BuiltinConstraintBroadeningRegistration_3 {
+    /** The built-in tag being broadened, without the `@` prefix. */
+    readonly tagName: BuiltinConstraintName_2;
+    /** The custom constraint to emit for this built-in tag. */
+    readonly constraintName: string;
+    /** Parser from raw TSDoc text to extension payload. */
+    readonly parseValue: (raw: string) => ExtensionPayloadValue_2;
+}
+
+/**
+ * Type of a built-in constraint name.
+ *
+ * @public
+ */
+declare type BuiltinConstraintName$1 = "const" | "enumOptions" | "exclusiveMaximum" | "exclusiveMinimum" | "maximum" | "maxItems" | "maxLength" | "minimum" | "minItems" | "minLength" | "multipleOf" | "pattern" | "uniqueItems";
+
+/**
+ * Type of a built-in constraint name.
+ *
+ * @public
+ */
+export declare type BuiltinConstraintName = "const" | "enumOptions" | "exclusiveMaximum" | "exclusiveMinimum" | "maximum" | "maxItems" | "maxLength" | "minimum" | "minItems" | "minLength" | "multipleOf" | "pattern" | "uniqueItems";
+
+/**
+ * Type of a built-in constraint name.
+ *
+ * @public
+ */
+declare type BuiltinConstraintName_2 = "const" | "enumOptions" | "exclusiveMaximum" | "exclusiveMinimum" | "maximum" | "maxItems" | "maxLength" | "minimum" | "minItems" | "minLength" | "multipleOf" | "pattern" | "uniqueItems";
+
+/**
+ * A Categorization element (tab-based layout).
+ *
+ * @public
+ */
+export declare interface Categorization {
+    /** Discriminator identifying a categorization layout. */
+    readonly type: "Categorization";
+    /** Categories rendered as tabs or steps. */
+    readonly elements: Category[];
+    /** Optional label for the overall categorization container. */
+    readonly label?: string | undefined;
+    /** Optional rule controlling visibility or enablement. */
+    readonly rule?: Rule | undefined;
+    /** Renderer-specific categorization options. */
+    readonly options?: Record<string, unknown> | undefined;
+    /** Additional renderer-specific extension properties. */
+    readonly [k: string]: unknown;
+}
+
+/**
+ * A Category element, used inside a Categorization layout.
+ *
+ * @public
+ */
+export declare interface Category {
+    /** Discriminator identifying a category inside a categorization layout. */
+    readonly type: "Category";
+    /** Category label shown in tabs or step navigation. */
+    readonly label: string;
+    /** Child elements rendered inside the category. */
+    readonly elements: UISchemaElement[];
+    /** Optional rule controlling visibility or enablement. */
+    readonly rule?: Rule | undefined;
+    /** Renderer-specific category options. */
+    readonly options?: Record<string, unknown> | undefined;
+    /** Additional renderer-specific extension properties. */
+    readonly [k: string]: unknown;
+}
+
+/* Excluded from this release type: _ConfigSchemaResult */
+
+/* Excluded from this release type: _ConfigTypeRef */
+
+/* Excluded from this release type: _ConfigUiSchema */
+
+/**
+ * Complete constraint configuration for a FormSpec project.
+ *
+ * @public
+ */
+declare interface ConstraintConfig {
+    /** Field type constraints */
+    fieldTypes?: FieldTypeConstraints;
+    /** Layout and structure constraints */
+    layout?: LayoutConstraints;
+    /** UI Schema feature constraints */
+    uiSchema?: UISchemaConstraints;
+    /** Field configuration option constraints */
+    fieldOptions?: FieldOptionConstraints;
+    /** Control options constraints */
+    controlOptions?: ControlOptionConstraints;
+}
+
+/**
+ * Semantic metadata for ordered custom constraints that should participate in
+ * the generic contradiction/broadening logic.
+ *
+ * @public
+ */
+declare interface ConstraintSemanticRole$1 {
+    /**
+     * Logical family identifier shared by related constraints, for example
+     * `"decimal-bound"` or `"date-bound"`.
+     */
+    readonly family: string;
+    /** Whether this constraint acts as a lower or upper bound. */
+    readonly bound: "exact" | "lower" | "upper";
+    /** Whether equality is allowed when comparing against the bound. */
+    readonly inclusive: boolean;
+}
+
+/**
+ * Semantic metadata for ordered custom constraints that should participate in
+ * the generic contradiction/broadening logic.
+ *
+ * @public
+ */
+export declare interface ConstraintSemanticRole {
+    /**
+     * Logical family identifier shared by related constraints, for example
+     * `"decimal-bound"` or `"date-bound"`.
+     */
+    readonly family: string;
+    /** Whether this constraint acts as a lower or upper bound. */
+    readonly bound: "exact" | "lower" | "upper";
+    /** Whether equality is allowed when comparing against the bound. */
+    readonly inclusive: boolean;
+}
+
+/**
+ * Semantic metadata for ordered custom constraints that should participate in
+ * the generic contradiction/broadening logic.
+ *
+ * @public
+ */
+declare interface ConstraintSemanticRole_2 {
+    /**
+     * Logical family identifier shared by related constraints, for example
+     * `"decimal-bound"` or `"date-bound"`.
+     */
+    readonly family: string;
+    /** Whether this constraint acts as a lower or upper bound. */
+    readonly bound: "exact" | "lower" | "upper";
+    /** Whether equality is allowed when comparing against the bound. */
+    readonly inclusive: boolean;
+}
+
+/**
+ * Declarative authoring-side registration for a custom TSDoc constraint tag.
+ *
+ * @public
+ */
+export declare interface ConstraintTagRegistration {
+    /** Tag name without the `@` prefix, e.g. `"maxSigFig"`. */
+    readonly tagName: string;
+    /** The custom constraint that this tag should produce. */
+    readonly constraintName: string;
+    /** Parser from raw TSDoc text to JSON-serializable payload. */
+    readonly parseValue: (raw: string) => ExtensionPayloadValue;
+    /**
+     * Optional precise applicability predicate for the field type being parsed.
+     * When omitted, the target custom constraint registration controls type
+     * applicability during validation.
+     */
+    readonly isApplicableToType?: (type: ExtensionApplicableType) => boolean;
+}
+
+/**
+ * Declarative authoring-side registration for a custom TSDoc constraint tag.
+ *
+ * @public
+ */
+declare interface ConstraintTagRegistration_2 {
+    /** Tag name without the `@` prefix, e.g. `"maxSigFig"`. */
+    readonly tagName: string;
+    /** The custom constraint that this tag should produce. */
+    readonly constraintName: string;
+    /** Parser from raw TSDoc text to JSON-serializable payload. */
+    readonly parseValue: (raw: string) => ExtensionPayloadValue$1;
+    /**
+     * Optional precise applicability predicate for the field type being parsed.
+     * When omitted, the target custom constraint registration controls type
+     * applicability during validation.
+     */
+    readonly isApplicableToType?: (type: ExtensionApplicableType$1) => boolean;
+}
+
+/**
+ * Declarative authoring-side registration for a custom TSDoc constraint tag.
+ *
+ * @public
+ */
+declare interface ConstraintTagRegistration_3 {
+    /** Tag name without the `@` prefix, e.g. `"maxSigFig"`. */
+    readonly tagName: string;
+    /** The custom constraint that this tag should produce. */
+    readonly constraintName: string;
+    /** Parser from raw TSDoc text to JSON-serializable payload. */
+    readonly parseValue: (raw: string) => ExtensionPayloadValue_2;
+    /**
+     * Optional precise applicability predicate for the field type being parsed.
+     * When omitted, the target custom constraint registration controls type
+     * applicability during validation.
+     */
+    readonly isApplicableToType?: (type: ExtensionApplicableType_2) => boolean;
+}
+
+/**
+ * A Control element that binds to a JSON Schema property.
+ *
+ * @public
+ */
+export declare interface ControlElement {
+    /** Discriminator identifying a JSON Forms control element. */
+    readonly type: "Control";
+    /** JSON Pointer scope that this control binds to. */
+    readonly scope: string;
+    /** Optional label override, or `false` to suppress the label. */
+    readonly label?: false | string | undefined;
+    /** Optional rule controlling visibility or enablement. */
+    readonly rule?: Rule | undefined;
+    /** Renderer-specific control options. */
+    readonly options?: Record<string, unknown> | undefined;
+    /** Additional renderer-specific extension properties. */
+    readonly [k: string]: unknown;
+}
+
+/**
+ * Control options constraints - control which JSONForms Control.options are allowed.
+ * These are renderer-specific options that may not be universally supported.
+ *
+ * @public
+ */
+declare interface ControlOptionConstraints {
+    /** format - renderer format hint (e.g., "radio", "textarea") */
+    format?: Severity;
+    /** readonly - read-only mode */
+    readonly?: Severity;
+    /** multi - multi-select for enums */
+    multi?: Severity;
+    /** showUnfocusedDescription - show description when unfocused */
+    showUnfocusedDescription?: Severity;
+    /** hideRequiredAsterisk - hide required indicator */
+    hideRequiredAsterisk?: Severity;
+    /** Custom control options (extensible dictionary) */
+    custom?: Record<string, Severity>;
+}
+
+/**
+ * Registration for a custom annotation that may produce JSON Schema keywords.
+ *
+ * Custom annotations are referenced by FormSpec's internal custom-annotation nodes.
+ * They describe or present a field but do not affect which values are valid.
+ *
+ * @public
+ */
+export declare interface CustomAnnotationRegistration {
+    /** The annotation name, unique within the extension. */
+    readonly annotationName: string;
+    /**
+     * Optionally converts the annotation value into JSON Schema keywords.
+     * If omitted, the annotation has no JSON Schema representation (UI-only).
+     */
+    readonly toJsonSchema?: (value: ExtensionPayloadValue, vendorPrefix: string) => Record<string, unknown>;
+}
+
+/**
+ * Registration for a custom annotation that may produce JSON Schema keywords.
+ *
+ * Custom annotations are referenced by FormSpec's internal custom-annotation nodes.
+ * They describe or present a field but do not affect which values are valid.
+ *
+ * @public
+ */
+declare interface CustomAnnotationRegistration_2 {
+    /** The annotation name, unique within the extension. */
+    readonly annotationName: string;
+    /**
+     * Optionally converts the annotation value into JSON Schema keywords.
+     * If omitted, the annotation has no JSON Schema representation (UI-only).
+     */
+    readonly toJsonSchema?: (value: ExtensionPayloadValue$1, vendorPrefix: string) => Record<string, unknown>;
+}
+
+/**
+ * Registration for a custom annotation that may produce JSON Schema keywords.
+ *
+ * Custom annotations are referenced by FormSpec's internal custom-annotation nodes.
+ * They describe or present a field but do not affect which values are valid.
+ *
+ * @public
+ */
+declare interface CustomAnnotationRegistration_3 {
+    /** The annotation name, unique within the extension. */
+    readonly annotationName: string;
+    /**
+     * Optionally converts the annotation value into JSON Schema keywords.
+     * If omitted, the annotation has no JSON Schema representation (UI-only).
+     */
+    readonly toJsonSchema?: (value: ExtensionPayloadValue_2, vendorPrefix: string) => Record<string, unknown>;
+}
+
+/**
+ * Registration for a custom constraint that maps to JSON Schema keywords.
+ *
+ * Custom constraints are referenced by FormSpec's internal custom-constraint nodes.
+ *
+ * @public
+ */
+export declare interface CustomConstraintRegistration {
+    /** The constraint name, unique within the extension. */
+    readonly constraintName: string;
+    /**
+     * How this constraint composes with other constraints of the same kind.
+     * - "intersect": combine with logical AND (both must hold)
+     * - "override": last writer wins
+     */
+    readonly compositionRule: "intersect" | "override";
+    /**
+     * TypeNode kinds this constraint is applicable to, or `null` for any type.
+     * Used by the validator to emit TYPE_MISMATCH diagnostics.
+     */
+    readonly applicableTypes: null | readonly ExtensionApplicableType["kind"][];
+    /**
+     * Optional precise type predicate used when kind-level applicability is too
+     * broad (for example, constraints that apply to integer-like primitives but
+     * not strings).
+     */
+    readonly isApplicableToType?: (type: ExtensionApplicableType) => boolean;
+    /**
+     * Optional comparator for payloads belonging to the same custom constraint.
+     * Return values follow the `Array.prototype.sort()` contract.
+     */
+    readonly comparePayloads?: (left: ExtensionPayloadValue, right: ExtensionPayloadValue) => number;
+    /**
+     * Optional semantic family metadata for generic contradiction/broadening
+     * handling across ordered constraints.
+     */
+    readonly semanticRole?: ConstraintSemanticRole;
+    /**
+     * Converts the custom constraint's payload into JSON Schema keywords.
+     *
+     * @param payload - The opaque JSON payload stored on the custom constraint node.
+     * @param vendorPrefix - The vendor prefix for extension keywords.
+     * @returns A JSON Schema fragment with the constraint keywords.
+     */
+    readonly toJsonSchema: (payload: ExtensionPayloadValue, vendorPrefix: string) => Record<string, unknown>;
+    /**
+     * When true, `toJsonSchema` may emit vocabulary keywords that do not carry
+     * the vendor prefix. By default, all keys returned from `toJsonSchema` must
+     * start with `${vendorPrefix}-`; setting this flag relaxes that check so
+     * the constraint can produce standard or custom vocabulary keywords such as
+     * `decimalMinimum`.
+     *
+     * Use this for constraints that define their own JSON Schema vocabulary
+     * rather than namespacing under the vendor prefix.
+     */
+    readonly emitsVocabularyKeywords?: boolean;
+}
+
+/**
+ * Registration for a custom constraint that maps to JSON Schema keywords.
+ *
+ * Custom constraints are referenced by FormSpec's internal custom-constraint nodes.
+ *
+ * @public
+ */
+declare interface CustomConstraintRegistration_2 {
+    /** The constraint name, unique within the extension. */
+    readonly constraintName: string;
+    /**
+     * How this constraint composes with other constraints of the same kind.
+     * - "intersect": combine with logical AND (both must hold)
+     * - "override": last writer wins
+     */
+    readonly compositionRule: "intersect" | "override";
+    /**
+     * TypeNode kinds this constraint is applicable to, or `null` for any type.
+     * Used by the validator to emit TYPE_MISMATCH diagnostics.
+     */
+    readonly applicableTypes: null | readonly ExtensionApplicableType$1["kind"][];
+    /**
+     * Optional precise type predicate used when kind-level applicability is too
+     * broad (for example, constraints that apply to integer-like primitives but
+     * not strings).
+     */
+    readonly isApplicableToType?: (type: ExtensionApplicableType$1) => boolean;
+    /**
+     * Optional comparator for payloads belonging to the same custom constraint.
+     * Return values follow the `Array.prototype.sort()` contract.
+     */
+    readonly comparePayloads?: (left: ExtensionPayloadValue$1, right: ExtensionPayloadValue$1) => number;
+    /**
+     * Optional semantic family metadata for generic contradiction/broadening
+     * handling across ordered constraints.
+     */
+    readonly semanticRole?: ConstraintSemanticRole$1;
+    /**
+     * Converts the custom constraint's payload into JSON Schema keywords.
+     *
+     * @param payload - The opaque JSON payload stored on the custom constraint node.
+     * @param vendorPrefix - The vendor prefix for extension keywords.
+     * @returns A JSON Schema fragment with the constraint keywords.
+     */
+    readonly toJsonSchema: (payload: ExtensionPayloadValue$1, vendorPrefix: string) => Record<string, unknown>;
+    /**
+     * When true, `toJsonSchema` may emit vocabulary keywords that do not carry
+     * the vendor prefix. By default, all keys returned from `toJsonSchema` must
+     * start with `${vendorPrefix}-`; setting this flag relaxes that check so
+     * the constraint can produce standard or custom vocabulary keywords such as
+     * `decimalMinimum`.
+     *
+     * Use this for constraints that define their own JSON Schema vocabulary
+     * rather than namespacing under the vendor prefix.
+     */
+    readonly emitsVocabularyKeywords?: boolean;
+}
+
+/**
+ * Registration for a custom constraint that maps to JSON Schema keywords.
+ *
+ * Custom constraints are referenced by FormSpec's internal custom-constraint nodes.
+ *
+ * @public
+ */
+declare interface CustomConstraintRegistration_3 {
+    /** The constraint name, unique within the extension. */
+    readonly constraintName: string;
+    /**
+     * How this constraint composes with other constraints of the same kind.
+     * - "intersect": combine with logical AND (both must hold)
+     * - "override": last writer wins
+     */
+    readonly compositionRule: "intersect" | "override";
+    /**
+     * TypeNode kinds this constraint is applicable to, or `null` for any type.
+     * Used by the validator to emit TYPE_MISMATCH diagnostics.
+     */
+    readonly applicableTypes: null | readonly ExtensionApplicableType_2["kind"][];
+    /**
+     * Optional precise type predicate used when kind-level applicability is too
+     * broad (for example, constraints that apply to integer-like primitives but
+     * not strings).
+     */
+    readonly isApplicableToType?: (type: ExtensionApplicableType_2) => boolean;
+    /**
+     * Optional comparator for payloads belonging to the same custom constraint.
+     * Return values follow the `Array.prototype.sort()` contract.
+     */
+    readonly comparePayloads?: (left: ExtensionPayloadValue_2, right: ExtensionPayloadValue_2) => number;
+    /**
+     * Optional semantic family metadata for generic contradiction/broadening
+     * handling across ordered constraints.
+     */
+    readonly semanticRole?: ConstraintSemanticRole_2;
+    /**
+     * Converts the custom constraint's payload into JSON Schema keywords.
+     *
+     * @param payload - The opaque JSON payload stored on the custom constraint node.
+     * @param vendorPrefix - The vendor prefix for extension keywords.
+     * @returns A JSON Schema fragment with the constraint keywords.
+     */
+    readonly toJsonSchema: (payload: ExtensionPayloadValue_2, vendorPrefix: string) => Record<string, unknown>;
+    /**
+     * When true, `toJsonSchema` may emit vocabulary keywords that do not carry
+     * the vendor prefix. By default, all keys returned from `toJsonSchema` must
+     * start with `${vendorPrefix}-`; setting this flag relaxes that check so
+     * the constraint can produce standard or custom vocabulary keywords such as
+     * `decimalMinimum`.
+     *
+     * Use this for constraints that define their own JSON Schema vocabulary
+     * rather than namespacing under the vendor prefix.
+     */
+    readonly emitsVocabularyKeywords?: boolean;
+}
+
+/**
+ * Registration for a custom type that maps to a JSON Schema representation.
+ *
+ * Custom types are referenced by FormSpec's internal custom-type IR nodes and
+ * resolved to JSON Schema via `toJsonSchema` during generation.
+ *
+ * @public
+ */
+export declare interface CustomTypeRegistration {
+    /** The type name, unique within the extension. */
+    readonly typeName: string;
+    /**
+     * Optional TypeScript surface names that should resolve to this custom type
+     * during TSDoc/class analysis. Defaults to `typeName` when omitted.
+     * @deprecated Prefer `brand` for structural detection or type parameters
+     * on `defineCustomType<T>()` for symbol-based detection. String name
+     * matching will be removed in a future major version.
+     */
+    readonly tsTypeNames?: readonly string[];
+    /**
+     * Optional brand identifier for structural type detection.
+     *
+     * When provided, the type resolver checks `type.getProperties()` for a
+     * computed property whose name matches this identifier. This is more
+     * reliable than `tsTypeNames` for aliased branded types because it does not
+     * depend on the local type name.
+     *
+     * Brand detection is attempted after name-based resolution (`tsTypeNames`)
+     * as a structural fallback. If both match, name-based resolution wins.
+     *
+     * The value should match the identifier text of a `unique symbol` declaration
+     * used as a computed property key on the branded type. For example, if the
+     * type is `string & { readonly [__decimalBrand]: true }`, the brand is
+     * `"__decimalBrand"`.
+     *
+     * Brand identifiers are stored as plain strings in the extension registry, so
+     * they must be unique across the extensions loaded into the same build.
+     *
+     * Note: `"__integerBrand"` is reserved for the builtin Integer type.
+     */
+    readonly brand?: string;
+    /**
+     * Converts the custom type's payload into a JSON Schema fragment.
+     *
+     * @param payload - The opaque JSON payload stored on the custom type node.
+     * @param vendorPrefix - The vendor prefix for extension keywords (e.g., "x-stripe").
+     * @returns A JSON Schema fragment representing this type.
+     */
+    readonly toJsonSchema: (payload: ExtensionPayloadValue, vendorPrefix: string) => Record<string, unknown>;
+    /* Excluded from this release type: serializeDefault */
+    /**
+     * Optional broadening of built-in constraint tags so they can apply to this
+     * custom type without modifying the core built-in constraint tables.
+     */
+    readonly builtinConstraintBroadenings?: readonly BuiltinConstraintBroadeningRegistration[];
+}
+
+/**
+ * Registration for a custom type that maps to a JSON Schema representation.
+ *
+ * Custom types are referenced by FormSpec's internal custom-type IR nodes and
+ * resolved to JSON Schema via `toJsonSchema` during generation.
+ *
+ * @public
+ */
+declare interface CustomTypeRegistration_2 {
+    /** The type name, unique within the extension. */
+    readonly typeName: string;
+    /**
+     * Optional TypeScript surface names that should resolve to this custom type
+     * during TSDoc/class analysis. Defaults to `typeName` when omitted.
+     * @deprecated Prefer `brand` for structural detection or type parameters
+     * on `defineCustomType<T>()` for symbol-based detection. String name
+     * matching will be removed in a future major version.
+     */
+    readonly tsTypeNames?: readonly string[];
+    /**
+     * Optional brand identifier for structural type detection.
+     *
+     * When provided, the type resolver checks `type.getProperties()` for a
+     * computed property whose name matches this identifier. This is more
+     * reliable than `tsTypeNames` for aliased branded types because it does not
+     * depend on the local type name.
+     *
+     * Brand detection is attempted after name-based resolution (`tsTypeNames`)
+     * as a structural fallback. If both match, name-based resolution wins.
+     *
+     * The value should match the identifier text of a `unique symbol` declaration
+     * used as a computed property key on the branded type. For example, if the
+     * type is `string & { readonly [__decimalBrand]: true }`, the brand is
+     * `"__decimalBrand"`.
+     *
+     * Brand identifiers are stored as plain strings in the extension registry, so
+     * they must be unique across the extensions loaded into the same build.
+     *
+     * Note: `"__integerBrand"` is reserved for the builtin Integer type.
+     */
+    readonly brand?: string;
+    /**
+     * Converts the custom type's payload into a JSON Schema fragment.
+     *
+     * @param payload - The opaque JSON payload stored on the custom type node.
+     * @param vendorPrefix - The vendor prefix for extension keywords (e.g., "x-stripe").
+     * @returns A JSON Schema fragment representing this type.
+     */
+    readonly toJsonSchema: (payload: ExtensionPayloadValue$1, vendorPrefix: string) => Record<string, unknown>;
+    /* Excluded from this release type: serializeDefault */
+    /**
+     * Optional broadening of built-in constraint tags so they can apply to this
+     * custom type without modifying the core built-in constraint tables.
+     */
+    readonly builtinConstraintBroadenings?: readonly BuiltinConstraintBroadeningRegistration_2[];
+}
+
+/**
+ * Registration for a custom type that maps to a JSON Schema representation.
+ *
+ * Custom types are referenced by FormSpec's internal custom-type IR nodes and
+ * resolved to JSON Schema via `toJsonSchema` during generation.
+ *
+ * @public
+ */
+declare interface CustomTypeRegistration_3 {
+    /** The type name, unique within the extension. */
+    readonly typeName: string;
+    /**
+     * Optional TypeScript surface names that should resolve to this custom type
+     * during TSDoc/class analysis. Defaults to `typeName` when omitted.
+     * @deprecated Prefer `brand` for structural detection or type parameters
+     * on `defineCustomType<T>()` for symbol-based detection. String name
+     * matching will be removed in a future major version.
+     */
+    readonly tsTypeNames?: readonly string[];
+    /**
+     * Optional brand identifier for structural type detection.
+     *
+     * When provided, the type resolver checks `type.getProperties()` for a
+     * computed property whose name matches this identifier. This is more
+     * reliable than `tsTypeNames` for aliased branded types because it does not
+     * depend on the local type name.
+     *
+     * Brand detection is attempted after name-based resolution (`tsTypeNames`)
+     * as a structural fallback. If both match, name-based resolution wins.
+     *
+     * The value should match the identifier text of a `unique symbol` declaration
+     * used as a computed property key on the branded type. For example, if the
+     * type is `string & { readonly [__decimalBrand]: true }`, the brand is
+     * `"__decimalBrand"`.
+     *
+     * Brand identifiers are stored as plain strings in the extension registry, so
+     * they must be unique across the extensions loaded into the same build.
+     *
+     * Note: `"__integerBrand"` is reserved for the builtin Integer type.
+     */
+    readonly brand?: string;
+    /**
+     * Converts the custom type's payload into a JSON Schema fragment.
+     *
+     * @param payload - The opaque JSON payload stored on the custom type node.
+     * @param vendorPrefix - The vendor prefix for extension keywords (e.g., "x-stripe").
+     * @returns A JSON Schema fragment representing this type.
+     */
+    readonly toJsonSchema: (payload: ExtensionPayloadValue_2, vendorPrefix: string) => Record<string, unknown>;
+    /* Excluded from this release type: serializeDefault */
+    /**
+     * Optional broadening of built-in constraint tags so they can apply to this
+     * custom type without modifying the core built-in constraint tables.
+     */
+    readonly builtinConstraintBroadenings?: readonly BuiltinConstraintBroadeningRegistration_3[];
+}
+
+/**
+ * Per-declaration metadata policy input.
+ *
+ * @public
+ */
+declare interface DeclarationMetadataPolicyInput$1 {
+    /** Policy for JSON-facing serialized names. */
+    readonly apiName?: MetadataValuePolicyInput$1 | undefined;
+    /** Policy for human-facing labels and titles. */
+    readonly displayName?: MetadataValuePolicyInput$1 | undefined;
+}
+
+/**
+ * Per-declaration metadata policy input.
+ *
+ * @public
+ */
+declare interface DeclarationMetadataPolicyInput$2 {
+    /** Policy for JSON-facing serialized names. */
+    readonly apiName?: MetadataValuePolicyInput$2 | undefined;
+    /** Policy for human-facing labels and titles. */
+    readonly displayName?: MetadataValuePolicyInput$2 | undefined;
+}
+
+/**
+ * Per-declaration metadata policy input.
+ *
+ * @public
+ */
+export declare interface DeclarationMetadataPolicyInput {
+    /** Policy for JSON-facing serialized names. */
+    readonly apiName?: MetadataValuePolicyInput | undefined;
+    /** Policy for human-facing labels and titles. */
+    readonly displayName?: MetadataValuePolicyInput | undefined;
+}
+
+/**
+ * Discriminator-specific schema generation options.
+ *
+ * @public
+ */
+export declare interface DiscriminatorResolutionOptions {
+    /**
+     * Optional prefix applied only to metadata-derived discriminator values.
+     *
+     * Literal discriminator identities taken directly from a bound type remain
+     * unchanged.
+     */
+    readonly apiNamePrefix?: string | undefined;
+}
+
+/**
+ * Enum-member display names remain unset unless authored explicitly.
+ *
+ * @public
+ */
+declare interface EnumMemberDisplayNameDisabledPolicyInput$1 {
+    /** Leaves missing enum-member display names unresolved. */
+    readonly mode: "disabled";
+}
+
+/**
+ * Enum-member display names remain unset unless authored explicitly.
+ *
+ * @public
+ */
+declare interface EnumMemberDisplayNameDisabledPolicyInput$2 {
+    /** Leaves missing enum-member display names unresolved. */
+    readonly mode: "disabled";
+}
+
+/**
+ * Enum-member display names remain unset unless authored explicitly.
+ *
+ * @public
+ */
+declare interface EnumMemberDisplayNameDisabledPolicyInput {
+    /** Leaves missing enum-member display names unresolved. */
+    readonly mode: "disabled";
+}
+
+/**
+ * Missing enum-member display names may be inferred.
+ *
+ * @public
+ */
+declare interface EnumMemberDisplayNameInferIfMissingPolicyInput$1 {
+    /** Infers an enum-member display name when it is not authored explicitly. */
+    readonly mode: "infer-if-missing";
+    /** Callback used to infer the missing display name. */
+    readonly infer: EnumMemberMetadataInferenceFn$1;
+}
+
+/**
+ * Missing enum-member display names may be inferred.
+ *
+ * @public
+ */
+declare interface EnumMemberDisplayNameInferIfMissingPolicyInput$2 {
+    /** Infers an enum-member display name when it is not authored explicitly. */
+    readonly mode: "infer-if-missing";
+    /** Callback used to infer the missing display name. */
+    readonly infer: EnumMemberMetadataInferenceFn$2;
+}
+
+/**
+ * Missing enum-member display names may be inferred.
+ *
+ * @public
+ */
+declare interface EnumMemberDisplayNameInferIfMissingPolicyInput {
+    /** Infers an enum-member display name when it is not authored explicitly. */
+    readonly mode: "infer-if-missing";
+    /** Callback used to infer the missing display name. */
+    readonly infer: EnumMemberMetadataInferenceFn;
+}
+
+/**
+ * Enum-member display-name policy input.
+ *
+ * @public
+ */
+declare type EnumMemberDisplayNamePolicyInput$1 = EnumMemberDisplayNameDisabledPolicyInput$1 | EnumMemberDisplayNameInferIfMissingPolicyInput$1 | EnumMemberDisplayNameRequireExplicitPolicyInput$1;
+
+/**
+ * Enum-member display-name policy input.
+ *
+ * @public
+ */
+declare type EnumMemberDisplayNamePolicyInput$2 = EnumMemberDisplayNameDisabledPolicyInput$2 | EnumMemberDisplayNameInferIfMissingPolicyInput$2 | EnumMemberDisplayNameRequireExplicitPolicyInput$2;
+
+/**
+ * Enum-member display-name policy input.
+ *
+ * @public
+ */
+declare type EnumMemberDisplayNamePolicyInput = EnumMemberDisplayNameDisabledPolicyInput | EnumMemberDisplayNameInferIfMissingPolicyInput | EnumMemberDisplayNameRequireExplicitPolicyInput;
+
+/**
+ * Enum members must declare display names explicitly.
+ *
+ * @public
+ */
+declare interface EnumMemberDisplayNameRequireExplicitPolicyInput$1 {
+    /** Fails when an enum member has no authored display name. */
+    readonly mode: "require-explicit";
+}
+
+/**
+ * Enum members must declare display names explicitly.
+ *
+ * @public
+ */
+declare interface EnumMemberDisplayNameRequireExplicitPolicyInput$2 {
+    /** Fails when an enum member has no authored display name. */
+    readonly mode: "require-explicit";
+}
+
+/**
+ * Enum members must declare display names explicitly.
+ *
+ * @public
+ */
+declare interface EnumMemberDisplayNameRequireExplicitPolicyInput {
+    /** Fails when an enum member has no authored display name. */
+    readonly mode: "require-explicit";
+}
+
+/**
+ * Build-facing context passed to enum-member metadata inference callbacks.
+ *
+ * Enum members are resolved separately from declaration-level metadata so they
+ * do not participate in the shared declaration-kind model used by TSDoc and
+ * extension metadata slots.
+ *
+ * @public
+ */
+declare interface EnumMemberMetadataInferenceContext$1 {
+    /** Authoring surface the enum originated from. */
+    readonly surface: MetadataAuthoringSurface_2;
+    /** Logical member identifier used for policy inference. */
+    readonly logicalName: string;
+    /** Underlying enum value before stringification. */
+    readonly memberValue: number | string;
+    /** Optional build-only context supplied by the resolver. */
+    readonly buildContext?: unknown;
+}
+
+/**
+ * Build-facing context passed to enum-member metadata inference callbacks.
+ *
+ * Enum members are resolved separately from declaration-level metadata so they
+ * do not participate in the shared declaration-kind model used by TSDoc and
+ * extension metadata slots.
+ *
+ * @public
+ */
+declare interface EnumMemberMetadataInferenceContext$2 {
+    /** Authoring surface the enum originated from. */
+    readonly surface: MetadataAuthoringSurface$2;
+    /** Logical member identifier used for policy inference. */
+    readonly logicalName: string;
+    /** Underlying enum value before stringification. */
+    readonly memberValue: number | string;
+    /** Optional build-only context supplied by the resolver. */
+    readonly buildContext?: unknown;
+}
+
+/**
+ * Build-facing context passed to enum-member metadata inference callbacks.
+ *
+ * Enum members are resolved separately from declaration-level metadata so they
+ * do not participate in the shared declaration-kind model used by TSDoc and
+ * extension metadata slots.
+ *
+ * @public
+ */
+declare interface EnumMemberMetadataInferenceContext {
+    /** Authoring surface the enum originated from. */
+    readonly surface: MetadataAuthoringSurface;
+    /** Logical member identifier used for policy inference. */
+    readonly logicalName: string;
+    /** Underlying enum value before stringification. */
+    readonly memberValue: number | string;
+    /** Optional build-only context supplied by the resolver. */
+    readonly buildContext?: unknown;
+}
+
+/**
+ * Callback used to infer enum-member display names.
+ *
+ * @public
+ */
+declare type EnumMemberMetadataInferenceFn$1 = (context: EnumMemberMetadataInferenceContext$1) => string;
+
+/**
+ * Callback used to infer enum-member display names.
+ *
+ * @public
+ */
+declare type EnumMemberMetadataInferenceFn$2 = (context: EnumMemberMetadataInferenceContext$2) => string;
+
+/**
+ * Callback used to infer enum-member display names.
+ *
+ * @public
+ */
+declare type EnumMemberMetadataInferenceFn = (context: EnumMemberMetadataInferenceContext) => string;
+
+/**
+ * User-facing enum-member metadata policy input.
+ *
+ * @public
+ */
+declare interface EnumMemberMetadataPolicyInput$1 {
+    /** Policy for human-facing enum-member labels. */
+    readonly displayName?: EnumMemberDisplayNamePolicyInput$1 | undefined;
+}
+
+/**
+ * User-facing enum-member metadata policy input.
+ *
+ * @public
+ */
+declare interface EnumMemberMetadataPolicyInput$2 {
+    /** Policy for human-facing enum-member labels. */
+    readonly displayName?: EnumMemberDisplayNamePolicyInput$2 | undefined;
+}
+
+/**
+ * User-facing enum-member metadata policy input.
+ *
+ * @public
+ */
+export declare interface EnumMemberMetadataPolicyInput {
+    /** Policy for human-facing enum-member labels. */
+    readonly displayName?: EnumMemberDisplayNamePolicyInput | undefined;
+}
+
+export { ExtendedJSONSchema7 }
+
+/**
+ * A curated type shape exposed to extension applicability hooks.
+ *
+ * This intentionally exposes only the fields needed to determine tag/type
+ * applicability without committing the entire canonical IR as public API.
+ *
+ * @public
+ */
+declare type ExtensionApplicableType$1 = {
+    readonly kind: "custom";
+    readonly payload: ExtensionPayloadValue$1;
+    readonly typeId: string;
+} | {
+    readonly kind: "primitive";
+    readonly primitiveKind: "bigint" | "boolean" | "integer" | "null" | "number" | "string";
+} | { readonly kind: Exclude<ExtensionTypeKind$1, "custom" | "primitive"> };
+
+/**
+ * A curated type shape exposed to extension applicability hooks.
+ *
+ * This intentionally exposes only the fields needed to determine tag/type
+ * applicability without committing the entire canonical IR as public API.
+ *
+ * @public
+ */
+export declare type ExtensionApplicableType = {
+    readonly kind: "custom";
+    readonly payload: ExtensionPayloadValue;
+    readonly typeId: string;
+} | {
+    readonly kind: "primitive";
+    readonly primitiveKind: "bigint" | "boolean" | "integer" | "null" | "number" | "string";
+} | { readonly kind: Exclude<ExtensionTypeKind, "custom" | "primitive"> };
+
+/**
+ * A curated type shape exposed to extension applicability hooks.
+ *
+ * This intentionally exposes only the fields needed to determine tag/type
+ * applicability without committing the entire canonical IR as public API.
+ *
+ * @public
+ */
+declare type ExtensionApplicableType_2 = {
+    readonly kind: "custom";
+    readonly payload: ExtensionPayloadValue_2;
+    readonly typeId: string;
+} | {
+    readonly kind: "primitive";
+    readonly primitiveKind: "bigint" | "boolean" | "integer" | "null" | "number" | "string";
+} | { readonly kind: Exclude<ExtensionTypeKind_2, "custom" | "primitive"> };
+
+/**
+ * A complete extension definition bundling types, constraints, annotations,
+ * and vocabulary keywords.
+ *
+ * @example
+ * ```typescript
+ * const monetaryExtension = defineExtension({
+ *   extensionId: "x-stripe/monetary",
+ *   types: [
+ *     defineCustomType({
+ *       typeName: "Decimal",
+ *       toJsonSchema: (_payload, prefix) => ({
+ *         type: "string",
+ *         [`${prefix}-decimal`]: true,
+ *       }),
+ *     }),
+ *   ],
+ * });
+ * ```
+ *
+ * @public
+ */
+export declare interface ExtensionDefinition {
+    /** Globally unique extension identifier, e.g., "x-stripe/monetary". */
+    readonly extensionId: string;
+    /** Custom type registrations provided by this extension. */
+    readonly types?: readonly CustomTypeRegistration[];
+    /** Custom constraint registrations provided by this extension. */
+    readonly constraints?: readonly CustomConstraintRegistration[];
+    /** Authoring-side TSDoc tag registrations provided by this extension. */
+    readonly constraintTags?: readonly ConstraintTagRegistration[];
+    /** Metadata-slot registrations shared by build- and lint-time analysis. */
+    readonly metadataSlots?: readonly MetadataSlotRegistration[];
+    /** Custom annotation registrations provided by this extension. */
+    readonly annotations?: readonly CustomAnnotationRegistration[];
+    /** Vocabulary keyword registrations provided by this extension. */
+    readonly vocabularyKeywords?: readonly VocabularyKeywordRegistration[];
+}
+
+/**
+ * A complete extension definition bundling types, constraints, annotations,
+ * and vocabulary keywords.
+ *
+ * @example
+ * ```typescript
+ * const monetaryExtension = defineExtension({
+ *   extensionId: "x-stripe/monetary",
+ *   types: [
+ *     defineCustomType({
+ *       typeName: "Decimal",
+ *       toJsonSchema: (_payload, prefix) => ({
+ *         type: "string",
+ *         [`${prefix}-decimal`]: true,
+ *       }),
+ *     }),
+ *   ],
+ * });
+ * ```
+ *
+ * @public
+ */
+declare interface ExtensionDefinition_2 {
+    /** Globally unique extension identifier, e.g., "x-stripe/monetary". */
+    readonly extensionId: string;
+    /** Custom type registrations provided by this extension. */
+    readonly types?: readonly CustomTypeRegistration_2[];
+    /** Custom constraint registrations provided by this extension. */
+    readonly constraints?: readonly CustomConstraintRegistration_2[];
+    /** Authoring-side TSDoc tag registrations provided by this extension. */
+    readonly constraintTags?: readonly ConstraintTagRegistration_2[];
+    /** Metadata-slot registrations shared by build- and lint-time analysis. */
+    readonly metadataSlots?: readonly MetadataSlotRegistration$1[];
+    /** Custom annotation registrations provided by this extension. */
+    readonly annotations?: readonly CustomAnnotationRegistration_2[];
+    /** Vocabulary keyword registrations provided by this extension. */
+    readonly vocabularyKeywords?: readonly VocabularyKeywordRegistration$1[];
+}
+
+/**
+ * A complete extension definition bundling types, constraints, annotations,
+ * and vocabulary keywords.
+ *
+ * @example
+ * ```typescript
+ * const monetaryExtension = defineExtension({
+ *   extensionId: "x-stripe/monetary",
+ *   types: [
+ *     defineCustomType({
+ *       typeName: "Decimal",
+ *       toJsonSchema: (_payload, prefix) => ({
+ *         type: "string",
+ *         [`${prefix}-decimal`]: true,
+ *       }),
+ *     }),
+ *   ],
+ * });
+ * ```
+ *
+ * @public
+ */
+declare interface ExtensionDefinition_3 {
+    /** Globally unique extension identifier, e.g., "x-stripe/monetary". */
+    readonly extensionId: string;
+    /** Custom type registrations provided by this extension. */
+    readonly types?: readonly CustomTypeRegistration_3[];
+    /** Custom constraint registrations provided by this extension. */
+    readonly constraints?: readonly CustomConstraintRegistration_3[];
+    /** Authoring-side TSDoc tag registrations provided by this extension. */
+    readonly constraintTags?: readonly ConstraintTagRegistration_3[];
+    /** Metadata-slot registrations shared by build- and lint-time analysis. */
+    readonly metadataSlots?: readonly MetadataSlotRegistration_2[];
+    /** Custom annotation registrations provided by this extension. */
+    readonly annotations?: readonly CustomAnnotationRegistration_3[];
+    /** Vocabulary keyword registrations provided by this extension. */
+    readonly vocabularyKeywords?: readonly VocabularyKeywordRegistration_2[];
+}
+
+/**
+ * A JSON-serializable payload value used by extension registration hooks.
+ *
+ * @public
+ */
+declare type ExtensionPayloadValue$1 = { readonly [key: string]: ExtensionPayloadValue$1 } | boolean | null | number | readonly ExtensionPayloadValue$1[] | string;
+
+/**
+ * A JSON-serializable payload value used by extension registration hooks.
+ *
+ * @public
+ */
+export declare type ExtensionPayloadValue = { readonly [key: string]: ExtensionPayloadValue } | boolean | null | number | readonly ExtensionPayloadValue[] | string;
+
+/**
+ * A JSON-serializable payload value used by extension registration hooks.
+ *
+ * @public
+ */
+declare type ExtensionPayloadValue_2 = { readonly [key: string]: ExtensionPayloadValue_2 } | boolean | null | number | readonly ExtensionPayloadValue_2[] | string;
+
+/**
+ * A registry of extensions that provides lookup by fully-qualified ID.
+ *
+ * Type IDs follow the format: `<extensionId>/<typeName>`
+ * Constraint IDs follow the format: `<extensionId>/<constraintName>`
+ * Annotation IDs follow the format: `<extensionId>/<annotationName>`
+ *
+ * @public
+ */
+export declare interface ExtensionRegistry {
+    /** The extensions registered in this registry (in registration order). */
+    readonly extensions: readonly ExtensionDefinition_2[];
+    /* Excluded from this release type: setupDiagnostics */
+    /**
+     * Look up a custom type registration by its fully-qualified type ID.
+     *
+     * @param typeId - The fully-qualified type ID (e.g., "x-stripe/monetary/Decimal").
+     * @returns The registration if found, otherwise `undefined`.
+     */
+    findType(typeId: string): CustomTypeRegistration_2 | undefined;
+    /**
+     * Look up a custom type registration by a TypeScript-facing type name.
+     *
+     * This is used during TSDoc/class analysis to resolve extension-defined
+     * custom types from source-level declarations.
+     */
+    findTypeByName(typeName: string): ExtensionTypeLookupResult | undefined;
+    /**
+     * Look up a custom type registration by a brand identifier.
+     *
+     * This is used during class analysis to resolve extension-defined custom types
+     * via structural brand detection (`unique symbol` computed property keys).
+     * Brand identifiers are stored as plain strings, so they must be unique
+     * across all extensions loaded into the registry.
+     *
+     * @param brand - The identifier text of the `unique symbol` brand variable.
+     */
+    findTypeByBrand(brand: string): ExtensionTypeLookupResult | undefined;
+    /**
+     * Look up a custom type by its TypeScript symbol identity.
+     *
+     * Built from `defineCustomType<T>()` type parameter extraction in the config file.
+     * This is the most precise detection path — it uses `ts.Symbol` identity, which is
+     * immune to import aliases and name collisions.
+     *
+     * Returns `undefined` until {@link MutableExtensionRegistry.setSymbolMap} has been
+     * called (i.e., before the TypeScript program is available), or when the symbol is
+     * not registered via a type parameter.
+     *
+     * @param symbol - The canonical TypeScript symbol to look up.
+     */
+    findTypeBySymbol(symbol: ts.Symbol): ExtensionTypeLookupResult | undefined;
+    /**
+     * Look up a custom constraint registration by its fully-qualified constraint ID.
+     *
+     * @param constraintId - The fully-qualified constraint ID.
+     * @returns The registration if found, otherwise `undefined`.
+     */
+    findConstraint(constraintId: string): CustomConstraintRegistration_2 | undefined;
+    /**
+     * Look up a TSDoc custom constraint-tag registration by tag name.
+     */
+    findConstraintTag(tagName: string): {
+        readonly extensionId: string;
+        readonly registration: ConstraintTagRegistration_2;
+    } | undefined;
+    /**
+     * Look up built-in tag broadening for a given custom type ID.
+     */
+    findBuiltinConstraintBroadening(typeId: string, tagName: string): {
+        readonly extensionId: string;
+        readonly registration: BuiltinConstraintBroadeningRegistration_2;
+    } | undefined;
+    /**
+     * Look up a custom annotation registration by its fully-qualified annotation ID.
+     *
+     * @param annotationId - The fully-qualified annotation ID.
+     * @returns The registration if found, otherwise `undefined`.
+     */
+    findAnnotation(annotationId: string): CustomAnnotationRegistration_2 | undefined;
+}
+
+/**
+ * Top-level type kinds that extension applicability hooks may inspect.
+ *
+ * @public
+ */
+declare type ExtensionTypeKind$1 = "array" | "custom" | "dynamic" | "enum" | "object" | "primitive" | "record" | "reference" | "union";
+
+/**
+ * Top-level type kinds that extension applicability hooks may inspect.
+ *
+ * @public
+ */
+export declare type ExtensionTypeKind = "array" | "custom" | "dynamic" | "enum" | "object" | "primitive" | "record" | "reference" | "union";
+
+/**
+ * Top-level type kinds that extension applicability hooks may inspect.
+ *
+ * @public
+ */
+declare type ExtensionTypeKind_2 = "array" | "custom" | "dynamic" | "enum" | "object" | "primitive" | "record" | "reference" | "union";
+
+/**
+ * The result of a successful extension type lookup.
+ *
+ * Returned by {@link ExtensionRegistry.findTypeByName},
+ * {@link ExtensionRegistry.findTypeByBrand}, and
+ * {@link ExtensionRegistry.findTypeBySymbol}.
+ *
+ * @public
+ */
+export declare interface ExtensionTypeLookupResult {
+    /** The fully-qualified extension ID (e.g., "x-stripe/monetary"). */
+    readonly extensionId: string;
+    /** The custom type registration matched by this lookup. */
+    readonly registration: CustomTypeRegistration_2;
+}
+
+/* Excluded from this release type: _extractConfigSchemas */
+
+/* Excluded from this release type: _ExtractConfigSchemasOptions */
+
+/* Excluded from this release type: _ExtractConfigSchemasResult */
+
+/**
+ * Field configuration option constraints - control which field options are allowed.
+ *
+ * @public
+ */
+declare interface FieldOptionConstraints {
+    /** label - field label text */
+    label?: Severity;
+    /** placeholder - input placeholder text */
+    placeholder?: Severity;
+    /** required - whether field is required */
+    required?: Severity;
+    /** minValue - minimum value for numbers */
+    minValue?: Severity;
+    /** maxValue - maximum value for numbers */
+    maxValue?: Severity;
+    /** minItems - minimum array length */
+    minItems?: Severity;
+    /** maxItems - maximum array length */
+    maxItems?: Severity;
+}
+
+/**
+ * Field type constraints - control which field types are allowed.
+ * Fine-grained control over each DSL field builder.
+ *
+ * @public
+ */
+declare interface FieldTypeConstraints {
+    /** field.text() - basic text input */
+    text?: Severity;
+    /** field.number() - numeric input */
+    number?: Severity;
+    /** field.boolean() - checkbox/toggle */
+    boolean?: Severity;
+    /** field.enum() with literal options */
+    staticEnum?: Severity;
+    /** field.dynamicEnum() - runtime-fetched options */
+    dynamicEnum?: Severity;
+    /** field.dynamicSchema() - runtime-fetched schema */
+    dynamicSchema?: Severity;
+    /** field.array() / field.arrayWithConfig() */
+    array?: Severity;
+    /** field.object() / field.objectWithConfig() */
+    object?: Severity;
+}
+
+/* Excluded from this release type: _fixupDecimalPathConstraints */
+
+/**
+ * Top-level FormSpec configuration file structure.
+ * The .formspec.yml file uses this structure.
+ *
+ * @public
+ */
+export declare interface FormSpecConfig {
+    /**
+     * Extension definitions providing custom types, constraints,
+     * annotations, and vocabulary keywords.
+     */
+    readonly extensions?: readonly ExtensionDefinition_3[];
+    /** Constraint surface configuration — controls which field types,
+     * layouts, UI features, and field/control options are allowed. */
+    readonly constraints?: ConstraintConfig;
+    /**
+     * Metadata inference and naming policy. Controls how apiName,
+     * displayName, and plural forms are derived when not authored.
+     */
+    readonly metadata?: MetadataPolicyInput_2;
+    /**
+     * Vendor prefix for extension-emitted JSON Schema keywords.
+     * Must start with "x-".
+     * @defaultValue "x-formspec"
+     */
+    readonly vendorPrefix?: string;
+    /**
+     * JSON Schema representation for static enums.
+     * - "enum": compact `enum` output, plus a display-name extension when labels exist
+     * - "oneOf": per-member `const` output, with `title` only for distinct labels
+     * - "smart-size": uses `enum` unless a distinct display label would be lost
+     * @defaultValue "enum"
+     */
+    readonly enumSerialization?: "enum" | "oneOf" | "smart-size";
+    /**
+     * Per-package configuration overrides for monorepos.
+     * Keys are glob patterns matched against file paths relative to
+     * the config file's directory. Values merge with root settings.
+     */
+    readonly packages?: Readonly<Record<string, FormSpecPackageOverride>>;
+}
+
+/**
+ * Per-package overrides that merge with the root config.
+ * Only settings that genuinely vary per package are overridable.
+ *
+ * @public
+ */
+declare interface FormSpecPackageOverride {
+    /** Override constraint surface for this package. */
+    readonly constraints?: ConstraintConfig;
+    /** Override enum serialization for this package. */
+    readonly enumSerialization?: "enum" | "oneOf" | "smart-size";
+    /** Override metadata policy for this package. */
+    readonly metadata?: MetadataPolicyInput_2;
+}
+
+/**
+ * Options for generating schemas from a decorated class.
+ *
+ * @public
+ */
+export declare interface GenerateFromClassOptions extends StaticSchemaGenerationOptions {
+    /** Path to the TypeScript source file */
+    filePath: string;
+    /** Class name to analyze */
+    className: string;
+}
+
+/**
+ * Result of generating schemas from a decorated class.
+ *
+ * @public
+ */
+export declare interface GenerateFromClassResult {
+    /** JSON Schema 2020-12 for validation */
+    jsonSchema: JsonSchema2020;
+    /** JSON Forms UI Schema for rendering */
+    uiSchema: UISchema;
+}
+
+/* Excluded from this release type: _generateSchemas */
+
+/**
+ * Generates JSON Schema and UI Schema from a decorated TypeScript class.
+ *
+ * This is a high-level entry point that handles the entire pipeline:
+ * creating a TypeScript program, finding the class, analyzing it to IR,
+ * and generating schemas — all in one call.
+ *
+ * @example
+ * ```typescript
+ * const result = generateSchemasFromClass({
+ *   filePath: "./src/forms.ts",
+ *   className: "UserForm",
+ * });
+ * console.log(result.jsonSchema);
+ * ```
+ *
+ * @param options - File path, class name, and optional compiler options
+ * @returns Generated JSON Schema and UI Schema
+ *
+ * @public
+ */
+export declare function generateSchemasFromClass(options: GenerateFromClassOptions): GenerateFromClassResult;
+
+/**
+ * Options for generating schemas from a named type (class, interface, or type alias).
+ *
+ * @public
+ */
+export declare interface GenerateSchemasOptions extends StaticSchemaGenerationOptions {
+    /** Path to the TypeScript source file */
+    readonly filePath: string;
+    /** Name of the exported class, interface, or type alias to analyze */
+    readonly typeName: string;
+    /**
+     * Controls whether error-severity diagnostics throw or are returned in the result.
+     */
+    readonly errorReporting: "diagnostics" | "throw";
+}
+
+export { getSchemaExtension }
+
+/**
+ * A group element with a label.
+ *
+ * @public
+ */
+export declare interface GroupLayout {
+    /** Discriminator identifying a labeled group container. */
+    readonly type: "Group";
+    /** Group label shown by compatible renderers. */
+    readonly label: string;
+    /** Child elements rendered inside the group. */
+    readonly elements: UISchemaElement[];
+    /** Optional rule controlling visibility or enablement. */
+    readonly rule?: Rule | undefined;
+    /** Renderer-specific group options. */
+    readonly options?: Record<string, unknown> | undefined;
+    /** Additional renderer-specific extension properties. */
+    readonly [k: string]: unknown;
+}
+
+/**
+ * A horizontal layout element.
+ *
+ * @public
+ */
+export declare interface HorizontalLayout {
+    /** Discriminator identifying a horizontal layout container. */
+    readonly type: "HorizontalLayout";
+    /** Child elements rendered side by side. */
+    readonly elements: UISchemaElement[];
+    /** Optional rule controlling visibility or enablement. */
+    readonly rule?: Rule | undefined;
+    /** Renderer-specific layout options. */
+    readonly options?: Record<string, unknown> | undefined;
+    /** Additional renderer-specific extension properties. */
+    readonly [k: string]: unknown;
+}
+
+/**
+ * A JSON Schema 2020-12 document, sub-schema, or keyword collection.
+ *
+ * This interface covers the subset of JSON Schema 2020-12 that this generator
+ * emits, plus an index signature for custom `x-formspec-*` extension keywords.
+ *
+ * @public
+ */
+export declare interface JsonSchema2020 {
+    /** Declared JSON Schema dialect URI for the document root. */
+    $schema?: string;
+    /** Reference to another schema location. */
+    $ref?: string;
+    /** Named reusable schema definitions keyed by definition name. */
+    $defs?: Record<string, JsonSchema2020>;
+    /** JSON Schema type keyword for the current node. */
+    type?: string;
+    /** Object properties keyed by property name. */
+    properties?: Record<string, JsonSchema2020>;
+    /** Property names that must be present on object values. */
+    required?: string[];
+    /** Item schema applied to array elements. */
+    items?: JsonSchema2020;
+    /** Whether, or how, additional object properties are allowed. */
+    additionalProperties?: boolean | JsonSchema2020;
+    /** Closed set of allowed scalar values. */
+    enum?: readonly (number | string)[];
+    /** Literal value the instance must equal. */
+    const?: unknown;
+    /** Schemas that must all validate successfully. */
+    allOf?: readonly JsonSchema2020[];
+    /** Schemas of which exactly one should validate successfully. */
+    oneOf?: readonly JsonSchema2020[];
+    /** Schemas of which at least one may validate successfully. */
+    anyOf?: readonly JsonSchema2020[];
+    /** Inclusive numeric lower bound. */
+    minimum?: number;
+    /** Inclusive numeric upper bound. */
+    maximum?: number;
+    /** Exclusive numeric lower bound. */
+    exclusiveMinimum?: number;
+    /** Exclusive numeric upper bound. */
+    exclusiveMaximum?: number;
+    /** Required numeric step interval. */
+    multipleOf?: number;
+    /** Inclusive minimum string length. */
+    minLength?: number;
+    /** Inclusive maximum string length. */
+    maxLength?: number;
+    /** Inclusive minimum array length. */
+    minItems?: number;
+    /** Inclusive maximum array length. */
+    maxItems?: number;
+    /** Regular expression pattern applied to string values. */
+    pattern?: string;
+    /** Whether array elements must be unique. */
+    uniqueItems?: boolean;
+    /** Format hint for downstream validators and tooling. */
+    format?: string;
+    /** Human-readable title for the schema node. */
+    title?: string;
+    /** Human-readable description for the schema node. */
+    description?: string;
+    /** Default value suggested for the schema node. */
+    default?: unknown;
+    /** Whether the schema node is deprecated. */
+    deprecated?: boolean;
+    /** Additional vendor-prefixed extension keywords. */
+    [key: `x-${string}`]: unknown;
+}
+
+export { jsonSchema7Schema }
+
+/**
+ * A Label element for displaying static text.
+ *
+ * @public
+ */
+export declare interface LabelElement {
+    /** Discriminator identifying a static text label element. */
+    readonly type: "Label";
+    /** Static text content rendered by the label element. */
+    readonly text: string;
+    /** Optional rule controlling visibility or enablement. */
+    readonly rule?: Rule | undefined;
+    /** Renderer-specific label options. */
+    readonly options?: Record<string, unknown> | undefined;
+    /** Additional renderer-specific extension properties. */
+    readonly [k: string]: unknown;
+}
+
+/**
+ * Layout and structure constraints - control grouping, conditionals, nesting.
+ *
+ * @public
+ */
+declare interface LayoutConstraints {
+    /** group() - visual grouping of fields */
+    group?: Severity;
+    /** when() - conditional field visibility */
+    conditionals?: Severity;
+    /** Maximum nesting depth for objects/arrays (0 = flat only) */
+    maxNestingDepth?: number;
+}
+
+/**
+ * JSONForms layout type constraints.
+ *
+ * @public
+ */
+declare interface LayoutTypeConstraints {
+    /** VerticalLayout - stack elements vertically */
+    VerticalLayout?: Severity;
+    /** HorizontalLayout - arrange elements horizontally */
+    HorizontalLayout?: Severity;
+    /** Group - visual grouping with label */
+    Group?: Severity;
+    /** Categorization - tabbed/wizard interface */
+    Categorization?: Severity;
+    /** Category - individual tab/step in Categorization */
+    Category?: Severity;
+}
+
+/**
+ * Authoring surfaces that can contribute metadata.
+ *
+ * @public
+ */
+declare type MetadataAuthoringSurface$1 = "chain-dsl" | "tsdoc";
+
+/**
+ * Authoring surfaces that can contribute metadata.
+ *
+ * @public
+ */
+declare type MetadataAuthoringSurface$2 = "chain-dsl" | "tsdoc";
+
+/**
+ * Authoring surfaces that can contribute metadata.
+ *
+ * @public
+ */
+export declare type MetadataAuthoringSurface = "chain-dsl" | "tsdoc";
+
+/**
+ * Authoring surfaces that can contribute metadata.
+ *
+ * @public
+ */
+declare type MetadataAuthoringSurface_2 = "chain-dsl" | "tsdoc";
+
+/**
+ * Declaration categories that metadata policy can target.
+ *
+ * @public
+ */
+declare type MetadataDeclarationKind$1 = "field" | "method" | "type";
+
+/**
+ * Declaration categories that metadata policy can target.
+ *
+ * @public
+ */
+declare type MetadataDeclarationKind$2 = "field" | "method" | "type";
+
+/**
+ * Declaration categories that metadata policy can target.
+ *
+ * @public
+ */
+export declare type MetadataDeclarationKind = "field" | "method" | "type";
+
+/**
+ * Declaration categories that metadata policy can target.
+ *
+ * @public
+ */
+declare type MetadataDeclarationKind_2 = "field" | "method" | "type";
+
+/**
+ * Build-facing context passed to metadata inference callbacks.
+ *
+ * `buildContext` is intentionally opaque so browser/runtime packages do not
+ * need to depend on TypeScript compiler types.
+ *
+ * @public
+ */
+declare interface MetadataInferenceContext$1 {
+    /** Authoring surface the metadata is being resolved for. */
+    readonly surface: MetadataAuthoringSurface$1;
+    /** Declaration kind currently being resolved. */
+    readonly declarationKind: MetadataDeclarationKind$1;
+    /** Logical identifier before any metadata policy is applied. */
+    readonly logicalName: string;
+    /** Optional build-only context supplied by the resolver. */
+    readonly buildContext?: unknown;
+}
+
+/**
+ * Build-facing context passed to metadata inference callbacks.
+ *
+ * `buildContext` is intentionally opaque so browser/runtime packages do not
+ * need to depend on TypeScript compiler types.
+ *
+ * @public
+ */
+declare interface MetadataInferenceContext$2 {
+    /** Authoring surface the metadata is being resolved for. */
+    readonly surface: MetadataAuthoringSurface$2;
+    /** Declaration kind currently being resolved. */
+    readonly declarationKind: MetadataDeclarationKind$2;
+    /** Logical identifier before any metadata policy is applied. */
+    readonly logicalName: string;
+    /** Optional build-only context supplied by the resolver. */
+    readonly buildContext?: unknown;
+}
+
+/**
+ * Build-facing context passed to metadata inference callbacks.
+ *
+ * `buildContext` is intentionally opaque so browser/runtime packages do not
+ * need to depend on TypeScript compiler types.
+ *
+ * @public
+ */
+export declare interface MetadataInferenceContext {
+    /** Authoring surface the metadata is being resolved for. */
+    readonly surface: MetadataAuthoringSurface;
+    /** Declaration kind currently being resolved. */
+    readonly declarationKind: MetadataDeclarationKind;
+    /** Logical identifier before any metadata policy is applied. */
+    readonly logicalName: string;
+    /** Optional build-only context supplied by the resolver. */
+    readonly buildContext?: unknown;
+}
+
+/**
+ * Build-facing context passed to metadata inference callbacks.
+ *
+ * `buildContext` is intentionally opaque so browser/runtime packages do not
+ * need to depend on TypeScript compiler types.
+ *
+ * @public
+ */
+declare interface MetadataInferenceContext_2 {
+    /** Authoring surface the metadata is being resolved for. */
+    readonly surface: MetadataAuthoringSurface_2;
+    /** Declaration kind currently being resolved. */
+    readonly declarationKind: MetadataDeclarationKind_2;
+    /** Logical identifier before any metadata policy is applied. */
+    readonly logicalName: string;
+    /** Optional build-only context supplied by the resolver. */
+    readonly buildContext?: unknown;
+}
+
+/**
+ * Callback used to infer a scalar metadata value.
+ *
+ * @public
+ */
+declare type MetadataInferenceFn$1 = (context: MetadataInferenceContext_2) => string;
+
+/**
+ * Callback used to infer a scalar metadata value.
+ *
+ * @public
+ */
+declare type MetadataInferenceFn$2 = (context: MetadataInferenceContext$2) => string;
+
+/**
+ * Callback used to infer a scalar metadata value.
+ *
+ * @public
+ */
+export declare type MetadataInferenceFn = (context: MetadataInferenceContext) => string;
+
+/**
+ * Context passed to pluralization callbacks.
+ *
+ * @public
+ */
+declare interface MetadataPluralizationContext$1 extends MetadataInferenceContext_2 {
+    /** Singular value that pluralization should derive from. */
+    readonly singular: string;
+}
+
+/**
+ * Context passed to pluralization callbacks.
+ *
+ * @public
+ */
+declare interface MetadataPluralizationContext$2 extends MetadataInferenceContext$2 {
+    /** Singular value that pluralization should derive from. */
+    readonly singular: string;
+}
+
+/**
+ * Context passed to pluralization callbacks.
+ *
+ * @public
+ */
+declare interface MetadataPluralizationContext extends MetadataInferenceContext {
+    /** Singular value that pluralization should derive from. */
+    readonly singular: string;
+}
+
+/**
+ * Pluralization disabled.
+ *
+ * @public
+ */
+declare interface MetadataPluralizationDisabledPolicyInput$1 {
+    /** Disables automatic plural-value generation. */
+    readonly mode?: "disabled" | undefined;
+}
+
+/**
+ * Pluralization disabled.
+ *
+ * @public
+ */
+declare interface MetadataPluralizationDisabledPolicyInput$2 {
+    /** Disables automatic plural-value generation. */
+    readonly mode?: "disabled" | undefined;
+}
+
+/**
+ * Pluralization disabled.
+ *
+ * @public
+ */
+export declare interface MetadataPluralizationDisabledPolicyInput {
+    /** Disables automatic plural-value generation. */
+    readonly mode?: "disabled" | undefined;
+}
+
+/**
+ * Callback used to derive plural metadata from a singular value.
+ *
+ * @public
+ */
+declare type MetadataPluralizationFn$1 = (context: MetadataPluralizationContext$1) => string;
+
+/**
+ * Callback used to derive plural metadata from a singular value.
+ *
+ * @public
+ */
+declare type MetadataPluralizationFn$2 = (context: MetadataPluralizationContext$2) => string;
+
+/**
+ * Callback used to derive plural metadata from a singular value.
+ *
+ * @public
+ */
+export declare type MetadataPluralizationFn = (context: MetadataPluralizationContext) => string;
+
+/**
+ * Pluralization may be inferred when absent.
+ *
+ * @public
+ */
+declare interface MetadataPluralizationInferIfMissingPolicyInput$1 {
+    /** Infers plural values whenever no explicit plural is present. */
+    readonly mode: "infer-if-missing";
+    /** Callback that derives a plural form from the resolved singular value. */
+    readonly inflect: MetadataPluralizationFn$1;
+}
+
+/**
+ * Pluralization may be inferred when absent.
+ *
+ * @public
+ */
+declare interface MetadataPluralizationInferIfMissingPolicyInput$2 {
+    /** Infers plural values whenever no explicit plural is present. */
+    readonly mode: "infer-if-missing";
+    /** Callback that derives a plural form from the resolved singular value. */
+    readonly inflect: MetadataPluralizationFn$2;
+}
+
+/**
+ * Pluralization may be inferred when absent.
+ *
+ * @public
+ */
+export declare interface MetadataPluralizationInferIfMissingPolicyInput {
+    /** Infers plural values whenever no explicit plural is present. */
+    readonly mode: "infer-if-missing";
+    /** Callback that derives a plural form from the resolved singular value. */
+    readonly inflect: MetadataPluralizationFn;
+}
+
+/**
+ * Pluralization policy input.
+ *
+ * @public
+ */
+declare type MetadataPluralizationPolicyInput$1 = MetadataPluralizationDisabledPolicyInput$1 | MetadataPluralizationInferIfMissingPolicyInput$1 | MetadataPluralizationRequireExplicitPolicyInput$1;
+
+/**
+ * Pluralization policy input.
+ *
+ * @public
+ */
+declare type MetadataPluralizationPolicyInput$2 = MetadataPluralizationDisabledPolicyInput$2 | MetadataPluralizationInferIfMissingPolicyInput$2 | MetadataPluralizationRequireExplicitPolicyInput$2;
+
+/**
+ * Pluralization policy input.
+ *
+ * @public
+ */
+export declare type MetadataPluralizationPolicyInput = MetadataPluralizationDisabledPolicyInput | MetadataPluralizationInferIfMissingPolicyInput | MetadataPluralizationRequireExplicitPolicyInput;
+
+/**
+ * Pluralization must be authored explicitly.
+ *
+ * @public
+ */
+declare interface MetadataPluralizationRequireExplicitPolicyInput$1 {
+    /** Requires plural values to be authored directly. */
+    readonly mode: "require-explicit";
+}
+
+/**
+ * Pluralization must be authored explicitly.
+ *
+ * @public
+ */
+declare interface MetadataPluralizationRequireExplicitPolicyInput$2 {
+    /** Requires plural values to be authored directly. */
+    readonly mode: "require-explicit";
+}
+
+/**
+ * Pluralization must be authored explicitly.
+ *
+ * @public
+ */
+export declare interface MetadataPluralizationRequireExplicitPolicyInput {
+    /** Requires plural values to be authored directly. */
+    readonly mode: "require-explicit";
+}
+
+/**
+ * User-facing metadata policy configuration.
+ *
+ * @public
+ */
+declare interface MetadataPolicyInput$1 {
+    /** Policy applied to named types and the analyzed root declaration. */
+    readonly type?: DeclarationMetadataPolicyInput$2 | undefined;
+    /** Policy applied to fields and object properties. */
+    readonly field?: DeclarationMetadataPolicyInput$2 | undefined;
+    /** Policy applied to callable/method declarations. */
+    readonly method?: DeclarationMetadataPolicyInput$2 | undefined;
+    /** Policy applied to enum-member display names during build-time IR resolution. */
+    readonly enumMember?: EnumMemberMetadataPolicyInput$2 | undefined;
+}
+
+/**
+ * User-facing metadata policy configuration.
+ *
+ * @public
+ */
+export declare interface MetadataPolicyInput {
+    /** Policy applied to named types and the analyzed root declaration. */
+    readonly type?: DeclarationMetadataPolicyInput | undefined;
+    /** Policy applied to fields and object properties. */
+    readonly field?: DeclarationMetadataPolicyInput | undefined;
+    /** Policy applied to callable/method declarations. */
+    readonly method?: DeclarationMetadataPolicyInput | undefined;
+    /** Policy applied to enum-member display names during build-time IR resolution. */
+    readonly enumMember?: EnumMemberMetadataPolicyInput | undefined;
+}
+
+/**
+ * User-facing metadata policy configuration.
+ *
+ * @public
+ */
+declare interface MetadataPolicyInput_2 {
+    /** Policy applied to named types and the analyzed root declaration. */
+    readonly type?: DeclarationMetadataPolicyInput$1 | undefined;
+    /** Policy applied to fields and object properties. */
+    readonly field?: DeclarationMetadataPolicyInput$1 | undefined;
+    /** Policy applied to callable/method declarations. */
+    readonly method?: DeclarationMetadataPolicyInput$1 | undefined;
+    /** Policy applied to enum-member display names during build-time IR resolution. */
+    readonly enumMember?: EnumMemberMetadataPolicyInput$1 | undefined;
+}
+
+/**
+ * Supported qualifier registration for an extensible metadata slot.
+ *
+ * @public
+ */
+declare interface MetadataQualifierRegistration$1 {
+    /** Qualifier text without the leading colon. */
+    readonly qualifier: string;
+    /**
+     * Optional source qualifier to use as the base input for this qualifier's
+     * inference hook. Defaults to the slot's bare/default value when omitted.
+     */
+    readonly sourceQualifier?: string | undefined;
+    /** Optional inference hook for this qualified value. */
+    readonly inferValue?: MetadataSlotInferenceFn$1 | undefined;
+}
+
+/**
+ * Supported qualifier registration for an extensible metadata slot.
+ *
+ * @public
+ */
+export declare interface MetadataQualifierRegistration {
+    /** Qualifier text without the leading colon. */
+    readonly qualifier: string;
+    /**
+     * Optional source qualifier to use as the base input for this qualifier's
+     * inference hook. Defaults to the slot's bare/default value when omitted.
+     */
+    readonly sourceQualifier?: string | undefined;
+    /** Optional inference hook for this qualified value. */
+    readonly inferValue?: MetadataSlotInferenceFn | undefined;
+}
+
+/**
+ * Supported qualifier registration for an extensible metadata slot.
+ *
+ * @public
+ */
+declare interface MetadataQualifierRegistration_2 {
+    /** Qualifier text without the leading colon. */
+    readonly qualifier: string;
+    /**
+     * Optional source qualifier to use as the base input for this qualifier's
+     * inference hook. Defaults to the slot's bare/default value when omitted.
+     */
+    readonly sourceQualifier?: string | undefined;
+    /** Optional inference hook for this qualified value. */
+    readonly inferValue?: MetadataSlotInferenceFn_2 | undefined;
+}
+
+/**
+ * Stable slot identifier for extensible metadata analysis.
+ *
+ * @public
+ */
+declare type MetadataSlotId$1 = string;
+
+/**
+ * Stable slot identifier for extensible metadata analysis.
+ *
+ * @public
+ */
+export declare type MetadataSlotId = string;
+
+/**
+ * Stable slot identifier for extensible metadata analysis.
+ *
+ * @public
+ */
+declare type MetadataSlotId_2 = string;
+
+/**
+ * Context passed to extensible metadata inference hooks.
+ *
+ * @public
+ */
+declare interface MetadataSlotInferenceContext$1 extends MetadataInferenceContext$1 {
+    /** Stable logical slot identifier. */
+    readonly slotId: MetadataSlotId$1;
+    /** Tag name associated with the slot, without the `@` prefix. */
+    readonly tagName: string;
+    /** Optional qualifier being inferred (for example `plural`). */
+    readonly qualifier?: string | undefined;
+    /** Resolved bare/default value used as the base input for derived qualifiers. */
+    readonly baseValue?: string | undefined;
+}
+
+/**
+ * Context passed to extensible metadata inference hooks.
+ *
+ * @public
+ */
+export declare interface MetadataSlotInferenceContext extends MetadataInferenceContext {
+    /** Stable logical slot identifier. */
+    readonly slotId: MetadataSlotId;
+    /** Tag name associated with the slot, without the `@` prefix. */
+    readonly tagName: string;
+    /** Optional qualifier being inferred (for example `plural`). */
+    readonly qualifier?: string | undefined;
+    /** Resolved bare/default value used as the base input for derived qualifiers. */
+    readonly baseValue?: string | undefined;
+}
+
+/**
+ * Context passed to extensible metadata inference hooks.
+ *
+ * @public
+ */
+declare interface MetadataSlotInferenceContext_2 extends MetadataInferenceContext_2 {
+    /** Stable logical slot identifier. */
+    readonly slotId: MetadataSlotId_2;
+    /** Tag name associated with the slot, without the `@` prefix. */
+    readonly tagName: string;
+    /** Optional qualifier being inferred (for example `plural`). */
+    readonly qualifier?: string | undefined;
+    /** Resolved bare/default value used as the base input for derived qualifiers. */
+    readonly baseValue?: string | undefined;
+}
+
+/**
+ * Callback used to infer an extensible metadata slot value.
+ *
+ * @public
+ */
+declare type MetadataSlotInferenceFn$1 = (context: MetadataSlotInferenceContext$1) => string;
+
+/**
+ * Callback used to infer an extensible metadata slot value.
+ *
+ * @public
+ */
+export declare type MetadataSlotInferenceFn = (context: MetadataSlotInferenceContext) => string;
+
+/**
+ * Callback used to infer an extensible metadata slot value.
+ *
+ * @public
+ */
+declare type MetadataSlotInferenceFn_2 = (context: MetadataSlotInferenceContext_2) => string;
+
+/**
+ * Extensible metadata slot definition shared across build- and lint-time analysis.
+ *
+ * @public
+ */
+declare interface MetadataSlotRegistration$1 {
+    /** Stable logical slot identifier. */
+    readonly slotId: MetadataSlotId$1;
+    /** Tag name associated with this slot, without the `@` prefix. */
+    readonly tagName: string;
+    /** Declaration kinds where the slot is meaningful. */
+    readonly declarationKinds: readonly MetadataDeclarationKind$1[];
+    /** Whether a bare tag without a qualifier is supported. Defaults to true. */
+    readonly allowBare?: boolean | undefined;
+    /** Supported qualifiers for this slot. */
+    readonly qualifiers?: readonly MetadataQualifierRegistration$1[] | undefined;
+    /** Optional inference hook for the bare/default slot value. */
+    readonly inferValue?: MetadataSlotInferenceFn$1 | undefined;
+    /**
+     * Optional applicability hook for declaration-specific rules beyond
+     * declaration kind. `buildContext` may carry compiler objects.
+     */
+    readonly isApplicable?: ((context: MetadataInferenceContext$1) => boolean) | undefined;
+}
+
+/**
+ * Extensible metadata slot definition shared across build- and lint-time analysis.
+ *
+ * @public
+ */
+export declare interface MetadataSlotRegistration {
+    /** Stable logical slot identifier. */
+    readonly slotId: MetadataSlotId;
+    /** Tag name associated with this slot, without the `@` prefix. */
+    readonly tagName: string;
+    /** Declaration kinds where the slot is meaningful. */
+    readonly declarationKinds: readonly MetadataDeclarationKind[];
+    /** Whether a bare tag without a qualifier is supported. Defaults to true. */
+    readonly allowBare?: boolean | undefined;
+    /** Supported qualifiers for this slot. */
+    readonly qualifiers?: readonly MetadataQualifierRegistration[] | undefined;
+    /** Optional inference hook for the bare/default slot value. */
+    readonly inferValue?: MetadataSlotInferenceFn | undefined;
+    /**
+     * Optional applicability hook for declaration-specific rules beyond
+     * declaration kind. `buildContext` may carry compiler objects.
+     */
+    readonly isApplicable?: ((context: MetadataInferenceContext) => boolean) | undefined;
+}
+
+/**
+ * Extensible metadata slot definition shared across build- and lint-time analysis.
+ *
+ * @public
+ */
+declare interface MetadataSlotRegistration_2 {
+    /** Stable logical slot identifier. */
+    readonly slotId: MetadataSlotId_2;
+    /** Tag name associated with this slot, without the `@` prefix. */
+    readonly tagName: string;
+    /** Declaration kinds where the slot is meaningful. */
+    readonly declarationKinds: readonly MetadataDeclarationKind_2[];
+    /** Whether a bare tag without a qualifier is supported. Defaults to true. */
+    readonly allowBare?: boolean | undefined;
+    /** Supported qualifiers for this slot. */
+    readonly qualifiers?: readonly MetadataQualifierRegistration_2[] | undefined;
+    /** Optional inference hook for the bare/default slot value. */
+    readonly inferValue?: MetadataSlotInferenceFn_2 | undefined;
+    /**
+     * Optional applicability hook for declaration-specific rules beyond
+     * declaration kind. `buildContext` may carry compiler objects.
+     */
+    readonly isApplicable?: ((context: MetadataInferenceContext_2) => boolean) | undefined;
+}
+
+/**
+ * Scalar metadata disabled unless provided explicitly elsewhere.
+ *
+ * @public
+ */
+declare interface MetadataValueDisabledPolicyInput$1 {
+    /** Disables inference for this scalar metadata value. */
+    readonly mode?: "disabled" | undefined;
+    /** Optional policy controlling plural forms of this scalar value. */
+    readonly pluralization?: MetadataPluralizationPolicyInput$1 | undefined;
+}
+
+/**
+ * Scalar metadata disabled unless provided explicitly elsewhere.
+ *
+ * @public
+ */
+declare interface MetadataValueDisabledPolicyInput$2 {
+    /** Disables inference for this scalar metadata value. */
+    readonly mode?: "disabled" | undefined;
+    /** Optional policy controlling plural forms of this scalar value. */
+    readonly pluralization?: MetadataPluralizationPolicyInput$2 | undefined;
+}
+
+/**
+ * Scalar metadata disabled unless provided explicitly elsewhere.
+ *
+ * @public
+ */
+export declare interface MetadataValueDisabledPolicyInput {
+    /** Disables inference for this scalar metadata value. */
+    readonly mode?: "disabled" | undefined;
+    /** Optional policy controlling plural forms of this scalar value. */
+    readonly pluralization?: MetadataPluralizationPolicyInput | undefined;
+}
+
+/**
+ * Scalar metadata may be inferred when missing.
+ *
+ * @public
+ */
+declare interface MetadataValueInferIfMissingPolicyInput$1 {
+    /** Infers this scalar metadata value when it is not authored explicitly. */
+    readonly mode: "infer-if-missing";
+    /** Callback used to infer the missing singular value. */
+    readonly infer: MetadataInferenceFn$1;
+    /** Optional policy controlling plural forms of this scalar value. */
+    readonly pluralization?: MetadataPluralizationPolicyInput$1 | undefined;
+}
+
+/**
+ * Scalar metadata may be inferred when missing.
+ *
+ * @public
+ */
+declare interface MetadataValueInferIfMissingPolicyInput$2 {
+    /** Infers this scalar metadata value when it is not authored explicitly. */
+    readonly mode: "infer-if-missing";
+    /** Callback used to infer the missing singular value. */
+    readonly infer: MetadataInferenceFn$2;
+    /** Optional policy controlling plural forms of this scalar value. */
+    readonly pluralization?: MetadataPluralizationPolicyInput$2 | undefined;
+}
+
+/**
+ * Scalar metadata may be inferred when missing.
+ *
+ * @public
+ */
+export declare interface MetadataValueInferIfMissingPolicyInput {
+    /** Infers this scalar metadata value when it is not authored explicitly. */
+    readonly mode: "infer-if-missing";
+    /** Callback used to infer the missing singular value. */
+    readonly infer: MetadataInferenceFn;
+    /** Optional policy controlling plural forms of this scalar value. */
+    readonly pluralization?: MetadataPluralizationPolicyInput | undefined;
+}
+
+/**
+ * Scalar metadata policy input.
+ *
+ * @public
+ */
+declare type MetadataValuePolicyInput$1 = MetadataValueDisabledPolicyInput$1 | MetadataValueInferIfMissingPolicyInput$1 | MetadataValueRequireExplicitPolicyInput$1;
+
+/**
+ * Scalar metadata policy input.
+ *
+ * @public
+ */
+declare type MetadataValuePolicyInput$2 = MetadataValueDisabledPolicyInput$2 | MetadataValueInferIfMissingPolicyInput$2 | MetadataValueRequireExplicitPolicyInput$2;
+
+/**
+ * Scalar metadata policy input.
+ *
+ * @public
+ */
+export declare type MetadataValuePolicyInput = MetadataValueDisabledPolicyInput | MetadataValueInferIfMissingPolicyInput | MetadataValueRequireExplicitPolicyInput;
+
+/**
+ * Scalar metadata must be authored explicitly.
+ *
+ * @public
+ */
+declare interface MetadataValueRequireExplicitPolicyInput$1 {
+    /** Requires this scalar metadata value to be authored directly. */
+    readonly mode: "require-explicit";
+    /** Optional policy controlling plural forms of this scalar value. */
+    readonly pluralization?: MetadataPluralizationPolicyInput$1 | undefined;
+}
+
+/**
+ * Scalar metadata must be authored explicitly.
+ *
+ * @public
+ */
+declare interface MetadataValueRequireExplicitPolicyInput$2 {
+    /** Requires this scalar metadata value to be authored directly. */
+    readonly mode: "require-explicit";
+    /** Optional policy controlling plural forms of this scalar value. */
+    readonly pluralization?: MetadataPluralizationPolicyInput$2 | undefined;
+}
+
+/**
+ * Scalar metadata must be authored explicitly.
+ *
+ * @public
+ */
+export declare interface MetadataValueRequireExplicitPolicyInput {
+    /** Requires this scalar metadata value to be authored directly. */
+    readonly mode: "require-explicit";
+    /** Optional policy controlling plural forms of this scalar value. */
+    readonly pluralization?: MetadataPluralizationPolicyInput | undefined;
+}
+
+/* Excluded from this release type: _resolveConfigTypeArgs */
+
+/**
+ * Rule for conditional element visibility/enablement.
+ *
+ * @public
+ */
+export declare interface Rule {
+    /** UI effect to apply when the rule condition matches. */
+    readonly effect: RuleEffect;
+    /** Predicate that controls when the UI effect applies. */
+    readonly condition: SchemaBasedCondition;
+}
+
+/**
+ * JSON Schema subset used in rule conditions.
+ *
+ * @public
+ */
+export declare interface RuleConditionSchema {
+    /** Literal value the condition schema must equal. */
+    const?: unknown;
+    /** Allowed values for the condition schema. */
+    enum?: readonly unknown[];
+    /** JSON Schema type required by the condition schema. */
+    type?: string;
+    /** Negated branch of the condition schema. */
+    not?: RuleConditionSchema;
+    /** Inclusive numeric lower bound in the condition schema. */
+    minimum?: number;
+    /** Inclusive numeric upper bound in the condition schema. */
+    maximum?: number;
+    /** Exclusive numeric lower bound in the condition schema. */
+    exclusiveMinimum?: number;
+    /** Exclusive numeric upper bound in the condition schema. */
+    exclusiveMaximum?: number;
+    /** Inclusive minimum string length in the condition schema. */
+    minLength?: number;
+    /** Nested property conditions keyed by property name. */
+    properties?: Record<string, RuleConditionSchema>;
+    /** Property names that must be present for the condition to match. */
+    required?: string[];
+    /** Schemas that must all match for the condition to succeed. */
+    allOf?: RuleConditionSchema[];
+}
+
+/**
+ * JSONForms rule constraints.
+ *
+ * @public
+ */
+declare interface RuleConstraints {
+    /** Whether rules are enabled at all */
+    enabled?: Severity;
+    /** Fine-grained control over rule effects */
+    effects?: RuleEffectConstraints;
+}
+
+/**
+ * JSON Forms UI Schema type definitions.
+ *
+ * These are the consumer-facing TypeScript shapes. Runtime validation remains
+ * defined separately in `./schema.ts`.
+ *
+ * See: https://jsonforms.io/docs/uischema/
+ */
+/**
+ * Rule effect types for conditional visibility.
+ *
+ * @public
+ */
+export declare type RuleEffect = "DISABLE" | "ENABLE" | "HIDE" | "SHOW";
+
+/**
+ * JSONForms rule effect constraints.
+ *
+ * @public
+ */
+declare interface RuleEffectConstraints {
+    /** SHOW - show element when condition is true */
+    SHOW?: Severity;
+    /** HIDE - hide element when condition is true */
+    HIDE?: Severity;
+    /** ENABLE - enable element when condition is true */
+    ENABLE?: Severity;
+    /** DISABLE - disable element when condition is true */
+    DISABLE?: Severity;
+}
+
+/**
+ * Condition for a rule.
+ *
+ * @public
+ */
+export declare interface SchemaBasedCondition {
+    /** JSON Pointer scope the rule evaluates against. */
+    readonly scope: string;
+    /** JSON Schema fragment evaluated at the scoped location. */
+    readonly schema: RuleConditionSchema;
+}
+
+export { setSchemaExtension }
+
+/**
+ * Severity level for constraint violations.
+ * - "error": Violation fails validation
+ * - "warn": Violation emits warning but passes
+ * - "off": Feature is allowed (no violation)
+ *
+ * @public
+ */
+declare type Severity = "error" | "off" | "warn";
+
+/**
+ * Shared options for schema generation flows that support custom extensions.
+ *
+ * @public
+ */
+export declare interface StaticSchemaGenerationOptions {
+    /**
+     * FormSpec project configuration. When provided, resolves `extensionRegistry`,
+     * `vendorPrefix`, `enumSerialization`, and `metadata` from the config object.
+     * Direct options take precedence over config values.
+     */
+    readonly config?: FormSpecConfig | undefined;
+    /**
+     * Registry used to resolve custom types, constraints, and annotations.
+     * @deprecated Provide a `FormSpecConfig` via the `config` option instead.
+     */
+    readonly extensionRegistry?: ExtensionRegistry | undefined;
+    /**
+     * Vendor prefix for emitted extension keywords.
+     * @defaultValue "x-formspec"
+     * @deprecated Provide a `FormSpecConfig` via the `config` option instead.
+     */
+    readonly vendorPrefix?: string | undefined;
+    /**
+     * JSON Schema representation to use for static enums.
+     * @defaultValue "enum"
+     * @deprecated Provide a `FormSpecConfig` via the `config` option instead.
+     */
+    readonly enumSerialization?: "enum" | "oneOf" | "smart-size";
+    /**
+     * Metadata resolution policy for static schema generation.
+     * @deprecated Provide a `FormSpecConfig` via the `config` option instead.
+     */
+    readonly metadata?: MetadataPolicyInput$1 | undefined;
+    /** Discriminator-specific schema generation behavior. */
+    readonly discriminator?: DiscriminatorResolutionOptions | undefined;
+    /**
+     * Absolute path to the FormSpec config file (e.g., `formspec.config.ts`).
+     *
+     * When provided alongside a `config` that includes extensions, the build
+     * pipeline includes the config file in the TypeScript program and extracts
+     * `defineCustomType<T>()` type parameters. This enables symbol-based custom
+     * type detection — the most precise resolution path, immune to import aliases
+     * and name collisions.
+     *
+     * Obtain this from `loadFormSpecConfig()`:
+     * ```typescript
+     * const { config, configPath } = await loadFormSpecConfig();
+     * await generateSchemas({ filePath, typeName, config, configPath, errorReporting: "throw" });
+     * ```
+     */
+    readonly configPath?: string | undefined;
+}
+
+/* Excluded from this release type: _stripeExtensionRegistry */
+
+/* Excluded from this release type: _stripeFormSpecConfig */
+
+/* Excluded from this release type: _stripeSchemaDefaults */
+
+/* Excluded from this release type: _stripeStdlibExtension */
+
+/**
+ * Root UI Schema (always a layout — not a Control, Category, or Label).
+ *
+ * @public
+ */
+export declare type UISchema = Categorization | GroupLayout | HorizontalLayout | VerticalLayout;
+
+/**
+ * UI Schema feature constraints - control JSONForms-specific features.
+ *
+ * @public
+ */
+declare interface UISchemaConstraints {
+    /** Layout type constraints */
+    layouts?: LayoutTypeConstraints;
+    /** Rule (conditional) constraints */
+    rules?: RuleConstraints;
+}
+
+/**
+ * Union of all UI Schema element types.
+ *
+ * @public
+ */
+export declare type UISchemaElement = Categorization | Category | ControlElement | GroupLayout | HorizontalLayout | LabelElement | VerticalLayout;
+
+export { uiSchemaSchema }
+
+/**
+ * A vertical layout element.
+ *
+ * @public
+ */
+export declare interface VerticalLayout {
+    /** Discriminator identifying a vertical layout container. */
+    readonly type: "VerticalLayout";
+    /** Child elements rendered in vertical order. */
+    readonly elements: UISchemaElement[];
+    /** Optional rule controlling visibility or enablement. */
+    readonly rule?: Rule | undefined;
+    /** Renderer-specific layout options. */
+    readonly options?: Record<string, unknown> | undefined;
+    /** Additional renderer-specific extension properties. */
+    readonly [k: string]: unknown;
+}
+
+/**
+ * Registration for a vocabulary keyword to include in a JSON Schema `$vocabulary` declaration.
+ *
+ * @public
+ */
+declare interface VocabularyKeywordRegistration$1 {
+    /** The keyword name (without vendor prefix). */
+    readonly keyword: string;
+    /** JSON Schema that describes the valid values for this keyword. */
+    readonly schema: ExtensionPayloadValue$1;
+}
+
+/**
+ * Registration for a vocabulary keyword to include in a JSON Schema `$vocabulary` declaration.
+ *
+ * @public
+ */
+export declare interface VocabularyKeywordRegistration {
+    /** The keyword name (without vendor prefix). */
+    readonly keyword: string;
+    /** JSON Schema that describes the valid values for this keyword. */
+    readonly schema: ExtensionPayloadValue;
+}
+
+/**
+ * Registration for a vocabulary keyword to include in a JSON Schema `$vocabulary` declaration.
+ *
+ * @public
+ */
+declare interface VocabularyKeywordRegistration_2 {
+    /** The keyword name (without vendor prefix). */
+    readonly keyword: string;
+    /** JSON Schema that describes the valid values for this keyword. */
+    readonly schema: ExtensionPayloadValue_2;
+}
+
+export { }