@stripe/extensibility-jsonschema-tools 1.0.0 → 1.0.2

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

@@ -1,9 +1,26 @@
-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 { ExtendedJSONSchema7 } from '@stripe/formspec-build/browser';
+import { FormSpecConfig } from '@stripe/formspec-config';
+import { getSchemaExtension } from '@stripe/formspec-build/browser';
+import { jsonSchema7Schema } from '@stripe/formspec-build/browser';
+import { setSchemaExtension } from '@stripe/formspec-build/browser';
 import * as ts from 'typescript';
-import { uiSchemaSchema } from '@formspec/build/browser';
+import { uiSchemaSchema } from '@stripe/formspec-build/browser';
+
+/**
+ * Controls whether a type-level annotation can flow from a base declaration to
+ * a derived declaration during semantic analysis.
+ *
+ * @public
+ */
+declare type AnnotationInheritancePolicy$1 = "local-wins" | "never";
+
+/**
+ * Controls whether a type-level annotation can flow from a base declaration to
+ * a derived declaration during semantic analysis.
+ *
+ * @public
+ */
+declare type AnnotationInheritancePolicy = "local-wins" | "never";
 
 /**
  * Registration for mapping a built-in TSDoc tag onto a custom constraint when
@@ -35,21 +52,6 @@ declare interface BuiltinConstraintBroadeningRegistration_2 {
     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.
  *
@@ -64,13 +66,6 @@ declare type BuiltinConstraintName$1 = "const" | "enumOptions" | "exclusiveMaxim
  */
 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).
  *
@@ -117,24 +112,6 @@ export declare interface Category {
 
 /* 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.
@@ -171,24 +148,6 @@ export declare interface ConstraintSemanticRole {
     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.
  *
@@ -229,26 +188,6 @@ declare interface ConstraintTagRegistration_2 {
     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.
  *
@@ -269,27 +208,6 @@ export declare interface ControlElement {
     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.
  *
@@ -301,6 +219,19 @@ declare interface ControlOptionConstraints {
 export declare interface CustomAnnotationRegistration {
     /** The annotation name, unique within the extension. */
     readonly annotationName: string;
+    /**
+     * Optional type-level inheritance behavior for semantic consumers.
+     *
+     * `"local-wins"` means a derived declaration inherits this annotation from
+     * its base declaration only when the derived declaration does not provide the
+     * same extension annotation identity locally. Omitted registrations behave as
+     * `"never"`.
+     */
+    readonly inheritFromBase?: AnnotationInheritancePolicy;
+    /**
+     * Optional editor documentation for the annotation's TSDoc authoring tag.
+     */
+    readonly tagDocumentation?: CustomAnnotationTagDocumentation;
     /**
      * Optionally converts the annotation value into JSON Schema keywords.
      * If omitted, the annotation has no JSON Schema representation (UI-only).
@@ -319,6 +250,19 @@ export declare interface CustomAnnotationRegistration {
 declare interface CustomAnnotationRegistration_2 {
     /** The annotation name, unique within the extension. */
     readonly annotationName: string;
+    /**
+     * Optional type-level inheritance behavior for semantic consumers.
+     *
+     * `"local-wins"` means a derived declaration inherits this annotation from
+     * its base declaration only when the derived declaration does not provide the
+     * same extension annotation identity locally. Omitted registrations behave as
+     * `"never"`.
+     */
+    readonly inheritFromBase?: AnnotationInheritancePolicy$1;
+    /**
+     * Optional editor documentation for the annotation's TSDoc authoring tag.
+     */
+    readonly tagDocumentation?: CustomAnnotationTagDocumentation$1;
     /**
      * Optionally converts the annotation value into JSON Schema keywords.
      * If omitted, the annotation has no JSON Schema representation (UI-only).
@@ -327,21 +271,53 @@ declare interface CustomAnnotationRegistration_2 {
 }
 
 /**
- * Registration for a custom annotation that may produce JSON Schema keywords.
+ * Documentation text for an extension annotation's TSDoc authoring tag.
  *
- * 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.
+ * These strings are consumed by editor integrations for completion details and
+ * hover text. They do not affect annotation parsing, inheritance, or schema
+ * emission.
  *
  * @public
  */
-declare interface CustomAnnotationRegistration_3 {
-    /** The annotation name, unique within the extension. */
-    readonly annotationName: string;
+declare interface CustomAnnotationTagDocumentation$1 {
+    /** Completion detail shown beside the annotation tag. */
+    readonly completionDetail?: string;
     /**
-     * Optionally converts the annotation value into JSON Schema keywords.
-     * If omitted, the annotation has no JSON Schema representation (UI-only).
+     * Label for the payload portion of the annotation tag signature.
+     *
+     * The payload remains the full authored text after the tag name, so this can
+     * describe single-argument or multi-argument annotation syntaxes.
+     */
+    readonly payloadLabel?: string;
+    /** Short hover summary shown for the annotation tag. */
+    readonly hoverSummary?: string;
+    /** Full markdown hover body for the annotation tag. */
+    readonly hoverMarkdown?: string;
+}
+
+/**
+ * Documentation text for an extension annotation's TSDoc authoring tag.
+ *
+ * These strings are consumed by editor integrations for completion details and
+ * hover text. They do not affect annotation parsing, inheritance, or schema
+ * emission.
+ *
+ * @public
+ */
+declare interface CustomAnnotationTagDocumentation {
+    /** Completion detail shown beside the annotation tag. */
+    readonly completionDetail?: string;
+    /**
+     * Label for the payload portion of the annotation tag signature.
+     *
+     * The payload remains the full authored text after the tag name, so this can
+     * describe single-argument or multi-argument annotation syntaxes.
      */
-    readonly toJsonSchema?: (value: ExtensionPayloadValue_2, vendorPrefix: string) => Record<string, unknown>;
+    readonly payloadLabel?: string;
+    /** Short hover summary shown for the annotation tag. */
+    readonly hoverSummary?: string;
+    /** Full markdown hover body for the annotation tag. */
+    readonly hoverMarkdown?: string;
 }
 
 /**
@@ -460,64 +436,6 @@ declare interface CustomConstraintRegistration_2 {
     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.
  *
@@ -632,63 +550,6 @@ declare interface CustomTypeRegistration_2 {
     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.
  *
@@ -701,18 +562,6 @@ declare interface DeclarationMetadataPolicyInput$1 {
     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.
  *
@@ -750,16 +599,6 @@ declare interface EnumMemberDisplayNameDisabledPolicyInput$1 {
     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.
  *
@@ -782,18 +621,6 @@ declare interface EnumMemberDisplayNameInferIfMissingPolicyInput$1 {
     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.
  *
@@ -813,13 +640,6 @@ declare interface EnumMemberDisplayNameInferIfMissingPolicyInput {
  */
 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.
  *
@@ -837,16 +657,6 @@ declare interface EnumMemberDisplayNameRequireExplicitPolicyInput$1 {
     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.
  *
@@ -867,26 +677,6 @@ declare interface EnumMemberDisplayNameRequireExplicitPolicyInput {
  * @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. */
@@ -924,13 +714,6 @@ declare interface EnumMemberMetadataInferenceContext {
  */
 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.
  *
@@ -948,16 +731,6 @@ declare interface EnumMemberMetadataPolicyInput$1 {
     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.
  *
@@ -1004,23 +777,6 @@ export declare type ExtensionApplicableType = {
     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.
@@ -1099,45 +855,6 @@ declare interface ExtensionDefinition_2 {
     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.
  *
@@ -1152,13 +869,6 @@ declare type ExtensionPayloadValue$1 = { readonly [key: string]: ExtensionPayloa
  */
 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.
  *
@@ -1255,13 +965,6 @@ declare type ExtensionTypeKind$1 = "array" | "custom" | "dynamic" | "enum" | "ob
  */
 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.
  *
@@ -1272,124 +975,21 @@ declare type ExtensionTypeKind_2 = "array" | "custom" | "dynamic" | "enum" | "ob
  * @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;
+    /** 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 */
+
+/* Excluded from this release type: _fixupDecimalPathConstraints */
+export { FormSpecConfig }
+
 /**
  * Options for generating schemas from a decorated class.
  *
@@ -1560,6 +1160,8 @@ export declare interface JsonSchema2020 {
     description?: string;
     /** Default value suggested for the schema node. */
     default?: unknown;
+    /** Documentation example values (from one or more `@example` tags). */
+    examples?: unknown[];
     /** Whether the schema node is deprecated. */
     deprecated?: boolean;
     /** Additional vendor-prefixed extension keywords. */
@@ -1586,38 +1188,6 @@ export declare interface LabelElement {
     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.
  *
@@ -1639,13 +1209,6 @@ declare type MetadataAuthoringSurface$2 = "chain-dsl" | "tsdoc";
  */
 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.
  *
@@ -1667,13 +1230,6 @@ declare type MetadataDeclarationKind$2 = "field" | "method" | "type";
  */
 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.
  *
@@ -1731,38 +1287,12 @@ export declare interface MetadataInferenceContext {
     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;
+declare type MetadataInferenceFn$1 = (context: MetadataInferenceContext$2) => string;
 
 /**
  * Callback used to infer a scalar metadata value.
@@ -1776,17 +1306,7 @@ export declare type MetadataInferenceFn = (context: MetadataInferenceContext) =>
  *
  * @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 {
+declare interface MetadataPluralizationContext$1 extends MetadataInferenceContext$2 {
     /** Singular value that pluralization should derive from. */
     readonly singular: string;
 }
@@ -1811,16 +1331,6 @@ declare interface MetadataPluralizationDisabledPolicyInput$1 {
     readonly mode?: "disabled" | undefined;
 }
 
-/**
- * Pluralization disabled.
- *
- * @public
- */
-declare interface MetadataPluralizationDisabledPolicyInput$2 {
-    /** Disables automatic plural-value generation. */
-    readonly mode?: "disabled" | undefined;
-}
-
 /**
  * Pluralization disabled.
  *
@@ -1838,13 +1348,6 @@ export declare interface MetadataPluralizationDisabledPolicyInput {
  */
 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.
  *
@@ -1864,18 +1367,6 @@ declare interface MetadataPluralizationInferIfMissingPolicyInput$1 {
     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.
  *
@@ -1895,13 +1386,6 @@ export declare interface MetadataPluralizationInferIfMissingPolicyInput {
  */
 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.
  *
@@ -1919,16 +1403,6 @@ declare interface MetadataPluralizationRequireExplicitPolicyInput$1 {
     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.
  *
@@ -1946,13 +1420,13 @@ export declare interface MetadataPluralizationRequireExplicitPolicyInput {
  */
 declare interface MetadataPolicyInput$1 {
     /** Policy applied to named types and the analyzed root declaration. */
-    readonly type?: DeclarationMetadataPolicyInput$2 | undefined;
+    readonly type?: DeclarationMetadataPolicyInput$1 | undefined;
     /** Policy applied to fields and object properties. */
-    readonly field?: DeclarationMetadataPolicyInput$2 | undefined;
+    readonly field?: DeclarationMetadataPolicyInput$1 | undefined;
     /** Policy applied to callable/method declarations. */
-    readonly method?: DeclarationMetadataPolicyInput$2 | undefined;
+    readonly method?: DeclarationMetadataPolicyInput$1 | undefined;
     /** Policy applied to enum-member display names during build-time IR resolution. */
-    readonly enumMember?: EnumMemberMetadataPolicyInput$2 | undefined;
+    readonly enumMember?: EnumMemberMetadataPolicyInput$1 | undefined;
 }
 
 /**
@@ -1971,22 +1445,6 @@ export declare interface MetadataPolicyInput {
     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.
  *
@@ -2021,23 +1479,6 @@ export declare interface MetadataQualifierRegistration {
     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.
  *
@@ -2052,13 +1493,6 @@ declare type MetadataSlotId$1 = string;
  */
 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.
  *
@@ -2091,22 +1525,6 @@ export declare interface MetadataSlotInferenceContext extends MetadataInferenceC
     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.
  *
@@ -2121,13 +1539,6 @@ declare type MetadataSlotInferenceFn$1 = (context: MetadataSlotInferenceContext$
  */
 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.
  *
@@ -2178,31 +1589,6 @@ export declare interface MetadataSlotRegistration {
     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.
  *
@@ -2215,18 +1601,6 @@ declare interface MetadataValueDisabledPolicyInput$1 {
     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.
  *
@@ -2253,20 +1627,6 @@ declare interface MetadataValueInferIfMissingPolicyInput$1 {
     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.
  *
@@ -2288,13 +1648,6 @@ export declare interface MetadataValueInferIfMissingPolicyInput {
  */
 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.
  *
@@ -2314,18 +1667,6 @@ declare interface MetadataValueRequireExplicitPolicyInput$1 {
     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.
  *
@@ -2384,18 +1725,6 @@ export declare interface RuleConditionSchema {
     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.
  *
@@ -2411,22 +1740,6 @@ declare interface RuleConstraints {
  */
 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.
  *
@@ -2441,16 +1754,6 @@ export declare interface SchemaBasedCondition {
 
 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.
  *
@@ -2520,18 +1823,6 @@ export declare interface StaticSchemaGenerationOptions {
  */
 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.
  *
@@ -2583,16 +1874,4 @@ export declare interface VocabularyKeywordRegistration {
     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 { }