@stripe/extensibility-jsonschema-tools 1.0.0 → 1.0.2

package/dist/index.d.ts

@@ -1,16 +1,18 @@
+import { FormSpecConfig } from '@stripe/formspec-config';
+export { FormSpecConfig } from '@stripe/formspec-config';
 import * as ts from 'typescript';
-export { ExtendedJSONSchema7, getSchemaExtension, jsonSchema7Schema, setSchemaExtension, uiSchemaSchema } from '@formspec/build/browser';
+export { ExtendedJSONSchema7, getSchemaExtension, jsonSchema7Schema, setSchemaExtension, uiSchemaSchema } from '@stripe/formspec-build/browser';
 
 /**
  * Per-declaration metadata policy input.
  *
  * @public
  */
-declare interface DeclarationMetadataPolicyInput$2 {
+declare interface DeclarationMetadataPolicyInput$1 {
     /** Policy for JSON-facing serialized names. */
-    readonly apiName?: MetadataValuePolicyInput$2 | undefined;
+    readonly apiName?: MetadataValuePolicyInput$1 | undefined;
     /** Policy for human-facing labels and titles. */
-    readonly displayName?: MetadataValuePolicyInput$2 | undefined;
+    readonly displayName?: MetadataValuePolicyInput$1 | undefined;
 }
 
 /* Excluded from this release type: DynamicTypeNode */
@@ -24,7 +26,7 @@ declare interface DeclarationMetadataPolicyInput$2 {
  *
  * @public
  */
-declare interface EnumMemberDisplayNameDisabledPolicyInput$2 {
+declare interface EnumMemberDisplayNameDisabledPolicyInput$1 {
     /** Leaves missing enum-member display names unresolved. */
     readonly mode: "disabled";
 }
@@ -34,11 +36,11 @@ declare interface EnumMemberDisplayNameDisabledPolicyInput$2 {
  *
  * @public
  */
-declare interface EnumMemberDisplayNameInferIfMissingPolicyInput$2 {
+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$2;
+    readonly infer: EnumMemberMetadataInferenceFn$1;
 }
 
 /**
@@ -46,14 +48,14 @@ declare interface EnumMemberDisplayNameInferIfMissingPolicyInput$2 {
  *
  * @public
  */
-declare type EnumMemberDisplayNamePolicyInput$2 = EnumMemberDisplayNameDisabledPolicyInput$2 | EnumMemberDisplayNameRequireExplicitPolicyInput$2 | EnumMemberDisplayNameInferIfMissingPolicyInput$2;
+declare type EnumMemberDisplayNamePolicyInput$1 = EnumMemberDisplayNameDisabledPolicyInput$1 | EnumMemberDisplayNameRequireExplicitPolicyInput$1 | EnumMemberDisplayNameInferIfMissingPolicyInput$1;
 
 /**
  * Enum members must declare display names explicitly.
  *
  * @public
  */
-declare interface EnumMemberDisplayNameRequireExplicitPolicyInput$2 {
+declare interface EnumMemberDisplayNameRequireExplicitPolicyInput$1 {
     /** Fails when an enum member has no authored display name. */
     readonly mode: "require-explicit";
 }
@@ -67,7 +69,7 @@ declare interface EnumMemberDisplayNameRequireExplicitPolicyInput$2 {
  *
  * @public
  */
-declare interface EnumMemberMetadataInferenceContext$2 {
+declare interface EnumMemberMetadataInferenceContext$1 {
     /** Authoring surface the enum originated from. */
     readonly surface: MetadataAuthoringSurface$2;
     /** Logical member identifier used for policy inference. */
@@ -83,16 +85,16 @@ declare interface EnumMemberMetadataInferenceContext$2 {
  *
  * @public
  */
-declare type EnumMemberMetadataInferenceFn$2 = (context: EnumMemberMetadataInferenceContext$2) => string;
+declare type EnumMemberMetadataInferenceFn$1 = (context: EnumMemberMetadataInferenceContext$1) => string;
 
 /**
  * User-facing enum-member metadata policy input.
  *
  * @public
  */
-declare interface EnumMemberMetadataPolicyInput$2 {
+declare interface EnumMemberMetadataPolicyInput$1 {
     /** Policy for human-facing enum-member labels. */
-    readonly displayName?: EnumMemberDisplayNamePolicyInput$2 | undefined;
+    readonly displayName?: EnumMemberDisplayNamePolicyInput$1 | undefined;
 }
 
 /**
@@ -133,14 +135,14 @@ declare interface MetadataInferenceContext$2 {
  *
  * @public
  */
-declare type MetadataInferenceFn$2 = (context: MetadataInferenceContext$2) => string;
+declare type MetadataInferenceFn$1 = (context: MetadataInferenceContext$2) => 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;
 }
@@ -150,7 +152,7 @@ declare interface MetadataPluralizationContext$2 extends MetadataInferenceContex
  *
  * @public
  */
-declare interface MetadataPluralizationDisabledPolicyInput$2 {
+declare interface MetadataPluralizationDisabledPolicyInput$1 {
     /** Disables automatic plural-value generation. */
     readonly mode?: "disabled" | undefined;
 }
@@ -160,18 +162,18 @@ declare interface MetadataPluralizationDisabledPolicyInput$2 {
  *
  * @public
  */
-declare type MetadataPluralizationFn$2 = (context: MetadataPluralizationContext$2) => string;
+declare type MetadataPluralizationFn$1 = (context: MetadataPluralizationContext$1) => string;
 
 /**
  * Pluralization may be inferred when absent.
  *
  * @public
  */
-declare interface MetadataPluralizationInferIfMissingPolicyInput$2 {
+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$2;
+    readonly inflect: MetadataPluralizationFn$1;
 }
 
 /**
@@ -179,14 +181,14 @@ declare interface MetadataPluralizationInferIfMissingPolicyInput$2 {
  *
  * @public
  */
-declare type MetadataPluralizationPolicyInput$2 = MetadataPluralizationDisabledPolicyInput$2 | MetadataPluralizationRequireExplicitPolicyInput$2 | MetadataPluralizationInferIfMissingPolicyInput$2;
+declare type MetadataPluralizationPolicyInput$1 = MetadataPluralizationDisabledPolicyInput$1 | MetadataPluralizationRequireExplicitPolicyInput$1 | MetadataPluralizationInferIfMissingPolicyInput$1;
 
 /**
  * Pluralization must be authored explicitly.
  *
  * @public
  */
-declare interface MetadataPluralizationRequireExplicitPolicyInput$2 {
+declare interface MetadataPluralizationRequireExplicitPolicyInput$1 {
     /** Requires plural values to be authored directly. */
     readonly mode: "require-explicit";
 }
@@ -198,13 +200,13 @@ declare interface MetadataPluralizationRequireExplicitPolicyInput$2 {
  */
 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;
 }
 
 /**
@@ -212,11 +214,11 @@ declare interface MetadataPolicyInput$1 {
  *
  * @public
  */
-declare interface MetadataValueDisabledPolicyInput$2 {
+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$2 | undefined;
+    readonly pluralization?: MetadataPluralizationPolicyInput$1 | undefined;
 }
 
 /**
@@ -224,13 +226,13 @@ declare interface MetadataValueDisabledPolicyInput$2 {
  *
  * @public
  */
-declare interface MetadataValueInferIfMissingPolicyInput$2 {
+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$2;
+    readonly infer: MetadataInferenceFn$1;
     /** Optional policy controlling plural forms of this scalar value. */
-    readonly pluralization?: MetadataPluralizationPolicyInput$2 | undefined;
+    readonly pluralization?: MetadataPluralizationPolicyInput$1 | undefined;
 }
 
 /**
@@ -238,22 +240,22 @@ declare interface MetadataValueInferIfMissingPolicyInput$2 {
  *
  * @public
  */
-declare type MetadataValuePolicyInput$2 = MetadataValueDisabledPolicyInput$2 | MetadataValueRequireExplicitPolicyInput$2 | MetadataValueInferIfMissingPolicyInput$2;
+declare type MetadataValuePolicyInput$1 = MetadataValueDisabledPolicyInput$1 | MetadataValueRequireExplicitPolicyInput$1 | MetadataValueInferIfMissingPolicyInput$1;
 
 /**
  * Scalar metadata must be authored explicitly.
  *
  * @public
  */
-declare interface MetadataValueRequireExplicitPolicyInput$2 {
+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$2 | undefined;
+    readonly pluralization?: MetadataPluralizationPolicyInput$1 | undefined;
 }
 
 /**
- * `@formspec/build` - Build tools for FormSpec
+ * `@stripe/formspec-build` - Build tools for FormSpec
  *
  * This package provides generators to compile FormSpec forms into:
  * - JSON Schema 2020-12 (for validation)
@@ -261,8 +263,8 @@ declare interface MetadataValueRequireExplicitPolicyInput$2 {
  *
  * @example
  * ```typescript
- * import { buildFormSchemas } from "@formspec/build";
- * import { formspec, field, group } from "@formspec/dsl";
+ * import { buildFormSchemas } from "@stripe/formspec-build";
+ * import { formspec, field, group } from "@stripe/formspec-dsl";
  *
  * const form = formspec(
  *   group("Customer",
@@ -280,19 +282,13 @@ declare interface MetadataValueRequireExplicitPolicyInput$2 {
 
 
 /**
- * Registration for mapping a built-in TSDoc tag onto a custom constraint when
- * it is used on a particular custom type.
+ * Controls whether a type-level annotation can flow from a base declaration to
+ * a derived declaration during semantic analysis.
  *
  * @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;
-}
+declare type AnnotationInheritancePolicy$1 = "local-wins" | "never";
+
 
 /**
  * Registration for mapping a built-in TSDoc tag onto a custom constraint when
@@ -300,13 +296,13 @@ declare interface BuiltinConstraintBroadeningRegistration_2 {
  *
  * @public
  */
-declare interface BuiltinConstraintBroadeningRegistration_3 {
+declare interface BuiltinConstraintBroadeningRegistration_2 {
     /** The built-in tag being broadened, without the `@` prefix. */
-    readonly tagName: BuiltinConstraintName_2;
+    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_2;
+    readonly parseValue: (raw: string) => ExtensionPayloadValue$1;
 }
 
 /**
@@ -316,13 +312,6 @@ declare interface BuiltinConstraintBroadeningRegistration_3 {
  */
 declare type BuiltinConstraintName$1 = "minimum" | "maximum" | "exclusiveMinimum" | "exclusiveMaximum" | "multipleOf" | "minLength" | "maxLength" | "minItems" | "maxItems" | "uniqueItems" | "pattern" | "const" | "enumOptions";
 
-/**
- * Type of a built-in constraint name.
- *
- * @public
- */
-declare type BuiltinConstraintName_2 = "minimum" | "maximum" | "exclusiveMinimum" | "exclusiveMaximum" | "multipleOf" | "minLength" | "maxLength" | "minItems" | "maxItems" | "uniqueItems" | "pattern" | "const" | "enumOptions";
-
 /**
  * A Categorization element (tab-based layout).
  *
@@ -364,24 +353,6 @@ declare interface Category {
 }
 
 
-/**
- * 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.
@@ -400,24 +371,6 @@ declare interface ConstraintSemanticRole$1 {
     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: "lower" | "upper" | "exact";
-    /** Whether equality is allowed when comparing against the bound. */
-    readonly inclusive: boolean;
-}
-
 
 /**
  * Declarative authoring-side registration for a custom TSDoc constraint tag.
@@ -439,26 +392,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.
  *
@@ -479,27 +412,6 @@ 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.
  *
@@ -511,6 +423,19 @@ declare interface ControlOptionConstraints {
 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).
@@ -519,21 +444,28 @@ 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 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;
 }
 
 
@@ -595,64 +527,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: readonly ExtensionApplicableType_2["kind"][] | null;
-    /**
-     * 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.
@@ -711,75 +585,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.
- *
- * @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;
-}
-
 /**
  * Discriminator-specific schema generation options.
  *
@@ -797,124 +602,28 @@ declare interface DiscriminatorResolutionOptions {
 
 
 /**
- * Enum-member display names remain unset unless authored explicitly.
+ * 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 interface EnumMemberDisplayNameDisabledPolicyInput$1 {
-    /** Leaves missing enum-member display names unresolved. */
-    readonly mode: "disabled";
-}
+declare type ExtensionApplicableType$1 = {
+    readonly kind: "primitive";
+    readonly primitiveKind: "string" | "number" | "integer" | "bigint" | "boolean" | "null";
+} | {
+    readonly kind: "custom";
+    readonly typeId: string;
+    readonly payload: ExtensionPayloadValue$1;
+} | {
+    readonly kind: Exclude<ExtensionTypeKind$1, "primitive" | "custom">;
+};
+
 
 /**
- * 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;
-}
-
-/**
- * Enum-member display-name policy input.
- *
- * @public
- */
-declare type EnumMemberDisplayNamePolicyInput$1 = EnumMemberDisplayNameDisabledPolicyInput$1 | EnumMemberDisplayNameRequireExplicitPolicyInput$1 | EnumMemberDisplayNameInferIfMissingPolicyInput$1;
-
-/**
- * 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";
-}
-
-/**
- * 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: string | number;
-    /** 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;
-
-/**
- * User-facing enum-member metadata policy input.
- *
- * @public
- */
-declare interface EnumMemberMetadataPolicyInput$1 {
-    /** Policy for human-facing enum-member labels. */
-    readonly displayName?: EnumMemberDisplayNamePolicyInput$1 | undefined;
-}
-
-
-/**
- * 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: "primitive";
-    readonly primitiveKind: "string" | "number" | "integer" | "bigint" | "boolean" | "null";
-} | {
-    readonly kind: "custom";
-    readonly typeId: string;
-    readonly payload: ExtensionPayloadValue$1;
-} | {
-    readonly kind: Exclude<ExtensionTypeKind$1, "primitive" | "custom">;
-};
-
-/**
- * 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: "primitive";
-    readonly primitiveKind: "string" | "number" | "integer" | "bigint" | "boolean" | "null";
-} | {
-    readonly kind: "custom";
-    readonly typeId: string;
-    readonly payload: ExtensionPayloadValue_2;
-} | {
-    readonly kind: Exclude<ExtensionTypeKind_2, "primitive" | "custom">;
-};
-
-
-/**
- * A complete extension definition bundling types, constraints, annotations,
- * and vocabulary keywords.
+ * A complete extension definition bundling types, constraints, annotations,
+ * and vocabulary keywords.
  *
  * @example
  * ```typescript
@@ -951,45 +660,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.
  *
@@ -999,15 +669,6 @@ declare type ExtensionPayloadValue$1 = null | boolean | number | string | readon
     readonly [key: string]: ExtensionPayloadValue$1;
 };
 
-/**
- * A JSON-serializable payload value used by extension registration hooks.
- *
- * @public
- */
-declare type ExtensionPayloadValue_2 = null | boolean | number | string | readonly ExtensionPayloadValue_2[] | {
-    readonly [key: string]: ExtensionPayloadValue_2;
-};
-
 /**
  * A registry of extensions that provides lookup by fully-qualified ID.
  *
@@ -1097,13 +758,6 @@ declare interface ExtensionRegistry {
  */
 declare type ExtensionTypeKind$1 = "primitive" | "enum" | "array" | "object" | "record" | "union" | "reference" | "dynamic" | "custom";
 
-/**
- * Top-level type kinds that extension applicability hooks may inspect.
- *
- * @public
- */
-declare type ExtensionTypeKind_2 = "primitive" | "enum" | "array" | "object" | "record" | "union" | "reference" | "dynamic" | "custom";
-
 /**
  * The result of a successful extension type lookup.
  *
@@ -1120,110 +774,6 @@ declare interface ExtensionTypeLookupResult {
     readonly registration: CustomTypeRegistration_2;
 }
 
-/**
- * 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;
-}
-
-
-/**
- * Top-level FormSpec configuration file structure.
- * The .formspec.yml file uses this structure.
- *
- * @public
- */
-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.
@@ -1391,6 +941,8 @@ 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. */
@@ -1415,38 +967,6 @@ 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.
  *
@@ -1454,13 +974,6 @@ declare interface LayoutTypeConstraints {
  */
 declare type MetadataAuthoringSurface$1 = "tsdoc" | "chain-dsl";
 
-/**
- * Authoring surfaces that can contribute metadata.
- *
- * @public
- */
-declare type MetadataAuthoringSurface_2 = "tsdoc" | "chain-dsl";
-
 /**
  * Declaration categories that metadata policy can target.
  *
@@ -1468,13 +981,6 @@ declare type MetadataAuthoringSurface_2 = "tsdoc" | "chain-dsl";
  */
 declare type MetadataDeclarationKind$1 = "type" | "field" | "method";
 
-/**
- * Declaration categories that metadata policy can target.
- *
- * @public
- */
-declare type MetadataDeclarationKind_2 = "type" | "field" | "method";
-
 /**
  * Build-facing context passed to metadata inference callbacks.
  *
@@ -1494,104 +1000,6 @@ declare interface MetadataInferenceContext$1 {
     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;
-
-/**
- * Context passed to pluralization callbacks.
- *
- * @public
- */
-declare interface MetadataPluralizationContext$1 extends MetadataInferenceContext_2 {
-    /** 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;
-}
-
-/**
- * Callback used to derive plural metadata from a singular value.
- *
- * @public
- */
-declare type MetadataPluralizationFn$1 = (context: MetadataPluralizationContext$1) => 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 policy input.
- *
- * @public
- */
-declare type MetadataPluralizationPolicyInput$1 = MetadataPluralizationDisabledPolicyInput$1 | MetadataPluralizationRequireExplicitPolicyInput$1 | MetadataPluralizationInferIfMissingPolicyInput$1;
-
-/**
- * Pluralization must be authored explicitly.
- *
- * @public
- */
-declare interface MetadataPluralizationRequireExplicitPolicyInput$1 {
-    /** Requires plural values to be authored directly. */
-    readonly mode: "require-explicit";
-}
-
-/**
- * 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.
  *
@@ -1609,23 +1017,6 @@ declare interface MetadataQualifierRegistration$1 {
     readonly inferValue?: MetadataSlotInferenceFn$1 | 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.
  *
@@ -1633,13 +1024,6 @@ declare interface MetadataQualifierRegistration_2 {
  */
 declare type MetadataSlotId$1 = string;
 
-/**
- * Stable slot identifier for extensible metadata analysis.
- *
- * @public
- */
-declare type MetadataSlotId_2 = string;
-
 /**
  * Context passed to extensible metadata inference hooks.
  *
@@ -1656,22 +1040,6 @@ declare interface MetadataSlotInferenceContext$1 extends MetadataInferenceContex
     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.
  *
@@ -1679,13 +1047,6 @@ declare interface MetadataSlotInferenceContext_2 extends MetadataInferenceContex
  */
 declare type MetadataSlotInferenceFn$1 = (context: MetadataSlotInferenceContext$1) => 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.
  *
@@ -1711,76 +1072,6 @@ declare interface MetadataSlotRegistration$1 {
     readonly isApplicable?: ((context: MetadataInferenceContext$1) => 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 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 policy input.
- *
- * @public
- */
-declare type MetadataValuePolicyInput$1 = MetadataValueDisabledPolicyInput$1 | MetadataValueRequireExplicitPolicyInput$1 | MetadataValueInferIfMissingPolicyInput$1;
-
-/**
- * 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;
-}
-
 /**
  * Rule for conditional element visibility/enablement.
  *
@@ -1825,18 +1116,6 @@ 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.
  *
@@ -1852,22 +1131,6 @@ declare interface RuleConstraints {
  */
 declare type RuleEffect = "SHOW" | "HIDE" | "ENABLE" | "DISABLE";
 
-/**
- * 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.
  *
@@ -1880,16 +1143,6 @@ declare interface SchemaBasedCondition {
     readonly schema: RuleConditionSchema;
 }
 
-/**
- * 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" | "warn" | "off";
-
 /**
  * Shared options for schema generation flows that support custom extensions.
  *
@@ -1952,18 +1205,6 @@ declare interface StaticSchemaGenerationOptions {
  */
 declare type UISchema = VerticalLayout | HorizontalLayout | GroupLayout | Categorization;
 
-/**
- * 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.
  *
@@ -1999,18 +1240,6 @@ declare interface VocabularyKeywordRegistration$1 {
     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
- */
-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;
 }
 
 /**
@@ -2036,6 +1265,14 @@ declare function _generateSchemas(options: Omit<GenerateSchemasOptions, 'errorRe
  */
 declare function _fixupDecimalPathConstraints(schema: JsonSchema2020): JsonSchema2020;
 
+/**
+ * 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
  * it is used on a particular custom type.
@@ -2115,6 +1352,19 @@ declare interface ConstraintTagRegistration {
 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).
@@ -2122,6 +1372,31 @@ declare interface CustomAnnotationRegistration {
     readonly toJsonSchema?: (value: ExtensionPayloadValue, vendorPrefix: string) => Record<string, unknown>;
 }
 
+/**
+ * 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 payloadLabel?: string;
+    /** Short hover summary shown for the annotation tag. */
+    readonly hoverSummary?: string;
+    /** Full markdown hover body for the annotation tag. */
+    readonly hoverMarkdown?: string;
+}
+
 /* Excluded from this release type: CustomConstraintNode */
 
 /**
@@ -2836,4 +2111,4 @@ declare const _stripeSchemaDefaults: StaticSchemaGenerationOptions;
  */
 declare const _stripeFormSpecConfig: FormSpecConfig;
 
-export { type BuiltinConstraintBroadeningRegistration, type BuiltinConstraintName, type Categorization, type Category, type ConstraintSemanticRole, type ConstraintTagRegistration, type ControlElement, type CustomAnnotationRegistration, type CustomConstraintRegistration, type CustomTypeRegistration, type DeclarationMetadataPolicyInput, type DiscriminatorResolutionOptions, type EnumMemberMetadataPolicyInput, type ExtensionApplicableType, type ExtensionDefinition, type ExtensionPayloadValue, type ExtensionRegistry, type ExtensionTypeKind, type ExtensionTypeLookupResult, type FormSpecConfig, type GenerateFromClassOptions, type GenerateFromClassResult, type GenerateSchemasOptions, type GroupLayout, type HorizontalLayout, type JsonSchema2020, type LabelElement, type MetadataAuthoringSurface, type MetadataDeclarationKind, type MetadataInferenceContext, type MetadataInferenceFn, type MetadataPluralizationDisabledPolicyInput, type MetadataPluralizationFn, type MetadataPluralizationInferIfMissingPolicyInput, type MetadataPluralizationPolicyInput, type MetadataPluralizationRequireExplicitPolicyInput, type MetadataPolicyInput, type MetadataQualifierRegistration, type MetadataSlotId, type MetadataSlotInferenceContext, type MetadataSlotInferenceFn, type MetadataSlotRegistration, type MetadataValueDisabledPolicyInput, type MetadataValueInferIfMissingPolicyInput, type MetadataValuePolicyInput, type MetadataValueRequireExplicitPolicyInput, type Rule, type RuleConditionSchema, type RuleEffect, type SchemaBasedCondition, type StaticSchemaGenerationOptions, type UISchema, type UISchemaElement, type VerticalLayout, type VocabularyKeywordRegistration, type _ConfigSchemaResult, type _ConfigTypeRef, type _ConfigUiSchema, type _ExtractConfigSchemasOptions, type _ExtractConfigSchemasResult, _extractConfigSchemas, _fixupDecimalPathConstraints, _generateSchemas, _resolveConfigTypeArgs, _stripeExtensionRegistry, _stripeFormSpecConfig, _stripeSchemaDefaults, _stripeStdlibExtension, generateSchemasFromClass };
+export { type BuiltinConstraintBroadeningRegistration, type BuiltinConstraintName, type Categorization, type Category, type ConstraintSemanticRole, type ConstraintTagRegistration, type ControlElement, type CustomAnnotationRegistration, type CustomConstraintRegistration, type CustomTypeRegistration, type DeclarationMetadataPolicyInput, type DiscriminatorResolutionOptions, type EnumMemberMetadataPolicyInput, type ExtensionApplicableType, type ExtensionDefinition, type ExtensionPayloadValue, type ExtensionRegistry, type ExtensionTypeKind, type ExtensionTypeLookupResult, type GenerateFromClassOptions, type GenerateFromClassResult, type GenerateSchemasOptions, type GroupLayout, type HorizontalLayout, type JsonSchema2020, type LabelElement, type MetadataAuthoringSurface, type MetadataDeclarationKind, type MetadataInferenceContext, type MetadataInferenceFn, type MetadataPluralizationDisabledPolicyInput, type MetadataPluralizationFn, type MetadataPluralizationInferIfMissingPolicyInput, type MetadataPluralizationPolicyInput, type MetadataPluralizationRequireExplicitPolicyInput, type MetadataPolicyInput, type MetadataQualifierRegistration, type MetadataSlotId, type MetadataSlotInferenceContext, type MetadataSlotInferenceFn, type MetadataSlotRegistration, type MetadataValueDisabledPolicyInput, type MetadataValueInferIfMissingPolicyInput, type MetadataValuePolicyInput, type MetadataValueRequireExplicitPolicyInput, type Rule, type RuleConditionSchema, type RuleEffect, type SchemaBasedCondition, type StaticSchemaGenerationOptions, type UISchema, type UISchemaElement, type VerticalLayout, type VocabularyKeywordRegistration, type _ConfigSchemaResult, type _ConfigTypeRef, type _ConfigUiSchema, type _ExtractConfigSchemasOptions, type _ExtractConfigSchemasResult, _extractConfigSchemas, _fixupDecimalPathConstraints, _generateSchemas, _resolveConfigTypeArgs, _stripeExtensionRegistry, _stripeFormSpecConfig, _stripeSchemaDefaults, _stripeStdlibExtension, generateSchemasFromClass };